| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | SAT | 2076.67 | 2082.18 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K107.opb |
| MD5SUM | 86c4e69ec1b5c87cf6b12225bb221f99 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.99716 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7276 |
| Total number of constraints | 7492 |
| Number of constraints which are clauses | 7385 |
| Number of constraints which are cardinality constraints (but not clauses) | 107 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 108 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.03 c #variables 7276 #constraints 7492 16.75/16.85 c #Conflicts: 1000 | #Constraints: 8491 16.75/16.85 c #Conflicts: 2000 | #Constraints: 9491 16.75/16.85 c INPROCESSING 16.75/16.85 c GARBAGE COLLECT 16.75/16.85 c #Conflicts: 3000 | #Constraints: 9185 16.75/16.85 c #Conflicts: 4000 | #Constraints: 10185 16.75/16.85 c INPROCESSING 16.75/16.85 c GARBAGE COLLECT 16.75/16.85 c #Conflicts: 5000 | #Constraints: 9658 16.75/16.85 c #Conflicts: 6000 | #Constraints: 10658 16.75/16.85 c INPROCESSING 16.75/16.85 c GARBAGE COLLECT 16.75/16.85 c #Conflicts: 7000 | #Constraints: 9714 16.75/16.85 c #Conflicts: 8000 | #Constraints: 10714 16.75/16.85 c #Conflicts: 9000 | #Constraints: 11714 16.75/16.85 c INPROCESSING 16.75/16.85 c GARBAGE COLLECT 16.75/16.85 c rational objective 107 55.75/55.97 c #Conflicts: 10000 | #Constraints: 10486 55.75/55.97 c #Conflicts: 11000 | #Constraints: 11486 55.75/55.97 c #Conflicts: 12000 | #Constraints: 12486 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 13000 | #Constraints: 10979 55.75/55.97 c #Conflicts: 14000 | #Constraints: 11979 55.75/55.97 c #Conflicts: 15000 | #Constraints: 12979 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 16000 | #Constraints: 11265 55.75/55.97 c #Conflicts: 17000 | #Constraints: 12265 55.75/55.97 c #Conflicts: 18000 | #Constraints: 13265 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 19000 | #Constraints: 11295 55.75/55.97 c #Conflicts: 20000 | #Constraints: 12295 55.75/55.97 c #Conflicts: 21000 | #Constraints: 13295 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 22000 | #Constraints: 11113 55.75/55.97 c #Conflicts: 23000 | #Constraints: 12113 55.75/55.97 c #Conflicts: 24000 | #Constraints: 13114 55.75/55.97 c #Conflicts: 25000 | #Constraints: 14114 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 26000 | #Constraints: 11727 55.75/55.97 c #Conflicts: 27000 | #Constraints: 12727 55.75/55.97 c #Conflicts: 28000 | #Constraints: 13727 55.75/55.97 c #Conflicts: 29000 | #Constraints: 14727 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c #Conflicts: 30000 | #Constraints: 12110 55.75/55.97 c #Conflicts: 31000 | #Constraints: 13110 55.75/55.97 c #Conflicts: 32000 | #Constraints: 14110 55.75/55.97 c #Conflicts: 33000 | #Constraints: 15110 55.75/55.97 c #Conflicts: 34000 | #Constraints: 16110 55.75/55.97 c #Conflicts: 35000 | #Constraints: 17110 55.75/55.97 c #Conflicts: 36000 | #Constraints: 18110 55.75/55.97 c #Conflicts: 37000 | #Constraints: 19110 55.75/55.97 c #Conflicts: 38000 | #Constraints: 20110 55.75/55.97 c #Conflicts: 39000 | #Constraints: 21110 55.75/55.97 c #Conflicts: 40000 | #Constraints: 22110 55.75/55.97 c #Conflicts: 41000 | #Constraints: 23110 55.75/55.97 c #Conflicts: 42000 | #Constraints: 24110 55.75/55.97 c INPROCESSING 55.75/55.97 c GARBAGE COLLECT 55.75/55.97 c rational objective 107 63.04/63.20 c #Conflicts: 43000 | #Constraints: 16491 63.04/63.20 c #Conflicts: 44000 | #Constraints: 17491 63.04/63.20 c #Conflicts: 45000 | #Constraints: 18491 63.04/63.20 c #Conflicts: 46000 | #Constraints: 19491 63.04/63.20 c #Conflicts: 47000 | #Constraints: 20491 63.04/63.20 c #Conflicts: 48000 | #Constraints: 21491 63.04/63.20 c INPROCESSING 63.04/63.20 c GARBAGE COLLECT 63.04/63.20 c rational objective 107 71.42/71.68 c #Conflicts: 49000 | #Constraints: 15640 71.42/71.68 c #Conflicts: 50000 | #Constraints: 16640 71.42/71.68 c #Conflicts: 51000 | #Constraints: 17640 71.42/71.68 c #Conflicts: 52000 | #Constraints: 18640 71.42/71.68 c #Conflicts: 53000 | #Constraints: 19640 71.42/71.68 c INPROCESSING 71.42/71.68 c GARBAGE COLLECT 71.42/71.68 c rational objective 107 78.70/78.90 c #Conflicts: 54000 | #Constraints: 14557 78.70/78.90 c #Conflicts: 55000 | #Constraints: 15557 78.70/78.90 c #Conflicts: 56000 | #Constraints: 16557 78.70/78.90 c #Conflicts: 57000 | #Constraints: 17557 78.70/78.90 c #Conflicts: 58000 | #Constraints: 18557 78.70/78.90 c INPROCESSING 78.70/78.90 c GARBAGE COLLECT 78.70/78.90 c rational objective 107 87.08/87.34 c #Conflicts: 59000 | #Constraints: 13777 87.08/87.34 c #Conflicts: 60000 | #Constraints: 14777 87.08/87.34 c #Conflicts: 61000 | #Constraints: 15777 87.08/87.34 c #Conflicts: 62000 | #Constraints: 16777 87.08/87.34 c #Conflicts: 63000 | #Constraints: 17777 87.08/87.34 c #Conflicts: 64000 | #Constraints: 18777 87.08/87.34 c INPROCESSING 87.08/87.34 c GARBAGE COLLECT 87.08/87.34 c rational objective 107 106.94/107.29 c #Conflicts: 65000 | #Constraints: 14003 106.94/107.29 c #Conflicts: 66000 | #Constraints: 15003 106.94/107.29 c #Conflicts: 67000 | #Constraints: 16003 106.94/107.29 c #Conflicts: 68000 | #Constraints: 17003 106.94/107.29 c #Conflicts: 69000 | #Constraints: 18003 106.94/107.29 c #Conflicts: 70000 | #Constraints: 19003 106.94/107.29 c #Conflicts: 71000 | #Constraints: 20003 106.94/107.29 c #Conflicts: 72000 | #Constraints: 21003 106.94/107.29 c #Conflicts: 73000 | #Constraints: 22003 106.94/107.29 c #Conflicts: 74000 | #Constraints: 23004 106.94/107.29 c #Conflicts: 75000 | #Constraints: 24004 106.94/107.29 c #Conflicts: 76000 | #Constraints: 25004 106.94/107.29 c #Conflicts: 77000 | #Constraints: 26004 106.94/107.29 c #Conflicts: 78000 | #Constraints: 27004 106.94/107.29 c #Conflicts: 79000 | #Constraints: 28004 106.94/107.29 c #Conflicts: 80000 | #Constraints: 29004 106.94/107.29 c #Conflicts: 81000 | #Constraints: 30005 106.94/107.29 c #Conflicts: 82000 | #Constraints: 31005 106.94/107.29 c #Conflicts: 83000 | #Constraints: 32006 106.94/107.29 c #Conflicts: 84000 | #Constraints: 33006 106.94/107.29 c INPROCESSING 106.94/107.29 c GARBAGE COLLECT 106.94/107.29 c rational objective 107 117.91/118.23 c #Conflicts: 85000 | #Constraints: 21051 117.91/118.23 c #Conflicts: 86000 | #Constraints: 22052 117.91/118.23 c #Conflicts: 87000 | #Constraints: 23055 117.91/118.23 c #Conflicts: 88000 | #Constraints: 24058 117.91/118.23 c #Conflicts: 89000 | #Constraints: 25065 117.91/118.23 c #Conflicts: 90000 | #Constraints: 26069 117.91/118.23 c #Conflicts: 91000 | #Constraints: 27069 117.91/118.23 c INPROCESSING 117.91/118.23 c GARBAGE COLLECT 117.91/118.23 c rational objective 107 147.14/147.54 c #Conflicts: 92000 | #Constraints: 18072 147.14/147.54 c #Conflicts: 93000 | #Constraints: 19072 147.14/147.54 c #Conflicts: 94000 | #Constraints: 20073 147.14/147.54 c #Conflicts: 95000 | #Constraints: 21073 147.14/147.54 c #Conflicts: 96000 | #Constraints: 22073 147.14/147.54 c #Conflicts: 97000 | #Constraints: 23073 147.14/147.54 c #Conflicts: 98000 | #Constraints: 24073 147.14/147.54 c #Conflicts: 99000 | #Constraints: 25073 147.14/147.54 c INPROCESSING 147.14/147.54 c GARBAGE COLLECT 147.14/147.54 c rational objective 107 165.80/166.29 c #Conflicts: 100000 | #Constraints: 17468 165.80/166.29 c #Conflicts: 101000 | #Constraints: 18468 165.80/166.29 c #Conflicts: 102000 | #Constraints: 19468 165.80/166.29 c #Conflicts: 103000 | #Constraints: 20468 165.80/166.29 c #Conflicts: 104000 | #Constraints: 21468 165.80/166.29 c #Conflicts: 105000 | #Constraints: 22468 165.80/166.29 c #Conflicts: 106000 | #Constraints: 23469 165.80/166.29 c INPROCESSING 165.80/166.29 c GARBAGE COLLECT 165.80/166.29 c rational objective 107 197.32/197.89 c #Conflicts: 107000 | #Constraints: 16487 197.32/197.89 c #Conflicts: 108000 | #Constraints: 17487 197.32/197.89 c #Conflicts: 109000 | #Constraints: 18487 197.32/197.89 c #Conflicts: 110000 | #Constraints: 19487 197.32/197.89 c #Conflicts: 111000 | #Constraints: 20487 197.32/197.89 c #Conflicts: 112000 | #Constraints: 21487 197.32/197.89 c #Conflicts: 113000 | #Constraints: 22487 197.32/197.89 c #Conflicts: 114000 | #Constraints: 23487 197.32/197.89 c INPROCESSING 197.32/197.89 c GARBAGE COLLECT 197.32/197.89 c #Conflicts: 115000 | #Constraints: 16665 197.32/197.89 c #Conflicts: 116000 | #Constraints: 17665 197.32/197.89 c #Conflicts: 117000 | #Constraints: 18665 197.32/197.89 c #Conflicts: 118000 | #Constraints: 19665 197.32/197.89 c #Conflicts: 119000 | #Constraints: 20665 197.32/197.89 c #Conflicts: 120000 | #Constraints: 21665 197.32/197.89 c #Conflicts: 121000 | #Constraints: 22665 197.32/197.89 c #Conflicts: 122000 | #Constraints: 23665 197.32/197.89 c #Conflicts: 123000 | #Constraints: 24665 197.32/197.89 c #Conflicts: 124000 | #Constraints: 25665 197.32/197.89 c #Conflicts: 125000 | #Constraints: 26665 197.32/197.89 c #Conflicts: 126000 | #Constraints: 27665 197.32/197.89 c #Conflicts: 127000 | #Constraints: 28665 197.32/197.89 c #Conflicts: 128000 | #Constraints: 29665 197.32/197.89 c #Conflicts: 129000 | #Constraints: 30665 197.32/197.89 c #Conflicts: 130000 | #Constraints: 31665 197.32/197.89 c #Conflicts: 131000 | #Constraints: 32665 197.32/197.89 c #Conflicts: 132000 | #Constraints: 33665 197.32/197.89 c #Conflicts: 133000 | #Constraints: 34665 197.32/197.89 c #Conflicts: 134000 | #Constraints: 35665 197.32/197.89 c #Conflicts: 135000 | #Constraints: 36665 197.32/197.89 c #Conflicts: 136000 | #Constraints: 37665 197.32/197.89 c #Conflicts: 137000 | #Constraints: 38665 197.32/197.89 c #Conflicts: 138000 | #Constraints: 39665 197.32/197.89 c #Conflicts: 139000 | #Constraints: 40665 197.32/197.89 c #Conflicts: 140000 | #Constraints: 41665 197.32/197.89 c INPROCESSING 197.32/197.89 c GARBAGE COLLECT 197.32/197.89 c rational objective 107 207.60/208.13 c #Conflicts: 141000 | #Constraints: 25459 207.60/208.13 c #Conflicts: 142000 | #Constraints: 26459 207.60/208.13 c #Conflicts: 143000 | #Constraints: 27459 207.60/208.13 c #Conflicts: 144000 | #Constraints: 28459 207.60/208.13 c #Conflicts: 145000 | #Constraints: 29459 207.60/208.13 c #Conflicts: 146000 | #Constraints: 30459 207.60/208.13 c #Conflicts: 147000 | #Constraints: 31459 207.60/208.13 c #Conflicts: 148000 | #Constraints: 32459 207.60/208.13 c #Conflicts: 149000 | #Constraints: 33459 207.60/208.13 c INPROCESSING 207.60/208.13 c GARBAGE COLLECT 207.60/208.13 c rational objective 107 221.17/221.72 c #Conflicts: 150000 | #Constraints: 21436 221.17/221.72 c #Conflicts: 151000 | #Constraints: 22436 221.17/221.72 c #Conflicts: 152000 | #Constraints: 23436 221.17/221.72 c #Conflicts: 153000 | #Constraints: 24436 221.17/221.72 c #Conflicts: 154000 | #Constraints: 25436 221.17/221.72 c #Conflicts: 155000 | #Constraints: 26437 221.17/221.72 c #Conflicts: 156000 | #Constraints: 27437 221.17/221.72 c #Conflicts: 157000 | #Constraints: 28437 221.17/221.72 c #Conflicts: 158000 | #Constraints: 29438 221.17/221.72 c INPROCESSING 221.17/221.72 c GARBAGE COLLECT 221.17/221.72 c rational objective 107 227.35/227.95 c #Conflicts: 159000 | #Constraints: 19364 227.35/227.95 c #Conflicts: 160000 | #Constraints: 20364 227.35/227.95 c #Conflicts: 161000 | #Constraints: 21364 227.35/227.95 c #Conflicts: 162000 | #Constraints: 22364 227.35/227.95 c #Conflicts: 163000 | #Constraints: 23364 227.35/227.95 c #Conflicts: 164000 | #Constraints: 24364 227.35/227.95 c #Conflicts: 165000 | #Constraints: 25364 227.35/227.95 c #Conflicts: 166000 | #Constraints: 26364 227.35/227.95 c #Conflicts: 167000 | #Constraints: 27364 227.35/227.95 c #Conflicts: 168000 | #Constraints: 28364 227.35/227.95 c INPROCESSING 227.35/227.95 c GARBAGE COLLECT 227.35/227.95 c rational objective 107 279.12/279.84 c #Conflicts: 169000 | #Constraints: 19200 279.12/279.84 c #Conflicts: 170000 | #Constraints: 20200 279.12/279.84 c #Conflicts: 171000 | #Constraints: 21200 279.12/279.84 c #Conflicts: 172000 | #Constraints: 22200 279.12/279.84 c #Conflicts: 173000 | #Constraints: 23201 279.12/279.84 c #Conflicts: 174000 | #Constraints: 24201 279.12/279.84 c #Conflicts: 175000 | #Constraints: 25201 279.12/279.84 c #Conflicts: 176000 | #Constraints: 26201 279.12/279.84 c #Conflicts: 177000 | #Constraints: 27201 279.12/279.84 c #Conflicts: 178000 | #Constraints: 28201 279.12/279.84 c #Conflicts: 179000 | #Constraints: 29201 279.12/279.84 c #Conflicts: 180000 | #Constraints: 30201 279.12/279.84 c #Conflicts: 181000 | #Constraints: 31201 279.12/279.84 c #Conflicts: 182000 | #Constraints: 32201 279.12/279.84 c #Conflicts: 183000 | #Constraints: 33201 279.12/279.84 c #Conflicts: 184000 | #Constraints: 34201 279.12/279.84 c #Conflicts: 185000 | #Constraints: 35202 279.12/279.84 c #Conflicts: 186000 | #Constraints: 36202 279.12/279.84 c #Conflicts: 187000 | #Constraints: 37202 279.12/279.84 c #Conflicts: 188000 | #Constraints: 38202 279.12/279.84 c #Conflicts: 189000 | #Constraints: 39202 279.12/279.84 c #Conflicts: 190000 | #Constraints: 40202 279.12/279.84 c #Conflicts: 191000 | #Constraints: 41202 279.12/279.84 c #Conflicts: 192000 | #Constraints: 42202 279.12/279.84 c #Conflicts: 193000 | #Constraints: 43202 279.12/279.84 c #Conflicts: 194000 | #Constraints: 44202 279.12/279.84 c #Conflicts: 195000 | #Constraints: 45202 279.12/279.84 c #Conflicts: 196000 | #Constraints: 46202 279.12/279.84 c #Conflicts: 197000 | #Constraints: 47202 279.12/279.84 c #Conflicts: 198000 | #Constraints: 48202 279.12/279.84 c #Conflicts: 199000 | #Constraints: 49203 279.12/279.84 c #Conflicts: 200000 | #Constraints: 50203 279.12/279.84 c INPROCESSING 279.12/279.84 c GARBAGE COLLECT 279.12/279.84 c rational objective 107 297.18/297.94 c #Conflicts: 201000 | #Constraints: 30125 297.18/297.94 c #Conflicts: 202000 | #Constraints: 31125 297.18/297.94 c #Conflicts: 203000 | #Constraints: 32125 297.18/297.94 c #Conflicts: 204000 | #Constraints: 33125 297.18/297.94 c #Conflicts: 205000 | #Constraints: 34125 297.18/297.94 c #Conflicts: 206000 | #Constraints: 35125 297.18/297.94 c #Conflicts: 207000 | #Constraints: 36125 297.18/297.94 c #Conflicts: 208000 | #Constraints: 37125 297.18/297.94 c #Conflicts: 209000 | #Constraints: 38125 297.18/297.94 c #Conflicts: 210000 | #Constraints: 39125 297.18/297.94 c INPROCESSING 297.18/297.94 c GARBAGE COLLECT 297.18/297.94 c rational objective 107 318.93/319.70 c #Conflicts: 211000 | #Constraints: 24307 318.93/319.70 c #Conflicts: 212000 | #Constraints: 25308 318.93/319.70 c #Conflicts: 213000 | #Constraints: 26308 318.93/319.70 c #Conflicts: 214000 | #Constraints: 27308 318.93/319.70 c #Conflicts: 215000 | #Constraints: 28308 318.93/319.70 c #Conflicts: 216000 | #Constraints: 29308 318.93/319.70 c #Conflicts: 217000 | #Constraints: 30309 318.93/319.70 c #Conflicts: 218000 | #Constraints: 31311 318.93/319.70 c #Conflicts: 219000 | #Constraints: 32311 318.93/319.70 c #Conflicts: 220000 | #Constraints: 33314 318.93/319.70 c #Conflicts: 221000 | #Constraints: 34315 318.93/319.70 c INPROCESSING 318.93/319.70 c GARBAGE COLLECT 318.93/319.70 c rational objective 107 334.90/335.77 c #Conflicts: 222000 | #Constraints: 22103 334.90/335.77 c #Conflicts: 223000 | #Constraints: 23104 334.90/335.77 c #Conflicts: 224000 | #Constraints: 24105 334.90/335.77 c #Conflicts: 225000 | #Constraints: 25105 334.90/335.77 c #Conflicts: 226000 | #Constraints: 26105 334.90/335.77 c #Conflicts: 227000 | #Constraints: 27105 334.90/335.77 c #Conflicts: 228000 | #Constraints: 28106 334.90/335.77 c #Conflicts: 229000 | #Constraints: 29106 334.90/335.77 c #Conflicts: 230000 | #Constraints: 30106 334.90/335.77 c #Conflicts: 231000 | #Constraints: 31106 334.90/335.77 c #Conflicts: 232000 | #Constraints: 32106 334.90/335.77 c INPROCESSING 334.90/335.77 c GARBAGE COLLECT 334.90/335.77 c rational objective 107 347.87/348.73 c #Conflicts: 233000 | #Constraints: 20895 347.87/348.73 c #Conflicts: 234000 | #Constraints: 21895 347.87/348.73 c #Conflicts: 235000 | #Constraints: 22895 347.87/348.73 c #Conflicts: 236000 | #Constraints: 23895 347.87/348.73 c #Conflicts: 237000 | #Constraints: 24897 347.87/348.73 c #Conflicts: 238000 | #Constraints: 25897 347.87/348.73 c #Conflicts: 239000 | #Constraints: 26897 347.87/348.73 c #Conflicts: 240000 | #Constraints: 27897 347.87/348.73 c #Conflicts: 241000 | #Constraints: 28897 347.87/348.73 c #Conflicts: 242000 | #Constraints: 29897 347.87/348.73 c #Conflicts: 243000 | #Constraints: 30898 347.87/348.73 c INPROCESSING 347.87/348.73 c GARBAGE COLLECT 347.87/348.73 c rational objective 107 431.27/432.32 c #Conflicts: 244000 | #Constraints: 20209 431.27/432.32 c #Conflicts: 245000 | #Constraints: 21209 431.27/432.32 c #Conflicts: 246000 | #Constraints: 22209 431.27/432.32 c #Conflicts: 247000 | #Constraints: 23210 431.27/432.32 c #Conflicts: 248000 | #Constraints: 24210 431.27/432.32 c #Conflicts: 249000 | #Constraints: 25212 431.27/432.32 c #Conflicts: 250000 | #Constraints: 26214 431.27/432.32 c #Conflicts: 251000 | #Constraints: 27217 431.27/432.32 c #Conflicts: 252000 | #Constraints: 28218 431.27/432.32 c #Conflicts: 253000 | #Constraints: 29218 431.27/432.32 c #Conflicts: 254000 | #Constraints: 30219 431.27/432.32 c #Conflicts: 255000 | #Constraints: 31220 431.27/432.32 c #Conflicts: 256000 | #Constraints: 32221 431.27/432.32 c #Conflicts: 257000 | #Constraints: 33222 431.27/432.32 c #Conflicts: 258000 | #Constraints: 34224 431.27/432.32 c #Conflicts: 259000 | #Constraints: 35224 431.27/432.32 c #Conflicts: 260000 | #Constraints: 36226 431.27/432.32 c #Conflicts: 261000 | #Constraints: 37226 431.27/432.32 c #Conflicts: 262000 | #Constraints: 38226 431.27/432.32 c #Conflicts: 263000 | #Constraints: 39226 431.27/432.32 c #Conflicts: 264000 | #Constraints: 40226 431.27/432.32 c #Conflicts: 265000 | #Constraints: 41226 431.27/432.32 c #Conflicts: 266000 | #Constraints: 42226 431.27/432.32 c #Conflicts: 267000 | #Constraints: 43226 431.27/432.32 c #Conflicts: 268000 | #Constraints: 44226 431.27/432.32 c #Conflicts: 269000 | #Constraints: 45226 431.27/432.32 c #Conflicts: 270000 | #Constraints: 46226 431.27/432.32 c #Conflicts: 271000 | #Constraints: 47226 431.27/432.32 c #Conflicts: 272000 | #Constraints: 48226 431.27/432.32 c #Conflicts: 273000 | #Constraints: 49231 431.27/432.32 c #Conflicts: 274000 | #Constraints: 50234 431.27/432.32 c #Conflicts: 275000 | #Constraints: 51237 431.27/432.32 c #Conflicts: 276000 | #Constraints: 52240 431.27/432.32 c #Conflicts: 277000 | #Constraints: 53241 431.27/432.32 c #Conflicts: 278000 | #Constraints: 54243 431.27/432.32 c #Conflicts: 279000 | #Constraints: 55244 431.27/432.32 c #Conflicts: 280000 | #Constraints: 56246 431.27/432.32 c #Conflicts: 281000 | #Constraints: 57248 431.27/432.32 c #Conflicts: 282000 | #Constraints: 58249 431.27/432.32 c INPROCESSING 431.27/432.32 c GARBAGE COLLECT 431.27/432.32 c rational objective 107 465.08/466.28 c #Conflicts: 283000 | #Constraints: 34211 465.08/466.28 c #Conflicts: 284000 | #Constraints: 35211 465.08/466.28 c #Conflicts: 285000 | #Constraints: 36211 465.08/466.28 c #Conflicts: 286000 | #Constraints: 37211 465.08/466.28 c #Conflicts: 287000 | #Constraints: 38211 465.08/466.28 c #Conflicts: 288000 | #Constraints: 39211 465.08/466.28 c #Conflicts: 289000 | #Constraints: 40211 465.08/466.28 c #Conflicts: 290000 | #Constraints: 41211 465.08/466.28 c #Conflicts: 291000 | #Constraints: 42211 465.08/466.28 c #Conflicts: 292000 | #Constraints: 43211 465.08/466.28 c #Conflicts: 293000 | #Constraints: 44211 465.08/466.28 c #Conflicts: 294000 | #Constraints: 45211 465.08/466.28 c INPROCESSING 465.08/466.28 c GARBAGE COLLECT 465.08/466.28 c rational objective 107 561.66/563.09 c #Conflicts: 295000 | #Constraints: 27506 561.66/563.09 c #Conflicts: 296000 | #Constraints: 28506 561.66/563.09 c #Conflicts: 297000 | #Constraints: 29506 561.66/563.09 c #Conflicts: 298000 | #Constraints: 30506 561.66/563.09 c #Conflicts: 299000 | #Constraints: 31506 561.66/563.09 c #Conflicts: 300000 | #Constraints: 32506 561.66/563.09 c #Conflicts: 301000 | #Constraints: 33506 561.66/563.09 c #Conflicts: 302000 | #Constraints: 34506 561.66/563.09 c #Conflicts: 303000 | #Constraints: 35506 561.66/563.09 c #Conflicts: 304000 | #Constraints: 36506 561.66/563.09 c #Conflicts: 305000 | #Constraints: 37506 561.66/563.09 c #Conflicts: 306000 | #Constraints: 38506 561.66/563.09 c #Conflicts: 307000 | #Constraints: 39506 561.66/563.09 c INPROCESSING 561.66/563.09 c GARBAGE COLLECT 561.66/563.09 c #Conflicts: 308000 | #Constraints: 24830 561.66/563.09 c #Conflicts: 309000 | #Constraints: 25832 561.66/563.09 c #Conflicts: 310000 | #Constraints: 26834 561.66/563.09 c #Conflicts: 311000 | #Constraints: 27834 561.66/563.09 c #Conflicts: 312000 | #Constraints: 28836 561.66/563.09 c #Conflicts: 313000 | #Constraints: 29836 561.66/563.09 c #Conflicts: 314000 | #Constraints: 30837 561.66/563.09 c #Conflicts: 315000 | #Constraints: 31838 561.66/563.09 c #Conflicts: 316000 | #Constraints: 32838 561.66/563.09 c #Conflicts: 317000 | #Constraints: 33838 561.66/563.09 c #Conflicts: 318000 | #Constraints: 34838 561.66/563.09 c #Conflicts: 319000 | #Constraints: 35838 561.66/563.09 c #Conflicts: 320000 | #Constraints: 36838 561.66/563.09 c INPROCESSING 561.66/563.09 c GARBAGE COLLECT 561.66/563.09 c rational objective 107 619.81/621.30 c #Conflicts: 321000 | #Constraints: 23455 619.81/621.30 c #Conflicts: 322000 | #Constraints: 24455 619.81/621.30 c #Conflicts: 323000 | #Constraints: 25455 619.81/621.30 c #Conflicts: 324000 | #Constraints: 26455 619.81/621.30 c #Conflicts: 325000 | #Constraints: 27455 619.81/621.30 c #Conflicts: 326000 | #Constraints: 28455 619.81/621.30 c #Conflicts: 327000 | #Constraints: 29455 619.81/621.30 c #Conflicts: 328000 | #Constraints: 30455 619.81/621.30 c #Conflicts: 329000 | #Constraints: 31455 619.81/621.30 c #Conflicts: 330000 | #Constraints: 32455 619.81/621.30 c #Conflicts: 331000 | #Constraints: 33455 619.81/621.30 c #Conflicts: 332000 | #Constraints: 34455 619.81/621.30 c #Conflicts: 333000 | #Constraints: 35455 619.81/621.30 c #Conflicts: 334000 | #Constraints: 36455 619.81/621.30 c #Conflicts: 335000 | #Constraints: 37455 619.81/621.30 c #Conflicts: 336000 | #Constraints: 38455 619.81/621.30 c #Conflicts: 337000 | #Constraints: 39455 619.81/621.30 c #Conflicts: 338000 | #Constraints: 40455 619.81/621.30 c #Conflicts: 339000 | #Constraints: 41455 619.81/621.30 c #Conflicts: 340000 | #Constraints: 42455 619.81/621.30 c #Conflicts: 341000 | #Constraints: 43455 619.81/621.30 c #Conflicts: 342000 | #Constraints: 44455 619.81/621.30 c #Conflicts: 343000 | #Constraints: 45455 619.81/621.30 c #Conflicts: 344000 | #Constraints: 46455 619.81/621.30 c #Conflicts: 345000 | #Constraints: 47455 619.81/621.30 c #Conflicts: 346000 | #Constraints: 48455 619.81/621.30 c #Conflicts: 347000 | #Constraints: 49455 619.81/621.30 c #Conflicts: 348000 | #Constraints: 50455 619.81/621.30 c #Conflicts: 349000 | #Constraints: 51455 619.81/621.30 c #Conflicts: 350000 | #Constraints: 52455 619.81/621.30 c #Conflicts: 351000 | #Constraints: 53455 619.81/621.30 c #Conflicts: 352000 | #Constraints: 54455 619.81/621.30 c #Conflicts: 353000 | #Constraints: 55455 619.81/621.30 c #Conflicts: 354000 | #Constraints: 56455 619.81/621.30 c #Conflicts: 355000 | #Constraints: 57455 619.81/621.30 c #Conflicts: 356000 | #Constraints: 58456 619.81/621.30 c #Conflicts: 357000 | #Constraints: 59456 619.81/621.30 c #Conflicts: 358000 | #Constraints: 60456 619.81/621.30 c #Conflicts: 359000 | #Constraints: 61456 619.81/621.30 c #Conflicts: 360000 | #Constraints: 62457 619.81/621.30 c #Conflicts: 361000 | #Constraints: 63457 619.81/621.30 c #Conflicts: 362000 | #Constraints: 64458 619.81/621.30 c #Conflicts: 363000 | #Constraints: 65458 619.81/621.30 c INPROCESSING 619.81/621.30 c GARBAGE COLLECT 619.81/621.30 c rational objective 107 642.46/644.05 c #Conflicts: 364000 | #Constraints: 37521 642.46/644.05 c #Conflicts: 365000 | #Constraints: 38521 642.46/644.05 c #Conflicts: 366000 | #Constraints: 39521 642.46/644.05 c #Conflicts: 367000 | #Constraints: 40521 642.46/644.05 c #Conflicts: 368000 | #Constraints: 41521 642.46/644.05 c #Conflicts: 369000 | #Constraints: 42521 642.46/644.05 c #Conflicts: 370000 | #Constraints: 43521 642.46/644.05 c #Conflicts: 371000 | #Constraints: 44521 642.46/644.05 c #Conflicts: 372000 | #Constraints: 45521 642.46/644.05 c #Conflicts: 373000 | #Constraints: 46521 642.46/644.05 c #Conflicts: 374000 | #Constraints: 47522 642.46/644.05 c #Conflicts: 375000 | #Constraints: 48522 642.46/644.05 c #Conflicts: 376000 | #Constraints: 49522 642.46/644.05 c #Conflicts: 377000 | #Constraints: 50525 642.46/644.05 c #Conflicts: 378000 | #Constraints: 51527 642.46/644.05 c INPROCESSING 642.46/644.05 c GARBAGE COLLECT 642.46/644.05 c rational objective 107 657.42/659.04 c #Conflicts: 379000 | #Constraints: 30855 657.42/659.04 c #Conflicts: 380000 | #Constraints: 31855 657.42/659.04 c #Conflicts: 381000 | #Constraints: 32856 657.42/659.04 c #Conflicts: 382000 | #Constraints: 33856 657.42/659.04 c #Conflicts: 383000 | #Constraints: 34856 657.42/659.04 c #Conflicts: 384000 | #Constraints: 35856 657.42/659.04 c #Conflicts: 385000 | #Constraints: 36856 657.42/659.04 c #Conflicts: 386000 | #Constraints: 37856 657.42/659.04 c #Conflicts: 387000 | #Constraints: 38856 657.42/659.04 c #Conflicts: 388000 | #Constraints: 39856 657.42/659.04 c #Conflicts: 389000 | #Constraints: 40856 657.42/659.04 c #Conflicts: 390000 | #Constraints: 41856 657.42/659.04 c #Conflicts: 391000 | #Constraints: 42856 657.42/659.04 c #Conflicts: 392000 | #Constraints: 43856 657.42/659.04 c INPROCESSING 657.42/659.04 c GARBAGE COLLECT 657.42/659.04 c rational objective 107 673.08/674.71 c #Conflicts: 393000 | #Constraints: 26917 673.08/674.71 c #Conflicts: 394000 | #Constraints: 27917 673.08/674.71 c #Conflicts: 395000 | #Constraints: 28917 673.08/674.71 c #Conflicts: 396000 | #Constraints: 29917 673.08/674.71 c #Conflicts: 397000 | #Constraints: 30918 673.08/674.71 c #Conflicts: 398000 | #Constraints: 31918 673.08/674.71 c #Conflicts: 399000 | #Constraints: 32918 673.08/674.71 c #Conflicts: 400000 | #Constraints: 33919 673.08/674.71 c #Conflicts: 401000 | #Constraints: 34919 673.08/674.71 c #Conflicts: 402000 | #Constraints: 35919 673.08/674.71 c #Conflicts: 403000 | #Constraints: 36919 673.08/674.71 c #Conflicts: 404000 | #Constraints: 37919 673.08/674.71 c #Conflicts: 405000 | #Constraints: 38919 673.08/674.71 c #Conflicts: 406000 | #Constraints: 39919 673.08/674.71 c #Conflicts: 407000 | #Constraints: 40919 673.08/674.71 c INPROCESSING 673.08/674.71 c GARBAGE COLLECT 673.08/674.71 c rational objective 107 740.81/742.60 c #Conflicts: 408000 | #Constraints: 25587 740.81/742.60 c #Conflicts: 409000 | #Constraints: 26587 740.81/742.60 c #Conflicts: 410000 | #Constraints: 27587 740.81/742.60 c #Conflicts: 411000 | #Constraints: 28588 740.81/742.60 c #Conflicts: 412000 | #Constraints: 29588 740.81/742.60 c #Conflicts: 413000 | #Constraints: 30588 740.81/742.60 c #Conflicts: 414000 | #Constraints: 31588 740.81/742.60 c #Conflicts: 415000 | #Constraints: 32588 740.81/742.60 c #Conflicts: 416000 | #Constraints: 33588 740.81/742.60 c #Conflicts: 417000 | #Constraints: 34588 740.81/742.60 c #Conflicts: 418000 | #Constraints: 35588 740.81/742.60 c #Conflicts: 419000 | #Constraints: 36588 740.81/742.60 c #Conflicts: 420000 | #Constraints: 37588 740.81/742.60 c #Conflicts: 421000 | #Constraints: 38588 740.81/742.60 c #Conflicts: 422000 | #Constraints: 39588 740.81/742.60 c #Conflicts: 423000 | #Constraints: 40588 740.81/742.60 c #Conflicts: 424000 | #Constraints: 41588 740.81/742.60 c #Conflicts: 425000 | #Constraints: 42588 740.81/742.60 c #Conflicts: 426000 | #Constraints: 43588 740.81/742.60 c #Conflicts: 427000 | #Constraints: 44589 740.81/742.60 c #Conflicts: 428000 | #Constraints: 45589 740.81/742.60 c #Conflicts: 429000 | #Constraints: 46589 740.81/742.60 c #Conflicts: 430000 | #Constraints: 47590 740.81/742.60 c #Conflicts: 431000 | #Constraints: 48590 740.81/742.60 c #Conflicts: 432000 | #Constraints: 49590 740.81/742.60 c #Conflicts: 433000 | #Constraints: 50590 740.81/742.60 c #Conflicts: 434000 | #Constraints: 51590 740.81/742.60 c #Conflicts: 435000 | #Constraints: 52590 740.81/742.60 c #Conflicts: 436000 | #Constraints: 53590 740.81/742.60 c #Conflicts: 437000 | #Constraints: 54590 740.81/742.60 c #Conflicts: 438000 | #Constraints: 55590 740.81/742.60 c #Conflicts: 439000 | #Constraints: 56590 740.81/742.60 c #Conflicts: 440000 | #Constraints: 57590 740.81/742.60 c #Conflicts: 441000 | #Constraints: 58590 740.81/742.60 c #Conflicts: 442000 | #Constraints: 59591 740.81/742.60 c #Conflicts: 443000 | #Constraints: 60592 740.81/742.60 c #Conflicts: 444000 | #Constraints: 61592 740.81/742.60 c #Conflicts: 445000 | #Constraints: 62592 740.81/742.60 c #Conflicts: 446000 | #Constraints: 63593 740.81/742.60 c #Conflicts: 447000 | #Constraints: 64593 740.81/742.60 c #Conflicts: 448000 | #Constraints: 65593 740.81/742.60 c #Conflicts: 449000 | #Constraints: 66593 740.81/742.60 c #Conflicts: 450000 | #Constraints: 67593 740.81/742.60 c #Conflicts: 451000 | #Constraints: 68594 740.81/742.60 c #Conflicts: 452000 | #Constraints: 69594 740.81/742.60 c #Conflicts: 453000 | #Constraints: 70594 740.81/742.60 c #Conflicts: 454000 | #Constraints: 71594 740.81/742.60 c #Conflicts: 455000 | #Constraints: 72594 740.81/742.60 c #Conflicts: 456000 | #Constraints: 73594 740.81/742.60 c INPROCESSING 740.81/742.60 c GARBAGE COLLECT 740.81/742.60 c rational objective 107 763.45/765.30 c #Conflicts: 457000 | #Constraints: 41947 763.45/765.30 c #Conflicts: 458000 | #Constraints: 42947 763.45/765.30 c #Conflicts: 459000 | #Constraints: 43947 763.45/765.30 c #Conflicts: 460000 | #Constraints: 44947 763.45/765.30 c #Conflicts: 461000 | #Constraints: 45947 763.45/765.30 c #Conflicts: 462000 | #Constraints: 46947 763.45/765.30 c #Conflicts: 463000 | #Constraints: 47947 763.45/765.30 c #Conflicts: 464000 | #Constraints: 48947 763.45/765.30 c #Conflicts: 465000 | #Constraints: 49947 763.45/765.30 c #Conflicts: 466000 | #Constraints: 50947 763.45/765.30 c #Conflicts: 467000 | #Constraints: 51947 763.45/765.30 c #Conflicts: 468000 | #Constraints: 52947 763.45/765.30 c #Conflicts: 469000 | #Constraints: 53947 763.45/765.30 c #Conflicts: 470000 | #Constraints: 54947 763.45/765.30 c #Conflicts: 471000 | #Constraints: 55947 763.45/765.30 c INPROCESSING 763.45/765.30 c GARBAGE COLLECT 763.45/765.30 c rational objective 107 784.00/785.90 c #Conflicts: 472000 | #Constraints: 32648 784.00/785.90 c #Conflicts: 473000 | #Constraints: 33648 784.00/785.90 c #Conflicts: 474000 | #Constraints: 34648 784.00/785.90 c #Conflicts: 475000 | #Constraints: 35648 784.00/785.90 c #Conflicts: 476000 | #Constraints: 36648 784.00/785.90 c #Conflicts: 477000 | #Constraints: 37649 784.00/785.90 c #Conflicts: 478000 | #Constraints: 38649 784.00/785.90 c #Conflicts: 479000 | #Constraints: 39649 784.00/785.90 c #Conflicts: 480000 | #Constraints: 40649 784.00/785.90 c #Conflicts: 481000 | #Constraints: 41649 784.00/785.90 c #Conflicts: 482000 | #Constraints: 42649 784.00/785.90 c #Conflicts: 483000 | #Constraints: 43649 784.00/785.90 c #Conflicts: 484000 | #Constraints: 44649 784.00/785.90 c #Conflicts: 485000 | #Constraints: 45649 784.00/785.90 c #Conflicts: 486000 | #Constraints: 46649 784.00/785.90 c #Conflicts: 487000 | #Constraints: 47649 784.00/785.90 c #Conflicts: 488000 | #Constraints: 48649 784.00/785.90 c INPROCESSING 784.00/785.90 c GARBAGE COLLECT 784.00/785.90 c rational objective 107 800.94/802.93 c #Conflicts: 489000 | #Constraints: 29481 800.94/802.93 c #Conflicts: 490000 | #Constraints: 30481 800.94/802.93 c #Conflicts: 491000 | #Constraints: 31481 800.94/802.93 c #Conflicts: 492000 | #Constraints: 32481 800.94/802.93 c #Conflicts: 493000 | #Constraints: 33481 800.94/802.93 c #Conflicts: 494000 | #Constraints: 34481 800.94/802.93 c #Conflicts: 495000 | #Constraints: 35481 800.94/802.93 c #Conflicts: 496000 | #Constraints: 36481 800.94/802.93 c #Conflicts: 497000 | #Constraints: 37481 800.94/802.93 c #Conflicts: 498000 | #Constraints: 38481 800.94/802.93 c #Conflicts: 499000 | #Constraints: 39481 800.94/802.93 c #Conflicts: 500000 | #Constraints: 40481 800.94/802.93 c #Conflicts: 501000 | #Constraints: 41481 800.94/802.93 c #Conflicts: 502000 | #Constraints: 42481 800.94/802.93 c #Conflicts: 503000 | #Constraints: 43481 800.94/802.93 c #Conflicts: 504000 | #Constraints: 44481 800.94/802.93 c INPROCESSING 800.94/802.93 c GARBAGE COLLECT 800.94/802.93 c rational objective 107 892.98/895.20 c #Conflicts: 505000 | #Constraints: 27246 892.98/895.20 c #Conflicts: 506000 | #Constraints: 28247 892.98/895.20 c #Conflicts: 507000 | #Constraints: 29247 892.98/895.20 c #Conflicts: 508000 | #Constraints: 30247 892.98/895.20 c #Conflicts: 509000 | #Constraints: 31247 892.98/895.20 c #Conflicts: 510000 | #Constraints: 32247 892.98/895.20 c #Conflicts: 511000 | #Constraints: 33247 892.98/895.20 c #Conflicts: 512000 | #Constraints: 34247 892.98/895.20 c #Conflicts: 513000 | #Constraints: 35247 892.98/895.20 c #Conflicts: 514000 | #Constraints: 36247 892.98/895.20 c #Conflicts: 515000 | #Constraints: 37247 892.98/895.20 c #Conflicts: 516000 | #Constraints: 38247 892.98/895.20 c #Conflicts: 517000 | #Constraints: 39247 892.98/895.20 c #Conflicts: 518000 | #Constraints: 40247 892.98/895.20 c #Conflicts: 519000 | #Constraints: 41247 892.98/895.20 c #Conflicts: 520000 | #Constraints: 42247 892.98/895.20 c #Conflicts: 521000 | #Constraints: 43247 892.98/895.20 c #Conflicts: 522000 | #Constraints: 44247 892.98/895.20 c #Conflicts: 523000 | #Constraints: 45247 892.98/895.20 c #Conflicts: 524000 | #Constraints: 46247 892.98/895.20 c #Conflicts: 525000 | #Constraints: 47247 892.98/895.20 c #Conflicts: 526000 | #Constraints: 48247 892.98/895.20 c #Conflicts: 527000 | #Constraints: 49247 892.98/895.20 c #Conflicts: 528000 | #Constraints: 50247 892.98/895.20 c #Conflicts: 529000 | #Constraints: 51247 892.98/895.20 c #Conflicts: 530000 | #Constraints: 52247 892.98/895.20 c #Conflicts: 531000 | #Constraints: 53247 892.98/895.20 c #Conflicts: 532000 | #Constraints: 54247 892.98/895.20 c #Conflicts: 533000 | #Constraints: 55247 892.98/895.20 c #Conflicts: 534000 | #Constraints: 56247 892.98/895.20 c #Conflicts: 535000 | #Constraints: 57247 892.98/895.20 c #Conflicts: 536000 | #Constraints: 58247 892.98/895.20 c #Conflicts: 537000 | #Constraints: 59247 892.98/895.20 c #Conflicts: 538000 | #Constraints: 60247 892.98/895.20 c #Conflicts: 539000 | #Constraints: 61247 892.98/895.20 c #Conflicts: 540000 | #Constraints: 62247 892.98/895.20 c #Conflicts: 541000 | #Constraints: 63247 892.98/895.20 c #Conflicts: 542000 | #Constraints: 64247 892.98/895.20 c #Conflicts: 543000 | #Constraints: 65247 892.98/895.20 c #Conflicts: 544000 | #Constraints: 66247 892.98/895.20 c #Conflicts: 545000 | #Constraints: 67247 892.98/895.20 c #Conflicts: 546000 | #Constraints: 68247 892.98/895.20 c #Conflicts: 547000 | #Constraints: 69247 892.98/895.20 c #Conflicts: 548000 | #Constraints: 70248 892.98/895.20 c #Conflicts: 549000 | #Constraints: 71248 892.98/895.20 c #Conflicts: 550000 | #Constraints: 72248 892.98/895.20 c #Conflicts: 551000 | #Constraints: 73249 892.98/895.20 c #Conflicts: 552000 | #Constraints: 74249 892.98/895.20 c #Conflicts: 553000 | #Constraints: 75249 892.98/895.20 c #Conflicts: 554000 | #Constraints: 76249 892.98/895.20 c #Conflicts: 555000 | #Constraints: 77249 892.98/895.20 c #Conflicts: 556000 | #Constraints: 78249 892.98/895.20 c #Conflicts: 557000 | #Constraints: 79249 892.98/895.20 c #Conflicts: 558000 | #Constraints: 80249 892.98/895.20 c INPROCESSING 892.98/895.20 c GARBAGE COLLECT 892.98/895.20 c rational objective 107 917.62/919.93 c #Conflicts: 559000 | #Constraints: 45029 917.62/919.93 c #Conflicts: 560000 | #Constraints: 46029 917.62/919.93 c #Conflicts: 561000 | #Constraints: 47029 917.62/919.93 c #Conflicts: 562000 | #Constraints: 48029 917.62/919.93 c #Conflicts: 563000 | #Constraints: 49029 917.62/919.93 c #Conflicts: 564000 | #Constraints: 50029 917.62/919.93 c #Conflicts: 565000 | #Constraints: 51029 917.62/919.93 c #Conflicts: 566000 | #Constraints: 52029 917.62/919.93 c #Conflicts: 567000 | #Constraints: 53029 917.62/919.93 c #Conflicts: 568000 | #Constraints: 54029 917.62/919.93 c #Conflicts: 569000 | #Constraints: 55030 917.62/919.93 c #Conflicts: 570000 | #Constraints: 56030 917.62/919.93 c #Conflicts: 571000 | #Constraints: 57031 917.62/919.93 c #Conflicts: 572000 | #Constraints: 58031 917.62/919.93 c #Conflicts: 573000 | #Constraints: 59031 917.62/919.93 c #Conflicts: 574000 | #Constraints: 60031 917.62/919.93 c #Conflicts: 575000 | #Constraints: 61031 917.62/919.93 c #Conflicts: 576000 | #Constraints: 62031 917.62/919.93 c INPROCESSING 917.62/919.93 c GARBAGE COLLECT 917.62/919.93 c rational objective 107 940.38/942.78 c #Conflicts: 577000 | #Constraints: 36112 940.38/942.78 c #Conflicts: 578000 | #Constraints: 37112 940.38/942.78 c #Conflicts: 579000 | #Constraints: 38112 940.38/942.78 c #Conflicts: 580000 | #Constraints: 39112 940.38/942.78 c #Conflicts: 581000 | #Constraints: 40112 940.38/942.78 c #Conflicts: 582000 | #Constraints: 41112 940.38/942.78 c #Conflicts: 583000 | #Constraints: 42113 940.38/942.78 c #Conflicts: 584000 | #Constraints: 43113 940.38/942.78 c #Conflicts: 585000 | #Constraints: 44113 940.38/942.78 c #Conflicts: 586000 | #Constraints: 45113 940.38/942.78 c #Conflicts: 587000 | #Constraints: 46113 940.38/942.78 c #Conflicts: 588000 | #Constraints: 47113 940.38/942.78 c #Conflicts: 589000 | #Constraints: 48113 940.38/942.78 c #Conflicts: 590000 | #Constraints: 49113 940.38/942.78 c #Conflicts: 591000 | #Constraints: 50113 940.38/942.78 c #Conflicts: 592000 | #Constraints: 51113 940.38/942.78 c #Conflicts: 593000 | #Constraints: 52114 940.38/942.78 c #Conflicts: 594000 | #Constraints: 53114 940.38/942.78 c INPROCESSING 940.38/942.78 c GARBAGE COLLECT 940.38/942.78 c rational objective 107 964.33/966.79 c #Conflicts: 595000 | #Constraints: 31791 964.33/966.79 c #Conflicts: 596000 | #Constraints: 32791 964.33/966.79 c #Conflicts: 597000 | #Constraints: 33791 964.33/966.79 c #Conflicts: 598000 | #Constraints: 34791 964.33/966.79 c #Conflicts: 599000 | #Constraints: 35791 964.33/966.79 c #Conflicts: 600000 | #Constraints: 36791 964.33/966.79 c #Conflicts: 601000 | #Constraints: 37791 964.33/966.79 c #Conflicts: 602000 | #Constraints: 38793 964.33/966.79 c #Conflicts: 603000 | #Constraints: 39794 964.33/966.79 c #Conflicts: 604000 | #Constraints: 40794 964.33/966.79 c #Conflicts: 605000 | #Constraints: 41794 964.33/966.79 c #Conflicts: 606000 | #Constraints: 42794 964.33/966.79 c #Conflicts: 607000 | #Constraints: 43794 964.33/966.79 c #Conflicts: 608000 | #Constraints: 44794 964.33/966.79 c #Conflicts: 609000 | #Constraints: 45794 964.33/966.79 c #Conflicts: 610000 | #Constraints: 46794 964.33/966.79 c #Conflicts: 611000 | #Constraints: 47794 964.33/966.79 c #Conflicts: 612000 | #Constraints: 48794 964.33/966.79 c INPROCESSING 964.33/966.79 c GARBAGE COLLECT 964.33/966.79 c rational objective 107 1064.01/1066.69 c #Conflicts: 613000 | #Constraints: 29571 1064.01/1066.69 c #Conflicts: 614000 | #Constraints: 30571 1064.01/1066.69 c #Conflicts: 615000 | #Constraints: 31571 1064.01/1066.69 c #Conflicts: 616000 | #Constraints: 32571 1064.01/1066.69 c #Conflicts: 617000 | #Constraints: 33572 1064.01/1066.69 c #Conflicts: 618000 | #Constraints: 34573 1064.01/1066.69 c #Conflicts: 619000 | #Constraints: 35573 1064.01/1066.69 c #Conflicts: 620000 | #Constraints: 36573 1064.01/1066.69 c #Conflicts: 621000 | #Constraints: 37573 1064.01/1066.69 c #Conflicts: 622000 | #Constraints: 38573 1064.01/1066.69 c #Conflicts: 623000 | #Constraints: 39573 1064.01/1066.69 c #Conflicts: 624000 | #Constraints: 40573 1064.01/1066.69 c #Conflicts: 625000 | #Constraints: 41573 1064.01/1066.69 c #Conflicts: 626000 | #Constraints: 42573 1064.01/1066.69 c #Conflicts: 627000 | #Constraints: 43573 1064.01/1066.69 c #Conflicts: 628000 | #Constraints: 44573 1064.01/1066.69 c #Conflicts: 629000 | #Constraints: 45573 1064.01/1066.69 c #Conflicts: 630000 | #Constraints: 46573 1064.01/1066.69 c #Conflicts: 631000 | #Constraints: 47573 1064.01/1066.69 c #Conflicts: 632000 | #Constraints: 48573 1064.01/1066.69 c #Conflicts: 633000 | #Constraints: 49573 1064.01/1066.69 c #Conflicts: 634000 | #Constraints: 50573 1064.01/1066.69 c #Conflicts: 635000 | #Constraints: 51573 1064.01/1066.69 c #Conflicts: 636000 | #Constraints: 52573 1064.01/1066.69 c #Conflicts: 637000 | #Constraints: 53573 1064.01/1066.69 c #Conflicts: 638000 | #Constraints: 54573 1064.01/1066.69 c #Conflicts: 639000 | #Constraints: 55573 1064.01/1066.69 c #Conflicts: 640000 | #Constraints: 56573 1064.01/1066.69 c #Conflicts: 641000 | #Constraints: 57573 1064.01/1066.69 c #Conflicts: 642000 | #Constraints: 58573 1064.01/1066.69 c #Conflicts: 643000 | #Constraints: 59573 1064.01/1066.69 c #Conflicts: 644000 | #Constraints: 60573 1064.01/1066.69 c #Conflicts: 645000 | #Constraints: 61573 1064.01/1066.69 c #Conflicts: 646000 | #Constraints: 62574 1064.01/1066.69 c #Conflicts: 647000 | #Constraints: 63574 1064.01/1066.69 c #Conflicts: 648000 | #Constraints: 64574 1064.01/1066.69 c #Conflicts: 649000 | #Constraints: 65574 1064.01/1066.69 c #Conflicts: 650000 | #Constraints: 66574 1064.01/1066.69 c #Conflicts: 651000 | #Constraints: 67574 1064.01/1066.69 c #Conflicts: 652000 | #Constraints: 68574 1064.01/1066.69 c #Conflicts: 653000 | #Constraints: 69575 1064.01/1066.69 c #Conflicts: 654000 | #Constraints: 70575 1064.01/1066.69 c #Conflicts: 655000 | #Constraints: 71575 1064.01/1066.69 c #Conflicts: 656000 | #Constraints: 72575 1064.01/1066.69 c #Conflicts: 657000 | #Constraints: 73575 1064.01/1066.69 c #Conflicts: 658000 | #Constraints: 74576 1064.01/1066.69 c #Conflicts: 659000 | #Constraints: 75576 1064.01/1066.69 c #Conflicts: 660000 | #Constraints: 76576 1064.01/1066.69 c #Conflicts: 661000 | #Constraints: 77577 1064.01/1066.69 c #Conflicts: 662000 | #Constraints: 78577 1064.01/1066.69 c #Conflicts: 663000 | #Constraints: 79577 1064.01/1066.69 c #Conflicts: 664000 | #Constraints: 80577 1064.01/1066.69 c #Conflicts: 665000 | #Constraints: 81577 1064.01/1066.69 c #Conflicts: 666000 | #Constraints: 82577 1064.01/1066.69 c #Conflicts: 667000 | #Constraints: 83577 1064.01/1066.69 c #Conflicts: 668000 | #Constraints: 84577 1064.01/1066.69 c #Conflicts: 669000 | #Constraints: 85577 1064.01/1066.69 c #Conflicts: 670000 | #Constraints: 86577 1064.01/1066.69 c #Conflicts: 671000 | #Constraints: 87577 1064.01/1066.69 c INPROCESSING 1064.01/1066.69 c GARBAGE COLLECT 1064.01/1066.69 c rational objective 107 1089.34/1092.03 c #Conflicts: 672000 | #Constraints: 48704 1089.34/1092.03 c #Conflicts: 673000 | #Constraints: 49704 1089.34/1092.03 c #Conflicts: 674000 | #Constraints: 50704 1089.34/1092.03 c #Conflicts: 675000 | #Constraints: 51704 1089.34/1092.03 c #Conflicts: 676000 | #Constraints: 52704 1089.34/1092.03 c #Conflicts: 677000 | #Constraints: 53704 1089.34/1092.03 c #Conflicts: 678000 | #Constraints: 54704 1089.34/1092.03 c #Conflicts: 679000 | #Constraints: 55704 1089.34/1092.03 c #Conflicts: 680000 | #Constraints: 56704 1089.34/1092.03 c #Conflicts: 681000 | #Constraints: 57704 1089.34/1092.03 c #Conflicts: 682000 | #Constraints: 58704 1089.34/1092.03 c #Conflicts: 683000 | #Constraints: 59704 1089.34/1092.03 c #Conflicts: 684000 | #Constraints: 60704 1089.34/1092.03 c #Conflicts: 685000 | #Constraints: 61705 1089.34/1092.03 c #Conflicts: 686000 | #Constraints: 62705 1089.34/1092.03 c #Conflicts: 687000 | #Constraints: 63705 1089.34/1092.03 c #Conflicts: 688000 | #Constraints: 64705 1089.34/1092.03 c #Conflicts: 689000 | #Constraints: 65705 1089.34/1092.03 c #Conflicts: 690000 | #Constraints: 66705 1089.34/1092.03 c INPROCESSING 1089.34/1092.03 c GARBAGE COLLECT 1089.34/1092.03 c rational objective 107 1125.05/1127.89 c #Conflicts: 691000 | #Constraints: 38184 1125.05/1127.89 c #Conflicts: 692000 | #Constraints: 39184 1125.05/1127.89 c #Conflicts: 693000 | #Constraints: 40185 1125.05/1127.89 c #Conflicts: 694000 | #Constraints: 41185 1125.05/1127.89 c #Conflicts: 695000 | #Constraints: 42185 1125.05/1127.89 c #Conflicts: 696000 | #Constraints: 43185 1125.05/1127.89 c #Conflicts: 697000 | #Constraints: 44186 1125.05/1127.89 c #Conflicts: 698000 | #Constraints: 45186 1125.05/1127.89 c #Conflicts: 699000 | #Constraints: 46186 1125.05/1127.89 c #Conflicts: 700000 | #Constraints: 47186 1125.05/1127.89 c #Conflicts: 701000 | #Constraints: 48186 1125.05/1127.89 c #Conflicts: 702000 | #Constraints: 49186 1125.05/1127.89 c #Conflicts: 703000 | #Constraints: 50186 1125.05/1127.89 c #Conflicts: 704000 | #Constraints: 51186 1125.05/1127.89 c #Conflicts: 705000 | #Constraints: 52186 1125.05/1127.89 c #Conflicts: 706000 | #Constraints: 53186 1125.05/1127.89 c #Conflicts: 707000 | #Constraints: 54186 1125.05/1127.89 c #Conflicts: 708000 | #Constraints: 55186 1125.05/1127.89 c #Conflicts: 709000 | #Constraints: 56186 1125.05/1127.89 c #Conflicts: 710000 | #Constraints: 57187 1125.05/1127.89 c INPROCESSING 1125.05/1127.89 c GARBAGE COLLECT 1125.05/1127.89 c rational objective 107 1149.18/1152.01 c #Conflicts: 711000 | #Constraints: 33717 1149.18/1152.01 c #Conflicts: 712000 | #Constraints: 34717 1149.18/1152.01 c #Conflicts: 713000 | #Constraints: 35717 1149.18/1152.01 c #Conflicts: 714000 | #Constraints: 36717 1149.18/1152.01 c #Conflicts: 715000 | #Constraints: 37717 1149.18/1152.01 c #Conflicts: 716000 | #Constraints: 38717 1149.18/1152.01 c #Conflicts: 717000 | #Constraints: 39717 1149.18/1152.01 c #Conflicts: 718000 | #Constraints: 40717 1149.18/1152.01 c #Conflicts: 719000 | #Constraints: 41717 1149.18/1152.01 c #Conflicts: 720000 | #Constraints: 42717 1149.18/1152.01 c #Conflicts: 721000 | #Constraints: 43717 1149.18/1152.01 c #Conflicts: 722000 | #Constraints: 44717 1149.18/1152.01 c #Conflicts: 723000 | #Constraints: 45717 1149.18/1152.01 c #Conflicts: 724000 | #Constraints: 46717 1149.18/1152.01 c #Conflicts: 725000 | #Constraints: 47717 1149.18/1152.01 c #Conflicts: 726000 | #Constraints: 48717 1149.18/1152.01 c #Conflicts: 727000 | #Constraints: 49717 1149.18/1152.01 c #Conflicts: 728000 | #Constraints: 50717 1149.18/1152.01 c #Conflicts: 729000 | #Constraints: 51717 1149.18/1152.01 c #Conflicts: 730000 | #Constraints: 52717 1149.18/1152.01 c INPROCESSING 1149.18/1152.01 c GARBAGE COLLECT 1149.18/1152.01 c rational objective 107 1259.17/1262.35 c #Conflicts: 731000 | #Constraints: 31521 1259.17/1262.35 c #Conflicts: 732000 | #Constraints: 32521 1259.17/1262.35 c #Conflicts: 733000 | #Constraints: 33521 1259.17/1262.35 c #Conflicts: 734000 | #Constraints: 34521 1259.17/1262.35 c #Conflicts: 735000 | #Constraints: 35521 1259.17/1262.35 c #Conflicts: 736000 | #Constraints: 36521 1259.17/1262.35 c #Conflicts: 737000 | #Constraints: 37521 1259.17/1262.35 c #Conflicts: 738000 | #Constraints: 38521 1259.17/1262.35 c #Conflicts: 739000 | #Constraints: 39522 1259.17/1262.35 c #Conflicts: 740000 | #Constraints: 40523 1259.17/1262.35 c #Conflicts: 741000 | #Constraints: 41523 1259.17/1262.35 c #Conflicts: 742000 | #Constraints: 42523 1259.17/1262.35 c #Conflicts: 743000 | #Constraints: 43523 1259.17/1262.35 c #Conflicts: 744000 | #Constraints: 44523 1259.17/1262.35 c #Conflicts: 745000 | #Constraints: 45523 1259.17/1262.35 c #Conflicts: 746000 | #Constraints: 46523 1259.17/1262.35 c #Conflicts: 747000 | #Constraints: 47523 1259.17/1262.35 c #Conflicts: 748000 | #Constraints: 48523 1259.17/1262.35 c #Conflicts: 749000 | #Constraints: 49523 1259.17/1262.35 c #Conflicts: 750000 | #Constraints: 50523 1259.17/1262.35 c #Conflicts: 751000 | #Constraints: 51523 1259.17/1262.35 c #Conflicts: 752000 | #Constraints: 52524 1259.17/1262.35 c #Conflicts: 753000 | #Constraints: 53524 1259.17/1262.35 c #Conflicts: 754000 | #Constraints: 54524 1259.17/1262.35 c #Conflicts: 755000 | #Constraints: 55524 1259.17/1262.35 c #Conflicts: 756000 | #Constraints: 56525 1259.17/1262.35 c #Conflicts: 757000 | #Constraints: 57525 1259.17/1262.35 c #Conflicts: 758000 | #Constraints: 58525 1259.17/1262.35 c #Conflicts: 759000 | #Constraints: 59525 1259.17/1262.35 c #Conflicts: 760000 | #Constraints: 60525 1259.17/1262.35 c #Conflicts: 761000 | #Constraints: 61525 1259.17/1262.35 c #Conflicts: 762000 | #Constraints: 62525 1259.17/1262.35 c #Conflicts: 763000 | #Constraints: 63525 1259.17/1262.35 c #Conflicts: 764000 | #Constraints: 64525 1259.17/1262.35 c #Conflicts: 765000 | #Constraints: 65525 1259.17/1262.35 c #Conflicts: 766000 | #Constraints: 66525 1259.17/1262.35 c #Conflicts: 767000 | #Constraints: 67525 1259.17/1262.35 c #Conflicts: 768000 | #Constraints: 68526 1259.17/1262.35 c #Conflicts: 769000 | #Constraints: 69526 1259.17/1262.35 c #Conflicts: 770000 | #Constraints: 70526 1259.17/1262.35 c #Conflicts: 771000 | #Constraints: 71526 1259.17/1262.35 c #Conflicts: 772000 | #Constraints: 72526 1259.17/1262.35 c #Conflicts: 773000 | #Constraints: 73526 1259.17/1262.35 c #Conflicts: 774000 | #Constraints: 74526 1259.17/1262.35 c #Conflicts: 775000 | #Constraints: 75526 1259.17/1262.35 c #Conflicts: 776000 | #Constraints: 76526 1259.17/1262.35 c #Conflicts: 777000 | #Constraints: 77526 1259.17/1262.35 c #Conflicts: 778000 | #Constraints: 78526 1259.17/1262.35 c #Conflicts: 779000 | #Constraints: 79526 1259.17/1262.35 c #Conflicts: 780000 | #Constraints: 80526 1259.17/1262.35 c #Conflicts: 781000 | #Constraints: 81526 1259.17/1262.35 c #Conflicts: 782000 | #Constraints: 82526 1259.17/1262.35 c #Conflicts: 783000 | #Constraints: 83526 1259.17/1262.35 c #Conflicts: 784000 | #Constraints: 84526 1259.17/1262.35 c #Conflicts: 785000 | #Constraints: 85526 1259.17/1262.35 c #Conflicts: 786000 | #Constraints: 86526 1259.17/1262.35 c #Conflicts: 787000 | #Constraints: 87526 1259.17/1262.35 c #Conflicts: 788000 | #Constraints: 88526 1259.17/1262.35 c #Conflicts: 789000 | #Constraints: 89526 1259.17/1262.35 c #Conflicts: 790000 | #Constraints: 90526 1259.17/1262.35 c #Conflicts: 791000 | #Constraints: 91526 1259.17/1262.35 c #Conflicts: 792000 | #Constraints: 92526 1259.17/1262.35 c #Conflicts: 793000 | #Constraints: 93526 1259.17/1262.35 c #Conflicts: 794000 | #Constraints: 94526 1259.17/1262.35 c #Conflicts: 795000 | #Constraints: 95526 1259.17/1262.35 c INPROCESSING 1259.17/1262.35 c GARBAGE COLLECT 1259.17/1262.35 c rational objective 107 1291.08/1294.33 c #Conflicts: 796000 | #Constraints: 53015 1291.08/1294.33 c #Conflicts: 797000 | #Constraints: 54015 1291.08/1294.33 c #Conflicts: 798000 | #Constraints: 55016 1291.08/1294.33 c #Conflicts: 799000 | #Constraints: 56016 1291.08/1294.33 c #Conflicts: 800000 | #Constraints: 57016 1291.08/1294.33 c #Conflicts: 801000 | #Constraints: 58016 1291.08/1294.33 c #Conflicts: 802000 | #Constraints: 59016 1291.08/1294.33 c #Conflicts: 803000 | #Constraints: 60016 1291.08/1294.33 c #Conflicts: 804000 | #Constraints: 61016 1291.08/1294.33 c #Conflicts: 805000 | #Constraints: 62016 1291.08/1294.33 c #Conflicts: 806000 | #Constraints: 63016 1291.08/1294.33 c #Conflicts: 807000 | #Constraints: 64016 1291.08/1294.33 c #Conflicts: 808000 | #Constraints: 65016 1291.08/1294.33 c #Conflicts: 809000 | #Constraints: 66016 1291.08/1294.33 c #Conflicts: 810000 | #Constraints: 67016 1291.08/1294.33 c #Conflicts: 811000 | #Constraints: 68016 1291.08/1294.33 c #Conflicts: 812000 | #Constraints: 69016 1291.08/1294.33 c #Conflicts: 813000 | #Constraints: 70016 1291.08/1294.33 c #Conflicts: 814000 | #Constraints: 71016 1291.08/1294.33 c #Conflicts: 815000 | #Constraints: 72016 1291.08/1294.33 c #Conflicts: 816000 | #Constraints: 73016 1291.08/1294.33 c INPROCESSING 1291.08/1294.33 c GARBAGE COLLECT 1291.08/1294.33 c rational objective 107 1316.00/1319.30 c #Conflicts: 817000 | #Constraints: 41796 1316.00/1319.30 c #Conflicts: 818000 | #Constraints: 42796 1316.00/1319.30 c #Conflicts: 819000 | #Constraints: 43797 1316.00/1319.30 c #Conflicts: 820000 | #Constraints: 44797 1316.00/1319.30 c #Conflicts: 821000 | #Constraints: 45797 1316.00/1319.30 c #Conflicts: 822000 | #Constraints: 46797 1316.00/1319.30 c #Conflicts: 823000 | #Constraints: 47797 1316.00/1319.30 c #Conflicts: 824000 | #Constraints: 48797 1316.00/1319.30 c #Conflicts: 825000 | #Constraints: 49797 1316.00/1319.30 c #Conflicts: 826000 | #Constraints: 50797 1316.00/1319.30 c #Conflicts: 827000 | #Constraints: 51797 1316.00/1319.30 c #Conflicts: 828000 | #Constraints: 52797 1316.00/1319.30 c #Conflicts: 829000 | #Constraints: 53797 1316.00/1319.30 c #Conflicts: 830000 | #Constraints: 54798 1316.00/1319.30 c #Conflicts: 831000 | #Constraints: 55799 1316.00/1319.30 c #Conflicts: 832000 | #Constraints: 56799 1316.00/1319.30 c #Conflicts: 833000 | #Constraints: 57799 1316.00/1319.30 c #Conflicts: 834000 | #Constraints: 58799 1316.00/1319.30 c #Conflicts: 835000 | #Constraints: 59799 1316.00/1319.30 c #Conflicts: 836000 | #Constraints: 60799 1316.00/1319.30 c #Conflicts: 837000 | #Constraints: 61799 1316.00/1319.30 c INPROCESSING 1316.00/1319.30 c GARBAGE COLLECT 1316.00/1319.30 c rational objective 107 1346.63/1350.09 c #Conflicts: 838000 | #Constraints: 36087 1346.63/1350.09 c #Conflicts: 839000 | #Constraints: 37087 1346.63/1350.09 c #Conflicts: 840000 | #Constraints: 38088 1346.63/1350.09 c #Conflicts: 841000 | #Constraints: 39088 1346.63/1350.09 c #Conflicts: 842000 | #Constraints: 40089 1346.63/1350.09 c #Conflicts: 843000 | #Constraints: 41089 1346.63/1350.09 c #Conflicts: 844000 | #Constraints: 42089 1346.63/1350.09 c #Conflicts: 845000 | #Constraints: 43089 1346.63/1350.09 c #Conflicts: 846000 | #Constraints: 44089 1346.63/1350.09 c #Conflicts: 847000 | #Constraints: 45089 1346.63/1350.09 c #Conflicts: 848000 | #Constraints: 46089 1346.63/1350.09 c #Conflicts: 849000 | #Constraints: 47089 1346.63/1350.09 c #Conflicts: 850000 | #Constraints: 48089 1346.63/1350.09 c #Conflicts: 851000 | #Constraints: 49089 1346.63/1350.09 c #Conflicts: 852000 | #Constraints: 50089 1346.63/1350.09 c #Conflicts: 853000 | #Constraints: 51089 1346.63/1350.09 c #Conflicts: 854000 | #Constraints: 52090 1346.63/1350.09 c #Conflicts: 855000 | #Constraints: 53090 1346.63/1350.09 c #Conflicts: 856000 | #Constraints: 54090 1346.63/1350.09 c #Conflicts: 857000 | #Constraints: 55090 1346.63/1350.09 c #Conflicts: 858000 | #Constraints: 56090 1346.63/1350.09 c INPROCESSING 1346.63/1350.09 c GARBAGE COLLECT 1346.63/1350.09 c rational objective 107 1489.91/1493.79 c #Conflicts: 859000 | #Constraints: 33045 1489.91/1493.79 c #Conflicts: 860000 | #Constraints: 34045 1489.91/1493.79 c #Conflicts: 861000 | #Constraints: 35046 1489.91/1493.79 c #Conflicts: 862000 | #Constraints: 36046 1489.91/1493.79 c #Conflicts: 863000 | #Constraints: 37046 1489.91/1493.79 c #Conflicts: 864000 | #Constraints: 38046 1489.91/1493.79 c #Conflicts: 865000 | #Constraints: 39046 1489.91/1493.79 c #Conflicts: 866000 | #Constraints: 40046 1489.91/1493.79 c #Conflicts: 867000 | #Constraints: 41046 1489.91/1493.79 c #Conflicts: 868000 | #Constraints: 42046 1489.91/1493.79 c #Conflicts: 869000 | #Constraints: 43046 1489.91/1493.79 c #Conflicts: 870000 | #Constraints: 44046 1489.91/1493.79 c #Conflicts: 871000 | #Constraints: 45046 1489.91/1493.79 c #Conflicts: 872000 | #Constraints: 46046 1489.91/1493.79 c #Conflicts: 873000 | #Constraints: 47046 1489.91/1493.79 c #Conflicts: 874000 | #Constraints: 48046 1489.91/1493.79 c #Conflicts: 875000 | #Constraints: 49046 1489.91/1493.79 c #Conflicts: 876000 | #Constraints: 50046 1489.91/1493.79 c #Conflicts: 877000 | #Constraints: 51047 1489.91/1493.79 c #Conflicts: 878000 | #Constraints: 52047 1489.91/1493.79 c #Conflicts: 879000 | #Constraints: 53047 1489.91/1493.79 c #Conflicts: 880000 | #Constraints: 54048 1489.91/1493.79 c #Conflicts: 881000 | #Constraints: 55048 1489.91/1493.79 c #Conflicts: 882000 | #Constraints: 56048 1489.91/1493.79 c #Conflicts: 883000 | #Constraints: 57049 1489.91/1493.79 c #Conflicts: 884000 | #Constraints: 58049 1489.91/1493.79 c #Conflicts: 885000 | #Constraints: 59049 1489.91/1493.79 c #Conflicts: 886000 | #Constraints: 60049 1489.91/1493.79 c #Conflicts: 887000 | #Constraints: 61049 1489.91/1493.79 c #Conflicts: 888000 | #Constraints: 62050 1489.91/1493.79 c #Conflicts: 889000 | #Constraints: 63050 1489.91/1493.79 c #Conflicts: 890000 | #Constraints: 64050 1489.91/1493.79 c #Conflicts: 891000 | #Constraints: 65050 1489.91/1493.79 c #Conflicts: 892000 | #Constraints: 66050 1489.91/1493.79 c #Conflicts: 893000 | #Constraints: 67050 1489.91/1493.79 c #Conflicts: 894000 | #Constraints: 68050 1489.91/1493.79 c #Conflicts: 895000 | #Constraints: 69050 1489.91/1493.79 c #Conflicts: 896000 | #Constraints: 70050 1489.91/1493.79 c #Conflicts: 897000 | #Constraints: 71050 1489.91/1493.79 c #Conflicts: 898000 | #Constraints: 72050 1489.91/1493.79 c #Conflicts: 899000 | #Constraints: 73050 1489.91/1493.79 c #Conflicts: 900000 | #Constraints: 74050 1489.91/1493.79 c #Conflicts: 901000 | #Constraints: 75050 1489.91/1493.79 c #Conflicts: 902000 | #Constraints: 76050 1489.91/1493.79 c #Conflicts: 903000 | #Constraints: 77050 1489.91/1493.79 c #Conflicts: 904000 | #Constraints: 78050 1489.91/1493.79 c #Conflicts: 905000 | #Constraints: 79050 1489.91/1493.79 c #Conflicts: 906000 | #Constraints: 80050 1489.91/1493.79 c #Conflicts: 907000 | #Constraints: 81050 1489.91/1493.79 c #Conflicts: 908000 | #Constraints: 82050 1489.91/1493.79 c #Conflicts: 909000 | #Constraints: 83050 1489.91/1493.79 c #Conflicts: 910000 | #Constraints: 84051 1489.91/1493.79 c #Conflicts: 911000 | #Constraints: 85051 1489.91/1493.79 c #Conflicts: 912000 | #Constraints: 86051 1489.91/1493.79 c #Conflicts: 913000 | #Constraints: 87051 1489.91/1493.79 c #Conflicts: 914000 | #Constraints: 88051 1489.91/1493.79 c #Conflicts: 915000 | #Constraints: 89051 1489.91/1493.79 c #Conflicts: 916000 | #Constraints: 90051 1489.91/1493.79 c #Conflicts: 917000 | #Constraints: 91051 1489.91/1493.79 c #Conflicts: 918000 | #Constraints: 92051 1489.91/1493.79 c #Conflicts: 919000 | #Constraints: 93051 1489.91/1493.79 c #Conflicts: 920000 | #Constraints: 94051 1489.91/1493.79 c #Conflicts: 921000 | #Constraints: 95051 1489.91/1493.79 c #Conflicts: 922000 | #Constraints: 96051 1489.91/1493.79 c #Conflicts: 923000 | #Constraints: 97051 1489.91/1493.79 c #Conflicts: 924000 | #Constraints: 98051 1489.91/1493.79 c #Conflicts: 925000 | #Constraints: 99051 1489.91/1493.79 c #Conflicts: 926000 | #Constraints: 100051 1489.91/1493.79 c #Conflicts: 927000 | #Constraints: 101051 1489.91/1493.79 c #Conflicts: 928000 | #Constraints: 102051 1489.91/1493.79 c INPROCESSING 1489.91/1493.79 c GARBAGE COLLECT 1489.91/1493.79 c rational objective 107 1536.78/1540.76 c #Conflicts: 929000 | #Constraints: 55915 1536.78/1540.76 c #Conflicts: 930000 | #Constraints: 56915 1536.78/1540.76 c #Conflicts: 931000 | #Constraints: 57915 1536.78/1540.76 c #Conflicts: 932000 | #Constraints: 58915 1536.78/1540.76 c #Conflicts: 933000 | #Constraints: 59915 1536.78/1540.76 c #Conflicts: 934000 | #Constraints: 60916 1536.78/1540.76 c #Conflicts: 935000 | #Constraints: 61916 1536.78/1540.76 c #Conflicts: 936000 | #Constraints: 62916 1536.78/1540.76 c #Conflicts: 937000 | #Constraints: 63917 1536.78/1540.76 c #Conflicts: 938000 | #Constraints: 64917 1536.78/1540.76 c #Conflicts: 939000 | #Constraints: 65917 1536.78/1540.76 c #Conflicts: 940000 | #Constraints: 66917 1536.78/1540.76 c #Conflicts: 941000 | #Constraints: 67917 1536.78/1540.76 c #Conflicts: 942000 | #Constraints: 68917 1536.78/1540.76 c #Conflicts: 943000 | #Constraints: 69917 1536.78/1540.76 c #Conflicts: 944000 | #Constraints: 70917 1536.78/1540.76 c #Conflicts: 945000 | #Constraints: 71917 1536.78/1540.76 c #Conflicts: 946000 | #Constraints: 72917 1536.78/1540.76 c #Conflicts: 947000 | #Constraints: 73917 1536.78/1540.76 c #Conflicts: 948000 | #Constraints: 74917 1536.78/1540.76 c #Conflicts: 949000 | #Constraints: 75917 1536.78/1540.76 c #Conflicts: 950000 | #Constraints: 76917 1536.78/1540.76 c #Conflicts: 951000 | #Constraints: 77917 1536.78/1540.76 c INPROCESSING 1536.78/1540.76 c GARBAGE COLLECT 1536.78/1540.76 c rational objective 107 1569.10/1573.11 c #Conflicts: 952000 | #Constraints: 43988 1569.10/1573.11 c #Conflicts: 953000 | #Constraints: 44988 1569.10/1573.11 c #Conflicts: 954000 | #Constraints: 45988 1569.10/1573.11 c #Conflicts: 955000 | #Constraints: 46988 1569.10/1573.11 c #Conflicts: 956000 | #Constraints: 47988 1569.10/1573.11 c #Conflicts: 957000 | #Constraints: 48988 1569.10/1573.11 c #Conflicts: 958000 | #Constraints: 49988 1569.10/1573.11 c #Conflicts: 959000 | #Constraints: 50988 1569.10/1573.11 c #Conflicts: 960000 | #Constraints: 51988 1569.10/1573.11 c #Conflicts: 961000 | #Constraints: 52988 1569.10/1573.11 c #Conflicts: 962000 | #Constraints: 53988 1569.10/1573.11 c #Conflicts: 963000 | #Constraints: 54988 1569.10/1573.11 c #Conflicts: 964000 | #Constraints: 55988 1569.10/1573.11 c #Conflicts: 965000 | #Constraints: 56988 1569.10/1573.11 c #Conflicts: 966000 | #Constraints: 57988 1569.10/1573.11 c #Conflicts: 967000 | #Constraints: 58988 1569.10/1573.11 c #Conflicts: 968000 | #Constraints: 59988 1569.10/1573.11 c #Conflicts: 969000 | #Constraints: 60988 1569.10/1573.11 c #Conflicts: 970000 | #Constraints: 61988 1569.10/1573.11 c #Conflicts: 971000 | #Constraints: 62988 1569.10/1573.11 c #Conflicts: 972000 | #Constraints: 63988 1569.10/1573.11 c #Conflicts: 973000 | #Constraints: 64988 1569.10/1573.11 c #Conflicts: 974000 | #Constraints: 65988 1569.10/1573.11 c INPROCESSING 1569.10/1573.11 c GARBAGE COLLECT 1569.10/1573.11 c rational objective 107 1612.36/1616.51 c #Conflicts: 975000 | #Constraints: 38137 1612.36/1616.51 c #Conflicts: 976000 | #Constraints: 39137 1612.36/1616.51 c #Conflicts: 977000 | #Constraints: 40137 1612.36/1616.51 c #Conflicts: 978000 | #Constraints: 41137 1612.36/1616.51 c #Conflicts: 979000 | #Constraints: 42137 1612.36/1616.51 c #Conflicts: 980000 | #Constraints: 43137 1612.36/1616.51 c #Conflicts: 981000 | #Constraints: 44137 1612.36/1616.51 c #Conflicts: 982000 | #Constraints: 45138 1612.36/1616.51 c #Conflicts: 983000 | #Constraints: 46138 1612.36/1616.51 c #Conflicts: 984000 | #Constraints: 47138 1612.36/1616.51 c #Conflicts: 985000 | #Constraints: 48138 1612.36/1616.51 c #Conflicts: 986000 | #Constraints: 49138 1612.36/1616.51 c #Conflicts: 987000 | #Constraints: 50138 1612.36/1616.51 c #Conflicts: 988000 | #Constraints: 51138 1612.36/1616.51 c #Conflicts: 989000 | #Constraints: 52138 1612.36/1616.51 c #Conflicts: 990000 | #Constraints: 53138 1612.36/1616.51 c #Conflicts: 991000 | #Constraints: 54138 1612.36/1616.51 c #Conflicts: 992000 | #Constraints: 55138 1612.36/1616.51 c #Conflicts: 993000 | #Constraints: 56138 1612.36/1616.51 c #Conflicts: 994000 | #Constraints: 57138 1612.36/1616.51 c #Conflicts: 995000 | #Constraints: 58138 1612.36/1616.51 c #Conflicts: 996000 | #Constraints: 59138 1612.36/1616.51 c #Conflicts: 997000 | #Constraints: 60138 1612.36/1616.51 c INPROCESSING 1612.36/1616.51 c GARBAGE COLLECT 1612.36/1616.51 c rational objective 107 1775.88/1780.54 c #Conflicts: 998000 | #Constraints: 35084 1775.88/1780.54 c #Conflicts: 999000 | #Constraints: 36084 1775.88/1780.54 c #Conflicts: 1000000 | #Constraints: 37086 1775.88/1780.54 c #Conflicts: 1001000 | #Constraints: 38086 1775.88/1780.54 c #Conflicts: 1002000 | #Constraints: 39086 1775.88/1780.54 c #Conflicts: 1003000 | #Constraints: 40087 1775.88/1780.54 c #Conflicts: 1004000 | #Constraints: 41087 1775.88/1780.54 c #Conflicts: 1005000 | #Constraints: 42087 1775.88/1780.54 c #Conflicts: 1006000 | #Constraints: 43087 1775.88/1780.54 c #Conflicts: 1007000 | #Constraints: 44087 1775.88/1780.54 c #Conflicts: 1008000 | #Constraints: 45087 1775.88/1780.54 c #Conflicts: 1009000 | #Constraints: 46087 1775.88/1780.54 c #Conflicts: 1010000 | #Constraints: 47087 1775.88/1780.54 c #Conflicts: 1011000 | #Constraints: 48087 1775.88/1780.54 c #Conflicts: 1012000 | #Constraints: 49087 1775.88/1780.54 c #Conflicts: 1013000 | #Constraints: 50087 1775.88/1780.54 c #Conflicts: 1014000 | #Constraints: 51087 1775.88/1780.54 c #Conflicts: 1015000 | #Constraints: 52087 1775.88/1780.54 c #Conflicts: 1016000 | #Constraints: 53087 1775.88/1780.54 c #Conflicts: 1017000 | #Constraints: 54088 1775.88/1780.54 c #Conflicts: 1018000 | #Constraints: 55088 1775.88/1780.54 c #Conflicts: 1019000 | #Constraints: 56088 1775.88/1780.54 c #Conflicts: 1020000 | #Constraints: 57088 1775.88/1780.54 c #Conflicts: 1021000 | #Constraints: 58088 1775.88/1780.54 c #Conflicts: 1022000 | #Constraints: 59088 1775.88/1780.54 c #Conflicts: 1023000 | #Constraints: 60088 1775.88/1780.54 c #Conflicts: 1024000 | #Constraints: 61088 1775.88/1780.54 c #Conflicts: 1025000 | #Constraints: 62088 1775.88/1780.54 c #Conflicts: 1026000 | #Constraints: 63088 1775.88/1780.54 c #Conflicts: 1027000 | #Constraints: 64088 1775.88/1780.54 c #Conflicts: 1028000 | #Constraints: 65088 1775.88/1780.54 c #Conflicts: 1029000 | #Constraints: 66088 1775.88/1780.54 c #Conflicts: 1030000 | #Constraints: 67088 1775.88/1780.54 c #Conflicts: 1031000 | #Constraints: 68088 1775.88/1780.54 c #Conflicts: 1032000 | #Constraints: 69088 1775.88/1780.54 c #Conflicts: 1033000 | #Constraints: 70088 1775.88/1780.54 c #Conflicts: 1034000 | #Constraints: 71088 1775.88/1780.54 c #Conflicts: 1035000 | #Constraints: 72088 1775.88/1780.54 c #Conflicts: 1036000 | #Constraints: 73088 1775.88/1780.54 c #Conflicts: 1037000 | #Constraints: 74088 1775.88/1780.54 c #Conflicts: 1038000 | #Constraints: 75088 1775.88/1780.54 c #Conflicts: 1039000 | #Constraints: 76088 1775.88/1780.54 c #Conflicts: 1040000 | #Constraints: 77088 1775.88/1780.54 c #Conflicts: 1041000 | #Constraints: 78088 1775.88/1780.54 c #Conflicts: 1042000 | #Constraints: 79088 1775.88/1780.54 c #Conflicts: 1043000 | #Constraints: 80089 1775.88/1780.54 c #Conflicts: 1044000 | #Constraints: 81089 1775.88/1780.54 c #Conflicts: 1045000 | #Constraints: 82089 1775.88/1780.54 c #Conflicts: 1046000 | #Constraints: 83089 1775.88/1780.54 c #Conflicts: 1047000 | #Constraints: 84089 1775.88/1780.54 c #Conflicts: 1048000 | #Constraints: 85089 1775.88/1780.54 c #Conflicts: 1049000 | #Constraints: 86089 1775.88/1780.54 c #Conflicts: 1050000 | #Constraints: 87089 1775.88/1780.54 c #Conflicts: 1051000 | #Constraints: 88089 1775.88/1780.54 c #Conflicts: 1052000 | #Constraints: 89090 1775.88/1780.54 c #Conflicts: 1053000 | #Constraints: 90090 1775.88/1780.54 c #Conflicts: 1054000 | #Constraints: 91090 1775.88/1780.54 c #Conflicts: 1055000 | #Constraints: 92090 1775.88/1780.54 c #Conflicts: 1056000 | #Constraints: 93090 1775.88/1780.54 c #Conflicts: 1057000 | #Constraints: 94090 1775.88/1780.54 c #Conflicts: 1058000 | #Constraints: 95090 1775.88/1780.54 c #Conflicts: 1059000 | #Constraints: 96090 1775.88/1780.54 c #Conflicts: 1060000 | #Constraints: 97090 1775.88/1780.54 c #Conflicts: 1061000 | #Constraints: 98090 1775.88/1780.54 c #Conflicts: 1062000 | #Constraints: 99090 1775.88/1780.54 c #Conflicts: 1063000 | #Constraints: 100090 1775.88/1780.54 c #Conflicts: 1064000 | #Constraints: 101090 1775.88/1780.54 c #Conflicts: 1065000 | #Constraints: 102090 1775.88/1780.54 c #Conflicts: 1066000 | #Constraints: 103090 1775.88/1780.54 c #Conflicts: 1067000 | #Constraints: 104090 1775.88/1780.54 c #Conflicts: 1068000 | #Constraints: 105090 1775.88/1780.54 c #Conflicts: 1069000 | #Constraints: 106090 1775.88/1780.54 c #Conflicts: 1070000 | #Constraints: 107090 1775.88/1780.54 c #Conflicts: 1071000 | #Constraints: 108090 1775.88/1780.54 c #Conflicts: 1072000 | #Constraints: 109090 1775.88/1780.54 c #Conflicts: 1073000 | #Constraints: 110090 1775.88/1780.54 c INPROCESSING 1775.88/1780.54 c GARBAGE COLLECT 1775.88/1780.54 c rational objective 107 1825.93/1830.77 c #Conflicts: 1074000 | #Constraints: 60398 1825.93/1830.77 c #Conflicts: 1075000 | #Constraints: 61398 1825.93/1830.77 c #Conflicts: 1076000 | #Constraints: 62398 1825.93/1830.77 c #Conflicts: 1077000 | #Constraints: 63398 1825.93/1830.77 c #Conflicts: 1078000 | #Constraints: 64398 1825.93/1830.77 c #Conflicts: 1079000 | #Constraints: 65398 1825.93/1830.77 c #Conflicts: 1080000 | #Constraints: 66398 1825.93/1830.77 c #Conflicts: 1081000 | #Constraints: 67399 1825.93/1830.77 c #Conflicts: 1082000 | #Constraints: 68399 1825.93/1830.77 c #Conflicts: 1083000 | #Constraints: 69399 1825.93/1830.77 c #Conflicts: 1084000 | #Constraints: 70400 1825.93/1830.77 c #Conflicts: 1085000 | #Constraints: 71401 1825.93/1830.77 c #Conflicts: 1086000 | #Constraints: 72401 1825.93/1830.77 c #Conflicts: 1087000 | #Constraints: 73401 1825.93/1830.77 c #Conflicts: 1088000 | #Constraints: 74401 1825.93/1830.77 c #Conflicts: 1089000 | #Constraints: 75401 1825.93/1830.77 c #Conflicts: 1090000 | #Constraints: 76401 1825.93/1830.77 c #Conflicts: 1091000 | #Constraints: 77401 1825.93/1830.77 c #Conflicts: 1092000 | #Constraints: 78401 1825.93/1830.77 c #Conflicts: 1093000 | #Constraints: 79401 1825.93/1830.77 c #Conflicts: 1094000 | #Constraints: 80401 1825.93/1830.77 c #Conflicts: 1095000 | #Constraints: 81401 1825.93/1830.77 c #Conflicts: 1096000 | #Constraints: 82401 1825.93/1830.77 c #Conflicts: 1097000 | #Constraints: 83401 1825.93/1830.77 c INPROCESSING 1825.93/1830.77 c GARBAGE COLLECT 1825.93/1830.77 c rational objective 107 1904.40/1909.47 c #Conflicts: 1098000 | #Constraints: 46833 1904.40/1909.47 c #Conflicts: 1099000 | #Constraints: 47833 1904.40/1909.47 c #Conflicts: 1100000 | #Constraints: 48833 1904.40/1909.47 c #Conflicts: 1101000 | #Constraints: 49833 1904.40/1909.47 c #Conflicts: 1102000 | #Constraints: 50833 1904.40/1909.47 c #Conflicts: 1103000 | #Constraints: 51833 1904.40/1909.47 c #Conflicts: 1104000 | #Constraints: 52833 1904.40/1909.47 c #Conflicts: 1105000 | #Constraints: 53833 1904.40/1909.47 c #Conflicts: 1106000 | #Constraints: 54833 1904.40/1909.47 c #Conflicts: 1107000 | #Constraints: 55833 1904.40/1909.47 c #Conflicts: 1108000 | #Constraints: 56833 1904.40/1909.47 c #Conflicts: 1109000 | #Constraints: 57833 1904.40/1909.47 c #Conflicts: 1110000 | #Constraints: 58833 1904.40/1909.47 c #Conflicts: 1111000 | #Constraints: 59833 1904.40/1909.47 c #Conflicts: 1112000 | #Constraints: 60833 1904.40/1909.47 c #Conflicts: 1113000 | #Constraints: 61834 1904.40/1909.47 c #Conflicts: 1114000 | #Constraints: 62834 1904.40/1909.47 c #Conflicts: 1115000 | #Constraints: 63835 1904.40/1909.47 c #Conflicts: 1116000 | #Constraints: 64835 1904.40/1909.47 c #Conflicts: 1117000 | #Constraints: 65835 1904.40/1909.47 c #Conflicts: 1118000 | #Constraints: 66835 1904.40/1909.47 c #Conflicts: 1119000 | #Constraints: 67835 1904.40/1909.47 c #Conflicts: 1120000 | #Constraints: 68835 1904.40/1909.47 c #Conflicts: 1121000 | #Constraints: 69835 1904.40/1909.47 c #Conflicts: 1122000 | #Constraints: 70835 1904.40/1909.47 c INPROCESSING 1904.40/1909.47 c GARBAGE COLLECT 1904.40/1909.47 c rational objective 107 1937.91/1943.09 c #Conflicts: 1123000 | #Constraints: 40846 1937.91/1943.09 c #Conflicts: 1124000 | #Constraints: 41846 1937.91/1943.09 c #Conflicts: 1125000 | #Constraints: 42846 1937.91/1943.09 c #Conflicts: 1126000 | #Constraints: 43846 1937.91/1943.09 c #Conflicts: 1127000 | #Constraints: 44846 1937.91/1943.09 c #Conflicts: 1128000 | #Constraints: 45846 1937.91/1943.09 c #Conflicts: 1129000 | #Constraints: 46846 1937.91/1943.09 c #Conflicts: 1130000 | #Constraints: 47846 1937.91/1943.09 c #Conflicts: 1131000 | #Constraints: 48846 1937.91/1943.09 c #Conflicts: 1132000 | #Constraints: 49847 1937.91/1943.09 c #Conflicts: 1133000 | #Constraints: 50848 1937.91/1943.09 c #Conflicts: 1134000 | #Constraints: 51848 1937.91/1943.09 c #Conflicts: 1135000 | #Constraints: 52848 1937.91/1943.09 c #Conflicts: 1136000 | #Constraints: 53848 1937.91/1943.09 c #Conflicts: 1137000 | #Constraints: 54848 1937.91/1943.09 c #Conflicts: 1138000 | #Constraints: 55848 1937.91/1943.09 c #Conflicts: 1139000 | #Constraints: 56848 1937.91/1943.09 c #Conflicts: 1140000 | #Constraints: 57848 1937.91/1943.09 c #Conflicts: 1141000 | #Constraints: 58848 1937.91/1943.09 c #Conflicts: 1142000 | #Constraints: 59848 1937.91/1943.09 c #Conflicts: 1143000 | #Constraints: 60848 1937.91/1943.09 c #Conflicts: 1144000 | #Constraints: 61848 1937.91/1943.09 c #Conflicts: 1145000 | #Constraints: 62848 1937.91/1943.09 c #Conflicts: 1146000 | #Constraints: 63848 1937.91/1943.09 c INPROCESSING 1937.91/1943.09 c GARBAGE COLLECT 1937.91/1943.09 c rational objective 107 2076.59/2082.17 c #Conflicts: 1147000 | #Constraints: 36897 2076.59/2082.17 c #Conflicts: 1148000 | #Constraints: 37897 2076.59/2082.17 c #Conflicts: 1149000 | #Constraints: 38897 2076.59/2082.17 c #Conflicts: 1150000 | #Constraints: 39897 2076.59/2082.17 c #Conflicts: 1151000 | #Constraints: 40897 2076.59/2082.17 c #Conflicts: 1152000 | #Constraints: 41897 2076.59/2082.17 c #Conflicts: 1153000 | #Constraints: 42897 2076.59/2082.17 c #Conflicts: 1154000 | #Constraints: 43897 2076.59/2082.17 c #Conflicts: 1155000 | #Constraints: 44897 2076.59/2082.17 c #Conflicts: 1156000 | #Constraints: 45897 2076.59/2082.17 c #Conflicts: 1157000 | #Constraints: 46898 2076.59/2082.17 c #Conflicts: 1158000 | #Constraints: 47898 2076.59/2082.17 c #Conflicts: 1159000 | #Constraints: 48898 2076.59/2082.17 c #Conflicts: 1160000 | #Constraints: 49898 2076.59/2082.17 c #Conflicts: 1161000 | #Constraints: 50898 2076.59/2082.17 c #Conflicts: 1162000 | #Constraints: 51898 2076.59/2082.17 c #Conflicts: 1163000 | #Constraints: 52898 2076.59/2082.17 c #Conflicts: 1164000 | #Constraints: 53898 2076.59/2082.17 c #Conflicts: 1165000 | #Constraints: 54898 2076.59/2082.17 c #Conflicts: 1166000 | #Constraints: 55898 2076.59/2082.17 c #Conflicts: 1167000 | #Constraints: 56898 2076.59/2082.17 c #Conflicts: 1168000 | #Constraints: 57898 2076.59/2082.17 c #Conflicts: 1169000 | #Constraints: 58898 2076.59/2082.17 c #Conflicts: 1170000 | #Constraints: 59898 2076.59/2082.17 c #Conflicts: 1171000 | #Constraints: 60898 2076.59/2082.17 c #Conflicts: 1172000 | #Constraints: 61898 2076.59/2082.17 c #Conflicts: 1173000 | #Constraints: 62898 2076.59/2082.17 c #Conflicts: 1174000 | #Constraints: 63898 2076.59/2082.17 c #Conflicts: 1175000 | #Constraints: 64898 2076.59/2082.17 c #Conflicts: 1176000 | #Constraints: 65898 2076.59/2082.17 c #Conflicts: 1177000 | #Constraints: 66898 2076.59/2082.17 c #Conflicts: 1178000 | #Constraints: 67898 2076.59/2082.17 c #Conflicts: 1179000 | #Constraints: 68898 2076.59/2082.17 c #Conflicts: 1180000 | #Constraints: 69898 2076.59/2082.17 c #Conflicts: 1181000 | #Constraints: 70899 2076.59/2082.17 c #Conflicts: 1182000 | #Constraints: 71899 2076.59/2082.17 c #Conflicts: 1183000 | #Constraints: 72899 2076.59/2082.17 c #Conflicts: 1184000 | #Constraints: 73900 2076.59/2082.17 c #Conflicts: 1185000 | #Constraints: 74900 2076.59/2082.17 c #Conflicts: 1186000 | #Constraints: 75900 2076.59/2082.17 c #Conflicts: 1187000 | #Constraints: 76900 2076.59/2082.17 c #Conflicts: 1188000 | #Constraints: 77900 2076.59/2082.17 c #Conflicts: 1189000 | #Constraints: 78900 2076.59/2082.17 c #Conflicts: 1190000 | #Constraints: 79900 2076.59/2082.17 c #Conflicts: 1191000 | #Constraints: 80900 2076.59/2082.17 c #Conflicts: 1192000 | #Constraints: 81900 2076.59/2082.17 c #Conflicts: 1193000 | #Constraints: 82900 2076.59/2082.17 c #Conflicts: 1194000 | #Constraints: 83900 2076.59/2082.17 c #Conflicts: 1195000 | #Constraints: 84900 2076.59/2082.17 c #Conflicts: 1196000 | #Constraints: 85901 2076.59/2082.17 c #Conflicts: 1197000 | #Constraints: 86901 2076.59/2082.17 c #Conflicts: 1198000 | #Constraints: 87901 2076.59/2082.17 c #Conflicts: 1199000 | #Constraints: 88901 2076.59/2082.17 c #Conflicts: 1200000 | #Constraints: 89901 2076.59/2082.17 c #Conflicts: 1201000 | #Constraints: 90902 2076.59/2082.17 c #Conflicts: 1202000 | #Constraints: 91902 2076.59/2082.17 c #Conflicts: 1203000 | #Constraints: 92902 2076.59/2082.17 c #Conflicts: 1204000 | #Constraints: 93902 2076.59/2082.17 c #Conflicts: 1205000 | #Constraints: 94902 2076.59/2082.17 c #Conflicts: 1206000 | #Constraints: 95902 2076.59/2082.17 c #Conflicts: 1207000 | #Constraints: 96902 2076.59/2082.17 c #Conflicts: 1208000 | #Constraints: 97902 2076.59/2082.17 c #Conflicts: 1209000 | #Constraints: 98902 2076.59/2082.17 c #Conflicts: 1210000 | #Constraints: 99902 2076.59/2082.17 c #Conflicts: 1211000 | #Constraints: 100902 2076.59/2082.17 c #Conflicts: 1212000 | #Constraints: 101902 2076.59/2082.17 c #Conflicts: 1213000 | #Constraints: 102902 2076.59/2082.17 c #Conflicts: 1214000 | #Constraints: 103902 2076.59/2082.17 c cpu time 2051.86 s 2076.59/2082.17 c deterministic time 221266276954 2.21e+11 2076.59/2082.17 c optimization time 0.000107 s 2076.59/2082.17 c total solve time 2051.83 s 2076.59/2082.17 c core-guided solve time 0 s 2076.59/2082.17 c propagation time 1313.21 s 2076.59/2082.17 c conflict analysis time 408.635 s 2076.59/2082.17 c propagations 472314617 2076.59/2082.17 c resolve steps 38862996 2076.59/2082.17 c decisions 11249458 2076.59/2082.17 c conflicts 1214809 2076.59/2082.17 c restarts 2300 2076.59/2082.17 c inprocessing phases 61 2076.59/2082.17 c input clauses 7385 2076.59/2082.17 c input cardinalities 107 2076.59/2082.17 c input general constraints 0 2076.59/2082.17 c input average constraint length 6.24 2076.59/2082.17 c input average constraint degree 1.94 2076.59/2082.17 c learned clauses 811440 2076.59/2082.17 c learned cardinalities 30729 2076.59/2082.17 c learned general constraints 372870 2076.59/2082.17 c learned average constraint length 828.19 2076.59/2082.17 c learned average constraint degree 82338156.04 2076.59/2082.17 c watched constraints 303433 2076.59/2082.17 c counting constraints 69437 2076.59/2082.17 c gcd simplifications 3666 2076.59/2082.17 c detected cardinalities 2664 2076.59/2082.17 c weakened non-implied lits 167573622 2076.59/2082.17 c weakened non-implying lits 335174 2076.59/2082.17 c original variables 7276 2076.59/2082.17 c clausal propagations 173762483 2076.59/2082.17 c cardinality propagations 173643484 2076.59/2082.17 c watched propagations 33334199 2076.59/2082.17 c counting propagations 86917909 2076.59/2082.17 c watch lookups 14772515125 2076.59/2082.17 c watch backjump lookups 11729286688 2076.59/2082.17 c watch checks 156255355088 2076.59/2082.17 c propagation checks 34616277632 2076.59/2082.17 c constraint additions 2922818663 2076.59/2082.17 c trail pops 484778326 2076.59/2082.17 c formula constraints 7492 2076.59/2082.17 c learned constraints 1214684 2076.59/2082.17 c bound constraints 0 2076.59/2082.17 c core-guided constraints 0 2076.59/2082.17 c encountered formula constraints 22149530 2076.59/2082.17 c encountered learned constraints 17925646 2076.59/2082.17 c encountered bound constraints 0 2076.59/2082.17 c encountered core-guided constraints 0 2076.59/2082.17 c LP total time 661.086 s 2076.59/2082.17 c LP solve time 617.31 s 2076.59/2082.17 c LP constraints added 10938 2076.59/2082.17 c LP constraints removed 3397 2076.59/2082.17 c LP pivots internal 1221985 2076.59/2082.17 c LP pivots root 459371 2076.59/2082.17 c LP calls 328 2076.59/2082.17 c LP optimalities 147 2076.59/2082.17 c LP no pivot count 2 2076.59/2082.17 c LP infeasibilities 175 2076.59/2082.17 c LP valid Farkas constraints 173 2076.59/2082.17 c LP learned Farkas constraints 125 2076.59/2082.17 c LP basis resets 2 2076.59/2082.17 c LP cycling count 0 2076.59/2082.17 c LP singular count 0 2076.59/2082.17 c LP no primal count 0 2076.59/2082.17 c LP no farkas count 2 2076.59/2082.17 c LP other issue count 0 2076.59/2082.17 c LP Gomory cuts 57 2076.59/2082.17 c LP learned cuts 3389 2076.59/2082.17 c LP deleted cuts 3397 2076.59/2082.17 c LP encountered Gomory constraints 136 2076.59/2082.17 c LP encountered Farkas constraints 1778 2076.59/2082.17 c LP encountered learned Farkas constraints 590 2076.59/2082.17 c CG auxiliary variables introduced 0 2076.59/2082.17 c CG solutions found 0 2076.59/2082.17 c CG cores constructed 0 2076.59/2082.17 c CG core cardinality constraints returned 0 2076.59/2082.17 c CG unit cores 0 2076.59/2082.17 c CG single cores 0 2076.59/2082.17 c CG blocks removed during cardinality reduction 0 2076.59/2082.17 c CG first core best 0 2076.59/2082.17 c CG decision core best 0 2076.59/2082.17 c CG core reduction tie 0 2076.59/2082.17 c CG core degree average 0.00 2076.59/2082.17 c CG core slack average 0.00 2076.59/2082.17 s SATISFIABLE 2076.59/2082.17 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: 63931 MiB (61307 MiB free)
memory of node 1: 64510 MiB (59881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455620-1721464855/watcher-4455620-1721464855 -o /tmp/evaluation-result-4455620-1721464855/solver-4455620-1721464855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721458286-1023147 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455620-1721464855.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=1028235, runsolver pid=1028232
[startup+0.1003 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124084632/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=49828 memory=18868 CPUtime=0.09 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 3983 0 0 0 8 1 0 0 20 0 1 0 198646047 51023872 4717 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 12457 4717 1679 922 0 4409 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49828 KiB
Current children cumulated memory: 18868 KiB
[startup+0.205835 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124083624/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=50924 memory=19924 CPUtime=0.2 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 4249 0 0 0 19 1 0 0 20 0 1 0 198646047 52146176 4981 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 12731 4981 1679 922 0 4683 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50924 KiB
Current children cumulated memory: 19924 KiB
[startup+0.30577 s]*
/proc/loadavg: 4.14 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124083572/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=50924 memory=19924 CPUtime=0.3 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 4258 0 0 0 28 2 0 0 20 0 1 0 198646047 52146176 4981 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 12731 4981 1679 922 0 4683 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50924 KiB
Current children cumulated memory: 19924 KiB
[startup+0.70023 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124083432/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=50924 memory=20188 CPUtime=0.69 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 4279 0 0 0 67 2 0 0 20 0 1 0 198646047 52146176 5047 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 12731 5047 1679 922 0 4683 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50924 KiB
Current children cumulated memory: 20188 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124080320/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=52588 memory=24780 CPUtime=1.48 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 4867 0 0 0 139 9 0 0 20 0 1 0 198646047 53850112 6195 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 13147 6195 1725 922 0 5099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 24780 KiB
[startup+3.10562 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1028236
/proc/meminfo: memFree=124077492/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=54204 memory=26620 CPUtime=3.09 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 5341 0 0 0 298 11 0 0 20 0 1 0 198646047 55504896 6655 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 13551 6655 1725 922 0 5503 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 54204 KiB
Current children cumulated memory: 26620 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1028238
/proc/meminfo: memFree=124046620/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=54492 memory=27148 CPUtime=6.27 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 5461 0 0 0 611 16 0 0 20 0 1 0 198646047 55799808 6787 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 13623 6787 1725 922 0 5575 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54492 KiB
Current children cumulated memory: 27148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1028239
/proc/meminfo: memFree=124042960/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=59580 memory=30860 CPUtime=12.66 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 6344 0 0 0 1234 32 0 0 20 0 1 0 198646047 61009920 7715 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 14895 7715 1803 922 0 6847 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59580 KiB
Current children cumulated memory: 30860 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1028240
/proc/meminfo: memFree=123987916/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=81740 memory=51228 CPUtime=25.43 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 11672 0 0 0 2483 60 0 0 20 0 1 0 198646047 83701760 12807 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 20435 12807 1803 922 0 12387 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 81740 KiB
Current children cumulated memory: 51228 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 1028245
/proc/meminfo: memFree=123950000/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=84540 memory=57496 CPUtime=50.98 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 12746 0 0 0 4991 107 0 0 20 0 1 0 198646047 86568960 14374 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 21135 14374 1803 922 0 13087 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 84540 KiB
Current children cumulated memory: 57496 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1028253
/proc/meminfo: memFree=123893732/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=168884 memory=113980 CPUtime=102.04 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 19212 0 0 0 9993 211 0 0 20 0 1 0 198646047 172937216 28495 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 42221 28495 1819 922 0 34173 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 168884 KiB
Current children cumulated memory: 113980 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1028263
/proc/meminfo: memFree=123805012/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=186932 memory=159124 CPUtime=161.91 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 23916 0 0 0 15909 282 0 0 20 0 1 0 198646047 191418368 39781 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 46733 39781 1819 922 0 38685 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 186932 KiB
Current children cumulated memory: 159124 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1028275
/proc/meminfo: memFree=123801868/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=191288 memory=163200 CPUtime=221.77 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 24980 0 0 0 21774 403 0 0 20 0 1 0 198646047 195878912 40800 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 47822 40800 1819 922 0 39774 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 191288 KiB
Current children cumulated memory: 163200 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/255 1028286
/proc/meminfo: memFree=123687788/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=337036 memory=258588 CPUtime=281.62 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 30001 0 0 0 27663 499 0 0 20 0 1 0 198646047 345124864 64647 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 84259 64647 1819 922 0 76211 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 337036 KiB
Current children cumulated memory: 258588 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.14 4.10 5/254 1028296
/proc/meminfo: memFree=123681136/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=340176 memory=260732 CPUtime=341.48 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 30858 0 0 0 33570 578 0 0 20 0 1 0 198646047 348340224 65183 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 85044 65183 1819 922 0 76996 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 340176 KiB
Current children cumulated memory: 260732 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 1028307
/proc/meminfo: memFree=123662292/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=342236 memory=262708 CPUtime=401.34 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 31386 0 0 0 39460 674 0 0 20 0 1 0 198646047 350449664 65677 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 85559 65677 1819 922 0 77511 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 342236 KiB
Current children cumulated memory: 262708 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1028317
/proc/meminfo: memFree=123651560/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=345472 memory=266324 CPUtime=461.19 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 32722 0 0 0 45391 728 0 0 20 0 1 0 198646047 353763328 66581 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 86368 66581 1819 922 0 78320 0
################
# More data... #
################
/proc/loadavg: 4.14 4.12 4.09 5/254 1029342
/proc/meminfo: memFree=122353736/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=754868 memory=548896 CPUtime=1717.86 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 53610 0 0 0 169620 2166 0 0 20 0 1 0 198646047 772984832 137224 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 188717 137224 1939 922 0 180669 0
Current children cumulated CPU time: 1717.86 s
Current children cumulated vsize: 754868 KiB
Current children cumulated memory: 548896 KiB
[startup+1782.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1029358
/proc/meminfo: memFree=121591260/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765220 memory=671688 CPUtime=1777.68 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 56229 0 0 0 175566 2202 0 0 20 0 1 0 198646047 783585280 167922 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191305 167922 1939 922 0 183257 0
Current children cumulated CPU time: 1777.68 s
Current children cumulated vsize: 765220 KiB
Current children cumulated memory: 671688 KiB
[startup+1842.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1029369
/proc/meminfo: memFree=121286000/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=760316 memory=666424 CPUtime=1837.49 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 57007 0 0 0 181493 2256 0 0 20 0 1 0 198646047 778563584 166606 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 190079 166606 1939 922 0 182031 0
Current children cumulated CPU time: 1837.49 s
Current children cumulated vsize: 760316 KiB
Current children cumulated memory: 666424 KiB
[startup+1902.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1029380
/proc/meminfo: memFree=121123320/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=761000 memory=667440 CPUtime=1897.32 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 57401 0 0 0 187439 2293 0 0 20 0 1 0 198646047 779264000 166860 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 190250 166860 1939 922 0 182202 0
Current children cumulated CPU time: 1897.32 s
Current children cumulated vsize: 761000 KiB
Current children cumulated memory: 667440 KiB
[startup+1962.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1029390
/proc/meminfo: memFree=120916440/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=761588 memory=667868 CPUtime=1957.15 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 58822 0 0 0 193333 2382 0 0 20 0 1 0 198646047 779866112 166967 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 190397 166967 1939 922 0 182349 0
Current children cumulated CPU time: 1957.15 s
Current children cumulated vsize: 761588 KiB
Current children cumulated memory: 667868 KiB
[startup+2022.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 1029402
/proc/meminfo: memFree=120421540/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=762188 memory=668436 CPUtime=2016.96 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 59144 0 0 0 199256 2440 0 0 20 0 1 0 198646047 780480512 167109 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 190547 167109 1939 922 0 182499 0
Current children cumulated CPU time: 2016.96 s
Current children cumulated vsize: 762188 KiB
Current children cumulated memory: 668436 KiB
[startup+2082.18 s]
# the end of solver process 1028235 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2051.86 s, system=24.812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2048 s]*
/proc/loadavg: 4.06 4.08 4.09 5/258 1029407
/proc/meminfo: memFree=120173136/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=762876 memory=669184 CPUtime=2042.58 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 59379 0 0 0 201798 2460 0 0 20 0 1 0 198646047 781185024 167296 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 190719 167296 1939 922 0 182671 0
Current children cumulated CPU time: 2042.58 s
Current children cumulated vsize: 762876 KiB
Current children cumulated memory: 669184 KiB
[startup+2060.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 1029408
/proc/meminfo: memFree=120113116/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=764336 memory=670020 CPUtime=2055.34 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 59671 0 0 0 203066 2468 0 0 20 0 1 0 198646047 782680064 167505 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191084 167505 1939 922 0 183036 0
Current children cumulated CPU time: 2055.34 s
Current children cumulated vsize: 764336 KiB
Current children cumulated memory: 670020 KiB
[startup+2073.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1029411
/proc/meminfo: memFree=120110368/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671384 CPUtime=2068.1 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60041 0 0 0 204335 2475 0 0 20 0 1 0 198646047 784187392 167846 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167846 1939 922 0 183404 0
Current children cumulated CPU time: 2068.1 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671384 KiB
[startup+2076.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120109908/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671384 CPUtime=2071.29 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60042 0 0 0 204652 2477 0 0 20 0 1 0 198646047 784187392 167846 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167846 1939 922 0 183404 0
Current children cumulated CPU time: 2071.29 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671384 KiB
[startup+2080 s]*
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120103244/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671384 CPUtime=2074.49 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60074 0 0 0 204970 2479 0 0 20 0 1 0 198646047 784187392 167846 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167846 1939 922 0 183404 0
Current children cumulated CPU time: 2074.49 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671384 KiB
[startup+2080.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120103244/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671648 CPUtime=2075.28 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60088 0 0 0 205049 2479 0 0 20 0 1 0 198646047 784187392 167912 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167912 1939 922 0 183404 0
Current children cumulated CPU time: 2075.28 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671648 KiB
[startup+2081.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120103124/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671648 CPUtime=2076.08 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60088 0 0 0 205128 2480 0 0 20 0 1 0 198646047 784187392 167912 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167912 1939 922 0 183404 0
Current children cumulated CPU time: 2076.08 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671648 KiB
[startup+2082 s]*
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120103048/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671648 CPUtime=2076.49 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60103 0 0 0 205169 2480 0 0 20 0 1 0 198646047 784187392 167912 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167912 1939 922 0 183404 0
Current children cumulated CPU time: 2076.49 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671648 KiB
[startup+2082.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1029412
/proc/meminfo: memFree=120103048/131524600 swapFree=131071996/131071996
[pid=1028235] ppid=1028232 vsize=765808 memory=671648 CPUtime=2076.59 cores=4,6
/proc/1028235/stat : 1028235 (roundingsat) R 1028232 1028235 1023136 0 -1 4194304 60105 0 0 0 205179 2480 0 0 20 0 1 0 198646047 784187392 167912 134679101440 4194304 7968373 140729777693536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18194432 140729777697724 140729777697888 140729777697888 140729777704905 0
/proc/1028235/statm: 191452 167912 1939 922 0 183404 0
Current children cumulated CPU time: 2076.59 s
Current children cumulated vsize: 765808 KiB
Current children cumulated memory: 671648 KiB
Child status: 0
Real time (s): 2082.18
CPU time (s): 2076.67
CPU user time (s): 2051.86
CPU system time (s): 24.812
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 766576
Max. memory (cumulated for all children) (KiB): 673092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2051.86
system time used= 24.812
maximum resident set size= 673092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 1028235
# total CPU time (s): 2076.67
# total CPU user time (s): 2051.86
# total CPU system time (s): 24.812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71874 second user time and 7.90967 second system time
The end
Begin job on nodeC016 at 2024-07-20 10:41:06 IDJOB=4455620 IDBENCH=158360 IDSOLVER=3084 FILE ID=nodeC016/4455620-1721464855 RUNJOBID= nodeC016-1721458286-1023147 SLURM_JOB_ID= 7545701 Free space on /tmp= 890028 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455620-1721464855/watcher-4455620-1721464855 -o /tmp/evaluation-result-4455620-1721464855/solver-4455620-1721464855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721458286-1023147 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455620-1721464855.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99 RANDOM SEED=1543800218 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.170 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.155 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.607 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.097 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.431 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.246 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.081 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.809 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124097580 kB MemAvailable: 128004024 kB Buffers: 437880 kB Cached: 4309188 kB SwapCached: 0 kB Active: 758168 kB Inactive: 6042088 kB Active(anon): 1552 kB Inactive(anon): 2097540 kB Active(file): 756616 kB Inactive(file): 3944548 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5848 kB Writeback: 20 kB AnonPages: 2046772 kB Mapped: 117660 kB Shmem: 45912 kB KReclaimable: 89852 kB Slab: 202052 kB SReclaimable: 89852 kB SUnreclaim: 112200 kB KernelStack: 4128 kB PageTables: 13616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2795948 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74144 kB HardwareCorrupted: 0 kB AnonHugePages: 1587200 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: 207572 kB DirectMap2M: 13197312 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-20 11:15:49