| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.1 | 3610.4 |
| 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.00/0.09 c #variables 9324 #constraints 28660 49.57/49.73 c bounds - >= 0 @ 0.063919 49.57/49.73 c #Conflicts: 1000 | #Constraints: 29659 49.57/49.73 c #Conflicts: 2000 | #Constraints: 30659 49.57/49.73 c INPROCESSING 49.57/49.73 c bounds - >= 10 @ 3.80887 49.57/49.73 c #Conflicts: 3000 | #Constraints: 30690 49.57/49.73 c bounds - >= 20 @ 3.85102 49.57/49.73 c bounds 211 >= 20 @ 3.94507 49.57/49.73 c #Conflicts: 4000 | #Constraints: 31697 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c #Conflicts: 5000 | #Constraints: 31107 49.57/49.73 c #Conflicts: 6000 | #Constraints: 32107 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c #Conflicts: 7000 | #Constraints: 31118 49.57/49.73 c #Conflicts: 8000 | #Constraints: 32118 49.57/49.73 c bounds 206 >= 20 @ 5.49796 49.57/49.73 c bounds 186 >= 20 @ 5.50604 49.57/49.73 c bounds 184 >= 20 @ 5.50748 49.57/49.73 c bounds 182 >= 20 @ 5.51286 49.57/49.73 c #Conflicts: 9000 | #Constraints: 33122 49.57/49.73 c bounds 179 >= 20 @ 5.56691 49.57/49.73 c bounds 174 >= 20 @ 5.57144 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c bounds 172 >= 20 @ 11.3164 49.57/49.73 c bounds 170 >= 20 @ 11.3198 49.57/49.73 c bounds 162 >= 20 @ 11.3563 49.57/49.73 c bounds 160 >= 20 @ 11.3577 49.57/49.73 c bounds 157 >= 20 @ 11.3703 49.57/49.73 c bounds 155 >= 20 @ 11.3717 49.57/49.73 c #Conflicts: 10000 | #Constraints: 31858 49.57/49.73 c #Conflicts: 11000 | #Constraints: 32858 49.57/49.73 c #Conflicts: 12000 | #Constraints: 33858 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c bounds 147 >= 20 @ 11.5161 49.57/49.73 c bounds 145 >= 20 @ 11.5215 49.57/49.73 c #Conflicts: 13000 | #Constraints: 32345 49.57/49.73 c #Conflicts: 14000 | #Constraints: 33345 49.57/49.73 c #Conflicts: 15000 | #Constraints: 34345 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c bounds 145 >= 22 @ 31.0271 49.57/49.73 c bounds 145 >= 24 @ 31.0291 49.57/49.73 c bounds 145 >= 26 @ 31.0376 49.57/49.73 c bounds 145 >= 28 @ 31.0442 49.57/49.73 c bounds 145 >= 30 @ 31.0496 49.57/49.73 c #Conflicts: 16000 | #Constraints: 32597 49.57/49.73 c #Conflicts: 17000 | #Constraints: 33597 49.57/49.73 c bounds 145 >= 32 @ 31.4192 49.57/49.73 c #Conflicts: 18000 | #Constraints: 34606 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c #Conflicts: 19000 | #Constraints: 32612 49.57/49.73 c #Conflicts: 20000 | #Constraints: 33612 49.57/49.73 c #Conflicts: 21000 | #Constraints: 34612 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c bounds 145 >= 34 @ 32.0178 49.57/49.73 c #Conflicts: 22000 | #Constraints: 32422 49.57/49.73 c #Conflicts: 23000 | #Constraints: 33422 49.57/49.73 c #Conflicts: 24000 | #Constraints: 34422 49.57/49.73 c #Conflicts: 25000 | #Constraints: 35422 49.57/49.73 c INPROCESSING 49.57/49.73 c GARBAGE COLLECT 49.57/49.73 c rational objective 34 84.09/84.33 c bounds 145 >= 36 @ 49.0551 84.09/84.33 c #Conflicts: 26000 | #Constraints: 33141 84.09/84.33 c #Conflicts: 27000 | #Constraints: 34141 84.09/84.33 c #Conflicts: 28000 | #Constraints: 35141 84.09/84.33 c bounds 145 >= 38 @ 49.7723 84.09/84.33 c #Conflicts: 29000 | #Constraints: 36153 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c #Conflicts: 30000 | #Constraints: 33501 84.09/84.33 c #Conflicts: 31000 | #Constraints: 34501 84.09/84.33 c #Conflicts: 32000 | #Constraints: 35501 84.09/84.33 c #Conflicts: 33000 | #Constraints: 36501 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c #Conflicts: 34000 | #Constraints: 33679 84.09/84.33 c #Conflicts: 35000 | #Constraints: 34679 84.09/84.33 c #Conflicts: 36000 | #Constraints: 35679 84.09/84.33 c #Conflicts: 37000 | #Constraints: 36679 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c #Conflicts: 38000 | #Constraints: 33671 84.09/84.33 c #Conflicts: 39000 | #Constraints: 34671 84.09/84.33 c bounds 145 >= 40 @ 50.9613 84.09/84.33 c #Conflicts: 40000 | #Constraints: 35680 84.09/84.33 c #Conflicts: 41000 | #Constraints: 36680 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c #Conflicts: 42000 | #Constraints: 33475 84.09/84.33 c #Conflicts: 43000 | #Constraints: 34475 84.09/84.33 c #Conflicts: 44000 | #Constraints: 35475 84.09/84.33 c bounds 145 >= 42 @ 61.9131 84.09/84.33 c #Conflicts: 45000 | #Constraints: 36487 84.09/84.33 c #Conflicts: 46000 | #Constraints: 37487 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c #Conflicts: 47000 | #Constraints: 34086 84.09/84.33 c #Conflicts: 48000 | #Constraints: 35086 84.09/84.33 c #Conflicts: 49000 | #Constraints: 36086 84.09/84.33 c #Conflicts: 50000 | #Constraints: 37086 84.09/84.33 c #Conflicts: 51000 | #Constraints: 38086 84.09/84.33 c INPROCESSING 84.09/84.33 c GARBAGE COLLECT 84.09/84.33 c rational objective 42 112.33/112.62 c #Conflicts: 52000 | #Constraints: 34548 112.33/112.62 c #Conflicts: 53000 | #Constraints: 35548 112.33/112.62 c #Conflicts: 54000 | #Constraints: 36548 112.33/112.62 c #Conflicts: 55000 | #Constraints: 37548 112.33/112.62 c #Conflicts: 56000 | #Constraints: 38548 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c #Conflicts: 57000 | #Constraints: 34722 112.33/112.62 c #Conflicts: 58000 | #Constraints: 35722 112.33/112.62 c #Conflicts: 59000 | #Constraints: 36722 112.33/112.62 c #Conflicts: 60000 | #Constraints: 37722 112.33/112.62 c #Conflicts: 61000 | #Constraints: 38722 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c #Conflicts: 62000 | #Constraints: 34700 112.33/112.62 c #Conflicts: 63000 | #Constraints: 35700 112.33/112.62 c #Conflicts: 64000 | #Constraints: 36700 112.33/112.62 c #Conflicts: 65000 | #Constraints: 37700 112.33/112.62 c #Conflicts: 66000 | #Constraints: 38700 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c #Conflicts: 67000 | #Constraints: 34493 112.33/112.62 c #Conflicts: 68000 | #Constraints: 35493 112.33/112.62 c #Conflicts: 69000 | #Constraints: 36493 112.33/112.62 c #Conflicts: 70000 | #Constraints: 37493 112.33/112.62 c #Conflicts: 71000 | #Constraints: 38493 112.33/112.62 c #Conflicts: 72000 | #Constraints: 39493 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c #Conflicts: 73000 | #Constraints: 35099 112.33/112.62 c #Conflicts: 74000 | #Constraints: 36099 112.33/112.62 c #Conflicts: 75000 | #Constraints: 37099 112.33/112.62 c #Conflicts: 76000 | #Constraints: 38099 112.33/112.62 c #Conflicts: 77000 | #Constraints: 39099 112.33/112.62 c #Conflicts: 78000 | #Constraints: 40099 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c #Conflicts: 79000 | #Constraints: 35485 112.33/112.62 c #Conflicts: 80000 | #Constraints: 36485 112.33/112.62 c #Conflicts: 81000 | #Constraints: 37486 112.33/112.62 c #Conflicts: 82000 | #Constraints: 38486 112.33/112.62 c #Conflicts: 83000 | #Constraints: 39486 112.33/112.62 c #Conflicts: 84000 | #Constraints: 40486 112.33/112.62 c INPROCESSING 112.33/112.62 c GARBAGE COLLECT 112.33/112.62 c rational objective 42 142.67/143.10 c #Conflicts: 85000 | #Constraints: 35763 142.67/143.10 c #Conflicts: 86000 | #Constraints: 36763 142.67/143.10 c #Conflicts: 87000 | #Constraints: 37763 142.67/143.10 c #Conflicts: 88000 | #Constraints: 38763 142.67/143.10 c #Conflicts: 89000 | #Constraints: 39763 142.67/143.10 c #Conflicts: 90000 | #Constraints: 40763 142.67/143.10 c INPROCESSING 142.67/143.10 c GARBAGE COLLECT 142.67/143.10 c rational objective 42 164.50/165.00 c #Conflicts: 91000 | #Constraints: 35793 164.50/165.00 c #Conflicts: 92000 | #Constraints: 36793 164.50/165.00 c #Conflicts: 93000 | #Constraints: 37793 164.50/165.00 c #Conflicts: 94000 | #Constraints: 38793 164.50/165.00 c #Conflicts: 95000 | #Constraints: 39793 164.50/165.00 c #Conflicts: 96000 | #Constraints: 40793 164.50/165.00 c INPROCESSING 164.50/165.00 c GARBAGE COLLECT 164.50/165.00 c #Conflicts: 97000 | #Constraints: 35538 164.50/165.00 c #Conflicts: 98000 | #Constraints: 36538 164.50/165.00 c #Conflicts: 99000 | #Constraints: 37538 164.50/165.00 c #Conflicts: 100000 | #Constraints: 38538 164.50/165.00 c #Conflicts: 101000 | #Constraints: 39538 164.50/165.00 c #Conflicts: 102000 | #Constraints: 40538 164.50/165.00 c #Conflicts: 103000 | #Constraints: 41538 164.50/165.00 c INPROCESSING 164.50/165.00 c GARBAGE COLLECT 164.50/165.00 c #Conflicts: 104000 | #Constraints: 36110 164.50/165.00 c #Conflicts: 105000 | #Constraints: 37110 164.50/165.00 c #Conflicts: 106000 | #Constraints: 38110 164.50/165.00 c #Conflicts: 107000 | #Constraints: 39110 164.50/165.00 c #Conflicts: 108000 | #Constraints: 40110 164.50/165.00 c #Conflicts: 109000 | #Constraints: 41110 164.50/165.00 c #Conflicts: 110000 | #Constraints: 42110 164.50/165.00 c INPROCESSING 164.50/165.00 c GARBAGE COLLECT 164.50/165.00 c rational objective 42 178.37/178.81 c #Conflicts: 111000 | #Constraints: 36572 178.37/178.81 c #Conflicts: 112000 | #Constraints: 37572 178.37/178.81 c #Conflicts: 113000 | #Constraints: 38572 178.37/178.81 c #Conflicts: 114000 | #Constraints: 39572 178.37/178.81 c #Conflicts: 115000 | #Constraints: 40572 178.37/178.81 c #Conflicts: 116000 | #Constraints: 41572 178.37/178.81 c #Conflicts: 117000 | #Constraints: 42572 178.37/178.81 c INPROCESSING 178.37/178.81 c GARBAGE COLLECT 178.37/178.81 c #Conflicts: 118000 | #Constraints: 36741 178.37/178.81 c #Conflicts: 119000 | #Constraints: 37741 178.37/178.81 c #Conflicts: 120000 | #Constraints: 38741 178.37/178.81 c #Conflicts: 121000 | #Constraints: 39741 178.37/178.81 c #Conflicts: 122000 | #Constraints: 40741 178.37/178.81 c #Conflicts: 123000 | #Constraints: 41741 178.37/178.81 c #Conflicts: 124000 | #Constraints: 42741 178.37/178.81 c INPROCESSING 178.37/178.81 c GARBAGE COLLECT 178.37/178.81 c rational objective 42 193.83/194.32 c #Conflicts: 125000 | #Constraints: 36784 193.83/194.32 c #Conflicts: 126000 | #Constraints: 37784 193.83/194.32 c #Conflicts: 127000 | #Constraints: 38784 193.83/194.32 c #Conflicts: 128000 | #Constraints: 39784 193.83/194.32 c bounds 145 >= 44 @ 178.357 193.83/194.32 c #Conflicts: 129000 | #Constraints: 40790 193.83/194.32 c #Conflicts: 130000 | #Constraints: 41790 193.83/194.32 c #Conflicts: 131000 | #Constraints: 42790 193.83/194.32 c INPROCESSING 193.83/194.32 c GARBAGE COLLECT 193.83/194.32 c rational objective 44 227.46/228.00 c #Conflicts: 132000 | #Constraints: 36598 227.46/228.00 c #Conflicts: 133000 | #Constraints: 37598 227.46/228.00 c #Conflicts: 134000 | #Constraints: 38598 227.46/228.00 c #Conflicts: 135000 | #Constraints: 39598 227.46/228.00 c #Conflicts: 136000 | #Constraints: 40598 227.46/228.00 c #Conflicts: 137000 | #Constraints: 41598 227.46/228.00 c #Conflicts: 138000 | #Constraints: 42598 227.46/228.00 c #Conflicts: 139000 | #Constraints: 43598 227.46/228.00 c INPROCESSING 227.46/228.00 c GARBAGE COLLECT 227.46/228.00 c rational objective 44 257.19/257.82 c #Conflicts: 140000 | #Constraints: 37207 257.19/257.82 c #Conflicts: 141000 | #Constraints: 38207 257.19/257.82 c #Conflicts: 142000 | #Constraints: 39207 257.19/257.82 c #Conflicts: 143000 | #Constraints: 40207 257.19/257.82 c bounds 145 >= 46 @ 227.182 257.19/257.82 c #Conflicts: 144000 | #Constraints: 41225 257.19/257.82 c #Conflicts: 145000 | #Constraints: 42225 257.19/257.82 c #Conflicts: 146000 | #Constraints: 43225 257.19/257.82 c #Conflicts: 147000 | #Constraints: 44225 257.19/257.82 c INPROCESSING 257.19/257.82 c GARBAGE COLLECT 257.19/257.82 c #Conflicts: 148000 | #Constraints: 37566 257.19/257.82 c #Conflicts: 149000 | #Constraints: 38566 257.19/257.82 c #Conflicts: 150000 | #Constraints: 39566 257.19/257.82 c #Conflicts: 151000 | #Constraints: 40566 257.19/257.82 c #Conflicts: 152000 | #Constraints: 41566 257.19/257.82 c #Conflicts: 153000 | #Constraints: 42566 257.19/257.82 c #Conflicts: 154000 | #Constraints: 43566 257.19/257.82 c #Conflicts: 155000 | #Constraints: 44566 257.19/257.82 c INPROCESSING 257.19/257.82 c GARBAGE COLLECT 257.19/257.82 c #Conflicts: 156000 | #Constraints: 37741 257.19/257.82 c bounds 145 >= 48 @ 240.894 257.19/257.82 c #Conflicts: 157000 | #Constraints: 38750 257.19/257.82 c #Conflicts: 158000 | #Constraints: 39750 257.19/257.82 c #Conflicts: 159000 | #Constraints: 40750 257.19/257.82 c #Conflicts: 160000 | #Constraints: 41750 257.19/257.82 c #Conflicts: 161000 | #Constraints: 42750 257.19/257.82 c #Conflicts: 162000 | #Constraints: 43750 257.19/257.82 c #Conflicts: 163000 | #Constraints: 44750 257.19/257.82 c INPROCESSING 257.19/257.82 c GARBAGE COLLECT 257.19/257.82 c rational objective 48 285.52/286.28 c #Conflicts: 164000 | #Constraints: 37807 285.52/286.28 c #Conflicts: 165000 | #Constraints: 38807 285.52/286.28 c #Conflicts: 166000 | #Constraints: 39807 285.52/286.28 c #Conflicts: 167000 | #Constraints: 40807 285.52/286.28 c #Conflicts: 168000 | #Constraints: 41807 285.52/286.28 c #Conflicts: 169000 | #Constraints: 42807 285.52/286.28 c #Conflicts: 170000 | #Constraints: 43807 285.52/286.28 c #Conflicts: 171000 | #Constraints: 44807 285.52/286.28 c INPROCESSING 285.52/286.28 c GARBAGE COLLECT 285.52/286.28 c rational objective 48 315.56/316.30 c #Conflicts: 172000 | #Constraints: 37623 315.56/316.30 c #Conflicts: 173000 | #Constraints: 38623 315.56/316.30 c #Conflicts: 174000 | #Constraints: 39623 315.56/316.30 c #Conflicts: 175000 | #Constraints: 40623 315.56/316.30 c #Conflicts: 176000 | #Constraints: 41623 315.56/316.30 c #Conflicts: 177000 | #Constraints: 42623 315.56/316.30 c #Conflicts: 178000 | #Constraints: 43623 315.56/316.30 c #Conflicts: 179000 | #Constraints: 44623 315.56/316.30 c #Conflicts: 180000 | #Constraints: 45623 315.56/316.30 c INPROCESSING 315.56/316.30 c GARBAGE COLLECT 315.56/316.30 c #Conflicts: 181000 | #Constraints: 38174 315.56/316.30 c #Conflicts: 182000 | #Constraints: 39174 315.56/316.30 c #Conflicts: 183000 | #Constraints: 40174 315.56/316.30 c #Conflicts: 184000 | #Constraints: 41174 315.56/316.30 c bounds 145 >= 50 @ 294.752 315.56/316.30 c #Conflicts: 185000 | #Constraints: 42183 315.56/316.30 c #Conflicts: 186000 | #Constraints: 43183 315.56/316.30 c #Conflicts: 187000 | #Constraints: 44183 315.56/316.30 c #Conflicts: 188000 | #Constraints: 45183 315.56/316.30 c #Conflicts: 189000 | #Constraints: 46183 315.56/316.30 c INPROCESSING 315.56/316.30 c GARBAGE COLLECT 315.56/316.30 c #Conflicts: 190000 | #Constraints: 38556 315.56/316.30 c #Conflicts: 191000 | #Constraints: 39556 315.56/316.30 c #Conflicts: 192000 | #Constraints: 40556 315.56/316.30 c #Conflicts: 193000 | #Constraints: 41556 315.56/316.30 c #Conflicts: 194000 | #Constraints: 42556 315.56/316.30 c bounds 145 >= 52 @ 297.472 315.56/316.30 c #Conflicts: 195000 | #Constraints: 43565 315.56/316.30 c #Conflicts: 196000 | #Constraints: 44565 315.56/316.30 c #Conflicts: 197000 | #Constraints: 45565 315.56/316.30 c #Conflicts: 198000 | #Constraints: 46565 315.56/316.30 c INPROCESSING 315.56/316.30 c GARBAGE COLLECT 315.56/316.30 c rational objective 52 340.89/341.78 c #Conflicts: 199000 | #Constraints: 38813 340.89/341.78 c #Conflicts: 200000 | #Constraints: 39813 340.89/341.78 c #Conflicts: 201000 | #Constraints: 40813 340.89/341.78 c #Conflicts: 202000 | #Constraints: 41813 340.89/341.78 c #Conflicts: 203000 | #Constraints: 42813 340.89/341.78 c #Conflicts: 204000 | #Constraints: 43813 340.89/341.78 c #Conflicts: 205000 | #Constraints: 44813 340.89/341.78 c #Conflicts: 206000 | #Constraints: 45813 340.89/341.78 c #Conflicts: 207000 | #Constraints: 46813 340.89/341.78 c INPROCESSING 340.89/341.78 c GARBAGE COLLECT 340.89/341.78 c rational objective 52 367.33/368.29 c #Conflicts: 208000 | #Constraints: 38807 367.33/368.29 c #Conflicts: 209000 | #Constraints: 39807 367.33/368.29 c #Conflicts: 210000 | #Constraints: 40807 367.33/368.29 c #Conflicts: 211000 | #Constraints: 41807 367.33/368.29 c #Conflicts: 212000 | #Constraints: 42807 367.33/368.29 c #Conflicts: 213000 | #Constraints: 43807 367.33/368.29 c #Conflicts: 214000 | #Constraints: 44807 367.33/368.29 c #Conflicts: 215000 | #Constraints: 45807 367.33/368.29 c #Conflicts: 216000 | #Constraints: 46807 367.33/368.29 c INPROCESSING 367.33/368.29 c GARBAGE COLLECT 367.33/368.29 c #Conflicts: 217000 | #Constraints: 38577 367.33/368.29 c #Conflicts: 218000 | #Constraints: 39577 367.33/368.29 c #Conflicts: 219000 | #Constraints: 40577 367.33/368.29 c #Conflicts: 220000 | #Constraints: 41577 367.33/368.29 c #Conflicts: 221000 | #Constraints: 42577 367.33/368.29 c #Conflicts: 222000 | #Constraints: 43577 367.33/368.29 c #Conflicts: 223000 | #Constraints: 44577 367.33/368.29 c #Conflicts: 224000 | #Constraints: 45577 367.33/368.29 c #Conflicts: 225000 | #Constraints: 46577 367.33/368.29 c #Conflicts: 226000 | #Constraints: 47577 367.33/368.29 c INPROCESSING 367.33/368.29 c GARBAGE COLLECT 367.33/368.29 c #Conflicts: 227000 | #Constraints: 39166 367.33/368.29 c #Conflicts: 228000 | #Constraints: 40166 367.33/368.29 c #Conflicts: 229000 | #Constraints: 41166 367.33/368.29 c #Conflicts: 230000 | #Constraints: 42166 367.33/368.29 c #Conflicts: 231000 | #Constraints: 43166 367.33/368.29 c #Conflicts: 232000 | #Constraints: 44166 367.33/368.29 c #Conflicts: 233000 | #Constraints: 45166 367.33/368.29 c #Conflicts: 234000 | #Constraints: 46166 367.33/368.29 c #Conflicts: 235000 | #Constraints: 47166 367.33/368.29 c #Conflicts: 236000 | #Constraints: 48166 367.33/368.29 c INPROCESSING 367.33/368.29 c GARBAGE COLLECT 367.33/368.29 c rational objective 52 382.60/383.52 c #Conflicts: 237000 | #Constraints: 39628 382.60/383.52 c #Conflicts: 238000 | #Constraints: 40628 382.60/383.52 c #Conflicts: 239000 | #Constraints: 41628 382.60/383.52 c #Conflicts: 240000 | #Constraints: 42628 382.60/383.52 c #Conflicts: 241000 | #Constraints: 43628 382.60/383.52 c #Conflicts: 242000 | #Constraints: 44628 382.60/383.52 c #Conflicts: 243000 | #Constraints: 45628 382.60/383.52 c #Conflicts: 244000 | #Constraints: 46628 382.60/383.52 c #Conflicts: 245000 | #Constraints: 47628 382.60/383.52 c #Conflicts: 246000 | #Constraints: 48628 382.60/383.52 c INPROCESSING 382.60/383.52 c GARBAGE COLLECT 382.60/383.52 c rational objective 52 411.33/412.35 c #Conflicts: 247000 | #Constraints: 39871 411.33/412.35 c #Conflicts: 248000 | #Constraints: 40871 411.33/412.35 c #Conflicts: 249000 | #Constraints: 41871 411.33/412.35 c #Conflicts: 250000 | #Constraints: 42871 411.33/412.35 c #Conflicts: 251000 | #Constraints: 43871 411.33/412.35 c #Conflicts: 252000 | #Constraints: 44871 411.33/412.35 c #Conflicts: 253000 | #Constraints: 45871 411.33/412.35 c #Conflicts: 254000 | #Constraints: 46871 411.33/412.35 c #Conflicts: 255000 | #Constraints: 47871 411.33/412.35 c #Conflicts: 256000 | #Constraints: 48871 411.33/412.35 c INPROCESSING 411.33/412.35 c GARBAGE COLLECT 411.33/412.35 c rational objective 52 444.35/445.47 c #Conflicts: 257000 | #Constraints: 39865 444.35/445.47 c #Conflicts: 258000 | #Constraints: 40865 444.35/445.47 c #Conflicts: 259000 | #Constraints: 41865 444.35/445.47 c #Conflicts: 260000 | #Constraints: 42865 444.35/445.47 c #Conflicts: 261000 | #Constraints: 43865 444.35/445.47 c #Conflicts: 262000 | #Constraints: 44865 444.35/445.47 c #Conflicts: 263000 | #Constraints: 45865 444.35/445.47 c #Conflicts: 264000 | #Constraints: 46865 444.35/445.47 c #Conflicts: 265000 | #Constraints: 47865 444.35/445.47 c #Conflicts: 266000 | #Constraints: 48865 444.35/445.47 c INPROCESSING 444.35/445.47 c GARBAGE COLLECT 444.35/445.47 c rational objective 52 482.46/483.66 c #Conflicts: 267000 | #Constraints: 39653 482.46/483.66 c #Conflicts: 268000 | #Constraints: 40653 482.46/483.66 c #Conflicts: 269000 | #Constraints: 41653 482.46/483.66 c #Conflicts: 270000 | #Constraints: 42653 482.46/483.66 c #Conflicts: 271000 | #Constraints: 43653 482.46/483.66 c #Conflicts: 272000 | #Constraints: 44653 482.46/483.66 c #Conflicts: 273000 | #Constraints: 45653 482.46/483.66 c #Conflicts: 274000 | #Constraints: 46653 482.46/483.66 c #Conflicts: 275000 | #Constraints: 47653 482.46/483.66 c #Conflicts: 276000 | #Constraints: 48653 482.46/483.66 c #Conflicts: 277000 | #Constraints: 49653 482.46/483.66 c INPROCESSING 482.46/483.66 c GARBAGE COLLECT 482.46/483.66 c rational objective 52 507.41/508.60 c #Conflicts: 278000 | #Constraints: 40258 507.41/508.60 c #Conflicts: 279000 | #Constraints: 41258 507.41/508.60 c #Conflicts: 280000 | #Constraints: 42258 507.41/508.60 c #Conflicts: 281000 | #Constraints: 43258 507.41/508.60 c #Conflicts: 282000 | #Constraints: 44258 507.41/508.60 c #Conflicts: 283000 | #Constraints: 45258 507.41/508.60 c #Conflicts: 284000 | #Constraints: 46258 507.41/508.60 c #Conflicts: 285000 | #Constraints: 47258 507.41/508.60 c #Conflicts: 286000 | #Constraints: 48258 507.41/508.60 c #Conflicts: 287000 | #Constraints: 49258 507.41/508.60 c #Conflicts: 288000 | #Constraints: 50258 507.41/508.60 c INPROCESSING 507.41/508.60 c GARBAGE COLLECT 507.41/508.60 c #Conflicts: 289000 | #Constraints: 40597 507.41/508.60 c #Conflicts: 290000 | #Constraints: 41597 507.41/508.60 c #Conflicts: 291000 | #Constraints: 42597 507.41/508.60 c #Conflicts: 292000 | #Constraints: 43597 507.41/508.60 c #Conflicts: 293000 | #Constraints: 44597 507.41/508.60 c #Conflicts: 294000 | #Constraints: 45597 507.41/508.60 c #Conflicts: 295000 | #Constraints: 46597 507.41/508.60 c #Conflicts: 296000 | #Constraints: 47597 507.41/508.60 c #Conflicts: 297000 | #Constraints: 48597 507.41/508.60 c #Conflicts: 298000 | #Constraints: 49597 507.41/508.60 c #Conflicts: 299000 | #Constraints: 50597 507.41/508.60 c INPROCESSING 507.41/508.60 c GARBAGE COLLECT 507.41/508.60 c rational objective 52 541.34/542.66 c #Conflicts: 300000 | #Constraints: 40835 541.34/542.66 c #Conflicts: 301000 | #Constraints: 41835 541.34/542.66 c #Conflicts: 302000 | #Constraints: 42835 541.34/542.66 c #Conflicts: 303000 | #Constraints: 43835 541.34/542.66 c #Conflicts: 304000 | #Constraints: 44835 541.34/542.66 c #Conflicts: 305000 | #Constraints: 45835 541.34/542.66 c #Conflicts: 306000 | #Constraints: 46835 541.34/542.66 c #Conflicts: 307000 | #Constraints: 47835 541.34/542.66 c #Conflicts: 308000 | #Constraints: 48835 541.34/542.66 c #Conflicts: 309000 | #Constraints: 49835 541.34/542.66 c bounds 145 >= 54 @ 510.533 541.34/542.66 c #Conflicts: 310000 | #Constraints: 50850 541.34/542.66 c INPROCESSING 541.34/542.66 c GARBAGE COLLECT 541.34/542.66 c rational objective 54 570.57/571.91 c #Conflicts: 311000 | #Constraints: 40845 570.57/571.91 c #Conflicts: 312000 | #Constraints: 41845 570.57/571.91 c #Conflicts: 313000 | #Constraints: 42845 570.57/571.91 c #Conflicts: 314000 | #Constraints: 43845 570.57/571.91 c #Conflicts: 315000 | #Constraints: 44845 570.57/571.91 c #Conflicts: 316000 | #Constraints: 45845 570.57/571.91 c #Conflicts: 317000 | #Constraints: 46845 570.57/571.91 c #Conflicts: 318000 | #Constraints: 47845 570.57/571.91 c #Conflicts: 319000 | #Constraints: 48845 570.57/571.91 c #Conflicts: 320000 | #Constraints: 49845 570.57/571.91 c #Conflicts: 321000 | #Constraints: 50845 570.57/571.91 c INPROCESSING 570.57/571.91 c GARBAGE COLLECT 570.57/571.91 c #Conflicts: 322000 | #Constraints: 40602 570.57/571.91 c #Conflicts: 323000 | #Constraints: 41602 570.57/571.91 c #Conflicts: 324000 | #Constraints: 42602 570.57/571.91 c #Conflicts: 325000 | #Constraints: 43602 570.57/571.91 c #Conflicts: 326000 | #Constraints: 44602 570.57/571.91 c #Conflicts: 327000 | #Constraints: 45602 570.57/571.91 c #Conflicts: 328000 | #Constraints: 46602 570.57/571.91 c #Conflicts: 329000 | #Constraints: 47602 570.57/571.91 c #Conflicts: 330000 | #Constraints: 48602 570.57/571.91 c #Conflicts: 331000 | #Constraints: 49602 570.57/571.91 c #Conflicts: 332000 | #Constraints: 50602 570.57/571.91 c #Conflicts: 333000 | #Constraints: 51602 570.57/571.91 c INPROCESSING 570.57/571.91 c GARBAGE COLLECT 570.57/571.91 c rational objective 54 603.30/604.78 c #Conflicts: 334000 | #Constraints: 41245 603.30/604.78 c #Conflicts: 335000 | #Constraints: 42245 603.30/604.78 c #Conflicts: 336000 | #Constraints: 43245 603.30/604.78 c #Conflicts: 337000 | #Constraints: 44245 603.30/604.78 c #Conflicts: 338000 | #Constraints: 45245 603.30/604.78 c #Conflicts: 339000 | #Constraints: 46245 603.30/604.78 c #Conflicts: 340000 | #Constraints: 47245 603.30/604.78 c #Conflicts: 341000 | #Constraints: 48245 603.30/604.78 c #Conflicts: 342000 | #Constraints: 49245 603.30/604.78 c #Conflicts: 343000 | #Constraints: 50245 603.30/604.78 c #Conflicts: 344000 | #Constraints: 51245 603.30/604.78 c #Conflicts: 345000 | #Constraints: 52245 603.30/604.78 c INPROCESSING 603.30/604.78 c GARBAGE COLLECT 603.30/604.78 c rational objective 54 637.91/639.46 c #Conflicts: 346000 | #Constraints: 41658 637.91/639.46 c #Conflicts: 347000 | #Constraints: 42658 637.91/639.46 c #Conflicts: 348000 | #Constraints: 43658 637.91/639.46 c #Conflicts: 349000 | #Constraints: 44658 637.91/639.46 c #Conflicts: 350000 | #Constraints: 45658 637.91/639.46 c #Conflicts: 351000 | #Constraints: 46658 637.91/639.46 c #Conflicts: 352000 | #Constraints: 47658 637.91/639.46 c #Conflicts: 353000 | #Constraints: 48658 637.91/639.46 c #Conflicts: 354000 | #Constraints: 49658 637.91/639.46 c #Conflicts: 355000 | #Constraints: 50658 637.91/639.46 c #Conflicts: 356000 | #Constraints: 51658 637.91/639.46 c #Conflicts: 357000 | #Constraints: 52658 637.91/639.46 c INPROCESSING 637.91/639.46 c GARBAGE COLLECT 637.91/639.46 c rational objective 54 667.65/669.23 c #Conflicts: 358000 | #Constraints: 41853 667.65/669.23 c #Conflicts: 359000 | #Constraints: 42853 667.65/669.23 c #Conflicts: 360000 | #Constraints: 43853 667.65/669.23 c #Conflicts: 361000 | #Constraints: 44853 667.65/669.23 c #Conflicts: 362000 | #Constraints: 45853 667.65/669.23 c #Conflicts: 363000 | #Constraints: 46853 667.65/669.23 c #Conflicts: 364000 | #Constraints: 47853 667.65/669.23 c #Conflicts: 365000 | #Constraints: 48853 667.65/669.23 c #Conflicts: 366000 | #Constraints: 49853 667.65/669.23 c #Conflicts: 367000 | #Constraints: 50853 667.65/669.23 c #Conflicts: 368000 | #Constraints: 51853 667.65/669.23 c #Conflicts: 369000 | #Constraints: 52853 667.65/669.23 c INPROCESSING 667.65/669.23 c GARBAGE COLLECT 667.65/669.23 c #Conflicts: 370000 | #Constraints: 41807 667.65/669.23 c #Conflicts: 371000 | #Constraints: 42807 667.65/669.23 c #Conflicts: 372000 | #Constraints: 43807 667.65/669.23 c #Conflicts: 373000 | #Constraints: 44807 667.65/669.23 c #Conflicts: 374000 | #Constraints: 45807 667.65/669.23 c #Conflicts: 375000 | #Constraints: 46807 667.65/669.23 c #Conflicts: 376000 | #Constraints: 47807 667.65/669.23 c #Conflicts: 377000 | #Constraints: 48807 667.65/669.23 c #Conflicts: 378000 | #Constraints: 49807 667.65/669.23 c #Conflicts: 379000 | #Constraints: 50807 667.65/669.23 c #Conflicts: 380000 | #Constraints: 51807 667.65/669.23 c #Conflicts: 381000 | #Constraints: 52807 667.65/669.23 c INPROCESSING 667.65/669.23 c GARBAGE COLLECT 667.65/669.23 c rational objective 54 685.90/687.51 c #Conflicts: 382000 | #Constraints: 41639 685.90/687.51 c #Conflicts: 383000 | #Constraints: 42639 685.90/687.51 c #Conflicts: 384000 | #Constraints: 43639 685.90/687.51 c #Conflicts: 385000 | #Constraints: 44639 685.90/687.51 c #Conflicts: 386000 | #Constraints: 45639 685.90/687.51 c #Conflicts: 387000 | #Constraints: 46639 685.90/687.51 c #Conflicts: 388000 | #Constraints: 47639 685.90/687.51 c #Conflicts: 389000 | #Constraints: 48639 685.90/687.51 c #Conflicts: 390000 | #Constraints: 49639 685.90/687.51 c #Conflicts: 391000 | #Constraints: 50639 685.90/687.51 c #Conflicts: 392000 | #Constraints: 51639 685.90/687.51 c #Conflicts: 393000 | #Constraints: 52639 685.90/687.51 c #Conflicts: 394000 | #Constraints: 53639 685.90/687.51 c INPROCESSING 685.90/687.51 c GARBAGE COLLECT 685.90/687.51 c rational objective 54 722.91/724.65 c #Conflicts: 395000 | #Constraints: 42262 722.91/724.65 c #Conflicts: 396000 | #Constraints: 43262 722.91/724.65 c #Conflicts: 397000 | #Constraints: 44262 722.91/724.65 c #Conflicts: 398000 | #Constraints: 45262 722.91/724.65 c #Conflicts: 399000 | #Constraints: 46262 722.91/724.65 c #Conflicts: 400000 | #Constraints: 47262 722.91/724.65 c #Conflicts: 401000 | #Constraints: 48262 722.91/724.65 c #Conflicts: 402000 | #Constraints: 49262 722.91/724.65 c #Conflicts: 403000 | #Constraints: 50262 722.91/724.65 c #Conflicts: 404000 | #Constraints: 51262 722.91/724.65 c #Conflicts: 405000 | #Constraints: 52262 722.91/724.65 c #Conflicts: 406000 | #Constraints: 53262 722.91/724.65 c #Conflicts: 407000 | #Constraints: 54262 722.91/724.65 c INPROCESSING 722.91/724.65 c GARBAGE COLLECT 722.91/724.65 c rational objective 54 750.35/752.12 c #Conflicts: 408000 | #Constraints: 42664 750.35/752.12 c #Conflicts: 409000 | #Constraints: 43664 750.35/752.12 c #Conflicts: 410000 | #Constraints: 44664 750.35/752.12 c #Conflicts: 411000 | #Constraints: 45664 750.35/752.12 c #Conflicts: 412000 | #Constraints: 46664 750.35/752.12 c #Conflicts: 413000 | #Constraints: 47664 750.35/752.12 c #Conflicts: 414000 | #Constraints: 48664 750.35/752.12 c #Conflicts: 415000 | #Constraints: 49664 750.35/752.12 c #Conflicts: 416000 | #Constraints: 50664 750.35/752.12 c #Conflicts: 417000 | #Constraints: 51664 750.35/752.12 c #Conflicts: 418000 | #Constraints: 52664 750.35/752.12 c #Conflicts: 419000 | #Constraints: 53664 750.35/752.12 c #Conflicts: 420000 | #Constraints: 54664 750.35/752.12 c INPROCESSING 750.35/752.12 c GARBAGE COLLECT 750.35/752.12 c rational objective 54 785.07/786.90 c #Conflicts: 421000 | #Constraints: 42882 785.07/786.90 c #Conflicts: 422000 | #Constraints: 43882 785.07/786.90 c #Conflicts: 423000 | #Constraints: 44882 785.07/786.90 c #Conflicts: 424000 | #Constraints: 45882 785.07/786.90 c #Conflicts: 425000 | #Constraints: 46882 785.07/786.90 c #Conflicts: 426000 | #Constraints: 47882 785.07/786.90 c #Conflicts: 427000 | #Constraints: 48882 785.07/786.90 c #Conflicts: 428000 | #Constraints: 49882 785.07/786.90 c #Conflicts: 429000 | #Constraints: 50882 785.07/786.90 c #Conflicts: 430000 | #Constraints: 51882 785.07/786.90 c #Conflicts: 431000 | #Constraints: 52882 785.07/786.90 c #Conflicts: 432000 | #Constraints: 53882 785.07/786.90 c #Conflicts: 433000 | #Constraints: 54882 785.07/786.90 c INPROCESSING 785.07/786.90 c GARBAGE COLLECT 785.07/786.90 c rational objective 54 817.69/819.66 c #Conflicts: 434000 | #Constraints: 42870 817.69/819.66 c #Conflicts: 435000 | #Constraints: 43870 817.69/819.66 c #Conflicts: 436000 | #Constraints: 44870 817.69/819.66 c #Conflicts: 437000 | #Constraints: 45871 817.69/819.66 c #Conflicts: 438000 | #Constraints: 46871 817.69/819.66 c #Conflicts: 439000 | #Constraints: 47871 817.69/819.66 c #Conflicts: 440000 | #Constraints: 48871 817.69/819.66 c #Conflicts: 441000 | #Constraints: 49871 817.69/819.66 c #Conflicts: 442000 | #Constraints: 50871 817.69/819.66 c #Conflicts: 443000 | #Constraints: 51871 817.69/819.66 c #Conflicts: 444000 | #Constraints: 52871 817.69/819.66 c #Conflicts: 445000 | #Constraints: 53871 817.69/819.66 c #Conflicts: 446000 | #Constraints: 54871 817.69/819.66 c INPROCESSING 817.69/819.66 c GARBAGE COLLECT 817.69/819.66 c #Conflicts: 447000 | #Constraints: 42621 817.69/819.66 c #Conflicts: 448000 | #Constraints: 43621 817.69/819.66 c #Conflicts: 449000 | #Constraints: 44621 817.69/819.66 c #Conflicts: 450000 | #Constraints: 45621 817.69/819.66 c #Conflicts: 451000 | #Constraints: 46621 817.69/819.66 c #Conflicts: 452000 | #Constraints: 47621 817.69/819.66 c #Conflicts: 453000 | #Constraints: 48621 817.69/819.66 c #Conflicts: 454000 | #Constraints: 49621 817.69/819.66 c #Conflicts: 455000 | #Constraints: 50621 817.69/819.66 c #Conflicts: 456000 | #Constraints: 51621 817.69/819.66 c #Conflicts: 457000 | #Constraints: 52621 817.69/819.66 c #Conflicts: 458000 | #Constraints: 53621 817.69/819.66 c #Conflicts: 459000 | #Constraints: 54621 817.69/819.66 c #Conflicts: 460000 | #Constraints: 55621 817.69/819.66 c INPROCESSING 817.69/819.66 c GARBAGE COLLECT 817.69/819.66 c rational objective 54 838.34/840.31 c #Conflicts: 461000 | #Constraints: 43259 838.34/840.31 c #Conflicts: 462000 | #Constraints: 44259 838.34/840.31 c #Conflicts: 463000 | #Constraints: 45259 838.34/840.31 c #Conflicts: 464000 | #Constraints: 46259 838.34/840.31 c #Conflicts: 465000 | #Constraints: 47259 838.34/840.31 c #Conflicts: 466000 | #Constraints: 48259 838.34/840.31 c #Conflicts: 467000 | #Constraints: 49259 838.34/840.31 c #Conflicts: 468000 | #Constraints: 50259 838.34/840.31 c #Conflicts: 469000 | #Constraints: 51259 838.34/840.31 c #Conflicts: 470000 | #Constraints: 52259 838.34/840.31 c #Conflicts: 471000 | #Constraints: 53259 838.34/840.31 c #Conflicts: 472000 | #Constraints: 54259 838.34/840.31 c #Conflicts: 473000 | #Constraints: 55259 838.34/840.31 c #Conflicts: 474000 | #Constraints: 56259 838.34/840.31 c INPROCESSING 838.34/840.31 c GARBAGE COLLECT 838.34/840.31 c rational objective 54 864.58/866.60 c #Conflicts: 475000 | #Constraints: 43657 864.58/866.60 c #Conflicts: 476000 | #Constraints: 44657 864.58/866.60 c #Conflicts: 477000 | #Constraints: 45657 864.58/866.60 c #Conflicts: 478000 | #Constraints: 46657 864.58/866.60 c #Conflicts: 479000 | #Constraints: 47657 864.58/866.60 c #Conflicts: 480000 | #Constraints: 48657 864.58/866.60 c #Conflicts: 481000 | #Constraints: 49657 864.58/866.60 c #Conflicts: 482000 | #Constraints: 50657 864.58/866.60 c #Conflicts: 483000 | #Constraints: 51657 864.58/866.60 c #Conflicts: 484000 | #Constraints: 52657 864.58/866.60 c #Conflicts: 485000 | #Constraints: 53657 864.58/866.60 c #Conflicts: 486000 | #Constraints: 54657 864.58/866.60 c #Conflicts: 487000 | #Constraints: 55657 864.58/866.60 c #Conflicts: 488000 | #Constraints: 56657 864.58/866.60 c INPROCESSING 864.58/866.60 c GARBAGE COLLECT 864.58/866.60 c rational objective 54 881.15/883.22 c #Conflicts: 489000 | #Constraints: 43889 881.15/883.22 c #Conflicts: 490000 | #Constraints: 44889 881.15/883.22 c #Conflicts: 491000 | #Constraints: 45889 881.15/883.22 c #Conflicts: 492000 | #Constraints: 46889 881.15/883.22 c #Conflicts: 493000 | #Constraints: 47889 881.15/883.22 c #Conflicts: 494000 | #Constraints: 48889 881.15/883.22 c #Conflicts: 495000 | #Constraints: 49889 881.15/883.22 c #Conflicts: 496000 | #Constraints: 50889 881.15/883.22 c #Conflicts: 497000 | #Constraints: 51889 881.15/883.22 c #Conflicts: 498000 | #Constraints: 52889 881.15/883.22 c #Conflicts: 499000 | #Constraints: 53890 881.15/883.22 c #Conflicts: 500000 | #Constraints: 54890 881.15/883.22 c #Conflicts: 501000 | #Constraints: 55890 881.15/883.22 c #Conflicts: 502000 | #Constraints: 56890 881.15/883.22 c INPROCESSING 881.15/883.22 c GARBAGE COLLECT 881.15/883.22 c rational objective 54 904.29/906.45 c #Conflicts: 503000 | #Constraints: 43862 904.29/906.45 c #Conflicts: 504000 | #Constraints: 44862 904.29/906.45 c #Conflicts: 505000 | #Constraints: 45862 904.29/906.45 c #Conflicts: 506000 | #Constraints: 46862 904.29/906.45 c #Conflicts: 507000 | #Constraints: 47862 904.29/906.45 c #Conflicts: 508000 | #Constraints: 48862 904.29/906.45 c #Conflicts: 509000 | #Constraints: 49862 904.29/906.45 c #Conflicts: 510000 | #Constraints: 50862 904.29/906.45 c #Conflicts: 511000 | #Constraints: 51862 904.29/906.45 c #Conflicts: 512000 | #Constraints: 52862 904.29/906.45 c #Conflicts: 513000 | #Constraints: 53862 904.29/906.45 c #Conflicts: 514000 | #Constraints: 54862 904.29/906.45 c #Conflicts: 515000 | #Constraints: 55862 904.29/906.45 c #Conflicts: 516000 | #Constraints: 56862 904.29/906.45 c INPROCESSING 904.29/906.45 c GARBAGE COLLECT 904.29/906.45 c rational objective 54 935.12/937.30 c #Conflicts: 517000 | #Constraints: 43654 935.12/937.30 c #Conflicts: 518000 | #Constraints: 44654 935.12/937.30 c #Conflicts: 519000 | #Constraints: 45654 935.12/937.30 c #Conflicts: 520000 | #Constraints: 46654 935.12/937.30 c #Conflicts: 521000 | #Constraints: 47654 935.12/937.30 c #Conflicts: 522000 | #Constraints: 48654 935.12/937.30 c #Conflicts: 523000 | #Constraints: 49654 935.12/937.30 c #Conflicts: 524000 | #Constraints: 50654 935.12/937.30 c #Conflicts: 525000 | #Constraints: 51654 935.12/937.30 c #Conflicts: 526000 | #Constraints: 52654 935.12/937.30 c #Conflicts: 527000 | #Constraints: 53654 935.12/937.30 c #Conflicts: 528000 | #Constraints: 54654 935.12/937.30 c #Conflicts: 529000 | #Constraints: 55654 935.12/937.30 c #Conflicts: 530000 | #Constraints: 56654 935.12/937.30 c #Conflicts: 531000 | #Constraints: 57654 935.12/937.30 c INPROCESSING 935.12/937.30 c GARBAGE COLLECT 935.12/937.30 c rational objective 54 962.37/964.65 c #Conflicts: 532000 | #Constraints: 44256 962.37/964.65 c #Conflicts: 533000 | #Constraints: 45256 962.37/964.65 c #Conflicts: 534000 | #Constraints: 46256 962.37/964.65 c #Conflicts: 535000 | #Constraints: 47256 962.37/964.65 c #Conflicts: 536000 | #Constraints: 48256 962.37/964.65 c #Conflicts: 537000 | #Constraints: 49256 962.37/964.65 c #Conflicts: 538000 | #Constraints: 50256 962.37/964.65 c #Conflicts: 539000 | #Constraints: 51256 962.37/964.65 c #Conflicts: 540000 | #Constraints: 52256 962.37/964.65 c #Conflicts: 541000 | #Constraints: 53256 962.37/964.65 c #Conflicts: 542000 | #Constraints: 54256 962.37/964.65 c #Conflicts: 543000 | #Constraints: 55256 962.37/964.65 c #Conflicts: 544000 | #Constraints: 56256 962.37/964.65 c #Conflicts: 545000 | #Constraints: 57256 962.37/964.65 c #Conflicts: 546000 | #Constraints: 58256 962.37/964.65 c INPROCESSING 962.37/964.65 c GARBAGE COLLECT 962.37/964.65 c rational objective 54 995.79/998.11 c #Conflicts: 547000 | #Constraints: 44670 995.79/998.11 c #Conflicts: 548000 | #Constraints: 45670 995.79/998.11 c #Conflicts: 549000 | #Constraints: 46670 995.79/998.11 c #Conflicts: 550000 | #Constraints: 47670 995.79/998.11 c #Conflicts: 551000 | #Constraints: 48670 995.79/998.11 c #Conflicts: 552000 | #Constraints: 49670 995.79/998.11 c #Conflicts: 553000 | #Constraints: 50670 995.79/998.11 c #Conflicts: 554000 | #Constraints: 51670 995.79/998.11 c #Conflicts: 555000 | #Constraints: 52670 995.79/998.11 c #Conflicts: 556000 | #Constraints: 53670 995.79/998.11 c #Conflicts: 557000 | #Constraints: 54670 995.79/998.11 c #Conflicts: 558000 | #Constraints: 55670 995.79/998.11 c #Conflicts: 559000 | #Constraints: 56670 995.79/998.11 c #Conflicts: 560000 | #Constraints: 57670 995.79/998.11 c #Conflicts: 561000 | #Constraints: 58670 995.79/998.11 c INPROCESSING 995.79/998.11 c GARBAGE COLLECT 995.79/998.11 c rational objective 54 1023.92/1026.30 c #Conflicts: 562000 | #Constraints: 44883 1023.92/1026.30 c #Conflicts: 563000 | #Constraints: 45883 1023.92/1026.30 c #Conflicts: 564000 | #Constraints: 46883 1023.92/1026.30 c #Conflicts: 565000 | #Constraints: 47883 1023.92/1026.30 c #Conflicts: 566000 | #Constraints: 48883 1023.92/1026.30 c #Conflicts: 567000 | #Constraints: 49883 1023.92/1026.30 c #Conflicts: 568000 | #Constraints: 50883 1023.92/1026.30 c #Conflicts: 569000 | #Constraints: 51883 1023.92/1026.30 c #Conflicts: 570000 | #Constraints: 52883 1023.92/1026.30 c #Conflicts: 571000 | #Constraints: 53883 1023.92/1026.30 c #Conflicts: 572000 | #Constraints: 54883 1023.92/1026.30 c #Conflicts: 573000 | #Constraints: 55883 1023.92/1026.30 c #Conflicts: 574000 | #Constraints: 56883 1023.92/1026.30 c #Conflicts: 575000 | #Constraints: 57883 1023.92/1026.30 c #Conflicts: 576000 | #Constraints: 58883 1023.92/1026.30 c INPROCESSING 1023.92/1026.30 c GARBAGE COLLECT 1023.92/1026.30 c rational objective 54 1045.17/1047.64 c #Conflicts: 577000 | #Constraints: 44874 1045.17/1047.64 c #Conflicts: 578000 | #Constraints: 45874 1045.17/1047.64 c #Conflicts: 579000 | #Constraints: 46874 1045.17/1047.64 c #Conflicts: 580000 | #Constraints: 47874 1045.17/1047.64 c #Conflicts: 581000 | #Constraints: 48874 1045.17/1047.64 c #Conflicts: 582000 | #Constraints: 49874 1045.17/1047.64 c #Conflicts: 583000 | #Constraints: 50874 1045.17/1047.64 c #Conflicts: 584000 | #Constraints: 51874 1045.17/1047.64 c #Conflicts: 585000 | #Constraints: 52874 1045.17/1047.64 c #Conflicts: 586000 | #Constraints: 53874 1045.17/1047.64 c #Conflicts: 587000 | #Constraints: 54874 1045.17/1047.64 c #Conflicts: 588000 | #Constraints: 55874 1045.17/1047.64 c #Conflicts: 589000 | #Constraints: 56874 1045.17/1047.64 c #Conflicts: 590000 | #Constraints: 57874 1045.17/1047.64 c #Conflicts: 591000 | #Constraints: 58874 1045.17/1047.64 c INPROCESSING 1045.17/1047.64 c GARBAGE COLLECT 1045.17/1047.64 c rational objective 54 1080.19/1082.72 c #Conflicts: 592000 | #Constraints: 44672 1080.19/1082.72 c #Conflicts: 593000 | #Constraints: 45672 1080.19/1082.72 c #Conflicts: 594000 | #Constraints: 46672 1080.19/1082.72 c #Conflicts: 595000 | #Constraints: 47672 1080.19/1082.72 c #Conflicts: 596000 | #Constraints: 48672 1080.19/1082.72 c #Conflicts: 597000 | #Constraints: 49672 1080.19/1082.72 c #Conflicts: 598000 | #Constraints: 50672 1080.19/1082.72 c #Conflicts: 599000 | #Constraints: 51672 1080.19/1082.72 c #Conflicts: 600000 | #Constraints: 52672 1080.19/1082.72 c #Conflicts: 601000 | #Constraints: 53672 1080.19/1082.72 c #Conflicts: 602000 | #Constraints: 54672 1080.19/1082.72 c #Conflicts: 603000 | #Constraints: 55672 1080.19/1082.72 c #Conflicts: 604000 | #Constraints: 56672 1080.19/1082.72 c #Conflicts: 605000 | #Constraints: 57672 1080.19/1082.72 c #Conflicts: 606000 | #Constraints: 58672 1080.19/1082.72 c #Conflicts: 607000 | #Constraints: 59672 1080.19/1082.72 c INPROCESSING 1080.19/1082.72 c GARBAGE COLLECT 1080.19/1082.72 c rational objective 54 1099.24/1101.80 c #Conflicts: 608000 | #Constraints: 45266 1099.24/1101.80 c #Conflicts: 609000 | #Constraints: 46266 1099.24/1101.80 c #Conflicts: 610000 | #Constraints: 47266 1099.24/1101.80 c #Conflicts: 611000 | #Constraints: 48266 1099.24/1101.80 c #Conflicts: 612000 | #Constraints: 49266 1099.24/1101.80 c #Conflicts: 613000 | #Constraints: 50266 1099.24/1101.80 c #Conflicts: 614000 | #Constraints: 51266 1099.24/1101.80 c #Conflicts: 615000 | #Constraints: 52266 1099.24/1101.80 c #Conflicts: 616000 | #Constraints: 53266 1099.24/1101.80 c #Conflicts: 617000 | #Constraints: 54266 1099.24/1101.80 c #Conflicts: 618000 | #Constraints: 55266 1099.24/1101.80 c #Conflicts: 619000 | #Constraints: 56266 1099.24/1101.80 c #Conflicts: 620000 | #Constraints: 57266 1099.24/1101.80 c #Conflicts: 621000 | #Constraints: 58266 1099.24/1101.80 c #Conflicts: 622000 | #Constraints: 59266 1099.24/1101.80 c #Conflicts: 623000 | #Constraints: 60266 1099.24/1101.80 c INPROCESSING 1099.24/1101.80 c GARBAGE COLLECT 1099.24/1101.80 c rational objective 54 1126.99/1129.65 c #Conflicts: 624000 | #Constraints: 45662 1126.99/1129.65 c #Conflicts: 625000 | #Constraints: 46662 1126.99/1129.65 c #Conflicts: 626000 | #Constraints: 47662 1126.99/1129.65 c #Conflicts: 627000 | #Constraints: 48662 1126.99/1129.65 c #Conflicts: 628000 | #Constraints: 49662 1126.99/1129.65 c #Conflicts: 629000 | #Constraints: 50662 1126.99/1129.65 c #Conflicts: 630000 | #Constraints: 51662 1126.99/1129.65 c #Conflicts: 631000 | #Constraints: 52662 1126.99/1129.65 c #Conflicts: 632000 | #Constraints: 53662 1126.99/1129.65 c #Conflicts: 633000 | #Constraints: 54662 1126.99/1129.65 c #Conflicts: 634000 | #Constraints: 55662 1126.99/1129.65 c #Conflicts: 635000 | #Constraints: 56662 1126.99/1129.65 c #Conflicts: 636000 | #Constraints: 57662 1126.99/1129.65 c #Conflicts: 637000 | #Constraints: 58662 1126.99/1129.65 c #Conflicts: 638000 | #Constraints: 59662 1126.99/1129.65 c #Conflicts: 639000 | #Constraints: 60662 1126.99/1129.65 c INPROCESSING 1126.99/1129.65 c GARBAGE COLLECT 1126.99/1129.65 c rational objective 54 1146.45/1149.17 c #Conflicts: 640000 | #Constraints: 45877 1146.45/1149.17 c #Conflicts: 641000 | #Constraints: 46877 1146.45/1149.17 c #Conflicts: 642000 | #Constraints: 47877 1146.45/1149.17 c #Conflicts: 643000 | #Constraints: 48877 1146.45/1149.17 c #Conflicts: 644000 | #Constraints: 49877 1146.45/1149.17 c #Conflicts: 645000 | #Constraints: 50877 1146.45/1149.17 c #Conflicts: 646000 | #Constraints: 51877 1146.45/1149.17 c #Conflicts: 647000 | #Constraints: 52877 1146.45/1149.17 c #Conflicts: 648000 | #Constraints: 53877 1146.45/1149.17 c #Conflicts: 649000 | #Constraints: 54877 1146.45/1149.17 c #Conflicts: 650000 | #Constraints: 55877 1146.45/1149.17 c #Conflicts: 651000 | #Constraints: 56877 1146.45/1149.17 c #Conflicts: 652000 | #Constraints: 57877 1146.45/1149.17 c #Conflicts: 653000 | #Constraints: 58877 1146.45/1149.17 c #Conflicts: 654000 | #Constraints: 59877 1146.45/1149.17 c #Conflicts: 655000 | #Constraints: 60877 1146.45/1149.17 c INPROCESSING 1146.45/1149.17 c GARBAGE COLLECT 1146.45/1149.17 c rational objective 54 1177.17/1179.92 c #Conflicts: 656000 | #Constraints: 45879 1177.17/1179.92 c #Conflicts: 657000 | #Constraints: 46879 1177.17/1179.92 c #Conflicts: 658000 | #Constraints: 47879 1177.17/1179.92 c #Conflicts: 659000 | #Constraints: 48879 1177.17/1179.92 c #Conflicts: 660000 | #Constraints: 49879 1177.17/1179.92 c #Conflicts: 661000 | #Constraints: 50879 1177.17/1179.92 c #Conflicts: 662000 | #Constraints: 51879 1177.17/1179.92 c #Conflicts: 663000 | #Constraints: 52879 1177.17/1179.92 c #Conflicts: 664000 | #Constraints: 53879 1177.17/1179.92 c #Conflicts: 665000 | #Constraints: 54879 1177.17/1179.92 c #Conflicts: 666000 | #Constraints: 55879 1177.17/1179.92 c #Conflicts: 667000 | #Constraints: 56879 1177.17/1179.92 c #Conflicts: 668000 | #Constraints: 57879 1177.17/1179.92 c #Conflicts: 669000 | #Constraints: 58879 1177.17/1179.92 c #Conflicts: 670000 | #Constraints: 59879 1177.17/1179.92 c #Conflicts: 671000 | #Constraints: 60879 1177.17/1179.92 c INPROCESSING 1177.17/1179.92 c GARBAGE COLLECT 1177.17/1179.92 c rational objective 54 1204.21/1207.04 c #Conflicts: 672000 | #Constraints: 45671 1204.21/1207.04 c #Conflicts: 673000 | #Constraints: 46671 1204.21/1207.04 c #Conflicts: 674000 | #Constraints: 47671 1204.21/1207.04 c #Conflicts: 675000 | #Constraints: 48671 1204.21/1207.04 c #Conflicts: 676000 | #Constraints: 49671 1204.21/1207.04 c #Conflicts: 677000 | #Constraints: 50671 1204.21/1207.04 c #Conflicts: 678000 | #Constraints: 51671 1204.21/1207.04 c #Conflicts: 679000 | #Constraints: 52671 1204.21/1207.04 c #Conflicts: 680000 | #Constraints: 53671 1204.21/1207.04 c #Conflicts: 681000 | #Constraints: 54671 1204.21/1207.04 c #Conflicts: 682000 | #Constraints: 55671 1204.21/1207.04 c #Conflicts: 683000 | #Constraints: 56671 1204.21/1207.04 c #Conflicts: 684000 | #Constraints: 57671 1204.21/1207.04 c #Conflicts: 685000 | #Constraints: 58671 1204.21/1207.04 c #Conflicts: 686000 | #Constraints: 59671 1204.21/1207.04 c #Conflicts: 687000 | #Constraints: 60671 1204.21/1207.04 c #Conflicts: 688000 | #Constraints: 61671 1204.21/1207.04 c INPROCESSING 1204.21/1207.04 c GARBAGE COLLECT 1204.21/1207.04 c rational objective 54 1221.66/1224.51 c #Conflicts: 689000 | #Constraints: 46260 1221.66/1224.51 c #Conflicts: 690000 | #Constraints: 47260 1221.66/1224.51 c #Conflicts: 691000 | #Constraints: 48260 1221.66/1224.51 c #Conflicts: 692000 | #Constraints: 49260 1221.66/1224.51 c #Conflicts: 693000 | #Constraints: 50260 1221.66/1224.51 c #Conflicts: 694000 | #Constraints: 51260 1221.66/1224.51 c #Conflicts: 695000 | #Constraints: 52260 1221.66/1224.51 c #Conflicts: 696000 | #Constraints: 53260 1221.66/1224.51 c #Conflicts: 697000 | #Constraints: 54260 1221.66/1224.51 c #Conflicts: 698000 | #Constraints: 55260 1221.66/1224.51 c #Conflicts: 699000 | #Constraints: 56260 1221.66/1224.51 c #Conflicts: 700000 | #Constraints: 57260 1221.66/1224.51 c #Conflicts: 701000 | #Constraints: 58260 1221.66/1224.51 c #Conflicts: 702000 | #Constraints: 59260 1221.66/1224.51 c #Conflicts: 703000 | #Constraints: 60260 1221.66/1224.51 c #Conflicts: 704000 | #Constraints: 61260 1221.66/1224.51 c #Conflicts: 705000 | #Constraints: 62260 1221.66/1224.51 c INPROCESSING 1221.66/1224.51 c GARBAGE COLLECT 1221.66/1224.51 c rational objective 54 1242.12/1245.01 c #Conflicts: 706000 | #Constraints: 46690 1242.12/1245.01 c #Conflicts: 707000 | #Constraints: 47690 1242.12/1245.01 c #Conflicts: 708000 | #Constraints: 48690 1242.12/1245.01 c #Conflicts: 709000 | #Constraints: 49690 1242.12/1245.01 c #Conflicts: 710000 | #Constraints: 50690 1242.12/1245.01 c #Conflicts: 711000 | #Constraints: 51690 1242.12/1245.01 c #Conflicts: 712000 | #Constraints: 52690 1242.12/1245.01 c #Conflicts: 713000 | #Constraints: 53690 1242.12/1245.01 c #Conflicts: 714000 | #Constraints: 54690 1242.12/1245.01 c #Conflicts: 715000 | #Constraints: 55690 1242.12/1245.01 c #Conflicts: 716000 | #Constraints: 56690 1242.12/1245.01 c #Conflicts: 717000 | #Constraints: 57690 1242.12/1245.01 c #Conflicts: 718000 | #Constraints: 58690 1242.12/1245.01 c #Conflicts: 719000 | #Constraints: 59690 1242.12/1245.01 c #Conflicts: 720000 | #Constraints: 60690 1242.12/1245.01 c #Conflicts: 721000 | #Constraints: 61690 1242.12/1245.01 c #Conflicts: 722000 | #Constraints: 62690 1242.12/1245.01 c INPROCESSING 1242.12/1245.01 c GARBAGE COLLECT 1242.12/1245.01 c rational objective 54 1277.14/1280.14 c #Conflicts: 723000 | #Constraints: 46877 1277.14/1280.14 c #Conflicts: 724000 | #Constraints: 47877 1277.14/1280.14 c #Conflicts: 725000 | #Constraints: 48877 1277.14/1280.14 c #Conflicts: 726000 | #Constraints: 49877 1277.14/1280.14 c #Conflicts: 727000 | #Constraints: 50877 1277.14/1280.14 c #Conflicts: 728000 | #Constraints: 51877 1277.14/1280.14 c #Conflicts: 729000 | #Constraints: 52877 1277.14/1280.14 c #Conflicts: 730000 | #Constraints: 53877 1277.14/1280.14 c #Conflicts: 731000 | #Constraints: 54877 1277.14/1280.14 c #Conflicts: 732000 | #Constraints: 55877 1277.14/1280.14 c #Conflicts: 733000 | #Constraints: 56877 1277.14/1280.14 c #Conflicts: 734000 | #Constraints: 57877 1277.14/1280.14 c #Conflicts: 735000 | #Constraints: 58877 1277.14/1280.14 c #Conflicts: 736000 | #Constraints: 59877 1277.14/1280.14 c #Conflicts: 737000 | #Constraints: 60877 1277.14/1280.14 c #Conflicts: 738000 | #Constraints: 61877 1277.14/1280.14 c #Conflicts: 739000 | #Constraints: 62877 1277.14/1280.14 c INPROCESSING 1277.14/1280.14 c GARBAGE COLLECT 1277.14/1280.14 c rational objective 54 1297.39/1300.44 c #Conflicts: 740000 | #Constraints: 46858 1297.39/1300.44 c #Conflicts: 741000 | #Constraints: 47858 1297.39/1300.44 c #Conflicts: 742000 | #Constraints: 48858 1297.39/1300.44 c #Conflicts: 743000 | #Constraints: 49858 1297.39/1300.44 c #Conflicts: 744000 | #Constraints: 50858 1297.39/1300.44 c #Conflicts: 745000 | #Constraints: 51858 1297.39/1300.44 c #Conflicts: 746000 | #Constraints: 52858 1297.39/1300.44 c #Conflicts: 747000 | #Constraints: 53858 1297.39/1300.44 c #Conflicts: 748000 | #Constraints: 54858 1297.39/1300.44 c #Conflicts: 749000 | #Constraints: 55858 1297.39/1300.44 c #Conflicts: 750000 | #Constraints: 56858 1297.39/1300.44 c #Conflicts: 751000 | #Constraints: 57858 1297.39/1300.44 c #Conflicts: 752000 | #Constraints: 58858 1297.39/1300.44 c #Conflicts: 753000 | #Constraints: 59858 1297.39/1300.44 c #Conflicts: 754000 | #Constraints: 60858 1297.39/1300.44 c #Conflicts: 755000 | #Constraints: 61858 1297.39/1300.44 c #Conflicts: 756000 | #Constraints: 62858 1297.39/1300.44 c INPROCESSING 1297.39/1300.44 c GARBAGE COLLECT 1297.39/1300.44 c rational objective 54 1328.02/1331.16 c #Conflicts: 757000 | #Constraints: 46683 1328.02/1331.16 c #Conflicts: 758000 | #Constraints: 47683 1328.02/1331.16 c #Conflicts: 759000 | #Constraints: 48683 1328.02/1331.16 c #Conflicts: 760000 | #Constraints: 49683 1328.02/1331.16 c #Conflicts: 761000 | #Constraints: 50683 1328.02/1331.16 c #Conflicts: 762000 | #Constraints: 51683 1328.02/1331.16 c #Conflicts: 763000 | #Constraints: 52683 1328.02/1331.16 c #Conflicts: 764000 | #Constraints: 53683 1328.02/1331.16 c #Conflicts: 765000 | #Constraints: 54683 1328.02/1331.16 c #Conflicts: 766000 | #Constraints: 55683 1328.02/1331.16 c #Conflicts: 767000 | #Constraints: 56683 1328.02/1331.16 c #Conflicts: 768000 | #Constraints: 57683 1328.02/1331.16 c #Conflicts: 769000 | #Constraints: 58683 1328.02/1331.16 c #Conflicts: 770000 | #Constraints: 59683 1328.02/1331.16 c #Conflicts: 771000 | #Constraints: 60683 1328.02/1331.16 c #Conflicts: 772000 | #Constraints: 61683 1328.02/1331.16 c #Conflicts: 773000 | #Constraints: 62683 1328.02/1331.16 c #Conflicts: 774000 | #Constraints: 63683 1328.02/1331.16 c INPROCESSING 1328.02/1331.16 c GARBAGE COLLECT 1328.02/1331.16 c rational objective 54 1357.75/1360.96 c #Conflicts: 775000 | #Constraints: 47275 1357.75/1360.96 c #Conflicts: 776000 | #Constraints: 48275 1357.75/1360.96 c #Conflicts: 777000 | #Constraints: 49275 1357.75/1360.96 c #Conflicts: 778000 | #Constraints: 50275 1357.75/1360.96 c #Conflicts: 779000 | #Constraints: 51275 1357.75/1360.96 c #Conflicts: 780000 | #Constraints: 52275 1357.75/1360.96 c #Conflicts: 781000 | #Constraints: 53275 1357.75/1360.96 c #Conflicts: 782000 | #Constraints: 54275 1357.75/1360.96 c #Conflicts: 783000 | #Constraints: 55275 1357.75/1360.96 c #Conflicts: 784000 | #Constraints: 56275 1357.75/1360.96 c #Conflicts: 785000 | #Constraints: 57275 1357.75/1360.96 c #Conflicts: 786000 | #Constraints: 58275 1357.75/1360.96 c #Conflicts: 787000 | #Constraints: 59275 1357.75/1360.96 c #Conflicts: 788000 | #Constraints: 60275 1357.75/1360.96 c #Conflicts: 789000 | #Constraints: 61275 1357.75/1360.96 c #Conflicts: 790000 | #Constraints: 62275 1357.75/1360.96 c #Conflicts: 791000 | #Constraints: 63275 1357.75/1360.96 c #Conflicts: 792000 | #Constraints: 64275 1357.75/1360.96 c INPROCESSING 1357.75/1360.96 c GARBAGE COLLECT 1357.75/1360.96 c rational objective 54 1387.88/1391.11 c #Conflicts: 793000 | #Constraints: 47670 1387.88/1391.11 c #Conflicts: 794000 | #Constraints: 48670 1387.88/1391.11 c #Conflicts: 795000 | #Constraints: 49670 1387.88/1391.11 c #Conflicts: 796000 | #Constraints: 50670 1387.88/1391.11 c #Conflicts: 797000 | #Constraints: 51670 1387.88/1391.11 c #Conflicts: 798000 | #Constraints: 52670 1387.88/1391.11 c #Conflicts: 799000 | #Constraints: 53670 1387.88/1391.11 c #Conflicts: 800000 | #Constraints: 54670 1387.88/1391.11 c #Conflicts: 801000 | #Constraints: 55670 1387.88/1391.11 c #Conflicts: 802000 | #Constraints: 56670 1387.88/1391.11 c #Conflicts: 803000 | #Constraints: 57670 1387.88/1391.11 c #Conflicts: 804000 | #Constraints: 58670 1387.88/1391.11 c #Conflicts: 805000 | #Constraints: 59670 1387.88/1391.11 c #Conflicts: 806000 | #Constraints: 60670 1387.88/1391.11 c #Conflicts: 807000 | #Constraints: 61670 1387.88/1391.11 c #Conflicts: 808000 | #Constraints: 62670 1387.88/1391.11 c #Conflicts: 809000 | #Constraints: 63670 1387.88/1391.11 c #Conflicts: 810000 | #Constraints: 64670 1387.88/1391.11 c INPROCESSING 1387.88/1391.11 c GARBAGE COLLECT 1387.88/1391.11 c rational objective 54 1420.00/1423.38 c #Conflicts: 811000 | #Constraints: 47853 1420.00/1423.38 c #Conflicts: 812000 | #Constraints: 48853 1420.00/1423.38 c #Conflicts: 813000 | #Constraints: 49853 1420.00/1423.38 c #Conflicts: 814000 | #Constraints: 50853 1420.00/1423.38 c #Conflicts: 815000 | #Constraints: 51853 1420.00/1423.38 c #Conflicts: 816000 | #Constraints: 52853 1420.00/1423.38 c #Conflicts: 817000 | #Constraints: 53853 1420.00/1423.38 c #Conflicts: 818000 | #Constraints: 54853 1420.00/1423.38 c #Conflicts: 819000 | #Constraints: 55853 1420.00/1423.38 c #Conflicts: 820000 | #Constraints: 56853 1420.00/1423.38 c #Conflicts: 821000 | #Constraints: 57853 1420.00/1423.38 c #Conflicts: 822000 | #Constraints: 58853 1420.00/1423.38 c #Conflicts: 823000 | #Constraints: 59853 1420.00/1423.38 c #Conflicts: 824000 | #Constraints: 60853 1420.00/1423.38 c #Conflicts: 825000 | #Constraints: 61853 1420.00/1423.38 c #Conflicts: 826000 | #Constraints: 62853 1420.00/1423.38 c #Conflicts: 827000 | #Constraints: 63853 1420.00/1423.38 c #Conflicts: 828000 | #Constraints: 64853 1420.00/1423.38 c INPROCESSING 1420.00/1423.38 c GARBAGE COLLECT 1420.00/1423.38 c rational objective 54 1439.76/1443.17 c #Conflicts: 829000 | #Constraints: 47866 1439.76/1443.17 c #Conflicts: 830000 | #Constraints: 48866 1439.76/1443.17 c #Conflicts: 831000 | #Constraints: 49866 1439.76/1443.17 c #Conflicts: 832000 | #Constraints: 50866 1439.76/1443.17 c #Conflicts: 833000 | #Constraints: 51866 1439.76/1443.17 c #Conflicts: 834000 | #Constraints: 52866 1439.76/1443.17 c #Conflicts: 835000 | #Constraints: 53866 1439.76/1443.17 c #Conflicts: 836000 | #Constraints: 54866 1439.76/1443.17 c #Conflicts: 837000 | #Constraints: 55866 1439.76/1443.17 c #Conflicts: 838000 | #Constraints: 56866 1439.76/1443.17 c #Conflicts: 839000 | #Constraints: 57866 1439.76/1443.17 c #Conflicts: 840000 | #Constraints: 58866 1439.76/1443.17 c #Conflicts: 841000 | #Constraints: 59866 1439.76/1443.17 c #Conflicts: 842000 | #Constraints: 60866 1439.76/1443.17 c #Conflicts: 843000 | #Constraints: 61866 1439.76/1443.17 c #Conflicts: 844000 | #Constraints: 62866 1439.76/1443.17 c #Conflicts: 845000 | #Constraints: 63866 1439.76/1443.17 c #Conflicts: 846000 | #Constraints: 64866 1439.76/1443.17 c INPROCESSING 1439.76/1443.17 c GARBAGE COLLECT 1439.76/1443.17 c rational objective 54 1466.89/1470.31 c #Conflicts: 847000 | #Constraints: 47689 1466.89/1470.31 c #Conflicts: 848000 | #Constraints: 48689 1466.89/1470.31 c #Conflicts: 849000 | #Constraints: 49689 1466.89/1470.31 c #Conflicts: 850000 | #Constraints: 50689 1466.89/1470.31 c #Conflicts: 851000 | #Constraints: 51689 1466.89/1470.31 c #Conflicts: 852000 | #Constraints: 52689 1466.89/1470.31 c #Conflicts: 853000 | #Constraints: 53689 1466.89/1470.31 c #Conflicts: 854000 | #Constraints: 54689 1466.89/1470.31 c #Conflicts: 855000 | #Constraints: 55689 1466.89/1470.31 c #Conflicts: 856000 | #Constraints: 56689 1466.89/1470.31 c #Conflicts: 857000 | #Constraints: 57689 1466.89/1470.31 c #Conflicts: 858000 | #Constraints: 58689 1466.89/1470.31 c #Conflicts: 859000 | #Constraints: 59689 1466.89/1470.31 c #Conflicts: 860000 | #Constraints: 60689 1466.89/1470.31 c #Conflicts: 861000 | #Constraints: 61689 1466.89/1470.31 c #Conflicts: 862000 | #Constraints: 62689 1466.89/1470.31 c #Conflicts: 863000 | #Constraints: 63689 1466.89/1470.31 c #Conflicts: 864000 | #Constraints: 64689 1466.89/1470.31 c #Conflicts: 865000 | #Constraints: 65689 1466.89/1470.31 c INPROCESSING 1466.89/1470.31 c GARBAGE COLLECT 1466.89/1470.31 c rational objective 54 1491.14/1494.62 c #Conflicts: 866000 | #Constraints: 48297 1491.14/1494.62 c #Conflicts: 867000 | #Constraints: 49297 1491.14/1494.62 c #Conflicts: 868000 | #Constraints: 50297 1491.14/1494.62 c #Conflicts: 869000 | #Constraints: 51297 1491.14/1494.62 c #Conflicts: 870000 | #Constraints: 52297 1491.14/1494.62 c #Conflicts: 871000 | #Constraints: 53297 1491.14/1494.62 c #Conflicts: 872000 | #Constraints: 54297 1491.14/1494.62 c #Conflicts: 873000 | #Constraints: 55297 1491.14/1494.62 c #Conflicts: 874000 | #Constraints: 56297 1491.14/1494.62 c #Conflicts: 875000 | #Constraints: 57297 1491.14/1494.62 c #Conflicts: 876000 | #Constraints: 58297 1491.14/1494.62 c #Conflicts: 877000 | #Constraints: 59297 1491.14/1494.62 c #Conflicts: 878000 | #Constraints: 60297 1491.14/1494.62 c #Conflicts: 879000 | #Constraints: 61297 1491.14/1494.62 c #Conflicts: 880000 | #Constraints: 62297 1491.14/1494.62 c #Conflicts: 881000 | #Constraints: 63297 1491.14/1494.62 c #Conflicts: 882000 | #Constraints: 64297 1491.14/1494.62 c #Conflicts: 883000 | #Constraints: 65297 1491.14/1494.62 c #Conflicts: 884000 | #Constraints: 66297 1491.14/1494.62 c INPROCESSING 1491.14/1494.62 c GARBAGE COLLECT 1491.14/1494.62 c rational objective 54 1510.99/1514.59 c #Conflicts: 885000 | #Constraints: 48682 1510.99/1514.59 c #Conflicts: 886000 | #Constraints: 49682 1510.99/1514.59 c #Conflicts: 887000 | #Constraints: 50682 1510.99/1514.59 c #Conflicts: 888000 | #Constraints: 51682 1510.99/1514.59 c #Conflicts: 889000 | #Constraints: 52682 1510.99/1514.59 c #Conflicts: 890000 | #Constraints: 53682 1510.99/1514.59 c #Conflicts: 891000 | #Constraints: 54682 1510.99/1514.59 c #Conflicts: 892000 | #Constraints: 55682 1510.99/1514.59 c #Conflicts: 893000 | #Constraints: 56682 1510.99/1514.59 c #Conflicts: 894000 | #Constraints: 57682 1510.99/1514.59 c #Conflicts: 895000 | #Constraints: 58682 1510.99/1514.59 c #Conflicts: 896000 | #Constraints: 59682 1510.99/1514.59 c #Conflicts: 897000 | #Constraints: 60682 1510.99/1514.59 c #Conflicts: 898000 | #Constraints: 61682 1510.99/1514.59 c #Conflicts: 899000 | #Constraints: 62682 1510.99/1514.59 c #Conflicts: 900000 | #Constraints: 63682 1510.99/1514.59 c #Conflicts: 901000 | #Constraints: 64682 1510.99/1514.59 c #Conflicts: 902000 | #Constraints: 65682 1510.99/1514.59 c #Conflicts: 903000 | #Constraints: 66682 1510.99/1514.59 c INPROCESSING 1510.99/1514.59 c GARBAGE COLLECT 1510.99/1514.59 c rational objective 54 1536.83/1540.46 c #Conflicts: 904000 | #Constraints: 48907 1536.83/1540.46 c #Conflicts: 905000 | #Constraints: 49907 1536.83/1540.46 c #Conflicts: 906000 | #Constraints: 50907 1536.83/1540.46 c #Conflicts: 907000 | #Constraints: 51907 1536.83/1540.46 c #Conflicts: 908000 | #Constraints: 52907 1536.83/1540.46 c #Conflicts: 909000 | #Constraints: 53907 1536.83/1540.46 c #Conflicts: 910000 | #Constraints: 54907 1536.83/1540.46 c #Conflicts: 911000 | #Constraints: 55907 1536.83/1540.46 c #Conflicts: 912000 | #Constraints: 56907 1536.83/1540.46 c #Conflicts: 913000 | #Constraints: 57907 1536.83/1540.46 c #Conflicts: 914000 | #Constraints: 58907 1536.83/1540.46 c #Conflicts: 915000 | #Constraints: 59907 1536.83/1540.46 c #Conflicts: 916000 | #Constraints: 60907 1536.83/1540.46 c #Conflicts: 917000 | #Constraints: 61907 1536.83/1540.46 c #Conflicts: 918000 | #Constraints: 62907 1536.83/1540.46 c #Conflicts: 919000 | #Constraints: 63907 1536.83/1540.46 c #Conflicts: 920000 | #Constraints: 64907 1536.83/1540.46 c #Conflicts: 921000 | #Constraints: 65907 1536.83/1540.46 c #Conflicts: 922000 | #Constraints: 66907 1536.83/1540.46 c INPROCESSING 1536.83/1540.46 c GARBAGE COLLECT 1536.83/1540.46 c rational objective 54 1568.06/1571.72 c #Conflicts: 923000 | #Constraints: 48888 1568.06/1571.72 c #Conflicts: 924000 | #Constraints: 49888 1568.06/1571.72 c #Conflicts: 925000 | #Constraints: 50888 1568.06/1571.72 c #Conflicts: 926000 | #Constraints: 51888 1568.06/1571.72 c #Conflicts: 927000 | #Constraints: 52888 1568.06/1571.72 c #Conflicts: 928000 | #Constraints: 53888 1568.06/1571.72 c #Conflicts: 929000 | #Constraints: 54888 1568.06/1571.72 c bounds 145 >= 56 @ 1528 1568.06/1571.72 c #Conflicts: 930000 | #Constraints: 55900 1568.06/1571.72 c #Conflicts: 931000 | #Constraints: 56900 1568.06/1571.72 c #Conflicts: 932000 | #Constraints: 57900 1568.06/1571.72 c #Conflicts: 933000 | #Constraints: 58900 1568.06/1571.72 c #Conflicts: 934000 | #Constraints: 59900 1568.06/1571.72 c #Conflicts: 935000 | #Constraints: 60900 1568.06/1571.72 c #Conflicts: 936000 | #Constraints: 61900 1568.06/1571.72 c #Conflicts: 937000 | #Constraints: 62900 1568.06/1571.72 c #Conflicts: 938000 | #Constraints: 63900 1568.06/1571.72 c #Conflicts: 939000 | #Constraints: 64900 1568.06/1571.72 c #Conflicts: 940000 | #Constraints: 65900 1568.06/1571.72 c #Conflicts: 941000 | #Constraints: 66900 1568.06/1571.72 c INPROCESSING 1568.06/1571.72 c GARBAGE COLLECT 1568.06/1571.72 c rational objective 56 1602.88/1606.65 c #Conflicts: 942000 | #Constraints: 48679 1602.88/1606.65 c #Conflicts: 943000 | #Constraints: 49679 1602.88/1606.65 c #Conflicts: 944000 | #Constraints: 50679 1602.88/1606.65 c #Conflicts: 945000 | #Constraints: 51679 1602.88/1606.65 c #Conflicts: 946000 | #Constraints: 52679 1602.88/1606.65 c #Conflicts: 947000 | #Constraints: 53679 1602.88/1606.65 c #Conflicts: 948000 | #Constraints: 54679 1602.88/1606.65 c #Conflicts: 949000 | #Constraints: 55679 1602.88/1606.65 c #Conflicts: 950000 | #Constraints: 56679 1602.88/1606.65 c #Conflicts: 951000 | #Constraints: 57679 1602.88/1606.65 c #Conflicts: 952000 | #Constraints: 58679 1602.88/1606.65 c #Conflicts: 953000 | #Constraints: 59679 1602.88/1606.65 c #Conflicts: 954000 | #Constraints: 60679 1602.88/1606.65 c #Conflicts: 955000 | #Constraints: 61679 1602.88/1606.65 c #Conflicts: 956000 | #Constraints: 62679 1602.88/1606.65 c #Conflicts: 957000 | #Constraints: 63679 1602.88/1606.65 c #Conflicts: 958000 | #Constraints: 64679 1602.88/1606.65 c #Conflicts: 959000 | #Constraints: 65679 1602.88/1606.65 c #Conflicts: 960000 | #Constraints: 66679 1602.88/1606.65 c #Conflicts: 961000 | #Constraints: 67679 1602.88/1606.65 c INPROCESSING 1602.88/1606.65 c GARBAGE COLLECT 1602.88/1606.65 c rational objective 56 1627.23/1631.00 c #Conflicts: 962000 | #Constraints: 49263 1627.23/1631.00 c #Conflicts: 963000 | #Constraints: 50263 1627.23/1631.00 c #Conflicts: 964000 | #Constraints: 51263 1627.23/1631.00 c #Conflicts: 965000 | #Constraints: 52263 1627.23/1631.00 c #Conflicts: 966000 | #Constraints: 53263 1627.23/1631.00 c #Conflicts: 967000 | #Constraints: 54263 1627.23/1631.00 c #Conflicts: 968000 | #Constraints: 55263 1627.23/1631.00 c #Conflicts: 969000 | #Constraints: 56263 1627.23/1631.00 c #Conflicts: 970000 | #Constraints: 57263 1627.23/1631.00 c #Conflicts: 971000 | #Constraints: 58263 1627.23/1631.00 c #Conflicts: 972000 | #Constraints: 59263 1627.23/1631.00 c #Conflicts: 973000 | #Constraints: 60263 1627.23/1631.00 c #Conflicts: 974000 | #Constraints: 61263 1627.23/1631.00 c #Conflicts: 975000 | #Constraints: 62263 1627.23/1631.00 c #Conflicts: 976000 | #Constraints: 63263 1627.23/1631.00 c #Conflicts: 977000 | #Constraints: 64263 1627.23/1631.00 c #Conflicts: 978000 | #Constraints: 65263 1627.23/1631.00 c #Conflicts: 979000 | #Constraints: 66263 1627.23/1631.00 c #Conflicts: 980000 | #Constraints: 67263 1627.23/1631.00 c #Conflicts: 981000 | #Constraints: 68263 1627.23/1631.00 c INPROCESSING 1627.23/1631.00 c GARBAGE COLLECT 1627.23/1631.00 c rational objective 56 1654.36/1658.21 c #Conflicts: 982000 | #Constraints: 49679 1654.36/1658.21 c #Conflicts: 983000 | #Constraints: 50679 1654.36/1658.21 c #Conflicts: 984000 | #Constraints: 51679 1654.36/1658.21 c #Conflicts: 985000 | #Constraints: 52679 1654.36/1658.21 c #Conflicts: 986000 | #Constraints: 53679 1654.36/1658.21 c #Conflicts: 987000 | #Constraints: 54679 1654.36/1658.21 c #Conflicts: 988000 | #Constraints: 55679 1654.36/1658.21 c #Conflicts: 989000 | #Constraints: 56679 1654.36/1658.21 c #Conflicts: 990000 | #Constraints: 57679 1654.36/1658.21 c #Conflicts: 991000 | #Constraints: 58679 1654.36/1658.21 c #Conflicts: 992000 | #Constraints: 59679 1654.36/1658.21 c #Conflicts: 993000 | #Constraints: 60679 1654.36/1658.21 c #Conflicts: 994000 | #Constraints: 61679 1654.36/1658.21 c #Conflicts: 995000 | #Constraints: 62679 1654.36/1658.21 c #Conflicts: 996000 | #Constraints: 63679 1654.36/1658.21 c #Conflicts: 997000 | #Constraints: 64679 1654.36/1658.21 c #Conflicts: 998000 | #Constraints: 65679 1654.36/1658.21 c #Conflicts: 999000 | #Constraints: 66679 1654.36/1658.21 c #Conflicts: 1000000 | #Constraints: 67679 1654.36/1658.21 c #Conflicts: 1001000 | #Constraints: 68679 1654.36/1658.21 c INPROCESSING 1654.36/1658.21 c GARBAGE COLLECT 1654.36/1658.21 c rational objective 56 1678.80/1682.75 c #Conflicts: 1002000 | #Constraints: 49870 1678.80/1682.75 c #Conflicts: 1003000 | #Constraints: 50870 1678.80/1682.75 c #Conflicts: 1004000 | #Constraints: 51870 1678.80/1682.75 c #Conflicts: 1005000 | #Constraints: 52870 1678.80/1682.75 c #Conflicts: 1006000 | #Constraints: 53870 1678.80/1682.75 c #Conflicts: 1007000 | #Constraints: 54870 1678.80/1682.75 c #Conflicts: 1008000 | #Constraints: 55870 1678.80/1682.75 c #Conflicts: 1009000 | #Constraints: 56870 1678.80/1682.75 c #Conflicts: 1010000 | #Constraints: 57870 1678.80/1682.75 c #Conflicts: 1011000 | #Constraints: 58870 1678.80/1682.75 c #Conflicts: 1012000 | #Constraints: 59870 1678.80/1682.75 c #Conflicts: 1013000 | #Constraints: 60870 1678.80/1682.75 c #Conflicts: 1014000 | #Constraints: 61870 1678.80/1682.75 c #Conflicts: 1015000 | #Constraints: 62870 1678.80/1682.75 c #Conflicts: 1016000 | #Constraints: 63870 1678.80/1682.75 c #Conflicts: 1017000 | #Constraints: 64870 1678.80/1682.75 c #Conflicts: 1018000 | #Constraints: 65870 1678.80/1682.75 c #Conflicts: 1019000 | #Constraints: 66870 1678.80/1682.75 c #Conflicts: 1020000 | #Constraints: 67870 1678.80/1682.75 c #Conflicts: 1021000 | #Constraints: 68870 1678.80/1682.75 c INPROCESSING 1678.80/1682.75 c GARBAGE COLLECT 1678.80/1682.75 c rational objective 56 1704.15/1708.12 c #Conflicts: 1022000 | #Constraints: 49896 1704.15/1708.12 c #Conflicts: 1023000 | #Constraints: 50896 1704.15/1708.12 c #Conflicts: 1024000 | #Constraints: 51896 1704.15/1708.12 c #Conflicts: 1025000 | #Constraints: 52896 1704.15/1708.12 c #Conflicts: 1026000 | #Constraints: 53896 1704.15/1708.12 c #Conflicts: 1027000 | #Constraints: 54896 1704.15/1708.12 c #Conflicts: 1028000 | #Constraints: 55896 1704.15/1708.12 c #Conflicts: 1029000 | #Constraints: 56896 1704.15/1708.12 c #Conflicts: 1030000 | #Constraints: 57896 1704.15/1708.12 c #Conflicts: 1031000 | #Constraints: 58896 1704.15/1708.12 c #Conflicts: 1032000 | #Constraints: 59896 1704.15/1708.12 c #Conflicts: 1033000 | #Constraints: 60896 1704.15/1708.12 c #Conflicts: 1034000 | #Constraints: 61896 1704.15/1708.12 c #Conflicts: 1035000 | #Constraints: 62896 1704.15/1708.12 c #Conflicts: 1036000 | #Constraints: 63896 1704.15/1708.12 c #Conflicts: 1037000 | #Constraints: 64896 1704.15/1708.12 c #Conflicts: 1038000 | #Constraints: 65896 1704.15/1708.12 c #Conflicts: 1039000 | #Constraints: 66896 1704.15/1708.12 c #Conflicts: 1040000 | #Constraints: 67896 1704.15/1708.12 c #Conflicts: 1041000 | #Constraints: 68896 1704.15/1708.12 c INPROCESSING 1704.15/1708.12 c GARBAGE COLLECT 1704.15/1708.12 c rational objective 56 1725.00/1729.04 c #Conflicts: 1042000 | #Constraints: 49690 1725.00/1729.04 c #Conflicts: 1043000 | #Constraints: 50690 1725.00/1729.04 c #Conflicts: 1044000 | #Constraints: 51690 1725.00/1729.04 c #Conflicts: 1045000 | #Constraints: 52690 1725.00/1729.04 c #Conflicts: 1046000 | #Constraints: 53690 1725.00/1729.04 c bounds 145 >= 58 @ 1693.42 1725.00/1729.04 c #Conflicts: 1047000 | #Constraints: 54708 1725.00/1729.04 c #Conflicts: 1048000 | #Constraints: 55708 1725.00/1729.04 c #Conflicts: 1049000 | #Constraints: 56708 1725.00/1729.04 c #Conflicts: 1050000 | #Constraints: 57708 1725.00/1729.04 c #Conflicts: 1051000 | #Constraints: 58708 1725.00/1729.04 c #Conflicts: 1052000 | #Constraints: 59708 1725.00/1729.04 c #Conflicts: 1053000 | #Constraints: 60708 1725.00/1729.04 c #Conflicts: 1054000 | #Constraints: 61708 1725.00/1729.04 c #Conflicts: 1055000 | #Constraints: 62708 1725.00/1729.04 c #Conflicts: 1056000 | #Constraints: 63708 1725.00/1729.04 c #Conflicts: 1057000 | #Constraints: 64708 1725.00/1729.04 c #Conflicts: 1058000 | #Constraints: 65708 1725.00/1729.04 c #Conflicts: 1059000 | #Constraints: 66708 1725.00/1729.04 c #Conflicts: 1060000 | #Constraints: 67708 1725.00/1729.04 c #Conflicts: 1061000 | #Constraints: 68708 1725.00/1729.04 c #Conflicts: 1062000 | #Constraints: 69708 1725.00/1729.04 c INPROCESSING 1725.00/1729.04 c GARBAGE COLLECT 1725.00/1729.04 c rational objective 58 1773.49/1777.67 c #Conflicts: 1063000 | #Constraints: 50307 1773.49/1777.67 c #Conflicts: 1064000 | #Constraints: 51307 1773.49/1777.67 c #Conflicts: 1065000 | #Constraints: 52307 1773.49/1777.67 c #Conflicts: 1066000 | #Constraints: 53307 1773.49/1777.67 c #Conflicts: 1067000 | #Constraints: 54307 1773.49/1777.67 c #Conflicts: 1068000 | #Constraints: 55307 1773.49/1777.67 c #Conflicts: 1069000 | #Constraints: 56307 1773.49/1777.67 c #Conflicts: 1070000 | #Constraints: 57307 1773.49/1777.67 c #Conflicts: 1071000 | #Constraints: 58307 1773.49/1777.67 c #Conflicts: 1072000 | #Constraints: 59307 1773.49/1777.67 c #Conflicts: 1073000 | #Constraints: 60307 1773.49/1777.67 c #Conflicts: 1074000 | #Constraints: 61308 1773.49/1777.67 c #Conflicts: 1075000 | #Constraints: 62308 1773.49/1777.67 c #Conflicts: 1076000 | #Constraints: 63308 1773.49/1777.67 c #Conflicts: 1077000 | #Constraints: 64308 1773.49/1777.67 c #Conflicts: 1078000 | #Constraints: 65308 1773.49/1777.67 c #Conflicts: 1079000 | #Constraints: 66308 1773.49/1777.67 c bounds 145 >= 60 @ 1730.9 1773.49/1777.67 c #Conflicts: 1080000 | #Constraints: 67323 1773.49/1777.67 c #Conflicts: 1081000 | #Constraints: 68323 1773.49/1777.67 c #Conflicts: 1082000 | #Constraints: 69323 1773.49/1777.67 c #Conflicts: 1083000 | #Constraints: 70323 1773.49/1777.67 c INPROCESSING 1773.49/1777.67 c GARBAGE COLLECT 1773.49/1777.67 c rational objective 60 1828.66/1832.93 c #Conflicts: 1084000 | #Constraints: 50726 1828.66/1832.93 c #Conflicts: 1085000 | #Constraints: 51726 1828.66/1832.93 c #Conflicts: 1086000 | #Constraints: 52726 1828.66/1832.93 c #Conflicts: 1087000 | #Constraints: 53726 1828.66/1832.93 c #Conflicts: 1088000 | #Constraints: 54726 1828.66/1832.93 c #Conflicts: 1089000 | #Constraints: 55726 1828.66/1832.93 c #Conflicts: 1090000 | #Constraints: 56726 1828.66/1832.93 c #Conflicts: 1091000 | #Constraints: 57726 1828.66/1832.93 c #Conflicts: 1092000 | #Constraints: 58726 1828.66/1832.93 c #Conflicts: 1093000 | #Constraints: 59726 1828.66/1832.93 c #Conflicts: 1094000 | #Constraints: 60726 1828.66/1832.93 c #Conflicts: 1095000 | #Constraints: 61726 1828.66/1832.93 c #Conflicts: 1096000 | #Constraints: 62726 1828.66/1832.93 c #Conflicts: 1097000 | #Constraints: 63726 1828.66/1832.93 c #Conflicts: 1098000 | #Constraints: 64726 1828.66/1832.93 c #Conflicts: 1099000 | #Constraints: 65726 1828.66/1832.93 c #Conflicts: 1100000 | #Constraints: 66726 1828.66/1832.93 c #Conflicts: 1101000 | #Constraints: 67726 1828.66/1832.93 c #Conflicts: 1102000 | #Constraints: 68726 1828.66/1832.93 c #Conflicts: 1103000 | #Constraints: 69726 1828.66/1832.93 c #Conflicts: 1104000 | #Constraints: 70726 1828.66/1832.93 c INPROCESSING 1828.66/1832.93 c GARBAGE COLLECT 1828.66/1832.93 c rational objective 60 1848.91/1853.27 c #Conflicts: 1105000 | #Constraints: 50909 1848.91/1853.27 c #Conflicts: 1106000 | #Constraints: 51909 1848.91/1853.27 c #Conflicts: 1107000 | #Constraints: 52909 1848.91/1853.27 c #Conflicts: 1108000 | #Constraints: 53909 1848.91/1853.27 c #Conflicts: 1109000 | #Constraints: 54909 1848.91/1853.27 c #Conflicts: 1110000 | #Constraints: 55909 1848.91/1853.27 c #Conflicts: 1111000 | #Constraints: 56909 1848.91/1853.27 c #Conflicts: 1112000 | #Constraints: 57909 1848.91/1853.27 c #Conflicts: 1113000 | #Constraints: 58909 1848.91/1853.27 c #Conflicts: 1114000 | #Constraints: 59909 1848.91/1853.27 c #Conflicts: 1115000 | #Constraints: 60909 1848.91/1853.27 c #Conflicts: 1116000 | #Constraints: 61909 1848.91/1853.27 c #Conflicts: 1117000 | #Constraints: 62909 1848.91/1853.27 c #Conflicts: 1118000 | #Constraints: 63909 1848.91/1853.27 c #Conflicts: 1119000 | #Constraints: 64909 1848.91/1853.27 c #Conflicts: 1120000 | #Constraints: 65909 1848.91/1853.27 c #Conflicts: 1121000 | #Constraints: 66909 1848.91/1853.27 c #Conflicts: 1122000 | #Constraints: 67909 1848.91/1853.27 c #Conflicts: 1123000 | #Constraints: 68909 1848.91/1853.27 c #Conflicts: 1124000 | #Constraints: 69909 1848.91/1853.27 c #Conflicts: 1125000 | #Constraints: 70909 1848.91/1853.27 c INPROCESSING 1848.91/1853.27 c GARBAGE COLLECT 1848.91/1853.27 c rational objective 60 1875.75/1880.12 c #Conflicts: 1126000 | #Constraints: 50925 1875.75/1880.12 c #Conflicts: 1127000 | #Constraints: 51925 1875.75/1880.12 c #Conflicts: 1128000 | #Constraints: 52925 1875.75/1880.12 c #Conflicts: 1129000 | #Constraints: 53925 1875.75/1880.12 c #Conflicts: 1130000 | #Constraints: 54925 1875.75/1880.12 c #Conflicts: 1131000 | #Constraints: 55925 1875.75/1880.12 c #Conflicts: 1132000 | #Constraints: 56925 1875.75/1880.12 c #Conflicts: 1133000 | #Constraints: 57925 1875.75/1880.12 c #Conflicts: 1134000 | #Constraints: 58925 1875.75/1880.12 c #Conflicts: 1135000 | #Constraints: 59925 1875.75/1880.12 c #Conflicts: 1136000 | #Constraints: 60925 1875.75/1880.12 c #Conflicts: 1137000 | #Constraints: 61925 1875.75/1880.12 c #Conflicts: 1138000 | #Constraints: 62925 1875.75/1880.12 c #Conflicts: 1139000 | #Constraints: 63925 1875.75/1880.12 c #Conflicts: 1140000 | #Constraints: 64925 1875.75/1880.12 c #Conflicts: 1141000 | #Constraints: 65925 1875.75/1880.12 c #Conflicts: 1142000 | #Constraints: 66925 1875.75/1880.12 c #Conflicts: 1143000 | #Constraints: 67925 1875.75/1880.12 c #Conflicts: 1144000 | #Constraints: 68925 1875.75/1880.12 c #Conflicts: 1145000 | #Constraints: 69925 1875.75/1880.12 c #Conflicts: 1146000 | #Constraints: 70925 1875.75/1880.12 c INPROCESSING 1875.75/1880.12 c GARBAGE COLLECT 1875.75/1880.12 c rational objective 60 1895.10/1899.57 c #Conflicts: 1147000 | #Constraints: 50721 1895.10/1899.57 c #Conflicts: 1148000 | #Constraints: 51721 1895.10/1899.57 c #Conflicts: 1149000 | #Constraints: 52721 1895.10/1899.57 c #Conflicts: 1150000 | #Constraints: 53721 1895.10/1899.57 c #Conflicts: 1151000 | #Constraints: 54721 1895.10/1899.57 c #Conflicts: 1152000 | #Constraints: 55721 1895.10/1899.57 c #Conflicts: 1153000 | #Constraints: 56721 1895.10/1899.57 c #Conflicts: 1154000 | #Constraints: 57721 1895.10/1899.57 c #Conflicts: 1155000 | #Constraints: 58721 1895.10/1899.57 c #Conflicts: 1156000 | #Constraints: 59721 1895.10/1899.57 c #Conflicts: 1157000 | #Constraints: 60721 1895.10/1899.57 c #Conflicts: 1158000 | #Constraints: 61721 1895.10/1899.57 c #Conflicts: 1159000 | #Constraints: 62721 1895.10/1899.57 c #Conflicts: 1160000 | #Constraints: 63721 1895.10/1899.57 c #Conflicts: 1161000 | #Constraints: 64721 1895.10/1899.57 c #Conflicts: 1162000 | #Constraints: 65721 1895.10/1899.57 c #Conflicts: 1163000 | #Constraints: 66721 1895.10/1899.57 c #Conflicts: 1164000 | #Constraints: 67721 1895.10/1899.57 c #Conflicts: 1165000 | #Constraints: 68721 1895.10/1899.57 c #Conflicts: 1166000 | #Constraints: 69721 1895.10/1899.57 c #Conflicts: 1167000 | #Constraints: 70721 1895.10/1899.57 c #Conflicts: 1168000 | #Constraints: 71721 1895.10/1899.57 c INPROCESSING 1895.10/1899.57 c GARBAGE COLLECT 1895.10/1899.57 c rational objective 60 1920.55/1925.07 c #Conflicts: 1169000 | #Constraints: 51335 1920.55/1925.07 c #Conflicts: 1170000 | #Constraints: 52335 1920.55/1925.07 c #Conflicts: 1171000 | #Constraints: 53335 1920.55/1925.07 c #Conflicts: 1172000 | #Constraints: 54335 1920.55/1925.07 c #Conflicts: 1173000 | #Constraints: 55335 1920.55/1925.07 c #Conflicts: 1174000 | #Constraints: 56335 1920.55/1925.07 c #Conflicts: 1175000 | #Constraints: 57335 1920.55/1925.07 c #Conflicts: 1176000 | #Constraints: 58335 1920.55/1925.07 c #Conflicts: 1177000 | #Constraints: 59335 1920.55/1925.07 c #Conflicts: 1178000 | #Constraints: 60335 1920.55/1925.07 c #Conflicts: 1179000 | #Constraints: 61335 1920.55/1925.07 c #Conflicts: 1180000 | #Constraints: 62335 1920.55/1925.07 c #Conflicts: 1181000 | #Constraints: 63335 1920.55/1925.07 c #Conflicts: 1182000 | #Constraints: 64335 1920.55/1925.07 c #Conflicts: 1183000 | #Constraints: 65335 1920.55/1925.07 c #Conflicts: 1184000 | #Constraints: 66335 1920.55/1925.07 c #Conflicts: 1185000 | #Constraints: 67335 1920.55/1925.07 c #Conflicts: 1186000 | #Constraints: 68335 1920.55/1925.07 c #Conflicts: 1187000 | #Constraints: 69335 1920.55/1925.07 c #Conflicts: 1188000 | #Constraints: 70335 1920.55/1925.07 c #Conflicts: 1189000 | #Constraints: 71335 1920.55/1925.07 c #Conflicts: 1190000 | #Constraints: 72335 1920.55/1925.07 c INPROCESSING 1920.55/1925.07 c GARBAGE COLLECT 1920.55/1925.07 c rational objective 60 1957.66/1962.24 c #Conflicts: 1191000 | #Constraints: 51734 1957.66/1962.24 c #Conflicts: 1192000 | #Constraints: 52734 1957.66/1962.24 c #Conflicts: 1193000 | #Constraints: 53734 1957.66/1962.24 c #Conflicts: 1194000 | #Constraints: 54734 1957.66/1962.24 c #Conflicts: 1195000 | #Constraints: 55734 1957.66/1962.24 c #Conflicts: 1196000 | #Constraints: 56734 1957.66/1962.24 c #Conflicts: 1197000 | #Constraints: 57734 1957.66/1962.24 c #Conflicts: 1198000 | #Constraints: 58734 1957.66/1962.24 c #Conflicts: 1199000 | #Constraints: 59734 1957.66/1962.24 c #Conflicts: 1200000 | #Constraints: 60734 1957.66/1962.24 c #Conflicts: 1201000 | #Constraints: 61734 1957.66/1962.24 c #Conflicts: 1202000 | #Constraints: 62734 1957.66/1962.24 c #Conflicts: 1203000 | #Constraints: 63734 1957.66/1962.24 c #Conflicts: 1204000 | #Constraints: 64734 1957.66/1962.24 c #Conflicts: 1205000 | #Constraints: 65734 1957.66/1962.24 c #Conflicts: 1206000 | #Constraints: 66734 1957.66/1962.24 c bounds 145 >= 62 @ 1921.95 1957.66/1962.24 c #Conflicts: 1207000 | #Constraints: 67749 1957.66/1962.24 c #Conflicts: 1208000 | #Constraints: 68749 1957.66/1962.24 c #Conflicts: 1209000 | #Constraints: 69749 1957.66/1962.24 c #Conflicts: 1210000 | #Constraints: 70749 1957.66/1962.24 c #Conflicts: 1211000 | #Constraints: 71749 1957.66/1962.24 c #Conflicts: 1212000 | #Constraints: 72749 1957.66/1962.24 c INPROCESSING 1957.66/1962.24 c GARBAGE COLLECT 1957.66/1962.24 c rational objective 62 1981.31/1985.98 c #Conflicts: 1213000 | #Constraints: 51962 1981.31/1985.98 c #Conflicts: 1214000 | #Constraints: 52962 1981.31/1985.98 c #Conflicts: 1215000 | #Constraints: 53962 1981.31/1985.98 c #Conflicts: 1216000 | #Constraints: 54962 1981.31/1985.98 c #Conflicts: 1217000 | #Constraints: 55962 1981.31/1985.98 c #Conflicts: 1218000 | #Constraints: 56962 1981.31/1985.98 c #Conflicts: 1219000 | #Constraints: 57962 1981.31/1985.98 c #Conflicts: 1220000 | #Constraints: 58962 1981.31/1985.98 c #Conflicts: 1221000 | #Constraints: 59962 1981.31/1985.98 c #Conflicts: 1222000 | #Constraints: 60962 1981.31/1985.98 c #Conflicts: 1223000 | #Constraints: 61962 1981.31/1985.98 c #Conflicts: 1224000 | #Constraints: 62962 1981.31/1985.98 c #Conflicts: 1225000 | #Constraints: 63962 1981.31/1985.98 c #Conflicts: 1226000 | #Constraints: 64962 1981.31/1985.98 c #Conflicts: 1227000 | #Constraints: 65962 1981.31/1985.98 c #Conflicts: 1228000 | #Constraints: 66962 1981.31/1985.98 c #Conflicts: 1229000 | #Constraints: 67962 1981.31/1985.98 c #Conflicts: 1230000 | #Constraints: 68962 1981.31/1985.98 c #Conflicts: 1231000 | #Constraints: 69962 1981.31/1985.98 c #Conflicts: 1232000 | #Constraints: 70962 1981.31/1985.98 c #Conflicts: 1233000 | #Constraints: 71962 1981.31/1985.98 c #Conflicts: 1234000 | #Constraints: 72962 1981.31/1985.98 c INPROCESSING 1981.31/1985.98 c GARBAGE COLLECT 1981.31/1985.98 c rational objective 62 2006.25/2010.91 c #Conflicts: 1235000 | #Constraints: 51945 2006.25/2010.91 c #Conflicts: 1236000 | #Constraints: 52945 2006.25/2010.91 c #Conflicts: 1237000 | #Constraints: 53945 2006.25/2010.91 c #Conflicts: 1238000 | #Constraints: 54945 2006.25/2010.91 c #Conflicts: 1239000 | #Constraints: 55945 2006.25/2010.91 c #Conflicts: 1240000 | #Constraints: 56945 2006.25/2010.91 c #Conflicts: 1241000 | #Constraints: 57945 2006.25/2010.91 c #Conflicts: 1242000 | #Constraints: 58945 2006.25/2010.91 c #Conflicts: 1243000 | #Constraints: 59945 2006.25/2010.91 c #Conflicts: 1244000 | #Constraints: 60945 2006.25/2010.91 c #Conflicts: 1245000 | #Constraints: 61945 2006.25/2010.91 c #Conflicts: 1246000 | #Constraints: 62945 2006.25/2010.91 c #Conflicts: 1247000 | #Constraints: 63945 2006.25/2010.91 c #Conflicts: 1248000 | #Constraints: 64945 2006.25/2010.91 c #Conflicts: 1249000 | #Constraints: 65945 2006.25/2010.91 c #Conflicts: 1250000 | #Constraints: 66945 2006.25/2010.91 c #Conflicts: 1251000 | #Constraints: 67945 2006.25/2010.91 c #Conflicts: 1252000 | #Constraints: 68945 2006.25/2010.91 c #Conflicts: 1253000 | #Constraints: 69945 2006.25/2010.91 c #Conflicts: 1254000 | #Constraints: 70945 2006.25/2010.91 c #Conflicts: 1255000 | #Constraints: 71945 2006.25/2010.91 c #Conflicts: 1256000 | #Constraints: 72945 2006.25/2010.91 c INPROCESSING 2006.25/2010.91 c GARBAGE COLLECT 2006.25/2010.91 c rational objective 62 2038.38/2043.10 c #Conflicts: 1257000 | #Constraints: 51171 2038.38/2043.10 c #Conflicts: 1258000 | #Constraints: 52171 2038.38/2043.10 c #Conflicts: 1259000 | #Constraints: 53171 2038.38/2043.10 c #Conflicts: 1260000 | #Constraints: 54171 2038.38/2043.10 c #Conflicts: 1261000 | #Constraints: 55171 2038.38/2043.10 c #Conflicts: 1262000 | #Constraints: 56171 2038.38/2043.10 c #Conflicts: 1263000 | #Constraints: 57171 2038.38/2043.10 c #Conflicts: 1264000 | #Constraints: 58171 2038.38/2043.10 c #Conflicts: 1265000 | #Constraints: 59171 2038.38/2043.10 c #Conflicts: 1266000 | #Constraints: 60171 2038.38/2043.10 c #Conflicts: 1267000 | #Constraints: 61171 2038.38/2043.10 c #Conflicts: 1268000 | #Constraints: 62171 2038.38/2043.10 c #Conflicts: 1269000 | #Constraints: 63171 2038.38/2043.10 c #Conflicts: 1270000 | #Constraints: 64171 2038.38/2043.10 c #Conflicts: 1271000 | #Constraints: 65171 2038.38/2043.10 c #Conflicts: 1272000 | #Constraints: 66171 2038.38/2043.10 c #Conflicts: 1273000 | #Constraints: 67171 2038.38/2043.10 c #Conflicts: 1274000 | #Constraints: 68171 2038.38/2043.10 c #Conflicts: 1275000 | #Constraints: 69171 2038.38/2043.10 c #Conflicts: 1276000 | #Constraints: 70171 2038.38/2043.10 c #Conflicts: 1277000 | #Constraints: 71171 2038.38/2043.10 c #Conflicts: 1278000 | #Constraints: 72171 2038.38/2043.10 c #Conflicts: 1279000 | #Constraints: 73171 2038.38/2043.10 c INPROCESSING 2038.38/2043.10 c GARBAGE COLLECT 2038.38/2043.10 c rational objective 62 2062.01/2066.81 c #Conflicts: 1280000 | #Constraints: 52054 2062.01/2066.81 c #Conflicts: 1281000 | #Constraints: 53054 2062.01/2066.81 c #Conflicts: 1282000 | #Constraints: 54054 2062.01/2066.81 c #Conflicts: 1283000 | #Constraints: 55054 2062.01/2066.81 c #Conflicts: 1284000 | #Constraints: 56054 2062.01/2066.81 c #Conflicts: 1285000 | #Constraints: 57054 2062.01/2066.81 c #Conflicts: 1286000 | #Constraints: 58054 2062.01/2066.81 c #Conflicts: 1287000 | #Constraints: 59054 2062.01/2066.81 c #Conflicts: 1288000 | #Constraints: 60054 2062.01/2066.81 c #Conflicts: 1289000 | #Constraints: 61054 2062.01/2066.81 c #Conflicts: 1290000 | #Constraints: 62054 2062.01/2066.81 c #Conflicts: 1291000 | #Constraints: 63054 2062.01/2066.81 c #Conflicts: 1292000 | #Constraints: 64054 2062.01/2066.81 c #Conflicts: 1293000 | #Constraints: 65054 2062.01/2066.81 c #Conflicts: 1294000 | #Constraints: 66054 2062.01/2066.81 c #Conflicts: 1295000 | #Constraints: 67054 2062.01/2066.81 c #Conflicts: 1296000 | #Constraints: 68054 2062.01/2066.81 c #Conflicts: 1297000 | #Constraints: 69054 2062.01/2066.81 c #Conflicts: 1298000 | #Constraints: 70054 2062.01/2066.81 c #Conflicts: 1299000 | #Constraints: 71054 2062.01/2066.81 c #Conflicts: 1300000 | #Constraints: 72054 2062.01/2066.81 c #Conflicts: 1301000 | #Constraints: 73054 2062.01/2066.81 c #Conflicts: 1302000 | #Constraints: 74054 2062.01/2066.81 c INPROCESSING 2062.01/2066.81 c GARBAGE COLLECT 2062.01/2066.81 c rational objective 62 2090.45/2095.35 c #Conflicts: 1303000 | #Constraints: 52602 2090.45/2095.35 c #Conflicts: 1304000 | #Constraints: 53602 2090.45/2095.35 c #Conflicts: 1305000 | #Constraints: 54602 2090.45/2095.35 c #Conflicts: 1306000 | #Constraints: 55602 2090.45/2095.35 c #Conflicts: 1307000 | #Constraints: 56602 2090.45/2095.35 c #Conflicts: 1308000 | #Constraints: 57602 2090.45/2095.35 c #Conflicts: 1309000 | #Constraints: 58602 2090.45/2095.35 c #Conflicts: 1310000 | #Constraints: 59602 2090.45/2095.35 c #Conflicts: 1311000 | #Constraints: 60602 2090.45/2095.35 c #Conflicts: 1312000 | #Constraints: 61602 2090.45/2095.35 c #Conflicts: 1313000 | #Constraints: 62602 2090.45/2095.35 c #Conflicts: 1314000 | #Constraints: 63602 2090.45/2095.35 c #Conflicts: 1315000 | #Constraints: 64602 2090.45/2095.35 c #Conflicts: 1316000 | #Constraints: 65602 2090.45/2095.35 c #Conflicts: 1317000 | #Constraints: 66602 2090.45/2095.35 c #Conflicts: 1318000 | #Constraints: 67602 2090.45/2095.35 c #Conflicts: 1319000 | #Constraints: 68602 2090.45/2095.35 c #Conflicts: 1320000 | #Constraints: 69602 2090.45/2095.35 c #Conflicts: 1321000 | #Constraints: 70602 2090.45/2095.35 c #Conflicts: 1322000 | #Constraints: 71602 2090.45/2095.35 c #Conflicts: 1323000 | #Constraints: 72602 2090.45/2095.35 c #Conflicts: 1324000 | #Constraints: 73602 2090.45/2095.35 c #Conflicts: 1325000 | #Constraints: 74602 2090.45/2095.35 c INPROCESSING 2090.45/2095.35 c GARBAGE COLLECT 2090.45/2095.35 c rational objective 62 2111.01/2115.98 c #Conflicts: 1326000 | #Constraints: 52886 2111.01/2115.98 c #Conflicts: 1327000 | #Constraints: 53886 2111.01/2115.98 c #Conflicts: 1328000 | #Constraints: 54886 2111.01/2115.98 c #Conflicts: 1329000 | #Constraints: 55886 2111.01/2115.98 c #Conflicts: 1330000 | #Constraints: 56886 2111.01/2115.98 c #Conflicts: 1331000 | #Constraints: 57886 2111.01/2115.98 c #Conflicts: 1332000 | #Constraints: 58886 2111.01/2115.98 c #Conflicts: 1333000 | #Constraints: 59886 2111.01/2115.98 c #Conflicts: 1334000 | #Constraints: 60886 2111.01/2115.98 c #Conflicts: 1335000 | #Constraints: 61886 2111.01/2115.98 c #Conflicts: 1336000 | #Constraints: 62886 2111.01/2115.98 c #Conflicts: 1337000 | #Constraints: 63886 2111.01/2115.98 c #Conflicts: 1338000 | #Constraints: 64886 2111.01/2115.98 c #Conflicts: 1339000 | #Constraints: 65886 2111.01/2115.98 c #Conflicts: 1340000 | #Constraints: 66886 2111.01/2115.98 c #Conflicts: 1341000 | #Constraints: 67886 2111.01/2115.98 c #Conflicts: 1342000 | #Constraints: 68886 2111.01/2115.98 c #Conflicts: 1343000 | #Constraints: 69886 2111.01/2115.98 c #Conflicts: 1344000 | #Constraints: 70886 2111.01/2115.98 c #Conflicts: 1345000 | #Constraints: 71886 2111.01/2115.98 c #Conflicts: 1346000 | #Constraints: 72886 2111.01/2115.98 c #Conflicts: 1347000 | #Constraints: 73886 2111.01/2115.98 c #Conflicts: 1348000 | #Constraints: 74886 2111.01/2115.98 c INPROCESSING 2111.01/2115.98 c GARBAGE COLLECT 2111.01/2115.98 c rational objective 62 2142.63/2147.62 c #Conflicts: 1349000 | #Constraints: 52927 2142.63/2147.62 c #Conflicts: 1350000 | #Constraints: 53927 2142.63/2147.62 c #Conflicts: 1351000 | #Constraints: 54927 2142.63/2147.62 c #Conflicts: 1352000 | #Constraints: 55927 2142.63/2147.62 c #Conflicts: 1353000 | #Constraints: 56927 2142.63/2147.62 c #Conflicts: 1354000 | #Constraints: 57927 2142.63/2147.62 c #Conflicts: 1355000 | #Constraints: 58927 2142.63/2147.62 c #Conflicts: 1356000 | #Constraints: 59927 2142.63/2147.62 c #Conflicts: 1357000 | #Constraints: 60927 2142.63/2147.62 c #Conflicts: 1358000 | #Constraints: 61927 2142.63/2147.62 c #Conflicts: 1359000 | #Constraints: 62927 2142.63/2147.62 c #Conflicts: 1360000 | #Constraints: 63927 2142.63/2147.62 c #Conflicts: 1361000 | #Constraints: 64927 2142.63/2147.62 c #Conflicts: 1362000 | #Constraints: 65927 2142.63/2147.62 c #Conflicts: 1363000 | #Constraints: 66927 2142.63/2147.62 c #Conflicts: 1364000 | #Constraints: 67927 2142.63/2147.62 c #Conflicts: 1365000 | #Constraints: 68927 2142.63/2147.62 c #Conflicts: 1366000 | #Constraints: 69927 2142.63/2147.62 c #Conflicts: 1367000 | #Constraints: 70927 2142.63/2147.62 c #Conflicts: 1368000 | #Constraints: 71927 2142.63/2147.62 c #Conflicts: 1369000 | #Constraints: 72927 2142.63/2147.62 c #Conflicts: 1370000 | #Constraints: 73927 2142.63/2147.62 c #Conflicts: 1371000 | #Constraints: 74927 2142.63/2147.62 c INPROCESSING 2142.63/2147.62 c GARBAGE COLLECT 2142.63/2147.62 c rational objective 62 2171.56/2176.66 c #Conflicts: 1372000 | #Constraints: 52741 2171.56/2176.66 c #Conflicts: 1373000 | #Constraints: 53741 2171.56/2176.66 c #Conflicts: 1374000 | #Constraints: 54741 2171.56/2176.66 c #Conflicts: 1375000 | #Constraints: 55741 2171.56/2176.66 c #Conflicts: 1376000 | #Constraints: 56741 2171.56/2176.66 c #Conflicts: 1377000 | #Constraints: 57741 2171.56/2176.66 c #Conflicts: 1378000 | #Constraints: 58741 2171.56/2176.66 c #Conflicts: 1379000 | #Constraints: 59741 2171.56/2176.66 c #Conflicts: 1380000 | #Constraints: 60741 2171.56/2176.66 c #Conflicts: 1381000 | #Constraints: 61741 2171.56/2176.66 c #Conflicts: 1382000 | #Constraints: 62741 2171.56/2176.66 c #Conflicts: 1383000 | #Constraints: 63741 2171.56/2176.66 c #Conflicts: 1384000 | #Constraints: 64741 2171.56/2176.66 c #Conflicts: 1385000 | #Constraints: 65741 2171.56/2176.66 c #Conflicts: 1386000 | #Constraints: 66741 2171.56/2176.66 c #Conflicts: 1387000 | #Constraints: 67741 2171.56/2176.66 c #Conflicts: 1388000 | #Constraints: 68741 2171.56/2176.66 c #Conflicts: 1389000 | #Constraints: 69741 2171.56/2176.66 c #Conflicts: 1390000 | #Constraints: 70741 2171.56/2176.66 c #Conflicts: 1391000 | #Constraints: 71741 2171.56/2176.66 c #Conflicts: 1392000 | #Constraints: 72741 2171.56/2176.66 c #Conflicts: 1393000 | #Constraints: 73741 2171.56/2176.66 c #Conflicts: 1394000 | #Constraints: 74741 2171.56/2176.66 c #Conflicts: 1395000 | #Constraints: 75741 2171.56/2176.66 c INPROCESSING 2171.56/2176.66 c GARBAGE COLLECT 2171.56/2176.66 c rational objective 62 2194.10/2199.28 c #Conflicts: 1396000 | #Constraints: 53331 2194.10/2199.28 c #Conflicts: 1397000 | #Constraints: 54331 2194.10/2199.28 c #Conflicts: 1398000 | #Constraints: 55331 2194.10/2199.28 c #Conflicts: 1399000 | #Constraints: 56331 2194.10/2199.28 c #Conflicts: 1400000 | #Constraints: 57331 2194.10/2199.28 c #Conflicts: 1401000 | #Constraints: 58331 2194.10/2199.28 c #Conflicts: 1402000 | #Constraints: 59331 2194.10/2199.28 c #Conflicts: 1403000 | #Constraints: 60331 2194.10/2199.28 c #Conflicts: 1404000 | #Constraints: 61331 2194.10/2199.28 c #Conflicts: 1405000 | #Constraints: 62331 2194.10/2199.28 c #Conflicts: 1406000 | #Constraints: 63331 2194.10/2199.28 c #Conflicts: 1407000 | #Constraints: 64331 2194.10/2199.28 c #Conflicts: 1408000 | #Constraints: 65331 2194.10/2199.28 c #Conflicts: 1409000 | #Constraints: 66331 2194.10/2199.28 c #Conflicts: 1410000 | #Constraints: 67331 2194.10/2199.28 c #Conflicts: 1411000 | #Constraints: 68331 2194.10/2199.28 c #Conflicts: 1412000 | #Constraints: 69331 2194.10/2199.28 c #Conflicts: 1413000 | #Constraints: 70331 2194.10/2199.28 c #Conflicts: 1414000 | #Constraints: 71331 2194.10/2199.28 c #Conflicts: 1415000 | #Constraints: 72331 2194.10/2199.28 c #Conflicts: 1416000 | #Constraints: 73331 2194.10/2199.28 c #Conflicts: 1417000 | #Constraints: 74331 2194.10/2199.28 c #Conflicts: 1418000 | #Constraints: 75331 2194.10/2199.28 c #Conflicts: 1419000 | #Constraints: 76331 2194.10/2199.28 c INPROCESSING 2194.10/2199.28 c GARBAGE COLLECT 2194.10/2199.28 c rational objective 62 2236.90/2242.18 c #Conflicts: 1420000 | #Constraints: 53734 2236.90/2242.18 c #Conflicts: 1421000 | #Constraints: 54734 2236.90/2242.18 c #Conflicts: 1422000 | #Constraints: 55734 2236.90/2242.18 c #Conflicts: 1423000 | #Constraints: 56734 2236.90/2242.18 c #Conflicts: 1424000 | #Constraints: 57734 2236.90/2242.18 c #Conflicts: 1425000 | #Constraints: 58734 2236.90/2242.18 c #Conflicts: 1426000 | #Constraints: 59734 2236.90/2242.18 c #Conflicts: 1427000 | #Constraints: 60734 2236.90/2242.18 c #Conflicts: 1428000 | #Constraints: 61734 2236.90/2242.18 c #Conflicts: 1429000 | #Constraints: 62734 2236.90/2242.18 c #Conflicts: 1430000 | #Constraints: 63734 2236.90/2242.18 c #Conflicts: 1431000 | #Constraints: 64734 2236.90/2242.18 c #Conflicts: 1432000 | #Constraints: 65734 2236.90/2242.18 c #Conflicts: 1433000 | #Constraints: 66734 2236.90/2242.18 c #Conflicts: 1434000 | #Constraints: 67734 2236.90/2242.18 c #Conflicts: 1435000 | #Constraints: 68734 2236.90/2242.18 c #Conflicts: 1436000 | #Constraints: 69734 2236.90/2242.18 c #Conflicts: 1437000 | #Constraints: 70734 2236.90/2242.18 c #Conflicts: 1438000 | #Constraints: 71734 2236.90/2242.18 c bounds 145 >= 64 @ 2196.39 2236.90/2242.18 c #Conflicts: 1439000 | #Constraints: 72749 2236.90/2242.18 c #Conflicts: 1440000 | #Constraints: 73749 2236.90/2242.18 c #Conflicts: 1441000 | #Constraints: 74749 2236.90/2242.18 c #Conflicts: 1442000 | #Constraints: 75749 2236.90/2242.18 c #Conflicts: 1443000 | #Constraints: 76749 2236.90/2242.18 c INPROCESSING 2236.90/2242.18 c GARBAGE COLLECT 2236.90/2242.18 c rational objective 64 2267.82/2273.15 c #Conflicts: 1444000 | #Constraints: 53928 2267.82/2273.15 c #Conflicts: 1445000 | #Constraints: 54928 2267.82/2273.15 c #Conflicts: 1446000 | #Constraints: 55928 2267.82/2273.15 c #Conflicts: 1447000 | #Constraints: 56928 2267.82/2273.15 c #Conflicts: 1448000 | #Constraints: 57928 2267.82/2273.15 c #Conflicts: 1449000 | #Constraints: 58928 2267.82/2273.15 c #Conflicts: 1450000 | #Constraints: 59928 2267.82/2273.15 c #Conflicts: 1451000 | #Constraints: 60928 2267.82/2273.15 c #Conflicts: 1452000 | #Constraints: 61928 2267.82/2273.15 c #Conflicts: 1453000 | #Constraints: 62928 2267.82/2273.15 c #Conflicts: 1454000 | #Constraints: 63928 2267.82/2273.15 c #Conflicts: 1455000 | #Constraints: 64928 2267.82/2273.15 c #Conflicts: 1456000 | #Constraints: 65928 2267.82/2273.15 c #Conflicts: 1457000 | #Constraints: 66928 2267.82/2273.15 c #Conflicts: 1458000 | #Constraints: 67928 2267.82/2273.15 c #Conflicts: 1459000 | #Constraints: 68928 2267.82/2273.15 c #Conflicts: 1460000 | #Constraints: 69928 2267.82/2273.15 c #Conflicts: 1461000 | #Constraints: 70928 2267.82/2273.15 c #Conflicts: 1462000 | #Constraints: 71928 2267.82/2273.15 c #Conflicts: 1463000 | #Constraints: 72928 2267.82/2273.15 c #Conflicts: 1464000 | #Constraints: 73928 2267.82/2273.15 c #Conflicts: 1465000 | #Constraints: 74928 2267.82/2273.15 c #Conflicts: 1466000 | #Constraints: 75928 2267.82/2273.15 c #Conflicts: 1467000 | #Constraints: 76928 2267.82/2273.15 c INPROCESSING 2267.82/2273.15 c GARBAGE COLLECT 2267.82/2273.15 c rational objective 64 2312.50/2317.93 c #Conflicts: 1468000 | #Constraints: 53928 2312.50/2317.93 c #Conflicts: 1469000 | #Constraints: 54928 2312.50/2317.93 c #Conflicts: 1470000 | #Constraints: 55928 2312.50/2317.93 c #Conflicts: 1471000 | #Constraints: 56928 2312.50/2317.93 c #Conflicts: 1472000 | #Constraints: 57928 2312.50/2317.93 c #Conflicts: 1473000 | #Constraints: 58928 2312.50/2317.93 c #Conflicts: 1474000 | #Constraints: 59928 2312.50/2317.93 c #Conflicts: 1475000 | #Constraints: 60928 2312.50/2317.93 c #Conflicts: 1476000 | #Constraints: 61928 2312.50/2317.93 c #Conflicts: 1477000 | #Constraints: 62928 2312.50/2317.93 c #Conflicts: 1478000 | #Constraints: 63928 2312.50/2317.93 c #Conflicts: 1479000 | #Constraints: 64928 2312.50/2317.93 c #Conflicts: 1480000 | #Constraints: 65928 2312.50/2317.93 c #Conflicts: 1481000 | #Constraints: 66928 2312.50/2317.93 c #Conflicts: 1482000 | #Constraints: 67928 2312.50/2317.93 c #Conflicts: 1483000 | #Constraints: 68928 2312.50/2317.93 c #Conflicts: 1484000 | #Constraints: 69928 2312.50/2317.93 c #Conflicts: 1485000 | #Constraints: 70928 2312.50/2317.93 c #Conflicts: 1486000 | #Constraints: 71928 2312.50/2317.93 c #Conflicts: 1487000 | #Constraints: 72928 2312.50/2317.93 c #Conflicts: 1488000 | #Constraints: 73928 2312.50/2317.93 c #Conflicts: 1489000 | #Constraints: 74928 2312.50/2317.93 c #Conflicts: 1490000 | #Constraints: 75928 2312.50/2317.93 c #Conflicts: 1491000 | #Constraints: 76928 2312.50/2317.93 c INPROCESSING 2312.50/2317.93 c GARBAGE COLLECT 2312.50/2317.93 c rational objective 64 2344.12/2349.65 c #Conflicts: 1492000 | #Constraints: 53731 2344.12/2349.65 c #Conflicts: 1493000 | #Constraints: 54731 2344.12/2349.65 c #Conflicts: 1494000 | #Constraints: 55731 2344.12/2349.65 c #Conflicts: 1495000 | #Constraints: 56731 2344.12/2349.65 c #Conflicts: 1496000 | #Constraints: 57731 2344.12/2349.65 c #Conflicts: 1497000 | #Constraints: 58731 2344.12/2349.65 c #Conflicts: 1498000 | #Constraints: 59731 2344.12/2349.65 c #Conflicts: 1499000 | #Constraints: 60731 2344.12/2349.65 c #Conflicts: 1500000 | #Constraints: 61731 2344.12/2349.65 c #Conflicts: 1501000 | #Constraints: 62731 2344.12/2349.65 c #Conflicts: 1502000 | #Constraints: 63731 2344.12/2349.65 c #Conflicts: 1503000 | #Constraints: 64731 2344.12/2349.65 c #Conflicts: 1504000 | #Constraints: 65731 2344.12/2349.65 c #Conflicts: 1505000 | #Constraints: 66731 2344.12/2349.65 c #Conflicts: 1506000 | #Constraints: 67731 2344.12/2349.65 c #Conflicts: 1507000 | #Constraints: 68731 2344.12/2349.65 c #Conflicts: 1508000 | #Constraints: 69731 2344.12/2349.65 c #Conflicts: 1509000 | #Constraints: 70731 2344.12/2349.65 c #Conflicts: 1510000 | #Constraints: 71731 2344.12/2349.65 c #Conflicts: 1511000 | #Constraints: 72731 2344.12/2349.65 c #Conflicts: 1512000 | #Constraints: 73731 2344.12/2349.65 c #Conflicts: 1513000 | #Constraints: 74731 2344.12/2349.65 c #Conflicts: 1514000 | #Constraints: 75731 2344.12/2349.65 c #Conflicts: 1515000 | #Constraints: 76731 2344.12/2349.65 c #Conflicts: 1516000 | #Constraints: 77731 2344.12/2349.65 c INPROCESSING 2344.12/2349.65 c GARBAGE COLLECT 2344.12/2349.65 c rational objective 64 2371.45/2377.05 c #Conflicts: 1517000 | #Constraints: 54348 2371.45/2377.05 c #Conflicts: 1518000 | #Constraints: 55348 2371.45/2377.05 c #Conflicts: 1519000 | #Constraints: 56348 2371.45/2377.05 c #Conflicts: 1520000 | #Constraints: 57348 2371.45/2377.05 c #Conflicts: 1521000 | #Constraints: 58348 2371.45/2377.05 c #Conflicts: 1522000 | #Constraints: 59348 2371.45/2377.05 c #Conflicts: 1523000 | #Constraints: 60348 2371.45/2377.05 c #Conflicts: 1524000 | #Constraints: 61348 2371.45/2377.05 c #Conflicts: 1525000 | #Constraints: 62348 2371.45/2377.05 c #Conflicts: 1526000 | #Constraints: 63348 2371.45/2377.05 c #Conflicts: 1527000 | #Constraints: 64348 2371.45/2377.05 c #Conflicts: 1528000 | #Constraints: 65348 2371.45/2377.05 c #Conflicts: 1529000 | #Constraints: 66348 2371.45/2377.05 c #Conflicts: 1530000 | #Constraints: 67348 2371.45/2377.05 c #Conflicts: 1531000 | #Constraints: 68348 2371.45/2377.05 c #Conflicts: 1532000 | #Constraints: 69348 2371.45/2377.05 c #Conflicts: 1533000 | #Constraints: 70348 2371.45/2377.05 c #Conflicts: 1534000 | #Constraints: 71348 2371.45/2377.05 c #Conflicts: 1535000 | #Constraints: 72348 2371.45/2377.05 c #Conflicts: 1536000 | #Constraints: 73348 2371.45/2377.05 c #Conflicts: 1537000 | #Constraints: 74348 2371.45/2377.05 c #Conflicts: 1538000 | #Constraints: 75348 2371.45/2377.05 c #Conflicts: 1539000 | #Constraints: 76348 2371.45/2377.05 c #Conflicts: 1540000 | #Constraints: 77348 2371.45/2377.05 c #Conflicts: 1541000 | #Constraints: 78348 2371.45/2377.05 c INPROCESSING 2371.45/2377.05 c GARBAGE COLLECT 2371.45/2377.05 c rational objective 64 2408.25/2413.99 c #Conflicts: 1542000 | #Constraints: 54735 2408.25/2413.99 c #Conflicts: 1543000 | #Constraints: 55735 2408.25/2413.99 c #Conflicts: 1544000 | #Constraints: 56735 2408.25/2413.99 c #Conflicts: 1545000 | #Constraints: 57735 2408.25/2413.99 c #Conflicts: 1546000 | #Constraints: 58735 2408.25/2413.99 c #Conflicts: 1547000 | #Constraints: 59735 2408.25/2413.99 c #Conflicts: 1548000 | #Constraints: 60735 2408.25/2413.99 c #Conflicts: 1549000 | #Constraints: 61735 2408.25/2413.99 c #Conflicts: 1550000 | #Constraints: 62735 2408.25/2413.99 c #Conflicts: 1551000 | #Constraints: 63735 2408.25/2413.99 c #Conflicts: 1552000 | #Constraints: 64735 2408.25/2413.99 c #Conflicts: 1553000 | #Constraints: 65735 2408.25/2413.99 c #Conflicts: 1554000 | #Constraints: 66735 2408.25/2413.99 c #Conflicts: 1555000 | #Constraints: 67735 2408.25/2413.99 c #Conflicts: 1556000 | #Constraints: 68735 2408.25/2413.99 c #Conflicts: 1557000 | #Constraints: 69735 2408.25/2413.99 c #Conflicts: 1558000 | #Constraints: 70735 2408.25/2413.99 c #Conflicts: 1559000 | #Constraints: 71735 2408.25/2413.99 c #Conflicts: 1560000 | #Constraints: 72735 2408.25/2413.99 c #Conflicts: 1561000 | #Constraints: 73735 2408.25/2413.99 c #Conflicts: 1562000 | #Constraints: 74735 2408.25/2413.99 c #Conflicts: 1563000 | #Constraints: 75735 2408.25/2413.99 c #Conflicts: 1564000 | #Constraints: 76735 2408.25/2413.99 c #Conflicts: 1565000 | #Constraints: 77735 2408.25/2413.99 c #Conflicts: 1566000 | #Constraints: 78735 2408.25/2413.99 c INPROCESSING 2408.25/2413.99 c GARBAGE COLLECT 2408.25/2413.99 c rational objective 64 2433.68/2439.44 c #Conflicts: 1567000 | #Constraints: 54953 2433.68/2439.44 c #Conflicts: 1568000 | #Constraints: 55953 2433.68/2439.44 c #Conflicts: 1569000 | #Constraints: 56953 2433.68/2439.44 c #Conflicts: 1570000 | #Constraints: 57953 2433.68/2439.44 c #Conflicts: 1571000 | #Constraints: 58953 2433.68/2439.44 c #Conflicts: 1572000 | #Constraints: 59953 2433.68/2439.44 c #Conflicts: 1573000 | #Constraints: 60953 2433.68/2439.44 c #Conflicts: 1574000 | #Constraints: 61953 2433.68/2439.44 c #Conflicts: 1575000 | #Constraints: 62953 2433.68/2439.44 c #Conflicts: 1576000 | #Constraints: 63953 2433.68/2439.44 c #Conflicts: 1577000 | #Constraints: 64953 2433.68/2439.44 c #Conflicts: 1578000 | #Constraints: 65953 2433.68/2439.44 c #Conflicts: 1579000 | #Constraints: 66953 2433.68/2439.44 c #Conflicts: 1580000 | #Constraints: 67953 2433.68/2439.44 c #Conflicts: 1581000 | #Constraints: 68953 2433.68/2439.44 c #Conflicts: 1582000 | #Constraints: 69953 2433.68/2439.44 c #Conflicts: 1583000 | #Constraints: 70953 2433.68/2439.44 c #Conflicts: 1584000 | #Constraints: 71953 2433.68/2439.44 c #Conflicts: 1585000 | #Constraints: 72953 2433.68/2439.44 c #Conflicts: 1586000 | #Constraints: 73953 2433.68/2439.44 c #Conflicts: 1587000 | #Constraints: 74953 2433.68/2439.44 c #Conflicts: 1588000 | #Constraints: 75953 2433.68/2439.44 c #Conflicts: 1589000 | #Constraints: 76953 2433.68/2439.44 c #Conflicts: 1590000 | #Constraints: 77953 2433.68/2439.44 c #Conflicts: 1591000 | #Constraints: 78953 2433.68/2439.44 c INPROCESSING 2433.68/2439.44 c GARBAGE COLLECT 2433.68/2439.44 c rational objective 64 2469.60/2475.40 c #Conflicts: 1592000 | #Constraints: 54939 2469.60/2475.40 c #Conflicts: 1593000 | #Constraints: 55939 2469.60/2475.40 c #Conflicts: 1594000 | #Constraints: 56939 2469.60/2475.40 c #Conflicts: 1595000 | #Constraints: 57939 2469.60/2475.40 c #Conflicts: 1596000 | #Constraints: 58939 2469.60/2475.40 c #Conflicts: 1597000 | #Constraints: 59939 2469.60/2475.40 c #Conflicts: 1598000 | #Constraints: 60939 2469.60/2475.40 c #Conflicts: 1599000 | #Constraints: 61939 2469.60/2475.40 c #Conflicts: 1600000 | #Constraints: 62939 2469.60/2475.40 c #Conflicts: 1601000 | #Constraints: 63939 2469.60/2475.40 c #Conflicts: 1602000 | #Constraints: 64939 2469.60/2475.40 c #Conflicts: 1603000 | #Constraints: 65939 2469.60/2475.40 c #Conflicts: 1604000 | #Constraints: 66939 2469.60/2475.40 c #Conflicts: 1605000 | #Constraints: 67939 2469.60/2475.40 c #Conflicts: 1606000 | #Constraints: 68939 2469.60/2475.40 c #Conflicts: 1607000 | #Constraints: 69939 2469.60/2475.40 c #Conflicts: 1608000 | #Constraints: 70939 2469.60/2475.40 c #Conflicts: 1609000 | #Constraints: 71939 2469.60/2475.40 c #Conflicts: 1610000 | #Constraints: 72939 2469.60/2475.40 c #Conflicts: 1611000 | #Constraints: 73939 2469.60/2475.40 c #Conflicts: 1612000 | #Constraints: 74939 2469.60/2475.40 c #Conflicts: 1613000 | #Constraints: 75939 2469.60/2475.40 c #Conflicts: 1614000 | #Constraints: 76939 2469.60/2475.40 c #Conflicts: 1615000 | #Constraints: 77939 2469.60/2475.40 c #Conflicts: 1616000 | #Constraints: 78939 2469.60/2475.40 c INPROCESSING 2469.60/2475.40 c GARBAGE COLLECT 2469.60/2475.40 c rational objective 64 2514.70/2520.62 c #Conflicts: 1617000 | #Constraints: 54753 2514.70/2520.62 c #Conflicts: 1618000 | #Constraints: 55753 2514.70/2520.62 c #Conflicts: 1619000 | #Constraints: 56753 2514.70/2520.62 c #Conflicts: 1620000 | #Constraints: 57753 2514.70/2520.62 c #Conflicts: 1621000 | #Constraints: 58753 2514.70/2520.62 c #Conflicts: 1622000 | #Constraints: 59753 2514.70/2520.62 c #Conflicts: 1623000 | #Constraints: 60753 2514.70/2520.62 c #Conflicts: 1624000 | #Constraints: 61753 2514.70/2520.62 c #Conflicts: 1625000 | #Constraints: 62753 2514.70/2520.62 c #Conflicts: 1626000 | #Constraints: 63753 2514.70/2520.62 c #Conflicts: 1627000 | #Constraints: 64753 2514.70/2520.62 c #Conflicts: 1628000 | #Constraints: 65753 2514.70/2520.62 c #Conflicts: 1629000 | #Constraints: 66753 2514.70/2520.62 c #Conflicts: 1630000 | #Constraints: 67753 2514.70/2520.62 c #Conflicts: 1631000 | #Constraints: 68753 2514.70/2520.62 c #Conflicts: 1632000 | #Constraints: 69753 2514.70/2520.62 c #Conflicts: 1633000 | #Constraints: 70753 2514.70/2520.62 c #Conflicts: 1634000 | #Constraints: 71753 2514.70/2520.62 c #Conflicts: 1635000 | #Constraints: 72753 2514.70/2520.62 c #Conflicts: 1636000 | #Constraints: 73753 2514.70/2520.62 c #Conflicts: 1637000 | #Constraints: 74753 2514.70/2520.62 c #Conflicts: 1638000 | #Constraints: 75753 2514.70/2520.62 c #Conflicts: 1639000 | #Constraints: 76753 2514.70/2520.62 c #Conflicts: 1640000 | #Constraints: 77753 2514.70/2520.62 c #Conflicts: 1641000 | #Constraints: 78753 2514.70/2520.62 c #Conflicts: 1642000 | #Constraints: 79753 2514.70/2520.62 c INPROCESSING 2514.70/2520.62 c GARBAGE COLLECT 2514.70/2520.62 c rational objective 64 2542.15/2548.11 c #Conflicts: 1643000 | #Constraints: 55361 2542.15/2548.11 c #Conflicts: 1644000 | #Constraints: 56361 2542.15/2548.11 c #Conflicts: 1645000 | #Constraints: 57361 2542.15/2548.11 c #Conflicts: 1646000 | #Constraints: 58361 2542.15/2548.11 c #Conflicts: 1647000 | #Constraints: 59361 2542.15/2548.11 c #Conflicts: 1648000 | #Constraints: 60361 2542.15/2548.11 c #Conflicts: 1649000 | #Constraints: 61361 2542.15/2548.11 c #Conflicts: 1650000 | #Constraints: 62361 2542.15/2548.11 c #Conflicts: 1651000 | #Constraints: 63361 2542.15/2548.11 c #Conflicts: 1652000 | #Constraints: 64361 2542.15/2548.11 c #Conflicts: 1653000 | #Constraints: 65361 2542.15/2548.11 c #Conflicts: 1654000 | #Constraints: 66361 2542.15/2548.11 c #Conflicts: 1655000 | #Constraints: 67361 2542.15/2548.11 c #Conflicts: 1656000 | #Constraints: 68361 2542.15/2548.11 c #Conflicts: 1657000 | #Constraints: 69361 2542.15/2548.11 c #Conflicts: 1658000 | #Constraints: 70361 2542.15/2548.11 c #Conflicts: 1659000 | #Constraints: 71361 2542.15/2548.11 c #Conflicts: 1660000 | #Constraints: 72361 2542.15/2548.11 c #Conflicts: 1661000 | #Constraints: 73361 2542.15/2548.11 c #Conflicts: 1662000 | #Constraints: 74361 2542.15/2548.11 c #Conflicts: 1663000 | #Constraints: 75361 2542.15/2548.11 c #Conflicts: 1664000 | #Constraints: 76361 2542.15/2548.11 c #Conflicts: 1665000 | #Constraints: 77361 2542.15/2548.11 c #Conflicts: 1666000 | #Constraints: 78361 2542.15/2548.11 c #Conflicts: 1667000 | #Constraints: 79361 2542.15/2548.11 c #Conflicts: 1668000 | #Constraints: 80361 2542.15/2548.11 c INPROCESSING 2542.15/2548.11 c GARBAGE COLLECT 2542.15/2548.11 c rational objective 64 2574.48/2580.56 c #Conflicts: 1669000 | #Constraints: 55732 2574.48/2580.56 c #Conflicts: 1670000 | #Constraints: 56732 2574.48/2580.56 c #Conflicts: 1671000 | #Constraints: 57732 2574.48/2580.56 c #Conflicts: 1672000 | #Constraints: 58732 2574.48/2580.56 c #Conflicts: 1673000 | #Constraints: 59732 2574.48/2580.56 c #Conflicts: 1674000 | #Constraints: 60732 2574.48/2580.56 c #Conflicts: 1675000 | #Constraints: 61732 2574.48/2580.56 c #Conflicts: 1676000 | #Constraints: 62732 2574.48/2580.56 c #Conflicts: 1677000 | #Constraints: 63732 2574.48/2580.56 c #Conflicts: 1678000 | #Constraints: 64732 2574.48/2580.56 c #Conflicts: 1679000 | #Constraints: 65732 2574.48/2580.56 c #Conflicts: 1680000 | #Constraints: 66732 2574.48/2580.56 c #Conflicts: 1681000 | #Constraints: 67732 2574.48/2580.56 c #Conflicts: 1682000 | #Constraints: 68732 2574.48/2580.56 c #Conflicts: 1683000 | #Constraints: 69732 2574.48/2580.56 c #Conflicts: 1684000 | #Constraints: 70732 2574.48/2580.56 c #Conflicts: 1685000 | #Constraints: 71732 2574.48/2580.56 c #Conflicts: 1686000 | #Constraints: 72732 2574.48/2580.56 c #Conflicts: 1687000 | #Constraints: 73732 2574.48/2580.56 c #Conflicts: 1688000 | #Constraints: 74732 2574.48/2580.56 c #Conflicts: 1689000 | #Constraints: 75732 2574.48/2580.56 c #Conflicts: 1690000 | #Constraints: 76732 2574.48/2580.56 c #Conflicts: 1691000 | #Constraints: 77732 2574.48/2580.56 c #Conflicts: 1692000 | #Constraints: 78732 2574.48/2580.56 c #Conflicts: 1693000 | #Constraints: 79732 2574.48/2580.56 c #Conflicts: 1694000 | #Constraints: 80732 2574.48/2580.56 c INPROCESSING 2574.48/2580.56 c GARBAGE COLLECT 2574.48/2580.56 c rational objective 64 2622.47/2628.60 c #Conflicts: 1695000 | #Constraints: 55938 2622.47/2628.60 c #Conflicts: 1696000 | #Constraints: 56938 2622.47/2628.60 c #Conflicts: 1697000 | #Constraints: 57938 2622.47/2628.60 c #Conflicts: 1698000 | #Constraints: 58938 2622.47/2628.60 c #Conflicts: 1699000 | #Constraints: 59938 2622.47/2628.60 c #Conflicts: 1700000 | #Constraints: 60938 2622.47/2628.60 c #Conflicts: 1701000 | #Constraints: 61938 2622.47/2628.60 c #Conflicts: 1702000 | #Constraints: 62938 2622.47/2628.60 c #Conflicts: 1703000 | #Constraints: 63938 2622.47/2628.60 c #Conflicts: 1704000 | #Constraints: 64938 2622.47/2628.60 c #Conflicts: 1705000 | #Constraints: 65938 2622.47/2628.60 c #Conflicts: 1706000 | #Constraints: 66938 2622.47/2628.60 c #Conflicts: 1707000 | #Constraints: 67938 2622.47/2628.60 c #Conflicts: 1708000 | #Constraints: 68938 2622.47/2628.60 c #Conflicts: 1709000 | #Constraints: 69938 2622.47/2628.60 c #Conflicts: 1710000 | #Constraints: 70938 2622.47/2628.60 c #Conflicts: 1711000 | #Constraints: 71938 2622.47/2628.60 c #Conflicts: 1712000 | #Constraints: 72938 2622.47/2628.60 c #Conflicts: 1713000 | #Constraints: 73938 2622.47/2628.60 c #Conflicts: 1714000 | #Constraints: 74938 2622.47/2628.60 c #Conflicts: 1715000 | #Constraints: 75938 2622.47/2628.60 c #Conflicts: 1716000 | #Constraints: 76938 2622.47/2628.60 c #Conflicts: 1717000 | #Constraints: 77938 2622.47/2628.60 c #Conflicts: 1718000 | #Constraints: 78938 2622.47/2628.60 c #Conflicts: 1719000 | #Constraints: 79938 2622.47/2628.60 c #Conflicts: 1720000 | #Constraints: 80938 2622.47/2628.60 c INPROCESSING 2622.47/2628.60 c GARBAGE COLLECT 2622.47/2628.60 c rational objective 64 2652.51/2658.73 c #Conflicts: 1721000 | #Constraints: 55952 2652.51/2658.73 c #Conflicts: 1722000 | #Constraints: 56952 2652.51/2658.73 c #Conflicts: 1723000 | #Constraints: 57952 2652.51/2658.73 c #Conflicts: 1724000 | #Constraints: 58952 2652.51/2658.73 c #Conflicts: 1725000 | #Constraints: 59952 2652.51/2658.73 c #Conflicts: 1726000 | #Constraints: 60952 2652.51/2658.73 c #Conflicts: 1727000 | #Constraints: 61952 2652.51/2658.73 c #Conflicts: 1728000 | #Constraints: 62952 2652.51/2658.73 c #Conflicts: 1729000 | #Constraints: 63952 2652.51/2658.73 c #Conflicts: 1730000 | #Constraints: 64952 2652.51/2658.73 c #Conflicts: 1731000 | #Constraints: 65952 2652.51/2658.73 c #Conflicts: 1732000 | #Constraints: 66952 2652.51/2658.73 c #Conflicts: 1733000 | #Constraints: 67952 2652.51/2658.73 c #Conflicts: 1734000 | #Constraints: 68952 2652.51/2658.73 c #Conflicts: 1735000 | #Constraints: 69952 2652.51/2658.73 c #Conflicts: 1736000 | #Constraints: 70952 2652.51/2658.73 c #Conflicts: 1737000 | #Constraints: 71952 2652.51/2658.73 c #Conflicts: 1738000 | #Constraints: 72952 2652.51/2658.73 c #Conflicts: 1739000 | #Constraints: 73952 2652.51/2658.73 c #Conflicts: 1740000 | #Constraints: 74952 2652.51/2658.73 c #Conflicts: 1741000 | #Constraints: 75952 2652.51/2658.73 c #Conflicts: 1742000 | #Constraints: 76952 2652.51/2658.73 c #Conflicts: 1743000 | #Constraints: 77952 2652.51/2658.73 c #Conflicts: 1744000 | #Constraints: 78952 2652.51/2658.73 c #Conflicts: 1745000 | #Constraints: 79952 2652.51/2658.73 c #Conflicts: 1746000 | #Constraints: 80952 2652.51/2658.73 c INPROCESSING 2652.51/2658.73 c GARBAGE COLLECT 2652.51/2658.73 c rational objective 64 2692.83/2699.19 c #Conflicts: 1747000 | #Constraints: 55740 2692.83/2699.19 c #Conflicts: 1748000 | #Constraints: 56740 2692.83/2699.19 c #Conflicts: 1749000 | #Constraints: 57740 2692.83/2699.19 c #Conflicts: 1750000 | #Constraints: 58740 2692.83/2699.19 c #Conflicts: 1751000 | #Constraints: 59740 2692.83/2699.19 c #Conflicts: 1752000 | #Constraints: 60740 2692.83/2699.19 c #Conflicts: 1753000 | #Constraints: 61740 2692.83/2699.19 c #Conflicts: 1754000 | #Constraints: 62740 2692.83/2699.19 c #Conflicts: 1755000 | #Constraints: 63740 2692.83/2699.19 c #Conflicts: 1756000 | #Constraints: 64740 2692.83/2699.19 c #Conflicts: 1757000 | #Constraints: 65740 2692.83/2699.19 c #Conflicts: 1758000 | #Constraints: 66740 2692.83/2699.19 c #Conflicts: 1759000 | #Constraints: 67740 2692.83/2699.19 c #Conflicts: 1760000 | #Constraints: 68740 2692.83/2699.19 c #Conflicts: 1761000 | #Constraints: 69740 2692.83/2699.19 c #Conflicts: 1762000 | #Constraints: 70740 2692.83/2699.19 c #Conflicts: 1763000 | #Constraints: 71740 2692.83/2699.19 c #Conflicts: 1764000 | #Constraints: 72740 2692.83/2699.19 c #Conflicts: 1765000 | #Constraints: 73740 2692.83/2699.19 c #Conflicts: 1766000 | #Constraints: 74740 2692.83/2699.19 c #Conflicts: 1767000 | #Constraints: 75740 2692.83/2699.19 c #Conflicts: 1768000 | #Constraints: 76740 2692.83/2699.19 c #Conflicts: 1769000 | #Constraints: 77740 2692.83/2699.19 c #Conflicts: 1770000 | #Constraints: 78740 2692.83/2699.19 c #Conflicts: 1771000 | #Constraints: 79740 2692.83/2699.19 c #Conflicts: 1772000 | #Constraints: 80740 2692.83/2699.19 c #Conflicts: 1773000 | #Constraints: 81740 2692.83/2699.19 c INPROCESSING 2692.83/2699.19 c GARBAGE COLLECT 2692.83/2699.19 c rational objective 64 2719.67/2726.07 c #Conflicts: 1774000 | #Constraints: 56359 2719.67/2726.07 c #Conflicts: 1775000 | #Constraints: 57359 2719.67/2726.07 c #Conflicts: 1776000 | #Constraints: 58359 2719.67/2726.07 c #Conflicts: 1777000 | #Constraints: 59359 2719.67/2726.07 c #Conflicts: 1778000 | #Constraints: 60359 2719.67/2726.07 c #Conflicts: 1779000 | #Constraints: 61359 2719.67/2726.07 c #Conflicts: 1780000 | #Constraints: 62359 2719.67/2726.07 c #Conflicts: 1781000 | #Constraints: 63359 2719.67/2726.07 c #Conflicts: 1782000 | #Constraints: 64359 2719.67/2726.07 c #Conflicts: 1783000 | #Constraints: 65359 2719.67/2726.07 c #Conflicts: 1784000 | #Constraints: 66359 2719.67/2726.07 c #Conflicts: 1785000 | #Constraints: 67359 2719.67/2726.07 c #Conflicts: 1786000 | #Constraints: 68359 2719.67/2726.07 c #Conflicts: 1787000 | #Constraints: 69359 2719.67/2726.07 c #Conflicts: 1788000 | #Constraints: 70359 2719.67/2726.07 c #Conflicts: 1789000 | #Constraints: 71359 2719.67/2726.07 c #Conflicts: 1790000 | #Constraints: 72359 2719.67/2726.07 c #Conflicts: 1791000 | #Constraints: 73359 2719.67/2726.07 c #Conflicts: 1792000 | #Constraints: 74359 2719.67/2726.07 c #Conflicts: 1793000 | #Constraints: 75359 2719.67/2726.07 c #Conflicts: 1794000 | #Constraints: 76359 2719.67/2726.07 c #Conflicts: 1795000 | #Constraints: 77359 2719.67/2726.07 c #Conflicts: 1796000 | #Constraints: 78359 2719.67/2726.07 c #Conflicts: 1797000 | #Constraints: 79359 2719.67/2726.07 c #Conflicts: 1798000 | #Constraints: 80359 2719.67/2726.07 c #Conflicts: 1799000 | #Constraints: 81359 2719.67/2726.07 c #Conflicts: 1800000 | #Constraints: 82359 2719.67/2726.07 c INPROCESSING 2719.67/2726.07 c GARBAGE COLLECT 2719.67/2726.07 c rational objective 64 2745.80/2752.25 c #Conflicts: 1801000 | #Constraints: 56760 2745.80/2752.25 c #Conflicts: 1802000 | #Constraints: 57760 2745.80/2752.25 c #Conflicts: 1803000 | #Constraints: 58760 2745.80/2752.25 c #Conflicts: 1804000 | #Constraints: 59760 2745.80/2752.25 c #Conflicts: 1805000 | #Constraints: 60760 2745.80/2752.25 c #Conflicts: 1806000 | #Constraints: 61760 2745.80/2752.25 c #Conflicts: 1807000 | #Constraints: 62760 2745.80/2752.25 c #Conflicts: 1808000 | #Constraints: 63760 2745.80/2752.25 c #Conflicts: 1809000 | #Constraints: 64760 2745.80/2752.25 c #Conflicts: 1810000 | #Constraints: 65760 2745.80/2752.25 c #Conflicts: 1811000 | #Constraints: 66760 2745.80/2752.25 c #Conflicts: 1812000 | #Constraints: 67760 2745.80/2752.25 c #Conflicts: 1813000 | #Constraints: 68760 2745.80/2752.25 c #Conflicts: 1814000 | #Constraints: 69760 2745.80/2752.25 c #Conflicts: 1815000 | #Constraints: 70760 2745.80/2752.25 c #Conflicts: 1816000 | #Constraints: 71760 2745.80/2752.25 c #Conflicts: 1817000 | #Constraints: 72760 2745.80/2752.25 c #Conflicts: 1818000 | #Constraints: 73760 2745.80/2752.25 c #Conflicts: 1819000 | #Constraints: 74760 2745.80/2752.25 c #Conflicts: 1820000 | #Constraints: 75760 2745.80/2752.25 c #Conflicts: 1821000 | #Constraints: 76760 2745.80/2752.25 c #Conflicts: 1822000 | #Constraints: 77760 2745.80/2752.25 c #Conflicts: 1823000 | #Constraints: 78760 2745.80/2752.25 c #Conflicts: 1824000 | #Constraints: 79760 2745.80/2752.25 c #Conflicts: 1825000 | #Constraints: 80760 2745.80/2752.25 c #Conflicts: 1826000 | #Constraints: 81760 2745.80/2752.25 c #Conflicts: 1827000 | #Constraints: 82760 2745.80/2752.25 c INPROCESSING 2745.80/2752.25 c GARBAGE COLLECT 2745.80/2752.25 c rational objective 64 2773.66/2780.16 c #Conflicts: 1828000 | #Constraints: 56956 2773.66/2780.16 c #Conflicts: 1829000 | #Constraints: 57956 2773.66/2780.16 c #Conflicts: 1830000 | #Constraints: 58956 2773.66/2780.16 c #Conflicts: 1831000 | #Constraints: 59956 2773.66/2780.16 c #Conflicts: 1832000 | #Constraints: 60956 2773.66/2780.16 c #Conflicts: 1833000 | #Constraints: 61956 2773.66/2780.16 c #Conflicts: 1834000 | #Constraints: 62956 2773.66/2780.16 c #Conflicts: 1835000 | #Constraints: 63956 2773.66/2780.16 c #Conflicts: 1836000 | #Constraints: 64956 2773.66/2780.16 c #Conflicts: 1837000 | #Constraints: 65956 2773.66/2780.16 c #Conflicts: 1838000 | #Constraints: 66956 2773.66/2780.16 c #Conflicts: 1839000 | #Constraints: 67956 2773.66/2780.16 c #Conflicts: 1840000 | #Constraints: 68956 2773.66/2780.16 c #Conflicts: 1841000 | #Constraints: 69956 2773.66/2780.16 c #Conflicts: 1842000 | #Constraints: 70956 2773.66/2780.16 c #Conflicts: 1843000 | #Constraints: 71956 2773.66/2780.16 c #Conflicts: 1844000 | #Constraints: 72956 2773.66/2780.16 c #Conflicts: 1845000 | #Constraints: 73956 2773.66/2780.16 c #Conflicts: 1846000 | #Constraints: 74956 2773.66/2780.16 c #Conflicts: 1847000 | #Constraints: 75956 2773.66/2780.16 c #Conflicts: 1848000 | #Constraints: 76956 2773.66/2780.16 c #Conflicts: 1849000 | #Constraints: 77956 2773.66/2780.16 c #Conflicts: 1850000 | #Constraints: 78956 2773.66/2780.16 c #Conflicts: 1851000 | #Constraints: 79956 2773.66/2780.16 c #Conflicts: 1852000 | #Constraints: 80956 2773.66/2780.16 c #Conflicts: 1853000 | #Constraints: 81956 2773.66/2780.16 c #Conflicts: 1854000 | #Constraints: 82956 2773.66/2780.16 c INPROCESSING 2773.66/2780.16 c GARBAGE COLLECT 2773.66/2780.16 c rational objective 64 2802.79/2809.33 c #Conflicts: 1855000 | #Constraints: 56954 2802.79/2809.33 c #Conflicts: 1856000 | #Constraints: 57954 2802.79/2809.33 c #Conflicts: 1857000 | #Constraints: 58954 2802.79/2809.33 c #Conflicts: 1858000 | #Constraints: 59954 2802.79/2809.33 c #Conflicts: 1859000 | #Constraints: 60954 2802.79/2809.33 c #Conflicts: 1860000 | #Constraints: 61954 2802.79/2809.33 c #Conflicts: 1861000 | #Constraints: 62954 2802.79/2809.33 c #Conflicts: 1862000 | #Constraints: 63954 2802.79/2809.33 c #Conflicts: 1863000 | #Constraints: 64954 2802.79/2809.33 c #Conflicts: 1864000 | #Constraints: 65954 2802.79/2809.33 c #Conflicts: 1865000 | #Constraints: 66954 2802.79/2809.33 c #Conflicts: 1866000 | #Constraints: 67954 2802.79/2809.33 c #Conflicts: 1867000 | #Constraints: 68954 2802.79/2809.33 c #Conflicts: 1868000 | #Constraints: 69954 2802.79/2809.33 c #Conflicts: 1869000 | #Constraints: 70954 2802.79/2809.33 c #Conflicts: 1870000 | #Constraints: 71954 2802.79/2809.33 c #Conflicts: 1871000 | #Constraints: 72954 2802.79/2809.33 c #Conflicts: 1872000 | #Constraints: 73954 2802.79/2809.33 c #Conflicts: 1873000 | #Constraints: 74954 2802.79/2809.33 c #Conflicts: 1874000 | #Constraints: 75954 2802.79/2809.33 c #Conflicts: 1875000 | #Constraints: 76954 2802.79/2809.33 c #Conflicts: 1876000 | #Constraints: 77954 2802.79/2809.33 c #Conflicts: 1877000 | #Constraints: 78955 2802.79/2809.33 c #Conflicts: 1878000 | #Constraints: 79955 2802.79/2809.33 c #Conflicts: 1879000 | #Constraints: 80955 2802.79/2809.33 c #Conflicts: 1880000 | #Constraints: 81955 2802.79/2809.33 c #Conflicts: 1881000 | #Constraints: 82955 2802.79/2809.33 c INPROCESSING 2802.79/2809.33 c GARBAGE COLLECT 2802.79/2809.33 c rational objective 64 2843.69/2850.38 c #Conflicts: 1882000 | #Constraints: 56755 2843.69/2850.38 c #Conflicts: 1883000 | #Constraints: 57755 2843.69/2850.38 c #Conflicts: 1884000 | #Constraints: 58755 2843.69/2850.38 c #Conflicts: 1885000 | #Constraints: 59755 2843.69/2850.38 c #Conflicts: 1886000 | #Constraints: 60755 2843.69/2850.38 c #Conflicts: 1887000 | #Constraints: 61755 2843.69/2850.38 c #Conflicts: 1888000 | #Constraints: 62755 2843.69/2850.38 c #Conflicts: 1889000 | #Constraints: 63755 2843.69/2850.38 c #Conflicts: 1890000 | #Constraints: 64755 2843.69/2850.38 c #Conflicts: 1891000 | #Constraints: 65755 2843.69/2850.38 c #Conflicts: 1892000 | #Constraints: 66755 2843.69/2850.38 c #Conflicts: 1893000 | #Constraints: 67755 2843.69/2850.38 c #Conflicts: 1894000 | #Constraints: 68755 2843.69/2850.38 c #Conflicts: 1895000 | #Constraints: 69755 2843.69/2850.38 c #Conflicts: 1896000 | #Constraints: 70755 2843.69/2850.38 c #Conflicts: 1897000 | #Constraints: 71755 2843.69/2850.38 c #Conflicts: 1898000 | #Constraints: 72755 2843.69/2850.38 c #Conflicts: 1899000 | #Constraints: 73755 2843.69/2850.38 c #Conflicts: 1900000 | #Constraints: 74755 2843.69/2850.38 c #Conflicts: 1901000 | #Constraints: 75755 2843.69/2850.38 c #Conflicts: 1902000 | #Constraints: 76755 2843.69/2850.38 c #Conflicts: 1903000 | #Constraints: 77755 2843.69/2850.38 c #Conflicts: 1904000 | #Constraints: 78755 2843.69/2850.38 c #Conflicts: 1905000 | #Constraints: 79755 2843.69/2850.38 c #Conflicts: 1906000 | #Constraints: 80755 2843.69/2850.38 c #Conflicts: 1907000 | #Constraints: 81755 2843.69/2850.38 c #Conflicts: 1908000 | #Constraints: 82755 2843.69/2850.38 c #Conflicts: 1909000 | #Constraints: 83755 2843.69/2850.38 c INPROCESSING 2843.69/2850.38 c GARBAGE COLLECT 2843.69/2850.38 c rational objective 64 2875.92/2882.63 c #Conflicts: 1910000 | #Constraints: 57370 2875.92/2882.63 c #Conflicts: 1911000 | #Constraints: 58370 2875.92/2882.63 c #Conflicts: 1912000 | #Constraints: 59370 2875.92/2882.63 c #Conflicts: 1913000 | #Constraints: 60370 2875.92/2882.63 c #Conflicts: 1914000 | #Constraints: 61370 2875.92/2882.63 c #Conflicts: 1915000 | #Constraints: 62370 2875.92/2882.63 c #Conflicts: 1916000 | #Constraints: 63370 2875.92/2882.63 c #Conflicts: 1917000 | #Constraints: 64370 2875.92/2882.63 c #Conflicts: 1918000 | #Constraints: 65370 2875.92/2882.63 c #Conflicts: 1919000 | #Constraints: 66370 2875.92/2882.63 c #Conflicts: 1920000 | #Constraints: 67370 2875.92/2882.63 c #Conflicts: 1921000 | #Constraints: 68370 2875.92/2882.63 c #Conflicts: 1922000 | #Constraints: 69370 2875.92/2882.63 c #Conflicts: 1923000 | #Constraints: 70370 2875.92/2882.63 c #Conflicts: 1924000 | #Constraints: 71370 2875.92/2882.63 c #Conflicts: 1925000 | #Constraints: 72370 2875.92/2882.63 c #Conflicts: 1926000 | #Constraints: 73370 2875.92/2882.63 c #Conflicts: 1927000 | #Constraints: 74370 2875.92/2882.63 c #Conflicts: 1928000 | #Constraints: 75370 2875.92/2882.63 c #Conflicts: 1929000 | #Constraints: 76370 2875.92/2882.63 c #Conflicts: 1930000 | #Constraints: 77370 2875.92/2882.63 c #Conflicts: 1931000 | #Constraints: 78370 2875.92/2882.63 c #Conflicts: 1932000 | #Constraints: 79370 2875.92/2882.63 c #Conflicts: 1933000 | #Constraints: 80370 2875.92/2882.63 c #Conflicts: 1934000 | #Constraints: 81370 2875.92/2882.63 c #Conflicts: 1935000 | #Constraints: 82370 2875.92/2882.63 c #Conflicts: 1936000 | #Constraints: 83370 2875.92/2882.63 c #Conflicts: 1937000 | #Constraints: 84370 2875.92/2882.63 c INPROCESSING 2875.92/2882.63 c GARBAGE COLLECT 2875.92/2882.63 c rational objective 64 2914.74/2921.58 c #Conflicts: 1938000 | #Constraints: 57740 2914.74/2921.58 c #Conflicts: 1939000 | #Constraints: 58740 2914.74/2921.58 c #Conflicts: 1940000 | #Constraints: 59740 2914.74/2921.58 c #Conflicts: 1941000 | #Constraints: 60740 2914.74/2921.58 c #Conflicts: 1942000 | #Constraints: 61740 2914.74/2921.58 c #Conflicts: 1943000 | #Constraints: 62740 2914.74/2921.58 c #Conflicts: 1944000 | #Constraints: 63740 2914.74/2921.58 c #Conflicts: 1945000 | #Constraints: 64740 2914.74/2921.58 c #Conflicts: 1946000 | #Constraints: 65740 2914.74/2921.58 c #Conflicts: 1947000 | #Constraints: 66740 2914.74/2921.58 c #Conflicts: 1948000 | #Constraints: 67740 2914.74/2921.58 c #Conflicts: 1949000 | #Constraints: 68740 2914.74/2921.58 c #Conflicts: 1950000 | #Constraints: 69740 2914.74/2921.58 c #Conflicts: 1951000 | #Constraints: 70740 2914.74/2921.58 c #Conflicts: 1952000 | #Constraints: 71740 2914.74/2921.58 c #Conflicts: 1953000 | #Constraints: 72740 2914.74/2921.58 c #Conflicts: 1954000 | #Constraints: 73740 2914.74/2921.58 c #Conflicts: 1955000 | #Constraints: 74740 2914.74/2921.58 c #Conflicts: 1956000 | #Constraints: 75740 2914.74/2921.58 c #Conflicts: 1957000 | #Constraints: 76740 2914.74/2921.58 c #Conflicts: 1958000 | #Constraints: 77740 2914.74/2921.58 c #Conflicts: 1959000 | #Constraints: 78740 2914.74/2921.58 c #Conflicts: 1960000 | #Constraints: 79740 2914.74/2921.58 c #Conflicts: 1961000 | #Constraints: 80740 2914.74/2921.58 c #Conflicts: 1962000 | #Constraints: 81740 2914.74/2921.58 c #Conflicts: 1963000 | #Constraints: 82740 2914.74/2921.58 c #Conflicts: 1964000 | #Constraints: 83740 2914.74/2921.58 c #Conflicts: 1965000 | #Constraints: 84740 2914.74/2921.58 c INPROCESSING 2914.74/2921.58 c GARBAGE COLLECT 2914.74/2921.58 c rational objective 64 2964.13/2971.03 c #Conflicts: 1966000 | #Constraints: 57930 2964.13/2971.03 c #Conflicts: 1967000 | #Constraints: 58930 2964.13/2971.03 c #Conflicts: 1968000 | #Constraints: 59930 2964.13/2971.03 c #Conflicts: 1969000 | #Constraints: 60930 2964.13/2971.03 c #Conflicts: 1970000 | #Constraints: 61930 2964.13/2971.03 c #Conflicts: 1971000 | #Constraints: 62930 2964.13/2971.03 c #Conflicts: 1972000 | #Constraints: 63930 2964.13/2971.03 c #Conflicts: 1973000 | #Constraints: 64930 2964.13/2971.03 c #Conflicts: 1974000 | #Constraints: 65930 2964.13/2971.03 c #Conflicts: 1975000 | #Constraints: 66930 2964.13/2971.03 c #Conflicts: 1976000 | #Constraints: 67930 2964.13/2971.03 c #Conflicts: 1977000 | #Constraints: 68930 2964.13/2971.03 c #Conflicts: 1978000 | #Constraints: 69930 2964.13/2971.03 c #Conflicts: 1979000 | #Constraints: 70930 2964.13/2971.03 c #Conflicts: 1980000 | #Constraints: 71930 2964.13/2971.03 c #Conflicts: 1981000 | #Constraints: 72930 2964.13/2971.03 c #Conflicts: 1982000 | #Constraints: 73930 2964.13/2971.03 c #Conflicts: 1983000 | #Constraints: 74930 2964.13/2971.03 c #Conflicts: 1984000 | #Constraints: 75930 2964.13/2971.03 c #Conflicts: 1985000 | #Constraints: 76930 2964.13/2971.03 c #Conflicts: 1986000 | #Constraints: 77930 2964.13/2971.03 c #Conflicts: 1987000 | #Constraints: 78930 2964.13/2971.03 c #Conflicts: 1988000 | #Constraints: 79930 2964.13/2971.03 c #Conflicts: 1989000 | #Constraints: 80930 2964.13/2971.03 c #Conflicts: 1990000 | #Constraints: 81930 2964.13/2971.03 c #Conflicts: 1991000 | #Constraints: 82930 2964.13/2971.03 c #Conflicts: 1992000 | #Constraints: 83930 2964.13/2971.03 c #Conflicts: 1993000 | #Constraints: 84930 2964.13/2971.03 c INPROCESSING 2964.13/2971.03 c GARBAGE COLLECT 2964.13/2971.03 c rational objective 64 2996.25/3003.22 c #Conflicts: 1994000 | #Constraints: 57951 2996.25/3003.22 c #Conflicts: 1995000 | #Constraints: 58951 2996.25/3003.22 c #Conflicts: 1996000 | #Constraints: 59951 2996.25/3003.22 c #Conflicts: 1997000 | #Constraints: 60951 2996.25/3003.22 c #Conflicts: 1998000 | #Constraints: 61951 2996.25/3003.22 c #Conflicts: 1999000 | #Constraints: 62951 2996.25/3003.22 c #Conflicts: 2000000 | #Constraints: 63951 2996.25/3003.22 c #Conflicts: 2001000 | #Constraints: 64951 2996.25/3003.22 c #Conflicts: 2002000 | #Constraints: 65951 2996.25/3003.22 c #Conflicts: 2003000 | #Constraints: 66951 2996.25/3003.22 c #Conflicts: 2004000 | #Constraints: 67951 2996.25/3003.22 c #Conflicts: 2005000 | #Constraints: 68951 2996.25/3003.22 c #Conflicts: 2006000 | #Constraints: 69951 2996.25/3003.22 c #Conflicts: 2007000 | #Constraints: 70951 2996.25/3003.22 c #Conflicts: 2008000 | #Constraints: 71951 2996.25/3003.22 c #Conflicts: 2009000 | #Constraints: 72951 2996.25/3003.22 c #Conflicts: 2010000 | #Constraints: 73951 2996.25/3003.22 c #Conflicts: 2011000 | #Constraints: 74951 2996.25/3003.22 c #Conflicts: 2012000 | #Constraints: 75951 2996.25/3003.22 c #Conflicts: 2013000 | #Constraints: 76951 2996.25/3003.22 c #Conflicts: 2014000 | #Constraints: 77951 2996.25/3003.22 c #Conflicts: 2015000 | #Constraints: 78951 2996.25/3003.22 c #Conflicts: 2016000 | #Constraints: 79951 2996.25/3003.22 c #Conflicts: 2017000 | #Constraints: 80951 2996.25/3003.22 c #Conflicts: 2018000 | #Constraints: 81951 2996.25/3003.22 c #Conflicts: 2019000 | #Constraints: 82951 2996.25/3003.22 c #Conflicts: 2020000 | #Constraints: 83951 2996.25/3003.22 c #Conflicts: 2021000 | #Constraints: 84951 2996.25/3003.22 c INPROCESSING 2996.25/3003.22 c GARBAGE COLLECT 2996.25/3003.22 c rational objective 64 3027.18/3034.26 c #Conflicts: 2022000 | #Constraints: 57767 3027.18/3034.26 c #Conflicts: 2023000 | #Constraints: 58767 3027.18/3034.26 c #Conflicts: 2024000 | #Constraints: 59767 3027.18/3034.26 c #Conflicts: 2025000 | #Constraints: 60767 3027.18/3034.26 c #Conflicts: 2026000 | #Constraints: 61767 3027.18/3034.26 c #Conflicts: 2027000 | #Constraints: 62767 3027.18/3034.26 c #Conflicts: 2028000 | #Constraints: 63767 3027.18/3034.26 c #Conflicts: 2029000 | #Constraints: 64767 3027.18/3034.26 c #Conflicts: 2030000 | #Constraints: 65767 3027.18/3034.26 c #Conflicts: 2031000 | #Constraints: 66767 3027.18/3034.26 c #Conflicts: 2032000 | #Constraints: 67767 3027.18/3034.26 c #Conflicts: 2033000 | #Constraints: 68767 3027.18/3034.26 c #Conflicts: 2034000 | #Constraints: 69767 3027.18/3034.26 c #Conflicts: 2035000 | #Constraints: 70767 3027.18/3034.26 c #Conflicts: 2036000 | #Constraints: 71767 3027.18/3034.26 c #Conflicts: 2037000 | #Constraints: 72767 3027.18/3034.26 c #Conflicts: 2038000 | #Constraints: 73767 3027.18/3034.26 c #Conflicts: 2039000 | #Constraints: 74767 3027.18/3034.26 c #Conflicts: 2040000 | #Constraints: 75767 3027.18/3034.26 c #Conflicts: 2041000 | #Constraints: 76767 3027.18/3034.26 c #Conflicts: 2042000 | #Constraints: 77767 3027.18/3034.26 c #Conflicts: 2043000 | #Constraints: 78767 3027.18/3034.26 c #Conflicts: 2044000 | #Constraints: 79767 3027.18/3034.26 c #Conflicts: 2045000 | #Constraints: 80767 3027.18/3034.26 c #Conflicts: 2046000 | #Constraints: 81767 3027.18/3034.26 c #Conflicts: 2047000 | #Constraints: 82767 3027.18/3034.26 c #Conflicts: 2048000 | #Constraints: 83767 3027.18/3034.26 c #Conflicts: 2049000 | #Constraints: 84767 3027.18/3034.26 c #Conflicts: 2050000 | #Constraints: 85767 3027.18/3034.26 c INPROCESSING 3027.18/3034.26 c GARBAGE COLLECT 3027.18/3034.26 c rational objective 64 3078.27/3085.41 c #Conflicts: 2051000 | #Constraints: 58346 3078.27/3085.41 c #Conflicts: 2052000 | #Constraints: 59346 3078.27/3085.41 c #Conflicts: 2053000 | #Constraints: 60346 3078.27/3085.41 c #Conflicts: 2054000 | #Constraints: 61346 3078.27/3085.41 c #Conflicts: 2055000 | #Constraints: 62346 3078.27/3085.41 c #Conflicts: 2056000 | #Constraints: 63346 3078.27/3085.41 c #Conflicts: 2057000 | #Constraints: 64346 3078.27/3085.41 c #Conflicts: 2058000 | #Constraints: 65346 3078.27/3085.41 c #Conflicts: 2059000 | #Constraints: 66346 3078.27/3085.41 c #Conflicts: 2060000 | #Constraints: 67346 3078.27/3085.41 c #Conflicts: 2061000 | #Constraints: 68346 3078.27/3085.41 c #Conflicts: 2062000 | #Constraints: 69346 3078.27/3085.41 c #Conflicts: 2063000 | #Constraints: 70346 3078.27/3085.41 c #Conflicts: 2064000 | #Constraints: 71346 3078.27/3085.41 c #Conflicts: 2065000 | #Constraints: 72346 3078.27/3085.41 c #Conflicts: 2066000 | #Constraints: 73346 3078.27/3085.41 c #Conflicts: 2067000 | #Constraints: 74346 3078.27/3085.41 c #Conflicts: 2068000 | #Constraints: 75346 3078.27/3085.41 c #Conflicts: 2069000 | #Constraints: 76346 3078.27/3085.41 c #Conflicts: 2070000 | #Constraints: 77346 3078.27/3085.41 c #Conflicts: 2071000 | #Constraints: 78346 3078.27/3085.41 c #Conflicts: 2072000 | #Constraints: 79346 3078.27/3085.41 c #Conflicts: 2073000 | #Constraints: 80346 3078.27/3085.41 c #Conflicts: 2074000 | #Constraints: 81346 3078.27/3085.41 c #Conflicts: 2075000 | #Constraints: 82346 3078.27/3085.41 c #Conflicts: 2076000 | #Constraints: 83346 3078.27/3085.41 c #Conflicts: 2077000 | #Constraints: 84346 3078.27/3085.41 c #Conflicts: 2078000 | #Constraints: 85346 3078.27/3085.41 c #Conflicts: 2079000 | #Constraints: 86346 3078.27/3085.41 c INPROCESSING 3078.27/3085.41 c GARBAGE COLLECT 3078.27/3085.41 c rational objective 64 3110.70/3117.99 c #Conflicts: 2080000 | #Constraints: 58762 3110.70/3117.99 c #Conflicts: 2081000 | #Constraints: 59762 3110.70/3117.99 c #Conflicts: 2082000 | #Constraints: 60762 3110.70/3117.99 c #Conflicts: 2083000 | #Constraints: 61762 3110.70/3117.99 c #Conflicts: 2084000 | #Constraints: 62762 3110.70/3117.99 c #Conflicts: 2085000 | #Constraints: 63762 3110.70/3117.99 c #Conflicts: 2086000 | #Constraints: 64762 3110.70/3117.99 c #Conflicts: 2087000 | #Constraints: 65762 3110.70/3117.99 c #Conflicts: 2088000 | #Constraints: 66762 3110.70/3117.99 c #Conflicts: 2089000 | #Constraints: 67762 3110.70/3117.99 c #Conflicts: 2090000 | #Constraints: 68762 3110.70/3117.99 c #Conflicts: 2091000 | #Constraints: 69762 3110.70/3117.99 c #Conflicts: 2092000 | #Constraints: 70762 3110.70/3117.99 c #Conflicts: 2093000 | #Constraints: 71762 3110.70/3117.99 c #Conflicts: 2094000 | #Constraints: 72762 3110.70/3117.99 c #Conflicts: 2095000 | #Constraints: 73762 3110.70/3117.99 c #Conflicts: 2096000 | #Constraints: 74762 3110.70/3117.99 c #Conflicts: 2097000 | #Constraints: 75762 3110.70/3117.99 c #Conflicts: 2098000 | #Constraints: 76762 3110.70/3117.99 c #Conflicts: 2099000 | #Constraints: 77762 3110.70/3117.99 c #Conflicts: 2100000 | #Constraints: 78762 3110.70/3117.99 c #Conflicts: 2101000 | #Constraints: 79762 3110.70/3117.99 c #Conflicts: 2102000 | #Constraints: 80762 3110.70/3117.99 c #Conflicts: 2103000 | #Constraints: 81762 3110.70/3117.99 c #Conflicts: 2104000 | #Constraints: 82762 3110.70/3117.99 c #Conflicts: 2105000 | #Constraints: 83762 3110.70/3117.99 c #Conflicts: 2106000 | #Constraints: 84762 3110.70/3117.99 c #Conflicts: 2107000 | #Constraints: 85762 3110.70/3117.99 c #Conflicts: 2108000 | #Constraints: 86762 3110.70/3117.99 c INPROCESSING 3110.70/3117.99 c GARBAGE COLLECT 3110.70/3117.99 c rational objective 64 3145.62/3153.00 c #Conflicts: 2109000 | #Constraints: 58959 3145.62/3153.00 c #Conflicts: 2110000 | #Constraints: 59959 3145.62/3153.00 c #Conflicts: 2111000 | #Constraints: 60959 3145.62/3153.00 c #Conflicts: 2112000 | #Constraints: 61959 3145.62/3153.00 c #Conflicts: 2113000 | #Constraints: 62959 3145.62/3153.00 c #Conflicts: 2114000 | #Constraints: 63959 3145.62/3153.00 c #Conflicts: 2115000 | #Constraints: 64959 3145.62/3153.00 c #Conflicts: 2116000 | #Constraints: 65959 3145.62/3153.00 c #Conflicts: 2117000 | #Constraints: 66959 3145.62/3153.00 c #Conflicts: 2118000 | #Constraints: 67959 3145.62/3153.00 c #Conflicts: 2119000 | #Constraints: 68959 3145.62/3153.00 c #Conflicts: 2120000 | #Constraints: 69959 3145.62/3153.00 c #Conflicts: 2121000 | #Constraints: 70959 3145.62/3153.00 c #Conflicts: 2122000 | #Constraints: 71959 3145.62/3153.00 c #Conflicts: 2123000 | #Constraints: 72959 3145.62/3153.00 c #Conflicts: 2124000 | #Constraints: 73959 3145.62/3153.00 c #Conflicts: 2125000 | #Constraints: 74959 3145.62/3153.00 c #Conflicts: 2126000 | #Constraints: 75959 3145.62/3153.00 c #Conflicts: 2127000 | #Constraints: 76959 3145.62/3153.00 c #Conflicts: 2128000 | #Constraints: 77959 3145.62/3153.00 c #Conflicts: 2129000 | #Constraints: 78959 3145.62/3153.00 c #Conflicts: 2130000 | #Constraints: 79959 3145.62/3153.00 c #Conflicts: 2131000 | #Constraints: 80959 3145.62/3153.00 c #Conflicts: 2132000 | #Constraints: 81959 3145.62/3153.00 c #Conflicts: 2133000 | #Constraints: 82959 3145.62/3153.00 c #Conflicts: 2134000 | #Constraints: 83959 3145.62/3153.00 c #Conflicts: 2135000 | #Constraints: 84959 3145.62/3153.00 c #Conflicts: 2136000 | #Constraints: 85959 3145.62/3153.00 c #Conflicts: 2137000 | #Constraints: 86959 3145.62/3153.00 c INPROCESSING 3145.62/3153.00 c GARBAGE COLLECT 3145.62/3153.00 c rational objective 64 3180.23/3187.69 c #Conflicts: 2138000 | #Constraints: 58940 3180.23/3187.69 c #Conflicts: 2139000 | #Constraints: 59940 3180.23/3187.69 c #Conflicts: 2140000 | #Constraints: 60940 3180.23/3187.69 c #Conflicts: 2141000 | #Constraints: 61940 3180.23/3187.69 c #Conflicts: 2142000 | #Constraints: 62940 3180.23/3187.69 c #Conflicts: 2143000 | #Constraints: 63940 3180.23/3187.69 c #Conflicts: 2144000 | #Constraints: 64940 3180.23/3187.69 c #Conflicts: 2145000 | #Constraints: 65940 3180.23/3187.69 c #Conflicts: 2146000 | #Constraints: 66940 3180.23/3187.69 c #Conflicts: 2147000 | #Constraints: 67940 3180.23/3187.69 c #Conflicts: 2148000 | #Constraints: 68940 3180.23/3187.69 c #Conflicts: 2149000 | #Constraints: 69940 3180.23/3187.69 c #Conflicts: 2150000 | #Constraints: 70940 3180.23/3187.69 c #Conflicts: 2151000 | #Constraints: 71940 3180.23/3187.69 c #Conflicts: 2152000 | #Constraints: 72940 3180.23/3187.69 c #Conflicts: 2153000 | #Constraints: 73940 3180.23/3187.69 c #Conflicts: 2154000 | #Constraints: 74940 3180.23/3187.69 c #Conflicts: 2155000 | #Constraints: 75940 3180.23/3187.69 c #Conflicts: 2156000 | #Constraints: 76940 3180.23/3187.69 c #Conflicts: 2157000 | #Constraints: 77940 3180.23/3187.69 c #Conflicts: 2158000 | #Constraints: 78940 3180.23/3187.69 c #Conflicts: 2159000 | #Constraints: 79940 3180.23/3187.69 c #Conflicts: 2160000 | #Constraints: 80940 3180.23/3187.69 c #Conflicts: 2161000 | #Constraints: 81940 3180.23/3187.69 c #Conflicts: 2162000 | #Constraints: 82940 3180.23/3187.69 c #Conflicts: 2163000 | #Constraints: 83940 3180.23/3187.69 c #Conflicts: 2164000 | #Constraints: 84940 3180.23/3187.69 c #Conflicts: 2165000 | #Constraints: 85940 3180.23/3187.69 c #Conflicts: 2166000 | #Constraints: 86940 3180.23/3187.69 c INPROCESSING 3180.23/3187.69 c GARBAGE COLLECT 3180.23/3187.69 c rational objective 64 3248.18/3255.74 c #Conflicts: 2167000 | #Constraints: 58741 3248.18/3255.74 c #Conflicts: 2168000 | #Constraints: 59741 3248.18/3255.74 c #Conflicts: 2169000 | #Constraints: 60741 3248.18/3255.74 c #Conflicts: 2170000 | #Constraints: 61741 3248.18/3255.74 c #Conflicts: 2171000 | #Constraints: 62741 3248.18/3255.74 c #Conflicts: 2172000 | #Constraints: 63741 3248.18/3255.74 c #Conflicts: 2173000 | #Constraints: 64741 3248.18/3255.74 c #Conflicts: 2174000 | #Constraints: 65741 3248.18/3255.74 c #Conflicts: 2175000 | #Constraints: 66741 3248.18/3255.74 c #Conflicts: 2176000 | #Constraints: 67741 3248.18/3255.74 c #Conflicts: 2177000 | #Constraints: 68741 3248.18/3255.74 c #Conflicts: 2178000 | #Constraints: 69741 3248.18/3255.74 c #Conflicts: 2179000 | #Constraints: 70741 3248.18/3255.74 c #Conflicts: 2180000 | #Constraints: 71741 3248.18/3255.74 c #Conflicts: 2181000 | #Constraints: 72741 3248.18/3255.74 c #Conflicts: 2182000 | #Constraints: 73741 3248.18/3255.74 c #Conflicts: 2183000 | #Constraints: 74741 3248.18/3255.74 c #Conflicts: 2184000 | #Constraints: 75741 3248.18/3255.74 c #Conflicts: 2185000 | #Constraints: 76741 3248.18/3255.74 c #Conflicts: 2186000 | #Constraints: 77741 3248.18/3255.74 c #Conflicts: 2187000 | #Constraints: 78741 3248.18/3255.74 c #Conflicts: 2188000 | #Constraints: 79741 3248.18/3255.74 c #Conflicts: 2189000 | #Constraints: 80741 3248.18/3255.74 c #Conflicts: 2190000 | #Constraints: 81741 3248.18/3255.74 c #Conflicts: 2191000 | #Constraints: 82741 3248.18/3255.74 c #Conflicts: 2192000 | #Constraints: 83741 3248.18/3255.74 c #Conflicts: 2193000 | #Constraints: 84741 3248.18/3255.74 c #Conflicts: 2194000 | #Constraints: 85741 3248.18/3255.74 c #Conflicts: 2195000 | #Constraints: 86741 3248.18/3255.74 c #Conflicts: 2196000 | #Constraints: 87741 3248.18/3255.74 c INPROCESSING 3248.18/3255.74 c GARBAGE COLLECT 3248.18/3255.74 c rational objective 64 3278.01/3285.68 c #Conflicts: 2197000 | #Constraints: 59344 3278.01/3285.68 c #Conflicts: 2198000 | #Constraints: 60344 3278.01/3285.68 c #Conflicts: 2199000 | #Constraints: 61344 3278.01/3285.68 c #Conflicts: 2200000 | #Constraints: 62344 3278.01/3285.68 c #Conflicts: 2201000 | #Constraints: 63344 3278.01/3285.68 c #Conflicts: 2202000 | #Constraints: 64344 3278.01/3285.68 c #Conflicts: 2203000 | #Constraints: 65344 3278.01/3285.68 c #Conflicts: 2204000 | #Constraints: 66344 3278.01/3285.68 c #Conflicts: 2205000 | #Constraints: 67344 3278.01/3285.68 c #Conflicts: 2206000 | #Constraints: 68344 3278.01/3285.68 c #Conflicts: 2207000 | #Constraints: 69344 3278.01/3285.68 c #Conflicts: 2208000 | #Constraints: 70344 3278.01/3285.68 c #Conflicts: 2209000 | #Constraints: 71344 3278.01/3285.68 c #Conflicts: 2210000 | #Constraints: 72344 3278.01/3285.68 c #Conflicts: 2211000 | #Constraints: 73344 3278.01/3285.68 c #Conflicts: 2212000 | #Constraints: 74344 3278.01/3285.68 c #Conflicts: 2213000 | #Constraints: 75344 3278.01/3285.68 c #Conflicts: 2214000 | #Constraints: 76344 3278.01/3285.68 c #Conflicts: 2215000 | #Constraints: 77344 3278.01/3285.68 c #Conflicts: 2216000 | #Constraints: 78344 3278.01/3285.68 c #Conflicts: 2217000 | #Constraints: 79344 3278.01/3285.68 c #Conflicts: 2218000 | #Constraints: 80344 3278.01/3285.68 c #Conflicts: 2219000 | #Constraints: 81344 3278.01/3285.68 c #Conflicts: 2220000 | #Constraints: 82344 3278.01/3285.68 c #Conflicts: 2221000 | #Constraints: 83344 3278.01/3285.68 c #Conflicts: 2222000 | #Constraints: 84344 3278.01/3285.68 c #Conflicts: 2223000 | #Constraints: 85344 3278.01/3285.68 c #Conflicts: 2224000 | #Constraints: 86344 3278.01/3285.68 c #Conflicts: 2225000 | #Constraints: 87344 3278.01/3285.68 c #Conflicts: 2226000 | #Constraints: 88344 3278.01/3285.68 c INPROCESSING 3278.01/3285.68 c GARBAGE COLLECT 3278.01/3285.68 c rational objective 64 3320.82/3328.54 c #Conflicts: 2227000 | #Constraints: 59763 3320.82/3328.54 c #Conflicts: 2228000 | #Constraints: 60763 3320.82/3328.54 c #Conflicts: 2229000 | #Constraints: 61763 3320.82/3328.54 c #Conflicts: 2230000 | #Constraints: 62763 3320.82/3328.54 c #Conflicts: 2231000 | #Constraints: 63763 3320.82/3328.54 c #Conflicts: 2232000 | #Constraints: 64763 3320.82/3328.54 c #Conflicts: 2233000 | #Constraints: 65763 3320.82/3328.54 c #Conflicts: 2234000 | #Constraints: 66763 3320.82/3328.54 c #Conflicts: 2235000 | #Constraints: 67763 3320.82/3328.54 c #Conflicts: 2236000 | #Constraints: 68763 3320.82/3328.54 c #Conflicts: 2237000 | #Constraints: 69763 3320.82/3328.54 c #Conflicts: 2238000 | #Constraints: 70763 3320.82/3328.54 c #Conflicts: 2239000 | #Constraints: 71763 3320.82/3328.54 c #Conflicts: 2240000 | #Constraints: 72763 3320.82/3328.54 c #Conflicts: 2241000 | #Constraints: 73763 3320.82/3328.54 c #Conflicts: 2242000 | #Constraints: 74763 3320.82/3328.54 c #Conflicts: 2243000 | #Constraints: 75763 3320.82/3328.54 c #Conflicts: 2244000 | #Constraints: 76763 3320.82/3328.54 c #Conflicts: 2245000 | #Constraints: 77763 3320.82/3328.54 c #Conflicts: 2246000 | #Constraints: 78763 3320.82/3328.54 c #Conflicts: 2247000 | #Constraints: 79763 3320.82/3328.54 c #Conflicts: 2248000 | #Constraints: 80763 3320.82/3328.54 c #Conflicts: 2249000 | #Constraints: 81763 3320.82/3328.54 c #Conflicts: 2250000 | #Constraints: 82763 3320.82/3328.54 c #Conflicts: 2251000 | #Constraints: 83763 3320.82/3328.54 c #Conflicts: 2252000 | #Constraints: 84763 3320.82/3328.54 c #Conflicts: 2253000 | #Constraints: 85763 3320.82/3328.54 c #Conflicts: 2254000 | #Constraints: 86763 3320.82/3328.54 c #Conflicts: 2255000 | #Constraints: 87763 3320.82/3328.54 c #Conflicts: 2256000 | #Constraints: 88763 3320.82/3328.54 c INPROCESSING 3320.82/3328.54 c GARBAGE COLLECT 3320.82/3328.54 c rational objective 64 3373.10/3380.93 c #Conflicts: 2257000 | #Constraints: 59950 3373.10/3380.93 c #Conflicts: 2258000 | #Constraints: 60950 3373.10/3380.93 c #Conflicts: 2259000 | #Constraints: 61950 3373.10/3380.93 c #Conflicts: 2260000 | #Constraints: 62950 3373.10/3380.93 c #Conflicts: 2261000 | #Constraints: 63950 3373.10/3380.93 c #Conflicts: 2262000 | #Constraints: 64950 3373.10/3380.93 c #Conflicts: 2263000 | #Constraints: 65950 3373.10/3380.93 c #Conflicts: 2264000 | #Constraints: 66950 3373.10/3380.93 c #Conflicts: 2265000 | #Constraints: 67950 3373.10/3380.93 c #Conflicts: 2266000 | #Constraints: 68950 3373.10/3380.93 c #Conflicts: 2267000 | #Constraints: 69950 3373.10/3380.93 c #Conflicts: 2268000 | #Constraints: 70950 3373.10/3380.93 c #Conflicts: 2269000 | #Constraints: 71950 3373.10/3380.93 c #Conflicts: 2270000 | #Constraints: 72950 3373.10/3380.93 c #Conflicts: 2271000 | #Constraints: 73950 3373.10/3380.93 c #Conflicts: 2272000 | #Constraints: 74950 3373.10/3380.93 c #Conflicts: 2273000 | #Constraints: 75950 3373.10/3380.93 c #Conflicts: 2274000 | #Constraints: 76950 3373.10/3380.93 c #Conflicts: 2275000 | #Constraints: 77950 3373.10/3380.93 c #Conflicts: 2276000 | #Constraints: 78950 3373.10/3380.93 c #Conflicts: 2277000 | #Constraints: 79950 3373.10/3380.93 c #Conflicts: 2278000 | #Constraints: 80950 3373.10/3380.93 c #Conflicts: 2279000 | #Constraints: 81951 3373.10/3380.93 c #Conflicts: 2280000 | #Constraints: 82951 3373.10/3380.93 c #Conflicts: 2281000 | #Constraints: 83951 3373.10/3380.93 c #Conflicts: 2282000 | #Constraints: 84951 3373.10/3380.93 c #Conflicts: 2283000 | #Constraints: 85951 3373.10/3380.93 c #Conflicts: 2284000 | #Constraints: 86951 3373.10/3380.93 c #Conflicts: 2285000 | #Constraints: 87951 3373.10/3380.93 c #Conflicts: 2286000 | #Constraints: 88951 3373.10/3380.93 c INPROCESSING 3373.10/3380.93 c GARBAGE COLLECT 3373.10/3380.93 c rational objective 64 3405.23/3413.18 c #Conflicts: 2287000 | #Constraints: 59963 3405.23/3413.18 c #Conflicts: 2288000 | #Constraints: 60963 3405.23/3413.18 c #Conflicts: 2289000 | #Constraints: 61963 3405.23/3413.18 c #Conflicts: 2290000 | #Constraints: 62963 3405.23/3413.18 c #Conflicts: 2291000 | #Constraints: 63963 3405.23/3413.18 c #Conflicts: 2292000 | #Constraints: 64963 3405.23/3413.18 c #Conflicts: 2293000 | #Constraints: 65963 3405.23/3413.18 c #Conflicts: 2294000 | #Constraints: 66963 3405.23/3413.18 c #Conflicts: 2295000 | #Constraints: 67963 3405.23/3413.18 c #Conflicts: 2296000 | #Constraints: 68963 3405.23/3413.18 c #Conflicts: 2297000 | #Constraints: 69963 3405.23/3413.18 c #Conflicts: 2298000 | #Constraints: 70963 3405.23/3413.18 c #Conflicts: 2299000 | #Constraints: 71963 3405.23/3413.18 c #Conflicts: 2300000 | #Constraints: 72963 3405.23/3413.18 c #Conflicts: 2301000 | #Constraints: 73963 3405.23/3413.18 c #Conflicts: 2302000 | #Constraints: 74963 3405.23/3413.18 c #Conflicts: 2303000 | #Constraints: 75963 3405.23/3413.18 c #Conflicts: 2304000 | #Constraints: 76963 3405.23/3413.18 c #Conflicts: 2305000 | #Constraints: 77963 3405.23/3413.18 c #Conflicts: 2306000 | #Constraints: 78963 3405.23/3413.18 c #Conflicts: 2307000 | #Constraints: 79963 3405.23/3413.18 c #Conflicts: 2308000 | #Constraints: 80963 3405.23/3413.18 c #Conflicts: 2309000 | #Constraints: 81963 3405.23/3413.18 c #Conflicts: 2310000 | #Constraints: 82963 3405.23/3413.18 c #Conflicts: 2311000 | #Constraints: 83963 3405.23/3413.18 c #Conflicts: 2312000 | #Constraints: 84963 3405.23/3413.18 c #Conflicts: 2313000 | #Constraints: 85963 3405.23/3413.18 c #Conflicts: 2314000 | #Constraints: 86963 3405.23/3413.18 c #Conflicts: 2315000 | #Constraints: 87963 3405.23/3413.18 c #Conflicts: 2316000 | #Constraints: 88963 3405.23/3413.18 c INPROCESSING 3405.23/3413.18 c GARBAGE COLLECT 3405.23/3413.18 c rational objective 64 3428.87/3436.89 c #Conflicts: 2317000 | #Constraints: 59758 3428.87/3436.89 c #Conflicts: 2318000 | #Constraints: 60758 3428.87/3436.89 c #Conflicts: 2319000 | #Constraints: 61758 3428.87/3436.89 c #Conflicts: 2320000 | #Constraints: 62758 3428.87/3436.89 c #Conflicts: 2321000 | #Constraints: 63758 3428.87/3436.89 c #Conflicts: 2322000 | #Constraints: 64758 3428.87/3436.89 c #Conflicts: 2323000 | #Constraints: 65758 3428.87/3436.89 c #Conflicts: 2324000 | #Constraints: 66758 3428.87/3436.89 c #Conflicts: 2325000 | #Constraints: 67758 3428.87/3436.89 c #Conflicts: 2326000 | #Constraints: 68758 3428.87/3436.89 c #Conflicts: 2327000 | #Constraints: 69758 3428.87/3436.89 c #Conflicts: 2328000 | #Constraints: 70758 3428.87/3436.89 c #Conflicts: 2329000 | #Constraints: 71758 3428.87/3436.89 c #Conflicts: 2330000 | #Constraints: 72758 3428.87/3436.89 c #Conflicts: 2331000 | #Constraints: 73758 3428.87/3436.89 c #Conflicts: 2332000 | #Constraints: 74758 3428.87/3436.89 c #Conflicts: 2333000 | #Constraints: 75758 3428.87/3436.89 c #Conflicts: 2334000 | #Constraints: 76758 3428.87/3436.89 c #Conflicts: 2335000 | #Constraints: 77758 3428.87/3436.89 c #Conflicts: 2336000 | #Constraints: 78758 3428.87/3436.89 c #Conflicts: 2337000 | #Constraints: 79758 3428.87/3436.89 c #Conflicts: 2338000 | #Constraints: 80758 3428.87/3436.89 c #Conflicts: 2339000 | #Constraints: 81758 3428.87/3436.89 c #Conflicts: 2340000 | #Constraints: 82758 3428.87/3436.89 c #Conflicts: 2341000 | #Constraints: 83758 3428.87/3436.89 c #Conflicts: 2342000 | #Constraints: 84758 3428.87/3436.89 c #Conflicts: 2343000 | #Constraints: 85758 3428.87/3436.89 c #Conflicts: 2344000 | #Constraints: 86758 3428.87/3436.89 c #Conflicts: 2345000 | #Constraints: 87758 3428.87/3436.89 c #Conflicts: 2346000 | #Constraints: 88758 3428.87/3436.89 c #Conflicts: 2347000 | #Constraints: 89758 3428.87/3436.89 c INPROCESSING 3428.87/3436.89 c GARBAGE COLLECT 3428.87/3436.89 c rational objective 64 3459.41/3467.44 c #Conflicts: 2348000 | #Constraints: 60362 3459.41/3467.44 c #Conflicts: 2349000 | #Constraints: 61362 3459.41/3467.44 c #Conflicts: 2350000 | #Constraints: 62362 3459.41/3467.44 c #Conflicts: 2351000 | #Constraints: 63362 3459.41/3467.44 c #Conflicts: 2352000 | #Constraints: 64362 3459.41/3467.44 c #Conflicts: 2353000 | #Constraints: 65362 3459.41/3467.44 c #Conflicts: 2354000 | #Constraints: 66362 3459.41/3467.44 c #Conflicts: 2355000 | #Constraints: 67362 3459.41/3467.44 c #Conflicts: 2356000 | #Constraints: 68362 3459.41/3467.44 c #Conflicts: 2357000 | #Constraints: 69362 3459.41/3467.44 c #Conflicts: 2358000 | #Constraints: 70362 3459.41/3467.44 c #Conflicts: 2359000 | #Constraints: 71362 3459.41/3467.44 c #Conflicts: 2360000 | #Constraints: 72362 3459.41/3467.44 c #Conflicts: 2361000 | #Constraints: 73362 3459.41/3467.44 c #Conflicts: 2362000 | #Constraints: 74362 3459.41/3467.44 c #Conflicts: 2363000 | #Constraints: 75362 3459.41/3467.44 c #Conflicts: 2364000 | #Constraints: 76362 3459.41/3467.44 c #Conflicts: 2365000 | #Constraints: 77362 3459.41/3467.44 c #Conflicts: 2366000 | #Constraints: 78362 3459.41/3467.44 c #Conflicts: 2367000 | #Constraints: 79362 3459.41/3467.44 c #Conflicts: 2368000 | #Constraints: 80362 3459.41/3467.44 c #Conflicts: 2369000 | #Constraints: 81362 3459.41/3467.44 c #Conflicts: 2370000 | #Constraints: 82362 3459.41/3467.44 c #Conflicts: 2371000 | #Constraints: 83362 3459.41/3467.44 c #Conflicts: 2372000 | #Constraints: 84362 3459.41/3467.44 c #Conflicts: 2373000 | #Constraints: 85362 3459.41/3467.44 c #Conflicts: 2374000 | #Constraints: 86362 3459.41/3467.44 c #Conflicts: 2375000 | #Constraints: 87362 3459.41/3467.44 c #Conflicts: 2376000 | #Constraints: 88362 3459.41/3467.44 c #Conflicts: 2377000 | #Constraints: 89362 3459.41/3467.44 c #Conflicts: 2378000 | #Constraints: 90362 3459.41/3467.44 c INPROCESSING 3459.41/3467.44 c GARBAGE COLLECT 3459.41/3467.44 c rational objective 64 3528.65/3536.82 c #Conflicts: 2379000 | #Constraints: 60756 3528.65/3536.82 c #Conflicts: 2380000 | #Constraints: 61756 3528.65/3536.82 c #Conflicts: 2381000 | #Constraints: 62756 3528.65/3536.82 c #Conflicts: 2382000 | #Constraints: 63756 3528.65/3536.82 c #Conflicts: 2383000 | #Constraints: 64756 3528.65/3536.82 c #Conflicts: 2384000 | #Constraints: 65756 3528.65/3536.82 c #Conflicts: 2385000 | #Constraints: 66756 3528.65/3536.82 c #Conflicts: 2386000 | #Constraints: 67756 3528.65/3536.82 c #Conflicts: 2387000 | #Constraints: 68756 3528.65/3536.82 c #Conflicts: 2388000 | #Constraints: 69756 3528.65/3536.82 c #Conflicts: 2389000 | #Constraints: 70756 3528.65/3536.82 c #Conflicts: 2390000 | #Constraints: 71756 3528.65/3536.82 c #Conflicts: 2391000 | #Constraints: 72756 3528.65/3536.82 c #Conflicts: 2392000 | #Constraints: 73756 3528.65/3536.82 c #Conflicts: 2393000 | #Constraints: 74756 3528.65/3536.82 c #Conflicts: 2394000 | #Constraints: 75756 3528.65/3536.82 c #Conflicts: 2395000 | #Constraints: 76756 3528.65/3536.82 c #Conflicts: 2396000 | #Constraints: 77756 3528.65/3536.82 c #Conflicts: 2397000 | #Constraints: 78756 3528.65/3536.82 c #Conflicts: 2398000 | #Constraints: 79756 3528.65/3536.82 c #Conflicts: 2399000 | #Constraints: 80756 3528.65/3536.82 c #Conflicts: 2400000 | #Constraints: 81756 3528.65/3536.82 c #Conflicts: 2401000 | #Constraints: 82756 3528.65/3536.82 c #Conflicts: 2402000 | #Constraints: 83756 3528.65/3536.82 c #Conflicts: 2403000 | #Constraints: 84756 3528.65/3536.82 c #Conflicts: 2404000 | #Constraints: 85756 3528.65/3536.82 c #Conflicts: 2405000 | #Constraints: 86756 3528.65/3536.82 c #Conflicts: 2406000 | #Constraints: 87756 3528.65/3536.82 c #Conflicts: 2407000 | #Constraints: 88756 3528.65/3536.82 c #Conflicts: 2408000 | #Constraints: 89756 3528.65/3536.82 c #Conflicts: 2409000 | #Constraints: 90756 3528.65/3536.82 c INPROCESSING 3528.65/3536.82 c GARBAGE COLLECT 3528.65/3536.82 c rational objective 64 3587.83/3596.15 c #Conflicts: 2410000 | #Constraints: 60966 3587.83/3596.15 c #Conflicts: 2411000 | #Constraints: 61966 3587.83/3596.15 c #Conflicts: 2412000 | #Constraints: 62966 3587.83/3596.15 c #Conflicts: 2413000 | #Constraints: 63966 3587.83/3596.15 c #Conflicts: 2414000 | #Constraints: 64966 3587.83/3596.15 c #Conflicts: 2415000 | #Constraints: 65966 3587.83/3596.15 c #Conflicts: 2416000 | #Constraints: 66966 3587.83/3596.15 c #Conflicts: 2417000 | #Constraints: 67966 3587.83/3596.15 c #Conflicts: 2418000 | #Constraints: 68966 3587.83/3596.15 c #Conflicts: 2419000 | #Constraints: 69966 3587.83/3596.15 c #Conflicts: 2420000 | #Constraints: 70966 3587.83/3596.15 c #Conflicts: 2421000 | #Constraints: 71966 3587.83/3596.15 c #Conflicts: 2422000 | #Constraints: 72966 3587.83/3596.15 c #Conflicts: 2423000 | #Constraints: 73966 3587.83/3596.15 c #Conflicts: 2424000 | #Constraints: 74966 3587.83/3596.15 c #Conflicts: 2425000 | #Constraints: 75966 3587.83/3596.15 c #Conflicts: 2426000 | #Constraints: 76966 3587.83/3596.15 c #Conflicts: 2427000 | #Constraints: 77966 3587.83/3596.15 c #Conflicts: 2428000 | #Constraints: 78966 3587.83/3596.15 c #Conflicts: 2429000 | #Constraints: 79966 3587.83/3596.15 c #Conflicts: 2430000 | #Constraints: 80966 3587.83/3596.15 c #Conflicts: 2431000 | #Constraints: 81966 3587.83/3596.15 c #Conflicts: 2432000 | #Constraints: 82966 3587.83/3596.15 c #Conflicts: 2433000 | #Constraints: 83966 3587.83/3596.15 c #Conflicts: 2434000 | #Constraints: 84966 3587.83/3596.15 c #Conflicts: 2435000 | #Constraints: 85966 3587.83/3596.15 c #Conflicts: 2436000 | #Constraints: 86966 3587.83/3596.15 c #Conflicts: 2437000 | #Constraints: 87966 3587.83/3596.15 c #Conflicts: 2438000 | #Constraints: 88966 3587.83/3596.15 c #Conflicts: 2439000 | #Constraints: 89966 3587.83/3596.15 c #Conflicts: 2440000 | #Constraints: 90966 3587.83/3596.15 c INPROCESSING 3587.83/3596.15 c GARBAGE COLLECT 3587.83/3596.15 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: 63968 MiB (56288 MiB free)
memory of node 1: 64473 MiB (54835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455408-1721465255/watcher-4455408-1721465255 -o /tmp/evaluation-result-4455408-1721465255/solver-4455408-1721465255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455408-1721465255.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059954, runsolver pid=1059951
[startup+0.100639 s]*
/proc/loadavg: 4.10 4.12 4.09 6/254 1059955
/proc/meminfo: memFree=113765188/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=62496 memory=34396 CPUtime=0.1 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 6660 0 0 0 7 3 0 0 20 0 1 0 198691698 63995904 8599 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 15624 8599 1635 922 0 7576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62496 KiB
Current children cumulated memory: 34396 KiB
[startup+0.205823 s]*
/proc/loadavg: 4.10 4.12 4.09 5/254 1059955
/proc/meminfo: memFree=113762704/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=59476 memory=31544 CPUtime=0.2 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 7144 0 0 0 17 3 0 0 20 0 1 0 198691698 60903424 7886 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 14869 7886 1635 922 0 6821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59476 KiB
Current children cumulated memory: 31544 KiB
[startup+0.305507 s]*
/proc/loadavg: 4.10 4.12 4.09 5/254 1059955
/proc/meminfo: memFree=113760512/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=60520 memory=31544 CPUtime=0.3 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 7159 0 0 0 27 3 0 0 20 0 1 0 198691698 61972480 7886 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 15130 7886 1635 922 0 7082 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60520 KiB
Current children cumulated memory: 31544 KiB
[startup+0.700197 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1059955
/proc/meminfo: memFree=113757904/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=61476 memory=32872 CPUtime=0.69 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 7348 0 0 0 60 9 0 0 20 0 1 0 198691698 62951424 8218 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 15369 8218 1779 922 0 7321 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 32872 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1059955
/proc/meminfo: memFree=113755572/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=62372 memory=34452 CPUtime=1.48 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 7749 0 0 0 137 11 0 0 20 0 1 0 198691698 63868928 8613 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 15593 8613 1779 922 0 7545 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62372 KiB
Current children cumulated memory: 34452 KiB
[startup+3.10539 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1059955
/proc/meminfo: memFree=113732620/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=64896 memory=36828 CPUtime=3.08 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 8313 0 0 0 296 12 0 0 20 0 1 0 198691698 66453504 9207 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 16224 9207 1779 922 0 8176 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64896 KiB
Current children cumulated memory: 36828 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1059955
/proc/meminfo: memFree=113711720/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=66060 memory=37888 CPUtime=6.28 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 8907 0 0 0 594 34 0 0 20 0 1 0 198691698 67645440 9472 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 16515 9472 1856 922 0 8467 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 66060 KiB
Current children cumulated memory: 37888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 1059956
/proc/meminfo: memFree=113693668/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=68900 memory=41320 CPUtime=12.66 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 9761 0 0 0 1217 49 0 0 20 0 1 0 198691698 70553600 10330 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 17225 10330 1856 922 0 9177 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 68900 KiB
Current children cumulated memory: 41320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1059958
/proc/meminfo: memFree=113644120/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=70196 memory=42636 CPUtime=25.43 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 10103 0 0 0 2487 56 0 0 20 0 1 0 198691698 71880704 10659 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 17549 10659 1856 922 0 9501 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 70196 KiB
Current children cumulated memory: 42636 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1059962
/proc/meminfo: memFree=113079680/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=73872 memory=44628 CPUtime=50.98 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 10622 0 0 0 5021 77 0 0 20 0 1 0 198691698 75644928 11157 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 18468 11157 1856 922 0 10420 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 73872 KiB
Current children cumulated memory: 44628 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 1059971
/proc/meminfo: memFree=112801164/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=80848 memory=50436 CPUtime=102.05 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 12083 0 0 0 10083 122 0 0 20 0 1 0 198691698 82788352 12609 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 20212 12609 1856 922 0 12164 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 50436 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 1059986
/proc/meminfo: memFree=112544800/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=83436 memory=54032 CPUtime=161.91 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 13417 0 0 0 16022 169 0 0 20 0 1 0 198691698 85438464 13508 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 20859 13508 1856 922 0 12811 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 83436 KiB
Current children cumulated memory: 54032 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1059998
/proc/meminfo: memFree=112433832/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=88424 memory=58712 CPUtime=221.78 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 14080 0 0 0 21961 217 0 0 20 0 1 0 198691698 90546176 14678 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 22106 14678 1856 922 0 14058 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 88424 KiB
Current children cumulated memory: 58712 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1060008
/proc/meminfo: memFree=112281588/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=88936 memory=58976 CPUtime=281.64 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 14155 0 0 0 27904 260 0 0 20 0 1 0 198691698 91070464 14744 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 22234 14744 1856 922 0 14186 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 88936 KiB
Current children cumulated memory: 58976 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060020
/proc/meminfo: memFree=111920976/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=88936 memory=59240 CPUtime=341.49 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 14207 0 0 0 33842 307 0 0 20 0 1 0 198691698 91070464 14810 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 22234 14810 1856 922 0 14186 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 88936 KiB
Current children cumulated memory: 59240 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1060031
/proc/meminfo: memFree=111863660/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=88936 memory=59240 CPUtime=401.35 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 14209 0 0 0 39772 363 0 0 20 0 1 0 198691698 91070464 14810 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 22234 14810 1856 922 0 14186 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 88936 KiB
Current children cumulated memory: 59240 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 1060425
/proc/meminfo: memFree=111789504/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=89496 memory=59764 CPUtime=461.22 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 14363 0 0 0 45722 400 0 0 20 0 1 0 198691698 91643904 14941 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 22374 14941 1856 922 0 14326 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/254 1062245
/proc/meminfo: memFree=127489628/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=112652 memory=86892 CPUtime=3035.26 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 19575 0 0 0 301199 2327 0 0 20 0 1 0 198691698 115355648 21723 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 28163 21723 1856 922 0 20115 0
Current children cumulated CPU time: 3035.26 s
Current children cumulated vsize: 112652 KiB
Current children cumulated memory: 86892 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/254 1062255
/proc/meminfo: memFree=127479608/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=113656 memory=87876 CPUtime=3095.13 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 19863 0 0 0 307149 2364 0 0 20 0 1 0 198691698 116383744 21969 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 28414 21969 1856 922 0 20366 0
Current children cumulated CPU time: 3095.13 s
Current children cumulated vsize: 113656 KiB
Current children cumulated memory: 87876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/256 1062269
/proc/meminfo: memFree=127466096/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=114884 memory=89428 CPUtime=3155 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20271 0 0 0 313096 2404 0 0 20 0 1 0 198691698 117641216 22357 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 28721 22357 1856 922 0 20673 0
Current children cumulated CPU time: 3155 s
Current children cumulated vsize: 114884 KiB
Current children cumulated memory: 89428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 1062280
/proc/meminfo: memFree=127465112/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=114884 memory=89428 CPUtime=3214.86 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20303 0 0 0 319047 2439 0 0 20 0 1 0 198691698 117641216 22357 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 28721 22357 1856 922 0 20673 0
Current children cumulated CPU time: 3214.86 s
Current children cumulated vsize: 114884 KiB
Current children cumulated memory: 89428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 1062290
/proc/meminfo: memFree=127460100/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=126560 memory=89556 CPUtime=3274.72 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20424 0 0 0 324997 2475 0 0 20 0 1 0 198691698 129597440 22389 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 31640 22389 1856 922 0 23592 0
Current children cumulated CPU time: 3274.72 s
Current children cumulated vsize: 126560 KiB
Current children cumulated memory: 89556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1062301
/proc/meminfo: memFree=127453544/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=127016 memory=91640 CPUtime=3334.59 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20688 0 0 0 330946 2513 0 0 20 0 1 0 198691698 130064384 22910 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 31754 22910 1856 922 0 23706 0
Current children cumulated CPU time: 3334.59 s
Current children cumulated vsize: 127016 KiB
Current children cumulated memory: 91640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 1062313
/proc/meminfo: memFree=127450208/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=127212 memory=91864 CPUtime=3394.45 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20804 0 0 0 336895 2550 0 0 20 0 1 0 198691698 130265088 22966 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 31803 22966 1856 922 0 23755 0
Current children cumulated CPU time: 3394.45 s
Current children cumulated vsize: 127212 KiB
Current children cumulated memory: 91864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.21 4.13 5/255 1062323
/proc/meminfo: memFree=127448348/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=128088 memory=92612 CPUtime=3454.32 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 20999 0 0 0 342823 2609 0 0 20 0 1 0 198691698 131162112 23153 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32022 23153 1856 922 0 23974 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 92612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/255 1062334
/proc/meminfo: memFree=127443628/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=128088 memory=92752 CPUtime=3514.18 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21079 0 0 0 348780 2638 0 0 20 0 1 0 198691698 131162112 23188 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32022 23188 1856 922 0 23974 0
Current children cumulated CPU time: 3514.18 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 92752 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/255 1062344
/proc/meminfo: memFree=127434136/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=128948 memory=93388 CPUtime=3574.05 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21286 0 0 0 354740 2665 0 0 20 0 1 0 198691698 132042752 23347 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32237 23347 1856 922 0 24189 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 128948 KiB
Current children cumulated memory: 93388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.4 s]
/proc/loadavg: 4.29 4.21 4.14 5/255 1062349
/proc/meminfo: memFree=127431796/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=129216 memory=95808 CPUtime=3600.09 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21395 0 0 0 357328 2681 0 0 20 0 1 0 198691698 132317184 23952 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32304 23952 1856 922 0 24256 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 129216 KiB
Current children cumulated memory: 95808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 1059954 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.28 s, system=26.8179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.29 4.21 4.14 5/255 1062351
/proc/meminfo: memFree=127431788/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=129216 memory=95808 CPUtime=3601.29 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21395 0 0 0 357448 2681 0 0 20 0 1 0 198691698 132317184 23952 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32304 23952 1856 922 0 24256 0
Current children cumulated CPU time: 3601.29 s
Current children cumulated vsize: 129216 KiB
Current children cumulated memory: 95808 KiB
[startup+3610 s]*
/proc/loadavg: 4.29 4.21 4.14 5/255 1062351
/proc/meminfo: memFree=127431656/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=129216 memory=95808 CPUtime=3601.69 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21395 0 0 0 357488 2681 0 0 20 0 1 0 198691698 132317184 23952 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32304 23952 1856 922 0 24256 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 129216 KiB
Current children cumulated memory: 95808 KiB
[startup+3610.4 s]
/proc/loadavg: 4.29 4.21 4.14 5/255 1062351
/proc/meminfo: memFree=127431656/131524600 swapFree=131071996/131071996
[pid=1059954] ppid=1059951 vsize=129216 memory=95808 CPUtime=3602.08 cores=1,3
/proc/1059954/stat : 1059954 (roundingsat) R 1059951 1059954 1056492 0 -1 4194304 21395 0 0 0 357527 2681 0 0 20 0 1 0 198691698 132317184 23952 134679101440 4194304 7968373 140736923891600 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 14491648 140736923898812 140736923898976 140736923898976 140736923905993 0
/proc/1059954/statm: 32304 23952 1856 922 0 24256 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 129216 KiB
Current children cumulated memory: 95808 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.4
CPU time (s): 3602.1
CPU user time (s): 3575.28
CPU system time (s): 26.8179
CPU usage (%): 99.77
Max. virtual memory (cumulated for all children) (KiB): 129216
Max. memory (cumulated for all children) (KiB): 95808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.28
system time used= 26.8179
maximum resident set size= 95924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1715
# summary of solver processes directly reported to runsolver:
# pid: 1059954
# total CPU time (s): 3602.1
# total CPU user time (s): 3575.28
# total CPU system time (s): 26.8179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31259 second user time and 15.1569 second system time
The end
Begin job on nodeC026 at 2024-07-20 10:47:48 IDJOB=4455408 IDBENCH=158394 IDSOLVER=3084 FILE ID=nodeC026/4455408-1721465255 RUNJOBID= nodeC026-1721460068-1056504 SLURM_JOB_ID= 7545710 Free space on /tmp= 889976 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455408-1721465255/watcher-4455408-1721465255 -o /tmp/evaluation-result-4455408-1721465255/solver-4455408-1721465255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455408-1721465255.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a RANDOM SEED=768693856 nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.747 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.566 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.902 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.256 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.715 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.611 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.138 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3645.020 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 113791472 kB MemAvailable: 115671408 kB Buffers: 600772 kB Cached: 2109176 kB SwapCached: 0 kB Active: 1215084 kB Inactive: 15845400 kB Active(anon): 1548 kB Inactive(anon): 14394920 kB Active(file): 1213536 kB Inactive(file): 1450480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6388 kB Writeback: 0 kB AnonPages: 14346348 kB Mapped: 116888 kB Shmem: 45912 kB KReclaimable: 111484 kB Slab: 225688 kB SReclaimable: 111484 kB SUnreclaim: 114204 kB KernelStack: 4096 kB PageTables: 37900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 15930392 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 67808 kB HardwareCorrupted: 0 kB AnonHugePages: 5578752 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: 283348 kB DirectMap2M: 33044480 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 890052 MiB End job on nodeC026 at 2024-07-20 11:47:58