| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.07 | 3611.8 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb |
| MD5SUM | d644f29675162790fbe3eaac4bda72a3 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 189 |
| Best CPU time to get the best result obtained on this benchmark | 2.83158 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27553 |
| Number of constraints which are cardinality constraints (but not clauses) | 247 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 20 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 211 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 160 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 687 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.09 c #variables 9632 #constraints 29620 32.70/32.88 c bounds - >= 0 @ 0.065508 32.70/32.88 c #Conflicts: 1000 | #Constraints: 30619 32.70/32.88 c #Conflicts: 2000 | #Constraints: 31619 32.70/32.88 c INPROCESSING 32.70/32.88 c GARBAGE COLLECT 32.70/32.88 c #Conflicts: 3000 | #Constraints: 31648 32.70/32.88 c bounds - >= 10 @ 3.44651 32.70/32.88 c bounds - >= 20 @ 3.44684 32.70/32.88 c bounds - >= 30 @ 3.44868 32.70/32.88 c bounds - >= 40 @ 3.459 32.70/32.88 c #Conflicts: 4000 | #Constraints: 32669 32.70/32.88 c INPROCESSING 32.70/32.88 c GARBAGE COLLECT 32.70/32.88 c bounds 211 >= 40 @ 3.66141 32.70/32.88 c bounds 206 >= 40 @ 3.66605 32.70/32.88 c bounds 204 >= 40 @ 3.6758 32.70/32.88 c bounds 191 >= 40 @ 3.68476 32.70/32.88 c bounds 189 >= 40 @ 3.68987 32.70/32.88 c #Conflicts: 5000 | #Constraints: 32088 32.70/32.88 c bounds 189 >= 45 @ 3.71125 32.70/32.88 c #Conflicts: 6000 | #Constraints: 33091 32.70/32.88 c INPROCESSING 32.70/32.88 c GARBAGE COLLECT 32.70/32.88 c #Conflicts: 7000 | #Constraints: 32107 32.70/32.88 c #Conflicts: 8000 | #Constraints: 33107 32.70/32.88 c bounds 189 >= 50 @ 10.7691 32.70/32.88 c #Conflicts: 9000 | #Constraints: 34116 32.70/32.88 c INPROCESSING 32.70/32.88 c GARBAGE COLLECT 32.70/32.88 c rational objective 50 53.74/53.92 c #Conflicts: 10000 | #Constraints: 32892 53.74/53.92 c #Conflicts: 11000 | #Constraints: 33892 53.74/53.92 c #Conflicts: 12000 | #Constraints: 34892 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 13000 | #Constraints: 33311 53.74/53.92 c #Conflicts: 14000 | #Constraints: 34311 53.74/53.92 c #Conflicts: 15000 | #Constraints: 35311 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 16000 | #Constraints: 33527 53.74/53.92 c bounds 189 >= 55 @ 32.9437 53.74/53.92 c #Conflicts: 17000 | #Constraints: 34533 53.74/53.92 c #Conflicts: 18000 | #Constraints: 35533 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 19000 | #Constraints: 33516 53.74/53.92 c #Conflicts: 20000 | #Constraints: 34516 53.74/53.92 c #Conflicts: 21000 | #Constraints: 35516 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 22000 | #Constraints: 33326 53.74/53.92 c #Conflicts: 23000 | #Constraints: 34326 53.74/53.92 c #Conflicts: 24000 | #Constraints: 35326 53.74/53.92 c #Conflicts: 25000 | #Constraints: 36326 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 26000 | #Constraints: 33941 53.74/53.92 c #Conflicts: 27000 | #Constraints: 34941 53.74/53.92 c #Conflicts: 28000 | #Constraints: 35941 53.74/53.92 c #Conflicts: 29000 | #Constraints: 36941 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 30000 | #Constraints: 34340 53.74/53.92 c #Conflicts: 31000 | #Constraints: 35340 53.74/53.92 c #Conflicts: 32000 | #Constraints: 36340 53.74/53.92 c #Conflicts: 33000 | #Constraints: 37340 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c #Conflicts: 34000 | #Constraints: 34546 53.74/53.92 c #Conflicts: 35000 | #Constraints: 35546 53.74/53.92 c #Conflicts: 36000 | #Constraints: 36546 53.74/53.92 c #Conflicts: 37000 | #Constraints: 37546 53.74/53.92 c INPROCESSING 53.74/53.92 c GARBAGE COLLECT 53.74/53.92 c rational objective 55 79.48/79.73 c #Conflicts: 38000 | #Constraints: 34647 79.48/79.73 c #Conflicts: 39000 | #Constraints: 35647 79.48/79.73 c #Conflicts: 40000 | #Constraints: 36647 79.48/79.73 c #Conflicts: 41000 | #Constraints: 37647 79.48/79.73 c INPROCESSING 79.48/79.73 c GARBAGE COLLECT 79.48/79.73 c rational objective 55 97.74/98.09 c #Conflicts: 42000 | #Constraints: 34459 97.74/98.09 c #Conflicts: 43000 | #Constraints: 35459 97.74/98.09 c #Conflicts: 44000 | #Constraints: 36459 97.74/98.09 c #Conflicts: 45000 | #Constraints: 37459 97.74/98.09 c #Conflicts: 46000 | #Constraints: 38459 97.74/98.09 c INPROCESSING 97.74/98.09 c GARBAGE COLLECT 97.74/98.09 c #Conflicts: 47000 | #Constraints: 35014 97.74/98.09 c #Conflicts: 48000 | #Constraints: 36014 97.74/98.09 c #Conflicts: 49000 | #Constraints: 37014 97.74/98.09 c #Conflicts: 50000 | #Constraints: 38014 97.74/98.09 c #Conflicts: 51000 | #Constraints: 39014 97.74/98.09 c INPROCESSING 97.74/98.09 c GARBAGE COLLECT 97.74/98.09 c #Conflicts: 52000 | #Constraints: 35388 97.74/98.09 c #Conflicts: 53000 | #Constraints: 36388 97.74/98.09 c #Conflicts: 54000 | #Constraints: 37388 97.74/98.09 c #Conflicts: 55000 | #Constraints: 38388 97.74/98.09 c #Conflicts: 56000 | #Constraints: 39388 97.74/98.09 c INPROCESSING 97.74/98.09 c GARBAGE COLLECT 97.74/98.09 c #Conflicts: 57000 | #Constraints: 35567 97.74/98.09 c #Conflicts: 58000 | #Constraints: 36567 97.74/98.09 c #Conflicts: 59000 | #Constraints: 37567 97.74/98.09 c #Conflicts: 60000 | #Constraints: 38567 97.74/98.09 c #Conflicts: 61000 | #Constraints: 39567 97.74/98.09 c INPROCESSING 97.74/98.09 c GARBAGE COLLECT 97.74/98.09 c rational objective 55 126.85/127.24 c #Conflicts: 62000 | #Constraints: 35662 126.85/127.24 c #Conflicts: 63000 | #Constraints: 36662 126.85/127.24 c #Conflicts: 64000 | #Constraints: 37662 126.85/127.24 c #Conflicts: 65000 | #Constraints: 38662 126.85/127.24 c #Conflicts: 66000 | #Constraints: 39662 126.85/127.24 c INPROCESSING 126.85/127.24 c GARBAGE COLLECT 126.85/127.24 c rational objective 55 162.96/163.41 c #Conflicts: 67000 | #Constraints: 35463 162.96/163.41 c #Conflicts: 68000 | #Constraints: 36463 162.96/163.41 c #Conflicts: 69000 | #Constraints: 37463 162.96/163.41 c #Conflicts: 70000 | #Constraints: 38463 162.96/163.41 c #Conflicts: 71000 | #Constraints: 39463 162.96/163.41 c #Conflicts: 72000 | #Constraints: 40463 162.96/163.41 c INPROCESSING 162.96/163.41 c GARBAGE COLLECT 162.96/163.41 c #Conflicts: 73000 | #Constraints: 36010 162.96/163.41 c #Conflicts: 74000 | #Constraints: 37010 162.96/163.41 c #Conflicts: 75000 | #Constraints: 38010 162.96/163.41 c #Conflicts: 76000 | #Constraints: 39010 162.96/163.41 c #Conflicts: 77000 | #Constraints: 40010 162.96/163.41 c #Conflicts: 78000 | #Constraints: 41010 162.96/163.41 c INPROCESSING 162.96/163.41 c GARBAGE COLLECT 162.96/163.41 c #Conflicts: 79000 | #Constraints: 36391 162.96/163.41 c #Conflicts: 80000 | #Constraints: 37391 162.96/163.41 c #Conflicts: 81000 | #Constraints: 38391 162.96/163.41 c #Conflicts: 82000 | #Constraints: 39391 162.96/163.41 c #Conflicts: 83000 | #Constraints: 40391 162.96/163.41 c #Conflicts: 84000 | #Constraints: 41391 162.96/163.41 c INPROCESSING 162.96/163.41 c GARBAGE COLLECT 162.96/163.41 c #Conflicts: 85000 | #Constraints: 36568 162.96/163.41 c bounds 189 >= 60 @ 144.687 162.96/163.41 c #Conflicts: 86000 | #Constraints: 37580 162.96/163.41 c #Conflicts: 87000 | #Constraints: 38580 162.96/163.41 c #Conflicts: 88000 | #Constraints: 39580 162.96/163.41 c #Conflicts: 89000 | #Constraints: 40580 162.96/163.41 c #Conflicts: 90000 | #Constraints: 41580 162.96/163.41 c INPROCESSING 162.96/163.41 c GARBAGE COLLECT 162.96/163.41 c rational objective 60 185.10/185.61 c #Conflicts: 91000 | #Constraints: 36663 185.10/185.61 c #Conflicts: 92000 | #Constraints: 37663 185.10/185.61 c #Conflicts: 93000 | #Constraints: 38663 185.10/185.61 c #Conflicts: 94000 | #Constraints: 39663 185.10/185.61 c #Conflicts: 95000 | #Constraints: 40663 185.10/185.61 c #Conflicts: 96000 | #Constraints: 41663 185.10/185.61 c INPROCESSING 185.10/185.61 c GARBAGE COLLECT 185.10/185.61 c #Conflicts: 97000 | #Constraints: 36414 185.10/185.61 c #Conflicts: 98000 | #Constraints: 37414 185.10/185.61 c #Conflicts: 99000 | #Constraints: 38414 185.10/185.61 c #Conflicts: 100000 | #Constraints: 39414 185.10/185.61 c #Conflicts: 101000 | #Constraints: 40414 185.10/185.61 c #Conflicts: 102000 | #Constraints: 41414 185.10/185.61 c #Conflicts: 103000 | #Constraints: 42414 185.10/185.61 c INPROCESSING 185.10/185.61 c GARBAGE COLLECT 185.10/185.61 c #Conflicts: 104000 | #Constraints: 36998 185.10/185.61 c #Conflicts: 105000 | #Constraints: 37998 185.10/185.61 c #Conflicts: 106000 | #Constraints: 38998 185.10/185.61 c #Conflicts: 107000 | #Constraints: 39998 185.10/185.61 c #Conflicts: 108000 | #Constraints: 40998 185.10/185.61 c #Conflicts: 109000 | #Constraints: 41998 185.10/185.61 c #Conflicts: 110000 | #Constraints: 42998 185.10/185.61 c INPROCESSING 185.10/185.61 c GARBAGE COLLECT 185.10/185.61 c #Conflicts: 111000 | #Constraints: 37380 185.10/185.61 c #Conflicts: 112000 | #Constraints: 38380 185.10/185.61 c #Conflicts: 113000 | #Constraints: 39380 185.10/185.61 c #Conflicts: 114000 | #Constraints: 40380 185.10/185.61 c #Conflicts: 115000 | #Constraints: 41380 185.10/185.61 c #Conflicts: 116000 | #Constraints: 42380 185.10/185.61 c #Conflicts: 117000 | #Constraints: 43380 185.10/185.61 c INPROCESSING 185.10/185.61 c GARBAGE COLLECT 185.10/185.61 c rational objective 60 210.64/211.22 c #Conflicts: 118000 | #Constraints: 37660 210.64/211.22 c #Conflicts: 119000 | #Constraints: 38660 210.64/211.22 c #Conflicts: 120000 | #Constraints: 39660 210.64/211.22 c #Conflicts: 121000 | #Constraints: 40660 210.64/211.22 c #Conflicts: 122000 | #Constraints: 41660 210.64/211.22 c #Conflicts: 123000 | #Constraints: 42660 210.64/211.22 c #Conflicts: 124000 | #Constraints: 43660 210.64/211.22 c INPROCESSING 210.64/211.22 c GARBAGE COLLECT 210.64/211.22 c rational objective 60 234.78/235.44 c #Conflicts: 125000 | #Constraints: 37673 234.78/235.44 c #Conflicts: 126000 | #Constraints: 38673 234.78/235.44 c bounds 189 >= 65 @ 209.308 234.78/235.44 c #Conflicts: 127000 | #Constraints: 39685 234.78/235.44 c #Conflicts: 128000 | #Constraints: 40685 234.78/235.44 c #Conflicts: 129000 | #Constraints: 41685 234.78/235.44 c #Conflicts: 130000 | #Constraints: 42685 234.78/235.44 c #Conflicts: 131000 | #Constraints: 43685 234.78/235.44 c INPROCESSING 234.78/235.44 c GARBAGE COLLECT 234.78/235.44 c rational objective 65 252.23/253.00 c #Conflicts: 132000 | #Constraints: 37466 252.23/253.00 c #Conflicts: 133000 | #Constraints: 38466 252.23/253.00 c #Conflicts: 134000 | #Constraints: 39466 252.23/253.00 c #Conflicts: 135000 | #Constraints: 40466 252.23/253.00 c #Conflicts: 136000 | #Constraints: 41466 252.23/253.00 c #Conflicts: 137000 | #Constraints: 42466 252.23/253.00 c #Conflicts: 138000 | #Constraints: 43466 252.23/253.00 c #Conflicts: 139000 | #Constraints: 44466 252.23/253.00 c INPROCESSING 252.23/253.00 c GARBAGE COLLECT 252.23/253.00 c #Conflicts: 140000 | #Constraints: 38020 252.23/253.00 c #Conflicts: 141000 | #Constraints: 39020 252.23/253.00 c #Conflicts: 142000 | #Constraints: 40020 252.23/253.00 c #Conflicts: 143000 | #Constraints: 41020 252.23/253.00 c #Conflicts: 144000 | #Constraints: 42020 252.23/253.00 c #Conflicts: 145000 | #Constraints: 43020 252.23/253.00 c #Conflicts: 146000 | #Constraints: 44020 252.23/253.00 c #Conflicts: 147000 | #Constraints: 45020 252.23/253.00 c INPROCESSING 252.23/253.00 c GARBAGE COLLECT 252.23/253.00 c #Conflicts: 148000 | #Constraints: 38401 252.23/253.00 c #Conflicts: 149000 | #Constraints: 39401 252.23/253.00 c #Conflicts: 150000 | #Constraints: 40401 252.23/253.00 c #Conflicts: 151000 | #Constraints: 41401 252.23/253.00 c #Conflicts: 152000 | #Constraints: 42401 252.23/253.00 c #Conflicts: 153000 | #Constraints: 43401 252.23/253.00 c #Conflicts: 154000 | #Constraints: 44401 252.23/253.00 c #Conflicts: 155000 | #Constraints: 45401 252.23/253.00 c INPROCESSING 252.23/253.00 c GARBAGE COLLECT 252.23/253.00 c #Conflicts: 156000 | #Constraints: 38590 252.23/253.00 c #Conflicts: 157000 | #Constraints: 39590 252.23/253.00 c #Conflicts: 158000 | #Constraints: 40590 252.23/253.00 c #Conflicts: 159000 | #Constraints: 41590 252.23/253.00 c #Conflicts: 160000 | #Constraints: 42590 252.23/253.00 c #Conflicts: 161000 | #Constraints: 43590 252.23/253.00 c #Conflicts: 162000 | #Constraints: 44590 252.23/253.00 c #Conflicts: 163000 | #Constraints: 45590 252.23/253.00 c INPROCESSING 252.23/253.00 c GARBAGE COLLECT 252.23/253.00 c rational objective 65 274.07/274.82 c #Conflicts: 164000 | #Constraints: 38664 274.07/274.82 c #Conflicts: 165000 | #Constraints: 39664 274.07/274.82 c #Conflicts: 166000 | #Constraints: 40664 274.07/274.82 c #Conflicts: 167000 | #Constraints: 41664 274.07/274.82 c #Conflicts: 168000 | #Constraints: 42664 274.07/274.82 c #Conflicts: 169000 | #Constraints: 43664 274.07/274.82 c #Conflicts: 170000 | #Constraints: 44664 274.07/274.82 c #Conflicts: 171000 | #Constraints: 45664 274.07/274.82 c INPROCESSING 274.07/274.82 c GARBAGE COLLECT 274.07/274.82 c rational objective 65 300.31/301.18 c #Conflicts: 172000 | #Constraints: 38474 300.31/301.18 c #Conflicts: 173000 | #Constraints: 39474 300.31/301.18 c #Conflicts: 174000 | #Constraints: 40474 300.31/301.18 c #Conflicts: 175000 | #Constraints: 41474 300.31/301.18 c #Conflicts: 176000 | #Constraints: 42474 300.31/301.18 c #Conflicts: 177000 | #Constraints: 43474 300.31/301.18 c #Conflicts: 178000 | #Constraints: 44474 300.31/301.18 c #Conflicts: 179000 | #Constraints: 45474 300.31/301.18 c #Conflicts: 180000 | #Constraints: 46474 300.31/301.18 c INPROCESSING 300.31/301.18 c GARBAGE COLLECT 300.31/301.18 c rational objective 65 319.76/320.63 c #Conflicts: 181000 | #Constraints: 39075 319.76/320.63 c #Conflicts: 182000 | #Constraints: 40075 319.76/320.63 c #Conflicts: 183000 | #Constraints: 41075 319.76/320.63 c #Conflicts: 184000 | #Constraints: 42075 319.76/320.63 c #Conflicts: 185000 | #Constraints: 43075 319.76/320.63 c #Conflicts: 186000 | #Constraints: 44075 319.76/320.63 c #Conflicts: 187000 | #Constraints: 45075 319.76/320.63 c #Conflicts: 188000 | #Constraints: 46075 319.76/320.63 c #Conflicts: 189000 | #Constraints: 47075 319.76/320.63 c INPROCESSING 319.76/320.63 c GARBAGE COLLECT 319.76/320.63 c #Conflicts: 190000 | #Constraints: 39431 319.76/320.63 c #Conflicts: 191000 | #Constraints: 40431 319.76/320.63 c #Conflicts: 192000 | #Constraints: 41431 319.76/320.63 c #Conflicts: 193000 | #Constraints: 42431 319.76/320.63 c #Conflicts: 194000 | #Constraints: 43431 319.76/320.63 c #Conflicts: 195000 | #Constraints: 44431 319.76/320.63 c #Conflicts: 196000 | #Constraints: 45431 319.76/320.63 c #Conflicts: 197000 | #Constraints: 46431 319.76/320.63 c #Conflicts: 198000 | #Constraints: 47431 319.76/320.63 c INPROCESSING 319.76/320.63 c GARBAGE COLLECT 319.76/320.63 c rational objective 65 342.00/342.97 c #Conflicts: 199000 | #Constraints: 39673 342.00/342.97 c #Conflicts: 200000 | #Constraints: 40673 342.00/342.97 c #Conflicts: 201000 | #Constraints: 41673 342.00/342.97 c #Conflicts: 202000 | #Constraints: 42673 342.00/342.97 c #Conflicts: 203000 | #Constraints: 43673 342.00/342.97 c #Conflicts: 204000 | #Constraints: 44673 342.00/342.97 c #Conflicts: 205000 | #Constraints: 45673 342.00/342.97 c #Conflicts: 206000 | #Constraints: 46673 342.00/342.97 c #Conflicts: 207000 | #Constraints: 47673 342.00/342.97 c INPROCESSING 342.00/342.97 c GARBAGE COLLECT 342.00/342.97 c rational objective 65 363.55/364.55 c #Conflicts: 208000 | #Constraints: 39674 363.55/364.55 c #Conflicts: 209000 | #Constraints: 40674 363.55/364.55 c #Conflicts: 210000 | #Constraints: 41674 363.55/364.55 c #Conflicts: 211000 | #Constraints: 42674 363.55/364.55 c #Conflicts: 212000 | #Constraints: 43674 363.55/364.55 c #Conflicts: 213000 | #Constraints: 44674 363.55/364.55 c #Conflicts: 214000 | #Constraints: 45674 363.55/364.55 c #Conflicts: 215000 | #Constraints: 46674 363.55/364.55 c #Conflicts: 216000 | #Constraints: 47674 363.55/364.55 c INPROCESSING 363.55/364.55 c GARBAGE COLLECT 363.55/364.55 c rational objective 65 390.47/391.57 c #Conflicts: 217000 | #Constraints: 39498 390.47/391.57 c #Conflicts: 218000 | #Constraints: 40498 390.47/391.57 c #Conflicts: 219000 | #Constraints: 41498 390.47/391.57 c #Conflicts: 220000 | #Constraints: 42498 390.47/391.57 c #Conflicts: 221000 | #Constraints: 43498 390.47/391.57 c #Conflicts: 222000 | #Constraints: 44498 390.47/391.57 c #Conflicts: 223000 | #Constraints: 45498 390.47/391.57 c #Conflicts: 224000 | #Constraints: 46498 390.47/391.57 c #Conflicts: 225000 | #Constraints: 47498 390.47/391.57 c #Conflicts: 226000 | #Constraints: 48498 390.47/391.57 c INPROCESSING 390.47/391.57 c GARBAGE COLLECT 390.47/391.57 c rational objective 65 418.61/419.78 c #Conflicts: 227000 | #Constraints: 40090 418.61/419.78 c #Conflicts: 228000 | #Constraints: 41090 418.61/419.78 c #Conflicts: 229000 | #Constraints: 42090 418.61/419.78 c #Conflicts: 230000 | #Constraints: 43090 418.61/419.78 c #Conflicts: 231000 | #Constraints: 44090 418.61/419.78 c #Conflicts: 232000 | #Constraints: 45090 418.61/419.78 c #Conflicts: 233000 | #Constraints: 46090 418.61/419.78 c #Conflicts: 234000 | #Constraints: 47090 418.61/419.78 c #Conflicts: 235000 | #Constraints: 48090 418.61/419.78 c #Conflicts: 236000 | #Constraints: 49090 418.61/419.78 c INPROCESSING 418.61/419.78 c GARBAGE COLLECT 418.61/419.78 c #Conflicts: 237000 | #Constraints: 40438 418.61/419.78 c #Conflicts: 238000 | #Constraints: 41438 418.61/419.78 c #Conflicts: 239000 | #Constraints: 42438 418.61/419.78 c #Conflicts: 240000 | #Constraints: 43438 418.61/419.78 c #Conflicts: 241000 | #Constraints: 44438 418.61/419.78 c #Conflicts: 242000 | #Constraints: 45438 418.61/419.78 c #Conflicts: 243000 | #Constraints: 46438 418.61/419.78 c #Conflicts: 244000 | #Constraints: 47438 418.61/419.78 c #Conflicts: 245000 | #Constraints: 48438 418.61/419.78 c #Conflicts: 246000 | #Constraints: 49438 418.61/419.78 c INPROCESSING 418.61/419.78 c GARBAGE COLLECT 418.61/419.78 c rational objective 65 443.94/445.19 c #Conflicts: 247000 | #Constraints: 40644 443.94/445.19 c #Conflicts: 248000 | #Constraints: 41644 443.94/445.19 c #Conflicts: 249000 | #Constraints: 42644 443.94/445.19 c #Conflicts: 250000 | #Constraints: 43644 443.94/445.19 c #Conflicts: 251000 | #Constraints: 44644 443.94/445.19 c #Conflicts: 252000 | #Constraints: 45644 443.94/445.19 c #Conflicts: 253000 | #Constraints: 46644 443.94/445.19 c #Conflicts: 254000 | #Constraints: 47644 443.94/445.19 c #Conflicts: 255000 | #Constraints: 48644 443.94/445.19 c #Conflicts: 256000 | #Constraints: 49644 443.94/445.19 c INPROCESSING 443.94/445.19 c GARBAGE COLLECT 443.94/445.19 c rational objective 65 481.53/482.89 c #Conflicts: 257000 | #Constraints: 40661 481.53/482.89 c #Conflicts: 258000 | #Constraints: 41661 481.53/482.89 c #Conflicts: 259000 | #Constraints: 42661 481.53/482.89 c #Conflicts: 260000 | #Constraints: 43661 481.53/482.89 c #Conflicts: 261000 | #Constraints: 44661 481.53/482.89 c #Conflicts: 262000 | #Constraints: 45661 481.53/482.89 c #Conflicts: 263000 | #Constraints: 46661 481.53/482.89 c #Conflicts: 264000 | #Constraints: 47661 481.53/482.89 c #Conflicts: 265000 | #Constraints: 48661 481.53/482.89 c #Conflicts: 266000 | #Constraints: 49661 481.53/482.89 c INPROCESSING 481.53/482.89 c GARBAGE COLLECT 481.53/482.89 c #Conflicts: 267000 | #Constraints: 40428 481.53/482.89 c #Conflicts: 268000 | #Constraints: 41428 481.53/482.89 c #Conflicts: 269000 | #Constraints: 42428 481.53/482.89 c #Conflicts: 270000 | #Constraints: 43428 481.53/482.89 c #Conflicts: 271000 | #Constraints: 44428 481.53/482.89 c #Conflicts: 272000 | #Constraints: 45428 481.53/482.89 c #Conflicts: 273000 | #Constraints: 46428 481.53/482.89 c #Conflicts: 274000 | #Constraints: 47428 481.53/482.89 c #Conflicts: 275000 | #Constraints: 48428 481.53/482.89 c #Conflicts: 276000 | #Constraints: 49428 481.53/482.89 c #Conflicts: 277000 | #Constraints: 50428 481.53/482.89 c INPROCESSING 481.53/482.89 c GARBAGE COLLECT 481.53/482.89 c #Conflicts: 278000 | #Constraints: 41004 481.53/482.89 c #Conflicts: 279000 | #Constraints: 42004 481.53/482.89 c #Conflicts: 280000 | #Constraints: 43004 481.53/482.89 c #Conflicts: 281000 | #Constraints: 44004 481.53/482.89 c #Conflicts: 282000 | #Constraints: 45004 481.53/482.89 c #Conflicts: 283000 | #Constraints: 46004 481.53/482.89 c #Conflicts: 284000 | #Constraints: 47004 481.53/482.89 c #Conflicts: 285000 | #Constraints: 48004 481.53/482.89 c #Conflicts: 286000 | #Constraints: 49004 481.53/482.89 c #Conflicts: 287000 | #Constraints: 50004 481.53/482.89 c #Conflicts: 288000 | #Constraints: 51004 481.53/482.89 c INPROCESSING 481.53/482.89 c GARBAGE COLLECT 481.53/482.89 c rational objective 65 501.89/503.26 c #Conflicts: 289000 | #Constraints: 41463 501.89/503.26 c #Conflicts: 290000 | #Constraints: 42463 501.89/503.26 c #Conflicts: 291000 | #Constraints: 43463 501.89/503.26 c #Conflicts: 292000 | #Constraints: 44463 501.89/503.26 c #Conflicts: 293000 | #Constraints: 45463 501.89/503.26 c #Conflicts: 294000 | #Constraints: 46463 501.89/503.26 c #Conflicts: 295000 | #Constraints: 47463 501.89/503.26 c #Conflicts: 296000 | #Constraints: 48463 501.89/503.26 c #Conflicts: 297000 | #Constraints: 49463 501.89/503.26 c #Conflicts: 298000 | #Constraints: 50463 501.89/503.26 c #Conflicts: 299000 | #Constraints: 51463 501.89/503.26 c INPROCESSING 501.89/503.26 c GARBAGE COLLECT 501.89/503.26 c rational objective 65 521.13/522.55 c #Conflicts: 300000 | #Constraints: 41682 521.13/522.55 c #Conflicts: 301000 | #Constraints: 42682 521.13/522.55 c #Conflicts: 302000 | #Constraints: 43682 521.13/522.55 c #Conflicts: 303000 | #Constraints: 44682 521.13/522.55 c #Conflicts: 304000 | #Constraints: 45682 521.13/522.55 c #Conflicts: 305000 | #Constraints: 46682 521.13/522.55 c #Conflicts: 306000 | #Constraints: 47682 521.13/522.55 c #Conflicts: 307000 | #Constraints: 48682 521.13/522.55 c #Conflicts: 308000 | #Constraints: 49682 521.13/522.55 c #Conflicts: 309000 | #Constraints: 50682 521.13/522.55 c #Conflicts: 310000 | #Constraints: 51682 521.13/522.55 c INPROCESSING 521.13/522.55 c GARBAGE COLLECT 521.13/522.55 c rational objective 65 551.36/552.84 c #Conflicts: 311000 | #Constraints: 41671 551.36/552.84 c #Conflicts: 312000 | #Constraints: 42671 551.36/552.84 c #Conflicts: 313000 | #Constraints: 43671 551.36/552.84 c #Conflicts: 314000 | #Constraints: 44671 551.36/552.84 c #Conflicts: 315000 | #Constraints: 45671 551.36/552.84 c #Conflicts: 316000 | #Constraints: 46671 551.36/552.84 c #Conflicts: 317000 | #Constraints: 47671 551.36/552.84 c #Conflicts: 318000 | #Constraints: 48671 551.36/552.84 c #Conflicts: 319000 | #Constraints: 49671 551.36/552.84 c #Conflicts: 320000 | #Constraints: 50671 551.36/552.84 c #Conflicts: 321000 | #Constraints: 51671 551.36/552.84 c INPROCESSING 551.36/552.84 c GARBAGE COLLECT 551.36/552.84 c rational objective 65 576.60/578.12 c #Conflicts: 322000 | #Constraints: 41495 576.60/578.12 c #Conflicts: 323000 | #Constraints: 42495 576.60/578.12 c #Conflicts: 324000 | #Constraints: 43495 576.60/578.12 c #Conflicts: 325000 | #Constraints: 44495 576.60/578.12 c #Conflicts: 326000 | #Constraints: 45495 576.60/578.12 c #Conflicts: 327000 | #Constraints: 46495 576.60/578.12 c #Conflicts: 328000 | #Constraints: 47495 576.60/578.12 c #Conflicts: 329000 | #Constraints: 48495 576.60/578.12 c #Conflicts: 330000 | #Constraints: 49495 576.60/578.12 c #Conflicts: 331000 | #Constraints: 50495 576.60/578.12 c #Conflicts: 332000 | #Constraints: 51495 576.60/578.12 c #Conflicts: 333000 | #Constraints: 52495 576.60/578.12 c INPROCESSING 576.60/578.12 c GARBAGE COLLECT 576.60/578.12 c rational objective 65 601.53/603.16 c #Conflicts: 334000 | #Constraints: 42094 601.53/603.16 c #Conflicts: 335000 | #Constraints: 43094 601.53/603.16 c #Conflicts: 336000 | #Constraints: 44094 601.53/603.16 c #Conflicts: 337000 | #Constraints: 45094 601.53/603.16 c #Conflicts: 338000 | #Constraints: 46094 601.53/603.16 c #Conflicts: 339000 | #Constraints: 47094 601.53/603.16 c #Conflicts: 340000 | #Constraints: 48094 601.53/603.16 c #Conflicts: 341000 | #Constraints: 49094 601.53/603.16 c #Conflicts: 342000 | #Constraints: 50094 601.53/603.16 c #Conflicts: 343000 | #Constraints: 51094 601.53/603.16 c #Conflicts: 344000 | #Constraints: 52094 601.53/603.16 c #Conflicts: 345000 | #Constraints: 53094 601.53/603.16 c INPROCESSING 601.53/603.16 c GARBAGE COLLECT 601.53/603.16 c rational objective 65 625.87/627.58 c #Conflicts: 346000 | #Constraints: 42513 625.87/627.58 c #Conflicts: 347000 | #Constraints: 43513 625.87/627.58 c #Conflicts: 348000 | #Constraints: 44513 625.87/627.58 c #Conflicts: 349000 | #Constraints: 45513 625.87/627.58 c #Conflicts: 350000 | #Constraints: 46513 625.87/627.58 c #Conflicts: 351000 | #Constraints: 47513 625.87/627.58 c #Conflicts: 352000 | #Constraints: 48513 625.87/627.58 c #Conflicts: 353000 | #Constraints: 49513 625.87/627.58 c #Conflicts: 354000 | #Constraints: 50513 625.87/627.58 c #Conflicts: 355000 | #Constraints: 51513 625.87/627.58 c #Conflicts: 356000 | #Constraints: 52513 625.87/627.58 c #Conflicts: 357000 | #Constraints: 53513 625.87/627.58 c INPROCESSING 625.87/627.58 c GARBAGE COLLECT 625.87/627.58 c rational objective 65 653.39/655.18 c #Conflicts: 358000 | #Constraints: 42698 653.39/655.18 c #Conflicts: 359000 | #Constraints: 43698 653.39/655.18 c #Conflicts: 360000 | #Constraints: 44698 653.39/655.18 c #Conflicts: 361000 | #Constraints: 45698 653.39/655.18 c #Conflicts: 362000 | #Constraints: 46698 653.39/655.18 c #Conflicts: 363000 | #Constraints: 47698 653.39/655.18 c #Conflicts: 364000 | #Constraints: 48698 653.39/655.18 c #Conflicts: 365000 | #Constraints: 49698 653.39/655.18 c #Conflicts: 366000 | #Constraints: 50698 653.39/655.18 c #Conflicts: 367000 | #Constraints: 51698 653.39/655.18 c #Conflicts: 368000 | #Constraints: 52698 653.39/655.18 c #Conflicts: 369000 | #Constraints: 53698 653.39/655.18 c INPROCESSING 653.39/655.18 c GARBAGE COLLECT 653.39/655.18 c rational objective 65 679.23/681.02 c #Conflicts: 370000 | #Constraints: 42686 679.23/681.02 c #Conflicts: 371000 | #Constraints: 43686 679.23/681.02 c #Conflicts: 372000 | #Constraints: 44686 679.23/681.02 c #Conflicts: 373000 | #Constraints: 45686 679.23/681.02 c #Conflicts: 374000 | #Constraints: 46686 679.23/681.02 c #Conflicts: 375000 | #Constraints: 47686 679.23/681.02 c #Conflicts: 376000 | #Constraints: 48686 679.23/681.02 c #Conflicts: 377000 | #Constraints: 49686 679.23/681.02 c #Conflicts: 378000 | #Constraints: 50686 679.23/681.02 c #Conflicts: 379000 | #Constraints: 51686 679.23/681.02 c #Conflicts: 380000 | #Constraints: 52686 679.23/681.02 c #Conflicts: 381000 | #Constraints: 53686 679.23/681.02 c INPROCESSING 679.23/681.02 c GARBAGE COLLECT 679.23/681.02 c #Conflicts: 382000 | #Constraints: 42438 679.23/681.02 c #Conflicts: 383000 | #Constraints: 43438 679.23/681.02 c #Conflicts: 384000 | #Constraints: 44438 679.23/681.02 c #Conflicts: 385000 | #Constraints: 45438 679.23/681.02 c #Conflicts: 386000 | #Constraints: 46438 679.23/681.02 c #Conflicts: 387000 | #Constraints: 47438 679.23/681.02 c #Conflicts: 388000 | #Constraints: 48438 679.23/681.02 c #Conflicts: 389000 | #Constraints: 49438 679.23/681.02 c #Conflicts: 390000 | #Constraints: 50438 679.23/681.02 c #Conflicts: 391000 | #Constraints: 51438 679.23/681.02 c #Conflicts: 392000 | #Constraints: 52438 679.23/681.02 c #Conflicts: 393000 | #Constraints: 53438 679.23/681.02 c #Conflicts: 394000 | #Constraints: 54438 679.23/681.02 c INPROCESSING 679.23/681.02 c GARBAGE COLLECT 679.23/681.02 c rational objective 65 712.04/713.92 c #Conflicts: 395000 | #Constraints: 43087 712.04/713.92 c #Conflicts: 396000 | #Constraints: 44087 712.04/713.92 c #Conflicts: 397000 | #Constraints: 45087 712.04/713.92 c #Conflicts: 398000 | #Constraints: 46087 712.04/713.92 c #Conflicts: 399000 | #Constraints: 47087 712.04/713.92 c #Conflicts: 400000 | #Constraints: 48087 712.04/713.92 c #Conflicts: 401000 | #Constraints: 49087 712.04/713.92 c #Conflicts: 402000 | #Constraints: 50087 712.04/713.92 c #Conflicts: 403000 | #Constraints: 51087 712.04/713.92 c #Conflicts: 404000 | #Constraints: 52087 712.04/713.92 c #Conflicts: 405000 | #Constraints: 53087 712.04/713.92 c #Conflicts: 406000 | #Constraints: 54087 712.04/713.92 c #Conflicts: 407000 | #Constraints: 55087 712.04/713.92 c INPROCESSING 712.04/713.92 c GARBAGE COLLECT 712.04/713.92 c rational objective 65 739.36/741.39 c #Conflicts: 408000 | #Constraints: 43495 739.36/741.39 c #Conflicts: 409000 | #Constraints: 44495 739.36/741.39 c #Conflicts: 410000 | #Constraints: 45495 739.36/741.39 c #Conflicts: 411000 | #Constraints: 46495 739.36/741.39 c #Conflicts: 412000 | #Constraints: 47495 739.36/741.39 c #Conflicts: 413000 | #Constraints: 48495 739.36/741.39 c #Conflicts: 414000 | #Constraints: 49495 739.36/741.39 c #Conflicts: 415000 | #Constraints: 50495 739.36/741.39 c #Conflicts: 416000 | #Constraints: 51495 739.36/741.39 c #Conflicts: 417000 | #Constraints: 52495 739.36/741.39 c #Conflicts: 418000 | #Constraints: 53495 739.36/741.39 c #Conflicts: 419000 | #Constraints: 54495 739.36/741.39 c #Conflicts: 420000 | #Constraints: 55495 739.36/741.39 c INPROCESSING 739.36/741.39 c GARBAGE COLLECT 739.36/741.39 c rational objective 65 769.39/771.49 c #Conflicts: 421000 | #Constraints: 43678 769.39/771.49 c #Conflicts: 422000 | #Constraints: 44678 769.39/771.49 c #Conflicts: 423000 | #Constraints: 45678 769.39/771.49 c #Conflicts: 424000 | #Constraints: 46678 769.39/771.49 c #Conflicts: 425000 | #Constraints: 47678 769.39/771.49 c #Conflicts: 426000 | #Constraints: 48678 769.39/771.49 c #Conflicts: 427000 | #Constraints: 49678 769.39/771.49 c #Conflicts: 428000 | #Constraints: 50678 769.39/771.49 c #Conflicts: 429000 | #Constraints: 51678 769.39/771.49 c #Conflicts: 430000 | #Constraints: 52678 769.39/771.49 c #Conflicts: 431000 | #Constraints: 53678 769.39/771.49 c #Conflicts: 432000 | #Constraints: 54678 769.39/771.49 c #Conflicts: 433000 | #Constraints: 55678 769.39/771.49 c INPROCESSING 769.39/771.49 c GARBAGE COLLECT 769.39/771.49 c rational objective 65 790.64/792.71 c #Conflicts: 434000 | #Constraints: 43678 790.64/792.71 c #Conflicts: 435000 | #Constraints: 44678 790.64/792.71 c #Conflicts: 436000 | #Constraints: 45678 790.64/792.71 c #Conflicts: 437000 | #Constraints: 46678 790.64/792.71 c #Conflicts: 438000 | #Constraints: 47678 790.64/792.71 c #Conflicts: 439000 | #Constraints: 48678 790.64/792.71 c #Conflicts: 440000 | #Constraints: 49678 790.64/792.71 c #Conflicts: 441000 | #Constraints: 50678 790.64/792.71 c #Conflicts: 442000 | #Constraints: 51678 790.64/792.71 c #Conflicts: 443000 | #Constraints: 52678 790.64/792.71 c #Conflicts: 444000 | #Constraints: 53678 790.64/792.71 c #Conflicts: 445000 | #Constraints: 54678 790.64/792.71 c #Conflicts: 446000 | #Constraints: 55678 790.64/792.71 c INPROCESSING 790.64/792.71 c GARBAGE COLLECT 790.64/792.71 c rational objective 65 827.54/829.73 c #Conflicts: 447000 | #Constraints: 43489 827.54/829.73 c #Conflicts: 448000 | #Constraints: 44489 827.54/829.73 c #Conflicts: 449000 | #Constraints: 45489 827.54/829.73 c #Conflicts: 450000 | #Constraints: 46489 827.54/829.73 c #Conflicts: 451000 | #Constraints: 47489 827.54/829.73 c #Conflicts: 452000 | #Constraints: 48489 827.54/829.73 c #Conflicts: 453000 | #Constraints: 49489 827.54/829.73 c #Conflicts: 454000 | #Constraints: 50489 827.54/829.73 c #Conflicts: 455000 | #Constraints: 51489 827.54/829.73 c #Conflicts: 456000 | #Constraints: 52489 827.54/829.73 c #Conflicts: 457000 | #Constraints: 53489 827.54/829.73 c #Conflicts: 458000 | #Constraints: 54489 827.54/829.73 c #Conflicts: 459000 | #Constraints: 55489 827.54/829.73 c #Conflicts: 460000 | #Constraints: 56489 827.54/829.73 c INPROCESSING 827.54/829.73 c GARBAGE COLLECT 827.54/829.73 c rational objective 65 853.28/855.55 c #Conflicts: 461000 | #Constraints: 44093 853.28/855.55 c #Conflicts: 462000 | #Constraints: 45093 853.28/855.55 c #Conflicts: 463000 | #Constraints: 46093 853.28/855.55 c #Conflicts: 464000 | #Constraints: 47093 853.28/855.55 c #Conflicts: 465000 | #Constraints: 48093 853.28/855.55 c #Conflicts: 466000 | #Constraints: 49093 853.28/855.55 c #Conflicts: 467000 | #Constraints: 50093 853.28/855.55 c #Conflicts: 468000 | #Constraints: 51093 853.28/855.55 c #Conflicts: 469000 | #Constraints: 52093 853.28/855.55 c #Conflicts: 470000 | #Constraints: 53093 853.28/855.55 c #Conflicts: 471000 | #Constraints: 54093 853.28/855.55 c #Conflicts: 472000 | #Constraints: 55093 853.28/855.55 c #Conflicts: 473000 | #Constraints: 56093 853.28/855.55 c #Conflicts: 474000 | #Constraints: 57093 853.28/855.55 c INPROCESSING 853.28/855.55 c GARBAGE COLLECT 853.28/855.55 c rational objective 65 876.42/878.73 c #Conflicts: 475000 | #Constraints: 44469 876.42/878.73 c #Conflicts: 476000 | #Constraints: 45469 876.42/878.73 c #Conflicts: 477000 | #Constraints: 46469 876.42/878.73 c #Conflicts: 478000 | #Constraints: 47469 876.42/878.73 c #Conflicts: 479000 | #Constraints: 48469 876.42/878.73 c #Conflicts: 480000 | #Constraints: 49469 876.42/878.73 c #Conflicts: 481000 | #Constraints: 50469 876.42/878.73 c #Conflicts: 482000 | #Constraints: 51469 876.42/878.73 c #Conflicts: 483000 | #Constraints: 52469 876.42/878.73 c #Conflicts: 484000 | #Constraints: 53469 876.42/878.73 c #Conflicts: 485000 | #Constraints: 54469 876.42/878.73 c #Conflicts: 486000 | #Constraints: 55469 876.42/878.73 c #Conflicts: 487000 | #Constraints: 56469 876.42/878.73 c #Conflicts: 488000 | #Constraints: 57469 876.42/878.73 c INPROCESSING 876.42/878.73 c GARBAGE COLLECT 876.42/878.73 c #Conflicts: 489000 | #Constraints: 44633 876.42/878.73 c #Conflicts: 490000 | #Constraints: 45633 876.42/878.73 c #Conflicts: 491000 | #Constraints: 46633 876.42/878.73 c #Conflicts: 492000 | #Constraints: 47633 876.42/878.73 c #Conflicts: 493000 | #Constraints: 48633 876.42/878.73 c #Conflicts: 494000 | #Constraints: 49633 876.42/878.73 c #Conflicts: 495000 | #Constraints: 50633 876.42/878.73 c #Conflicts: 496000 | #Constraints: 51633 876.42/878.73 c #Conflicts: 497000 | #Constraints: 52633 876.42/878.73 c #Conflicts: 498000 | #Constraints: 53633 876.42/878.73 c #Conflicts: 499000 | #Constraints: 54633 876.42/878.73 c #Conflicts: 500000 | #Constraints: 55633 876.42/878.73 c #Conflicts: 501000 | #Constraints: 56633 876.42/878.73 c #Conflicts: 502000 | #Constraints: 57633 876.42/878.73 c INPROCESSING 876.42/878.73 c GARBAGE COLLECT 876.42/878.73 c rational objective 65 897.17/899.50 c #Conflicts: 503000 | #Constraints: 44664 897.17/899.50 c #Conflicts: 504000 | #Constraints: 45664 897.17/899.50 c #Conflicts: 505000 | #Constraints: 46664 897.17/899.50 c #Conflicts: 506000 | #Constraints: 47664 897.17/899.50 c #Conflicts: 507000 | #Constraints: 48664 897.17/899.50 c #Conflicts: 508000 | #Constraints: 49664 897.17/899.50 c #Conflicts: 509000 | #Constraints: 50664 897.17/899.50 c #Conflicts: 510000 | #Constraints: 51664 897.17/899.50 c #Conflicts: 511000 | #Constraints: 52664 897.17/899.50 c #Conflicts: 512000 | #Constraints: 53664 897.17/899.50 c #Conflicts: 513000 | #Constraints: 54664 897.17/899.50 c #Conflicts: 514000 | #Constraints: 55664 897.17/899.50 c #Conflicts: 515000 | #Constraints: 56664 897.17/899.50 c #Conflicts: 516000 | #Constraints: 57664 897.17/899.50 c INPROCESSING 897.17/899.50 c GARBAGE COLLECT 897.17/899.50 c rational objective 65 922.71/925.12 c #Conflicts: 517000 | #Constraints: 44487 922.71/925.12 c #Conflicts: 518000 | #Constraints: 45487 922.71/925.12 c #Conflicts: 519000 | #Constraints: 46487 922.71/925.12 c #Conflicts: 520000 | #Constraints: 47487 922.71/925.12 c #Conflicts: 521000 | #Constraints: 48487 922.71/925.12 c #Conflicts: 522000 | #Constraints: 49487 922.71/925.12 c #Conflicts: 523000 | #Constraints: 50487 922.71/925.12 c #Conflicts: 524000 | #Constraints: 51487 922.71/925.12 c #Conflicts: 525000 | #Constraints: 52487 922.71/925.12 c #Conflicts: 526000 | #Constraints: 53487 922.71/925.12 c #Conflicts: 527000 | #Constraints: 54487 922.71/925.12 c #Conflicts: 528000 | #Constraints: 55487 922.71/925.12 c #Conflicts: 529000 | #Constraints: 56487 922.71/925.12 c #Conflicts: 530000 | #Constraints: 57487 922.71/925.12 c #Conflicts: 531000 | #Constraints: 58487 922.71/925.12 c INPROCESSING 922.71/925.12 c GARBAGE COLLECT 922.71/925.12 c rational objective 65 955.12/957.63 c #Conflicts: 532000 | #Constraints: 45077 955.12/957.63 c #Conflicts: 533000 | #Constraints: 46077 955.12/957.63 c #Conflicts: 534000 | #Constraints: 47077 955.12/957.63 c #Conflicts: 535000 | #Constraints: 48077 955.12/957.63 c #Conflicts: 536000 | #Constraints: 49077 955.12/957.63 c #Conflicts: 537000 | #Constraints: 50077 955.12/957.63 c #Conflicts: 538000 | #Constraints: 51077 955.12/957.63 c #Conflicts: 539000 | #Constraints: 52077 955.12/957.63 c #Conflicts: 540000 | #Constraints: 53077 955.12/957.63 c #Conflicts: 541000 | #Constraints: 54077 955.12/957.63 c #Conflicts: 542000 | #Constraints: 55077 955.12/957.63 c #Conflicts: 543000 | #Constraints: 56077 955.12/957.63 c #Conflicts: 544000 | #Constraints: 57077 955.12/957.63 c #Conflicts: 545000 | #Constraints: 58077 955.12/957.63 c #Conflicts: 546000 | #Constraints: 59077 955.12/957.63 c INPROCESSING 955.12/957.63 c GARBAGE COLLECT 955.12/957.63 c rational objective 65 983.74/986.35 c #Conflicts: 547000 | #Constraints: 45482 983.74/986.35 c #Conflicts: 548000 | #Constraints: 46482 983.74/986.35 c #Conflicts: 549000 | #Constraints: 47482 983.74/986.35 c #Conflicts: 550000 | #Constraints: 48482 983.74/986.35 c #Conflicts: 551000 | #Constraints: 49482 983.74/986.35 c #Conflicts: 552000 | #Constraints: 50482 983.74/986.35 c #Conflicts: 553000 | #Constraints: 51482 983.74/986.35 c #Conflicts: 554000 | #Constraints: 52482 983.74/986.35 c #Conflicts: 555000 | #Constraints: 53482 983.74/986.35 c #Conflicts: 556000 | #Constraints: 54482 983.74/986.35 c #Conflicts: 557000 | #Constraints: 55482 983.74/986.35 c #Conflicts: 558000 | #Constraints: 56482 983.74/986.35 c #Conflicts: 559000 | #Constraints: 57482 983.74/986.35 c #Conflicts: 560000 | #Constraints: 58482 983.74/986.35 c #Conflicts: 561000 | #Constraints: 59482 983.74/986.35 c INPROCESSING 983.74/986.35 c GARBAGE COLLECT 983.74/986.35 c rational objective 65 1011.38/1014.02 c #Conflicts: 562000 | #Constraints: 45686 1011.38/1014.02 c #Conflicts: 563000 | #Constraints: 46686 1011.38/1014.02 c #Conflicts: 564000 | #Constraints: 47686 1011.38/1014.02 c #Conflicts: 565000 | #Constraints: 48686 1011.38/1014.02 c #Conflicts: 566000 | #Constraints: 49686 1011.38/1014.02 c #Conflicts: 567000 | #Constraints: 50686 1011.38/1014.02 c #Conflicts: 568000 | #Constraints: 51686 1011.38/1014.02 c #Conflicts: 569000 | #Constraints: 52686 1011.38/1014.02 c #Conflicts: 570000 | #Constraints: 53686 1011.38/1014.02 c #Conflicts: 571000 | #Constraints: 54686 1011.38/1014.02 c #Conflicts: 572000 | #Constraints: 55686 1011.38/1014.02 c #Conflicts: 573000 | #Constraints: 56686 1011.38/1014.02 c #Conflicts: 574000 | #Constraints: 57686 1011.38/1014.02 c #Conflicts: 575000 | #Constraints: 58686 1011.38/1014.02 c #Conflicts: 576000 | #Constraints: 59686 1011.38/1014.02 c INPROCESSING 1011.38/1014.02 c GARBAGE COLLECT 1011.38/1014.02 c rational objective 65 1036.02/1038.74 c #Conflicts: 577000 | #Constraints: 45674 1036.02/1038.74 c #Conflicts: 578000 | #Constraints: 46674 1036.02/1038.74 c #Conflicts: 579000 | #Constraints: 47674 1036.02/1038.74 c #Conflicts: 580000 | #Constraints: 48674 1036.02/1038.74 c #Conflicts: 581000 | #Constraints: 49674 1036.02/1038.74 c #Conflicts: 582000 | #Constraints: 50674 1036.02/1038.74 c #Conflicts: 583000 | #Constraints: 51674 1036.02/1038.74 c #Conflicts: 584000 | #Constraints: 52674 1036.02/1038.74 c #Conflicts: 585000 | #Constraints: 53674 1036.02/1038.74 c #Conflicts: 586000 | #Constraints: 54674 1036.02/1038.74 c #Conflicts: 587000 | #Constraints: 55674 1036.02/1038.74 c #Conflicts: 588000 | #Constraints: 56674 1036.02/1038.74 c #Conflicts: 589000 | #Constraints: 57674 1036.02/1038.74 c #Conflicts: 590000 | #Constraints: 58674 1036.02/1038.74 c #Conflicts: 591000 | #Constraints: 59674 1036.02/1038.74 c INPROCESSING 1036.02/1038.74 c GARBAGE COLLECT 1036.02/1038.74 c rational objective 65 1062.05/1064.87 c #Conflicts: 592000 | #Constraints: 45492 1062.05/1064.87 c #Conflicts: 593000 | #Constraints: 46492 1062.05/1064.87 c #Conflicts: 594000 | #Constraints: 47492 1062.05/1064.87 c #Conflicts: 595000 | #Constraints: 48492 1062.05/1064.87 c #Conflicts: 596000 | #Constraints: 49492 1062.05/1064.87 c #Conflicts: 597000 | #Constraints: 50492 1062.05/1064.87 c #Conflicts: 598000 | #Constraints: 51492 1062.05/1064.87 c #Conflicts: 599000 | #Constraints: 52492 1062.05/1064.87 c #Conflicts: 600000 | #Constraints: 53492 1062.05/1064.87 c #Conflicts: 601000 | #Constraints: 54492 1062.05/1064.87 c #Conflicts: 602000 | #Constraints: 55492 1062.05/1064.87 c #Conflicts: 603000 | #Constraints: 56492 1062.05/1064.87 c #Conflicts: 604000 | #Constraints: 57492 1062.05/1064.87 c #Conflicts: 605000 | #Constraints: 58492 1062.05/1064.87 c #Conflicts: 606000 | #Constraints: 59492 1062.05/1064.87 c #Conflicts: 607000 | #Constraints: 60492 1062.05/1064.87 c INPROCESSING 1062.05/1064.87 c GARBAGE COLLECT 1062.05/1064.87 c rational objective 65 1087.88/1090.75 c #Conflicts: 608000 | #Constraints: 46072 1087.88/1090.75 c #Conflicts: 609000 | #Constraints: 47072 1087.88/1090.75 c #Conflicts: 610000 | #Constraints: 48072 1087.88/1090.75 c #Conflicts: 611000 | #Constraints: 49072 1087.88/1090.75 c #Conflicts: 612000 | #Constraints: 50072 1087.88/1090.75 c #Conflicts: 613000 | #Constraints: 51072 1087.88/1090.75 c #Conflicts: 614000 | #Constraints: 52072 1087.88/1090.75 c #Conflicts: 615000 | #Constraints: 53072 1087.88/1090.75 c #Conflicts: 616000 | #Constraints: 54072 1087.88/1090.75 c #Conflicts: 617000 | #Constraints: 55072 1087.88/1090.75 c #Conflicts: 618000 | #Constraints: 56072 1087.88/1090.75 c #Conflicts: 619000 | #Constraints: 57072 1087.88/1090.75 c #Conflicts: 620000 | #Constraints: 58072 1087.88/1090.75 c #Conflicts: 621000 | #Constraints: 59072 1087.88/1090.75 c #Conflicts: 622000 | #Constraints: 60072 1087.88/1090.75 c #Conflicts: 623000 | #Constraints: 61072 1087.88/1090.75 c INPROCESSING 1087.88/1090.75 c GARBAGE COLLECT 1087.88/1090.75 c rational objective 65 1114.92/1117.87 c #Conflicts: 624000 | #Constraints: 46493 1114.92/1117.87 c #Conflicts: 625000 | #Constraints: 47493 1114.92/1117.87 c #Conflicts: 626000 | #Constraints: 48493 1114.92/1117.87 c #Conflicts: 627000 | #Constraints: 49493 1114.92/1117.87 c #Conflicts: 628000 | #Constraints: 50493 1114.92/1117.87 c #Conflicts: 629000 | #Constraints: 51493 1114.92/1117.87 c #Conflicts: 630000 | #Constraints: 52493 1114.92/1117.87 c #Conflicts: 631000 | #Constraints: 53493 1114.92/1117.87 c #Conflicts: 632000 | #Constraints: 54493 1114.92/1117.87 c #Conflicts: 633000 | #Constraints: 55493 1114.92/1117.87 c #Conflicts: 634000 | #Constraints: 56493 1114.92/1117.87 c #Conflicts: 635000 | #Constraints: 57493 1114.92/1117.87 c #Conflicts: 636000 | #Constraints: 58493 1114.92/1117.87 c #Conflicts: 637000 | #Constraints: 59493 1114.92/1117.87 c #Conflicts: 638000 | #Constraints: 60493 1114.92/1117.87 c #Conflicts: 639000 | #Constraints: 61493 1114.92/1117.87 c INPROCESSING 1114.92/1117.87 c GARBAGE COLLECT 1114.92/1117.87 c rational objective 65 1144.74/1147.71 c #Conflicts: 640000 | #Constraints: 46692 1144.74/1147.71 c #Conflicts: 641000 | #Constraints: 47692 1144.74/1147.71 c #Conflicts: 642000 | #Constraints: 48692 1144.74/1147.71 c #Conflicts: 643000 | #Constraints: 49692 1144.74/1147.71 c #Conflicts: 644000 | #Constraints: 50692 1144.74/1147.71 c #Conflicts: 645000 | #Constraints: 51692 1144.74/1147.71 c #Conflicts: 646000 | #Constraints: 52692 1144.74/1147.71 c #Conflicts: 647000 | #Constraints: 53692 1144.74/1147.71 c #Conflicts: 648000 | #Constraints: 54692 1144.74/1147.71 c #Conflicts: 649000 | #Constraints: 55692 1144.74/1147.71 c #Conflicts: 650000 | #Constraints: 56692 1144.74/1147.71 c #Conflicts: 651000 | #Constraints: 57692 1144.74/1147.71 c #Conflicts: 652000 | #Constraints: 58692 1144.74/1147.71 c #Conflicts: 653000 | #Constraints: 59692 1144.74/1147.71 c #Conflicts: 654000 | #Constraints: 60692 1144.74/1147.71 c #Conflicts: 655000 | #Constraints: 61692 1144.74/1147.71 c INPROCESSING 1144.74/1147.71 c GARBAGE COLLECT 1144.74/1147.71 c rational objective 65 1167.68/1170.79 c #Conflicts: 656000 | #Constraints: 46675 1167.68/1170.79 c #Conflicts: 657000 | #Constraints: 47675 1167.68/1170.79 c #Conflicts: 658000 | #Constraints: 48675 1167.68/1170.79 c #Conflicts: 659000 | #Constraints: 49675 1167.68/1170.79 c #Conflicts: 660000 | #Constraints: 50675 1167.68/1170.79 c #Conflicts: 661000 | #Constraints: 51675 1167.68/1170.79 c #Conflicts: 662000 | #Constraints: 52675 1167.68/1170.79 c #Conflicts: 663000 | #Constraints: 53675 1167.68/1170.79 c #Conflicts: 664000 | #Constraints: 54675 1167.68/1170.79 c #Conflicts: 665000 | #Constraints: 55675 1167.68/1170.79 c #Conflicts: 666000 | #Constraints: 56675 1167.68/1170.79 c #Conflicts: 667000 | #Constraints: 57675 1167.68/1170.79 c #Conflicts: 668000 | #Constraints: 58675 1167.68/1170.79 c #Conflicts: 669000 | #Constraints: 59675 1167.68/1170.79 c #Conflicts: 670000 | #Constraints: 60675 1167.68/1170.79 c #Conflicts: 671000 | #Constraints: 61675 1167.68/1170.79 c INPROCESSING 1167.68/1170.79 c GARBAGE COLLECT 1167.68/1170.79 c rational objective 65 1188.04/1191.17 c #Conflicts: 672000 | #Constraints: 46494 1188.04/1191.17 c #Conflicts: 673000 | #Constraints: 47494 1188.04/1191.17 c #Conflicts: 674000 | #Constraints: 48494 1188.04/1191.17 c #Conflicts: 675000 | #Constraints: 49494 1188.04/1191.17 c #Conflicts: 676000 | #Constraints: 50494 1188.04/1191.17 c #Conflicts: 677000 | #Constraints: 51494 1188.04/1191.17 c #Conflicts: 678000 | #Constraints: 52494 1188.04/1191.17 c #Conflicts: 679000 | #Constraints: 53494 1188.04/1191.17 c #Conflicts: 680000 | #Constraints: 54494 1188.04/1191.17 c #Conflicts: 681000 | #Constraints: 55494 1188.04/1191.17 c #Conflicts: 682000 | #Constraints: 56494 1188.04/1191.17 c #Conflicts: 683000 | #Constraints: 57494 1188.04/1191.17 c #Conflicts: 684000 | #Constraints: 58494 1188.04/1191.17 c #Conflicts: 685000 | #Constraints: 59494 1188.04/1191.17 c #Conflicts: 686000 | #Constraints: 60494 1188.04/1191.17 c #Conflicts: 687000 | #Constraints: 61494 1188.04/1191.17 c #Conflicts: 688000 | #Constraints: 62494 1188.04/1191.17 c INPROCESSING 1188.04/1191.17 c GARBAGE COLLECT 1188.04/1191.17 c rational objective 65 1209.37/1212.54 c #Conflicts: 689000 | #Constraints: 47070 1209.37/1212.54 c #Conflicts: 690000 | #Constraints: 48070 1209.37/1212.54 c #Conflicts: 691000 | #Constraints: 49070 1209.37/1212.54 c #Conflicts: 692000 | #Constraints: 50070 1209.37/1212.54 c #Conflicts: 693000 | #Constraints: 51070 1209.37/1212.54 c #Conflicts: 694000 | #Constraints: 52070 1209.37/1212.54 c #Conflicts: 695000 | #Constraints: 53070 1209.37/1212.54 c #Conflicts: 696000 | #Constraints: 54070 1209.37/1212.54 c #Conflicts: 697000 | #Constraints: 55070 1209.37/1212.54 c #Conflicts: 698000 | #Constraints: 56070 1209.37/1212.54 c #Conflicts: 699000 | #Constraints: 57070 1209.37/1212.54 c #Conflicts: 700000 | #Constraints: 58070 1209.37/1212.54 c #Conflicts: 701000 | #Constraints: 59070 1209.37/1212.54 c #Conflicts: 702000 | #Constraints: 60070 1209.37/1212.54 c #Conflicts: 703000 | #Constraints: 61070 1209.37/1212.54 c #Conflicts: 704000 | #Constraints: 62070 1209.37/1212.54 c #Conflicts: 705000 | #Constraints: 63070 1209.37/1212.54 c INPROCESSING 1209.37/1212.54 c GARBAGE COLLECT 1209.37/1212.54 c rational objective 65 1236.70/1239.98 c #Conflicts: 706000 | #Constraints: 47481 1236.70/1239.98 c #Conflicts: 707000 | #Constraints: 48481 1236.70/1239.98 c #Conflicts: 708000 | #Constraints: 49481 1236.70/1239.98 c #Conflicts: 709000 | #Constraints: 50481 1236.70/1239.98 c #Conflicts: 710000 | #Constraints: 51481 1236.70/1239.98 c #Conflicts: 711000 | #Constraints: 52481 1236.70/1239.98 c #Conflicts: 712000 | #Constraints: 53481 1236.70/1239.98 c #Conflicts: 713000 | #Constraints: 54481 1236.70/1239.98 c #Conflicts: 714000 | #Constraints: 55481 1236.70/1239.98 c #Conflicts: 715000 | #Constraints: 56481 1236.70/1239.98 c #Conflicts: 716000 | #Constraints: 57481 1236.70/1239.98 c #Conflicts: 717000 | #Constraints: 58481 1236.70/1239.98 c #Conflicts: 718000 | #Constraints: 59481 1236.70/1239.98 c #Conflicts: 719000 | #Constraints: 60481 1236.70/1239.98 c #Conflicts: 720000 | #Constraints: 61481 1236.70/1239.98 c #Conflicts: 721000 | #Constraints: 62481 1236.70/1239.98 c #Conflicts: 722000 | #Constraints: 63481 1236.70/1239.98 c INPROCESSING 1236.70/1239.98 c GARBAGE COLLECT 1236.70/1239.98 c rational objective 65 1257.05/1260.32 c #Conflicts: 723000 | #Constraints: 47673 1257.05/1260.32 c #Conflicts: 724000 | #Constraints: 48673 1257.05/1260.32 c #Conflicts: 725000 | #Constraints: 49673 1257.05/1260.32 c #Conflicts: 726000 | #Constraints: 50673 1257.05/1260.32 c #Conflicts: 727000 | #Constraints: 51673 1257.05/1260.32 c #Conflicts: 728000 | #Constraints: 52673 1257.05/1260.32 c #Conflicts: 729000 | #Constraints: 53673 1257.05/1260.32 c #Conflicts: 730000 | #Constraints: 54673 1257.05/1260.32 c #Conflicts: 731000 | #Constraints: 55673 1257.05/1260.32 c #Conflicts: 732000 | #Constraints: 56673 1257.05/1260.32 c #Conflicts: 733000 | #Constraints: 57673 1257.05/1260.32 c #Conflicts: 734000 | #Constraints: 58673 1257.05/1260.32 c #Conflicts: 735000 | #Constraints: 59673 1257.05/1260.32 c #Conflicts: 736000 | #Constraints: 60673 1257.05/1260.32 c #Conflicts: 737000 | #Constraints: 61673 1257.05/1260.32 c #Conflicts: 738000 | #Constraints: 62673 1257.05/1260.32 c #Conflicts: 739000 | #Constraints: 63673 1257.05/1260.32 c INPROCESSING 1257.05/1260.32 c GARBAGE COLLECT 1257.05/1260.32 c rational objective 65 1273.42/1276.70 c #Conflicts: 740000 | #Constraints: 47709 1273.42/1276.70 c #Conflicts: 741000 | #Constraints: 48709 1273.42/1276.70 c #Conflicts: 742000 | #Constraints: 49709 1273.42/1276.70 c #Conflicts: 743000 | #Constraints: 50709 1273.42/1276.70 c #Conflicts: 744000 | #Constraints: 51709 1273.42/1276.70 c #Conflicts: 745000 | #Constraints: 52709 1273.42/1276.70 c #Conflicts: 746000 | #Constraints: 53709 1273.42/1276.70 c #Conflicts: 747000 | #Constraints: 54709 1273.42/1276.70 c #Conflicts: 748000 | #Constraints: 55709 1273.42/1276.70 c #Conflicts: 749000 | #Constraints: 56709 1273.42/1276.70 c #Conflicts: 750000 | #Constraints: 57709 1273.42/1276.70 c #Conflicts: 751000 | #Constraints: 58709 1273.42/1276.70 c #Conflicts: 752000 | #Constraints: 59709 1273.42/1276.70 c #Conflicts: 753000 | #Constraints: 60709 1273.42/1276.70 c #Conflicts: 754000 | #Constraints: 61709 1273.42/1276.70 c #Conflicts: 755000 | #Constraints: 62709 1273.42/1276.70 c #Conflicts: 756000 | #Constraints: 63709 1273.42/1276.70 c INPROCESSING 1273.42/1276.70 c GARBAGE COLLECT 1273.42/1276.70 c rational objective 65 1302.54/1305.95 c #Conflicts: 757000 | #Constraints: 47493 1302.54/1305.95 c #Conflicts: 758000 | #Constraints: 48493 1302.54/1305.95 c #Conflicts: 759000 | #Constraints: 49493 1302.54/1305.95 c #Conflicts: 760000 | #Constraints: 50493 1302.54/1305.95 c #Conflicts: 761000 | #Constraints: 51493 1302.54/1305.95 c #Conflicts: 762000 | #Constraints: 52493 1302.54/1305.95 c #Conflicts: 763000 | #Constraints: 53493 1302.54/1305.95 c #Conflicts: 764000 | #Constraints: 54493 1302.54/1305.95 c #Conflicts: 765000 | #Constraints: 55493 1302.54/1305.95 c #Conflicts: 766000 | #Constraints: 56493 1302.54/1305.95 c #Conflicts: 767000 | #Constraints: 57493 1302.54/1305.95 c #Conflicts: 768000 | #Constraints: 58493 1302.54/1305.95 c #Conflicts: 769000 | #Constraints: 59493 1302.54/1305.95 c #Conflicts: 770000 | #Constraints: 60493 1302.54/1305.95 c #Conflicts: 771000 | #Constraints: 61493 1302.54/1305.95 c #Conflicts: 772000 | #Constraints: 62493 1302.54/1305.95 c #Conflicts: 773000 | #Constraints: 63493 1302.54/1305.95 c #Conflicts: 774000 | #Constraints: 64493 1302.54/1305.95 c INPROCESSING 1302.54/1305.95 c GARBAGE COLLECT 1302.54/1305.95 c rational objective 65 1325.78/1329.24 c #Conflicts: 775000 | #Constraints: 48093 1325.78/1329.24 c #Conflicts: 776000 | #Constraints: 49093 1325.78/1329.24 c #Conflicts: 777000 | #Constraints: 50093 1325.78/1329.24 c #Conflicts: 778000 | #Constraints: 51093 1325.78/1329.24 c #Conflicts: 779000 | #Constraints: 52093 1325.78/1329.24 c #Conflicts: 780000 | #Constraints: 53093 1325.78/1329.24 c #Conflicts: 781000 | #Constraints: 54093 1325.78/1329.24 c #Conflicts: 782000 | #Constraints: 55093 1325.78/1329.24 c #Conflicts: 783000 | #Constraints: 56093 1325.78/1329.24 c #Conflicts: 784000 | #Constraints: 57093 1325.78/1329.24 c #Conflicts: 785000 | #Constraints: 58093 1325.78/1329.24 c #Conflicts: 786000 | #Constraints: 59093 1325.78/1329.24 c #Conflicts: 787000 | #Constraints: 60093 1325.78/1329.24 c #Conflicts: 788000 | #Constraints: 61093 1325.78/1329.24 c #Conflicts: 789000 | #Constraints: 62093 1325.78/1329.24 c #Conflicts: 790000 | #Constraints: 63093 1325.78/1329.24 c #Conflicts: 791000 | #Constraints: 64093 1325.78/1329.24 c #Conflicts: 792000 | #Constraints: 65093 1325.78/1329.24 c INPROCESSING 1325.78/1329.24 c GARBAGE COLLECT 1325.78/1329.24 c rational objective 65 1353.51/1357.02 c #Conflicts: 793000 | #Constraints: 48494 1353.51/1357.02 c #Conflicts: 794000 | #Constraints: 49494 1353.51/1357.02 c #Conflicts: 795000 | #Constraints: 50494 1353.51/1357.02 c #Conflicts: 796000 | #Constraints: 51494 1353.51/1357.02 c #Conflicts: 797000 | #Constraints: 52494 1353.51/1357.02 c #Conflicts: 798000 | #Constraints: 53494 1353.51/1357.02 c #Conflicts: 799000 | #Constraints: 54494 1353.51/1357.02 c #Conflicts: 800000 | #Constraints: 55494 1353.51/1357.02 c #Conflicts: 801000 | #Constraints: 56494 1353.51/1357.02 c #Conflicts: 802000 | #Constraints: 57494 1353.51/1357.02 c #Conflicts: 803000 | #Constraints: 58494 1353.51/1357.02 c #Conflicts: 804000 | #Constraints: 59494 1353.51/1357.02 c #Conflicts: 805000 | #Constraints: 60494 1353.51/1357.02 c #Conflicts: 806000 | #Constraints: 61494 1353.51/1357.02 c #Conflicts: 807000 | #Constraints: 62494 1353.51/1357.02 c #Conflicts: 808000 | #Constraints: 63494 1353.51/1357.02 c #Conflicts: 809000 | #Constraints: 64494 1353.51/1357.02 c #Conflicts: 810000 | #Constraints: 65494 1353.51/1357.02 c INPROCESSING 1353.51/1357.02 c GARBAGE COLLECT 1353.51/1357.02 c rational objective 65 1381.73/1385.35 c #Conflicts: 811000 | #Constraints: 48695 1381.73/1385.35 c #Conflicts: 812000 | #Constraints: 49695 1381.73/1385.35 c #Conflicts: 813000 | #Constraints: 50695 1381.73/1385.35 c #Conflicts: 814000 | #Constraints: 51695 1381.73/1385.35 c #Conflicts: 815000 | #Constraints: 52695 1381.73/1385.35 c #Conflicts: 816000 | #Constraints: 53695 1381.73/1385.35 c #Conflicts: 817000 | #Constraints: 54695 1381.73/1385.35 c #Conflicts: 818000 | #Constraints: 55695 1381.73/1385.35 c #Conflicts: 819000 | #Constraints: 56695 1381.73/1385.35 c #Conflicts: 820000 | #Constraints: 57695 1381.73/1385.35 c #Conflicts: 821000 | #Constraints: 58695 1381.73/1385.35 c #Conflicts: 822000 | #Constraints: 59695 1381.73/1385.35 c #Conflicts: 823000 | #Constraints: 60695 1381.73/1385.35 c #Conflicts: 824000 | #Constraints: 61695 1381.73/1385.35 c #Conflicts: 825000 | #Constraints: 62695 1381.73/1385.35 c #Conflicts: 826000 | #Constraints: 63695 1381.73/1385.35 c #Conflicts: 827000 | #Constraints: 64695 1381.73/1385.35 c #Conflicts: 828000 | #Constraints: 65695 1381.73/1385.35 c INPROCESSING 1381.73/1385.35 c GARBAGE COLLECT 1381.73/1385.35 c rational objective 65 1407.97/1411.65 c #Conflicts: 829000 | #Constraints: 48666 1407.97/1411.65 c #Conflicts: 830000 | #Constraints: 49666 1407.97/1411.65 c #Conflicts: 831000 | #Constraints: 50666 1407.97/1411.65 c #Conflicts: 832000 | #Constraints: 51666 1407.97/1411.65 c #Conflicts: 833000 | #Constraints: 52666 1407.97/1411.65 c #Conflicts: 834000 | #Constraints: 53666 1407.97/1411.65 c #Conflicts: 835000 | #Constraints: 54666 1407.97/1411.65 c #Conflicts: 836000 | #Constraints: 55666 1407.97/1411.65 c #Conflicts: 837000 | #Constraints: 56666 1407.97/1411.65 c #Conflicts: 838000 | #Constraints: 57666 1407.97/1411.65 c #Conflicts: 839000 | #Constraints: 58666 1407.97/1411.65 c #Conflicts: 840000 | #Constraints: 59666 1407.97/1411.65 c #Conflicts: 841000 | #Constraints: 60666 1407.97/1411.65 c #Conflicts: 842000 | #Constraints: 61666 1407.97/1411.65 c #Conflicts: 843000 | #Constraints: 62666 1407.97/1411.65 c #Conflicts: 844000 | #Constraints: 63666 1407.97/1411.65 c #Conflicts: 845000 | #Constraints: 64666 1407.97/1411.65 c #Conflicts: 846000 | #Constraints: 65666 1407.97/1411.65 c INPROCESSING 1407.97/1411.65 c GARBAGE COLLECT 1407.97/1411.65 c rational objective 65 1432.61/1436.39 c #Conflicts: 847000 | #Constraints: 48487 1432.61/1436.39 c #Conflicts: 848000 | #Constraints: 49487 1432.61/1436.39 c #Conflicts: 849000 | #Constraints: 50487 1432.61/1436.39 c #Conflicts: 850000 | #Constraints: 51487 1432.61/1436.39 c #Conflicts: 851000 | #Constraints: 52487 1432.61/1436.39 c #Conflicts: 852000 | #Constraints: 53487 1432.61/1436.39 c #Conflicts: 853000 | #Constraints: 54487 1432.61/1436.39 c #Conflicts: 854000 | #Constraints: 55487 1432.61/1436.39 c #Conflicts: 855000 | #Constraints: 56487 1432.61/1436.39 c #Conflicts: 856000 | #Constraints: 57487 1432.61/1436.39 c #Conflicts: 857000 | #Constraints: 58487 1432.61/1436.39 c #Conflicts: 858000 | #Constraints: 59487 1432.61/1436.39 c #Conflicts: 859000 | #Constraints: 60487 1432.61/1436.39 c #Conflicts: 860000 | #Constraints: 61487 1432.61/1436.39 c #Conflicts: 861000 | #Constraints: 62487 1432.61/1436.39 c #Conflicts: 862000 | #Constraints: 63487 1432.61/1436.39 c #Conflicts: 863000 | #Constraints: 64487 1432.61/1436.39 c #Conflicts: 864000 | #Constraints: 65487 1432.61/1436.39 c #Conflicts: 865000 | #Constraints: 66487 1432.61/1436.39 c INPROCESSING 1432.61/1436.39 c GARBAGE COLLECT 1432.61/1436.39 c rational objective 65 1454.55/1458.40 c #Conflicts: 866000 | #Constraints: 49079 1454.55/1458.40 c #Conflicts: 867000 | #Constraints: 50079 1454.55/1458.40 c #Conflicts: 868000 | #Constraints: 51079 1454.55/1458.40 c #Conflicts: 869000 | #Constraints: 52079 1454.55/1458.40 c #Conflicts: 870000 | #Constraints: 53079 1454.55/1458.40 c #Conflicts: 871000 | #Constraints: 54079 1454.55/1458.40 c #Conflicts: 872000 | #Constraints: 55079 1454.55/1458.40 c #Conflicts: 873000 | #Constraints: 56079 1454.55/1458.40 c #Conflicts: 874000 | #Constraints: 57079 1454.55/1458.40 c #Conflicts: 875000 | #Constraints: 58079 1454.55/1458.40 c #Conflicts: 876000 | #Constraints: 59079 1454.55/1458.40 c #Conflicts: 877000 | #Constraints: 60079 1454.55/1458.40 c #Conflicts: 878000 | #Constraints: 61079 1454.55/1458.40 c #Conflicts: 879000 | #Constraints: 62079 1454.55/1458.40 c #Conflicts: 880000 | #Constraints: 63079 1454.55/1458.40 c #Conflicts: 881000 | #Constraints: 64079 1454.55/1458.40 c #Conflicts: 882000 | #Constraints: 65079 1454.55/1458.40 c #Conflicts: 883000 | #Constraints: 66079 1454.55/1458.40 c #Conflicts: 884000 | #Constraints: 67079 1454.55/1458.40 c INPROCESSING 1454.55/1458.40 c GARBAGE COLLECT 1454.55/1458.40 c rational objective 65 1484.87/1488.73 c #Conflicts: 885000 | #Constraints: 49490 1484.87/1488.73 c #Conflicts: 886000 | #Constraints: 50490 1484.87/1488.73 c #Conflicts: 887000 | #Constraints: 51490 1484.87/1488.73 c #Conflicts: 888000 | #Constraints: 52490 1484.87/1488.73 c #Conflicts: 889000 | #Constraints: 53490 1484.87/1488.73 c #Conflicts: 890000 | #Constraints: 54490 1484.87/1488.73 c #Conflicts: 891000 | #Constraints: 55490 1484.87/1488.73 c #Conflicts: 892000 | #Constraints: 56490 1484.87/1488.73 c #Conflicts: 893000 | #Constraints: 57490 1484.87/1488.73 c #Conflicts: 894000 | #Constraints: 58490 1484.87/1488.73 c #Conflicts: 895000 | #Constraints: 59490 1484.87/1488.73 c #Conflicts: 896000 | #Constraints: 60490 1484.87/1488.73 c #Conflicts: 897000 | #Constraints: 61490 1484.87/1488.73 c #Conflicts: 898000 | #Constraints: 62490 1484.87/1488.73 c #Conflicts: 899000 | #Constraints: 63490 1484.87/1488.73 c #Conflicts: 900000 | #Constraints: 64490 1484.87/1488.73 c #Conflicts: 901000 | #Constraints: 65490 1484.87/1488.73 c #Conflicts: 902000 | #Constraints: 66490 1484.87/1488.73 c #Conflicts: 903000 | #Constraints: 67490 1484.87/1488.73 c INPROCESSING 1484.87/1488.73 c GARBAGE COLLECT 1484.87/1488.73 c rational objective 65 1503.72/1507.62 c #Conflicts: 904000 | #Constraints: 49680 1503.72/1507.62 c #Conflicts: 905000 | #Constraints: 50680 1503.72/1507.62 c #Conflicts: 906000 | #Constraints: 51680 1503.72/1507.62 c #Conflicts: 907000 | #Constraints: 52680 1503.72/1507.62 c #Conflicts: 908000 | #Constraints: 53680 1503.72/1507.62 c #Conflicts: 909000 | #Constraints: 54680 1503.72/1507.62 c #Conflicts: 910000 | #Constraints: 55680 1503.72/1507.62 c #Conflicts: 911000 | #Constraints: 56680 1503.72/1507.62 c #Conflicts: 912000 | #Constraints: 57680 1503.72/1507.62 c #Conflicts: 913000 | #Constraints: 58680 1503.72/1507.62 c #Conflicts: 914000 | #Constraints: 59680 1503.72/1507.62 c #Conflicts: 915000 | #Constraints: 60680 1503.72/1507.62 c #Conflicts: 916000 | #Constraints: 61680 1503.72/1507.62 c #Conflicts: 917000 | #Constraints: 62680 1503.72/1507.62 c #Conflicts: 918000 | #Constraints: 63680 1503.72/1507.62 c #Conflicts: 919000 | #Constraints: 64680 1503.72/1507.62 c #Conflicts: 920000 | #Constraints: 65680 1503.72/1507.62 c #Conflicts: 921000 | #Constraints: 66680 1503.72/1507.62 c #Conflicts: 922000 | #Constraints: 67680 1503.72/1507.62 c INPROCESSING 1503.72/1507.62 c GARBAGE COLLECT 1503.72/1507.62 c rational objective 65 1529.36/1533.33 c #Conflicts: 923000 | #Constraints: 49683 1529.36/1533.33 c #Conflicts: 924000 | #Constraints: 50683 1529.36/1533.33 c #Conflicts: 925000 | #Constraints: 51683 1529.36/1533.33 c #Conflicts: 926000 | #Constraints: 52683 1529.36/1533.33 c #Conflicts: 927000 | #Constraints: 53683 1529.36/1533.33 c #Conflicts: 928000 | #Constraints: 54683 1529.36/1533.33 c #Conflicts: 929000 | #Constraints: 55683 1529.36/1533.33 c #Conflicts: 930000 | #Constraints: 56683 1529.36/1533.33 c #Conflicts: 931000 | #Constraints: 57683 1529.36/1533.33 c #Conflicts: 932000 | #Constraints: 58683 1529.36/1533.33 c #Conflicts: 933000 | #Constraints: 59683 1529.36/1533.33 c #Conflicts: 934000 | #Constraints: 60683 1529.36/1533.33 c #Conflicts: 935000 | #Constraints: 61683 1529.36/1533.33 c #Conflicts: 936000 | #Constraints: 62683 1529.36/1533.33 c #Conflicts: 937000 | #Constraints: 63683 1529.36/1533.33 c #Conflicts: 938000 | #Constraints: 64683 1529.36/1533.33 c #Conflicts: 939000 | #Constraints: 65683 1529.36/1533.33 c #Conflicts: 940000 | #Constraints: 66683 1529.36/1533.33 c #Conflicts: 941000 | #Constraints: 67683 1529.36/1533.33 c INPROCESSING 1529.36/1533.33 c GARBAGE COLLECT 1529.36/1533.33 c rational objective 65 1547.31/1551.34 c #Conflicts: 942000 | #Constraints: 49498 1547.31/1551.34 c #Conflicts: 943000 | #Constraints: 50498 1547.31/1551.34 c #Conflicts: 944000 | #Constraints: 51498 1547.31/1551.34 c #Conflicts: 945000 | #Constraints: 52498 1547.31/1551.34 c #Conflicts: 946000 | #Constraints: 53498 1547.31/1551.34 c #Conflicts: 947000 | #Constraints: 54498 1547.31/1551.34 c #Conflicts: 948000 | #Constraints: 55498 1547.31/1551.34 c #Conflicts: 949000 | #Constraints: 56498 1547.31/1551.34 c #Conflicts: 950000 | #Constraints: 57498 1547.31/1551.34 c #Conflicts: 951000 | #Constraints: 58498 1547.31/1551.34 c #Conflicts: 952000 | #Constraints: 59498 1547.31/1551.34 c #Conflicts: 953000 | #Constraints: 60498 1547.31/1551.34 c #Conflicts: 954000 | #Constraints: 61498 1547.31/1551.34 c #Conflicts: 955000 | #Constraints: 62498 1547.31/1551.34 c #Conflicts: 956000 | #Constraints: 63498 1547.31/1551.34 c #Conflicts: 957000 | #Constraints: 64498 1547.31/1551.34 c #Conflicts: 958000 | #Constraints: 65498 1547.31/1551.34 c #Conflicts: 959000 | #Constraints: 66498 1547.31/1551.34 c #Conflicts: 960000 | #Constraints: 67498 1547.31/1551.34 c #Conflicts: 961000 | #Constraints: 68498 1547.31/1551.34 c INPROCESSING 1547.31/1551.34 c GARBAGE COLLECT 1547.31/1551.34 c rational objective 65 1571.06/1575.13 c #Conflicts: 962000 | #Constraints: 50101 1571.06/1575.13 c #Conflicts: 963000 | #Constraints: 51101 1571.06/1575.13 c #Conflicts: 964000 | #Constraints: 52101 1571.06/1575.13 c #Conflicts: 965000 | #Constraints: 53101 1571.06/1575.13 c #Conflicts: 966000 | #Constraints: 54101 1571.06/1575.13 c #Conflicts: 967000 | #Constraints: 55101 1571.06/1575.13 c #Conflicts: 968000 | #Constraints: 56101 1571.06/1575.13 c #Conflicts: 969000 | #Constraints: 57101 1571.06/1575.13 c #Conflicts: 970000 | #Constraints: 58101 1571.06/1575.13 c #Conflicts: 971000 | #Constraints: 59101 1571.06/1575.13 c #Conflicts: 972000 | #Constraints: 60101 1571.06/1575.13 c #Conflicts: 973000 | #Constraints: 61101 1571.06/1575.13 c #Conflicts: 974000 | #Constraints: 62101 1571.06/1575.13 c #Conflicts: 975000 | #Constraints: 63101 1571.06/1575.13 c #Conflicts: 976000 | #Constraints: 64101 1571.06/1575.13 c #Conflicts: 977000 | #Constraints: 65101 1571.06/1575.13 c #Conflicts: 978000 | #Constraints: 66101 1571.06/1575.13 c #Conflicts: 979000 | #Constraints: 67101 1571.06/1575.13 c #Conflicts: 980000 | #Constraints: 68101 1571.06/1575.13 c #Conflicts: 981000 | #Constraints: 69101 1571.06/1575.13 c INPROCESSING 1571.06/1575.13 c GARBAGE COLLECT 1571.06/1575.13 c rational objective 65 1599.39/1603.50 c #Conflicts: 982000 | #Constraints: 50493 1599.39/1603.50 c #Conflicts: 983000 | #Constraints: 51493 1599.39/1603.50 c #Conflicts: 984000 | #Constraints: 52493 1599.39/1603.50 c #Conflicts: 985000 | #Constraints: 53493 1599.39/1603.50 c #Conflicts: 986000 | #Constraints: 54493 1599.39/1603.50 c #Conflicts: 987000 | #Constraints: 55493 1599.39/1603.50 c #Conflicts: 988000 | #Constraints: 56493 1599.39/1603.50 c #Conflicts: 989000 | #Constraints: 57493 1599.39/1603.50 c #Conflicts: 990000 | #Constraints: 58493 1599.39/1603.50 c #Conflicts: 991000 | #Constraints: 59493 1599.39/1603.50 c #Conflicts: 992000 | #Constraints: 60493 1599.39/1603.50 c #Conflicts: 993000 | #Constraints: 61493 1599.39/1603.50 c #Conflicts: 994000 | #Constraints: 62493 1599.39/1603.50 c #Conflicts: 995000 | #Constraints: 63493 1599.39/1603.50 c #Conflicts: 996000 | #Constraints: 64493 1599.39/1603.50 c #Conflicts: 997000 | #Constraints: 65493 1599.39/1603.50 c #Conflicts: 998000 | #Constraints: 66493 1599.39/1603.50 c #Conflicts: 999000 | #Constraints: 67493 1599.39/1603.50 c #Conflicts: 1000000 | #Constraints: 68493 1599.39/1603.50 c #Conflicts: 1001000 | #Constraints: 69493 1599.39/1603.50 c INPROCESSING 1599.39/1603.50 c GARBAGE COLLECT 1599.39/1603.50 c rational objective 65 1629.40/1633.68 c #Conflicts: 1002000 | #Constraints: 50693 1629.40/1633.68 c #Conflicts: 1003000 | #Constraints: 51693 1629.40/1633.68 c #Conflicts: 1004000 | #Constraints: 52693 1629.40/1633.68 c #Conflicts: 1005000 | #Constraints: 53693 1629.40/1633.68 c #Conflicts: 1006000 | #Constraints: 54693 1629.40/1633.68 c #Conflicts: 1007000 | #Constraints: 55693 1629.40/1633.68 c #Conflicts: 1008000 | #Constraints: 56693 1629.40/1633.68 c #Conflicts: 1009000 | #Constraints: 57693 1629.40/1633.68 c #Conflicts: 1010000 | #Constraints: 58693 1629.40/1633.68 c bounds 189 >= 70 @ 1591.71 1629.40/1633.68 c #Conflicts: 1011000 | #Constraints: 59705 1629.40/1633.68 c #Conflicts: 1012000 | #Constraints: 60705 1629.40/1633.68 c #Conflicts: 1013000 | #Constraints: 61705 1629.40/1633.68 c #Conflicts: 1014000 | #Constraints: 62705 1629.40/1633.68 c #Conflicts: 1015000 | #Constraints: 63705 1629.40/1633.68 c #Conflicts: 1016000 | #Constraints: 64705 1629.40/1633.68 c #Conflicts: 1017000 | #Constraints: 65705 1629.40/1633.68 c #Conflicts: 1018000 | #Constraints: 66705 1629.40/1633.68 c #Conflicts: 1019000 | #Constraints: 67705 1629.40/1633.68 c #Conflicts: 1020000 | #Constraints: 68705 1629.40/1633.68 c #Conflicts: 1021000 | #Constraints: 69705 1629.40/1633.68 c INPROCESSING 1629.40/1633.68 c GARBAGE COLLECT 1629.40/1633.68 c rational objective 70 1673.49/1677.87 c #Conflicts: 1022000 | #Constraints: 50686 1673.49/1677.87 c #Conflicts: 1023000 | #Constraints: 51686 1673.49/1677.87 c #Conflicts: 1024000 | #Constraints: 52686 1673.49/1677.87 c #Conflicts: 1025000 | #Constraints: 53686 1673.49/1677.87 c #Conflicts: 1026000 | #Constraints: 54686 1673.49/1677.87 c #Conflicts: 1027000 | #Constraints: 55686 1673.49/1677.87 c #Conflicts: 1028000 | #Constraints: 56686 1673.49/1677.87 c #Conflicts: 1029000 | #Constraints: 57686 1673.49/1677.87 c #Conflicts: 1030000 | #Constraints: 58686 1673.49/1677.87 c #Conflicts: 1031000 | #Constraints: 59686 1673.49/1677.87 c #Conflicts: 1032000 | #Constraints: 60686 1673.49/1677.87 c #Conflicts: 1033000 | #Constraints: 61686 1673.49/1677.87 c #Conflicts: 1034000 | #Constraints: 62686 1673.49/1677.87 c #Conflicts: 1035000 | #Constraints: 63686 1673.49/1677.87 c #Conflicts: 1036000 | #Constraints: 64686 1673.49/1677.87 c #Conflicts: 1037000 | #Constraints: 65686 1673.49/1677.87 c #Conflicts: 1038000 | #Constraints: 66686 1673.49/1677.87 c #Conflicts: 1039000 | #Constraints: 67686 1673.49/1677.87 c #Conflicts: 1040000 | #Constraints: 68686 1673.49/1677.87 c #Conflicts: 1041000 | #Constraints: 69686 1673.49/1677.87 c INPROCESSING 1673.49/1677.87 c GARBAGE COLLECT 1673.49/1677.87 c rational objective 70 1697.03/1701.40 c #Conflicts: 1042000 | #Constraints: 50481 1697.03/1701.40 c #Conflicts: 1043000 | #Constraints: 51481 1697.03/1701.40 c #Conflicts: 1044000 | #Constraints: 52481 1697.03/1701.40 c #Conflicts: 1045000 | #Constraints: 53481 1697.03/1701.40 c #Conflicts: 1046000 | #Constraints: 54481 1697.03/1701.40 c #Conflicts: 1047000 | #Constraints: 55481 1697.03/1701.40 c #Conflicts: 1048000 | #Constraints: 56481 1697.03/1701.40 c #Conflicts: 1049000 | #Constraints: 57481 1697.03/1701.40 c #Conflicts: 1050000 | #Constraints: 58481 1697.03/1701.40 c #Conflicts: 1051000 | #Constraints: 59481 1697.03/1701.40 c #Conflicts: 1052000 | #Constraints: 60481 1697.03/1701.40 c #Conflicts: 1053000 | #Constraints: 61481 1697.03/1701.40 c #Conflicts: 1054000 | #Constraints: 62481 1697.03/1701.40 c #Conflicts: 1055000 | #Constraints: 63481 1697.03/1701.40 c #Conflicts: 1056000 | #Constraints: 64481 1697.03/1701.40 c #Conflicts: 1057000 | #Constraints: 65481 1697.03/1701.40 c #Conflicts: 1058000 | #Constraints: 66481 1697.03/1701.40 c #Conflicts: 1059000 | #Constraints: 67481 1697.03/1701.40 c #Conflicts: 1060000 | #Constraints: 68481 1697.03/1701.40 c #Conflicts: 1061000 | #Constraints: 69481 1697.03/1701.40 c #Conflicts: 1062000 | #Constraints: 70481 1697.03/1701.40 c INPROCESSING 1697.03/1701.40 c GARBAGE COLLECT 1697.03/1701.40 c rational objective 70 1711.70/1716.10 c #Conflicts: 1063000 | #Constraints: 51074 1711.70/1716.10 c #Conflicts: 1064000 | #Constraints: 52074 1711.70/1716.10 c #Conflicts: 1065000 | #Constraints: 53074 1711.70/1716.10 c #Conflicts: 1066000 | #Constraints: 54074 1711.70/1716.10 c #Conflicts: 1067000 | #Constraints: 55074 1711.70/1716.10 c #Conflicts: 1068000 | #Constraints: 56074 1711.70/1716.10 c #Conflicts: 1069000 | #Constraints: 57074 1711.70/1716.10 c #Conflicts: 1070000 | #Constraints: 58074 1711.70/1716.10 c #Conflicts: 1071000 | #Constraints: 59074 1711.70/1716.10 c #Conflicts: 1072000 | #Constraints: 60074 1711.70/1716.10 c #Conflicts: 1073000 | #Constraints: 61074 1711.70/1716.10 c #Conflicts: 1074000 | #Constraints: 62074 1711.70/1716.10 c #Conflicts: 1075000 | #Constraints: 63074 1711.70/1716.10 c #Conflicts: 1076000 | #Constraints: 64074 1711.70/1716.10 c #Conflicts: 1077000 | #Constraints: 65074 1711.70/1716.10 c #Conflicts: 1078000 | #Constraints: 66074 1711.70/1716.10 c #Conflicts: 1079000 | #Constraints: 67074 1711.70/1716.10 c #Conflicts: 1080000 | #Constraints: 68074 1711.70/1716.10 c #Conflicts: 1081000 | #Constraints: 69074 1711.70/1716.10 c #Conflicts: 1082000 | #Constraints: 70074 1711.70/1716.10 c #Conflicts: 1083000 | #Constraints: 71074 1711.70/1716.10 c INPROCESSING 1711.70/1716.10 c GARBAGE COLLECT 1711.70/1716.10 c rational objective 70 1737.63/1742.14 c #Conflicts: 1084000 | #Constraints: 51510 1737.63/1742.14 c #Conflicts: 1085000 | #Constraints: 52510 1737.63/1742.14 c #Conflicts: 1086000 | #Constraints: 53510 1737.63/1742.14 c #Conflicts: 1087000 | #Constraints: 54510 1737.63/1742.14 c #Conflicts: 1088000 | #Constraints: 55510 1737.63/1742.14 c #Conflicts: 1089000 | #Constraints: 56510 1737.63/1742.14 c #Conflicts: 1090000 | #Constraints: 57510 1737.63/1742.14 c #Conflicts: 1091000 | #Constraints: 58510 1737.63/1742.14 c #Conflicts: 1092000 | #Constraints: 59510 1737.63/1742.14 c #Conflicts: 1093000 | #Constraints: 60510 1737.63/1742.14 c #Conflicts: 1094000 | #Constraints: 61510 1737.63/1742.14 c #Conflicts: 1095000 | #Constraints: 62510 1737.63/1742.14 c #Conflicts: 1096000 | #Constraints: 63510 1737.63/1742.14 c #Conflicts: 1097000 | #Constraints: 64510 1737.63/1742.14 c #Conflicts: 1098000 | #Constraints: 65510 1737.63/1742.14 c #Conflicts: 1099000 | #Constraints: 66510 1737.63/1742.14 c #Conflicts: 1100000 | #Constraints: 67510 1737.63/1742.14 c #Conflicts: 1101000 | #Constraints: 68510 1737.63/1742.14 c #Conflicts: 1102000 | #Constraints: 69510 1737.63/1742.14 c #Conflicts: 1103000 | #Constraints: 70510 1737.63/1742.14 c #Conflicts: 1104000 | #Constraints: 71510 1737.63/1742.14 c INPROCESSING 1737.63/1742.14 c GARBAGE COLLECT 1737.63/1742.14 c rational objective 70 1762.17/1766.79 c #Conflicts: 1105000 | #Constraints: 51716 1762.17/1766.79 c #Conflicts: 1106000 | #Constraints: 52716 1762.17/1766.79 c #Conflicts: 1107000 | #Constraints: 53716 1762.17/1766.79 c #Conflicts: 1108000 | #Constraints: 54716 1762.17/1766.79 c #Conflicts: 1109000 | #Constraints: 55716 1762.17/1766.79 c #Conflicts: 1110000 | #Constraints: 56716 1762.17/1766.79 c #Conflicts: 1111000 | #Constraints: 57716 1762.17/1766.79 c #Conflicts: 1112000 | #Constraints: 58716 1762.17/1766.79 c #Conflicts: 1113000 | #Constraints: 59716 1762.17/1766.79 c #Conflicts: 1114000 | #Constraints: 60716 1762.17/1766.79 c #Conflicts: 1115000 | #Constraints: 61716 1762.17/1766.79 c #Conflicts: 1116000 | #Constraints: 62716 1762.17/1766.79 c #Conflicts: 1117000 | #Constraints: 63716 1762.17/1766.79 c #Conflicts: 1118000 | #Constraints: 64716 1762.17/1766.79 c #Conflicts: 1119000 | #Constraints: 65716 1762.17/1766.79 c #Conflicts: 1120000 | #Constraints: 66716 1762.17/1766.79 c #Conflicts: 1121000 | #Constraints: 67716 1762.17/1766.79 c #Conflicts: 1122000 | #Constraints: 68716 1762.17/1766.79 c #Conflicts: 1123000 | #Constraints: 69716 1762.17/1766.79 c #Conflicts: 1124000 | #Constraints: 70716 1762.17/1766.79 c #Conflicts: 1125000 | #Constraints: 71716 1762.17/1766.79 c INPROCESSING 1762.17/1766.79 c GARBAGE COLLECT 1762.17/1766.79 c rational objective 70 1788.51/1793.15 c #Conflicts: 1126000 | #Constraints: 51691 1788.51/1793.15 c #Conflicts: 1127000 | #Constraints: 52691 1788.51/1793.15 c #Conflicts: 1128000 | #Constraints: 53691 1788.51/1793.15 c #Conflicts: 1129000 | #Constraints: 54691 1788.51/1793.15 c #Conflicts: 1130000 | #Constraints: 55691 1788.51/1793.15 c #Conflicts: 1131000 | #Constraints: 56691 1788.51/1793.15 c #Conflicts: 1132000 | #Constraints: 57691 1788.51/1793.15 c #Conflicts: 1133000 | #Constraints: 58691 1788.51/1793.15 c #Conflicts: 1134000 | #Constraints: 59691 1788.51/1793.15 c #Conflicts: 1135000 | #Constraints: 60691 1788.51/1793.15 c #Conflicts: 1136000 | #Constraints: 61691 1788.51/1793.15 c #Conflicts: 1137000 | #Constraints: 62691 1788.51/1793.15 c #Conflicts: 1138000 | #Constraints: 63691 1788.51/1793.15 c #Conflicts: 1139000 | #Constraints: 64691 1788.51/1793.15 c #Conflicts: 1140000 | #Constraints: 65691 1788.51/1793.15 c #Conflicts: 1141000 | #Constraints: 66691 1788.51/1793.15 c #Conflicts: 1142000 | #Constraints: 67691 1788.51/1793.15 c #Conflicts: 1143000 | #Constraints: 68691 1788.51/1793.15 c #Conflicts: 1144000 | #Constraints: 69691 1788.51/1793.15 c #Conflicts: 1145000 | #Constraints: 70691 1788.51/1793.15 c #Conflicts: 1146000 | #Constraints: 71691 1788.51/1793.15 c INPROCESSING 1788.51/1793.15 c GARBAGE COLLECT 1788.51/1793.15 c rational objective 70 1814.44/1819.18 c #Conflicts: 1147000 | #Constraints: 51496 1814.44/1819.18 c #Conflicts: 1148000 | #Constraints: 52496 1814.44/1819.18 c #Conflicts: 1149000 | #Constraints: 53496 1814.44/1819.18 c #Conflicts: 1150000 | #Constraints: 54496 1814.44/1819.18 c #Conflicts: 1151000 | #Constraints: 55496 1814.44/1819.18 c #Conflicts: 1152000 | #Constraints: 56496 1814.44/1819.18 c #Conflicts: 1153000 | #Constraints: 57496 1814.44/1819.18 c #Conflicts: 1154000 | #Constraints: 58496 1814.44/1819.18 c #Conflicts: 1155000 | #Constraints: 59496 1814.44/1819.18 c #Conflicts: 1156000 | #Constraints: 60496 1814.44/1819.18 c #Conflicts: 1157000 | #Constraints: 61496 1814.44/1819.18 c #Conflicts: 1158000 | #Constraints: 62496 1814.44/1819.18 c #Conflicts: 1159000 | #Constraints: 63496 1814.44/1819.18 c #Conflicts: 1160000 | #Constraints: 64496 1814.44/1819.18 c #Conflicts: 1161000 | #Constraints: 65496 1814.44/1819.18 c #Conflicts: 1162000 | #Constraints: 66496 1814.44/1819.18 c #Conflicts: 1163000 | #Constraints: 67496 1814.44/1819.18 c #Conflicts: 1164000 | #Constraints: 68496 1814.44/1819.18 c #Conflicts: 1165000 | #Constraints: 69496 1814.44/1819.18 c #Conflicts: 1166000 | #Constraints: 70496 1814.44/1819.18 c #Conflicts: 1167000 | #Constraints: 71496 1814.44/1819.18 c #Conflicts: 1168000 | #Constraints: 72496 1814.44/1819.18 c INPROCESSING 1814.44/1819.18 c GARBAGE COLLECT 1814.44/1819.18 c rational objective 70 1838.28/1843.02 c #Conflicts: 1169000 | #Constraints: 52105 1838.28/1843.02 c #Conflicts: 1170000 | #Constraints: 53105 1838.28/1843.02 c #Conflicts: 1171000 | #Constraints: 54105 1838.28/1843.02 c #Conflicts: 1172000 | #Constraints: 55105 1838.28/1843.02 c #Conflicts: 1173000 | #Constraints: 56105 1838.28/1843.02 c #Conflicts: 1174000 | #Constraints: 57105 1838.28/1843.02 c #Conflicts: 1175000 | #Constraints: 58105 1838.28/1843.02 c #Conflicts: 1176000 | #Constraints: 59105 1838.28/1843.02 c #Conflicts: 1177000 | #Constraints: 60105 1838.28/1843.02 c #Conflicts: 1178000 | #Constraints: 61105 1838.28/1843.02 c #Conflicts: 1179000 | #Constraints: 62105 1838.28/1843.02 c #Conflicts: 1180000 | #Constraints: 63105 1838.28/1843.02 c #Conflicts: 1181000 | #Constraints: 64105 1838.28/1843.02 c #Conflicts: 1182000 | #Constraints: 65105 1838.28/1843.02 c #Conflicts: 1183000 | #Constraints: 66105 1838.28/1843.02 c #Conflicts: 1184000 | #Constraints: 67105 1838.28/1843.02 c #Conflicts: 1185000 | #Constraints: 68105 1838.28/1843.02 c #Conflicts: 1186000 | #Constraints: 69105 1838.28/1843.02 c #Conflicts: 1187000 | #Constraints: 70105 1838.28/1843.02 c #Conflicts: 1188000 | #Constraints: 71105 1838.28/1843.02 c #Conflicts: 1189000 | #Constraints: 72105 1838.28/1843.02 c #Conflicts: 1190000 | #Constraints: 73105 1838.28/1843.02 c INPROCESSING 1838.28/1843.02 c GARBAGE COLLECT 1838.28/1843.02 c rational objective 70 1904.21/1909.12 c #Conflicts: 1191000 | #Constraints: 52501 1904.21/1909.12 c #Conflicts: 1192000 | #Constraints: 53501 1904.21/1909.12 c #Conflicts: 1193000 | #Constraints: 54501 1904.21/1909.12 c #Conflicts: 1194000 | #Constraints: 55501 1904.21/1909.12 c #Conflicts: 1195000 | #Constraints: 56501 1904.21/1909.12 c #Conflicts: 1196000 | #Constraints: 57501 1904.21/1909.12 c #Conflicts: 1197000 | #Constraints: 58501 1904.21/1909.12 c #Conflicts: 1198000 | #Constraints: 59501 1904.21/1909.12 c #Conflicts: 1199000 | #Constraints: 60501 1904.21/1909.12 c #Conflicts: 1200000 | #Constraints: 61501 1904.21/1909.12 c #Conflicts: 1201000 | #Constraints: 62501 1904.21/1909.12 c #Conflicts: 1202000 | #Constraints: 63501 1904.21/1909.12 c #Conflicts: 1203000 | #Constraints: 64501 1904.21/1909.12 c #Conflicts: 1204000 | #Constraints: 65501 1904.21/1909.12 c #Conflicts: 1205000 | #Constraints: 66501 1904.21/1909.12 c #Conflicts: 1206000 | #Constraints: 67501 1904.21/1909.12 c #Conflicts: 1207000 | #Constraints: 68501 1904.21/1909.12 c #Conflicts: 1208000 | #Constraints: 69501 1904.21/1909.12 c #Conflicts: 1209000 | #Constraints: 70501 1904.21/1909.12 c #Conflicts: 1210000 | #Constraints: 71501 1904.21/1909.12 c #Conflicts: 1211000 | #Constraints: 72501 1904.21/1909.12 c #Conflicts: 1212000 | #Constraints: 73501 1904.21/1909.12 c INPROCESSING 1904.21/1909.12 c GARBAGE COLLECT 1904.21/1909.12 c rational objective 70 1960.77/1965.86 c #Conflicts: 1213000 | #Constraints: 52704 1960.77/1965.86 c #Conflicts: 1214000 | #Constraints: 53704 1960.77/1965.86 c #Conflicts: 1215000 | #Constraints: 54704 1960.77/1965.86 c #Conflicts: 1216000 | #Constraints: 55704 1960.77/1965.86 c #Conflicts: 1217000 | #Constraints: 56704 1960.77/1965.86 c #Conflicts: 1218000 | #Constraints: 57704 1960.77/1965.86 c #Conflicts: 1219000 | #Constraints: 58704 1960.77/1965.86 c #Conflicts: 1220000 | #Constraints: 59704 1960.77/1965.86 c #Conflicts: 1221000 | #Constraints: 60704 1960.77/1965.86 c #Conflicts: 1222000 | #Constraints: 61704 1960.77/1965.86 c #Conflicts: 1223000 | #Constraints: 62704 1960.77/1965.86 c #Conflicts: 1224000 | #Constraints: 63704 1960.77/1965.86 c #Conflicts: 1225000 | #Constraints: 64704 1960.77/1965.86 c #Conflicts: 1226000 | #Constraints: 65704 1960.77/1965.86 c #Conflicts: 1227000 | #Constraints: 66704 1960.77/1965.86 c #Conflicts: 1228000 | #Constraints: 67704 1960.77/1965.86 c #Conflicts: 1229000 | #Constraints: 68704 1960.77/1965.86 c #Conflicts: 1230000 | #Constraints: 69704 1960.77/1965.86 c #Conflicts: 1231000 | #Constraints: 70704 1960.77/1965.86 c #Conflicts: 1232000 | #Constraints: 71704 1960.77/1965.86 c #Conflicts: 1233000 | #Constraints: 72704 1960.77/1965.86 c #Conflicts: 1234000 | #Constraints: 73704 1960.77/1965.86 c INPROCESSING 1960.77/1965.86 c GARBAGE COLLECT 1960.77/1965.86 c rational objective 70 2018.42/2023.64 c #Conflicts: 1235000 | #Constraints: 52684 2018.42/2023.64 c #Conflicts: 1236000 | #Constraints: 53684 2018.42/2023.64 c #Conflicts: 1237000 | #Constraints: 54684 2018.42/2023.64 c #Conflicts: 1238000 | #Constraints: 55684 2018.42/2023.64 c #Conflicts: 1239000 | #Constraints: 56684 2018.42/2023.64 c #Conflicts: 1240000 | #Constraints: 57684 2018.42/2023.64 c #Conflicts: 1241000 | #Constraints: 58684 2018.42/2023.64 c #Conflicts: 1242000 | #Constraints: 59684 2018.42/2023.64 c #Conflicts: 1243000 | #Constraints: 60684 2018.42/2023.64 c #Conflicts: 1244000 | #Constraints: 61684 2018.42/2023.64 c #Conflicts: 1245000 | #Constraints: 62684 2018.42/2023.64 c #Conflicts: 1246000 | #Constraints: 63684 2018.42/2023.64 c #Conflicts: 1247000 | #Constraints: 64684 2018.42/2023.64 c #Conflicts: 1248000 | #Constraints: 65684 2018.42/2023.64 c #Conflicts: 1249000 | #Constraints: 66684 2018.42/2023.64 c #Conflicts: 1250000 | #Constraints: 67684 2018.42/2023.64 c #Conflicts: 1251000 | #Constraints: 68684 2018.42/2023.64 c #Conflicts: 1252000 | #Constraints: 69684 2018.42/2023.64 c #Conflicts: 1253000 | #Constraints: 70684 2018.42/2023.64 c #Conflicts: 1254000 | #Constraints: 71684 2018.42/2023.64 c #Conflicts: 1255000 | #Constraints: 72684 2018.42/2023.64 c #Conflicts: 1256000 | #Constraints: 73684 2018.42/2023.64 c INPROCESSING 2018.42/2023.64 c GARBAGE COLLECT 2018.42/2023.64 c rational objective 70 2055.12/2060.47 c #Conflicts: 1257000 | #Constraints: 52477 2055.12/2060.47 c #Conflicts: 1258000 | #Constraints: 53477 2055.12/2060.47 c #Conflicts: 1259000 | #Constraints: 54477 2055.12/2060.47 c #Conflicts: 1260000 | #Constraints: 55477 2055.12/2060.47 c #Conflicts: 1261000 | #Constraints: 56477 2055.12/2060.47 c #Conflicts: 1262000 | #Constraints: 57477 2055.12/2060.47 c #Conflicts: 1263000 | #Constraints: 58477 2055.12/2060.47 c #Conflicts: 1264000 | #Constraints: 59477 2055.12/2060.47 c #Conflicts: 1265000 | #Constraints: 60477 2055.12/2060.47 c #Conflicts: 1266000 | #Constraints: 61477 2055.12/2060.47 c #Conflicts: 1267000 | #Constraints: 62477 2055.12/2060.47 c #Conflicts: 1268000 | #Constraints: 63477 2055.12/2060.47 c #Conflicts: 1269000 | #Constraints: 64477 2055.12/2060.47 c #Conflicts: 1270000 | #Constraints: 65477 2055.12/2060.47 c #Conflicts: 1271000 | #Constraints: 66477 2055.12/2060.47 c #Conflicts: 1272000 | #Constraints: 67477 2055.12/2060.47 c #Conflicts: 1273000 | #Constraints: 68477 2055.12/2060.47 c #Conflicts: 1274000 | #Constraints: 69477 2055.12/2060.47 c #Conflicts: 1275000 | #Constraints: 70477 2055.12/2060.47 c #Conflicts: 1276000 | #Constraints: 71477 2055.12/2060.47 c #Conflicts: 1277000 | #Constraints: 72477 2055.12/2060.47 c #Conflicts: 1278000 | #Constraints: 73477 2055.12/2060.47 c #Conflicts: 1279000 | #Constraints: 74477 2055.12/2060.47 c INPROCESSING 2055.12/2060.47 c GARBAGE COLLECT 2055.12/2060.47 c rational objective 70 2113.73/2119.21 c #Conflicts: 1280000 | #Constraints: 53102 2113.73/2119.21 c #Conflicts: 1281000 | #Constraints: 54102 2113.73/2119.21 c #Conflicts: 1282000 | #Constraints: 55102 2113.73/2119.21 c #Conflicts: 1283000 | #Constraints: 56102 2113.73/2119.21 c #Conflicts: 1284000 | #Constraints: 57102 2113.73/2119.21 c #Conflicts: 1285000 | #Constraints: 58102 2113.73/2119.21 c #Conflicts: 1286000 | #Constraints: 59102 2113.73/2119.21 c #Conflicts: 1287000 | #Constraints: 60102 2113.73/2119.21 c #Conflicts: 1288000 | #Constraints: 61102 2113.73/2119.21 c #Conflicts: 1289000 | #Constraints: 62102 2113.73/2119.21 c #Conflicts: 1290000 | #Constraints: 63102 2113.73/2119.21 c #Conflicts: 1291000 | #Constraints: 64102 2113.73/2119.21 c #Conflicts: 1292000 | #Constraints: 65102 2113.73/2119.21 c #Conflicts: 1293000 | #Constraints: 66102 2113.73/2119.21 c #Conflicts: 1294000 | #Constraints: 67102 2113.73/2119.21 c #Conflicts: 1295000 | #Constraints: 68102 2113.73/2119.21 c #Conflicts: 1296000 | #Constraints: 69102 2113.73/2119.21 c #Conflicts: 1297000 | #Constraints: 70102 2113.73/2119.21 c #Conflicts: 1298000 | #Constraints: 71102 2113.73/2119.21 c #Conflicts: 1299000 | #Constraints: 72102 2113.73/2119.21 c #Conflicts: 1300000 | #Constraints: 73102 2113.73/2119.21 c #Conflicts: 1301000 | #Constraints: 74102 2113.73/2119.21 c #Conflicts: 1302000 | #Constraints: 75102 2113.73/2119.21 c INPROCESSING 2113.73/2119.21 c GARBAGE COLLECT 2113.73/2119.21 c rational objective 70 2199.87/2205.66 c #Conflicts: 1303000 | #Constraints: 53484 2199.87/2205.66 c #Conflicts: 1304000 | #Constraints: 54484 2199.87/2205.66 c #Conflicts: 1305000 | #Constraints: 55484 2199.87/2205.66 c #Conflicts: 1306000 | #Constraints: 56484 2199.87/2205.66 c #Conflicts: 1307000 | #Constraints: 57484 2199.87/2205.66 c #Conflicts: 1308000 | #Constraints: 58484 2199.87/2205.66 c #Conflicts: 1309000 | #Constraints: 59484 2199.87/2205.66 c #Conflicts: 1310000 | #Constraints: 60484 2199.87/2205.66 c #Conflicts: 1311000 | #Constraints: 61484 2199.87/2205.66 c #Conflicts: 1312000 | #Constraints: 62484 2199.87/2205.66 c #Conflicts: 1313000 | #Constraints: 63484 2199.87/2205.66 c #Conflicts: 1314000 | #Constraints: 64484 2199.87/2205.66 c #Conflicts: 1315000 | #Constraints: 65484 2199.87/2205.66 c #Conflicts: 1316000 | #Constraints: 66484 2199.87/2205.66 c #Conflicts: 1317000 | #Constraints: 67484 2199.87/2205.66 c #Conflicts: 1318000 | #Constraints: 68484 2199.87/2205.66 c #Conflicts: 1319000 | #Constraints: 69484 2199.87/2205.66 c #Conflicts: 1320000 | #Constraints: 70484 2199.87/2205.66 c #Conflicts: 1321000 | #Constraints: 71484 2199.87/2205.66 c #Conflicts: 1322000 | #Constraints: 72484 2199.87/2205.66 c #Conflicts: 1323000 | #Constraints: 73484 2199.87/2205.66 c #Conflicts: 1324000 | #Constraints: 74484 2199.87/2205.66 c #Conflicts: 1325000 | #Constraints: 75484 2199.87/2205.66 c INPROCESSING 2199.87/2205.66 c GARBAGE COLLECT 2199.87/2205.66 c rational objective 70 2320.30/2326.43 c #Conflicts: 1326000 | #Constraints: 53701 2320.30/2326.43 c #Conflicts: 1327000 | #Constraints: 54701 2320.30/2326.43 c #Conflicts: 1328000 | #Constraints: 55701 2320.30/2326.43 c #Conflicts: 1329000 | #Constraints: 56701 2320.30/2326.43 c #Conflicts: 1330000 | #Constraints: 57701 2320.30/2326.43 c #Conflicts: 1331000 | #Constraints: 58701 2320.30/2326.43 c #Conflicts: 1332000 | #Constraints: 59701 2320.30/2326.43 c #Conflicts: 1333000 | #Constraints: 60701 2320.30/2326.43 c #Conflicts: 1334000 | #Constraints: 61701 2320.30/2326.43 c #Conflicts: 1335000 | #Constraints: 62701 2320.30/2326.43 c #Conflicts: 1336000 | #Constraints: 63701 2320.30/2326.43 c #Conflicts: 1337000 | #Constraints: 64701 2320.30/2326.43 c #Conflicts: 1338000 | #Constraints: 65701 2320.30/2326.43 c #Conflicts: 1339000 | #Constraints: 66701 2320.30/2326.43 c #Conflicts: 1340000 | #Constraints: 67701 2320.30/2326.43 c #Conflicts: 1341000 | #Constraints: 68701 2320.30/2326.43 c #Conflicts: 1342000 | #Constraints: 69701 2320.30/2326.43 c #Conflicts: 1343000 | #Constraints: 70701 2320.30/2326.43 c #Conflicts: 1344000 | #Constraints: 71701 2320.30/2326.43 c #Conflicts: 1345000 | #Constraints: 72701 2320.30/2326.43 c #Conflicts: 1346000 | #Constraints: 73701 2320.30/2326.43 c #Conflicts: 1347000 | #Constraints: 74701 2320.30/2326.43 c #Conflicts: 1348000 | #Constraints: 75701 2320.30/2326.43 c INPROCESSING 2320.30/2326.43 c GARBAGE COLLECT 2320.30/2326.43 c #Conflicts: 1349000 | #Constraints: 53655 2320.30/2326.43 c #Conflicts: 1350000 | #Constraints: 54655 2320.30/2326.43 c #Conflicts: 1351000 | #Constraints: 55655 2320.30/2326.43 c #Conflicts: 1352000 | #Constraints: 56655 2320.30/2326.43 c #Conflicts: 1353000 | #Constraints: 57655 2320.30/2326.43 c #Conflicts: 1354000 | #Constraints: 58655 2320.30/2326.43 c #Conflicts: 1355000 | #Constraints: 59655 2320.30/2326.43 c #Conflicts: 1356000 | #Constraints: 60655 2320.30/2326.43 c #Conflicts: 1357000 | #Constraints: 61655 2320.30/2326.43 c #Conflicts: 1358000 | #Constraints: 62655 2320.30/2326.43 c #Conflicts: 1359000 | #Constraints: 63655 2320.30/2326.43 c #Conflicts: 1360000 | #Constraints: 64655 2320.30/2326.43 c #Conflicts: 1361000 | #Constraints: 65655 2320.30/2326.43 c #Conflicts: 1362000 | #Constraints: 66655 2320.30/2326.43 c #Conflicts: 1363000 | #Constraints: 67655 2320.30/2326.43 c #Conflicts: 1364000 | #Constraints: 68655 2320.30/2326.43 c #Conflicts: 1365000 | #Constraints: 69655 2320.30/2326.43 c #Conflicts: 1366000 | #Constraints: 70655 2320.30/2326.43 c #Conflicts: 1367000 | #Constraints: 71655 2320.30/2326.43 c #Conflicts: 1368000 | #Constraints: 72655 2320.30/2326.43 c #Conflicts: 1369000 | #Constraints: 73655 2320.30/2326.43 c #Conflicts: 1370000 | #Constraints: 74655 2320.30/2326.43 c #Conflicts: 1371000 | #Constraints: 75655 2320.30/2326.43 c INPROCESSING 2320.30/2326.43 c GARBAGE COLLECT 2320.30/2326.43 c rational objective 70 2440.83/2447.34 c #Conflicts: 1372000 | #Constraints: 53474 2440.83/2447.34 c #Conflicts: 1373000 | #Constraints: 54474 2440.83/2447.34 c #Conflicts: 1374000 | #Constraints: 55474 2440.83/2447.34 c #Conflicts: 1375000 | #Constraints: 56474 2440.83/2447.34 c #Conflicts: 1376000 | #Constraints: 57474 2440.83/2447.34 c #Conflicts: 1377000 | #Constraints: 58474 2440.83/2447.34 c #Conflicts: 1378000 | #Constraints: 59474 2440.83/2447.34 c #Conflicts: 1379000 | #Constraints: 60474 2440.83/2447.34 c #Conflicts: 1380000 | #Constraints: 61474 2440.83/2447.34 c #Conflicts: 1381000 | #Constraints: 62474 2440.83/2447.34 c bounds 189 >= 75 @ 2366.37 2440.83/2447.34 c #Conflicts: 1382000 | #Constraints: 63483 2440.83/2447.34 c #Conflicts: 1383000 | #Constraints: 64483 2440.83/2447.34 c #Conflicts: 1384000 | #Constraints: 65483 2440.83/2447.34 c #Conflicts: 1385000 | #Constraints: 66483 2440.83/2447.34 c #Conflicts: 1386000 | #Constraints: 67483 2440.83/2447.34 c #Conflicts: 1387000 | #Constraints: 68483 2440.83/2447.34 c #Conflicts: 1388000 | #Constraints: 69483 2440.83/2447.34 c #Conflicts: 1389000 | #Constraints: 70483 2440.83/2447.34 c #Conflicts: 1390000 | #Constraints: 71483 2440.83/2447.34 c #Conflicts: 1391000 | #Constraints: 72483 2440.83/2447.34 c #Conflicts: 1392000 | #Constraints: 73483 2440.83/2447.34 c #Conflicts: 1393000 | #Constraints: 74483 2440.83/2447.34 c #Conflicts: 1394000 | #Constraints: 75483 2440.83/2447.34 c #Conflicts: 1395000 | #Constraints: 76483 2440.83/2447.34 c INPROCESSING 2440.83/2447.34 c GARBAGE COLLECT 2440.83/2447.34 c rational objective 75 2493.07/2499.79 c #Conflicts: 1396000 | #Constraints: 54110 2493.07/2499.79 c #Conflicts: 1397000 | #Constraints: 55110 2493.07/2499.79 c #Conflicts: 1398000 | #Constraints: 56110 2493.07/2499.79 c #Conflicts: 1399000 | #Constraints: 57110 2493.07/2499.79 c #Conflicts: 1400000 | #Constraints: 58110 2493.07/2499.79 c #Conflicts: 1401000 | #Constraints: 59110 2493.07/2499.79 c #Conflicts: 1402000 | #Constraints: 60110 2493.07/2499.79 c #Conflicts: 1403000 | #Constraints: 61110 2493.07/2499.79 c #Conflicts: 1404000 | #Constraints: 62110 2493.07/2499.79 c #Conflicts: 1405000 | #Constraints: 63110 2493.07/2499.79 c #Conflicts: 1406000 | #Constraints: 64110 2493.07/2499.79 c #Conflicts: 1407000 | #Constraints: 65110 2493.07/2499.79 c #Conflicts: 1408000 | #Constraints: 66110 2493.07/2499.79 c #Conflicts: 1409000 | #Constraints: 67110 2493.07/2499.79 c #Conflicts: 1410000 | #Constraints: 68110 2493.07/2499.79 c #Conflicts: 1411000 | #Constraints: 69110 2493.07/2499.79 c #Conflicts: 1412000 | #Constraints: 70110 2493.07/2499.79 c #Conflicts: 1413000 | #Constraints: 71110 2493.07/2499.79 c #Conflicts: 1414000 | #Constraints: 72110 2493.07/2499.79 c #Conflicts: 1415000 | #Constraints: 73110 2493.07/2499.79 c #Conflicts: 1416000 | #Constraints: 74110 2493.07/2499.79 c #Conflicts: 1417000 | #Constraints: 75110 2493.07/2499.79 c #Conflicts: 1418000 | #Constraints: 76110 2493.07/2499.79 c #Conflicts: 1419000 | #Constraints: 77110 2493.07/2499.79 c INPROCESSING 2493.07/2499.79 c GARBAGE COLLECT 2493.07/2499.79 c rational objective 75 2547.50/2554.32 c #Conflicts: 1420000 | #Constraints: 54490 2547.50/2554.32 c #Conflicts: 1421000 | #Constraints: 55490 2547.50/2554.32 c #Conflicts: 1422000 | #Constraints: 56490 2547.50/2554.32 c #Conflicts: 1423000 | #Constraints: 57490 2547.50/2554.32 c #Conflicts: 1424000 | #Constraints: 58490 2547.50/2554.32 c #Conflicts: 1425000 | #Constraints: 59490 2547.50/2554.32 c #Conflicts: 1426000 | #Constraints: 60490 2547.50/2554.32 c #Conflicts: 1427000 | #Constraints: 61490 2547.50/2554.32 c #Conflicts: 1428000 | #Constraints: 62490 2547.50/2554.32 c #Conflicts: 1429000 | #Constraints: 63490 2547.50/2554.32 c #Conflicts: 1430000 | #Constraints: 64490 2547.50/2554.32 c #Conflicts: 1431000 | #Constraints: 65491 2547.50/2554.32 c #Conflicts: 1432000 | #Constraints: 66491 2547.50/2554.32 c #Conflicts: 1433000 | #Constraints: 67491 2547.50/2554.32 c #Conflicts: 1434000 | #Constraints: 68491 2547.50/2554.32 c #Conflicts: 1435000 | #Constraints: 69491 2547.50/2554.32 c #Conflicts: 1436000 | #Constraints: 70491 2547.50/2554.32 c #Conflicts: 1437000 | #Constraints: 71491 2547.50/2554.32 c #Conflicts: 1438000 | #Constraints: 72491 2547.50/2554.32 c #Conflicts: 1439000 | #Constraints: 73491 2547.50/2554.32 c #Conflicts: 1440000 | #Constraints: 74491 2547.50/2554.32 c #Conflicts: 1441000 | #Constraints: 75491 2547.50/2554.32 c #Conflicts: 1442000 | #Constraints: 76491 2547.50/2554.32 c #Conflicts: 1443000 | #Constraints: 77491 2547.50/2554.32 c INPROCESSING 2547.50/2554.32 c GARBAGE COLLECT 2547.50/2554.32 c rational objective 75 2616.39/2623.49 c #Conflicts: 1444000 | #Constraints: 54707 2616.39/2623.49 c #Conflicts: 1445000 | #Constraints: 55707 2616.39/2623.49 c #Conflicts: 1446000 | #Constraints: 56707 2616.39/2623.49 c #Conflicts: 1447000 | #Constraints: 57707 2616.39/2623.49 c #Conflicts: 1448000 | #Constraints: 58707 2616.39/2623.49 c #Conflicts: 1449000 | #Constraints: 59707 2616.39/2623.49 c #Conflicts: 1450000 | #Constraints: 60707 2616.39/2623.49 c #Conflicts: 1451000 | #Constraints: 61707 2616.39/2623.49 c #Conflicts: 1452000 | #Constraints: 62707 2616.39/2623.49 c #Conflicts: 1453000 | #Constraints: 63707 2616.39/2623.49 c #Conflicts: 1454000 | #Constraints: 64707 2616.39/2623.49 c #Conflicts: 1455000 | #Constraints: 65707 2616.39/2623.49 c #Conflicts: 1456000 | #Constraints: 66707 2616.39/2623.49 c #Conflicts: 1457000 | #Constraints: 67707 2616.39/2623.49 c #Conflicts: 1458000 | #Constraints: 68707 2616.39/2623.49 c #Conflicts: 1459000 | #Constraints: 69707 2616.39/2623.49 c #Conflicts: 1460000 | #Constraints: 70707 2616.39/2623.49 c #Conflicts: 1461000 | #Constraints: 71707 2616.39/2623.49 c #Conflicts: 1462000 | #Constraints: 72707 2616.39/2623.49 c #Conflicts: 1463000 | #Constraints: 73707 2616.39/2623.49 c #Conflicts: 1464000 | #Constraints: 74707 2616.39/2623.49 c #Conflicts: 1465000 | #Constraints: 75707 2616.39/2623.49 c #Conflicts: 1466000 | #Constraints: 76707 2616.39/2623.49 c #Conflicts: 1467000 | #Constraints: 77707 2616.39/2623.49 c INPROCESSING 2616.39/2623.49 c GARBAGE COLLECT 2616.39/2623.49 c rational objective 75 2700.34/2707.69 c #Conflicts: 1468000 | #Constraints: 54518 2700.34/2707.69 c #Conflicts: 1469000 | #Constraints: 55518 2700.34/2707.69 c #Conflicts: 1470000 | #Constraints: 56518 2700.34/2707.69 c #Conflicts: 1471000 | #Constraints: 57518 2700.34/2707.69 c #Conflicts: 1472000 | #Constraints: 58518 2700.34/2707.69 c #Conflicts: 1473000 | #Constraints: 59518 2700.34/2707.69 c #Conflicts: 1474000 | #Constraints: 60518 2700.34/2707.69 c #Conflicts: 1475000 | #Constraints: 61518 2700.34/2707.69 c #Conflicts: 1476000 | #Constraints: 62518 2700.34/2707.69 c #Conflicts: 1477000 | #Constraints: 63518 2700.34/2707.69 c #Conflicts: 1478000 | #Constraints: 64518 2700.34/2707.69 c #Conflicts: 1479000 | #Constraints: 65518 2700.34/2707.69 c #Conflicts: 1480000 | #Constraints: 66518 2700.34/2707.69 c #Conflicts: 1481000 | #Constraints: 67518 2700.34/2707.69 c #Conflicts: 1482000 | #Constraints: 68518 2700.34/2707.69 c #Conflicts: 1483000 | #Constraints: 69518 2700.34/2707.69 c #Conflicts: 1484000 | #Constraints: 70518 2700.34/2707.69 c #Conflicts: 1485000 | #Constraints: 71518 2700.34/2707.69 c #Conflicts: 1486000 | #Constraints: 72518 2700.34/2707.69 c #Conflicts: 1487000 | #Constraints: 73518 2700.34/2707.69 c #Conflicts: 1488000 | #Constraints: 74518 2700.34/2707.69 c #Conflicts: 1489000 | #Constraints: 75518 2700.34/2707.69 c #Conflicts: 1490000 | #Constraints: 76518 2700.34/2707.69 c #Conflicts: 1491000 | #Constraints: 77518 2700.34/2707.69 c INPROCESSING 2700.34/2707.69 c GARBAGE COLLECT 2700.34/2707.69 c rational objective 75 2746.00/2753.49 c #Conflicts: 1492000 | #Constraints: 54413 2746.00/2753.49 c #Conflicts: 1493000 | #Constraints: 55413 2746.00/2753.49 c #Conflicts: 1494000 | #Constraints: 56413 2746.00/2753.49 c #Conflicts: 1495000 | #Constraints: 57413 2746.00/2753.49 c #Conflicts: 1496000 | #Constraints: 58413 2746.00/2753.49 c #Conflicts: 1497000 | #Constraints: 59413 2746.00/2753.49 c #Conflicts: 1498000 | #Constraints: 60413 2746.00/2753.49 c #Conflicts: 1499000 | #Constraints: 61413 2746.00/2753.49 c #Conflicts: 1500000 | #Constraints: 62413 2746.00/2753.49 c #Conflicts: 1501000 | #Constraints: 63413 2746.00/2753.49 c #Conflicts: 1502000 | #Constraints: 64413 2746.00/2753.49 c #Conflicts: 1503000 | #Constraints: 65413 2746.00/2753.49 c #Conflicts: 1504000 | #Constraints: 66413 2746.00/2753.49 c #Conflicts: 1505000 | #Constraints: 67413 2746.00/2753.49 c #Conflicts: 1506000 | #Constraints: 68413 2746.00/2753.49 c #Conflicts: 1507000 | #Constraints: 69413 2746.00/2753.49 c #Conflicts: 1508000 | #Constraints: 70413 2746.00/2753.49 c #Conflicts: 1509000 | #Constraints: 71413 2746.00/2753.49 c #Conflicts: 1510000 | #Constraints: 72413 2746.00/2753.49 c #Conflicts: 1511000 | #Constraints: 73413 2746.00/2753.49 c #Conflicts: 1512000 | #Constraints: 74413 2746.00/2753.49 c #Conflicts: 1513000 | #Constraints: 75413 2746.00/2753.49 c #Conflicts: 1514000 | #Constraints: 76413 2746.00/2753.49 c #Conflicts: 1515000 | #Constraints: 77413 2746.00/2753.49 c #Conflicts: 1516000 | #Constraints: 78413 2746.00/2753.49 c INPROCESSING 2746.00/2753.49 c GARBAGE COLLECT 2746.00/2753.49 c rational objective 75 2816.29/2823.96 c #Conflicts: 1517000 | #Constraints: 55039 2816.29/2823.96 c #Conflicts: 1518000 | #Constraints: 56039 2816.29/2823.96 c #Conflicts: 1519000 | #Constraints: 57039 2816.29/2823.96 c #Conflicts: 1520000 | #Constraints: 58039 2816.29/2823.96 c #Conflicts: 1521000 | #Constraints: 59039 2816.29/2823.96 c #Conflicts: 1522000 | #Constraints: 60039 2816.29/2823.96 c #Conflicts: 1523000 | #Constraints: 61039 2816.29/2823.96 c #Conflicts: 1524000 | #Constraints: 62039 2816.29/2823.96 c #Conflicts: 1525000 | #Constraints: 63039 2816.29/2823.96 c #Conflicts: 1526000 | #Constraints: 64039 2816.29/2823.96 c #Conflicts: 1527000 | #Constraints: 65039 2816.29/2823.96 c #Conflicts: 1528000 | #Constraints: 66039 2816.29/2823.96 c #Conflicts: 1529000 | #Constraints: 67039 2816.29/2823.96 c #Conflicts: 1530000 | #Constraints: 68039 2816.29/2823.96 c #Conflicts: 1531000 | #Constraints: 69039 2816.29/2823.96 c #Conflicts: 1532000 | #Constraints: 70039 2816.29/2823.96 c #Conflicts: 1533000 | #Constraints: 71039 2816.29/2823.96 c #Conflicts: 1534000 | #Constraints: 72039 2816.29/2823.96 c #Conflicts: 1535000 | #Constraints: 73039 2816.29/2823.96 c #Conflicts: 1536000 | #Constraints: 74039 2816.29/2823.96 c #Conflicts: 1537000 | #Constraints: 75039 2816.29/2823.96 c #Conflicts: 1538000 | #Constraints: 76039 2816.29/2823.96 c #Conflicts: 1539000 | #Constraints: 77039 2816.29/2823.96 c #Conflicts: 1540000 | #Constraints: 78039 2816.29/2823.96 c #Conflicts: 1541000 | #Constraints: 79039 2816.29/2823.96 c INPROCESSING 2816.29/2823.96 c GARBAGE COLLECT 2816.29/2823.96 c rational objective 75 2861.26/2869.04 c #Conflicts: 1542000 | #Constraints: 55462 2861.26/2869.04 c #Conflicts: 1543000 | #Constraints: 56462 2861.26/2869.04 c #Conflicts: 1544000 | #Constraints: 57462 2861.26/2869.04 c #Conflicts: 1545000 | #Constraints: 58462 2861.26/2869.04 c #Conflicts: 1546000 | #Constraints: 59462 2861.26/2869.04 c #Conflicts: 1547000 | #Constraints: 60462 2861.26/2869.04 c #Conflicts: 1548000 | #Constraints: 61462 2861.26/2869.04 c #Conflicts: 1549000 | #Constraints: 62462 2861.26/2869.04 c #Conflicts: 1550000 | #Constraints: 63462 2861.26/2869.04 c #Conflicts: 1551000 | #Constraints: 64462 2861.26/2869.04 c #Conflicts: 1552000 | #Constraints: 65462 2861.26/2869.04 c #Conflicts: 1553000 | #Constraints: 66462 2861.26/2869.04 c #Conflicts: 1554000 | #Constraints: 67462 2861.26/2869.04 c #Conflicts: 1555000 | #Constraints: 68462 2861.26/2869.04 c #Conflicts: 1556000 | #Constraints: 69462 2861.26/2869.04 c #Conflicts: 1557000 | #Constraints: 70462 2861.26/2869.04 c #Conflicts: 1558000 | #Constraints: 71462 2861.26/2869.04 c #Conflicts: 1559000 | #Constraints: 72462 2861.26/2869.04 c #Conflicts: 1560000 | #Constraints: 73462 2861.26/2869.04 c #Conflicts: 1561000 | #Constraints: 74462 2861.26/2869.04 c #Conflicts: 1562000 | #Constraints: 75462 2861.26/2869.04 c #Conflicts: 1563000 | #Constraints: 76462 2861.26/2869.04 c #Conflicts: 1564000 | #Constraints: 77462 2861.26/2869.04 c #Conflicts: 1565000 | #Constraints: 78462 2861.26/2869.04 c #Conflicts: 1566000 | #Constraints: 79462 2861.26/2869.04 c INPROCESSING 2861.26/2869.04 c GARBAGE COLLECT 2861.26/2869.04 c rational objective 75 2919.48/2927.46 c #Conflicts: 1567000 | #Constraints: 55695 2919.48/2927.46 c #Conflicts: 1568000 | #Constraints: 56695 2919.48/2927.46 c #Conflicts: 1569000 | #Constraints: 57695 2919.48/2927.46 c #Conflicts: 1570000 | #Constraints: 58695 2919.48/2927.46 c #Conflicts: 1571000 | #Constraints: 59695 2919.48/2927.46 c #Conflicts: 1572000 | #Constraints: 60695 2919.48/2927.46 c #Conflicts: 1573000 | #Constraints: 61695 2919.48/2927.46 c #Conflicts: 1574000 | #Constraints: 62695 2919.48/2927.46 c #Conflicts: 1575000 | #Constraints: 63695 2919.48/2927.46 c #Conflicts: 1576000 | #Constraints: 64695 2919.48/2927.46 c #Conflicts: 1577000 | #Constraints: 65695 2919.48/2927.46 c #Conflicts: 1578000 | #Constraints: 66695 2919.48/2927.46 c #Conflicts: 1579000 | #Constraints: 67695 2919.48/2927.46 c #Conflicts: 1580000 | #Constraints: 68695 2919.48/2927.46 c #Conflicts: 1581000 | #Constraints: 69695 2919.48/2927.46 c #Conflicts: 1582000 | #Constraints: 70695 2919.48/2927.46 c #Conflicts: 1583000 | #Constraints: 71695 2919.48/2927.46 c #Conflicts: 1584000 | #Constraints: 72695 2919.48/2927.46 c #Conflicts: 1585000 | #Constraints: 73695 2919.48/2927.46 c #Conflicts: 1586000 | #Constraints: 74695 2919.48/2927.46 c #Conflicts: 1587000 | #Constraints: 75695 2919.48/2927.46 c #Conflicts: 1588000 | #Constraints: 76695 2919.48/2927.46 c #Conflicts: 1589000 | #Constraints: 77695 2919.48/2927.46 c #Conflicts: 1590000 | #Constraints: 78695 2919.48/2927.46 c #Conflicts: 1591000 | #Constraints: 79695 2919.48/2927.46 c INPROCESSING 2919.48/2927.46 c GARBAGE COLLECT 2919.48/2927.46 c rational objective 75 2951.48/2959.59 c #Conflicts: 1592000 | #Constraints: 55681 2951.48/2959.59 c #Conflicts: 1593000 | #Constraints: 56681 2951.48/2959.59 c #Conflicts: 1594000 | #Constraints: 57681 2951.48/2959.59 c #Conflicts: 1595000 | #Constraints: 58681 2951.48/2959.59 c #Conflicts: 1596000 | #Constraints: 59681 2951.48/2959.59 c #Conflicts: 1597000 | #Constraints: 60681 2951.48/2959.59 c #Conflicts: 1598000 | #Constraints: 61681 2951.48/2959.59 c #Conflicts: 1599000 | #Constraints: 62681 2951.48/2959.59 c #Conflicts: 1600000 | #Constraints: 63681 2951.48/2959.59 c #Conflicts: 1601000 | #Constraints: 64681 2951.48/2959.59 c #Conflicts: 1602000 | #Constraints: 65681 2951.48/2959.59 c #Conflicts: 1603000 | #Constraints: 66681 2951.48/2959.59 c #Conflicts: 1604000 | #Constraints: 67681 2951.48/2959.59 c #Conflicts: 1605000 | #Constraints: 68681 2951.48/2959.59 c #Conflicts: 1606000 | #Constraints: 69681 2951.48/2959.59 c #Conflicts: 1607000 | #Constraints: 70681 2951.48/2959.59 c #Conflicts: 1608000 | #Constraints: 71681 2951.48/2959.59 c #Conflicts: 1609000 | #Constraints: 72681 2951.48/2959.59 c #Conflicts: 1610000 | #Constraints: 73681 2951.48/2959.59 c #Conflicts: 1611000 | #Constraints: 74681 2951.48/2959.59 c #Conflicts: 1612000 | #Constraints: 75681 2951.48/2959.59 c #Conflicts: 1613000 | #Constraints: 76681 2951.48/2959.59 c #Conflicts: 1614000 | #Constraints: 77681 2951.48/2959.59 c #Conflicts: 1615000 | #Constraints: 78681 2951.48/2959.59 c #Conflicts: 1616000 | #Constraints: 79681 2951.48/2959.59 c INPROCESSING 2951.48/2959.59 c GARBAGE COLLECT 2951.48/2959.59 c rational objective 75 3024.26/3032.56 c #Conflicts: 1617000 | #Constraints: 55484 3024.26/3032.56 c #Conflicts: 1618000 | #Constraints: 56484 3024.26/3032.56 c #Conflicts: 1619000 | #Constraints: 57484 3024.26/3032.56 c #Conflicts: 1620000 | #Constraints: 58484 3024.26/3032.56 c #Conflicts: 1621000 | #Constraints: 59484 3024.26/3032.56 c #Conflicts: 1622000 | #Constraints: 60484 3024.26/3032.56 c #Conflicts: 1623000 | #Constraints: 61484 3024.26/3032.56 c #Conflicts: 1624000 | #Constraints: 62484 3024.26/3032.56 c #Conflicts: 1625000 | #Constraints: 63484 3024.26/3032.56 c #Conflicts: 1626000 | #Constraints: 64484 3024.26/3032.56 c #Conflicts: 1627000 | #Constraints: 65484 3024.26/3032.56 c #Conflicts: 1628000 | #Constraints: 66484 3024.26/3032.56 c #Conflicts: 1629000 | #Constraints: 67484 3024.26/3032.56 c #Conflicts: 1630000 | #Constraints: 68484 3024.26/3032.56 c #Conflicts: 1631000 | #Constraints: 69484 3024.26/3032.56 c #Conflicts: 1632000 | #Constraints: 70484 3024.26/3032.56 c #Conflicts: 1633000 | #Constraints: 71484 3024.26/3032.56 c #Conflicts: 1634000 | #Constraints: 72484 3024.26/3032.56 c #Conflicts: 1635000 | #Constraints: 73484 3024.26/3032.56 c #Conflicts: 1636000 | #Constraints: 74484 3024.26/3032.56 c #Conflicts: 1637000 | #Constraints: 75484 3024.26/3032.56 c #Conflicts: 1638000 | #Constraints: 76484 3024.26/3032.56 c #Conflicts: 1639000 | #Constraints: 77484 3024.26/3032.56 c #Conflicts: 1640000 | #Constraints: 78484 3024.26/3032.56 c #Conflicts: 1641000 | #Constraints: 79484 3024.26/3032.56 c #Conflicts: 1642000 | #Constraints: 80484 3024.26/3032.56 c INPROCESSING 3024.26/3032.56 c GARBAGE COLLECT 3024.26/3032.56 c rational objective 75 3125.88/3134.42 c #Conflicts: 1643000 | #Constraints: 56094 3125.88/3134.42 c #Conflicts: 1644000 | #Constraints: 57094 3125.88/3134.42 c #Conflicts: 1645000 | #Constraints: 58094 3125.88/3134.42 c #Conflicts: 1646000 | #Constraints: 59094 3125.88/3134.42 c #Conflicts: 1647000 | #Constraints: 60094 3125.88/3134.42 c #Conflicts: 1648000 | #Constraints: 61094 3125.88/3134.42 c #Conflicts: 1649000 | #Constraints: 62094 3125.88/3134.42 c #Conflicts: 1650000 | #Constraints: 63094 3125.88/3134.42 c #Conflicts: 1651000 | #Constraints: 64094 3125.88/3134.42 c #Conflicts: 1652000 | #Constraints: 65094 3125.88/3134.42 c #Conflicts: 1653000 | #Constraints: 66094 3125.88/3134.42 c #Conflicts: 1654000 | #Constraints: 67094 3125.88/3134.42 c #Conflicts: 1655000 | #Constraints: 68094 3125.88/3134.42 c #Conflicts: 1656000 | #Constraints: 69094 3125.88/3134.42 c #Conflicts: 1657000 | #Constraints: 70094 3125.88/3134.42 c #Conflicts: 1658000 | #Constraints: 71094 3125.88/3134.42 c #Conflicts: 1659000 | #Constraints: 72094 3125.88/3134.42 c #Conflicts: 1660000 | #Constraints: 73094 3125.88/3134.42 c #Conflicts: 1661000 | #Constraints: 74094 3125.88/3134.42 c #Conflicts: 1662000 | #Constraints: 75094 3125.88/3134.42 c #Conflicts: 1663000 | #Constraints: 76094 3125.88/3134.42 c #Conflicts: 1664000 | #Constraints: 77094 3125.88/3134.42 c #Conflicts: 1665000 | #Constraints: 78094 3125.88/3134.42 c #Conflicts: 1666000 | #Constraints: 79094 3125.88/3134.42 c #Conflicts: 1667000 | #Constraints: 80094 3125.88/3134.42 c #Conflicts: 1668000 | #Constraints: 81094 3125.88/3134.42 c INPROCESSING 3125.88/3134.42 c GARBAGE COLLECT 3125.88/3134.42 c rational objective 75 3184.12/3192.89 c #Conflicts: 1669000 | #Constraints: 56048 3184.12/3192.89 c #Conflicts: 1670000 | #Constraints: 57048 3184.12/3192.89 c #Conflicts: 1671000 | #Constraints: 58048 3184.12/3192.89 c #Conflicts: 1672000 | #Constraints: 59048 3184.12/3192.89 c #Conflicts: 1673000 | #Constraints: 60048 3184.12/3192.89 c #Conflicts: 1674000 | #Constraints: 61048 3184.12/3192.89 c #Conflicts: 1675000 | #Constraints: 62048 3184.12/3192.89 c #Conflicts: 1676000 | #Constraints: 63048 3184.12/3192.89 c #Conflicts: 1677000 | #Constraints: 64048 3184.12/3192.89 c #Conflicts: 1678000 | #Constraints: 65048 3184.12/3192.89 c #Conflicts: 1679000 | #Constraints: 66048 3184.12/3192.89 c #Conflicts: 1680000 | #Constraints: 67048 3184.12/3192.89 c #Conflicts: 1681000 | #Constraints: 68048 3184.12/3192.89 c #Conflicts: 1682000 | #Constraints: 69048 3184.12/3192.89 c #Conflicts: 1683000 | #Constraints: 70048 3184.12/3192.89 c #Conflicts: 1684000 | #Constraints: 71048 3184.12/3192.89 c #Conflicts: 1685000 | #Constraints: 72048 3184.12/3192.89 c #Conflicts: 1686000 | #Constraints: 73048 3184.12/3192.89 c #Conflicts: 1687000 | #Constraints: 74048 3184.12/3192.89 c #Conflicts: 1688000 | #Constraints: 75048 3184.12/3192.89 c #Conflicts: 1689000 | #Constraints: 76048 3184.12/3192.89 c #Conflicts: 1690000 | #Constraints: 77048 3184.12/3192.89 c #Conflicts: 1691000 | #Constraints: 78048 3184.12/3192.89 c #Conflicts: 1692000 | #Constraints: 79048 3184.12/3192.89 c #Conflicts: 1693000 | #Constraints: 80048 3184.12/3192.89 c #Conflicts: 1694000 | #Constraints: 81048 3184.12/3192.89 c INPROCESSING 3184.12/3192.89 c GARBAGE COLLECT 3184.12/3192.89 c rational objective 75 3289.75/3298.78 c #Conflicts: 1695000 | #Constraints: 56461 3289.75/3298.78 c #Conflicts: 1696000 | #Constraints: 57461 3289.75/3298.78 c #Conflicts: 1697000 | #Constraints: 58461 3289.75/3298.78 c #Conflicts: 1698000 | #Constraints: 59461 3289.75/3298.78 c #Conflicts: 1699000 | #Constraints: 60461 3289.75/3298.78 c #Conflicts: 1700000 | #Constraints: 61461 3289.75/3298.78 c #Conflicts: 1701000 | #Constraints: 62461 3289.75/3298.78 c #Conflicts: 1702000 | #Constraints: 63461 3289.75/3298.78 c #Conflicts: 1703000 | #Constraints: 64461 3289.75/3298.78 c #Conflicts: 1704000 | #Constraints: 65461 3289.75/3298.78 c #Conflicts: 1705000 | #Constraints: 66461 3289.75/3298.78 c #Conflicts: 1706000 | #Constraints: 67461 3289.75/3298.78 c #Conflicts: 1707000 | #Constraints: 68461 3289.75/3298.78 c #Conflicts: 1708000 | #Constraints: 69461 3289.75/3298.78 c #Conflicts: 1709000 | #Constraints: 70461 3289.75/3298.78 c #Conflicts: 1710000 | #Constraints: 71461 3289.75/3298.78 c #Conflicts: 1711000 | #Constraints: 72461 3289.75/3298.78 c #Conflicts: 1712000 | #Constraints: 73461 3289.75/3298.78 c #Conflicts: 1713000 | #Constraints: 74461 3289.75/3298.78 c #Conflicts: 1714000 | #Constraints: 75461 3289.75/3298.78 c #Conflicts: 1715000 | #Constraints: 76461 3289.75/3298.78 c #Conflicts: 1716000 | #Constraints: 77461 3289.75/3298.78 c #Conflicts: 1717000 | #Constraints: 78461 3289.75/3298.78 c #Conflicts: 1718000 | #Constraints: 79461 3289.75/3298.78 c #Conflicts: 1719000 | #Constraints: 80461 3289.75/3298.78 c #Conflicts: 1720000 | #Constraints: 81461 3289.75/3298.78 c INPROCESSING 3289.75/3298.78 c GARBAGE COLLECT 3289.75/3298.78 c rational objective 75 3349.90/3359.03 c #Conflicts: 1721000 | #Constraints: 56583 3349.90/3359.03 c #Conflicts: 1722000 | #Constraints: 57583 3349.90/3359.03 c #Conflicts: 1723000 | #Constraints: 58583 3349.90/3359.03 c #Conflicts: 1724000 | #Constraints: 59583 3349.90/3359.03 c #Conflicts: 1725000 | #Constraints: 60583 3349.90/3359.03 c #Conflicts: 1726000 | #Constraints: 61583 3349.90/3359.03 c #Conflicts: 1727000 | #Constraints: 62583 3349.90/3359.03 c #Conflicts: 1728000 | #Constraints: 63583 3349.90/3359.03 c #Conflicts: 1729000 | #Constraints: 64583 3349.90/3359.03 c #Conflicts: 1730000 | #Constraints: 65583 3349.90/3359.03 c #Conflicts: 1731000 | #Constraints: 66583 3349.90/3359.03 c #Conflicts: 1732000 | #Constraints: 67583 3349.90/3359.03 c #Conflicts: 1733000 | #Constraints: 68583 3349.90/3359.03 c #Conflicts: 1734000 | #Constraints: 69583 3349.90/3359.03 c #Conflicts: 1735000 | #Constraints: 70583 3349.90/3359.03 c #Conflicts: 1736000 | #Constraints: 71583 3349.90/3359.03 c #Conflicts: 1737000 | #Constraints: 72583 3349.90/3359.03 c #Conflicts: 1738000 | #Constraints: 73583 3349.90/3359.03 c #Conflicts: 1739000 | #Constraints: 74583 3349.90/3359.03 c #Conflicts: 1740000 | #Constraints: 75583 3349.90/3359.03 c #Conflicts: 1741000 | #Constraints: 76583 3349.90/3359.03 c #Conflicts: 1742000 | #Constraints: 77583 3349.90/3359.03 c #Conflicts: 1743000 | #Constraints: 78583 3349.90/3359.03 c #Conflicts: 1744000 | #Constraints: 79583 3349.90/3359.03 c #Conflicts: 1745000 | #Constraints: 80583 3349.90/3359.03 c #Conflicts: 1746000 | #Constraints: 81583 3349.90/3359.03 c INPROCESSING 3349.90/3359.03 c GARBAGE COLLECT 3349.90/3359.03 c rational objective 75 3423.31/3432.62 c #Conflicts: 1747000 | #Constraints: 56438 3423.31/3432.62 c #Conflicts: 1748000 | #Constraints: 57438 3423.31/3432.62 c #Conflicts: 1749000 | #Constraints: 58438 3423.31/3432.62 c #Conflicts: 1750000 | #Constraints: 59438 3423.31/3432.62 c #Conflicts: 1751000 | #Constraints: 60438 3423.31/3432.62 c #Conflicts: 1752000 | #Constraints: 61438 3423.31/3432.62 c #Conflicts: 1753000 | #Constraints: 62438 3423.31/3432.62 c #Conflicts: 1754000 | #Constraints: 63438 3423.31/3432.62 c #Conflicts: 1755000 | #Constraints: 64438 3423.31/3432.62 c #Conflicts: 1756000 | #Constraints: 65438 3423.31/3432.62 c #Conflicts: 1757000 | #Constraints: 66438 3423.31/3432.62 c #Conflicts: 1758000 | #Constraints: 67438 3423.31/3432.62 c #Conflicts: 1759000 | #Constraints: 68438 3423.31/3432.62 c #Conflicts: 1760000 | #Constraints: 69438 3423.31/3432.62 c #Conflicts: 1761000 | #Constraints: 70438 3423.31/3432.62 c #Conflicts: 1762000 | #Constraints: 71438 3423.31/3432.62 c #Conflicts: 1763000 | #Constraints: 72438 3423.31/3432.62 c #Conflicts: 1764000 | #Constraints: 73438 3423.31/3432.62 c #Conflicts: 1765000 | #Constraints: 74438 3423.31/3432.62 c #Conflicts: 1766000 | #Constraints: 75438 3423.31/3432.62 c #Conflicts: 1767000 | #Constraints: 76438 3423.31/3432.62 c #Conflicts: 1768000 | #Constraints: 77438 3423.31/3432.62 c #Conflicts: 1769000 | #Constraints: 78438 3423.31/3432.62 c #Conflicts: 1770000 | #Constraints: 79438 3423.31/3432.62 c #Conflicts: 1771000 | #Constraints: 80438 3423.31/3432.62 c #Conflicts: 1772000 | #Constraints: 81438 3423.31/3432.62 c #Conflicts: 1773000 | #Constraints: 82438 3423.31/3432.62 c INPROCESSING 3423.31/3432.62 c GARBAGE COLLECT 3423.31/3432.62 c rational objective 75 3479.45/3488.95 c #Conflicts: 1774000 | #Constraints: 57048 3479.45/3488.95 c #Conflicts: 1775000 | #Constraints: 58048 3479.45/3488.95 c #Conflicts: 1776000 | #Constraints: 59048 3479.45/3488.95 c #Conflicts: 1777000 | #Constraints: 60048 3479.45/3488.95 c #Conflicts: 1778000 | #Constraints: 61048 3479.45/3488.95 c #Conflicts: 1779000 | #Constraints: 62048 3479.45/3488.95 c #Conflicts: 1780000 | #Constraints: 63048 3479.45/3488.95 c #Conflicts: 1781000 | #Constraints: 64048 3479.45/3488.95 c #Conflicts: 1782000 | #Constraints: 65048 3479.45/3488.95 c #Conflicts: 1783000 | #Constraints: 66048 3479.45/3488.95 c #Conflicts: 1784000 | #Constraints: 67048 3479.45/3488.95 c #Conflicts: 1785000 | #Constraints: 68048 3479.45/3488.95 c #Conflicts: 1786000 | #Constraints: 69048 3479.45/3488.95 c #Conflicts: 1787000 | #Constraints: 70048 3479.45/3488.95 c #Conflicts: 1788000 | #Constraints: 71048 3479.45/3488.95 c #Conflicts: 1789000 | #Constraints: 72048 3479.45/3488.95 c #Conflicts: 1790000 | #Constraints: 73048 3479.45/3488.95 c #Conflicts: 1791000 | #Constraints: 74048 3479.45/3488.95 c #Conflicts: 1792000 | #Constraints: 75048 3479.45/3488.95 c #Conflicts: 1793000 | #Constraints: 76048 3479.45/3488.95 c #Conflicts: 1794000 | #Constraints: 77048 3479.45/3488.95 c #Conflicts: 1795000 | #Constraints: 78048 3479.45/3488.95 c #Conflicts: 1796000 | #Constraints: 79048 3479.45/3488.95 c #Conflicts: 1797000 | #Constraints: 80048 3479.45/3488.95 c #Conflicts: 1798000 | #Constraints: 81048 3479.45/3488.95 c #Conflicts: 1799000 | #Constraints: 82048 3479.45/3488.95 c #Conflicts: 1800000 | #Constraints: 83048 3479.45/3488.95 c INPROCESSING 3479.45/3488.95 c GARBAGE COLLECT 3479.45/3488.95 c rational objective 75 3553.57/3563.22 c #Conflicts: 1801000 | #Constraints: 57467 3553.57/3563.22 c #Conflicts: 1802000 | #Constraints: 58467 3553.57/3563.22 c #Conflicts: 1803000 | #Constraints: 59467 3553.57/3563.22 c #Conflicts: 1804000 | #Constraints: 60467 3553.57/3563.22 c #Conflicts: 1805000 | #Constraints: 61467 3553.57/3563.22 c #Conflicts: 1806000 | #Constraints: 62467 3553.57/3563.22 c #Conflicts: 1807000 | #Constraints: 63467 3553.57/3563.22 c #Conflicts: 1808000 | #Constraints: 64467 3553.57/3563.22 c #Conflicts: 1809000 | #Constraints: 65467 3553.57/3563.22 c #Conflicts: 1810000 | #Constraints: 66467 3553.57/3563.22 c #Conflicts: 1811000 | #Constraints: 67467 3553.57/3563.22 c #Conflicts: 1812000 | #Constraints: 68467 3553.57/3563.22 c #Conflicts: 1813000 | #Constraints: 69467 3553.57/3563.22 c #Conflicts: 1814000 | #Constraints: 70467 3553.57/3563.22 c #Conflicts: 1815000 | #Constraints: 71467 3553.57/3563.22 c #Conflicts: 1816000 | #Constraints: 72467 3553.57/3563.22 c #Conflicts: 1817000 | #Constraints: 73467 3553.57/3563.22 c #Conflicts: 1818000 | #Constraints: 74467 3553.57/3563.22 c #Conflicts: 1819000 | #Constraints: 75467 3553.57/3563.22 c #Conflicts: 1820000 | #Constraints: 76467 3553.57/3563.22 c #Conflicts: 1821000 | #Constraints: 77467 3553.57/3563.22 c #Conflicts: 1822000 | #Constraints: 78467 3553.57/3563.22 c #Conflicts: 1823000 | #Constraints: 79467 3553.57/3563.22 c #Conflicts: 1824000 | #Constraints: 80467 3553.57/3563.22 c #Conflicts: 1825000 | #Constraints: 81467 3553.57/3563.22 c #Conflicts: 1826000 | #Constraints: 82467 3553.57/3563.22 c #Conflicts: 1827000 | #Constraints: 83467 3553.57/3563.22 c INPROCESSING 3553.57/3563.22 c GARBAGE COLLECT 3553.57/3563.22 c rational objective 75
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: 63968 MiB (59351 MiB free)
memory of node 1: 64473 MiB (63158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455407-1721465062/watcher-4455407-1721465062 -o /tmp/evaluation-result-4455407-1721465062/solver-4455407-1721465062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040619 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455407-1721465062.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=1046030, runsolver pid=1046027
[startup+0.10091 s]*
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125424304/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=62036 memory=34512 CPUtime=0.1 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 7853 0 0 0 7 3 0 0 20 0 1 0 198673225 63524864 8628 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 15509 8628 1656 922 0 7461 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62036 KiB
Current children cumulated memory: 34512 KiB
[startup+0.205583 s]*
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125424604/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=59256 memory=31604 CPUtime=0.2 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 8071 0 0 0 17 3 0 0 20 0 1 0 198673225 60678144 7901 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 14814 7901 1656 922 0 6766 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59256 KiB
Current children cumulated memory: 31604 KiB
[startup+0.305488 s]*
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125424464/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=60764 memory=32224 CPUtime=0.3 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 8134 0 0 0 27 3 0 0 20 0 1 0 198673225 62222336 8056 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 15191 8056 1752 922 0 7143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60764 KiB
Current children cumulated memory: 32224 KiB
[startup+0.700222 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125423716/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=61784 memory=33656 CPUtime=0.69 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 8464 0 0 0 62 7 0 0 20 0 1 0 198673225 63266816 8414 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 15446 8414 1782 922 0 7398 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61784 KiB
Current children cumulated memory: 33656 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125421768/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=63348 memory=35504 CPUtime=1.48 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 8960 0 0 0 140 8 0 0 20 0 1 0 198673225 64868352 8876 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 15837 8876 1782 922 0 7789 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63348 KiB
Current children cumulated memory: 35504 KiB
[startup+3.10557 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125420280/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=63952 memory=36296 CPUtime=3.09 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 9123 0 0 0 298 11 0 0 20 0 1 0 198673225 65486848 9074 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 15988 9074 1782 922 0 7940 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63952 KiB
Current children cumulated memory: 36296 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.11 4.10 5/256 1046031
/proc/meminfo: memFree=125418756/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=66216 memory=38628 CPUtime=6.28 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 10095 0 0 0 595 33 0 0 20 0 1 0 198673225 67805184 9657 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 16554 9657 1852 922 0 8506 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 66216 KiB
Current children cumulated memory: 38628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.10 5/256 1046033
/proc/meminfo: memFree=125415060/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=67344 memory=40204 CPUtime=12.66 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 10446 0 0 0 1227 39 0 0 20 0 1 0 198673225 68960256 10051 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 16836 10051 1852 922 0 8788 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 67344 KiB
Current children cumulated memory: 40204 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1046034
/proc/meminfo: memFree=125414228/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=67640 memory=40728 CPUtime=25.42 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 10563 0 0 0 2498 44 0 0 20 0 1 0 198673225 69263360 10182 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 16910 10182 1852 922 0 8862 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 67640 KiB
Current children cumulated memory: 40728 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.11 4.10 5/254 1046039
/proc/meminfo: memFree=125408068/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=72880 memory=44156 CPUtime=50.95 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 11479 0 0 0 5035 60 0 0 20 0 1 0 198673225 74629120 11039 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 18220 11039 1852 922 0 10172 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 44156 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 1046093
/proc/meminfo: memFree=125499912/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=77304 memory=48360 CPUtime=102.01 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 12513 0 0 0 10097 104 0 0 20 0 1 0 198673225 79159296 12090 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 19326 12090 1852 922 0 11278 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 77304 KiB
Current children cumulated memory: 48360 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 1046103
/proc/meminfo: memFree=125426416/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=80880 memory=50216 CPUtime=161.86 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 13443 0 0 0 16041 145 0 0 20 0 1 0 198673225 82821120 12554 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20220 12554 1852 922 0 12172 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 80880 KiB
Current children cumulated memory: 50216 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 1046114
/proc/meminfo: memFree=125399580/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=80880 memory=50740 CPUtime=221.71 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 13584 0 0 0 21969 202 0 0 20 0 1 0 198673225 82821120 12685 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20220 12685 1852 922 0 12172 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 80880 KiB
Current children cumulated memory: 50740 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 1046125
/proc/meminfo: memFree=125349572/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=82300 memory=52060 CPUtime=281.55 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 13946 0 0 0 27905 250 0 0 20 0 1 0 198673225 84275200 13015 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20575 13015 1852 922 0 12527 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 82300 KiB
Current children cumulated memory: 52060 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1046139
/proc/meminfo: memFree=125250880/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=82300 memory=52852 CPUtime=341.4 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 14082 0 0 0 33852 288 0 0 20 0 1 0 198673225 84275200 13213 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20575 13213 1852 922 0 12527 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 82300 KiB
Current children cumulated memory: 52852 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1046151
/proc/meminfo: memFree=125211376/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=82300 memory=52852 CPUtime=401.25 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 14084 0 0 0 39794 331 0 0 20 0 1 0 198673225 84275200 13213 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20575 13213 1852 922 0 12527 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 82300 KiB
Current children cumulated memory: 52852 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1046161
/proc/meminfo: memFree=125158272/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=82300 memory=52852 CPUtime=461.09 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 14096 0 0 0 45739 370 0 0 20 0 1 0 198673225 84275200 13213 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 20575 13213 1852 922 0 12527 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 3.09 3.12 3.42 4/250 1047842
/proc/meminfo: memFree=127046796/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=114216 memory=82580 CPUtime=3034.03 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 22817 0 0 0 301291 2112 0 0 20 0 1 0 198673225 116957184 20645 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 28554 20645 1852 922 0 20506 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 114216 KiB
Current children cumulated memory: 82580 KiB
[startup+3102.3 s]
/proc/loadavg: 2.51 2.95 3.34 3/240 1047882
/proc/meminfo: memFree=128846512/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=117272 memory=87984 CPUtime=3093.86 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23103 0 0 0 307249 2137 0 0 20 0 1 0 198673225 120086528 21996 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29318 21996 1852 922 0 21270 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 117272 KiB
Current children cumulated memory: 87984 KiB
[startup+3162.3 s]
/proc/loadavg: 2.22 2.79 3.26 3/240 1047892
/proc/meminfo: memFree=128842156/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89820 CPUtime=3153.71 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23586 0 0 0 313205 2166 0 0 20 0 1 0 198673225 121917440 22455 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22455 1852 922 0 21717 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89820 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.66 3.18 3/240 1047904
/proc/meminfo: memFree=128841688/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89820 CPUtime=3213.55 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23621 0 0 0 319157 2198 0 0 20 0 1 0 198673225 121917440 22455 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22455 1852 922 0 21717 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89820 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.57 3.12 3/240 1047914
/proc/meminfo: memFree=128841516/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89848 CPUtime=3273.39 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23650 0 0 0 325122 2217 0 0 20 0 1 0 198673225 121917440 22462 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22462 1852 922 0 21717 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89848 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.48 3.05 3/243 1047929
/proc/meminfo: memFree=128841132/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89848 CPUtime=3333.24 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23698 0 0 0 331070 2254 0 0 20 0 1 0 198673225 121917440 22462 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22462 1852 922 0 21717 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89848 KiB
[startup+3402.3 s]
/proc/loadavg: 2.04 2.39 2.98 3/243 1047940
/proc/meminfo: memFree=128840808/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89892 CPUtime=3393.09 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23739 0 0 0 337027 2282 0 0 20 0 1 0 198673225 121917440 22473 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22473 1852 922 0 21717 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89892 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.35 2.93 3/243 1047950
/proc/meminfo: memFree=128787168/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119060 memory=89892 CPUtime=3452.93 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23775 0 0 0 342973 2320 0 0 20 0 1 0 198673225 121917440 22473 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29765 22473 1852 922 0 21717 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 89892 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.30 2.87 3/243 1047962
/proc/meminfo: memFree=128754904/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119228 memory=89892 CPUtime=3512.77 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23840 0 0 0 348927 2350 0 0 20 0 1 0 198673225 122089472 22473 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29807 22473 1852 922 0 21759 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 119228 KiB
Current children cumulated memory: 89892 KiB
[startup+3582.3 s]
/proc/loadavg: 2.07 2.26 2.82 3/243 1047974
/proc/meminfo: memFree=128752420/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=119228 memory=90016 CPUtime=3572.63 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 23878 0 0 0 354872 2391 0 0 20 0 1 0 198673225 122089472 22504 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 29807 22504 1852 922 0 21759 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 119228 KiB
Current children cumulated memory: 90016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.05 2.23 2.80 3/243 1047980
/proc/meminfo: memFree=128754988/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=114992 memory=85780 CPUtime=3600.07 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 24148 0 0 0 357604 2403 0 0 20 0 1 0 198673225 117751808 21445 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 28748 21445 1852 922 0 20700 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 114992 KiB
Current children cumulated memory: 85780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.8 s]
# the end of solver process 1046030 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.04 s, system=24.0387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 2.04 2.23 2.79 3/243 1047980
/proc/meminfo: memFree=128754988/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=114992 memory=85780 CPUtime=3601.46 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 24148 0 0 0 357743 2403 0 0 20 0 1 0 198673225 117751808 21445 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 28748 21445 1852 922 0 20700 0
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 114992 KiB
Current children cumulated memory: 85780 KiB
[startup+3611.6 s]
/proc/loadavg: 2.04 2.23 2.79 3/243 1047980
/proc/meminfo: memFree=128754988/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=114992 memory=85780 CPUtime=3601.86 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 24148 0 0 0 357783 2403 0 0 20 0 1 0 198673225 117751808 21445 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 28748 21445 1852 922 0 20700 0
Current children cumulated CPU time: 3601.86 s
Current children cumulated vsize: 114992 KiB
Current children cumulated memory: 85780 KiB
[startup+3611.8 s]
/proc/loadavg: 2.04 2.23 2.79 3/243 1047980
/proc/meminfo: memFree=128754988/131524600 swapFree=131071996/131071996
[pid=1046030] ppid=1046027 vsize=114992 memory=85780 CPUtime=3602.06 cores=5,7
/proc/1046030/stat : 1046030 (roundingsat) R 1046027 1046030 1040606 0 -1 4194304 24148 0 0 0 357803 2403 0 0 20 0 1 0 198673225 117751808 21445 134679101440 4194304 7968373 140724091338320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38023168 140724091339708 140724091339872 140724091339872 140724091346889 0
/proc/1046030/statm: 28748 21445 1852 922 0 20700 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 114992 KiB
Current children cumulated memory: 85780 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.8
CPU time (s): 3602.07
CPU user time (s): 3578.04
CPU system time (s): 24.0387
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 119228
Max. memory (cumulated for all children) (KiB): 90016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.04
system time used= 24.0387
maximum resident set size= 90016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 3078
# summary of solver processes directly reported to runsolver:
# pid: 1046030
# total CPU time (s): 3602.07
# total CPU user time (s): 3578.04
# total CPU system time (s): 24.0387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25991 second user time and 15.4906 second system time
The end
Begin job on nodeC028 at 2024-07-20 10:44:34 IDJOB=4455407 IDBENCH=158389 IDSOLVER=3084 FILE ID=nodeC028/4455407-1721465062 RUNJOBID= nodeC028-1721456189-1040619 SLURM_JOB_ID= 7545691 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul5.5.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455407-1721465062/watcher-4455407-1721465062 -o /tmp/evaluation-result-4455407-1721465062/solver-4455407-1721465062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040619 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455407-1721465062.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d644f29675162790fbe3eaac4bda72a3 RANDOM SEED=556498257 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.988 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.571 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.944 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.008 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.064 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.654 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.254 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.932 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125450824 kB MemAvailable: 126020980 kB Buffers: 550580 kB Cached: 868400 kB SwapCached: 0 kB Active: 1081720 kB Inactive: 4385668 kB Active(anon): 1552 kB Inactive(anon): 4092828 kB Active(file): 1080168 kB Inactive(file): 292840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6292 kB Writeback: 60 kB AnonPages: 4043628 kB Mapped: 117220 kB Shmem: 45912 kB KReclaimable: 73944 kB Slab: 181860 kB SReclaimable: 73944 kB SUnreclaim: 107916 kB KernelStack: 4144 kB PageTables: 17740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5639760 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 1357824 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890056 MiB End job on nodeC028 at 2024-07-20 11:44:46