| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3610.24 |
| 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.76/10.87 c #Conflicts: 1000 | #Constraints: 7861 10.76/10.87 c #Conflicts: 2000 | #Constraints: 8861 10.76/10.87 c INPROCESSING 10.76/10.87 c GARBAGE COLLECT 10.76/10.87 c #Conflicts: 3000 | #Constraints: 8549 10.76/10.87 c #Conflicts: 4000 | #Constraints: 9549 10.76/10.87 c INPROCESSING 10.76/10.87 c GARBAGE COLLECT 10.76/10.87 c #Conflicts: 5000 | #Constraints: 9020 10.76/10.87 c #Conflicts: 6000 | #Constraints: 10020 10.76/10.87 c INPROCESSING 10.76/10.87 c GARBAGE COLLECT 10.76/10.87 c rational objective 98 47.46/47.65 c #Conflicts: 7000 | #Constraints: 9077 47.46/47.65 c #Conflicts: 8000 | #Constraints: 10077 47.46/47.65 c #Conflicts: 9000 | #Constraints: 11077 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 10000 | #Constraints: 9825 47.46/47.65 c #Conflicts: 11000 | #Constraints: 10825 47.46/47.65 c #Conflicts: 12000 | #Constraints: 11825 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 13000 | #Constraints: 10321 47.46/47.65 c #Conflicts: 14000 | #Constraints: 11321 47.46/47.65 c #Conflicts: 15000 | #Constraints: 12321 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 16000 | #Constraints: 10590 47.46/47.65 c #Conflicts: 17000 | #Constraints: 11590 47.46/47.65 c #Conflicts: 18000 | #Constraints: 12590 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 19000 | #Constraints: 10639 47.46/47.65 c #Conflicts: 20000 | #Constraints: 11639 47.46/47.65 c #Conflicts: 21000 | #Constraints: 12639 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 22000 | #Constraints: 10472 47.46/47.65 c #Conflicts: 23000 | #Constraints: 11472 47.46/47.65 c #Conflicts: 24000 | #Constraints: 12472 47.46/47.65 c #Conflicts: 25000 | #Constraints: 13472 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 26000 | #Constraints: 11087 47.46/47.65 c #Conflicts: 27000 | #Constraints: 12088 47.46/47.65 c #Conflicts: 28000 | #Constraints: 13088 47.46/47.65 c #Conflicts: 29000 | #Constraints: 14088 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c #Conflicts: 30000 | #Constraints: 11504 47.46/47.65 c #Conflicts: 31000 | #Constraints: 12504 47.46/47.65 c #Conflicts: 32000 | #Constraints: 13504 47.46/47.65 c #Conflicts: 33000 | #Constraints: 14504 47.46/47.65 c INPROCESSING 47.46/47.65 c GARBAGE COLLECT 47.46/47.65 c rational objective 98 68.60/68.80 c #Conflicts: 34000 | #Constraints: 11747 68.60/68.80 c #Conflicts: 35000 | #Constraints: 12747 68.60/68.80 c #Conflicts: 36000 | #Constraints: 13747 68.60/68.80 c #Conflicts: 37000 | #Constraints: 14747 68.60/68.80 c #Conflicts: 38000 | #Constraints: 15747 68.60/68.80 c #Conflicts: 39000 | #Constraints: 16748 68.60/68.80 c #Conflicts: 40000 | #Constraints: 17752 68.60/68.80 c #Conflicts: 41000 | #Constraints: 18756 68.60/68.80 c #Conflicts: 42000 | #Constraints: 19756 68.60/68.80 c #Conflicts: 43000 | #Constraints: 20756 68.60/68.80 c #Conflicts: 44000 | #Constraints: 21758 68.60/68.80 c #Conflicts: 45000 | #Constraints: 22759 68.60/68.80 c #Conflicts: 46000 | #Constraints: 23760 68.60/68.80 c #Conflicts: 47000 | #Constraints: 24760 68.60/68.80 c #Conflicts: 48000 | #Constraints: 25761 68.60/68.80 c INPROCESSING 68.60/68.80 c GARBAGE COLLECT 68.60/68.80 c rational objective 98 127.63/128.03 c #Conflicts: 49000 | #Constraints: 17408 127.63/128.03 c #Conflicts: 50000 | #Constraints: 18408 127.63/128.03 c #Conflicts: 51000 | #Constraints: 19409 127.63/128.03 c #Conflicts: 52000 | #Constraints: 20409 127.63/128.03 c #Conflicts: 53000 | #Constraints: 21409 127.63/128.03 c INPROCESSING 127.63/128.03 c GARBAGE COLLECT 127.63/128.03 c #Conflicts: 54000 | #Constraints: 15125 127.63/128.03 c #Conflicts: 55000 | #Constraints: 16125 127.63/128.03 c #Conflicts: 56000 | #Constraints: 17125 127.63/128.03 c #Conflicts: 57000 | #Constraints: 18125 127.63/128.03 c #Conflicts: 58000 | #Constraints: 19125 127.63/128.03 c INPROCESSING 127.63/128.03 c GARBAGE COLLECT 127.63/128.03 c #Conflicts: 59000 | #Constraints: 13737 127.63/128.03 c #Conflicts: 60000 | #Constraints: 14737 127.63/128.03 c #Conflicts: 61000 | #Constraints: 15737 127.63/128.03 c #Conflicts: 62000 | #Constraints: 16737 127.63/128.03 c #Conflicts: 63000 | #Constraints: 17738 127.63/128.03 c #Conflicts: 64000 | #Constraints: 18738 127.63/128.03 c INPROCESSING 127.63/128.03 c GARBAGE COLLECT 127.63/128.03 c #Conflicts: 65000 | #Constraints: 13668 127.63/128.03 c #Conflicts: 66000 | #Constraints: 14668 127.63/128.03 c #Conflicts: 67000 | #Constraints: 15668 127.63/128.03 c #Conflicts: 68000 | #Constraints: 16669 127.63/128.03 c #Conflicts: 69000 | #Constraints: 17669 127.63/128.03 c #Conflicts: 70000 | #Constraints: 18669 127.63/128.03 c INPROCESSING 127.63/128.03 c GARBAGE COLLECT 127.63/128.03 c #Conflicts: 71000 | #Constraints: 13658 127.63/128.03 c #Conflicts: 72000 | #Constraints: 14658 127.63/128.03 c #Conflicts: 73000 | #Constraints: 15658 127.63/128.03 c #Conflicts: 74000 | #Constraints: 16658 127.63/128.03 c #Conflicts: 75000 | #Constraints: 17658 127.63/128.03 c #Conflicts: 76000 | #Constraints: 18659 127.63/128.03 c #Conflicts: 77000 | #Constraints: 19659 127.63/128.03 c #Conflicts: 78000 | #Constraints: 20659 127.63/128.03 c #Conflicts: 79000 | #Constraints: 21659 127.63/128.03 c #Conflicts: 80000 | #Constraints: 22659 127.63/128.03 c #Conflicts: 81000 | #Constraints: 23659 127.63/128.03 c #Conflicts: 82000 | #Constraints: 24659 127.63/128.03 c #Conflicts: 83000 | #Constraints: 25659 127.63/128.03 c #Conflicts: 84000 | #Constraints: 26659 127.63/128.03 c #Conflicts: 85000 | #Constraints: 27659 127.63/128.03 c #Conflicts: 86000 | #Constraints: 28659 127.63/128.03 c #Conflicts: 87000 | #Constraints: 29659 127.63/128.03 c #Conflicts: 88000 | #Constraints: 30659 127.63/128.03 c #Conflicts: 89000 | #Constraints: 31659 127.63/128.03 c #Conflicts: 90000 | #Constraints: 32659 127.63/128.03 c #Conflicts: 91000 | #Constraints: 33659 127.63/128.03 c INPROCESSING 127.63/128.03 c GARBAGE COLLECT 127.63/128.03 c rational objective 98 137.29/137.74 c #Conflicts: 92000 | #Constraints: 20967 137.29/137.74 c #Conflicts: 93000 | #Constraints: 21967 137.29/137.74 c #Conflicts: 94000 | #Constraints: 22967 137.29/137.74 c #Conflicts: 95000 | #Constraints: 23967 137.29/137.74 c #Conflicts: 96000 | #Constraints: 24967 137.29/137.74 c #Conflicts: 97000 | #Constraints: 25967 137.29/137.74 c #Conflicts: 98000 | #Constraints: 26967 137.29/137.74 c #Conflicts: 99000 | #Constraints: 27967 137.29/137.74 c INPROCESSING 137.29/137.74 c GARBAGE COLLECT 137.29/137.74 c rational objective 98 146.46/147.01 c #Conflicts: 100000 | #Constraints: 18594 146.46/147.01 c #Conflicts: 101000 | #Constraints: 19594 146.46/147.01 c #Conflicts: 102000 | #Constraints: 20594 146.46/147.01 c #Conflicts: 103000 | #Constraints: 21594 146.46/147.01 c #Conflicts: 104000 | #Constraints: 22594 146.46/147.01 c #Conflicts: 105000 | #Constraints: 23594 146.46/147.01 c #Conflicts: 106000 | #Constraints: 24594 146.46/147.01 c INPROCESSING 146.46/147.01 c GARBAGE COLLECT 146.46/147.01 c rational objective 98 160.32/160.86 c #Conflicts: 107000 | #Constraints: 16707 160.32/160.86 c #Conflicts: 108000 | #Constraints: 17707 160.32/160.86 c #Conflicts: 109000 | #Constraints: 18707 160.32/160.86 c #Conflicts: 110000 | #Constraints: 19708 160.32/160.86 c #Conflicts: 111000 | #Constraints: 20708 160.32/160.86 c #Conflicts: 112000 | #Constraints: 21709 160.32/160.86 c #Conflicts: 113000 | #Constraints: 22709 160.32/160.86 c #Conflicts: 114000 | #Constraints: 23709 160.32/160.86 c INPROCESSING 160.32/160.86 c GARBAGE COLLECT 160.32/160.86 c rational objective 98 198.29/198.93 c #Conflicts: 115000 | #Constraints: 16466 198.29/198.93 c #Conflicts: 116000 | #Constraints: 17467 198.29/198.93 c #Conflicts: 117000 | #Constraints: 18467 198.29/198.93 c #Conflicts: 118000 | #Constraints: 19468 198.29/198.93 c #Conflicts: 119000 | #Constraints: 20468 198.29/198.93 c #Conflicts: 120000 | #Constraints: 21468 198.29/198.93 c #Conflicts: 121000 | #Constraints: 22468 198.29/198.93 c INPROCESSING 198.29/198.93 c GARBAGE COLLECT 198.29/198.93 c #Conflicts: 122000 | #Constraints: 15504 198.29/198.93 c #Conflicts: 123000 | #Constraints: 16504 198.29/198.93 c #Conflicts: 124000 | #Constraints: 17504 198.29/198.93 c #Conflicts: 125000 | #Constraints: 18504 198.29/198.93 c #Conflicts: 126000 | #Constraints: 19504 198.29/198.93 c #Conflicts: 127000 | #Constraints: 20504 198.29/198.93 c #Conflicts: 128000 | #Constraints: 21504 198.29/198.93 c #Conflicts: 129000 | #Constraints: 22504 198.29/198.93 c #Conflicts: 130000 | #Constraints: 23504 198.29/198.93 c #Conflicts: 131000 | #Constraints: 24504 198.29/198.93 c #Conflicts: 132000 | #Constraints: 25504 198.29/198.93 c #Conflicts: 133000 | #Constraints: 26504 198.29/198.93 c #Conflicts: 134000 | #Constraints: 27504 198.29/198.93 c #Conflicts: 135000 | #Constraints: 28504 198.29/198.93 c #Conflicts: 136000 | #Constraints: 29504 198.29/198.93 c #Conflicts: 137000 | #Constraints: 30504 198.29/198.93 c #Conflicts: 138000 | #Constraints: 31504 198.29/198.93 c #Conflicts: 139000 | #Constraints: 32504 198.29/198.93 c #Conflicts: 140000 | #Constraints: 33504 198.29/198.93 c #Conflicts: 141000 | #Constraints: 34504 198.29/198.93 c #Conflicts: 142000 | #Constraints: 35504 198.29/198.93 c #Conflicts: 143000 | #Constraints: 36504 198.29/198.93 c #Conflicts: 144000 | #Constraints: 37504 198.29/198.93 c #Conflicts: 145000 | #Constraints: 38504 198.29/198.93 c #Conflicts: 146000 | #Constraints: 39504 198.29/198.93 c #Conflicts: 147000 | #Constraints: 40504 198.29/198.93 c #Conflicts: 148000 | #Constraints: 41504 198.29/198.93 c #Conflicts: 149000 | #Constraints: 42504 198.29/198.93 c INPROCESSING 198.29/198.93 c GARBAGE COLLECT 198.29/198.93 c rational objective 98 215.46/216.12 c #Conflicts: 150000 | #Constraints: 25589 215.46/216.12 c #Conflicts: 151000 | #Constraints: 26589 215.46/216.12 c #Conflicts: 152000 | #Constraints: 27589 215.46/216.12 c #Conflicts: 153000 | #Constraints: 28590 215.46/216.12 c #Conflicts: 154000 | #Constraints: 29590 215.46/216.12 c #Conflicts: 155000 | #Constraints: 30590 215.46/216.12 c #Conflicts: 156000 | #Constraints: 31590 215.46/216.12 c #Conflicts: 157000 | #Constraints: 32590 215.46/216.12 c #Conflicts: 158000 | #Constraints: 33590 215.46/216.12 c INPROCESSING 215.46/216.12 c GARBAGE COLLECT 215.46/216.12 c rational objective 98 225.82/226.56 c #Conflicts: 159000 | #Constraints: 21161 225.82/226.56 c #Conflicts: 160000 | #Constraints: 22162 225.82/226.56 c #Conflicts: 161000 | #Constraints: 23163 225.82/226.56 c #Conflicts: 162000 | #Constraints: 24163 225.82/226.56 c #Conflicts: 163000 | #Constraints: 25164 225.82/226.56 c #Conflicts: 164000 | #Constraints: 26164 225.82/226.56 c #Conflicts: 165000 | #Constraints: 27164 225.82/226.56 c #Conflicts: 166000 | #Constraints: 28165 225.82/226.56 c #Conflicts: 167000 | #Constraints: 29165 225.82/226.56 c #Conflicts: 168000 | #Constraints: 30165 225.82/226.56 c INPROCESSING 225.82/226.56 c GARBAGE COLLECT 225.82/226.56 c rational objective 98 233.40/234.18 c #Conflicts: 169000 | #Constraints: 19774 233.40/234.18 c #Conflicts: 170000 | #Constraints: 20775 233.40/234.18 c #Conflicts: 171000 | #Constraints: 21775 233.40/234.18 c #Conflicts: 172000 | #Constraints: 22775 233.40/234.18 c #Conflicts: 173000 | #Constraints: 23775 233.40/234.18 c #Conflicts: 174000 | #Constraints: 24775 233.40/234.18 c #Conflicts: 175000 | #Constraints: 25775 233.40/234.18 c #Conflicts: 176000 | #Constraints: 26775 233.40/234.18 c #Conflicts: 177000 | #Constraints: 27775 233.40/234.18 c INPROCESSING 233.40/234.18 c GARBAGE COLLECT 233.40/234.18 c rational objective 98 283.93/284.88 c #Conflicts: 178000 | #Constraints: 18326 283.93/284.88 c #Conflicts: 179000 | #Constraints: 19326 283.93/284.88 c #Conflicts: 180000 | #Constraints: 20326 283.93/284.88 c #Conflicts: 181000 | #Constraints: 21326 283.93/284.88 c #Conflicts: 182000 | #Constraints: 22326 283.93/284.88 c #Conflicts: 183000 | #Constraints: 23326 283.93/284.88 c #Conflicts: 184000 | #Constraints: 24326 283.93/284.88 c #Conflicts: 185000 | #Constraints: 25326 283.93/284.88 c #Conflicts: 186000 | #Constraints: 26326 283.93/284.88 c #Conflicts: 187000 | #Constraints: 27326 283.93/284.88 c #Conflicts: 188000 | #Constraints: 28326 283.93/284.88 c #Conflicts: 189000 | #Constraints: 29326 283.93/284.88 c #Conflicts: 190000 | #Constraints: 30326 283.93/284.88 c #Conflicts: 191000 | #Constraints: 31326 283.93/284.88 c #Conflicts: 192000 | #Constraints: 32326 283.93/284.88 c #Conflicts: 193000 | #Constraints: 33326 283.93/284.88 c #Conflicts: 194000 | #Constraints: 34326 283.93/284.88 c #Conflicts: 195000 | #Constraints: 35326 283.93/284.88 c #Conflicts: 196000 | #Constraints: 36326 283.93/284.88 c #Conflicts: 197000 | #Constraints: 37326 283.93/284.88 c #Conflicts: 198000 | #Constraints: 38326 283.93/284.88 c #Conflicts: 199000 | #Constraints: 39326 283.93/284.88 c #Conflicts: 200000 | #Constraints: 40326 283.93/284.88 c #Conflicts: 201000 | #Constraints: 41326 283.93/284.88 c #Conflicts: 202000 | #Constraints: 42326 283.93/284.88 c #Conflicts: 203000 | #Constraints: 43326 283.93/284.88 c #Conflicts: 204000 | #Constraints: 44327 283.93/284.88 c #Conflicts: 205000 | #Constraints: 45327 283.93/284.88 c #Conflicts: 206000 | #Constraints: 46327 283.93/284.88 c #Conflicts: 207000 | #Constraints: 47328 283.93/284.88 c #Conflicts: 208000 | #Constraints: 48328 283.93/284.88 c #Conflicts: 209000 | #Constraints: 49329 283.93/284.88 c #Conflicts: 210000 | #Constraints: 50330 283.93/284.88 c INPROCESSING 283.93/284.88 c GARBAGE COLLECT 283.93/284.88 c rational objective 98 300.08/301.02 c #Conflicts: 211000 | #Constraints: 29620 300.08/301.02 c #Conflicts: 212000 | #Constraints: 30620 300.08/301.02 c #Conflicts: 213000 | #Constraints: 31620 300.08/301.02 c #Conflicts: 214000 | #Constraints: 32620 300.08/301.02 c #Conflicts: 215000 | #Constraints: 33620 300.08/301.02 c #Conflicts: 216000 | #Constraints: 34620 300.08/301.02 c #Conflicts: 217000 | #Constraints: 35620 300.08/301.02 c #Conflicts: 218000 | #Constraints: 36620 300.08/301.02 c #Conflicts: 219000 | #Constraints: 37620 300.08/301.02 c #Conflicts: 220000 | #Constraints: 38620 300.08/301.02 c #Conflicts: 221000 | #Constraints: 39620 300.08/301.02 c INPROCESSING 300.08/301.02 c GARBAGE COLLECT 300.08/301.02 c rational objective 98 314.52/315.58 c #Conflicts: 222000 | #Constraints: 24327 314.52/315.58 c #Conflicts: 223000 | #Constraints: 25327 314.52/315.58 c #Conflicts: 224000 | #Constraints: 26327 314.52/315.58 c #Conflicts: 225000 | #Constraints: 27327 314.52/315.58 c #Conflicts: 226000 | #Constraints: 28327 314.52/315.58 c #Conflicts: 227000 | #Constraints: 29327 314.52/315.58 c #Conflicts: 228000 | #Constraints: 30327 314.52/315.58 c #Conflicts: 229000 | #Constraints: 31327 314.52/315.58 c #Conflicts: 230000 | #Constraints: 32328 314.52/315.58 c #Conflicts: 231000 | #Constraints: 33328 314.52/315.58 c #Conflicts: 232000 | #Constraints: 34328 314.52/315.58 c INPROCESSING 314.52/315.58 c GARBAGE COLLECT 314.52/315.58 c rational objective 98 328.48/329.55 c #Conflicts: 233000 | #Constraints: 21679 328.48/329.55 c #Conflicts: 234000 | #Constraints: 22680 328.48/329.55 c #Conflicts: 235000 | #Constraints: 23681 328.48/329.55 c #Conflicts: 236000 | #Constraints: 24682 328.48/329.55 c #Conflicts: 237000 | #Constraints: 25683 328.48/329.55 c #Conflicts: 238000 | #Constraints: 26684 328.48/329.55 c #Conflicts: 239000 | #Constraints: 27684 328.48/329.55 c #Conflicts: 240000 | #Constraints: 28684 328.48/329.55 c #Conflicts: 241000 | #Constraints: 29684 328.48/329.55 c #Conflicts: 242000 | #Constraints: 30684 328.48/329.55 c #Conflicts: 243000 | #Constraints: 31684 328.48/329.55 c INPROCESSING 328.48/329.55 c GARBAGE COLLECT 328.48/329.55 c rational objective 98 390.39/391.65 c #Conflicts: 244000 | #Constraints: 20275 390.39/391.65 c #Conflicts: 245000 | #Constraints: 21275 390.39/391.65 c #Conflicts: 246000 | #Constraints: 22275 390.39/391.65 c #Conflicts: 247000 | #Constraints: 23275 390.39/391.65 c #Conflicts: 248000 | #Constraints: 24275 390.39/391.65 c #Conflicts: 249000 | #Constraints: 25276 390.39/391.65 c #Conflicts: 250000 | #Constraints: 26276 390.39/391.65 c #Conflicts: 251000 | #Constraints: 27276 390.39/391.65 c #Conflicts: 252000 | #Constraints: 28276 390.39/391.65 c #Conflicts: 253000 | #Constraints: 29277 390.39/391.65 c #Conflicts: 254000 | #Constraints: 30277 390.39/391.65 c #Conflicts: 255000 | #Constraints: 31277 390.39/391.65 c #Conflicts: 256000 | #Constraints: 32277 390.39/391.65 c #Conflicts: 257000 | #Constraints: 33277 390.39/391.65 c #Conflicts: 258000 | #Constraints: 34277 390.39/391.65 c #Conflicts: 259000 | #Constraints: 35277 390.39/391.65 c #Conflicts: 260000 | #Constraints: 36277 390.39/391.65 c #Conflicts: 261000 | #Constraints: 37277 390.39/391.65 c #Conflicts: 262000 | #Constraints: 38277 390.39/391.65 c #Conflicts: 263000 | #Constraints: 39277 390.39/391.66 c #Conflicts: 264000 | #Constraints: 40277 390.39/391.66 c #Conflicts: 265000 | #Constraints: 41277 390.39/391.66 c #Conflicts: 266000 | #Constraints: 42277 390.39/391.66 c #Conflicts: 267000 | #Constraints: 43277 390.39/391.66 c #Conflicts: 268000 | #Constraints: 44277 390.39/391.66 c #Conflicts: 269000 | #Constraints: 45277 390.39/391.66 c #Conflicts: 270000 | #Constraints: 46277 390.39/391.66 c #Conflicts: 271000 | #Constraints: 47277 390.39/391.66 c #Conflicts: 272000 | #Constraints: 48277 390.39/391.66 c #Conflicts: 273000 | #Constraints: 49277 390.39/391.66 c #Conflicts: 274000 | #Constraints: 50277 390.39/391.66 c #Conflicts: 275000 | #Constraints: 51277 390.39/391.66 c #Conflicts: 276000 | #Constraints: 52277 390.39/391.66 c #Conflicts: 277000 | #Constraints: 53277 390.39/391.66 c #Conflicts: 278000 | #Constraints: 54278 390.39/391.66 c #Conflicts: 279000 | #Constraints: 55278 390.39/391.66 c #Conflicts: 280000 | #Constraints: 56278 390.39/391.66 c #Conflicts: 281000 | #Constraints: 57278 390.39/391.66 c #Conflicts: 282000 | #Constraints: 58278 390.39/391.66 c INPROCESSING 390.39/391.66 c GARBAGE COLLECT 390.39/391.66 c rational objective 98 404.44/405.76 c #Conflicts: 283000 | #Constraints: 33936 404.44/405.76 c #Conflicts: 284000 | #Constraints: 34936 404.44/405.76 c #Conflicts: 285000 | #Constraints: 35936 404.44/405.76 c #Conflicts: 286000 | #Constraints: 36936 404.44/405.76 c #Conflicts: 287000 | #Constraints: 37936 404.44/405.76 c #Conflicts: 288000 | #Constraints: 38936 404.44/405.76 c #Conflicts: 289000 | #Constraints: 39936 404.44/405.76 c #Conflicts: 290000 | #Constraints: 40936 404.44/405.76 c #Conflicts: 291000 | #Constraints: 41936 404.44/405.76 c #Conflicts: 292000 | #Constraints: 42936 404.44/405.76 c #Conflicts: 293000 | #Constraints: 43936 404.44/405.76 c #Conflicts: 294000 | #Constraints: 44936 404.44/405.76 c INPROCESSING 404.44/405.76 c GARBAGE COLLECT 404.44/405.76 c rational objective 98 419.59/420.92 c #Conflicts: 295000 | #Constraints: 26953 419.59/420.92 c #Conflicts: 296000 | #Constraints: 27954 419.59/420.92 c #Conflicts: 297000 | #Constraints: 28954 419.59/420.92 c #Conflicts: 298000 | #Constraints: 29955 419.59/420.92 c #Conflicts: 299000 | #Constraints: 30955 419.59/420.92 c #Conflicts: 300000 | #Constraints: 31956 419.59/420.92 c #Conflicts: 301000 | #Constraints: 32956 419.59/420.92 c #Conflicts: 302000 | #Constraints: 33956 419.59/420.92 c #Conflicts: 303000 | #Constraints: 34956 419.59/420.92 c #Conflicts: 304000 | #Constraints: 35957 419.59/420.92 c #Conflicts: 305000 | #Constraints: 36957 419.59/420.92 c #Conflicts: 306000 | #Constraints: 37957 419.59/420.92 c #Conflicts: 307000 | #Constraints: 38957 419.59/420.92 c INPROCESSING 419.59/420.92 c GARBAGE COLLECT 419.59/420.92 c rational objective 98 432.67/434.05 c #Conflicts: 308000 | #Constraints: 24124 432.67/434.05 c #Conflicts: 309000 | #Constraints: 25125 432.67/434.05 c #Conflicts: 310000 | #Constraints: 26127 432.67/434.05 c #Conflicts: 311000 | #Constraints: 27127 432.67/434.05 c #Conflicts: 312000 | #Constraints: 28127 432.67/434.05 c #Conflicts: 313000 | #Constraints: 29127 432.67/434.05 c #Conflicts: 314000 | #Constraints: 30127 432.67/434.05 c #Conflicts: 315000 | #Constraints: 31127 432.67/434.05 c #Conflicts: 316000 | #Constraints: 32127 432.67/434.05 c #Conflicts: 317000 | #Constraints: 33127 432.67/434.05 c #Conflicts: 318000 | #Constraints: 34127 432.67/434.05 c #Conflicts: 319000 | #Constraints: 35127 432.67/434.05 c #Conflicts: 320000 | #Constraints: 36127 432.67/434.05 c INPROCESSING 432.67/434.05 c GARBAGE COLLECT 432.67/434.05 c rational objective 98 510.71/512.39 c #Conflicts: 321000 | #Constraints: 22773 510.71/512.39 c #Conflicts: 322000 | #Constraints: 23773 510.71/512.39 c #Conflicts: 323000 | #Constraints: 24773 510.71/512.39 c #Conflicts: 324000 | #Constraints: 25773 510.71/512.39 c #Conflicts: 325000 | #Constraints: 26774 510.71/512.39 c #Conflicts: 326000 | #Constraints: 27774 510.71/512.39 c #Conflicts: 327000 | #Constraints: 28774 510.71/512.39 c #Conflicts: 328000 | #Constraints: 29774 510.71/512.39 c #Conflicts: 329000 | #Constraints: 30774 510.71/512.39 c #Conflicts: 330000 | #Constraints: 31774 510.71/512.39 c #Conflicts: 331000 | #Constraints: 32774 510.71/512.39 c #Conflicts: 332000 | #Constraints: 33774 510.71/512.39 c #Conflicts: 333000 | #Constraints: 34774 510.71/512.39 c #Conflicts: 334000 | #Constraints: 35775 510.71/512.39 c #Conflicts: 335000 | #Constraints: 36775 510.71/512.39 c #Conflicts: 336000 | #Constraints: 37775 510.71/512.39 c #Conflicts: 337000 | #Constraints: 38775 510.71/512.39 c #Conflicts: 338000 | #Constraints: 39775 510.71/512.39 c #Conflicts: 339000 | #Constraints: 40775 510.71/512.39 c #Conflicts: 340000 | #Constraints: 41775 510.71/512.39 c #Conflicts: 341000 | #Constraints: 42775 510.71/512.39 c #Conflicts: 342000 | #Constraints: 43775 510.71/512.39 c #Conflicts: 343000 | #Constraints: 44775 510.71/512.39 c #Conflicts: 344000 | #Constraints: 45775 510.71/512.39 c #Conflicts: 345000 | #Constraints: 46775 510.71/512.39 c #Conflicts: 346000 | #Constraints: 47775 510.71/512.39 c #Conflicts: 347000 | #Constraints: 48776 510.71/512.39 c #Conflicts: 348000 | #Constraints: 49776 510.71/512.39 c #Conflicts: 349000 | #Constraints: 50776 510.71/512.39 c #Conflicts: 350000 | #Constraints: 51776 510.71/512.39 c #Conflicts: 351000 | #Constraints: 52777 510.71/512.39 c #Conflicts: 352000 | #Constraints: 53777 510.71/512.39 c #Conflicts: 353000 | #Constraints: 54777 510.71/512.39 c #Conflicts: 354000 | #Constraints: 55777 510.71/512.39 c #Conflicts: 355000 | #Constraints: 56777 510.71/512.39 c #Conflicts: 356000 | #Constraints: 57777 510.71/512.39 c #Conflicts: 357000 | #Constraints: 58777 510.71/512.39 c #Conflicts: 358000 | #Constraints: 59777 510.71/512.39 c #Conflicts: 359000 | #Constraints: 60777 510.71/512.39 c #Conflicts: 360000 | #Constraints: 61777 510.71/512.39 c #Conflicts: 361000 | #Constraints: 62777 510.71/512.39 c #Conflicts: 362000 | #Constraints: 63777 510.71/512.39 c #Conflicts: 363000 | #Constraints: 64778 510.71/512.39 c INPROCESSING 510.71/512.39 c GARBAGE COLLECT 510.71/512.39 c rational objective 98 529.24/530.92 c #Conflicts: 364000 | #Constraints: 36732 529.24/530.92 c #Conflicts: 365000 | #Constraints: 37732 529.24/530.92 c #Conflicts: 366000 | #Constraints: 38732 529.24/530.92 c #Conflicts: 367000 | #Constraints: 39732 529.24/530.92 c #Conflicts: 368000 | #Constraints: 40732 529.24/530.92 c #Conflicts: 369000 | #Constraints: 41732 529.24/530.92 c #Conflicts: 370000 | #Constraints: 42732 529.24/530.92 c #Conflicts: 371000 | #Constraints: 43732 529.24/530.92 c #Conflicts: 372000 | #Constraints: 44732 529.24/530.92 c #Conflicts: 373000 | #Constraints: 45732 529.24/530.92 c #Conflicts: 374000 | #Constraints: 46732 529.24/530.92 c #Conflicts: 375000 | #Constraints: 47732 529.24/530.92 c #Conflicts: 376000 | #Constraints: 48732 529.24/530.92 c #Conflicts: 377000 | #Constraints: 49732 529.24/530.92 c #Conflicts: 378000 | #Constraints: 50732 529.24/530.92 c INPROCESSING 529.24/530.92 c GARBAGE COLLECT 529.24/530.92 c rational objective 98 548.39/550.17 c #Conflicts: 379000 | #Constraints: 30203 548.39/550.17 c #Conflicts: 380000 | #Constraints: 31204 548.39/550.17 c #Conflicts: 381000 | #Constraints: 32205 548.39/550.17 c #Conflicts: 382000 | #Constraints: 33205 548.39/550.17 c #Conflicts: 383000 | #Constraints: 34205 548.39/550.17 c #Conflicts: 384000 | #Constraints: 35205 548.39/550.17 c #Conflicts: 385000 | #Constraints: 36205 548.39/550.17 c #Conflicts: 386000 | #Constraints: 37205 548.39/550.17 c #Conflicts: 387000 | #Constraints: 38205 548.39/550.17 c #Conflicts: 388000 | #Constraints: 39205 548.39/550.17 c #Conflicts: 389000 | #Constraints: 40205 548.39/550.17 c #Conflicts: 390000 | #Constraints: 41205 548.39/550.17 c #Conflicts: 391000 | #Constraints: 42205 548.39/550.17 c #Conflicts: 392000 | #Constraints: 43205 548.39/550.17 c INPROCESSING 548.39/550.17 c GARBAGE COLLECT 548.39/550.17 c rational objective 98 564.43/566.22 c #Conflicts: 393000 | #Constraints: 26208 564.43/566.22 c #Conflicts: 394000 | #Constraints: 27208 564.43/566.22 c #Conflicts: 395000 | #Constraints: 28208 564.43/566.22 c #Conflicts: 396000 | #Constraints: 29208 564.43/566.22 c #Conflicts: 397000 | #Constraints: 30208 564.43/566.22 c #Conflicts: 398000 | #Constraints: 31208 564.43/566.22 c #Conflicts: 399000 | #Constraints: 32208 564.43/566.22 c #Conflicts: 400000 | #Constraints: 33209 564.43/566.22 c #Conflicts: 401000 | #Constraints: 34209 564.43/566.22 c #Conflicts: 402000 | #Constraints: 35209 564.43/566.22 c #Conflicts: 403000 | #Constraints: 36209 564.43/566.22 c #Conflicts: 404000 | #Constraints: 37209 564.43/566.22 c #Conflicts: 405000 | #Constraints: 38209 564.43/566.22 c #Conflicts: 406000 | #Constraints: 39209 564.43/566.22 c #Conflicts: 407000 | #Constraints: 40209 564.43/566.22 c INPROCESSING 564.43/566.22 c GARBAGE COLLECT 564.43/566.22 c rational objective 98 646.26/648.34 c #Conflicts: 408000 | #Constraints: 24913 646.26/648.34 c #Conflicts: 409000 | #Constraints: 25913 646.26/648.34 c #Conflicts: 410000 | #Constraints: 26914 646.26/648.34 c #Conflicts: 411000 | #Constraints: 27914 646.26/648.34 c #Conflicts: 412000 | #Constraints: 28914 646.26/648.34 c #Conflicts: 413000 | #Constraints: 29914 646.26/648.34 c #Conflicts: 414000 | #Constraints: 30915 646.26/648.34 c #Conflicts: 415000 | #Constraints: 31915 646.26/648.34 c #Conflicts: 416000 | #Constraints: 32915 646.26/648.34 c #Conflicts: 417000 | #Constraints: 33915 646.26/648.34 c #Conflicts: 418000 | #Constraints: 34915 646.26/648.34 c #Conflicts: 419000 | #Constraints: 35915 646.26/648.34 c #Conflicts: 420000 | #Constraints: 36915 646.26/648.34 c #Conflicts: 421000 | #Constraints: 37915 646.26/648.34 c #Conflicts: 422000 | #Constraints: 38915 646.26/648.34 c #Conflicts: 423000 | #Constraints: 39915 646.26/648.34 c #Conflicts: 424000 | #Constraints: 40915 646.26/648.34 c #Conflicts: 425000 | #Constraints: 41915 646.26/648.34 c #Conflicts: 426000 | #Constraints: 42915 646.26/648.34 c #Conflicts: 427000 | #Constraints: 43915 646.26/648.34 c #Conflicts: 428000 | #Constraints: 44915 646.26/648.34 c #Conflicts: 429000 | #Constraints: 45915 646.26/648.34 c #Conflicts: 430000 | #Constraints: 46915 646.26/648.34 c #Conflicts: 431000 | #Constraints: 47915 646.26/648.34 c #Conflicts: 432000 | #Constraints: 48915 646.26/648.34 c #Conflicts: 433000 | #Constraints: 49915 646.26/648.34 c #Conflicts: 434000 | #Constraints: 50915 646.26/648.34 c #Conflicts: 435000 | #Constraints: 51915 646.26/648.34 c #Conflicts: 436000 | #Constraints: 52915 646.26/648.34 c #Conflicts: 437000 | #Constraints: 53915 646.26/648.34 c #Conflicts: 438000 | #Constraints: 54915 646.26/648.34 c #Conflicts: 439000 | #Constraints: 55915 646.26/648.34 c #Conflicts: 440000 | #Constraints: 56915 646.26/648.34 c #Conflicts: 441000 | #Constraints: 57915 646.26/648.34 c #Conflicts: 442000 | #Constraints: 58915 646.26/648.34 c #Conflicts: 443000 | #Constraints: 59916 646.26/648.34 c #Conflicts: 444000 | #Constraints: 60916 646.26/648.34 c #Conflicts: 445000 | #Constraints: 61916 646.26/648.34 c #Conflicts: 446000 | #Constraints: 62916 646.26/648.34 c #Conflicts: 447000 | #Constraints: 63916 646.26/648.34 c #Conflicts: 448000 | #Constraints: 64917 646.26/648.34 c #Conflicts: 449000 | #Constraints: 65917 646.26/648.34 c #Conflicts: 450000 | #Constraints: 66917 646.26/648.34 c #Conflicts: 451000 | #Constraints: 67917 646.26/648.34 c #Conflicts: 452000 | #Constraints: 68917 646.26/648.34 c #Conflicts: 453000 | #Constraints: 69917 646.26/648.34 c #Conflicts: 454000 | #Constraints: 70917 646.26/648.34 c #Conflicts: 455000 | #Constraints: 71917 646.26/648.34 c #Conflicts: 456000 | #Constraints: 72917 646.26/648.34 c INPROCESSING 646.26/648.34 c GARBAGE COLLECT 646.26/648.34 c rational objective 98 670.49/672.61 c #Conflicts: 457000 | #Constraints: 41272 670.49/672.61 c #Conflicts: 458000 | #Constraints: 42272 670.49/672.61 c #Conflicts: 459000 | #Constraints: 43272 670.49/672.61 c #Conflicts: 460000 | #Constraints: 44272 670.49/672.61 c #Conflicts: 461000 | #Constraints: 45272 670.49/672.61 c #Conflicts: 462000 | #Constraints: 46272 670.49/672.61 c #Conflicts: 463000 | #Constraints: 47272 670.49/672.61 c #Conflicts: 464000 | #Constraints: 48272 670.49/672.61 c #Conflicts: 465000 | #Constraints: 49272 670.49/672.61 c #Conflicts: 466000 | #Constraints: 50272 670.49/672.61 c #Conflicts: 467000 | #Constraints: 51272 670.49/672.61 c #Conflicts: 468000 | #Constraints: 52272 670.49/672.61 c #Conflicts: 469000 | #Constraints: 53272 670.49/672.61 c #Conflicts: 470000 | #Constraints: 54272 670.49/672.61 c #Conflicts: 471000 | #Constraints: 55272 670.49/672.61 c INPROCESSING 670.49/672.61 c GARBAGE COLLECT 670.49/672.61 c rational objective 98 691.73/693.92 c #Conflicts: 472000 | #Constraints: 32042 691.73/693.92 c #Conflicts: 473000 | #Constraints: 33042 691.73/693.92 c #Conflicts: 474000 | #Constraints: 34042 691.73/693.92 c #Conflicts: 475000 | #Constraints: 35042 691.73/693.92 c #Conflicts: 476000 | #Constraints: 36042 691.73/693.92 c #Conflicts: 477000 | #Constraints: 37042 691.73/693.92 c #Conflicts: 478000 | #Constraints: 38042 691.73/693.92 c #Conflicts: 479000 | #Constraints: 39042 691.73/693.92 c #Conflicts: 480000 | #Constraints: 40042 691.73/693.92 c #Conflicts: 481000 | #Constraints: 41042 691.73/693.92 c #Conflicts: 482000 | #Constraints: 42042 691.73/693.92 c #Conflicts: 483000 | #Constraints: 43042 691.73/693.92 c #Conflicts: 484000 | #Constraints: 44042 691.73/693.92 c #Conflicts: 485000 | #Constraints: 45042 691.73/693.92 c #Conflicts: 486000 | #Constraints: 46042 691.73/693.92 c #Conflicts: 487000 | #Constraints: 47042 691.73/693.92 c #Conflicts: 488000 | #Constraints: 48042 691.73/693.92 c INPROCESSING 691.73/693.92 c GARBAGE COLLECT 691.73/693.92 c rational objective 98 723.63/725.95 c #Conflicts: 489000 | #Constraints: 28869 723.63/725.95 c #Conflicts: 490000 | #Constraints: 29869 723.63/725.95 c #Conflicts: 491000 | #Constraints: 30869 723.63/725.95 c #Conflicts: 492000 | #Constraints: 31869 723.63/725.95 c #Conflicts: 493000 | #Constraints: 32869 723.63/725.95 c #Conflicts: 494000 | #Constraints: 33869 723.63/725.95 c #Conflicts: 495000 | #Constraints: 34869 723.63/725.95 c #Conflicts: 496000 | #Constraints: 35869 723.63/725.95 c #Conflicts: 497000 | #Constraints: 36869 723.63/725.95 c #Conflicts: 498000 | #Constraints: 37869 723.63/725.95 c #Conflicts: 499000 | #Constraints: 38869 723.63/725.95 c #Conflicts: 500000 | #Constraints: 39870 723.63/725.95 c #Conflicts: 501000 | #Constraints: 40870 723.63/725.95 c #Conflicts: 502000 | #Constraints: 41870 723.63/725.95 c #Conflicts: 503000 | #Constraints: 42870 723.63/725.95 c #Conflicts: 504000 | #Constraints: 43870 723.63/725.95 c INPROCESSING 723.63/725.95 c GARBAGE COLLECT 723.63/725.95 c rational objective 98 821.01/823.63 c #Conflicts: 505000 | #Constraints: 26569 821.01/823.63 c #Conflicts: 506000 | #Constraints: 27569 821.01/823.63 c #Conflicts: 507000 | #Constraints: 28569 821.01/823.63 c #Conflicts: 508000 | #Constraints: 29569 821.01/823.63 c #Conflicts: 509000 | #Constraints: 30569 821.01/823.63 c #Conflicts: 510000 | #Constraints: 31569 821.01/823.63 c #Conflicts: 511000 | #Constraints: 32569 821.01/823.63 c #Conflicts: 512000 | #Constraints: 33569 821.01/823.63 c #Conflicts: 513000 | #Constraints: 34569 821.01/823.63 c #Conflicts: 514000 | #Constraints: 35569 821.01/823.63 c #Conflicts: 515000 | #Constraints: 36569 821.01/823.63 c #Conflicts: 516000 | #Constraints: 37569 821.01/823.63 c #Conflicts: 517000 | #Constraints: 38569 821.01/823.63 c #Conflicts: 518000 | #Constraints: 39569 821.01/823.63 c #Conflicts: 519000 | #Constraints: 40569 821.01/823.63 c #Conflicts: 520000 | #Constraints: 41569 821.01/823.63 c #Conflicts: 521000 | #Constraints: 42569 821.01/823.63 c #Conflicts: 522000 | #Constraints: 43569 821.01/823.63 c #Conflicts: 523000 | #Constraints: 44569 821.01/823.63 c #Conflicts: 524000 | #Constraints: 45569 821.01/823.63 c #Conflicts: 525000 | #Constraints: 46569 821.01/823.63 c #Conflicts: 526000 | #Constraints: 47570 821.01/823.63 c #Conflicts: 527000 | #Constraints: 48570 821.01/823.63 c #Conflicts: 528000 | #Constraints: 49570 821.01/823.63 c #Conflicts: 529000 | #Constraints: 50570 821.01/823.63 c #Conflicts: 530000 | #Constraints: 51570 821.01/823.63 c #Conflicts: 531000 | #Constraints: 52570 821.01/823.63 c #Conflicts: 532000 | #Constraints: 53570 821.01/823.63 c #Conflicts: 533000 | #Constraints: 54570 821.01/823.63 c #Conflicts: 534000 | #Constraints: 55570 821.01/823.63 c #Conflicts: 535000 | #Constraints: 56570 821.01/823.63 c #Conflicts: 536000 | #Constraints: 57570 821.01/823.63 c #Conflicts: 537000 | #Constraints: 58570 821.01/823.63 c #Conflicts: 538000 | #Constraints: 59570 821.01/823.63 c #Conflicts: 539000 | #Constraints: 60571 821.01/823.63 c #Conflicts: 540000 | #Constraints: 61571 821.01/823.63 c #Conflicts: 541000 | #Constraints: 62571 821.01/823.63 c #Conflicts: 542000 | #Constraints: 63572 821.01/823.63 c #Conflicts: 543000 | #Constraints: 64572 821.01/823.63 c #Conflicts: 544000 | #Constraints: 65572 821.01/823.63 c #Conflicts: 545000 | #Constraints: 66572 821.01/823.63 c #Conflicts: 546000 | #Constraints: 67572 821.01/823.63 c #Conflicts: 547000 | #Constraints: 68572 821.01/823.63 c #Conflicts: 548000 | #Constraints: 69572 821.01/823.63 c #Conflicts: 549000 | #Constraints: 70572 821.01/823.63 c #Conflicts: 550000 | #Constraints: 71572 821.01/823.63 c #Conflicts: 551000 | #Constraints: 72572 821.01/823.63 c #Conflicts: 552000 | #Constraints: 73572 821.01/823.63 c #Conflicts: 553000 | #Constraints: 74572 821.01/823.63 c #Conflicts: 554000 | #Constraints: 75572 821.01/823.63 c #Conflicts: 555000 | #Constraints: 76572 821.01/823.63 c #Conflicts: 556000 | #Constraints: 77572 821.01/823.63 c #Conflicts: 557000 | #Constraints: 78572 821.01/823.63 c #Conflicts: 558000 | #Constraints: 79572 821.01/823.63 c INPROCESSING 821.01/823.63 c GARBAGE COLLECT 821.01/823.63 c rational objective 98 849.91/852.67 c #Conflicts: 559000 | #Constraints: 44381 849.91/852.67 c #Conflicts: 560000 | #Constraints: 45381 849.91/852.67 c #Conflicts: 561000 | #Constraints: 46381 849.91/852.67 c #Conflicts: 562000 | #Constraints: 47381 849.91/852.67 c #Conflicts: 563000 | #Constraints: 48382 849.91/852.67 c #Conflicts: 564000 | #Constraints: 49383 849.91/852.67 c #Conflicts: 565000 | #Constraints: 50384 849.91/852.67 c #Conflicts: 566000 | #Constraints: 51384 849.91/852.67 c #Conflicts: 567000 | #Constraints: 52384 849.91/852.67 c #Conflicts: 568000 | #Constraints: 53384 849.91/852.67 c #Conflicts: 569000 | #Constraints: 54384 849.91/852.67 c #Conflicts: 570000 | #Constraints: 55384 849.91/852.67 c #Conflicts: 571000 | #Constraints: 56384 849.91/852.67 c #Conflicts: 572000 | #Constraints: 57384 849.91/852.67 c #Conflicts: 573000 | #Constraints: 58384 849.91/852.67 c #Conflicts: 574000 | #Constraints: 59384 849.91/852.67 c #Conflicts: 575000 | #Constraints: 60384 849.91/852.67 c #Conflicts: 576000 | #Constraints: 61384 849.91/852.67 c INPROCESSING 849.91/852.67 c GARBAGE COLLECT 849.91/852.67 c rational objective 98 877.24/880.09 c #Conflicts: 577000 | #Constraints: 35447 877.24/880.09 c #Conflicts: 578000 | #Constraints: 36447 877.24/880.09 c #Conflicts: 579000 | #Constraints: 37447 877.24/880.09 c #Conflicts: 580000 | #Constraints: 38447 877.24/880.09 c #Conflicts: 581000 | #Constraints: 39447 877.24/880.09 c #Conflicts: 582000 | #Constraints: 40447 877.24/880.09 c #Conflicts: 583000 | #Constraints: 41448 877.24/880.09 c #Conflicts: 584000 | #Constraints: 42448 877.24/880.09 c #Conflicts: 585000 | #Constraints: 43448 877.24/880.09 c #Conflicts: 586000 | #Constraints: 44448 877.24/880.09 c #Conflicts: 587000 | #Constraints: 45448 877.24/880.09 c #Conflicts: 588000 | #Constraints: 46448 877.24/880.09 c #Conflicts: 589000 | #Constraints: 47448 877.24/880.09 c #Conflicts: 590000 | #Constraints: 48448 877.24/880.09 c #Conflicts: 591000 | #Constraints: 49448 877.24/880.09 c #Conflicts: 592000 | #Constraints: 50448 877.24/880.09 c #Conflicts: 593000 | #Constraints: 51448 877.24/880.09 c #Conflicts: 594000 | #Constraints: 52448 877.24/880.09 c INPROCESSING 877.24/880.09 c GARBAGE COLLECT 877.24/880.09 c rational objective 98 915.01/917.92 c #Conflicts: 595000 | #Constraints: 31075 915.01/917.92 c #Conflicts: 596000 | #Constraints: 32075 915.01/917.92 c #Conflicts: 597000 | #Constraints: 33075 915.01/917.92 c #Conflicts: 598000 | #Constraints: 34075 915.01/917.92 c #Conflicts: 599000 | #Constraints: 35075 915.01/917.92 c #Conflicts: 600000 | #Constraints: 36075 915.01/917.92 c #Conflicts: 601000 | #Constraints: 37076 915.01/917.92 c #Conflicts: 602000 | #Constraints: 38076 915.01/917.92 c #Conflicts: 603000 | #Constraints: 39076 915.01/917.92 c #Conflicts: 604000 | #Constraints: 40076 915.01/917.92 c #Conflicts: 605000 | #Constraints: 41076 915.01/917.92 c #Conflicts: 606000 | #Constraints: 42076 915.01/917.92 c #Conflicts: 607000 | #Constraints: 43076 915.01/917.92 c #Conflicts: 608000 | #Constraints: 44077 915.01/917.92 c #Conflicts: 609000 | #Constraints: 45077 915.01/917.92 c #Conflicts: 610000 | #Constraints: 46077 915.01/917.92 c #Conflicts: 611000 | #Constraints: 47077 915.01/917.92 c #Conflicts: 612000 | #Constraints: 48077 915.01/917.92 c INPROCESSING 915.01/917.92 c GARBAGE COLLECT 915.01/917.92 c rational objective 98 1038.72/1042.07 c #Conflicts: 613000 | #Constraints: 28884 1038.72/1042.07 c #Conflicts: 614000 | #Constraints: 29884 1038.72/1042.07 c #Conflicts: 615000 | #Constraints: 30884 1038.72/1042.07 c #Conflicts: 616000 | #Constraints: 31884 1038.72/1042.07 c #Conflicts: 617000 | #Constraints: 32884 1038.72/1042.07 c #Conflicts: 618000 | #Constraints: 33884 1038.72/1042.07 c #Conflicts: 619000 | #Constraints: 34885 1038.72/1042.07 c #Conflicts: 620000 | #Constraints: 35886 1038.72/1042.07 c #Conflicts: 621000 | #Constraints: 36886 1038.72/1042.07 c #Conflicts: 622000 | #Constraints: 37886 1038.72/1042.07 c #Conflicts: 623000 | #Constraints: 38887 1038.72/1042.07 c #Conflicts: 624000 | #Constraints: 39887 1038.72/1042.07 c #Conflicts: 625000 | #Constraints: 40887 1038.72/1042.07 c #Conflicts: 626000 | #Constraints: 41887 1038.72/1042.07 c #Conflicts: 627000 | #Constraints: 42887 1038.72/1042.07 c #Conflicts: 628000 | #Constraints: 43887 1038.72/1042.07 c #Conflicts: 629000 | #Constraints: 44887 1038.72/1042.07 c #Conflicts: 630000 | #Constraints: 45887 1038.72/1042.07 c #Conflicts: 631000 | #Constraints: 46887 1038.72/1042.07 c #Conflicts: 632000 | #Constraints: 47887 1038.72/1042.07 c #Conflicts: 633000 | #Constraints: 48887 1038.72/1042.07 c #Conflicts: 634000 | #Constraints: 49887 1038.72/1042.07 c #Conflicts: 635000 | #Constraints: 50887 1038.72/1042.07 c #Conflicts: 636000 | #Constraints: 51887 1038.72/1042.07 c #Conflicts: 637000 | #Constraints: 52887 1038.72/1042.07 c #Conflicts: 638000 | #Constraints: 53887 1038.72/1042.07 c #Conflicts: 639000 | #Constraints: 54887 1038.72/1042.07 c #Conflicts: 640000 | #Constraints: 55887 1038.72/1042.07 c #Conflicts: 641000 | #Constraints: 56887 1038.72/1042.07 c #Conflicts: 642000 | #Constraints: 57887 1038.72/1042.07 c #Conflicts: 643000 | #Constraints: 58887 1038.72/1042.07 c #Conflicts: 644000 | #Constraints: 59887 1038.72/1042.07 c #Conflicts: 645000 | #Constraints: 60887 1038.72/1042.07 c #Conflicts: 646000 | #Constraints: 61887 1038.72/1042.07 c #Conflicts: 647000 | #Constraints: 62887 1038.72/1042.07 c #Conflicts: 648000 | #Constraints: 63887 1038.72/1042.07 c #Conflicts: 649000 | #Constraints: 64887 1038.72/1042.07 c #Conflicts: 650000 | #Constraints: 65887 1038.72/1042.07 c #Conflicts: 651000 | #Constraints: 66887 1038.72/1042.07 c #Conflicts: 652000 | #Constraints: 67887 1038.72/1042.07 c #Conflicts: 653000 | #Constraints: 68887 1038.72/1042.07 c #Conflicts: 654000 | #Constraints: 69888 1038.72/1042.07 c #Conflicts: 655000 | #Constraints: 70888 1038.72/1042.07 c #Conflicts: 656000 | #Constraints: 71888 1038.72/1042.07 c #Conflicts: 657000 | #Constraints: 72888 1038.72/1042.07 c #Conflicts: 658000 | #Constraints: 73888 1038.72/1042.07 c #Conflicts: 659000 | #Constraints: 74888 1038.72/1042.07 c #Conflicts: 660000 | #Constraints: 75888 1038.72/1042.07 c #Conflicts: 661000 | #Constraints: 76888 1038.72/1042.07 c #Conflicts: 662000 | #Constraints: 77888 1038.72/1042.07 c #Conflicts: 663000 | #Constraints: 78888 1038.72/1042.07 c #Conflicts: 664000 | #Constraints: 79888 1038.72/1042.07 c #Conflicts: 665000 | #Constraints: 80888 1038.72/1042.07 c #Conflicts: 666000 | #Constraints: 81888 1038.72/1042.07 c #Conflicts: 667000 | #Constraints: 82888 1038.72/1042.07 c #Conflicts: 668000 | #Constraints: 83888 1038.72/1042.07 c #Conflicts: 669000 | #Constraints: 84888 1038.72/1042.07 c #Conflicts: 670000 | #Constraints: 85888 1038.72/1042.07 c #Conflicts: 671000 | #Constraints: 86888 1038.72/1042.07 c INPROCESSING 1038.72/1042.07 c GARBAGE COLLECT 1038.72/1042.07 c rational objective 98 1074.78/1078.25 c #Conflicts: 672000 | #Constraints: 48026 1074.78/1078.25 c #Conflicts: 673000 | #Constraints: 49026 1074.78/1078.25 c #Conflicts: 674000 | #Constraints: 50026 1074.78/1078.25 c #Conflicts: 675000 | #Constraints: 51026 1074.78/1078.25 c #Conflicts: 676000 | #Constraints: 52026 1074.78/1078.25 c #Conflicts: 677000 | #Constraints: 53026 1074.78/1078.25 c #Conflicts: 678000 | #Constraints: 54026 1074.78/1078.25 c #Conflicts: 679000 | #Constraints: 55026 1074.78/1078.25 c #Conflicts: 680000 | #Constraints: 56026 1074.78/1078.25 c #Conflicts: 681000 | #Constraints: 57026 1074.78/1078.25 c #Conflicts: 682000 | #Constraints: 58026 1074.78/1078.25 c #Conflicts: 683000 | #Constraints: 59027 1074.78/1078.25 c #Conflicts: 684000 | #Constraints: 60027 1074.78/1078.25 c #Conflicts: 685000 | #Constraints: 61027 1074.78/1078.25 c #Conflicts: 686000 | #Constraints: 62027 1074.78/1078.25 c #Conflicts: 687000 | #Constraints: 63027 1074.78/1078.25 c #Conflicts: 688000 | #Constraints: 64027 1074.78/1078.25 c #Conflicts: 689000 | #Constraints: 65027 1074.78/1078.25 c #Conflicts: 690000 | #Constraints: 66028 1074.78/1078.25 c INPROCESSING 1074.78/1078.25 c GARBAGE COLLECT 1074.78/1078.25 c rational objective 98 1107.79/1111.33 c #Conflicts: 691000 | #Constraints: 37458 1107.79/1111.33 c #Conflicts: 692000 | #Constraints: 38458 1107.79/1111.33 c #Conflicts: 693000 | #Constraints: 39458 1107.79/1111.33 c #Conflicts: 694000 | #Constraints: 40459 1107.79/1111.33 c #Conflicts: 695000 | #Constraints: 41459 1107.79/1111.33 c #Conflicts: 696000 | #Constraints: 42459 1107.79/1111.33 c #Conflicts: 697000 | #Constraints: 43459 1107.79/1111.33 c #Conflicts: 698000 | #Constraints: 44459 1107.79/1111.33 c #Conflicts: 699000 | #Constraints: 45459 1107.79/1111.33 c #Conflicts: 700000 | #Constraints: 46459 1107.79/1111.33 c #Conflicts: 701000 | #Constraints: 47459 1107.79/1111.33 c #Conflicts: 702000 | #Constraints: 48459 1107.79/1111.33 c #Conflicts: 703000 | #Constraints: 49459 1107.79/1111.33 c #Conflicts: 704000 | #Constraints: 50459 1107.79/1111.33 c #Conflicts: 705000 | #Constraints: 51459 1107.79/1111.33 c #Conflicts: 706000 | #Constraints: 52459 1107.79/1111.33 c #Conflicts: 707000 | #Constraints: 53459 1107.79/1111.33 c #Conflicts: 708000 | #Constraints: 54459 1107.79/1111.33 c #Conflicts: 709000 | #Constraints: 55459 1107.79/1111.33 c #Conflicts: 710000 | #Constraints: 56459 1107.79/1111.33 c INPROCESSING 1107.79/1111.33 c GARBAGE COLLECT 1107.79/1111.33 c rational objective 98 1134.30/1138.00 c #Conflicts: 711000 | #Constraints: 32928 1134.30/1138.00 c #Conflicts: 712000 | #Constraints: 33928 1134.30/1138.00 c #Conflicts: 713000 | #Constraints: 34928 1134.30/1138.00 c #Conflicts: 714000 | #Constraints: 35928 1134.30/1138.00 c #Conflicts: 715000 | #Constraints: 36928 1134.30/1138.00 c #Conflicts: 716000 | #Constraints: 37928 1134.30/1138.00 c #Conflicts: 717000 | #Constraints: 38928 1134.30/1138.00 c #Conflicts: 718000 | #Constraints: 39928 1134.30/1138.00 c #Conflicts: 719000 | #Constraints: 40928 1134.30/1138.00 c #Conflicts: 720000 | #Constraints: 41928 1134.30/1138.00 c #Conflicts: 721000 | #Constraints: 42929 1134.30/1138.00 c #Conflicts: 722000 | #Constraints: 43929 1134.30/1138.00 c #Conflicts: 723000 | #Constraints: 44929 1134.30/1138.00 c #Conflicts: 724000 | #Constraints: 45929 1134.30/1138.00 c #Conflicts: 725000 | #Constraints: 46929 1134.30/1138.00 c #Conflicts: 726000 | #Constraints: 47929 1134.30/1138.00 c #Conflicts: 727000 | #Constraints: 48929 1134.30/1138.00 c #Conflicts: 728000 | #Constraints: 49929 1134.30/1138.00 c #Conflicts: 729000 | #Constraints: 50929 1134.30/1138.00 c #Conflicts: 730000 | #Constraints: 51929 1134.30/1138.00 c INPROCESSING 1134.30/1138.00 c GARBAGE COLLECT 1134.30/1138.00 c rational objective 98 1283.79/1287.97 c #Conflicts: 731000 | #Constraints: 30812 1283.79/1287.97 c #Conflicts: 732000 | #Constraints: 31812 1283.79/1287.97 c #Conflicts: 733000 | #Constraints: 32813 1283.79/1287.97 c #Conflicts: 734000 | #Constraints: 33813 1283.79/1287.97 c #Conflicts: 735000 | #Constraints: 34813 1283.79/1287.97 c #Conflicts: 736000 | #Constraints: 35813 1283.79/1287.97 c #Conflicts: 737000 | #Constraints: 36813 1283.79/1287.97 c #Conflicts: 738000 | #Constraints: 37813 1283.79/1287.97 c #Conflicts: 739000 | #Constraints: 38813 1283.79/1287.97 c #Conflicts: 740000 | #Constraints: 39813 1283.79/1287.97 c #Conflicts: 741000 | #Constraints: 40813 1283.79/1287.97 c #Conflicts: 742000 | #Constraints: 41813 1283.79/1287.97 c #Conflicts: 743000 | #Constraints: 42813 1283.79/1287.97 c #Conflicts: 744000 | #Constraints: 43813 1283.79/1287.97 c #Conflicts: 745000 | #Constraints: 44814 1283.79/1287.97 c #Conflicts: 746000 | #Constraints: 45814 1283.79/1287.97 c #Conflicts: 747000 | #Constraints: 46814 1283.79/1287.97 c #Conflicts: 748000 | #Constraints: 47814 1283.79/1287.97 c #Conflicts: 749000 | #Constraints: 48814 1283.79/1287.97 c #Conflicts: 750000 | #Constraints: 49814 1283.79/1287.97 c #Conflicts: 751000 | #Constraints: 50814 1283.79/1287.97 c #Conflicts: 752000 | #Constraints: 51814 1283.79/1287.97 c #Conflicts: 753000 | #Constraints: 52814 1283.79/1287.97 c #Conflicts: 754000 | #Constraints: 53814 1283.79/1287.97 c #Conflicts: 755000 | #Constraints: 54814 1283.79/1287.97 c #Conflicts: 756000 | #Constraints: 55814 1283.79/1287.97 c #Conflicts: 757000 | #Constraints: 56814 1283.79/1287.97 c #Conflicts: 758000 | #Constraints: 57814 1283.79/1287.97 c #Conflicts: 759000 | #Constraints: 58814 1283.79/1287.97 c #Conflicts: 760000 | #Constraints: 59815 1283.79/1287.97 c #Conflicts: 761000 | #Constraints: 60815 1283.79/1287.97 c #Conflicts: 762000 | #Constraints: 61815 1283.79/1287.97 c #Conflicts: 763000 | #Constraints: 62815 1283.79/1287.97 c #Conflicts: 764000 | #Constraints: 63815 1283.79/1287.97 c #Conflicts: 765000 | #Constraints: 64815 1283.79/1287.97 c #Conflicts: 766000 | #Constraints: 65815 1283.79/1287.97 c #Conflicts: 767000 | #Constraints: 66815 1283.79/1287.97 c #Conflicts: 768000 | #Constraints: 67815 1283.79/1287.97 c #Conflicts: 769000 | #Constraints: 68815 1283.79/1287.97 c #Conflicts: 770000 | #Constraints: 69815 1283.79/1287.97 c #Conflicts: 771000 | #Constraints: 70815 1283.79/1287.97 c #Conflicts: 772000 | #Constraints: 71815 1283.79/1287.97 c #Conflicts: 773000 | #Constraints: 72816 1283.79/1287.97 c #Conflicts: 774000 | #Constraints: 73816 1283.79/1287.97 c #Conflicts: 775000 | #Constraints: 74816 1283.79/1287.97 c #Conflicts: 776000 | #Constraints: 75816 1283.79/1287.97 c #Conflicts: 777000 | #Constraints: 76816 1283.79/1287.97 c #Conflicts: 778000 | #Constraints: 77816 1283.79/1287.97 c #Conflicts: 779000 | #Constraints: 78816 1283.79/1287.97 c #Conflicts: 780000 | #Constraints: 79816 1283.79/1287.97 c #Conflicts: 781000 | #Constraints: 80816 1283.79/1287.97 c #Conflicts: 782000 | #Constraints: 81816 1283.79/1287.97 c #Conflicts: 783000 | #Constraints: 82816 1283.79/1287.97 c #Conflicts: 784000 | #Constraints: 83816 1283.79/1287.97 c #Conflicts: 785000 | #Constraints: 84816 1283.79/1287.97 c #Conflicts: 786000 | #Constraints: 85817 1283.79/1287.97 c #Conflicts: 787000 | #Constraints: 86817 1283.79/1287.97 c #Conflicts: 788000 | #Constraints: 87817 1283.79/1287.97 c #Conflicts: 789000 | #Constraints: 88817 1283.79/1287.97 c #Conflicts: 790000 | #Constraints: 89817 1283.79/1287.97 c #Conflicts: 791000 | #Constraints: 90817 1283.79/1287.97 c #Conflicts: 792000 | #Constraints: 91817 1283.79/1287.97 c #Conflicts: 793000 | #Constraints: 92817 1283.79/1287.97 c #Conflicts: 794000 | #Constraints: 93817 1283.79/1287.97 c #Conflicts: 795000 | #Constraints: 94817 1283.79/1287.97 c INPROCESSING 1283.79/1287.97 c GARBAGE COLLECT 1283.79/1287.97 c rational objective 98 1352.79/1357.18 c #Conflicts: 796000 | #Constraints: 52304 1352.79/1357.18 c #Conflicts: 797000 | #Constraints: 53304 1352.79/1357.18 c #Conflicts: 798000 | #Constraints: 54304 1352.79/1357.18 c #Conflicts: 799000 | #Constraints: 55304 1352.79/1357.18 c #Conflicts: 800000 | #Constraints: 56305 1352.79/1357.18 c #Conflicts: 801000 | #Constraints: 57306 1352.79/1357.18 c #Conflicts: 802000 | #Constraints: 58306 1352.79/1357.18 c #Conflicts: 803000 | #Constraints: 59306 1352.79/1357.18 c #Conflicts: 804000 | #Constraints: 60306 1352.79/1357.18 c #Conflicts: 805000 | #Constraints: 61306 1352.79/1357.18 c #Conflicts: 806000 | #Constraints: 62306 1352.79/1357.18 c #Conflicts: 807000 | #Constraints: 63306 1352.79/1357.18 c #Conflicts: 808000 | #Constraints: 64306 1352.79/1357.18 c #Conflicts: 809000 | #Constraints: 65306 1352.79/1357.18 c #Conflicts: 810000 | #Constraints: 66306 1352.79/1357.18 c #Conflicts: 811000 | #Constraints: 67306 1352.79/1357.18 c #Conflicts: 812000 | #Constraints: 68306 1352.79/1357.18 c #Conflicts: 813000 | #Constraints: 69306 1352.79/1357.18 c #Conflicts: 814000 | #Constraints: 70306 1352.79/1357.18 c #Conflicts: 815000 | #Constraints: 71306 1352.79/1357.18 c #Conflicts: 816000 | #Constraints: 72307 1352.79/1357.18 c INPROCESSING 1352.79/1357.18 c GARBAGE COLLECT 1352.79/1357.18 c rational objective 98 1382.28/1386.72 c #Conflicts: 817000 | #Constraints: 41059 1382.28/1386.72 c #Conflicts: 818000 | #Constraints: 42059 1382.28/1386.72 c #Conflicts: 819000 | #Constraints: 43059 1382.28/1386.72 c #Conflicts: 820000 | #Constraints: 44059 1382.28/1386.72 c #Conflicts: 821000 | #Constraints: 45059 1382.28/1386.72 c #Conflicts: 822000 | #Constraints: 46059 1382.28/1386.72 c #Conflicts: 823000 | #Constraints: 47059 1382.28/1386.72 c #Conflicts: 824000 | #Constraints: 48059 1382.28/1386.72 c #Conflicts: 825000 | #Constraints: 49059 1382.28/1386.72 c #Conflicts: 826000 | #Constraints: 50059 1382.28/1386.72 c #Conflicts: 827000 | #Constraints: 51059 1382.28/1386.72 c #Conflicts: 828000 | #Constraints: 52059 1382.28/1386.72 c #Conflicts: 829000 | #Constraints: 53059 1382.28/1386.72 c #Conflicts: 830000 | #Constraints: 54059 1382.28/1386.72 c #Conflicts: 831000 | #Constraints: 55059 1382.28/1386.72 c #Conflicts: 832000 | #Constraints: 56059 1382.28/1386.72 c #Conflicts: 833000 | #Constraints: 57059 1382.28/1386.72 c #Conflicts: 834000 | #Constraints: 58059 1382.28/1386.72 c #Conflicts: 835000 | #Constraints: 59059 1382.28/1386.72 c #Conflicts: 836000 | #Constraints: 60059 1382.28/1386.72 c #Conflicts: 837000 | #Constraints: 61059 1382.28/1386.72 c INPROCESSING 1382.28/1386.72 c GARBAGE COLLECT 1382.28/1386.72 c rational objective 98 1415.48/1420.03 c #Conflicts: 838000 | #Constraints: 35361 1415.48/1420.03 c #Conflicts: 839000 | #Constraints: 36361 1415.48/1420.03 c #Conflicts: 840000 | #Constraints: 37361 1415.48/1420.03 c #Conflicts: 841000 | #Constraints: 38361 1415.48/1420.03 c #Conflicts: 842000 | #Constraints: 39361 1415.48/1420.03 c #Conflicts: 843000 | #Constraints: 40361 1415.48/1420.03 c #Conflicts: 844000 | #Constraints: 41361 1415.48/1420.03 c #Conflicts: 845000 | #Constraints: 42361 1415.48/1420.03 c #Conflicts: 846000 | #Constraints: 43362 1415.48/1420.03 c #Conflicts: 847000 | #Constraints: 44362 1415.48/1420.03 c #Conflicts: 848000 | #Constraints: 45362 1415.48/1420.03 c #Conflicts: 849000 | #Constraints: 46362 1415.48/1420.03 c #Conflicts: 850000 | #Constraints: 47362 1415.48/1420.03 c #Conflicts: 851000 | #Constraints: 48362 1415.48/1420.03 c #Conflicts: 852000 | #Constraints: 49362 1415.48/1420.03 c #Conflicts: 853000 | #Constraints: 50362 1415.48/1420.03 c #Conflicts: 854000 | #Constraints: 51362 1415.48/1420.03 c #Conflicts: 855000 | #Constraints: 52362 1415.48/1420.03 c #Conflicts: 856000 | #Constraints: 53362 1415.48/1420.03 c #Conflicts: 857000 | #Constraints: 54362 1415.48/1420.03 c #Conflicts: 858000 | #Constraints: 55362 1415.48/1420.03 c INPROCESSING 1415.48/1420.03 c GARBAGE COLLECT 1415.48/1420.03 c rational objective 98 1562.73/1567.76 c #Conflicts: 859000 | #Constraints: 32349 1562.73/1567.76 c #Conflicts: 860000 | #Constraints: 33349 1562.73/1567.76 c #Conflicts: 861000 | #Constraints: 34349 1562.73/1567.76 c #Conflicts: 862000 | #Constraints: 35349 1562.73/1567.76 c #Conflicts: 863000 | #Constraints: 36349 1562.73/1567.76 c #Conflicts: 864000 | #Constraints: 37349 1562.73/1567.76 c #Conflicts: 865000 | #Constraints: 38349 1562.73/1567.76 c #Conflicts: 866000 | #Constraints: 39349 1562.73/1567.76 c #Conflicts: 867000 | #Constraints: 40349 1562.73/1567.76 c #Conflicts: 868000 | #Constraints: 41349 1562.73/1567.76 c #Conflicts: 869000 | #Constraints: 42349 1562.73/1567.76 c #Conflicts: 870000 | #Constraints: 43349 1562.73/1567.76 c #Conflicts: 871000 | #Constraints: 44349 1562.73/1567.76 c #Conflicts: 872000 | #Constraints: 45349 1562.73/1567.76 c #Conflicts: 873000 | #Constraints: 46349 1562.73/1567.76 c #Conflicts: 874000 | #Constraints: 47349 1562.73/1567.76 c #Conflicts: 875000 | #Constraints: 48349 1562.73/1567.76 c #Conflicts: 876000 | #Constraints: 49349 1562.73/1567.76 c #Conflicts: 877000 | #Constraints: 50349 1562.73/1567.76 c #Conflicts: 878000 | #Constraints: 51349 1562.73/1567.76 c #Conflicts: 879000 | #Constraints: 52349 1562.73/1567.76 c #Conflicts: 880000 | #Constraints: 53349 1562.73/1567.76 c #Conflicts: 881000 | #Constraints: 54350 1562.73/1567.76 c #Conflicts: 882000 | #Constraints: 55350 1562.73/1567.76 c #Conflicts: 883000 | #Constraints: 56350 1562.73/1567.76 c #Conflicts: 884000 | #Constraints: 57350 1562.73/1567.76 c #Conflicts: 885000 | #Constraints: 58350 1562.73/1567.76 c #Conflicts: 886000 | #Constraints: 59351 1562.73/1567.76 c #Conflicts: 887000 | #Constraints: 60351 1562.73/1567.76 c #Conflicts: 888000 | #Constraints: 61351 1562.73/1567.76 c #Conflicts: 889000 | #Constraints: 62351 1562.73/1567.76 c #Conflicts: 890000 | #Constraints: 63351 1562.73/1567.76 c #Conflicts: 891000 | #Constraints: 64351 1562.73/1567.76 c #Conflicts: 892000 | #Constraints: 65351 1562.73/1567.76 c #Conflicts: 893000 | #Constraints: 66351 1562.73/1567.76 c #Conflicts: 894000 | #Constraints: 67351 1562.73/1567.76 c #Conflicts: 895000 | #Constraints: 68351 1562.73/1567.76 c #Conflicts: 896000 | #Constraints: 69351 1562.73/1567.76 c #Conflicts: 897000 | #Constraints: 70351 1562.73/1567.76 c #Conflicts: 898000 | #Constraints: 71351 1562.73/1567.76 c #Conflicts: 899000 | #Constraints: 72351 1562.73/1567.76 c #Conflicts: 900000 | #Constraints: 73351 1562.73/1567.76 c #Conflicts: 901000 | #Constraints: 74351 1562.73/1567.76 c #Conflicts: 902000 | #Constraints: 75351 1562.73/1567.76 c #Conflicts: 903000 | #Constraints: 76351 1562.73/1567.76 c #Conflicts: 904000 | #Constraints: 77351 1562.73/1567.76 c #Conflicts: 905000 | #Constraints: 78351 1562.73/1567.76 c #Conflicts: 906000 | #Constraints: 79351 1562.73/1567.76 c #Conflicts: 907000 | #Constraints: 80351 1562.73/1567.76 c #Conflicts: 908000 | #Constraints: 81351 1562.73/1567.76 c #Conflicts: 909000 | #Constraints: 82351 1562.73/1567.76 c #Conflicts: 910000 | #Constraints: 83351 1562.73/1567.76 c #Conflicts: 911000 | #Constraints: 84351 1562.73/1567.76 c #Conflicts: 912000 | #Constraints: 85351 1562.73/1567.76 c #Conflicts: 913000 | #Constraints: 86351 1562.73/1567.76 c #Conflicts: 914000 | #Constraints: 87351 1562.73/1567.76 c #Conflicts: 915000 | #Constraints: 88351 1562.73/1567.76 c #Conflicts: 916000 | #Constraints: 89351 1562.73/1567.76 c #Conflicts: 917000 | #Constraints: 90351 1562.73/1567.76 c #Conflicts: 918000 | #Constraints: 91351 1562.73/1567.76 c #Conflicts: 919000 | #Constraints: 92351 1562.73/1567.76 c #Conflicts: 920000 | #Constraints: 93351 1562.73/1567.76 c #Conflicts: 921000 | #Constraints: 94351 1562.73/1567.76 c #Conflicts: 922000 | #Constraints: 95351 1562.73/1567.76 c #Conflicts: 923000 | #Constraints: 96351 1562.73/1567.76 c #Conflicts: 924000 | #Constraints: 97351 1562.73/1567.76 c #Conflicts: 925000 | #Constraints: 98351 1562.73/1567.76 c #Conflicts: 926000 | #Constraints: 99351 1562.73/1567.76 c #Conflicts: 927000 | #Constraints: 100351 1562.73/1567.76 c #Conflicts: 928000 | #Constraints: 101351 1562.73/1567.76 c INPROCESSING 1562.73/1567.76 c GARBAGE COLLECT 1562.73/1567.76 c rational objective 98 1619.69/1624.85 c #Conflicts: 929000 | #Constraints: 55167 1619.69/1624.85 c #Conflicts: 930000 | #Constraints: 56167 1619.69/1624.85 c #Conflicts: 931000 | #Constraints: 57167 1619.69/1624.85 c #Conflicts: 932000 | #Constraints: 58167 1619.69/1624.85 c #Conflicts: 933000 | #Constraints: 59167 1619.69/1624.85 c #Conflicts: 934000 | #Constraints: 60167 1619.69/1624.85 c #Conflicts: 935000 | #Constraints: 61167 1619.69/1624.85 c #Conflicts: 936000 | #Constraints: 62167 1619.69/1624.85 c #Conflicts: 937000 | #Constraints: 63167 1619.69/1624.85 c #Conflicts: 938000 | #Constraints: 64167 1619.69/1624.85 c #Conflicts: 939000 | #Constraints: 65167 1619.69/1624.85 c #Conflicts: 940000 | #Constraints: 66167 1619.69/1624.85 c #Conflicts: 941000 | #Constraints: 67167 1619.69/1624.85 c #Conflicts: 942000 | #Constraints: 68167 1619.69/1624.85 c #Conflicts: 943000 | #Constraints: 69167 1619.69/1624.85 c #Conflicts: 944000 | #Constraints: 70167 1619.69/1624.85 c #Conflicts: 945000 | #Constraints: 71167 1619.69/1624.85 c #Conflicts: 946000 | #Constraints: 72167 1619.69/1624.85 c #Conflicts: 947000 | #Constraints: 73167 1619.69/1624.85 c #Conflicts: 948000 | #Constraints: 74167 1619.69/1624.85 c #Conflicts: 949000 | #Constraints: 75167 1619.69/1624.85 c #Conflicts: 950000 | #Constraints: 76167 1619.69/1624.85 c #Conflicts: 951000 | #Constraints: 77168 1619.69/1624.85 c INPROCESSING 1619.69/1624.85 c GARBAGE COLLECT 1619.69/1624.85 c rational objective 98 1657.10/1662.39 c #Conflicts: 952000 | #Constraints: 43255 1657.10/1662.39 c #Conflicts: 953000 | #Constraints: 44255 1657.10/1662.39 c #Conflicts: 954000 | #Constraints: 45255 1657.10/1662.39 c #Conflicts: 955000 | #Constraints: 46255 1657.10/1662.39 c #Conflicts: 956000 | #Constraints: 47255 1657.10/1662.39 c #Conflicts: 957000 | #Constraints: 48256 1657.10/1662.39 c #Conflicts: 958000 | #Constraints: 49256 1657.10/1662.39 c #Conflicts: 959000 | #Constraints: 50256 1657.10/1662.39 c #Conflicts: 960000 | #Constraints: 51256 1657.10/1662.39 c #Conflicts: 961000 | #Constraints: 52256 1657.10/1662.39 c #Conflicts: 962000 | #Constraints: 53256 1657.10/1662.39 c #Conflicts: 963000 | #Constraints: 54256 1657.10/1662.39 c #Conflicts: 964000 | #Constraints: 55256 1657.10/1662.39 c #Conflicts: 965000 | #Constraints: 56256 1657.10/1662.39 c #Conflicts: 966000 | #Constraints: 57256 1657.10/1662.39 c #Conflicts: 967000 | #Constraints: 58256 1657.10/1662.39 c #Conflicts: 968000 | #Constraints: 59256 1657.10/1662.39 c #Conflicts: 969000 | #Constraints: 60256 1657.10/1662.39 c #Conflicts: 970000 | #Constraints: 61256 1657.10/1662.39 c #Conflicts: 971000 | #Constraints: 62256 1657.10/1662.39 c #Conflicts: 972000 | #Constraints: 63256 1657.10/1662.39 c #Conflicts: 973000 | #Constraints: 64256 1657.10/1662.39 c #Conflicts: 974000 | #Constraints: 65256 1657.10/1662.39 c INPROCESSING 1657.10/1662.39 c GARBAGE COLLECT 1657.10/1662.39 c rational objective 98 1690.02/1695.39 c #Conflicts: 975000 | #Constraints: 37332 1690.02/1695.39 c #Conflicts: 976000 | #Constraints: 38332 1690.02/1695.39 c #Conflicts: 977000 | #Constraints: 39332 1690.02/1695.39 c #Conflicts: 978000 | #Constraints: 40332 1690.02/1695.39 c #Conflicts: 979000 | #Constraints: 41332 1690.02/1695.39 c #Conflicts: 980000 | #Constraints: 42332 1690.02/1695.39 c #Conflicts: 981000 | #Constraints: 43332 1690.02/1695.39 c #Conflicts: 982000 | #Constraints: 44333 1690.02/1695.39 c #Conflicts: 983000 | #Constraints: 45333 1690.02/1695.39 c #Conflicts: 984000 | #Constraints: 46333 1690.02/1695.39 c #Conflicts: 985000 | #Constraints: 47333 1690.02/1695.39 c #Conflicts: 986000 | #Constraints: 48333 1690.02/1695.39 c #Conflicts: 987000 | #Constraints: 49333 1690.02/1695.39 c #Conflicts: 988000 | #Constraints: 50333 1690.02/1695.39 c #Conflicts: 989000 | #Constraints: 51333 1690.02/1695.39 c #Conflicts: 990000 | #Constraints: 52333 1690.02/1695.39 c #Conflicts: 991000 | #Constraints: 53333 1690.02/1695.39 c #Conflicts: 992000 | #Constraints: 54333 1690.02/1695.39 c #Conflicts: 993000 | #Constraints: 55333 1690.02/1695.39 c #Conflicts: 994000 | #Constraints: 56333 1690.02/1695.39 c #Conflicts: 995000 | #Constraints: 57334 1690.02/1695.39 c #Conflicts: 996000 | #Constraints: 58334 1690.02/1695.39 c #Conflicts: 997000 | #Constraints: 59334 1690.02/1695.39 c INPROCESSING 1690.02/1695.39 c GARBAGE COLLECT 1690.02/1695.39 c rational objective 98 1897.22/1903.09 c #Conflicts: 998000 | #Constraints: 34372 1897.22/1903.09 c #Conflicts: 999000 | #Constraints: 35372 1897.22/1903.09 c #Conflicts: 1000000 | #Constraints: 36372 1897.22/1903.09 c #Conflicts: 1001000 | #Constraints: 37372 1897.22/1903.09 c #Conflicts: 1002000 | #Constraints: 38372 1897.22/1903.09 c #Conflicts: 1003000 | #Constraints: 39372 1897.22/1903.09 c #Conflicts: 1004000 | #Constraints: 40372 1897.22/1903.09 c #Conflicts: 1005000 | #Constraints: 41372 1897.22/1903.09 c #Conflicts: 1006000 | #Constraints: 42372 1897.22/1903.09 c #Conflicts: 1007000 | #Constraints: 43372 1897.22/1903.09 c #Conflicts: 1008000 | #Constraints: 44372 1897.22/1903.09 c #Conflicts: 1009000 | #Constraints: 45372 1897.22/1903.09 c #Conflicts: 1010000 | #Constraints: 46372 1897.22/1903.09 c #Conflicts: 1011000 | #Constraints: 47372 1897.22/1903.09 c #Conflicts: 1012000 | #Constraints: 48372 1897.22/1903.09 c #Conflicts: 1013000 | #Constraints: 49372 1897.22/1903.09 c #Conflicts: 1014000 | #Constraints: 50372 1897.22/1903.09 c #Conflicts: 1015000 | #Constraints: 51372 1897.22/1903.09 c #Conflicts: 1016000 | #Constraints: 52372 1897.22/1903.09 c #Conflicts: 1017000 | #Constraints: 53372 1897.22/1903.09 c #Conflicts: 1018000 | #Constraints: 54372 1897.22/1903.09 c #Conflicts: 1019000 | #Constraints: 55372 1897.22/1903.09 c #Conflicts: 1020000 | #Constraints: 56372 1897.22/1903.09 c #Conflicts: 1021000 | #Constraints: 57372 1897.22/1903.09 c #Conflicts: 1022000 | #Constraints: 58372 1897.22/1903.09 c #Conflicts: 1023000 | #Constraints: 59372 1897.22/1903.09 c #Conflicts: 1024000 | #Constraints: 60372 1897.22/1903.09 c #Conflicts: 1025000 | #Constraints: 61372 1897.22/1903.09 c #Conflicts: 1026000 | #Constraints: 62372 1897.22/1903.09 c #Conflicts: 1027000 | #Constraints: 63372 1897.22/1903.09 c #Conflicts: 1028000 | #Constraints: 64372 1897.22/1903.09 c #Conflicts: 1029000 | #Constraints: 65372 1897.22/1903.09 c #Conflicts: 1030000 | #Constraints: 66372 1897.22/1903.09 c #Conflicts: 1031000 | #Constraints: 67372 1897.22/1903.09 c #Conflicts: 1032000 | #Constraints: 68372 1897.22/1903.09 c #Conflicts: 1033000 | #Constraints: 69372 1897.22/1903.09 c #Conflicts: 1034000 | #Constraints: 70372 1897.22/1903.09 c #Conflicts: 1035000 | #Constraints: 71372 1897.22/1903.09 c #Conflicts: 1036000 | #Constraints: 72372 1897.22/1903.09 c #Conflicts: 1037000 | #Constraints: 73372 1897.22/1903.09 c #Conflicts: 1038000 | #Constraints: 74372 1897.22/1903.09 c #Conflicts: 1039000 | #Constraints: 75372 1897.22/1903.09 c #Conflicts: 1040000 | #Constraints: 76372 1897.22/1903.09 c #Conflicts: 1041000 | #Constraints: 77372 1897.22/1903.09 c #Conflicts: 1042000 | #Constraints: 78372 1897.22/1903.09 c #Conflicts: 1043000 | #Constraints: 79372 1897.22/1903.09 c #Conflicts: 1044000 | #Constraints: 80372 1897.22/1903.09 c #Conflicts: 1045000 | #Constraints: 81372 1897.22/1903.09 c #Conflicts: 1046000 | #Constraints: 82372 1897.22/1903.09 c #Conflicts: 1047000 | #Constraints: 83372 1897.22/1903.09 c #Conflicts: 1048000 | #Constraints: 84372 1897.22/1903.09 c #Conflicts: 1049000 | #Constraints: 85372 1897.22/1903.09 c #Conflicts: 1050000 | #Constraints: 86372 1897.22/1903.09 c #Conflicts: 1051000 | #Constraints: 87372 1897.22/1903.09 c #Conflicts: 1052000 | #Constraints: 88372 1897.22/1903.09 c #Conflicts: 1053000 | #Constraints: 89372 1897.22/1903.09 c #Conflicts: 1054000 | #Constraints: 90372 1897.22/1903.09 c #Conflicts: 1055000 | #Constraints: 91372 1897.22/1903.09 c #Conflicts: 1056000 | #Constraints: 92372 1897.22/1903.09 c #Conflicts: 1057000 | #Constraints: 93372 1897.22/1903.09 c #Conflicts: 1058000 | #Constraints: 94373 1897.22/1903.09 c #Conflicts: 1059000 | #Constraints: 95373 1897.22/1903.09 c #Conflicts: 1060000 | #Constraints: 96373 1897.22/1903.09 c #Conflicts: 1061000 | #Constraints: 97373 1897.22/1903.09 c #Conflicts: 1062000 | #Constraints: 98373 1897.22/1903.09 c #Conflicts: 1063000 | #Constraints: 99373 1897.22/1903.09 c #Conflicts: 1064000 | #Constraints: 100373 1897.22/1903.09 c #Conflicts: 1065000 | #Constraints: 101373 1897.22/1903.09 c #Conflicts: 1066000 | #Constraints: 102373 1897.22/1903.09 c #Conflicts: 1067000 | #Constraints: 103373 1897.22/1903.09 c #Conflicts: 1068000 | #Constraints: 104373 1897.22/1903.09 c #Conflicts: 1069000 | #Constraints: 105373 1897.22/1903.09 c #Conflicts: 1070000 | #Constraints: 106373 1897.22/1903.09 c #Conflicts: 1071000 | #Constraints: 107373 1897.22/1903.09 c #Conflicts: 1072000 | #Constraints: 108373 1897.22/1903.09 c #Conflicts: 1073000 | #Constraints: 109373 1897.22/1903.09 c INPROCESSING 1897.22/1903.09 c GARBAGE COLLECT 1897.22/1903.09 c rational objective 98 1945.99/1951.99 c #Conflicts: 1074000 | #Constraints: 59618 1945.99/1951.99 c #Conflicts: 1075000 | #Constraints: 60618 1945.99/1951.99 c #Conflicts: 1076000 | #Constraints: 61618 1945.99/1951.99 c #Conflicts: 1077000 | #Constraints: 62618 1945.99/1951.99 c #Conflicts: 1078000 | #Constraints: 63618 1945.99/1951.99 c #Conflicts: 1079000 | #Constraints: 64618 1945.99/1951.99 c #Conflicts: 1080000 | #Constraints: 65619 1945.99/1951.99 c #Conflicts: 1081000 | #Constraints: 66619 1945.99/1951.99 c #Conflicts: 1082000 | #Constraints: 67619 1945.99/1951.99 c #Conflicts: 1083000 | #Constraints: 68619 1945.99/1951.99 c #Conflicts: 1084000 | #Constraints: 69619 1945.99/1951.99 c #Conflicts: 1085000 | #Constraints: 70619 1945.99/1951.99 c #Conflicts: 1086000 | #Constraints: 71619 1945.99/1951.99 c #Conflicts: 1087000 | #Constraints: 72619 1945.99/1951.99 c #Conflicts: 1088000 | #Constraints: 73619 1945.99/1951.99 c #Conflicts: 1089000 | #Constraints: 74619 1945.99/1951.99 c #Conflicts: 1090000 | #Constraints: 75619 1945.99/1951.99 c #Conflicts: 1091000 | #Constraints: 76619 1945.99/1951.99 c #Conflicts: 1092000 | #Constraints: 77619 1945.99/1951.99 c #Conflicts: 1093000 | #Constraints: 78619 1945.99/1951.99 c #Conflicts: 1094000 | #Constraints: 79619 1945.99/1951.99 c #Conflicts: 1095000 | #Constraints: 80619 1945.99/1951.99 c #Conflicts: 1096000 | #Constraints: 81619 1945.99/1951.99 c #Conflicts: 1097000 | #Constraints: 82619 1945.99/1951.99 c INPROCESSING 1945.99/1951.99 c GARBAGE COLLECT 1945.99/1951.99 c rational objective 98 2004.24/2010.32 c #Conflicts: 1098000 | #Constraints: 46091 2004.24/2010.32 c #Conflicts: 1099000 | #Constraints: 47091 2004.24/2010.32 c #Conflicts: 1100000 | #Constraints: 48091 2004.24/2010.32 c #Conflicts: 1101000 | #Constraints: 49091 2004.24/2010.32 c #Conflicts: 1102000 | #Constraints: 50091 2004.24/2010.32 c #Conflicts: 1103000 | #Constraints: 51091 2004.24/2010.32 c #Conflicts: 1104000 | #Constraints: 52091 2004.24/2010.32 c #Conflicts: 1105000 | #Constraints: 53091 2004.24/2010.32 c #Conflicts: 1106000 | #Constraints: 54091 2004.24/2010.32 c #Conflicts: 1107000 | #Constraints: 55092 2004.24/2010.32 c #Conflicts: 1108000 | #Constraints: 56092 2004.24/2010.32 c #Conflicts: 1109000 | #Constraints: 57092 2004.24/2010.32 c #Conflicts: 1110000 | #Constraints: 58092 2004.24/2010.32 c #Conflicts: 1111000 | #Constraints: 59092 2004.24/2010.32 c #Conflicts: 1112000 | #Constraints: 60092 2004.24/2010.32 c #Conflicts: 1113000 | #Constraints: 61092 2004.24/2010.32 c #Conflicts: 1114000 | #Constraints: 62092 2004.24/2010.32 c #Conflicts: 1115000 | #Constraints: 63092 2004.24/2010.32 c #Conflicts: 1116000 | #Constraints: 64092 2004.24/2010.32 c #Conflicts: 1117000 | #Constraints: 65092 2004.24/2010.32 c #Conflicts: 1118000 | #Constraints: 66092 2004.24/2010.32 c #Conflicts: 1119000 | #Constraints: 67092 2004.24/2010.32 c #Conflicts: 1120000 | #Constraints: 68092 2004.24/2010.32 c #Conflicts: 1121000 | #Constraints: 69092 2004.24/2010.32 c #Conflicts: 1122000 | #Constraints: 70092 2004.24/2010.32 c INPROCESSING 2004.24/2010.32 c GARBAGE COLLECT 2004.24/2010.32 c rational objective 98 2035.97/2042.17 c #Conflicts: 1123000 | #Constraints: 39990 2035.97/2042.17 c #Conflicts: 1124000 | #Constraints: 40990 2035.97/2042.17 c #Conflicts: 1125000 | #Constraints: 41990 2035.97/2042.17 c #Conflicts: 1126000 | #Constraints: 42990 2035.97/2042.17 c #Conflicts: 1127000 | #Constraints: 43990 2035.97/2042.17 c #Conflicts: 1128000 | #Constraints: 44990 2035.97/2042.17 c #Conflicts: 1129000 | #Constraints: 45991 2035.97/2042.17 c #Conflicts: 1130000 | #Constraints: 46991 2035.97/2042.17 c #Conflicts: 1131000 | #Constraints: 47991 2035.97/2042.17 c #Conflicts: 1132000 | #Constraints: 48992 2035.97/2042.17 c #Conflicts: 1133000 | #Constraints: 49992 2035.97/2042.17 c #Conflicts: 1134000 | #Constraints: 50992 2035.97/2042.17 c #Conflicts: 1135000 | #Constraints: 51992 2035.97/2042.17 c #Conflicts: 1136000 | #Constraints: 52992 2035.97/2042.17 c #Conflicts: 1137000 | #Constraints: 53992 2035.97/2042.17 c #Conflicts: 1138000 | #Constraints: 54992 2035.97/2042.17 c #Conflicts: 1139000 | #Constraints: 55992 2035.97/2042.17 c #Conflicts: 1140000 | #Constraints: 56992 2035.97/2042.17 c #Conflicts: 1141000 | #Constraints: 57992 2035.97/2042.17 c #Conflicts: 1142000 | #Constraints: 58992 2035.97/2042.17 c #Conflicts: 1143000 | #Constraints: 59992 2035.97/2042.17 c #Conflicts: 1144000 | #Constraints: 60992 2035.97/2042.17 c #Conflicts: 1145000 | #Constraints: 61992 2035.97/2042.17 c #Conflicts: 1146000 | #Constraints: 62992 2035.97/2042.17 c INPROCESSING 2035.97/2042.17 c GARBAGE COLLECT 2035.97/2042.17 c rational objective 98 2226.88/2233.55 c #Conflicts: 1147000 | #Constraints: 36086 2226.88/2233.55 c #Conflicts: 1148000 | #Constraints: 37086 2226.88/2233.55 c #Conflicts: 1149000 | #Constraints: 38086 2226.88/2233.55 c #Conflicts: 1150000 | #Constraints: 39086 2226.88/2233.55 c #Conflicts: 1151000 | #Constraints: 40086 2226.88/2233.55 c #Conflicts: 1152000 | #Constraints: 41087 2226.88/2233.55 c #Conflicts: 1153000 | #Constraints: 42087 2226.88/2233.55 c #Conflicts: 1154000 | #Constraints: 43087 2226.88/2233.55 c #Conflicts: 1155000 | #Constraints: 44087 2226.88/2233.55 c #Conflicts: 1156000 | #Constraints: 45087 2226.88/2233.55 c #Conflicts: 1157000 | #Constraints: 46087 2226.88/2233.55 c #Conflicts: 1158000 | #Constraints: 47087 2226.88/2233.55 c #Conflicts: 1159000 | #Constraints: 48087 2226.88/2233.55 c #Conflicts: 1160000 | #Constraints: 49087 2226.88/2233.55 c #Conflicts: 1161000 | #Constraints: 50087 2226.88/2233.55 c #Conflicts: 1162000 | #Constraints: 51088 2226.88/2233.55 c #Conflicts: 1163000 | #Constraints: 52088 2226.88/2233.55 c #Conflicts: 1164000 | #Constraints: 53088 2226.88/2233.55 c #Conflicts: 1165000 | #Constraints: 54088 2226.88/2233.55 c #Conflicts: 1166000 | #Constraints: 55088 2226.88/2233.55 c #Conflicts: 1167000 | #Constraints: 56088 2226.88/2233.55 c #Conflicts: 1168000 | #Constraints: 57088 2226.88/2233.55 c #Conflicts: 1169000 | #Constraints: 58088 2226.88/2233.55 c #Conflicts: 1170000 | #Constraints: 59088 2226.88/2233.55 c #Conflicts: 1171000 | #Constraints: 60088 2226.88/2233.55 c #Conflicts: 1172000 | #Constraints: 61088 2226.88/2233.55 c #Conflicts: 1173000 | #Constraints: 62088 2226.88/2233.55 c #Conflicts: 1174000 | #Constraints: 63088 2226.88/2233.55 c #Conflicts: 1175000 | #Constraints: 64088 2226.88/2233.55 c #Conflicts: 1176000 | #Constraints: 65088 2226.88/2233.55 c #Conflicts: 1177000 | #Constraints: 66088 2226.88/2233.55 c #Conflicts: 1178000 | #Constraints: 67088 2226.88/2233.55 c #Conflicts: 1179000 | #Constraints: 68088 2226.88/2233.55 c #Conflicts: 1180000 | #Constraints: 69088 2226.88/2233.55 c #Conflicts: 1181000 | #Constraints: 70088 2226.88/2233.55 c #Conflicts: 1182000 | #Constraints: 71088 2226.88/2233.55 c #Conflicts: 1183000 | #Constraints: 72088 2226.88/2233.55 c #Conflicts: 1184000 | #Constraints: 73088 2226.88/2233.55 c #Conflicts: 1185000 | #Constraints: 74089 2226.88/2233.55 c #Conflicts: 1186000 | #Constraints: 75089 2226.88/2233.55 c #Conflicts: 1187000 | #Constraints: 76089 2226.88/2233.55 c #Conflicts: 1188000 | #Constraints: 77089 2226.88/2233.55 c #Conflicts: 1189000 | #Constraints: 78089 2226.88/2233.55 c #Conflicts: 1190000 | #Constraints: 79089 2226.88/2233.55 c #Conflicts: 1191000 | #Constraints: 80089 2226.88/2233.55 c #Conflicts: 1192000 | #Constraints: 81089 2226.88/2233.55 c #Conflicts: 1193000 | #Constraints: 82089 2226.88/2233.55 c #Conflicts: 1194000 | #Constraints: 83089 2226.88/2233.55 c #Conflicts: 1195000 | #Constraints: 84089 2226.88/2233.55 c #Conflicts: 1196000 | #Constraints: 85089 2226.88/2233.55 c #Conflicts: 1197000 | #Constraints: 86089 2226.88/2233.55 c #Conflicts: 1198000 | #Constraints: 87089 2226.88/2233.55 c #Conflicts: 1199000 | #Constraints: 88090 2226.88/2233.55 c #Conflicts: 1200000 | #Constraints: 89090 2226.88/2233.55 c #Conflicts: 1201000 | #Constraints: 90090 2226.88/2233.55 c #Conflicts: 1202000 | #Constraints: 91090 2226.88/2233.55 c #Conflicts: 1203000 | #Constraints: 92090 2226.88/2233.55 c #Conflicts: 1204000 | #Constraints: 93090 2226.88/2233.55 c #Conflicts: 1205000 | #Constraints: 94090 2226.88/2233.55 c #Conflicts: 1206000 | #Constraints: 95090 2226.88/2233.55 c #Conflicts: 1207000 | #Constraints: 96090 2226.88/2233.55 c #Conflicts: 1208000 | #Constraints: 97090 2226.88/2233.55 c #Conflicts: 1209000 | #Constraints: 98090 2226.88/2233.55 c #Conflicts: 1210000 | #Constraints: 99090 2226.88/2233.55 c #Conflicts: 1211000 | #Constraints: 100090 2226.88/2233.55 c #Conflicts: 1212000 | #Constraints: 101090 2226.88/2233.55 c #Conflicts: 1213000 | #Constraints: 102090 2226.88/2233.55 c #Conflicts: 1214000 | #Constraints: 103090 2226.88/2233.55 c #Conflicts: 1215000 | #Constraints: 104090 2226.88/2233.55 c #Conflicts: 1216000 | #Constraints: 105090 2226.88/2233.55 c #Conflicts: 1217000 | #Constraints: 106090 2226.88/2233.55 c #Conflicts: 1218000 | #Constraints: 107090 2226.88/2233.55 c #Conflicts: 1219000 | #Constraints: 108090 2226.88/2233.55 c #Conflicts: 1220000 | #Constraints: 109090 2226.88/2233.55 c #Conflicts: 1221000 | #Constraints: 110090 2226.88/2233.55 c #Conflicts: 1222000 | #Constraints: 111090 2226.88/2233.55 c #Conflicts: 1223000 | #Constraints: 112090 2226.88/2233.55 c #Conflicts: 1224000 | #Constraints: 113090 2226.88/2233.55 c #Conflicts: 1225000 | #Constraints: 114090 2239.35/2246.04 c #Conflicts: 1226000 | #Constraints: 115090 2239.35/2246.04 c #Conflicts: 1227000 | #Constraints: 116090 2239.35/2246.04 c INPROCESSING 2239.35/2246.04 c GARBAGE COLLECT 2239.35/2246.04 c rational objective 98 2293.21/2300.03 c #Conflicts: 1228000 | #Constraints: 62675 2293.21/2300.03 c #Conflicts: 1229000 | #Constraints: 63675 2293.21/2300.03 c #Conflicts: 1230000 | #Constraints: 64675 2293.21/2300.03 c #Conflicts: 1231000 | #Constraints: 65675 2293.21/2300.03 c #Conflicts: 1232000 | #Constraints: 66675 2293.21/2300.03 c #Conflicts: 1233000 | #Constraints: 67675 2293.21/2300.03 c #Conflicts: 1234000 | #Constraints: 68675 2293.21/2300.03 c #Conflicts: 1235000 | #Constraints: 69675 2293.21/2300.03 c #Conflicts: 1236000 | #Constraints: 70675 2293.21/2300.03 c #Conflicts: 1237000 | #Constraints: 71675 2293.21/2300.03 c #Conflicts: 1238000 | #Constraints: 72675 2293.21/2300.03 c #Conflicts: 1239000 | #Constraints: 73675 2293.21/2300.03 c #Conflicts: 1240000 | #Constraints: 74675 2293.21/2300.03 c #Conflicts: 1241000 | #Constraints: 75675 2293.21/2300.03 c #Conflicts: 1242000 | #Constraints: 76675 2293.21/2300.03 c #Conflicts: 1243000 | #Constraints: 77675 2293.21/2300.03 c #Conflicts: 1244000 | #Constraints: 78675 2293.21/2300.03 c #Conflicts: 1245000 | #Constraints: 79675 2293.21/2300.03 c #Conflicts: 1246000 | #Constraints: 80675 2293.21/2300.03 c #Conflicts: 1247000 | #Constraints: 81675 2293.21/2300.03 c #Conflicts: 1248000 | #Constraints: 82675 2293.21/2300.03 c #Conflicts: 1249000 | #Constraints: 83675 2293.21/2300.03 c #Conflicts: 1250000 | #Constraints: 84675 2293.21/2300.03 c #Conflicts: 1251000 | #Constraints: 85675 2293.21/2300.03 c #Conflicts: 1252000 | #Constraints: 86675 2293.21/2300.03 c #Conflicts: 1253000 | #Constraints: 87675 2293.21/2300.03 c INPROCESSING 2293.21/2300.03 c GARBAGE COLLECT 2293.21/2300.03 c rational objective 98 2336.58/2343.53 c #Conflicts: 1254000 | #Constraints: 48443 2336.58/2343.53 c #Conflicts: 1255000 | #Constraints: 49443 2336.58/2343.53 c #Conflicts: 1256000 | #Constraints: 50443 2336.58/2343.53 c #Conflicts: 1257000 | #Constraints: 51443 2336.58/2343.53 c #Conflicts: 1258000 | #Constraints: 52444 2336.58/2343.53 c #Conflicts: 1259000 | #Constraints: 53444 2336.58/2343.53 c #Conflicts: 1260000 | #Constraints: 54445 2336.58/2343.53 c #Conflicts: 1261000 | #Constraints: 55446 2336.58/2343.53 c #Conflicts: 1262000 | #Constraints: 56446 2336.58/2343.53 c #Conflicts: 1263000 | #Constraints: 57446 2336.58/2343.53 c #Conflicts: 1264000 | #Constraints: 58446 2336.58/2343.53 c #Conflicts: 1265000 | #Constraints: 59446 2336.58/2343.53 c #Conflicts: 1266000 | #Constraints: 60446 2336.58/2343.53 c #Conflicts: 1267000 | #Constraints: 61446 2336.58/2343.53 c #Conflicts: 1268000 | #Constraints: 62446 2336.58/2343.53 c #Conflicts: 1269000 | #Constraints: 63446 2336.58/2343.53 c #Conflicts: 1270000 | #Constraints: 64446 2336.58/2343.53 c #Conflicts: 1271000 | #Constraints: 65446 2336.58/2343.53 c #Conflicts: 1272000 | #Constraints: 66446 2336.58/2343.53 c #Conflicts: 1273000 | #Constraints: 67446 2336.58/2343.53 c #Conflicts: 1274000 | #Constraints: 68446 2336.58/2343.53 c #Conflicts: 1275000 | #Constraints: 69446 2336.58/2343.53 c #Conflicts: 1276000 | #Constraints: 70446 2336.58/2343.53 c #Conflicts: 1277000 | #Constraints: 71446 2336.58/2343.53 c #Conflicts: 1278000 | #Constraints: 72446 2336.58/2343.53 c #Conflicts: 1279000 | #Constraints: 73446 2336.58/2343.53 c #Conflicts: 1280000 | #Constraints: 74446 2336.58/2343.53 c INPROCESSING 2336.58/2343.53 c GARBAGE COLLECT 2336.58/2343.53 c rational objective 98 2374.68/2381.70 c #Conflicts: 1281000 | #Constraints: 42280 2374.68/2381.70 c #Conflicts: 1282000 | #Constraints: 43280 2374.68/2381.70 c #Conflicts: 1283000 | #Constraints: 44280 2374.68/2381.70 c #Conflicts: 1284000 | #Constraints: 45280 2374.68/2381.70 c #Conflicts: 1285000 | #Constraints: 46280 2374.68/2381.70 c #Conflicts: 1286000 | #Constraints: 47280 2374.68/2381.70 c #Conflicts: 1287000 | #Constraints: 48280 2374.68/2381.70 c #Conflicts: 1288000 | #Constraints: 49280 2374.68/2381.70 c #Conflicts: 1289000 | #Constraints: 50280 2374.68/2381.70 c #Conflicts: 1290000 | #Constraints: 51280 2374.68/2381.70 c #Conflicts: 1291000 | #Constraints: 52280 2374.68/2381.70 c #Conflicts: 1292000 | #Constraints: 53280 2374.68/2381.70 c #Conflicts: 1293000 | #Constraints: 54280 2374.68/2381.70 c #Conflicts: 1294000 | #Constraints: 55280 2374.68/2381.70 c #Conflicts: 1295000 | #Constraints: 56280 2374.68/2381.70 c #Conflicts: 1296000 | #Constraints: 57280 2374.68/2381.70 c #Conflicts: 1297000 | #Constraints: 58280 2374.68/2381.70 c #Conflicts: 1298000 | #Constraints: 59280 2374.68/2381.70 c #Conflicts: 1299000 | #Constraints: 60280 2374.68/2381.70 c #Conflicts: 1300000 | #Constraints: 61280 2374.68/2381.70 c #Conflicts: 1301000 | #Constraints: 62280 2374.68/2381.70 c #Conflicts: 1302000 | #Constraints: 63280 2374.68/2381.70 c #Conflicts: 1303000 | #Constraints: 64280 2374.68/2381.70 c #Conflicts: 1304000 | #Constraints: 65280 2374.68/2381.70 c #Conflicts: 1305000 | #Constraints: 66280 2374.68/2381.70 c #Conflicts: 1306000 | #Constraints: 67280 2374.68/2381.70 c INPROCESSING 2374.68/2381.70 c GARBAGE COLLECT 2374.68/2381.70 c rational objective 98 2580.13/2587.73 c #Conflicts: 1307000 | #Constraints: 38337 2580.13/2587.73 c #Conflicts: 1308000 | #Constraints: 39337 2580.13/2587.73 c #Conflicts: 1309000 | #Constraints: 40337 2580.13/2587.73 c #Conflicts: 1310000 | #Constraints: 41337 2580.13/2587.73 c #Conflicts: 1311000 | #Constraints: 42337 2580.13/2587.73 c #Conflicts: 1312000 | #Constraints: 43337 2580.13/2587.73 c #Conflicts: 1313000 | #Constraints: 44337 2580.13/2587.73 c #Conflicts: 1314000 | #Constraints: 45337 2580.13/2587.73 c #Conflicts: 1315000 | #Constraints: 46337 2580.13/2587.73 c #Conflicts: 1316000 | #Constraints: 47337 2580.13/2587.73 c #Conflicts: 1317000 | #Constraints: 48337 2580.13/2587.73 c #Conflicts: 1318000 | #Constraints: 49337 2580.13/2587.73 c #Conflicts: 1319000 | #Constraints: 50337 2580.13/2587.73 c #Conflicts: 1320000 | #Constraints: 51337 2580.13/2587.73 c #Conflicts: 1321000 | #Constraints: 52337 2580.13/2587.73 c #Conflicts: 1322000 | #Constraints: 53337 2580.13/2587.73 c #Conflicts: 1323000 | #Constraints: 54337 2580.13/2587.73 c #Conflicts: 1324000 | #Constraints: 55337 2580.13/2587.73 c #Conflicts: 1325000 | #Constraints: 56337 2580.13/2587.73 c #Conflicts: 1326000 | #Constraints: 57337 2580.13/2587.73 c #Conflicts: 1327000 | #Constraints: 58337 2580.13/2587.73 c #Conflicts: 1328000 | #Constraints: 59337 2580.13/2587.73 c #Conflicts: 1329000 | #Constraints: 60337 2580.13/2587.73 c #Conflicts: 1330000 | #Constraints: 61337 2580.13/2587.73 c #Conflicts: 1331000 | #Constraints: 62337 2580.13/2587.73 c #Conflicts: 1332000 | #Constraints: 63337 2580.13/2587.73 c #Conflicts: 1333000 | #Constraints: 64337 2580.13/2587.73 c #Conflicts: 1334000 | #Constraints: 65337 2580.13/2587.73 c #Conflicts: 1335000 | #Constraints: 66337 2580.13/2587.73 c #Conflicts: 1336000 | #Constraints: 67337 2580.13/2587.73 c #Conflicts: 1337000 | #Constraints: 68337 2580.13/2587.73 c #Conflicts: 1338000 | #Constraints: 69337 2580.13/2587.73 c #Conflicts: 1339000 | #Constraints: 70337 2580.13/2587.73 c #Conflicts: 1340000 | #Constraints: 71337 2580.13/2587.73 c #Conflicts: 1341000 | #Constraints: 72337 2580.13/2587.73 c #Conflicts: 1342000 | #Constraints: 73337 2580.13/2587.73 c #Conflicts: 1343000 | #Constraints: 74337 2580.13/2587.73 c #Conflicts: 1344000 | #Constraints: 75337 2580.13/2587.73 c #Conflicts: 1345000 | #Constraints: 76338 2580.13/2587.73 c #Conflicts: 1346000 | #Constraints: 77338 2580.13/2587.73 c #Conflicts: 1347000 | #Constraints: 78338 2580.13/2587.73 c #Conflicts: 1348000 | #Constraints: 79338 2580.13/2587.73 c #Conflicts: 1349000 | #Constraints: 80338 2580.13/2587.73 c #Conflicts: 1350000 | #Constraints: 81338 2580.13/2587.73 c #Conflicts: 1351000 | #Constraints: 82338 2580.13/2587.73 c #Conflicts: 1352000 | #Constraints: 83338 2580.13/2587.73 c #Conflicts: 1353000 | #Constraints: 84338 2580.13/2587.73 c #Conflicts: 1354000 | #Constraints: 85338 2580.13/2587.73 c #Conflicts: 1355000 | #Constraints: 86338 2580.13/2587.73 c #Conflicts: 1356000 | #Constraints: 87338 2580.13/2587.73 c #Conflicts: 1357000 | #Constraints: 88338 2580.13/2587.73 c #Conflicts: 1358000 | #Constraints: 89339 2580.13/2587.73 c #Conflicts: 1359000 | #Constraints: 90339 2580.13/2587.73 c #Conflicts: 1360000 | #Constraints: 91339 2580.13/2587.73 c #Conflicts: 1361000 | #Constraints: 92340 2580.13/2587.73 c #Conflicts: 1362000 | #Constraints: 93340 2580.13/2587.73 c #Conflicts: 1363000 | #Constraints: 94340 2580.13/2587.73 c #Conflicts: 1364000 | #Constraints: 95340 2580.13/2587.73 c #Conflicts: 1365000 | #Constraints: 96340 2580.13/2587.73 c #Conflicts: 1366000 | #Constraints: 97340 2580.13/2587.73 c #Conflicts: 1367000 | #Constraints: 98340 2580.13/2587.73 c #Conflicts: 1368000 | #Constraints: 99340 2580.13/2587.73 c #Conflicts: 1369000 | #Constraints: 100340 2580.13/2587.73 c #Conflicts: 1370000 | #Constraints: 101340 2580.13/2587.73 c #Conflicts: 1371000 | #Constraints: 102340 2580.13/2587.73 c #Conflicts: 1372000 | #Constraints: 103340 2580.13/2587.73 c #Conflicts: 1373000 | #Constraints: 104340 2580.13/2587.73 c #Conflicts: 1374000 | #Constraints: 105341 2580.13/2587.73 c #Conflicts: 1375000 | #Constraints: 106341 2580.13/2587.73 c #Conflicts: 1376000 | #Constraints: 107342 2580.13/2587.73 c #Conflicts: 1377000 | #Constraints: 108342 2580.13/2587.73 c #Conflicts: 1378000 | #Constraints: 109343 2580.13/2587.73 c #Conflicts: 1379000 | #Constraints: 110343 2580.13/2587.73 c #Conflicts: 1380000 | #Constraints: 111343 2580.13/2587.73 c #Conflicts: 1381000 | #Constraints: 112343 2580.13/2587.73 c #Conflicts: 1382000 | #Constraints: 113343 2580.13/2587.73 c #Conflicts: 1383000 | #Constraints: 114343 2580.13/2587.73 c #Conflicts: 1384000 | #Constraints: 115343 2580.13/2587.73 c #Conflicts: 1385000 | #Constraints: 116343 2617.52/2625.30 c #Conflicts: 1386000 | #Constraints: 117343 2617.52/2625.30 c #Conflicts: 1387000 | #Constraints: 118343 2617.52/2625.30 c #Conflicts: 1388000 | #Constraints: 119343 2617.52/2625.30 c #Conflicts: 1389000 | #Constraints: 120343 2617.52/2625.30 c #Conflicts: 1390000 | #Constraints: 121343 2617.52/2625.30 c #Conflicts: 1391000 | #Constraints: 122343 2617.52/2625.30 c #Conflicts: 1392000 | #Constraints: 123343 2617.52/2625.30 c INPROCESSING 2617.52/2625.30 c GARBAGE COLLECT 2617.52/2625.30 c rational objective 98 2679.03/2686.90 c #Conflicts: 1393000 | #Constraints: 66395 2679.03/2686.90 c #Conflicts: 1394000 | #Constraints: 67395 2679.03/2686.90 c #Conflicts: 1395000 | #Constraints: 68395 2679.03/2686.90 c #Conflicts: 1396000 | #Constraints: 69395 2679.03/2686.90 c #Conflicts: 1397000 | #Constraints: 70395 2679.03/2686.90 c #Conflicts: 1398000 | #Constraints: 71395 2679.03/2686.90 c #Conflicts: 1399000 | #Constraints: 72395 2679.03/2686.90 c #Conflicts: 1400000 | #Constraints: 73395 2679.03/2686.90 c #Conflicts: 1401000 | #Constraints: 74395 2679.03/2686.90 c #Conflicts: 1402000 | #Constraints: 75395 2679.03/2686.90 c #Conflicts: 1403000 | #Constraints: 76395 2679.03/2686.90 c #Conflicts: 1404000 | #Constraints: 77395 2679.03/2686.90 c #Conflicts: 1405000 | #Constraints: 78395 2679.03/2686.90 c #Conflicts: 1406000 | #Constraints: 79395 2679.03/2686.90 c #Conflicts: 1407000 | #Constraints: 80395 2679.03/2686.90 c #Conflicts: 1408000 | #Constraints: 81395 2679.03/2686.90 c #Conflicts: 1409000 | #Constraints: 82395 2679.03/2686.90 c #Conflicts: 1410000 | #Constraints: 83395 2679.03/2686.90 c #Conflicts: 1411000 | #Constraints: 84396 2679.03/2686.90 c #Conflicts: 1412000 | #Constraints: 85396 2679.03/2686.90 c #Conflicts: 1413000 | #Constraints: 86396 2679.03/2686.90 c #Conflicts: 1414000 | #Constraints: 87396 2679.03/2686.90 c #Conflicts: 1415000 | #Constraints: 88397 2679.03/2686.90 c #Conflicts: 1416000 | #Constraints: 89397 2679.03/2686.90 c #Conflicts: 1417000 | #Constraints: 90397 2679.03/2686.90 c #Conflicts: 1418000 | #Constraints: 91397 2679.03/2686.90 c #Conflicts: 1419000 | #Constraints: 92397 2679.03/2686.90 c #Conflicts: 1420000 | #Constraints: 93397 2679.03/2686.90 c INPROCESSING 2679.03/2686.90 c GARBAGE COLLECT 2679.03/2686.90 c rational objective 98 2724.30/2732.37 c #Conflicts: 1421000 | #Constraints: 51472 2724.30/2732.37 c #Conflicts: 1422000 | #Constraints: 52472 2724.30/2732.37 c #Conflicts: 1423000 | #Constraints: 53472 2724.30/2732.37 c #Conflicts: 1424000 | #Constraints: 54472 2724.30/2732.37 c #Conflicts: 1425000 | #Constraints: 55472 2724.30/2732.37 c #Conflicts: 1426000 | #Constraints: 56472 2724.30/2732.37 c #Conflicts: 1427000 | #Constraints: 57472 2724.30/2732.37 c #Conflicts: 1428000 | #Constraints: 58472 2724.30/2732.37 c #Conflicts: 1429000 | #Constraints: 59472 2724.30/2732.37 c #Conflicts: 1430000 | #Constraints: 60472 2724.30/2732.37 c #Conflicts: 1431000 | #Constraints: 61472 2724.30/2732.37 c #Conflicts: 1432000 | #Constraints: 62472 2724.30/2732.37 c #Conflicts: 1433000 | #Constraints: 63472 2724.30/2732.37 c #Conflicts: 1434000 | #Constraints: 64472 2724.30/2732.37 c #Conflicts: 1435000 | #Constraints: 65472 2724.30/2732.37 c #Conflicts: 1436000 | #Constraints: 66472 2724.30/2732.37 c #Conflicts: 1437000 | #Constraints: 67472 2724.30/2732.37 c #Conflicts: 1438000 | #Constraints: 68472 2724.30/2732.37 c #Conflicts: 1439000 | #Constraints: 69472 2724.30/2732.37 c #Conflicts: 1440000 | #Constraints: 70472 2724.30/2732.37 c #Conflicts: 1441000 | #Constraints: 71472 2724.30/2732.37 c #Conflicts: 1442000 | #Constraints: 72472 2724.30/2732.37 c #Conflicts: 1443000 | #Constraints: 73472 2724.30/2732.37 c #Conflicts: 1444000 | #Constraints: 74472 2724.30/2732.37 c #Conflicts: 1445000 | #Constraints: 75472 2724.30/2732.37 c #Conflicts: 1446000 | #Constraints: 76472 2724.30/2732.37 c #Conflicts: 1447000 | #Constraints: 77472 2724.30/2732.37 c #Conflicts: 1448000 | #Constraints: 78472 2724.30/2732.37 c INPROCESSING 2724.30/2732.37 c GARBAGE COLLECT 2724.30/2732.37 c rational objective 98 2765.10/2773.26 c #Conflicts: 1449000 | #Constraints: 44065 2765.10/2773.26 c #Conflicts: 1450000 | #Constraints: 45065 2765.10/2773.26 c #Conflicts: 1451000 | #Constraints: 46065 2765.10/2773.26 c #Conflicts: 1452000 | #Constraints: 47065 2765.10/2773.26 c #Conflicts: 1453000 | #Constraints: 48065 2765.10/2773.26 c #Conflicts: 1454000 | #Constraints: 49065 2765.10/2773.26 c #Conflicts: 1455000 | #Constraints: 50065 2765.10/2773.26 c #Conflicts: 1456000 | #Constraints: 51065 2765.10/2773.26 c #Conflicts: 1457000 | #Constraints: 52065 2765.10/2773.26 c #Conflicts: 1458000 | #Constraints: 53065 2765.10/2773.26 c #Conflicts: 1459000 | #Constraints: 54065 2765.10/2773.26 c #Conflicts: 1460000 | #Constraints: 55065 2765.10/2773.26 c #Conflicts: 1461000 | #Constraints: 56065 2765.10/2773.26 c #Conflicts: 1462000 | #Constraints: 57065 2765.10/2773.26 c #Conflicts: 1463000 | #Constraints: 58065 2765.10/2773.26 c #Conflicts: 1464000 | #Constraints: 59065 2765.10/2773.26 c #Conflicts: 1465000 | #Constraints: 60066 2765.10/2773.26 c #Conflicts: 1466000 | #Constraints: 61066 2765.10/2773.26 c #Conflicts: 1467000 | #Constraints: 62067 2765.10/2773.26 c #Conflicts: 1468000 | #Constraints: 63067 2765.10/2773.26 c #Conflicts: 1469000 | #Constraints: 64068 2765.10/2773.26 c #Conflicts: 1470000 | #Constraints: 65068 2765.10/2773.26 c #Conflicts: 1471000 | #Constraints: 66068 2765.10/2773.26 c #Conflicts: 1472000 | #Constraints: 67068 2765.10/2773.26 c #Conflicts: 1473000 | #Constraints: 68068 2765.10/2773.26 c #Conflicts: 1474000 | #Constraints: 69068 2765.10/2773.26 c #Conflicts: 1475000 | #Constraints: 70068 2765.10/2773.26 c #Conflicts: 1476000 | #Constraints: 71068 2765.10/2773.26 c INPROCESSING 2765.10/2773.26 c GARBAGE COLLECT 2765.10/2773.26 c rational objective 98 2932.50/2941.07 c #Conflicts: 1477000 | #Constraints: 40188 2932.50/2941.07 c #Conflicts: 1478000 | #Constraints: 41188 2932.50/2941.07 c #Conflicts: 1479000 | #Constraints: 42188 2932.50/2941.07 c #Conflicts: 1480000 | #Constraints: 43188 2932.50/2941.07 c #Conflicts: 1481000 | #Constraints: 44189 2932.50/2941.07 c #Conflicts: 1482000 | #Constraints: 45189 2932.50/2941.07 c #Conflicts: 1483000 | #Constraints: 46189 2932.50/2941.07 c #Conflicts: 1484000 | #Constraints: 47189 2932.50/2941.07 c #Conflicts: 1485000 | #Constraints: 48189 2932.50/2941.07 c #Conflicts: 1486000 | #Constraints: 49189 2932.50/2941.07 c #Conflicts: 1487000 | #Constraints: 50189 2932.50/2941.07 c #Conflicts: 1488000 | #Constraints: 51189 2932.50/2941.07 c #Conflicts: 1489000 | #Constraints: 52189 2932.50/2941.07 c #Conflicts: 1490000 | #Constraints: 53189 2932.50/2941.07 c #Conflicts: 1491000 | #Constraints: 54189 2932.50/2941.07 c #Conflicts: 1492000 | #Constraints: 55190 2932.50/2941.07 c #Conflicts: 1493000 | #Constraints: 56190 2932.50/2941.07 c #Conflicts: 1494000 | #Constraints: 57190 2932.50/2941.07 c #Conflicts: 1495000 | #Constraints: 58191 2932.50/2941.07 c #Conflicts: 1496000 | #Constraints: 59191 2932.50/2941.07 c #Conflicts: 1497000 | #Constraints: 60191 2932.50/2941.07 c #Conflicts: 1498000 | #Constraints: 61191 2932.50/2941.07 c #Conflicts: 1499000 | #Constraints: 62191 2932.50/2941.07 c #Conflicts: 1500000 | #Constraints: 63191 2932.50/2941.07 c #Conflicts: 1501000 | #Constraints: 64191 2932.50/2941.07 c #Conflicts: 1502000 | #Constraints: 65191 2932.50/2941.07 c #Conflicts: 1503000 | #Constraints: 66191 2932.50/2941.07 c #Conflicts: 1504000 | #Constraints: 67191 2932.50/2941.07 c #Conflicts: 1505000 | #Constraints: 68191 2932.50/2941.07 c #Conflicts: 1506000 | #Constraints: 69191 2932.50/2941.07 c #Conflicts: 1507000 | #Constraints: 70191 2932.50/2941.07 c #Conflicts: 1508000 | #Constraints: 71191 2932.50/2941.07 c #Conflicts: 1509000 | #Constraints: 72191 2932.50/2941.07 c #Conflicts: 1510000 | #Constraints: 73191 2932.50/2941.07 c #Conflicts: 1511000 | #Constraints: 74191 2932.50/2941.07 c #Conflicts: 1512000 | #Constraints: 75191 2932.50/2941.07 c #Conflicts: 1513000 | #Constraints: 76191 2932.50/2941.07 c #Conflicts: 1514000 | #Constraints: 77191 2932.50/2941.07 c #Conflicts: 1515000 | #Constraints: 78192 2932.50/2941.07 c #Conflicts: 1516000 | #Constraints: 79192 2932.50/2941.07 c #Conflicts: 1517000 | #Constraints: 80192 2932.50/2941.07 c #Conflicts: 1518000 | #Constraints: 81192 2932.50/2941.07 c #Conflicts: 1519000 | #Constraints: 82192 2932.50/2941.07 c #Conflicts: 1520000 | #Constraints: 83192 2932.50/2941.07 c #Conflicts: 1521000 | #Constraints: 84192 2932.50/2941.07 c #Conflicts: 1522000 | #Constraints: 85192 2932.50/2941.07 c #Conflicts: 1523000 | #Constraints: 86192 2932.50/2941.07 c #Conflicts: 1524000 | #Constraints: 87193 2932.50/2941.07 c #Conflicts: 1525000 | #Constraints: 88193 2932.50/2941.07 c #Conflicts: 1526000 | #Constraints: 89193 2932.50/2941.07 c #Conflicts: 1527000 | #Constraints: 90193 2932.50/2941.07 c #Conflicts: 1528000 | #Constraints: 91194 2932.50/2941.07 c #Conflicts: 1529000 | #Constraints: 92194 2932.50/2941.07 c #Conflicts: 1530000 | #Constraints: 93194 2932.50/2941.07 c #Conflicts: 1531000 | #Constraints: 94194 2932.50/2941.07 c #Conflicts: 1532000 | #Constraints: 95194 2932.50/2941.07 c #Conflicts: 1533000 | #Constraints: 96194 2932.50/2941.07 c #Conflicts: 1534000 | #Constraints: 97195 2932.50/2941.07 c #Conflicts: 1535000 | #Constraints: 98195 2932.50/2941.07 c #Conflicts: 1536000 | #Constraints: 99195 2932.50/2941.07 c #Conflicts: 1537000 | #Constraints: 100195 2932.50/2941.07 c #Conflicts: 1538000 | #Constraints: 101195 2932.50/2941.07 c #Conflicts: 1539000 | #Constraints: 102195 2932.50/2941.07 c #Conflicts: 1540000 | #Constraints: 103195 2932.50/2941.07 c #Conflicts: 1541000 | #Constraints: 104195 2932.50/2941.07 c #Conflicts: 1542000 | #Constraints: 105196 2932.50/2941.07 c #Conflicts: 1543000 | #Constraints: 106196 2932.50/2941.07 c #Conflicts: 1544000 | #Constraints: 107196 2932.50/2941.07 c #Conflicts: 1545000 | #Constraints: 108196 2932.50/2941.07 c #Conflicts: 1546000 | #Constraints: 109196 2932.50/2941.07 c #Conflicts: 1547000 | #Constraints: 110197 2932.50/2941.07 c #Conflicts: 1548000 | #Constraints: 111197 2932.50/2941.07 c #Conflicts: 1549000 | #Constraints: 112197 2932.50/2941.07 c #Conflicts: 1550000 | #Constraints: 113197 2932.50/2941.07 c #Conflicts: 1551000 | #Constraints: 114197 2932.50/2941.07 c #Conflicts: 1552000 | #Constraints: 115197 2932.50/2941.07 c #Conflicts: 1553000 | #Constraints: 116197 2932.50/2941.07 c #Conflicts: 1554000 | #Constraints: 117197 2932.50/2941.07 c #Conflicts: 1555000 | #Constraints: 118197 2982.75/2991.41 c #Conflicts: 1556000 | #Constraints: 119197 2982.75/2991.41 c #Conflicts: 1557000 | #Constraints: 120197 2982.75/2991.41 c #Conflicts: 1558000 | #Constraints: 121197 2982.75/2991.41 c #Conflicts: 1559000 | #Constraints: 122197 2982.75/2991.41 c #Conflicts: 1560000 | #Constraints: 123197 2982.75/2991.41 c #Conflicts: 1561000 | #Constraints: 124197 2982.75/2991.41 c #Conflicts: 1562000 | #Constraints: 125197 2982.75/2991.41 c #Conflicts: 1563000 | #Constraints: 126197 2982.75/2991.41 c #Conflicts: 1564000 | #Constraints: 127197 2982.75/2991.41 c #Conflicts: 1565000 | #Constraints: 128197 2982.75/2991.41 c #Conflicts: 1566000 | #Constraints: 129197 2982.75/2991.41 c #Conflicts: 1567000 | #Constraints: 130197 2982.75/2991.41 c #Conflicts: 1568000 | #Constraints: 131197 2982.75/2991.41 c INPROCESSING 2982.75/2991.41 c GARBAGE COLLECT 2982.75/2991.41 c rational objective 98 3049.59/3058.48 c #Conflicts: 1569000 | #Constraints: 70647 3049.59/3058.48 c #Conflicts: 1570000 | #Constraints: 71647 3049.59/3058.48 c #Conflicts: 1571000 | #Constraints: 72647 3049.59/3058.48 c #Conflicts: 1572000 | #Constraints: 73647 3049.59/3058.48 c #Conflicts: 1573000 | #Constraints: 74647 3049.59/3058.48 c #Conflicts: 1574000 | #Constraints: 75647 3049.59/3058.48 c #Conflicts: 1575000 | #Constraints: 76647 3049.59/3058.48 c #Conflicts: 1576000 | #Constraints: 77647 3049.59/3058.48 c #Conflicts: 1577000 | #Constraints: 78647 3049.59/3058.48 c #Conflicts: 1578000 | #Constraints: 79647 3049.59/3058.48 c #Conflicts: 1579000 | #Constraints: 80647 3049.59/3058.48 c #Conflicts: 1580000 | #Constraints: 81647 3049.59/3058.48 c #Conflicts: 1581000 | #Constraints: 82647 3049.59/3058.48 c #Conflicts: 1582000 | #Constraints: 83647 3049.59/3058.48 c #Conflicts: 1583000 | #Constraints: 84647 3049.59/3058.48 c #Conflicts: 1584000 | #Constraints: 85647 3049.59/3058.48 c #Conflicts: 1585000 | #Constraints: 86647 3049.59/3058.48 c #Conflicts: 1586000 | #Constraints: 87647 3049.59/3058.48 c #Conflicts: 1587000 | #Constraints: 88647 3049.59/3058.48 c #Conflicts: 1588000 | #Constraints: 89647 3049.59/3058.48 c #Conflicts: 1589000 | #Constraints: 90647 3049.59/3058.48 c #Conflicts: 1590000 | #Constraints: 91647 3049.59/3058.48 c #Conflicts: 1591000 | #Constraints: 92647 3049.59/3058.48 c #Conflicts: 1592000 | #Constraints: 93647 3049.59/3058.48 c #Conflicts: 1593000 | #Constraints: 94647 3049.59/3058.48 c #Conflicts: 1594000 | #Constraints: 95647 3049.59/3058.48 c #Conflicts: 1595000 | #Constraints: 96647 3049.59/3058.48 c #Conflicts: 1596000 | #Constraints: 97647 3049.59/3058.48 c #Conflicts: 1597000 | #Constraints: 98647 3049.59/3058.48 c INPROCESSING 3049.59/3058.48 c GARBAGE COLLECT 3049.59/3058.48 c rational objective 98 3099.87/3108.86 c #Conflicts: 1598000 | #Constraints: 54122 3099.87/3108.86 c #Conflicts: 1599000 | #Constraints: 55122 3099.87/3108.86 c #Conflicts: 1600000 | #Constraints: 56122 3099.87/3108.86 c #Conflicts: 1601000 | #Constraints: 57122 3099.87/3108.86 c #Conflicts: 1602000 | #Constraints: 58122 3099.87/3108.86 c #Conflicts: 1603000 | #Constraints: 59123 3099.87/3108.86 c #Conflicts: 1604000 | #Constraints: 60124 3099.87/3108.86 c #Conflicts: 1605000 | #Constraints: 61124 3099.87/3108.86 c #Conflicts: 1606000 | #Constraints: 62124 3099.87/3108.86 c #Conflicts: 1607000 | #Constraints: 63124 3099.87/3108.86 c #Conflicts: 1608000 | #Constraints: 64124 3099.87/3108.86 c #Conflicts: 1609000 | #Constraints: 65124 3099.87/3108.86 c #Conflicts: 1610000 | #Constraints: 66124 3099.87/3108.86 c #Conflicts: 1611000 | #Constraints: 67124 3099.87/3108.86 c #Conflicts: 1612000 | #Constraints: 68124 3099.87/3108.86 c #Conflicts: 1613000 | #Constraints: 69124 3099.87/3108.86 c #Conflicts: 1614000 | #Constraints: 70124 3099.87/3108.86 c #Conflicts: 1615000 | #Constraints: 71124 3099.87/3108.86 c #Conflicts: 1616000 | #Constraints: 72124 3099.87/3108.86 c #Conflicts: 1617000 | #Constraints: 73124 3099.87/3108.86 c #Conflicts: 1618000 | #Constraints: 74124 3099.87/3108.86 c #Conflicts: 1619000 | #Constraints: 75124 3099.87/3108.86 c #Conflicts: 1620000 | #Constraints: 76124 3099.87/3108.86 c #Conflicts: 1621000 | #Constraints: 77124 3099.87/3108.86 c #Conflicts: 1622000 | #Constraints: 78124 3099.87/3108.86 c #Conflicts: 1623000 | #Constraints: 79124 3099.87/3108.86 c #Conflicts: 1624000 | #Constraints: 80124 3099.87/3108.86 c #Conflicts: 1625000 | #Constraints: 81124 3099.87/3108.86 c #Conflicts: 1626000 | #Constraints: 82124 3099.87/3108.86 c #Conflicts: 1627000 | #Constraints: 83124 3099.87/3108.86 c INPROCESSING 3099.87/3108.86 c GARBAGE COLLECT 3099.87/3108.86 c rational objective 98 3158.71/3167.82 c #Conflicts: 1628000 | #Constraints: 46464 3158.71/3167.82 c #Conflicts: 1629000 | #Constraints: 47464 3158.71/3167.82 c #Conflicts: 1630000 | #Constraints: 48464 3158.71/3167.82 c #Conflicts: 1631000 | #Constraints: 49464 3158.71/3167.82 c #Conflicts: 1632000 | #Constraints: 50464 3158.71/3167.82 c #Conflicts: 1633000 | #Constraints: 51464 3158.71/3167.82 c #Conflicts: 1634000 | #Constraints: 52464 3158.71/3167.82 c #Conflicts: 1635000 | #Constraints: 53464 3158.71/3167.82 c #Conflicts: 1636000 | #Constraints: 54464 3158.71/3167.82 c #Conflicts: 1637000 | #Constraints: 55464 3158.71/3167.82 c #Conflicts: 1638000 | #Constraints: 56465 3158.71/3167.82 c #Conflicts: 1639000 | #Constraints: 57465 3158.71/3167.82 c #Conflicts: 1640000 | #Constraints: 58465 3158.71/3167.82 c #Conflicts: 1641000 | #Constraints: 59465 3158.71/3167.82 c #Conflicts: 1642000 | #Constraints: 60465 3158.71/3167.82 c #Conflicts: 1643000 | #Constraints: 61465 3158.71/3167.82 c #Conflicts: 1644000 | #Constraints: 62465 3158.71/3167.82 c #Conflicts: 1645000 | #Constraints: 63465 3158.71/3167.82 c #Conflicts: 1646000 | #Constraints: 64465 3158.71/3167.82 c #Conflicts: 1647000 | #Constraints: 65465 3158.71/3167.82 c #Conflicts: 1648000 | #Constraints: 66465 3158.71/3167.82 c #Conflicts: 1649000 | #Constraints: 67465 3158.71/3167.82 c #Conflicts: 1650000 | #Constraints: 68465 3158.71/3167.82 c #Conflicts: 1651000 | #Constraints: 69465 3158.71/3167.82 c #Conflicts: 1652000 | #Constraints: 70465 3158.71/3167.82 c #Conflicts: 1653000 | #Constraints: 71465 3158.71/3167.82 c #Conflicts: 1654000 | #Constraints: 72465 3158.71/3167.82 c #Conflicts: 1655000 | #Constraints: 73465 3158.71/3167.82 c #Conflicts: 1656000 | #Constraints: 74466 3158.71/3167.82 c #Conflicts: 1657000 | #Constraints: 75466 3158.71/3167.82 c INPROCESSING 3158.71/3167.82 c GARBAGE COLLECT 3158.71/3167.82 c rational objective 98 3349.94/3359.50 c #Conflicts: 1658000 | #Constraints: 42682 3349.94/3359.50 c #Conflicts: 1659000 | #Constraints: 43682 3349.94/3359.50 c #Conflicts: 1660000 | #Constraints: 44682 3349.94/3359.50 c #Conflicts: 1661000 | #Constraints: 45682 3349.94/3359.50 c #Conflicts: 1662000 | #Constraints: 46685 3349.94/3359.50 c #Conflicts: 1663000 | #Constraints: 47685 3349.94/3359.50 c #Conflicts: 1664000 | #Constraints: 48686 3349.94/3359.50 c #Conflicts: 1665000 | #Constraints: 49686 3349.94/3359.50 c #Conflicts: 1666000 | #Constraints: 50686 3349.94/3359.50 c #Conflicts: 1667000 | #Constraints: 51686 3349.94/3359.50 c #Conflicts: 1668000 | #Constraints: 52686 3349.94/3359.50 c #Conflicts: 1669000 | #Constraints: 53686 3349.94/3359.50 c #Conflicts: 1670000 | #Constraints: 54686 3349.94/3359.50 c #Conflicts: 1671000 | #Constraints: 55686 3349.94/3359.50 c #Conflicts: 1672000 | #Constraints: 56687 3349.94/3359.50 c #Conflicts: 1673000 | #Constraints: 57687 3349.94/3359.50 c #Conflicts: 1674000 | #Constraints: 58687 3349.94/3359.50 c #Conflicts: 1675000 | #Constraints: 59687 3349.94/3359.50 c #Conflicts: 1676000 | #Constraints: 60688 3349.94/3359.50 c #Conflicts: 1677000 | #Constraints: 61688 3349.94/3359.50 c #Conflicts: 1678000 | #Constraints: 62688 3349.94/3359.50 c #Conflicts: 1679000 | #Constraints: 63688 3349.94/3359.50 c #Conflicts: 1680000 | #Constraints: 64688 3349.94/3359.50 c #Conflicts: 1681000 | #Constraints: 65688 3349.94/3359.50 c #Conflicts: 1682000 | #Constraints: 66688 3349.94/3359.50 c #Conflicts: 1683000 | #Constraints: 67688 3349.94/3359.50 c #Conflicts: 1684000 | #Constraints: 68688 3349.94/3359.50 c #Conflicts: 1685000 | #Constraints: 69688 3349.94/3359.50 c #Conflicts: 1686000 | #Constraints: 70688 3349.94/3359.50 c #Conflicts: 1687000 | #Constraints: 71688 3349.94/3359.50 c #Conflicts: 1688000 | #Constraints: 72689 3349.94/3359.50 c #Conflicts: 1689000 | #Constraints: 73689 3349.94/3359.50 c #Conflicts: 1690000 | #Constraints: 74689 3349.94/3359.50 c #Conflicts: 1691000 | #Constraints: 75689 3349.94/3359.50 c #Conflicts: 1692000 | #Constraints: 76689 3349.94/3359.50 c #Conflicts: 1693000 | #Constraints: 77689 3349.94/3359.50 c #Conflicts: 1694000 | #Constraints: 78689 3349.94/3359.50 c #Conflicts: 1695000 | #Constraints: 79689 3349.94/3359.50 c #Conflicts: 1696000 | #Constraints: 80690 3349.94/3359.50 c #Conflicts: 1697000 | #Constraints: 81690 3349.94/3359.50 c #Conflicts: 1698000 | #Constraints: 82690 3349.94/3359.50 c #Conflicts: 1699000 | #Constraints: 83690 3349.94/3359.50 c #Conflicts: 1700000 | #Constraints: 84690 3349.94/3359.50 c #Conflicts: 1701000 | #Constraints: 85690 3349.94/3359.50 c #Conflicts: 1702000 | #Constraints: 86690 3349.94/3359.50 c #Conflicts: 1703000 | #Constraints: 87690 3349.94/3359.50 c #Conflicts: 1704000 | #Constraints: 88690 3349.94/3359.50 c #Conflicts: 1705000 | #Constraints: 89690 3349.94/3359.50 c #Conflicts: 1706000 | #Constraints: 90690 3349.94/3359.50 c #Conflicts: 1707000 | #Constraints: 91690 3349.94/3359.50 c #Conflicts: 1708000 | #Constraints: 92690 3349.94/3359.50 c #Conflicts: 1709000 | #Constraints: 93690 3349.94/3359.50 c #Conflicts: 1710000 | #Constraints: 94690 3349.94/3359.50 c #Conflicts: 1711000 | #Constraints: 95691 3349.94/3359.50 c #Conflicts: 1712000 | #Constraints: 96691 3349.94/3359.50 c #Conflicts: 1713000 | #Constraints: 97692 3349.94/3359.50 c #Conflicts: 1714000 | #Constraints: 98692 3349.94/3359.50 c #Conflicts: 1715000 | #Constraints: 99692 3349.94/3359.50 c #Conflicts: 1716000 | #Constraints: 100693 3349.94/3359.50 c #Conflicts: 1717000 | #Constraints: 101694 3349.94/3359.50 c #Conflicts: 1718000 | #Constraints: 102694 3349.94/3359.50 c #Conflicts: 1719000 | #Constraints: 103694 3349.94/3359.50 c #Conflicts: 1720000 | #Constraints: 104694 3349.94/3359.50 c #Conflicts: 1721000 | #Constraints: 105694 3349.94/3359.50 c #Conflicts: 1722000 | #Constraints: 106694 3349.94/3359.50 c #Conflicts: 1723000 | #Constraints: 107694 3349.94/3359.50 c #Conflicts: 1724000 | #Constraints: 108694 3349.94/3359.50 c #Conflicts: 1725000 | #Constraints: 109694 3349.94/3359.50 c #Conflicts: 1726000 | #Constraints: 110694 3349.94/3359.50 c #Conflicts: 1727000 | #Constraints: 111694 3349.94/3359.50 c #Conflicts: 1728000 | #Constraints: 112694 3349.94/3359.50 c #Conflicts: 1729000 | #Constraints: 113694 3349.94/3359.50 c #Conflicts: 1730000 | #Constraints: 114695 3349.94/3359.50 c #Conflicts: 1731000 | #Constraints: 115695 3349.94/3359.50 c #Conflicts: 1732000 | #Constraints: 116695 3349.94/3359.50 c #Conflicts: 1733000 | #Constraints: 117695 3349.94/3359.50 c #Conflicts: 1734000 | #Constraints: 118695 3349.94/3359.50 c #Conflicts: 1735000 | #Constraints: 119695 3349.94/3359.50 c #Conflicts: 1736000 | #Constraints: 120695 3439.23/3449.07 c #Conflicts: 1737000 | #Constraints: 121695 3439.23/3449.07 c #Conflicts: 1738000 | #Constraints: 122695 3439.23/3449.07 c #Conflicts: 1739000 | #Constraints: 123695 3439.23/3449.07 c #Conflicts: 1740000 | #Constraints: 124695 3439.23/3449.07 c #Conflicts: 1741000 | #Constraints: 125695 3439.23/3449.07 c #Conflicts: 1742000 | #Constraints: 126695 3439.23/3449.07 c #Conflicts: 1743000 | #Constraints: 127695 3439.23/3449.07 c #Conflicts: 1744000 | #Constraints: 128695 3439.23/3449.07 c #Conflicts: 1745000 | #Constraints: 129695 3439.23/3449.07 c #Conflicts: 1746000 | #Constraints: 130695 3439.23/3449.07 c #Conflicts: 1747000 | #Constraints: 131695 3439.23/3449.07 c #Conflicts: 1748000 | #Constraints: 132695 3439.23/3449.07 c #Conflicts: 1749000 | #Constraints: 133695 3439.23/3449.07 c #Conflicts: 1750000 | #Constraints: 134695 3439.23/3449.07 c #Conflicts: 1751000 | #Constraints: 135696 3439.23/3449.07 c #Conflicts: 1752000 | #Constraints: 136697 3439.23/3449.07 c #Conflicts: 1753000 | #Constraints: 137697 3439.23/3449.07 c INPROCESSING 3439.23/3449.07 c GARBAGE COLLECT 3439.23/3449.07 c rational objective 98 3516.14/3526.16 c #Conflicts: 1754000 | #Constraints: 73437 3516.14/3526.16 c #Conflicts: 1755000 | #Constraints: 74437 3516.14/3526.16 c #Conflicts: 1756000 | #Constraints: 75437 3516.14/3526.16 c #Conflicts: 1757000 | #Constraints: 76437 3516.14/3526.16 c #Conflicts: 1758000 | #Constraints: 77437 3516.14/3526.16 c #Conflicts: 1759000 | #Constraints: 78437 3516.14/3526.16 c #Conflicts: 1760000 | #Constraints: 79437 3516.14/3526.16 c #Conflicts: 1761000 | #Constraints: 80437 3516.14/3526.16 c #Conflicts: 1762000 | #Constraints: 81437 3516.14/3526.16 c #Conflicts: 1763000 | #Constraints: 82437 3516.14/3526.16 c #Conflicts: 1764000 | #Constraints: 83437 3516.14/3526.16 c #Conflicts: 1765000 | #Constraints: 84437 3516.14/3526.16 c #Conflicts: 1766000 | #Constraints: 85437 3516.14/3526.16 c #Conflicts: 1767000 | #Constraints: 86437 3516.14/3526.16 c #Conflicts: 1768000 | #Constraints: 87437 3516.14/3526.16 c #Conflicts: 1769000 | #Constraints: 88437 3516.14/3526.16 c #Conflicts: 1770000 | #Constraints: 89437 3516.14/3526.16 c #Conflicts: 1771000 | #Constraints: 90437 3516.14/3526.16 c #Conflicts: 1772000 | #Constraints: 91437 3516.14/3526.16 c #Conflicts: 1773000 | #Constraints: 92437 3516.14/3526.16 c #Conflicts: 1774000 | #Constraints: 93437 3516.14/3526.16 c #Conflicts: 1775000 | #Constraints: 94437 3516.14/3526.16 c #Conflicts: 1776000 | #Constraints: 95437 3516.14/3526.16 c #Conflicts: 1777000 | #Constraints: 96437 3516.14/3526.16 c #Conflicts: 1778000 | #Constraints: 97437 3516.14/3526.16 c #Conflicts: 1779000 | #Constraints: 98437 3516.14/3526.16 c #Conflicts: 1780000 | #Constraints: 99437 3516.14/3526.16 c #Conflicts: 1781000 | #Constraints: 100437 3516.14/3526.16 c #Conflicts: 1782000 | #Constraints: 101437 3516.14/3526.16 c #Conflicts: 1783000 | #Constraints: 102438 3516.14/3526.16 c #Conflicts: 1784000 | #Constraints: 103438 3516.14/3526.16 c #Conflicts: 1785000 | #Constraints: 104438 3516.14/3526.16 c INPROCESSING 3516.14/3526.16 c GARBAGE COLLECT 3516.14/3526.16 c rational objective 98 3578.77/3588.92 c #Conflicts: 1786000 | #Constraints: 57188 3578.77/3588.92 c #Conflicts: 1787000 | #Constraints: 58189 3578.77/3588.92 c #Conflicts: 1788000 | #Constraints: 59189 3578.77/3588.92 c #Conflicts: 1789000 | #Constraints: 60190 3578.77/3588.92 c #Conflicts: 1790000 | #Constraints: 61190 3578.77/3588.92 c #Conflicts: 1791000 | #Constraints: 62190 3578.77/3588.92 c #Conflicts: 1792000 | #Constraints: 63190 3578.77/3588.92 c #Conflicts: 1793000 | #Constraints: 64190 3578.77/3588.92 c #Conflicts: 1794000 | #Constraints: 65190 3578.77/3588.92 c #Conflicts: 1795000 | #Constraints: 66190 3578.77/3588.92 c #Conflicts: 1796000 | #Constraints: 67190 3578.77/3588.92 c #Conflicts: 1797000 | #Constraints: 68190 3578.77/3588.92 c #Conflicts: 1798000 | #Constraints: 69190 3578.77/3588.92 c #Conflicts: 1799000 | #Constraints: 70190 3578.77/3588.92 c #Conflicts: 1800000 | #Constraints: 71191 3578.77/3588.92 c #Conflicts: 1801000 | #Constraints: 72191 3578.77/3588.92 c #Conflicts: 1802000 | #Constraints: 73191 3578.77/3588.92 c #Conflicts: 1803000 | #Constraints: 74191 3578.77/3588.92 c #Conflicts: 1804000 | #Constraints: 75192 3578.77/3588.92 c #Conflicts: 1805000 | #Constraints: 76192 3578.77/3588.92 c #Conflicts: 1806000 | #Constraints: 77192 3578.77/3588.92 c #Conflicts: 1807000 | #Constraints: 78192 3578.77/3588.92 c #Conflicts: 1808000 | #Constraints: 79192 3578.77/3588.92 c #Conflicts: 1809000 | #Constraints: 80192 3578.77/3588.92 c #Conflicts: 1810000 | #Constraints: 81192 3578.77/3588.92 c #Conflicts: 1811000 | #Constraints: 82192 3578.77/3588.92 c #Conflicts: 1812000 | #Constraints: 83192 3578.77/3588.92 c #Conflicts: 1813000 | #Constraints: 84192 3578.77/3588.92 c #Conflicts: 1814000 | #Constraints: 85192 3578.77/3588.92 c #Conflicts: 1815000 | #Constraints: 86192 3578.77/3588.92 c #Conflicts: 1816000 | #Constraints: 87192 3578.77/3588.92 c INPROCESSING 3578.77/3588.92 c GARBAGE COLLECT 3578.77/3588.92 c rational objective 98 3600.03/3610.20 c #Conflicts: 1817000 | #Constraints: 48503 3600.03/3610.20 c #Conflicts: 1818000 | #Constraints: 49503 3600.03/3610.20 c #Conflicts: 1819000 | #Constraints: 50503 3600.03/3610.20 c #Conflicts: 1820000 | #Constraints: 51503 3600.03/3610.20 c #Conflicts: 1821000 | #Constraints: 52503 3600.03/3610.20 c #Conflicts: 1822000 | #Constraints: 53504 3600.03/3610.20 c #Conflicts: 1823000 | #Constraints: 54504 3600.03/3610.20 c #Conflicts: 1824000 | #Constraints: 55504 3600.03/3610.20 c #Conflicts: 1825000 | #Constraints: 56504 3600.03/3610.20 c #Conflicts: 1826000 | #Constraints: 57504 3600.03/3610.20 c #Conflicts: 1827000 | #Constraints: 58504 3600.03/3610.20 c #Conflicts: 1828000 | #Constraints: 59504 3600.03/3610.20 c #Conflicts: 1829000 | #Constraints: 60504 3600.03/3610.20 c #Conflicts: 1830000 | #Constraints: 61504 3600.03/3610.20 c #Conflicts: 1831000 | #Constraints: 62504 3600.03/3610.20 c Program interrupted by user. 3600.03/3610.23 c cpu time 3560.02 s 3600.03/3610.23 c deterministic time 432533822294 4.33e+11 3600.03/3610.23 c optimization time 20.8322 s 3600.03/3610.23 c total solve time 3539.16 s 3600.03/3610.23 c core-guided solve time 0 s 3600.03/3610.23 c propagation time 2469.11 s 3600.03/3610.23 c conflict analysis time 823.137 s 3600.03/3610.23 c propagations 749374549 3600.03/3610.23 c resolve steps 64218540 3600.03/3610.23 c decisions 15128322 3600.03/3610.23 c conflicts 1831732 3600.03/3610.23 c restarts 3578 3600.03/3610.23 c inprocessing phases 76 3600.03/3610.23 c input clauses 6764 3600.03/3610.23 c input cardinalities 98 3600.03/3610.23 c input general constraints 0 3600.03/3610.23 c input average constraint length 6.24 3600.03/3610.23 c input average constraint degree 1.94 3600.03/3610.23 c learned clauses 1250835 3600.03/3610.23 c learned cardinalities 38656 3600.03/3610.23 c learned general constraints 542398 3600.03/3610.23 c learned average constraint length 868.66 3600.03/3610.23 c learned average constraint degree 41286241.00 3600.03/3610.23 c watched constraints 458190 3600.03/3610.23 c counting constraints 84208 3600.03/3610.23 c gcd simplifications 5475 3600.03/3610.23 c detected cardinalities 2391 3600.03/3610.23 c weakened non-implied lits 264699337 3600.03/3610.23 c weakened non-implying lits 685388 3600.03/3610.23 c original variables 6664 3600.03/3610.23 c clausal propagations 273625101 3600.03/3610.23 c cardinality propagations 262971019 3600.03/3610.23 c watched propagations 61034883 3600.03/3610.23 c counting propagations 145573584 3600.03/3610.23 c watch lookups 32362580190 3600.03/3610.23 c watch backjump lookups 25925462017 3600.03/3610.23 c watch checks 308197517159 3600.03/3610.23 c propagation checks 59856411396 3600.03/3610.23 c constraint additions 4658774855 3600.03/3610.23 c trail pops 766329222 3600.03/3610.23 c formula constraints 6862 3600.03/3610.23 c learned constraints 1831573 3600.03/3610.23 c bound constraints 0 3600.03/3610.23 c core-guided constraints 0 3600.03/3610.23 c encountered formula constraints 35731630 3600.03/3610.23 c encountered learned constraints 30316331 3600.03/3610.23 c encountered bound constraints 0 3600.03/3610.23 c encountered core-guided constraints 0 3600.03/3610.23 c LP total time 726.739 s 3600.03/3610.23 c LP solve time 719.39 s 3600.03/3610.23 c LP constraints added 11137 3600.03/3610.23 c LP constraints removed 4174 3600.03/3610.23 c LP pivots internal 1842024 3600.03/3610.23 c LP pivots root 402559 3600.03/3610.23 c LP calls 381 3600.03/3610.23 c LP optimalities 216 3600.03/3610.23 c LP no pivot count 7 3600.03/3610.23 c LP infeasibilities 159 3600.03/3610.23 c LP valid Farkas constraints 158 3600.03/3610.23 c LP learned Farkas constraints 158 3600.03/3610.23 c LP basis resets 1 3600.03/3610.23 c LP cycling count 0 3600.03/3610.23 c LP singular count 0 3600.03/3610.23 c LP no primal count 0 3600.03/3610.23 c LP no farkas count 1 3600.03/3610.23 c LP other issue count 0 3600.03/3610.23 c LP Gomory cuts 0 3600.03/3610.23 c LP learned cuts 4275 3600.03/3610.23 c LP deleted cuts 4174 3600.03/3610.23 c LP encountered Gomory constraints 0 3600.03/3610.23 c LP encountered Farkas constraints 1737 3600.03/3610.23 c LP encountered learned Farkas constraints 416 3600.03/3610.23 c CG auxiliary variables introduced 0 3600.03/3610.23 c CG solutions found 0 3600.03/3610.23 c CG cores constructed 0 3600.03/3610.23 c CG core cardinality constraints returned 0 3600.03/3610.23 c CG unit cores 0 3600.03/3610.23 c CG single cores 0 3600.03/3610.23 c CG blocks removed during cardinality reduction 0 3600.03/3610.23 c CG first core best 0 3600.03/3610.23 c CG decision core best 0 3600.03/3610.23 c CG core reduction tie 0 3600.03/3610.23 c CG core degree average 0.00 3600.03/3610.23 c CG core slack average 0.00 3600.03/3610.23 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: 64096 MiB (361 MiB free)
memory of node 1: 64473 MiB (34206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463060-1722345475/watcher-4463060-1722345475 -o /tmp/evaluation-result-4463060-1722345475/solver-4463060-1722345475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5679 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463060-1722345475 --lp-cut-gomory=0 HOME/instance-4463060-1722345475.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8216, runsolver pid=8213
[startup+0.100101 s]*
/proc/loadavg: 4.23 4.26 4.21 6/258 8217
/proc/meminfo: memFree=35396236/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=49312 memory=17936 CPUtime=0.11 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 3663 0 0 0 10 1 0 0 20 0 1 0 917594 50495488 4484 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 12328 4484 1715 992 0 4186 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 17936 KiB
[startup+0.213735 s]*
/proc/loadavg: 4.23 4.26 4.21 5/258 8217
/proc/meminfo: memFree=35381904/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=49984 memory=18992 CPUtime=0.22 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 3866 0 0 0 21 1 0 0 20 0 1 0 917594 51183616 4748 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 12496 4748 1715 992 0 4354 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 49984 KiB
Current children cumulated memory: 18992 KiB
[startup+0.313493 s]*
/proc/loadavg: 4.23 4.26 4.21 5/258 8217
/proc/meminfo: memFree=35381576/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=50224 memory=18992 CPUtime=0.32 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 3927 0 0 0 31 1 0 0 20 0 1 0 917594 51429376 4748 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 12556 4748 1715 992 0 4414 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 50224 KiB
Current children cumulated memory: 18992 KiB
[startup+0.700338 s]
/proc/loadavg: 4.23 4.26 4.21 5/258 8217
/proc/meminfo: memFree=35379248/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=51128 memory=20048 CPUtime=0.69 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 4143 0 0 0 68 1 0 0 20 0 1 0 917594 52355072 5012 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 12782 5012 1715 992 0 4640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51128 KiB
Current children cumulated memory: 20048 KiB
[startup+1.50034 s]
/proc/loadavg: 4.21 4.26 4.21 5/258 8217
/proc/meminfo: memFree=35362928/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=52396 memory=23580 CPUtime=1.48 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 4518 0 0 0 141 7 0 0 20 0 1 0 917594 53653504 5895 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 13099 5895 1760 992 0 4957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52396 KiB
Current children cumulated memory: 23580 KiB
[startup+3.11335 s]
/proc/loadavg: 4.21 4.26 4.21 5/258 8217
/proc/meminfo: memFree=35356356/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=53832 memory=25480 CPUtime=3.1 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 4875 0 0 0 300 10 0 0 20 0 1 0 917594 55123968 6370 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 13458 6370 1846 992 0 5316 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53832 KiB
Current children cumulated memory: 25480 KiB
[startup+6.30031 s]
/proc/loadavg: 4.20 4.25 4.21 5/258 8217
/proc/meminfo: memFree=35317656/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=57328 memory=28676 CPUtime=6.27 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 5666 0 0 0 605 22 0 0 20 0 1 0 917594 58703872 7169 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 14332 7169 1846 992 0 6190 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57328 KiB
Current children cumulated memory: 28676 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.25 4.20 5/258 8218
/proc/meminfo: memFree=35178292/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=59532 memory=32372 CPUtime=12.66 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 6612 0 0 0 1229 37 0 0 20 0 1 0 917594 60960768 8093 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 14883 8093 1846 992 0 6741 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59532 KiB
Current children cumulated memory: 32372 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.26 4.21 5/258 8220
/proc/meminfo: memFree=34925216/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=69580 memory=38428 CPUtime=25.43 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 8151 0 0 0 2489 54 0 0 20 0 1 0 917594 71249920 9607 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 17395 9607 1846 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.113 s]
/proc/loadavg: 4.14 4.23 4.20 4/252 8254
/proc/meminfo: memFree=43105236/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=92784 memory=60452 CPUtime=50.97 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 10537 0 0 0 4981 116 0 0 20 0 1 0 917594 95010816 15113 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 23196 15113 1846 992 0 15054 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92784 KiB
Current children cumulated memory: 60452 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/258 8283
/proc/meminfo: memFree=121863172/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=213224 memory=144724 CPUtime=101.99 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 17750 0 0 0 10006 193 0 0 20 0 1 0 917594 218341376 36181 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 53306 36181 1846 992 0 45164 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 213224 KiB
Current children cumulated memory: 144724 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.23 4.20 5/257 8298
/proc/meminfo: memFree=121285112/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=219440 memory=150920 CPUtime=161.81 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 19513 0 0 0 15868 313 0 0 20 0 1 0 917594 224706560 37730 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 54860 37730 1846 992 0 46718 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 219440 KiB
Current children cumulated memory: 150920 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/256 8309
/proc/meminfo: memFree=120658052/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=225916 memory=157156 CPUtime=221.62 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 21123 0 0 0 21739 423 0 0 20 0 1 0 917594 231337984 39289 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 56479 39289 1846 992 0 48337 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 225916 KiB
Current children cumulated memory: 157156 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/256 8320
/proc/meminfo: memFree=120139292/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=315228 memory=226176 CPUtime=281.43 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 23563 0 0 0 27620 523 0 0 20 0 1 0 917594 322793472 56544 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 78807 56544 1846 992 0 70665 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 315228 KiB
Current children cumulated memory: 226176 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/249 8333
/proc/meminfo: memFree=119634592/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=317228 memory=227960 CPUtime=341.24 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 24473 0 0 0 33493 631 0 0 20 0 1 0 917594 324841472 56990 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 79307 56990 1846 992 0 71165 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 317228 KiB
Current children cumulated memory: 227960 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/248 8344
/proc/meminfo: memFree=119074780/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=326080 memory=236408 CPUtime=401.05 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 26595 0 0 0 39391 714 0 0 20 0 1 0 917594 333905920 59102 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 81520 59102 1846 992 0 73378 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 236408 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.19 4.18 6/253 8729
/proc/meminfo: memFree=118647680/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=326444 memory=236936 CPUtime=460.87 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 26686 0 0 0 45272 815 0 0 20 0 1 0 917594 334278656 59234 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 81611 59234 1846 992 0 73469 0
################
# More data... #
################
Current children cumulated memory: 689792 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.29 4.24 5/246 10353
/proc/meminfo: memFree=120316536/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=770236 memory=689792 CPUtime=2853.98 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 62593 0 0 0 282030 3368 0 0 20 0 1 0 917594 788721664 172448 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 192559 172448 1846 992 0 184417 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 770236 KiB
Current children cumulated memory: 689792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/246 10364
/proc/meminfo: memFree=119999108/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=770864 memory=690028 CPUtime=2913.84 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 62898 0 0 0 287976 3408 0 0 20 0 1 0 917594 789364736 172507 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 192716 172507 1846 992 0 184574 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 770864 KiB
Current children cumulated memory: 690028 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.25 4.22 5/245 10375
/proc/meminfo: memFree=119721552/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=774304 memory=692792 CPUtime=2973.68 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 63970 0 0 0 293925 3443 0 0 20 0 1 0 917594 792887296 173198 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 193576 173198 1846 992 0 185434 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 774304 KiB
Current children cumulated memory: 692792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.22 4.21 5/245 10386
/proc/meminfo: memFree=119455688/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=777984 memory=696032 CPUtime=3033.53 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 64939 0 0 0 299867 3486 0 0 20 0 1 0 917594 796655616 174008 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194496 174008 1846 992 0 186354 0
Current children cumulated CPU time: 3033.53 s
Current children cumulated vsize: 777984 KiB
Current children cumulated memory: 696032 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.21 4.21 5/247 10400
/proc/meminfo: memFree=119155620/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=777156 memory=695120 CPUtime=3093.38 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 65531 0 0 0 305791 3547 0 0 20 0 1 0 917594 795807744 173780 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194289 173780 1846 992 0 186147 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 777156 KiB
Current children cumulated memory: 695120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.20 4.20 5/249 10415
/proc/meminfo: memFree=118842164/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=777296 memory=695192 CPUtime=3153.22 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 66297 0 0 0 311709 3613 0 0 20 0 1 0 917594 795951104 173798 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194324 173798 1846 992 0 186182 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 777296 KiB
Current children cumulated memory: 695192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.19 5/248 10427
/proc/meminfo: memFree=118531660/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=777972 memory=695808 CPUtime=3213.07 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 66613 0 0 0 317617 3690 0 0 20 0 1 0 917594 796643328 173952 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194493 173952 1846 992 0 186351 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 695808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.18 6/248 10437
/proc/meminfo: memFree=118205520/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=777972 memory=695932 CPUtime=3272.92 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 66866 0 0 0 323553 3739 0 0 20 0 1 0 917594 796643328 173983 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194493 173983 1846 992 0 186351 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 695932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/248 10448
/proc/meminfo: memFree=117927432/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=778924 memory=696660 CPUtime=3332.79 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 67310 0 0 0 329502 3777 0 0 20 0 1 0 917594 797618176 174165 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 194731 174165 1846 992 0 186589 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 778924 KiB
Current children cumulated memory: 696660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/248 10459
/proc/meminfo: memFree=117645656/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=781680 memory=699144 CPUtime=3392.64 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 68302 0 0 0 335456 3808 0 0 20 0 1 0 917594 800440320 174786 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 195420 174786 1846 992 0 187278 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 781680 KiB
Current children cumulated memory: 699144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/246 10471
/proc/meminfo: memFree=117384760/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=790684 memory=706188 CPUtime=3452.49 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 70942 0 0 0 341405 3844 0 0 20 0 1 0 917594 809660416 176547 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 197671 176547 1846 992 0 189529 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 790684 KiB
Current children cumulated memory: 706188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/245 10482
/proc/meminfo: memFree=117059144/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=792296 memory=707500 CPUtime=3512.34 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 71483 0 0 0 347339 3895 0 0 20 0 1 0 917594 811311104 176875 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 198074 176875 1846 992 0 189932 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 792296 KiB
Current children cumulated memory: 707500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.16 4.17 5/245 10494
/proc/meminfo: memFree=116815452/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=790740 memory=706036 CPUtime=3572.19 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 71862 0 0 0 353255 3964 0 0 20 0 1 0 917594 809717760 176509 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 197685 176509 1846 992 0 189543 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 790740 KiB
Current children cumulated memory: 706036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.16 4.14 4.17 5/245 10499
/proc/meminfo: memFree=116697292/131655788 swapFree=131071472/131071996
[pid=8216] ppid=8213 vsize=790716 memory=706016 CPUtime=3600.03 cores=5,7
/proc/8216/stat : 8216 (roundingsat) R 8213 8216 5666 0 -1 4194304 72470 0 0 0 356002 4001 0 0 20 0 1 0 917594 809693184 176504 134679101440 4194304 8255733 140728980845408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 18358272 140728980849502 140728980849764 140728980849764 140728980856777 0
/proc/8216/statm: 197679 176504 1846 992 0 189537 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 790716 KiB
Current children cumulated memory: 706016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.24 s]
# the end of solver process 8216 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.02 s, system=40.0198 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.24
CPU time (s): 3600.04
CPU user time (s): 3560.02
CPU system time (s): 40.0198
CPU usage (%): 99.7177
Max. virtual memory (cumulated for all children) (KiB): 792296
Max. memory (cumulated for all children) (KiB): 707500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.02
system time used= 40.0198
maximum resident set size= 707500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9610824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 484
involuntary context switches= 4699
# summary of solver processes directly reported to runsolver:
# pid: 8216
# total CPU time (s): 3600.04
# total CPU user time (s): 3560.02
# total CPU system time (s): 40.0198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.335 second user time and 33.7715 second system time
The end
Begin job on nodeC012 at 2024-07-30 15:17:55 IDJOB=4463060 IDBENCH=158344 IDSOLVER=3089 FILE ID=nodeC012/4463060-1722345475 RUNJOBID= nodeC012-1722340763-5679 SLURM_JOB_ID= 8248992 Free space on /tmp= 723736 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-4463060-1722345475/watcher-4463060-1722345475 -o /tmp/evaluation-result-4463060-1722345475/solver-4463060-1722345475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5679 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463060-1722345475 --lp-cut-gomory=0 HOME/instance-4463060-1722345475.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=2076811527 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.323 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3635.232 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.441 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.304 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3625.419 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3616.365 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.405 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.207 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 35398196 kB MemAvailable: 119628716 kB Buffers: 42044 kB Cached: 84931752 kB SwapCached: 48 kB Active: 181088 kB Inactive: 95443772 kB Active(anon): 1440 kB Inactive(anon): 10670620 kB Active(file): 179648 kB Inactive(file): 84773152 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 55396 kB Writeback: 0 kB AnonPages: 10650444 kB Mapped: 97424 kB Shmem: 21248 kB KReclaimable: 235840 kB Slab: 315088 kB SReclaimable: 235840 kB SUnreclaim: 79248 kB KernelStack: 4076 kB PageTables: 30528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 12428728 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 6916096 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: 146248 kB DirectMap2M: 7098368 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723756 MiB End job on nodeC012 at 2024-07-30 16:18:05