| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.02 | 3610.12 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb |
| MD5SUM | 5d17a5a2908f0ead03acb71ed633b69a |
| 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 | 145 |
| Best CPU time to get the best result obtained on this benchmark | 3.24379 |
| 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 | 9324 |
| Total number of constraints | 28660 |
| Number of constraints which are clauses | 26656 |
| Number of constraints which are cardinality constraints (but not clauses) | 240 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1764 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 240 |
| 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 | 670 |
| 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.26/0.38 c #variables 9324 #constraints 28660 64.58/64.89 c bounds - >= 0 @ 0.250067 64.58/64.89 c #Conflicts: 1000 | #Constraints: 29659 64.58/64.89 c #Conflicts: 2000 | #Constraints: 30659 64.58/64.89 c INPROCESSING 64.58/64.89 c bounds - >= 10 @ 4.69896 64.58/64.89 c #Conflicts: 3000 | #Constraints: 30690 64.58/64.89 c bounds - >= 20 @ 4.73937 64.58/64.89 c bounds 211 >= 20 @ 4.82955 64.58/64.89 c #Conflicts: 4000 | #Constraints: 31697 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c #Conflicts: 5000 | #Constraints: 31107 64.58/64.89 c #Conflicts: 6000 | #Constraints: 32107 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c #Conflicts: 7000 | #Constraints: 31118 64.58/64.89 c #Conflicts: 8000 | #Constraints: 32118 64.58/64.89 c bounds 206 >= 20 @ 6.59876 64.58/64.89 c bounds 186 >= 20 @ 6.6065 64.58/64.89 c bounds 184 >= 20 @ 6.61032 64.58/64.89 c bounds 182 >= 20 @ 6.61174 64.58/64.89 c #Conflicts: 9000 | #Constraints: 33122 64.58/64.89 c bounds 179 >= 20 @ 6.66841 64.58/64.89 c bounds 174 >= 20 @ 6.67504 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c bounds 172 >= 20 @ 12.1202 64.58/64.89 c bounds 170 >= 20 @ 12.1248 64.58/64.89 c bounds 162 >= 20 @ 12.1535 64.58/64.89 c bounds 160 >= 20 @ 12.1582 64.58/64.89 c bounds 157 >= 20 @ 12.172 64.58/64.89 c bounds 155 >= 20 @ 12.1746 64.58/64.89 c #Conflicts: 10000 | #Constraints: 31858 64.58/64.89 c #Conflicts: 11000 | #Constraints: 32858 64.58/64.89 c #Conflicts: 12000 | #Constraints: 33858 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c bounds 147 >= 20 @ 12.3321 64.58/64.89 c bounds 145 >= 20 @ 12.3348 64.58/64.89 c #Conflicts: 13000 | #Constraints: 32345 64.58/64.89 c #Conflicts: 14000 | #Constraints: 33345 64.58/64.89 c #Conflicts: 15000 | #Constraints: 34345 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c bounds 145 >= 22 @ 12.5851 64.58/64.89 c bounds 145 >= 24 @ 12.5873 64.58/64.89 c bounds 145 >= 26 @ 12.5984 64.58/64.89 c bounds 145 >= 28 @ 29.1976 64.58/64.89 c bounds 145 >= 30 @ 29.2037 64.58/64.89 c #Conflicts: 16000 | #Constraints: 32597 64.58/64.89 c #Conflicts: 17000 | #Constraints: 33597 64.58/64.89 c bounds 145 >= 32 @ 29.5937 64.58/64.89 c #Conflicts: 18000 | #Constraints: 34606 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c #Conflicts: 19000 | #Constraints: 32612 64.58/64.89 c #Conflicts: 20000 | #Constraints: 33612 64.58/64.89 c #Conflicts: 21000 | #Constraints: 34612 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c bounds 145 >= 34 @ 30.2261 64.58/64.89 c #Conflicts: 22000 | #Constraints: 32422 64.58/64.89 c #Conflicts: 23000 | #Constraints: 33422 64.58/64.89 c #Conflicts: 24000 | #Constraints: 34422 64.58/64.89 c #Conflicts: 25000 | #Constraints: 35422 64.58/64.89 c INPROCESSING 64.58/64.89 c GARBAGE COLLECT 64.58/64.89 c rational objective 34 85.13/85.43 c bounds 145 >= 36 @ 63.8221 85.13/85.43 c #Conflicts: 26000 | #Constraints: 33045 85.13/85.43 c #Conflicts: 27000 | #Constraints: 34045 85.13/85.43 c #Conflicts: 28000 | #Constraints: 35045 85.13/85.43 c bounds 145 >= 38 @ 64.3239 85.13/85.43 c #Conflicts: 29000 | #Constraints: 36057 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 30000 | #Constraints: 33454 85.13/85.43 c #Conflicts: 31000 | #Constraints: 34454 85.13/85.43 c #Conflicts: 32000 | #Constraints: 35454 85.13/85.43 c #Conflicts: 33000 | #Constraints: 36454 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 34000 | #Constraints: 33649 85.13/85.43 c bounds 145 >= 40 @ 65.3512 85.13/85.43 c #Conflicts: 35000 | #Constraints: 34658 85.13/85.43 c #Conflicts: 36000 | #Constraints: 35658 85.13/85.43 c bounds 145 >= 42 @ 65.9769 85.13/85.43 c #Conflicts: 37000 | #Constraints: 36670 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 38000 | #Constraints: 33674 85.13/85.43 c #Conflicts: 39000 | #Constraints: 34674 85.13/85.43 c #Conflicts: 40000 | #Constraints: 35674 85.13/85.43 c #Conflicts: 41000 | #Constraints: 36674 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 42000 | #Constraints: 33478 85.13/85.43 c #Conflicts: 43000 | #Constraints: 34478 85.13/85.43 c #Conflicts: 44000 | #Constraints: 35478 85.13/85.43 c #Conflicts: 45000 | #Constraints: 36478 85.13/85.43 c #Conflicts: 46000 | #Constraints: 37478 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 47000 | #Constraints: 34085 85.13/85.43 c #Conflicts: 48000 | #Constraints: 35085 85.13/85.43 c #Conflicts: 49000 | #Constraints: 36085 85.13/85.43 c #Conflicts: 50000 | #Constraints: 37085 85.13/85.43 c #Conflicts: 51000 | #Constraints: 38085 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c #Conflicts: 52000 | #Constraints: 34485 85.13/85.43 c #Conflicts: 53000 | #Constraints: 35485 85.13/85.43 c #Conflicts: 54000 | #Constraints: 36485 85.13/85.43 c #Conflicts: 55000 | #Constraints: 37485 85.13/85.43 c #Conflicts: 56000 | #Constraints: 38485 85.13/85.43 c INPROCESSING 85.13/85.43 c GARBAGE COLLECT 85.13/85.43 c rational objective 42 109.98/110.34 c #Conflicts: 57000 | #Constraints: 34686 109.98/110.34 c #Conflicts: 58000 | #Constraints: 35686 109.98/110.34 c #Conflicts: 59000 | #Constraints: 36686 109.98/110.34 c #Conflicts: 60000 | #Constraints: 37686 109.98/110.34 c #Conflicts: 61000 | #Constraints: 38686 109.98/110.34 c INPROCESSING 109.98/110.34 c GARBAGE COLLECT 109.98/110.34 c rational objective 42 150.49/150.91 c #Conflicts: 62000 | #Constraints: 34679 150.49/150.91 c #Conflicts: 63000 | #Constraints: 35679 150.49/150.91 c #Conflicts: 64000 | #Constraints: 36679 150.49/150.91 c #Conflicts: 65000 | #Constraints: 37679 150.49/150.91 c #Conflicts: 66000 | #Constraints: 38679 150.49/150.91 c INPROCESSING 150.49/150.91 c GARBAGE COLLECT 150.49/150.91 c #Conflicts: 67000 | #Constraints: 34490 150.49/150.91 c #Conflicts: 68000 | #Constraints: 35490 150.49/150.91 c #Conflicts: 69000 | #Constraints: 36490 150.49/150.91 c #Conflicts: 70000 | #Constraints: 37490 150.49/150.91 c #Conflicts: 71000 | #Constraints: 38490 150.49/150.91 c #Conflicts: 72000 | #Constraints: 39490 150.49/150.91 c INPROCESSING 150.49/150.91 c GARBAGE COLLECT 150.49/150.91 c #Conflicts: 73000 | #Constraints: 35084 150.49/150.91 c #Conflicts: 74000 | #Constraints: 36084 150.49/150.91 c #Conflicts: 75000 | #Constraints: 37084 150.49/150.91 c #Conflicts: 76000 | #Constraints: 38084 150.49/150.91 c #Conflicts: 77000 | #Constraints: 39084 150.49/150.91 c #Conflicts: 78000 | #Constraints: 40084 150.49/150.91 c INPROCESSING 150.49/150.91 c GARBAGE COLLECT 150.49/150.91 c #Conflicts: 79000 | #Constraints: 35482 150.49/150.91 c #Conflicts: 80000 | #Constraints: 36482 150.49/150.91 c #Conflicts: 81000 | #Constraints: 37482 150.49/150.91 c #Conflicts: 82000 | #Constraints: 38482 150.49/150.91 c bounds 145 >= 44 @ 125.383 150.49/150.91 c #Conflicts: 83000 | #Constraints: 39488 150.49/150.91 c #Conflicts: 84000 | #Constraints: 40488 150.49/150.91 c INPROCESSING 150.49/150.91 c GARBAGE COLLECT 150.49/150.91 c rational objective 44 183.91/184.40 c #Conflicts: 85000 | #Constraints: 35683 183.91/184.40 c #Conflicts: 86000 | #Constraints: 36683 183.91/184.40 c #Conflicts: 87000 | #Constraints: 37683 183.91/184.40 c #Conflicts: 88000 | #Constraints: 38683 183.91/184.40 c #Conflicts: 89000 | #Constraints: 39683 183.91/184.40 c #Conflicts: 90000 | #Constraints: 40683 183.91/184.40 c INPROCESSING 183.91/184.40 c GARBAGE COLLECT 183.91/184.40 c #Conflicts: 91000 | #Constraints: 35685 183.91/184.40 c #Conflicts: 92000 | #Constraints: 36685 183.91/184.40 c #Conflicts: 93000 | #Constraints: 37685 183.91/184.40 c #Conflicts: 94000 | #Constraints: 38685 183.91/184.40 c #Conflicts: 95000 | #Constraints: 39685 183.91/184.40 c bounds 145 >= 46 @ 151.794 183.91/184.40 c #Conflicts: 96000 | #Constraints: 40703 183.91/184.40 c INPROCESSING 183.91/184.40 c GARBAGE COLLECT 183.91/184.40 c rational objective 46 202.16/202.77 c #Conflicts: 97000 | #Constraints: 35500 202.16/202.77 c #Conflicts: 98000 | #Constraints: 36500 202.16/202.77 c #Conflicts: 99000 | #Constraints: 37500 202.16/202.77 c #Conflicts: 100000 | #Constraints: 38500 202.16/202.77 c #Conflicts: 101000 | #Constraints: 39500 202.16/202.77 c #Conflicts: 102000 | #Constraints: 40500 202.16/202.77 c #Conflicts: 103000 | #Constraints: 41500 202.16/202.77 c INPROCESSING 202.16/202.77 c GARBAGE COLLECT 202.16/202.77 c #Conflicts: 104000 | #Constraints: 36097 202.16/202.77 c bounds 145 >= 48 @ 185.211 202.16/202.77 c #Conflicts: 105000 | #Constraints: 37106 202.16/202.77 c #Conflicts: 106000 | #Constraints: 38106 202.16/202.77 c #Conflicts: 107000 | #Constraints: 39106 202.16/202.77 c #Conflicts: 108000 | #Constraints: 40106 202.16/202.77 c #Conflicts: 109000 | #Constraints: 41106 202.16/202.77 c #Conflicts: 110000 | #Constraints: 42106 202.16/202.77 c INPROCESSING 202.16/202.77 c GARBAGE COLLECT 202.16/202.77 c #Conflicts: 111000 | #Constraints: 36515 202.16/202.77 c #Conflicts: 112000 | #Constraints: 37515 202.16/202.77 c #Conflicts: 113000 | #Constraints: 38515 202.16/202.77 c #Conflicts: 114000 | #Constraints: 39515 202.16/202.77 c #Conflicts: 115000 | #Constraints: 40515 202.16/202.77 c #Conflicts: 116000 | #Constraints: 41515 202.16/202.77 c #Conflicts: 117000 | #Constraints: 42515 202.16/202.77 c INPROCESSING 202.16/202.77 c GARBAGE COLLECT 202.16/202.77 c #Conflicts: 118000 | #Constraints: 36719 202.16/202.77 c #Conflicts: 119000 | #Constraints: 37719 202.16/202.77 c #Conflicts: 120000 | #Constraints: 38719 202.16/202.77 c #Conflicts: 121000 | #Constraints: 39719 202.16/202.77 c #Conflicts: 122000 | #Constraints: 40719 202.16/202.77 c #Conflicts: 123000 | #Constraints: 41719 202.16/202.77 c #Conflicts: 124000 | #Constraints: 42719 202.16/202.77 c INPROCESSING 202.16/202.77 c GARBAGE COLLECT 202.16/202.77 c rational objective 48 219.52/220.11 c #Conflicts: 125000 | #Constraints: 36715 219.52/220.11 c #Conflicts: 126000 | #Constraints: 37715 219.52/220.11 c #Conflicts: 127000 | #Constraints: 38715 219.52/220.11 c #Conflicts: 128000 | #Constraints: 39715 219.52/220.11 c #Conflicts: 129000 | #Constraints: 40715 219.52/220.11 c #Conflicts: 130000 | #Constraints: 41715 219.52/220.11 c #Conflicts: 131000 | #Constraints: 42715 219.52/220.11 c INPROCESSING 219.52/220.11 c GARBAGE COLLECT 219.52/220.11 c rational objective 48 246.05/246.72 c #Conflicts: 132000 | #Constraints: 36510 246.05/246.72 c #Conflicts: 133000 | #Constraints: 37510 246.05/246.72 c #Conflicts: 134000 | #Constraints: 38510 246.05/246.72 c #Conflicts: 135000 | #Constraints: 39510 246.05/246.72 c #Conflicts: 136000 | #Constraints: 40510 246.05/246.72 c #Conflicts: 137000 | #Constraints: 41510 246.05/246.72 c bounds 145 >= 50 @ 219.129 246.05/246.72 c #Conflicts: 138000 | #Constraints: 42525 246.05/246.72 c #Conflicts: 139000 | #Constraints: 43525 246.05/246.72 c INPROCESSING 246.05/246.72 c GARBAGE COLLECT 246.05/246.72 c rational objective 50 257.53/258.20 c #Conflicts: 140000 | #Constraints: 37127 257.53/258.20 c #Conflicts: 141000 | #Constraints: 38127 257.53/258.20 c #Conflicts: 142000 | #Constraints: 39127 257.53/258.20 c #Conflicts: 143000 | #Constraints: 40127 257.53/258.20 c #Conflicts: 144000 | #Constraints: 41127 257.53/258.20 c #Conflicts: 145000 | #Constraints: 42127 257.53/258.20 c #Conflicts: 146000 | #Constraints: 43127 257.53/258.20 c #Conflicts: 147000 | #Constraints: 44127 257.53/258.20 c INPROCESSING 257.53/258.20 c GARBAGE COLLECT 257.53/258.20 c #Conflicts: 148000 | #Constraints: 37539 257.53/258.20 c #Conflicts: 149000 | #Constraints: 38539 257.53/258.20 c #Conflicts: 150000 | #Constraints: 39539 257.53/258.20 c #Conflicts: 151000 | #Constraints: 40539 257.53/258.20 c #Conflicts: 152000 | #Constraints: 41539 257.53/258.20 c #Conflicts: 153000 | #Constraints: 42539 257.53/258.20 c #Conflicts: 154000 | #Constraints: 43539 257.53/258.20 c #Conflicts: 155000 | #Constraints: 44539 257.53/258.20 c INPROCESSING 257.53/258.20 c GARBAGE COLLECT 257.53/258.20 c rational objective 50 277.08/277.80 c #Conflicts: 156000 | #Constraints: 37733 277.08/277.80 c #Conflicts: 157000 | #Constraints: 38733 277.08/277.80 c #Conflicts: 158000 | #Constraints: 39733 277.08/277.80 c #Conflicts: 159000 | #Constraints: 40733 277.08/277.80 c #Conflicts: 160000 | #Constraints: 41733 277.08/277.80 c #Conflicts: 161000 | #Constraints: 42733 277.08/277.80 c #Conflicts: 162000 | #Constraints: 43733 277.08/277.80 c #Conflicts: 163000 | #Constraints: 44733 277.08/277.80 c INPROCESSING 277.08/277.80 c GARBAGE COLLECT 277.08/277.80 c rational objective 50 306.62/307.47 c bounds 145 >= 52 @ 274.523 306.62/307.47 c #Conflicts: 164000 | #Constraints: 37751 306.62/307.47 c #Conflicts: 165000 | #Constraints: 38751 306.62/307.47 c #Conflicts: 166000 | #Constraints: 39751 306.62/307.47 c #Conflicts: 167000 | #Constraints: 40751 306.62/307.47 c #Conflicts: 168000 | #Constraints: 41751 306.62/307.47 c #Conflicts: 169000 | #Constraints: 42751 306.62/307.47 c #Conflicts: 170000 | #Constraints: 43751 306.62/307.47 c #Conflicts: 171000 | #Constraints: 44751 306.62/307.47 c INPROCESSING 306.62/307.47 c GARBAGE COLLECT 306.62/307.47 c rational objective 52 338.54/339.41 c #Conflicts: 172000 | #Constraints: 37549 338.54/339.41 c #Conflicts: 173000 | #Constraints: 38549 338.54/339.41 c #Conflicts: 174000 | #Constraints: 39549 338.54/339.41 c #Conflicts: 175000 | #Constraints: 40549 338.54/339.41 c #Conflicts: 176000 | #Constraints: 41549 338.54/339.41 c #Conflicts: 177000 | #Constraints: 42549 338.54/339.41 c #Conflicts: 178000 | #Constraints: 43549 338.54/339.41 c #Conflicts: 179000 | #Constraints: 44549 338.54/339.41 c #Conflicts: 180000 | #Constraints: 45549 338.54/339.41 c INPROCESSING 338.54/339.41 c GARBAGE COLLECT 338.54/339.41 c #Conflicts: 181000 | #Constraints: 38146 338.54/339.41 c #Conflicts: 182000 | #Constraints: 39146 338.54/339.41 c #Conflicts: 183000 | #Constraints: 40146 338.54/339.41 c #Conflicts: 184000 | #Constraints: 41146 338.54/339.41 c #Conflicts: 185000 | #Constraints: 42146 338.54/339.41 c #Conflicts: 186000 | #Constraints: 43146 338.54/339.41 c #Conflicts: 187000 | #Constraints: 44146 338.54/339.41 c #Conflicts: 188000 | #Constraints: 45146 338.54/339.41 c #Conflicts: 189000 | #Constraints: 46146 338.54/339.41 c INPROCESSING 338.54/339.41 c GARBAGE COLLECT 338.54/339.41 c #Conflicts: 190000 | #Constraints: 38548 338.54/339.41 c #Conflicts: 191000 | #Constraints: 39548 338.54/339.41 c #Conflicts: 192000 | #Constraints: 40548 338.54/339.41 c #Conflicts: 193000 | #Constraints: 41548 338.54/339.41 c #Conflicts: 194000 | #Constraints: 42548 338.54/339.41 c #Conflicts: 195000 | #Constraints: 43548 338.54/339.41 c #Conflicts: 196000 | #Constraints: 44548 338.54/339.41 c #Conflicts: 197000 | #Constraints: 45548 338.54/339.41 c #Conflicts: 198000 | #Constraints: 46548 338.54/339.41 c INPROCESSING 338.54/339.41 c GARBAGE COLLECT 338.54/339.41 c rational objective 52 352.51/353.42 c #Conflicts: 199000 | #Constraints: 38761 352.51/353.42 c #Conflicts: 200000 | #Constraints: 39761 352.51/353.42 c #Conflicts: 201000 | #Constraints: 40761 352.51/353.42 c #Conflicts: 202000 | #Constraints: 41761 352.51/353.42 c #Conflicts: 203000 | #Constraints: 42761 352.51/353.42 c #Conflicts: 204000 | #Constraints: 43761 352.51/353.42 c #Conflicts: 205000 | #Constraints: 44761 352.51/353.42 c #Conflicts: 206000 | #Constraints: 45761 352.51/353.42 c #Conflicts: 207000 | #Constraints: 46761 352.51/353.42 c INPROCESSING 352.51/353.42 c GARBAGE COLLECT 352.51/353.42 c rational objective 52 379.95/380.98 c #Conflicts: 208000 | #Constraints: 38748 379.95/380.98 c #Conflicts: 209000 | #Constraints: 39748 379.95/380.98 c #Conflicts: 210000 | #Constraints: 40748 379.95/380.98 c #Conflicts: 211000 | #Constraints: 41748 379.95/380.98 c #Conflicts: 212000 | #Constraints: 42748 379.95/380.98 c #Conflicts: 213000 | #Constraints: 43748 379.95/380.98 c #Conflicts: 214000 | #Constraints: 44748 379.95/380.98 c #Conflicts: 215000 | #Constraints: 45748 379.95/380.98 c #Conflicts: 216000 | #Constraints: 46748 379.95/380.98 c INPROCESSING 379.95/380.98 c GARBAGE COLLECT 379.95/380.98 c rational objective 52 406.40/407.45 c #Conflicts: 217000 | #Constraints: 38547 406.40/407.45 c #Conflicts: 218000 | #Constraints: 39547 406.40/407.45 c #Conflicts: 219000 | #Constraints: 40547 406.40/407.45 c #Conflicts: 220000 | #Constraints: 41547 406.40/407.45 c #Conflicts: 221000 | #Constraints: 42547 406.40/407.45 c #Conflicts: 222000 | #Constraints: 43547 406.40/407.45 c #Conflicts: 223000 | #Constraints: 44547 406.40/407.45 c #Conflicts: 224000 | #Constraints: 45547 406.40/407.45 c #Conflicts: 225000 | #Constraints: 46547 406.40/407.45 c #Conflicts: 226000 | #Constraints: 47547 406.40/407.45 c INPROCESSING 406.40/407.45 c GARBAGE COLLECT 406.40/407.45 c #Conflicts: 227000 | #Constraints: 39158 406.40/407.45 c #Conflicts: 228000 | #Constraints: 40158 406.40/407.45 c #Conflicts: 229000 | #Constraints: 41158 406.40/407.45 c #Conflicts: 230000 | #Constraints: 42158 406.40/407.45 c #Conflicts: 231000 | #Constraints: 43158 406.40/407.45 c #Conflicts: 232000 | #Constraints: 44158 406.40/407.45 c #Conflicts: 233000 | #Constraints: 45158 406.40/407.45 c #Conflicts: 234000 | #Constraints: 46158 406.40/407.45 c #Conflicts: 235000 | #Constraints: 47158 406.40/407.45 c #Conflicts: 236000 | #Constraints: 48158 406.40/407.45 c INPROCESSING 406.40/407.45 c GARBAGE COLLECT 406.40/407.45 c #Conflicts: 237000 | #Constraints: 39552 406.40/407.45 c #Conflicts: 238000 | #Constraints: 40552 406.40/407.45 c #Conflicts: 239000 | #Constraints: 41552 406.40/407.45 c #Conflicts: 240000 | #Constraints: 42552 406.40/407.45 c #Conflicts: 241000 | #Constraints: 43552 406.40/407.45 c #Conflicts: 242000 | #Constraints: 44552 406.40/407.45 c #Conflicts: 243000 | #Constraints: 45552 406.40/407.45 c #Conflicts: 244000 | #Constraints: 46552 406.40/407.45 c #Conflicts: 245000 | #Constraints: 47552 406.40/407.45 c #Conflicts: 246000 | #Constraints: 48552 406.40/407.45 c INPROCESSING 406.40/407.45 c GARBAGE COLLECT 406.40/407.45 c rational objective 52 433.44/434.58 c #Conflicts: 247000 | #Constraints: 39745 433.44/434.58 c #Conflicts: 248000 | #Constraints: 40745 433.44/434.58 c #Conflicts: 249000 | #Constraints: 41745 433.44/434.58 c #Conflicts: 250000 | #Constraints: 42745 433.44/434.58 c #Conflicts: 251000 | #Constraints: 43745 433.44/434.58 c #Conflicts: 252000 | #Constraints: 44745 433.44/434.58 c #Conflicts: 253000 | #Constraints: 45745 433.44/434.58 c #Conflicts: 254000 | #Constraints: 46745 433.44/434.58 c #Conflicts: 255000 | #Constraints: 47745 433.44/434.58 c #Conflicts: 256000 | #Constraints: 48745 433.44/434.58 c INPROCESSING 433.44/434.58 c GARBAGE COLLECT 433.44/434.58 c rational objective 52 463.57/464.75 c #Conflicts: 257000 | #Constraints: 39745 463.57/464.75 c #Conflicts: 258000 | #Constraints: 40745 463.57/464.75 c #Conflicts: 259000 | #Constraints: 41745 463.57/464.75 c #Conflicts: 260000 | #Constraints: 42745 463.57/464.75 c #Conflicts: 261000 | #Constraints: 43745 463.57/464.75 c #Conflicts: 262000 | #Constraints: 44745 463.57/464.75 c #Conflicts: 263000 | #Constraints: 45745 463.57/464.75 c #Conflicts: 264000 | #Constraints: 46745 463.57/464.75 c bounds 145 >= 54 @ 433.515 463.57/464.75 c #Conflicts: 265000 | #Constraints: 47757 463.57/464.75 c #Conflicts: 266000 | #Constraints: 48757 463.57/464.75 c INPROCESSING 463.57/464.75 c GARBAGE COLLECT 463.57/464.75 c rational objective 54 493.71/494.99 c #Conflicts: 267000 | #Constraints: 39552 493.71/494.99 c #Conflicts: 268000 | #Constraints: 40552 493.71/494.99 c #Conflicts: 269000 | #Constraints: 41552 493.71/494.99 c #Conflicts: 270000 | #Constraints: 42552 493.71/494.99 c #Conflicts: 271000 | #Constraints: 43552 493.71/494.99 c #Conflicts: 272000 | #Constraints: 44552 493.71/494.99 c #Conflicts: 273000 | #Constraints: 45552 493.71/494.99 c #Conflicts: 274000 | #Constraints: 46552 493.71/494.99 c #Conflicts: 275000 | #Constraints: 47552 493.71/494.99 c #Conflicts: 276000 | #Constraints: 48552 493.71/494.99 c #Conflicts: 277000 | #Constraints: 49552 493.71/494.99 c INPROCESSING 493.71/494.99 c GARBAGE COLLECT 493.71/494.99 c #Conflicts: 278000 | #Constraints: 40157 493.71/494.99 c #Conflicts: 279000 | #Constraints: 41157 493.71/494.99 c #Conflicts: 280000 | #Constraints: 42157 493.71/494.99 c #Conflicts: 281000 | #Constraints: 43157 493.71/494.99 c #Conflicts: 282000 | #Constraints: 44157 493.71/494.99 c #Conflicts: 283000 | #Constraints: 45157 493.71/494.99 c #Conflicts: 284000 | #Constraints: 46157 493.71/494.99 c #Conflicts: 285000 | #Constraints: 47157 493.71/494.99 c #Conflicts: 286000 | #Constraints: 48157 493.71/494.99 c #Conflicts: 287000 | #Constraints: 49157 493.71/494.99 c #Conflicts: 288000 | #Constraints: 50157 493.71/494.99 c INPROCESSING 493.71/494.99 c GARBAGE COLLECT 493.71/494.99 c rational objective 54 496.30/497.59 c #Conflicts: 289000 | #Constraints: 40563 496.30/497.59 c #Conflicts: 290000 | #Constraints: 41563 496.30/497.59 c #Conflicts: 291000 | #Constraints: 42563 496.30/497.59 c #Conflicts: 292000 | #Constraints: 43563 496.30/497.59 c #Conflicts: 293000 | #Constraints: 44563 496.30/497.59 c #Conflicts: 294000 | #Constraints: 45563 496.30/497.59 c #Conflicts: 295000 | #Constraints: 46563 496.30/497.59 c #Conflicts: 296000 | #Constraints: 47563 496.30/497.59 c #Conflicts: 297000 | #Constraints: 48563 496.30/497.59 c #Conflicts: 298000 | #Constraints: 49563 496.30/497.59 c #Conflicts: 299000 | #Constraints: 50563 496.30/497.59 c INPROCESSING 496.30/497.59 c GARBAGE COLLECT 496.30/497.59 c rational objective 54 518.77/520.02 c #Conflicts: 300000 | #Constraints: 40764 518.77/520.02 c #Conflicts: 301000 | #Constraints: 41764 518.77/520.02 c #Conflicts: 302000 | #Constraints: 42764 518.77/520.02 c #Conflicts: 303000 | #Constraints: 43764 518.77/520.02 c #Conflicts: 304000 | #Constraints: 44764 518.77/520.02 c #Conflicts: 305000 | #Constraints: 45764 518.77/520.02 c #Conflicts: 306000 | #Constraints: 46764 518.77/520.02 c #Conflicts: 307000 | #Constraints: 47764 518.77/520.02 c #Conflicts: 308000 | #Constraints: 48764 518.77/520.02 c #Conflicts: 309000 | #Constraints: 49764 518.77/520.02 c #Conflicts: 310000 | #Constraints: 50764 518.77/520.02 c INPROCESSING 518.77/520.02 c GARBAGE COLLECT 518.77/520.02 c rational objective 54 544.50/545.86 c #Conflicts: 311000 | #Constraints: 40765 544.50/545.86 c #Conflicts: 312000 | #Constraints: 41765 544.50/545.86 c #Conflicts: 313000 | #Constraints: 42765 544.50/545.86 c #Conflicts: 314000 | #Constraints: 43765 544.50/545.86 c #Conflicts: 315000 | #Constraints: 44765 544.50/545.86 c #Conflicts: 316000 | #Constraints: 45765 544.50/545.86 c #Conflicts: 317000 | #Constraints: 46765 544.50/545.86 c #Conflicts: 318000 | #Constraints: 47765 544.50/545.86 c #Conflicts: 319000 | #Constraints: 48765 544.50/545.86 c #Conflicts: 320000 | #Constraints: 49765 544.50/545.86 c #Conflicts: 321000 | #Constraints: 50765 544.50/545.86 c INPROCESSING 544.50/545.86 c GARBAGE COLLECT 544.50/545.86 c rational objective 54 558.26/559.61 c #Conflicts: 322000 | #Constraints: 40569 558.26/559.61 c #Conflicts: 323000 | #Constraints: 41569 558.26/559.61 c #Conflicts: 324000 | #Constraints: 42569 558.26/559.61 c #Conflicts: 325000 | #Constraints: 43569 558.26/559.61 c #Conflicts: 326000 | #Constraints: 44569 558.26/559.61 c #Conflicts: 327000 | #Constraints: 45569 558.26/559.61 c #Conflicts: 328000 | #Constraints: 46569 558.26/559.61 c #Conflicts: 329000 | #Constraints: 47569 558.26/559.61 c #Conflicts: 330000 | #Constraints: 48569 558.26/559.61 c #Conflicts: 331000 | #Constraints: 49569 558.26/559.61 c #Conflicts: 332000 | #Constraints: 50569 558.26/559.61 c #Conflicts: 333000 | #Constraints: 51569 558.26/559.61 c INPROCESSING 558.26/559.61 c GARBAGE COLLECT 558.26/559.61 c rational objective 54 571.74/573.19 c #Conflicts: 334000 | #Constraints: 41164 571.74/573.19 c #Conflicts: 335000 | #Constraints: 42164 571.74/573.19 c #Conflicts: 336000 | #Constraints: 43164 571.74/573.19 c #Conflicts: 337000 | #Constraints: 44164 571.74/573.19 c #Conflicts: 338000 | #Constraints: 45164 571.74/573.19 c #Conflicts: 339000 | #Constraints: 46164 571.74/573.19 c #Conflicts: 340000 | #Constraints: 47164 571.74/573.19 c #Conflicts: 341000 | #Constraints: 48164 571.74/573.19 c #Conflicts: 342000 | #Constraints: 49164 571.74/573.19 c #Conflicts: 343000 | #Constraints: 50164 571.74/573.19 c #Conflicts: 344000 | #Constraints: 51164 571.74/573.19 c #Conflicts: 345000 | #Constraints: 52164 571.74/573.19 c INPROCESSING 571.74/573.19 c GARBAGE COLLECT 571.74/573.19 c rational objective 54 602.05/603.59 c #Conflicts: 346000 | #Constraints: 41569 602.05/603.59 c #Conflicts: 347000 | #Constraints: 42569 602.05/603.59 c #Conflicts: 348000 | #Constraints: 43569 602.05/603.59 c #Conflicts: 349000 | #Constraints: 44569 602.05/603.59 c #Conflicts: 350000 | #Constraints: 45569 602.05/603.59 c #Conflicts: 351000 | #Constraints: 46569 602.05/603.59 c #Conflicts: 352000 | #Constraints: 47569 602.05/603.59 c #Conflicts: 353000 | #Constraints: 48569 602.05/603.59 c #Conflicts: 354000 | #Constraints: 49569 602.05/603.59 c #Conflicts: 355000 | #Constraints: 50569 602.05/603.59 c #Conflicts: 356000 | #Constraints: 51569 602.05/603.59 c #Conflicts: 357000 | #Constraints: 52569 602.05/603.59 c INPROCESSING 602.05/603.59 c GARBAGE COLLECT 602.05/603.59 c rational objective 54 626.70/628.24 c #Conflicts: 358000 | #Constraints: 41761 626.70/628.24 c #Conflicts: 359000 | #Constraints: 42761 626.70/628.24 c #Conflicts: 360000 | #Constraints: 43761 626.70/628.24 c #Conflicts: 361000 | #Constraints: 44761 626.70/628.24 c #Conflicts: 362000 | #Constraints: 45761 626.70/628.24 c #Conflicts: 363000 | #Constraints: 46761 626.70/628.24 c #Conflicts: 364000 | #Constraints: 47761 626.70/628.24 c #Conflicts: 365000 | #Constraints: 48761 626.70/628.24 c #Conflicts: 366000 | #Constraints: 49761 626.70/628.24 c #Conflicts: 367000 | #Constraints: 50761 626.70/628.24 c #Conflicts: 368000 | #Constraints: 51761 626.70/628.24 c #Conflicts: 369000 | #Constraints: 52761 626.70/628.24 c INPROCESSING 626.70/628.24 c GARBAGE COLLECT 626.70/628.24 c rational objective 54 631.78/633.38 c #Conflicts: 370000 | #Constraints: 41758 631.78/633.38 c #Conflicts: 371000 | #Constraints: 42758 631.78/633.38 c #Conflicts: 372000 | #Constraints: 43758 631.78/633.38 c #Conflicts: 373000 | #Constraints: 44758 631.78/633.38 c #Conflicts: 374000 | #Constraints: 45758 631.78/633.38 c #Conflicts: 375000 | #Constraints: 46758 631.78/633.38 c #Conflicts: 376000 | #Constraints: 47758 631.78/633.38 c #Conflicts: 377000 | #Constraints: 48758 631.78/633.38 c #Conflicts: 378000 | #Constraints: 49758 631.78/633.38 c #Conflicts: 379000 | #Constraints: 50758 631.78/633.38 c #Conflicts: 380000 | #Constraints: 51758 631.78/633.38 c #Conflicts: 381000 | #Constraints: 52758 631.78/633.38 c INPROCESSING 631.78/633.38 c GARBAGE COLLECT 631.78/633.38 c rational objective 54 658.92/660.59 c #Conflicts: 382000 | #Constraints: 41566 658.92/660.59 c #Conflicts: 383000 | #Constraints: 42566 658.92/660.59 c #Conflicts: 384000 | #Constraints: 43566 658.92/660.59 c #Conflicts: 385000 | #Constraints: 44566 658.92/660.59 c #Conflicts: 386000 | #Constraints: 45566 658.92/660.59 c #Conflicts: 387000 | #Constraints: 46566 658.92/660.59 c #Conflicts: 388000 | #Constraints: 47566 658.92/660.59 c #Conflicts: 389000 | #Constraints: 48566 658.92/660.59 c #Conflicts: 390000 | #Constraints: 49566 658.92/660.59 c #Conflicts: 391000 | #Constraints: 50566 658.92/660.59 c #Conflicts: 392000 | #Constraints: 51566 658.92/660.59 c #Conflicts: 393000 | #Constraints: 52566 658.92/660.59 c #Conflicts: 394000 | #Constraints: 53566 658.92/660.59 c INPROCESSING 658.92/660.59 c GARBAGE COLLECT 658.92/660.59 c rational objective 54 698.63/700.30 c #Conflicts: 395000 | #Constraints: 42155 698.63/700.30 c #Conflicts: 396000 | #Constraints: 43155 698.63/700.30 c #Conflicts: 397000 | #Constraints: 44155 698.63/700.30 c #Conflicts: 398000 | #Constraints: 45155 698.63/700.30 c #Conflicts: 399000 | #Constraints: 46155 698.63/700.30 c #Conflicts: 400000 | #Constraints: 47155 698.63/700.30 c #Conflicts: 401000 | #Constraints: 48155 698.63/700.30 c #Conflicts: 402000 | #Constraints: 49155 698.63/700.30 c #Conflicts: 403000 | #Constraints: 50155 698.63/700.30 c #Conflicts: 404000 | #Constraints: 51155 698.63/700.30 c #Conflicts: 405000 | #Constraints: 52155 698.63/700.30 c #Conflicts: 406000 | #Constraints: 53155 698.63/700.30 c #Conflicts: 407000 | #Constraints: 54155 698.63/700.30 c INPROCESSING 698.63/700.30 c GARBAGE COLLECT 698.63/700.30 c rational objective 54 725.29/727.02 c #Conflicts: 408000 | #Constraints: 42565 725.29/727.02 c #Conflicts: 409000 | #Constraints: 43565 725.29/727.02 c #Conflicts: 410000 | #Constraints: 44565 725.29/727.02 c #Conflicts: 411000 | #Constraints: 45565 725.29/727.02 c #Conflicts: 412000 | #Constraints: 46565 725.29/727.02 c #Conflicts: 413000 | #Constraints: 47565 725.29/727.02 c #Conflicts: 414000 | #Constraints: 48565 725.29/727.02 c #Conflicts: 415000 | #Constraints: 49565 725.29/727.02 c #Conflicts: 416000 | #Constraints: 50565 725.29/727.02 c #Conflicts: 417000 | #Constraints: 51565 725.29/727.02 c #Conflicts: 418000 | #Constraints: 52565 725.29/727.02 c #Conflicts: 419000 | #Constraints: 53565 725.29/727.02 c #Conflicts: 420000 | #Constraints: 54565 725.29/727.02 c INPROCESSING 725.29/727.02 c GARBAGE COLLECT 725.29/727.02 c rational objective 54 755.32/757.13 c #Conflicts: 421000 | #Constraints: 42758 755.32/757.13 c #Conflicts: 422000 | #Constraints: 43758 755.32/757.13 c #Conflicts: 423000 | #Constraints: 44758 755.32/757.13 c #Conflicts: 424000 | #Constraints: 45758 755.32/757.13 c #Conflicts: 425000 | #Constraints: 46758 755.32/757.13 c #Conflicts: 426000 | #Constraints: 47758 755.32/757.13 c #Conflicts: 427000 | #Constraints: 48758 755.32/757.13 c #Conflicts: 428000 | #Constraints: 49758 755.32/757.13 c #Conflicts: 429000 | #Constraints: 50758 755.32/757.13 c #Conflicts: 430000 | #Constraints: 51758 755.32/757.13 c #Conflicts: 431000 | #Constraints: 52758 755.32/757.13 c #Conflicts: 432000 | #Constraints: 53758 755.32/757.13 c #Conflicts: 433000 | #Constraints: 54758 755.32/757.13 c INPROCESSING 755.32/757.13 c GARBAGE COLLECT 755.32/757.13 c rational objective 54 778.27/780.17 c #Conflicts: 434000 | #Constraints: 42769 778.27/780.17 c #Conflicts: 435000 | #Constraints: 43769 778.27/780.17 c #Conflicts: 436000 | #Constraints: 44769 778.27/780.17 c #Conflicts: 437000 | #Constraints: 45769 778.27/780.17 c #Conflicts: 438000 | #Constraints: 46769 778.27/780.17 c #Conflicts: 439000 | #Constraints: 47769 778.27/780.17 c #Conflicts: 440000 | #Constraints: 48769 778.27/780.17 c #Conflicts: 441000 | #Constraints: 49769 778.27/780.17 c #Conflicts: 442000 | #Constraints: 50769 778.27/780.17 c #Conflicts: 443000 | #Constraints: 51769 778.27/780.17 c #Conflicts: 444000 | #Constraints: 52769 778.27/780.17 c #Conflicts: 445000 | #Constraints: 53769 778.27/780.17 c #Conflicts: 446000 | #Constraints: 54769 778.27/780.17 c INPROCESSING 778.27/780.17 c GARBAGE COLLECT 778.27/780.17 c rational objective 54 785.34/787.28 c #Conflicts: 447000 | #Constraints: 42564 785.34/787.28 c #Conflicts: 448000 | #Constraints: 43564 785.34/787.28 c #Conflicts: 449000 | #Constraints: 44564 785.34/787.28 c #Conflicts: 450000 | #Constraints: 45564 785.34/787.28 c #Conflicts: 451000 | #Constraints: 46564 785.34/787.28 c #Conflicts: 452000 | #Constraints: 47564 785.34/787.28 c #Conflicts: 453000 | #Constraints: 48564 785.34/787.28 c #Conflicts: 454000 | #Constraints: 49564 785.34/787.28 c #Conflicts: 455000 | #Constraints: 50564 785.34/787.28 c #Conflicts: 456000 | #Constraints: 51564 785.34/787.28 c #Conflicts: 457000 | #Constraints: 52564 785.34/787.28 c #Conflicts: 458000 | #Constraints: 53564 785.34/787.28 c #Conflicts: 459000 | #Constraints: 54564 785.34/787.28 c #Conflicts: 460000 | #Constraints: 55564 785.34/787.28 c INPROCESSING 785.34/787.28 c GARBAGE COLLECT 785.34/787.28 c rational objective 54 809.89/811.89 c #Conflicts: 461000 | #Constraints: 43170 809.89/811.89 c #Conflicts: 462000 | #Constraints: 44170 809.89/811.89 c #Conflicts: 463000 | #Constraints: 45170 809.89/811.89 c #Conflicts: 464000 | #Constraints: 46170 809.89/811.89 c #Conflicts: 465000 | #Constraints: 47170 809.89/811.89 c #Conflicts: 466000 | #Constraints: 48170 809.89/811.89 c #Conflicts: 467000 | #Constraints: 49170 809.89/811.89 c #Conflicts: 468000 | #Constraints: 50170 809.89/811.89 c #Conflicts: 469000 | #Constraints: 51170 809.89/811.89 c #Conflicts: 470000 | #Constraints: 52170 809.89/811.89 c #Conflicts: 471000 | #Constraints: 53170 809.89/811.89 c #Conflicts: 472000 | #Constraints: 54170 809.89/811.89 c #Conflicts: 473000 | #Constraints: 55170 809.89/811.89 c #Conflicts: 474000 | #Constraints: 56170 809.89/811.89 c INPROCESSING 809.89/811.89 c GARBAGE COLLECT 809.89/811.89 c rational objective 54 843.21/845.26 c #Conflicts: 475000 | #Constraints: 43560 843.21/845.26 c #Conflicts: 476000 | #Constraints: 44560 843.21/845.26 c #Conflicts: 477000 | #Constraints: 45560 843.21/845.26 c #Conflicts: 478000 | #Constraints: 46560 843.21/845.26 c #Conflicts: 479000 | #Constraints: 47560 843.21/845.26 c #Conflicts: 480000 | #Constraints: 48560 843.21/845.26 c #Conflicts: 481000 | #Constraints: 49560 843.21/845.26 c #Conflicts: 482000 | #Constraints: 50560 843.21/845.26 c #Conflicts: 483000 | #Constraints: 51560 843.21/845.26 c #Conflicts: 484000 | #Constraints: 52560 843.21/845.26 c #Conflicts: 485000 | #Constraints: 53560 843.21/845.26 c #Conflicts: 486000 | #Constraints: 54560 843.21/845.26 c #Conflicts: 487000 | #Constraints: 55560 843.21/845.26 c #Conflicts: 488000 | #Constraints: 56560 843.21/845.26 c INPROCESSING 843.21/845.26 c GARBAGE COLLECT 843.21/845.26 c rational objective 54 859.09/861.15 c #Conflicts: 489000 | #Constraints: 43773 859.09/861.15 c #Conflicts: 490000 | #Constraints: 44773 859.09/861.15 c #Conflicts: 491000 | #Constraints: 45773 859.09/861.15 c #Conflicts: 492000 | #Constraints: 46773 859.09/861.15 c #Conflicts: 493000 | #Constraints: 47773 859.09/861.15 c #Conflicts: 494000 | #Constraints: 48773 859.09/861.15 c #Conflicts: 495000 | #Constraints: 49773 859.09/861.15 c #Conflicts: 496000 | #Constraints: 50773 859.09/861.15 c #Conflicts: 497000 | #Constraints: 51773 859.09/861.15 c #Conflicts: 498000 | #Constraints: 52773 859.09/861.15 c #Conflicts: 499000 | #Constraints: 53773 859.09/861.15 c #Conflicts: 500000 | #Constraints: 54773 859.09/861.15 c #Conflicts: 501000 | #Constraints: 55773 859.09/861.15 c #Conflicts: 502000 | #Constraints: 56773 859.09/861.15 c INPROCESSING 859.09/861.15 c GARBAGE COLLECT 859.09/861.15 c rational objective 54 889.03/891.15 c #Conflicts: 503000 | #Constraints: 43769 889.03/891.15 c #Conflicts: 504000 | #Constraints: 44769 889.03/891.15 c #Conflicts: 505000 | #Constraints: 45769 889.03/891.15 c #Conflicts: 506000 | #Constraints: 46769 889.03/891.15 c #Conflicts: 507000 | #Constraints: 47769 889.03/891.15 c #Conflicts: 508000 | #Constraints: 48769 889.03/891.15 c #Conflicts: 509000 | #Constraints: 49769 889.03/891.15 c #Conflicts: 510000 | #Constraints: 50769 889.03/891.15 c #Conflicts: 511000 | #Constraints: 51769 889.03/891.15 c #Conflicts: 512000 | #Constraints: 52769 889.03/891.15 c #Conflicts: 513000 | #Constraints: 53769 889.03/891.15 c #Conflicts: 514000 | #Constraints: 54769 889.03/891.15 c #Conflicts: 515000 | #Constraints: 55769 889.03/891.15 c #Conflicts: 516000 | #Constraints: 56769 889.03/891.15 c INPROCESSING 889.03/891.15 c GARBAGE COLLECT 889.03/891.15 c rational objective 54 921.05/923.21 c #Conflicts: 517000 | #Constraints: 43564 921.05/923.21 c #Conflicts: 518000 | #Constraints: 44564 921.05/923.21 c #Conflicts: 519000 | #Constraints: 45564 921.05/923.21 c #Conflicts: 520000 | #Constraints: 46564 921.05/923.21 c #Conflicts: 521000 | #Constraints: 47564 921.05/923.21 c #Conflicts: 522000 | #Constraints: 48564 921.05/923.21 c #Conflicts: 523000 | #Constraints: 49564 921.05/923.21 c #Conflicts: 524000 | #Constraints: 50564 921.05/923.21 c #Conflicts: 525000 | #Constraints: 51564 921.05/923.21 c #Conflicts: 526000 | #Constraints: 52564 921.05/923.21 c #Conflicts: 527000 | #Constraints: 53564 921.05/923.21 c #Conflicts: 528000 | #Constraints: 54564 921.05/923.21 c #Conflicts: 529000 | #Constraints: 55564 921.05/923.21 c #Conflicts: 530000 | #Constraints: 56564 921.05/923.21 c #Conflicts: 531000 | #Constraints: 57564 921.05/923.21 c INPROCESSING 921.05/923.21 c GARBAGE COLLECT 921.05/923.21 c rational objective 54 942.70/944.93 c #Conflicts: 532000 | #Constraints: 44172 942.70/944.93 c #Conflicts: 533000 | #Constraints: 45172 942.70/944.93 c #Conflicts: 534000 | #Constraints: 46172 942.70/944.93 c #Conflicts: 535000 | #Constraints: 47172 942.70/944.93 c #Conflicts: 536000 | #Constraints: 48172 942.70/944.93 c #Conflicts: 537000 | #Constraints: 49172 942.70/944.93 c #Conflicts: 538000 | #Constraints: 50172 942.70/944.93 c #Conflicts: 539000 | #Constraints: 51172 942.70/944.93 c #Conflicts: 540000 | #Constraints: 52172 942.70/944.93 c #Conflicts: 541000 | #Constraints: 53172 942.70/944.93 c #Conflicts: 542000 | #Constraints: 54172 942.70/944.93 c #Conflicts: 543000 | #Constraints: 55172 942.70/944.93 c #Conflicts: 544000 | #Constraints: 56172 942.70/944.93 c #Conflicts: 545000 | #Constraints: 57172 942.70/944.93 c #Conflicts: 546000 | #Constraints: 58172 942.70/944.93 c INPROCESSING 942.70/944.93 c GARBAGE COLLECT 942.70/944.93 c rational objective 54 959.26/961.53 c #Conflicts: 547000 | #Constraints: 44563 959.26/961.53 c #Conflicts: 548000 | #Constraints: 45563 959.26/961.53 c #Conflicts: 549000 | #Constraints: 46563 959.26/961.53 c #Conflicts: 550000 | #Constraints: 47563 959.26/961.53 c #Conflicts: 551000 | #Constraints: 48563 959.26/961.53 c #Conflicts: 552000 | #Constraints: 49563 959.26/961.53 c #Conflicts: 553000 | #Constraints: 50563 959.26/961.53 c #Conflicts: 554000 | #Constraints: 51563 959.26/961.53 c #Conflicts: 555000 | #Constraints: 52563 959.26/961.53 c #Conflicts: 556000 | #Constraints: 53563 959.26/961.53 c #Conflicts: 557000 | #Constraints: 54563 959.26/961.53 c #Conflicts: 558000 | #Constraints: 55563 959.26/961.53 c #Conflicts: 559000 | #Constraints: 56563 959.26/961.53 c #Conflicts: 560000 | #Constraints: 57563 959.26/961.53 c #Conflicts: 561000 | #Constraints: 58563 959.26/961.53 c INPROCESSING 959.26/961.53 c GARBAGE COLLECT 959.26/961.53 c rational objective 54 971.75/974.07 c #Conflicts: 562000 | #Constraints: 44766 971.75/974.07 c #Conflicts: 563000 | #Constraints: 45766 971.75/974.07 c #Conflicts: 564000 | #Constraints: 46766 971.75/974.07 c #Conflicts: 565000 | #Constraints: 47766 971.75/974.07 c #Conflicts: 566000 | #Constraints: 48766 971.75/974.07 c #Conflicts: 567000 | #Constraints: 49766 971.75/974.07 c #Conflicts: 568000 | #Constraints: 50766 971.75/974.07 c #Conflicts: 569000 | #Constraints: 51766 971.75/974.07 c #Conflicts: 570000 | #Constraints: 52766 971.75/974.07 c #Conflicts: 571000 | #Constraints: 53766 971.75/974.07 c #Conflicts: 572000 | #Constraints: 54766 971.75/974.07 c #Conflicts: 573000 | #Constraints: 55766 971.75/974.07 c #Conflicts: 574000 | #Constraints: 56766 971.75/974.07 c #Conflicts: 575000 | #Constraints: 57767 971.75/974.07 c #Conflicts: 576000 | #Constraints: 58767 971.75/974.07 c INPROCESSING 971.75/974.07 c GARBAGE COLLECT 971.75/974.07 c rational objective 54 989.10/991.42 c #Conflicts: 577000 | #Constraints: 44764 989.10/991.42 c #Conflicts: 578000 | #Constraints: 45764 989.10/991.42 c #Conflicts: 579000 | #Constraints: 46764 989.10/991.42 c #Conflicts: 580000 | #Constraints: 47764 989.10/991.42 c #Conflicts: 581000 | #Constraints: 48764 989.10/991.42 c #Conflicts: 582000 | #Constraints: 49764 989.10/991.42 c #Conflicts: 583000 | #Constraints: 50764 989.10/991.42 c #Conflicts: 584000 | #Constraints: 51764 989.10/991.42 c #Conflicts: 585000 | #Constraints: 52764 989.10/991.42 c #Conflicts: 586000 | #Constraints: 53764 989.10/991.42 c #Conflicts: 587000 | #Constraints: 54764 989.10/991.42 c #Conflicts: 588000 | #Constraints: 55764 989.10/991.42 c #Conflicts: 589000 | #Constraints: 56764 989.10/991.42 c #Conflicts: 590000 | #Constraints: 57764 989.10/991.42 c #Conflicts: 591000 | #Constraints: 58764 989.10/991.42 c INPROCESSING 989.10/991.42 c GARBAGE COLLECT 989.10/991.42 c rational objective 54 1029.81/1032.24 c #Conflicts: 592000 | #Constraints: 44572 1029.81/1032.24 c #Conflicts: 593000 | #Constraints: 45572 1029.81/1032.24 c #Conflicts: 594000 | #Constraints: 46572 1029.81/1032.24 c #Conflicts: 595000 | #Constraints: 47572 1029.81/1032.24 c #Conflicts: 596000 | #Constraints: 48572 1029.81/1032.24 c #Conflicts: 597000 | #Constraints: 49572 1029.81/1032.24 c #Conflicts: 598000 | #Constraints: 50572 1029.81/1032.24 c #Conflicts: 599000 | #Constraints: 51572 1029.81/1032.24 c #Conflicts: 600000 | #Constraints: 52572 1029.81/1032.24 c #Conflicts: 601000 | #Constraints: 53572 1029.81/1032.24 c #Conflicts: 602000 | #Constraints: 54572 1029.81/1032.24 c #Conflicts: 603000 | #Constraints: 55572 1029.81/1032.24 c #Conflicts: 604000 | #Constraints: 56572 1029.81/1032.24 c #Conflicts: 605000 | #Constraints: 57572 1029.81/1032.24 c #Conflicts: 606000 | #Constraints: 58572 1029.81/1032.24 c #Conflicts: 607000 | #Constraints: 59572 1029.81/1032.24 c INPROCESSING 1029.81/1032.24 c GARBAGE COLLECT 1029.81/1032.24 c rational objective 54 1063.83/1066.36 c #Conflicts: 608000 | #Constraints: 45165 1063.83/1066.36 c #Conflicts: 609000 | #Constraints: 46165 1063.83/1066.36 c #Conflicts: 610000 | #Constraints: 47165 1063.83/1066.36 c #Conflicts: 611000 | #Constraints: 48165 1063.83/1066.36 c #Conflicts: 612000 | #Constraints: 49165 1063.83/1066.36 c #Conflicts: 613000 | #Constraints: 50165 1063.83/1066.36 c #Conflicts: 614000 | #Constraints: 51165 1063.83/1066.36 c #Conflicts: 615000 | #Constraints: 52165 1063.83/1066.36 c #Conflicts: 616000 | #Constraints: 53165 1063.83/1066.36 c #Conflicts: 617000 | #Constraints: 54165 1063.83/1066.36 c #Conflicts: 618000 | #Constraints: 55165 1063.83/1066.36 c #Conflicts: 619000 | #Constraints: 56165 1063.83/1066.36 c #Conflicts: 620000 | #Constraints: 57165 1063.83/1066.36 c #Conflicts: 621000 | #Constraints: 58165 1063.83/1066.36 c #Conflicts: 622000 | #Constraints: 59165 1063.83/1066.36 c #Conflicts: 623000 | #Constraints: 60165 1063.83/1066.36 c INPROCESSING 1063.83/1066.36 c GARBAGE COLLECT 1063.83/1066.36 c rational objective 54 1079.09/1081.62 c #Conflicts: 624000 | #Constraints: 45576 1079.09/1081.62 c #Conflicts: 625000 | #Constraints: 46576 1079.09/1081.62 c #Conflicts: 626000 | #Constraints: 47576 1079.09/1081.62 c #Conflicts: 627000 | #Constraints: 48576 1079.09/1081.62 c #Conflicts: 628000 | #Constraints: 49576 1079.09/1081.62 c #Conflicts: 629000 | #Constraints: 50576 1079.09/1081.62 c #Conflicts: 630000 | #Constraints: 51576 1079.09/1081.62 c #Conflicts: 631000 | #Constraints: 52576 1079.09/1081.62 c #Conflicts: 632000 | #Constraints: 53576 1079.09/1081.62 c #Conflicts: 633000 | #Constraints: 54576 1079.09/1081.62 c #Conflicts: 634000 | #Constraints: 55576 1079.09/1081.62 c #Conflicts: 635000 | #Constraints: 56576 1079.09/1081.62 c #Conflicts: 636000 | #Constraints: 57576 1079.09/1081.62 c #Conflicts: 637000 | #Constraints: 58576 1079.09/1081.62 c #Conflicts: 638000 | #Constraints: 59576 1079.09/1081.62 c #Conflicts: 639000 | #Constraints: 60576 1079.09/1081.62 c INPROCESSING 1079.09/1081.62 c GARBAGE COLLECT 1079.09/1081.62 c rational objective 54 1105.46/1108.03 c #Conflicts: 640000 | #Constraints: 45765 1105.46/1108.03 c #Conflicts: 641000 | #Constraints: 46765 1105.46/1108.03 c #Conflicts: 642000 | #Constraints: 47765 1105.46/1108.03 c #Conflicts: 643000 | #Constraints: 48765 1105.46/1108.03 c #Conflicts: 644000 | #Constraints: 49765 1105.46/1108.03 c #Conflicts: 645000 | #Constraints: 50765 1105.46/1108.03 c #Conflicts: 646000 | #Constraints: 51765 1105.46/1108.03 c #Conflicts: 647000 | #Constraints: 52765 1105.46/1108.03 c #Conflicts: 648000 | #Constraints: 53765 1105.46/1108.03 c #Conflicts: 649000 | #Constraints: 54765 1105.46/1108.03 c #Conflicts: 650000 | #Constraints: 55765 1105.46/1108.03 c #Conflicts: 651000 | #Constraints: 56765 1105.46/1108.03 c #Conflicts: 652000 | #Constraints: 57765 1105.46/1108.03 c #Conflicts: 653000 | #Constraints: 58765 1105.46/1108.03 c #Conflicts: 654000 | #Constraints: 59765 1105.46/1108.03 c #Conflicts: 655000 | #Constraints: 60765 1105.46/1108.03 c INPROCESSING 1105.46/1108.03 c GARBAGE COLLECT 1105.46/1108.03 c rational objective 54 1133.68/1136.35 c #Conflicts: 656000 | #Constraints: 45764 1133.68/1136.35 c #Conflicts: 657000 | #Constraints: 46764 1133.68/1136.35 c #Conflicts: 658000 | #Constraints: 47764 1133.68/1136.35 c #Conflicts: 659000 | #Constraints: 48764 1133.68/1136.35 c #Conflicts: 660000 | #Constraints: 49764 1133.68/1136.35 c #Conflicts: 661000 | #Constraints: 50764 1133.68/1136.35 c #Conflicts: 662000 | #Constraints: 51764 1133.68/1136.35 c #Conflicts: 663000 | #Constraints: 52764 1133.68/1136.35 c #Conflicts: 664000 | #Constraints: 53764 1133.68/1136.35 c #Conflicts: 665000 | #Constraints: 54764 1133.68/1136.35 c #Conflicts: 666000 | #Constraints: 55764 1133.68/1136.35 c #Conflicts: 667000 | #Constraints: 56764 1133.68/1136.35 c #Conflicts: 668000 | #Constraints: 57764 1133.68/1136.35 c #Conflicts: 669000 | #Constraints: 58764 1133.68/1136.35 c #Conflicts: 670000 | #Constraints: 59764 1133.68/1136.35 c #Conflicts: 671000 | #Constraints: 60764 1133.68/1136.35 c INPROCESSING 1133.68/1136.35 c GARBAGE COLLECT 1133.68/1136.35 c rational objective 54 1169.50/1172.21 c #Conflicts: 672000 | #Constraints: 45563 1169.50/1172.21 c #Conflicts: 673000 | #Constraints: 46563 1169.50/1172.21 c #Conflicts: 674000 | #Constraints: 47563 1169.50/1172.21 c #Conflicts: 675000 | #Constraints: 48563 1169.50/1172.21 c #Conflicts: 676000 | #Constraints: 49563 1169.50/1172.21 c #Conflicts: 677000 | #Constraints: 50563 1169.50/1172.21 c #Conflicts: 678000 | #Constraints: 51563 1169.50/1172.21 c #Conflicts: 679000 | #Constraints: 52563 1169.50/1172.21 c #Conflicts: 680000 | #Constraints: 53563 1169.50/1172.21 c #Conflicts: 681000 | #Constraints: 54563 1169.50/1172.21 c #Conflicts: 682000 | #Constraints: 55563 1169.50/1172.21 c #Conflicts: 683000 | #Constraints: 56563 1169.50/1172.21 c #Conflicts: 684000 | #Constraints: 57563 1169.50/1172.21 c #Conflicts: 685000 | #Constraints: 58563 1169.50/1172.21 c #Conflicts: 686000 | #Constraints: 59563 1169.50/1172.21 c #Conflicts: 687000 | #Constraints: 60563 1169.50/1172.21 c #Conflicts: 688000 | #Constraints: 61563 1169.50/1172.21 c INPROCESSING 1169.50/1172.21 c GARBAGE COLLECT 1169.50/1172.21 c rational objective 54 1182.38/1185.13 c #Conflicts: 689000 | #Constraints: 46170 1182.38/1185.13 c #Conflicts: 690000 | #Constraints: 47170 1182.38/1185.13 c #Conflicts: 691000 | #Constraints: 48170 1182.38/1185.13 c #Conflicts: 692000 | #Constraints: 49170 1182.38/1185.13 c #Conflicts: 693000 | #Constraints: 50170 1182.38/1185.13 c #Conflicts: 694000 | #Constraints: 51170 1182.38/1185.13 c #Conflicts: 695000 | #Constraints: 52170 1182.38/1185.13 c #Conflicts: 696000 | #Constraints: 53170 1182.38/1185.13 c #Conflicts: 697000 | #Constraints: 54170 1182.38/1185.13 c #Conflicts: 698000 | #Constraints: 55170 1182.38/1185.13 c #Conflicts: 699000 | #Constraints: 56170 1182.38/1185.13 c #Conflicts: 700000 | #Constraints: 57170 1182.38/1185.13 c #Conflicts: 701000 | #Constraints: 58170 1182.38/1185.13 c #Conflicts: 702000 | #Constraints: 59170 1182.38/1185.13 c #Conflicts: 703000 | #Constraints: 60170 1182.38/1185.13 c #Conflicts: 704000 | #Constraints: 61170 1182.38/1185.13 c #Conflicts: 705000 | #Constraints: 62170 1182.38/1185.13 c INPROCESSING 1182.38/1185.13 c GARBAGE COLLECT 1182.38/1185.13 c rational objective 54 1211.01/1213.86 c #Conflicts: 706000 | #Constraints: 46567 1211.01/1213.86 c #Conflicts: 707000 | #Constraints: 47567 1211.01/1213.86 c #Conflicts: 708000 | #Constraints: 48567 1211.01/1213.86 c #Conflicts: 709000 | #Constraints: 49567 1211.01/1213.86 c #Conflicts: 710000 | #Constraints: 50567 1211.01/1213.86 c #Conflicts: 711000 | #Constraints: 51567 1211.01/1213.86 c #Conflicts: 712000 | #Constraints: 52567 1211.01/1213.86 c #Conflicts: 713000 | #Constraints: 53567 1211.01/1213.86 c #Conflicts: 714000 | #Constraints: 54567 1211.01/1213.86 c #Conflicts: 715000 | #Constraints: 55567 1211.01/1213.86 c #Conflicts: 716000 | #Constraints: 56567 1211.01/1213.86 c #Conflicts: 717000 | #Constraints: 57567 1211.01/1213.86 c #Conflicts: 718000 | #Constraints: 58567 1211.01/1213.86 c #Conflicts: 719000 | #Constraints: 59567 1211.01/1213.86 c #Conflicts: 720000 | #Constraints: 60567 1211.01/1213.86 c #Conflicts: 721000 | #Constraints: 61567 1211.01/1213.86 c #Conflicts: 722000 | #Constraints: 62567 1211.01/1213.86 c INPROCESSING 1211.01/1213.86 c GARBAGE COLLECT 1211.01/1213.86 c rational objective 54 1226.78/1229.61 c #Conflicts: 723000 | #Constraints: 46766 1226.78/1229.61 c #Conflicts: 724000 | #Constraints: 47766 1226.78/1229.61 c #Conflicts: 725000 | #Constraints: 48766 1226.78/1229.61 c #Conflicts: 726000 | #Constraints: 49766 1226.78/1229.61 c #Conflicts: 727000 | #Constraints: 50766 1226.78/1229.61 c #Conflicts: 728000 | #Constraints: 51766 1226.78/1229.61 c #Conflicts: 729000 | #Constraints: 52766 1226.78/1229.61 c #Conflicts: 730000 | #Constraints: 53766 1226.78/1229.61 c #Conflicts: 731000 | #Constraints: 54766 1226.78/1229.61 c #Conflicts: 732000 | #Constraints: 55766 1226.78/1229.61 c #Conflicts: 733000 | #Constraints: 56766 1226.78/1229.61 c #Conflicts: 734000 | #Constraints: 57766 1226.78/1229.61 c #Conflicts: 735000 | #Constraints: 58766 1226.78/1229.61 c #Conflicts: 736000 | #Constraints: 59766 1226.78/1229.61 c #Conflicts: 737000 | #Constraints: 60766 1226.78/1229.61 c #Conflicts: 738000 | #Constraints: 61766 1226.78/1229.61 c #Conflicts: 739000 | #Constraints: 62766 1226.78/1229.61 c INPROCESSING 1226.78/1229.61 c GARBAGE COLLECT 1226.78/1229.61 c rational objective 54 1258.30/1261.28 c #Conflicts: 740000 | #Constraints: 46776 1258.30/1261.28 c #Conflicts: 741000 | #Constraints: 47776 1258.30/1261.28 c #Conflicts: 742000 | #Constraints: 48776 1258.30/1261.28 c #Conflicts: 743000 | #Constraints: 49776 1258.30/1261.28 c #Conflicts: 744000 | #Constraints: 50776 1258.30/1261.28 c #Conflicts: 745000 | #Constraints: 51776 1258.30/1261.28 c #Conflicts: 746000 | #Constraints: 52776 1258.30/1261.28 c #Conflicts: 747000 | #Constraints: 53776 1258.30/1261.28 c #Conflicts: 748000 | #Constraints: 54776 1258.30/1261.28 c #Conflicts: 749000 | #Constraints: 55776 1258.30/1261.28 c #Conflicts: 750000 | #Constraints: 56776 1258.30/1261.28 c #Conflicts: 751000 | #Constraints: 57776 1258.30/1261.28 c #Conflicts: 752000 | #Constraints: 58776 1258.30/1261.28 c #Conflicts: 753000 | #Constraints: 59776 1258.30/1261.28 c #Conflicts: 754000 | #Constraints: 60776 1258.30/1261.28 c #Conflicts: 755000 | #Constraints: 61776 1258.30/1261.28 c #Conflicts: 756000 | #Constraints: 62776 1258.30/1261.28 c INPROCESSING 1258.30/1261.28 c GARBAGE COLLECT 1258.30/1261.28 c rational objective 54 1286.24/1289.23 c #Conflicts: 757000 | #Constraints: 46578 1286.24/1289.23 c #Conflicts: 758000 | #Constraints: 47578 1286.24/1289.23 c #Conflicts: 759000 | #Constraints: 48578 1286.24/1289.23 c #Conflicts: 760000 | #Constraints: 49578 1286.24/1289.23 c #Conflicts: 761000 | #Constraints: 50578 1286.24/1289.23 c #Conflicts: 762000 | #Constraints: 51578 1286.24/1289.23 c #Conflicts: 763000 | #Constraints: 52578 1286.24/1289.23 c #Conflicts: 764000 | #Constraints: 53578 1286.24/1289.23 c #Conflicts: 765000 | #Constraints: 54578 1286.24/1289.23 c #Conflicts: 766000 | #Constraints: 55578 1286.24/1289.23 c #Conflicts: 767000 | #Constraints: 56578 1286.24/1289.23 c #Conflicts: 768000 | #Constraints: 57578 1286.24/1289.23 c #Conflicts: 769000 | #Constraints: 58578 1286.24/1289.23 c #Conflicts: 770000 | #Constraints: 59578 1286.24/1289.23 c #Conflicts: 771000 | #Constraints: 60578 1286.24/1289.23 c #Conflicts: 772000 | #Constraints: 61578 1286.24/1289.23 c #Conflicts: 773000 | #Constraints: 62578 1286.24/1289.23 c #Conflicts: 774000 | #Constraints: 63578 1286.24/1289.23 c INPROCESSING 1286.24/1289.23 c GARBAGE COLLECT 1286.24/1289.23 c rational objective 54 1316.99/1320.01 c #Conflicts: 775000 | #Constraints: 47170 1316.99/1320.01 c #Conflicts: 776000 | #Constraints: 48170 1316.99/1320.01 c #Conflicts: 777000 | #Constraints: 49170 1316.99/1320.01 c #Conflicts: 778000 | #Constraints: 50170 1316.99/1320.01 c #Conflicts: 779000 | #Constraints: 51170 1316.99/1320.01 c #Conflicts: 780000 | #Constraints: 52170 1316.99/1320.01 c #Conflicts: 781000 | #Constraints: 53170 1316.99/1320.01 c #Conflicts: 782000 | #Constraints: 54170 1316.99/1320.01 c #Conflicts: 783000 | #Constraints: 55170 1316.99/1320.01 c #Conflicts: 784000 | #Constraints: 56170 1316.99/1320.01 c #Conflicts: 785000 | #Constraints: 57170 1316.99/1320.01 c #Conflicts: 786000 | #Constraints: 58170 1316.99/1320.01 c #Conflicts: 787000 | #Constraints: 59170 1316.99/1320.01 c #Conflicts: 788000 | #Constraints: 60170 1316.99/1320.01 c #Conflicts: 789000 | #Constraints: 61170 1316.99/1320.01 c #Conflicts: 790000 | #Constraints: 62170 1316.99/1320.01 c #Conflicts: 791000 | #Constraints: 63170 1316.99/1320.01 c #Conflicts: 792000 | #Constraints: 64170 1316.99/1320.01 c INPROCESSING 1316.99/1320.01 c GARBAGE COLLECT 1316.99/1320.01 c rational objective 54 1345.81/1348.95 c #Conflicts: 793000 | #Constraints: 47565 1345.81/1348.95 c #Conflicts: 794000 | #Constraints: 48565 1345.81/1348.95 c #Conflicts: 795000 | #Constraints: 49565 1345.81/1348.95 c #Conflicts: 796000 | #Constraints: 50565 1345.81/1348.95 c #Conflicts: 797000 | #Constraints: 51565 1345.81/1348.95 c #Conflicts: 798000 | #Constraints: 52565 1345.81/1348.95 c #Conflicts: 799000 | #Constraints: 53565 1345.81/1348.95 c #Conflicts: 800000 | #Constraints: 54565 1345.81/1348.95 c #Conflicts: 801000 | #Constraints: 55565 1345.81/1348.95 c #Conflicts: 802000 | #Constraints: 56565 1345.81/1348.95 c #Conflicts: 803000 | #Constraints: 57565 1345.81/1348.95 c #Conflicts: 804000 | #Constraints: 58565 1345.81/1348.95 c #Conflicts: 805000 | #Constraints: 59565 1345.81/1348.95 c #Conflicts: 806000 | #Constraints: 60565 1345.81/1348.95 c #Conflicts: 807000 | #Constraints: 61565 1345.81/1348.95 c #Conflicts: 808000 | #Constraints: 62565 1345.81/1348.95 c #Conflicts: 809000 | #Constraints: 63565 1345.81/1348.95 c #Conflicts: 810000 | #Constraints: 64565 1345.81/1348.95 c INPROCESSING 1345.81/1348.95 c GARBAGE COLLECT 1345.81/1348.95 c rational objective 54 1357.28/1360.45 c #Conflicts: 811000 | #Constraints: 47777 1357.28/1360.45 c #Conflicts: 812000 | #Constraints: 48777 1357.28/1360.45 c #Conflicts: 813000 | #Constraints: 49777 1357.28/1360.45 c #Conflicts: 814000 | #Constraints: 50777 1357.28/1360.45 c #Conflicts: 815000 | #Constraints: 51777 1357.28/1360.45 c #Conflicts: 816000 | #Constraints: 52777 1357.28/1360.45 c #Conflicts: 817000 | #Constraints: 53777 1357.28/1360.45 c #Conflicts: 818000 | #Constraints: 54777 1357.28/1360.45 c #Conflicts: 819000 | #Constraints: 55777 1357.28/1360.45 c #Conflicts: 820000 | #Constraints: 56777 1357.28/1360.45 c #Conflicts: 821000 | #Constraints: 57777 1357.28/1360.45 c #Conflicts: 822000 | #Constraints: 58777 1357.28/1360.45 c #Conflicts: 823000 | #Constraints: 59777 1357.28/1360.45 c #Conflicts: 824000 | #Constraints: 60777 1357.28/1360.45 c #Conflicts: 825000 | #Constraints: 61777 1357.28/1360.45 c #Conflicts: 826000 | #Constraints: 62777 1357.28/1360.45 c #Conflicts: 827000 | #Constraints: 63777 1357.28/1360.45 c #Conflicts: 828000 | #Constraints: 64777 1357.28/1360.45 c INPROCESSING 1357.28/1360.45 c GARBAGE COLLECT 1357.28/1360.45 c rational objective 54 1390.51/1393.79 c #Conflicts: 829000 | #Constraints: 47773 1390.51/1393.79 c #Conflicts: 830000 | #Constraints: 48773 1390.51/1393.79 c #Conflicts: 831000 | #Constraints: 49773 1390.51/1393.79 c #Conflicts: 832000 | #Constraints: 50773 1390.51/1393.79 c #Conflicts: 833000 | #Constraints: 51773 1390.51/1393.79 c #Conflicts: 834000 | #Constraints: 52773 1390.51/1393.79 c #Conflicts: 835000 | #Constraints: 53773 1390.51/1393.79 c #Conflicts: 836000 | #Constraints: 54773 1390.51/1393.79 c #Conflicts: 837000 | #Constraints: 55773 1390.51/1393.79 c #Conflicts: 838000 | #Constraints: 56773 1390.51/1393.79 c #Conflicts: 839000 | #Constraints: 57773 1390.51/1393.79 c #Conflicts: 840000 | #Constraints: 58773 1390.51/1393.79 c #Conflicts: 841000 | #Constraints: 59773 1390.51/1393.79 c #Conflicts: 842000 | #Constraints: 60773 1390.51/1393.79 c #Conflicts: 843000 | #Constraints: 61773 1390.51/1393.79 c #Conflicts: 844000 | #Constraints: 62773 1390.51/1393.79 c #Conflicts: 845000 | #Constraints: 63773 1390.51/1393.79 c #Conflicts: 846000 | #Constraints: 64773 1390.51/1393.79 c INPROCESSING 1390.51/1393.79 c GARBAGE COLLECT 1390.51/1393.79 c rational objective 54 1422.24/1425.53 c #Conflicts: 847000 | #Constraints: 47565 1422.24/1425.53 c #Conflicts: 848000 | #Constraints: 48565 1422.24/1425.53 c #Conflicts: 849000 | #Constraints: 49565 1422.24/1425.53 c #Conflicts: 850000 | #Constraints: 50565 1422.24/1425.53 c #Conflicts: 851000 | #Constraints: 51565 1422.24/1425.53 c #Conflicts: 852000 | #Constraints: 52565 1422.24/1425.53 c #Conflicts: 853000 | #Constraints: 53565 1422.24/1425.53 c #Conflicts: 854000 | #Constraints: 54565 1422.24/1425.53 c #Conflicts: 855000 | #Constraints: 55565 1422.24/1425.53 c #Conflicts: 856000 | #Constraints: 56565 1422.24/1425.53 c #Conflicts: 857000 | #Constraints: 57565 1422.24/1425.53 c #Conflicts: 858000 | #Constraints: 58565 1422.24/1425.53 c #Conflicts: 859000 | #Constraints: 59565 1422.24/1425.53 c #Conflicts: 860000 | #Constraints: 60565 1422.24/1425.53 c #Conflicts: 861000 | #Constraints: 61565 1422.24/1425.53 c #Conflicts: 862000 | #Constraints: 62565 1422.24/1425.53 c #Conflicts: 863000 | #Constraints: 63565 1422.24/1425.53 c #Conflicts: 864000 | #Constraints: 64565 1422.24/1425.53 c #Conflicts: 865000 | #Constraints: 65565 1422.24/1425.53 c INPROCESSING 1422.24/1425.53 c GARBAGE COLLECT 1422.24/1425.53 c rational objective 54 1454.97/1458.31 c #Conflicts: 866000 | #Constraints: 48176 1454.97/1458.31 c #Conflicts: 867000 | #Constraints: 49176 1454.97/1458.31 c #Conflicts: 868000 | #Constraints: 50176 1454.97/1458.31 c #Conflicts: 869000 | #Constraints: 51176 1454.97/1458.31 c #Conflicts: 870000 | #Constraints: 52176 1454.97/1458.31 c #Conflicts: 871000 | #Constraints: 53176 1454.97/1458.31 c #Conflicts: 872000 | #Constraints: 54176 1454.97/1458.31 c #Conflicts: 873000 | #Constraints: 55176 1454.97/1458.31 c #Conflicts: 874000 | #Constraints: 56176 1454.97/1458.31 c #Conflicts: 875000 | #Constraints: 57176 1454.97/1458.31 c #Conflicts: 876000 | #Constraints: 58176 1454.97/1458.31 c #Conflicts: 877000 | #Constraints: 59176 1454.97/1458.31 c #Conflicts: 878000 | #Constraints: 60176 1454.97/1458.31 c #Conflicts: 879000 | #Constraints: 61176 1454.97/1458.31 c #Conflicts: 880000 | #Constraints: 62176 1454.97/1458.31 c #Conflicts: 881000 | #Constraints: 63176 1454.97/1458.31 c #Conflicts: 882000 | #Constraints: 64176 1454.97/1458.31 c #Conflicts: 883000 | #Constraints: 65176 1454.97/1458.31 c #Conflicts: 884000 | #Constraints: 66176 1454.97/1458.31 c INPROCESSING 1454.97/1458.31 c GARBAGE COLLECT 1454.97/1458.31 c rational objective 54 1473.12/1476.50 c #Conflicts: 885000 | #Constraints: 48568 1473.12/1476.50 c #Conflicts: 886000 | #Constraints: 49568 1473.12/1476.50 c #Conflicts: 887000 | #Constraints: 50568 1473.12/1476.50 c #Conflicts: 888000 | #Constraints: 51568 1473.12/1476.50 c #Conflicts: 889000 | #Constraints: 52568 1473.12/1476.50 c #Conflicts: 890000 | #Constraints: 53568 1473.12/1476.50 c #Conflicts: 891000 | #Constraints: 54568 1473.12/1476.50 c #Conflicts: 892000 | #Constraints: 55568 1473.12/1476.50 c #Conflicts: 893000 | #Constraints: 56568 1473.12/1476.50 c #Conflicts: 894000 | #Constraints: 57568 1473.12/1476.50 c #Conflicts: 895000 | #Constraints: 58568 1473.12/1476.50 c #Conflicts: 896000 | #Constraints: 59568 1473.12/1476.50 c #Conflicts: 897000 | #Constraints: 60568 1473.12/1476.50 c #Conflicts: 898000 | #Constraints: 61568 1473.12/1476.50 c #Conflicts: 899000 | #Constraints: 62568 1473.12/1476.50 c #Conflicts: 900000 | #Constraints: 63568 1473.12/1476.50 c #Conflicts: 901000 | #Constraints: 64568 1473.12/1476.50 c #Conflicts: 902000 | #Constraints: 65568 1473.12/1476.50 c #Conflicts: 903000 | #Constraints: 66568 1473.12/1476.50 c INPROCESSING 1473.12/1476.50 c GARBAGE COLLECT 1473.12/1476.50 c rational objective 54 1494.77/1498.24 c #Conflicts: 904000 | #Constraints: 48769 1494.77/1498.24 c #Conflicts: 905000 | #Constraints: 49769 1494.77/1498.24 c #Conflicts: 906000 | #Constraints: 50769 1494.77/1498.24 c #Conflicts: 907000 | #Constraints: 51769 1494.77/1498.24 c #Conflicts: 908000 | #Constraints: 52769 1494.77/1498.24 c #Conflicts: 909000 | #Constraints: 53769 1494.77/1498.24 c #Conflicts: 910000 | #Constraints: 54769 1494.77/1498.24 c #Conflicts: 911000 | #Constraints: 55769 1494.77/1498.24 c #Conflicts: 912000 | #Constraints: 56769 1494.77/1498.24 c #Conflicts: 913000 | #Constraints: 57769 1494.77/1498.24 c #Conflicts: 914000 | #Constraints: 58769 1494.77/1498.24 c #Conflicts: 915000 | #Constraints: 59769 1494.77/1498.24 c #Conflicts: 916000 | #Constraints: 60769 1494.77/1498.24 c #Conflicts: 917000 | #Constraints: 61769 1494.77/1498.24 c #Conflicts: 918000 | #Constraints: 62769 1494.77/1498.24 c #Conflicts: 919000 | #Constraints: 63769 1494.77/1498.24 c #Conflicts: 920000 | #Constraints: 64769 1494.77/1498.24 c #Conflicts: 921000 | #Constraints: 65769 1494.77/1498.24 c #Conflicts: 922000 | #Constraints: 66769 1494.77/1498.24 c INPROCESSING 1494.77/1498.24 c GARBAGE COLLECT 1494.77/1498.24 c rational objective 54 1523.80/1527.34 c #Conflicts: 923000 | #Constraints: 48779 1523.80/1527.34 c #Conflicts: 924000 | #Constraints: 49779 1523.80/1527.34 c #Conflicts: 925000 | #Constraints: 50779 1523.80/1527.34 c #Conflicts: 926000 | #Constraints: 51779 1523.80/1527.34 c #Conflicts: 927000 | #Constraints: 52779 1523.80/1527.34 c #Conflicts: 928000 | #Constraints: 53779 1523.80/1527.34 c #Conflicts: 929000 | #Constraints: 54779 1523.80/1527.34 c #Conflicts: 930000 | #Constraints: 55779 1523.80/1527.34 c #Conflicts: 931000 | #Constraints: 56779 1523.80/1527.34 c #Conflicts: 932000 | #Constraints: 57779 1523.80/1527.34 c #Conflicts: 933000 | #Constraints: 58779 1523.80/1527.34 c #Conflicts: 934000 | #Constraints: 59779 1523.80/1527.34 c #Conflicts: 935000 | #Constraints: 60779 1523.80/1527.34 c #Conflicts: 936000 | #Constraints: 61779 1523.80/1527.34 c #Conflicts: 937000 | #Constraints: 62779 1523.80/1527.34 c #Conflicts: 938000 | #Constraints: 63779 1523.80/1527.34 c #Conflicts: 939000 | #Constraints: 64779 1523.80/1527.34 c #Conflicts: 940000 | #Constraints: 65779 1523.80/1527.34 c #Conflicts: 941000 | #Constraints: 66779 1523.80/1527.34 c INPROCESSING 1523.80/1527.34 c GARBAGE COLLECT 1523.80/1527.34 c rational objective 54 1565.01/1568.67 c #Conflicts: 942000 | #Constraints: 48571 1565.01/1568.67 c #Conflicts: 943000 | #Constraints: 49571 1565.01/1568.67 c #Conflicts: 944000 | #Constraints: 50571 1565.01/1568.67 c #Conflicts: 945000 | #Constraints: 51571 1565.01/1568.67 c #Conflicts: 946000 | #Constraints: 52571 1565.01/1568.67 c #Conflicts: 947000 | #Constraints: 53571 1565.01/1568.67 c #Conflicts: 948000 | #Constraints: 54571 1565.01/1568.67 c #Conflicts: 949000 | #Constraints: 55571 1565.01/1568.67 c #Conflicts: 950000 | #Constraints: 56571 1565.01/1568.67 c #Conflicts: 951000 | #Constraints: 57571 1565.01/1568.67 c #Conflicts: 952000 | #Constraints: 58571 1565.01/1568.67 c #Conflicts: 953000 | #Constraints: 59571 1565.01/1568.67 c #Conflicts: 954000 | #Constraints: 60571 1565.01/1568.67 c #Conflicts: 955000 | #Constraints: 61571 1565.01/1568.67 c bounds 145 >= 56 @ 1528.99 1565.01/1568.67 c #Conflicts: 956000 | #Constraints: 62589 1565.01/1568.67 c #Conflicts: 957000 | #Constraints: 63589 1565.01/1568.67 c #Conflicts: 958000 | #Constraints: 64589 1565.01/1568.67 c #Conflicts: 959000 | #Constraints: 65589 1565.01/1568.67 c #Conflicts: 960000 | #Constraints: 66589 1565.01/1568.67 c #Conflicts: 961000 | #Constraints: 67589 1565.01/1568.67 c INPROCESSING 1565.01/1568.67 c GARBAGE COLLECT 1565.01/1568.67 c rational objective 56 1595.55/1599.28 c #Conflicts: 962000 | #Constraints: 49181 1595.55/1599.28 c #Conflicts: 963000 | #Constraints: 50181 1595.55/1599.28 c #Conflicts: 964000 | #Constraints: 51181 1595.55/1599.28 c #Conflicts: 965000 | #Constraints: 52181 1595.55/1599.28 c #Conflicts: 966000 | #Constraints: 53181 1595.55/1599.28 c #Conflicts: 967000 | #Constraints: 54181 1595.55/1599.28 c #Conflicts: 968000 | #Constraints: 55181 1595.55/1599.28 c #Conflicts: 969000 | #Constraints: 56181 1595.55/1599.28 c #Conflicts: 970000 | #Constraints: 57181 1595.55/1599.28 c #Conflicts: 971000 | #Constraints: 58181 1595.55/1599.28 c #Conflicts: 972000 | #Constraints: 59181 1595.55/1599.28 c #Conflicts: 973000 | #Constraints: 60181 1595.55/1599.28 c #Conflicts: 974000 | #Constraints: 61181 1595.55/1599.28 c #Conflicts: 975000 | #Constraints: 62181 1595.55/1599.28 c #Conflicts: 976000 | #Constraints: 63181 1595.55/1599.28 c #Conflicts: 977000 | #Constraints: 64181 1595.55/1599.28 c #Conflicts: 978000 | #Constraints: 65181 1595.55/1599.28 c #Conflicts: 979000 | #Constraints: 66181 1595.55/1599.28 c #Conflicts: 980000 | #Constraints: 67181 1595.55/1599.28 c #Conflicts: 981000 | #Constraints: 68181 1595.55/1599.28 c INPROCESSING 1595.55/1599.28 c GARBAGE COLLECT 1595.55/1599.28 c rational objective 56 1617.31/1621.01 c #Conflicts: 982000 | #Constraints: 49581 1617.31/1621.01 c #Conflicts: 983000 | #Constraints: 50581 1617.31/1621.01 c #Conflicts: 984000 | #Constraints: 51581 1617.31/1621.01 c #Conflicts: 985000 | #Constraints: 52581 1617.31/1621.01 c #Conflicts: 986000 | #Constraints: 53581 1617.31/1621.01 c #Conflicts: 987000 | #Constraints: 54581 1617.31/1621.01 c #Conflicts: 988000 | #Constraints: 55581 1617.31/1621.01 c #Conflicts: 989000 | #Constraints: 56581 1617.31/1621.01 c #Conflicts: 990000 | #Constraints: 57581 1617.31/1621.01 c #Conflicts: 991000 | #Constraints: 58581 1617.31/1621.01 c #Conflicts: 992000 | #Constraints: 59581 1617.31/1621.01 c #Conflicts: 993000 | #Constraints: 60581 1617.31/1621.01 c #Conflicts: 994000 | #Constraints: 61581 1617.31/1621.01 c #Conflicts: 995000 | #Constraints: 62581 1617.31/1621.01 c #Conflicts: 996000 | #Constraints: 63581 1617.31/1621.01 c #Conflicts: 997000 | #Constraints: 64581 1617.31/1621.01 c #Conflicts: 998000 | #Constraints: 65581 1617.31/1621.01 c #Conflicts: 999000 | #Constraints: 66581 1617.31/1621.01 c #Conflicts: 1000000 | #Constraints: 67581 1617.31/1621.01 c #Conflicts: 1001000 | #Constraints: 68581 1617.31/1621.01 c INPROCESSING 1617.31/1621.01 c GARBAGE COLLECT 1617.31/1621.01 c rational objective 56 1637.45/1641.25 c #Conflicts: 1002000 | #Constraints: 49792 1637.45/1641.25 c #Conflicts: 1003000 | #Constraints: 50792 1637.45/1641.25 c #Conflicts: 1004000 | #Constraints: 51792 1637.45/1641.25 c #Conflicts: 1005000 | #Constraints: 52792 1637.45/1641.25 c #Conflicts: 1006000 | #Constraints: 53792 1637.45/1641.25 c #Conflicts: 1007000 | #Constraints: 54792 1637.45/1641.25 c #Conflicts: 1008000 | #Constraints: 55792 1637.45/1641.25 c #Conflicts: 1009000 | #Constraints: 56792 1637.45/1641.25 c #Conflicts: 1010000 | #Constraints: 57792 1637.45/1641.25 c #Conflicts: 1011000 | #Constraints: 58792 1637.45/1641.25 c #Conflicts: 1012000 | #Constraints: 59792 1637.45/1641.25 c #Conflicts: 1013000 | #Constraints: 60792 1637.45/1641.25 c #Conflicts: 1014000 | #Constraints: 61792 1637.45/1641.25 c #Conflicts: 1015000 | #Constraints: 62792 1637.45/1641.25 c #Conflicts: 1016000 | #Constraints: 63792 1637.45/1641.25 c #Conflicts: 1017000 | #Constraints: 64792 1637.45/1641.25 c #Conflicts: 1018000 | #Constraints: 65792 1637.45/1641.25 c #Conflicts: 1019000 | #Constraints: 66792 1637.45/1641.25 c #Conflicts: 1020000 | #Constraints: 67792 1637.45/1641.25 c #Conflicts: 1021000 | #Constraints: 68792 1637.45/1641.25 c INPROCESSING 1637.45/1641.25 c GARBAGE COLLECT 1637.45/1641.25 c rational objective 56 1669.79/1673.67 c #Conflicts: 1022000 | #Constraints: 49787 1669.79/1673.67 c #Conflicts: 1023000 | #Constraints: 50787 1669.79/1673.67 c #Conflicts: 1024000 | #Constraints: 51787 1669.79/1673.67 c #Conflicts: 1025000 | #Constraints: 52787 1669.79/1673.67 c #Conflicts: 1026000 | #Constraints: 53787 1669.79/1673.67 c #Conflicts: 1027000 | #Constraints: 54787 1669.79/1673.67 c #Conflicts: 1028000 | #Constraints: 55787 1669.79/1673.67 c #Conflicts: 1029000 | #Constraints: 56787 1669.79/1673.67 c #Conflicts: 1030000 | #Constraints: 57787 1669.79/1673.67 c #Conflicts: 1031000 | #Constraints: 58787 1669.79/1673.67 c #Conflicts: 1032000 | #Constraints: 59787 1669.79/1673.67 c #Conflicts: 1033000 | #Constraints: 60787 1669.79/1673.67 c #Conflicts: 1034000 | #Constraints: 61787 1669.79/1673.67 c #Conflicts: 1035000 | #Constraints: 62787 1669.79/1673.67 c #Conflicts: 1036000 | #Constraints: 63787 1669.79/1673.67 c #Conflicts: 1037000 | #Constraints: 64787 1669.79/1673.67 c #Conflicts: 1038000 | #Constraints: 65787 1669.79/1673.67 c #Conflicts: 1039000 | #Constraints: 66787 1669.79/1673.67 c #Conflicts: 1040000 | #Constraints: 67787 1669.79/1673.67 c #Conflicts: 1041000 | #Constraints: 68787 1669.79/1673.67 c INPROCESSING 1669.79/1673.67 c GARBAGE COLLECT 1669.79/1673.67 c rational objective 56 1690.16/1694.06 c #Conflicts: 1042000 | #Constraints: 49584 1690.16/1694.06 c #Conflicts: 1043000 | #Constraints: 50584 1690.16/1694.06 c #Conflicts: 1044000 | #Constraints: 51584 1690.16/1694.06 c #Conflicts: 1045000 | #Constraints: 52584 1690.16/1694.06 c #Conflicts: 1046000 | #Constraints: 53584 1690.16/1694.06 c #Conflicts: 1047000 | #Constraints: 54584 1690.16/1694.06 c #Conflicts: 1048000 | #Constraints: 55584 1690.16/1694.06 c #Conflicts: 1049000 | #Constraints: 56584 1690.16/1694.06 c #Conflicts: 1050000 | #Constraints: 57584 1690.16/1694.06 c #Conflicts: 1051000 | #Constraints: 58584 1690.16/1694.06 c #Conflicts: 1052000 | #Constraints: 59584 1690.16/1694.06 c #Conflicts: 1053000 | #Constraints: 60584 1690.16/1694.06 c #Conflicts: 1054000 | #Constraints: 61584 1690.16/1694.06 c #Conflicts: 1055000 | #Constraints: 62584 1690.16/1694.06 c #Conflicts: 1056000 | #Constraints: 63584 1690.16/1694.06 c #Conflicts: 1057000 | #Constraints: 64584 1690.16/1694.06 c #Conflicts: 1058000 | #Constraints: 65584 1690.16/1694.06 c #Conflicts: 1059000 | #Constraints: 66584 1690.16/1694.06 c #Conflicts: 1060000 | #Constraints: 67584 1690.16/1694.06 c #Conflicts: 1061000 | #Constraints: 68584 1690.16/1694.06 c #Conflicts: 1062000 | #Constraints: 69584 1690.16/1694.06 c INPROCESSING 1690.16/1694.06 c GARBAGE COLLECT 1690.16/1694.06 c rational objective 56 1710.80/1714.76 c #Conflicts: 1063000 | #Constraints: 50189 1710.80/1714.76 c #Conflicts: 1064000 | #Constraints: 51189 1710.80/1714.76 c #Conflicts: 1065000 | #Constraints: 52189 1710.80/1714.76 c bounds 145 >= 58 @ 1678.3 1710.80/1714.76 c #Conflicts: 1066000 | #Constraints: 53204 1710.80/1714.76 c #Conflicts: 1067000 | #Constraints: 54204 1710.80/1714.76 c #Conflicts: 1068000 | #Constraints: 55204 1710.80/1714.76 c #Conflicts: 1069000 | #Constraints: 56204 1710.80/1714.76 c #Conflicts: 1070000 | #Constraints: 57204 1710.80/1714.76 c #Conflicts: 1071000 | #Constraints: 58204 1710.80/1714.76 c #Conflicts: 1072000 | #Constraints: 59204 1710.80/1714.76 c #Conflicts: 1073000 | #Constraints: 60204 1710.80/1714.76 c #Conflicts: 1074000 | #Constraints: 61204 1710.80/1714.76 c #Conflicts: 1075000 | #Constraints: 62204 1710.80/1714.76 c #Conflicts: 1076000 | #Constraints: 63204 1710.80/1714.76 c #Conflicts: 1077000 | #Constraints: 64204 1710.80/1714.76 c #Conflicts: 1078000 | #Constraints: 65204 1710.80/1714.76 c #Conflicts: 1079000 | #Constraints: 66204 1710.80/1714.76 c #Conflicts: 1080000 | #Constraints: 67204 1710.80/1714.76 c #Conflicts: 1081000 | #Constraints: 68204 1710.80/1714.76 c #Conflicts: 1082000 | #Constraints: 69204 1710.80/1714.76 c #Conflicts: 1083000 | #Constraints: 70204 1710.80/1714.76 c INPROCESSING 1710.80/1714.76 c GARBAGE COLLECT 1710.80/1714.76 c rational objective 58 1737.94/1742.00 c #Conflicts: 1084000 | #Constraints: 50600 1737.94/1742.00 c #Conflicts: 1085000 | #Constraints: 51600 1737.94/1742.00 c #Conflicts: 1086000 | #Constraints: 52600 1737.94/1742.00 c #Conflicts: 1087000 | #Constraints: 53600 1737.94/1742.00 c #Conflicts: 1088000 | #Constraints: 54600 1737.94/1742.00 c #Conflicts: 1089000 | #Constraints: 55600 1737.94/1742.00 c #Conflicts: 1090000 | #Constraints: 56600 1737.94/1742.00 c #Conflicts: 1091000 | #Constraints: 57600 1737.94/1742.00 c #Conflicts: 1092000 | #Constraints: 58600 1737.94/1742.00 c #Conflicts: 1093000 | #Constraints: 59600 1737.94/1742.00 c #Conflicts: 1094000 | #Constraints: 60600 1737.94/1742.00 c #Conflicts: 1095000 | #Constraints: 61600 1737.94/1742.00 c #Conflicts: 1096000 | #Constraints: 62600 1737.94/1742.00 c #Conflicts: 1097000 | #Constraints: 63600 1737.94/1742.00 c #Conflicts: 1098000 | #Constraints: 64600 1737.94/1742.00 c #Conflicts: 1099000 | #Constraints: 65600 1737.94/1742.00 c #Conflicts: 1100000 | #Constraints: 66600 1737.94/1742.00 c #Conflicts: 1101000 | #Constraints: 67600 1737.94/1742.00 c #Conflicts: 1102000 | #Constraints: 68600 1737.94/1742.00 c #Conflicts: 1103000 | #Constraints: 69600 1737.94/1742.00 c #Conflicts: 1104000 | #Constraints: 70600 1737.94/1742.00 c INPROCESSING 1737.94/1742.00 c GARBAGE COLLECT 1737.94/1742.00 c rational objective 58 1758.19/1762.25 c #Conflicts: 1105000 | #Constraints: 50802 1758.19/1762.25 c #Conflicts: 1106000 | #Constraints: 51802 1758.19/1762.25 c #Conflicts: 1107000 | #Constraints: 52803 1758.19/1762.25 c #Conflicts: 1108000 | #Constraints: 53803 1758.19/1762.25 c #Conflicts: 1109000 | #Constraints: 54803 1758.19/1762.25 c #Conflicts: 1110000 | #Constraints: 55803 1758.19/1762.25 c #Conflicts: 1111000 | #Constraints: 56803 1758.19/1762.25 c #Conflicts: 1112000 | #Constraints: 57803 1758.19/1762.25 c #Conflicts: 1113000 | #Constraints: 58803 1758.19/1762.25 c #Conflicts: 1114000 | #Constraints: 59803 1758.19/1762.25 c #Conflicts: 1115000 | #Constraints: 60803 1758.19/1762.25 c #Conflicts: 1116000 | #Constraints: 61803 1758.19/1762.25 c #Conflicts: 1117000 | #Constraints: 62803 1758.19/1762.25 c #Conflicts: 1118000 | #Constraints: 63803 1758.19/1762.25 c #Conflicts: 1119000 | #Constraints: 64803 1758.19/1762.25 c #Conflicts: 1120000 | #Constraints: 65803 1758.19/1762.25 c #Conflicts: 1121000 | #Constraints: 66803 1758.19/1762.25 c #Conflicts: 1122000 | #Constraints: 67803 1758.19/1762.25 c #Conflicts: 1123000 | #Constraints: 68803 1758.19/1762.25 c #Conflicts: 1124000 | #Constraints: 69803 1758.19/1762.25 c #Conflicts: 1125000 | #Constraints: 70803 1758.19/1762.25 c INPROCESSING 1758.19/1762.25 c GARBAGE COLLECT 1758.19/1762.25 c rational objective 58 1790.32/1794.44 c #Conflicts: 1126000 | #Constraints: 50802 1790.32/1794.44 c #Conflicts: 1127000 | #Constraints: 51803 1790.32/1794.44 c #Conflicts: 1128000 | #Constraints: 52803 1790.32/1794.44 c #Conflicts: 1129000 | #Constraints: 53803 1790.32/1794.44 c #Conflicts: 1130000 | #Constraints: 54803 1790.32/1794.44 c #Conflicts: 1131000 | #Constraints: 55803 1790.32/1794.44 c #Conflicts: 1132000 | #Constraints: 56803 1790.32/1794.44 c #Conflicts: 1133000 | #Constraints: 57803 1790.32/1794.44 c #Conflicts: 1134000 | #Constraints: 58803 1790.32/1794.44 c #Conflicts: 1135000 | #Constraints: 59803 1790.32/1794.44 c #Conflicts: 1136000 | #Constraints: 60803 1790.32/1794.44 c #Conflicts: 1137000 | #Constraints: 61803 1790.32/1794.44 c #Conflicts: 1138000 | #Constraints: 62803 1790.32/1794.44 c #Conflicts: 1139000 | #Constraints: 63803 1790.32/1794.44 c #Conflicts: 1140000 | #Constraints: 64803 1790.32/1794.44 c #Conflicts: 1141000 | #Constraints: 65803 1790.32/1794.44 c #Conflicts: 1142000 | #Constraints: 66803 1790.32/1794.44 c #Conflicts: 1143000 | #Constraints: 67803 1790.32/1794.44 c #Conflicts: 1144000 | #Constraints: 68803 1790.32/1794.44 c #Conflicts: 1145000 | #Constraints: 69803 1790.32/1794.44 c #Conflicts: 1146000 | #Constraints: 70803 1790.32/1794.44 c INPROCESSING 1790.32/1794.44 c GARBAGE COLLECT 1790.32/1794.44 c rational objective 58 1854.38/1858.61 c #Conflicts: 1147000 | #Constraints: 50600 1854.38/1858.61 c #Conflicts: 1148000 | #Constraints: 51600 1854.38/1858.61 c #Conflicts: 1149000 | #Constraints: 52600 1854.38/1858.61 c #Conflicts: 1150000 | #Constraints: 53600 1854.38/1858.61 c #Conflicts: 1151000 | #Constraints: 54600 1854.38/1858.61 c #Conflicts: 1152000 | #Constraints: 55600 1854.38/1858.61 c #Conflicts: 1153000 | #Constraints: 56600 1854.38/1858.61 c #Conflicts: 1154000 | #Constraints: 57600 1854.38/1858.61 c #Conflicts: 1155000 | #Constraints: 58600 1854.38/1858.61 c #Conflicts: 1156000 | #Constraints: 59600 1854.38/1858.61 c #Conflicts: 1157000 | #Constraints: 60600 1854.38/1858.61 c #Conflicts: 1158000 | #Constraints: 61600 1854.38/1858.61 c #Conflicts: 1159000 | #Constraints: 62600 1854.38/1858.61 c #Conflicts: 1160000 | #Constraints: 63600 1854.38/1858.61 c #Conflicts: 1161000 | #Constraints: 64600 1854.38/1858.61 c #Conflicts: 1162000 | #Constraints: 65600 1854.38/1858.61 c bounds 145 >= 60 @ 1807.43 1854.38/1858.61 c #Conflicts: 1163000 | #Constraints: 66612 1854.38/1858.61 c #Conflicts: 1164000 | #Constraints: 67612 1854.38/1858.61 c #Conflicts: 1165000 | #Constraints: 68612 1854.38/1858.61 c #Conflicts: 1166000 | #Constraints: 69612 1854.38/1858.61 c #Conflicts: 1167000 | #Constraints: 70612 1854.38/1858.61 c #Conflicts: 1168000 | #Constraints: 71612 1854.38/1858.61 c INPROCESSING 1854.38/1858.61 c GARBAGE COLLECT 1854.38/1858.61 c rational objective 60 1880.92/1885.23 c #Conflicts: 1169000 | #Constraints: 51216 1880.92/1885.23 c #Conflicts: 1170000 | #Constraints: 52216 1880.92/1885.23 c #Conflicts: 1171000 | #Constraints: 53216 1880.92/1885.23 c #Conflicts: 1172000 | #Constraints: 54216 1880.92/1885.23 c #Conflicts: 1173000 | #Constraints: 55216 1880.92/1885.23 c #Conflicts: 1174000 | #Constraints: 56216 1880.92/1885.23 c #Conflicts: 1175000 | #Constraints: 57216 1880.92/1885.23 c #Conflicts: 1176000 | #Constraints: 58216 1880.92/1885.23 c #Conflicts: 1177000 | #Constraints: 59216 1880.92/1885.23 c #Conflicts: 1178000 | #Constraints: 60216 1880.92/1885.23 c #Conflicts: 1179000 | #Constraints: 61216 1880.92/1885.23 c #Conflicts: 1180000 | #Constraints: 62216 1880.92/1885.23 c #Conflicts: 1181000 | #Constraints: 63216 1880.92/1885.23 c #Conflicts: 1182000 | #Constraints: 64216 1880.92/1885.23 c #Conflicts: 1183000 | #Constraints: 65216 1880.92/1885.23 c #Conflicts: 1184000 | #Constraints: 66216 1880.92/1885.23 c #Conflicts: 1185000 | #Constraints: 67216 1880.92/1885.23 c #Conflicts: 1186000 | #Constraints: 68216 1880.92/1885.23 c #Conflicts: 1187000 | #Constraints: 69216 1880.92/1885.23 c #Conflicts: 1188000 | #Constraints: 70216 1880.92/1885.23 c #Conflicts: 1189000 | #Constraints: 71216 1880.92/1885.23 c #Conflicts: 1190000 | #Constraints: 72216 1880.92/1885.23 c INPROCESSING 1880.92/1885.23 c GARBAGE COLLECT 1880.92/1885.23 c rational objective 60 1902.47/1906.84 c #Conflicts: 1191000 | #Constraints: 51616 1902.47/1906.84 c #Conflicts: 1192000 | #Constraints: 52616 1902.47/1906.84 c #Conflicts: 1193000 | #Constraints: 53616 1902.47/1906.84 c #Conflicts: 1194000 | #Constraints: 54616 1902.47/1906.84 c #Conflicts: 1195000 | #Constraints: 55616 1902.47/1906.84 c #Conflicts: 1196000 | #Constraints: 56616 1902.47/1906.84 c #Conflicts: 1197000 | #Constraints: 57616 1902.47/1906.84 c #Conflicts: 1198000 | #Constraints: 58616 1902.47/1906.84 c #Conflicts: 1199000 | #Constraints: 59616 1902.47/1906.84 c #Conflicts: 1200000 | #Constraints: 60616 1902.47/1906.84 c #Conflicts: 1201000 | #Constraints: 61616 1902.47/1906.84 c #Conflicts: 1202000 | #Constraints: 62616 1902.47/1906.84 c #Conflicts: 1203000 | #Constraints: 63616 1902.47/1906.84 c #Conflicts: 1204000 | #Constraints: 64616 1902.47/1906.84 c #Conflicts: 1205000 | #Constraints: 65616 1902.47/1906.84 c #Conflicts: 1206000 | #Constraints: 66616 1902.47/1906.84 c #Conflicts: 1207000 | #Constraints: 67616 1902.47/1906.84 c #Conflicts: 1208000 | #Constraints: 68616 1902.47/1906.84 c #Conflicts: 1209000 | #Constraints: 69616 1902.47/1906.84 c #Conflicts: 1210000 | #Constraints: 70616 1902.47/1906.84 c #Conflicts: 1211000 | #Constraints: 71616 1902.47/1906.84 c #Conflicts: 1212000 | #Constraints: 72616 1902.47/1906.84 c INPROCESSING 1902.47/1906.84 c GARBAGE COLLECT 1902.47/1906.84 c rational objective 60 1931.80/1936.28 c #Conflicts: 1213000 | #Constraints: 51816 1931.80/1936.28 c #Conflicts: 1214000 | #Constraints: 52816 1931.80/1936.28 c #Conflicts: 1215000 | #Constraints: 53816 1931.80/1936.28 c #Conflicts: 1216000 | #Constraints: 54816 1931.80/1936.28 c #Conflicts: 1217000 | #Constraints: 55816 1931.80/1936.28 c #Conflicts: 1218000 | #Constraints: 56816 1931.80/1936.28 c #Conflicts: 1219000 | #Constraints: 57816 1931.80/1936.28 c #Conflicts: 1220000 | #Constraints: 58816 1931.80/1936.28 c #Conflicts: 1221000 | #Constraints: 59816 1931.80/1936.28 c #Conflicts: 1222000 | #Constraints: 60816 1931.80/1936.28 c #Conflicts: 1223000 | #Constraints: 61816 1931.80/1936.28 c #Conflicts: 1224000 | #Constraints: 62816 1931.80/1936.28 c #Conflicts: 1225000 | #Constraints: 63816 1931.80/1936.28 c #Conflicts: 1226000 | #Constraints: 64816 1931.80/1936.28 c #Conflicts: 1227000 | #Constraints: 65816 1931.80/1936.28 c #Conflicts: 1228000 | #Constraints: 66816 1931.80/1936.28 c #Conflicts: 1229000 | #Constraints: 67816 1931.80/1936.28 c #Conflicts: 1230000 | #Constraints: 68816 1931.80/1936.28 c #Conflicts: 1231000 | #Constraints: 69816 1931.80/1936.28 c #Conflicts: 1232000 | #Constraints: 70816 1931.80/1936.28 c #Conflicts: 1233000 | #Constraints: 71816 1931.80/1936.28 c #Conflicts: 1234000 | #Constraints: 72816 1931.80/1936.28 c INPROCESSING 1931.80/1936.28 c GARBAGE COLLECT 1931.80/1936.28 c rational objective 60 1964.34/1968.81 c #Conflicts: 1235000 | #Constraints: 51819 1964.34/1968.81 c #Conflicts: 1236000 | #Constraints: 52819 1964.34/1968.81 c #Conflicts: 1237000 | #Constraints: 53819 1964.34/1968.81 c #Conflicts: 1238000 | #Constraints: 54819 1964.34/1968.81 c #Conflicts: 1239000 | #Constraints: 55819 1964.34/1968.81 c #Conflicts: 1240000 | #Constraints: 56819 1964.34/1968.81 c #Conflicts: 1241000 | #Constraints: 57819 1964.34/1968.81 c #Conflicts: 1242000 | #Constraints: 58819 1964.34/1968.81 c #Conflicts: 1243000 | #Constraints: 59819 1964.34/1968.81 c #Conflicts: 1244000 | #Constraints: 60819 1964.34/1968.81 c #Conflicts: 1245000 | #Constraints: 61819 1964.34/1968.81 c #Conflicts: 1246000 | #Constraints: 62819 1964.34/1968.81 c #Conflicts: 1247000 | #Constraints: 63819 1964.34/1968.81 c #Conflicts: 1248000 | #Constraints: 64819 1964.34/1968.81 c #Conflicts: 1249000 | #Constraints: 65819 1964.34/1968.81 c #Conflicts: 1250000 | #Constraints: 66819 1964.34/1968.81 c #Conflicts: 1251000 | #Constraints: 67819 1964.34/1968.81 c #Conflicts: 1252000 | #Constraints: 68819 1964.34/1968.81 c #Conflicts: 1253000 | #Constraints: 69819 1964.34/1968.81 c #Conflicts: 1254000 | #Constraints: 70819 1964.34/1968.81 c #Conflicts: 1255000 | #Constraints: 71819 1964.34/1968.81 c #Conflicts: 1256000 | #Constraints: 72819 1964.34/1968.81 c INPROCESSING 1964.34/1968.81 c GARBAGE COLLECT 1964.34/1968.81 c rational objective 60 1999.58/2004.18 c #Conflicts: 1257000 | #Constraints: 51614 1999.58/2004.18 c #Conflicts: 1258000 | #Constraints: 52614 1999.58/2004.18 c #Conflicts: 1259000 | #Constraints: 53614 1999.58/2004.18 c #Conflicts: 1260000 | #Constraints: 54614 1999.58/2004.18 c #Conflicts: 1261000 | #Constraints: 55614 1999.58/2004.18 c #Conflicts: 1262000 | #Constraints: 56614 1999.58/2004.18 c #Conflicts: 1263000 | #Constraints: 57614 1999.58/2004.18 c #Conflicts: 1264000 | #Constraints: 58614 1999.58/2004.18 c #Conflicts: 1265000 | #Constraints: 59614 1999.58/2004.18 c #Conflicts: 1266000 | #Constraints: 60614 1999.58/2004.18 c #Conflicts: 1267000 | #Constraints: 61614 1999.58/2004.18 c #Conflicts: 1268000 | #Constraints: 62615 1999.58/2004.18 c #Conflicts: 1269000 | #Constraints: 63615 1999.58/2004.18 c #Conflicts: 1270000 | #Constraints: 64615 1999.58/2004.18 c #Conflicts: 1271000 | #Constraints: 65615 1999.58/2004.18 c #Conflicts: 1272000 | #Constraints: 66615 1999.58/2004.18 c #Conflicts: 1273000 | #Constraints: 67615 1999.58/2004.18 c #Conflicts: 1274000 | #Constraints: 68615 1999.58/2004.18 c #Conflicts: 1275000 | #Constraints: 69615 1999.58/2004.18 c #Conflicts: 1276000 | #Constraints: 70615 1999.58/2004.18 c #Conflicts: 1277000 | #Constraints: 71615 1999.58/2004.18 c #Conflicts: 1278000 | #Constraints: 72615 1999.58/2004.18 c #Conflicts: 1279000 | #Constraints: 73615 1999.58/2004.18 c INPROCESSING 1999.58/2004.18 c GARBAGE COLLECT 1999.58/2004.18 c rational objective 60 2021.71/2026.33 c #Conflicts: 1280000 | #Constraints: 52207 2021.71/2026.33 c #Conflicts: 1281000 | #Constraints: 53207 2021.71/2026.33 c #Conflicts: 1282000 | #Constraints: 54207 2021.71/2026.33 c #Conflicts: 1283000 | #Constraints: 55207 2021.71/2026.33 c #Conflicts: 1284000 | #Constraints: 56207 2021.71/2026.33 c #Conflicts: 1285000 | #Constraints: 57207 2021.71/2026.33 c #Conflicts: 1286000 | #Constraints: 58207 2021.71/2026.33 c #Conflicts: 1287000 | #Constraints: 59207 2021.71/2026.33 c #Conflicts: 1288000 | #Constraints: 60207 2021.71/2026.33 c #Conflicts: 1289000 | #Constraints: 61207 2021.71/2026.33 c #Conflicts: 1290000 | #Constraints: 62207 2021.71/2026.33 c #Conflicts: 1291000 | #Constraints: 63207 2021.71/2026.33 c #Conflicts: 1292000 | #Constraints: 64207 2021.71/2026.33 c #Conflicts: 1293000 | #Constraints: 65207 2021.71/2026.33 c #Conflicts: 1294000 | #Constraints: 66207 2021.71/2026.33 c #Conflicts: 1295000 | #Constraints: 67207 2021.71/2026.33 c #Conflicts: 1296000 | #Constraints: 68207 2021.71/2026.33 c #Conflicts: 1297000 | #Constraints: 69207 2021.71/2026.33 c #Conflicts: 1298000 | #Constraints: 70207 2021.71/2026.33 c #Conflicts: 1299000 | #Constraints: 71207 2021.71/2026.33 c #Conflicts: 1300000 | #Constraints: 72207 2021.71/2026.33 c #Conflicts: 1301000 | #Constraints: 73207 2021.71/2026.33 c #Conflicts: 1302000 | #Constraints: 74207 2021.71/2026.33 c INPROCESSING 2021.71/2026.33 c GARBAGE COLLECT 2021.71/2026.33 c rational objective 60 2064.33/2069.10 c #Conflicts: 1303000 | #Constraints: 52612 2064.33/2069.10 c #Conflicts: 1304000 | #Constraints: 53612 2064.33/2069.10 c #Conflicts: 1305000 | #Constraints: 54612 2064.33/2069.10 c #Conflicts: 1306000 | #Constraints: 55612 2064.33/2069.10 c #Conflicts: 1307000 | #Constraints: 56612 2064.33/2069.10 c #Conflicts: 1308000 | #Constraints: 57612 2064.33/2069.10 c #Conflicts: 1309000 | #Constraints: 58612 2064.33/2069.10 c #Conflicts: 1310000 | #Constraints: 59612 2064.33/2069.10 c #Conflicts: 1311000 | #Constraints: 60612 2064.33/2069.10 c #Conflicts: 1312000 | #Constraints: 61612 2064.33/2069.10 c #Conflicts: 1313000 | #Constraints: 62612 2064.33/2069.10 c #Conflicts: 1314000 | #Constraints: 63612 2064.33/2069.10 c #Conflicts: 1315000 | #Constraints: 64612 2064.33/2069.10 c #Conflicts: 1316000 | #Constraints: 65612 2064.33/2069.10 c #Conflicts: 1317000 | #Constraints: 66612 2064.33/2069.10 c #Conflicts: 1318000 | #Constraints: 67612 2064.33/2069.10 c #Conflicts: 1319000 | #Constraints: 68612 2064.33/2069.10 c #Conflicts: 1320000 | #Constraints: 69612 2064.33/2069.10 c #Conflicts: 1321000 | #Constraints: 70612 2064.33/2069.10 c #Conflicts: 1322000 | #Constraints: 71612 2064.33/2069.10 c #Conflicts: 1323000 | #Constraints: 72612 2064.33/2069.10 c #Conflicts: 1324000 | #Constraints: 73612 2064.33/2069.10 c #Conflicts: 1325000 | #Constraints: 74612 2064.33/2069.10 c INPROCESSING 2064.33/2069.10 c GARBAGE COLLECT 2064.33/2069.10 c rational objective 60 2088.06/2092.89 c #Conflicts: 1326000 | #Constraints: 52804 2088.06/2092.89 c #Conflicts: 1327000 | #Constraints: 53804 2088.06/2092.89 c #Conflicts: 1328000 | #Constraints: 54804 2088.06/2092.89 c #Conflicts: 1329000 | #Constraints: 55804 2088.06/2092.89 c #Conflicts: 1330000 | #Constraints: 56804 2088.06/2092.89 c #Conflicts: 1331000 | #Constraints: 57804 2088.06/2092.89 c #Conflicts: 1332000 | #Constraints: 58804 2088.06/2092.89 c #Conflicts: 1333000 | #Constraints: 59804 2088.06/2092.89 c #Conflicts: 1334000 | #Constraints: 60804 2088.06/2092.89 c #Conflicts: 1335000 | #Constraints: 61804 2088.06/2092.89 c #Conflicts: 1336000 | #Constraints: 62804 2088.06/2092.89 c #Conflicts: 1337000 | #Constraints: 63804 2088.06/2092.89 c #Conflicts: 1338000 | #Constraints: 64804 2088.06/2092.89 c #Conflicts: 1339000 | #Constraints: 65804 2088.06/2092.89 c #Conflicts: 1340000 | #Constraints: 66804 2088.06/2092.89 c #Conflicts: 1341000 | #Constraints: 67804 2088.06/2092.89 c #Conflicts: 1342000 | #Constraints: 68804 2088.06/2092.89 c #Conflicts: 1343000 | #Constraints: 69804 2088.06/2092.89 c #Conflicts: 1344000 | #Constraints: 70804 2088.06/2092.89 c #Conflicts: 1345000 | #Constraints: 71804 2088.06/2092.89 c #Conflicts: 1346000 | #Constraints: 72804 2088.06/2092.89 c #Conflicts: 1347000 | #Constraints: 73804 2088.06/2092.89 c #Conflicts: 1348000 | #Constraints: 74804 2088.06/2092.89 c INPROCESSING 2088.06/2092.89 c GARBAGE COLLECT 2088.06/2092.89 c rational objective 60 2107.52/2112.39 c #Conflicts: 1349000 | #Constraints: 52817 2107.52/2112.39 c #Conflicts: 1350000 | #Constraints: 53817 2107.52/2112.39 c #Conflicts: 1351000 | #Constraints: 54817 2107.52/2112.39 c #Conflicts: 1352000 | #Constraints: 55817 2107.52/2112.39 c #Conflicts: 1353000 | #Constraints: 56817 2107.52/2112.39 c #Conflicts: 1354000 | #Constraints: 57817 2107.52/2112.39 c #Conflicts: 1355000 | #Constraints: 58817 2107.52/2112.39 c #Conflicts: 1356000 | #Constraints: 59817 2107.52/2112.39 c #Conflicts: 1357000 | #Constraints: 60817 2107.52/2112.39 c #Conflicts: 1358000 | #Constraints: 61817 2107.52/2112.39 c #Conflicts: 1359000 | #Constraints: 62817 2107.52/2112.39 c #Conflicts: 1360000 | #Constraints: 63817 2107.52/2112.39 c #Conflicts: 1361000 | #Constraints: 64817 2107.52/2112.39 c #Conflicts: 1362000 | #Constraints: 65817 2107.52/2112.39 c #Conflicts: 1363000 | #Constraints: 66817 2107.52/2112.39 c #Conflicts: 1364000 | #Constraints: 67817 2107.52/2112.39 c #Conflicts: 1365000 | #Constraints: 68817 2107.52/2112.39 c #Conflicts: 1366000 | #Constraints: 69817 2107.52/2112.39 c #Conflicts: 1367000 | #Constraints: 70817 2107.52/2112.39 c #Conflicts: 1368000 | #Constraints: 71817 2107.52/2112.39 c #Conflicts: 1369000 | #Constraints: 72817 2107.52/2112.39 c #Conflicts: 1370000 | #Constraints: 73817 2107.52/2112.39 c #Conflicts: 1371000 | #Constraints: 74817 2107.52/2112.39 c INPROCESSING 2107.52/2112.39 c GARBAGE COLLECT 2107.52/2112.39 c rational objective 60 2132.18/2137.10 c #Conflicts: 1372000 | #Constraints: 52608 2132.18/2137.10 c #Conflicts: 1373000 | #Constraints: 53608 2132.18/2137.10 c #Conflicts: 1374000 | #Constraints: 54608 2132.18/2137.10 c #Conflicts: 1375000 | #Constraints: 55608 2132.18/2137.10 c #Conflicts: 1376000 | #Constraints: 56608 2132.18/2137.10 c #Conflicts: 1377000 | #Constraints: 57608 2132.18/2137.10 c #Conflicts: 1378000 | #Constraints: 58608 2132.18/2137.10 c #Conflicts: 1379000 | #Constraints: 59608 2132.18/2137.10 c #Conflicts: 1380000 | #Constraints: 60608 2132.18/2137.10 c #Conflicts: 1381000 | #Constraints: 61608 2132.18/2137.10 c #Conflicts: 1382000 | #Constraints: 62608 2132.18/2137.10 c #Conflicts: 1383000 | #Constraints: 63608 2132.18/2137.10 c #Conflicts: 1384000 | #Constraints: 64608 2132.18/2137.10 c #Conflicts: 1385000 | #Constraints: 65608 2132.18/2137.10 c #Conflicts: 1386000 | #Constraints: 66608 2132.18/2137.10 c #Conflicts: 1387000 | #Constraints: 67608 2132.18/2137.10 c #Conflicts: 1388000 | #Constraints: 68608 2132.18/2137.10 c #Conflicts: 1389000 | #Constraints: 69608 2132.18/2137.10 c #Conflicts: 1390000 | #Constraints: 70608 2132.18/2137.10 c #Conflicts: 1391000 | #Constraints: 71608 2132.18/2137.10 c #Conflicts: 1392000 | #Constraints: 72608 2132.18/2137.10 c #Conflicts: 1393000 | #Constraints: 73608 2132.18/2137.10 c #Conflicts: 1394000 | #Constraints: 74608 2132.18/2137.10 c #Conflicts: 1395000 | #Constraints: 75608 2132.18/2137.10 c INPROCESSING 2132.18/2137.10 c GARBAGE COLLECT 2132.18/2137.10 c rational objective 60 2158.40/2163.31 c #Conflicts: 1396000 | #Constraints: 53214 2158.40/2163.31 c #Conflicts: 1397000 | #Constraints: 54214 2158.40/2163.31 c #Conflicts: 1398000 | #Constraints: 55214 2158.40/2163.31 c #Conflicts: 1399000 | #Constraints: 56214 2158.40/2163.31 c #Conflicts: 1400000 | #Constraints: 57214 2158.40/2163.31 c #Conflicts: 1401000 | #Constraints: 58214 2158.40/2163.31 c #Conflicts: 1402000 | #Constraints: 59214 2158.40/2163.31 c #Conflicts: 1403000 | #Constraints: 60214 2158.40/2163.31 c #Conflicts: 1404000 | #Constraints: 61214 2158.40/2163.31 c #Conflicts: 1405000 | #Constraints: 62214 2158.40/2163.31 c #Conflicts: 1406000 | #Constraints: 63214 2158.40/2163.31 c #Conflicts: 1407000 | #Constraints: 64214 2158.40/2163.31 c #Conflicts: 1408000 | #Constraints: 65214 2158.40/2163.31 c #Conflicts: 1409000 | #Constraints: 66214 2158.40/2163.31 c #Conflicts: 1410000 | #Constraints: 67214 2158.40/2163.31 c #Conflicts: 1411000 | #Constraints: 68214 2158.40/2163.31 c #Conflicts: 1412000 | #Constraints: 69214 2158.40/2163.31 c #Conflicts: 1413000 | #Constraints: 70214 2158.40/2163.31 c #Conflicts: 1414000 | #Constraints: 71214 2158.40/2163.31 c #Conflicts: 1415000 | #Constraints: 72214 2158.40/2163.31 c #Conflicts: 1416000 | #Constraints: 73214 2158.40/2163.31 c #Conflicts: 1417000 | #Constraints: 74214 2158.40/2163.31 c #Conflicts: 1418000 | #Constraints: 75214 2158.40/2163.31 c #Conflicts: 1419000 | #Constraints: 76214 2158.40/2163.31 c INPROCESSING 2158.40/2163.31 c GARBAGE COLLECT 2158.40/2163.31 c rational objective 60 2183.75/2188.72 c #Conflicts: 1420000 | #Constraints: 53621 2183.75/2188.72 c #Conflicts: 1421000 | #Constraints: 54621 2183.75/2188.72 c #Conflicts: 1422000 | #Constraints: 55621 2183.75/2188.72 c #Conflicts: 1423000 | #Constraints: 56621 2183.75/2188.72 c #Conflicts: 1424000 | #Constraints: 57621 2183.75/2188.72 c #Conflicts: 1425000 | #Constraints: 58621 2183.75/2188.72 c #Conflicts: 1426000 | #Constraints: 59621 2183.75/2188.72 c #Conflicts: 1427000 | #Constraints: 60621 2183.75/2188.72 c #Conflicts: 1428000 | #Constraints: 61621 2183.75/2188.72 c #Conflicts: 1429000 | #Constraints: 62621 2183.75/2188.72 c #Conflicts: 1430000 | #Constraints: 63621 2183.75/2188.72 c #Conflicts: 1431000 | #Constraints: 64621 2183.75/2188.72 c #Conflicts: 1432000 | #Constraints: 65621 2183.75/2188.72 c #Conflicts: 1433000 | #Constraints: 66621 2183.75/2188.72 c #Conflicts: 1434000 | #Constraints: 67621 2183.75/2188.72 c #Conflicts: 1435000 | #Constraints: 68621 2183.75/2188.72 c #Conflicts: 1436000 | #Constraints: 69621 2183.75/2188.72 c #Conflicts: 1437000 | #Constraints: 70621 2183.75/2188.72 c #Conflicts: 1438000 | #Constraints: 71621 2183.75/2188.72 c #Conflicts: 1439000 | #Constraints: 72621 2183.75/2188.72 c #Conflicts: 1440000 | #Constraints: 73621 2183.75/2188.72 c #Conflicts: 1441000 | #Constraints: 74621 2183.75/2188.72 c #Conflicts: 1442000 | #Constraints: 75621 2183.75/2188.72 c #Conflicts: 1443000 | #Constraints: 76621 2183.75/2188.72 c INPROCESSING 2183.75/2188.72 c GARBAGE COLLECT 2183.75/2188.72 c rational objective 60 2206.80/2211.86 c #Conflicts: 1444000 | #Constraints: 53818 2206.80/2211.86 c #Conflicts: 1445000 | #Constraints: 54818 2206.80/2211.86 c #Conflicts: 1446000 | #Constraints: 55818 2206.80/2211.86 c #Conflicts: 1447000 | #Constraints: 56818 2206.80/2211.86 c #Conflicts: 1448000 | #Constraints: 57818 2206.80/2211.86 c #Conflicts: 1449000 | #Constraints: 58818 2206.80/2211.86 c #Conflicts: 1450000 | #Constraints: 59818 2206.80/2211.86 c #Conflicts: 1451000 | #Constraints: 60818 2206.80/2211.86 c #Conflicts: 1452000 | #Constraints: 61818 2206.80/2211.86 c #Conflicts: 1453000 | #Constraints: 62818 2206.80/2211.86 c #Conflicts: 1454000 | #Constraints: 63818 2206.80/2211.86 c #Conflicts: 1455000 | #Constraints: 64818 2206.80/2211.86 c #Conflicts: 1456000 | #Constraints: 65818 2206.80/2211.86 c #Conflicts: 1457000 | #Constraints: 66818 2206.80/2211.86 c #Conflicts: 1458000 | #Constraints: 67818 2206.80/2211.86 c #Conflicts: 1459000 | #Constraints: 68818 2206.80/2211.86 c #Conflicts: 1460000 | #Constraints: 69818 2206.80/2211.86 c #Conflicts: 1461000 | #Constraints: 70818 2206.80/2211.86 c #Conflicts: 1462000 | #Constraints: 71818 2206.80/2211.86 c #Conflicts: 1463000 | #Constraints: 72818 2206.80/2211.86 c #Conflicts: 1464000 | #Constraints: 73818 2206.80/2211.86 c #Conflicts: 1465000 | #Constraints: 74818 2206.80/2211.86 c #Conflicts: 1466000 | #Constraints: 75818 2206.80/2211.86 c #Conflicts: 1467000 | #Constraints: 76818 2206.80/2211.86 c INPROCESSING 2206.80/2211.86 c GARBAGE COLLECT 2206.80/2211.86 c rational objective 60 2232.84/2237.96 c #Conflicts: 1468000 | #Constraints: 53817 2232.84/2237.96 c #Conflicts: 1469000 | #Constraints: 54817 2232.84/2237.96 c #Conflicts: 1470000 | #Constraints: 55817 2232.84/2237.96 c #Conflicts: 1471000 | #Constraints: 56817 2232.84/2237.96 c #Conflicts: 1472000 | #Constraints: 57817 2232.84/2237.96 c #Conflicts: 1473000 | #Constraints: 58817 2232.84/2237.96 c #Conflicts: 1474000 | #Constraints: 59818 2232.84/2237.96 c #Conflicts: 1475000 | #Constraints: 60818 2232.84/2237.96 c #Conflicts: 1476000 | #Constraints: 61818 2232.84/2237.96 c #Conflicts: 1477000 | #Constraints: 62818 2232.84/2237.96 c #Conflicts: 1478000 | #Constraints: 63818 2232.84/2237.96 c #Conflicts: 1479000 | #Constraints: 64818 2232.84/2237.96 c #Conflicts: 1480000 | #Constraints: 65818 2232.84/2237.96 c #Conflicts: 1481000 | #Constraints: 66818 2232.84/2237.96 c #Conflicts: 1482000 | #Constraints: 67818 2232.84/2237.96 c #Conflicts: 1483000 | #Constraints: 68818 2232.84/2237.96 c #Conflicts: 1484000 | #Constraints: 69818 2232.84/2237.96 c #Conflicts: 1485000 | #Constraints: 70818 2232.84/2237.96 c #Conflicts: 1486000 | #Constraints: 71818 2232.84/2237.96 c #Conflicts: 1487000 | #Constraints: 72818 2232.84/2237.96 c #Conflicts: 1488000 | #Constraints: 73818 2232.84/2237.96 c #Conflicts: 1489000 | #Constraints: 74818 2232.84/2237.96 c #Conflicts: 1490000 | #Constraints: 75818 2232.84/2237.96 c #Conflicts: 1491000 | #Constraints: 76818 2232.84/2237.96 c INPROCESSING 2232.84/2237.96 c GARBAGE COLLECT 2232.84/2237.96 c rational objective 60 2261.18/2266.39 c #Conflicts: 1492000 | #Constraints: 53621 2261.18/2266.39 c #Conflicts: 1493000 | #Constraints: 54621 2261.18/2266.39 c #Conflicts: 1494000 | #Constraints: 55621 2261.18/2266.39 c #Conflicts: 1495000 | #Constraints: 56621 2261.18/2266.39 c #Conflicts: 1496000 | #Constraints: 57621 2261.18/2266.39 c #Conflicts: 1497000 | #Constraints: 58621 2261.18/2266.39 c #Conflicts: 1498000 | #Constraints: 59621 2261.18/2266.39 c #Conflicts: 1499000 | #Constraints: 60621 2261.18/2266.39 c #Conflicts: 1500000 | #Constraints: 61621 2261.18/2266.39 c #Conflicts: 1501000 | #Constraints: 62621 2261.18/2266.39 c #Conflicts: 1502000 | #Constraints: 63621 2261.18/2266.39 c #Conflicts: 1503000 | #Constraints: 64621 2261.18/2266.39 c #Conflicts: 1504000 | #Constraints: 65621 2261.18/2266.39 c #Conflicts: 1505000 | #Constraints: 66621 2261.18/2266.39 c #Conflicts: 1506000 | #Constraints: 67621 2261.18/2266.39 c #Conflicts: 1507000 | #Constraints: 68621 2261.18/2266.39 c #Conflicts: 1508000 | #Constraints: 69621 2261.18/2266.39 c #Conflicts: 1509000 | #Constraints: 70621 2261.18/2266.39 c #Conflicts: 1510000 | #Constraints: 71621 2261.18/2266.39 c #Conflicts: 1511000 | #Constraints: 72621 2261.18/2266.39 c #Conflicts: 1512000 | #Constraints: 73621 2261.18/2266.39 c #Conflicts: 1513000 | #Constraints: 74621 2261.18/2266.39 c #Conflicts: 1514000 | #Constraints: 75621 2261.18/2266.39 c #Conflicts: 1515000 | #Constraints: 76621 2261.18/2266.39 c #Conflicts: 1516000 | #Constraints: 77621 2261.18/2266.39 c INPROCESSING 2261.18/2266.39 c GARBAGE COLLECT 2261.18/2266.39 c rational objective 60 2289.83/2295.01 c #Conflicts: 1517000 | #Constraints: 54216 2289.83/2295.01 c #Conflicts: 1518000 | #Constraints: 55216 2289.83/2295.01 c #Conflicts: 1519000 | #Constraints: 56216 2289.83/2295.01 c #Conflicts: 1520000 | #Constraints: 57216 2289.83/2295.01 c #Conflicts: 1521000 | #Constraints: 58216 2289.83/2295.01 c #Conflicts: 1522000 | #Constraints: 59216 2289.83/2295.01 c #Conflicts: 1523000 | #Constraints: 60216 2289.83/2295.01 c #Conflicts: 1524000 | #Constraints: 61216 2289.83/2295.01 c #Conflicts: 1525000 | #Constraints: 62216 2289.83/2295.01 c #Conflicts: 1526000 | #Constraints: 63216 2289.83/2295.01 c #Conflicts: 1527000 | #Constraints: 64216 2289.83/2295.01 c #Conflicts: 1528000 | #Constraints: 65216 2289.83/2295.01 c #Conflicts: 1529000 | #Constraints: 66216 2289.83/2295.01 c #Conflicts: 1530000 | #Constraints: 67216 2289.83/2295.01 c #Conflicts: 1531000 | #Constraints: 68216 2289.83/2295.01 c #Conflicts: 1532000 | #Constraints: 69216 2289.83/2295.01 c #Conflicts: 1533000 | #Constraints: 70216 2289.83/2295.01 c #Conflicts: 1534000 | #Constraints: 71216 2289.83/2295.01 c #Conflicts: 1535000 | #Constraints: 72216 2289.83/2295.01 c #Conflicts: 1536000 | #Constraints: 73216 2289.83/2295.01 c #Conflicts: 1537000 | #Constraints: 74216 2289.83/2295.01 c #Conflicts: 1538000 | #Constraints: 75216 2289.83/2295.01 c #Conflicts: 1539000 | #Constraints: 76216 2289.83/2295.01 c #Conflicts: 1540000 | #Constraints: 77216 2289.83/2295.01 c #Conflicts: 1541000 | #Constraints: 78216 2289.83/2295.01 c INPROCESSING 2289.83/2295.01 c GARBAGE COLLECT 2289.83/2295.01 c rational objective 60 2312.07/2317.39 c #Conflicts: 1542000 | #Constraints: 54611 2312.07/2317.39 c #Conflicts: 1543000 | #Constraints: 55611 2312.07/2317.39 c #Conflicts: 1544000 | #Constraints: 56611 2312.07/2317.39 c #Conflicts: 1545000 | #Constraints: 57611 2312.07/2317.39 c #Conflicts: 1546000 | #Constraints: 58611 2312.07/2317.39 c #Conflicts: 1547000 | #Constraints: 59611 2312.07/2317.39 c #Conflicts: 1548000 | #Constraints: 60611 2312.07/2317.39 c #Conflicts: 1549000 | #Constraints: 61611 2312.07/2317.39 c #Conflicts: 1550000 | #Constraints: 62611 2312.07/2317.39 c #Conflicts: 1551000 | #Constraints: 63611 2312.07/2317.39 c #Conflicts: 1552000 | #Constraints: 64611 2312.07/2317.39 c #Conflicts: 1553000 | #Constraints: 65611 2312.07/2317.39 c #Conflicts: 1554000 | #Constraints: 66611 2312.07/2317.39 c #Conflicts: 1555000 | #Constraints: 67611 2312.07/2317.39 c #Conflicts: 1556000 | #Constraints: 68611 2312.07/2317.39 c #Conflicts: 1557000 | #Constraints: 69611 2312.07/2317.39 c #Conflicts: 1558000 | #Constraints: 70611 2312.07/2317.39 c #Conflicts: 1559000 | #Constraints: 71611 2312.07/2317.39 c #Conflicts: 1560000 | #Constraints: 72611 2312.07/2317.39 c #Conflicts: 1561000 | #Constraints: 73611 2312.07/2317.39 c #Conflicts: 1562000 | #Constraints: 74611 2312.07/2317.39 c #Conflicts: 1563000 | #Constraints: 75611 2312.07/2317.39 c #Conflicts: 1564000 | #Constraints: 76611 2312.07/2317.39 c #Conflicts: 1565000 | #Constraints: 77611 2312.07/2317.39 c #Conflicts: 1566000 | #Constraints: 78611 2312.07/2317.39 c INPROCESSING 2312.07/2317.39 c GARBAGE COLLECT 2312.07/2317.39 c rational objective 60 2339.41/2344.74 c #Conflicts: 1567000 | #Constraints: 54822 2339.41/2344.74 c #Conflicts: 1568000 | #Constraints: 55822 2339.41/2344.74 c #Conflicts: 1569000 | #Constraints: 56822 2339.41/2344.74 c #Conflicts: 1570000 | #Constraints: 57822 2339.41/2344.74 c #Conflicts: 1571000 | #Constraints: 58822 2339.41/2344.74 c #Conflicts: 1572000 | #Constraints: 59822 2339.41/2344.74 c #Conflicts: 1573000 | #Constraints: 60822 2339.41/2344.74 c #Conflicts: 1574000 | #Constraints: 61822 2339.41/2344.74 c #Conflicts: 1575000 | #Constraints: 62822 2339.41/2344.74 c #Conflicts: 1576000 | #Constraints: 63822 2339.41/2344.74 c #Conflicts: 1577000 | #Constraints: 64822 2339.41/2344.74 c #Conflicts: 1578000 | #Constraints: 65822 2339.41/2344.74 c #Conflicts: 1579000 | #Constraints: 66822 2339.41/2344.74 c #Conflicts: 1580000 | #Constraints: 67822 2339.41/2344.74 c #Conflicts: 1581000 | #Constraints: 68822 2339.41/2344.74 c #Conflicts: 1582000 | #Constraints: 69822 2339.41/2344.74 c #Conflicts: 1583000 | #Constraints: 70822 2339.41/2344.74 c #Conflicts: 1584000 | #Constraints: 71822 2339.41/2344.74 c #Conflicts: 1585000 | #Constraints: 72822 2339.41/2344.74 c #Conflicts: 1586000 | #Constraints: 73822 2339.41/2344.74 c #Conflicts: 1587000 | #Constraints: 74822 2339.41/2344.74 c #Conflicts: 1588000 | #Constraints: 75822 2339.41/2344.74 c #Conflicts: 1589000 | #Constraints: 76822 2339.41/2344.74 c #Conflicts: 1590000 | #Constraints: 77822 2339.41/2344.74 c #Conflicts: 1591000 | #Constraints: 78822 2339.41/2344.74 c INPROCESSING 2339.41/2344.74 c GARBAGE COLLECT 2339.41/2344.74 c rational objective 60 2375.53/2380.96 c #Conflicts: 1592000 | #Constraints: 54815 2375.53/2380.96 c #Conflicts: 1593000 | #Constraints: 55815 2375.53/2380.96 c #Conflicts: 1594000 | #Constraints: 56815 2375.53/2380.96 c #Conflicts: 1595000 | #Constraints: 57815 2375.53/2380.96 c #Conflicts: 1596000 | #Constraints: 58815 2375.53/2380.96 c #Conflicts: 1597000 | #Constraints: 59815 2375.53/2380.96 c #Conflicts: 1598000 | #Constraints: 60815 2375.53/2380.96 c bounds 145 >= 62 @ 2332.06 2375.53/2380.96 c #Conflicts: 1599000 | #Constraints: 61830 2375.53/2380.96 c #Conflicts: 1600000 | #Constraints: 62830 2375.53/2380.96 c #Conflicts: 1601000 | #Constraints: 63830 2375.53/2380.96 c #Conflicts: 1602000 | #Constraints: 64830 2375.53/2380.96 c #Conflicts: 1603000 | #Constraints: 65830 2375.53/2380.96 c #Conflicts: 1604000 | #Constraints: 66830 2375.53/2380.96 c #Conflicts: 1605000 | #Constraints: 67830 2375.53/2380.96 c #Conflicts: 1606000 | #Constraints: 68830 2375.53/2380.96 c #Conflicts: 1607000 | #Constraints: 69830 2375.53/2380.96 c #Conflicts: 1608000 | #Constraints: 70830 2375.53/2380.96 c #Conflicts: 1609000 | #Constraints: 71830 2375.53/2380.96 c #Conflicts: 1610000 | #Constraints: 72830 2375.53/2380.96 c #Conflicts: 1611000 | #Constraints: 73830 2375.53/2380.96 c #Conflicts: 1612000 | #Constraints: 74830 2375.53/2380.96 c #Conflicts: 1613000 | #Constraints: 75830 2375.53/2380.96 c #Conflicts: 1614000 | #Constraints: 76830 2375.53/2380.96 c #Conflicts: 1615000 | #Constraints: 77830 2375.53/2380.96 c #Conflicts: 1616000 | #Constraints: 78830 2375.53/2380.96 c INPROCESSING 2375.53/2380.96 c GARBAGE COLLECT 2375.53/2380.96 c rational objective 62 2400.07/2405.58 c #Conflicts: 1617000 | #Constraints: 54054 2400.07/2405.58 c #Conflicts: 1618000 | #Constraints: 55054 2400.07/2405.58 c #Conflicts: 1619000 | #Constraints: 56054 2400.07/2405.58 c #Conflicts: 1620000 | #Constraints: 57054 2400.07/2405.58 c #Conflicts: 1621000 | #Constraints: 58054 2400.07/2405.58 c #Conflicts: 1622000 | #Constraints: 59054 2400.07/2405.58 c #Conflicts: 1623000 | #Constraints: 60054 2400.07/2405.58 c #Conflicts: 1624000 | #Constraints: 61054 2400.07/2405.58 c #Conflicts: 1625000 | #Constraints: 62054 2400.07/2405.58 c #Conflicts: 1626000 | #Constraints: 63054 2400.07/2405.58 c #Conflicts: 1627000 | #Constraints: 64054 2400.07/2405.58 c #Conflicts: 1628000 | #Constraints: 65054 2400.07/2405.58 c #Conflicts: 1629000 | #Constraints: 66054 2400.07/2405.58 c #Conflicts: 1630000 | #Constraints: 67054 2400.07/2405.58 c #Conflicts: 1631000 | #Constraints: 68054 2400.07/2405.58 c #Conflicts: 1632000 | #Constraints: 69054 2400.07/2405.58 c #Conflicts: 1633000 | #Constraints: 70054 2400.07/2405.58 c #Conflicts: 1634000 | #Constraints: 71054 2400.07/2405.58 c #Conflicts: 1635000 | #Constraints: 72054 2400.07/2405.58 c #Conflicts: 1636000 | #Constraints: 73054 2400.07/2405.58 c #Conflicts: 1637000 | #Constraints: 74054 2400.07/2405.58 c #Conflicts: 1638000 | #Constraints: 75054 2400.07/2405.58 c #Conflicts: 1639000 | #Constraints: 76054 2400.07/2405.58 c #Conflicts: 1640000 | #Constraints: 77054 2400.07/2405.58 c #Conflicts: 1641000 | #Constraints: 78054 2400.07/2405.58 c #Conflicts: 1642000 | #Constraints: 79054 2400.07/2405.58 c INPROCESSING 2400.07/2405.58 c GARBAGE COLLECT 2400.07/2405.58 c rational objective 62 2424.72/2430.29 c #Conflicts: 1643000 | #Constraints: 54936 2424.72/2430.29 c #Conflicts: 1644000 | #Constraints: 55936 2424.72/2430.29 c #Conflicts: 1645000 | #Constraints: 56936 2424.72/2430.29 c #Conflicts: 1646000 | #Constraints: 57936 2424.72/2430.29 c #Conflicts: 1647000 | #Constraints: 58936 2424.72/2430.29 c #Conflicts: 1648000 | #Constraints: 59936 2424.72/2430.29 c #Conflicts: 1649000 | #Constraints: 60936 2424.72/2430.29 c #Conflicts: 1650000 | #Constraints: 61936 2424.72/2430.29 c #Conflicts: 1651000 | #Constraints: 62936 2424.72/2430.29 c #Conflicts: 1652000 | #Constraints: 63936 2424.72/2430.29 c #Conflicts: 1653000 | #Constraints: 64936 2424.72/2430.29 c #Conflicts: 1654000 | #Constraints: 65936 2424.72/2430.29 c #Conflicts: 1655000 | #Constraints: 66936 2424.72/2430.29 c #Conflicts: 1656000 | #Constraints: 67936 2424.72/2430.29 c #Conflicts: 1657000 | #Constraints: 68936 2424.72/2430.29 c #Conflicts: 1658000 | #Constraints: 69936 2424.72/2430.29 c #Conflicts: 1659000 | #Constraints: 70936 2424.72/2430.29 c #Conflicts: 1660000 | #Constraints: 71936 2424.72/2430.29 c #Conflicts: 1661000 | #Constraints: 72936 2424.72/2430.29 c #Conflicts: 1662000 | #Constraints: 73936 2424.72/2430.29 c #Conflicts: 1663000 | #Constraints: 74936 2424.72/2430.29 c #Conflicts: 1664000 | #Constraints: 75936 2424.72/2430.29 c #Conflicts: 1665000 | #Constraints: 76936 2424.72/2430.29 c #Conflicts: 1666000 | #Constraints: 77936 2424.72/2430.29 c #Conflicts: 1667000 | #Constraints: 78936 2424.72/2430.29 c #Conflicts: 1668000 | #Constraints: 79936 2424.72/2430.29 c INPROCESSING 2424.72/2430.29 c GARBAGE COLLECT 2424.72/2430.29 c rational objective 62 2456.46/2462.10 c #Conflicts: 1669000 | #Constraints: 55477 2456.46/2462.10 c #Conflicts: 1670000 | #Constraints: 56477 2456.46/2462.10 c #Conflicts: 1671000 | #Constraints: 57477 2456.46/2462.10 c #Conflicts: 1672000 | #Constraints: 58477 2456.46/2462.10 c #Conflicts: 1673000 | #Constraints: 59477 2456.46/2462.10 c #Conflicts: 1674000 | #Constraints: 60477 2456.46/2462.10 c #Conflicts: 1675000 | #Constraints: 61477 2456.46/2462.10 c #Conflicts: 1676000 | #Constraints: 62477 2456.46/2462.10 c #Conflicts: 1677000 | #Constraints: 63477 2456.46/2462.10 c #Conflicts: 1678000 | #Constraints: 64477 2456.46/2462.10 c #Conflicts: 1679000 | #Constraints: 65477 2456.46/2462.10 c #Conflicts: 1680000 | #Constraints: 66477 2456.46/2462.10 c #Conflicts: 1681000 | #Constraints: 67477 2456.46/2462.10 c #Conflicts: 1682000 | #Constraints: 68477 2456.46/2462.10 c #Conflicts: 1683000 | #Constraints: 69477 2456.46/2462.10 c #Conflicts: 1684000 | #Constraints: 70477 2456.46/2462.10 c #Conflicts: 1685000 | #Constraints: 71477 2456.46/2462.10 c #Conflicts: 1686000 | #Constraints: 72477 2456.46/2462.10 c #Conflicts: 1687000 | #Constraints: 73477 2456.46/2462.10 c #Conflicts: 1688000 | #Constraints: 74477 2456.46/2462.10 c #Conflicts: 1689000 | #Constraints: 75477 2456.46/2462.10 c #Conflicts: 1690000 | #Constraints: 76477 2456.46/2462.10 c #Conflicts: 1691000 | #Constraints: 77477 2456.46/2462.10 c #Conflicts: 1692000 | #Constraints: 78477 2456.46/2462.10 c #Conflicts: 1693000 | #Constraints: 79477 2456.46/2462.10 c #Conflicts: 1694000 | #Constraints: 80477 2456.46/2462.10 c INPROCESSING 2456.46/2462.10 c GARBAGE COLLECT 2456.46/2462.10 c rational objective 62 2487.09/2492.76 c #Conflicts: 1695000 | #Constraints: 55750 2487.09/2492.76 c #Conflicts: 1696000 | #Constraints: 56750 2487.09/2492.76 c #Conflicts: 1697000 | #Constraints: 57750 2487.09/2492.76 c #Conflicts: 1698000 | #Constraints: 58750 2487.09/2492.76 c #Conflicts: 1699000 | #Constraints: 59750 2487.09/2492.76 c #Conflicts: 1700000 | #Constraints: 60750 2487.09/2492.76 c #Conflicts: 1701000 | #Constraints: 61750 2487.09/2492.76 c #Conflicts: 1702000 | #Constraints: 62750 2487.09/2492.76 c #Conflicts: 1703000 | #Constraints: 63750 2487.09/2492.76 c #Conflicts: 1704000 | #Constraints: 64750 2487.09/2492.76 c #Conflicts: 1705000 | #Constraints: 65750 2487.09/2492.76 c #Conflicts: 1706000 | #Constraints: 66750 2487.09/2492.76 c #Conflicts: 1707000 | #Constraints: 67750 2487.09/2492.76 c #Conflicts: 1708000 | #Constraints: 68750 2487.09/2492.76 c #Conflicts: 1709000 | #Constraints: 69750 2487.09/2492.76 c #Conflicts: 1710000 | #Constraints: 70750 2487.09/2492.76 c #Conflicts: 1711000 | #Constraints: 71750 2487.09/2492.76 c #Conflicts: 1712000 | #Constraints: 72750 2487.09/2492.76 c #Conflicts: 1713000 | #Constraints: 73750 2487.09/2492.76 c #Conflicts: 1714000 | #Constraints: 74750 2487.09/2492.76 c #Conflicts: 1715000 | #Constraints: 75750 2487.09/2492.76 c #Conflicts: 1716000 | #Constraints: 76750 2487.09/2492.76 c #Conflicts: 1717000 | #Constraints: 77750 2487.09/2492.76 c #Conflicts: 1718000 | #Constraints: 78750 2487.09/2492.76 c #Conflicts: 1719000 | #Constraints: 79750 2487.09/2492.76 c #Conflicts: 1720000 | #Constraints: 80750 2487.09/2492.76 c INPROCESSING 2487.09/2492.76 c GARBAGE COLLECT 2487.09/2492.76 c rational objective 62 2519.43/2525.17 c #Conflicts: 1721000 | #Constraints: 55786 2519.43/2525.17 c #Conflicts: 1722000 | #Constraints: 56786 2519.43/2525.17 c #Conflicts: 1723000 | #Constraints: 57786 2519.43/2525.17 c #Conflicts: 1724000 | #Constraints: 58786 2519.43/2525.17 c #Conflicts: 1725000 | #Constraints: 59786 2519.43/2525.17 c #Conflicts: 1726000 | #Constraints: 60786 2519.43/2525.17 c #Conflicts: 1727000 | #Constraints: 61786 2519.43/2525.17 c #Conflicts: 1728000 | #Constraints: 62786 2519.43/2525.17 c #Conflicts: 1729000 | #Constraints: 63786 2519.43/2525.17 c #Conflicts: 1730000 | #Constraints: 64786 2519.43/2525.17 c #Conflicts: 1731000 | #Constraints: 65786 2519.43/2525.17 c #Conflicts: 1732000 | #Constraints: 66786 2519.43/2525.17 c #Conflicts: 1733000 | #Constraints: 67786 2519.43/2525.17 c #Conflicts: 1734000 | #Constraints: 68786 2519.43/2525.17 c #Conflicts: 1735000 | #Constraints: 69786 2519.43/2525.17 c #Conflicts: 1736000 | #Constraints: 70786 2519.43/2525.17 c #Conflicts: 1737000 | #Constraints: 71786 2519.43/2525.17 c #Conflicts: 1738000 | #Constraints: 72786 2519.43/2525.17 c #Conflicts: 1739000 | #Constraints: 73786 2519.43/2525.17 c #Conflicts: 1740000 | #Constraints: 74786 2519.43/2525.17 c #Conflicts: 1741000 | #Constraints: 75786 2519.43/2525.17 c #Conflicts: 1742000 | #Constraints: 76786 2519.43/2525.17 c #Conflicts: 1743000 | #Constraints: 77786 2519.43/2525.17 c #Conflicts: 1744000 | #Constraints: 78786 2519.43/2525.17 c #Conflicts: 1745000 | #Constraints: 79786 2519.43/2525.17 c #Conflicts: 1746000 | #Constraints: 80786 2519.43/2525.17 c INPROCESSING 2519.43/2525.17 c GARBAGE COLLECT 2519.43/2525.17 c rational objective 62 2549.15/2554.93 c #Conflicts: 1747000 | #Constraints: 55601 2549.15/2554.93 c #Conflicts: 1748000 | #Constraints: 56601 2549.15/2554.93 c #Conflicts: 1749000 | #Constraints: 57601 2549.15/2554.93 c #Conflicts: 1750000 | #Constraints: 58601 2549.15/2554.93 c #Conflicts: 1751000 | #Constraints: 59601 2549.15/2554.93 c #Conflicts: 1752000 | #Constraints: 60601 2549.15/2554.93 c #Conflicts: 1753000 | #Constraints: 61601 2549.15/2554.93 c #Conflicts: 1754000 | #Constraints: 62601 2549.15/2554.93 c #Conflicts: 1755000 | #Constraints: 63601 2549.15/2554.93 c #Conflicts: 1756000 | #Constraints: 64601 2549.15/2554.93 c #Conflicts: 1757000 | #Constraints: 65601 2549.15/2554.93 c #Conflicts: 1758000 | #Constraints: 66601 2549.15/2554.93 c #Conflicts: 1759000 | #Constraints: 67601 2549.15/2554.93 c #Conflicts: 1760000 | #Constraints: 68601 2549.15/2554.93 c #Conflicts: 1761000 | #Constraints: 69601 2549.15/2554.93 c #Conflicts: 1762000 | #Constraints: 70601 2549.15/2554.93 c #Conflicts: 1763000 | #Constraints: 71601 2549.15/2554.93 c #Conflicts: 1764000 | #Constraints: 72601 2549.15/2554.93 c #Conflicts: 1765000 | #Constraints: 73601 2549.15/2554.93 c #Conflicts: 1766000 | #Constraints: 74601 2549.15/2554.93 c #Conflicts: 1767000 | #Constraints: 75601 2549.15/2554.93 c #Conflicts: 1768000 | #Constraints: 76601 2549.15/2554.93 c #Conflicts: 1769000 | #Constraints: 77601 2549.15/2554.93 c #Conflicts: 1770000 | #Constraints: 78601 2549.15/2554.93 c #Conflicts: 1771000 | #Constraints: 79601 2549.15/2554.93 c #Conflicts: 1772000 | #Constraints: 80601 2549.15/2554.93 c #Conflicts: 1773000 | #Constraints: 81601 2549.15/2554.93 c INPROCESSING 2549.15/2554.93 c GARBAGE COLLECT 2549.15/2554.93 c rational objective 62 2583.47/2589.35 c #Conflicts: 1774000 | #Constraints: 56212 2583.47/2589.35 c #Conflicts: 1775000 | #Constraints: 57212 2583.47/2589.35 c #Conflicts: 1776000 | #Constraints: 58212 2583.47/2589.35 c #Conflicts: 1777000 | #Constraints: 59212 2583.47/2589.35 c #Conflicts: 1778000 | #Constraints: 60212 2583.47/2589.35 c #Conflicts: 1779000 | #Constraints: 61212 2583.47/2589.35 c #Conflicts: 1780000 | #Constraints: 62212 2583.47/2589.35 c #Conflicts: 1781000 | #Constraints: 63212 2583.47/2589.35 c #Conflicts: 1782000 | #Constraints: 64212 2583.47/2589.35 c #Conflicts: 1783000 | #Constraints: 65212 2583.47/2589.35 c #Conflicts: 1784000 | #Constraints: 66212 2583.47/2589.35 c #Conflicts: 1785000 | #Constraints: 67212 2583.47/2589.35 c #Conflicts: 1786000 | #Constraints: 68212 2583.47/2589.35 c #Conflicts: 1787000 | #Constraints: 69212 2583.47/2589.35 c #Conflicts: 1788000 | #Constraints: 70212 2583.47/2589.35 c #Conflicts: 1789000 | #Constraints: 71212 2583.47/2589.35 c #Conflicts: 1790000 | #Constraints: 72212 2583.47/2589.35 c #Conflicts: 1791000 | #Constraints: 73212 2583.47/2589.35 c #Conflicts: 1792000 | #Constraints: 74212 2583.47/2589.35 c #Conflicts: 1793000 | #Constraints: 75212 2583.47/2589.35 c #Conflicts: 1794000 | #Constraints: 76212 2583.47/2589.35 c #Conflicts: 1795000 | #Constraints: 77212 2583.47/2589.35 c #Conflicts: 1796000 | #Constraints: 78212 2583.47/2589.35 c #Conflicts: 1797000 | #Constraints: 79212 2583.47/2589.35 c #Conflicts: 1798000 | #Constraints: 80212 2583.47/2589.35 c #Conflicts: 1799000 | #Constraints: 81212 2583.47/2589.35 c #Conflicts: 1800000 | #Constraints: 82212 2583.47/2589.35 c INPROCESSING 2583.47/2589.35 c GARBAGE COLLECT 2583.47/2589.35 c rational objective 62 2616.12/2622.06 c #Conflicts: 1801000 | #Constraints: 56616 2616.12/2622.06 c #Conflicts: 1802000 | #Constraints: 57616 2616.12/2622.06 c #Conflicts: 1803000 | #Constraints: 58616 2616.12/2622.06 c #Conflicts: 1804000 | #Constraints: 59616 2616.12/2622.06 c #Conflicts: 1805000 | #Constraints: 60616 2616.12/2622.06 c #Conflicts: 1806000 | #Constraints: 61616 2616.12/2622.06 c #Conflicts: 1807000 | #Constraints: 62616 2616.12/2622.06 c #Conflicts: 1808000 | #Constraints: 63616 2616.12/2622.06 c #Conflicts: 1809000 | #Constraints: 64616 2616.12/2622.06 c #Conflicts: 1810000 | #Constraints: 65616 2616.12/2622.06 c #Conflicts: 1811000 | #Constraints: 66616 2616.12/2622.06 c #Conflicts: 1812000 | #Constraints: 67616 2616.12/2622.06 c #Conflicts: 1813000 | #Constraints: 68616 2616.12/2622.06 c #Conflicts: 1814000 | #Constraints: 69616 2616.12/2622.06 c #Conflicts: 1815000 | #Constraints: 70616 2616.12/2622.06 c #Conflicts: 1816000 | #Constraints: 71616 2616.12/2622.06 c #Conflicts: 1817000 | #Constraints: 72616 2616.12/2622.06 c #Conflicts: 1818000 | #Constraints: 73616 2616.12/2622.06 c #Conflicts: 1819000 | #Constraints: 74616 2616.12/2622.06 c #Conflicts: 1820000 | #Constraints: 75616 2616.12/2622.06 c #Conflicts: 1821000 | #Constraints: 76616 2616.12/2622.06 c #Conflicts: 1822000 | #Constraints: 77616 2616.12/2622.06 c #Conflicts: 1823000 | #Constraints: 78616 2616.12/2622.06 c #Conflicts: 1824000 | #Constraints: 79616 2616.12/2622.06 c #Conflicts: 1825000 | #Constraints: 80616 2616.12/2622.06 c #Conflicts: 1826000 | #Constraints: 81616 2616.12/2622.06 c #Conflicts: 1827000 | #Constraints: 82616 2616.12/2622.06 c INPROCESSING 2616.12/2622.06 c GARBAGE COLLECT 2616.12/2622.06 c rational objective 62 2652.83/2658.89 c #Conflicts: 1828000 | #Constraints: 56827 2652.83/2658.89 c #Conflicts: 1829000 | #Constraints: 57827 2652.83/2658.89 c #Conflicts: 1830000 | #Constraints: 58827 2652.83/2658.89 c #Conflicts: 1831000 | #Constraints: 59827 2652.83/2658.89 c #Conflicts: 1832000 | #Constraints: 60827 2652.83/2658.89 c #Conflicts: 1833000 | #Constraints: 61827 2652.83/2658.89 c #Conflicts: 1834000 | #Constraints: 62827 2652.83/2658.89 c #Conflicts: 1835000 | #Constraints: 63827 2652.83/2658.89 c #Conflicts: 1836000 | #Constraints: 64827 2652.83/2658.89 c #Conflicts: 1837000 | #Constraints: 65827 2652.83/2658.89 c #Conflicts: 1838000 | #Constraints: 66827 2652.83/2658.89 c #Conflicts: 1839000 | #Constraints: 67827 2652.83/2658.89 c #Conflicts: 1840000 | #Constraints: 68827 2652.83/2658.89 c #Conflicts: 1841000 | #Constraints: 69827 2652.83/2658.89 c #Conflicts: 1842000 | #Constraints: 70827 2652.83/2658.89 c #Conflicts: 1843000 | #Constraints: 71827 2652.83/2658.89 c #Conflicts: 1844000 | #Constraints: 72827 2652.83/2658.89 c #Conflicts: 1845000 | #Constraints: 73827 2652.83/2658.89 c #Conflicts: 1846000 | #Constraints: 74827 2652.83/2658.89 c #Conflicts: 1847000 | #Constraints: 75827 2652.83/2658.89 c #Conflicts: 1848000 | #Constraints: 76827 2652.83/2658.89 c #Conflicts: 1849000 | #Constraints: 77827 2652.83/2658.89 c #Conflicts: 1850000 | #Constraints: 78827 2652.83/2658.89 c #Conflicts: 1851000 | #Constraints: 79827 2652.83/2658.89 c #Conflicts: 1852000 | #Constraints: 80827 2652.83/2658.89 c bounds 145 >= 64 @ 2616.12 2652.83/2658.89 c #Conflicts: 1853000 | #Constraints: 81842 2652.83/2658.89 c #Conflicts: 1854000 | #Constraints: 82842 2652.83/2658.89 c INPROCESSING 2652.83/2658.89 c GARBAGE COLLECT 2652.83/2658.89 c rational objective 64 2704.71/2710.81 c #Conflicts: 1855000 | #Constraints: 56835 2704.71/2710.81 c #Conflicts: 1856000 | #Constraints: 57835 2704.71/2710.81 c #Conflicts: 1857000 | #Constraints: 58835 2704.71/2710.81 c #Conflicts: 1858000 | #Constraints: 59835 2704.71/2710.81 c #Conflicts: 1859000 | #Constraints: 60835 2704.71/2710.81 c #Conflicts: 1860000 | #Constraints: 61835 2704.71/2710.81 c #Conflicts: 1861000 | #Constraints: 62835 2704.71/2710.81 c #Conflicts: 1862000 | #Constraints: 63835 2704.71/2710.81 c #Conflicts: 1863000 | #Constraints: 64835 2704.71/2710.81 c #Conflicts: 1864000 | #Constraints: 65835 2704.71/2710.81 c #Conflicts: 1865000 | #Constraints: 66835 2704.71/2710.81 c #Conflicts: 1866000 | #Constraints: 67835 2704.71/2710.81 c #Conflicts: 1867000 | #Constraints: 68835 2704.71/2710.81 c #Conflicts: 1868000 | #Constraints: 69835 2704.71/2710.81 c #Conflicts: 1869000 | #Constraints: 70835 2704.71/2710.81 c #Conflicts: 1870000 | #Constraints: 71835 2704.71/2710.81 c #Conflicts: 1871000 | #Constraints: 72835 2704.71/2710.81 c #Conflicts: 1872000 | #Constraints: 73835 2704.71/2710.81 c #Conflicts: 1873000 | #Constraints: 74835 2704.71/2710.81 c #Conflicts: 1874000 | #Constraints: 75835 2704.71/2710.81 c #Conflicts: 1875000 | #Constraints: 76835 2704.71/2710.81 c #Conflicts: 1876000 | #Constraints: 77835 2704.71/2710.81 c #Conflicts: 1877000 | #Constraints: 78835 2704.71/2710.81 c #Conflicts: 1878000 | #Constraints: 79835 2704.71/2710.81 c #Conflicts: 1879000 | #Constraints: 80835 2704.71/2710.81 c #Conflicts: 1880000 | #Constraints: 81835 2704.71/2710.81 c #Conflicts: 1881000 | #Constraints: 82835 2704.71/2710.81 c INPROCESSING 2704.71/2710.81 c GARBAGE COLLECT 2704.71/2710.81 c rational objective 64 2732.86/2739.02 c #Conflicts: 1882000 | #Constraints: 56637 2732.86/2739.02 c #Conflicts: 1883000 | #Constraints: 57637 2732.86/2739.02 c #Conflicts: 1884000 | #Constraints: 58637 2732.86/2739.02 c #Conflicts: 1885000 | #Constraints: 59637 2732.86/2739.02 c #Conflicts: 1886000 | #Constraints: 60637 2732.86/2739.02 c #Conflicts: 1887000 | #Constraints: 61637 2732.86/2739.02 c #Conflicts: 1888000 | #Constraints: 62637 2732.86/2739.02 c #Conflicts: 1889000 | #Constraints: 63637 2732.86/2739.02 c #Conflicts: 1890000 | #Constraints: 64637 2732.86/2739.02 c #Conflicts: 1891000 | #Constraints: 65637 2732.86/2739.02 c #Conflicts: 1892000 | #Constraints: 66637 2732.86/2739.02 c #Conflicts: 1893000 | #Constraints: 67637 2732.86/2739.02 c #Conflicts: 1894000 | #Constraints: 68637 2732.86/2739.02 c #Conflicts: 1895000 | #Constraints: 69637 2732.86/2739.02 c #Conflicts: 1896000 | #Constraints: 70637 2732.86/2739.02 c #Conflicts: 1897000 | #Constraints: 71637 2732.86/2739.02 c #Conflicts: 1898000 | #Constraints: 72637 2732.86/2739.02 c #Conflicts: 1899000 | #Constraints: 73637 2732.86/2739.02 c #Conflicts: 1900000 | #Constraints: 74637 2732.86/2739.02 c #Conflicts: 1901000 | #Constraints: 75637 2732.86/2739.02 c #Conflicts: 1902000 | #Constraints: 76637 2732.86/2739.02 c #Conflicts: 1903000 | #Constraints: 77637 2732.86/2739.02 c #Conflicts: 1904000 | #Constraints: 78637 2732.86/2739.02 c #Conflicts: 1905000 | #Constraints: 79637 2732.86/2739.02 c #Conflicts: 1906000 | #Constraints: 80637 2732.86/2739.02 c #Conflicts: 1907000 | #Constraints: 81637 2732.86/2739.02 c #Conflicts: 1908000 | #Constraints: 82637 2732.86/2739.02 c #Conflicts: 1909000 | #Constraints: 83637 2732.86/2739.02 c INPROCESSING 2732.86/2739.02 c GARBAGE COLLECT 2732.86/2739.02 c rational objective 64 2760.49/2766.75 c #Conflicts: 1910000 | #Constraints: 57240 2760.49/2766.75 c #Conflicts: 1911000 | #Constraints: 58240 2760.49/2766.75 c #Conflicts: 1912000 | #Constraints: 59240 2760.49/2766.75 c #Conflicts: 1913000 | #Constraints: 60240 2760.49/2766.75 c #Conflicts: 1914000 | #Constraints: 61240 2760.49/2766.75 c #Conflicts: 1915000 | #Constraints: 62240 2760.49/2766.75 c #Conflicts: 1916000 | #Constraints: 63240 2760.49/2766.75 c #Conflicts: 1917000 | #Constraints: 64240 2760.49/2766.75 c #Conflicts: 1918000 | #Constraints: 65240 2760.49/2766.75 c #Conflicts: 1919000 | #Constraints: 66240 2760.49/2766.75 c #Conflicts: 1920000 | #Constraints: 67240 2760.49/2766.75 c #Conflicts: 1921000 | #Constraints: 68240 2760.49/2766.75 c #Conflicts: 1922000 | #Constraints: 69240 2760.49/2766.75 c #Conflicts: 1923000 | #Constraints: 70240 2760.49/2766.75 c #Conflicts: 1924000 | #Constraints: 71240 2760.49/2766.75 c #Conflicts: 1925000 | #Constraints: 72240 2760.49/2766.75 c #Conflicts: 1926000 | #Constraints: 73240 2760.49/2766.75 c #Conflicts: 1927000 | #Constraints: 74240 2760.49/2766.75 c #Conflicts: 1928000 | #Constraints: 75240 2760.49/2766.75 c #Conflicts: 1929000 | #Constraints: 76240 2760.49/2766.75 c #Conflicts: 1930000 | #Constraints: 77240 2760.49/2766.75 c #Conflicts: 1931000 | #Constraints: 78240 2760.49/2766.75 c #Conflicts: 1932000 | #Constraints: 79240 2760.49/2766.75 c #Conflicts: 1933000 | #Constraints: 80240 2760.49/2766.75 c #Conflicts: 1934000 | #Constraints: 81240 2760.49/2766.75 c #Conflicts: 1935000 | #Constraints: 82240 2760.49/2766.75 c #Conflicts: 1936000 | #Constraints: 83240 2760.49/2766.75 c #Conflicts: 1937000 | #Constraints: 84240 2760.49/2766.75 c INPROCESSING 2760.49/2766.75 c GARBAGE COLLECT 2760.49/2766.75 c rational objective 64 2798.41/2804.77 c #Conflicts: 1938000 | #Constraints: 57635 2798.41/2804.77 c #Conflicts: 1939000 | #Constraints: 58635 2798.41/2804.77 c #Conflicts: 1940000 | #Constraints: 59635 2798.41/2804.77 c #Conflicts: 1941000 | #Constraints: 60635 2798.41/2804.77 c #Conflicts: 1942000 | #Constraints: 61635 2798.41/2804.77 c #Conflicts: 1943000 | #Constraints: 62635 2798.41/2804.77 c #Conflicts: 1944000 | #Constraints: 63635 2798.41/2804.77 c #Conflicts: 1945000 | #Constraints: 64635 2798.41/2804.77 c #Conflicts: 1946000 | #Constraints: 65635 2798.41/2804.77 c #Conflicts: 1947000 | #Constraints: 66635 2798.41/2804.77 c #Conflicts: 1948000 | #Constraints: 67635 2798.41/2804.77 c #Conflicts: 1949000 | #Constraints: 68635 2798.41/2804.77 c #Conflicts: 1950000 | #Constraints: 69635 2798.41/2804.77 c #Conflicts: 1951000 | #Constraints: 70635 2798.41/2804.77 c #Conflicts: 1952000 | #Constraints: 71635 2798.41/2804.77 c #Conflicts: 1953000 | #Constraints: 72635 2798.41/2804.77 c #Conflicts: 1954000 | #Constraints: 73635 2798.41/2804.77 c #Conflicts: 1955000 | #Constraints: 74635 2798.41/2804.77 c #Conflicts: 1956000 | #Constraints: 75635 2798.41/2804.77 c #Conflicts: 1957000 | #Constraints: 76635 2798.41/2804.77 c #Conflicts: 1958000 | #Constraints: 77635 2798.41/2804.77 c #Conflicts: 1959000 | #Constraints: 78635 2798.41/2804.77 c #Conflicts: 1960000 | #Constraints: 79635 2798.41/2804.77 c #Conflicts: 1961000 | #Constraints: 80635 2798.41/2804.77 c #Conflicts: 1962000 | #Constraints: 81635 2798.41/2804.77 c #Conflicts: 1963000 | #Constraints: 82635 2798.41/2804.77 c #Conflicts: 1964000 | #Constraints: 83635 2798.41/2804.77 c #Conflicts: 1965000 | #Constraints: 84635 2798.41/2804.77 c INPROCESSING 2798.41/2804.77 c GARBAGE COLLECT 2798.41/2804.77 c rational objective 64 2825.54/2832.01 c #Conflicts: 1966000 | #Constraints: 57829 2825.54/2832.01 c #Conflicts: 1967000 | #Constraints: 58829 2825.54/2832.01 c #Conflicts: 1968000 | #Constraints: 59829 2825.54/2832.01 c #Conflicts: 1969000 | #Constraints: 60829 2825.54/2832.01 c #Conflicts: 1970000 | #Constraints: 61829 2825.54/2832.01 c #Conflicts: 1971000 | #Constraints: 62829 2825.54/2832.01 c #Conflicts: 1972000 | #Constraints: 63829 2825.54/2832.01 c #Conflicts: 1973000 | #Constraints: 64829 2825.54/2832.01 c #Conflicts: 1974000 | #Constraints: 65829 2825.54/2832.01 c #Conflicts: 1975000 | #Constraints: 66829 2825.54/2832.01 c #Conflicts: 1976000 | #Constraints: 67829 2825.54/2832.01 c #Conflicts: 1977000 | #Constraints: 68829 2825.54/2832.01 c #Conflicts: 1978000 | #Constraints: 69829 2825.54/2832.01 c #Conflicts: 1979000 | #Constraints: 70829 2825.54/2832.01 c #Conflicts: 1980000 | #Constraints: 71829 2825.54/2832.01 c #Conflicts: 1981000 | #Constraints: 72829 2825.54/2832.01 c #Conflicts: 1982000 | #Constraints: 73829 2825.54/2832.01 c #Conflicts: 1983000 | #Constraints: 74829 2825.54/2832.01 c #Conflicts: 1984000 | #Constraints: 75829 2825.54/2832.01 c #Conflicts: 1985000 | #Constraints: 76829 2825.54/2832.01 c #Conflicts: 1986000 | #Constraints: 77829 2825.54/2832.01 c #Conflicts: 1987000 | #Constraints: 78829 2825.54/2832.01 c #Conflicts: 1988000 | #Constraints: 79829 2825.54/2832.01 c #Conflicts: 1989000 | #Constraints: 80829 2825.54/2832.01 c #Conflicts: 1990000 | #Constraints: 81829 2825.54/2832.01 c #Conflicts: 1991000 | #Constraints: 82829 2825.54/2832.01 c #Conflicts: 1992000 | #Constraints: 83829 2825.54/2832.01 c #Conflicts: 1993000 | #Constraints: 84829 2825.54/2832.01 c INPROCESSING 2825.54/2832.01 c GARBAGE COLLECT 2825.54/2832.01 c rational objective 64 2876.43/2883.01 c #Conflicts: 1994000 | #Constraints: 57825 2876.43/2883.01 c #Conflicts: 1995000 | #Constraints: 58825 2876.43/2883.01 c #Conflicts: 1996000 | #Constraints: 59825 2876.43/2883.01 c #Conflicts: 1997000 | #Constraints: 60825 2876.43/2883.01 c #Conflicts: 1998000 | #Constraints: 61825 2876.43/2883.01 c #Conflicts: 1999000 | #Constraints: 62825 2876.43/2883.01 c #Conflicts: 2000000 | #Constraints: 63825 2876.43/2883.01 c #Conflicts: 2001000 | #Constraints: 64825 2876.43/2883.01 c #Conflicts: 2002000 | #Constraints: 65825 2876.43/2883.01 c #Conflicts: 2003000 | #Constraints: 66825 2876.43/2883.01 c #Conflicts: 2004000 | #Constraints: 67825 2876.43/2883.01 c #Conflicts: 2005000 | #Constraints: 68825 2876.43/2883.01 c #Conflicts: 2006000 | #Constraints: 69825 2876.43/2883.01 c #Conflicts: 2007000 | #Constraints: 70825 2876.43/2883.01 c #Conflicts: 2008000 | #Constraints: 71825 2876.43/2883.01 c #Conflicts: 2009000 | #Constraints: 72825 2876.43/2883.01 c #Conflicts: 2010000 | #Constraints: 73825 2876.43/2883.01 c #Conflicts: 2011000 | #Constraints: 74825 2876.43/2883.01 c #Conflicts: 2012000 | #Constraints: 75825 2876.43/2883.01 c #Conflicts: 2013000 | #Constraints: 76825 2876.43/2883.01 c #Conflicts: 2014000 | #Constraints: 77825 2876.43/2883.01 c #Conflicts: 2015000 | #Constraints: 78825 2876.43/2883.01 c #Conflicts: 2016000 | #Constraints: 79825 2876.43/2883.01 c #Conflicts: 2017000 | #Constraints: 80825 2876.43/2883.01 c #Conflicts: 2018000 | #Constraints: 81825 2876.43/2883.01 c #Conflicts: 2019000 | #Constraints: 82825 2876.43/2883.01 c #Conflicts: 2020000 | #Constraints: 83825 2876.43/2883.01 c #Conflicts: 2021000 | #Constraints: 84825 2876.43/2883.01 c INPROCESSING 2876.43/2883.01 c GARBAGE COLLECT 2876.43/2883.01 c rational objective 64 2908.66/2915.25 c #Conflicts: 2022000 | #Constraints: 57633 2908.66/2915.25 c #Conflicts: 2023000 | #Constraints: 58633 2908.66/2915.25 c #Conflicts: 2024000 | #Constraints: 59633 2908.66/2915.25 c #Conflicts: 2025000 | #Constraints: 60633 2908.66/2915.25 c #Conflicts: 2026000 | #Constraints: 61633 2908.66/2915.25 c #Conflicts: 2027000 | #Constraints: 62633 2908.66/2915.25 c #Conflicts: 2028000 | #Constraints: 63633 2908.66/2915.25 c #Conflicts: 2029000 | #Constraints: 64633 2908.66/2915.25 c #Conflicts: 2030000 | #Constraints: 65633 2908.66/2915.25 c #Conflicts: 2031000 | #Constraints: 66633 2908.66/2915.25 c #Conflicts: 2032000 | #Constraints: 67633 2908.66/2915.25 c #Conflicts: 2033000 | #Constraints: 68633 2908.66/2915.25 c #Conflicts: 2034000 | #Constraints: 69633 2908.66/2915.25 c #Conflicts: 2035000 | #Constraints: 70633 2908.66/2915.25 c #Conflicts: 2036000 | #Constraints: 71633 2908.66/2915.25 c #Conflicts: 2037000 | #Constraints: 72633 2908.66/2915.25 c #Conflicts: 2038000 | #Constraints: 73633 2908.66/2915.25 c #Conflicts: 2039000 | #Constraints: 74633 2908.66/2915.25 c #Conflicts: 2040000 | #Constraints: 75633 2908.66/2915.25 c #Conflicts: 2041000 | #Constraints: 76633 2908.66/2915.25 c #Conflicts: 2042000 | #Constraints: 77633 2908.66/2915.25 c #Conflicts: 2043000 | #Constraints: 78633 2908.66/2915.25 c #Conflicts: 2044000 | #Constraints: 79633 2908.66/2915.25 c #Conflicts: 2045000 | #Constraints: 80633 2908.66/2915.25 c #Conflicts: 2046000 | #Constraints: 81633 2908.66/2915.25 c #Conflicts: 2047000 | #Constraints: 82633 2908.66/2915.25 c #Conflicts: 2048000 | #Constraints: 83633 2908.66/2915.25 c #Conflicts: 2049000 | #Constraints: 84633 2908.66/2915.25 c #Conflicts: 2050000 | #Constraints: 85633 2908.66/2915.25 c INPROCESSING 2908.66/2915.25 c GARBAGE COLLECT 2908.66/2915.25 c rational objective 64 2941.99/2948.69 c #Conflicts: 2051000 | #Constraints: 58238 2941.99/2948.69 c #Conflicts: 2052000 | #Constraints: 59238 2941.99/2948.69 c #Conflicts: 2053000 | #Constraints: 60238 2941.99/2948.69 c #Conflicts: 2054000 | #Constraints: 61238 2941.99/2948.69 c #Conflicts: 2055000 | #Constraints: 62238 2941.99/2948.69 c #Conflicts: 2056000 | #Constraints: 63238 2941.99/2948.69 c #Conflicts: 2057000 | #Constraints: 64238 2941.99/2948.69 c #Conflicts: 2058000 | #Constraints: 65238 2941.99/2948.69 c #Conflicts: 2059000 | #Constraints: 66238 2941.99/2948.69 c #Conflicts: 2060000 | #Constraints: 67238 2941.99/2948.69 c #Conflicts: 2061000 | #Constraints: 68238 2941.99/2948.69 c #Conflicts: 2062000 | #Constraints: 69238 2941.99/2948.69 c #Conflicts: 2063000 | #Constraints: 70238 2941.99/2948.69 c #Conflicts: 2064000 | #Constraints: 71238 2941.99/2948.69 c #Conflicts: 2065000 | #Constraints: 72238 2941.99/2948.69 c #Conflicts: 2066000 | #Constraints: 73238 2941.99/2948.69 c #Conflicts: 2067000 | #Constraints: 74238 2941.99/2948.69 c #Conflicts: 2068000 | #Constraints: 75238 2941.99/2948.69 c #Conflicts: 2069000 | #Constraints: 76238 2941.99/2948.69 c #Conflicts: 2070000 | #Constraints: 77238 2941.99/2948.69 c #Conflicts: 2071000 | #Constraints: 78238 2941.99/2948.69 c #Conflicts: 2072000 | #Constraints: 79238 2941.99/2948.69 c #Conflicts: 2073000 | #Constraints: 80238 2941.99/2948.69 c #Conflicts: 2074000 | #Constraints: 81238 2941.99/2948.69 c #Conflicts: 2075000 | #Constraints: 82238 2941.99/2948.69 c #Conflicts: 2076000 | #Constraints: 83238 2941.99/2948.69 c #Conflicts: 2077000 | #Constraints: 84238 2941.99/2948.69 c #Conflicts: 2078000 | #Constraints: 85238 2941.99/2948.69 c #Conflicts: 2079000 | #Constraints: 86238 2941.99/2948.69 c INPROCESSING 2941.99/2948.69 c GARBAGE COLLECT 2941.99/2948.69 c rational objective 64 2986.09/2992.81 c #Conflicts: 2080000 | #Constraints: 58636 2986.09/2992.81 c #Conflicts: 2081000 | #Constraints: 59636 2986.09/2992.81 c #Conflicts: 2082000 | #Constraints: 60636 2986.09/2992.81 c #Conflicts: 2083000 | #Constraints: 61636 2986.09/2992.81 c #Conflicts: 2084000 | #Constraints: 62636 2986.09/2992.81 c #Conflicts: 2085000 | #Constraints: 63636 2986.09/2992.81 c #Conflicts: 2086000 | #Constraints: 64636 2986.09/2992.81 c #Conflicts: 2087000 | #Constraints: 65636 2986.09/2992.81 c #Conflicts: 2088000 | #Constraints: 66636 2986.09/2992.81 c #Conflicts: 2089000 | #Constraints: 67636 2986.09/2992.81 c #Conflicts: 2090000 | #Constraints: 68636 2986.09/2992.81 c #Conflicts: 2091000 | #Constraints: 69636 2986.09/2992.81 c #Conflicts: 2092000 | #Constraints: 70636 2986.09/2992.81 c #Conflicts: 2093000 | #Constraints: 71636 2986.09/2992.81 c #Conflicts: 2094000 | #Constraints: 72636 2986.09/2992.81 c #Conflicts: 2095000 | #Constraints: 73636 2986.09/2992.81 c #Conflicts: 2096000 | #Constraints: 74636 2986.09/2992.81 c #Conflicts: 2097000 | #Constraints: 75636 2986.09/2992.81 c #Conflicts: 2098000 | #Constraints: 76636 2986.09/2992.81 c #Conflicts: 2099000 | #Constraints: 77636 2986.09/2992.81 c #Conflicts: 2100000 | #Constraints: 78636 2986.09/2992.81 c #Conflicts: 2101000 | #Constraints: 79636 2986.09/2992.81 c #Conflicts: 2102000 | #Constraints: 80636 2986.09/2992.81 c #Conflicts: 2103000 | #Constraints: 81636 2986.09/2992.81 c #Conflicts: 2104000 | #Constraints: 82636 2986.09/2992.81 c #Conflicts: 2105000 | #Constraints: 83636 2986.09/2992.81 c #Conflicts: 2106000 | #Constraints: 84636 2986.09/2992.81 c #Conflicts: 2107000 | #Constraints: 85636 2986.09/2992.81 c #Conflicts: 2108000 | #Constraints: 86636 2986.09/2992.81 c INPROCESSING 2986.09/2992.81 c GARBAGE COLLECT 2986.09/2992.81 c rational objective 64 3014.12/3021.01 c #Conflicts: 2109000 | #Constraints: 58839 3014.12/3021.01 c #Conflicts: 2110000 | #Constraints: 59839 3014.12/3021.01 c #Conflicts: 2111000 | #Constraints: 60839 3014.12/3021.01 c #Conflicts: 2112000 | #Constraints: 61839 3014.12/3021.01 c #Conflicts: 2113000 | #Constraints: 62839 3014.12/3021.01 c #Conflicts: 2114000 | #Constraints: 63839 3014.12/3021.01 c #Conflicts: 2115000 | #Constraints: 64839 3014.12/3021.01 c #Conflicts: 2116000 | #Constraints: 65839 3014.12/3021.01 c #Conflicts: 2117000 | #Constraints: 66839 3014.12/3021.01 c #Conflicts: 2118000 | #Constraints: 67839 3014.12/3021.01 c #Conflicts: 2119000 | #Constraints: 68839 3014.12/3021.01 c #Conflicts: 2120000 | #Constraints: 69839 3014.12/3021.01 c #Conflicts: 2121000 | #Constraints: 70839 3014.12/3021.01 c #Conflicts: 2122000 | #Constraints: 71839 3014.12/3021.01 c #Conflicts: 2123000 | #Constraints: 72839 3014.12/3021.01 c #Conflicts: 2124000 | #Constraints: 73839 3014.12/3021.01 c #Conflicts: 2125000 | #Constraints: 74839 3014.12/3021.01 c #Conflicts: 2126000 | #Constraints: 75839 3014.12/3021.01 c #Conflicts: 2127000 | #Constraints: 76839 3014.12/3021.01 c #Conflicts: 2128000 | #Constraints: 77839 3014.12/3021.01 c #Conflicts: 2129000 | #Constraints: 78839 3014.12/3021.01 c #Conflicts: 2130000 | #Constraints: 79839 3014.12/3021.01 c #Conflicts: 2131000 | #Constraints: 80839 3014.12/3021.01 c #Conflicts: 2132000 | #Constraints: 81839 3014.12/3021.01 c #Conflicts: 2133000 | #Constraints: 82839 3014.12/3021.01 c #Conflicts: 2134000 | #Constraints: 83839 3014.12/3021.01 c #Conflicts: 2135000 | #Constraints: 84839 3014.12/3021.01 c #Conflicts: 2136000 | #Constraints: 85839 3014.12/3021.01 c #Conflicts: 2137000 | #Constraints: 86839 3014.12/3021.01 c INPROCESSING 3014.12/3021.01 c GARBAGE COLLECT 3014.12/3021.01 c rational objective 64 3053.54/3060.49 c #Conflicts: 2138000 | #Constraints: 58839 3053.54/3060.49 c #Conflicts: 2139000 | #Constraints: 59840 3053.54/3060.49 c #Conflicts: 2140000 | #Constraints: 60840 3053.54/3060.49 c #Conflicts: 2141000 | #Constraints: 61840 3053.54/3060.49 c #Conflicts: 2142000 | #Constraints: 62840 3053.54/3060.49 c #Conflicts: 2143000 | #Constraints: 63840 3053.54/3060.49 c #Conflicts: 2144000 | #Constraints: 64840 3053.54/3060.49 c #Conflicts: 2145000 | #Constraints: 65840 3053.54/3060.49 c #Conflicts: 2146000 | #Constraints: 66840 3053.54/3060.49 c #Conflicts: 2147000 | #Constraints: 67840 3053.54/3060.49 c #Conflicts: 2148000 | #Constraints: 68840 3053.54/3060.49 c #Conflicts: 2149000 | #Constraints: 69840 3053.54/3060.49 c #Conflicts: 2150000 | #Constraints: 70840 3053.54/3060.49 c #Conflicts: 2151000 | #Constraints: 71840 3053.54/3060.49 c #Conflicts: 2152000 | #Constraints: 72840 3053.54/3060.49 c #Conflicts: 2153000 | #Constraints: 73840 3053.54/3060.49 c #Conflicts: 2154000 | #Constraints: 74840 3053.54/3060.49 c #Conflicts: 2155000 | #Constraints: 75840 3053.54/3060.49 c #Conflicts: 2156000 | #Constraints: 76840 3053.54/3060.49 c #Conflicts: 2157000 | #Constraints: 77840 3053.54/3060.49 c #Conflicts: 2158000 | #Constraints: 78840 3053.54/3060.49 c #Conflicts: 2159000 | #Constraints: 79840 3053.54/3060.49 c #Conflicts: 2160000 | #Constraints: 80840 3053.54/3060.49 c #Conflicts: 2161000 | #Constraints: 81840 3053.54/3060.49 c #Conflicts: 2162000 | #Constraints: 82840 3053.54/3060.49 c #Conflicts: 2163000 | #Constraints: 83840 3053.54/3060.49 c #Conflicts: 2164000 | #Constraints: 84840 3053.54/3060.49 c #Conflicts: 2165000 | #Constraints: 85840 3053.54/3060.49 c #Conflicts: 2166000 | #Constraints: 86840 3053.54/3060.49 c INPROCESSING 3053.54/3060.49 c GARBAGE COLLECT 3053.54/3060.49 c rational objective 64 3111.12/3118.18 c #Conflicts: 2167000 | #Constraints: 58636 3111.12/3118.18 c #Conflicts: 2168000 | #Constraints: 59636 3111.12/3118.18 c #Conflicts: 2169000 | #Constraints: 60636 3111.12/3118.18 c #Conflicts: 2170000 | #Constraints: 61636 3111.12/3118.18 c #Conflicts: 2171000 | #Constraints: 62636 3111.12/3118.18 c #Conflicts: 2172000 | #Constraints: 63636 3111.12/3118.18 c #Conflicts: 2173000 | #Constraints: 64636 3111.12/3118.18 c #Conflicts: 2174000 | #Constraints: 65636 3111.12/3118.18 c #Conflicts: 2175000 | #Constraints: 66636 3111.12/3118.18 c #Conflicts: 2176000 | #Constraints: 67636 3111.12/3118.18 c #Conflicts: 2177000 | #Constraints: 68636 3111.12/3118.18 c #Conflicts: 2178000 | #Constraints: 69636 3111.12/3118.18 c #Conflicts: 2179000 | #Constraints: 70636 3111.12/3118.18 c #Conflicts: 2180000 | #Constraints: 71636 3111.12/3118.18 c #Conflicts: 2181000 | #Constraints: 72636 3111.12/3118.18 c #Conflicts: 2182000 | #Constraints: 73636 3111.12/3118.18 c #Conflicts: 2183000 | #Constraints: 74636 3111.12/3118.18 c #Conflicts: 2184000 | #Constraints: 75636 3111.12/3118.18 c #Conflicts: 2185000 | #Constraints: 76636 3111.12/3118.18 c #Conflicts: 2186000 | #Constraints: 77636 3111.12/3118.18 c #Conflicts: 2187000 | #Constraints: 78636 3111.12/3118.18 c #Conflicts: 2188000 | #Constraints: 79636 3111.12/3118.18 c #Conflicts: 2189000 | #Constraints: 80636 3111.12/3118.18 c #Conflicts: 2190000 | #Constraints: 81636 3111.12/3118.18 c #Conflicts: 2191000 | #Constraints: 82636 3111.12/3118.18 c #Conflicts: 2192000 | #Constraints: 83636 3111.12/3118.18 c #Conflicts: 2193000 | #Constraints: 84636 3111.12/3118.18 c #Conflicts: 2194000 | #Constraints: 85636 3111.12/3118.18 c #Conflicts: 2195000 | #Constraints: 86636 3111.12/3118.18 c #Conflicts: 2196000 | #Constraints: 87636 3111.12/3118.18 c INPROCESSING 3111.12/3118.18 c GARBAGE COLLECT 3111.12/3118.18 c rational objective 64 3139.14/3146.24 c #Conflicts: 2197000 | #Constraints: 59236 3139.14/3146.24 c #Conflicts: 2198000 | #Constraints: 60236 3139.14/3146.24 c #Conflicts: 2199000 | #Constraints: 61236 3139.14/3146.24 c #Conflicts: 2200000 | #Constraints: 62236 3139.14/3146.24 c #Conflicts: 2201000 | #Constraints: 63236 3139.14/3146.24 c #Conflicts: 2202000 | #Constraints: 64236 3139.14/3146.24 c #Conflicts: 2203000 | #Constraints: 65236 3139.14/3146.24 c #Conflicts: 2204000 | #Constraints: 66236 3139.14/3146.24 c #Conflicts: 2205000 | #Constraints: 67236 3139.14/3146.24 c #Conflicts: 2206000 | #Constraints: 68236 3139.14/3146.24 c #Conflicts: 2207000 | #Constraints: 69236 3139.14/3146.24 c #Conflicts: 2208000 | #Constraints: 70236 3139.14/3146.24 c #Conflicts: 2209000 | #Constraints: 71236 3139.14/3146.24 c #Conflicts: 2210000 | #Constraints: 72236 3139.14/3146.24 c #Conflicts: 2211000 | #Constraints: 73236 3139.14/3146.24 c #Conflicts: 2212000 | #Constraints: 74236 3139.14/3146.24 c #Conflicts: 2213000 | #Constraints: 75236 3139.14/3146.24 c #Conflicts: 2214000 | #Constraints: 76236 3139.14/3146.24 c #Conflicts: 2215000 | #Constraints: 77236 3139.14/3146.24 c #Conflicts: 2216000 | #Constraints: 78236 3139.14/3146.24 c #Conflicts: 2217000 | #Constraints: 79236 3139.14/3146.24 c #Conflicts: 2218000 | #Constraints: 80236 3139.14/3146.24 c #Conflicts: 2219000 | #Constraints: 81236 3139.14/3146.24 c #Conflicts: 2220000 | #Constraints: 82236 3139.14/3146.24 c #Conflicts: 2221000 | #Constraints: 83236 3139.14/3146.24 c #Conflicts: 2222000 | #Constraints: 84236 3139.14/3146.24 c #Conflicts: 2223000 | #Constraints: 85236 3139.14/3146.24 c #Conflicts: 2224000 | #Constraints: 86237 3139.14/3146.24 c #Conflicts: 2225000 | #Constraints: 87237 3139.14/3146.24 c #Conflicts: 2226000 | #Constraints: 88237 3139.14/3146.24 c INPROCESSING 3139.14/3146.24 c GARBAGE COLLECT 3139.14/3146.24 c rational objective 64 3185.54/3192.71 c #Conflicts: 2227000 | #Constraints: 59637 3185.54/3192.71 c #Conflicts: 2228000 | #Constraints: 60637 3185.54/3192.71 c #Conflicts: 2229000 | #Constraints: 61637 3185.54/3192.71 c #Conflicts: 2230000 | #Constraints: 62637 3185.54/3192.71 c #Conflicts: 2231000 | #Constraints: 63637 3185.54/3192.71 c #Conflicts: 2232000 | #Constraints: 64637 3185.54/3192.71 c #Conflicts: 2233000 | #Constraints: 65637 3185.54/3192.71 c #Conflicts: 2234000 | #Constraints: 66637 3185.54/3192.71 c #Conflicts: 2235000 | #Constraints: 67637 3185.54/3192.71 c #Conflicts: 2236000 | #Constraints: 68637 3185.54/3192.71 c #Conflicts: 2237000 | #Constraints: 69637 3185.54/3192.71 c #Conflicts: 2238000 | #Constraints: 70637 3185.54/3192.71 c #Conflicts: 2239000 | #Constraints: 71637 3185.54/3192.71 c #Conflicts: 2240000 | #Constraints: 72637 3185.54/3192.71 c #Conflicts: 2241000 | #Constraints: 73637 3185.54/3192.71 c #Conflicts: 2242000 | #Constraints: 74637 3185.54/3192.71 c #Conflicts: 2243000 | #Constraints: 75637 3185.54/3192.71 c #Conflicts: 2244000 | #Constraints: 76637 3185.54/3192.71 c #Conflicts: 2245000 | #Constraints: 77637 3185.54/3192.71 c #Conflicts: 2246000 | #Constraints: 78637 3185.54/3192.71 c #Conflicts: 2247000 | #Constraints: 79637 3185.54/3192.71 c #Conflicts: 2248000 | #Constraints: 80637 3185.54/3192.71 c #Conflicts: 2249000 | #Constraints: 81637 3185.54/3192.71 c #Conflicts: 2250000 | #Constraints: 82637 3185.54/3192.71 c #Conflicts: 2251000 | #Constraints: 83637 3185.54/3192.71 c #Conflicts: 2252000 | #Constraints: 84637 3185.54/3192.71 c #Conflicts: 2253000 | #Constraints: 85637 3185.54/3192.71 c #Conflicts: 2254000 | #Constraints: 86637 3185.54/3192.71 c #Conflicts: 2255000 | #Constraints: 87637 3185.54/3192.71 c #Conflicts: 2256000 | #Constraints: 88637 3185.54/3192.71 c INPROCESSING 3185.54/3192.71 c GARBAGE COLLECT 3185.54/3192.71 c rational objective 64 3247.31/3254.60 c #Conflicts: 2257000 | #Constraints: 59828 3247.31/3254.60 c #Conflicts: 2258000 | #Constraints: 60828 3247.31/3254.60 c #Conflicts: 2259000 | #Constraints: 61828 3247.31/3254.60 c #Conflicts: 2260000 | #Constraints: 62828 3247.31/3254.60 c #Conflicts: 2261000 | #Constraints: 63828 3247.31/3254.60 c #Conflicts: 2262000 | #Constraints: 64828 3247.31/3254.60 c #Conflicts: 2263000 | #Constraints: 65828 3247.31/3254.60 c #Conflicts: 2264000 | #Constraints: 66828 3247.31/3254.60 c #Conflicts: 2265000 | #Constraints: 67828 3247.31/3254.60 c #Conflicts: 2266000 | #Constraints: 68828 3247.31/3254.60 c #Conflicts: 2267000 | #Constraints: 69828 3247.31/3254.60 c #Conflicts: 2268000 | #Constraints: 70828 3247.31/3254.60 c #Conflicts: 2269000 | #Constraints: 71828 3247.31/3254.60 c #Conflicts: 2270000 | #Constraints: 72828 3247.31/3254.60 c #Conflicts: 2271000 | #Constraints: 73828 3247.31/3254.60 c #Conflicts: 2272000 | #Constraints: 74828 3247.31/3254.60 c #Conflicts: 2273000 | #Constraints: 75828 3247.31/3254.60 c #Conflicts: 2274000 | #Constraints: 76828 3247.31/3254.60 c #Conflicts: 2275000 | #Constraints: 77828 3247.31/3254.60 c #Conflicts: 2276000 | #Constraints: 78828 3247.31/3254.60 c #Conflicts: 2277000 | #Constraints: 79828 3247.31/3254.60 c #Conflicts: 2278000 | #Constraints: 80828 3247.31/3254.60 c #Conflicts: 2279000 | #Constraints: 81828 3247.31/3254.60 c #Conflicts: 2280000 | #Constraints: 82828 3247.31/3254.60 c #Conflicts: 2281000 | #Constraints: 83828 3247.31/3254.60 c #Conflicts: 2282000 | #Constraints: 84828 3247.31/3254.60 c #Conflicts: 2283000 | #Constraints: 85828 3247.31/3254.60 c #Conflicts: 2284000 | #Constraints: 86828 3247.31/3254.60 c #Conflicts: 2285000 | #Constraints: 87828 3247.31/3254.60 c #Conflicts: 2286000 | #Constraints: 88828 3247.31/3254.60 c INPROCESSING 3247.31/3254.60 c GARBAGE COLLECT 3247.31/3254.60 c rational objective 64 3278.75/3286.16 c #Conflicts: 2287000 | #Constraints: 59839 3278.75/3286.16 c #Conflicts: 2288000 | #Constraints: 60839 3278.75/3286.16 c #Conflicts: 2289000 | #Constraints: 61839 3278.75/3286.16 c #Conflicts: 2290000 | #Constraints: 62839 3278.75/3286.16 c #Conflicts: 2291000 | #Constraints: 63839 3278.75/3286.16 c #Conflicts: 2292000 | #Constraints: 64839 3278.75/3286.16 c #Conflicts: 2293000 | #Constraints: 65839 3278.75/3286.16 c #Conflicts: 2294000 | #Constraints: 66839 3278.75/3286.16 c #Conflicts: 2295000 | #Constraints: 67839 3278.75/3286.16 c #Conflicts: 2296000 | #Constraints: 68839 3278.75/3286.16 c #Conflicts: 2297000 | #Constraints: 69839 3278.75/3286.16 c #Conflicts: 2298000 | #Constraints: 70839 3278.75/3286.16 c #Conflicts: 2299000 | #Constraints: 71839 3278.75/3286.16 c #Conflicts: 2300000 | #Constraints: 72839 3278.75/3286.16 c #Conflicts: 2301000 | #Constraints: 73839 3278.75/3286.16 c #Conflicts: 2302000 | #Constraints: 74839 3278.75/3286.16 c #Conflicts: 2303000 | #Constraints: 75839 3278.75/3286.16 c #Conflicts: 2304000 | #Constraints: 76839 3278.75/3286.16 c #Conflicts: 2305000 | #Constraints: 77839 3278.75/3286.16 c #Conflicts: 2306000 | #Constraints: 78839 3278.75/3286.16 c #Conflicts: 2307000 | #Constraints: 79839 3278.75/3286.16 c #Conflicts: 2308000 | #Constraints: 80839 3278.75/3286.16 c #Conflicts: 2309000 | #Constraints: 81839 3278.75/3286.16 c #Conflicts: 2310000 | #Constraints: 82839 3278.75/3286.16 c #Conflicts: 2311000 | #Constraints: 83839 3278.75/3286.16 c #Conflicts: 2312000 | #Constraints: 84839 3278.75/3286.16 c #Conflicts: 2313000 | #Constraints: 85839 3278.75/3286.16 c #Conflicts: 2314000 | #Constraints: 86839 3278.75/3286.16 c #Conflicts: 2315000 | #Constraints: 87839 3278.75/3286.16 c #Conflicts: 2316000 | #Constraints: 88839 3278.75/3286.16 c INPROCESSING 3278.75/3286.16 c GARBAGE COLLECT 3278.75/3286.16 c rational objective 64 3332.32/3339.85 c #Conflicts: 2317000 | #Constraints: 59636 3332.32/3339.85 c #Conflicts: 2318000 | #Constraints: 60636 3332.32/3339.85 c #Conflicts: 2319000 | #Constraints: 61636 3332.32/3339.85 c #Conflicts: 2320000 | #Constraints: 62636 3332.32/3339.85 c #Conflicts: 2321000 | #Constraints: 63636 3332.32/3339.85 c #Conflicts: 2322000 | #Constraints: 64636 3332.32/3339.85 c #Conflicts: 2323000 | #Constraints: 65636 3332.32/3339.85 c #Conflicts: 2324000 | #Constraints: 66636 3332.32/3339.85 c #Conflicts: 2325000 | #Constraints: 67636 3332.32/3339.85 c #Conflicts: 2326000 | #Constraints: 68636 3332.32/3339.85 c #Conflicts: 2327000 | #Constraints: 69636 3332.32/3339.85 c #Conflicts: 2328000 | #Constraints: 70636 3332.32/3339.85 c #Conflicts: 2329000 | #Constraints: 71636 3332.32/3339.85 c #Conflicts: 2330000 | #Constraints: 72636 3332.32/3339.85 c #Conflicts: 2331000 | #Constraints: 73636 3332.32/3339.85 c #Conflicts: 2332000 | #Constraints: 74636 3332.32/3339.85 c #Conflicts: 2333000 | #Constraints: 75636 3332.32/3339.85 c #Conflicts: 2334000 | #Constraints: 76636 3332.32/3339.85 c #Conflicts: 2335000 | #Constraints: 77636 3332.32/3339.85 c #Conflicts: 2336000 | #Constraints: 78636 3332.32/3339.85 c #Conflicts: 2337000 | #Constraints: 79636 3332.32/3339.85 c #Conflicts: 2338000 | #Constraints: 80636 3332.32/3339.85 c #Conflicts: 2339000 | #Constraints: 81636 3332.32/3339.85 c #Conflicts: 2340000 | #Constraints: 82636 3332.32/3339.85 c #Conflicts: 2341000 | #Constraints: 83636 3332.32/3339.85 c #Conflicts: 2342000 | #Constraints: 84636 3332.32/3339.85 c #Conflicts: 2343000 | #Constraints: 85636 3332.32/3339.85 c #Conflicts: 2344000 | #Constraints: 86636 3332.32/3339.85 c #Conflicts: 2345000 | #Constraints: 87636 3332.32/3339.85 c #Conflicts: 2346000 | #Constraints: 88636 3332.32/3339.85 c #Conflicts: 2347000 | #Constraints: 89636 3332.32/3339.85 c INPROCESSING 3332.32/3339.85 c GARBAGE COLLECT 3332.32/3339.85 c rational objective 64 3384.59/3392.20 c #Conflicts: 2348000 | #Constraints: 60237 3384.59/3392.20 c #Conflicts: 2349000 | #Constraints: 61237 3384.59/3392.20 c #Conflicts: 2350000 | #Constraints: 62237 3384.59/3392.20 c #Conflicts: 2351000 | #Constraints: 63237 3384.59/3392.20 c #Conflicts: 2352000 | #Constraints: 64237 3384.59/3392.20 c #Conflicts: 2353000 | #Constraints: 65237 3384.59/3392.20 c #Conflicts: 2354000 | #Constraints: 66237 3384.59/3392.20 c #Conflicts: 2355000 | #Constraints: 67237 3384.59/3392.20 c #Conflicts: 2356000 | #Constraints: 68237 3384.59/3392.20 c #Conflicts: 2357000 | #Constraints: 69237 3384.59/3392.20 c #Conflicts: 2358000 | #Constraints: 70237 3384.59/3392.20 c #Conflicts: 2359000 | #Constraints: 71237 3384.59/3392.20 c #Conflicts: 2360000 | #Constraints: 72237 3384.59/3392.20 c #Conflicts: 2361000 | #Constraints: 73237 3384.59/3392.20 c #Conflicts: 2362000 | #Constraints: 74237 3384.59/3392.20 c #Conflicts: 2363000 | #Constraints: 75237 3384.59/3392.20 c #Conflicts: 2364000 | #Constraints: 76237 3384.59/3392.20 c #Conflicts: 2365000 | #Constraints: 77237 3384.59/3392.20 c #Conflicts: 2366000 | #Constraints: 78237 3384.59/3392.20 c #Conflicts: 2367000 | #Constraints: 79237 3384.59/3392.20 c #Conflicts: 2368000 | #Constraints: 80237 3384.59/3392.20 c #Conflicts: 2369000 | #Constraints: 81237 3384.59/3392.20 c #Conflicts: 2370000 | #Constraints: 82237 3384.59/3392.20 c #Conflicts: 2371000 | #Constraints: 83237 3384.59/3392.20 c #Conflicts: 2372000 | #Constraints: 84237 3384.59/3392.20 c #Conflicts: 2373000 | #Constraints: 85237 3384.59/3392.20 c #Conflicts: 2374000 | #Constraints: 86237 3384.59/3392.20 c #Conflicts: 2375000 | #Constraints: 87237 3384.59/3392.20 c #Conflicts: 2376000 | #Constraints: 88237 3384.59/3392.20 c #Conflicts: 2377000 | #Constraints: 89237 3384.59/3392.20 c #Conflicts: 2378000 | #Constraints: 90237 3384.59/3392.20 c INPROCESSING 3384.59/3392.20 c GARBAGE COLLECT 3384.59/3392.20 c rational objective 64 3413.34/3421.10 c #Conflicts: 2379000 | #Constraints: 60649 3413.34/3421.10 c #Conflicts: 2380000 | #Constraints: 61650 3413.34/3421.10 c #Conflicts: 2381000 | #Constraints: 62650 3413.34/3421.10 c #Conflicts: 2382000 | #Constraints: 63650 3413.34/3421.10 c #Conflicts: 2383000 | #Constraints: 64650 3413.34/3421.10 c #Conflicts: 2384000 | #Constraints: 65650 3413.34/3421.10 c #Conflicts: 2385000 | #Constraints: 66650 3413.34/3421.10 c #Conflicts: 2386000 | #Constraints: 67650 3413.34/3421.10 c #Conflicts: 2387000 | #Constraints: 68650 3413.34/3421.10 c #Conflicts: 2388000 | #Constraints: 69650 3413.34/3421.10 c #Conflicts: 2389000 | #Constraints: 70650 3413.34/3421.10 c #Conflicts: 2390000 | #Constraints: 71650 3413.34/3421.10 c #Conflicts: 2391000 | #Constraints: 72650 3413.34/3421.10 c #Conflicts: 2392000 | #Constraints: 73650 3413.34/3421.10 c #Conflicts: 2393000 | #Constraints: 74650 3413.34/3421.10 c #Conflicts: 2394000 | #Constraints: 75650 3413.34/3421.10 c #Conflicts: 2395000 | #Constraints: 76650 3413.34/3421.10 c #Conflicts: 2396000 | #Constraints: 77650 3413.34/3421.10 c #Conflicts: 2397000 | #Constraints: 78650 3413.34/3421.10 c #Conflicts: 2398000 | #Constraints: 79650 3413.34/3421.10 c #Conflicts: 2399000 | #Constraints: 80650 3413.34/3421.10 c #Conflicts: 2400000 | #Constraints: 81650 3413.34/3421.10 c #Conflicts: 2401000 | #Constraints: 82650 3413.34/3421.10 c #Conflicts: 2402000 | #Constraints: 83650 3413.34/3421.10 c #Conflicts: 2403000 | #Constraints: 84650 3413.34/3421.10 c #Conflicts: 2404000 | #Constraints: 85650 3413.34/3421.10 c #Conflicts: 2405000 | #Constraints: 86650 3413.34/3421.10 c #Conflicts: 2406000 | #Constraints: 87650 3413.34/3421.10 c #Conflicts: 2407000 | #Constraints: 88650 3413.34/3421.10 c #Conflicts: 2408000 | #Constraints: 89650 3413.34/3421.10 c #Conflicts: 2409000 | #Constraints: 90650 3413.34/3421.10 c INPROCESSING 3413.34/3421.10 c GARBAGE COLLECT 3413.34/3421.10 c rational objective 64 3451.74/3459.55 c #Conflicts: 2410000 | #Constraints: 60846 3451.74/3459.55 c #Conflicts: 2411000 | #Constraints: 61846 3451.74/3459.55 c #Conflicts: 2412000 | #Constraints: 62846 3451.74/3459.55 c #Conflicts: 2413000 | #Constraints: 63846 3451.74/3459.55 c #Conflicts: 2414000 | #Constraints: 64846 3451.74/3459.55 c #Conflicts: 2415000 | #Constraints: 65846 3451.74/3459.55 c #Conflicts: 2416000 | #Constraints: 66846 3451.74/3459.55 c #Conflicts: 2417000 | #Constraints: 67846 3451.74/3459.55 c #Conflicts: 2418000 | #Constraints: 68846 3451.74/3459.55 c #Conflicts: 2419000 | #Constraints: 69846 3451.74/3459.55 c #Conflicts: 2420000 | #Constraints: 70846 3451.74/3459.55 c #Conflicts: 2421000 | #Constraints: 71846 3451.74/3459.55 c #Conflicts: 2422000 | #Constraints: 72846 3451.74/3459.55 c #Conflicts: 2423000 | #Constraints: 73846 3451.74/3459.55 c #Conflicts: 2424000 | #Constraints: 74846 3451.74/3459.55 c #Conflicts: 2425000 | #Constraints: 75846 3451.74/3459.55 c #Conflicts: 2426000 | #Constraints: 76846 3451.74/3459.55 c #Conflicts: 2427000 | #Constraints: 77846 3451.74/3459.55 c #Conflicts: 2428000 | #Constraints: 78846 3451.74/3459.55 c #Conflicts: 2429000 | #Constraints: 79846 3451.74/3459.55 c #Conflicts: 2430000 | #Constraints: 80846 3451.74/3459.55 c #Conflicts: 2431000 | #Constraints: 81846 3451.74/3459.55 c #Conflicts: 2432000 | #Constraints: 82846 3451.74/3459.55 c #Conflicts: 2433000 | #Constraints: 83846 3451.74/3459.55 c #Conflicts: 2434000 | #Constraints: 84846 3451.74/3459.55 c #Conflicts: 2435000 | #Constraints: 85846 3451.74/3459.55 c #Conflicts: 2436000 | #Constraints: 86846 3451.74/3459.55 c #Conflicts: 2437000 | #Constraints: 87846 3451.74/3459.55 c #Conflicts: 2438000 | #Constraints: 88846 3451.74/3459.55 c #Conflicts: 2439000 | #Constraints: 89846 3451.74/3459.55 c #Conflicts: 2440000 | #Constraints: 90846 3451.74/3459.55 c INPROCESSING 3451.74/3459.55 c GARBAGE COLLECT 3451.74/3459.55 c rational objective 64 3515.39/3523.30 c #Conflicts: 2441000 | #Constraints: 60844 3515.39/3523.30 c #Conflicts: 2442000 | #Constraints: 61844 3515.39/3523.30 c #Conflicts: 2443000 | #Constraints: 62844 3515.39/3523.30 c #Conflicts: 2444000 | #Constraints: 63844 3515.39/3523.30 c #Conflicts: 2445000 | #Constraints: 64844 3515.39/3523.30 c #Conflicts: 2446000 | #Constraints: 65844 3515.39/3523.30 c #Conflicts: 2447000 | #Constraints: 66844 3515.39/3523.30 c #Conflicts: 2448000 | #Constraints: 67844 3515.39/3523.30 c #Conflicts: 2449000 | #Constraints: 68844 3515.39/3523.30 c #Conflicts: 2450000 | #Constraints: 69844 3515.39/3523.30 c #Conflicts: 2451000 | #Constraints: 70844 3515.39/3523.30 c #Conflicts: 2452000 | #Constraints: 71844 3515.39/3523.30 c #Conflicts: 2453000 | #Constraints: 72844 3515.39/3523.30 c #Conflicts: 2454000 | #Constraints: 73844 3515.39/3523.30 c #Conflicts: 2455000 | #Constraints: 74844 3515.39/3523.30 c #Conflicts: 2456000 | #Constraints: 75844 3515.39/3523.30 c #Conflicts: 2457000 | #Constraints: 76844 3515.39/3523.30 c #Conflicts: 2458000 | #Constraints: 77844 3515.39/3523.30 c #Conflicts: 2459000 | #Constraints: 78844 3515.39/3523.30 c #Conflicts: 2460000 | #Constraints: 79844 3515.39/3523.30 c #Conflicts: 2461000 | #Constraints: 80844 3515.39/3523.30 c #Conflicts: 2462000 | #Constraints: 81844 3515.39/3523.30 c #Conflicts: 2463000 | #Constraints: 82844 3515.39/3523.30 c #Conflicts: 2464000 | #Constraints: 83844 3515.39/3523.30 c #Conflicts: 2465000 | #Constraints: 84844 3515.39/3523.30 c #Conflicts: 2466000 | #Constraints: 85844 3515.39/3523.30 c #Conflicts: 2467000 | #Constraints: 86844 3515.39/3523.30 c #Conflicts: 2468000 | #Constraints: 87844 3515.39/3523.30 c #Conflicts: 2469000 | #Constraints: 88844 3515.39/3523.30 c #Conflicts: 2470000 | #Constraints: 89844 3515.39/3523.30 c #Conflicts: 2471000 | #Constraints: 90844 3515.39/3523.30 c INPROCESSING 3515.39/3523.30 c GARBAGE COLLECT 3515.39/3523.30 c rational objective 64 3551.62/3559.62 c #Conflicts: 2472000 | #Constraints: 60645 3551.62/3559.62 c #Conflicts: 2473000 | #Constraints: 61645 3551.62/3559.62 c #Conflicts: 2474000 | #Constraints: 62645 3551.62/3559.62 c #Conflicts: 2475000 | #Constraints: 63645 3551.62/3559.62 c #Conflicts: 2476000 | #Constraints: 64645 3551.62/3559.62 c #Conflicts: 2477000 | #Constraints: 65645 3551.62/3559.62 c #Conflicts: 2478000 | #Constraints: 66645 3551.62/3559.62 c #Conflicts: 2479000 | #Constraints: 67645 3551.62/3559.62 c #Conflicts: 2480000 | #Constraints: 68645 3551.62/3559.62 c #Conflicts: 2481000 | #Constraints: 69645 3551.62/3559.62 c #Conflicts: 2482000 | #Constraints: 70645 3551.62/3559.62 c #Conflicts: 2483000 | #Constraints: 71645 3551.62/3559.62 c #Conflicts: 2484000 | #Constraints: 72645 3551.62/3559.62 c #Conflicts: 2485000 | #Constraints: 73645 3551.62/3559.62 c #Conflicts: 2486000 | #Constraints: 74645 3551.62/3559.62 c #Conflicts: 2487000 | #Constraints: 75645 3551.62/3559.62 c #Conflicts: 2488000 | #Constraints: 76645 3551.62/3559.62 c #Conflicts: 2489000 | #Constraints: 77645 3551.62/3559.62 c #Conflicts: 2490000 | #Constraints: 78645 3551.62/3559.62 c #Conflicts: 2491000 | #Constraints: 79645 3551.62/3559.62 c #Conflicts: 2492000 | #Constraints: 80645 3551.62/3559.62 c #Conflicts: 2493000 | #Constraints: 81645 3551.62/3559.62 c #Conflicts: 2494000 | #Constraints: 82645 3551.62/3559.62 c #Conflicts: 2495000 | #Constraints: 83645 3551.62/3559.62 c #Conflicts: 2496000 | #Constraints: 84645 3551.62/3559.62 c #Conflicts: 2497000 | #Constraints: 85645 3551.62/3559.62 c #Conflicts: 2498000 | #Constraints: 86645 3551.62/3559.62 c #Conflicts: 2499000 | #Constraints: 87645 3551.62/3559.62 c #Conflicts: 2500000 | #Constraints: 88645 3551.62/3559.62 c #Conflicts: 2501000 | #Constraints: 89645 3551.62/3559.62 c #Conflicts: 2502000 | #Constraints: 90645 3551.62/3559.62 c #Conflicts: 2503000 | #Constraints: 91645 3551.62/3559.62 c INPROCESSING 3551.62/3559.62 c GARBAGE COLLECT 3551.62/3559.62 c rational objective 64 3584.54/3592.69 c #Conflicts: 2504000 | #Constraints: 61237 3584.54/3592.69 c #Conflicts: 2505000 | #Constraints: 62237 3584.54/3592.69 c #Conflicts: 2506000 | #Constraints: 63237 3584.54/3592.69 c #Conflicts: 2507000 | #Constraints: 64237 3584.54/3592.69 c #Conflicts: 2508000 | #Constraints: 65237 3584.54/3592.69 c #Conflicts: 2509000 | #Constraints: 66237 3584.54/3592.69 c #Conflicts: 2510000 | #Constraints: 67237 3584.54/3592.69 c #Conflicts: 2511000 | #Constraints: 68237 3584.54/3592.69 c #Conflicts: 2512000 | #Constraints: 69237 3584.54/3592.69 c #Conflicts: 2513000 | #Constraints: 70237 3584.54/3592.69 c #Conflicts: 2514000 | #Constraints: 71237 3584.54/3592.69 c #Conflicts: 2515000 | #Constraints: 72237 3584.54/3592.69 c #Conflicts: 2516000 | #Constraints: 73237 3584.54/3592.69 c #Conflicts: 2517000 | #Constraints: 74237 3584.54/3592.69 c #Conflicts: 2518000 | #Constraints: 75237 3584.54/3592.69 c #Conflicts: 2519000 | #Constraints: 76237 3584.54/3592.69 c #Conflicts: 2520000 | #Constraints: 77237 3584.54/3592.69 c #Conflicts: 2521000 | #Constraints: 78237 3584.54/3592.69 c #Conflicts: 2522000 | #Constraints: 79237 3584.54/3592.69 c #Conflicts: 2523000 | #Constraints: 80237 3584.54/3592.69 c #Conflicts: 2524000 | #Constraints: 81237 3584.54/3592.69 c #Conflicts: 2525000 | #Constraints: 82237 3584.54/3592.69 c #Conflicts: 2526000 | #Constraints: 83237 3584.54/3592.69 c #Conflicts: 2527000 | #Constraints: 84237 3584.54/3592.69 c #Conflicts: 2528000 | #Constraints: 85237 3584.54/3592.69 c #Conflicts: 2529000 | #Constraints: 86237 3584.54/3592.69 c #Conflicts: 2530000 | #Constraints: 87237 3584.54/3592.69 c #Conflicts: 2531000 | #Constraints: 88237 3584.54/3592.69 c #Conflicts: 2532000 | #Constraints: 89237 3584.54/3592.69 c #Conflicts: 2533000 | #Constraints: 90237 3584.54/3592.69 c #Conflicts: 2534000 | #Constraints: 91237 3584.54/3592.69 c #Conflicts: 2535000 | #Constraints: 92237 3584.54/3592.69 c INPROCESSING 3584.54/3592.69 c GARBAGE COLLECT 3584.54/3592.69 c rational objective 64
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62299 MiB free)
memory of node 1: 64473 MiB (61595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457196-1721831972/watcher-4457196-1721831972 -o /tmp/evaluation-result-4457196-1721831972/solver-4457196-1721831972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721831972-195184 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457196-1721831972 --lp-cut-gomory=0 HOME/instance-4457196-1721831972.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=195239, runsolver pid=195228
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 0.73 1.34 2.47 7/245 195248
/proc/meminfo: memFree=126854796/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=39764 memory=7408 CPUtime=0.05 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 832 0 0 0 4 1 0 0 20 0 1 0 19186079 40718336 1852 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 9941 1852 1359 992 0 1799 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 39764 KiB
Current children cumulated memory: 7408 KiB
[startup+0.215169 s]*
/proc/loadavg: 0.73 1.34 2.47 7/245 195248
/proc/meminfo: memFree=126843792/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=41052 memory=11200 CPUtime=0.16 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 1352 0 0 0 12 4 0 0 20 0 1 0 19186079 42037248 2800 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 10263 2800 1359 992 0 2121 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 11200 KiB
[startup+0.313949 s]*
/proc/loadavg: 0.73 1.34 2.47 7/245 195248
/proc/meminfo: memFree=126841940/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=41316 memory=11464 CPUtime=0.26 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 1431 0 0 0 19 7 0 0 20 0 1 0 19186079 42307584 2866 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 10329 2866 1359 992 0 2187 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 11464 KiB
[startup+0.70029 s]
/proc/loadavg: 0.73 1.34 2.47 7/245 195248
/proc/meminfo: memFree=126762628/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=59904 memory=31720 CPUtime=0.63 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 7107 0 0 0 53 10 0 0 20 0 1 0 19186079 61341696 7930 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 14976 7930 1723 992 0 6834 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31720 KiB
[startup+1.50029 s]
/proc/loadavg: 0.73 1.34 2.47 7/245 195248
/proc/meminfo: memFree=126763292/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=61856 memory=32688 CPUtime=1.43 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 7347 0 0 0 123 20 0 0 20 0 1 0 19186079 63340544 8172 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 15464 8172 1771 992 0 7322 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 61856 KiB
Current children cumulated memory: 32688 KiB
[startup+3.11375 s]
/proc/loadavg: 0.99 1.39 2.48 7/245 195248
/proc/meminfo: memFree=126743160/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=63352 memory=34912 CPUtime=3.04 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 7840 0 0 0 282 22 0 0 20 0 1 0 19186079 64872448 8728 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 15838 8728 1803 992 0 7696 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 63352 KiB
Current children cumulated memory: 34912 KiB
[startup+6.30028 s]
/proc/loadavg: 0.99 1.39 2.48 7/245 195248
/proc/meminfo: memFree=126730520/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=65404 memory=37164 CPUtime=6.21 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 8704 0 0 0 585 36 0 0 20 0 1 0 19186079 66973696 9291 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 16351 9291 1898 992 0 8209 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 65404 KiB
Current children cumulated memory: 37164 KiB
[startup+12.7002 s]
/proc/loadavg: 1.24 1.43 2.49 7/245 195249
/proc/meminfo: memFree=126707520/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=70224 memory=42492 CPUtime=12.6 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 10048 0 0 0 1208 52 0 0 20 0 1 0 19186079 71909376 10623 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 17556 10623 1914 992 0 9414 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 42492 KiB
[startup+25.5003 s]
/proc/loadavg: 1.85 1.56 2.51 7/245 195251
/proc/meminfo: memFree=126690596/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=70224 memory=42492 CPUtime=25.38 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 10055 0 0 0 2469 69 0 0 20 0 1 0 19186079 71909376 10623 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 17556 10623 1914 992 0 9414 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 42492 KiB
[startup+51.1138 s]
/proc/loadavg: 2.64 1.77 2.56 7/247 195259
/proc/meminfo: memFree=126656044/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=71312 memory=44596 CPUtime=50.93 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 10542 0 0 0 5008 85 0 0 20 0 1 0 19186079 73023488 11149 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 17828 11149 1914 992 0 9686 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 71312 KiB
Current children cumulated memory: 44596 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.12 2.64 7/247 195268
/proc/meminfo: memFree=126573912/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=82492 memory=52280 CPUtime=102 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 12507 0 0 0 10069 131 0 0 20 0 1 0 19186079 84471808 13070 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 20623 13070 1914 992 0 12481 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 82492 KiB
Current children cumulated memory: 52280 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.49 2.73 7/248 195281
/proc/meminfo: memFree=126470676/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=84128 memory=54656 CPUtime=161.86 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 13062 0 0 0 16001 185 0 0 20 0 1 0 19186079 86147072 13664 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 21032 13664 1914 992 0 12890 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 84128 KiB
Current children cumulated memory: 54656 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.82 7/248 195291
/proc/meminfo: memFree=126409520/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=88548 memory=59600 CPUtime=221.7 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 13893 0 0 0 21938 232 0 0 20 0 1 0 19186079 90673152 14900 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 22137 14900 1914 992 0 13995 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 88548 KiB
Current children cumulated memory: 59600 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.02 2.90 7/247 195302
/proc/meminfo: memFree=126349168/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=88944 memory=60416 CPUtime=281.57 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 14026 0 0 0 27872 285 0 0 20 0 1 0 19186079 91078656 15104 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 22236 15104 1914 992 0 14094 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 88944 KiB
Current children cumulated memory: 60416 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.23 2.98 7/247 195312
/proc/meminfo: memFree=126280964/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=90524 memory=62280 CPUtime=341.44 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 14559 0 0 0 33813 331 0 0 20 0 1 0 19186079 92696576 15570 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 22631 15570 1914 992 0 14489 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 90524 KiB
Current children cumulated memory: 62280 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 3.06 7/245 195322
/proc/meminfo: memFree=126218804/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=91136 memory=62980 CPUtime=401.3 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 14743 0 0 0 39758 372 0 0 20 0 1 0 19186079 93323264 15745 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 22784 15745 1914 992 0 14642 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 91136 KiB
Current children cumulated memory: 62980 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.54 3.13 7/245 195334
/proc/meminfo: memFree=126167680/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=91136 memory=62980 CPUtime=461.18 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 14766 0 0 0 45703 415 0 0 20 0 1 0 19186079 93323264 15745 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 22784 15745 1914 992 0 14642 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.18 8/248 196990
/proc/meminfo: memFree=122383540/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=122488 memory=88008 CPUtime=3095.35 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 20063 0 0 0 307120 2415 0 0 20 0 1 0 19186079 125427712 22002 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 30622 22002 1914 992 0 22480 0
Current children cumulated CPU time: 3095.35 s
Current children cumulated vsize: 122488 KiB
Current children cumulated memory: 88008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.15 4.17 7/248 197001
/proc/meminfo: memFree=122295316/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=122900 memory=88284 CPUtime=3155.21 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 20201 0 0 0 313063 2458 0 0 20 0 1 0 19186079 125849600 22071 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 30725 22071 1914 992 0 22583 0
Current children cumulated CPU time: 3155.21 s
Current children cumulated vsize: 122900 KiB
Current children cumulated memory: 88284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.17 7/246 197011
/proc/meminfo: memFree=122210588/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=122900 memory=88420 CPUtime=3215.08 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 20234 0 0 0 319016 2492 0 0 20 0 1 0 19186079 125849600 22105 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 30725 22105 1914 992 0 22583 0
Current children cumulated CPU time: 3215.08 s
Current children cumulated vsize: 122900 KiB
Current children cumulated memory: 88420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.17 7/246 197023
/proc/meminfo: memFree=122072116/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=123268 memory=88788 CPUtime=3274.94 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 20366 0 0 0 324964 2530 0 0 20 0 1 0 19186079 126226432 22197 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 30817 22197 1914 992 0 22675 0
Current children cumulated CPU time: 3274.94 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 88788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.17 7/244 197033
/proc/meminfo: memFree=121936880/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=124480 memory=89832 CPUtime=3334.81 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21166 0 0 0 330910 2571 0 0 20 0 1 0 19186079 127467520 22458 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31120 22458 1914 992 0 22978 0
Current children cumulated CPU time: 3334.81 s
Current children cumulated vsize: 124480 KiB
Current children cumulated memory: 89832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.16 7/244 197043
/proc/meminfo: memFree=121816700/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=124864 memory=90220 CPUtime=3394.67 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21297 0 0 0 336864 2603 0 0 20 0 1 0 19186079 127860736 22555 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31216 22555 1914 992 0 23074 0
Current children cumulated CPU time: 3394.67 s
Current children cumulated vsize: 124864 KiB
Current children cumulated memory: 90220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.16 7/244 197054
/proc/meminfo: memFree=121752800/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=125492 memory=91012 CPUtime=3454.53 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21505 0 0 0 342800 2653 0 0 20 0 1 0 19186079 128503808 22753 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31373 22753 1914 992 0 23231 0
Current children cumulated CPU time: 3454.53 s
Current children cumulated vsize: 125492 KiB
Current children cumulated memory: 91012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.16 7/246 197066
/proc/meminfo: memFree=121503368/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=125624 memory=91076 CPUtime=3514.4 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21543 0 0 0 348758 2682 0 0 20 0 1 0 19186079 128638976 22769 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31406 22769 1914 992 0 23264 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 125624 KiB
Current children cumulated memory: 91076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.14 7/246 197077
/proc/meminfo: memFree=121102712/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126104 memory=91524 CPUtime=3574.26 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21713 0 0 0 354694 2732 0 0 20 0 1 0 19186079 129130496 22881 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31526 22881 1914 992 0 23384 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 126104 KiB
Current children cumulated memory: 91524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.11 s]
/proc/loadavg: 4.10 4.11 4.15 7/246 197081
/proc/meminfo: memFree=121003636/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126316 memory=91648 CPUtime=3600.01 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21765 0 0 0 357254 2747 0 0 20 0 1 0 19186079 129347584 22912 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31579 22912 1914 992 0 23437 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 126316 KiB
Current children cumulated memory: 91648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.12 s]
# the end of solver process 195239 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.54 s, system=27.4832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 4.10 4.11 4.15 7/246 197081
/proc/meminfo: memFree=121003636/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126316 memory=91648 CPUtime=3600.71 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21765 0 0 0 357323 2748 0 0 20 0 1 0 19186079 129347584 22912 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31579 22912 1914 992 0 23437 0
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 126316 KiB
Current children cumulated memory: 91648 KiB
[startup+3609.6 s]
/proc/loadavg: 4.09 4.10 4.14 7/246 197081
/proc/meminfo: memFree=121003220/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126316 memory=91648 CPUtime=3601.5 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21765 0 0 0 357402 2748 0 0 20 0 1 0 19186079 129347584 22912 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31579 22912 1914 992 0 23437 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 126316 KiB
Current children cumulated memory: 91648 KiB
[startup+3610 s]*
/proc/loadavg: 4.09 4.10 4.14 7/246 197082
/proc/meminfo: memFree=121002672/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126316 memory=91648 CPUtime=3601.91 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21765 0 0 0 357443 2748 0 0 20 0 1 0 19186079 129347584 22912 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31579 22912 1914 992 0 23437 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 126316 KiB
Current children cumulated memory: 91648 KiB
[startup+3610.11 s]
/proc/loadavg: 4.09 4.10 4.14 7/246 197082
/proc/meminfo: memFree=121002672/131655788 swapFree=131070192/131071996
[pid=195239] ppid=195228 vsize=126316 memory=91648 CPUtime=3602.02 cores=4,6
/proc/195239/stat : 195239 (roundingsat) R 195228 195239 195173 0 -1 4194304 21765 0 0 0 357454 2748 0 0 20 0 1 0 19186079 129347584 22912 134679101440 4194304 8254037 140726732415008 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26730496 140726732419932 140726732420194 140726732420194 140726732427209 0
/proc/195239/statm: 31579 22912 1914 992 0 23437 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 126316 KiB
Current children cumulated memory: 91648 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.12
CPU time (s): 3602.02
CPU user time (s): 3574.54
CPU system time (s): 27.4832
CPU usage (%): 99.7758
Max. virtual memory (cumulated for all children) (KiB): 126316
Max. memory (cumulated for all children) (KiB): 91648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.54
system time used= 27.4832
maximum resident set size= 91836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1434080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 3501
# summary of solver processes directly reported to runsolver:
# pid: 195239
# total CPU time (s): 3602.02
# total CPU user time (s): 3574.54
# total CPU system time (s): 27.4832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0193 second user time and 36.1522 second system time
The end
Begin job on nodeC002 at 2024-07-24 16:39:32 IDJOB=4457196 IDBENCH=158394 IDSOLVER=3085 FILE ID=nodeC002/4457196-1721831972 RUNJOBID= nodeC002-1721831972-195184 SLURM_JOB_ID= 7891529 Free space on /tmp= 723780 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.5.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457196-1721831972/watcher-4457196-1721831972 -o /tmp/evaluation-result-4457196-1721831972/solver-4457196-1721831972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721831972-195184 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457196-1721831972 --lp-cut-gomory=0 HOME/instance-4457196-1721831972.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a RANDOM SEED=1003041088 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.161 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.178 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.162 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.178 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.176 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126875384 kB MemAvailable: 129937148 kB Buffers: 265768 kB Cached: 3609344 kB SwapCached: 72 kB Active: 2232192 kB Inactive: 1961420 kB Active(anon): 1420 kB Inactive(anon): 371244 kB Active(file): 2230772 kB Inactive(file): 1590176 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 20508 kB Writeback: 0 kB AnonPages: 317808 kB Mapped: 103572 kB Shmem: 53844 kB KReclaimable: 162032 kB Slab: 273620 kB SReclaimable: 162032 kB SUnreclaim: 111588 kB KernelStack: 3572 kB PageTables: 9968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 684072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 11872 kB HardwareCorrupted: 0 kB AnonHugePages: 192512 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723756 MiB End job on nodeC002 at 2024-07-24 17:39:43