| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | SAT | 1581.59 | 1586.59 |
| 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.10/0.11 c #variables 7276 #constraints 7492 17.94/18.07 c #Conflicts: 1000 | #Constraints: 8491 17.94/18.07 c #Conflicts: 2000 | #Constraints: 9491 17.94/18.07 c INPROCESSING 17.94/18.07 c GARBAGE COLLECT 17.94/18.07 c #Conflicts: 3000 | #Constraints: 9185 17.94/18.07 c #Conflicts: 4000 | #Constraints: 10185 17.94/18.07 c INPROCESSING 17.94/18.07 c GARBAGE COLLECT 17.94/18.07 c #Conflicts: 5000 | #Constraints: 9658 17.94/18.07 c #Conflicts: 6000 | #Constraints: 10658 17.94/18.07 c INPROCESSING 17.94/18.07 c GARBAGE COLLECT 17.94/18.07 c #Conflicts: 7000 | #Constraints: 9714 17.94/18.07 c #Conflicts: 8000 | #Constraints: 10714 17.94/18.07 c #Conflicts: 9000 | #Constraints: 11714 17.94/18.07 c INPROCESSING 17.94/18.07 c GARBAGE COLLECT 17.94/18.07 c rational objective 107 29.80/30.01 c #Conflicts: 10000 | #Constraints: 10485 29.80/30.01 c #Conflicts: 11000 | #Constraints: 11485 29.80/30.01 c #Conflicts: 12000 | #Constraints: 12485 29.80/30.01 c INPROCESSING 29.80/30.01 c GARBAGE COLLECT 29.80/30.01 c #Conflicts: 13000 | #Constraints: 10989 29.80/30.01 c #Conflicts: 14000 | #Constraints: 11989 29.80/30.01 c #Conflicts: 15000 | #Constraints: 12989 29.80/30.01 c INPROCESSING 29.80/30.01 c GARBAGE COLLECT 29.80/30.01 c #Conflicts: 16000 | #Constraints: 11247 29.80/30.01 c #Conflicts: 17000 | #Constraints: 12247 29.80/30.01 c #Conflicts: 18000 | #Constraints: 13247 29.80/30.01 c INPROCESSING 29.80/30.01 c GARBAGE COLLECT 29.80/30.01 c #Conflicts: 19000 | #Constraints: 11305 29.80/30.01 c #Conflicts: 20000 | #Constraints: 12305 29.80/30.01 c #Conflicts: 21000 | #Constraints: 13305 29.80/30.01 c INPROCESSING 29.80/30.01 c GARBAGE COLLECT 29.80/30.01 c #Conflicts: 22000 | #Constraints: 11156 29.80/30.01 c #Conflicts: 23000 | #Constraints: 12156 29.80/30.01 c #Conflicts: 24000 | #Constraints: 13156 29.80/30.01 c #Conflicts: 25000 | #Constraints: 14156 29.80/30.01 c INPROCESSING 29.80/30.01 c GARBAGE COLLECT 29.80/30.01 c rational objective 107 38.67/38.88 c #Conflicts: 26000 | #Constraints: 11748 38.67/38.88 c #Conflicts: 27000 | #Constraints: 12748 38.67/38.88 c #Conflicts: 28000 | #Constraints: 13748 38.67/38.88 c #Conflicts: 29000 | #Constraints: 14748 38.67/38.88 c #Conflicts: 30000 | #Constraints: 15749 38.67/38.88 c #Conflicts: 31000 | #Constraints: 16749 38.67/38.88 c #Conflicts: 32000 | #Constraints: 17749 38.67/38.88 c #Conflicts: 33000 | #Constraints: 18749 38.67/38.88 c #Conflicts: 34000 | #Constraints: 19749 38.67/38.88 c #Conflicts: 35000 | #Constraints: 20749 38.67/38.88 c #Conflicts: 36000 | #Constraints: 21749 38.67/38.88 c #Conflicts: 37000 | #Constraints: 22749 38.67/38.88 c #Conflicts: 38000 | #Constraints: 23749 38.67/38.88 c INPROCESSING 38.67/38.88 c GARBAGE COLLECT 38.67/38.88 c rational objective 107 42.76/42.99 c #Conflicts: 39000 | #Constraints: 16723 42.76/42.99 c #Conflicts: 40000 | #Constraints: 17723 42.76/42.99 c #Conflicts: 41000 | #Constraints: 18723 42.76/42.99 c #Conflicts: 42000 | #Constraints: 19723 42.76/42.99 c INPROCESSING 42.76/42.99 c GARBAGE COLLECT 42.76/42.99 c rational objective 107 47.55/47.71 c #Conflicts: 43000 | #Constraints: 14295 47.55/47.71 c #Conflicts: 44000 | #Constraints: 15295 47.55/47.71 c #Conflicts: 45000 | #Constraints: 16295 47.55/47.71 c #Conflicts: 46000 | #Constraints: 17296 47.55/47.71 c #Conflicts: 47000 | #Constraints: 18296 47.55/47.71 c #Conflicts: 48000 | #Constraints: 19296 47.55/47.71 c INPROCESSING 47.55/47.71 c GARBAGE COLLECT 47.55/47.71 c rational objective 107 54.03/54.27 c #Conflicts: 49000 | #Constraints: 14488 54.03/54.27 c #Conflicts: 50000 | #Constraints: 15488 54.03/54.27 c #Conflicts: 51000 | #Constraints: 16488 54.03/54.27 c #Conflicts: 52000 | #Constraints: 17488 54.03/54.27 c #Conflicts: 53000 | #Constraints: 18488 54.03/54.27 c INPROCESSING 54.03/54.27 c GARBAGE COLLECT 54.03/54.27 c rational objective 107 62.40/62.63 c #Conflicts: 54000 | #Constraints: 13970 62.40/62.63 c #Conflicts: 55000 | #Constraints: 14970 62.40/62.63 c #Conflicts: 56000 | #Constraints: 15970 62.40/62.63 c #Conflicts: 57000 | #Constraints: 16970 62.40/62.63 c #Conflicts: 58000 | #Constraints: 17970 62.40/62.63 c INPROCESSING 62.40/62.63 c GARBAGE COLLECT 62.40/62.63 c rational objective 107 102.88/103.22 c #Conflicts: 59000 | #Constraints: 13474 102.88/103.22 c #Conflicts: 60000 | #Constraints: 14474 102.88/103.22 c #Conflicts: 61000 | #Constraints: 15474 102.88/103.22 c #Conflicts: 62000 | #Constraints: 16474 102.88/103.22 c #Conflicts: 63000 | #Constraints: 17474 102.88/103.22 c #Conflicts: 64000 | #Constraints: 18474 102.88/103.22 c #Conflicts: 65000 | #Constraints: 19474 102.88/103.22 c #Conflicts: 66000 | #Constraints: 20474 102.88/103.22 c #Conflicts: 67000 | #Constraints: 21474 102.88/103.22 c #Conflicts: 68000 | #Constraints: 22474 102.88/103.22 c #Conflicts: 69000 | #Constraints: 23474 102.88/103.22 c #Conflicts: 70000 | #Constraints: 24474 102.88/103.22 c #Conflicts: 71000 | #Constraints: 25474 102.88/103.22 c #Conflicts: 72000 | #Constraints: 26474 102.88/103.22 c #Conflicts: 73000 | #Constraints: 27474 102.88/103.22 c #Conflicts: 74000 | #Constraints: 28474 102.88/103.22 c #Conflicts: 75000 | #Constraints: 29474 102.88/103.22 c #Conflicts: 76000 | #Constraints: 30474 102.88/103.22 c #Conflicts: 77000 | #Constraints: 31475 102.88/103.22 c #Conflicts: 78000 | #Constraints: 32475 102.88/103.22 c INPROCESSING 102.88/103.22 c GARBAGE COLLECT 102.88/103.22 c #Conflicts: 79000 | #Constraints: 21166 102.88/103.22 c #Conflicts: 80000 | #Constraints: 22166 102.88/103.22 c #Conflicts: 81000 | #Constraints: 23166 102.88/103.22 c #Conflicts: 82000 | #Constraints: 24167 102.88/103.22 c #Conflicts: 83000 | #Constraints: 25167 102.88/103.22 c #Conflicts: 84000 | #Constraints: 26167 102.88/103.22 c INPROCESSING 102.88/103.22 c GARBAGE COLLECT 102.88/103.22 c rational objective 107 109.85/110.27 c #Conflicts: 85000 | #Constraints: 17645 109.85/110.27 c #Conflicts: 86000 | #Constraints: 18645 109.85/110.27 c #Conflicts: 87000 | #Constraints: 19645 109.85/110.27 c #Conflicts: 88000 | #Constraints: 20645 109.85/110.27 c #Conflicts: 89000 | #Constraints: 21645 109.85/110.27 c #Conflicts: 90000 | #Constraints: 22645 109.85/110.27 c #Conflicts: 91000 | #Constraints: 23645 109.85/110.27 c INPROCESSING 109.85/110.27 c GARBAGE COLLECT 109.85/110.27 c rational objective 107 118.43/118.83 c #Conflicts: 92000 | #Constraints: 16254 118.43/118.83 c #Conflicts: 93000 | #Constraints: 17254 118.43/118.83 c #Conflicts: 94000 | #Constraints: 18254 118.43/118.83 c #Conflicts: 95000 | #Constraints: 19254 118.43/118.83 c #Conflicts: 96000 | #Constraints: 20254 118.43/118.83 c #Conflicts: 97000 | #Constraints: 21254 118.43/118.83 c #Conflicts: 98000 | #Constraints: 22254 118.43/118.83 c #Conflicts: 99000 | #Constraints: 23254 118.43/118.83 c INPROCESSING 118.43/118.83 c GARBAGE COLLECT 118.43/118.83 c rational objective 107 144.94/145.40 c #Conflicts: 100000 | #Constraints: 16609 144.94/145.40 c #Conflicts: 101000 | #Constraints: 17609 144.94/145.40 c #Conflicts: 102000 | #Constraints: 18609 144.94/145.40 c #Conflicts: 103000 | #Constraints: 19609 144.94/145.40 c #Conflicts: 104000 | #Constraints: 20609 144.94/145.40 c #Conflicts: 105000 | #Constraints: 21609 144.94/145.40 c #Conflicts: 106000 | #Constraints: 22609 144.94/145.40 c #Conflicts: 107000 | #Constraints: 23609 144.94/145.40 c #Conflicts: 108000 | #Constraints: 24609 144.94/145.40 c #Conflicts: 109000 | #Constraints: 25609 144.94/145.40 c #Conflicts: 110000 | #Constraints: 26610 144.94/145.40 c #Conflicts: 111000 | #Constraints: 27610 144.94/145.40 c #Conflicts: 112000 | #Constraints: 28610 144.94/145.40 c #Conflicts: 113000 | #Constraints: 29610 144.94/145.40 c #Conflicts: 114000 | #Constraints: 30610 144.94/145.40 c #Conflicts: 115000 | #Constraints: 31610 144.94/145.40 c #Conflicts: 116000 | #Constraints: 32610 144.94/145.40 c #Conflicts: 117000 | #Constraints: 33610 144.94/145.40 c #Conflicts: 118000 | #Constraints: 34611 144.94/145.40 c #Conflicts: 119000 | #Constraints: 35611 144.94/145.40 c #Conflicts: 120000 | #Constraints: 36611 144.94/145.40 c #Conflicts: 121000 | #Constraints: 37611 144.94/145.40 c #Conflicts: 122000 | #Constraints: 38611 144.94/145.40 c #Conflicts: 123000 | #Constraints: 39611 144.94/145.40 c INPROCESSING 144.94/145.40 c GARBAGE COLLECT 144.94/145.40 c rational objective 107 155.12/155.67 c #Conflicts: 124000 | #Constraints: 24528 155.12/155.67 c #Conflicts: 125000 | #Constraints: 25528 155.12/155.67 c #Conflicts: 126000 | #Constraints: 26528 155.12/155.67 c #Conflicts: 127000 | #Constraints: 27528 155.12/155.67 c #Conflicts: 128000 | #Constraints: 28528 155.12/155.67 c #Conflicts: 129000 | #Constraints: 29528 155.12/155.67 c #Conflicts: 130000 | #Constraints: 30528 155.12/155.67 c #Conflicts: 131000 | #Constraints: 31528 155.12/155.67 c #Conflicts: 132000 | #Constraints: 32528 155.12/155.67 c INPROCESSING 155.12/155.67 c GARBAGE COLLECT 155.12/155.67 c rational objective 107 161.51/162.05 c #Conflicts: 133000 | #Constraints: 21244 161.51/162.05 c #Conflicts: 134000 | #Constraints: 22244 161.51/162.05 c #Conflicts: 135000 | #Constraints: 23244 161.51/162.05 c #Conflicts: 136000 | #Constraints: 24244 161.51/162.05 c #Conflicts: 137000 | #Constraints: 25244 161.51/162.05 c #Conflicts: 138000 | #Constraints: 26244 161.51/162.05 c #Conflicts: 139000 | #Constraints: 27244 161.51/162.05 c #Conflicts: 140000 | #Constraints: 28244 161.51/162.05 c INPROCESSING 161.51/162.05 c GARBAGE COLLECT 161.51/162.05 c rational objective 107 168.87/169.40 c #Conflicts: 141000 | #Constraints: 18762 168.87/169.40 c #Conflicts: 142000 | #Constraints: 19763 168.87/169.40 c #Conflicts: 143000 | #Constraints: 20763 168.87/169.40 c #Conflicts: 144000 | #Constraints: 21763 168.87/169.40 c #Conflicts: 145000 | #Constraints: 22763 168.87/169.40 c #Conflicts: 146000 | #Constraints: 23763 168.87/169.40 c #Conflicts: 147000 | #Constraints: 24763 168.87/169.40 c #Conflicts: 148000 | #Constraints: 25763 168.87/169.40 c #Conflicts: 149000 | #Constraints: 26763 168.87/169.40 c INPROCESSING 168.87/169.40 c GARBAGE COLLECT 168.87/169.40 c rational objective 107 203.47/204.19 c #Conflicts: 150000 | #Constraints: 18105 203.47/204.19 c #Conflicts: 151000 | #Constraints: 19105 203.47/204.19 c #Conflicts: 152000 | #Constraints: 20105 203.47/204.19 c #Conflicts: 153000 | #Constraints: 21106 203.47/204.19 c #Conflicts: 154000 | #Constraints: 22106 203.47/204.19 c #Conflicts: 155000 | #Constraints: 23106 203.47/204.19 c #Conflicts: 156000 | #Constraints: 24106 203.47/204.19 c #Conflicts: 157000 | #Constraints: 25107 203.47/204.19 c #Conflicts: 158000 | #Constraints: 26107 203.47/204.19 c #Conflicts: 159000 | #Constraints: 27107 203.47/204.19 c #Conflicts: 160000 | #Constraints: 28107 203.47/204.19 c #Conflicts: 161000 | #Constraints: 29107 203.47/204.19 c #Conflicts: 162000 | #Constraints: 30107 203.47/204.19 c #Conflicts: 163000 | #Constraints: 31107 203.47/204.19 c #Conflicts: 164000 | #Constraints: 32107 203.47/204.19 c #Conflicts: 165000 | #Constraints: 33107 203.47/204.19 c #Conflicts: 166000 | #Constraints: 34107 203.47/204.19 c #Conflicts: 167000 | #Constraints: 35107 203.47/204.19 c #Conflicts: 168000 | #Constraints: 36107 203.47/204.19 c #Conflicts: 169000 | #Constraints: 37107 203.47/204.19 c #Conflicts: 170000 | #Constraints: 38107 203.47/204.19 c #Conflicts: 171000 | #Constraints: 39108 203.47/204.19 c #Conflicts: 172000 | #Constraints: 40108 203.47/204.19 c #Conflicts: 173000 | #Constraints: 41108 203.47/204.19 c #Conflicts: 174000 | #Constraints: 42108 203.47/204.19 c #Conflicts: 175000 | #Constraints: 43109 203.47/204.19 c #Conflicts: 176000 | #Constraints: 44109 203.47/204.19 c #Conflicts: 177000 | #Constraints: 45109 203.47/204.19 c #Conflicts: 178000 | #Constraints: 46109 203.47/204.19 c #Conflicts: 179000 | #Constraints: 47109 203.47/204.19 c INPROCESSING 203.47/204.19 c GARBAGE COLLECT 203.47/204.19 c rational objective 107 214.02/214.78 c #Conflicts: 180000 | #Constraints: 28364 214.02/214.78 c #Conflicts: 181000 | #Constraints: 29364 214.02/214.78 c #Conflicts: 182000 | #Constraints: 30364 214.02/214.78 c #Conflicts: 183000 | #Constraints: 31364 214.02/214.78 c #Conflicts: 184000 | #Constraints: 32364 214.02/214.78 c #Conflicts: 185000 | #Constraints: 33365 214.02/214.78 c #Conflicts: 186000 | #Constraints: 34365 214.02/214.78 c #Conflicts: 187000 | #Constraints: 35365 214.02/214.78 c #Conflicts: 188000 | #Constraints: 36366 214.02/214.78 c #Conflicts: 189000 | #Constraints: 37366 214.02/214.78 c INPROCESSING 214.02/214.78 c GARBAGE COLLECT 214.02/214.78 c rational objective 107 224.59/225.32 c #Conflicts: 190000 | #Constraints: 23476 224.59/225.32 c #Conflicts: 191000 | #Constraints: 24476 224.59/225.32 c #Conflicts: 192000 | #Constraints: 25476 224.59/225.32 c #Conflicts: 193000 | #Constraints: 26476 224.59/225.32 c #Conflicts: 194000 | #Constraints: 27476 224.59/225.32 c #Conflicts: 195000 | #Constraints: 28477 224.59/225.32 c #Conflicts: 196000 | #Constraints: 29477 224.59/225.32 c #Conflicts: 197000 | #Constraints: 30477 224.59/225.32 c #Conflicts: 198000 | #Constraints: 31477 224.59/225.32 c #Conflicts: 199000 | #Constraints: 32477 224.59/225.32 c #Conflicts: 200000 | #Constraints: 33477 224.59/225.32 c INPROCESSING 224.59/225.32 c GARBAGE COLLECT 224.59/225.32 c rational objective 107 239.26/240.11 c #Conflicts: 201000 | #Constraints: 21789 239.26/240.11 c #Conflicts: 202000 | #Constraints: 22789 239.26/240.11 c #Conflicts: 203000 | #Constraints: 23789 239.26/240.11 c #Conflicts: 204000 | #Constraints: 24789 239.26/240.11 c #Conflicts: 205000 | #Constraints: 25789 239.26/240.11 c #Conflicts: 206000 | #Constraints: 26789 239.26/240.11 c #Conflicts: 207000 | #Constraints: 27789 239.26/240.11 c #Conflicts: 208000 | #Constraints: 28790 239.26/240.11 c #Conflicts: 209000 | #Constraints: 29790 239.26/240.11 c #Conflicts: 210000 | #Constraints: 30790 239.26/240.11 c INPROCESSING 239.26/240.11 c GARBAGE COLLECT 239.26/240.11 c rational objective 107 301.84/302.86 c #Conflicts: 211000 | #Constraints: 20172 301.84/302.86 c #Conflicts: 212000 | #Constraints: 21173 301.84/302.86 c #Conflicts: 213000 | #Constraints: 22173 301.84/302.86 c #Conflicts: 214000 | #Constraints: 23173 301.84/302.86 c #Conflicts: 215000 | #Constraints: 24173 301.84/302.86 c #Conflicts: 216000 | #Constraints: 25174 301.84/302.86 c #Conflicts: 217000 | #Constraints: 26174 301.84/302.86 c #Conflicts: 218000 | #Constraints: 27174 301.84/302.86 c #Conflicts: 219000 | #Constraints: 28174 301.84/302.86 c #Conflicts: 220000 | #Constraints: 29174 301.84/302.86 c #Conflicts: 221000 | #Constraints: 30174 301.84/302.86 c #Conflicts: 222000 | #Constraints: 31174 301.84/302.86 c #Conflicts: 223000 | #Constraints: 32174 301.84/302.86 c #Conflicts: 224000 | #Constraints: 33174 301.84/302.86 c #Conflicts: 225000 | #Constraints: 34174 301.84/302.86 c #Conflicts: 226000 | #Constraints: 35174 301.84/302.86 c #Conflicts: 227000 | #Constraints: 36174 301.84/302.86 c #Conflicts: 228000 | #Constraints: 37174 301.84/302.86 c #Conflicts: 229000 | #Constraints: 38174 301.84/302.86 c #Conflicts: 230000 | #Constraints: 39174 301.84/302.86 c #Conflicts: 231000 | #Constraints: 40174 301.84/302.86 c #Conflicts: 232000 | #Constraints: 41174 301.84/302.86 c #Conflicts: 233000 | #Constraints: 42174 301.84/302.86 c #Conflicts: 234000 | #Constraints: 43174 301.84/302.86 c #Conflicts: 235000 | #Constraints: 44175 301.84/302.86 c #Conflicts: 236000 | #Constraints: 45175 301.84/302.86 c #Conflicts: 237000 | #Constraints: 46176 301.84/302.86 c #Conflicts: 238000 | #Constraints: 47176 301.84/302.86 c #Conflicts: 239000 | #Constraints: 48176 301.84/302.86 c #Conflicts: 240000 | #Constraints: 49176 301.84/302.86 c #Conflicts: 241000 | #Constraints: 50176 301.84/302.86 c #Conflicts: 242000 | #Constraints: 51176 301.84/302.86 c #Conflicts: 243000 | #Constraints: 52176 301.84/302.86 c #Conflicts: 244000 | #Constraints: 53176 301.84/302.86 c #Conflicts: 245000 | #Constraints: 54176 301.84/302.86 c INPROCESSING 301.84/302.86 c GARBAGE COLLECT 301.84/302.86 c rational objective 107 319.58/320.63 c #Conflicts: 246000 | #Constraints: 31837 319.58/320.63 c #Conflicts: 247000 | #Constraints: 32837 319.58/320.63 c #Conflicts: 248000 | #Constraints: 33837 319.58/320.63 c #Conflicts: 249000 | #Constraints: 34837 319.58/320.63 c #Conflicts: 250000 | #Constraints: 35837 319.58/320.63 c #Conflicts: 251000 | #Constraints: 36837 319.58/320.63 c #Conflicts: 252000 | #Constraints: 37837 319.58/320.63 c #Conflicts: 253000 | #Constraints: 38837 319.58/320.63 c #Conflicts: 254000 | #Constraints: 39837 319.58/320.63 c #Conflicts: 255000 | #Constraints: 40837 319.58/320.63 c #Conflicts: 256000 | #Constraints: 41837 319.58/320.63 c #Conflicts: 257000 | #Constraints: 42838 319.58/320.63 c INPROCESSING 319.58/320.63 c GARBAGE COLLECT 319.58/320.63 c rational objective 107 332.43/333.51 c #Conflicts: 258000 | #Constraints: 26209 332.43/333.51 c #Conflicts: 259000 | #Constraints: 27209 332.43/333.51 c #Conflicts: 260000 | #Constraints: 28209 332.43/333.51 c #Conflicts: 261000 | #Constraints: 29209 332.43/333.51 c #Conflicts: 262000 | #Constraints: 30209 332.43/333.51 c #Conflicts: 263000 | #Constraints: 31209 332.43/333.51 c #Conflicts: 264000 | #Constraints: 32209 332.43/333.51 c #Conflicts: 265000 | #Constraints: 33209 332.43/333.51 c #Conflicts: 266000 | #Constraints: 34210 332.43/333.51 c #Conflicts: 267000 | #Constraints: 35211 332.43/333.51 c #Conflicts: 268000 | #Constraints: 36211 332.43/333.51 c #Conflicts: 269000 | #Constraints: 37211 332.43/333.51 c INPROCESSING 332.43/333.51 c GARBAGE COLLECT 332.43/333.51 c rational objective 107 346.79/347.91 c #Conflicts: 270000 | #Constraints: 23322 346.79/347.91 c #Conflicts: 271000 | #Constraints: 24322 346.79/347.91 c #Conflicts: 272000 | #Constraints: 25322 346.79/347.91 c #Conflicts: 273000 | #Constraints: 26322 346.79/347.91 c #Conflicts: 274000 | #Constraints: 27322 346.79/347.91 c #Conflicts: 275000 | #Constraints: 28322 346.79/347.91 c #Conflicts: 276000 | #Constraints: 29322 346.79/347.91 c #Conflicts: 277000 | #Constraints: 30323 346.79/347.91 c #Conflicts: 278000 | #Constraints: 31324 346.79/347.91 c #Conflicts: 279000 | #Constraints: 32324 346.79/347.91 c #Conflicts: 280000 | #Constraints: 33325 346.79/347.91 c #Conflicts: 281000 | #Constraints: 34325 346.79/347.91 c #Conflicts: 282000 | #Constraints: 35325 346.79/347.91 c INPROCESSING 346.79/347.91 c GARBAGE COLLECT 346.79/347.91 c rational objective 107 414.87/416.29 c #Conflicts: 283000 | #Constraints: 22704 414.87/416.29 c #Conflicts: 284000 | #Constraints: 23705 414.87/416.29 c #Conflicts: 285000 | #Constraints: 24705 414.87/416.29 c #Conflicts: 286000 | #Constraints: 25705 414.87/416.29 c #Conflicts: 287000 | #Constraints: 26705 414.87/416.29 c #Conflicts: 288000 | #Constraints: 27705 414.87/416.29 c #Conflicts: 289000 | #Constraints: 28705 414.87/416.29 c #Conflicts: 290000 | #Constraints: 29705 414.87/416.29 c #Conflicts: 291000 | #Constraints: 30705 414.87/416.29 c #Conflicts: 292000 | #Constraints: 31705 414.87/416.29 c #Conflicts: 293000 | #Constraints: 32705 414.87/416.29 c #Conflicts: 294000 | #Constraints: 33705 414.87/416.29 c #Conflicts: 295000 | #Constraints: 34705 414.87/416.29 c #Conflicts: 296000 | #Constraints: 35705 414.87/416.29 c #Conflicts: 297000 | #Constraints: 36705 414.87/416.29 c #Conflicts: 298000 | #Constraints: 37705 414.87/416.29 c #Conflicts: 299000 | #Constraints: 38705 414.87/416.29 c #Conflicts: 300000 | #Constraints: 39705 414.87/416.29 c #Conflicts: 301000 | #Constraints: 40705 414.87/416.29 c #Conflicts: 302000 | #Constraints: 41705 414.87/416.29 c #Conflicts: 303000 | #Constraints: 42705 414.87/416.29 c #Conflicts: 304000 | #Constraints: 43705 414.87/416.29 c #Conflicts: 305000 | #Constraints: 44706 414.87/416.29 c #Conflicts: 306000 | #Constraints: 45706 414.87/416.29 c #Conflicts: 307000 | #Constraints: 46706 414.87/416.29 c #Conflicts: 308000 | #Constraints: 47706 414.87/416.29 c #Conflicts: 309000 | #Constraints: 48706 414.87/416.29 c #Conflicts: 310000 | #Constraints: 49706 414.87/416.29 c #Conflicts: 311000 | #Constraints: 50706 414.87/416.29 c #Conflicts: 312000 | #Constraints: 51706 414.87/416.29 c #Conflicts: 313000 | #Constraints: 52706 414.87/416.29 c #Conflicts: 314000 | #Constraints: 53706 414.87/416.29 c #Conflicts: 315000 | #Constraints: 54706 414.87/416.29 c #Conflicts: 316000 | #Constraints: 55706 414.87/416.29 c #Conflicts: 317000 | #Constraints: 56706 414.87/416.29 c #Conflicts: 318000 | #Constraints: 57706 414.87/416.29 c #Conflicts: 319000 | #Constraints: 58706 414.87/416.29 c #Conflicts: 320000 | #Constraints: 59706 414.87/416.29 c #Conflicts: 321000 | #Constraints: 60706 414.87/416.29 c #Conflicts: 322000 | #Constraints: 61707 414.87/416.29 c INPROCESSING 414.87/416.29 c GARBAGE COLLECT 414.87/416.29 c rational objective 107 432.80/434.20 c #Conflicts: 323000 | #Constraints: 35808 432.80/434.20 c #Conflicts: 324000 | #Constraints: 36808 432.80/434.20 c #Conflicts: 325000 | #Constraints: 37808 432.80/434.20 c #Conflicts: 326000 | #Constraints: 38808 432.80/434.20 c #Conflicts: 327000 | #Constraints: 39808 432.80/434.20 c #Conflicts: 328000 | #Constraints: 40808 432.80/434.20 c #Conflicts: 329000 | #Constraints: 41808 432.80/434.20 c #Conflicts: 330000 | #Constraints: 42808 432.80/434.20 c #Conflicts: 331000 | #Constraints: 43808 432.80/434.20 c #Conflicts: 332000 | #Constraints: 44808 432.80/434.20 c #Conflicts: 333000 | #Constraints: 45808 432.80/434.20 c #Conflicts: 334000 | #Constraints: 46808 432.80/434.20 c #Conflicts: 335000 | #Constraints: 47808 432.80/434.20 c #Conflicts: 336000 | #Constraints: 48808 432.80/434.20 c INPROCESSING 432.80/434.20 c GARBAGE COLLECT 432.80/434.20 c rational objective 107 446.07/447.52 c #Conflicts: 337000 | #Constraints: 29493 446.07/447.52 c #Conflicts: 338000 | #Constraints: 30493 446.07/447.52 c #Conflicts: 339000 | #Constraints: 31493 446.07/447.52 c #Conflicts: 340000 | #Constraints: 32493 446.07/447.52 c #Conflicts: 341000 | #Constraints: 33493 446.07/447.52 c #Conflicts: 342000 | #Constraints: 34493 446.07/447.52 c #Conflicts: 343000 | #Constraints: 35493 446.07/447.52 c #Conflicts: 344000 | #Constraints: 36493 446.07/447.52 c #Conflicts: 345000 | #Constraints: 37494 446.07/447.52 c #Conflicts: 346000 | #Constraints: 38494 446.07/447.52 c #Conflicts: 347000 | #Constraints: 39495 446.07/447.52 c #Conflicts: 348000 | #Constraints: 40495 446.07/447.52 c #Conflicts: 349000 | #Constraints: 41495 446.07/447.52 c INPROCESSING 446.07/447.52 c GARBAGE COLLECT 446.07/447.52 c rational objective 107 464.91/466.43 c #Conflicts: 350000 | #Constraints: 25464 464.91/466.43 c #Conflicts: 351000 | #Constraints: 26464 464.91/466.43 c #Conflicts: 352000 | #Constraints: 27464 464.91/466.43 c #Conflicts: 353000 | #Constraints: 28464 464.91/466.43 c #Conflicts: 354000 | #Constraints: 29464 464.91/466.43 c #Conflicts: 355000 | #Constraints: 30464 464.91/466.43 c #Conflicts: 356000 | #Constraints: 31464 464.91/466.43 c #Conflicts: 357000 | #Constraints: 32465 464.91/466.43 c #Conflicts: 358000 | #Constraints: 33465 464.91/466.43 c #Conflicts: 359000 | #Constraints: 34465 464.91/466.43 c #Conflicts: 360000 | #Constraints: 35465 464.91/466.43 c #Conflicts: 361000 | #Constraints: 36465 464.91/466.43 c #Conflicts: 362000 | #Constraints: 37466 464.91/466.43 c #Conflicts: 363000 | #Constraints: 38466 464.91/466.43 c INPROCESSING 464.91/466.43 c GARBAGE COLLECT 464.91/466.43 c rational objective 107 535.19/536.94 c #Conflicts: 364000 | #Constraints: 23956 535.19/536.94 c #Conflicts: 365000 | #Constraints: 24956 535.19/536.94 c #Conflicts: 366000 | #Constraints: 25956 535.19/536.94 c #Conflicts: 367000 | #Constraints: 26956 535.19/536.94 c #Conflicts: 368000 | #Constraints: 27956 535.19/536.94 c #Conflicts: 369000 | #Constraints: 28957 535.19/536.94 c #Conflicts: 370000 | #Constraints: 29957 535.19/536.94 c #Conflicts: 371000 | #Constraints: 30957 535.19/536.94 c #Conflicts: 372000 | #Constraints: 31957 535.19/536.94 c #Conflicts: 373000 | #Constraints: 32957 535.19/536.94 c #Conflicts: 374000 | #Constraints: 33957 535.19/536.94 c #Conflicts: 375000 | #Constraints: 34957 535.19/536.94 c #Conflicts: 376000 | #Constraints: 35957 535.19/536.94 c #Conflicts: 377000 | #Constraints: 36957 535.19/536.94 c #Conflicts: 378000 | #Constraints: 37958 535.19/536.94 c #Conflicts: 379000 | #Constraints: 38958 535.19/536.94 c #Conflicts: 380000 | #Constraints: 39958 535.19/536.94 c #Conflicts: 381000 | #Constraints: 40958 535.19/536.94 c #Conflicts: 382000 | #Constraints: 41958 535.19/536.94 c #Conflicts: 383000 | #Constraints: 42958 535.19/536.94 c #Conflicts: 384000 | #Constraints: 43958 535.19/536.94 c #Conflicts: 385000 | #Constraints: 44958 535.19/536.94 c #Conflicts: 386000 | #Constraints: 45958 535.19/536.94 c #Conflicts: 387000 | #Constraints: 46958 535.19/536.94 c #Conflicts: 388000 | #Constraints: 47958 535.19/536.94 c #Conflicts: 389000 | #Constraints: 48959 535.19/536.94 c #Conflicts: 390000 | #Constraints: 49959 535.19/536.94 c #Conflicts: 391000 | #Constraints: 50959 535.19/536.94 c #Conflicts: 392000 | #Constraints: 51959 535.19/536.94 c #Conflicts: 393000 | #Constraints: 52959 535.19/536.94 c #Conflicts: 394000 | #Constraints: 53959 535.19/536.94 c #Conflicts: 395000 | #Constraints: 54959 535.19/536.94 c #Conflicts: 396000 | #Constraints: 55959 535.19/536.94 c #Conflicts: 397000 | #Constraints: 56959 535.19/536.94 c #Conflicts: 398000 | #Constraints: 57959 535.19/536.94 c #Conflicts: 399000 | #Constraints: 58959 535.19/536.94 c #Conflicts: 400000 | #Constraints: 59959 535.19/536.94 c #Conflicts: 401000 | #Constraints: 60959 535.19/536.94 c #Conflicts: 402000 | #Constraints: 61959 535.19/536.94 c #Conflicts: 403000 | #Constraints: 62959 535.19/536.94 c #Conflicts: 404000 | #Constraints: 63959 535.19/536.94 c #Conflicts: 405000 | #Constraints: 64959 535.19/536.94 c #Conflicts: 406000 | #Constraints: 65959 535.19/536.94 c #Conflicts: 407000 | #Constraints: 66959 535.19/536.94 c #Conflicts: 408000 | #Constraints: 67959 535.19/536.94 c #Conflicts: 409000 | #Constraints: 68959 535.19/536.94 c INPROCESSING 535.19/536.94 c GARBAGE COLLECT 535.19/536.94 c rational objective 107 560.12/561.98 c #Conflicts: 410000 | #Constraints: 39370 560.12/561.98 c #Conflicts: 411000 | #Constraints: 40372 560.12/561.98 c #Conflicts: 412000 | #Constraints: 41372 560.12/561.98 c #Conflicts: 413000 | #Constraints: 42373 560.12/561.98 c #Conflicts: 414000 | #Constraints: 43373 560.12/561.98 c #Conflicts: 415000 | #Constraints: 44374 560.12/561.98 c #Conflicts: 416000 | #Constraints: 45374 560.12/561.98 c #Conflicts: 417000 | #Constraints: 46374 560.12/561.98 c #Conflicts: 418000 | #Constraints: 47374 560.12/561.98 c #Conflicts: 419000 | #Constraints: 48374 560.12/561.98 c #Conflicts: 420000 | #Constraints: 49374 560.12/561.98 c #Conflicts: 421000 | #Constraints: 50374 560.12/561.98 c #Conflicts: 422000 | #Constraints: 51374 560.12/561.98 c #Conflicts: 423000 | #Constraints: 52374 560.12/561.98 c #Conflicts: 424000 | #Constraints: 53375 560.12/561.98 c INPROCESSING 560.12/561.98 c GARBAGE COLLECT 560.12/561.98 c rational objective 107 577.46/579.35 c #Conflicts: 425000 | #Constraints: 31465 577.46/579.35 c #Conflicts: 426000 | #Constraints: 32465 577.46/579.35 c #Conflicts: 427000 | #Constraints: 33465 577.46/579.35 c #Conflicts: 428000 | #Constraints: 34465 577.46/579.35 c #Conflicts: 429000 | #Constraints: 35465 577.46/579.35 c #Conflicts: 430000 | #Constraints: 36465 577.46/579.35 c #Conflicts: 431000 | #Constraints: 37465 577.46/579.35 c #Conflicts: 432000 | #Constraints: 38465 577.46/579.35 c #Conflicts: 433000 | #Constraints: 39465 577.46/579.35 c #Conflicts: 434000 | #Constraints: 40465 577.46/579.35 c #Conflicts: 435000 | #Constraints: 41465 577.46/579.35 c #Conflicts: 436000 | #Constraints: 42465 577.46/579.35 c #Conflicts: 437000 | #Constraints: 43465 577.46/579.35 c #Conflicts: 438000 | #Constraints: 44465 577.46/579.35 c #Conflicts: 439000 | #Constraints: 45465 577.46/579.35 c #Conflicts: 440000 | #Constraints: 46465 577.46/579.35 c INPROCESSING 577.46/579.35 c GARBAGE COLLECT 577.46/579.35 c rational objective 107 600.29/602.21 c #Conflicts: 441000 | #Constraints: 28295 600.29/602.21 c #Conflicts: 442000 | #Constraints: 29295 600.29/602.21 c #Conflicts: 443000 | #Constraints: 30295 600.29/602.21 c #Conflicts: 444000 | #Constraints: 31295 600.29/602.21 c #Conflicts: 445000 | #Constraints: 32295 600.29/602.21 c #Conflicts: 446000 | #Constraints: 33295 600.29/602.21 c #Conflicts: 447000 | #Constraints: 34295 600.29/602.21 c #Conflicts: 448000 | #Constraints: 35295 600.29/602.21 c #Conflicts: 449000 | #Constraints: 36295 600.29/602.21 c #Conflicts: 450000 | #Constraints: 37295 600.29/602.21 c #Conflicts: 451000 | #Constraints: 38295 600.29/602.21 c #Conflicts: 452000 | #Constraints: 39295 600.29/602.21 c #Conflicts: 453000 | #Constraints: 40295 600.29/602.21 c #Conflicts: 454000 | #Constraints: 41295 600.29/602.21 c #Conflicts: 455000 | #Constraints: 42295 600.29/602.21 c #Conflicts: 456000 | #Constraints: 43295 600.29/602.21 c INPROCESSING 600.29/602.21 c GARBAGE COLLECT 600.29/602.21 c rational objective 107 716.75/719.07 c #Conflicts: 457000 | #Constraints: 26837 716.75/719.07 c #Conflicts: 458000 | #Constraints: 27837 716.75/719.07 c #Conflicts: 459000 | #Constraints: 28837 716.75/719.07 c #Conflicts: 460000 | #Constraints: 29837 716.75/719.07 c #Conflicts: 461000 | #Constraints: 30837 716.75/719.07 c #Conflicts: 462000 | #Constraints: 31838 716.75/719.07 c #Conflicts: 463000 | #Constraints: 32838 716.75/719.07 c #Conflicts: 464000 | #Constraints: 33838 716.75/719.07 c #Conflicts: 465000 | #Constraints: 34838 716.75/719.07 c #Conflicts: 466000 | #Constraints: 35838 716.75/719.07 c #Conflicts: 467000 | #Constraints: 36838 716.75/719.07 c #Conflicts: 468000 | #Constraints: 37838 716.75/719.07 c #Conflicts: 469000 | #Constraints: 38838 716.75/719.07 c #Conflicts: 470000 | #Constraints: 39838 716.75/719.07 c #Conflicts: 471000 | #Constraints: 40838 716.75/719.07 c #Conflicts: 472000 | #Constraints: 41838 716.75/719.07 c #Conflicts: 473000 | #Constraints: 42838 716.75/719.07 c #Conflicts: 474000 | #Constraints: 43838 716.75/719.07 c #Conflicts: 475000 | #Constraints: 44838 716.75/719.07 c #Conflicts: 476000 | #Constraints: 45839 716.75/719.07 c #Conflicts: 477000 | #Constraints: 46839 716.75/719.07 c #Conflicts: 478000 | #Constraints: 47839 716.75/719.07 c #Conflicts: 479000 | #Constraints: 48839 716.75/719.07 c #Conflicts: 480000 | #Constraints: 49839 716.75/719.07 c #Conflicts: 481000 | #Constraints: 50839 716.75/719.07 c #Conflicts: 482000 | #Constraints: 51839 716.75/719.07 c #Conflicts: 483000 | #Constraints: 52839 716.75/719.07 c #Conflicts: 484000 | #Constraints: 53839 716.75/719.07 c #Conflicts: 485000 | #Constraints: 54839 716.75/719.07 c #Conflicts: 486000 | #Constraints: 55839 716.75/719.07 c #Conflicts: 487000 | #Constraints: 56839 716.75/719.07 c #Conflicts: 488000 | #Constraints: 57839 716.75/719.07 c #Conflicts: 489000 | #Constraints: 58839 716.75/719.07 c #Conflicts: 490000 | #Constraints: 59839 716.75/719.07 c #Conflicts: 491000 | #Constraints: 60839 716.75/719.07 c #Conflicts: 492000 | #Constraints: 61839 716.75/719.07 c #Conflicts: 493000 | #Constraints: 62840 716.75/719.07 c #Conflicts: 494000 | #Constraints: 63840 716.75/719.07 c #Conflicts: 495000 | #Constraints: 64840 716.75/719.07 c #Conflicts: 496000 | #Constraints: 65840 716.75/719.07 c #Conflicts: 497000 | #Constraints: 66840 716.75/719.07 c #Conflicts: 498000 | #Constraints: 67840 716.75/719.07 c #Conflicts: 499000 | #Constraints: 68840 716.75/719.07 c #Conflicts: 500000 | #Constraints: 69840 716.75/719.07 c #Conflicts: 501000 | #Constraints: 70840 716.75/719.07 c #Conflicts: 502000 | #Constraints: 71840 716.75/719.07 c #Conflicts: 503000 | #Constraints: 72840 716.75/719.07 c #Conflicts: 504000 | #Constraints: 73840 716.75/719.07 c #Conflicts: 505000 | #Constraints: 74840 716.75/719.07 c #Conflicts: 506000 | #Constraints: 75841 716.75/719.07 c #Conflicts: 507000 | #Constraints: 76841 716.75/719.07 c INPROCESSING 716.75/719.07 c GARBAGE COLLECT 716.75/719.07 c rational objective 107 743.57/745.96 c #Conflicts: 508000 | #Constraints: 43587 743.57/745.96 c #Conflicts: 509000 | #Constraints: 44587 743.57/745.96 c #Conflicts: 510000 | #Constraints: 45587 743.57/745.96 c #Conflicts: 511000 | #Constraints: 46587 743.57/745.96 c #Conflicts: 512000 | #Constraints: 47587 743.57/745.96 c #Conflicts: 513000 | #Constraints: 48587 743.57/745.96 c #Conflicts: 514000 | #Constraints: 49587 743.57/745.96 c #Conflicts: 515000 | #Constraints: 50587 743.57/745.96 c #Conflicts: 516000 | #Constraints: 51587 743.57/745.96 c #Conflicts: 517000 | #Constraints: 52587 743.57/745.96 c #Conflicts: 518000 | #Constraints: 53587 743.57/745.96 c #Conflicts: 519000 | #Constraints: 54587 743.57/745.96 c #Conflicts: 520000 | #Constraints: 55587 743.57/745.96 c #Conflicts: 521000 | #Constraints: 56587 743.57/745.96 c #Conflicts: 522000 | #Constraints: 57587 743.57/745.96 c #Conflicts: 523000 | #Constraints: 58587 743.57/745.96 c #Conflicts: 524000 | #Constraints: 59587 743.57/745.96 c INPROCESSING 743.57/745.96 c GARBAGE COLLECT 743.57/745.96 c rational objective 107 762.21/764.66 c #Conflicts: 525000 | #Constraints: 34994 762.21/764.66 c #Conflicts: 526000 | #Constraints: 35994 762.21/764.66 c #Conflicts: 527000 | #Constraints: 36994 762.21/764.66 c #Conflicts: 528000 | #Constraints: 37994 762.21/764.66 c #Conflicts: 529000 | #Constraints: 38994 762.21/764.66 c #Conflicts: 530000 | #Constraints: 39994 762.21/764.66 c #Conflicts: 531000 | #Constraints: 40994 762.21/764.66 c #Conflicts: 532000 | #Constraints: 41994 762.21/764.66 c #Conflicts: 533000 | #Constraints: 42994 762.21/764.66 c #Conflicts: 534000 | #Constraints: 43994 762.21/764.66 c #Conflicts: 535000 | #Constraints: 44994 762.21/764.66 c #Conflicts: 536000 | #Constraints: 45994 762.21/764.66 c #Conflicts: 537000 | #Constraints: 46994 762.21/764.66 c #Conflicts: 538000 | #Constraints: 47994 762.21/764.66 c #Conflicts: 539000 | #Constraints: 48994 762.21/764.66 c #Conflicts: 540000 | #Constraints: 49994 762.21/764.66 c #Conflicts: 541000 | #Constraints: 50994 762.21/764.66 c INPROCESSING 762.21/764.66 c GARBAGE COLLECT 762.21/764.66 c rational objective 107 778.45/780.98 c #Conflicts: 542000 | #Constraints: 30561 778.45/780.98 c #Conflicts: 543000 | #Constraints: 31561 778.45/780.98 c #Conflicts: 544000 | #Constraints: 32561 778.45/780.98 c #Conflicts: 545000 | #Constraints: 33561 778.45/780.98 c #Conflicts: 546000 | #Constraints: 34561 778.45/780.98 c #Conflicts: 547000 | #Constraints: 35561 778.45/780.98 c #Conflicts: 548000 | #Constraints: 36561 778.45/780.98 c #Conflicts: 549000 | #Constraints: 37561 778.45/780.98 c #Conflicts: 550000 | #Constraints: 38561 778.45/780.98 c #Conflicts: 551000 | #Constraints: 39562 778.45/780.98 c #Conflicts: 552000 | #Constraints: 40562 778.45/780.98 c #Conflicts: 553000 | #Constraints: 41562 778.45/780.98 c #Conflicts: 554000 | #Constraints: 42562 778.45/780.98 c #Conflicts: 555000 | #Constraints: 43562 778.45/780.98 c #Conflicts: 556000 | #Constraints: 44562 778.45/780.98 c #Conflicts: 557000 | #Constraints: 45562 778.45/780.98 c #Conflicts: 558000 | #Constraints: 46562 778.45/780.98 c INPROCESSING 778.45/780.98 c GARBAGE COLLECT 778.45/780.98 c rational objective 107 884.53/887.39 c #Conflicts: 559000 | #Constraints: 28244 884.53/887.39 c #Conflicts: 560000 | #Constraints: 29244 884.53/887.39 c #Conflicts: 561000 | #Constraints: 30244 884.53/887.39 c #Conflicts: 562000 | #Constraints: 31244 884.53/887.39 c #Conflicts: 563000 | #Constraints: 32244 884.53/887.39 c #Conflicts: 564000 | #Constraints: 33244 884.53/887.39 c #Conflicts: 565000 | #Constraints: 34244 884.53/887.39 c #Conflicts: 566000 | #Constraints: 35244 884.53/887.39 c #Conflicts: 567000 | #Constraints: 36244 884.53/887.39 c #Conflicts: 568000 | #Constraints: 37244 884.53/887.39 c #Conflicts: 569000 | #Constraints: 38244 884.53/887.39 c #Conflicts: 570000 | #Constraints: 39244 884.53/887.39 c #Conflicts: 571000 | #Constraints: 40244 884.53/887.39 c #Conflicts: 572000 | #Constraints: 41245 884.53/887.39 c #Conflicts: 573000 | #Constraints: 42245 884.53/887.39 c #Conflicts: 574000 | #Constraints: 43245 884.53/887.39 c #Conflicts: 575000 | #Constraints: 44246 884.53/887.39 c #Conflicts: 576000 | #Constraints: 45246 884.53/887.39 c #Conflicts: 577000 | #Constraints: 46247 884.53/887.39 c #Conflicts: 578000 | #Constraints: 47247 884.53/887.39 c #Conflicts: 579000 | #Constraints: 48247 884.53/887.39 c #Conflicts: 580000 | #Constraints: 49247 884.53/887.39 c #Conflicts: 581000 | #Constraints: 50247 884.53/887.39 c #Conflicts: 582000 | #Constraints: 51247 884.53/887.39 c #Conflicts: 583000 | #Constraints: 52247 884.53/887.39 c #Conflicts: 584000 | #Constraints: 53247 884.53/887.39 c #Conflicts: 585000 | #Constraints: 54247 884.53/887.39 c #Conflicts: 586000 | #Constraints: 55247 884.53/887.39 c #Conflicts: 587000 | #Constraints: 56247 884.53/887.39 c #Conflicts: 588000 | #Constraints: 57247 884.53/887.39 c #Conflicts: 589000 | #Constraints: 58247 884.53/887.39 c #Conflicts: 590000 | #Constraints: 59247 884.53/887.39 c #Conflicts: 591000 | #Constraints: 60247 884.53/887.39 c #Conflicts: 592000 | #Constraints: 61248 884.53/887.39 c #Conflicts: 593000 | #Constraints: 62248 884.53/887.39 c #Conflicts: 594000 | #Constraints: 63248 884.53/887.39 c #Conflicts: 595000 | #Constraints: 64248 884.53/887.39 c #Conflicts: 596000 | #Constraints: 65249 884.53/887.39 c #Conflicts: 597000 | #Constraints: 66249 884.53/887.39 c #Conflicts: 598000 | #Constraints: 67249 884.53/887.39 c #Conflicts: 599000 | #Constraints: 68249 884.53/887.39 c #Conflicts: 600000 | #Constraints: 69249 884.53/887.39 c #Conflicts: 601000 | #Constraints: 70249 884.53/887.39 c #Conflicts: 602000 | #Constraints: 71249 884.53/887.39 c #Conflicts: 603000 | #Constraints: 72249 884.53/887.39 c #Conflicts: 604000 | #Constraints: 73249 884.53/887.39 c #Conflicts: 605000 | #Constraints: 74249 884.53/887.39 c #Conflicts: 606000 | #Constraints: 75249 884.53/887.39 c #Conflicts: 607000 | #Constraints: 76249 884.53/887.39 c #Conflicts: 608000 | #Constraints: 77249 884.53/887.39 c #Conflicts: 609000 | #Constraints: 78249 884.53/887.39 c #Conflicts: 610000 | #Constraints: 79249 884.53/887.39 c #Conflicts: 611000 | #Constraints: 80249 884.53/887.39 c #Conflicts: 612000 | #Constraints: 81249 884.53/887.39 c #Conflicts: 613000 | #Constraints: 82250 884.53/887.39 c #Conflicts: 614000 | #Constraints: 83250 884.53/887.39 c INPROCESSING 884.53/887.39 c GARBAGE COLLECT 884.53/887.39 c rational objective 107 912.64/915.55 c #Conflicts: 615000 | #Constraints: 46427 912.64/915.55 c #Conflicts: 616000 | #Constraints: 47427 912.64/915.55 c #Conflicts: 617000 | #Constraints: 48427 912.64/915.55 c #Conflicts: 618000 | #Constraints: 49427 912.64/915.55 c #Conflicts: 619000 | #Constraints: 50427 912.64/915.55 c #Conflicts: 620000 | #Constraints: 51428 912.64/915.55 c #Conflicts: 621000 | #Constraints: 52428 912.64/915.55 c #Conflicts: 622000 | #Constraints: 53428 912.64/915.55 c #Conflicts: 623000 | #Constraints: 54428 912.64/915.55 c #Conflicts: 624000 | #Constraints: 55428 912.64/915.55 c #Conflicts: 625000 | #Constraints: 56428 912.64/915.55 c #Conflicts: 626000 | #Constraints: 57428 912.64/915.55 c #Conflicts: 627000 | #Constraints: 58428 912.64/915.55 c #Conflicts: 628000 | #Constraints: 59428 912.64/915.55 c #Conflicts: 629000 | #Constraints: 60428 912.64/915.55 c #Conflicts: 630000 | #Constraints: 61428 912.64/915.55 c #Conflicts: 631000 | #Constraints: 62428 912.64/915.55 c #Conflicts: 632000 | #Constraints: 63428 912.64/915.55 c #Conflicts: 633000 | #Constraints: 64428 912.64/915.55 c INPROCESSING 912.64/915.55 c GARBAGE COLLECT 912.64/915.55 c rational objective 107 934.27/937.26 c #Conflicts: 634000 | #Constraints: 37139 934.27/937.26 c #Conflicts: 635000 | #Constraints: 38139 934.27/937.26 c #Conflicts: 636000 | #Constraints: 39139 934.27/937.26 c #Conflicts: 637000 | #Constraints: 40139 934.27/937.26 c #Conflicts: 638000 | #Constraints: 41139 934.27/937.26 c #Conflicts: 639000 | #Constraints: 42140 934.27/937.26 c #Conflicts: 640000 | #Constraints: 43140 934.27/937.26 c #Conflicts: 641000 | #Constraints: 44140 934.27/937.26 c #Conflicts: 642000 | #Constraints: 45140 934.27/937.26 c #Conflicts: 643000 | #Constraints: 46140 934.27/937.26 c #Conflicts: 644000 | #Constraints: 47140 934.27/937.26 c #Conflicts: 645000 | #Constraints: 48140 934.27/937.26 c #Conflicts: 646000 | #Constraints: 49140 934.27/937.26 c #Conflicts: 647000 | #Constraints: 50140 934.27/937.26 c #Conflicts: 648000 | #Constraints: 51140 934.27/937.26 c #Conflicts: 649000 | #Constraints: 52140 934.27/937.26 c #Conflicts: 650000 | #Constraints: 53140 934.27/937.26 c #Conflicts: 651000 | #Constraints: 54140 934.27/937.26 c #Conflicts: 652000 | #Constraints: 55140 934.27/937.26 c INPROCESSING 934.27/937.26 c GARBAGE COLLECT 934.27/937.26 c rational objective 107 956.91/959.92 c #Conflicts: 653000 | #Constraints: 32513 956.91/959.92 c #Conflicts: 654000 | #Constraints: 33513 956.91/959.92 c #Conflicts: 655000 | #Constraints: 34514 956.91/959.92 c #Conflicts: 656000 | #Constraints: 35514 956.91/959.92 c #Conflicts: 657000 | #Constraints: 36514 956.91/959.92 c #Conflicts: 658000 | #Constraints: 37514 956.91/959.92 c #Conflicts: 659000 | #Constraints: 38514 956.91/959.92 c #Conflicts: 660000 | #Constraints: 39514 956.91/959.92 c #Conflicts: 661000 | #Constraints: 40514 956.91/959.92 c #Conflicts: 662000 | #Constraints: 41514 956.91/959.92 c #Conflicts: 663000 | #Constraints: 42514 956.91/959.92 c #Conflicts: 664000 | #Constraints: 43514 956.91/959.92 c #Conflicts: 665000 | #Constraints: 44514 956.91/959.92 c #Conflicts: 666000 | #Constraints: 45514 956.91/959.92 c #Conflicts: 667000 | #Constraints: 46514 956.91/959.92 c #Conflicts: 668000 | #Constraints: 47514 956.91/959.92 c #Conflicts: 669000 | #Constraints: 48514 956.91/959.92 c #Conflicts: 670000 | #Constraints: 49514 956.91/959.92 c #Conflicts: 671000 | #Constraints: 50514 956.91/959.92 c INPROCESSING 956.91/959.92 c GARBAGE COLLECT 956.91/959.92 c rational objective 107 1075.04/1078.48 c #Conflicts: 672000 | #Constraints: 30151 1075.04/1078.48 c #Conflicts: 673000 | #Constraints: 31151 1075.04/1078.48 c #Conflicts: 674000 | #Constraints: 32151 1075.04/1078.48 c #Conflicts: 675000 | #Constraints: 33151 1075.04/1078.48 c #Conflicts: 676000 | #Constraints: 34152 1075.04/1078.48 c #Conflicts: 677000 | #Constraints: 35152 1075.04/1078.48 c #Conflicts: 678000 | #Constraints: 36152 1075.04/1078.48 c #Conflicts: 679000 | #Constraints: 37152 1075.04/1078.48 c #Conflicts: 680000 | #Constraints: 38152 1075.04/1078.48 c #Conflicts: 681000 | #Constraints: 39152 1075.04/1078.48 c #Conflicts: 682000 | #Constraints: 40152 1075.04/1078.48 c #Conflicts: 683000 | #Constraints: 41152 1075.04/1078.48 c #Conflicts: 684000 | #Constraints: 42152 1075.04/1078.48 c #Conflicts: 685000 | #Constraints: 43152 1075.04/1078.48 c #Conflicts: 686000 | #Constraints: 44153 1075.04/1078.48 c #Conflicts: 687000 | #Constraints: 45153 1075.04/1078.48 c #Conflicts: 688000 | #Constraints: 46153 1075.04/1078.48 c #Conflicts: 689000 | #Constraints: 47153 1075.04/1078.48 c #Conflicts: 690000 | #Constraints: 48153 1075.04/1078.48 c #Conflicts: 691000 | #Constraints: 49153 1075.04/1078.48 c #Conflicts: 692000 | #Constraints: 50153 1075.04/1078.48 c #Conflicts: 693000 | #Constraints: 51153 1075.04/1078.48 c #Conflicts: 694000 | #Constraints: 52153 1075.04/1078.48 c #Conflicts: 695000 | #Constraints: 53153 1075.04/1078.48 c #Conflicts: 696000 | #Constraints: 54153 1075.04/1078.48 c #Conflicts: 697000 | #Constraints: 55153 1075.04/1078.48 c #Conflicts: 698000 | #Constraints: 56154 1075.04/1078.48 c #Conflicts: 699000 | #Constraints: 57154 1075.04/1078.48 c #Conflicts: 700000 | #Constraints: 58154 1075.04/1078.48 c #Conflicts: 701000 | #Constraints: 59154 1075.04/1078.48 c #Conflicts: 702000 | #Constraints: 60154 1075.04/1078.48 c #Conflicts: 703000 | #Constraints: 61154 1075.04/1078.48 c #Conflicts: 704000 | #Constraints: 62154 1075.04/1078.48 c #Conflicts: 705000 | #Constraints: 63154 1075.04/1078.48 c #Conflicts: 706000 | #Constraints: 64154 1075.04/1078.48 c #Conflicts: 707000 | #Constraints: 65154 1075.04/1078.48 c #Conflicts: 708000 | #Constraints: 66154 1075.04/1078.48 c #Conflicts: 709000 | #Constraints: 67154 1075.04/1078.48 c #Conflicts: 710000 | #Constraints: 68154 1075.04/1078.48 c #Conflicts: 711000 | #Constraints: 69154 1075.04/1078.48 c #Conflicts: 712000 | #Constraints: 70155 1075.04/1078.48 c #Conflicts: 713000 | #Constraints: 71155 1075.04/1078.48 c #Conflicts: 714000 | #Constraints: 72155 1075.04/1078.48 c #Conflicts: 715000 | #Constraints: 73155 1075.04/1078.48 c #Conflicts: 716000 | #Constraints: 74155 1075.04/1078.48 c #Conflicts: 717000 | #Constraints: 75155 1075.04/1078.48 c #Conflicts: 718000 | #Constraints: 76156 1075.04/1078.48 c #Conflicts: 719000 | #Constraints: 77156 1075.04/1078.48 c #Conflicts: 720000 | #Constraints: 78156 1075.04/1078.48 c #Conflicts: 721000 | #Constraints: 79156 1075.04/1078.48 c #Conflicts: 722000 | #Constraints: 80156 1075.04/1078.48 c #Conflicts: 723000 | #Constraints: 81157 1075.04/1078.48 c #Conflicts: 724000 | #Constraints: 82157 1075.04/1078.48 c #Conflicts: 725000 | #Constraints: 83157 1075.04/1078.48 c #Conflicts: 726000 | #Constraints: 84157 1075.04/1078.48 c #Conflicts: 727000 | #Constraints: 85157 1075.04/1078.48 c #Conflicts: 728000 | #Constraints: 86157 1075.04/1078.48 c #Conflicts: 729000 | #Constraints: 87157 1075.04/1078.48 c #Conflicts: 730000 | #Constraints: 88157 1075.04/1078.48 c #Conflicts: 731000 | #Constraints: 89157 1075.04/1078.48 c #Conflicts: 732000 | #Constraints: 90157 1075.04/1078.48 c #Conflicts: 733000 | #Constraints: 91157 1075.04/1078.48 c INPROCESSING 1075.04/1078.48 c GARBAGE COLLECT 1075.04/1078.48 c rational objective 107 1114.41/1117.99 c #Conflicts: 734000 | #Constraints: 50723 1114.41/1117.99 c #Conflicts: 735000 | #Constraints: 51723 1114.41/1117.99 c #Conflicts: 736000 | #Constraints: 52723 1114.41/1117.99 c #Conflicts: 737000 | #Constraints: 53724 1114.41/1117.99 c #Conflicts: 738000 | #Constraints: 54724 1114.41/1117.99 c #Conflicts: 739000 | #Constraints: 55724 1114.41/1117.99 c #Conflicts: 740000 | #Constraints: 56724 1114.41/1117.99 c #Conflicts: 741000 | #Constraints: 57724 1114.41/1117.99 c #Conflicts: 742000 | #Constraints: 58724 1114.41/1117.99 c #Conflicts: 743000 | #Constraints: 59724 1114.41/1117.99 c #Conflicts: 744000 | #Constraints: 60724 1114.41/1117.99 c #Conflicts: 745000 | #Constraints: 61724 1114.41/1117.99 c #Conflicts: 746000 | #Constraints: 62724 1114.41/1117.99 c #Conflicts: 747000 | #Constraints: 63724 1114.41/1117.99 c #Conflicts: 748000 | #Constraints: 64724 1114.41/1117.99 c #Conflicts: 749000 | #Constraints: 65724 1114.41/1117.99 c #Conflicts: 750000 | #Constraints: 66724 1114.41/1117.99 c #Conflicts: 751000 | #Constraints: 67724 1114.41/1117.99 c #Conflicts: 752000 | #Constraints: 68725 1114.41/1117.99 c #Conflicts: 753000 | #Constraints: 69725 1114.41/1117.99 c INPROCESSING 1114.41/1117.99 c GARBAGE COLLECT 1114.41/1117.99 c rational objective 107 1141.82/1145.48 c #Conflicts: 754000 | #Constraints: 39825 1141.82/1145.48 c #Conflicts: 755000 | #Constraints: 40825 1141.82/1145.48 c #Conflicts: 756000 | #Constraints: 41825 1141.82/1145.48 c #Conflicts: 757000 | #Constraints: 42826 1141.82/1145.48 c #Conflicts: 758000 | #Constraints: 43826 1141.82/1145.48 c #Conflicts: 759000 | #Constraints: 44827 1141.82/1145.48 c #Conflicts: 760000 | #Constraints: 45827 1141.82/1145.48 c #Conflicts: 761000 | #Constraints: 46827 1141.82/1145.48 c #Conflicts: 762000 | #Constraints: 47828 1141.82/1145.48 c #Conflicts: 763000 | #Constraints: 48828 1141.82/1145.48 c #Conflicts: 764000 | #Constraints: 49828 1141.82/1145.48 c #Conflicts: 765000 | #Constraints: 50828 1141.82/1145.48 c #Conflicts: 766000 | #Constraints: 51828 1141.82/1145.48 c #Conflicts: 767000 | #Constraints: 52828 1141.82/1145.48 c #Conflicts: 768000 | #Constraints: 53828 1141.82/1145.48 c #Conflicts: 769000 | #Constraints: 54828 1141.82/1145.48 c #Conflicts: 770000 | #Constraints: 55828 1141.82/1145.48 c #Conflicts: 771000 | #Constraints: 56828 1141.82/1145.48 c #Conflicts: 772000 | #Constraints: 57828 1141.82/1145.48 c #Conflicts: 773000 | #Constraints: 58828 1141.82/1145.48 c #Conflicts: 774000 | #Constraints: 59828 1141.82/1145.48 c INPROCESSING 1141.82/1145.48 c GARBAGE COLLECT 1141.82/1145.48 c rational objective 107 1170.24/1173.93 c #Conflicts: 775000 | #Constraints: 35105 1170.24/1173.93 c #Conflicts: 776000 | #Constraints: 36105 1170.24/1173.93 c #Conflicts: 777000 | #Constraints: 37106 1170.24/1173.93 c #Conflicts: 778000 | #Constraints: 38106 1170.24/1173.93 c #Conflicts: 779000 | #Constraints: 39106 1170.24/1173.93 c #Conflicts: 780000 | #Constraints: 40106 1170.24/1173.93 c #Conflicts: 781000 | #Constraints: 41106 1170.24/1173.93 c #Conflicts: 782000 | #Constraints: 42106 1170.24/1173.93 c #Conflicts: 783000 | #Constraints: 43106 1170.24/1173.93 c #Conflicts: 784000 | #Constraints: 44106 1170.24/1173.93 c #Conflicts: 785000 | #Constraints: 45106 1170.24/1173.93 c #Conflicts: 786000 | #Constraints: 46106 1170.24/1173.93 c #Conflicts: 787000 | #Constraints: 47107 1170.24/1173.93 c #Conflicts: 788000 | #Constraints: 48107 1170.24/1173.93 c #Conflicts: 789000 | #Constraints: 49107 1170.24/1173.93 c #Conflicts: 790000 | #Constraints: 50107 1170.24/1173.93 c #Conflicts: 791000 | #Constraints: 51107 1170.24/1173.93 c #Conflicts: 792000 | #Constraints: 52107 1170.24/1173.93 c #Conflicts: 793000 | #Constraints: 53107 1170.24/1173.93 c #Conflicts: 794000 | #Constraints: 54107 1170.24/1173.93 c #Conflicts: 795000 | #Constraints: 55107 1170.24/1173.93 c INPROCESSING 1170.24/1173.93 c GARBAGE COLLECT 1170.24/1173.93 c rational objective 107 1311.90/1316.10 c #Conflicts: 796000 | #Constraints: 32827 1311.90/1316.10 c #Conflicts: 797000 | #Constraints: 33827 1311.90/1316.10 c #Conflicts: 798000 | #Constraints: 34827 1311.90/1316.10 c #Conflicts: 799000 | #Constraints: 35827 1311.90/1316.10 c #Conflicts: 800000 | #Constraints: 36827 1311.90/1316.10 c #Conflicts: 801000 | #Constraints: 37827 1311.90/1316.10 c #Conflicts: 802000 | #Constraints: 38828 1311.90/1316.10 c #Conflicts: 803000 | #Constraints: 39829 1311.90/1316.10 c #Conflicts: 804000 | #Constraints: 40829 1311.90/1316.10 c #Conflicts: 805000 | #Constraints: 41829 1311.90/1316.10 c #Conflicts: 806000 | #Constraints: 42830 1311.90/1316.10 c #Conflicts: 807000 | #Constraints: 43830 1311.90/1316.10 c #Conflicts: 808000 | #Constraints: 44830 1311.90/1316.10 c #Conflicts: 809000 | #Constraints: 45830 1311.90/1316.10 c #Conflicts: 810000 | #Constraints: 46831 1311.90/1316.10 c #Conflicts: 811000 | #Constraints: 47831 1311.90/1316.10 c #Conflicts: 812000 | #Constraints: 48831 1311.90/1316.10 c #Conflicts: 813000 | #Constraints: 49831 1311.90/1316.10 c #Conflicts: 814000 | #Constraints: 50831 1311.90/1316.10 c #Conflicts: 815000 | #Constraints: 51831 1311.90/1316.10 c #Conflicts: 816000 | #Constraints: 52831 1311.90/1316.10 c #Conflicts: 817000 | #Constraints: 53831 1311.90/1316.10 c #Conflicts: 818000 | #Constraints: 54831 1311.90/1316.10 c #Conflicts: 819000 | #Constraints: 55831 1311.90/1316.10 c #Conflicts: 820000 | #Constraints: 56831 1311.90/1316.10 c #Conflicts: 821000 | #Constraints: 57831 1311.90/1316.10 c #Conflicts: 822000 | #Constraints: 58831 1311.90/1316.10 c #Conflicts: 823000 | #Constraints: 59831 1311.90/1316.10 c #Conflicts: 824000 | #Constraints: 60831 1311.90/1316.10 c #Conflicts: 825000 | #Constraints: 61831 1311.90/1316.10 c #Conflicts: 826000 | #Constraints: 62831 1311.90/1316.10 c #Conflicts: 827000 | #Constraints: 63832 1311.90/1316.10 c #Conflicts: 828000 | #Constraints: 64832 1311.90/1316.10 c #Conflicts: 829000 | #Constraints: 65832 1311.90/1316.10 c #Conflicts: 830000 | #Constraints: 66833 1311.90/1316.10 c #Conflicts: 831000 | #Constraints: 67833 1311.90/1316.10 c #Conflicts: 832000 | #Constraints: 68833 1311.90/1316.10 c #Conflicts: 833000 | #Constraints: 69833 1311.90/1316.10 c #Conflicts: 834000 | #Constraints: 70833 1311.90/1316.10 c #Conflicts: 835000 | #Constraints: 71833 1311.90/1316.10 c #Conflicts: 836000 | #Constraints: 72833 1311.90/1316.10 c #Conflicts: 837000 | #Constraints: 73833 1311.90/1316.10 c #Conflicts: 838000 | #Constraints: 74833 1311.90/1316.10 c #Conflicts: 839000 | #Constraints: 75833 1311.90/1316.10 c #Conflicts: 840000 | #Constraints: 76833 1311.90/1316.10 c #Conflicts: 841000 | #Constraints: 77833 1311.90/1316.10 c #Conflicts: 842000 | #Constraints: 78833 1311.90/1316.10 c #Conflicts: 843000 | #Constraints: 79833 1311.90/1316.10 c #Conflicts: 844000 | #Constraints: 80833 1311.90/1316.10 c #Conflicts: 845000 | #Constraints: 81833 1311.90/1316.10 c #Conflicts: 846000 | #Constraints: 82834 1311.90/1316.10 c #Conflicts: 847000 | #Constraints: 83834 1311.90/1316.10 c #Conflicts: 848000 | #Constraints: 84834 1311.90/1316.10 c #Conflicts: 849000 | #Constraints: 85834 1311.90/1316.10 c #Conflicts: 850000 | #Constraints: 86834 1311.90/1316.10 c #Conflicts: 851000 | #Constraints: 87834 1311.90/1316.10 c #Conflicts: 852000 | #Constraints: 88834 1311.90/1316.10 c #Conflicts: 853000 | #Constraints: 89834 1311.90/1316.10 c #Conflicts: 854000 | #Constraints: 90834 1311.90/1316.10 c #Conflicts: 855000 | #Constraints: 91834 1311.90/1316.10 c #Conflicts: 856000 | #Constraints: 92834 1311.90/1316.10 c #Conflicts: 857000 | #Constraints: 93834 1311.90/1316.10 c #Conflicts: 858000 | #Constraints: 94834 1311.90/1316.10 c #Conflicts: 859000 | #Constraints: 95834 1311.90/1316.10 c #Conflicts: 860000 | #Constraints: 96834 1311.90/1316.10 c #Conflicts: 861000 | #Constraints: 97834 1311.90/1316.10 c INPROCESSING 1311.90/1316.10 c GARBAGE COLLECT 1311.90/1316.10 c rational objective 107 1357.65/1361.96 c #Conflicts: 862000 | #Constraints: 53716 1357.65/1361.96 c #Conflicts: 863000 | #Constraints: 54716 1357.65/1361.96 c #Conflicts: 864000 | #Constraints: 55716 1357.65/1361.96 c #Conflicts: 865000 | #Constraints: 56716 1357.65/1361.96 c #Conflicts: 866000 | #Constraints: 57716 1357.65/1361.96 c #Conflicts: 867000 | #Constraints: 58716 1357.65/1361.96 c #Conflicts: 868000 | #Constraints: 59716 1357.65/1361.96 c #Conflicts: 869000 | #Constraints: 60717 1357.65/1361.96 c #Conflicts: 870000 | #Constraints: 61717 1357.65/1361.96 c #Conflicts: 871000 | #Constraints: 62717 1357.65/1361.96 c #Conflicts: 872000 | #Constraints: 63717 1357.65/1361.96 c #Conflicts: 873000 | #Constraints: 64717 1357.65/1361.96 c #Conflicts: 874000 | #Constraints: 65717 1357.65/1361.96 c #Conflicts: 875000 | #Constraints: 66718 1357.65/1361.96 c #Conflicts: 876000 | #Constraints: 67718 1357.65/1361.96 c #Conflicts: 877000 | #Constraints: 68718 1357.65/1361.96 c #Conflicts: 878000 | #Constraints: 69718 1357.65/1361.96 c #Conflicts: 879000 | #Constraints: 70718 1357.65/1361.96 c #Conflicts: 880000 | #Constraints: 71718 1357.65/1361.96 c #Conflicts: 881000 | #Constraints: 72718 1357.65/1361.96 c #Conflicts: 882000 | #Constraints: 73718 1357.65/1361.96 c #Conflicts: 883000 | #Constraints: 74718 1357.65/1361.96 c #Conflicts: 884000 | #Constraints: 75718 1357.65/1361.96 c INPROCESSING 1357.65/1361.96 c GARBAGE COLLECT 1357.65/1361.96 c rational objective 107 1394.54/1399.00 c #Conflicts: 885000 | #Constraints: 43144 1394.54/1399.00 c #Conflicts: 886000 | #Constraints: 44144 1394.54/1399.00 c #Conflicts: 887000 | #Constraints: 45144 1394.54/1399.00 c #Conflicts: 888000 | #Constraints: 46144 1394.54/1399.00 c #Conflicts: 889000 | #Constraints: 47144 1394.54/1399.00 c #Conflicts: 890000 | #Constraints: 48144 1394.54/1399.00 c #Conflicts: 891000 | #Constraints: 49144 1394.54/1399.00 c #Conflicts: 892000 | #Constraints: 50144 1394.54/1399.00 c #Conflicts: 893000 | #Constraints: 51144 1394.54/1399.00 c #Conflicts: 894000 | #Constraints: 52144 1394.54/1399.00 c #Conflicts: 895000 | #Constraints: 53144 1394.54/1399.00 c #Conflicts: 896000 | #Constraints: 54145 1394.54/1399.00 c #Conflicts: 897000 | #Constraints: 55146 1394.54/1399.00 c #Conflicts: 898000 | #Constraints: 56146 1394.54/1399.00 c #Conflicts: 899000 | #Constraints: 57146 1394.54/1399.00 c #Conflicts: 900000 | #Constraints: 58147 1394.54/1399.00 c #Conflicts: 901000 | #Constraints: 59147 1394.54/1399.00 c #Conflicts: 902000 | #Constraints: 60147 1394.54/1399.00 c #Conflicts: 903000 | #Constraints: 61147 1394.54/1399.00 c #Conflicts: 904000 | #Constraints: 62147 1394.54/1399.00 c #Conflicts: 905000 | #Constraints: 63147 1394.54/1399.00 c #Conflicts: 906000 | #Constraints: 64147 1394.54/1399.00 c INPROCESSING 1394.54/1399.00 c GARBAGE COLLECT 1394.54/1399.00 c rational objective 107 1425.35/1429.89 c #Conflicts: 907000 | #Constraints: 37160 1425.35/1429.89 c #Conflicts: 908000 | #Constraints: 38160 1425.35/1429.89 c #Conflicts: 909000 | #Constraints: 39160 1425.35/1429.89 c #Conflicts: 910000 | #Constraints: 40160 1425.35/1429.89 c #Conflicts: 911000 | #Constraints: 41160 1425.35/1429.89 c #Conflicts: 912000 | #Constraints: 42160 1425.35/1429.89 c #Conflicts: 913000 | #Constraints: 43160 1425.35/1429.89 c #Conflicts: 914000 | #Constraints: 44160 1425.35/1429.89 c #Conflicts: 915000 | #Constraints: 45160 1425.35/1429.89 c #Conflicts: 916000 | #Constraints: 46160 1425.35/1429.89 c #Conflicts: 917000 | #Constraints: 47160 1425.35/1429.89 c #Conflicts: 918000 | #Constraints: 48161 1425.35/1429.89 c #Conflicts: 919000 | #Constraints: 49161 1425.35/1429.89 c #Conflicts: 920000 | #Constraints: 50161 1425.35/1429.89 c #Conflicts: 921000 | #Constraints: 51161 1425.35/1429.89 c #Conflicts: 922000 | #Constraints: 52161 1425.35/1429.89 c #Conflicts: 923000 | #Constraints: 53161 1425.35/1429.89 c #Conflicts: 924000 | #Constraints: 54161 1425.35/1429.89 c #Conflicts: 925000 | #Constraints: 55161 1425.35/1429.89 c #Conflicts: 926000 | #Constraints: 56161 1425.35/1429.89 c #Conflicts: 927000 | #Constraints: 57161 1425.35/1429.89 c #Conflicts: 928000 | #Constraints: 58161 1425.35/1429.89 c INPROCESSING 1425.35/1429.89 c GARBAGE COLLECT 1425.35/1429.89 c rational objective 107 1571.29/1576.24 c #Conflicts: 929000 | #Constraints: 33972 1571.29/1576.24 c #Conflicts: 930000 | #Constraints: 34972 1571.29/1576.24 c #Conflicts: 931000 | #Constraints: 35972 1571.29/1576.24 c #Conflicts: 932000 | #Constraints: 36972 1571.29/1576.24 c #Conflicts: 933000 | #Constraints: 37972 1571.29/1576.24 c #Conflicts: 934000 | #Constraints: 38972 1571.29/1576.24 c #Conflicts: 935000 | #Constraints: 39972 1571.29/1576.24 c #Conflicts: 936000 | #Constraints: 40972 1571.29/1576.24 c #Conflicts: 937000 | #Constraints: 41972 1571.29/1576.24 c #Conflicts: 938000 | #Constraints: 42973 1571.29/1576.24 c #Conflicts: 939000 | #Constraints: 43973 1571.29/1576.24 c #Conflicts: 940000 | #Constraints: 44973 1571.29/1576.24 c #Conflicts: 941000 | #Constraints: 45973 1571.29/1576.24 c #Conflicts: 942000 | #Constraints: 46973 1571.29/1576.24 c #Conflicts: 943000 | #Constraints: 47973 1571.29/1576.24 c #Conflicts: 944000 | #Constraints: 48973 1571.29/1576.24 c #Conflicts: 945000 | #Constraints: 49974 1571.29/1576.24 c #Conflicts: 946000 | #Constraints: 50974 1571.29/1576.24 c #Conflicts: 947000 | #Constraints: 51974 1571.29/1576.24 c #Conflicts: 948000 | #Constraints: 52974 1571.29/1576.24 c #Conflicts: 949000 | #Constraints: 53974 1571.29/1576.24 c #Conflicts: 950000 | #Constraints: 54974 1571.29/1576.24 c #Conflicts: 951000 | #Constraints: 55974 1571.29/1576.24 c #Conflicts: 952000 | #Constraints: 56974 1571.29/1576.24 c #Conflicts: 953000 | #Constraints: 57974 1571.29/1576.24 c #Conflicts: 954000 | #Constraints: 58974 1571.29/1576.24 c #Conflicts: 955000 | #Constraints: 59974 1571.29/1576.24 c #Conflicts: 956000 | #Constraints: 60974 1571.29/1576.24 c #Conflicts: 957000 | #Constraints: 61975 1571.29/1576.24 c #Conflicts: 958000 | #Constraints: 62975 1571.29/1576.24 c #Conflicts: 959000 | #Constraints: 63975 1571.29/1576.24 c #Conflicts: 960000 | #Constraints: 64975 1571.29/1576.24 c #Conflicts: 961000 | #Constraints: 65975 1571.29/1576.24 c #Conflicts: 962000 | #Constraints: 66975 1571.29/1576.24 c #Conflicts: 963000 | #Constraints: 67975 1571.29/1576.24 c #Conflicts: 964000 | #Constraints: 68975 1571.29/1576.24 c #Conflicts: 965000 | #Constraints: 69975 1571.29/1576.24 c #Conflicts: 966000 | #Constraints: 70975 1571.29/1576.24 c #Conflicts: 967000 | #Constraints: 71975 1571.29/1576.24 c #Conflicts: 968000 | #Constraints: 72975 1571.29/1576.24 c #Conflicts: 969000 | #Constraints: 73975 1571.29/1576.24 c #Conflicts: 970000 | #Constraints: 74975 1571.29/1576.24 c #Conflicts: 971000 | #Constraints: 75975 1571.29/1576.24 c #Conflicts: 972000 | #Constraints: 76975 1571.29/1576.24 c #Conflicts: 973000 | #Constraints: 77975 1571.29/1576.24 c #Conflicts: 974000 | #Constraints: 78975 1571.29/1576.24 c #Conflicts: 975000 | #Constraints: 79975 1571.29/1576.24 c #Conflicts: 976000 | #Constraints: 80975 1571.29/1576.24 c #Conflicts: 977000 | #Constraints: 81975 1571.29/1576.24 c #Conflicts: 978000 | #Constraints: 82975 1571.29/1576.24 c #Conflicts: 979000 | #Constraints: 83975 1571.29/1576.24 c #Conflicts: 980000 | #Constraints: 84975 1571.29/1576.24 c #Conflicts: 981000 | #Constraints: 85975 1571.29/1576.24 c #Conflicts: 982000 | #Constraints: 86975 1571.29/1576.24 c #Conflicts: 983000 | #Constraints: 87975 1571.29/1576.24 c #Conflicts: 984000 | #Constraints: 88975 1571.29/1576.24 c #Conflicts: 985000 | #Constraints: 89975 1571.29/1576.24 c #Conflicts: 986000 | #Constraints: 90975 1571.29/1576.24 c #Conflicts: 987000 | #Constraints: 91975 1571.29/1576.24 c #Conflicts: 988000 | #Constraints: 92975 1571.29/1576.24 c #Conflicts: 989000 | #Constraints: 93975 1571.29/1576.24 c #Conflicts: 990000 | #Constraints: 94976 1571.29/1576.24 c #Conflicts: 991000 | #Constraints: 95976 1571.29/1576.24 c #Conflicts: 992000 | #Constraints: 96976 1571.29/1576.24 c #Conflicts: 993000 | #Constraints: 97976 1571.29/1576.24 c #Conflicts: 994000 | #Constraints: 98976 1571.29/1576.24 c #Conflicts: 995000 | #Constraints: 99976 1571.29/1576.24 c #Conflicts: 996000 | #Constraints: 100976 1571.29/1576.24 c #Conflicts: 997000 | #Constraints: 101976 1571.29/1576.24 c #Conflicts: 998000 | #Constraints: 102976 1571.29/1576.24 c #Conflicts: 999000 | #Constraints: 103976 1571.29/1576.24 c #Conflicts: 1000000 | #Constraints: 104976 1571.29/1576.24 c #Conflicts: 1001000 | #Constraints: 105976 1571.29/1576.24 c INPROCESSING 1571.29/1576.24 c GARBAGE COLLECT 1571.29/1576.24 c rational objective 107 1581.56/1586.50 c #Conflicts: 1002000 | #Constraints: 58285 1581.56/1586.50 c #Conflicts: 1003000 | #Constraints: 59285 1581.56/1586.50 c #Conflicts: 1004000 | #Constraints: 60285 1581.56/1586.50 c #Conflicts: 1005000 | #Constraints: 61285 1581.56/1586.50 c #Conflicts: 1006000 | #Constraints: 62285 1581.56/1586.50 c #Conflicts: 1007000 | #Constraints: 63286 1581.56/1586.50 c cpu time 1558.14 s 1581.56/1586.50 c deterministic time 164535548518 1.65e+11 1581.56/1586.50 c optimization time 0.0001 s 1581.56/1586.50 c total solve time 1558.06 s 1581.56/1586.50 c core-guided solve time 0 s 1581.56/1586.50 c propagation time 1064.5 s 1581.56/1586.50 c conflict analysis time 360.958 s 1581.56/1586.50 c propagations 390120234 1581.56/1586.50 c resolve steps 32806470 1581.56/1586.50 c decisions 9837422 1581.56/1586.50 c conflicts 1007897 1581.56/1586.50 c restarts 2045 1581.56/1586.50 c inprocessing phases 55 1581.56/1586.50 c input clauses 7385 1581.56/1586.50 c input cardinalities 107 1581.56/1586.50 c input general constraints 0 1581.56/1586.50 c input average constraint length 6.24 1581.56/1586.50 c input average constraint degree 1.94 1581.56/1586.50 c learned clauses 670125 1581.56/1586.50 c learned cardinalities 27774 1581.56/1586.50 c learned general constraints 310086 1581.56/1586.50 c learned average constraint length 768.95 1581.56/1586.50 c learned average constraint degree 30374108.21 1581.56/1586.50 c watched constraints 248254 1581.56/1586.50 c counting constraints 61832 1581.56/1586.50 c gcd simplifications 2495 1581.56/1586.50 c detected cardinalities 2608 1581.56/1586.50 c weakened non-implied lits 134828484 1581.56/1586.50 c weakened non-implying lits 282335 1581.56/1586.50 c original variables 7276 1581.56/1586.50 c clausal propagations 147753045 1581.56/1586.50 c cardinality propagations 142464927 1581.56/1586.50 c watched propagations 25322976 1581.56/1586.50 c counting propagations 70567668 1581.56/1586.50 c watch lookups 11380449838 1581.56/1586.50 c watch backjump lookups 9059085608 1581.56/1586.50 c watch checks 113791927500 1581.56/1586.50 c propagation checks 27223984449 1581.56/1586.50 c constraint additions 2277960104 1581.56/1586.50 c trail pops 400965034 1581.56/1586.50 c formula constraints 7492 1581.56/1586.50 c learned constraints 1007810 1581.56/1586.50 c bound constraints 0 1581.56/1586.50 c core-guided constraints 0 1581.56/1586.50 c encountered formula constraints 19419507 1581.56/1586.50 c encountered learned constraints 14393809 1581.56/1586.50 c encountered bound constraints 0 1581.56/1586.50 c encountered core-guided constraints 0 1581.56/1586.50 c LP total time 386.077 s 1581.56/1586.50 c LP solve time 382.19 s 1581.56/1586.50 c LP constraints added 10094 1581.56/1586.50 c LP constraints removed 2546 1581.56/1586.50 c LP pivots internal 1011340 1581.56/1586.50 c LP pivots root 206988 1581.56/1586.50 c LP calls 233 1581.56/1586.50 c LP optimalities 140 1581.56/1586.50 c LP no pivot count 5 1581.56/1586.50 c LP infeasibilities 88 1581.56/1586.50 c LP valid Farkas constraints 88 1581.56/1586.50 c LP learned Farkas constraints 87 1581.56/1586.50 c LP basis resets 0 1581.56/1586.50 c LP cycling count 0 1581.56/1586.50 c LP singular count 0 1581.56/1586.50 c LP no primal count 0 1581.56/1586.50 c LP no farkas count 0 1581.56/1586.50 c LP other issue count 0 1581.56/1586.50 c LP Gomory cuts 0 1581.56/1586.50 c LP learned cuts 2602 1581.56/1586.50 c LP deleted cuts 2546 1581.56/1586.50 c LP encountered Gomory constraints 0 1581.56/1586.50 c LP encountered Farkas constraints 628 1581.56/1586.50 c LP encountered learned Farkas constraints 336 1581.56/1586.50 c CG auxiliary variables introduced 0 1581.56/1586.50 c CG solutions found 0 1581.56/1586.50 c CG cores constructed 0 1581.56/1586.50 c CG core cardinality constraints returned 0 1581.56/1586.50 c CG unit cores 0 1581.56/1586.50 c CG single cores 0 1581.56/1586.50 c CG blocks removed during cardinality reduction 0 1581.56/1586.50 c CG first core best 0 1581.56/1586.50 c CG decision core best 0 1581.56/1586.50 c CG core reduction tie 0 1581.56/1586.50 c CG core degree average 0.00 1581.56/1586.50 c CG core slack average 0.00 1581.56/1586.50 s SATISFIABLE 1581.56/1586.50 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: 64059 MiB (63185 MiB free)
memory of node 1: 64510 MiB (35729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463054-1722345584/watcher-4463054-1722345584 -o /tmp/evaluation-result-4463054-1722345584/solver-4463054-1722345584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463054-1722345584 --lp-cut-gomory=0 HOME/instance-4463054-1722345584.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9534, runsolver pid=9531
[startup+0.100274 s]*
/proc/loadavg: 4.24 4.26 4.26 5/246 9535
/proc/meminfo: memFree=101282316/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=45476 memory=15156 CPUtime=0.1 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 2767 0 0 0 8 2 0 0 20 0 1 0 1154053 46567424 3789 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 11369 3789 1630 992 0 3227 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 15156 KiB
[startup+0.213438 s]*
/proc/loadavg: 4.24 4.26 4.26 5/246 9535
/proc/meminfo: memFree=101271532/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=50260 memory=18948 CPUtime=0.21 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 3965 0 0 0 19 2 0 0 20 0 1 0 1154053 51466240 4737 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 12565 4737 1678 992 0 4423 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50260 KiB
Current children cumulated memory: 18948 KiB
[startup+0.313297 s]*
/proc/loadavg: 4.24 4.26 4.26 5/246 9535
/proc/meminfo: memFree=101268116/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=50260 memory=18948 CPUtime=0.3 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 3979 0 0 0 28 2 0 0 20 0 1 0 1154053 51466240 4737 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 12565 4737 1678 992 0 4423 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50260 KiB
Current children cumulated memory: 18948 KiB
[startup+0.700319 s]
/proc/loadavg: 4.24 4.26 4.26 5/246 9535
/proc/meminfo: memFree=101261592/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=51424 memory=20004 CPUtime=0.68 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 4268 0 0 0 65 3 0 0 20 0 1 0 1154053 52658176 5001 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 12856 5001 1678 992 0 4714 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20004 KiB
[startup+1.50031 s]
/proc/loadavg: 4.24 4.26 4.26 4/246 9535
/proc/meminfo: memFree=101231564/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=51424 memory=20268 CPUtime=1.48 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 4298 0 0 0 144 4 0 0 20 0 1 0 1154053 52658176 5067 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 12856 5067 1678 992 0 4714 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20268 KiB
[startup+3.11295 s]
/proc/loadavg: 4.30 4.27 4.26 5/246 9535
/proc/meminfo: memFree=101198668/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=53176 memory=24276 CPUtime=3.08 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 4756 0 0 0 296 12 0 0 20 0 1 0 1154053 54452224 6069 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 13294 6069 1710 992 0 5152 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53176 KiB
Current children cumulated memory: 24276 KiB
[startup+6.30028 s]
/proc/loadavg: 4.30 4.27 4.26 5/246 9537
/proc/meminfo: memFree=101114044/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=55084 memory=26356 CPUtime=6.26 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 5327 0 0 0 611 15 0 0 20 0 1 0 1154053 56406016 6589 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 13771 6589 1710 992 0 5629 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55084 KiB
Current children cumulated memory: 26356 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.26 4.26 5/246 9537
/proc/meminfo: memFree=100948436/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=60564 memory=31316 CPUtime=12.65 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 6472 0 0 0 1231 34 0 0 20 0 1 0 1154053 62017536 7829 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 15141 7829 1803 992 0 6999 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60564 KiB
Current children cumulated memory: 31316 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.26 4.26 4/246 9538
/proc/meminfo: memFree=100390500/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=64076 memory=36584 CPUtime=25.41 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 7789 0 0 0 2479 62 0 0 20 0 1 0 1154053 65613824 9146 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 16019 9146 1803 992 0 7877 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64076 KiB
Current children cumulated memory: 36584 KiB
[startup+51.1132 s]
/proc/loadavg: 4.21 4.25 4.26 5/247 9546
/proc/meminfo: memFree=99289208/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=115384 memory=74460 CPUtime=50.95 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 12387 0 0 0 4953 142 0 0 20 0 1 0 1154053 118153216 18615 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 28846 18615 1803 992 0 20704 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 74460 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.24 4.25 5/248 9557
/proc/meminfo: memFree=97012852/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=156256 memory=104956 CPUtime=101.97 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 15421 0 0 0 9961 236 0 0 20 0 1 0 1154053 160006144 26239 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 39064 26239 1803 992 0 30922 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 156256 KiB
Current children cumulated memory: 104956 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 4.29 4.27 8/250 9570
/proc/meminfo: memFree=93708284/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=168832 memory=137708 CPUtime=161.79 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 18549 0 0 0 15809 370 0 0 20 0 1 0 1154053 172883968 34427 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 42208 34427 1803 992 0 34066 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 168832 KiB
Current children cumulated memory: 137708 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.26 4.26 5/250 9582
/proc/meminfo: memFree=90250140/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=224568 memory=150828 CPUtime=221.6 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 20791 0 0 0 21662 498 0 0 20 0 1 0 1154053 229957632 37707 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 56142 37707 1803 992 0 48000 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 224568 KiB
Current children cumulated memory: 150828 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.23 4.25 5/250 9592
/proc/meminfo: memFree=87015908/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=311888 memory=223948 CPUtime=281.4 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 23184 0 0 0 27564 576 0 0 20 0 1 0 1154053 319373312 55987 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 77972 55987 1803 992 0 69830 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 311888 KiB
Current children cumulated memory: 223948 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.22 4.25 5/251 9987
/proc/meminfo: memFree=83511740/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=319732 memory=263860 CPUtime=341.21 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 25017 0 0 0 33434 687 0 0 20 0 1 0 1154053 327405568 65965 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 79933 65965 1803 992 0 71791 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 319732 KiB
Current children cumulated memory: 263860 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.24 5/254 10001
/proc/meminfo: memFree=80891508/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=324292 memory=268780 CPUtime=401.01 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 26251 0 0 0 39311 790 0 0 20 0 1 0 1154053 332075008 67195 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 81073 67195 1803 992 0 72931 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 324292 KiB
Current children cumulated memory: 268780 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.20 4.23 5/252 10031
/proc/meminfo: memFree=103341748/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=327968 memory=272604 CPUtime=460.82 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 27241 0 0 0 45189 893 0 0 20 0 1 0 1154053 335839232 68151 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 81992 68151 1803 992 0 73850 0
################
# More data... #
################
/proc/loadavg: 4.62 4.27 4.22 5/244 10388
/proc/meminfo: memFree=100868580/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=709292 memory=485780 CPUtime=1178.61 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 38583 0 0 0 115982 1879 0 0 20 0 1 0 1154053 726315008 121445 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 177323 121445 1803 992 0 169181 0
Current children cumulated CPU time: 1178.61 s
Current children cumulated vsize: 709292 KiB
Current children cumulated memory: 485780 KiB
[startup+1242.3 s]
/proc/loadavg: 4.54 4.34 4.24 5/246 10402
/proc/meminfo: memFree=100771016/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=709292 memory=485780 CPUtime=1238.42 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 38592 0 0 0 121888 1954 0 0 20 0 1 0 1154053 726315008 121445 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 177323 121445 1803 992 0 169181 0
Current children cumulated CPU time: 1238.42 s
Current children cumulated vsize: 709292 KiB
Current children cumulated memory: 485780 KiB
[startup+1302.3 s]
/proc/loadavg: 4.31 4.30 4.24 5/248 10414
/proc/meminfo: memFree=100502120/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=718092 memory=493992 CPUtime=1298.23 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 40673 0 0 0 127821 2002 0 0 20 0 1 0 1154053 735326208 123498 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 179523 123498 1803 992 0 171381 0
Current children cumulated CPU time: 1298.23 s
Current children cumulated vsize: 718092 KiB
Current children cumulated memory: 493992 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.25 4.22 5/248 10425
/proc/meminfo: memFree=100237760/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=723096 memory=497972 CPUtime=1358.05 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 42555 0 0 0 133731 2074 0 0 20 0 1 0 1154053 740450304 124493 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 180774 124493 1803 992 0 172632 0
Current children cumulated CPU time: 1358.05 s
Current children cumulated vsize: 723096 KiB
Current children cumulated memory: 497972 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.23 4.22 5/251 10439
/proc/meminfo: memFree=98428528/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=723260 memory=498380 CPUtime=1417.86 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 43051 0 0 0 139611 2175 0 0 20 0 1 0 1154053 740618240 124595 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 180815 124595 1803 992 0 172673 0
Current children cumulated CPU time: 1417.86 s
Current children cumulated vsize: 723260 KiB
Current children cumulated memory: 498380 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.20 4.20 5/252 10450
/proc/meminfo: memFree=96861592/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=723416 memory=498644 CPUtime=1477.68 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 43129 0 0 0 145514 2254 0 0 20 0 1 0 1154053 740777984 124661 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 180854 124661 1803 992 0 172712 0
Current children cumulated CPU time: 1477.68 s
Current children cumulated vsize: 723416 KiB
Current children cumulated memory: 498644 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.18 4.19 5/254 10464
/proc/meminfo: memFree=95448216/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=726364 memory=501248 CPUtime=1537.5 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 43871 0 0 0 151446 2304 0 0 20 0 1 0 1154053 743796736 125312 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 181591 125312 1803 992 0 173449 0
Current children cumulated CPU time: 1537.5 s
Current children cumulated vsize: 726364 KiB
Current children cumulated memory: 501248 KiB
[startup+1586.59 s]
# the end of solver process 9534 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1558.15 s, system=23.4443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.06 4.16 4.19 5/254 10467
/proc/meminfo: memFree=94899276/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=729004 memory=503672 CPUtime=1556.74 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 44491 0 0 0 153357 2317 0 0 20 0 1 0 1154053 746500096 125918 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182251 125918 1803 992 0 174109 0
Current children cumulated CPU time: 1556.74 s
Current children cumulated vsize: 729004 KiB
Current children cumulated memory: 503672 KiB
[startup+1574.4 s]
/proc/loadavg: 4.05 4.16 4.18 5/254 10469
/proc/meminfo: memFree=94529588/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=729428 memory=520812 CPUtime=1569.49 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 44702 0 0 0 154623 2326 0 0 20 0 1 0 1154053 746934272 130203 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182357 130203 1803 992 0 174215 0
Current children cumulated CPU time: 1569.49 s
Current children cumulated vsize: 729428 KiB
Current children cumulated memory: 520812 KiB
[startup+1580.8 s]
/proc/loadavg: 4.05 4.15 4.18 5/254 10471
/proc/meminfo: memFree=94319308/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730524 memory=523628 CPUtime=1575.87 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45315 0 0 0 155255 2332 0 0 20 0 1 0 1154053 748056576 130907 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182631 130907 1803 992 0 174489 0
Current children cumulated CPU time: 1575.87 s
Current children cumulated vsize: 730524 KiB
Current children cumulated memory: 523628 KiB
[startup+1584 s]*
/proc/loadavg: 4.04 4.15 4.18 5/254 10471
/proc/meminfo: memFree=94245004/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730684 memory=523888 CPUtime=1579.08 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45398 0 0 0 155570 2338 0 0 20 0 1 0 1154053 748220416 130972 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182671 130972 1803 992 0 174529 0
Current children cumulated CPU time: 1579.08 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 523888 KiB
[startup+1585.6 s]
/proc/loadavg: 4.04 4.15 4.18 5/254 10471
/proc/meminfo: memFree=94218500/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730684 memory=523888 CPUtime=1580.66 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45398 0 0 0 155725 2341 0 0 20 0 1 0 1154053 748220416 130972 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182671 130972 1803 992 0 174529 0
Current children cumulated CPU time: 1580.66 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 523888 KiB
[startup+1586 s]*
/proc/loadavg: 4.04 4.15 4.18 5/254 10473
/proc/meminfo: memFree=94182976/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730684 memory=523888 CPUtime=1581.07 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45398 0 0 0 155765 2342 0 0 20 0 1 0 1154053 748220416 130972 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182671 130972 1803 992 0 174529 0
Current children cumulated CPU time: 1581.07 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 523888 KiB
[startup+1586.4 s]
/proc/loadavg: 4.04 4.15 4.18 5/254 10473
/proc/meminfo: memFree=94182976/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730684 memory=523888 CPUtime=1581.46 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45398 0 0 0 155804 2342 0 0 20 0 1 0 1154053 748220416 130972 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182671 130972 1803 992 0 174529 0
Current children cumulated CPU time: 1581.46 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 523888 KiB
[startup+1586.5 s]
/proc/loadavg: 4.04 4.15 4.18 5/254 10473
/proc/meminfo: memFree=94182976/131655788 swapFree=131071996/131071996
[pid=9534] ppid=9531 vsize=730684 memory=523888 CPUtime=1581.56 cores=4,6
/proc/9534/stat : 9534 (roundingsat) R 9531 9534 6802 0 -1 4194304 45398 0 0 0 155814 2342 0 0 20 0 1 0 1154053 748220416 130972 134679101440 4194304 8255733 140730157032544 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27746304 140730157040478 140730157040740 140730157040740 140730157047753 0
/proc/9534/statm: 182671 130972 1803 992 0 174529 0
Current children cumulated CPU time: 1581.56 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 523888 KiB
Child status: 0
Real time (s): 1586.59
CPU time (s): 1581.59
CPU user time (s): 1558.15
CPU system time (s): 23.4443
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 730684
Max. memory (cumulated for all children) (KiB): 523888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1558.15
system time used= 23.4443
maximum resident set size= 525224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45406
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= 1245
involuntary context switches= 2287
# summary of solver processes directly reported to runsolver:
# pid: 9534
# total CPU time (s): 1581.59
# total CPU user time (s): 1558.15
# total CPU system time (s): 23.4443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37759 second user time and 15.1286 second system time
The end
Begin job on nodeC002 at 2024-07-30 15:19:44 IDJOB=4463054 IDBENCH=158360 IDSOLVER=3089 FILE ID=nodeC002/4463054-1722345584 RUNJOBID= nodeC002-1722340763-6813 SLURM_JOB_ID= 8248982 Free space on /tmp= 723732 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-4463054-1722345584/watcher-4463054-1722345584 -o /tmp/evaluation-result-4463054-1722345584/solver-4463054-1722345584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463054-1722345584 --lp-cut-gomory=0 HOME/instance-4463054-1722345584.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99 RANDOM SEED=768974306 nodeC002.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 : 3656.793 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.65 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 : 3606.246 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.23 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.375 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.65 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.281 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.23 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 : 3491.836 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.65 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 : 1795.796 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.23 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.212 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.65 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.253 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 101289796 kB MemAvailable: 125398984 kB Buffers: 52624 kB Cached: 24876900 kB SwapCached: 0 kB Active: 199484 kB Inactive: 29668116 kB Active(anon): 1892 kB Inactive(anon): 4965784 kB Active(file): 197592 kB Inactive(file): 24702332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 438292 kB Writeback: 64 kB AnonPages: 4938164 kB Mapped: 98028 kB Shmem: 29512 kB KReclaimable: 98588 kB Slab: 188052 kB SReclaimable: 98588 kB SUnreclaim: 89464 kB KernelStack: 3952 kB PageTables: 18700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5327688 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 1880064 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: 152392 kB DirectMap2M: 10237952 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723728 MiB End job on nodeC002 at 2024-07-30 15:46:11