| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (1) | SAT | 1985.21 | 1990.25 |
| 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.25/16.30 c #Conflicts: 1000 | #Constraints: 8491 16.25/16.30 c #Conflicts: 2000 | #Constraints: 9491 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c #Conflicts: 3000 | #Constraints: 9185 16.25/16.30 c #Conflicts: 4000 | #Constraints: 10185 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c #Conflicts: 5000 | #Constraints: 9658 16.25/16.30 c #Conflicts: 6000 | #Constraints: 10658 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c #Conflicts: 7000 | #Constraints: 9714 16.25/16.30 c #Conflicts: 8000 | #Constraints: 10714 16.25/16.30 c #Conflicts: 9000 | #Constraints: 11714 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c rational objective 107 53.55/53.74 c #Conflicts: 10000 | #Constraints: 10486 53.55/53.74 c #Conflicts: 11000 | #Constraints: 11486 53.55/53.74 c #Conflicts: 12000 | #Constraints: 12486 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 13000 | #Constraints: 10979 53.55/53.74 c #Conflicts: 14000 | #Constraints: 11979 53.55/53.74 c #Conflicts: 15000 | #Constraints: 12979 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 16000 | #Constraints: 11265 53.55/53.74 c #Conflicts: 17000 | #Constraints: 12265 53.55/53.74 c #Conflicts: 18000 | #Constraints: 13265 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 19000 | #Constraints: 11295 53.55/53.74 c #Conflicts: 20000 | #Constraints: 12295 53.55/53.74 c #Conflicts: 21000 | #Constraints: 13295 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 22000 | #Constraints: 11113 53.55/53.74 c #Conflicts: 23000 | #Constraints: 12113 53.55/53.74 c #Conflicts: 24000 | #Constraints: 13114 53.55/53.74 c #Conflicts: 25000 | #Constraints: 14114 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 26000 | #Constraints: 11727 53.55/53.74 c #Conflicts: 27000 | #Constraints: 12727 53.55/53.74 c #Conflicts: 28000 | #Constraints: 13727 53.55/53.74 c #Conflicts: 29000 | #Constraints: 14727 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c #Conflicts: 30000 | #Constraints: 12110 53.55/53.74 c #Conflicts: 31000 | #Constraints: 13110 53.55/53.74 c #Conflicts: 32000 | #Constraints: 14110 53.55/53.74 c #Conflicts: 33000 | #Constraints: 15110 53.55/53.74 c #Conflicts: 34000 | #Constraints: 16110 53.55/53.74 c #Conflicts: 35000 | #Constraints: 17110 53.55/53.74 c #Conflicts: 36000 | #Constraints: 18110 53.55/53.74 c #Conflicts: 37000 | #Constraints: 19110 53.55/53.74 c #Conflicts: 38000 | #Constraints: 20110 53.55/53.74 c #Conflicts: 39000 | #Constraints: 21110 53.55/53.74 c #Conflicts: 40000 | #Constraints: 22110 53.55/53.74 c #Conflicts: 41000 | #Constraints: 23110 53.55/53.74 c #Conflicts: 42000 | #Constraints: 24110 53.55/53.74 c INPROCESSING 53.55/53.74 c GARBAGE COLLECT 53.55/53.74 c rational objective 107 60.34/60.58 c #Conflicts: 43000 | #Constraints: 16491 60.34/60.58 c #Conflicts: 44000 | #Constraints: 17491 60.34/60.58 c #Conflicts: 45000 | #Constraints: 18491 60.34/60.58 c #Conflicts: 46000 | #Constraints: 19491 60.34/60.58 c #Conflicts: 47000 | #Constraints: 20491 60.34/60.58 c #Conflicts: 48000 | #Constraints: 21491 60.34/60.58 c INPROCESSING 60.34/60.58 c GARBAGE COLLECT 60.34/60.58 c rational objective 107 68.52/68.72 c #Conflicts: 49000 | #Constraints: 15640 68.52/68.72 c #Conflicts: 50000 | #Constraints: 16640 68.52/68.72 c #Conflicts: 51000 | #Constraints: 17640 68.52/68.72 c #Conflicts: 52000 | #Constraints: 18640 68.52/68.72 c #Conflicts: 53000 | #Constraints: 19640 68.52/68.72 c INPROCESSING 68.52/68.72 c GARBAGE COLLECT 68.52/68.72 c rational objective 107 75.30/75.55 c #Conflicts: 54000 | #Constraints: 14557 75.30/75.55 c #Conflicts: 55000 | #Constraints: 15557 75.30/75.55 c #Conflicts: 56000 | #Constraints: 16557 75.30/75.55 c #Conflicts: 57000 | #Constraints: 17557 75.30/75.55 c #Conflicts: 58000 | #Constraints: 18557 75.30/75.55 c INPROCESSING 75.30/75.55 c GARBAGE COLLECT 75.30/75.55 c rational objective 107 83.48/83.71 c #Conflicts: 59000 | #Constraints: 13777 83.48/83.71 c #Conflicts: 60000 | #Constraints: 14777 83.48/83.71 c #Conflicts: 61000 | #Constraints: 15777 83.48/83.71 c #Conflicts: 62000 | #Constraints: 16777 83.48/83.71 c #Conflicts: 63000 | #Constraints: 17777 83.48/83.71 c #Conflicts: 64000 | #Constraints: 18777 83.48/83.71 c INPROCESSING 83.48/83.71 c GARBAGE COLLECT 83.48/83.71 c rational objective 107 102.04/102.32 c #Conflicts: 65000 | #Constraints: 14003 102.04/102.32 c #Conflicts: 66000 | #Constraints: 15003 102.04/102.32 c #Conflicts: 67000 | #Constraints: 16003 102.04/102.32 c #Conflicts: 68000 | #Constraints: 17003 102.04/102.32 c #Conflicts: 69000 | #Constraints: 18003 102.04/102.32 c #Conflicts: 70000 | #Constraints: 19003 102.04/102.32 c #Conflicts: 71000 | #Constraints: 20003 102.04/102.32 c #Conflicts: 72000 | #Constraints: 21003 102.04/102.32 c #Conflicts: 73000 | #Constraints: 22003 102.04/102.32 c #Conflicts: 74000 | #Constraints: 23004 102.04/102.32 c #Conflicts: 75000 | #Constraints: 24004 102.04/102.32 c #Conflicts: 76000 | #Constraints: 25004 102.04/102.32 c #Conflicts: 77000 | #Constraints: 26004 102.04/102.32 c #Conflicts: 78000 | #Constraints: 27004 102.04/102.32 c #Conflicts: 79000 | #Constraints: 28004 102.04/102.32 c #Conflicts: 80000 | #Constraints: 29004 102.04/102.32 c #Conflicts: 81000 | #Constraints: 30005 102.04/102.32 c #Conflicts: 82000 | #Constraints: 31005 102.04/102.32 c #Conflicts: 83000 | #Constraints: 32006 102.04/102.32 c #Conflicts: 84000 | #Constraints: 33006 102.04/102.32 c INPROCESSING 102.04/102.32 c GARBAGE COLLECT 102.04/102.32 c rational objective 107 112.41/112.72 c #Conflicts: 85000 | #Constraints: 21051 112.41/112.72 c #Conflicts: 86000 | #Constraints: 22052 112.41/112.72 c #Conflicts: 87000 | #Constraints: 23055 112.41/112.72 c #Conflicts: 88000 | #Constraints: 24058 112.41/112.72 c #Conflicts: 89000 | #Constraints: 25065 112.41/112.72 c #Conflicts: 90000 | #Constraints: 26069 112.41/112.72 c #Conflicts: 91000 | #Constraints: 27069 112.41/112.72 c INPROCESSING 112.41/112.72 c GARBAGE COLLECT 112.41/112.72 c rational objective 107 140.54/140.91 c #Conflicts: 92000 | #Constraints: 18072 140.54/140.91 c #Conflicts: 93000 | #Constraints: 19072 140.54/140.91 c #Conflicts: 94000 | #Constraints: 20073 140.54/140.91 c #Conflicts: 95000 | #Constraints: 21073 140.54/140.91 c #Conflicts: 96000 | #Constraints: 22073 140.54/140.91 c #Conflicts: 97000 | #Constraints: 23073 140.54/140.91 c #Conflicts: 98000 | #Constraints: 24073 140.54/140.91 c #Conflicts: 99000 | #Constraints: 25073 140.54/140.91 c INPROCESSING 140.54/140.91 c GARBAGE COLLECT 140.54/140.91 c rational objective 107 158.51/158.91 c #Conflicts: 100000 | #Constraints: 17468 158.51/158.91 c #Conflicts: 101000 | #Constraints: 18468 158.51/158.91 c #Conflicts: 102000 | #Constraints: 19468 158.51/158.91 c #Conflicts: 103000 | #Constraints: 20468 158.51/158.91 c #Conflicts: 104000 | #Constraints: 21468 158.51/158.91 c #Conflicts: 105000 | #Constraints: 22468 158.51/158.91 c #Conflicts: 106000 | #Constraints: 23469 158.51/158.91 c INPROCESSING 158.51/158.91 c GARBAGE COLLECT 158.51/158.91 c rational objective 107 187.84/188.30 c #Conflicts: 107000 | #Constraints: 16487 187.84/188.30 c #Conflicts: 108000 | #Constraints: 17487 187.84/188.30 c #Conflicts: 109000 | #Constraints: 18487 187.84/188.30 c #Conflicts: 110000 | #Constraints: 19487 187.84/188.30 c #Conflicts: 111000 | #Constraints: 20487 187.84/188.30 c #Conflicts: 112000 | #Constraints: 21487 187.84/188.30 c #Conflicts: 113000 | #Constraints: 22487 187.84/188.30 c #Conflicts: 114000 | #Constraints: 23487 187.84/188.30 c INPROCESSING 187.84/188.30 c GARBAGE COLLECT 187.84/188.30 c #Conflicts: 115000 | #Constraints: 16665 187.84/188.30 c #Conflicts: 116000 | #Constraints: 17665 187.84/188.30 c #Conflicts: 117000 | #Constraints: 18665 187.84/188.30 c #Conflicts: 118000 | #Constraints: 19665 187.84/188.30 c #Conflicts: 119000 | #Constraints: 20665 187.84/188.30 c #Conflicts: 120000 | #Constraints: 21665 187.84/188.30 c #Conflicts: 121000 | #Constraints: 22665 187.84/188.30 c #Conflicts: 122000 | #Constraints: 23665 187.84/188.30 c #Conflicts: 123000 | #Constraints: 24665 187.84/188.30 c #Conflicts: 124000 | #Constraints: 25665 187.84/188.30 c #Conflicts: 125000 | #Constraints: 26665 187.84/188.30 c #Conflicts: 126000 | #Constraints: 27665 187.84/188.30 c #Conflicts: 127000 | #Constraints: 28665 187.84/188.30 c #Conflicts: 128000 | #Constraints: 29665 187.84/188.30 c #Conflicts: 129000 | #Constraints: 30665 187.84/188.30 c #Conflicts: 130000 | #Constraints: 31665 187.84/188.30 c #Conflicts: 131000 | #Constraints: 32665 187.84/188.30 c #Conflicts: 132000 | #Constraints: 33665 187.84/188.30 c #Conflicts: 133000 | #Constraints: 34665 187.84/188.30 c #Conflicts: 134000 | #Constraints: 35665 187.84/188.30 c #Conflicts: 135000 | #Constraints: 36665 187.84/188.30 c #Conflicts: 136000 | #Constraints: 37665 187.84/188.30 c #Conflicts: 137000 | #Constraints: 38665 187.84/188.30 c #Conflicts: 138000 | #Constraints: 39665 187.84/188.30 c #Conflicts: 139000 | #Constraints: 40665 187.84/188.30 c #Conflicts: 140000 | #Constraints: 41665 187.84/188.30 c INPROCESSING 187.84/188.30 c GARBAGE COLLECT 187.84/188.30 c rational objective 107 197.41/197.95 c #Conflicts: 141000 | #Constraints: 25459 197.41/197.95 c #Conflicts: 142000 | #Constraints: 26459 197.41/197.95 c #Conflicts: 143000 | #Constraints: 27459 197.41/197.95 c #Conflicts: 144000 | #Constraints: 28459 197.41/197.95 c #Conflicts: 145000 | #Constraints: 29459 197.41/197.95 c #Conflicts: 146000 | #Constraints: 30459 197.41/197.95 c #Conflicts: 147000 | #Constraints: 31459 197.41/197.95 c #Conflicts: 148000 | #Constraints: 32459 197.41/197.95 c #Conflicts: 149000 | #Constraints: 33459 197.41/197.95 c INPROCESSING 197.41/197.95 c GARBAGE COLLECT 197.41/197.95 c rational objective 107 210.28/210.82 c #Conflicts: 150000 | #Constraints: 21436 210.28/210.82 c #Conflicts: 151000 | #Constraints: 22436 210.28/210.82 c #Conflicts: 152000 | #Constraints: 23436 210.28/210.82 c #Conflicts: 153000 | #Constraints: 24436 210.28/210.82 c #Conflicts: 154000 | #Constraints: 25436 210.28/210.82 c #Conflicts: 155000 | #Constraints: 26437 210.28/210.82 c #Conflicts: 156000 | #Constraints: 27437 210.28/210.82 c #Conflicts: 157000 | #Constraints: 28437 210.28/210.82 c #Conflicts: 158000 | #Constraints: 29438 210.28/210.82 c INPROCESSING 210.28/210.82 c GARBAGE COLLECT 210.28/210.82 c rational objective 107 216.16/216.70 c #Conflicts: 159000 | #Constraints: 19364 216.16/216.70 c #Conflicts: 160000 | #Constraints: 20364 216.16/216.70 c #Conflicts: 161000 | #Constraints: 21364 216.16/216.70 c #Conflicts: 162000 | #Constraints: 22364 216.16/216.70 c #Conflicts: 163000 | #Constraints: 23364 216.16/216.70 c #Conflicts: 164000 | #Constraints: 24364 216.16/216.70 c #Conflicts: 165000 | #Constraints: 25364 216.16/216.70 c #Conflicts: 166000 | #Constraints: 26364 216.16/216.70 c #Conflicts: 167000 | #Constraints: 27364 216.16/216.70 c #Conflicts: 168000 | #Constraints: 28364 216.16/216.70 c INPROCESSING 216.16/216.70 c GARBAGE COLLECT 216.16/216.70 c rational objective 107 264.94/265.62 c #Conflicts: 169000 | #Constraints: 19200 264.94/265.62 c #Conflicts: 170000 | #Constraints: 20200 264.94/265.62 c #Conflicts: 171000 | #Constraints: 21200 264.94/265.62 c #Conflicts: 172000 | #Constraints: 22200 264.94/265.62 c #Conflicts: 173000 | #Constraints: 23201 264.94/265.62 c #Conflicts: 174000 | #Constraints: 24201 264.94/265.62 c #Conflicts: 175000 | #Constraints: 25201 264.94/265.62 c #Conflicts: 176000 | #Constraints: 26201 264.94/265.62 c #Conflicts: 177000 | #Constraints: 27201 264.94/265.62 c #Conflicts: 178000 | #Constraints: 28201 264.94/265.62 c #Conflicts: 179000 | #Constraints: 29201 264.94/265.62 c #Conflicts: 180000 | #Constraints: 30201 264.94/265.62 c #Conflicts: 181000 | #Constraints: 31201 264.94/265.62 c #Conflicts: 182000 | #Constraints: 32201 264.94/265.62 c #Conflicts: 183000 | #Constraints: 33201 264.94/265.62 c #Conflicts: 184000 | #Constraints: 34201 264.94/265.62 c #Conflicts: 185000 | #Constraints: 35202 264.94/265.62 c #Conflicts: 186000 | #Constraints: 36202 264.94/265.62 c #Conflicts: 187000 | #Constraints: 37202 264.94/265.62 c #Conflicts: 188000 | #Constraints: 38202 264.94/265.62 c #Conflicts: 189000 | #Constraints: 39202 264.94/265.62 c #Conflicts: 190000 | #Constraints: 40202 264.94/265.62 c #Conflicts: 191000 | #Constraints: 41202 264.94/265.62 c #Conflicts: 192000 | #Constraints: 42202 264.94/265.62 c #Conflicts: 193000 | #Constraints: 43202 264.94/265.62 c #Conflicts: 194000 | #Constraints: 44202 264.94/265.62 c #Conflicts: 195000 | #Constraints: 45202 264.94/265.62 c #Conflicts: 196000 | #Constraints: 46202 264.94/265.62 c #Conflicts: 197000 | #Constraints: 47202 264.94/265.62 c #Conflicts: 198000 | #Constraints: 48202 264.94/265.62 c #Conflicts: 199000 | #Constraints: 49203 264.94/265.62 c #Conflicts: 200000 | #Constraints: 50203 264.94/265.62 c INPROCESSING 264.94/265.62 c GARBAGE COLLECT 264.94/265.62 c rational objective 107 281.90/282.63 c #Conflicts: 201000 | #Constraints: 30125 281.90/282.63 c #Conflicts: 202000 | #Constraints: 31125 281.90/282.63 c #Conflicts: 203000 | #Constraints: 32125 281.90/282.63 c #Conflicts: 204000 | #Constraints: 33125 281.90/282.63 c #Conflicts: 205000 | #Constraints: 34125 281.90/282.63 c #Conflicts: 206000 | #Constraints: 35125 281.90/282.63 c #Conflicts: 207000 | #Constraints: 36125 281.90/282.63 c #Conflicts: 208000 | #Constraints: 37125 281.90/282.63 c #Conflicts: 209000 | #Constraints: 38125 281.90/282.63 c #Conflicts: 210000 | #Constraints: 39125 281.90/282.63 c INPROCESSING 281.90/282.63 c GARBAGE COLLECT 281.90/282.63 c rational objective 107 302.36/303.11 c #Conflicts: 211000 | #Constraints: 24307 302.36/303.11 c #Conflicts: 212000 | #Constraints: 25308 302.36/303.11 c #Conflicts: 213000 | #Constraints: 26308 302.36/303.11 c #Conflicts: 214000 | #Constraints: 27308 302.36/303.11 c #Conflicts: 215000 | #Constraints: 28308 302.36/303.11 c #Conflicts: 216000 | #Constraints: 29308 302.36/303.11 c #Conflicts: 217000 | #Constraints: 30309 302.36/303.11 c #Conflicts: 218000 | #Constraints: 31311 302.36/303.11 c #Conflicts: 219000 | #Constraints: 32311 302.36/303.11 c #Conflicts: 220000 | #Constraints: 33314 302.36/303.11 c #Conflicts: 221000 | #Constraints: 34315 302.36/303.11 c INPROCESSING 302.36/303.11 c GARBAGE COLLECT 302.36/303.11 c rational objective 107 317.41/318.28 c #Conflicts: 222000 | #Constraints: 22103 317.41/318.28 c #Conflicts: 223000 | #Constraints: 23104 317.41/318.28 c #Conflicts: 224000 | #Constraints: 24105 317.41/318.28 c #Conflicts: 225000 | #Constraints: 25105 317.41/318.28 c #Conflicts: 226000 | #Constraints: 26105 317.41/318.28 c #Conflicts: 227000 | #Constraints: 27105 317.41/318.28 c #Conflicts: 228000 | #Constraints: 28106 317.41/318.28 c #Conflicts: 229000 | #Constraints: 29106 317.41/318.28 c #Conflicts: 230000 | #Constraints: 30106 317.41/318.28 c #Conflicts: 231000 | #Constraints: 31106 317.41/318.28 c #Conflicts: 232000 | #Constraints: 32106 317.41/318.28 c INPROCESSING 317.41/318.28 c GARBAGE COLLECT 317.41/318.28 c rational objective 107 329.69/330.52 c #Conflicts: 233000 | #Constraints: 20895 329.69/330.52 c #Conflicts: 234000 | #Constraints: 21895 329.69/330.52 c #Conflicts: 235000 | #Constraints: 22895 329.69/330.52 c #Conflicts: 236000 | #Constraints: 23895 329.69/330.52 c #Conflicts: 237000 | #Constraints: 24897 329.69/330.52 c #Conflicts: 238000 | #Constraints: 25897 329.69/330.52 c #Conflicts: 239000 | #Constraints: 26897 329.69/330.52 c #Conflicts: 240000 | #Constraints: 27897 329.69/330.52 c #Conflicts: 241000 | #Constraints: 28897 329.69/330.52 c #Conflicts: 242000 | #Constraints: 29897 329.69/330.52 c #Conflicts: 243000 | #Constraints: 30898 329.69/330.52 c INPROCESSING 329.69/330.52 c GARBAGE COLLECT 329.69/330.52 c rational objective 107 408.68/409.78 c #Conflicts: 244000 | #Constraints: 20209 408.68/409.78 c #Conflicts: 245000 | #Constraints: 21209 408.68/409.78 c #Conflicts: 246000 | #Constraints: 22209 408.68/409.78 c #Conflicts: 247000 | #Constraints: 23210 408.68/409.78 c #Conflicts: 248000 | #Constraints: 24210 408.68/409.78 c #Conflicts: 249000 | #Constraints: 25212 408.68/409.78 c #Conflicts: 250000 | #Constraints: 26214 408.68/409.78 c #Conflicts: 251000 | #Constraints: 27217 408.68/409.78 c #Conflicts: 252000 | #Constraints: 28218 408.68/409.78 c #Conflicts: 253000 | #Constraints: 29218 408.68/409.78 c #Conflicts: 254000 | #Constraints: 30219 408.68/409.78 c #Conflicts: 255000 | #Constraints: 31220 408.68/409.78 c #Conflicts: 256000 | #Constraints: 32221 408.68/409.78 c #Conflicts: 257000 | #Constraints: 33222 408.68/409.78 c #Conflicts: 258000 | #Constraints: 34224 408.68/409.78 c #Conflicts: 259000 | #Constraints: 35224 408.68/409.78 c #Conflicts: 260000 | #Constraints: 36226 408.68/409.78 c #Conflicts: 261000 | #Constraints: 37226 408.68/409.78 c #Conflicts: 262000 | #Constraints: 38226 408.68/409.78 c #Conflicts: 263000 | #Constraints: 39226 408.68/409.78 c #Conflicts: 264000 | #Constraints: 40226 408.68/409.78 c #Conflicts: 265000 | #Constraints: 41226 408.68/409.78 c #Conflicts: 266000 | #Constraints: 42226 408.68/409.78 c #Conflicts: 267000 | #Constraints: 43226 408.68/409.78 c #Conflicts: 268000 | #Constraints: 44226 408.68/409.78 c #Conflicts: 269000 | #Constraints: 45226 408.68/409.78 c #Conflicts: 270000 | #Constraints: 46226 408.68/409.78 c #Conflicts: 271000 | #Constraints: 47226 408.68/409.78 c #Conflicts: 272000 | #Constraints: 48226 408.68/409.78 c #Conflicts: 273000 | #Constraints: 49231 408.68/409.78 c #Conflicts: 274000 | #Constraints: 50234 408.68/409.78 c #Conflicts: 275000 | #Constraints: 51237 408.68/409.78 c #Conflicts: 276000 | #Constraints: 52240 408.68/409.78 c #Conflicts: 277000 | #Constraints: 53241 408.68/409.78 c #Conflicts: 278000 | #Constraints: 54243 408.68/409.78 c #Conflicts: 279000 | #Constraints: 55244 408.68/409.78 c #Conflicts: 280000 | #Constraints: 56246 408.68/409.78 c #Conflicts: 281000 | #Constraints: 57248 408.68/409.78 c #Conflicts: 282000 | #Constraints: 58249 408.68/409.78 c INPROCESSING 408.68/409.78 c GARBAGE COLLECT 408.68/409.78 c rational objective 107 440.40/441.56 c #Conflicts: 283000 | #Constraints: 34211 440.40/441.56 c #Conflicts: 284000 | #Constraints: 35211 440.40/441.56 c #Conflicts: 285000 | #Constraints: 36211 440.40/441.56 c #Conflicts: 286000 | #Constraints: 37211 440.40/441.56 c #Conflicts: 287000 | #Constraints: 38211 440.40/441.56 c #Conflicts: 288000 | #Constraints: 39211 440.40/441.56 c #Conflicts: 289000 | #Constraints: 40211 440.40/441.56 c #Conflicts: 290000 | #Constraints: 41211 440.40/441.56 c #Conflicts: 291000 | #Constraints: 42211 440.40/441.56 c #Conflicts: 292000 | #Constraints: 43211 440.40/441.56 c #Conflicts: 293000 | #Constraints: 44211 440.40/441.56 c #Conflicts: 294000 | #Constraints: 45211 440.40/441.56 c INPROCESSING 440.40/441.56 c GARBAGE COLLECT 440.40/441.56 c rational objective 107 533.18/534.59 c #Conflicts: 295000 | #Constraints: 27506 533.18/534.59 c #Conflicts: 296000 | #Constraints: 28506 533.18/534.59 c #Conflicts: 297000 | #Constraints: 29506 533.18/534.59 c #Conflicts: 298000 | #Constraints: 30506 533.18/534.59 c #Conflicts: 299000 | #Constraints: 31506 533.18/534.59 c #Conflicts: 300000 | #Constraints: 32506 533.18/534.59 c #Conflicts: 301000 | #Constraints: 33506 533.18/534.59 c #Conflicts: 302000 | #Constraints: 34506 533.18/534.59 c #Conflicts: 303000 | #Constraints: 35506 533.18/534.59 c #Conflicts: 304000 | #Constraints: 36506 533.18/534.59 c #Conflicts: 305000 | #Constraints: 37506 533.18/534.59 c #Conflicts: 306000 | #Constraints: 38506 533.18/534.59 c #Conflicts: 307000 | #Constraints: 39506 533.18/534.59 c INPROCESSING 533.18/534.59 c GARBAGE COLLECT 533.18/534.59 c #Conflicts: 308000 | #Constraints: 24830 533.18/534.59 c #Conflicts: 309000 | #Constraints: 25832 533.18/534.59 c #Conflicts: 310000 | #Constraints: 26834 533.18/534.59 c #Conflicts: 311000 | #Constraints: 27834 533.18/534.59 c #Conflicts: 312000 | #Constraints: 28836 533.18/534.59 c #Conflicts: 313000 | #Constraints: 29836 533.18/534.59 c #Conflicts: 314000 | #Constraints: 30837 533.18/534.59 c #Conflicts: 315000 | #Constraints: 31838 533.18/534.59 c #Conflicts: 316000 | #Constraints: 32838 533.18/534.59 c #Conflicts: 317000 | #Constraints: 33838 533.18/534.59 c #Conflicts: 318000 | #Constraints: 34838 533.18/534.59 c #Conflicts: 319000 | #Constraints: 35838 533.18/534.59 c #Conflicts: 320000 | #Constraints: 36838 533.18/534.59 c INPROCESSING 533.18/534.59 c GARBAGE COLLECT 533.18/534.59 c rational objective 107 584.05/585.57 c #Conflicts: 321000 | #Constraints: 23455 584.05/585.57 c #Conflicts: 322000 | #Constraints: 24455 584.05/585.57 c #Conflicts: 323000 | #Constraints: 25455 584.05/585.57 c #Conflicts: 324000 | #Constraints: 26455 584.05/585.57 c #Conflicts: 325000 | #Constraints: 27455 584.05/585.57 c #Conflicts: 326000 | #Constraints: 28455 584.05/585.57 c #Conflicts: 327000 | #Constraints: 29455 584.05/585.57 c #Conflicts: 328000 | #Constraints: 30455 584.05/585.57 c #Conflicts: 329000 | #Constraints: 31455 584.05/585.57 c #Conflicts: 330000 | #Constraints: 32455 584.05/585.57 c #Conflicts: 331000 | #Constraints: 33455 584.05/585.57 c #Conflicts: 332000 | #Constraints: 34455 584.05/585.57 c #Conflicts: 333000 | #Constraints: 35455 584.05/585.57 c #Conflicts: 334000 | #Constraints: 36455 584.05/585.57 c #Conflicts: 335000 | #Constraints: 37455 584.05/585.57 c #Conflicts: 336000 | #Constraints: 38455 584.05/585.57 c #Conflicts: 337000 | #Constraints: 39455 584.05/585.57 c #Conflicts: 338000 | #Constraints: 40455 584.05/585.57 c #Conflicts: 339000 | #Constraints: 41455 584.05/585.57 c #Conflicts: 340000 | #Constraints: 42455 584.05/585.57 c #Conflicts: 341000 | #Constraints: 43455 584.05/585.57 c #Conflicts: 342000 | #Constraints: 44455 584.05/585.57 c #Conflicts: 343000 | #Constraints: 45455 584.05/585.57 c #Conflicts: 344000 | #Constraints: 46455 584.05/585.57 c #Conflicts: 345000 | #Constraints: 47455 584.05/585.57 c #Conflicts: 346000 | #Constraints: 48455 584.05/585.57 c #Conflicts: 347000 | #Constraints: 49455 584.05/585.57 c #Conflicts: 348000 | #Constraints: 50455 584.05/585.57 c #Conflicts: 349000 | #Constraints: 51455 584.05/585.57 c #Conflicts: 350000 | #Constraints: 52455 584.05/585.57 c #Conflicts: 351000 | #Constraints: 53455 584.05/585.57 c #Conflicts: 352000 | #Constraints: 54455 584.05/585.57 c #Conflicts: 353000 | #Constraints: 55455 584.05/585.57 c #Conflicts: 354000 | #Constraints: 56455 584.05/585.57 c #Conflicts: 355000 | #Constraints: 57455 584.05/585.57 c #Conflicts: 356000 | #Constraints: 58456 584.05/585.57 c #Conflicts: 357000 | #Constraints: 59456 584.05/585.57 c #Conflicts: 358000 | #Constraints: 60456 584.05/585.57 c #Conflicts: 359000 | #Constraints: 61456 584.05/585.57 c #Conflicts: 360000 | #Constraints: 62457 584.05/585.57 c #Conflicts: 361000 | #Constraints: 63457 584.05/585.57 c #Conflicts: 362000 | #Constraints: 64458 584.05/585.57 c #Conflicts: 363000 | #Constraints: 65458 584.05/585.57 c INPROCESSING 584.05/585.57 c GARBAGE COLLECT 584.05/585.57 c rational objective 107 605.09/606.61 c #Conflicts: 364000 | #Constraints: 37521 605.09/606.61 c #Conflicts: 365000 | #Constraints: 38521 605.09/606.61 c #Conflicts: 366000 | #Constraints: 39521 605.09/606.61 c #Conflicts: 367000 | #Constraints: 40521 605.09/606.61 c #Conflicts: 368000 | #Constraints: 41521 605.09/606.61 c #Conflicts: 369000 | #Constraints: 42521 605.09/606.61 c #Conflicts: 370000 | #Constraints: 43521 605.09/606.61 c #Conflicts: 371000 | #Constraints: 44521 605.09/606.61 c #Conflicts: 372000 | #Constraints: 45521 605.09/606.61 c #Conflicts: 373000 | #Constraints: 46521 605.09/606.61 c #Conflicts: 374000 | #Constraints: 47522 605.09/606.61 c #Conflicts: 375000 | #Constraints: 48522 605.09/606.61 c #Conflicts: 376000 | #Constraints: 49522 605.09/606.61 c #Conflicts: 377000 | #Constraints: 50525 605.09/606.61 c #Conflicts: 378000 | #Constraints: 51527 605.09/606.61 c INPROCESSING 605.09/606.61 c GARBAGE COLLECT 605.09/606.61 c rational objective 107 618.86/620.43 c #Conflicts: 379000 | #Constraints: 30855 618.86/620.43 c #Conflicts: 380000 | #Constraints: 31855 618.86/620.43 c #Conflicts: 381000 | #Constraints: 32856 618.86/620.43 c #Conflicts: 382000 | #Constraints: 33856 618.86/620.43 c #Conflicts: 383000 | #Constraints: 34856 618.86/620.43 c #Conflicts: 384000 | #Constraints: 35856 618.86/620.43 c #Conflicts: 385000 | #Constraints: 36856 618.86/620.43 c #Conflicts: 386000 | #Constraints: 37856 618.86/620.43 c #Conflicts: 387000 | #Constraints: 38856 618.86/620.43 c #Conflicts: 388000 | #Constraints: 39856 618.86/620.43 c #Conflicts: 389000 | #Constraints: 40856 618.86/620.43 c #Conflicts: 390000 | #Constraints: 41856 618.86/620.43 c #Conflicts: 391000 | #Constraints: 42856 618.86/620.43 c #Conflicts: 392000 | #Constraints: 43856 618.86/620.43 c INPROCESSING 618.86/620.43 c GARBAGE COLLECT 618.86/620.43 c rational objective 107 633.53/635.11 c #Conflicts: 393000 | #Constraints: 26917 633.53/635.11 c #Conflicts: 394000 | #Constraints: 27917 633.53/635.11 c #Conflicts: 395000 | #Constraints: 28917 633.53/635.11 c #Conflicts: 396000 | #Constraints: 29917 633.53/635.11 c #Conflicts: 397000 | #Constraints: 30918 633.53/635.11 c #Conflicts: 398000 | #Constraints: 31918 633.53/635.11 c #Conflicts: 399000 | #Constraints: 32918 633.53/635.11 c #Conflicts: 400000 | #Constraints: 33919 633.53/635.11 c #Conflicts: 401000 | #Constraints: 34919 633.53/635.11 c #Conflicts: 402000 | #Constraints: 35919 633.53/635.11 c #Conflicts: 403000 | #Constraints: 36919 633.53/635.11 c #Conflicts: 404000 | #Constraints: 37919 633.53/635.11 c #Conflicts: 405000 | #Constraints: 38919 633.53/635.11 c #Conflicts: 406000 | #Constraints: 39919 633.53/635.11 c #Conflicts: 407000 | #Constraints: 40919 633.53/635.11 c INPROCESSING 633.53/635.11 c GARBAGE COLLECT 633.53/635.11 c rational objective 107 699.74/701.54 c #Conflicts: 408000 | #Constraints: 25587 699.74/701.54 c #Conflicts: 409000 | #Constraints: 26587 699.74/701.54 c #Conflicts: 410000 | #Constraints: 27587 699.74/701.54 c #Conflicts: 411000 | #Constraints: 28588 699.74/701.54 c #Conflicts: 412000 | #Constraints: 29588 699.74/701.54 c #Conflicts: 413000 | #Constraints: 30588 699.74/701.54 c #Conflicts: 414000 | #Constraints: 31588 699.74/701.54 c #Conflicts: 415000 | #Constraints: 32588 699.74/701.54 c #Conflicts: 416000 | #Constraints: 33588 699.74/701.54 c #Conflicts: 417000 | #Constraints: 34588 699.74/701.54 c #Conflicts: 418000 | #Constraints: 35588 699.74/701.54 c #Conflicts: 419000 | #Constraints: 36588 699.74/701.54 c #Conflicts: 420000 | #Constraints: 37588 699.74/701.54 c #Conflicts: 421000 | #Constraints: 38588 699.74/701.54 c #Conflicts: 422000 | #Constraints: 39588 699.74/701.54 c #Conflicts: 423000 | #Constraints: 40588 699.74/701.54 c #Conflicts: 424000 | #Constraints: 41588 699.74/701.54 c #Conflicts: 425000 | #Constraints: 42588 699.74/701.54 c #Conflicts: 426000 | #Constraints: 43588 699.74/701.54 c #Conflicts: 427000 | #Constraints: 44589 699.74/701.54 c #Conflicts: 428000 | #Constraints: 45589 699.74/701.54 c #Conflicts: 429000 | #Constraints: 46589 699.74/701.54 c #Conflicts: 430000 | #Constraints: 47590 699.74/701.54 c #Conflicts: 431000 | #Constraints: 48590 699.74/701.54 c #Conflicts: 432000 | #Constraints: 49590 699.74/701.54 c #Conflicts: 433000 | #Constraints: 50590 699.74/701.54 c #Conflicts: 434000 | #Constraints: 51590 699.74/701.54 c #Conflicts: 435000 | #Constraints: 52590 699.74/701.54 c #Conflicts: 436000 | #Constraints: 53590 699.74/701.54 c #Conflicts: 437000 | #Constraints: 54590 699.74/701.54 c #Conflicts: 438000 | #Constraints: 55590 699.74/701.54 c #Conflicts: 439000 | #Constraints: 56590 699.74/701.54 c #Conflicts: 440000 | #Constraints: 57590 699.74/701.54 c #Conflicts: 441000 | #Constraints: 58590 699.74/701.54 c #Conflicts: 442000 | #Constraints: 59591 699.74/701.54 c #Conflicts: 443000 | #Constraints: 60592 699.74/701.54 c #Conflicts: 444000 | #Constraints: 61592 699.74/701.54 c #Conflicts: 445000 | #Constraints: 62592 699.74/701.54 c #Conflicts: 446000 | #Constraints: 63593 699.74/701.54 c #Conflicts: 447000 | #Constraints: 64593 699.74/701.54 c #Conflicts: 448000 | #Constraints: 65593 699.74/701.54 c #Conflicts: 449000 | #Constraints: 66593 699.74/701.54 c #Conflicts: 450000 | #Constraints: 67593 699.74/701.54 c #Conflicts: 451000 | #Constraints: 68594 699.74/701.54 c #Conflicts: 452000 | #Constraints: 69594 699.74/701.54 c #Conflicts: 453000 | #Constraints: 70594 699.74/701.54 c #Conflicts: 454000 | #Constraints: 71594 699.74/701.54 c #Conflicts: 455000 | #Constraints: 72594 699.74/701.54 c #Conflicts: 456000 | #Constraints: 73594 699.74/701.54 c INPROCESSING 699.74/701.54 c GARBAGE COLLECT 699.74/701.54 c rational objective 107 721.19/723.02 c #Conflicts: 457000 | #Constraints: 41947 721.19/723.02 c #Conflicts: 458000 | #Constraints: 42947 721.19/723.02 c #Conflicts: 459000 | #Constraints: 43947 721.19/723.02 c #Conflicts: 460000 | #Constraints: 44947 721.19/723.02 c #Conflicts: 461000 | #Constraints: 45947 721.19/723.02 c #Conflicts: 462000 | #Constraints: 46947 721.19/723.02 c #Conflicts: 463000 | #Constraints: 47947 721.19/723.02 c #Conflicts: 464000 | #Constraints: 48947 721.19/723.02 c #Conflicts: 465000 | #Constraints: 49947 721.19/723.02 c #Conflicts: 466000 | #Constraints: 50947 721.19/723.02 c #Conflicts: 467000 | #Constraints: 51947 721.19/723.02 c #Conflicts: 468000 | #Constraints: 52947 721.19/723.02 c #Conflicts: 469000 | #Constraints: 53947 721.19/723.02 c #Conflicts: 470000 | #Constraints: 54947 721.19/723.02 c #Conflicts: 471000 | #Constraints: 55947 721.19/723.02 c INPROCESSING 721.19/723.02 c GARBAGE COLLECT 721.19/723.02 c rational objective 107 740.73/742.67 c #Conflicts: 472000 | #Constraints: 32648 740.73/742.67 c #Conflicts: 473000 | #Constraints: 33648 740.73/742.67 c #Conflicts: 474000 | #Constraints: 34648 740.73/742.67 c #Conflicts: 475000 | #Constraints: 35648 740.73/742.67 c #Conflicts: 476000 | #Constraints: 36648 740.73/742.67 c #Conflicts: 477000 | #Constraints: 37649 740.73/742.67 c #Conflicts: 478000 | #Constraints: 38649 740.73/742.67 c #Conflicts: 479000 | #Constraints: 39649 740.73/742.67 c #Conflicts: 480000 | #Constraints: 40649 740.73/742.67 c #Conflicts: 481000 | #Constraints: 41649 740.73/742.67 c #Conflicts: 482000 | #Constraints: 42649 740.73/742.67 c #Conflicts: 483000 | #Constraints: 43649 740.73/742.67 c #Conflicts: 484000 | #Constraints: 44649 740.73/742.67 c #Conflicts: 485000 | #Constraints: 45649 740.73/742.67 c #Conflicts: 486000 | #Constraints: 46649 740.73/742.67 c #Conflicts: 487000 | #Constraints: 47649 740.73/742.67 c #Conflicts: 488000 | #Constraints: 48649 740.73/742.67 c INPROCESSING 740.73/742.67 c GARBAGE COLLECT 740.73/742.67 c rational objective 107 756.09/758.10 c #Conflicts: 489000 | #Constraints: 29481 756.09/758.10 c #Conflicts: 490000 | #Constraints: 30481 756.09/758.10 c #Conflicts: 491000 | #Constraints: 31481 756.09/758.10 c #Conflicts: 492000 | #Constraints: 32481 756.09/758.10 c #Conflicts: 493000 | #Constraints: 33481 756.09/758.10 c #Conflicts: 494000 | #Constraints: 34481 756.09/758.10 c #Conflicts: 495000 | #Constraints: 35481 756.09/758.10 c #Conflicts: 496000 | #Constraints: 36481 756.09/758.10 c #Conflicts: 497000 | #Constraints: 37481 756.09/758.10 c #Conflicts: 498000 | #Constraints: 38481 756.09/758.10 c #Conflicts: 499000 | #Constraints: 39481 756.09/758.10 c #Conflicts: 500000 | #Constraints: 40481 756.09/758.10 c #Conflicts: 501000 | #Constraints: 41481 756.09/758.10 c #Conflicts: 502000 | #Constraints: 42481 756.09/758.10 c #Conflicts: 503000 | #Constraints: 43481 756.09/758.10 c #Conflicts: 504000 | #Constraints: 44481 756.09/758.10 c INPROCESSING 756.09/758.10 c GARBAGE COLLECT 756.09/758.10 c rational objective 107 840.55/842.73 c #Conflicts: 505000 | #Constraints: 27246 840.55/842.73 c #Conflicts: 506000 | #Constraints: 28247 840.55/842.73 c #Conflicts: 507000 | #Constraints: 29247 840.55/842.73 c #Conflicts: 508000 | #Constraints: 30247 840.55/842.73 c #Conflicts: 509000 | #Constraints: 31247 840.55/842.73 c #Conflicts: 510000 | #Constraints: 32247 840.55/842.73 c #Conflicts: 511000 | #Constraints: 33247 840.55/842.73 c #Conflicts: 512000 | #Constraints: 34247 840.55/842.73 c #Conflicts: 513000 | #Constraints: 35247 840.55/842.73 c #Conflicts: 514000 | #Constraints: 36247 840.55/842.73 c #Conflicts: 515000 | #Constraints: 37247 840.55/842.73 c #Conflicts: 516000 | #Constraints: 38247 840.55/842.73 c #Conflicts: 517000 | #Constraints: 39247 840.55/842.73 c #Conflicts: 518000 | #Constraints: 40247 840.55/842.73 c #Conflicts: 519000 | #Constraints: 41247 840.55/842.73 c #Conflicts: 520000 | #Constraints: 42247 840.55/842.73 c #Conflicts: 521000 | #Constraints: 43247 840.55/842.73 c #Conflicts: 522000 | #Constraints: 44247 840.55/842.73 c #Conflicts: 523000 | #Constraints: 45247 840.55/842.73 c #Conflicts: 524000 | #Constraints: 46247 840.55/842.73 c #Conflicts: 525000 | #Constraints: 47247 840.55/842.73 c #Conflicts: 526000 | #Constraints: 48247 840.55/842.73 c #Conflicts: 527000 | #Constraints: 49247 840.55/842.73 c #Conflicts: 528000 | #Constraints: 50247 840.55/842.73 c #Conflicts: 529000 | #Constraints: 51247 840.55/842.73 c #Conflicts: 530000 | #Constraints: 52247 840.55/842.73 c #Conflicts: 531000 | #Constraints: 53247 840.55/842.73 c #Conflicts: 532000 | #Constraints: 54247 840.55/842.73 c #Conflicts: 533000 | #Constraints: 55247 840.55/842.73 c #Conflicts: 534000 | #Constraints: 56247 840.55/842.73 c #Conflicts: 535000 | #Constraints: 57247 840.55/842.73 c #Conflicts: 536000 | #Constraints: 58247 840.55/842.73 c #Conflicts: 537000 | #Constraints: 59247 840.55/842.73 c #Conflicts: 538000 | #Constraints: 60247 840.55/842.73 c #Conflicts: 539000 | #Constraints: 61247 840.55/842.73 c #Conflicts: 540000 | #Constraints: 62247 840.55/842.73 c #Conflicts: 541000 | #Constraints: 63247 840.55/842.73 c #Conflicts: 542000 | #Constraints: 64247 840.55/842.73 c #Conflicts: 543000 | #Constraints: 65247 840.55/842.73 c #Conflicts: 544000 | #Constraints: 66247 840.55/842.73 c #Conflicts: 545000 | #Constraints: 67247 840.55/842.73 c #Conflicts: 546000 | #Constraints: 68247 840.55/842.73 c #Conflicts: 547000 | #Constraints: 69247 840.55/842.73 c #Conflicts: 548000 | #Constraints: 70248 840.55/842.73 c #Conflicts: 549000 | #Constraints: 71248 840.55/842.73 c #Conflicts: 550000 | #Constraints: 72248 840.55/842.73 c #Conflicts: 551000 | #Constraints: 73249 840.55/842.73 c #Conflicts: 552000 | #Constraints: 74249 840.55/842.73 c #Conflicts: 553000 | #Constraints: 75249 840.55/842.73 c #Conflicts: 554000 | #Constraints: 76249 840.55/842.73 c #Conflicts: 555000 | #Constraints: 77249 840.55/842.73 c #Conflicts: 556000 | #Constraints: 78249 840.55/842.73 c #Conflicts: 557000 | #Constraints: 79249 840.55/842.73 c #Conflicts: 558000 | #Constraints: 80249 840.55/842.73 c INPROCESSING 840.55/842.73 c GARBAGE COLLECT 840.55/842.73 c rational objective 107 866.28/868.58 c #Conflicts: 559000 | #Constraints: 45029 866.28/868.58 c #Conflicts: 560000 | #Constraints: 46029 866.28/868.58 c #Conflicts: 561000 | #Constraints: 47029 866.28/868.58 c #Conflicts: 562000 | #Constraints: 48029 866.28/868.58 c #Conflicts: 563000 | #Constraints: 49029 866.28/868.58 c #Conflicts: 564000 | #Constraints: 50029 866.28/868.58 c #Conflicts: 565000 | #Constraints: 51029 866.28/868.58 c #Conflicts: 566000 | #Constraints: 52029 866.28/868.58 c #Conflicts: 567000 | #Constraints: 53029 866.28/868.58 c #Conflicts: 568000 | #Constraints: 54029 866.28/868.58 c #Conflicts: 569000 | #Constraints: 55030 866.28/868.58 c #Conflicts: 570000 | #Constraints: 56030 866.28/868.58 c #Conflicts: 571000 | #Constraints: 57031 866.28/868.58 c #Conflicts: 572000 | #Constraints: 58031 866.28/868.58 c #Conflicts: 573000 | #Constraints: 59031 866.28/868.58 c #Conflicts: 574000 | #Constraints: 60031 866.28/868.58 c #Conflicts: 575000 | #Constraints: 61031 866.28/868.58 c #Conflicts: 576000 | #Constraints: 62031 866.28/868.58 c INPROCESSING 866.28/868.58 c GARBAGE COLLECT 866.28/868.58 c rational objective 107 889.32/891.63 c #Conflicts: 577000 | #Constraints: 36112 889.32/891.63 c #Conflicts: 578000 | #Constraints: 37112 889.32/891.63 c #Conflicts: 579000 | #Constraints: 38112 889.32/891.63 c #Conflicts: 580000 | #Constraints: 39112 889.32/891.63 c #Conflicts: 581000 | #Constraints: 40112 889.32/891.63 c #Conflicts: 582000 | #Constraints: 41112 889.32/891.63 c #Conflicts: 583000 | #Constraints: 42113 889.32/891.63 c #Conflicts: 584000 | #Constraints: 43113 889.32/891.63 c #Conflicts: 585000 | #Constraints: 44113 889.32/891.63 c #Conflicts: 586000 | #Constraints: 45113 889.32/891.63 c #Conflicts: 587000 | #Constraints: 46113 889.32/891.63 c #Conflicts: 588000 | #Constraints: 47113 889.32/891.63 c #Conflicts: 589000 | #Constraints: 48113 889.32/891.63 c #Conflicts: 590000 | #Constraints: 49113 889.32/891.63 c #Conflicts: 591000 | #Constraints: 50113 889.32/891.63 c #Conflicts: 592000 | #Constraints: 51113 889.32/891.63 c #Conflicts: 593000 | #Constraints: 52114 889.32/891.63 c #Conflicts: 594000 | #Constraints: 53114 889.32/891.63 c INPROCESSING 889.32/891.63 c GARBAGE COLLECT 889.32/891.63 c rational objective 107 913.17/915.56 c #Conflicts: 595000 | #Constraints: 31791 913.17/915.56 c #Conflicts: 596000 | #Constraints: 32791 913.17/915.56 c #Conflicts: 597000 | #Constraints: 33791 913.17/915.56 c #Conflicts: 598000 | #Constraints: 34791 913.17/915.56 c #Conflicts: 599000 | #Constraints: 35791 913.17/915.56 c #Conflicts: 600000 | #Constraints: 36791 913.17/915.56 c #Conflicts: 601000 | #Constraints: 37791 913.17/915.56 c #Conflicts: 602000 | #Constraints: 38793 913.17/915.56 c #Conflicts: 603000 | #Constraints: 39794 913.17/915.56 c #Conflicts: 604000 | #Constraints: 40794 913.17/915.56 c #Conflicts: 605000 | #Constraints: 41794 913.17/915.56 c #Conflicts: 606000 | #Constraints: 42794 913.17/915.56 c #Conflicts: 607000 | #Constraints: 43794 913.17/915.56 c #Conflicts: 608000 | #Constraints: 44794 913.17/915.56 c #Conflicts: 609000 | #Constraints: 45794 913.17/915.56 c #Conflicts: 610000 | #Constraints: 46794 913.17/915.56 c #Conflicts: 611000 | #Constraints: 47794 913.17/915.56 c #Conflicts: 612000 | #Constraints: 48794 913.17/915.56 c INPROCESSING 913.17/915.56 c GARBAGE COLLECT 913.17/915.56 c rational objective 107 1009.54/1012.17 c #Conflicts: 613000 | #Constraints: 29571 1009.54/1012.17 c #Conflicts: 614000 | #Constraints: 30571 1009.54/1012.17 c #Conflicts: 615000 | #Constraints: 31571 1009.54/1012.17 c #Conflicts: 616000 | #Constraints: 32571 1009.54/1012.17 c #Conflicts: 617000 | #Constraints: 33572 1009.54/1012.17 c #Conflicts: 618000 | #Constraints: 34573 1009.54/1012.17 c #Conflicts: 619000 | #Constraints: 35573 1009.54/1012.17 c #Conflicts: 620000 | #Constraints: 36573 1009.54/1012.17 c #Conflicts: 621000 | #Constraints: 37573 1009.54/1012.17 c #Conflicts: 622000 | #Constraints: 38573 1009.54/1012.17 c #Conflicts: 623000 | #Constraints: 39573 1009.54/1012.17 c #Conflicts: 624000 | #Constraints: 40573 1009.54/1012.17 c #Conflicts: 625000 | #Constraints: 41573 1009.54/1012.17 c #Conflicts: 626000 | #Constraints: 42573 1009.54/1012.17 c #Conflicts: 627000 | #Constraints: 43573 1009.54/1012.17 c #Conflicts: 628000 | #Constraints: 44573 1009.54/1012.17 c #Conflicts: 629000 | #Constraints: 45573 1009.54/1012.17 c #Conflicts: 630000 | #Constraints: 46573 1009.54/1012.17 c #Conflicts: 631000 | #Constraints: 47573 1009.54/1012.17 c #Conflicts: 632000 | #Constraints: 48573 1009.54/1012.17 c #Conflicts: 633000 | #Constraints: 49573 1009.54/1012.17 c #Conflicts: 634000 | #Constraints: 50573 1009.54/1012.17 c #Conflicts: 635000 | #Constraints: 51573 1009.54/1012.17 c #Conflicts: 636000 | #Constraints: 52573 1009.54/1012.17 c #Conflicts: 637000 | #Constraints: 53573 1009.54/1012.17 c #Conflicts: 638000 | #Constraints: 54573 1009.54/1012.17 c #Conflicts: 639000 | #Constraints: 55573 1009.54/1012.17 c #Conflicts: 640000 | #Constraints: 56573 1009.54/1012.17 c #Conflicts: 641000 | #Constraints: 57573 1009.54/1012.17 c #Conflicts: 642000 | #Constraints: 58573 1009.54/1012.17 c #Conflicts: 643000 | #Constraints: 59573 1009.54/1012.17 c #Conflicts: 644000 | #Constraints: 60573 1009.54/1012.17 c #Conflicts: 645000 | #Constraints: 61573 1009.54/1012.17 c #Conflicts: 646000 | #Constraints: 62574 1009.54/1012.17 c #Conflicts: 647000 | #Constraints: 63574 1009.54/1012.17 c #Conflicts: 648000 | #Constraints: 64574 1009.54/1012.17 c #Conflicts: 649000 | #Constraints: 65574 1009.54/1012.17 c #Conflicts: 650000 | #Constraints: 66574 1009.54/1012.17 c #Conflicts: 651000 | #Constraints: 67574 1009.54/1012.17 c #Conflicts: 652000 | #Constraints: 68574 1009.54/1012.17 c #Conflicts: 653000 | #Constraints: 69575 1009.54/1012.17 c #Conflicts: 654000 | #Constraints: 70575 1009.54/1012.17 c #Conflicts: 655000 | #Constraints: 71575 1009.54/1012.17 c #Conflicts: 656000 | #Constraints: 72575 1009.54/1012.17 c #Conflicts: 657000 | #Constraints: 73575 1009.54/1012.17 c #Conflicts: 658000 | #Constraints: 74576 1009.54/1012.17 c #Conflicts: 659000 | #Constraints: 75576 1009.54/1012.17 c #Conflicts: 660000 | #Constraints: 76576 1009.54/1012.17 c #Conflicts: 661000 | #Constraints: 77577 1009.54/1012.17 c #Conflicts: 662000 | #Constraints: 78577 1009.54/1012.17 c #Conflicts: 663000 | #Constraints: 79577 1009.54/1012.17 c #Conflicts: 664000 | #Constraints: 80577 1009.54/1012.17 c #Conflicts: 665000 | #Constraints: 81577 1009.54/1012.17 c #Conflicts: 666000 | #Constraints: 82577 1009.54/1012.17 c #Conflicts: 667000 | #Constraints: 83577 1009.54/1012.17 c #Conflicts: 668000 | #Constraints: 84577 1009.54/1012.17 c #Conflicts: 669000 | #Constraints: 85577 1009.54/1012.17 c #Conflicts: 670000 | #Constraints: 86577 1009.54/1012.17 c #Conflicts: 671000 | #Constraints: 87577 1009.54/1012.17 c INPROCESSING 1009.54/1012.17 c GARBAGE COLLECT 1009.54/1012.17 c rational objective 107 1035.77/1038.47 c #Conflicts: 672000 | #Constraints: 48704 1035.77/1038.47 c #Conflicts: 673000 | #Constraints: 49704 1035.77/1038.47 c #Conflicts: 674000 | #Constraints: 50704 1035.77/1038.47 c #Conflicts: 675000 | #Constraints: 51704 1035.77/1038.47 c #Conflicts: 676000 | #Constraints: 52704 1035.77/1038.47 c #Conflicts: 677000 | #Constraints: 53704 1035.77/1038.47 c #Conflicts: 678000 | #Constraints: 54704 1035.77/1038.47 c #Conflicts: 679000 | #Constraints: 55704 1035.77/1038.47 c #Conflicts: 680000 | #Constraints: 56704 1035.77/1038.47 c #Conflicts: 681000 | #Constraints: 57704 1035.77/1038.47 c #Conflicts: 682000 | #Constraints: 58704 1035.77/1038.47 c #Conflicts: 683000 | #Constraints: 59704 1035.77/1038.47 c #Conflicts: 684000 | #Constraints: 60704 1035.77/1038.47 c #Conflicts: 685000 | #Constraints: 61705 1035.77/1038.47 c #Conflicts: 686000 | #Constraints: 62705 1035.77/1038.47 c #Conflicts: 687000 | #Constraints: 63705 1035.77/1038.47 c #Conflicts: 688000 | #Constraints: 64705 1035.77/1038.47 c #Conflicts: 689000 | #Constraints: 65705 1035.77/1038.47 c #Conflicts: 690000 | #Constraints: 66705 1035.77/1038.47 c INPROCESSING 1035.77/1038.47 c GARBAGE COLLECT 1035.77/1038.47 c rational objective 107 1071.39/1074.13 c #Conflicts: 691000 | #Constraints: 38184 1071.39/1074.13 c #Conflicts: 692000 | #Constraints: 39184 1071.39/1074.13 c #Conflicts: 693000 | #Constraints: 40185 1071.39/1074.13 c #Conflicts: 694000 | #Constraints: 41185 1071.39/1074.13 c #Conflicts: 695000 | #Constraints: 42185 1071.39/1074.13 c #Conflicts: 696000 | #Constraints: 43185 1071.39/1074.13 c #Conflicts: 697000 | #Constraints: 44186 1071.39/1074.13 c #Conflicts: 698000 | #Constraints: 45186 1071.39/1074.13 c #Conflicts: 699000 | #Constraints: 46186 1071.39/1074.13 c #Conflicts: 700000 | #Constraints: 47186 1071.39/1074.13 c #Conflicts: 701000 | #Constraints: 48186 1071.39/1074.13 c #Conflicts: 702000 | #Constraints: 49186 1071.39/1074.13 c #Conflicts: 703000 | #Constraints: 50186 1071.39/1074.13 c #Conflicts: 704000 | #Constraints: 51186 1071.39/1074.13 c #Conflicts: 705000 | #Constraints: 52186 1071.39/1074.13 c #Conflicts: 706000 | #Constraints: 53186 1071.39/1074.13 c #Conflicts: 707000 | #Constraints: 54186 1071.39/1074.13 c #Conflicts: 708000 | #Constraints: 55186 1071.39/1074.13 c #Conflicts: 709000 | #Constraints: 56186 1071.39/1074.13 c #Conflicts: 710000 | #Constraints: 57187 1071.39/1074.13 c INPROCESSING 1071.39/1074.13 c GARBAGE COLLECT 1071.39/1074.13 c rational objective 107 1095.34/1098.16 c #Conflicts: 711000 | #Constraints: 33717 1095.34/1098.16 c #Conflicts: 712000 | #Constraints: 34717 1095.34/1098.16 c #Conflicts: 713000 | #Constraints: 35717 1095.34/1098.16 c #Conflicts: 714000 | #Constraints: 36717 1095.34/1098.16 c #Conflicts: 715000 | #Constraints: 37717 1095.34/1098.16 c #Conflicts: 716000 | #Constraints: 38717 1095.34/1098.16 c #Conflicts: 717000 | #Constraints: 39717 1095.34/1098.16 c #Conflicts: 718000 | #Constraints: 40717 1095.34/1098.16 c #Conflicts: 719000 | #Constraints: 41717 1095.34/1098.16 c #Conflicts: 720000 | #Constraints: 42717 1095.34/1098.16 c #Conflicts: 721000 | #Constraints: 43717 1095.34/1098.16 c #Conflicts: 722000 | #Constraints: 44717 1095.34/1098.16 c #Conflicts: 723000 | #Constraints: 45717 1095.34/1098.16 c #Conflicts: 724000 | #Constraints: 46717 1095.34/1098.16 c #Conflicts: 725000 | #Constraints: 47717 1095.34/1098.16 c #Conflicts: 726000 | #Constraints: 48717 1095.34/1098.16 c #Conflicts: 727000 | #Constraints: 49717 1095.34/1098.16 c #Conflicts: 728000 | #Constraints: 50717 1095.34/1098.16 c #Conflicts: 729000 | #Constraints: 51717 1095.34/1098.16 c #Conflicts: 730000 | #Constraints: 52717 1095.34/1098.16 c INPROCESSING 1095.34/1098.16 c GARBAGE COLLECT 1095.34/1098.16 c rational objective 107 1202.07/1205.10 c #Conflicts: 731000 | #Constraints: 31521 1202.07/1205.10 c #Conflicts: 732000 | #Constraints: 32521 1202.07/1205.10 c #Conflicts: 733000 | #Constraints: 33521 1202.07/1205.10 c #Conflicts: 734000 | #Constraints: 34521 1202.07/1205.10 c #Conflicts: 735000 | #Constraints: 35521 1202.07/1205.10 c #Conflicts: 736000 | #Constraints: 36521 1202.07/1205.10 c #Conflicts: 737000 | #Constraints: 37521 1202.07/1205.10 c #Conflicts: 738000 | #Constraints: 38521 1202.07/1205.10 c #Conflicts: 739000 | #Constraints: 39522 1202.07/1205.10 c #Conflicts: 740000 | #Constraints: 40523 1202.07/1205.10 c #Conflicts: 741000 | #Constraints: 41523 1202.07/1205.10 c #Conflicts: 742000 | #Constraints: 42523 1202.07/1205.10 c #Conflicts: 743000 | #Constraints: 43523 1202.07/1205.10 c #Conflicts: 744000 | #Constraints: 44523 1202.07/1205.10 c #Conflicts: 745000 | #Constraints: 45523 1202.07/1205.10 c #Conflicts: 746000 | #Constraints: 46523 1202.07/1205.10 c #Conflicts: 747000 | #Constraints: 47523 1202.07/1205.10 c #Conflicts: 748000 | #Constraints: 48523 1202.07/1205.10 c #Conflicts: 749000 | #Constraints: 49523 1202.07/1205.10 c #Conflicts: 750000 | #Constraints: 50523 1202.07/1205.10 c #Conflicts: 751000 | #Constraints: 51523 1202.07/1205.10 c #Conflicts: 752000 | #Constraints: 52524 1202.07/1205.10 c #Conflicts: 753000 | #Constraints: 53524 1202.07/1205.10 c #Conflicts: 754000 | #Constraints: 54524 1202.07/1205.10 c #Conflicts: 755000 | #Constraints: 55524 1202.07/1205.10 c #Conflicts: 756000 | #Constraints: 56525 1202.07/1205.10 c #Conflicts: 757000 | #Constraints: 57525 1202.07/1205.10 c #Conflicts: 758000 | #Constraints: 58525 1202.07/1205.10 c #Conflicts: 759000 | #Constraints: 59525 1202.07/1205.10 c #Conflicts: 760000 | #Constraints: 60525 1202.07/1205.10 c #Conflicts: 761000 | #Constraints: 61525 1202.07/1205.10 c #Conflicts: 762000 | #Constraints: 62525 1202.07/1205.10 c #Conflicts: 763000 | #Constraints: 63525 1202.07/1205.10 c #Conflicts: 764000 | #Constraints: 64525 1202.07/1205.10 c #Conflicts: 765000 | #Constraints: 65525 1202.07/1205.10 c #Conflicts: 766000 | #Constraints: 66525 1202.07/1205.10 c #Conflicts: 767000 | #Constraints: 67525 1202.07/1205.10 c #Conflicts: 768000 | #Constraints: 68526 1202.07/1205.10 c #Conflicts: 769000 | #Constraints: 69526 1202.07/1205.10 c #Conflicts: 770000 | #Constraints: 70526 1202.07/1205.10 c #Conflicts: 771000 | #Constraints: 71526 1202.07/1205.10 c #Conflicts: 772000 | #Constraints: 72526 1202.07/1205.10 c #Conflicts: 773000 | #Constraints: 73526 1202.07/1205.10 c #Conflicts: 774000 | #Constraints: 74526 1202.07/1205.10 c #Conflicts: 775000 | #Constraints: 75526 1202.07/1205.10 c #Conflicts: 776000 | #Constraints: 76526 1202.07/1205.10 c #Conflicts: 777000 | #Constraints: 77526 1202.07/1205.10 c #Conflicts: 778000 | #Constraints: 78526 1202.07/1205.10 c #Conflicts: 779000 | #Constraints: 79526 1202.07/1205.10 c #Conflicts: 780000 | #Constraints: 80526 1202.07/1205.10 c #Conflicts: 781000 | #Constraints: 81526 1202.07/1205.10 c #Conflicts: 782000 | #Constraints: 82526 1202.07/1205.10 c #Conflicts: 783000 | #Constraints: 83526 1202.07/1205.10 c #Conflicts: 784000 | #Constraints: 84526 1202.07/1205.10 c #Conflicts: 785000 | #Constraints: 85526 1202.07/1205.10 c #Conflicts: 786000 | #Constraints: 86526 1202.07/1205.10 c #Conflicts: 787000 | #Constraints: 87526 1202.07/1205.10 c #Conflicts: 788000 | #Constraints: 88526 1202.07/1205.10 c #Conflicts: 789000 | #Constraints: 89526 1202.07/1205.10 c #Conflicts: 790000 | #Constraints: 90526 1202.07/1205.10 c #Conflicts: 791000 | #Constraints: 91526 1202.07/1205.10 c #Conflicts: 792000 | #Constraints: 92526 1202.07/1205.10 c #Conflicts: 793000 | #Constraints: 93526 1202.07/1205.10 c #Conflicts: 794000 | #Constraints: 94526 1202.07/1205.10 c #Conflicts: 795000 | #Constraints: 95526 1202.07/1205.10 c INPROCESSING 1202.07/1205.10 c GARBAGE COLLECT 1202.07/1205.10 c rational objective 107 1232.39/1235.56 c #Conflicts: 796000 | #Constraints: 53015 1232.39/1235.56 c #Conflicts: 797000 | #Constraints: 54015 1232.39/1235.56 c #Conflicts: 798000 | #Constraints: 55016 1232.39/1235.56 c #Conflicts: 799000 | #Constraints: 56016 1232.39/1235.56 c #Conflicts: 800000 | #Constraints: 57016 1232.39/1235.56 c #Conflicts: 801000 | #Constraints: 58016 1232.39/1235.56 c #Conflicts: 802000 | #Constraints: 59016 1232.39/1235.56 c #Conflicts: 803000 | #Constraints: 60016 1232.39/1235.56 c #Conflicts: 804000 | #Constraints: 61016 1232.39/1235.56 c #Conflicts: 805000 | #Constraints: 62016 1232.39/1235.56 c #Conflicts: 806000 | #Constraints: 63016 1232.39/1235.56 c #Conflicts: 807000 | #Constraints: 64016 1232.39/1235.56 c #Conflicts: 808000 | #Constraints: 65016 1232.39/1235.56 c #Conflicts: 809000 | #Constraints: 66016 1232.39/1235.56 c #Conflicts: 810000 | #Constraints: 67016 1232.39/1235.56 c #Conflicts: 811000 | #Constraints: 68016 1232.39/1235.56 c #Conflicts: 812000 | #Constraints: 69016 1232.39/1235.56 c #Conflicts: 813000 | #Constraints: 70016 1232.39/1235.56 c #Conflicts: 814000 | #Constraints: 71016 1232.39/1235.56 c #Conflicts: 815000 | #Constraints: 72016 1232.39/1235.56 c #Conflicts: 816000 | #Constraints: 73016 1232.39/1235.56 c INPROCESSING 1232.39/1235.56 c GARBAGE COLLECT 1232.39/1235.56 c rational objective 107 1256.53/1259.78 c #Conflicts: 817000 | #Constraints: 41796 1256.53/1259.78 c #Conflicts: 818000 | #Constraints: 42796 1256.53/1259.78 c #Conflicts: 819000 | #Constraints: 43797 1256.53/1259.78 c #Conflicts: 820000 | #Constraints: 44797 1256.53/1259.78 c #Conflicts: 821000 | #Constraints: 45797 1256.53/1259.78 c #Conflicts: 822000 | #Constraints: 46797 1256.53/1259.78 c #Conflicts: 823000 | #Constraints: 47797 1256.53/1259.78 c #Conflicts: 824000 | #Constraints: 48797 1256.53/1259.78 c #Conflicts: 825000 | #Constraints: 49797 1256.53/1259.78 c #Conflicts: 826000 | #Constraints: 50797 1256.53/1259.78 c #Conflicts: 827000 | #Constraints: 51797 1256.53/1259.78 c #Conflicts: 828000 | #Constraints: 52797 1256.53/1259.78 c #Conflicts: 829000 | #Constraints: 53797 1256.53/1259.78 c #Conflicts: 830000 | #Constraints: 54798 1256.53/1259.78 c #Conflicts: 831000 | #Constraints: 55799 1256.53/1259.78 c #Conflicts: 832000 | #Constraints: 56799 1256.53/1259.78 c #Conflicts: 833000 | #Constraints: 57799 1256.53/1259.78 c #Conflicts: 834000 | #Constraints: 58799 1256.53/1259.78 c #Conflicts: 835000 | #Constraints: 59799 1256.53/1259.78 c #Conflicts: 836000 | #Constraints: 60799 1256.53/1259.78 c #Conflicts: 837000 | #Constraints: 61799 1256.53/1259.78 c INPROCESSING 1256.53/1259.78 c GARBAGE COLLECT 1256.53/1259.78 c rational objective 107 1286.66/1289.94 c #Conflicts: 838000 | #Constraints: 36087 1286.66/1289.94 c #Conflicts: 839000 | #Constraints: 37087 1286.66/1289.94 c #Conflicts: 840000 | #Constraints: 38088 1286.66/1289.94 c #Conflicts: 841000 | #Constraints: 39088 1286.66/1289.94 c #Conflicts: 842000 | #Constraints: 40089 1286.66/1289.94 c #Conflicts: 843000 | #Constraints: 41089 1286.66/1289.94 c #Conflicts: 844000 | #Constraints: 42089 1286.66/1289.94 c #Conflicts: 845000 | #Constraints: 43089 1286.66/1289.94 c #Conflicts: 846000 | #Constraints: 44089 1286.66/1289.94 c #Conflicts: 847000 | #Constraints: 45089 1286.66/1289.94 c #Conflicts: 848000 | #Constraints: 46089 1286.66/1289.94 c #Conflicts: 849000 | #Constraints: 47089 1286.66/1289.94 c #Conflicts: 850000 | #Constraints: 48089 1286.66/1289.94 c #Conflicts: 851000 | #Constraints: 49089 1286.66/1289.94 c #Conflicts: 852000 | #Constraints: 50089 1286.66/1289.94 c #Conflicts: 853000 | #Constraints: 51089 1286.66/1289.94 c #Conflicts: 854000 | #Constraints: 52090 1286.66/1289.94 c #Conflicts: 855000 | #Constraints: 53090 1286.66/1289.94 c #Conflicts: 856000 | #Constraints: 54090 1286.66/1289.94 c #Conflicts: 857000 | #Constraints: 55090 1286.66/1289.94 c #Conflicts: 858000 | #Constraints: 56090 1286.66/1289.94 c INPROCESSING 1286.66/1289.94 c GARBAGE COLLECT 1286.66/1289.94 c rational objective 107 1427.42/1431.00 c #Conflicts: 859000 | #Constraints: 33045 1427.42/1431.00 c #Conflicts: 860000 | #Constraints: 34045 1427.42/1431.00 c #Conflicts: 861000 | #Constraints: 35046 1427.42/1431.00 c #Conflicts: 862000 | #Constraints: 36046 1427.42/1431.00 c #Conflicts: 863000 | #Constraints: 37046 1427.42/1431.00 c #Conflicts: 864000 | #Constraints: 38046 1427.42/1431.00 c #Conflicts: 865000 | #Constraints: 39046 1427.42/1431.00 c #Conflicts: 866000 | #Constraints: 40046 1427.42/1431.00 c #Conflicts: 867000 | #Constraints: 41046 1427.42/1431.00 c #Conflicts: 868000 | #Constraints: 42046 1427.42/1431.00 c #Conflicts: 869000 | #Constraints: 43046 1427.42/1431.00 c #Conflicts: 870000 | #Constraints: 44046 1427.42/1431.00 c #Conflicts: 871000 | #Constraints: 45046 1427.42/1431.00 c #Conflicts: 872000 | #Constraints: 46046 1427.42/1431.00 c #Conflicts: 873000 | #Constraints: 47046 1427.42/1431.00 c #Conflicts: 874000 | #Constraints: 48046 1427.42/1431.00 c #Conflicts: 875000 | #Constraints: 49046 1427.42/1431.00 c #Conflicts: 876000 | #Constraints: 50046 1427.42/1431.00 c #Conflicts: 877000 | #Constraints: 51047 1427.42/1431.00 c #Conflicts: 878000 | #Constraints: 52047 1427.42/1431.00 c #Conflicts: 879000 | #Constraints: 53047 1427.42/1431.00 c #Conflicts: 880000 | #Constraints: 54048 1427.42/1431.00 c #Conflicts: 881000 | #Constraints: 55048 1427.42/1431.00 c #Conflicts: 882000 | #Constraints: 56048 1427.42/1431.00 c #Conflicts: 883000 | #Constraints: 57049 1427.42/1431.00 c #Conflicts: 884000 | #Constraints: 58049 1427.42/1431.00 c #Conflicts: 885000 | #Constraints: 59049 1427.42/1431.00 c #Conflicts: 886000 | #Constraints: 60049 1427.42/1431.00 c #Conflicts: 887000 | #Constraints: 61049 1427.42/1431.00 c #Conflicts: 888000 | #Constraints: 62050 1427.42/1431.00 c #Conflicts: 889000 | #Constraints: 63050 1427.42/1431.00 c #Conflicts: 890000 | #Constraints: 64050 1427.42/1431.00 c #Conflicts: 891000 | #Constraints: 65050 1427.42/1431.00 c #Conflicts: 892000 | #Constraints: 66050 1427.42/1431.00 c #Conflicts: 893000 | #Constraints: 67050 1427.42/1431.00 c #Conflicts: 894000 | #Constraints: 68050 1427.42/1431.00 c #Conflicts: 895000 | #Constraints: 69050 1427.42/1431.00 c #Conflicts: 896000 | #Constraints: 70050 1427.42/1431.00 c #Conflicts: 897000 | #Constraints: 71050 1427.42/1431.00 c #Conflicts: 898000 | #Constraints: 72050 1427.42/1431.00 c #Conflicts: 899000 | #Constraints: 73050 1427.42/1431.00 c #Conflicts: 900000 | #Constraints: 74050 1427.42/1431.00 c #Conflicts: 901000 | #Constraints: 75050 1427.42/1431.00 c #Conflicts: 902000 | #Constraints: 76050 1427.42/1431.00 c #Conflicts: 903000 | #Constraints: 77050 1427.42/1431.00 c #Conflicts: 904000 | #Constraints: 78050 1427.42/1431.00 c #Conflicts: 905000 | #Constraints: 79050 1427.42/1431.00 c #Conflicts: 906000 | #Constraints: 80050 1427.42/1431.00 c #Conflicts: 907000 | #Constraints: 81050 1427.42/1431.00 c #Conflicts: 908000 | #Constraints: 82050 1427.42/1431.00 c #Conflicts: 909000 | #Constraints: 83050 1427.42/1431.00 c #Conflicts: 910000 | #Constraints: 84051 1427.42/1431.00 c #Conflicts: 911000 | #Constraints: 85051 1427.42/1431.00 c #Conflicts: 912000 | #Constraints: 86051 1427.42/1431.00 c #Conflicts: 913000 | #Constraints: 87051 1427.42/1431.00 c #Conflicts: 914000 | #Constraints: 88051 1427.42/1431.00 c #Conflicts: 915000 | #Constraints: 89051 1427.42/1431.00 c #Conflicts: 916000 | #Constraints: 90051 1427.42/1431.00 c #Conflicts: 917000 | #Constraints: 91051 1427.42/1431.00 c #Conflicts: 918000 | #Constraints: 92051 1427.42/1431.00 c #Conflicts: 919000 | #Constraints: 93051 1427.42/1431.00 c #Conflicts: 920000 | #Constraints: 94051 1427.42/1431.00 c #Conflicts: 921000 | #Constraints: 95051 1427.42/1431.00 c #Conflicts: 922000 | #Constraints: 96051 1427.42/1431.00 c #Conflicts: 923000 | #Constraints: 97051 1427.42/1431.00 c #Conflicts: 924000 | #Constraints: 98051 1427.42/1431.00 c #Conflicts: 925000 | #Constraints: 99051 1427.42/1431.00 c #Conflicts: 926000 | #Constraints: 100051 1427.42/1431.00 c #Conflicts: 927000 | #Constraints: 101051 1427.42/1431.00 c #Conflicts: 928000 | #Constraints: 102051 1427.42/1431.00 c INPROCESSING 1427.42/1431.00 c GARBAGE COLLECT 1427.42/1431.00 c rational objective 107 1472.80/1476.54 c #Conflicts: 929000 | #Constraints: 55915 1472.80/1476.54 c #Conflicts: 930000 | #Constraints: 56915 1472.80/1476.54 c #Conflicts: 931000 | #Constraints: 57915 1472.80/1476.54 c #Conflicts: 932000 | #Constraints: 58915 1472.80/1476.54 c #Conflicts: 933000 | #Constraints: 59915 1472.80/1476.54 c #Conflicts: 934000 | #Constraints: 60916 1472.80/1476.54 c #Conflicts: 935000 | #Constraints: 61916 1472.80/1476.54 c #Conflicts: 936000 | #Constraints: 62916 1472.80/1476.54 c #Conflicts: 937000 | #Constraints: 63917 1472.80/1476.54 c #Conflicts: 938000 | #Constraints: 64917 1472.80/1476.54 c #Conflicts: 939000 | #Constraints: 65917 1472.80/1476.54 c #Conflicts: 940000 | #Constraints: 66917 1472.80/1476.54 c #Conflicts: 941000 | #Constraints: 67917 1472.80/1476.54 c #Conflicts: 942000 | #Constraints: 68917 1472.80/1476.54 c #Conflicts: 943000 | #Constraints: 69917 1472.80/1476.54 c #Conflicts: 944000 | #Constraints: 70917 1472.80/1476.54 c #Conflicts: 945000 | #Constraints: 71917 1472.80/1476.54 c #Conflicts: 946000 | #Constraints: 72917 1472.80/1476.54 c #Conflicts: 947000 | #Constraints: 73917 1472.80/1476.54 c #Conflicts: 948000 | #Constraints: 74917 1472.80/1476.54 c #Conflicts: 949000 | #Constraints: 75917 1472.80/1476.54 c #Conflicts: 950000 | #Constraints: 76917 1472.80/1476.54 c #Conflicts: 951000 | #Constraints: 77917 1472.80/1476.54 c INPROCESSING 1472.80/1476.54 c GARBAGE COLLECT 1472.80/1476.54 c rational objective 107 1502.24/1506.09 c #Conflicts: 952000 | #Constraints: 43988 1502.24/1506.09 c #Conflicts: 953000 | #Constraints: 44988 1502.24/1506.09 c #Conflicts: 954000 | #Constraints: 45988 1502.24/1506.09 c #Conflicts: 955000 | #Constraints: 46988 1502.24/1506.09 c #Conflicts: 956000 | #Constraints: 47988 1502.24/1506.09 c #Conflicts: 957000 | #Constraints: 48988 1502.24/1506.09 c #Conflicts: 958000 | #Constraints: 49988 1502.24/1506.09 c #Conflicts: 959000 | #Constraints: 50988 1502.24/1506.09 c #Conflicts: 960000 | #Constraints: 51988 1502.24/1506.09 c #Conflicts: 961000 | #Constraints: 52988 1502.24/1506.09 c #Conflicts: 962000 | #Constraints: 53988 1502.24/1506.09 c #Conflicts: 963000 | #Constraints: 54988 1502.24/1506.09 c #Conflicts: 964000 | #Constraints: 55988 1502.24/1506.09 c #Conflicts: 965000 | #Constraints: 56988 1502.24/1506.09 c #Conflicts: 966000 | #Constraints: 57988 1502.24/1506.09 c #Conflicts: 967000 | #Constraints: 58988 1502.24/1506.09 c #Conflicts: 968000 | #Constraints: 59988 1502.24/1506.09 c #Conflicts: 969000 | #Constraints: 60988 1502.24/1506.09 c #Conflicts: 970000 | #Constraints: 61988 1502.24/1506.09 c #Conflicts: 971000 | #Constraints: 62988 1502.24/1506.09 c #Conflicts: 972000 | #Constraints: 63988 1502.24/1506.09 c #Conflicts: 973000 | #Constraints: 64988 1502.24/1506.09 c #Conflicts: 974000 | #Constraints: 65988 1502.24/1506.09 c INPROCESSING 1502.24/1506.09 c GARBAGE COLLECT 1502.24/1506.09 c rational objective 107 1543.93/1547.83 c #Conflicts: 975000 | #Constraints: 38137 1543.93/1547.83 c #Conflicts: 976000 | #Constraints: 39137 1543.93/1547.83 c #Conflicts: 977000 | #Constraints: 40137 1543.93/1547.83 c #Conflicts: 978000 | #Constraints: 41137 1543.93/1547.83 c #Conflicts: 979000 | #Constraints: 42137 1543.93/1547.83 c #Conflicts: 980000 | #Constraints: 43137 1543.93/1547.83 c #Conflicts: 981000 | #Constraints: 44137 1543.93/1547.83 c #Conflicts: 982000 | #Constraints: 45138 1543.93/1547.83 c #Conflicts: 983000 | #Constraints: 46138 1543.93/1547.83 c #Conflicts: 984000 | #Constraints: 47138 1543.93/1547.83 c #Conflicts: 985000 | #Constraints: 48138 1543.93/1547.83 c #Conflicts: 986000 | #Constraints: 49138 1543.93/1547.83 c #Conflicts: 987000 | #Constraints: 50138 1543.93/1547.83 c #Conflicts: 988000 | #Constraints: 51138 1543.93/1547.83 c #Conflicts: 989000 | #Constraints: 52138 1543.93/1547.83 c #Conflicts: 990000 | #Constraints: 53138 1543.93/1547.83 c #Conflicts: 991000 | #Constraints: 54138 1543.93/1547.83 c #Conflicts: 992000 | #Constraints: 55138 1543.93/1547.83 c #Conflicts: 993000 | #Constraints: 56138 1543.93/1547.83 c #Conflicts: 994000 | #Constraints: 57138 1543.93/1547.83 c #Conflicts: 995000 | #Constraints: 58138 1543.93/1547.83 c #Conflicts: 996000 | #Constraints: 59138 1543.93/1547.83 c #Conflicts: 997000 | #Constraints: 60138 1543.93/1547.83 c INPROCESSING 1543.93/1547.83 c GARBAGE COLLECT 1543.93/1547.83 c rational objective 107 1706.32/1710.61 c #Conflicts: 998000 | #Constraints: 35084 1706.32/1710.61 c #Conflicts: 999000 | #Constraints: 36084 1706.32/1710.61 c #Conflicts: 1000000 | #Constraints: 37086 1706.32/1710.61 c #Conflicts: 1001000 | #Constraints: 38086 1706.32/1710.61 c #Conflicts: 1002000 | #Constraints: 39086 1706.32/1710.61 c #Conflicts: 1003000 | #Constraints: 40087 1706.32/1710.61 c #Conflicts: 1004000 | #Constraints: 41087 1706.32/1710.61 c #Conflicts: 1005000 | #Constraints: 42087 1706.32/1710.61 c #Conflicts: 1006000 | #Constraints: 43087 1706.32/1710.61 c #Conflicts: 1007000 | #Constraints: 44087 1706.32/1710.61 c #Conflicts: 1008000 | #Constraints: 45087 1706.32/1710.61 c #Conflicts: 1009000 | #Constraints: 46087 1706.32/1710.61 c #Conflicts: 1010000 | #Constraints: 47087 1706.32/1710.61 c #Conflicts: 1011000 | #Constraints: 48087 1706.32/1710.61 c #Conflicts: 1012000 | #Constraints: 49087 1706.32/1710.61 c #Conflicts: 1013000 | #Constraints: 50087 1706.32/1710.61 c #Conflicts: 1014000 | #Constraints: 51087 1706.32/1710.61 c #Conflicts: 1015000 | #Constraints: 52087 1706.32/1710.61 c #Conflicts: 1016000 | #Constraints: 53087 1706.32/1710.61 c #Conflicts: 1017000 | #Constraints: 54088 1706.32/1710.61 c #Conflicts: 1018000 | #Constraints: 55088 1706.32/1710.61 c #Conflicts: 1019000 | #Constraints: 56088 1706.32/1710.61 c #Conflicts: 1020000 | #Constraints: 57088 1706.32/1710.61 c #Conflicts: 1021000 | #Constraints: 58088 1706.32/1710.61 c #Conflicts: 1022000 | #Constraints: 59088 1706.32/1710.61 c #Conflicts: 1023000 | #Constraints: 60088 1706.32/1710.61 c #Conflicts: 1024000 | #Constraints: 61088 1706.32/1710.61 c #Conflicts: 1025000 | #Constraints: 62088 1706.32/1710.61 c #Conflicts: 1026000 | #Constraints: 63088 1706.32/1710.61 c #Conflicts: 1027000 | #Constraints: 64088 1706.32/1710.61 c #Conflicts: 1028000 | #Constraints: 65088 1706.32/1710.61 c #Conflicts: 1029000 | #Constraints: 66088 1706.32/1710.61 c #Conflicts: 1030000 | #Constraints: 67088 1706.32/1710.61 c #Conflicts: 1031000 | #Constraints: 68088 1706.32/1710.61 c #Conflicts: 1032000 | #Constraints: 69088 1706.32/1710.61 c #Conflicts: 1033000 | #Constraints: 70088 1706.32/1710.61 c #Conflicts: 1034000 | #Constraints: 71088 1706.32/1710.61 c #Conflicts: 1035000 | #Constraints: 72088 1706.32/1710.61 c #Conflicts: 1036000 | #Constraints: 73088 1706.32/1710.61 c #Conflicts: 1037000 | #Constraints: 74088 1706.32/1710.61 c #Conflicts: 1038000 | #Constraints: 75088 1706.32/1710.61 c #Conflicts: 1039000 | #Constraints: 76088 1706.32/1710.61 c #Conflicts: 1040000 | #Constraints: 77088 1706.32/1710.61 c #Conflicts: 1041000 | #Constraints: 78088 1706.32/1710.61 c #Conflicts: 1042000 | #Constraints: 79088 1706.32/1710.61 c #Conflicts: 1043000 | #Constraints: 80089 1706.32/1710.61 c #Conflicts: 1044000 | #Constraints: 81089 1706.32/1710.61 c #Conflicts: 1045000 | #Constraints: 82089 1706.32/1710.61 c #Conflicts: 1046000 | #Constraints: 83089 1706.32/1710.61 c #Conflicts: 1047000 | #Constraints: 84089 1706.32/1710.61 c #Conflicts: 1048000 | #Constraints: 85089 1706.32/1710.61 c #Conflicts: 1049000 | #Constraints: 86089 1706.32/1710.61 c #Conflicts: 1050000 | #Constraints: 87089 1706.32/1710.61 c #Conflicts: 1051000 | #Constraints: 88089 1706.32/1710.61 c #Conflicts: 1052000 | #Constraints: 89090 1706.32/1710.61 c #Conflicts: 1053000 | #Constraints: 90090 1706.32/1710.61 c #Conflicts: 1054000 | #Constraints: 91090 1706.32/1710.61 c #Conflicts: 1055000 | #Constraints: 92090 1706.32/1710.61 c #Conflicts: 1056000 | #Constraints: 93090 1706.32/1710.61 c #Conflicts: 1057000 | #Constraints: 94090 1706.32/1710.61 c #Conflicts: 1058000 | #Constraints: 95090 1706.32/1710.61 c #Conflicts: 1059000 | #Constraints: 96090 1706.32/1710.61 c #Conflicts: 1060000 | #Constraints: 97090 1706.32/1710.61 c #Conflicts: 1061000 | #Constraints: 98090 1706.32/1710.61 c #Conflicts: 1062000 | #Constraints: 99090 1706.32/1710.61 c #Conflicts: 1063000 | #Constraints: 100090 1706.32/1710.61 c #Conflicts: 1064000 | #Constraints: 101090 1706.32/1710.61 c #Conflicts: 1065000 | #Constraints: 102090 1706.32/1710.61 c #Conflicts: 1066000 | #Constraints: 103090 1706.32/1710.61 c #Conflicts: 1067000 | #Constraints: 104090 1706.32/1710.61 c #Conflicts: 1068000 | #Constraints: 105090 1706.32/1710.61 c #Conflicts: 1069000 | #Constraints: 106090 1706.32/1710.61 c #Conflicts: 1070000 | #Constraints: 107090 1706.32/1710.61 c #Conflicts: 1071000 | #Constraints: 108090 1706.32/1710.61 c #Conflicts: 1072000 | #Constraints: 109090 1706.32/1710.61 c #Conflicts: 1073000 | #Constraints: 110090 1706.32/1710.61 c INPROCESSING 1706.32/1710.61 c GARBAGE COLLECT 1706.32/1710.61 c rational objective 107 1756.19/1760.65 c #Conflicts: 1074000 | #Constraints: 60398 1756.19/1760.65 c #Conflicts: 1075000 | #Constraints: 61398 1756.19/1760.65 c #Conflicts: 1076000 | #Constraints: 62398 1756.19/1760.65 c #Conflicts: 1077000 | #Constraints: 63398 1756.19/1760.65 c #Conflicts: 1078000 | #Constraints: 64398 1756.19/1760.65 c #Conflicts: 1079000 | #Constraints: 65398 1756.19/1760.65 c #Conflicts: 1080000 | #Constraints: 66398 1756.19/1760.65 c #Conflicts: 1081000 | #Constraints: 67399 1756.19/1760.65 c #Conflicts: 1082000 | #Constraints: 68399 1756.19/1760.65 c #Conflicts: 1083000 | #Constraints: 69399 1756.19/1760.65 c #Conflicts: 1084000 | #Constraints: 70400 1756.19/1760.65 c #Conflicts: 1085000 | #Constraints: 71401 1756.19/1760.65 c #Conflicts: 1086000 | #Constraints: 72401 1756.19/1760.65 c #Conflicts: 1087000 | #Constraints: 73401 1756.19/1760.65 c #Conflicts: 1088000 | #Constraints: 74401 1756.19/1760.65 c #Conflicts: 1089000 | #Constraints: 75401 1756.19/1760.65 c #Conflicts: 1090000 | #Constraints: 76401 1756.19/1760.65 c #Conflicts: 1091000 | #Constraints: 77401 1756.19/1760.65 c #Conflicts: 1092000 | #Constraints: 78401 1756.19/1760.65 c #Conflicts: 1093000 | #Constraints: 79401 1756.19/1760.65 c #Conflicts: 1094000 | #Constraints: 80401 1756.19/1760.65 c #Conflicts: 1095000 | #Constraints: 81401 1756.19/1760.65 c #Conflicts: 1096000 | #Constraints: 82401 1756.19/1760.65 c #Conflicts: 1097000 | #Constraints: 83401 1756.19/1760.65 c INPROCESSING 1756.19/1760.65 c GARBAGE COLLECT 1756.19/1760.65 c rational objective 107 1833.59/1838.21 c #Conflicts: 1098000 | #Constraints: 46833 1833.59/1838.21 c #Conflicts: 1099000 | #Constraints: 47833 1833.59/1838.21 c #Conflicts: 1100000 | #Constraints: 48833 1833.59/1838.21 c #Conflicts: 1101000 | #Constraints: 49833 1833.59/1838.21 c #Conflicts: 1102000 | #Constraints: 50833 1833.59/1838.21 c #Conflicts: 1103000 | #Constraints: 51833 1833.59/1838.21 c #Conflicts: 1104000 | #Constraints: 52833 1833.59/1838.21 c #Conflicts: 1105000 | #Constraints: 53833 1833.59/1838.21 c #Conflicts: 1106000 | #Constraints: 54833 1833.59/1838.21 c #Conflicts: 1107000 | #Constraints: 55833 1833.59/1838.21 c #Conflicts: 1108000 | #Constraints: 56833 1833.59/1838.21 c #Conflicts: 1109000 | #Constraints: 57833 1833.59/1838.21 c #Conflicts: 1110000 | #Constraints: 58833 1833.59/1838.21 c #Conflicts: 1111000 | #Constraints: 59833 1833.59/1838.21 c #Conflicts: 1112000 | #Constraints: 60833 1833.59/1838.21 c #Conflicts: 1113000 | #Constraints: 61834 1833.59/1838.21 c #Conflicts: 1114000 | #Constraints: 62834 1833.59/1838.21 c #Conflicts: 1115000 | #Constraints: 63835 1833.59/1838.21 c #Conflicts: 1116000 | #Constraints: 64835 1833.59/1838.21 c #Conflicts: 1117000 | #Constraints: 65835 1833.59/1838.21 c #Conflicts: 1118000 | #Constraints: 66835 1833.59/1838.21 c #Conflicts: 1119000 | #Constraints: 67835 1833.59/1838.21 c #Conflicts: 1120000 | #Constraints: 68835 1833.59/1838.21 c #Conflicts: 1121000 | #Constraints: 69835 1833.59/1838.21 c #Conflicts: 1122000 | #Constraints: 70835 1833.59/1838.21 c INPROCESSING 1833.59/1838.21 c GARBAGE COLLECT 1833.59/1838.21 c rational objective 107 1865.50/1870.20 c #Conflicts: 1123000 | #Constraints: 40846 1865.50/1870.20 c #Conflicts: 1124000 | #Constraints: 41846 1865.50/1870.20 c #Conflicts: 1125000 | #Constraints: 42846 1865.50/1870.20 c #Conflicts: 1126000 | #Constraints: 43846 1865.50/1870.20 c #Conflicts: 1127000 | #Constraints: 44846 1865.50/1870.20 c #Conflicts: 1128000 | #Constraints: 45846 1865.50/1870.20 c #Conflicts: 1129000 | #Constraints: 46846 1865.50/1870.20 c #Conflicts: 1130000 | #Constraints: 47846 1865.50/1870.20 c #Conflicts: 1131000 | #Constraints: 48846 1865.50/1870.20 c #Conflicts: 1132000 | #Constraints: 49847 1865.50/1870.20 c #Conflicts: 1133000 | #Constraints: 50848 1865.50/1870.20 c #Conflicts: 1134000 | #Constraints: 51848 1865.50/1870.20 c #Conflicts: 1135000 | #Constraints: 52848 1865.50/1870.20 c #Conflicts: 1136000 | #Constraints: 53848 1865.50/1870.20 c #Conflicts: 1137000 | #Constraints: 54848 1865.50/1870.20 c #Conflicts: 1138000 | #Constraints: 55848 1865.50/1870.20 c #Conflicts: 1139000 | #Constraints: 56848 1865.50/1870.20 c #Conflicts: 1140000 | #Constraints: 57848 1865.50/1870.20 c #Conflicts: 1141000 | #Constraints: 58848 1865.50/1870.20 c #Conflicts: 1142000 | #Constraints: 59848 1865.50/1870.20 c #Conflicts: 1143000 | #Constraints: 60848 1865.50/1870.20 c #Conflicts: 1144000 | #Constraints: 61848 1865.50/1870.20 c #Conflicts: 1145000 | #Constraints: 62848 1865.50/1870.20 c #Conflicts: 1146000 | #Constraints: 63848 1865.50/1870.20 c INPROCESSING 1865.50/1870.20 c GARBAGE COLLECT 1865.50/1870.20 c rational objective 107 1985.16/1990.23 c #Conflicts: 1147000 | #Constraints: 36897 1985.16/1990.23 c #Conflicts: 1148000 | #Constraints: 37897 1985.16/1990.23 c #Conflicts: 1149000 | #Constraints: 38897 1985.16/1990.23 c #Conflicts: 1150000 | #Constraints: 39897 1985.16/1990.23 c #Conflicts: 1151000 | #Constraints: 40897 1985.16/1990.23 c #Conflicts: 1152000 | #Constraints: 41897 1985.16/1990.23 c #Conflicts: 1153000 | #Constraints: 42897 1985.16/1990.23 c #Conflicts: 1154000 | #Constraints: 43897 1985.16/1990.23 c #Conflicts: 1155000 | #Constraints: 44897 1985.16/1990.23 c #Conflicts: 1156000 | #Constraints: 45897 1985.16/1990.23 c #Conflicts: 1157000 | #Constraints: 46898 1985.16/1990.23 c #Conflicts: 1158000 | #Constraints: 47898 1985.16/1990.23 c #Conflicts: 1159000 | #Constraints: 48898 1985.16/1990.23 c #Conflicts: 1160000 | #Constraints: 49898 1985.16/1990.23 c #Conflicts: 1161000 | #Constraints: 50898 1985.16/1990.23 c #Conflicts: 1162000 | #Constraints: 51898 1985.16/1990.23 c #Conflicts: 1163000 | #Constraints: 52898 1985.16/1990.23 c #Conflicts: 1164000 | #Constraints: 53898 1985.16/1990.23 c #Conflicts: 1165000 | #Constraints: 54898 1985.16/1990.23 c #Conflicts: 1166000 | #Constraints: 55898 1985.16/1990.23 c #Conflicts: 1167000 | #Constraints: 56898 1985.16/1990.23 c #Conflicts: 1168000 | #Constraints: 57898 1985.16/1990.23 c #Conflicts: 1169000 | #Constraints: 58898 1985.16/1990.23 c #Conflicts: 1170000 | #Constraints: 59898 1985.16/1990.23 c #Conflicts: 1171000 | #Constraints: 60898 1985.16/1990.23 c #Conflicts: 1172000 | #Constraints: 61898 1985.16/1990.23 c #Conflicts: 1173000 | #Constraints: 62898 1985.16/1990.23 c #Conflicts: 1174000 | #Constraints: 63898 1985.16/1990.23 c #Conflicts: 1175000 | #Constraints: 64898 1985.16/1990.23 c #Conflicts: 1176000 | #Constraints: 65898 1985.16/1990.23 c #Conflicts: 1177000 | #Constraints: 66898 1985.16/1990.23 c #Conflicts: 1178000 | #Constraints: 67898 1985.16/1990.23 c #Conflicts: 1179000 | #Constraints: 68898 1985.16/1990.23 c #Conflicts: 1180000 | #Constraints: 69898 1985.16/1990.23 c #Conflicts: 1181000 | #Constraints: 70899 1985.16/1990.23 c #Conflicts: 1182000 | #Constraints: 71899 1985.16/1990.23 c #Conflicts: 1183000 | #Constraints: 72899 1985.16/1990.23 c #Conflicts: 1184000 | #Constraints: 73900 1985.16/1990.23 c #Conflicts: 1185000 | #Constraints: 74900 1985.16/1990.23 c #Conflicts: 1186000 | #Constraints: 75900 1985.16/1990.23 c #Conflicts: 1187000 | #Constraints: 76900 1985.16/1990.23 c #Conflicts: 1188000 | #Constraints: 77900 1985.16/1990.23 c #Conflicts: 1189000 | #Constraints: 78900 1985.16/1990.23 c #Conflicts: 1190000 | #Constraints: 79900 1985.16/1990.23 c #Conflicts: 1191000 | #Constraints: 80900 1985.16/1990.23 c #Conflicts: 1192000 | #Constraints: 81900 1985.16/1990.23 c #Conflicts: 1193000 | #Constraints: 82900 1985.16/1990.23 c #Conflicts: 1194000 | #Constraints: 83900 1985.16/1990.23 c #Conflicts: 1195000 | #Constraints: 84900 1985.16/1990.23 c #Conflicts: 1196000 | #Constraints: 85901 1985.16/1990.23 c #Conflicts: 1197000 | #Constraints: 86901 1985.16/1990.23 c #Conflicts: 1198000 | #Constraints: 87901 1985.16/1990.23 c #Conflicts: 1199000 | #Constraints: 88901 1985.16/1990.23 c #Conflicts: 1200000 | #Constraints: 89901 1985.16/1990.23 c #Conflicts: 1201000 | #Constraints: 90902 1985.16/1990.23 c #Conflicts: 1202000 | #Constraints: 91902 1985.16/1990.23 c #Conflicts: 1203000 | #Constraints: 92902 1985.16/1990.23 c #Conflicts: 1204000 | #Constraints: 93902 1985.16/1990.23 c #Conflicts: 1205000 | #Constraints: 94902 1985.16/1990.23 c #Conflicts: 1206000 | #Constraints: 95902 1985.16/1990.23 c #Conflicts: 1207000 | #Constraints: 96902 1985.16/1990.23 c #Conflicts: 1208000 | #Constraints: 97902 1985.16/1990.23 c #Conflicts: 1209000 | #Constraints: 98902 1985.16/1990.23 c #Conflicts: 1210000 | #Constraints: 99902 1985.16/1990.23 c #Conflicts: 1211000 | #Constraints: 100902 1985.16/1990.23 c #Conflicts: 1212000 | #Constraints: 101902 1985.16/1990.23 c #Conflicts: 1213000 | #Constraints: 102902 1985.16/1990.23 c #Conflicts: 1214000 | #Constraints: 103902 1985.16/1990.23 c cpu time 1961.12 s 1985.16/1990.23 c deterministic time 221266276954 2.21e+11 1985.16/1990.23 c optimization time 8.2e-05 s 1985.16/1990.23 c total solve time 1961.1 s 1985.16/1990.23 c core-guided solve time 0 s 1985.16/1990.23 c propagation time 1244.19 s 1985.16/1990.23 c conflict analysis time 397.069 s 1985.16/1990.23 c propagations 472314617 1985.16/1990.23 c resolve steps 38862996 1985.16/1990.23 c decisions 11249458 1985.16/1990.23 c conflicts 1214809 1985.16/1990.23 c restarts 2300 1985.16/1990.23 c inprocessing phases 61 1985.16/1990.23 c input clauses 7385 1985.16/1990.23 c input cardinalities 107 1985.16/1990.23 c input general constraints 0 1985.16/1990.23 c input average constraint length 6.24 1985.16/1990.23 c input average constraint degree 1.94 1985.16/1990.23 c learned clauses 811440 1985.16/1990.23 c learned cardinalities 30729 1985.16/1990.23 c learned general constraints 372870 1985.16/1990.23 c learned average constraint length 828.19 1985.16/1990.23 c learned average constraint degree 82338156.04 1985.16/1990.23 c watched constraints 303433 1985.16/1990.23 c counting constraints 69437 1985.16/1990.23 c gcd simplifications 3666 1985.16/1990.23 c detected cardinalities 2664 1985.16/1990.23 c weakened non-implied lits 167573622 1985.16/1990.23 c weakened non-implying lits 335174 1985.16/1990.23 c original variables 7276 1985.16/1990.23 c clausal propagations 173762483 1985.16/1990.23 c cardinality propagations 173643484 1985.16/1990.23 c watched propagations 33334199 1985.16/1990.23 c counting propagations 86917909 1985.16/1990.23 c watch lookups 14772515125 1985.16/1990.23 c watch backjump lookups 11729286688 1985.16/1990.23 c watch checks 156255355088 1985.16/1990.23 c propagation checks 34616277632 1985.16/1990.23 c constraint additions 2922818663 1985.16/1990.23 c trail pops 484778326 1985.16/1990.23 c formula constraints 7492 1985.16/1990.23 c learned constraints 1214684 1985.16/1990.23 c bound constraints 0 1985.16/1990.23 c core-guided constraints 0 1985.16/1990.23 c encountered formula constraints 22149530 1985.16/1990.23 c encountered learned constraints 17925646 1985.16/1990.23 c encountered bound constraints 0 1985.16/1990.23 c encountered core-guided constraints 0 1985.16/1990.23 c LP total time 645.706 s 1985.16/1990.23 c LP solve time 602.51 s 1985.16/1990.23 c LP constraints added 10938 1985.16/1990.23 c LP constraints removed 3397 1985.16/1990.23 c LP pivots internal 1221985 1985.16/1990.23 c LP pivots root 459371 1985.16/1990.23 c LP calls 328 1985.16/1990.23 c LP optimalities 147 1985.16/1990.23 c LP no pivot count 2 1985.16/1990.23 c LP infeasibilities 175 1985.16/1990.23 c LP valid Farkas constraints 173 1985.16/1990.23 c LP learned Farkas constraints 125 1985.16/1990.23 c LP basis resets 2 1985.16/1990.23 c LP cycling count 0 1985.16/1990.23 c LP singular count 0 1985.16/1990.23 c LP no primal count 0 1985.16/1990.23 c LP no farkas count 2 1985.16/1990.23 c LP other issue count 0 1985.16/1990.23 c LP Gomory cuts 57 1985.16/1990.23 c LP learned cuts 3389 1985.16/1990.23 c LP deleted cuts 3397 1985.16/1990.23 c LP encountered Gomory constraints 136 1985.16/1990.23 c LP encountered Farkas constraints 1778 1985.16/1990.23 c LP encountered learned Farkas constraints 590 1985.16/1990.23 c CG auxiliary variables introduced 0 1985.16/1990.23 c CG solutions found 0 1985.16/1990.23 c CG cores constructed 0 1985.16/1990.23 c CG core cardinality constraints returned 0 1985.16/1990.23 c CG unit cores 0 1985.16/1990.23 c CG single cores 0 1985.16/1990.23 c CG blocks removed during cardinality reduction 0 1985.16/1990.23 c CG first core best 0 1985.16/1990.23 c CG decision core best 0 1985.16/1990.23 c CG core reduction tie 0 1985.16/1990.23 c CG core degree average 0.00 1985.16/1990.23 c CG core slack average 0.00 1985.16/1990.23 s SATISFIABLE 1985.16/1990.23 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 x4609 -x4610 x4611 -x4612 x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 x5121 -x5122 x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 x6393 -x6394 -x6395 -x6396 x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 -x6574 x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61161 MiB free)
memory of node 1: 64473 MiB (63387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447090-1721346846/watcher-4447090-1721346846 -o /tmp/evaluation-result-4447090-1721346846/solver-4447090-1721346846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721343249-975305 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447090-1721346846.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=977346, runsolver pid=977343
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.10 4.11 4.04 5/257 977347
/proc/meminfo: memFree=127526548/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=49832 memory=18864 CPUtime=0.1 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 3979 0 0 0 9 1 0 0 20 0 1 0 186851608 51027968 4716 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 12458 4716 1677 922 0 4410 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49832 KiB
Current children cumulated memory: 18864 KiB
[startup+0.20462 s]*
/proc/loadavg: 4.10 4.11 4.04 5/257 977347
/proc/meminfo: memFree=127525180/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=50928 memory=19920 CPUtime=0.2 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 4245 0 0 0 19 1 0 0 20 0 1 0 186851608 52150272 4980 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 12732 4980 1677 922 0 4684 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 19920 KiB
[startup+0.304577 s]*
/proc/loadavg: 4.10 4.11 4.04 5/257 977347
/proc/meminfo: memFree=127522376/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=50928 memory=19920 CPUtime=0.3 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 4256 0 0 0 29 1 0 0 20 0 1 0 186851608 52150272 4980 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 12732 4980 1677 922 0 4684 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 19920 KiB
[startup+0.700156 s]
/proc/loadavg: 4.10 4.11 4.04 5/257 977347
/proc/meminfo: memFree=127519180/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=50928 memory=20184 CPUtime=0.69 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 4278 0 0 0 67 2 0 0 20 0 1 0 186851608 52150272 5046 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 12732 5046 1677 922 0 4684 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 20184 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.11 4.04 5/257 977347
/proc/meminfo: memFree=127515396/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=52592 memory=25040 CPUtime=1.48 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 4974 0 0 0 141 7 0 0 20 0 1 0 186851608 53854208 6260 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 13148 6260 1723 922 0 5100 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52592 KiB
Current children cumulated memory: 25040 KiB
[startup+3.10575 s]
/proc/loadavg: 4.09 4.10 4.04 4/255 977347
/proc/meminfo: memFree=129299732/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=54208 memory=27144 CPUtime=3.08 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 5455 0 0 0 298 10 0 0 20 0 1 0 186851608 55508992 6786 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 13552 6786 1723 922 0 5504 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 27144 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.10 4.04 5/257 977395
/proc/meminfo: memFree=129277064/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=54496 memory=27408 CPUtime=6.27 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 5568 0 0 0 608 19 0 0 20 0 1 0 186851608 55803904 6852 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 13624 6852 1723 922 0 5576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 27408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.04 5/257 977395
/proc/meminfo: memFree=129247200/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=59584 memory=30840 CPUtime=12.66 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 6340 0 0 0 1234 32 0 0 20 0 1 0 186851608 61014016 7710 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 14896 7710 1797 922 0 6848 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59584 KiB
Current children cumulated memory: 30840 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.04 5/257 977398
/proc/meminfo: memFree=129182636/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=81744 memory=53128 CPUtime=25.43 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 11638 0 0 0 2483 60 0 0 20 0 1 0 186851608 83705856 13282 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 20436 13282 1797 922 0 12388 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 81744 KiB
Current children cumulated memory: 53128 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.10 4.04 5/257 977401
/proc/meminfo: memFree=129118192/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=105388 memory=73344 CPUtime=50.97 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 13552 0 0 0 4988 109 0 0 20 0 1 0 186851608 107917312 18336 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 26347 18336 1797 922 0 18299 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 105388 KiB
Current children cumulated memory: 73344 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/257 977795
/proc/meminfo: memFree=128962376/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=169664 memory=115884 CPUtime=102.04 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 18657 0 0 0 9995 209 0 0 20 0 1 0 186851608 173735936 28971 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 42416 28971 1813 922 0 34368 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 169664 KiB
Current children cumulated memory: 115884 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.16 4.06 5/257 977805
/proc/meminfo: memFree=128771096/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=187732 memory=160816 CPUtime=161.89 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 23299 0 0 0 15900 289 0 0 20 0 1 0 186851608 192237568 40204 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 46933 40204 1813 922 0 38885 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 187732 KiB
Current children cumulated memory: 160816 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.19 4.08 5/257 977816
/proc/meminfo: memFree=128679596/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=192324 memory=165120 CPUtime=221.74 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 24944 0 0 0 21754 420 0 0 20 0 1 0 186851608 196939776 41280 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 48081 41280 1813 922 0 40033 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 192324 KiB
Current children cumulated memory: 165120 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.08 5/259 977996
/proc/meminfo: memFree=128462392/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=340180 memory=261788 CPUtime=281.6 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 30059 0 0 0 27662 498 0 0 20 0 1 0 186851608 348344320 65447 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 85045 65447 1813 922 0 76997 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 340180 KiB
Current children cumulated memory: 261788 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.08 5/259 978006
/proc/meminfo: memFree=128451892/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=340180 memory=261788 CPUtime=341.45 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 30070 0 0 0 33547 598 0 0 20 0 1 0 186851608 348344320 65447 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 85045 65447 1813 922 0 76997 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 340180 KiB
Current children cumulated memory: 261788 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/259 978020
/proc/meminfo: memFree=128404184/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=342712 memory=264180 CPUtime=401.3 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 30745 0 0 0 39463 667 0 0 20 0 1 0 186851608 350937088 66045 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 85678 66045 1813 922 0 77630 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 342712 KiB
Current children cumulated memory: 264180 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 978044
/proc/meminfo: memFree=128331212/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=346292 memory=268188 CPUtime=461.16 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 33179 0 0 0 45371 745 0 0 20 0 1 0 186851608 354603008 67047 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 86573 67047 1813 922 0 78525 0
################
# More data... #
################
/proc/loadavg: 4.05 4.10 4.09 5/254 978238
/proc/meminfo: memFree=127562432/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=539948 memory=477572 CPUtime=1538.45 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 52701 0 0 0 151823 2022 0 0 20 0 1 0 186851608 552906752 119393 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 134987 119393 1928 922 0 126939 0
Current children cumulated CPU time: 1538.45 s
Current children cumulated vsize: 539948 KiB
Current children cumulated memory: 477572 KiB
[startup+1602.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 978253
/proc/meminfo: memFree=127496600/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=539948 memory=477728 CPUtime=1598.31 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 52873 0 0 0 157749 2082 0 0 20 0 1 0 186851608 552906752 119432 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 134987 119432 1928 922 0 126939 0
Current children cumulated CPU time: 1598.31 s
Current children cumulated vsize: 539948 KiB
Current children cumulated memory: 477728 KiB
[startup+1662.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 978264
/proc/meminfo: memFree=127337188/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=754872 memory=563452 CPUtime=1658.15 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 53512 0 0 0 163698 2117 0 0 20 0 1 0 186851608 772988928 140863 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 188718 140863 1928 922 0 180670 0
Current children cumulated CPU time: 1658.15 s
Current children cumulated vsize: 754872 KiB
Current children cumulated memory: 563452 KiB
[startup+1722.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 978274
/proc/meminfo: memFree=127108116/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765976 memory=672456 CPUtime=1718 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 56348 0 0 0 169645 2155 0 0 20 0 1 0 186851608 784359424 168114 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191494 168114 1928 922 0 183446 0
Current children cumulated CPU time: 1718 s
Current children cumulated vsize: 765976 KiB
Current children cumulated memory: 672456 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 978285
/proc/meminfo: memFree=126994384/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=760320 memory=666920 CPUtime=1777.83 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 56997 0 0 0 175584 2199 0 0 20 0 1 0 186851608 778567680 166730 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 190080 166730 1928 922 0 182032 0
Current children cumulated CPU time: 1777.83 s
Current children cumulated vsize: 760320 KiB
Current children cumulated memory: 666920 KiB
[startup+1842.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 978296
/proc/meminfo: memFree=126949352/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=761004 memory=671788 CPUtime=1837.68 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 57410 0 0 0 181530 2238 0 0 20 0 1 0 186851608 779268096 167947 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 190251 167947 1928 922 0 182203 0
Current children cumulated CPU time: 1837.68 s
Current children cumulated vsize: 761004 KiB
Current children cumulated memory: 671788 KiB
[startup+1902.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 978691
/proc/meminfo: memFree=126816888/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=761828 memory=672372 CPUtime=1897.52 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 58439 0 0 0 187417 2335 0 0 20 0 1 0 186851608 780111872 168093 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 190457 168093 1928 922 0 182409 0
Current children cumulated CPU time: 1897.52 s
Current children cumulated vsize: 761828 KiB
Current children cumulated memory: 672372 KiB
[startup+1962.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 978701
/proc/meminfo: memFree=126768744/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=763024 memory=673352 CPUtime=1957.34 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 58913 0 0 0 193343 2391 0 0 20 0 1 0 186851608 781336576 168338 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 190756 168338 1928 922 0 182708 0
Current children cumulated CPU time: 1957.34 s
Current children cumulated vsize: 763024 KiB
Current children cumulated memory: 673352 KiB
[startup+1990.25 s]
# the end of solver process 977346 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1961.12 s, system=24.0909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1971.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 978703
/proc/meminfo: memFree=126767736/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=764340 memory=674376 CPUtime=1966.22 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59123 0 0 0 194225 2397 0 0 20 0 1 0 186851608 782684160 168594 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191085 168594 1928 922 0 183037 0
Current children cumulated CPU time: 1966.22 s
Current children cumulated vsize: 764340 KiB
Current children cumulated memory: 674376 KiB
[startup+1984 s]*
/proc/loadavg: 4.04 4.07 4.08 5/257 978706
/proc/meminfo: memFree=126766504/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675440 CPUtime=1978.99 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59489 0 0 0 195494 2405 0 0 20 0 1 0 186851608 784191488 168860 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168860 1928 922 0 183405 0
Current children cumulated CPU time: 1978.99 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675440 KiB
[startup+1987.2 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 978707
/proc/meminfo: memFree=126766364/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675440 CPUtime=1982.17 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59498 0 0 0 195810 2407 0 0 20 0 1 0 186851608 784191488 168860 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168860 1928 922 0 183405 0
Current children cumulated CPU time: 1982.17 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675440 KiB
[startup+1988.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 978707
/proc/meminfo: memFree=126766308/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675676 CPUtime=1983.76 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59541 0 0 0 195969 2407 0 0 20 0 1 0 186851608 784191488 168919 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168919 1928 922 0 183405 0
Current children cumulated CPU time: 1983.76 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675676 KiB
[startup+1989.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 978707
/proc/meminfo: memFree=126766168/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675676 CPUtime=1984.56 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59541 0 0 0 196048 2408 0 0 20 0 1 0 186851608 784191488 168919 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168919 1928 922 0 183405 0
Current children cumulated CPU time: 1984.56 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675676 KiB
[startup+1990 s]*
/proc/loadavg: 4.12 4.09 4.09 5/257 978707
/proc/meminfo: memFree=126766140/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675676 CPUtime=1984.96 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59542 0 0 0 196088 2408 0 0 20 0 1 0 186851608 784191488 168919 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168919 1928 922 0 183405 0
Current children cumulated CPU time: 1984.96 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675676 KiB
[startup+1990.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 978707
/proc/meminfo: memFree=126766140/131524600 swapFree=131071996/131071996
[pid=977346] ppid=977343 vsize=765812 memory=675676 CPUtime=1985.16 cores=5,7
/proc/977346/stat : 977346 (roundingsat) R 977343 977346 975292 0 -1 4194304 59558 0 0 0 196108 2408 0 0 20 0 1 0 186851608 784191488 168919 134679101440 4194304 7968869 140730857619376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28282880 140730857624509 140730857624673 140730857624673 140730857631689 0
/proc/977346/statm: 191453 168919 1928 922 0 183405 0
Current children cumulated CPU time: 1985.16 s
Current children cumulated vsize: 765812 KiB
Current children cumulated memory: 675676 KiB
Child status: 0
Real time (s): 1990.25
CPU time (s): 1985.21
CPU user time (s): 1961.12
CPU system time (s): 24.0909
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 766580
Max. memory (cumulated for all children) (KiB): 675676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1961.12
system time used= 24.0909
maximum resident set size= 675676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59568
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= 197
involuntary context switches= 2064
# summary of solver processes directly reported to runsolver:
# pid: 977346
# total CPU time (s): 1985.21
# total CPU user time (s): 1961.12
# total CPU system time (s): 24.0909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60088 second user time and 8.75315 second system time
The end
Begin job on nodeC028 at 2024-07-19 01:54:18 IDJOB=4447090 IDBENCH=158360 IDSOLVER=3051 FILE ID=nodeC028/4447090-1721346846 RUNJOBID= nodeC028-1721343249-975305 SLURM_JOB_ID= 7542744 Free space on /tmp= 890048 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-4447090-1721346846/watcher-4447090-1721346846 -o /tmp/evaluation-result-4447090-1721346846/solver-4447090-1721346846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721343249-975305 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447090-1721346846.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99 RANDOM SEED=904447404 nodeC028.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 : 3664.062 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.56 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 : 3671.437 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3599.976 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.56 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.105 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3664.018 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.56 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 : 3660.861 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3599.801 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.56 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 : 3663.618 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127539612 kB MemAvailable: 127928640 kB Buffers: 494456 kB Cached: 736060 kB SwapCached: 0 kB Active: 996368 kB Inactive: 2389708 kB Active(anon): 1512 kB Inactive(anon): 2191436 kB Active(file): 994856 kB Inactive(file): 198272 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16888 kB Writeback: 0 kB AnonPages: 2150524 kB Mapped: 114768 kB Shmem: 37720 kB KReclaimable: 71444 kB Slab: 178892 kB SReclaimable: 71444 kB SUnreclaim: 107448 kB KernelStack: 4176 kB PageTables: 13800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2668072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 1361920 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: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890044 MiB End job on nodeC028 at 2024-07-19 02:27:28