| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.02 | 3609.69 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb |
| MD5SUM | 5359c0df8e4997707ebdbb5ef15bc818 |
| 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.62095 |
| 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 | 6664 |
| Total number of constraints | 6862 |
| Number of constraints which are clauses | 6764 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| 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 | 99 |
| 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 6664 #constraints 6862 10.66/10.76 c #Conflicts: 1000 | #Constraints: 7861 10.66/10.76 c #Conflicts: 2000 | #Constraints: 8861 10.66/10.76 c INPROCESSING 10.66/10.76 c GARBAGE COLLECT 10.66/10.76 c #Conflicts: 3000 | #Constraints: 8549 10.66/10.76 c #Conflicts: 4000 | #Constraints: 9549 10.66/10.76 c INPROCESSING 10.66/10.76 c GARBAGE COLLECT 10.66/10.76 c #Conflicts: 5000 | #Constraints: 9020 10.66/10.76 c #Conflicts: 6000 | #Constraints: 10020 10.66/10.76 c INPROCESSING 10.66/10.76 c GARBAGE COLLECT 10.66/10.76 c rational objective 98 47.88/48.01 c #Conflicts: 7000 | #Constraints: 9077 47.88/48.01 c #Conflicts: 8000 | #Constraints: 10077 47.88/48.01 c #Conflicts: 9000 | #Constraints: 11077 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 10000 | #Constraints: 9825 47.88/48.01 c #Conflicts: 11000 | #Constraints: 10825 47.88/48.01 c #Conflicts: 12000 | #Constraints: 11825 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 13000 | #Constraints: 10321 47.88/48.01 c #Conflicts: 14000 | #Constraints: 11321 47.88/48.01 c #Conflicts: 15000 | #Constraints: 12321 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 16000 | #Constraints: 10590 47.88/48.01 c #Conflicts: 17000 | #Constraints: 11590 47.88/48.01 c #Conflicts: 18000 | #Constraints: 12590 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 19000 | #Constraints: 10639 47.88/48.01 c #Conflicts: 20000 | #Constraints: 11639 47.88/48.01 c #Conflicts: 21000 | #Constraints: 12639 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 22000 | #Constraints: 10472 47.88/48.01 c #Conflicts: 23000 | #Constraints: 11472 47.88/48.01 c #Conflicts: 24000 | #Constraints: 12472 47.88/48.01 c #Conflicts: 25000 | #Constraints: 13472 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 26000 | #Constraints: 11087 47.88/48.01 c #Conflicts: 27000 | #Constraints: 12088 47.88/48.01 c #Conflicts: 28000 | #Constraints: 13088 47.88/48.01 c #Conflicts: 29000 | #Constraints: 14088 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c #Conflicts: 30000 | #Constraints: 11504 47.88/48.01 c #Conflicts: 31000 | #Constraints: 12504 47.88/48.01 c #Conflicts: 32000 | #Constraints: 13504 47.88/48.01 c #Conflicts: 33000 | #Constraints: 14504 47.88/48.01 c INPROCESSING 47.88/48.01 c GARBAGE COLLECT 47.88/48.01 c rational objective 98 68.63/68.89 c #Conflicts: 34000 | #Constraints: 11747 68.63/68.89 c #Conflicts: 35000 | #Constraints: 12747 68.63/68.89 c #Conflicts: 36000 | #Constraints: 13747 68.63/68.89 c #Conflicts: 37000 | #Constraints: 14747 68.63/68.89 c #Conflicts: 38000 | #Constraints: 15747 68.63/68.89 c #Conflicts: 39000 | #Constraints: 16748 68.63/68.89 c #Conflicts: 40000 | #Constraints: 17752 68.63/68.89 c #Conflicts: 41000 | #Constraints: 18756 68.63/68.89 c #Conflicts: 42000 | #Constraints: 19756 68.63/68.89 c #Conflicts: 43000 | #Constraints: 20756 68.63/68.89 c #Conflicts: 44000 | #Constraints: 21758 68.63/68.89 c #Conflicts: 45000 | #Constraints: 22759 68.63/68.89 c #Conflicts: 46000 | #Constraints: 23760 68.63/68.89 c #Conflicts: 47000 | #Constraints: 24760 68.63/68.89 c #Conflicts: 48000 | #Constraints: 25761 68.63/68.89 c INPROCESSING 68.63/68.89 c GARBAGE COLLECT 68.63/68.89 c rational objective 98 127.49/127.85 c #Conflicts: 49000 | #Constraints: 17408 127.49/127.85 c #Conflicts: 50000 | #Constraints: 18408 127.49/127.85 c #Conflicts: 51000 | #Constraints: 19409 127.49/127.85 c #Conflicts: 52000 | #Constraints: 20409 127.49/127.85 c #Conflicts: 53000 | #Constraints: 21409 127.49/127.85 c INPROCESSING 127.49/127.85 c GARBAGE COLLECT 127.49/127.85 c #Conflicts: 54000 | #Constraints: 15125 127.49/127.85 c #Conflicts: 55000 | #Constraints: 16125 127.49/127.85 c #Conflicts: 56000 | #Constraints: 17125 127.49/127.85 c #Conflicts: 57000 | #Constraints: 18125 127.49/127.85 c #Conflicts: 58000 | #Constraints: 19125 127.49/127.85 c INPROCESSING 127.49/127.85 c GARBAGE COLLECT 127.49/127.85 c #Conflicts: 59000 | #Constraints: 13737 127.49/127.85 c #Conflicts: 60000 | #Constraints: 14737 127.49/127.85 c #Conflicts: 61000 | #Constraints: 15737 127.49/127.85 c #Conflicts: 62000 | #Constraints: 16737 127.49/127.85 c #Conflicts: 63000 | #Constraints: 17738 127.49/127.85 c #Conflicts: 64000 | #Constraints: 18738 127.49/127.85 c INPROCESSING 127.49/127.85 c GARBAGE COLLECT 127.49/127.85 c #Conflicts: 65000 | #Constraints: 13668 127.49/127.85 c #Conflicts: 66000 | #Constraints: 14668 127.49/127.85 c #Conflicts: 67000 | #Constraints: 15668 127.49/127.85 c #Conflicts: 68000 | #Constraints: 16669 127.49/127.85 c #Conflicts: 69000 | #Constraints: 17669 127.49/127.85 c #Conflicts: 70000 | #Constraints: 18669 127.49/127.85 c INPROCESSING 127.49/127.85 c GARBAGE COLLECT 127.49/127.85 c #Conflicts: 71000 | #Constraints: 13658 127.49/127.85 c #Conflicts: 72000 | #Constraints: 14658 127.49/127.85 c #Conflicts: 73000 | #Constraints: 15658 127.49/127.85 c #Conflicts: 74000 | #Constraints: 16658 127.49/127.85 c #Conflicts: 75000 | #Constraints: 17658 127.49/127.85 c #Conflicts: 76000 | #Constraints: 18659 127.49/127.85 c #Conflicts: 77000 | #Constraints: 19659 127.49/127.85 c #Conflicts: 78000 | #Constraints: 20659 127.49/127.85 c #Conflicts: 79000 | #Constraints: 21659 127.49/127.85 c #Conflicts: 80000 | #Constraints: 22659 127.49/127.85 c #Conflicts: 81000 | #Constraints: 23659 127.49/127.85 c #Conflicts: 82000 | #Constraints: 24659 127.49/127.85 c #Conflicts: 83000 | #Constraints: 25659 127.49/127.85 c #Conflicts: 84000 | #Constraints: 26659 127.49/127.85 c #Conflicts: 85000 | #Constraints: 27659 127.49/127.85 c #Conflicts: 86000 | #Constraints: 28659 127.49/127.85 c #Conflicts: 87000 | #Constraints: 29659 127.49/127.85 c #Conflicts: 88000 | #Constraints: 30659 127.49/127.85 c #Conflicts: 89000 | #Constraints: 31659 127.49/127.85 c #Conflicts: 90000 | #Constraints: 32659 127.49/127.85 c #Conflicts: 91000 | #Constraints: 33659 127.49/127.85 c INPROCESSING 127.49/127.85 c GARBAGE COLLECT 127.49/127.85 c rational objective 98 137.46/137.87 c #Conflicts: 92000 | #Constraints: 20967 137.46/137.87 c #Conflicts: 93000 | #Constraints: 21967 137.46/137.87 c #Conflicts: 94000 | #Constraints: 22967 137.46/137.87 c #Conflicts: 95000 | #Constraints: 23967 137.46/137.87 c #Conflicts: 96000 | #Constraints: 24967 137.46/137.87 c #Conflicts: 97000 | #Constraints: 25967 137.46/137.87 c #Conflicts: 98000 | #Constraints: 26967 137.46/137.87 c #Conflicts: 99000 | #Constraints: 27967 137.46/137.87 c INPROCESSING 137.46/137.87 c GARBAGE COLLECT 137.46/137.87 c rational objective 98 146.84/147.25 c #Conflicts: 100000 | #Constraints: 18594 146.84/147.25 c #Conflicts: 101000 | #Constraints: 19594 146.84/147.25 c #Conflicts: 102000 | #Constraints: 20594 146.84/147.25 c #Conflicts: 103000 | #Constraints: 21594 146.84/147.25 c #Conflicts: 104000 | #Constraints: 22594 146.84/147.25 c #Conflicts: 105000 | #Constraints: 23594 146.84/147.25 c #Conflicts: 106000 | #Constraints: 24594 146.84/147.25 c INPROCESSING 146.84/147.25 c GARBAGE COLLECT 146.84/147.25 c rational objective 98 160.62/161.08 c #Conflicts: 107000 | #Constraints: 16707 160.62/161.08 c #Conflicts: 108000 | #Constraints: 17707 160.62/161.08 c #Conflicts: 109000 | #Constraints: 18707 160.62/161.08 c #Conflicts: 110000 | #Constraints: 19708 160.62/161.08 c #Conflicts: 111000 | #Constraints: 20708 160.62/161.08 c #Conflicts: 112000 | #Constraints: 21709 160.62/161.08 c #Conflicts: 113000 | #Constraints: 22709 160.62/161.08 c #Conflicts: 114000 | #Constraints: 23709 160.62/161.08 c INPROCESSING 160.62/161.08 c GARBAGE COLLECT 160.62/161.08 c rational objective 98 198.32/198.86 c #Conflicts: 115000 | #Constraints: 16466 198.32/198.86 c #Conflicts: 116000 | #Constraints: 17467 198.32/198.86 c #Conflicts: 117000 | #Constraints: 18467 198.32/198.86 c #Conflicts: 118000 | #Constraints: 19468 198.32/198.86 c #Conflicts: 119000 | #Constraints: 20468 198.32/198.86 c #Conflicts: 120000 | #Constraints: 21468 198.32/198.86 c #Conflicts: 121000 | #Constraints: 22468 198.32/198.86 c INPROCESSING 198.32/198.86 c GARBAGE COLLECT 198.32/198.86 c #Conflicts: 122000 | #Constraints: 15504 198.32/198.86 c #Conflicts: 123000 | #Constraints: 16504 198.32/198.86 c #Conflicts: 124000 | #Constraints: 17504 198.32/198.86 c #Conflicts: 125000 | #Constraints: 18504 198.32/198.86 c #Conflicts: 126000 | #Constraints: 19504 198.32/198.86 c #Conflicts: 127000 | #Constraints: 20504 198.32/198.86 c #Conflicts: 128000 | #Constraints: 21504 198.32/198.86 c #Conflicts: 129000 | #Constraints: 22504 198.32/198.86 c #Conflicts: 130000 | #Constraints: 23504 198.32/198.86 c #Conflicts: 131000 | #Constraints: 24504 198.32/198.86 c #Conflicts: 132000 | #Constraints: 25504 198.32/198.86 c #Conflicts: 133000 | #Constraints: 26504 198.32/198.86 c #Conflicts: 134000 | #Constraints: 27504 198.32/198.86 c #Conflicts: 135000 | #Constraints: 28504 198.32/198.86 c #Conflicts: 136000 | #Constraints: 29504 198.32/198.86 c #Conflicts: 137000 | #Constraints: 30504 198.32/198.86 c #Conflicts: 138000 | #Constraints: 31504 198.32/198.86 c #Conflicts: 139000 | #Constraints: 32504 198.32/198.86 c #Conflicts: 140000 | #Constraints: 33504 198.32/198.86 c #Conflicts: 141000 | #Constraints: 34504 198.32/198.86 c #Conflicts: 142000 | #Constraints: 35504 198.32/198.86 c #Conflicts: 143000 | #Constraints: 36504 198.32/198.86 c #Conflicts: 144000 | #Constraints: 37504 198.32/198.86 c #Conflicts: 145000 | #Constraints: 38504 198.32/198.86 c #Conflicts: 146000 | #Constraints: 39504 198.32/198.86 c #Conflicts: 147000 | #Constraints: 40504 198.32/198.86 c #Conflicts: 148000 | #Constraints: 41504 198.32/198.86 c #Conflicts: 149000 | #Constraints: 42504 198.32/198.86 c INPROCESSING 198.32/198.86 c GARBAGE COLLECT 198.32/198.86 c rational objective 98 216.07/216.65 c #Conflicts: 150000 | #Constraints: 25589 216.07/216.65 c #Conflicts: 151000 | #Constraints: 26589 216.07/216.65 c #Conflicts: 152000 | #Constraints: 27589 216.07/216.65 c #Conflicts: 153000 | #Constraints: 28590 216.07/216.65 c #Conflicts: 154000 | #Constraints: 29590 216.07/216.65 c #Conflicts: 155000 | #Constraints: 30590 216.07/216.65 c #Conflicts: 156000 | #Constraints: 31590 216.07/216.65 c #Conflicts: 157000 | #Constraints: 32590 216.07/216.65 c #Conflicts: 158000 | #Constraints: 33590 216.07/216.65 c INPROCESSING 216.07/216.65 c GARBAGE COLLECT 216.07/216.65 c rational objective 98 226.64/227.25 c #Conflicts: 159000 | #Constraints: 21161 226.64/227.25 c #Conflicts: 160000 | #Constraints: 22162 226.64/227.25 c #Conflicts: 161000 | #Constraints: 23163 226.64/227.25 c #Conflicts: 162000 | #Constraints: 24163 226.64/227.25 c #Conflicts: 163000 | #Constraints: 25164 226.64/227.25 c #Conflicts: 164000 | #Constraints: 26164 226.64/227.25 c #Conflicts: 165000 | #Constraints: 27164 226.64/227.25 c #Conflicts: 166000 | #Constraints: 28165 226.64/227.25 c #Conflicts: 167000 | #Constraints: 29165 226.64/227.25 c #Conflicts: 168000 | #Constraints: 30165 226.64/227.25 c INPROCESSING 226.64/227.25 c GARBAGE COLLECT 226.64/227.25 c rational objective 98 234.03/234.64 c #Conflicts: 169000 | #Constraints: 19774 234.03/234.64 c #Conflicts: 170000 | #Constraints: 20775 234.03/234.64 c #Conflicts: 171000 | #Constraints: 21775 234.03/234.64 c #Conflicts: 172000 | #Constraints: 22775 234.03/234.64 c #Conflicts: 173000 | #Constraints: 23775 234.03/234.64 c #Conflicts: 174000 | #Constraints: 24775 234.03/234.64 c #Conflicts: 175000 | #Constraints: 25775 234.03/234.64 c #Conflicts: 176000 | #Constraints: 26775 234.03/234.64 c #Conflicts: 177000 | #Constraints: 27775 234.03/234.64 c INPROCESSING 234.03/234.64 c GARBAGE COLLECT 234.03/234.64 c rational objective 98 283.10/283.88 c #Conflicts: 178000 | #Constraints: 18326 283.10/283.88 c #Conflicts: 179000 | #Constraints: 19326 283.10/283.88 c #Conflicts: 180000 | #Constraints: 20326 283.10/283.88 c #Conflicts: 181000 | #Constraints: 21326 283.10/283.88 c #Conflicts: 182000 | #Constraints: 22326 283.10/283.88 c #Conflicts: 183000 | #Constraints: 23326 283.10/283.88 c #Conflicts: 184000 | #Constraints: 24326 283.10/283.88 c #Conflicts: 185000 | #Constraints: 25326 283.10/283.88 c #Conflicts: 186000 | #Constraints: 26326 283.10/283.88 c #Conflicts: 187000 | #Constraints: 27326 283.10/283.88 c #Conflicts: 188000 | #Constraints: 28326 283.10/283.88 c #Conflicts: 189000 | #Constraints: 29326 283.10/283.88 c #Conflicts: 190000 | #Constraints: 30326 283.10/283.88 c #Conflicts: 191000 | #Constraints: 31326 283.10/283.88 c #Conflicts: 192000 | #Constraints: 32326 283.10/283.88 c #Conflicts: 193000 | #Constraints: 33326 283.10/283.88 c #Conflicts: 194000 | #Constraints: 34326 283.10/283.88 c #Conflicts: 195000 | #Constraints: 35326 283.10/283.88 c #Conflicts: 196000 | #Constraints: 36326 283.10/283.88 c #Conflicts: 197000 | #Constraints: 37326 283.10/283.88 c #Conflicts: 198000 | #Constraints: 38326 283.10/283.88 c #Conflicts: 199000 | #Constraints: 39326 283.10/283.88 c #Conflicts: 200000 | #Constraints: 40326 283.10/283.88 c #Conflicts: 201000 | #Constraints: 41326 283.10/283.88 c #Conflicts: 202000 | #Constraints: 42326 283.10/283.88 c #Conflicts: 203000 | #Constraints: 43326 283.10/283.88 c #Conflicts: 204000 | #Constraints: 44327 283.10/283.88 c #Conflicts: 205000 | #Constraints: 45327 283.10/283.88 c #Conflicts: 206000 | #Constraints: 46327 283.10/283.88 c #Conflicts: 207000 | #Constraints: 47328 283.10/283.88 c #Conflicts: 208000 | #Constraints: 48328 283.10/283.88 c #Conflicts: 209000 | #Constraints: 49329 283.10/283.88 c #Conflicts: 210000 | #Constraints: 50330 283.10/283.88 c INPROCESSING 283.10/283.88 c GARBAGE COLLECT 283.10/283.88 c rational objective 98 299.57/300.31 c #Conflicts: 211000 | #Constraints: 29620 299.57/300.31 c #Conflicts: 212000 | #Constraints: 30620 299.57/300.31 c #Conflicts: 213000 | #Constraints: 31620 299.57/300.31 c #Conflicts: 214000 | #Constraints: 32620 299.57/300.31 c #Conflicts: 215000 | #Constraints: 33620 299.57/300.31 c #Conflicts: 216000 | #Constraints: 34620 299.57/300.31 c #Conflicts: 217000 | #Constraints: 35620 299.57/300.31 c #Conflicts: 218000 | #Constraints: 36620 299.57/300.31 c #Conflicts: 219000 | #Constraints: 37620 299.57/300.31 c #Conflicts: 220000 | #Constraints: 38620 299.57/300.31 c #Conflicts: 221000 | #Constraints: 39620 299.57/300.31 c INPROCESSING 299.57/300.31 c GARBAGE COLLECT 299.57/300.31 c rational objective 98 314.23/315.02 c #Conflicts: 222000 | #Constraints: 24327 314.23/315.02 c #Conflicts: 223000 | #Constraints: 25327 314.23/315.02 c #Conflicts: 224000 | #Constraints: 26327 314.23/315.02 c #Conflicts: 225000 | #Constraints: 27327 314.23/315.02 c #Conflicts: 226000 | #Constraints: 28327 314.23/315.02 c #Conflicts: 227000 | #Constraints: 29327 314.23/315.02 c #Conflicts: 228000 | #Constraints: 30327 314.23/315.02 c #Conflicts: 229000 | #Constraints: 31327 314.23/315.02 c #Conflicts: 230000 | #Constraints: 32328 314.23/315.02 c #Conflicts: 231000 | #Constraints: 33328 314.23/315.02 c #Conflicts: 232000 | #Constraints: 34328 314.23/315.02 c INPROCESSING 314.23/315.02 c GARBAGE COLLECT 314.23/315.02 c rational objective 98 328.50/329.35 c #Conflicts: 233000 | #Constraints: 21679 328.50/329.35 c #Conflicts: 234000 | #Constraints: 22680 328.50/329.35 c #Conflicts: 235000 | #Constraints: 23681 328.50/329.35 c #Conflicts: 236000 | #Constraints: 24682 328.50/329.35 c #Conflicts: 237000 | #Constraints: 25683 328.50/329.35 c #Conflicts: 238000 | #Constraints: 26684 328.50/329.35 c #Conflicts: 239000 | #Constraints: 27684 328.50/329.35 c #Conflicts: 240000 | #Constraints: 28684 328.50/329.35 c #Conflicts: 241000 | #Constraints: 29684 328.50/329.35 c #Conflicts: 242000 | #Constraints: 30684 328.50/329.35 c #Conflicts: 243000 | #Constraints: 31684 328.50/329.35 c INPROCESSING 328.50/329.35 c GARBAGE COLLECT 328.50/329.35 c rational objective 98 391.04/392.01 c #Conflicts: 244000 | #Constraints: 20275 391.04/392.01 c #Conflicts: 245000 | #Constraints: 21275 391.04/392.01 c #Conflicts: 246000 | #Constraints: 22275 391.04/392.01 c #Conflicts: 247000 | #Constraints: 23275 391.04/392.01 c #Conflicts: 248000 | #Constraints: 24275 391.04/392.01 c #Conflicts: 249000 | #Constraints: 25276 391.04/392.01 c #Conflicts: 250000 | #Constraints: 26276 391.04/392.01 c #Conflicts: 251000 | #Constraints: 27276 391.04/392.01 c #Conflicts: 252000 | #Constraints: 28276 391.04/392.01 c #Conflicts: 253000 | #Constraints: 29277 391.04/392.01 c #Conflicts: 254000 | #Constraints: 30277 391.04/392.01 c #Conflicts: 255000 | #Constraints: 31277 391.04/392.01 c #Conflicts: 256000 | #Constraints: 32277 391.04/392.01 c #Conflicts: 257000 | #Constraints: 33277 391.04/392.01 c #Conflicts: 258000 | #Constraints: 34277 391.04/392.01 c #Conflicts: 259000 | #Constraints: 35277 391.04/392.01 c #Conflicts: 260000 | #Constraints: 36277 391.04/392.01 c #Conflicts: 261000 | #Constraints: 37277 391.04/392.01 c #Conflicts: 262000 | #Constraints: 38277 391.04/392.01 c #Conflicts: 263000 | #Constraints: 39277 391.04/392.01 c #Conflicts: 264000 | #Constraints: 40277 391.04/392.01 c #Conflicts: 265000 | #Constraints: 41277 391.04/392.01 c #Conflicts: 266000 | #Constraints: 42277 391.04/392.01 c #Conflicts: 267000 | #Constraints: 43277 391.04/392.01 c #Conflicts: 268000 | #Constraints: 44277 391.04/392.01 c #Conflicts: 269000 | #Constraints: 45277 391.04/392.01 c #Conflicts: 270000 | #Constraints: 46277 391.04/392.01 c #Conflicts: 271000 | #Constraints: 47277 391.04/392.01 c #Conflicts: 272000 | #Constraints: 48277 391.04/392.01 c #Conflicts: 273000 | #Constraints: 49277 391.04/392.01 c #Conflicts: 274000 | #Constraints: 50277 391.04/392.01 c #Conflicts: 275000 | #Constraints: 51277 391.04/392.01 c #Conflicts: 276000 | #Constraints: 52277 391.04/392.01 c #Conflicts: 277000 | #Constraints: 53277 391.04/392.01 c #Conflicts: 278000 | #Constraints: 54278 391.04/392.01 c #Conflicts: 279000 | #Constraints: 55278 391.04/392.01 c #Conflicts: 280000 | #Constraints: 56278 391.04/392.01 c #Conflicts: 281000 | #Constraints: 57278 391.04/392.01 c #Conflicts: 282000 | #Constraints: 58278 391.04/392.01 c INPROCESSING 391.04/392.01 c GARBAGE COLLECT 391.04/392.01 c rational objective 98 405.60/406.65 c #Conflicts: 283000 | #Constraints: 33936 405.60/406.65 c #Conflicts: 284000 | #Constraints: 34936 405.60/406.65 c #Conflicts: 285000 | #Constraints: 35936 405.60/406.65 c #Conflicts: 286000 | #Constraints: 36936 405.60/406.65 c #Conflicts: 287000 | #Constraints: 37936 405.60/406.65 c #Conflicts: 288000 | #Constraints: 38936 405.60/406.65 c #Conflicts: 289000 | #Constraints: 39936 405.60/406.65 c #Conflicts: 290000 | #Constraints: 40936 405.60/406.65 c #Conflicts: 291000 | #Constraints: 41936 405.60/406.65 c #Conflicts: 292000 | #Constraints: 42936 405.60/406.65 c #Conflicts: 293000 | #Constraints: 43936 405.60/406.65 c #Conflicts: 294000 | #Constraints: 44936 405.60/406.65 c INPROCESSING 405.60/406.65 c GARBAGE COLLECT 405.60/406.65 c rational objective 98 421.25/422.34 c #Conflicts: 295000 | #Constraints: 26953 421.25/422.34 c #Conflicts: 296000 | #Constraints: 27954 421.25/422.34 c #Conflicts: 297000 | #Constraints: 28954 421.25/422.34 c #Conflicts: 298000 | #Constraints: 29955 421.25/422.34 c #Conflicts: 299000 | #Constraints: 30955 421.25/422.34 c #Conflicts: 300000 | #Constraints: 31956 421.25/422.34 c #Conflicts: 301000 | #Constraints: 32956 421.25/422.34 c #Conflicts: 302000 | #Constraints: 33956 421.25/422.34 c #Conflicts: 303000 | #Constraints: 34956 421.25/422.34 c #Conflicts: 304000 | #Constraints: 35957 421.25/422.34 c #Conflicts: 305000 | #Constraints: 36957 421.25/422.34 c #Conflicts: 306000 | #Constraints: 37957 421.25/422.34 c #Conflicts: 307000 | #Constraints: 38957 421.25/422.34 c INPROCESSING 421.25/422.34 c GARBAGE COLLECT 421.25/422.34 c rational objective 98 434.03/435.19 c #Conflicts: 308000 | #Constraints: 24124 434.03/435.19 c #Conflicts: 309000 | #Constraints: 25125 434.03/435.19 c #Conflicts: 310000 | #Constraints: 26127 434.03/435.19 c #Conflicts: 311000 | #Constraints: 27127 434.03/435.19 c #Conflicts: 312000 | #Constraints: 28127 434.03/435.19 c #Conflicts: 313000 | #Constraints: 29127 434.03/435.19 c #Conflicts: 314000 | #Constraints: 30127 434.03/435.19 c #Conflicts: 315000 | #Constraints: 31127 434.03/435.19 c #Conflicts: 316000 | #Constraints: 32127 434.03/435.19 c #Conflicts: 317000 | #Constraints: 33127 434.03/435.19 c #Conflicts: 318000 | #Constraints: 34127 434.03/435.19 c #Conflicts: 319000 | #Constraints: 35127 434.03/435.19 c #Conflicts: 320000 | #Constraints: 36127 434.03/435.19 c INPROCESSING 434.03/435.19 c GARBAGE COLLECT 434.03/435.19 c rational objective 98 514.02/515.35 c #Conflicts: 321000 | #Constraints: 22773 514.02/515.35 c #Conflicts: 322000 | #Constraints: 23773 514.02/515.35 c #Conflicts: 323000 | #Constraints: 24773 514.02/515.35 c #Conflicts: 324000 | #Constraints: 25773 514.02/515.35 c #Conflicts: 325000 | #Constraints: 26774 514.02/515.35 c #Conflicts: 326000 | #Constraints: 27774 514.02/515.35 c #Conflicts: 327000 | #Constraints: 28774 514.02/515.35 c #Conflicts: 328000 | #Constraints: 29774 514.02/515.35 c #Conflicts: 329000 | #Constraints: 30774 514.02/515.35 c #Conflicts: 330000 | #Constraints: 31774 514.02/515.35 c #Conflicts: 331000 | #Constraints: 32774 514.02/515.35 c #Conflicts: 332000 | #Constraints: 33774 514.02/515.35 c #Conflicts: 333000 | #Constraints: 34774 514.02/515.35 c #Conflicts: 334000 | #Constraints: 35775 514.02/515.35 c #Conflicts: 335000 | #Constraints: 36775 514.02/515.35 c #Conflicts: 336000 | #Constraints: 37775 514.02/515.35 c #Conflicts: 337000 | #Constraints: 38775 514.02/515.35 c #Conflicts: 338000 | #Constraints: 39775 514.02/515.35 c #Conflicts: 339000 | #Constraints: 40775 514.02/515.35 c #Conflicts: 340000 | #Constraints: 41775 514.02/515.35 c #Conflicts: 341000 | #Constraints: 42775 514.02/515.35 c #Conflicts: 342000 | #Constraints: 43775 514.02/515.35 c #Conflicts: 343000 | #Constraints: 44775 514.02/515.35 c #Conflicts: 344000 | #Constraints: 45775 514.02/515.35 c #Conflicts: 345000 | #Constraints: 46775 514.02/515.35 c #Conflicts: 346000 | #Constraints: 47775 514.02/515.35 c #Conflicts: 347000 | #Constraints: 48776 514.02/515.35 c #Conflicts: 348000 | #Constraints: 49776 514.02/515.35 c #Conflicts: 349000 | #Constraints: 50776 514.02/515.35 c #Conflicts: 350000 | #Constraints: 51776 514.02/515.35 c #Conflicts: 351000 | #Constraints: 52777 514.02/515.35 c #Conflicts: 352000 | #Constraints: 53777 514.02/515.35 c #Conflicts: 353000 | #Constraints: 54777 514.02/515.35 c #Conflicts: 354000 | #Constraints: 55777 514.02/515.35 c #Conflicts: 355000 | #Constraints: 56777 514.02/515.35 c #Conflicts: 356000 | #Constraints: 57777 514.02/515.35 c #Conflicts: 357000 | #Constraints: 58777 514.02/515.35 c #Conflicts: 358000 | #Constraints: 59777 514.02/515.35 c #Conflicts: 359000 | #Constraints: 60777 514.02/515.35 c #Conflicts: 360000 | #Constraints: 61777 514.02/515.35 c #Conflicts: 361000 | #Constraints: 62777 514.02/515.35 c #Conflicts: 362000 | #Constraints: 63777 514.02/515.35 c #Conflicts: 363000 | #Constraints: 64778 514.02/515.35 c INPROCESSING 514.02/515.35 c GARBAGE COLLECT 514.02/515.35 c rational objective 98 531.48/532.85 c #Conflicts: 364000 | #Constraints: 36732 531.48/532.85 c #Conflicts: 365000 | #Constraints: 37732 531.48/532.85 c #Conflicts: 366000 | #Constraints: 38732 531.48/532.85 c #Conflicts: 367000 | #Constraints: 39732 531.48/532.85 c #Conflicts: 368000 | #Constraints: 40732 531.48/532.85 c #Conflicts: 369000 | #Constraints: 41732 531.48/532.85 c #Conflicts: 370000 | #Constraints: 42732 531.48/532.85 c #Conflicts: 371000 | #Constraints: 43732 531.48/532.85 c #Conflicts: 372000 | #Constraints: 44732 531.48/532.85 c #Conflicts: 373000 | #Constraints: 45732 531.48/532.85 c #Conflicts: 374000 | #Constraints: 46732 531.48/532.85 c #Conflicts: 375000 | #Constraints: 47732 531.48/532.85 c #Conflicts: 376000 | #Constraints: 48732 531.48/532.85 c #Conflicts: 377000 | #Constraints: 49732 531.48/532.85 c #Conflicts: 378000 | #Constraints: 50732 531.48/532.85 c INPROCESSING 531.48/532.85 c GARBAGE COLLECT 531.48/532.85 c rational objective 98 549.73/551.10 c #Conflicts: 379000 | #Constraints: 30203 549.73/551.10 c #Conflicts: 380000 | #Constraints: 31204 549.73/551.10 c #Conflicts: 381000 | #Constraints: 32205 549.73/551.10 c #Conflicts: 382000 | #Constraints: 33205 549.73/551.10 c #Conflicts: 383000 | #Constraints: 34205 549.73/551.10 c #Conflicts: 384000 | #Constraints: 35205 549.73/551.10 c #Conflicts: 385000 | #Constraints: 36205 549.73/551.10 c #Conflicts: 386000 | #Constraints: 37205 549.73/551.10 c #Conflicts: 387000 | #Constraints: 38205 549.73/551.10 c #Conflicts: 388000 | #Constraints: 39205 549.73/551.10 c #Conflicts: 389000 | #Constraints: 40205 549.73/551.10 c #Conflicts: 390000 | #Constraints: 41205 549.73/551.10 c #Conflicts: 391000 | #Constraints: 42205 549.73/551.10 c #Conflicts: 392000 | #Constraints: 43205 549.73/551.10 c INPROCESSING 549.73/551.10 c GARBAGE COLLECT 549.73/551.10 c rational objective 98 564.69/566.11 c #Conflicts: 393000 | #Constraints: 26208 564.69/566.11 c #Conflicts: 394000 | #Constraints: 27208 564.69/566.11 c #Conflicts: 395000 | #Constraints: 28208 564.69/566.11 c #Conflicts: 396000 | #Constraints: 29208 564.69/566.11 c #Conflicts: 397000 | #Constraints: 30208 564.69/566.11 c #Conflicts: 398000 | #Constraints: 31208 564.69/566.11 c #Conflicts: 399000 | #Constraints: 32208 564.69/566.11 c #Conflicts: 400000 | #Constraints: 33209 564.69/566.11 c #Conflicts: 401000 | #Constraints: 34209 564.69/566.11 c #Conflicts: 402000 | #Constraints: 35209 564.69/566.11 c #Conflicts: 403000 | #Constraints: 36209 564.69/566.11 c #Conflicts: 404000 | #Constraints: 37209 564.69/566.11 c #Conflicts: 405000 | #Constraints: 38209 564.69/566.11 c #Conflicts: 406000 | #Constraints: 39209 564.69/566.11 c #Conflicts: 407000 | #Constraints: 40209 564.69/566.11 c INPROCESSING 564.69/566.11 c GARBAGE COLLECT 564.69/566.11 c rational objective 98 646.49/648.13 c #Conflicts: 408000 | #Constraints: 24913 646.49/648.13 c #Conflicts: 409000 | #Constraints: 25913 646.49/648.13 c #Conflicts: 410000 | #Constraints: 26914 646.49/648.13 c #Conflicts: 411000 | #Constraints: 27914 646.49/648.13 c #Conflicts: 412000 | #Constraints: 28914 646.49/648.13 c #Conflicts: 413000 | #Constraints: 29914 646.49/648.13 c #Conflicts: 414000 | #Constraints: 30915 646.49/648.13 c #Conflicts: 415000 | #Constraints: 31915 646.49/648.13 c #Conflicts: 416000 | #Constraints: 32915 646.49/648.13 c #Conflicts: 417000 | #Constraints: 33915 646.49/648.13 c #Conflicts: 418000 | #Constraints: 34915 646.49/648.13 c #Conflicts: 419000 | #Constraints: 35915 646.49/648.13 c #Conflicts: 420000 | #Constraints: 36915 646.49/648.13 c #Conflicts: 421000 | #Constraints: 37915 646.49/648.13 c #Conflicts: 422000 | #Constraints: 38915 646.49/648.13 c #Conflicts: 423000 | #Constraints: 39915 646.49/648.13 c #Conflicts: 424000 | #Constraints: 40915 646.49/648.13 c #Conflicts: 425000 | #Constraints: 41915 646.49/648.13 c #Conflicts: 426000 | #Constraints: 42915 646.49/648.13 c #Conflicts: 427000 | #Constraints: 43915 646.49/648.13 c #Conflicts: 428000 | #Constraints: 44915 646.49/648.13 c #Conflicts: 429000 | #Constraints: 45915 646.49/648.13 c #Conflicts: 430000 | #Constraints: 46915 646.49/648.13 c #Conflicts: 431000 | #Constraints: 47915 646.49/648.13 c #Conflicts: 432000 | #Constraints: 48915 646.49/648.13 c #Conflicts: 433000 | #Constraints: 49915 646.49/648.13 c #Conflicts: 434000 | #Constraints: 50915 646.49/648.13 c #Conflicts: 435000 | #Constraints: 51915 646.49/648.13 c #Conflicts: 436000 | #Constraints: 52915 646.49/648.13 c #Conflicts: 437000 | #Constraints: 53915 646.49/648.13 c #Conflicts: 438000 | #Constraints: 54915 646.49/648.13 c #Conflicts: 439000 | #Constraints: 55915 646.49/648.13 c #Conflicts: 440000 | #Constraints: 56915 646.49/648.13 c #Conflicts: 441000 | #Constraints: 57915 646.49/648.13 c #Conflicts: 442000 | #Constraints: 58915 646.49/648.13 c #Conflicts: 443000 | #Constraints: 59916 646.49/648.13 c #Conflicts: 444000 | #Constraints: 60916 646.49/648.13 c #Conflicts: 445000 | #Constraints: 61916 646.49/648.13 c #Conflicts: 446000 | #Constraints: 62916 646.49/648.13 c #Conflicts: 447000 | #Constraints: 63916 646.49/648.13 c #Conflicts: 448000 | #Constraints: 64917 646.49/648.13 c #Conflicts: 449000 | #Constraints: 65917 646.49/648.13 c #Conflicts: 450000 | #Constraints: 66917 646.49/648.13 c #Conflicts: 451000 | #Constraints: 67917 646.49/648.13 c #Conflicts: 452000 | #Constraints: 68917 646.49/648.13 c #Conflicts: 453000 | #Constraints: 69917 646.49/648.13 c #Conflicts: 454000 | #Constraints: 70917 646.49/648.13 c #Conflicts: 455000 | #Constraints: 71917 646.49/648.13 c #Conflicts: 456000 | #Constraints: 72917 646.49/648.13 c INPROCESSING 646.49/648.13 c GARBAGE COLLECT 646.49/648.13 c rational objective 98 670.62/672.34 c #Conflicts: 457000 | #Constraints: 41272 670.62/672.34 c #Conflicts: 458000 | #Constraints: 42272 670.62/672.34 c #Conflicts: 459000 | #Constraints: 43272 670.62/672.34 c #Conflicts: 460000 | #Constraints: 44272 670.62/672.34 c #Conflicts: 461000 | #Constraints: 45272 670.62/672.34 c #Conflicts: 462000 | #Constraints: 46272 670.62/672.34 c #Conflicts: 463000 | #Constraints: 47272 670.62/672.34 c #Conflicts: 464000 | #Constraints: 48272 670.62/672.34 c #Conflicts: 465000 | #Constraints: 49272 670.62/672.34 c #Conflicts: 466000 | #Constraints: 50272 670.62/672.34 c #Conflicts: 467000 | #Constraints: 51272 670.62/672.34 c #Conflicts: 468000 | #Constraints: 52272 670.62/672.34 c #Conflicts: 469000 | #Constraints: 53272 670.62/672.34 c #Conflicts: 470000 | #Constraints: 54272 670.62/672.34 c #Conflicts: 471000 | #Constraints: 55272 670.62/672.34 c INPROCESSING 670.62/672.34 c GARBAGE COLLECT 670.62/672.34 c rational objective 98 692.87/694.67 c #Conflicts: 472000 | #Constraints: 32042 692.87/694.67 c #Conflicts: 473000 | #Constraints: 33042 692.87/694.67 c #Conflicts: 474000 | #Constraints: 34042 692.87/694.67 c #Conflicts: 475000 | #Constraints: 35042 692.87/694.67 c #Conflicts: 476000 | #Constraints: 36042 692.87/694.67 c #Conflicts: 477000 | #Constraints: 37042 692.87/694.67 c #Conflicts: 478000 | #Constraints: 38042 692.87/694.67 c #Conflicts: 479000 | #Constraints: 39042 692.87/694.67 c #Conflicts: 480000 | #Constraints: 40042 692.87/694.67 c #Conflicts: 481000 | #Constraints: 41042 692.87/694.67 c #Conflicts: 482000 | #Constraints: 42042 692.87/694.67 c #Conflicts: 483000 | #Constraints: 43042 692.87/694.67 c #Conflicts: 484000 | #Constraints: 44042 692.87/694.67 c #Conflicts: 485000 | #Constraints: 45042 692.87/694.67 c #Conflicts: 486000 | #Constraints: 46042 692.87/694.67 c #Conflicts: 487000 | #Constraints: 47042 692.87/694.67 c #Conflicts: 488000 | #Constraints: 48042 692.87/694.67 c INPROCESSING 692.87/694.67 c GARBAGE COLLECT 692.87/694.67 c rational objective 98 725.19/727.06 c #Conflicts: 489000 | #Constraints: 28869 725.19/727.06 c #Conflicts: 490000 | #Constraints: 29869 725.19/727.06 c #Conflicts: 491000 | #Constraints: 30869 725.19/727.06 c #Conflicts: 492000 | #Constraints: 31869 725.19/727.06 c #Conflicts: 493000 | #Constraints: 32869 725.19/727.06 c #Conflicts: 494000 | #Constraints: 33869 725.19/727.06 c #Conflicts: 495000 | #Constraints: 34869 725.19/727.06 c #Conflicts: 496000 | #Constraints: 35869 725.19/727.06 c #Conflicts: 497000 | #Constraints: 36869 725.19/727.06 c #Conflicts: 498000 | #Constraints: 37869 725.19/727.06 c #Conflicts: 499000 | #Constraints: 38869 725.19/727.06 c #Conflicts: 500000 | #Constraints: 39870 725.19/727.06 c #Conflicts: 501000 | #Constraints: 40870 725.19/727.06 c #Conflicts: 502000 | #Constraints: 41870 725.19/727.06 c #Conflicts: 503000 | #Constraints: 42870 725.19/727.06 c #Conflicts: 504000 | #Constraints: 43870 725.19/727.06 c INPROCESSING 725.19/727.06 c GARBAGE COLLECT 725.19/727.06 c rational objective 98 821.94/824.09 c #Conflicts: 505000 | #Constraints: 26569 821.94/824.09 c #Conflicts: 506000 | #Constraints: 27569 821.94/824.09 c #Conflicts: 507000 | #Constraints: 28569 821.94/824.09 c #Conflicts: 508000 | #Constraints: 29569 821.94/824.09 c #Conflicts: 509000 | #Constraints: 30569 821.94/824.09 c #Conflicts: 510000 | #Constraints: 31569 821.94/824.09 c #Conflicts: 511000 | #Constraints: 32569 821.94/824.09 c #Conflicts: 512000 | #Constraints: 33569 821.94/824.09 c #Conflicts: 513000 | #Constraints: 34569 821.94/824.09 c #Conflicts: 514000 | #Constraints: 35569 821.94/824.09 c #Conflicts: 515000 | #Constraints: 36569 821.94/824.09 c #Conflicts: 516000 | #Constraints: 37569 821.94/824.09 c #Conflicts: 517000 | #Constraints: 38569 821.94/824.09 c #Conflicts: 518000 | #Constraints: 39569 821.94/824.09 c #Conflicts: 519000 | #Constraints: 40569 821.94/824.09 c #Conflicts: 520000 | #Constraints: 41569 821.94/824.09 c #Conflicts: 521000 | #Constraints: 42569 821.94/824.09 c #Conflicts: 522000 | #Constraints: 43569 821.94/824.09 c #Conflicts: 523000 | #Constraints: 44569 821.94/824.09 c #Conflicts: 524000 | #Constraints: 45569 821.94/824.09 c #Conflicts: 525000 | #Constraints: 46569 821.94/824.09 c #Conflicts: 526000 | #Constraints: 47570 821.94/824.09 c #Conflicts: 527000 | #Constraints: 48570 821.94/824.09 c #Conflicts: 528000 | #Constraints: 49570 821.94/824.09 c #Conflicts: 529000 | #Constraints: 50570 821.94/824.09 c #Conflicts: 530000 | #Constraints: 51570 821.94/824.09 c #Conflicts: 531000 | #Constraints: 52570 821.94/824.09 c #Conflicts: 532000 | #Constraints: 53570 821.94/824.09 c #Conflicts: 533000 | #Constraints: 54570 821.94/824.09 c #Conflicts: 534000 | #Constraints: 55570 821.94/824.09 c #Conflicts: 535000 | #Constraints: 56570 821.94/824.09 c #Conflicts: 536000 | #Constraints: 57570 821.94/824.09 c #Conflicts: 537000 | #Constraints: 58570 821.94/824.09 c #Conflicts: 538000 | #Constraints: 59570 821.94/824.09 c #Conflicts: 539000 | #Constraints: 60571 821.94/824.09 c #Conflicts: 540000 | #Constraints: 61571 821.94/824.09 c #Conflicts: 541000 | #Constraints: 62571 821.94/824.09 c #Conflicts: 542000 | #Constraints: 63572 821.94/824.09 c #Conflicts: 543000 | #Constraints: 64572 821.94/824.09 c #Conflicts: 544000 | #Constraints: 65572 821.94/824.09 c #Conflicts: 545000 | #Constraints: 66572 821.94/824.09 c #Conflicts: 546000 | #Constraints: 67572 821.94/824.09 c #Conflicts: 547000 | #Constraints: 68572 821.94/824.09 c #Conflicts: 548000 | #Constraints: 69572 821.94/824.09 c #Conflicts: 549000 | #Constraints: 70572 821.94/824.09 c #Conflicts: 550000 | #Constraints: 71572 821.94/824.09 c #Conflicts: 551000 | #Constraints: 72572 821.94/824.09 c #Conflicts: 552000 | #Constraints: 73572 821.94/824.09 c #Conflicts: 553000 | #Constraints: 74572 821.94/824.09 c #Conflicts: 554000 | #Constraints: 75572 821.94/824.09 c #Conflicts: 555000 | #Constraints: 76572 821.94/824.09 c #Conflicts: 556000 | #Constraints: 77572 821.94/824.09 c #Conflicts: 557000 | #Constraints: 78572 821.94/824.09 c #Conflicts: 558000 | #Constraints: 79572 821.94/824.09 c INPROCESSING 821.94/824.09 c GARBAGE COLLECT 821.94/824.09 c rational objective 98 850.66/852.85 c #Conflicts: 559000 | #Constraints: 44381 850.66/852.85 c #Conflicts: 560000 | #Constraints: 45381 850.66/852.85 c #Conflicts: 561000 | #Constraints: 46381 850.66/852.85 c #Conflicts: 562000 | #Constraints: 47381 850.66/852.85 c #Conflicts: 563000 | #Constraints: 48382 850.66/852.85 c #Conflicts: 564000 | #Constraints: 49383 850.66/852.85 c #Conflicts: 565000 | #Constraints: 50384 850.66/852.85 c #Conflicts: 566000 | #Constraints: 51384 850.66/852.85 c #Conflicts: 567000 | #Constraints: 52384 850.66/852.85 c #Conflicts: 568000 | #Constraints: 53384 850.66/852.85 c #Conflicts: 569000 | #Constraints: 54384 850.66/852.85 c #Conflicts: 570000 | #Constraints: 55384 850.66/852.85 c #Conflicts: 571000 | #Constraints: 56384 850.66/852.85 c #Conflicts: 572000 | #Constraints: 57384 850.66/852.85 c #Conflicts: 573000 | #Constraints: 58384 850.66/852.85 c #Conflicts: 574000 | #Constraints: 59384 850.66/852.85 c #Conflicts: 575000 | #Constraints: 60384 850.66/852.85 c #Conflicts: 576000 | #Constraints: 61384 850.66/852.85 c INPROCESSING 850.66/852.85 c GARBAGE COLLECT 850.66/852.85 c rational objective 98 878.99/881.28 c #Conflicts: 577000 | #Constraints: 35447 878.99/881.28 c #Conflicts: 578000 | #Constraints: 36447 878.99/881.28 c #Conflicts: 579000 | #Constraints: 37447 878.99/881.28 c #Conflicts: 580000 | #Constraints: 38447 878.99/881.28 c #Conflicts: 581000 | #Constraints: 39447 878.99/881.28 c #Conflicts: 582000 | #Constraints: 40447 878.99/881.28 c #Conflicts: 583000 | #Constraints: 41448 878.99/881.28 c #Conflicts: 584000 | #Constraints: 42448 878.99/881.28 c #Conflicts: 585000 | #Constraints: 43448 878.99/881.28 c #Conflicts: 586000 | #Constraints: 44448 878.99/881.28 c #Conflicts: 587000 | #Constraints: 45448 878.99/881.28 c #Conflicts: 588000 | #Constraints: 46448 878.99/881.28 c #Conflicts: 589000 | #Constraints: 47448 878.99/881.28 c #Conflicts: 590000 | #Constraints: 48448 878.99/881.28 c #Conflicts: 591000 | #Constraints: 49448 878.99/881.28 c #Conflicts: 592000 | #Constraints: 50448 878.99/881.28 c #Conflicts: 593000 | #Constraints: 51448 878.99/881.28 c #Conflicts: 594000 | #Constraints: 52448 878.99/881.28 c INPROCESSING 878.99/881.28 c GARBAGE COLLECT 878.99/881.28 c rational objective 98 915.30/917.65 c #Conflicts: 595000 | #Constraints: 31075 915.30/917.65 c #Conflicts: 596000 | #Constraints: 32075 915.30/917.65 c #Conflicts: 597000 | #Constraints: 33075 915.30/917.65 c #Conflicts: 598000 | #Constraints: 34075 915.30/917.65 c #Conflicts: 599000 | #Constraints: 35075 915.30/917.65 c #Conflicts: 600000 | #Constraints: 36075 915.30/917.65 c #Conflicts: 601000 | #Constraints: 37076 915.30/917.65 c #Conflicts: 602000 | #Constraints: 38076 915.30/917.65 c #Conflicts: 603000 | #Constraints: 39076 915.30/917.65 c #Conflicts: 604000 | #Constraints: 40076 915.30/917.65 c #Conflicts: 605000 | #Constraints: 41076 915.30/917.65 c #Conflicts: 606000 | #Constraints: 42076 915.30/917.65 c #Conflicts: 607000 | #Constraints: 43076 915.30/917.65 c #Conflicts: 608000 | #Constraints: 44077 915.30/917.65 c #Conflicts: 609000 | #Constraints: 45077 915.30/917.65 c #Conflicts: 610000 | #Constraints: 46077 915.30/917.65 c #Conflicts: 611000 | #Constraints: 47077 915.30/917.65 c #Conflicts: 612000 | #Constraints: 48077 915.30/917.65 c INPROCESSING 915.30/917.65 c GARBAGE COLLECT 915.30/917.65 c rational objective 98 1040.87/1043.52 c #Conflicts: 613000 | #Constraints: 28884 1040.87/1043.52 c #Conflicts: 614000 | #Constraints: 29884 1040.87/1043.52 c #Conflicts: 615000 | #Constraints: 30884 1040.87/1043.52 c #Conflicts: 616000 | #Constraints: 31884 1040.87/1043.52 c #Conflicts: 617000 | #Constraints: 32884 1040.87/1043.52 c #Conflicts: 618000 | #Constraints: 33884 1040.87/1043.52 c #Conflicts: 619000 | #Constraints: 34885 1040.87/1043.52 c #Conflicts: 620000 | #Constraints: 35886 1040.87/1043.52 c #Conflicts: 621000 | #Constraints: 36886 1040.87/1043.52 c #Conflicts: 622000 | #Constraints: 37886 1040.87/1043.52 c #Conflicts: 623000 | #Constraints: 38887 1040.87/1043.52 c #Conflicts: 624000 | #Constraints: 39887 1040.87/1043.52 c #Conflicts: 625000 | #Constraints: 40887 1040.87/1043.52 c #Conflicts: 626000 | #Constraints: 41887 1040.87/1043.52 c #Conflicts: 627000 | #Constraints: 42887 1040.87/1043.52 c #Conflicts: 628000 | #Constraints: 43887 1040.87/1043.52 c #Conflicts: 629000 | #Constraints: 44887 1040.87/1043.52 c #Conflicts: 630000 | #Constraints: 45887 1040.87/1043.52 c #Conflicts: 631000 | #Constraints: 46887 1040.87/1043.52 c #Conflicts: 632000 | #Constraints: 47887 1040.87/1043.52 c #Conflicts: 633000 | #Constraints: 48887 1040.87/1043.52 c #Conflicts: 634000 | #Constraints: 49887 1040.87/1043.52 c #Conflicts: 635000 | #Constraints: 50887 1040.87/1043.52 c #Conflicts: 636000 | #Constraints: 51887 1040.87/1043.52 c #Conflicts: 637000 | #Constraints: 52887 1040.87/1043.52 c #Conflicts: 638000 | #Constraints: 53887 1040.87/1043.52 c #Conflicts: 639000 | #Constraints: 54887 1040.87/1043.52 c #Conflicts: 640000 | #Constraints: 55887 1040.87/1043.52 c #Conflicts: 641000 | #Constraints: 56887 1040.87/1043.52 c #Conflicts: 642000 | #Constraints: 57887 1040.87/1043.52 c #Conflicts: 643000 | #Constraints: 58887 1040.87/1043.52 c #Conflicts: 644000 | #Constraints: 59887 1040.87/1043.52 c #Conflicts: 645000 | #Constraints: 60887 1040.87/1043.52 c #Conflicts: 646000 | #Constraints: 61887 1040.87/1043.52 c #Conflicts: 647000 | #Constraints: 62887 1040.87/1043.52 c #Conflicts: 648000 | #Constraints: 63887 1040.87/1043.52 c #Conflicts: 649000 | #Constraints: 64887 1040.87/1043.52 c #Conflicts: 650000 | #Constraints: 65887 1040.87/1043.52 c #Conflicts: 651000 | #Constraints: 66887 1040.87/1043.52 c #Conflicts: 652000 | #Constraints: 67887 1040.87/1043.52 c #Conflicts: 653000 | #Constraints: 68887 1040.87/1043.52 c #Conflicts: 654000 | #Constraints: 69888 1040.87/1043.52 c #Conflicts: 655000 | #Constraints: 70888 1040.87/1043.52 c #Conflicts: 656000 | #Constraints: 71888 1040.87/1043.52 c #Conflicts: 657000 | #Constraints: 72888 1040.87/1043.52 c #Conflicts: 658000 | #Constraints: 73888 1040.87/1043.52 c #Conflicts: 659000 | #Constraints: 74888 1040.87/1043.52 c #Conflicts: 660000 | #Constraints: 75888 1040.87/1043.52 c #Conflicts: 661000 | #Constraints: 76888 1040.87/1043.52 c #Conflicts: 662000 | #Constraints: 77888 1040.87/1043.52 c #Conflicts: 663000 | #Constraints: 78888 1040.87/1043.52 c #Conflicts: 664000 | #Constraints: 79888 1040.87/1043.52 c #Conflicts: 665000 | #Constraints: 80888 1040.87/1043.52 c #Conflicts: 666000 | #Constraints: 81888 1040.87/1043.52 c #Conflicts: 667000 | #Constraints: 82888 1040.87/1043.52 c #Conflicts: 668000 | #Constraints: 83888 1040.87/1043.52 c #Conflicts: 669000 | #Constraints: 84888 1040.87/1043.52 c #Conflicts: 670000 | #Constraints: 85888 1040.87/1043.52 c #Conflicts: 671000 | #Constraints: 86888 1040.87/1043.52 c INPROCESSING 1040.87/1043.52 c GARBAGE COLLECT 1040.87/1043.52 c rational objective 98 1078.38/1081.12 c #Conflicts: 672000 | #Constraints: 48026 1078.38/1081.12 c #Conflicts: 673000 | #Constraints: 49026 1078.38/1081.12 c #Conflicts: 674000 | #Constraints: 50026 1078.38/1081.12 c #Conflicts: 675000 | #Constraints: 51026 1078.38/1081.12 c #Conflicts: 676000 | #Constraints: 52026 1078.38/1081.12 c #Conflicts: 677000 | #Constraints: 53026 1078.38/1081.12 c #Conflicts: 678000 | #Constraints: 54026 1078.38/1081.12 c #Conflicts: 679000 | #Constraints: 55026 1078.38/1081.12 c #Conflicts: 680000 | #Constraints: 56026 1078.38/1081.12 c #Conflicts: 681000 | #Constraints: 57026 1078.38/1081.12 c #Conflicts: 682000 | #Constraints: 58026 1078.38/1081.12 c #Conflicts: 683000 | #Constraints: 59027 1078.38/1081.12 c #Conflicts: 684000 | #Constraints: 60027 1078.38/1081.12 c #Conflicts: 685000 | #Constraints: 61027 1078.38/1081.12 c #Conflicts: 686000 | #Constraints: 62027 1078.38/1081.12 c #Conflicts: 687000 | #Constraints: 63027 1078.38/1081.12 c #Conflicts: 688000 | #Constraints: 64027 1078.38/1081.12 c #Conflicts: 689000 | #Constraints: 65027 1078.38/1081.12 c #Conflicts: 690000 | #Constraints: 66028 1078.38/1081.12 c INPROCESSING 1078.38/1081.12 c GARBAGE COLLECT 1078.38/1081.12 c rational objective 98 1110.99/1113.81 c #Conflicts: 691000 | #Constraints: 37458 1110.99/1113.81 c #Conflicts: 692000 | #Constraints: 38458 1110.99/1113.81 c #Conflicts: 693000 | #Constraints: 39458 1110.99/1113.81 c #Conflicts: 694000 | #Constraints: 40459 1110.99/1113.81 c #Conflicts: 695000 | #Constraints: 41459 1110.99/1113.81 c #Conflicts: 696000 | #Constraints: 42459 1110.99/1113.81 c #Conflicts: 697000 | #Constraints: 43459 1110.99/1113.81 c #Conflicts: 698000 | #Constraints: 44459 1110.99/1113.81 c #Conflicts: 699000 | #Constraints: 45459 1110.99/1113.81 c #Conflicts: 700000 | #Constraints: 46459 1110.99/1113.81 c #Conflicts: 701000 | #Constraints: 47459 1110.99/1113.81 c #Conflicts: 702000 | #Constraints: 48459 1110.99/1113.81 c #Conflicts: 703000 | #Constraints: 49459 1110.99/1113.81 c #Conflicts: 704000 | #Constraints: 50459 1110.99/1113.81 c #Conflicts: 705000 | #Constraints: 51459 1110.99/1113.81 c #Conflicts: 706000 | #Constraints: 52459 1110.99/1113.81 c #Conflicts: 707000 | #Constraints: 53459 1110.99/1113.81 c #Conflicts: 708000 | #Constraints: 54459 1110.99/1113.81 c #Conflicts: 709000 | #Constraints: 55459 1110.99/1113.81 c #Conflicts: 710000 | #Constraints: 56459 1110.99/1113.81 c INPROCESSING 1110.99/1113.81 c GARBAGE COLLECT 1110.99/1113.81 c rational objective 98 1136.23/1139.10 c #Conflicts: 711000 | #Constraints: 32928 1136.23/1139.10 c #Conflicts: 712000 | #Constraints: 33928 1136.23/1139.10 c #Conflicts: 713000 | #Constraints: 34928 1136.23/1139.10 c #Conflicts: 714000 | #Constraints: 35928 1136.23/1139.10 c #Conflicts: 715000 | #Constraints: 36928 1136.23/1139.10 c #Conflicts: 716000 | #Constraints: 37928 1136.23/1139.10 c #Conflicts: 717000 | #Constraints: 38928 1136.23/1139.10 c #Conflicts: 718000 | #Constraints: 39928 1136.23/1139.10 c #Conflicts: 719000 | #Constraints: 40928 1136.23/1139.10 c #Conflicts: 720000 | #Constraints: 41928 1136.23/1139.10 c #Conflicts: 721000 | #Constraints: 42929 1136.23/1139.10 c #Conflicts: 722000 | #Constraints: 43929 1136.23/1139.10 c #Conflicts: 723000 | #Constraints: 44929 1136.23/1139.10 c #Conflicts: 724000 | #Constraints: 45929 1136.23/1139.10 c #Conflicts: 725000 | #Constraints: 46929 1136.23/1139.10 c #Conflicts: 726000 | #Constraints: 47929 1136.23/1139.10 c #Conflicts: 727000 | #Constraints: 48929 1136.23/1139.10 c #Conflicts: 728000 | #Constraints: 49929 1136.23/1139.10 c #Conflicts: 729000 | #Constraints: 50929 1136.23/1139.10 c #Conflicts: 730000 | #Constraints: 51929 1136.23/1139.10 c INPROCESSING 1136.23/1139.10 c GARBAGE COLLECT 1136.23/1139.10 c rational objective 98 1282.93/1286.21 c #Conflicts: 731000 | #Constraints: 30812 1282.93/1286.21 c #Conflicts: 732000 | #Constraints: 31812 1282.93/1286.21 c #Conflicts: 733000 | #Constraints: 32813 1282.93/1286.21 c #Conflicts: 734000 | #Constraints: 33813 1282.93/1286.21 c #Conflicts: 735000 | #Constraints: 34813 1282.93/1286.21 c #Conflicts: 736000 | #Constraints: 35813 1282.93/1286.21 c #Conflicts: 737000 | #Constraints: 36813 1282.93/1286.21 c #Conflicts: 738000 | #Constraints: 37813 1282.93/1286.21 c #Conflicts: 739000 | #Constraints: 38813 1282.93/1286.21 c #Conflicts: 740000 | #Constraints: 39813 1282.93/1286.21 c #Conflicts: 741000 | #Constraints: 40813 1282.93/1286.21 c #Conflicts: 742000 | #Constraints: 41813 1282.93/1286.21 c #Conflicts: 743000 | #Constraints: 42813 1282.93/1286.21 c #Conflicts: 744000 | #Constraints: 43813 1282.93/1286.21 c #Conflicts: 745000 | #Constraints: 44814 1282.93/1286.21 c #Conflicts: 746000 | #Constraints: 45814 1282.93/1286.21 c #Conflicts: 747000 | #Constraints: 46814 1282.93/1286.21 c #Conflicts: 748000 | #Constraints: 47814 1282.93/1286.21 c #Conflicts: 749000 | #Constraints: 48814 1282.93/1286.21 c #Conflicts: 750000 | #Constraints: 49814 1282.93/1286.21 c #Conflicts: 751000 | #Constraints: 50814 1282.93/1286.21 c #Conflicts: 752000 | #Constraints: 51814 1282.93/1286.21 c #Conflicts: 753000 | #Constraints: 52814 1282.93/1286.21 c #Conflicts: 754000 | #Constraints: 53814 1282.93/1286.21 c #Conflicts: 755000 | #Constraints: 54814 1282.93/1286.21 c #Conflicts: 756000 | #Constraints: 55814 1282.93/1286.21 c #Conflicts: 757000 | #Constraints: 56814 1282.93/1286.21 c #Conflicts: 758000 | #Constraints: 57814 1282.93/1286.21 c #Conflicts: 759000 | #Constraints: 58814 1282.93/1286.21 c #Conflicts: 760000 | #Constraints: 59815 1282.93/1286.21 c #Conflicts: 761000 | #Constraints: 60815 1282.93/1286.21 c #Conflicts: 762000 | #Constraints: 61815 1282.93/1286.21 c #Conflicts: 763000 | #Constraints: 62815 1282.93/1286.21 c #Conflicts: 764000 | #Constraints: 63815 1282.93/1286.21 c #Conflicts: 765000 | #Constraints: 64815 1282.93/1286.21 c #Conflicts: 766000 | #Constraints: 65815 1282.93/1286.21 c #Conflicts: 767000 | #Constraints: 66815 1282.93/1286.21 c #Conflicts: 768000 | #Constraints: 67815 1282.93/1286.21 c #Conflicts: 769000 | #Constraints: 68815 1282.93/1286.21 c #Conflicts: 770000 | #Constraints: 69815 1282.93/1286.21 c #Conflicts: 771000 | #Constraints: 70815 1282.93/1286.21 c #Conflicts: 772000 | #Constraints: 71815 1282.93/1286.21 c #Conflicts: 773000 | #Constraints: 72816 1282.93/1286.21 c #Conflicts: 774000 | #Constraints: 73816 1282.93/1286.21 c #Conflicts: 775000 | #Constraints: 74816 1282.93/1286.21 c #Conflicts: 776000 | #Constraints: 75816 1282.93/1286.21 c #Conflicts: 777000 | #Constraints: 76816 1282.93/1286.21 c #Conflicts: 778000 | #Constraints: 77816 1282.93/1286.21 c #Conflicts: 779000 | #Constraints: 78816 1282.93/1286.21 c #Conflicts: 780000 | #Constraints: 79816 1282.93/1286.21 c #Conflicts: 781000 | #Constraints: 80816 1282.93/1286.21 c #Conflicts: 782000 | #Constraints: 81816 1282.93/1286.21 c #Conflicts: 783000 | #Constraints: 82816 1282.93/1286.21 c #Conflicts: 784000 | #Constraints: 83816 1282.93/1286.21 c #Conflicts: 785000 | #Constraints: 84816 1282.93/1286.21 c #Conflicts: 786000 | #Constraints: 85817 1282.93/1286.21 c #Conflicts: 787000 | #Constraints: 86817 1282.93/1286.21 c #Conflicts: 788000 | #Constraints: 87817 1282.93/1286.21 c #Conflicts: 789000 | #Constraints: 88817 1282.93/1286.21 c #Conflicts: 790000 | #Constraints: 89817 1282.93/1286.21 c #Conflicts: 791000 | #Constraints: 90817 1282.93/1286.21 c #Conflicts: 792000 | #Constraints: 91817 1282.93/1286.21 c #Conflicts: 793000 | #Constraints: 92817 1282.93/1286.21 c #Conflicts: 794000 | #Constraints: 93817 1282.93/1286.21 c #Conflicts: 795000 | #Constraints: 94817 1282.93/1286.21 c INPROCESSING 1282.93/1286.21 c GARBAGE COLLECT 1282.93/1286.21 c rational objective 98 1353.93/1357.46 c #Conflicts: 796000 | #Constraints: 52304 1353.93/1357.46 c #Conflicts: 797000 | #Constraints: 53304 1353.93/1357.46 c #Conflicts: 798000 | #Constraints: 54304 1353.93/1357.46 c #Conflicts: 799000 | #Constraints: 55304 1353.93/1357.46 c #Conflicts: 800000 | #Constraints: 56305 1353.93/1357.46 c #Conflicts: 801000 | #Constraints: 57306 1353.93/1357.46 c #Conflicts: 802000 | #Constraints: 58306 1353.93/1357.46 c #Conflicts: 803000 | #Constraints: 59306 1353.93/1357.46 c #Conflicts: 804000 | #Constraints: 60306 1353.93/1357.46 c #Conflicts: 805000 | #Constraints: 61306 1353.93/1357.46 c #Conflicts: 806000 | #Constraints: 62306 1353.93/1357.46 c #Conflicts: 807000 | #Constraints: 63306 1353.93/1357.46 c #Conflicts: 808000 | #Constraints: 64306 1353.93/1357.46 c #Conflicts: 809000 | #Constraints: 65306 1353.93/1357.46 c #Conflicts: 810000 | #Constraints: 66306 1353.93/1357.46 c #Conflicts: 811000 | #Constraints: 67306 1353.93/1357.46 c #Conflicts: 812000 | #Constraints: 68306 1353.93/1357.46 c #Conflicts: 813000 | #Constraints: 69306 1353.93/1357.46 c #Conflicts: 814000 | #Constraints: 70306 1353.93/1357.46 c #Conflicts: 815000 | #Constraints: 71306 1353.93/1357.46 c #Conflicts: 816000 | #Constraints: 72307 1353.93/1357.46 c INPROCESSING 1353.93/1357.46 c GARBAGE COLLECT 1353.93/1357.46 c rational objective 98 1384.24/1387.83 c #Conflicts: 817000 | #Constraints: 41059 1384.24/1387.83 c #Conflicts: 818000 | #Constraints: 42059 1384.24/1387.83 c #Conflicts: 819000 | #Constraints: 43059 1384.24/1387.83 c #Conflicts: 820000 | #Constraints: 44059 1384.24/1387.83 c #Conflicts: 821000 | #Constraints: 45059 1384.24/1387.83 c #Conflicts: 822000 | #Constraints: 46059 1384.24/1387.83 c #Conflicts: 823000 | #Constraints: 47059 1384.24/1387.83 c #Conflicts: 824000 | #Constraints: 48059 1384.24/1387.83 c #Conflicts: 825000 | #Constraints: 49059 1384.24/1387.83 c #Conflicts: 826000 | #Constraints: 50059 1384.24/1387.83 c #Conflicts: 827000 | #Constraints: 51059 1384.24/1387.83 c #Conflicts: 828000 | #Constraints: 52059 1384.24/1387.83 c #Conflicts: 829000 | #Constraints: 53059 1384.24/1387.83 c #Conflicts: 830000 | #Constraints: 54059 1384.24/1387.83 c #Conflicts: 831000 | #Constraints: 55059 1384.24/1387.83 c #Conflicts: 832000 | #Constraints: 56059 1384.24/1387.83 c #Conflicts: 833000 | #Constraints: 57059 1384.24/1387.83 c #Conflicts: 834000 | #Constraints: 58059 1384.24/1387.83 c #Conflicts: 835000 | #Constraints: 59059 1384.24/1387.83 c #Conflicts: 836000 | #Constraints: 60059 1384.24/1387.83 c #Conflicts: 837000 | #Constraints: 61059 1384.24/1387.83 c INPROCESSING 1384.24/1387.83 c GARBAGE COLLECT 1384.24/1387.83 c rational objective 98 1417.94/1421.64 c #Conflicts: 838000 | #Constraints: 35361 1417.94/1421.64 c #Conflicts: 839000 | #Constraints: 36361 1417.94/1421.64 c #Conflicts: 840000 | #Constraints: 37361 1417.94/1421.64 c #Conflicts: 841000 | #Constraints: 38361 1417.94/1421.64 c #Conflicts: 842000 | #Constraints: 39361 1417.94/1421.64 c #Conflicts: 843000 | #Constraints: 40361 1417.94/1421.64 c #Conflicts: 844000 | #Constraints: 41361 1417.94/1421.64 c #Conflicts: 845000 | #Constraints: 42361 1417.94/1421.64 c #Conflicts: 846000 | #Constraints: 43362 1417.94/1421.64 c #Conflicts: 847000 | #Constraints: 44362 1417.94/1421.64 c #Conflicts: 848000 | #Constraints: 45362 1417.94/1421.64 c #Conflicts: 849000 | #Constraints: 46362 1417.94/1421.64 c #Conflicts: 850000 | #Constraints: 47362 1417.94/1421.64 c #Conflicts: 851000 | #Constraints: 48362 1417.94/1421.64 c #Conflicts: 852000 | #Constraints: 49362 1417.94/1421.64 c #Conflicts: 853000 | #Constraints: 50362 1417.94/1421.64 c #Conflicts: 854000 | #Constraints: 51362 1417.94/1421.64 c #Conflicts: 855000 | #Constraints: 52362 1417.94/1421.64 c #Conflicts: 856000 | #Constraints: 53362 1417.94/1421.64 c #Conflicts: 857000 | #Constraints: 54362 1417.94/1421.64 c #Conflicts: 858000 | #Constraints: 55362 1417.94/1421.64 c INPROCESSING 1417.94/1421.64 c GARBAGE COLLECT 1417.94/1421.64 c rational objective 98 1580.67/1584.86 c #Conflicts: 859000 | #Constraints: 32349 1580.67/1584.86 c #Conflicts: 860000 | #Constraints: 33349 1580.67/1584.86 c #Conflicts: 861000 | #Constraints: 34349 1580.67/1584.86 c #Conflicts: 862000 | #Constraints: 35349 1580.67/1584.86 c #Conflicts: 863000 | #Constraints: 36349 1580.67/1584.86 c #Conflicts: 864000 | #Constraints: 37349 1580.67/1584.86 c #Conflicts: 865000 | #Constraints: 38349 1580.67/1584.86 c #Conflicts: 866000 | #Constraints: 39349 1580.67/1584.86 c #Conflicts: 867000 | #Constraints: 40349 1580.67/1584.86 c #Conflicts: 868000 | #Constraints: 41349 1580.67/1584.86 c #Conflicts: 869000 | #Constraints: 42349 1580.67/1584.86 c #Conflicts: 870000 | #Constraints: 43349 1580.67/1584.86 c #Conflicts: 871000 | #Constraints: 44349 1580.67/1584.86 c #Conflicts: 872000 | #Constraints: 45349 1580.67/1584.86 c #Conflicts: 873000 | #Constraints: 46349 1580.67/1584.86 c #Conflicts: 874000 | #Constraints: 47349 1580.67/1584.86 c #Conflicts: 875000 | #Constraints: 48349 1580.67/1584.86 c #Conflicts: 876000 | #Constraints: 49349 1580.67/1584.86 c #Conflicts: 877000 | #Constraints: 50349 1580.67/1584.86 c #Conflicts: 878000 | #Constraints: 51349 1580.67/1584.86 c #Conflicts: 879000 | #Constraints: 52349 1580.67/1584.86 c #Conflicts: 880000 | #Constraints: 53349 1580.67/1584.86 c #Conflicts: 881000 | #Constraints: 54350 1580.67/1584.86 c #Conflicts: 882000 | #Constraints: 55350 1580.67/1584.86 c #Conflicts: 883000 | #Constraints: 56350 1580.67/1584.86 c #Conflicts: 884000 | #Constraints: 57350 1580.67/1584.86 c #Conflicts: 885000 | #Constraints: 58350 1580.67/1584.86 c #Conflicts: 886000 | #Constraints: 59351 1580.67/1584.86 c #Conflicts: 887000 | #Constraints: 60351 1580.67/1584.86 c #Conflicts: 888000 | #Constraints: 61351 1580.67/1584.86 c #Conflicts: 889000 | #Constraints: 62351 1580.67/1584.86 c #Conflicts: 890000 | #Constraints: 63351 1580.67/1584.86 c #Conflicts: 891000 | #Constraints: 64351 1580.67/1584.86 c #Conflicts: 892000 | #Constraints: 65351 1580.67/1584.86 c #Conflicts: 893000 | #Constraints: 66351 1580.67/1584.86 c #Conflicts: 894000 | #Constraints: 67351 1580.67/1584.86 c #Conflicts: 895000 | #Constraints: 68351 1580.67/1584.86 c #Conflicts: 896000 | #Constraints: 69351 1580.67/1584.86 c #Conflicts: 897000 | #Constraints: 70351 1580.67/1584.86 c #Conflicts: 898000 | #Constraints: 71351 1580.67/1584.86 c #Conflicts: 899000 | #Constraints: 72351 1580.67/1584.86 c #Conflicts: 900000 | #Constraints: 73351 1580.67/1584.86 c #Conflicts: 901000 | #Constraints: 74351 1580.67/1584.86 c #Conflicts: 902000 | #Constraints: 75351 1580.67/1584.86 c #Conflicts: 903000 | #Constraints: 76351 1580.67/1584.86 c #Conflicts: 904000 | #Constraints: 77351 1580.67/1584.86 c #Conflicts: 905000 | #Constraints: 78351 1580.67/1584.86 c #Conflicts: 906000 | #Constraints: 79351 1580.67/1584.86 c #Conflicts: 907000 | #Constraints: 80351 1580.67/1584.86 c #Conflicts: 908000 | #Constraints: 81351 1580.67/1584.86 c #Conflicts: 909000 | #Constraints: 82351 1580.67/1584.86 c #Conflicts: 910000 | #Constraints: 83351 1580.67/1584.86 c #Conflicts: 911000 | #Constraints: 84351 1580.67/1584.86 c #Conflicts: 912000 | #Constraints: 85351 1580.67/1584.86 c #Conflicts: 913000 | #Constraints: 86351 1580.67/1584.86 c #Conflicts: 914000 | #Constraints: 87351 1580.67/1584.86 c #Conflicts: 915000 | #Constraints: 88351 1580.67/1584.86 c #Conflicts: 916000 | #Constraints: 89351 1580.67/1584.86 c #Conflicts: 917000 | #Constraints: 90351 1580.67/1584.86 c #Conflicts: 918000 | #Constraints: 91351 1580.67/1584.86 c #Conflicts: 919000 | #Constraints: 92351 1580.67/1584.86 c #Conflicts: 920000 | #Constraints: 93351 1580.67/1584.86 c #Conflicts: 921000 | #Constraints: 94351 1580.67/1584.86 c #Conflicts: 922000 | #Constraints: 95351 1580.67/1584.86 c #Conflicts: 923000 | #Constraints: 96351 1580.67/1584.86 c #Conflicts: 924000 | #Constraints: 97351 1580.67/1584.86 c #Conflicts: 925000 | #Constraints: 98351 1580.67/1584.86 c #Conflicts: 926000 | #Constraints: 99351 1580.67/1584.86 c #Conflicts: 927000 | #Constraints: 100351 1580.67/1584.86 c #Conflicts: 928000 | #Constraints: 101351 1580.67/1584.86 c INPROCESSING 1580.67/1584.86 c GARBAGE COLLECT 1580.67/1584.86 c rational objective 98 1640.32/1644.64 c #Conflicts: 929000 | #Constraints: 55167 1640.32/1644.64 c #Conflicts: 930000 | #Constraints: 56167 1640.32/1644.64 c #Conflicts: 931000 | #Constraints: 57167 1640.32/1644.64 c #Conflicts: 932000 | #Constraints: 58167 1640.32/1644.64 c #Conflicts: 933000 | #Constraints: 59167 1640.32/1644.64 c #Conflicts: 934000 | #Constraints: 60167 1640.32/1644.64 c #Conflicts: 935000 | #Constraints: 61167 1640.32/1644.64 c #Conflicts: 936000 | #Constraints: 62167 1640.32/1644.64 c #Conflicts: 937000 | #Constraints: 63167 1640.32/1644.64 c #Conflicts: 938000 | #Constraints: 64167 1640.32/1644.64 c #Conflicts: 939000 | #Constraints: 65167 1640.32/1644.64 c #Conflicts: 940000 | #Constraints: 66167 1640.32/1644.64 c #Conflicts: 941000 | #Constraints: 67167 1640.32/1644.64 c #Conflicts: 942000 | #Constraints: 68167 1640.32/1644.64 c #Conflicts: 943000 | #Constraints: 69167 1640.32/1644.64 c #Conflicts: 944000 | #Constraints: 70167 1640.32/1644.64 c #Conflicts: 945000 | #Constraints: 71167 1640.32/1644.64 c #Conflicts: 946000 | #Constraints: 72167 1640.32/1644.64 c #Conflicts: 947000 | #Constraints: 73167 1640.32/1644.64 c #Conflicts: 948000 | #Constraints: 74167 1640.32/1644.64 c #Conflicts: 949000 | #Constraints: 75167 1640.32/1644.64 c #Conflicts: 950000 | #Constraints: 76167 1640.32/1644.64 c #Conflicts: 951000 | #Constraints: 77168 1640.32/1644.64 c INPROCESSING 1640.32/1644.64 c GARBAGE COLLECT 1640.32/1644.64 c rational objective 98 1681.30/1685.79 c #Conflicts: 952000 | #Constraints: 43255 1681.30/1685.79 c #Conflicts: 953000 | #Constraints: 44255 1681.30/1685.79 c #Conflicts: 954000 | #Constraints: 45255 1681.30/1685.79 c #Conflicts: 955000 | #Constraints: 46255 1681.30/1685.79 c #Conflicts: 956000 | #Constraints: 47255 1681.30/1685.79 c #Conflicts: 957000 | #Constraints: 48256 1681.30/1685.79 c #Conflicts: 958000 | #Constraints: 49256 1681.30/1685.79 c #Conflicts: 959000 | #Constraints: 50256 1681.30/1685.79 c #Conflicts: 960000 | #Constraints: 51256 1681.30/1685.79 c #Conflicts: 961000 | #Constraints: 52256 1681.30/1685.79 c #Conflicts: 962000 | #Constraints: 53256 1681.30/1685.79 c #Conflicts: 963000 | #Constraints: 54256 1681.30/1685.79 c #Conflicts: 964000 | #Constraints: 55256 1681.30/1685.79 c #Conflicts: 965000 | #Constraints: 56256 1681.30/1685.79 c #Conflicts: 966000 | #Constraints: 57256 1681.30/1685.79 c #Conflicts: 967000 | #Constraints: 58256 1681.30/1685.79 c #Conflicts: 968000 | #Constraints: 59256 1681.30/1685.79 c #Conflicts: 969000 | #Constraints: 60256 1681.30/1685.79 c #Conflicts: 970000 | #Constraints: 61256 1681.30/1685.79 c #Conflicts: 971000 | #Constraints: 62256 1681.30/1685.79 c #Conflicts: 972000 | #Constraints: 63256 1681.30/1685.79 c #Conflicts: 973000 | #Constraints: 64256 1681.30/1685.79 c #Conflicts: 974000 | #Constraints: 65256 1681.30/1685.79 c INPROCESSING 1681.30/1685.79 c GARBAGE COLLECT 1681.30/1685.79 c rational objective 98 1717.12/1721.62 c #Conflicts: 975000 | #Constraints: 37332 1717.12/1721.62 c #Conflicts: 976000 | #Constraints: 38332 1717.12/1721.62 c #Conflicts: 977000 | #Constraints: 39332 1717.12/1721.62 c #Conflicts: 978000 | #Constraints: 40332 1717.12/1721.62 c #Conflicts: 979000 | #Constraints: 41332 1717.12/1721.62 c #Conflicts: 980000 | #Constraints: 42332 1717.12/1721.62 c #Conflicts: 981000 | #Constraints: 43332 1717.12/1721.62 c #Conflicts: 982000 | #Constraints: 44333 1717.12/1721.62 c #Conflicts: 983000 | #Constraints: 45333 1717.12/1721.62 c #Conflicts: 984000 | #Constraints: 46333 1717.12/1721.62 c #Conflicts: 985000 | #Constraints: 47333 1717.12/1721.62 c #Conflicts: 986000 | #Constraints: 48333 1717.12/1721.62 c #Conflicts: 987000 | #Constraints: 49333 1717.12/1721.62 c #Conflicts: 988000 | #Constraints: 50333 1717.12/1721.62 c #Conflicts: 989000 | #Constraints: 51333 1717.12/1721.62 c #Conflicts: 990000 | #Constraints: 52333 1717.12/1721.62 c #Conflicts: 991000 | #Constraints: 53333 1717.12/1721.62 c #Conflicts: 992000 | #Constraints: 54333 1717.12/1721.62 c #Conflicts: 993000 | #Constraints: 55333 1717.12/1721.62 c #Conflicts: 994000 | #Constraints: 56333 1717.12/1721.62 c #Conflicts: 995000 | #Constraints: 57334 1717.12/1721.62 c #Conflicts: 996000 | #Constraints: 58334 1717.12/1721.62 c #Conflicts: 997000 | #Constraints: 59334 1717.12/1721.62 c INPROCESSING 1717.12/1721.62 c GARBAGE COLLECT 1717.12/1721.62 c rational objective 98 1944.53/1949.65 c #Conflicts: 998000 | #Constraints: 34372 1944.53/1949.65 c #Conflicts: 999000 | #Constraints: 35372 1944.53/1949.65 c #Conflicts: 1000000 | #Constraints: 36372 1944.53/1949.65 c #Conflicts: 1001000 | #Constraints: 37372 1944.53/1949.65 c #Conflicts: 1002000 | #Constraints: 38372 1944.53/1949.65 c #Conflicts: 1003000 | #Constraints: 39372 1944.53/1949.65 c #Conflicts: 1004000 | #Constraints: 40372 1944.53/1949.65 c #Conflicts: 1005000 | #Constraints: 41372 1944.53/1949.65 c #Conflicts: 1006000 | #Constraints: 42372 1944.53/1949.65 c #Conflicts: 1007000 | #Constraints: 43372 1944.53/1949.65 c #Conflicts: 1008000 | #Constraints: 44372 1944.53/1949.65 c #Conflicts: 1009000 | #Constraints: 45372 1944.53/1949.65 c #Conflicts: 1010000 | #Constraints: 46372 1944.53/1949.65 c #Conflicts: 1011000 | #Constraints: 47372 1944.53/1949.65 c #Conflicts: 1012000 | #Constraints: 48372 1944.53/1949.65 c #Conflicts: 1013000 | #Constraints: 49372 1944.53/1949.65 c #Conflicts: 1014000 | #Constraints: 50372 1944.53/1949.65 c #Conflicts: 1015000 | #Constraints: 51372 1944.53/1949.65 c #Conflicts: 1016000 | #Constraints: 52372 1944.53/1949.65 c #Conflicts: 1017000 | #Constraints: 53372 1944.53/1949.65 c #Conflicts: 1018000 | #Constraints: 54372 1944.53/1949.65 c #Conflicts: 1019000 | #Constraints: 55372 1944.53/1949.65 c #Conflicts: 1020000 | #Constraints: 56372 1944.53/1949.65 c #Conflicts: 1021000 | #Constraints: 57372 1944.53/1949.65 c #Conflicts: 1022000 | #Constraints: 58372 1944.53/1949.65 c #Conflicts: 1023000 | #Constraints: 59372 1944.53/1949.65 c #Conflicts: 1024000 | #Constraints: 60372 1944.53/1949.65 c #Conflicts: 1025000 | #Constraints: 61372 1944.53/1949.65 c #Conflicts: 1026000 | #Constraints: 62372 1944.53/1949.65 c #Conflicts: 1027000 | #Constraints: 63372 1944.53/1949.65 c #Conflicts: 1028000 | #Constraints: 64372 1944.53/1949.65 c #Conflicts: 1029000 | #Constraints: 65372 1944.53/1949.65 c #Conflicts: 1030000 | #Constraints: 66372 1944.53/1949.65 c #Conflicts: 1031000 | #Constraints: 67372 1944.53/1949.65 c #Conflicts: 1032000 | #Constraints: 68372 1944.53/1949.65 c #Conflicts: 1033000 | #Constraints: 69372 1944.53/1949.65 c #Conflicts: 1034000 | #Constraints: 70372 1944.53/1949.65 c #Conflicts: 1035000 | #Constraints: 71372 1944.53/1949.65 c #Conflicts: 1036000 | #Constraints: 72372 1944.53/1949.65 c #Conflicts: 1037000 | #Constraints: 73372 1944.53/1949.65 c #Conflicts: 1038000 | #Constraints: 74372 1944.53/1949.65 c #Conflicts: 1039000 | #Constraints: 75372 1944.53/1949.65 c #Conflicts: 1040000 | #Constraints: 76372 1944.53/1949.65 c #Conflicts: 1041000 | #Constraints: 77372 1944.53/1949.65 c #Conflicts: 1042000 | #Constraints: 78372 1944.53/1949.65 c #Conflicts: 1043000 | #Constraints: 79372 1944.53/1949.65 c #Conflicts: 1044000 | #Constraints: 80372 1944.53/1949.65 c #Conflicts: 1045000 | #Constraints: 81372 1944.53/1949.65 c #Conflicts: 1046000 | #Constraints: 82372 1944.53/1949.65 c #Conflicts: 1047000 | #Constraints: 83372 1944.53/1949.65 c #Conflicts: 1048000 | #Constraints: 84372 1944.53/1949.65 c #Conflicts: 1049000 | #Constraints: 85372 1944.53/1949.65 c #Conflicts: 1050000 | #Constraints: 86372 1944.53/1949.65 c #Conflicts: 1051000 | #Constraints: 87372 1944.53/1949.65 c #Conflicts: 1052000 | #Constraints: 88372 1944.53/1949.65 c #Conflicts: 1053000 | #Constraints: 89372 1944.53/1949.65 c #Conflicts: 1054000 | #Constraints: 90372 1944.53/1949.65 c #Conflicts: 1055000 | #Constraints: 91372 1944.53/1949.65 c #Conflicts: 1056000 | #Constraints: 92372 1944.53/1949.65 c #Conflicts: 1057000 | #Constraints: 93372 1944.53/1949.65 c #Conflicts: 1058000 | #Constraints: 94373 1944.53/1949.65 c #Conflicts: 1059000 | #Constraints: 95373 1944.53/1949.65 c #Conflicts: 1060000 | #Constraints: 96373 1944.53/1949.65 c #Conflicts: 1061000 | #Constraints: 97373 1944.53/1949.65 c #Conflicts: 1062000 | #Constraints: 98373 1944.53/1949.65 c #Conflicts: 1063000 | #Constraints: 99373 1944.53/1949.65 c #Conflicts: 1064000 | #Constraints: 100373 1944.53/1949.65 c #Conflicts: 1065000 | #Constraints: 101373 1944.53/1949.65 c #Conflicts: 1066000 | #Constraints: 102373 1944.53/1949.65 c #Conflicts: 1067000 | #Constraints: 103373 1944.53/1949.65 c #Conflicts: 1068000 | #Constraints: 104373 1944.53/1949.65 c #Conflicts: 1069000 | #Constraints: 105373 1944.53/1949.65 c #Conflicts: 1070000 | #Constraints: 106373 1944.53/1949.65 c #Conflicts: 1071000 | #Constraints: 107373 1944.53/1949.65 c #Conflicts: 1072000 | #Constraints: 108373 1944.53/1949.65 c #Conflicts: 1073000 | #Constraints: 109373 1944.53/1949.65 c INPROCESSING 1944.53/1949.65 c GARBAGE COLLECT 1944.53/1949.65 c rational objective 98 1997.69/2002.97 c #Conflicts: 1074000 | #Constraints: 59618 1997.69/2002.97 c #Conflicts: 1075000 | #Constraints: 60618 1997.69/2002.97 c #Conflicts: 1076000 | #Constraints: 61618 1997.69/2002.97 c #Conflicts: 1077000 | #Constraints: 62618 1997.69/2002.97 c #Conflicts: 1078000 | #Constraints: 63618 1997.69/2002.97 c #Conflicts: 1079000 | #Constraints: 64618 1997.69/2002.97 c #Conflicts: 1080000 | #Constraints: 65619 1997.69/2002.97 c #Conflicts: 1081000 | #Constraints: 66619 1997.69/2002.97 c #Conflicts: 1082000 | #Constraints: 67619 1997.69/2002.97 c #Conflicts: 1083000 | #Constraints: 68619 1997.69/2002.97 c #Conflicts: 1084000 | #Constraints: 69619 1997.69/2002.97 c #Conflicts: 1085000 | #Constraints: 70619 1997.69/2002.97 c #Conflicts: 1086000 | #Constraints: 71619 1997.69/2002.97 c #Conflicts: 1087000 | #Constraints: 72619 1997.69/2002.97 c #Conflicts: 1088000 | #Constraints: 73619 1997.69/2002.97 c #Conflicts: 1089000 | #Constraints: 74619 1997.69/2002.97 c #Conflicts: 1090000 | #Constraints: 75619 1997.69/2002.97 c #Conflicts: 1091000 | #Constraints: 76619 1997.69/2002.97 c #Conflicts: 1092000 | #Constraints: 77619 1997.69/2002.97 c #Conflicts: 1093000 | #Constraints: 78619 1997.69/2002.98 c #Conflicts: 1094000 | #Constraints: 79619 1997.69/2002.98 c #Conflicts: 1095000 | #Constraints: 80619 1997.69/2002.98 c #Conflicts: 1096000 | #Constraints: 81619 1997.69/2002.98 c #Conflicts: 1097000 | #Constraints: 82619 1997.69/2002.98 c INPROCESSING 1997.69/2002.98 c GARBAGE COLLECT 1997.69/2002.98 c rational objective 98 2061.12/2066.59 c #Conflicts: 1098000 | #Constraints: 46091 2061.12/2066.59 c #Conflicts: 1099000 | #Constraints: 47091 2061.12/2066.59 c #Conflicts: 1100000 | #Constraints: 48091 2061.12/2066.59 c #Conflicts: 1101000 | #Constraints: 49091 2061.12/2066.59 c #Conflicts: 1102000 | #Constraints: 50091 2061.12/2066.59 c #Conflicts: 1103000 | #Constraints: 51091 2061.12/2066.59 c #Conflicts: 1104000 | #Constraints: 52091 2061.12/2066.59 c #Conflicts: 1105000 | #Constraints: 53091 2061.12/2066.59 c #Conflicts: 1106000 | #Constraints: 54091 2061.12/2066.59 c #Conflicts: 1107000 | #Constraints: 55092 2061.12/2066.59 c #Conflicts: 1108000 | #Constraints: 56092 2061.12/2066.59 c #Conflicts: 1109000 | #Constraints: 57092 2061.12/2066.59 c #Conflicts: 1110000 | #Constraints: 58092 2061.12/2066.59 c #Conflicts: 1111000 | #Constraints: 59092 2061.12/2066.59 c #Conflicts: 1112000 | #Constraints: 60092 2061.12/2066.59 c #Conflicts: 1113000 | #Constraints: 61092 2061.12/2066.59 c #Conflicts: 1114000 | #Constraints: 62092 2061.12/2066.59 c #Conflicts: 1115000 | #Constraints: 63092 2061.12/2066.59 c #Conflicts: 1116000 | #Constraints: 64092 2061.12/2066.59 c #Conflicts: 1117000 | #Constraints: 65092 2061.12/2066.59 c #Conflicts: 1118000 | #Constraints: 66092 2061.12/2066.59 c #Conflicts: 1119000 | #Constraints: 67092 2061.12/2066.59 c #Conflicts: 1120000 | #Constraints: 68092 2061.12/2066.59 c #Conflicts: 1121000 | #Constraints: 69092 2061.12/2066.59 c #Conflicts: 1122000 | #Constraints: 70092 2061.12/2066.59 c INPROCESSING 2061.12/2066.59 c GARBAGE COLLECT 2061.12/2066.59 c rational objective 98 2095.54/2101.05 c #Conflicts: 1123000 | #Constraints: 39990 2095.54/2101.05 c #Conflicts: 1124000 | #Constraints: 40990 2095.54/2101.05 c #Conflicts: 1125000 | #Constraints: 41990 2095.54/2101.05 c #Conflicts: 1126000 | #Constraints: 42990 2095.54/2101.05 c #Conflicts: 1127000 | #Constraints: 43990 2095.54/2101.05 c #Conflicts: 1128000 | #Constraints: 44990 2095.54/2101.05 c #Conflicts: 1129000 | #Constraints: 45991 2095.54/2101.05 c #Conflicts: 1130000 | #Constraints: 46991 2095.54/2101.05 c #Conflicts: 1131000 | #Constraints: 47991 2095.54/2101.05 c #Conflicts: 1132000 | #Constraints: 48992 2095.54/2101.05 c #Conflicts: 1133000 | #Constraints: 49992 2095.54/2101.05 c #Conflicts: 1134000 | #Constraints: 50992 2095.54/2101.05 c #Conflicts: 1135000 | #Constraints: 51992 2095.54/2101.05 c #Conflicts: 1136000 | #Constraints: 52992 2095.54/2101.05 c #Conflicts: 1137000 | #Constraints: 53992 2095.54/2101.05 c #Conflicts: 1138000 | #Constraints: 54992 2095.54/2101.05 c #Conflicts: 1139000 | #Constraints: 55992 2095.54/2101.05 c #Conflicts: 1140000 | #Constraints: 56992 2095.54/2101.05 c #Conflicts: 1141000 | #Constraints: 57992 2095.54/2101.05 c #Conflicts: 1142000 | #Constraints: 58992 2095.54/2101.05 c #Conflicts: 1143000 | #Constraints: 59992 2095.54/2101.05 c #Conflicts: 1144000 | #Constraints: 60992 2095.54/2101.05 c #Conflicts: 1145000 | #Constraints: 61992 2095.54/2101.05 c #Conflicts: 1146000 | #Constraints: 62992 2095.54/2101.05 c INPROCESSING 2095.54/2101.05 c GARBAGE COLLECT 2095.54/2101.05 c rational objective 98 2308.58/2314.65 c #Conflicts: 1147000 | #Constraints: 36086 2308.58/2314.65 c #Conflicts: 1148000 | #Constraints: 37086 2308.58/2314.65 c #Conflicts: 1149000 | #Constraints: 38086 2308.58/2314.65 c #Conflicts: 1150000 | #Constraints: 39086 2308.58/2314.65 c #Conflicts: 1151000 | #Constraints: 40086 2308.58/2314.65 c #Conflicts: 1152000 | #Constraints: 41087 2308.58/2314.65 c #Conflicts: 1153000 | #Constraints: 42087 2308.58/2314.65 c #Conflicts: 1154000 | #Constraints: 43087 2308.58/2314.65 c #Conflicts: 1155000 | #Constraints: 44087 2308.58/2314.65 c #Conflicts: 1156000 | #Constraints: 45087 2308.58/2314.65 c #Conflicts: 1157000 | #Constraints: 46087 2308.58/2314.65 c #Conflicts: 1158000 | #Constraints: 47087 2308.58/2314.65 c #Conflicts: 1159000 | #Constraints: 48087 2308.58/2314.65 c #Conflicts: 1160000 | #Constraints: 49087 2308.58/2314.65 c #Conflicts: 1161000 | #Constraints: 50087 2308.58/2314.65 c #Conflicts: 1162000 | #Constraints: 51088 2308.58/2314.65 c #Conflicts: 1163000 | #Constraints: 52088 2308.58/2314.65 c #Conflicts: 1164000 | #Constraints: 53088 2308.58/2314.65 c #Conflicts: 1165000 | #Constraints: 54088 2308.58/2314.65 c #Conflicts: 1166000 | #Constraints: 55088 2308.58/2314.65 c #Conflicts: 1167000 | #Constraints: 56088 2308.58/2314.65 c #Conflicts: 1168000 | #Constraints: 57088 2308.58/2314.65 c #Conflicts: 1169000 | #Constraints: 58088 2308.58/2314.65 c #Conflicts: 1170000 | #Constraints: 59088 2308.58/2314.65 c #Conflicts: 1171000 | #Constraints: 60088 2308.58/2314.65 c #Conflicts: 1172000 | #Constraints: 61088 2308.58/2314.65 c #Conflicts: 1173000 | #Constraints: 62088 2308.58/2314.65 c #Conflicts: 1174000 | #Constraints: 63088 2308.58/2314.65 c #Conflicts: 1175000 | #Constraints: 64088 2308.58/2314.65 c #Conflicts: 1176000 | #Constraints: 65088 2308.58/2314.65 c #Conflicts: 1177000 | #Constraints: 66088 2308.58/2314.65 c #Conflicts: 1178000 | #Constraints: 67088 2308.58/2314.65 c #Conflicts: 1179000 | #Constraints: 68088 2308.58/2314.65 c #Conflicts: 1180000 | #Constraints: 69088 2308.58/2314.65 c #Conflicts: 1181000 | #Constraints: 70088 2308.58/2314.65 c #Conflicts: 1182000 | #Constraints: 71088 2308.58/2314.65 c #Conflicts: 1183000 | #Constraints: 72088 2308.58/2314.65 c #Conflicts: 1184000 | #Constraints: 73088 2308.58/2314.65 c #Conflicts: 1185000 | #Constraints: 74089 2308.58/2314.65 c #Conflicts: 1186000 | #Constraints: 75089 2308.58/2314.65 c #Conflicts: 1187000 | #Constraints: 76089 2308.58/2314.65 c #Conflicts: 1188000 | #Constraints: 77089 2308.58/2314.65 c #Conflicts: 1189000 | #Constraints: 78089 2308.58/2314.65 c #Conflicts: 1190000 | #Constraints: 79089 2308.58/2314.65 c #Conflicts: 1191000 | #Constraints: 80089 2308.58/2314.65 c #Conflicts: 1192000 | #Constraints: 81089 2308.58/2314.65 c #Conflicts: 1193000 | #Constraints: 82089 2308.58/2314.65 c #Conflicts: 1194000 | #Constraints: 83089 2308.58/2314.65 c #Conflicts: 1195000 | #Constraints: 84089 2308.58/2314.65 c #Conflicts: 1196000 | #Constraints: 85089 2308.58/2314.65 c #Conflicts: 1197000 | #Constraints: 86089 2308.58/2314.65 c #Conflicts: 1198000 | #Constraints: 87089 2308.58/2314.65 c #Conflicts: 1199000 | #Constraints: 88090 2308.58/2314.65 c #Conflicts: 1200000 | #Constraints: 89090 2308.58/2314.65 c #Conflicts: 1201000 | #Constraints: 90090 2308.58/2314.65 c #Conflicts: 1202000 | #Constraints: 91090 2308.58/2314.65 c #Conflicts: 1203000 | #Constraints: 92090 2308.58/2314.65 c #Conflicts: 1204000 | #Constraints: 93090 2308.58/2314.65 c #Conflicts: 1205000 | #Constraints: 94090 2308.58/2314.65 c #Conflicts: 1206000 | #Constraints: 95090 2308.58/2314.65 c #Conflicts: 1207000 | #Constraints: 96090 2308.58/2314.65 c #Conflicts: 1208000 | #Constraints: 97090 2308.58/2314.65 c #Conflicts: 1209000 | #Constraints: 98090 2308.58/2314.65 c #Conflicts: 1210000 | #Constraints: 99090 2308.58/2314.65 c #Conflicts: 1211000 | #Constraints: 100090 2308.58/2314.65 c #Conflicts: 1212000 | #Constraints: 101090 2308.58/2314.65 c #Conflicts: 1213000 | #Constraints: 102090 2308.58/2314.65 c #Conflicts: 1214000 | #Constraints: 103090 2308.58/2314.65 c #Conflicts: 1215000 | #Constraints: 104090 2308.58/2314.65 c #Conflicts: 1216000 | #Constraints: 105090 2308.58/2314.65 c #Conflicts: 1217000 | #Constraints: 106090 2308.58/2314.65 c #Conflicts: 1218000 | #Constraints: 107090 2308.58/2314.65 c #Conflicts: 1219000 | #Constraints: 108090 2308.58/2314.65 c #Conflicts: 1220000 | #Constraints: 109090 2308.58/2314.65 c #Conflicts: 1221000 | #Constraints: 110090 2308.58/2314.65 c #Conflicts: 1222000 | #Constraints: 111090 2308.58/2314.65 c #Conflicts: 1223000 | #Constraints: 112090 2308.58/2314.65 c #Conflicts: 1224000 | #Constraints: 113090 2308.58/2314.65 c #Conflicts: 1225000 | #Constraints: 114090 2321.54/2327.66 c #Conflicts: 1226000 | #Constraints: 115090 2321.54/2327.66 c #Conflicts: 1227000 | #Constraints: 116090 2321.54/2327.66 c INPROCESSING 2321.54/2327.66 c GARBAGE COLLECT 2321.54/2327.66 c rational objective 98 2382.98/2389.25 c #Conflicts: 1228000 | #Constraints: 62675 2382.98/2389.25 c #Conflicts: 1229000 | #Constraints: 63675 2382.98/2389.25 c #Conflicts: 1230000 | #Constraints: 64675 2382.98/2389.25 c #Conflicts: 1231000 | #Constraints: 65675 2382.98/2389.25 c #Conflicts: 1232000 | #Constraints: 66675 2382.98/2389.25 c #Conflicts: 1233000 | #Constraints: 67675 2382.98/2389.25 c #Conflicts: 1234000 | #Constraints: 68675 2382.98/2389.25 c #Conflicts: 1235000 | #Constraints: 69675 2382.98/2389.25 c #Conflicts: 1236000 | #Constraints: 70675 2382.98/2389.25 c #Conflicts: 1237000 | #Constraints: 71675 2382.98/2389.25 c #Conflicts: 1238000 | #Constraints: 72675 2382.98/2389.25 c #Conflicts: 1239000 | #Constraints: 73675 2382.98/2389.25 c #Conflicts: 1240000 | #Constraints: 74675 2382.98/2389.25 c #Conflicts: 1241000 | #Constraints: 75675 2382.98/2389.25 c #Conflicts: 1242000 | #Constraints: 76675 2382.98/2389.25 c #Conflicts: 1243000 | #Constraints: 77675 2382.98/2389.25 c #Conflicts: 1244000 | #Constraints: 78675 2382.98/2389.25 c #Conflicts: 1245000 | #Constraints: 79675 2382.98/2389.25 c #Conflicts: 1246000 | #Constraints: 80675 2382.98/2389.25 c #Conflicts: 1247000 | #Constraints: 81675 2382.98/2389.25 c #Conflicts: 1248000 | #Constraints: 82675 2382.98/2389.25 c #Conflicts: 1249000 | #Constraints: 83675 2382.98/2389.25 c #Conflicts: 1250000 | #Constraints: 84675 2382.98/2389.25 c #Conflicts: 1251000 | #Constraints: 85675 2382.98/2389.25 c #Conflicts: 1252000 | #Constraints: 86675 2382.98/2389.25 c #Conflicts: 1253000 | #Constraints: 87675 2382.98/2389.25 c INPROCESSING 2382.98/2389.25 c GARBAGE COLLECT 2382.98/2389.25 c rational objective 98 2429.26/2435.63 c #Conflicts: 1254000 | #Constraints: 48443 2429.26/2435.63 c #Conflicts: 1255000 | #Constraints: 49443 2429.26/2435.63 c #Conflicts: 1256000 | #Constraints: 50443 2429.26/2435.63 c #Conflicts: 1257000 | #Constraints: 51443 2429.26/2435.63 c #Conflicts: 1258000 | #Constraints: 52444 2429.26/2435.63 c #Conflicts: 1259000 | #Constraints: 53444 2429.26/2435.63 c #Conflicts: 1260000 | #Constraints: 54445 2429.26/2435.63 c #Conflicts: 1261000 | #Constraints: 55446 2429.26/2435.63 c #Conflicts: 1262000 | #Constraints: 56446 2429.26/2435.63 c #Conflicts: 1263000 | #Constraints: 57446 2429.26/2435.63 c #Conflicts: 1264000 | #Constraints: 58446 2429.26/2435.63 c #Conflicts: 1265000 | #Constraints: 59446 2429.26/2435.63 c #Conflicts: 1266000 | #Constraints: 60446 2429.26/2435.63 c #Conflicts: 1267000 | #Constraints: 61446 2429.26/2435.63 c #Conflicts: 1268000 | #Constraints: 62446 2429.26/2435.63 c #Conflicts: 1269000 | #Constraints: 63446 2429.26/2435.63 c #Conflicts: 1270000 | #Constraints: 64446 2429.26/2435.63 c #Conflicts: 1271000 | #Constraints: 65446 2429.26/2435.63 c #Conflicts: 1272000 | #Constraints: 66446 2429.26/2435.63 c #Conflicts: 1273000 | #Constraints: 67446 2429.26/2435.63 c #Conflicts: 1274000 | #Constraints: 68446 2429.26/2435.63 c #Conflicts: 1275000 | #Constraints: 69446 2429.26/2435.63 c #Conflicts: 1276000 | #Constraints: 70446 2429.26/2435.63 c #Conflicts: 1277000 | #Constraints: 71446 2429.26/2435.63 c #Conflicts: 1278000 | #Constraints: 72446 2429.26/2435.63 c #Conflicts: 1279000 | #Constraints: 73446 2429.26/2435.63 c #Conflicts: 1280000 | #Constraints: 74446 2429.26/2435.63 c INPROCESSING 2429.26/2435.63 c GARBAGE COLLECT 2429.26/2435.63 c rational objective 98 2470.75/2477.25 c #Conflicts: 1281000 | #Constraints: 42280 2470.75/2477.25 c #Conflicts: 1282000 | #Constraints: 43280 2470.75/2477.25 c #Conflicts: 1283000 | #Constraints: 44280 2470.75/2477.25 c #Conflicts: 1284000 | #Constraints: 45280 2470.75/2477.25 c #Conflicts: 1285000 | #Constraints: 46280 2470.75/2477.25 c #Conflicts: 1286000 | #Constraints: 47280 2470.75/2477.25 c #Conflicts: 1287000 | #Constraints: 48280 2470.75/2477.25 c #Conflicts: 1288000 | #Constraints: 49280 2470.75/2477.25 c #Conflicts: 1289000 | #Constraints: 50280 2470.75/2477.25 c #Conflicts: 1290000 | #Constraints: 51280 2470.75/2477.25 c #Conflicts: 1291000 | #Constraints: 52280 2470.75/2477.25 c #Conflicts: 1292000 | #Constraints: 53280 2470.75/2477.25 c #Conflicts: 1293000 | #Constraints: 54280 2470.75/2477.25 c #Conflicts: 1294000 | #Constraints: 55280 2470.75/2477.25 c #Conflicts: 1295000 | #Constraints: 56280 2470.75/2477.25 c #Conflicts: 1296000 | #Constraints: 57280 2470.75/2477.25 c #Conflicts: 1297000 | #Constraints: 58280 2470.75/2477.25 c #Conflicts: 1298000 | #Constraints: 59280 2470.75/2477.25 c #Conflicts: 1299000 | #Constraints: 60280 2470.75/2477.25 c #Conflicts: 1300000 | #Constraints: 61280 2470.75/2477.25 c #Conflicts: 1301000 | #Constraints: 62280 2470.75/2477.25 c #Conflicts: 1302000 | #Constraints: 63280 2470.75/2477.25 c #Conflicts: 1303000 | #Constraints: 64280 2470.75/2477.25 c #Conflicts: 1304000 | #Constraints: 65280 2470.75/2477.25 c #Conflicts: 1305000 | #Constraints: 66280 2470.75/2477.25 c #Conflicts: 1306000 | #Constraints: 67280 2470.75/2477.25 c INPROCESSING 2470.75/2477.25 c GARBAGE COLLECT 2470.75/2477.25 c rational objective 98 2683.06/2690.11 c #Conflicts: 1307000 | #Constraints: 38337 2683.06/2690.11 c #Conflicts: 1308000 | #Constraints: 39337 2683.06/2690.11 c #Conflicts: 1309000 | #Constraints: 40337 2683.06/2690.11 c #Conflicts: 1310000 | #Constraints: 41337 2683.06/2690.11 c #Conflicts: 1311000 | #Constraints: 42337 2683.06/2690.11 c #Conflicts: 1312000 | #Constraints: 43337 2683.06/2690.11 c #Conflicts: 1313000 | #Constraints: 44337 2683.06/2690.11 c #Conflicts: 1314000 | #Constraints: 45337 2683.06/2690.11 c #Conflicts: 1315000 | #Constraints: 46337 2683.06/2690.11 c #Conflicts: 1316000 | #Constraints: 47337 2683.06/2690.11 c #Conflicts: 1317000 | #Constraints: 48337 2683.06/2690.11 c #Conflicts: 1318000 | #Constraints: 49337 2683.06/2690.11 c #Conflicts: 1319000 | #Constraints: 50337 2683.06/2690.11 c #Conflicts: 1320000 | #Constraints: 51337 2683.06/2690.11 c #Conflicts: 1321000 | #Constraints: 52337 2683.06/2690.11 c #Conflicts: 1322000 | #Constraints: 53337 2683.06/2690.11 c #Conflicts: 1323000 | #Constraints: 54337 2683.06/2690.11 c #Conflicts: 1324000 | #Constraints: 55337 2683.06/2690.11 c #Conflicts: 1325000 | #Constraints: 56337 2683.06/2690.11 c #Conflicts: 1326000 | #Constraints: 57337 2683.06/2690.11 c #Conflicts: 1327000 | #Constraints: 58337 2683.06/2690.11 c #Conflicts: 1328000 | #Constraints: 59337 2683.06/2690.11 c #Conflicts: 1329000 | #Constraints: 60337 2683.06/2690.11 c #Conflicts: 1330000 | #Constraints: 61337 2683.06/2690.11 c #Conflicts: 1331000 | #Constraints: 62337 2683.06/2690.11 c #Conflicts: 1332000 | #Constraints: 63337 2683.06/2690.11 c #Conflicts: 1333000 | #Constraints: 64337 2683.06/2690.11 c #Conflicts: 1334000 | #Constraints: 65337 2683.06/2690.11 c #Conflicts: 1335000 | #Constraints: 66337 2683.06/2690.11 c #Conflicts: 1336000 | #Constraints: 67337 2683.06/2690.11 c #Conflicts: 1337000 | #Constraints: 68337 2683.06/2690.11 c #Conflicts: 1338000 | #Constraints: 69337 2683.06/2690.11 c #Conflicts: 1339000 | #Constraints: 70337 2683.06/2690.11 c #Conflicts: 1340000 | #Constraints: 71337 2683.06/2690.11 c #Conflicts: 1341000 | #Constraints: 72337 2683.06/2690.11 c #Conflicts: 1342000 | #Constraints: 73337 2683.06/2690.11 c #Conflicts: 1343000 | #Constraints: 74337 2683.06/2690.11 c #Conflicts: 1344000 | #Constraints: 75337 2683.06/2690.11 c #Conflicts: 1345000 | #Constraints: 76338 2683.06/2690.11 c #Conflicts: 1346000 | #Constraints: 77338 2683.06/2690.11 c #Conflicts: 1347000 | #Constraints: 78338 2683.06/2690.11 c #Conflicts: 1348000 | #Constraints: 79338 2683.06/2690.11 c #Conflicts: 1349000 | #Constraints: 80338 2683.06/2690.11 c #Conflicts: 1350000 | #Constraints: 81338 2683.06/2690.11 c #Conflicts: 1351000 | #Constraints: 82338 2683.06/2690.11 c #Conflicts: 1352000 | #Constraints: 83338 2683.06/2690.11 c #Conflicts: 1353000 | #Constraints: 84338 2683.06/2690.11 c #Conflicts: 1354000 | #Constraints: 85338 2683.06/2690.11 c #Conflicts: 1355000 | #Constraints: 86338 2683.06/2690.11 c #Conflicts: 1356000 | #Constraints: 87338 2683.06/2690.11 c #Conflicts: 1357000 | #Constraints: 88338 2683.06/2690.11 c #Conflicts: 1358000 | #Constraints: 89339 2683.06/2690.11 c #Conflicts: 1359000 | #Constraints: 90339 2683.06/2690.11 c #Conflicts: 1360000 | #Constraints: 91339 2683.06/2690.11 c #Conflicts: 1361000 | #Constraints: 92340 2683.06/2690.11 c #Conflicts: 1362000 | #Constraints: 93340 2683.06/2690.11 c #Conflicts: 1363000 | #Constraints: 94340 2683.06/2690.11 c #Conflicts: 1364000 | #Constraints: 95340 2683.06/2690.11 c #Conflicts: 1365000 | #Constraints: 96340 2683.06/2690.11 c #Conflicts: 1366000 | #Constraints: 97340 2683.06/2690.11 c #Conflicts: 1367000 | #Constraints: 98340 2683.06/2690.11 c #Conflicts: 1368000 | #Constraints: 99340 2683.06/2690.11 c #Conflicts: 1369000 | #Constraints: 100340 2683.06/2690.11 c #Conflicts: 1370000 | #Constraints: 101340 2683.06/2690.11 c #Conflicts: 1371000 | #Constraints: 102340 2683.06/2690.11 c #Conflicts: 1372000 | #Constraints: 103340 2683.06/2690.11 c #Conflicts: 1373000 | #Constraints: 104340 2683.06/2690.11 c #Conflicts: 1374000 | #Constraints: 105341 2683.06/2690.11 c #Conflicts: 1375000 | #Constraints: 106341 2683.06/2690.11 c #Conflicts: 1376000 | #Constraints: 107342 2683.06/2690.11 c #Conflicts: 1377000 | #Constraints: 108342 2683.06/2690.11 c #Conflicts: 1378000 | #Constraints: 109343 2683.06/2690.11 c #Conflicts: 1379000 | #Constraints: 110343 2683.06/2690.11 c #Conflicts: 1380000 | #Constraints: 111343 2683.06/2690.11 c #Conflicts: 1381000 | #Constraints: 112343 2683.06/2690.11 c #Conflicts: 1382000 | #Constraints: 113343 2683.06/2690.11 c #Conflicts: 1383000 | #Constraints: 114343 2683.06/2690.11 c #Conflicts: 1384000 | #Constraints: 115343 2683.06/2690.11 c #Conflicts: 1385000 | #Constraints: 116343 2720.85/2728.05 c #Conflicts: 1386000 | #Constraints: 117343 2720.85/2728.05 c #Conflicts: 1387000 | #Constraints: 118343 2720.85/2728.05 c #Conflicts: 1388000 | #Constraints: 119343 2720.85/2728.05 c #Conflicts: 1389000 | #Constraints: 120343 2720.85/2728.05 c #Conflicts: 1390000 | #Constraints: 121343 2720.85/2728.05 c #Conflicts: 1391000 | #Constraints: 122343 2720.85/2728.05 c #Conflicts: 1392000 | #Constraints: 123343 2720.85/2728.05 c INPROCESSING 2720.85/2728.05 c GARBAGE COLLECT 2720.85/2728.05 c rational objective 98 2787.59/2794.99 c #Conflicts: 1393000 | #Constraints: 66395 2787.59/2794.99 c #Conflicts: 1394000 | #Constraints: 67395 2787.59/2794.99 c #Conflicts: 1395000 | #Constraints: 68395 2787.59/2794.99 c #Conflicts: 1396000 | #Constraints: 69395 2787.59/2794.99 c #Conflicts: 1397000 | #Constraints: 70395 2787.59/2794.99 c #Conflicts: 1398000 | #Constraints: 71395 2787.59/2794.99 c #Conflicts: 1399000 | #Constraints: 72395 2787.59/2794.99 c #Conflicts: 1400000 | #Constraints: 73395 2787.59/2794.99 c #Conflicts: 1401000 | #Constraints: 74395 2787.59/2794.99 c #Conflicts: 1402000 | #Constraints: 75395 2787.59/2794.99 c #Conflicts: 1403000 | #Constraints: 76395 2787.59/2794.99 c #Conflicts: 1404000 | #Constraints: 77395 2787.59/2794.99 c #Conflicts: 1405000 | #Constraints: 78395 2787.59/2794.99 c #Conflicts: 1406000 | #Constraints: 79395 2787.59/2794.99 c #Conflicts: 1407000 | #Constraints: 80395 2787.59/2794.99 c #Conflicts: 1408000 | #Constraints: 81395 2787.59/2794.99 c #Conflicts: 1409000 | #Constraints: 82395 2787.59/2794.99 c #Conflicts: 1410000 | #Constraints: 83395 2787.59/2794.99 c #Conflicts: 1411000 | #Constraints: 84396 2787.59/2794.99 c #Conflicts: 1412000 | #Constraints: 85396 2787.59/2794.99 c #Conflicts: 1413000 | #Constraints: 86396 2787.59/2794.99 c #Conflicts: 1414000 | #Constraints: 87396 2787.59/2794.99 c #Conflicts: 1415000 | #Constraints: 88397 2787.59/2794.99 c #Conflicts: 1416000 | #Constraints: 89397 2787.59/2794.99 c #Conflicts: 1417000 | #Constraints: 90397 2787.59/2794.99 c #Conflicts: 1418000 | #Constraints: 91397 2787.59/2794.99 c #Conflicts: 1419000 | #Constraints: 92397 2787.59/2794.99 c #Conflicts: 1420000 | #Constraints: 93397 2787.59/2794.99 c INPROCESSING 2787.59/2794.99 c GARBAGE COLLECT 2787.59/2794.99 c rational objective 98 2835.38/2842.88 c #Conflicts: 1421000 | #Constraints: 51472 2835.38/2842.88 c #Conflicts: 1422000 | #Constraints: 52472 2835.38/2842.88 c #Conflicts: 1423000 | #Constraints: 53472 2835.38/2842.88 c #Conflicts: 1424000 | #Constraints: 54472 2835.38/2842.88 c #Conflicts: 1425000 | #Constraints: 55472 2835.38/2842.88 c #Conflicts: 1426000 | #Constraints: 56472 2835.38/2842.88 c #Conflicts: 1427000 | #Constraints: 57472 2835.38/2842.88 c #Conflicts: 1428000 | #Constraints: 58472 2835.38/2842.88 c #Conflicts: 1429000 | #Constraints: 59472 2835.38/2842.88 c #Conflicts: 1430000 | #Constraints: 60472 2835.38/2842.88 c #Conflicts: 1431000 | #Constraints: 61472 2835.38/2842.88 c #Conflicts: 1432000 | #Constraints: 62472 2835.38/2842.88 c #Conflicts: 1433000 | #Constraints: 63472 2835.38/2842.88 c #Conflicts: 1434000 | #Constraints: 64472 2835.38/2842.88 c #Conflicts: 1435000 | #Constraints: 65472 2835.38/2842.88 c #Conflicts: 1436000 | #Constraints: 66472 2835.38/2842.88 c #Conflicts: 1437000 | #Constraints: 67472 2835.38/2842.88 c #Conflicts: 1438000 | #Constraints: 68472 2835.38/2842.88 c #Conflicts: 1439000 | #Constraints: 69472 2835.38/2842.88 c #Conflicts: 1440000 | #Constraints: 70472 2835.38/2842.88 c #Conflicts: 1441000 | #Constraints: 71472 2835.38/2842.88 c #Conflicts: 1442000 | #Constraints: 72472 2835.38/2842.88 c #Conflicts: 1443000 | #Constraints: 73472 2835.38/2842.88 c #Conflicts: 1444000 | #Constraints: 74472 2835.38/2842.88 c #Conflicts: 1445000 | #Constraints: 75472 2835.38/2842.88 c #Conflicts: 1446000 | #Constraints: 76472 2835.38/2842.88 c #Conflicts: 1447000 | #Constraints: 77472 2835.38/2842.88 c #Conflicts: 1448000 | #Constraints: 78472 2835.38/2842.88 c INPROCESSING 2835.38/2842.88 c GARBAGE COLLECT 2835.38/2842.88 c rational objective 98 2878.37/2885.90 c #Conflicts: 1449000 | #Constraints: 44065 2878.37/2885.90 c #Conflicts: 1450000 | #Constraints: 45065 2878.37/2885.90 c #Conflicts: 1451000 | #Constraints: 46065 2878.37/2885.90 c #Conflicts: 1452000 | #Constraints: 47065 2878.37/2885.90 c #Conflicts: 1453000 | #Constraints: 48065 2878.37/2885.90 c #Conflicts: 1454000 | #Constraints: 49065 2878.37/2885.90 c #Conflicts: 1455000 | #Constraints: 50065 2878.37/2885.90 c #Conflicts: 1456000 | #Constraints: 51065 2878.37/2885.90 c #Conflicts: 1457000 | #Constraints: 52065 2878.37/2885.90 c #Conflicts: 1458000 | #Constraints: 53065 2878.37/2885.90 c #Conflicts: 1459000 | #Constraints: 54065 2878.37/2885.90 c #Conflicts: 1460000 | #Constraints: 55065 2878.37/2885.90 c #Conflicts: 1461000 | #Constraints: 56065 2878.37/2885.90 c #Conflicts: 1462000 | #Constraints: 57065 2878.37/2885.90 c #Conflicts: 1463000 | #Constraints: 58065 2878.37/2885.90 c #Conflicts: 1464000 | #Constraints: 59065 2878.37/2885.90 c #Conflicts: 1465000 | #Constraints: 60066 2878.37/2885.90 c #Conflicts: 1466000 | #Constraints: 61066 2878.37/2885.90 c #Conflicts: 1467000 | #Constraints: 62067 2878.37/2885.90 c #Conflicts: 1468000 | #Constraints: 63067 2878.37/2885.90 c #Conflicts: 1469000 | #Constraints: 64068 2878.37/2885.90 c #Conflicts: 1470000 | #Constraints: 65068 2878.37/2885.90 c #Conflicts: 1471000 | #Constraints: 66068 2878.37/2885.90 c #Conflicts: 1472000 | #Constraints: 67068 2878.37/2885.90 c #Conflicts: 1473000 | #Constraints: 68068 2878.37/2885.90 c #Conflicts: 1474000 | #Constraints: 69068 2878.37/2885.90 c #Conflicts: 1475000 | #Constraints: 70068 2878.37/2885.90 c #Conflicts: 1476000 | #Constraints: 71068 2878.37/2885.90 c INPROCESSING 2878.37/2885.90 c GARBAGE COLLECT 2878.37/2885.90 c rational objective 98 3052.63/3060.65 c #Conflicts: 1477000 | #Constraints: 40188 3052.63/3060.65 c #Conflicts: 1478000 | #Constraints: 41188 3052.63/3060.65 c #Conflicts: 1479000 | #Constraints: 42188 3052.63/3060.65 c #Conflicts: 1480000 | #Constraints: 43188 3052.63/3060.65 c #Conflicts: 1481000 | #Constraints: 44189 3052.63/3060.65 c #Conflicts: 1482000 | #Constraints: 45189 3052.63/3060.65 c #Conflicts: 1483000 | #Constraints: 46189 3052.63/3060.65 c #Conflicts: 1484000 | #Constraints: 47189 3052.63/3060.65 c #Conflicts: 1485000 | #Constraints: 48189 3052.63/3060.65 c #Conflicts: 1486000 | #Constraints: 49189 3052.63/3060.65 c #Conflicts: 1487000 | #Constraints: 50189 3052.63/3060.65 c #Conflicts: 1488000 | #Constraints: 51189 3052.63/3060.65 c #Conflicts: 1489000 | #Constraints: 52189 3052.63/3060.65 c #Conflicts: 1490000 | #Constraints: 53189 3052.63/3060.65 c #Conflicts: 1491000 | #Constraints: 54189 3052.63/3060.65 c #Conflicts: 1492000 | #Constraints: 55190 3052.63/3060.65 c #Conflicts: 1493000 | #Constraints: 56190 3052.63/3060.65 c #Conflicts: 1494000 | #Constraints: 57190 3052.63/3060.65 c #Conflicts: 1495000 | #Constraints: 58191 3052.63/3060.65 c #Conflicts: 1496000 | #Constraints: 59191 3052.63/3060.65 c #Conflicts: 1497000 | #Constraints: 60191 3052.63/3060.65 c #Conflicts: 1498000 | #Constraints: 61191 3052.63/3060.65 c #Conflicts: 1499000 | #Constraints: 62191 3052.63/3060.65 c #Conflicts: 1500000 | #Constraints: 63191 3052.63/3060.65 c #Conflicts: 1501000 | #Constraints: 64191 3052.63/3060.65 c #Conflicts: 1502000 | #Constraints: 65191 3052.63/3060.65 c #Conflicts: 1503000 | #Constraints: 66191 3052.63/3060.65 c #Conflicts: 1504000 | #Constraints: 67191 3052.63/3060.65 c #Conflicts: 1505000 | #Constraints: 68191 3052.63/3060.65 c #Conflicts: 1506000 | #Constraints: 69191 3052.63/3060.65 c #Conflicts: 1507000 | #Constraints: 70191 3052.63/3060.65 c #Conflicts: 1508000 | #Constraints: 71191 3052.63/3060.65 c #Conflicts: 1509000 | #Constraints: 72191 3052.63/3060.65 c #Conflicts: 1510000 | #Constraints: 73191 3052.63/3060.65 c #Conflicts: 1511000 | #Constraints: 74191 3052.63/3060.65 c #Conflicts: 1512000 | #Constraints: 75191 3052.63/3060.65 c #Conflicts: 1513000 | #Constraints: 76191 3052.63/3060.65 c #Conflicts: 1514000 | #Constraints: 77191 3052.63/3060.65 c #Conflicts: 1515000 | #Constraints: 78192 3052.63/3060.65 c #Conflicts: 1516000 | #Constraints: 79192 3052.63/3060.65 c #Conflicts: 1517000 | #Constraints: 80192 3052.63/3060.65 c #Conflicts: 1518000 | #Constraints: 81192 3052.63/3060.65 c #Conflicts: 1519000 | #Constraints: 82192 3052.63/3060.65 c #Conflicts: 1520000 | #Constraints: 83192 3052.63/3060.65 c #Conflicts: 1521000 | #Constraints: 84192 3052.63/3060.65 c #Conflicts: 1522000 | #Constraints: 85192 3052.63/3060.65 c #Conflicts: 1523000 | #Constraints: 86192 3052.63/3060.65 c #Conflicts: 1524000 | #Constraints: 87193 3052.63/3060.65 c #Conflicts: 1525000 | #Constraints: 88193 3052.63/3060.65 c #Conflicts: 1526000 | #Constraints: 89193 3052.63/3060.65 c #Conflicts: 1527000 | #Constraints: 90193 3052.63/3060.65 c #Conflicts: 1528000 | #Constraints: 91194 3052.63/3060.65 c #Conflicts: 1529000 | #Constraints: 92194 3052.63/3060.65 c #Conflicts: 1530000 | #Constraints: 93194 3052.63/3060.65 c #Conflicts: 1531000 | #Constraints: 94194 3052.63/3060.65 c #Conflicts: 1532000 | #Constraints: 95194 3052.63/3060.65 c #Conflicts: 1533000 | #Constraints: 96194 3052.63/3060.65 c #Conflicts: 1534000 | #Constraints: 97195 3052.63/3060.65 c #Conflicts: 1535000 | #Constraints: 98195 3052.63/3060.65 c #Conflicts: 1536000 | #Constraints: 99195 3052.63/3060.65 c #Conflicts: 1537000 | #Constraints: 100195 3052.63/3060.65 c #Conflicts: 1538000 | #Constraints: 101195 3052.63/3060.65 c #Conflicts: 1539000 | #Constraints: 102195 3052.63/3060.65 c #Conflicts: 1540000 | #Constraints: 103195 3052.63/3060.65 c #Conflicts: 1541000 | #Constraints: 104195 3052.63/3060.65 c #Conflicts: 1542000 | #Constraints: 105196 3052.63/3060.65 c #Conflicts: 1543000 | #Constraints: 106196 3052.63/3060.65 c #Conflicts: 1544000 | #Constraints: 107196 3052.63/3060.65 c #Conflicts: 1545000 | #Constraints: 108196 3052.63/3060.65 c #Conflicts: 1546000 | #Constraints: 109196 3052.63/3060.65 c #Conflicts: 1547000 | #Constraints: 110197 3052.63/3060.65 c #Conflicts: 1548000 | #Constraints: 111197 3052.63/3060.65 c #Conflicts: 1549000 | #Constraints: 112197 3052.63/3060.65 c #Conflicts: 1550000 | #Constraints: 113197 3052.63/3060.65 c #Conflicts: 1551000 | #Constraints: 114197 3052.63/3060.65 c #Conflicts: 1552000 | #Constraints: 115197 3052.63/3060.65 c #Conflicts: 1553000 | #Constraints: 116197 3052.63/3060.65 c #Conflicts: 1554000 | #Constraints: 117197 3052.63/3060.65 c #Conflicts: 1555000 | #Constraints: 118197 3103.49/3111.61 c #Conflicts: 1556000 | #Constraints: 119197 3103.49/3111.61 c #Conflicts: 1557000 | #Constraints: 120197 3103.49/3111.61 c #Conflicts: 1558000 | #Constraints: 121197 3103.49/3111.61 c #Conflicts: 1559000 | #Constraints: 122197 3103.49/3111.61 c #Conflicts: 1560000 | #Constraints: 123197 3103.49/3111.61 c #Conflicts: 1561000 | #Constraints: 124197 3103.49/3111.61 c #Conflicts: 1562000 | #Constraints: 125197 3103.49/3111.61 c #Conflicts: 1563000 | #Constraints: 126197 3103.49/3111.61 c #Conflicts: 1564000 | #Constraints: 127197 3103.49/3111.61 c #Conflicts: 1565000 | #Constraints: 128197 3103.49/3111.61 c #Conflicts: 1566000 | #Constraints: 129197 3103.49/3111.61 c #Conflicts: 1567000 | #Constraints: 130197 3103.49/3111.61 c #Conflicts: 1568000 | #Constraints: 131197 3103.49/3111.61 c INPROCESSING 3103.49/3111.61 c GARBAGE COLLECT 3103.49/3111.61 c rational objective 98 3174.09/3182.41 c #Conflicts: 1569000 | #Constraints: 70647 3174.09/3182.41 c #Conflicts: 1570000 | #Constraints: 71647 3174.09/3182.41 c #Conflicts: 1571000 | #Constraints: 72647 3174.09/3182.41 c #Conflicts: 1572000 | #Constraints: 73647 3174.09/3182.41 c #Conflicts: 1573000 | #Constraints: 74647 3174.09/3182.41 c #Conflicts: 1574000 | #Constraints: 75647 3174.09/3182.41 c #Conflicts: 1575000 | #Constraints: 76647 3174.09/3182.41 c #Conflicts: 1576000 | #Constraints: 77647 3174.09/3182.41 c #Conflicts: 1577000 | #Constraints: 78647 3174.09/3182.41 c #Conflicts: 1578000 | #Constraints: 79647 3174.09/3182.41 c #Conflicts: 1579000 | #Constraints: 80647 3174.09/3182.41 c #Conflicts: 1580000 | #Constraints: 81647 3174.09/3182.41 c #Conflicts: 1581000 | #Constraints: 82647 3174.09/3182.41 c #Conflicts: 1582000 | #Constraints: 83647 3174.09/3182.41 c #Conflicts: 1583000 | #Constraints: 84647 3174.09/3182.41 c #Conflicts: 1584000 | #Constraints: 85647 3174.09/3182.41 c #Conflicts: 1585000 | #Constraints: 86647 3174.09/3182.41 c #Conflicts: 1586000 | #Constraints: 87647 3174.09/3182.41 c #Conflicts: 1587000 | #Constraints: 88647 3174.09/3182.41 c #Conflicts: 1588000 | #Constraints: 89647 3174.09/3182.41 c #Conflicts: 1589000 | #Constraints: 90647 3174.09/3182.41 c #Conflicts: 1590000 | #Constraints: 91647 3174.09/3182.41 c #Conflicts: 1591000 | #Constraints: 92647 3174.09/3182.41 c #Conflicts: 1592000 | #Constraints: 93647 3174.09/3182.41 c #Conflicts: 1593000 | #Constraints: 94647 3174.09/3182.41 c #Conflicts: 1594000 | #Constraints: 95647 3174.09/3182.41 c #Conflicts: 1595000 | #Constraints: 96647 3174.09/3182.41 c #Conflicts: 1596000 | #Constraints: 97647 3174.09/3182.41 c #Conflicts: 1597000 | #Constraints: 98647 3174.09/3182.41 c INPROCESSING 3174.09/3182.41 c GARBAGE COLLECT 3174.09/3182.41 c rational objective 98 3225.34/3233.83 c #Conflicts: 1598000 | #Constraints: 54122 3225.34/3233.83 c #Conflicts: 1599000 | #Constraints: 55122 3225.34/3233.83 c #Conflicts: 1600000 | #Constraints: 56122 3225.34/3233.83 c #Conflicts: 1601000 | #Constraints: 57122 3225.34/3233.83 c #Conflicts: 1602000 | #Constraints: 58122 3225.34/3233.83 c #Conflicts: 1603000 | #Constraints: 59123 3225.34/3233.83 c #Conflicts: 1604000 | #Constraints: 60124 3225.34/3233.83 c #Conflicts: 1605000 | #Constraints: 61124 3225.34/3233.83 c #Conflicts: 1606000 | #Constraints: 62124 3225.34/3233.83 c #Conflicts: 1607000 | #Constraints: 63124 3225.34/3233.83 c #Conflicts: 1608000 | #Constraints: 64124 3225.34/3233.83 c #Conflicts: 1609000 | #Constraints: 65124 3225.34/3233.83 c #Conflicts: 1610000 | #Constraints: 66124 3225.34/3233.83 c #Conflicts: 1611000 | #Constraints: 67124 3225.34/3233.83 c #Conflicts: 1612000 | #Constraints: 68124 3225.34/3233.83 c #Conflicts: 1613000 | #Constraints: 69124 3225.34/3233.83 c #Conflicts: 1614000 | #Constraints: 70124 3225.34/3233.83 c #Conflicts: 1615000 | #Constraints: 71124 3225.34/3233.83 c #Conflicts: 1616000 | #Constraints: 72124 3225.34/3233.83 c #Conflicts: 1617000 | #Constraints: 73124 3225.34/3233.83 c #Conflicts: 1618000 | #Constraints: 74124 3225.34/3233.83 c #Conflicts: 1619000 | #Constraints: 75124 3225.34/3233.83 c #Conflicts: 1620000 | #Constraints: 76124 3225.34/3233.83 c #Conflicts: 1621000 | #Constraints: 77124 3225.34/3233.83 c #Conflicts: 1622000 | #Constraints: 78124 3225.34/3233.83 c #Conflicts: 1623000 | #Constraints: 79124 3225.34/3233.83 c #Conflicts: 1624000 | #Constraints: 80124 3225.34/3233.83 c #Conflicts: 1625000 | #Constraints: 81124 3225.34/3233.83 c #Conflicts: 1626000 | #Constraints: 82124 3225.34/3233.83 c #Conflicts: 1627000 | #Constraints: 83124 3225.34/3233.83 c INPROCESSING 3225.34/3233.83 c GARBAGE COLLECT 3225.34/3233.83 c rational objective 98 3287.55/3296.22 c #Conflicts: 1628000 | #Constraints: 46464 3287.55/3296.22 c #Conflicts: 1629000 | #Constraints: 47464 3287.55/3296.22 c #Conflicts: 1630000 | #Constraints: 48464 3287.55/3296.22 c #Conflicts: 1631000 | #Constraints: 49464 3287.55/3296.22 c #Conflicts: 1632000 | #Constraints: 50464 3287.55/3296.22 c #Conflicts: 1633000 | #Constraints: 51464 3287.55/3296.22 c #Conflicts: 1634000 | #Constraints: 52464 3287.55/3296.22 c #Conflicts: 1635000 | #Constraints: 53464 3287.55/3296.22 c #Conflicts: 1636000 | #Constraints: 54464 3287.55/3296.22 c #Conflicts: 1637000 | #Constraints: 55464 3287.55/3296.22 c #Conflicts: 1638000 | #Constraints: 56465 3287.55/3296.22 c #Conflicts: 1639000 | #Constraints: 57465 3287.55/3296.22 c #Conflicts: 1640000 | #Constraints: 58465 3287.55/3296.22 c #Conflicts: 1641000 | #Constraints: 59465 3287.55/3296.22 c #Conflicts: 1642000 | #Constraints: 60465 3287.55/3296.22 c #Conflicts: 1643000 | #Constraints: 61465 3287.55/3296.22 c #Conflicts: 1644000 | #Constraints: 62465 3287.55/3296.22 c #Conflicts: 1645000 | #Constraints: 63465 3287.55/3296.22 c #Conflicts: 1646000 | #Constraints: 64465 3287.55/3296.22 c #Conflicts: 1647000 | #Constraints: 65465 3287.55/3296.22 c #Conflicts: 1648000 | #Constraints: 66465 3287.55/3296.22 c #Conflicts: 1649000 | #Constraints: 67465 3287.55/3296.22 c #Conflicts: 1650000 | #Constraints: 68465 3287.55/3296.22 c #Conflicts: 1651000 | #Constraints: 69465 3287.55/3296.22 c #Conflicts: 1652000 | #Constraints: 70465 3287.55/3296.22 c #Conflicts: 1653000 | #Constraints: 71465 3287.55/3296.22 c #Conflicts: 1654000 | #Constraints: 72465 3287.55/3296.22 c #Conflicts: 1655000 | #Constraints: 73465 3287.55/3296.22 c #Conflicts: 1656000 | #Constraints: 74466 3287.55/3296.22 c #Conflicts: 1657000 | #Constraints: 75466 3287.55/3296.22 c INPROCESSING 3287.55/3296.22 c GARBAGE COLLECT 3287.55/3296.22 c rational objective 98 3491.64/3500.97 c #Conflicts: 1658000 | #Constraints: 42682 3491.64/3500.97 c #Conflicts: 1659000 | #Constraints: 43682 3491.64/3500.97 c #Conflicts: 1660000 | #Constraints: 44682 3491.64/3500.97 c #Conflicts: 1661000 | #Constraints: 45682 3491.64/3500.97 c #Conflicts: 1662000 | #Constraints: 46685 3491.64/3500.97 c #Conflicts: 1663000 | #Constraints: 47685 3491.64/3500.97 c #Conflicts: 1664000 | #Constraints: 48686 3491.64/3500.97 c #Conflicts: 1665000 | #Constraints: 49686 3491.64/3500.97 c #Conflicts: 1666000 | #Constraints: 50686 3491.64/3500.97 c #Conflicts: 1667000 | #Constraints: 51686 3491.64/3500.97 c #Conflicts: 1668000 | #Constraints: 52686 3491.64/3500.97 c #Conflicts: 1669000 | #Constraints: 53686 3491.64/3500.97 c #Conflicts: 1670000 | #Constraints: 54686 3491.64/3500.97 c #Conflicts: 1671000 | #Constraints: 55686 3491.64/3500.97 c #Conflicts: 1672000 | #Constraints: 56687 3491.64/3500.97 c #Conflicts: 1673000 | #Constraints: 57687 3491.64/3500.97 c #Conflicts: 1674000 | #Constraints: 58687 3491.64/3500.97 c #Conflicts: 1675000 | #Constraints: 59687 3491.64/3500.97 c #Conflicts: 1676000 | #Constraints: 60688 3491.64/3500.97 c #Conflicts: 1677000 | #Constraints: 61688 3491.64/3500.97 c #Conflicts: 1678000 | #Constraints: 62688 3491.64/3500.97 c #Conflicts: 1679000 | #Constraints: 63688 3491.64/3500.97 c #Conflicts: 1680000 | #Constraints: 64688 3491.64/3500.97 c #Conflicts: 1681000 | #Constraints: 65688 3491.64/3500.97 c #Conflicts: 1682000 | #Constraints: 66688 3491.64/3500.97 c #Conflicts: 1683000 | #Constraints: 67688 3491.64/3500.97 c #Conflicts: 1684000 | #Constraints: 68688 3491.64/3500.97 c #Conflicts: 1685000 | #Constraints: 69688 3491.64/3500.97 c #Conflicts: 1686000 | #Constraints: 70688 3491.64/3500.97 c #Conflicts: 1687000 | #Constraints: 71688 3491.64/3500.97 c #Conflicts: 1688000 | #Constraints: 72689 3491.64/3500.97 c #Conflicts: 1689000 | #Constraints: 73689 3491.64/3500.97 c #Conflicts: 1690000 | #Constraints: 74689 3491.64/3500.97 c #Conflicts: 1691000 | #Constraints: 75689 3491.64/3500.97 c #Conflicts: 1692000 | #Constraints: 76689 3491.64/3500.97 c #Conflicts: 1693000 | #Constraints: 77689 3491.64/3500.97 c #Conflicts: 1694000 | #Constraints: 78689 3491.64/3500.97 c #Conflicts: 1695000 | #Constraints: 79689 3491.64/3500.97 c #Conflicts: 1696000 | #Constraints: 80690 3491.64/3500.97 c #Conflicts: 1697000 | #Constraints: 81690 3491.64/3500.97 c #Conflicts: 1698000 | #Constraints: 82690 3491.64/3500.97 c #Conflicts: 1699000 | #Constraints: 83690 3491.64/3500.97 c #Conflicts: 1700000 | #Constraints: 84690 3491.64/3500.97 c #Conflicts: 1701000 | #Constraints: 85690 3491.64/3500.97 c #Conflicts: 1702000 | #Constraints: 86690 3491.64/3500.97 c #Conflicts: 1703000 | #Constraints: 87690 3491.64/3500.97 c #Conflicts: 1704000 | #Constraints: 88690 3491.64/3500.97 c #Conflicts: 1705000 | #Constraints: 89690 3491.64/3500.97 c #Conflicts: 1706000 | #Constraints: 90690 3491.64/3500.97 c #Conflicts: 1707000 | #Constraints: 91690 3491.64/3500.97 c #Conflicts: 1708000 | #Constraints: 92690 3491.64/3500.97 c #Conflicts: 1709000 | #Constraints: 93690 3491.64/3500.97 c #Conflicts: 1710000 | #Constraints: 94690 3491.64/3500.97 c #Conflicts: 1711000 | #Constraints: 95691 3491.64/3500.97 c #Conflicts: 1712000 | #Constraints: 96691 3491.64/3500.97 c #Conflicts: 1713000 | #Constraints: 97692 3491.64/3500.97 c #Conflicts: 1714000 | #Constraints: 98692 3491.64/3500.97 c #Conflicts: 1715000 | #Constraints: 99692 3491.64/3500.97 c #Conflicts: 1716000 | #Constraints: 100693 3491.64/3500.97 c #Conflicts: 1717000 | #Constraints: 101694 3491.64/3500.97 c #Conflicts: 1718000 | #Constraints: 102694 3491.64/3500.97 c #Conflicts: 1719000 | #Constraints: 103694 3491.64/3500.97 c #Conflicts: 1720000 | #Constraints: 104694 3491.64/3500.97 c #Conflicts: 1721000 | #Constraints: 105694 3491.64/3500.97 c #Conflicts: 1722000 | #Constraints: 106694 3491.64/3500.97 c #Conflicts: 1723000 | #Constraints: 107694 3491.64/3500.97 c #Conflicts: 1724000 | #Constraints: 108694 3491.64/3500.97 c #Conflicts: 1725000 | #Constraints: 109694 3491.64/3500.97 c #Conflicts: 1726000 | #Constraints: 110694 3491.64/3500.97 c #Conflicts: 1727000 | #Constraints: 111694 3491.64/3500.97 c #Conflicts: 1728000 | #Constraints: 112694 3491.64/3500.97 c #Conflicts: 1729000 | #Constraints: 113694 3491.64/3500.97 c #Conflicts: 1730000 | #Constraints: 114695 3491.64/3500.97 c #Conflicts: 1731000 | #Constraints: 115695 3491.64/3500.97 c #Conflicts: 1732000 | #Constraints: 116695 3491.64/3500.97 c #Conflicts: 1733000 | #Constraints: 117695 3491.64/3500.97 c #Conflicts: 1734000 | #Constraints: 118695 3491.64/3500.97 c #Conflicts: 1735000 | #Constraints: 119695 3491.64/3500.97 c #Conflicts: 1736000 | #Constraints: 120695 3582.86/3592.44 c #Conflicts: 1737000 | #Constraints: 121695 3582.86/3592.44 c #Conflicts: 1738000 | #Constraints: 122695 3582.86/3592.44 c #Conflicts: 1739000 | #Constraints: 123695 3582.86/3592.44 c #Conflicts: 1740000 | #Constraints: 124695 3582.86/3592.44 c #Conflicts: 1741000 | #Constraints: 125695 3582.86/3592.44 c #Conflicts: 1742000 | #Constraints: 126695 3582.86/3592.44 c #Conflicts: 1743000 | #Constraints: 127695 3582.86/3592.44 c #Conflicts: 1744000 | #Constraints: 128695 3582.86/3592.44 c #Conflicts: 1745000 | #Constraints: 129695 3582.86/3592.44 c #Conflicts: 1746000 | #Constraints: 130695 3582.86/3592.44 c #Conflicts: 1747000 | #Constraints: 131695 3582.86/3592.44 c #Conflicts: 1748000 | #Constraints: 132695 3582.86/3592.44 c #Conflicts: 1749000 | #Constraints: 133695 3582.86/3592.44 c #Conflicts: 1750000 | #Constraints: 134695 3582.86/3592.44 c #Conflicts: 1751000 | #Constraints: 135696 3582.86/3592.44 c #Conflicts: 1752000 | #Constraints: 136697 3582.86/3592.44 c #Conflicts: 1753000 | #Constraints: 137697 3582.86/3592.44 c INPROCESSING 3582.86/3592.44 c GARBAGE COLLECT 3582.86/3592.44 c rational objective 98 3600.00/3609.60 c #Conflicts: 1754000 | #Constraints: 73437 3600.00/3609.60 c #Conflicts: 1755000 | #Constraints: 74437 3600.00/3609.60 c #Conflicts: 1756000 | #Constraints: 75437 3600.00/3609.60 c #Conflicts: 1757000 | #Constraints: 76437 3600.00/3609.60 c #Conflicts: 1758000 | #Constraints: 77437 3600.00/3609.60 c #Conflicts: 1759000 | #Constraints: 78437 3600.00/3609.60 c #Conflicts: 1760000 | #Constraints: 79437 3600.00/3609.60 c #Conflicts: 1761000 | #Constraints: 80437 3600.00/3609.60 c #Conflicts: 1762000 | #Constraints: 81437 3600.00/3609.60 c Program interrupted by user. 3600.00/3609.68 c cpu time 3560.59 s 3600.00/3609.68 c deterministic time 414781372458 4.15e+11 3600.00/3609.68 c optimization time 16.5863 s 3600.00/3609.68 c total solve time 3543.98 s 3600.00/3609.68 c core-guided solve time 0 s 3600.00/3609.68 c propagation time 2491.1 s 3600.00/3609.68 c conflict analysis time 807.231 s 3600.00/3609.68 c propagations 718637328 3600.00/3609.68 c resolve steps 61771504 3600.00/3609.68 c decisions 14554175 3600.00/3609.68 c conflicts 1762518 3600.00/3609.68 c restarts 3387 3600.00/3609.68 c inprocessing phases 74 3600.00/3609.68 c input clauses 6764 3600.00/3609.68 c input cardinalities 98 3600.00/3609.68 c input general constraints 0 3600.00/3609.68 c input average constraint length 6.24 3600.00/3609.68 c input average constraint degree 1.94 3600.00/3609.68 c learned clauses 1202466 3600.00/3609.68 c learned cardinalities 37696 3600.00/3609.68 c learned general constraints 522507 3600.00/3609.68 c learned average constraint length 871.09 3600.00/3609.68 c learned average constraint degree 41540128.37 3600.00/3609.68 c watched constraints 440592 3600.00/3609.68 c counting constraints 81915 3600.00/3609.68 c gcd simplifications 5302 3600.00/3609.68 c detected cardinalities 2367 3600.00/3609.68 c weakened non-implied lits 253602685 3600.00/3609.68 c weakened non-implying lits 649484 3600.00/3609.68 c original variables 6664 3600.00/3609.68 c clausal propagations 262962250 3600.00/3609.68 c cardinality propagations 252162171 3600.00/3609.68 c watched propagations 58172940 3600.00/3609.68 c counting propagations 139359595 3600.00/3609.68 c watch lookups 30634382098 3600.00/3609.68 c watch backjump lookups 24461461639 3600.00/3609.68 c watch checks 296974152386 3600.00/3609.68 c propagation checks 56748483532 3600.00/3609.68 c constraint additions 4492599827 3600.00/3609.68 c trail pops 734948567 3600.00/3609.68 c formula constraints 6862 3600.00/3609.68 c learned constraints 1762365 3600.00/3609.68 c bound constraints 0 3600.00/3609.68 c core-guided constraints 0 3600.00/3609.68 c encountered formula constraints 34522542 3600.00/3609.68 c encountered learned constraints 29009225 3600.00/3609.68 c encountered bound constraints 0 3600.00/3609.68 c encountered core-guided constraints 0 3600.00/3609.68 c LP total time 706.965 s 3600.00/3609.68 c LP solve time 699.87 s 3600.00/3609.68 c LP constraints added 10905 3600.00/3609.68 c LP constraints removed 3935 3600.00/3609.68 c LP pivots internal 1763458 3600.00/3609.68 c LP pivots root 389447 3600.00/3609.68 c LP calls 367 3600.00/3609.68 c LP optimalities 208 3600.00/3609.68 c LP no pivot count 7 3600.00/3609.68 c LP infeasibilities 153 3600.00/3609.68 c LP valid Farkas constraints 152 3600.00/3609.68 c LP learned Farkas constraints 152 3600.00/3609.68 c LP basis resets 1 3600.00/3609.68 c LP cycling count 0 3600.00/3609.68 c LP singular count 0 3600.00/3609.68 c LP no primal count 0 3600.00/3609.68 c LP no farkas count 1 3600.00/3609.68 c LP other issue count 0 3600.00/3609.68 c LP Gomory cuts 0 3600.00/3609.68 c LP learned cuts 4043 3600.00/3609.68 c LP deleted cuts 3935 3600.00/3609.68 c LP encountered Gomory constraints 0 3600.00/3609.68 c LP encountered Farkas constraints 1710 3600.00/3609.68 c LP encountered learned Farkas constraints 393 3600.00/3609.68 c CG auxiliary variables introduced 0 3600.00/3609.68 c CG solutions found 0 3600.00/3609.68 c CG cores constructed 0 3600.00/3609.68 c CG core cardinality constraints returned 0 3600.00/3609.68 c CG unit cores 0 3600.00/3609.68 c CG single cores 0 3600.00/3609.68 c CG blocks removed during cardinality reduction 0 3600.00/3609.68 c CG first core best 0 3600.00/3609.68 c CG decision core best 0 3600.00/3609.68 c CG core reduction tie 0 3600.00/3609.68 c CG core degree average 0.00 3600.00/3609.68 c CG core slack average 0.00 3600.00/3609.68 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (42867 MiB free)
memory of node 1: 64510 MiB (35280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460670-1722069630/watcher-4460670-1722069630 -o /tmp/evaluation-result-4460670-1722069630/solver-4460670-1722069630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460670-1722069630 --lp-cut-gomory=0 HOME/instance-4460670-1722069630.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=313546, runsolver pid=313543
[startup+0.100102 s]*
/proc/loadavg: 4.13 4.18 4.17 5/262 313547
/proc/meminfo: memFree=80011204/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=49312 memory=17952 CPUtime=0.1 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 3665 0 0 0 9 1 0 0 20 0 1 0 43487194 50495488 4488 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 12328 4488 1721 992 0 4186 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 17952 KiB
[startup+0.20586 s]*
/proc/loadavg: 4.13 4.18 4.17 6/262 313547
/proc/meminfo: memFree=80010028/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=49984 memory=19008 CPUtime=0.2 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 3868 0 0 0 19 1 0 0 20 0 1 0 43487194 51183616 4752 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 12496 4752 1721 992 0 4354 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49984 KiB
Current children cumulated memory: 19008 KiB
[startup+0.304888 s]*
/proc/loadavg: 4.13 4.18 4.17 5/262 313548
/proc/meminfo: memFree=80008888/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=50224 memory=19008 CPUtime=0.29 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 3929 0 0 0 28 1 0 0 20 0 1 0 43487194 51429376 4752 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 12556 4752 1721 992 0 4414 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50224 KiB
Current children cumulated memory: 19008 KiB
[startup+0.700185 s]
/proc/loadavg: 4.13 4.18 4.17 5/262 313548
/proc/meminfo: memFree=80006676/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=51128 memory=20064 CPUtime=0.69 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 4150 0 0 0 67 2 0 0 20 0 1 0 43487194 52355072 5016 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 12782 5016 1721 992 0 4640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51128 KiB
Current children cumulated memory: 20064 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.18 4.17 5/262 313548
/proc/meminfo: memFree=80001524/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=52396 memory=24604 CPUtime=1.48 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 4781 0 0 0 140 8 0 0 20 0 1 0 43487194 53653504 6151 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 13099 6151 1753 992 0 4957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52396 KiB
Current children cumulated memory: 24604 KiB
[startup+3.10588 s]
/proc/loadavg: 4.13 4.18 4.17 5/262 313548
/proc/meminfo: memFree=79987872/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=53832 memory=26536 CPUtime=3.08 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 5137 0 0 0 297 11 0 0 20 0 1 0 43487194 55123968 6634 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 13458 6634 1847 992 0 5316 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53832 KiB
Current children cumulated memory: 26536 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.18 4.17 5/262 313548
/proc/meminfo: memFree=79965804/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=57800 memory=30720 CPUtime=6.28 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 5658 0 0 0 606 22 0 0 20 0 1 0 43487194 59187200 7680 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 14450 7680 1847 992 0 6308 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57800 KiB
Current children cumulated memory: 30720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.17 4.17 5/262 313550
/proc/meminfo: memFree=79889136/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=59532 memory=32828 CPUtime=12.66 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 6194 0 0 0 1230 36 0 0 20 0 1 0 43487194 60960768 8207 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 14883 8207 1847 992 0 6741 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59532 KiB
Current children cumulated memory: 32828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.18 5/262 313552
/proc/meminfo: memFree=79726308/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=69580 memory=38428 CPUtime=25.43 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 7643 0 0 0 2489 54 0 0 20 0 1 0 43487194 71249920 9607 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 17395 9607 1847 992 0 9253 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 69580 KiB
Current children cumulated memory: 38428 KiB
[startup+51.1058 s]
/proc/loadavg: 4.33 4.21 4.19 5/262 313559
/proc/meminfo: memFree=79423232/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=92144 memory=56628 CPUtime=50.97 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 9589 0 0 0 4988 109 0 0 20 0 1 0 43487194 94355456 14157 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 23036 14157 1847 992 0 14894 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92144 KiB
Current children cumulated memory: 56628 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/264 313570
/proc/meminfo: memFree=78741784/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=213224 memory=143724 CPUtime=102.05 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 16992 0 0 0 10015 190 0 0 20 0 1 0 43487194 218341376 35931 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 53306 35931 1847 992 0 45164 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 213224 KiB
Current children cumulated memory: 143724 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/264 313581
/proc/meminfo: memFree=78160052/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=219440 memory=149920 CPUtime=161.91 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 18750 0 0 0 15882 309 0 0 20 0 1 0 43487194 224706560 37480 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 54860 37480 1847 992 0 46718 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 219440 KiB
Current children cumulated memory: 149920 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/264 313592
/proc/meminfo: memFree=76052600/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=225916 memory=156144 CPUtime=221.76 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 20363 0 0 0 21747 429 0 0 20 0 1 0 43487194 231337984 39036 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 56479 39036 1847 992 0 48337 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 225916 KiB
Current children cumulated memory: 156144 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.21 4.19 5/264 313603
/proc/meminfo: memFree=74503164/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=315228 memory=225120 CPUtime=281.61 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 22813 0 0 0 27636 525 0 0 20 0 1 0 43487194 322793472 56280 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 78807 56280 1847 992 0 70665 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 315228 KiB
Current children cumulated memory: 225120 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.21 4.19 5/262 313613
/proc/meminfo: memFree=73660444/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=317228 memory=226960 CPUtime=341.46 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 23719 0 0 0 33518 628 0 0 20 0 1 0 43487194 324841472 56740 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 79307 56740 1847 992 0 71165 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 317228 KiB
Current children cumulated memory: 226960 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/258 313624
/proc/meminfo: memFree=73339776/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=326080 memory=235408 CPUtime=401.3 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 25841 0 0 0 39416 714 0 0 20 0 1 0 43487194 333905920 58852 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 81520 58852 1847 992 0 73378 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 235408 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/258 313634
/proc/meminfo: memFree=72596916/131524600 swapFree=131054736/131071996
[pid=313546] ppid=313543 vsize=326444 memory=235936 CPUtime=461.15 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 25932 0 0 0 45304 811 0 0 20 0 1 0 43487194 334278656 58984 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 81611 58984 1847 992 0 73469 0
################
# More data... #
################
Current children cumulated memory: 686736 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/259 315334
/proc/meminfo: memFree=101038072/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=769816 memory=685184 CPUtime=2854.83 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 59335 0 0 0 282160 3323 0 0 20 0 1 0 43487194 788291584 171296 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 192454 171296 1847 992 0 184312 0
Current children cumulated CPU time: 2854.83 s
Current children cumulated vsize: 769816 KiB
Current children cumulated memory: 685184 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/262 315515
/proc/meminfo: memFree=99228068/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=770236 memory=686132 CPUtime=2914.68 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 59669 0 0 0 288059 3409 0 0 20 0 1 0 43487194 788721664 171533 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 192559 171533 1847 992 0 184417 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 770236 KiB
Current children cumulated memory: 686132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/266 315586
/proc/meminfo: memFree=97811488/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=770236 memory=686132 CPUtime=2974.53 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 59891 0 0 0 293989 3464 0 0 20 0 1 0 43487194 788721664 171533 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 192559 171533 1847 992 0 184417 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 770236 KiB
Current children cumulated memory: 686132 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/265 315642
/proc/meminfo: memFree=101996272/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=770864 memory=686336 CPUtime=3034.38 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 60222 0 0 0 299933 3505 0 0 20 0 1 0 43487194 789364736 171584 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 192716 171584 1847 992 0 184574 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 770864 KiB
Current children cumulated memory: 686336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/265 315654
/proc/meminfo: memFree=101235648/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=774304 memory=689268 CPUtime=3094.22 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 61274 0 0 0 305890 3532 0 0 20 0 1 0 43487194 792887296 172317 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 193576 172317 1847 992 0 185434 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 774304 KiB
Current children cumulated memory: 689268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/265 315664
/proc/meminfo: memFree=100790792/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=777984 memory=692436 CPUtime=3154.05 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 62237 0 0 0 311831 3574 0 0 20 0 1 0 43487194 796655616 173109 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194496 173109 1847 992 0 186354 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 777984 KiB
Current children cumulated memory: 692436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/264 315675
/proc/meminfo: memFree=100121984/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=777156 memory=691296 CPUtime=3213.87 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 62822 0 0 0 317757 3630 0 0 20 0 1 0 43487194 795807744 172824 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194289 172824 1847 992 0 186147 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 777156 KiB
Current children cumulated memory: 691296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/262 315686
/proc/meminfo: memFree=99588020/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=777160 memory=691480 CPUtime=3273.69 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 63553 0 0 0 323681 3688 0 0 20 0 1 0 43487194 795811840 172870 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194290 172870 1847 992 0 186148 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 777160 KiB
Current children cumulated memory: 691480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/258 315696
/proc/meminfo: memFree=99190140/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=777972 memory=692212 CPUtime=3333.51 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 63882 0 0 0 329588 3763 0 0 20 0 1 0 43487194 796643328 173053 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194493 173053 1847 992 0 186351 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 692212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/257 315707
/proc/meminfo: memFree=98788880/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=777972 memory=692212 CPUtime=3393.33 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 64119 0 0 0 335518 3815 0 0 20 0 1 0 43487194 796643328 173053 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194493 173053 1847 992 0 186351 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 692212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/257 315717
/proc/meminfo: memFree=98276836/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=778252 memory=692588 CPUtime=3453.15 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 64468 0 0 0 341461 3854 0 0 20 0 1 0 43487194 796930048 173147 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194563 173147 1847 992 0 186421 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 778252 KiB
Current children cumulated memory: 692588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/257 315727
/proc/meminfo: memFree=97815880/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=779736 memory=694116 CPUtime=3512.97 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 65152 0 0 0 347412 3885 0 0 20 0 1 0 43487194 798449664 173529 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 194934 173529 1847 992 0 186792 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 779736 KiB
Current children cumulated memory: 694116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/266 315749
/proc/meminfo: memFree=97061856/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=788484 memory=700752 CPUtime=3572.78 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 67156 0 0 0 353360 3918 0 0 20 0 1 0 43487194 807407616 175188 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 197121 175188 1847 992 0 188979 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 788484 KiB
Current children cumulated memory: 700752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.18 4.13 4.14 5/266 315752
/proc/meminfo: memFree=96780748/131524600 swapFree=131054224/131071996
[pid=313546] ppid=313543 vsize=790684 memory=702616 CPUtime=3600 cores=4,6
/proc/313546/stat : 313546 (roundingsat) R 313543 313546 310236 0 -1 4194304 68219 0 0 0 356058 3942 0 0 20 0 1 0 43487194 809660416 175654 134679101440 4194304 8254357 140732215573664 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24416256 140732215575387 140732215575649 140732215575649 140732215582665 0
/proc/313546/statm: 197671 175654 1847 992 0 189529 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 790684 KiB
Current children cumulated memory: 702616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.69 s]
# the end of solver process 313546 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.59 s, system=39.4272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.69
CPU time (s): 3600.02
CPU user time (s): 3560.59
CPU system time (s): 39.4272
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 792172
Max. memory (cumulated for all children) (KiB): 703904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.59
system time used= 39.4272
maximum resident set size= 703904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9215880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 378
involuntary context switches= 8283
# summary of solver processes directly reported to runsolver:
# pid: 313546
# total CPU time (s): 3600.02
# total CPU user time (s): 3560.59
# total CPU system time (s): 39.4272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26727 second user time and 16.7628 second system time
The end
Begin job on nodeC034 at 2024-07-27 10:40:30 IDJOB=4460670 IDBENCH=158344 IDSOLVER=3086 FILE ID=nodeC034/4460670-1722069630 RUNJOBID= nodeC034-1722064836-310247 SLURM_JOB_ID= 8248102 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460670-1722069630/watcher-4460670-1722069630 -o /tmp/evaluation-result-4460670-1722069630/solver-4460670-1722069630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460670-1722069630 --lp-cut-gomory=0 HOME/instance-4460670-1722069630.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=1333405008 nodeC034.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 : 3668.027 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.92 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 : 3688.391 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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 : 3604.420 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.92 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.153 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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 : 3661.027 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.92 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 : 3688.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 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 : 3653.261 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.92 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 : 3600.075 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 80023468 kB MemAvailable: 119729604 kB Buffers: 369024 kB Cached: 40111696 kB SwapCached: 112 kB Active: 1862540 kB Inactive: 48915736 kB Active(anon): 1936 kB Inactive(anon): 10346456 kB Active(file): 1860604 kB Inactive(file): 38569280 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 48016 kB Writeback: 0 kB AnonPages: 10296272 kB Mapped: 105484 kB Shmem: 50772 kB KReclaimable: 231800 kB Slab: 351096 kB SReclaimable: 231800 kB SUnreclaim: 119296 kB KernelStack: 4240 kB PageTables: 30172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11921272 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16416 kB HardwareCorrupted: 0 kB AnonHugePages: 3262464 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890052 MiB End job on nodeC034 at 2024-07-27 11:40:40