| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.06 | 3614.55 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 31fd86554dd2fe3e1cfc98032a9196a9 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 602.754 |
| 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 | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.00 c #variables 120 #constraints 10 0.00/0.00 c bounds - >= 0 @ 0.000451 0.00/0.00 c rational objective 0 0.20/0.28 c bounds 209 >= 0 @ 0.010978 0.20/0.28 c bounds 169 >= 0 @ 0.011166 0.20/0.28 c bounds 133 >= 0 @ 0.011588 0.20/0.28 c bounds 86 >= 0 @ 0.016982 0.20/0.28 c bounds 18 >= 0 @ 0.049826 0.20/0.28 c bounds 14 >= 0 @ 0.050512 0.20/0.28 c bounds 12 >= 0 @ 0.051073 0.20/0.28 c bounds 10 >= 0 @ 0.076456 0.20/0.28 c #Conflicts: 1000 | #Constraints: 1030 0.20/0.28 c #Conflicts: 2000 | #Constraints: 2034 0.20/0.28 c INPROCESSING 0.20/0.28 c GARBAGE COLLECT 0.20/0.28 c rational objective 0 0.59/0.69 c #Conflicts: 3000 | #Constraints: 2033 0.59/0.69 c #Conflicts: 4000 | #Constraints: 3035 0.59/0.69 c INPROCESSING 0.59/0.69 c GARBAGE COLLECT 0.59/0.69 c rational objective 0 1.09/1.16 c #Conflicts: 5000 | #Constraints: 2433 1.09/1.16 c bounds 6 >= 0 @ 0.961443 1.09/1.16 c bounds 4 >= 0 @ 0.96184 1.09/1.16 c #Conflicts: 6000 | #Constraints: 3439 1.09/1.16 c INPROCESSING 1.09/1.16 c GARBAGE COLLECT 1.09/1.16 c rational objective 0 1.58/1.68 c #Conflicts: 7000 | #Constraints: 2434 1.58/1.68 c #Conflicts: 8000 | #Constraints: 3435 1.58/1.68 c #Conflicts: 9000 | #Constraints: 4440 1.58/1.68 c INPROCESSING 1.58/1.68 c GARBAGE COLLECT 1.58/1.68 c rational objective 0 2.29/2.34 c #Conflicts: 10000 | #Constraints: 3134 2.29/2.34 c #Conflicts: 11000 | #Constraints: 4137 2.29/2.34 c #Conflicts: 12000 | #Constraints: 5137 2.29/2.34 c INPROCESSING 2.29/2.34 c GARBAGE COLLECT 2.29/2.34 c rational objective 0 2.98/3.02 c #Conflicts: 13000 | #Constraints: 3585 2.98/3.02 c #Conflicts: 14000 | #Constraints: 4585 2.98/3.02 c #Conflicts: 15000 | #Constraints: 5585 2.98/3.02 c INPROCESSING 2.98/3.02 c GARBAGE COLLECT 2.98/3.02 c rational objective 0 3.78/3.86 c #Conflicts: 16000 | #Constraints: 3809 3.78/3.86 c #Conflicts: 17000 | #Constraints: 4810 3.78/3.86 c #Conflicts: 18000 | #Constraints: 5810 3.78/3.86 c INPROCESSING 3.78/3.86 c GARBAGE COLLECT 3.78/3.86 c rational objective 0 4.68/4.72 c #Conflicts: 19000 | #Constraints: 3824 4.68/4.72 c #Conflicts: 20000 | #Constraints: 4824 4.68/4.72 c #Conflicts: 21000 | #Constraints: 5825 4.68/4.72 c INPROCESSING 4.68/4.72 c GARBAGE COLLECT 4.68/4.72 c rational objective 0 5.78/5.81 c #Conflicts: 22000 | #Constraints: 3626 5.78/5.81 c #Conflicts: 23000 | #Constraints: 4628 5.78/5.81 c #Conflicts: 24000 | #Constraints: 5630 5.78/5.81 c #Conflicts: 25000 | #Constraints: 6632 5.78/5.81 c INPROCESSING 5.78/5.81 c GARBAGE COLLECT 5.78/5.81 c rational objective 0 6.77/6.87 c #Conflicts: 26000 | #Constraints: 4230 6.77/6.87 c #Conflicts: 27000 | #Constraints: 5233 6.77/6.87 c #Conflicts: 28000 | #Constraints: 6235 6.77/6.87 c #Conflicts: 29000 | #Constraints: 7235 6.77/6.87 c INPROCESSING 6.77/6.87 c GARBAGE COLLECT 6.77/6.87 c rational objective 0 8.17/8.20 c #Conflicts: 30000 | #Constraints: 4630 8.17/8.20 c #Conflicts: 31000 | #Constraints: 5630 8.17/8.20 c #Conflicts: 32000 | #Constraints: 6632 8.17/8.20 c #Conflicts: 33000 | #Constraints: 7633 8.17/8.20 c INPROCESSING 8.17/8.20 c GARBAGE COLLECT 8.17/8.20 c rational objective 0 9.46/9.58 c #Conflicts: 34000 | #Constraints: 4831 9.46/9.58 c #Conflicts: 35000 | #Constraints: 5832 9.46/9.58 c #Conflicts: 36000 | #Constraints: 6832 9.46/9.58 c #Conflicts: 37000 | #Constraints: 7832 9.46/9.58 c INPROCESSING 9.46/9.58 c GARBAGE COLLECT 9.46/9.58 c rational objective 0 11.07/11.18 c #Conflicts: 38000 | #Constraints: 4830 11.07/11.18 c #Conflicts: 39000 | #Constraints: 5830 11.07/11.18 c #Conflicts: 40000 | #Constraints: 6830 11.07/11.18 c #Conflicts: 41000 | #Constraints: 7830 11.07/11.18 c INPROCESSING 11.07/11.18 c GARBAGE COLLECT 11.07/11.18 c rational objective 0 12.66/12.71 c #Conflicts: 42000 | #Constraints: 4632 12.66/12.71 c #Conflicts: 43000 | #Constraints: 5633 12.66/12.71 c bounds 2 >= 0 @ 11.4906 12.66/12.71 c #Conflicts: 44000 | #Constraints: 6634 12.66/12.71 c #Conflicts: 45000 | #Constraints: 7636 12.66/12.71 c #Conflicts: 46000 | #Constraints: 8637 12.66/12.71 c INPROCESSING 12.66/12.71 c GARBAGE COLLECT 12.66/12.71 c rational objective 0 14.35/14.41 c #Conflicts: 47000 | #Constraints: 5229 14.35/14.41 c #Conflicts: 48000 | #Constraints: 6231 14.35/14.41 c #Conflicts: 49000 | #Constraints: 7231 14.35/14.41 c #Conflicts: 50000 | #Constraints: 8233 14.35/14.41 c #Conflicts: 51000 | #Constraints: 9234 14.35/14.41 c INPROCESSING 14.35/14.41 c GARBAGE COLLECT 14.35/14.41 c rational objective 0 16.14/16.20 c #Conflicts: 52000 | #Constraints: 5632 16.14/16.20 c #Conflicts: 53000 | #Constraints: 6632 16.14/16.20 c #Conflicts: 54000 | #Constraints: 7632 16.14/16.20 c #Conflicts: 55000 | #Constraints: 8632 16.14/16.20 c #Conflicts: 56000 | #Constraints: 9633 16.14/16.20 c INPROCESSING 16.14/16.20 c GARBAGE COLLECT 16.14/16.20 c rational objective 0 18.24/18.36 c #Conflicts: 57000 | #Constraints: 5830 18.24/18.36 c #Conflicts: 58000 | #Constraints: 6830 18.24/18.36 c #Conflicts: 59000 | #Constraints: 7830 18.24/18.36 c #Conflicts: 60000 | #Constraints: 8830 18.24/18.36 c #Conflicts: 61000 | #Constraints: 9830 18.24/18.36 c INPROCESSING 18.24/18.36 c GARBAGE COLLECT 18.24/18.36 c rational objective 0 20.44/20.52 c #Conflicts: 62000 | #Constraints: 5829 20.44/20.52 c #Conflicts: 63000 | #Constraints: 6831 20.44/20.52 c #Conflicts: 64000 | #Constraints: 7831 20.44/20.52 c #Conflicts: 65000 | #Constraints: 8832 20.44/20.52 c #Conflicts: 66000 | #Constraints: 9833 20.44/20.52 c INPROCESSING 20.44/20.52 c GARBAGE COLLECT 20.44/20.52 c rational objective 0 23.13/23.22 c #Conflicts: 67000 | #Constraints: 5629 23.13/23.22 c #Conflicts: 68000 | #Constraints: 6630 23.13/23.22 c #Conflicts: 69000 | #Constraints: 7630 23.13/23.22 c #Conflicts: 70000 | #Constraints: 8631 23.13/23.22 c #Conflicts: 71000 | #Constraints: 9631 23.13/23.22 c #Conflicts: 72000 | #Constraints: 10631 23.13/23.22 c INPROCESSING 23.13/23.22 c GARBAGE COLLECT 23.13/23.22 c rational objective 0 25.82/25.95 c #Conflicts: 73000 | #Constraints: 6230 25.82/25.95 c #Conflicts: 74000 | #Constraints: 7231 25.82/25.95 c #Conflicts: 75000 | #Constraints: 8231 25.82/25.95 c #Conflicts: 76000 | #Constraints: 9232 25.82/25.95 c #Conflicts: 77000 | #Constraints: 10234 25.82/25.95 c #Conflicts: 78000 | #Constraints: 11236 25.82/25.95 c INPROCESSING 25.82/25.95 c GARBAGE COLLECT 25.82/25.95 c rational objective 0 29.41/29.53 c #Conflicts: 79000 | #Constraints: 6631 29.41/29.53 c #Conflicts: 80000 | #Constraints: 7632 29.41/29.53 c #Conflicts: 81000 | #Constraints: 8632 29.41/29.53 c #Conflicts: 82000 | #Constraints: 9632 29.41/29.53 c #Conflicts: 83000 | #Constraints: 10632 29.41/29.53 c #Conflicts: 84000 | #Constraints: 11632 29.41/29.53 c INPROCESSING 29.41/29.53 c GARBAGE COLLECT 29.41/29.53 c rational objective 0 33.21/33.36 c #Conflicts: 85000 | #Constraints: 6830 33.21/33.36 c #Conflicts: 86000 | #Constraints: 7830 33.21/33.36 c #Conflicts: 87000 | #Constraints: 8830 33.21/33.36 c #Conflicts: 88000 | #Constraints: 9830 33.21/33.36 c #Conflicts: 89000 | #Constraints: 10830 33.21/33.36 c #Conflicts: 90000 | #Constraints: 11830 33.21/33.36 c INPROCESSING 33.21/33.36 c GARBAGE COLLECT 33.21/33.36 c rational objective 0 37.59/37.73 c #Conflicts: 91000 | #Constraints: 6829 37.59/37.73 c #Conflicts: 92000 | #Constraints: 7831 37.59/37.73 c #Conflicts: 93000 | #Constraints: 8832 37.59/37.73 c #Conflicts: 94000 | #Constraints: 9832 37.59/37.73 c #Conflicts: 95000 | #Constraints: 10832 37.59/37.73 c #Conflicts: 96000 | #Constraints: 11834 37.59/37.73 c INPROCESSING 37.59/37.73 c GARBAGE COLLECT 37.59/37.73 c rational objective 0 42.18/42.32 c #Conflicts: 97000 | #Constraints: 6636 42.18/42.32 c #Conflicts: 98000 | #Constraints: 7636 42.18/42.32 c #Conflicts: 99000 | #Constraints: 8638 42.18/42.32 c #Conflicts: 100000 | #Constraints: 9638 42.18/42.32 c #Conflicts: 101000 | #Constraints: 10638 42.18/42.32 c #Conflicts: 102000 | #Constraints: 11638 42.18/42.32 c #Conflicts: 103000 | #Constraints: 12638 42.18/42.32 c INPROCESSING 42.18/42.32 c GARBAGE COLLECT 42.18/42.32 c rational objective 0 47.37/47.55 c #Conflicts: 104000 | #Constraints: 7231 47.37/47.55 c #Conflicts: 105000 | #Constraints: 8231 47.37/47.55 c #Conflicts: 106000 | #Constraints: 9231 47.37/47.55 c #Conflicts: 107000 | #Constraints: 10231 47.37/47.55 c #Conflicts: 108000 | #Constraints: 11231 47.37/47.55 c #Conflicts: 109000 | #Constraints: 12231 47.37/47.55 c #Conflicts: 110000 | #Constraints: 13231 47.37/47.55 c INPROCESSING 47.37/47.55 c GARBAGE COLLECT 47.37/47.55 c rational objective 0 52.25/52.45 c #Conflicts: 111000 | #Constraints: 7633 52.25/52.45 c #Conflicts: 112000 | #Constraints: 8633 52.25/52.45 c #Conflicts: 113000 | #Constraints: 9634 52.25/52.45 c #Conflicts: 114000 | #Constraints: 10635 52.25/52.45 c #Conflicts: 115000 | #Constraints: 11636 52.25/52.45 c #Conflicts: 116000 | #Constraints: 12637 52.25/52.45 c #Conflicts: 117000 | #Constraints: 13637 52.25/52.45 c INPROCESSING 52.25/52.45 c GARBAGE COLLECT 52.25/52.45 c rational objective 0 58.44/58.60 c #Conflicts: 118000 | #Constraints: 7832 58.44/58.60 c #Conflicts: 119000 | #Constraints: 8832 58.44/58.60 c #Conflicts: 120000 | #Constraints: 9832 58.44/58.60 c #Conflicts: 121000 | #Constraints: 10832 58.44/58.60 c #Conflicts: 122000 | #Constraints: 11832 58.44/58.60 c #Conflicts: 123000 | #Constraints: 12832 58.44/58.60 c #Conflicts: 124000 | #Constraints: 13832 58.44/58.60 c INPROCESSING 58.44/58.60 c GARBAGE COLLECT 58.44/58.60 c rational objective 0 64.32/64.53 c #Conflicts: 125000 | #Constraints: 7832 64.32/64.53 c #Conflicts: 126000 | #Constraints: 8832 64.32/64.53 c #Conflicts: 127000 | #Constraints: 9833 64.32/64.53 c #Conflicts: 128000 | #Constraints: 10833 64.32/64.53 c #Conflicts: 129000 | #Constraints: 11833 64.32/64.53 c #Conflicts: 130000 | #Constraints: 12833 64.32/64.53 c #Conflicts: 131000 | #Constraints: 13833 64.32/64.53 c INPROCESSING 64.32/64.53 c GARBAGE COLLECT 64.32/64.53 c rational objective 0 71.21/71.48 c #Conflicts: 132000 | #Constraints: 7630 71.21/71.48 c #Conflicts: 133000 | #Constraints: 8630 71.21/71.48 c #Conflicts: 134000 | #Constraints: 9631 71.21/71.48 c #Conflicts: 135000 | #Constraints: 10631 71.21/71.48 c #Conflicts: 136000 | #Constraints: 11631 71.21/71.48 c #Conflicts: 137000 | #Constraints: 12631 71.21/71.48 c #Conflicts: 138000 | #Constraints: 13631 71.21/71.48 c #Conflicts: 139000 | #Constraints: 14631 71.21/71.48 c INPROCESSING 71.21/71.48 c GARBAGE COLLECT 71.21/71.48 c rational objective 0 78.19/78.42 c #Conflicts: 140000 | #Constraints: 8233 78.19/78.42 c #Conflicts: 141000 | #Constraints: 9233 78.19/78.42 c #Conflicts: 142000 | #Constraints: 10233 78.19/78.42 c #Conflicts: 143000 | #Constraints: 11233 78.19/78.42 c #Conflicts: 144000 | #Constraints: 12233 78.19/78.42 c #Conflicts: 145000 | #Constraints: 13233 78.19/78.42 c #Conflicts: 146000 | #Constraints: 14233 78.19/78.42 c #Conflicts: 147000 | #Constraints: 15233 78.19/78.42 c INPROCESSING 78.19/78.42 c GARBAGE COLLECT 78.19/78.42 c rational objective 0 85.97/86.22 c #Conflicts: 148000 | #Constraints: 8633 85.97/86.22 c #Conflicts: 149000 | #Constraints: 9633 85.97/86.22 c #Conflicts: 150000 | #Constraints: 10633 85.97/86.22 c #Conflicts: 151000 | #Constraints: 11633 85.97/86.22 c #Conflicts: 152000 | #Constraints: 12633 85.97/86.22 c #Conflicts: 153000 | #Constraints: 13633 85.97/86.22 c #Conflicts: 154000 | #Constraints: 14633 85.97/86.22 c #Conflicts: 155000 | #Constraints: 15633 85.97/86.22 c INPROCESSING 85.97/86.22 c GARBAGE COLLECT 85.97/86.22 c rational objective 0 93.86/94.11 c #Conflicts: 156000 | #Constraints: 8833 93.86/94.11 c #Conflicts: 157000 | #Constraints: 9833 93.86/94.11 c #Conflicts: 158000 | #Constraints: 10833 93.86/94.11 c #Conflicts: 159000 | #Constraints: 11833 93.86/94.11 c #Conflicts: 160000 | #Constraints: 12833 93.86/94.11 c #Conflicts: 161000 | #Constraints: 13833 93.86/94.11 c #Conflicts: 162000 | #Constraints: 14835 93.86/94.11 c #Conflicts: 163000 | #Constraints: 15835 93.86/94.11 c INPROCESSING 93.86/94.11 c GARBAGE COLLECT 93.86/94.11 c rational objective 0 102.83/103.19 c #Conflicts: 164000 | #Constraints: 8832 102.83/103.19 c #Conflicts: 165000 | #Constraints: 9832 102.83/103.19 c #Conflicts: 166000 | #Constraints: 10833 102.83/103.19 c #Conflicts: 167000 | #Constraints: 11833 102.83/103.19 c #Conflicts: 168000 | #Constraints: 12833 102.83/103.19 c #Conflicts: 169000 | #Constraints: 13833 102.83/103.19 c #Conflicts: 170000 | #Constraints: 14833 102.83/103.19 c #Conflicts: 171000 | #Constraints: 15833 102.83/103.19 c INPROCESSING 102.83/103.19 c GARBAGE COLLECT 102.83/103.19 c rational objective 0 111.40/111.74 c #Conflicts: 172000 | #Constraints: 8633 111.40/111.74 c #Conflicts: 173000 | #Constraints: 9633 111.40/111.74 c #Conflicts: 174000 | #Constraints: 10633 111.40/111.74 c #Conflicts: 175000 | #Constraints: 11633 111.40/111.74 c #Conflicts: 176000 | #Constraints: 12633 111.40/111.74 c #Conflicts: 177000 | #Constraints: 13633 111.40/111.74 c #Conflicts: 178000 | #Constraints: 14633 111.40/111.74 c #Conflicts: 179000 | #Constraints: 15633 111.40/111.74 c #Conflicts: 180000 | #Constraints: 16633 111.40/111.74 c INPROCESSING 111.40/111.74 c GARBAGE COLLECT 111.40/111.74 c rational objective 0 120.28/120.60 c #Conflicts: 181000 | #Constraints: 9229 120.28/120.60 c #Conflicts: 182000 | #Constraints: 10229 120.28/120.60 c #Conflicts: 183000 | #Constraints: 11229 120.28/120.60 c #Conflicts: 184000 | #Constraints: 12229 120.28/120.60 c #Conflicts: 185000 | #Constraints: 13229 120.28/120.60 c #Conflicts: 186000 | #Constraints: 14229 120.28/120.60 c #Conflicts: 187000 | #Constraints: 15229 120.28/120.60 c #Conflicts: 188000 | #Constraints: 16229 120.28/120.60 c #Conflicts: 189000 | #Constraints: 17229 120.28/120.60 c INPROCESSING 120.28/120.60 c GARBAGE COLLECT 120.28/120.60 c rational objective 0 130.46/130.85 c #Conflicts: 190000 | #Constraints: 9630 130.46/130.85 c #Conflicts: 191000 | #Constraints: 10630 130.46/130.85 c #Conflicts: 192000 | #Constraints: 11630 130.46/130.85 c #Conflicts: 193000 | #Constraints: 12630 130.46/130.85 c #Conflicts: 194000 | #Constraints: 13630 130.46/130.85 c #Conflicts: 195000 | #Constraints: 14630 130.46/130.85 c #Conflicts: 196000 | #Constraints: 15630 130.46/130.85 c #Conflicts: 197000 | #Constraints: 16630 130.46/130.85 c #Conflicts: 198000 | #Constraints: 17630 130.46/130.85 c INPROCESSING 130.46/130.85 c GARBAGE COLLECT 130.46/130.85 c rational objective 0 140.83/141.24 c #Conflicts: 199000 | #Constraints: 9833 140.83/141.24 c #Conflicts: 200000 | #Constraints: 10833 140.83/141.24 c #Conflicts: 201000 | #Constraints: 11833 140.83/141.24 c #Conflicts: 202000 | #Constraints: 12833 140.83/141.24 c #Conflicts: 203000 | #Constraints: 13834 140.83/141.24 c #Conflicts: 204000 | #Constraints: 14834 140.83/141.24 c #Conflicts: 205000 | #Constraints: 15834 140.83/141.24 c #Conflicts: 206000 | #Constraints: 16834 140.83/141.24 c #Conflicts: 207000 | #Constraints: 17834 140.83/141.24 c INPROCESSING 140.83/141.24 c GARBAGE COLLECT 140.83/141.24 c rational objective 0 152.00/152.45 c #Conflicts: 208000 | #Constraints: 9832 152.00/152.45 c #Conflicts: 209000 | #Constraints: 10832 152.00/152.45 c #Conflicts: 210000 | #Constraints: 11833 152.00/152.45 c #Conflicts: 211000 | #Constraints: 12833 152.00/152.45 c #Conflicts: 212000 | #Constraints: 13833 152.00/152.45 c #Conflicts: 213000 | #Constraints: 14833 152.00/152.45 c #Conflicts: 214000 | #Constraints: 15833 152.00/152.45 c #Conflicts: 215000 | #Constraints: 16833 152.00/152.45 c #Conflicts: 216000 | #Constraints: 17833 152.00/152.45 c INPROCESSING 152.00/152.45 c GARBAGE COLLECT 152.00/152.45 c rational objective 0 163.37/163.81 c #Conflicts: 217000 | #Constraints: 9634 163.37/163.81 c #Conflicts: 218000 | #Constraints: 10634 163.37/163.81 c #Conflicts: 219000 | #Constraints: 11634 163.37/163.81 c #Conflicts: 220000 | #Constraints: 12634 163.37/163.81 c #Conflicts: 221000 | #Constraints: 13634 163.37/163.81 c #Conflicts: 222000 | #Constraints: 14634 163.37/163.81 c #Conflicts: 223000 | #Constraints: 15635 163.37/163.81 c #Conflicts: 224000 | #Constraints: 16635 163.37/163.81 c #Conflicts: 225000 | #Constraints: 17635 163.37/163.81 c #Conflicts: 226000 | #Constraints: 18635 163.37/163.81 c INPROCESSING 163.37/163.81 c GARBAGE COLLECT 163.37/163.81 c rational objective 0 175.45/175.94 c #Conflicts: 227000 | #Constraints: 10232 175.45/175.94 c #Conflicts: 228000 | #Constraints: 11232 175.45/175.94 c #Conflicts: 229000 | #Constraints: 12232 175.45/175.94 c #Conflicts: 230000 | #Constraints: 13233 175.45/175.94 c #Conflicts: 231000 | #Constraints: 14233 175.45/175.94 c #Conflicts: 232000 | #Constraints: 15234 175.45/175.94 c #Conflicts: 233000 | #Constraints: 16234 175.45/175.94 c #Conflicts: 234000 | #Constraints: 17234 175.45/175.94 c #Conflicts: 235000 | #Constraints: 18234 175.45/175.94 c #Conflicts: 236000 | #Constraints: 19234 175.45/175.94 c INPROCESSING 175.45/175.94 c GARBAGE COLLECT 175.45/175.94 c rational objective 0 186.92/187.40 c #Conflicts: 237000 | #Constraints: 10632 186.92/187.40 c #Conflicts: 238000 | #Constraints: 11632 186.92/187.40 c #Conflicts: 239000 | #Constraints: 12632 186.92/187.40 c #Conflicts: 240000 | #Constraints: 13632 186.92/187.40 c #Conflicts: 241000 | #Constraints: 14632 186.92/187.40 c #Conflicts: 242000 | #Constraints: 15632 186.92/187.40 c #Conflicts: 243000 | #Constraints: 16632 186.92/187.40 c #Conflicts: 244000 | #Constraints: 17632 186.92/187.40 c #Conflicts: 245000 | #Constraints: 18633 186.92/187.40 c #Conflicts: 246000 | #Constraints: 19633 186.92/187.40 c INPROCESSING 186.92/187.40 c GARBAGE COLLECT 186.92/187.40 c rational objective 0 200.08/200.65 c #Conflicts: 247000 | #Constraints: 10832 200.08/200.65 c #Conflicts: 248000 | #Constraints: 11832 200.08/200.65 c #Conflicts: 249000 | #Constraints: 12832 200.08/200.65 c #Conflicts: 250000 | #Constraints: 13833 200.08/200.65 c #Conflicts: 251000 | #Constraints: 14833 200.08/200.65 c #Conflicts: 252000 | #Constraints: 15834 200.08/200.65 c #Conflicts: 253000 | #Constraints: 16834 200.08/200.65 c #Conflicts: 254000 | #Constraints: 17834 200.08/200.65 c #Conflicts: 255000 | #Constraints: 18834 200.08/200.65 c #Conflicts: 256000 | #Constraints: 19834 200.08/200.65 c INPROCESSING 200.08/200.65 c GARBAGE COLLECT 200.08/200.65 c rational objective 0 212.35/212.95 c #Conflicts: 257000 | #Constraints: 10832 212.35/212.95 c #Conflicts: 258000 | #Constraints: 11832 212.35/212.95 c #Conflicts: 259000 | #Constraints: 12832 212.35/212.95 c #Conflicts: 260000 | #Constraints: 13833 212.35/212.95 c #Conflicts: 261000 | #Constraints: 14833 212.35/212.95 c #Conflicts: 262000 | #Constraints: 15833 212.35/212.95 c #Conflicts: 263000 | #Constraints: 16833 212.35/212.95 c #Conflicts: 264000 | #Constraints: 17833 212.35/212.95 c #Conflicts: 265000 | #Constraints: 18833 212.35/212.95 c #Conflicts: 266000 | #Constraints: 19834 212.35/212.95 c INPROCESSING 212.35/212.95 c GARBAGE COLLECT 212.35/212.95 c rational objective 0 226.52/227.18 c #Conflicts: 267000 | #Constraints: 10632 226.52/227.18 c #Conflicts: 268000 | #Constraints: 11632 226.52/227.18 c #Conflicts: 269000 | #Constraints: 12632 226.52/227.18 c #Conflicts: 270000 | #Constraints: 13632 226.52/227.18 c #Conflicts: 271000 | #Constraints: 14632 226.52/227.18 c #Conflicts: 272000 | #Constraints: 15632 226.52/227.18 c #Conflicts: 273000 | #Constraints: 16632 226.52/227.18 c #Conflicts: 274000 | #Constraints: 17632 226.52/227.18 c #Conflicts: 275000 | #Constraints: 18632 226.52/227.18 c #Conflicts: 276000 | #Constraints: 19632 226.52/227.18 c #Conflicts: 277000 | #Constraints: 20632 226.52/227.18 c INPROCESSING 226.52/227.18 c GARBAGE COLLECT 226.52/227.18 c rational objective 0 239.99/240.64 c #Conflicts: 278000 | #Constraints: 11231 239.99/240.64 c #Conflicts: 279000 | #Constraints: 12231 239.99/240.64 c #Conflicts: 280000 | #Constraints: 13232 239.99/240.64 c #Conflicts: 281000 | #Constraints: 14232 239.99/240.64 c #Conflicts: 282000 | #Constraints: 15232 239.99/240.64 c #Conflicts: 283000 | #Constraints: 16233 239.99/240.64 c #Conflicts: 284000 | #Constraints: 17233 239.99/240.64 c #Conflicts: 285000 | #Constraints: 18233 239.99/240.64 c #Conflicts: 286000 | #Constraints: 19233 239.99/240.64 c #Conflicts: 287000 | #Constraints: 20233 239.99/240.64 c #Conflicts: 288000 | #Constraints: 21233 239.99/240.64 c INPROCESSING 239.99/240.64 c GARBAGE COLLECT 239.99/240.64 c rational objective 0 254.94/255.61 c #Conflicts: 289000 | #Constraints: 11630 254.94/255.61 c #Conflicts: 290000 | #Constraints: 12630 254.94/255.61 c #Conflicts: 291000 | #Constraints: 13630 254.94/255.61 c #Conflicts: 292000 | #Constraints: 14630 254.94/255.61 c #Conflicts: 293000 | #Constraints: 15630 254.94/255.61 c #Conflicts: 294000 | #Constraints: 16630 254.94/255.61 c #Conflicts: 295000 | #Constraints: 17630 254.94/255.61 c #Conflicts: 296000 | #Constraints: 18630 254.94/255.61 c #Conflicts: 297000 | #Constraints: 19630 254.94/255.61 c #Conflicts: 298000 | #Constraints: 20630 254.94/255.61 c #Conflicts: 299000 | #Constraints: 21630 254.94/255.61 c INPROCESSING 254.94/255.61 c GARBAGE COLLECT 254.94/255.61 c rational objective 0 269.32/270.03 c #Conflicts: 300000 | #Constraints: 11831 269.32/270.03 c #Conflicts: 301000 | #Constraints: 12831 269.32/270.03 c #Conflicts: 302000 | #Constraints: 13831 269.32/270.03 c #Conflicts: 303000 | #Constraints: 14831 269.32/270.03 c #Conflicts: 304000 | #Constraints: 15831 269.32/270.03 c #Conflicts: 305000 | #Constraints: 16831 269.32/270.03 c #Conflicts: 306000 | #Constraints: 17831 269.32/270.03 c #Conflicts: 307000 | #Constraints: 18831 269.32/270.03 c #Conflicts: 308000 | #Constraints: 19831 269.32/270.03 c #Conflicts: 309000 | #Constraints: 20831 269.32/270.03 c #Conflicts: 310000 | #Constraints: 21831 269.32/270.03 c INPROCESSING 269.32/270.03 c GARBAGE COLLECT 269.32/270.03 c rational objective 0 285.86/286.62 c #Conflicts: 311000 | #Constraints: 11832 285.86/286.62 c #Conflicts: 312000 | #Constraints: 12832 285.86/286.62 c #Conflicts: 313000 | #Constraints: 13832 285.86/286.62 c #Conflicts: 314000 | #Constraints: 14832 285.86/286.62 c #Conflicts: 315000 | #Constraints: 15832 285.86/286.62 c #Conflicts: 316000 | #Constraints: 16832 285.86/286.62 c #Conflicts: 317000 | #Constraints: 17832 285.86/286.62 c #Conflicts: 318000 | #Constraints: 18832 285.86/286.62 c #Conflicts: 319000 | #Constraints: 19832 285.86/286.62 c #Conflicts: 320000 | #Constraints: 20832 285.86/286.62 c #Conflicts: 321000 | #Constraints: 21832 285.86/286.62 c INPROCESSING 285.86/286.62 c GARBAGE COLLECT 285.86/286.62 c rational objective 0 302.73/303.57 c #Conflicts: 322000 | #Constraints: 11632 302.73/303.57 c #Conflicts: 323000 | #Constraints: 12632 302.73/303.57 c #Conflicts: 324000 | #Constraints: 13632 302.73/303.57 c #Conflicts: 325000 | #Constraints: 14632 302.73/303.57 c #Conflicts: 326000 | #Constraints: 15632 302.73/303.57 c #Conflicts: 327000 | #Constraints: 16632 302.73/303.57 c #Conflicts: 328000 | #Constraints: 17632 302.73/303.57 c #Conflicts: 329000 | #Constraints: 18632 302.73/303.57 c #Conflicts: 330000 | #Constraints: 19632 302.73/303.57 c #Conflicts: 331000 | #Constraints: 20632 302.73/303.57 c #Conflicts: 332000 | #Constraints: 21632 302.73/303.57 c #Conflicts: 333000 | #Constraints: 22632 302.73/303.57 c INPROCESSING 302.73/303.57 c GARBAGE COLLECT 302.73/303.57 c rational objective 0 320.38/321.27 c #Conflicts: 334000 | #Constraints: 12230 320.38/321.27 c #Conflicts: 335000 | #Constraints: 13230 320.38/321.27 c #Conflicts: 336000 | #Constraints: 14230 320.38/321.27 c #Conflicts: 337000 | #Constraints: 15230 320.38/321.27 c #Conflicts: 338000 | #Constraints: 16230 320.38/321.27 c #Conflicts: 339000 | #Constraints: 17230 320.38/321.27 c #Conflicts: 340000 | #Constraints: 18230 320.38/321.27 c #Conflicts: 341000 | #Constraints: 19230 320.38/321.27 c #Conflicts: 342000 | #Constraints: 20230 320.38/321.27 c #Conflicts: 343000 | #Constraints: 21230 320.38/321.27 c #Conflicts: 344000 | #Constraints: 22230 320.38/321.27 c #Conflicts: 345000 | #Constraints: 23230 320.38/321.27 c INPROCESSING 320.38/321.27 c GARBAGE COLLECT 320.38/321.27 c rational objective 0 337.64/338.59 c #Conflicts: 346000 | #Constraints: 12628 337.64/338.59 c #Conflicts: 347000 | #Constraints: 13629 337.64/338.59 c #Conflicts: 348000 | #Constraints: 14630 337.64/338.59 c #Conflicts: 349000 | #Constraints: 15630 337.64/338.59 c #Conflicts: 350000 | #Constraints: 16630 337.64/338.59 c #Conflicts: 351000 | #Constraints: 17630 337.64/338.59 c #Conflicts: 352000 | #Constraints: 18630 337.64/338.59 c #Conflicts: 353000 | #Constraints: 19630 337.64/338.59 c #Conflicts: 354000 | #Constraints: 20630 337.64/338.59 c #Conflicts: 355000 | #Constraints: 21630 337.64/338.59 c #Conflicts: 356000 | #Constraints: 22630 337.64/338.59 c #Conflicts: 357000 | #Constraints: 23630 337.64/338.59 c INPROCESSING 337.64/338.59 c GARBAGE COLLECT 337.64/338.59 c rational objective 0 356.48/357.44 c #Conflicts: 358000 | #Constraints: 12828 356.48/357.44 c #Conflicts: 359000 | #Constraints: 13828 356.48/357.44 c #Conflicts: 360000 | #Constraints: 14828 356.48/357.44 c #Conflicts: 361000 | #Constraints: 15828 356.48/357.44 c #Conflicts: 362000 | #Constraints: 16828 356.48/357.44 c #Conflicts: 363000 | #Constraints: 17828 356.48/357.44 c #Conflicts: 364000 | #Constraints: 18828 356.48/357.44 c #Conflicts: 365000 | #Constraints: 19828 356.48/357.44 c #Conflicts: 366000 | #Constraints: 20828 356.48/357.44 c #Conflicts: 367000 | #Constraints: 21828 356.48/357.44 c #Conflicts: 368000 | #Constraints: 22828 356.48/357.44 c #Conflicts: 369000 | #Constraints: 23828 356.48/357.44 c INPROCESSING 356.48/357.44 c GARBAGE COLLECT 356.48/357.44 c rational objective 0 374.44/375.42 c #Conflicts: 370000 | #Constraints: 12831 374.44/375.42 c #Conflicts: 371000 | #Constraints: 13831 374.44/375.42 c #Conflicts: 372000 | #Constraints: 14831 374.44/375.42 c #Conflicts: 373000 | #Constraints: 15831 374.44/375.42 c #Conflicts: 374000 | #Constraints: 16831 374.44/375.42 c #Conflicts: 375000 | #Constraints: 17831 374.44/375.42 c #Conflicts: 376000 | #Constraints: 18831 374.44/375.42 c #Conflicts: 377000 | #Constraints: 19831 374.44/375.42 c #Conflicts: 378000 | #Constraints: 20831 374.44/375.42 c #Conflicts: 379000 | #Constraints: 21831 374.44/375.42 c #Conflicts: 380000 | #Constraints: 22831 374.44/375.42 c #Conflicts: 381000 | #Constraints: 23831 374.44/375.42 c INPROCESSING 374.44/375.42 c GARBAGE COLLECT 374.44/375.42 c rational objective 0 394.10/395.17 c #Conflicts: 382000 | #Constraints: 12630 394.10/395.17 c #Conflicts: 383000 | #Constraints: 13630 394.10/395.17 c #Conflicts: 384000 | #Constraints: 14630 394.10/395.17 c #Conflicts: 385000 | #Constraints: 15630 394.10/395.17 c #Conflicts: 386000 | #Constraints: 16630 394.10/395.17 c #Conflicts: 387000 | #Constraints: 17630 394.10/395.17 c #Conflicts: 388000 | #Constraints: 18630 394.10/395.17 c #Conflicts: 389000 | #Constraints: 19630 394.10/395.17 c #Conflicts: 390000 | #Constraints: 20630 394.10/395.17 c #Conflicts: 391000 | #Constraints: 21630 394.10/395.17 c #Conflicts: 392000 | #Constraints: 22630 394.10/395.17 c #Conflicts: 393000 | #Constraints: 23630 394.10/395.17 c #Conflicts: 394000 | #Constraints: 24630 394.10/395.17 c INPROCESSING 394.10/395.17 c GARBAGE COLLECT 394.10/395.17 c rational objective 0 412.75/413.85 c #Conflicts: 395000 | #Constraints: 13231 412.75/413.85 c #Conflicts: 396000 | #Constraints: 14231 412.75/413.85 c #Conflicts: 397000 | #Constraints: 15231 412.75/413.85 c #Conflicts: 398000 | #Constraints: 16231 412.75/413.85 c #Conflicts: 399000 | #Constraints: 17231 412.75/413.85 c #Conflicts: 400000 | #Constraints: 18231 412.75/413.85 c #Conflicts: 401000 | #Constraints: 19231 412.75/413.85 c #Conflicts: 402000 | #Constraints: 20231 412.75/413.85 c #Conflicts: 403000 | #Constraints: 21231 412.75/413.85 c #Conflicts: 404000 | #Constraints: 22231 412.75/413.85 c #Conflicts: 405000 | #Constraints: 23231 412.75/413.85 c #Conflicts: 406000 | #Constraints: 24231 412.75/413.85 c #Conflicts: 407000 | #Constraints: 25231 412.75/413.85 c INPROCESSING 412.75/413.85 c GARBAGE COLLECT 412.75/413.85 c rational objective 0 433.20/434.31 c #Conflicts: 408000 | #Constraints: 13630 433.20/434.31 c #Conflicts: 409000 | #Constraints: 14630 433.20/434.31 c #Conflicts: 410000 | #Constraints: 15631 433.20/434.31 c #Conflicts: 411000 | #Constraints: 16631 433.20/434.31 c #Conflicts: 412000 | #Constraints: 17631 433.20/434.31 c #Conflicts: 413000 | #Constraints: 18631 433.20/434.31 c #Conflicts: 414000 | #Constraints: 19631 433.20/434.31 c #Conflicts: 415000 | #Constraints: 20631 433.20/434.31 c #Conflicts: 416000 | #Constraints: 21631 433.20/434.31 c #Conflicts: 417000 | #Constraints: 22631 433.20/434.31 c #Conflicts: 418000 | #Constraints: 23631 433.20/434.31 c #Conflicts: 419000 | #Constraints: 24631 433.20/434.31 c #Conflicts: 420000 | #Constraints: 25631 433.20/434.31 c INPROCESSING 433.20/434.31 c GARBAGE COLLECT 433.20/434.31 c rational objective 0 453.64/454.81 c #Conflicts: 421000 | #Constraints: 13835 453.64/454.81 c #Conflicts: 422000 | #Constraints: 14835 453.64/454.81 c #Conflicts: 423000 | #Constraints: 15835 453.64/454.81 c #Conflicts: 424000 | #Constraints: 16835 453.64/454.81 c #Conflicts: 425000 | #Constraints: 17835 453.64/454.81 c #Conflicts: 426000 | #Constraints: 18835 453.64/454.81 c #Conflicts: 427000 | #Constraints: 19835 453.64/454.81 c #Conflicts: 428000 | #Constraints: 20836 453.64/454.81 c #Conflicts: 429000 | #Constraints: 21836 453.64/454.81 c #Conflicts: 430000 | #Constraints: 22836 453.64/454.81 c #Conflicts: 431000 | #Constraints: 23836 453.64/454.81 c #Conflicts: 432000 | #Constraints: 24837 453.64/454.81 c #Conflicts: 433000 | #Constraints: 25837 453.64/454.81 c INPROCESSING 453.64/454.81 c GARBAGE COLLECT 453.64/454.81 c rational objective 0 476.69/477.90 c #Conflicts: 434000 | #Constraints: 13836 476.69/477.90 c #Conflicts: 435000 | #Constraints: 14836 476.69/477.90 c #Conflicts: 436000 | #Constraints: 15836 476.69/477.90 c #Conflicts: 437000 | #Constraints: 16836 476.69/477.90 c #Conflicts: 438000 | #Constraints: 17836 476.69/477.90 c #Conflicts: 439000 | #Constraints: 18836 476.69/477.90 c #Conflicts: 440000 | #Constraints: 19836 476.69/477.90 c #Conflicts: 441000 | #Constraints: 20836 476.69/477.90 c #Conflicts: 442000 | #Constraints: 21836 476.69/477.90 c #Conflicts: 443000 | #Constraints: 22836 476.69/477.90 c #Conflicts: 444000 | #Constraints: 23836 476.69/477.90 c #Conflicts: 445000 | #Constraints: 24836 476.69/477.90 c #Conflicts: 446000 | #Constraints: 25836 476.69/477.90 c INPROCESSING 476.69/477.90 c GARBAGE COLLECT 476.69/477.90 c rational objective 0 500.13/501.44 c #Conflicts: 447000 | #Constraints: 13637 500.13/501.44 c #Conflicts: 448000 | #Constraints: 14637 500.13/501.44 c #Conflicts: 449000 | #Constraints: 15637 500.13/501.44 c #Conflicts: 450000 | #Constraints: 16637 500.13/501.44 c #Conflicts: 451000 | #Constraints: 17637 500.13/501.44 c #Conflicts: 452000 | #Constraints: 18637 500.13/501.44 c #Conflicts: 453000 | #Constraints: 19637 500.13/501.44 c #Conflicts: 454000 | #Constraints: 20637 500.13/501.44 c #Conflicts: 455000 | #Constraints: 21637 500.13/501.44 c #Conflicts: 456000 | #Constraints: 22637 500.13/501.44 c #Conflicts: 457000 | #Constraints: 23637 500.13/501.44 c #Conflicts: 458000 | #Constraints: 24637 500.13/501.44 c #Conflicts: 459000 | #Constraints: 25637 500.13/501.44 c #Conflicts: 460000 | #Constraints: 26637 500.13/501.44 c INPROCESSING 500.13/501.44 c GARBAGE COLLECT 500.13/501.44 c rational objective 0 523.87/525.29 c #Conflicts: 461000 | #Constraints: 14235 523.87/525.29 c #Conflicts: 462000 | #Constraints: 15235 523.87/525.29 c #Conflicts: 463000 | #Constraints: 16235 523.87/525.29 c #Conflicts: 464000 | #Constraints: 17235 523.87/525.29 c #Conflicts: 465000 | #Constraints: 18235 523.87/525.29 c #Conflicts: 466000 | #Constraints: 19235 523.87/525.29 c #Conflicts: 467000 | #Constraints: 20235 523.87/525.29 c #Conflicts: 468000 | #Constraints: 21236 523.87/525.29 c #Conflicts: 469000 | #Constraints: 22236 523.87/525.29 c bounds 1 >= 0 @ 511.123 523.87/525.29 c #Conflicts: 470000 | #Constraints: 23237 523.87/525.29 c #Conflicts: 471000 | #Constraints: 24237 523.87/525.29 c #Conflicts: 472000 | #Constraints: 25237 523.87/525.29 c #Conflicts: 473000 | #Constraints: 26238 523.87/525.29 c #Conflicts: 474000 | #Constraints: 27238 523.87/525.29 c INPROCESSING 523.87/525.29 c GARBAGE COLLECT 523.87/525.29 c rational objective 0 547.52/548.97 c #Conflicts: 475000 | #Constraints: 14634 547.52/548.97 c #Conflicts: 476000 | #Constraints: 15634 547.52/548.97 c #Conflicts: 477000 | #Constraints: 16634 547.52/548.97 c #Conflicts: 478000 | #Constraints: 17634 547.52/548.97 c #Conflicts: 479000 | #Constraints: 18634 547.52/548.97 c #Conflicts: 480000 | #Constraints: 19634 547.52/548.97 c #Conflicts: 481000 | #Constraints: 20634 547.52/548.97 c #Conflicts: 482000 | #Constraints: 21634 547.52/548.97 c #Conflicts: 483000 | #Constraints: 22634 547.52/548.97 c #Conflicts: 484000 | #Constraints: 23634 547.52/548.97 c #Conflicts: 485000 | #Constraints: 24634 547.52/548.97 c #Conflicts: 486000 | #Constraints: 25634 547.52/548.97 c #Conflicts: 487000 | #Constraints: 26634 547.52/548.97 c #Conflicts: 488000 | #Constraints: 27635 547.52/548.97 c INPROCESSING 547.52/548.97 c GARBAGE COLLECT 547.52/548.97 c rational objective 0 572.35/573.82 c #Conflicts: 489000 | #Constraints: 14832 572.35/573.82 c #Conflicts: 490000 | #Constraints: 15832 572.35/573.82 c #Conflicts: 491000 | #Constraints: 16832 572.35/573.82 c #Conflicts: 492000 | #Constraints: 17832 572.35/573.82 c #Conflicts: 493000 | #Constraints: 18832 572.35/573.82 c #Conflicts: 494000 | #Constraints: 19832 572.35/573.82 c #Conflicts: 495000 | #Constraints: 20832 572.35/573.82 c #Conflicts: 496000 | #Constraints: 21832 572.35/573.82 c #Conflicts: 497000 | #Constraints: 22832 572.35/573.82 c #Conflicts: 498000 | #Constraints: 23832 572.35/573.82 c #Conflicts: 499000 | #Constraints: 24832 572.35/573.82 c #Conflicts: 500000 | #Constraints: 25832 572.35/573.82 c #Conflicts: 501000 | #Constraints: 26832 572.35/573.82 c #Conflicts: 502000 | #Constraints: 27832 572.35/573.82 c INPROCESSING 572.35/573.82 c GARBAGE COLLECT 572.35/573.82 c rational objective 0 596.50/598.10 c #Conflicts: 503000 | #Constraints: 14829 596.50/598.10 c #Conflicts: 504000 | #Constraints: 15829 596.50/598.10 c #Conflicts: 505000 | #Constraints: 16829 596.50/598.10 c #Conflicts: 506000 | #Constraints: 17829 596.50/598.10 c #Conflicts: 507000 | #Constraints: 18829 596.50/598.10 c #Conflicts: 508000 | #Constraints: 19829 596.50/598.10 c #Conflicts: 509000 | #Constraints: 20829 596.50/598.10 c #Conflicts: 510000 | #Constraints: 21829 596.50/598.10 c #Conflicts: 511000 | #Constraints: 22829 596.50/598.10 c #Conflicts: 512000 | #Constraints: 23829 596.50/598.10 c #Conflicts: 513000 | #Constraints: 24829 596.50/598.10 c #Conflicts: 514000 | #Constraints: 25829 596.50/598.10 c #Conflicts: 515000 | #Constraints: 26830 596.50/598.10 c #Conflicts: 516000 | #Constraints: 27830 596.50/598.10 c INPROCESSING 596.50/598.10 c GARBAGE COLLECT 596.50/598.10 c rational objective 0 623.44/625.06 c #Conflicts: 517000 | #Constraints: 14629 623.44/625.06 c #Conflicts: 518000 | #Constraints: 15629 623.44/625.06 c #Conflicts: 519000 | #Constraints: 16629 623.44/625.06 c #Conflicts: 520000 | #Constraints: 17629 623.44/625.06 c #Conflicts: 521000 | #Constraints: 18629 623.44/625.06 c #Conflicts: 522000 | #Constraints: 19629 623.44/625.06 c #Conflicts: 523000 | #Constraints: 20629 623.44/625.06 c #Conflicts: 524000 | #Constraints: 21629 623.44/625.06 c #Conflicts: 525000 | #Constraints: 22629 623.44/625.06 c #Conflicts: 526000 | #Constraints: 23629 623.44/625.06 c #Conflicts: 527000 | #Constraints: 24629 623.44/625.06 c #Conflicts: 528000 | #Constraints: 25629 623.44/625.06 c #Conflicts: 529000 | #Constraints: 26629 623.44/625.06 c #Conflicts: 530000 | #Constraints: 27629 623.44/625.06 c #Conflicts: 531000 | #Constraints: 28629 623.44/625.06 c INPROCESSING 623.44/625.06 c GARBAGE COLLECT 623.44/625.06 c rational objective 0 647.96/649.62 c #Conflicts: 532000 | #Constraints: 15230 647.96/649.62 c #Conflicts: 533000 | #Constraints: 16230 647.96/649.62 c #Conflicts: 534000 | #Constraints: 17230 647.96/649.62 c #Conflicts: 535000 | #Constraints: 18230 647.96/649.62 c #Conflicts: 536000 | #Constraints: 19230 647.96/649.62 c #Conflicts: 537000 | #Constraints: 20230 647.96/649.62 c #Conflicts: 538000 | #Constraints: 21230 647.96/649.62 c #Conflicts: 539000 | #Constraints: 22230 647.96/649.62 c #Conflicts: 540000 | #Constraints: 23230 647.96/649.62 c #Conflicts: 541000 | #Constraints: 24230 647.96/649.62 c #Conflicts: 542000 | #Constraints: 25230 647.96/649.62 c #Conflicts: 543000 | #Constraints: 26230 647.96/649.62 c #Conflicts: 544000 | #Constraints: 27231 647.96/649.62 c #Conflicts: 545000 | #Constraints: 28231 647.96/649.62 c #Conflicts: 546000 | #Constraints: 29231 647.96/649.62 c INPROCESSING 647.96/649.62 c GARBAGE COLLECT 647.96/649.62 c rational objective 0 676.19/677.96 c #Conflicts: 547000 | #Constraints: 15628 676.19/677.96 c #Conflicts: 548000 | #Constraints: 16628 676.19/677.96 c #Conflicts: 549000 | #Constraints: 17628 676.19/677.96 c #Conflicts: 550000 | #Constraints: 18628 676.19/677.96 c #Conflicts: 551000 | #Constraints: 19628 676.19/677.96 c #Conflicts: 552000 | #Constraints: 20628 676.19/677.96 c #Conflicts: 553000 | #Constraints: 21628 676.19/677.96 c #Conflicts: 554000 | #Constraints: 22628 676.19/677.96 c #Conflicts: 555000 | #Constraints: 23628 676.19/677.96 c #Conflicts: 556000 | #Constraints: 24628 676.19/677.96 c #Conflicts: 557000 | #Constraints: 25628 676.19/677.96 c #Conflicts: 558000 | #Constraints: 26628 676.19/677.96 c #Conflicts: 559000 | #Constraints: 27628 676.19/677.96 c #Conflicts: 560000 | #Constraints: 28628 676.19/677.96 c #Conflicts: 561000 | #Constraints: 29628 676.19/677.96 c INPROCESSING 676.19/677.96 c GARBAGE COLLECT 676.19/677.96 c rational objective 0 702.73/704.51 c #Conflicts: 562000 | #Constraints: 15830 702.73/704.51 c #Conflicts: 563000 | #Constraints: 16830 702.73/704.51 c #Conflicts: 564000 | #Constraints: 17830 702.73/704.51 c #Conflicts: 565000 | #Constraints: 18830 702.73/704.51 c #Conflicts: 566000 | #Constraints: 19830 702.73/704.51 c #Conflicts: 567000 | #Constraints: 20830 702.73/704.51 c #Conflicts: 568000 | #Constraints: 21830 702.73/704.51 c #Conflicts: 569000 | #Constraints: 22830 702.73/704.51 c #Conflicts: 570000 | #Constraints: 23830 702.73/704.51 c #Conflicts: 571000 | #Constraints: 24830 702.73/704.51 c #Conflicts: 572000 | #Constraints: 25830 702.73/704.51 c #Conflicts: 573000 | #Constraints: 26830 702.73/704.51 c #Conflicts: 574000 | #Constraints: 27830 702.73/704.51 c #Conflicts: 575000 | #Constraints: 28830 702.73/704.51 c #Conflicts: 576000 | #Constraints: 29830 702.73/704.51 c INPROCESSING 702.73/704.51 c GARBAGE COLLECT 702.73/704.51 c rational objective 0 732.55/734.45 c #Conflicts: 577000 | #Constraints: 15831 732.55/734.45 c #Conflicts: 578000 | #Constraints: 16831 732.55/734.45 c #Conflicts: 579000 | #Constraints: 17831 732.55/734.45 c #Conflicts: 580000 | #Constraints: 18831 732.55/734.45 c #Conflicts: 581000 | #Constraints: 19831 732.55/734.45 c #Conflicts: 582000 | #Constraints: 20831 732.55/734.45 c #Conflicts: 583000 | #Constraints: 21831 732.55/734.45 c #Conflicts: 584000 | #Constraints: 22831 732.55/734.45 c #Conflicts: 585000 | #Constraints: 23831 732.55/734.45 c #Conflicts: 586000 | #Constraints: 24831 732.55/734.45 c #Conflicts: 587000 | #Constraints: 25831 732.55/734.45 c #Conflicts: 588000 | #Constraints: 26831 732.55/734.45 c #Conflicts: 589000 | #Constraints: 27831 732.55/734.45 c #Conflicts: 590000 | #Constraints: 28831 732.55/734.45 c #Conflicts: 591000 | #Constraints: 29831 732.55/734.45 c INPROCESSING 732.55/734.45 c GARBAGE COLLECT 732.55/734.45 c rational objective 0 761.48/763.49 c #Conflicts: 592000 | #Constraints: 15629 761.48/763.49 c #Conflicts: 593000 | #Constraints: 16629 761.48/763.49 c #Conflicts: 594000 | #Constraints: 17629 761.48/763.49 c #Conflicts: 595000 | #Constraints: 18629 761.48/763.49 c #Conflicts: 596000 | #Constraints: 19629 761.48/763.49 c #Conflicts: 597000 | #Constraints: 20629 761.48/763.49 c #Conflicts: 598000 | #Constraints: 21629 761.48/763.49 c #Conflicts: 599000 | #Constraints: 22629 761.48/763.49 c #Conflicts: 600000 | #Constraints: 23629 761.48/763.49 c #Conflicts: 601000 | #Constraints: 24629 761.48/763.49 c #Conflicts: 602000 | #Constraints: 25629 761.48/763.49 c #Conflicts: 603000 | #Constraints: 26629 761.48/763.49 c #Conflicts: 604000 | #Constraints: 27629 761.48/763.49 c #Conflicts: 605000 | #Constraints: 28629 761.48/763.49 c #Conflicts: 606000 | #Constraints: 29629 761.48/763.49 c #Conflicts: 607000 | #Constraints: 30629 761.48/763.49 c INPROCESSING 761.48/763.49 c GARBAGE COLLECT 761.48/763.49 c rational objective 0 793.49/795.53 c #Conflicts: 608000 | #Constraints: 16230 793.49/795.53 c #Conflicts: 609000 | #Constraints: 17230 793.49/795.53 c #Conflicts: 610000 | #Constraints: 18230 793.49/795.53 c #Conflicts: 611000 | #Constraints: 19230 793.49/795.53 c #Conflicts: 612000 | #Constraints: 20230 793.49/795.53 c #Conflicts: 613000 | #Constraints: 21230 793.49/795.53 c #Conflicts: 614000 | #Constraints: 22230 793.49/795.53 c #Conflicts: 615000 | #Constraints: 23230 793.49/795.53 c #Conflicts: 616000 | #Constraints: 24230 793.49/795.53 c #Conflicts: 617000 | #Constraints: 25230 793.49/795.53 c #Conflicts: 618000 | #Constraints: 26230 793.49/795.53 c #Conflicts: 619000 | #Constraints: 27230 793.49/795.53 c #Conflicts: 620000 | #Constraints: 28230 793.49/795.53 c #Conflicts: 621000 | #Constraints: 29230 793.49/795.53 c #Conflicts: 622000 | #Constraints: 30230 793.49/795.53 c #Conflicts: 623000 | #Constraints: 31230 793.49/795.53 c INPROCESSING 793.49/795.53 c GARBAGE COLLECT 793.49/795.53 c rational objective 0 822.42/824.59 c #Conflicts: 624000 | #Constraints: 16633 822.42/824.59 c #Conflicts: 625000 | #Constraints: 17633 822.42/824.59 c #Conflicts: 626000 | #Constraints: 18633 822.42/824.59 c #Conflicts: 627000 | #Constraints: 19633 822.42/824.59 c #Conflicts: 628000 | #Constraints: 20633 822.42/824.59 c #Conflicts: 629000 | #Constraints: 21633 822.42/824.59 c #Conflicts: 630000 | #Constraints: 22633 822.42/824.59 c #Conflicts: 631000 | #Constraints: 23633 822.42/824.59 c #Conflicts: 632000 | #Constraints: 24633 822.42/824.59 c #Conflicts: 633000 | #Constraints: 25633 822.42/824.59 c #Conflicts: 634000 | #Constraints: 26633 822.42/824.59 c #Conflicts: 635000 | #Constraints: 27633 822.42/824.59 c #Conflicts: 636000 | #Constraints: 28633 822.42/824.59 c #Conflicts: 637000 | #Constraints: 29633 822.42/824.59 c #Conflicts: 638000 | #Constraints: 30633 822.42/824.59 c #Conflicts: 639000 | #Constraints: 31633 822.42/824.59 c INPROCESSING 822.42/824.59 c GARBAGE COLLECT 822.42/824.59 c rational objective 0 855.53/857.72 c #Conflicts: 640000 | #Constraints: 16832 855.53/857.72 c #Conflicts: 641000 | #Constraints: 17832 855.53/857.72 c #Conflicts: 642000 | #Constraints: 18832 855.53/857.72 c #Conflicts: 643000 | #Constraints: 19832 855.53/857.72 c #Conflicts: 644000 | #Constraints: 20832 855.53/857.72 c #Conflicts: 645000 | #Constraints: 21832 855.53/857.72 c #Conflicts: 646000 | #Constraints: 22832 855.53/857.72 c #Conflicts: 647000 | #Constraints: 23832 855.53/857.72 c #Conflicts: 648000 | #Constraints: 24832 855.53/857.72 c #Conflicts: 649000 | #Constraints: 25832 855.53/857.72 c #Conflicts: 650000 | #Constraints: 26832 855.53/857.72 c #Conflicts: 651000 | #Constraints: 27832 855.53/857.72 c #Conflicts: 652000 | #Constraints: 28832 855.53/857.72 c #Conflicts: 653000 | #Constraints: 29832 855.53/857.72 c #Conflicts: 654000 | #Constraints: 30832 855.53/857.72 c #Conflicts: 655000 | #Constraints: 31832 855.53/857.72 c INPROCESSING 855.53/857.72 c GARBAGE COLLECT 855.53/857.72 c rational objective 0 886.45/888.76 c #Conflicts: 656000 | #Constraints: 16833 886.45/888.76 c #Conflicts: 657000 | #Constraints: 17833 886.45/888.76 c #Conflicts: 658000 | #Constraints: 18833 886.45/888.76 c #Conflicts: 659000 | #Constraints: 19833 886.45/888.76 c #Conflicts: 660000 | #Constraints: 20834 886.45/888.76 c #Conflicts: 661000 | #Constraints: 21834 886.45/888.76 c #Conflicts: 662000 | #Constraints: 22834 886.45/888.76 c #Conflicts: 663000 | #Constraints: 23834 886.45/888.76 c #Conflicts: 664000 | #Constraints: 24834 886.45/888.76 c #Conflicts: 665000 | #Constraints: 25834 886.45/888.76 c #Conflicts: 666000 | #Constraints: 26834 886.45/888.76 c #Conflicts: 667000 | #Constraints: 27834 886.45/888.76 c #Conflicts: 668000 | #Constraints: 28834 886.45/888.76 c #Conflicts: 669000 | #Constraints: 29834 886.45/888.76 c #Conflicts: 670000 | #Constraints: 30834 886.45/888.76 c #Conflicts: 671000 | #Constraints: 31834 886.45/888.76 c INPROCESSING 886.45/888.76 c GARBAGE COLLECT 886.45/888.76 c rational objective 0 921.47/923.82 c #Conflicts: 672000 | #Constraints: 16630 921.47/923.82 c #Conflicts: 673000 | #Constraints: 17630 921.47/923.82 c #Conflicts: 674000 | #Constraints: 18630 921.47/923.82 c #Conflicts: 675000 | #Constraints: 19630 921.47/923.82 c #Conflicts: 676000 | #Constraints: 20630 921.47/923.82 c #Conflicts: 677000 | #Constraints: 21630 921.47/923.82 c #Conflicts: 678000 | #Constraints: 22630 921.47/923.82 c #Conflicts: 679000 | #Constraints: 23630 921.47/923.82 c #Conflicts: 680000 | #Constraints: 24630 921.47/923.82 c #Conflicts: 681000 | #Constraints: 25630 921.47/923.82 c #Conflicts: 682000 | #Constraints: 26630 921.47/923.82 c #Conflicts: 683000 | #Constraints: 27630 921.47/923.82 c #Conflicts: 684000 | #Constraints: 28630 921.47/923.82 c #Conflicts: 685000 | #Constraints: 29630 921.47/923.82 c #Conflicts: 686000 | #Constraints: 30630 921.47/923.82 c #Conflicts: 687000 | #Constraints: 31630 921.47/923.82 c #Conflicts: 688000 | #Constraints: 32630 921.47/923.82 c INPROCESSING 921.47/923.82 c GARBAGE COLLECT 921.47/923.82 c rational objective 0 953.19/955.62 c #Conflicts: 689000 | #Constraints: 17229 953.19/955.62 c #Conflicts: 690000 | #Constraints: 18229 953.19/955.62 c #Conflicts: 691000 | #Constraints: 19229 953.19/955.62 c #Conflicts: 692000 | #Constraints: 20229 953.19/955.62 c #Conflicts: 693000 | #Constraints: 21229 953.19/955.62 c #Conflicts: 694000 | #Constraints: 22229 953.19/955.62 c #Conflicts: 695000 | #Constraints: 23229 953.19/955.62 c #Conflicts: 696000 | #Constraints: 24229 953.19/955.62 c #Conflicts: 697000 | #Constraints: 25229 953.19/955.62 c #Conflicts: 698000 | #Constraints: 26229 953.19/955.62 c #Conflicts: 699000 | #Constraints: 27229 953.19/955.62 c #Conflicts: 700000 | #Constraints: 28229 953.19/955.62 c #Conflicts: 701000 | #Constraints: 29229 953.19/955.62 c #Conflicts: 702000 | #Constraints: 30229 953.19/955.62 c #Conflicts: 703000 | #Constraints: 31229 953.19/955.62 c #Conflicts: 704000 | #Constraints: 32229 953.19/955.62 c #Conflicts: 705000 | #Constraints: 33229 953.19/955.62 c INPROCESSING 953.19/955.62 c GARBAGE COLLECT 953.19/955.62 c rational objective 0 988.79/991.34 c #Conflicts: 706000 | #Constraints: 17630 988.79/991.34 c #Conflicts: 707000 | #Constraints: 18630 988.79/991.34 c #Conflicts: 708000 | #Constraints: 19631 988.79/991.34 c #Conflicts: 709000 | #Constraints: 20631 988.79/991.34 c #Conflicts: 710000 | #Constraints: 21631 988.79/991.34 c #Conflicts: 711000 | #Constraints: 22631 988.79/991.34 c #Conflicts: 712000 | #Constraints: 23631 988.79/991.34 c #Conflicts: 713000 | #Constraints: 24631 988.79/991.34 c #Conflicts: 714000 | #Constraints: 25631 988.79/991.34 c #Conflicts: 715000 | #Constraints: 26631 988.79/991.34 c #Conflicts: 716000 | #Constraints: 27631 988.79/991.34 c #Conflicts: 717000 | #Constraints: 28631 988.79/991.34 c #Conflicts: 718000 | #Constraints: 29632 988.79/991.34 c #Conflicts: 719000 | #Constraints: 30632 988.79/991.34 c #Conflicts: 720000 | #Constraints: 31632 988.79/991.34 c #Conflicts: 721000 | #Constraints: 32632 988.79/991.34 c #Conflicts: 722000 | #Constraints: 33632 988.79/991.34 c INPROCESSING 988.79/991.34 c GARBAGE COLLECT 988.79/991.34 c rational objective 0 1024.69/1027.39 c #Conflicts: 723000 | #Constraints: 17833 1024.69/1027.39 c #Conflicts: 724000 | #Constraints: 18833 1024.69/1027.39 c #Conflicts: 725000 | #Constraints: 19833 1024.69/1027.39 c #Conflicts: 726000 | #Constraints: 20833 1024.69/1027.39 c #Conflicts: 727000 | #Constraints: 21833 1024.69/1027.39 c #Conflicts: 728000 | #Constraints: 22833 1024.69/1027.39 c #Conflicts: 729000 | #Constraints: 23833 1024.69/1027.39 c #Conflicts: 730000 | #Constraints: 24833 1024.69/1027.39 c #Conflicts: 731000 | #Constraints: 25833 1024.69/1027.39 c #Conflicts: 732000 | #Constraints: 26833 1024.69/1027.39 c #Conflicts: 733000 | #Constraints: 27833 1024.69/1027.39 c #Conflicts: 734000 | #Constraints: 28833 1024.69/1027.39 c #Conflicts: 735000 | #Constraints: 29833 1024.69/1027.39 c #Conflicts: 736000 | #Constraints: 30833 1024.69/1027.39 c #Conflicts: 737000 | #Constraints: 31833 1024.69/1027.39 c #Conflicts: 738000 | #Constraints: 32833 1024.69/1027.39 c #Conflicts: 739000 | #Constraints: 33833 1024.69/1027.39 c INPROCESSING 1024.69/1027.39 c GARBAGE COLLECT 1024.69/1027.39 c rational objective 0 1062.59/1065.39 c #Conflicts: 740000 | #Constraints: 17834 1062.59/1065.39 c #Conflicts: 741000 | #Constraints: 18834 1062.59/1065.39 c #Conflicts: 742000 | #Constraints: 19834 1062.59/1065.39 c #Conflicts: 743000 | #Constraints: 20834 1062.59/1065.39 c #Conflicts: 744000 | #Constraints: 21834 1062.59/1065.39 c #Conflicts: 745000 | #Constraints: 22834 1062.59/1065.39 c #Conflicts: 746000 | #Constraints: 23834 1062.59/1065.39 c #Conflicts: 747000 | #Constraints: 24834 1062.59/1065.39 c #Conflicts: 748000 | #Constraints: 25834 1062.59/1065.39 c #Conflicts: 749000 | #Constraints: 26834 1062.59/1065.39 c #Conflicts: 750000 | #Constraints: 27834 1062.59/1065.39 c #Conflicts: 751000 | #Constraints: 28834 1062.59/1065.39 c #Conflicts: 752000 | #Constraints: 29834 1062.59/1065.39 c #Conflicts: 753000 | #Constraints: 30834 1062.59/1065.39 c #Conflicts: 754000 | #Constraints: 31834 1062.59/1065.39 c #Conflicts: 755000 | #Constraints: 32834 1062.59/1065.39 c #Conflicts: 756000 | #Constraints: 33834 1062.59/1065.39 c INPROCESSING 1062.59/1065.39 c GARBAGE COLLECT 1062.59/1065.39 c rational objective 0 1098.68/1101.55 c #Conflicts: 757000 | #Constraints: 17632 1098.68/1101.55 c #Conflicts: 758000 | #Constraints: 18632 1098.68/1101.55 c #Conflicts: 759000 | #Constraints: 19632 1098.68/1101.55 c #Conflicts: 760000 | #Constraints: 20632 1098.68/1101.55 c #Conflicts: 761000 | #Constraints: 21632 1098.68/1101.55 c #Conflicts: 762000 | #Constraints: 22632 1098.68/1101.55 c #Conflicts: 763000 | #Constraints: 23632 1098.68/1101.55 c #Conflicts: 764000 | #Constraints: 24632 1098.68/1101.55 c #Conflicts: 765000 | #Constraints: 25632 1098.68/1101.55 c #Conflicts: 766000 | #Constraints: 26632 1098.68/1101.55 c #Conflicts: 767000 | #Constraints: 27632 1098.68/1101.55 c #Conflicts: 768000 | #Constraints: 28632 1098.68/1101.55 c #Conflicts: 769000 | #Constraints: 29632 1098.68/1101.55 c #Conflicts: 770000 | #Constraints: 30632 1098.68/1101.55 c #Conflicts: 771000 | #Constraints: 31632 1098.68/1101.55 c #Conflicts: 772000 | #Constraints: 32632 1098.68/1101.55 c #Conflicts: 773000 | #Constraints: 33632 1098.68/1101.55 c #Conflicts: 774000 | #Constraints: 34632 1098.68/1101.55 c INPROCESSING 1098.68/1101.55 c GARBAGE COLLECT 1098.68/1101.55 c rational objective 0 1138.48/1141.49 c #Conflicts: 775000 | #Constraints: 18229 1138.48/1141.49 c #Conflicts: 776000 | #Constraints: 19229 1138.48/1141.49 c #Conflicts: 777000 | #Constraints: 20229 1138.48/1141.49 c #Conflicts: 778000 | #Constraints: 21229 1138.48/1141.49 c #Conflicts: 779000 | #Constraints: 22229 1138.48/1141.49 c #Conflicts: 780000 | #Constraints: 23229 1138.48/1141.49 c #Conflicts: 781000 | #Constraints: 24229 1138.48/1141.49 c #Conflicts: 782000 | #Constraints: 25229 1138.48/1141.49 c #Conflicts: 783000 | #Constraints: 26229 1138.48/1141.49 c #Conflicts: 784000 | #Constraints: 27229 1138.48/1141.49 c #Conflicts: 785000 | #Constraints: 28229 1138.48/1141.49 c #Conflicts: 786000 | #Constraints: 29229 1138.48/1141.49 c #Conflicts: 787000 | #Constraints: 30229 1138.48/1141.49 c #Conflicts: 788000 | #Constraints: 31229 1138.48/1141.49 c #Conflicts: 789000 | #Constraints: 32229 1138.48/1141.49 c #Conflicts: 790000 | #Constraints: 33229 1138.48/1141.49 c #Conflicts: 791000 | #Constraints: 34229 1138.48/1141.49 c #Conflicts: 792000 | #Constraints: 35229 1138.48/1141.49 c INPROCESSING 1138.48/1141.49 c GARBAGE COLLECT 1138.48/1141.49 c rational objective 0 1175.77/1178.80 c #Conflicts: 793000 | #Constraints: 18630 1175.77/1178.80 c #Conflicts: 794000 | #Constraints: 19630 1175.77/1178.80 c #Conflicts: 795000 | #Constraints: 20630 1175.77/1178.80 c #Conflicts: 796000 | #Constraints: 21630 1175.77/1178.80 c #Conflicts: 797000 | #Constraints: 22630 1175.77/1178.80 c #Conflicts: 798000 | #Constraints: 23630 1175.77/1178.80 c #Conflicts: 799000 | #Constraints: 24630 1175.77/1178.80 c #Conflicts: 800000 | #Constraints: 25630 1175.77/1178.80 c #Conflicts: 801000 | #Constraints: 26630 1175.77/1178.80 c #Conflicts: 802000 | #Constraints: 27630 1175.77/1178.80 c #Conflicts: 803000 | #Constraints: 28630 1175.77/1178.80 c #Conflicts: 804000 | #Constraints: 29630 1175.77/1178.80 c #Conflicts: 805000 | #Constraints: 30630 1175.77/1178.80 c #Conflicts: 806000 | #Constraints: 31630 1175.77/1178.80 c #Conflicts: 807000 | #Constraints: 32630 1175.77/1178.80 c #Conflicts: 808000 | #Constraints: 33630 1175.77/1178.80 c #Conflicts: 809000 | #Constraints: 34630 1175.77/1178.80 c #Conflicts: 810000 | #Constraints: 35630 1175.77/1178.80 c INPROCESSING 1175.77/1178.80 c GARBAGE COLLECT 1175.77/1178.80 c rational objective 0 1215.37/1218.50 c #Conflicts: 811000 | #Constraints: 18831 1215.37/1218.50 c #Conflicts: 812000 | #Constraints: 19831 1215.37/1218.50 c #Conflicts: 813000 | #Constraints: 20831 1215.37/1218.50 c #Conflicts: 814000 | #Constraints: 21831 1215.37/1218.50 c #Conflicts: 815000 | #Constraints: 22831 1215.37/1218.50 c #Conflicts: 816000 | #Constraints: 23831 1215.37/1218.50 c #Conflicts: 817000 | #Constraints: 24831 1215.37/1218.50 c #Conflicts: 818000 | #Constraints: 25831 1215.37/1218.50 c #Conflicts: 819000 | #Constraints: 26831 1215.37/1218.50 c #Conflicts: 820000 | #Constraints: 27831 1215.37/1218.50 c #Conflicts: 821000 | #Constraints: 28831 1215.37/1218.50 c #Conflicts: 822000 | #Constraints: 29831 1215.37/1218.50 c #Conflicts: 823000 | #Constraints: 30831 1215.37/1218.50 c #Conflicts: 824000 | #Constraints: 31831 1215.37/1218.50 c #Conflicts: 825000 | #Constraints: 32831 1215.37/1218.50 c #Conflicts: 826000 | #Constraints: 33831 1215.37/1218.50 c #Conflicts: 827000 | #Constraints: 34831 1215.37/1218.50 c #Conflicts: 828000 | #Constraints: 35831 1215.37/1218.50 c INPROCESSING 1215.37/1218.50 c GARBAGE COLLECT 1215.37/1218.50 c rational objective 0 1254.17/1257.46 c #Conflicts: 829000 | #Constraints: 18830 1254.17/1257.46 c #Conflicts: 830000 | #Constraints: 19830 1254.17/1257.46 c #Conflicts: 831000 | #Constraints: 20830 1254.17/1257.46 c #Conflicts: 832000 | #Constraints: 21830 1254.17/1257.46 c #Conflicts: 833000 | #Constraints: 22830 1254.17/1257.46 c #Conflicts: 834000 | #Constraints: 23830 1254.17/1257.46 c #Conflicts: 835000 | #Constraints: 24830 1254.17/1257.46 c #Conflicts: 836000 | #Constraints: 25830 1254.17/1257.46 c #Conflicts: 837000 | #Constraints: 26830 1254.17/1257.46 c #Conflicts: 838000 | #Constraints: 27830 1254.17/1257.46 c #Conflicts: 839000 | #Constraints: 28830 1254.17/1257.46 c #Conflicts: 840000 | #Constraints: 29830 1254.17/1257.46 c #Conflicts: 841000 | #Constraints: 30830 1254.17/1257.46 c #Conflicts: 842000 | #Constraints: 31830 1254.17/1257.46 c #Conflicts: 843000 | #Constraints: 32830 1254.17/1257.46 c #Conflicts: 844000 | #Constraints: 33830 1254.17/1257.46 c #Conflicts: 845000 | #Constraints: 34830 1254.17/1257.46 c #Conflicts: 846000 | #Constraints: 35830 1254.17/1257.46 c INPROCESSING 1254.17/1257.46 c GARBAGE COLLECT 1254.17/1257.46 c rational objective 0 1295.36/1298.79 c #Conflicts: 847000 | #Constraints: 18628 1295.36/1298.79 c #Conflicts: 848000 | #Constraints: 19628 1295.36/1298.79 c #Conflicts: 849000 | #Constraints: 20628 1295.36/1298.79 c #Conflicts: 850000 | #Constraints: 21628 1295.36/1298.79 c #Conflicts: 851000 | #Constraints: 22628 1295.36/1298.79 c #Conflicts: 852000 | #Constraints: 23628 1295.36/1298.79 c #Conflicts: 853000 | #Constraints: 24628 1295.36/1298.79 c #Conflicts: 854000 | #Constraints: 25628 1295.36/1298.79 c #Conflicts: 855000 | #Constraints: 26628 1295.36/1298.79 c #Conflicts: 856000 | #Constraints: 27628 1295.36/1298.79 c #Conflicts: 857000 | #Constraints: 28628 1295.36/1298.79 c #Conflicts: 858000 | #Constraints: 29628 1295.36/1298.79 c #Conflicts: 859000 | #Constraints: 30628 1295.36/1298.79 c #Conflicts: 860000 | #Constraints: 31628 1295.36/1298.79 c #Conflicts: 861000 | #Constraints: 32628 1295.36/1298.79 c #Conflicts: 862000 | #Constraints: 33628 1295.36/1298.79 c #Conflicts: 863000 | #Constraints: 34628 1295.36/1298.79 c #Conflicts: 864000 | #Constraints: 35628 1295.36/1298.79 c #Conflicts: 865000 | #Constraints: 36628 1295.36/1298.79 c INPROCESSING 1295.36/1298.79 c GARBAGE COLLECT 1295.36/1298.79 c rational objective 0 1334.35/1337.88 c #Conflicts: 866000 | #Constraints: 19228 1334.35/1337.88 c #Conflicts: 867000 | #Constraints: 20228 1334.35/1337.88 c #Conflicts: 868000 | #Constraints: 21228 1334.35/1337.88 c #Conflicts: 869000 | #Constraints: 22228 1334.35/1337.88 c #Conflicts: 870000 | #Constraints: 23228 1334.35/1337.88 c #Conflicts: 871000 | #Constraints: 24228 1334.35/1337.88 c #Conflicts: 872000 | #Constraints: 25228 1334.35/1337.88 c #Conflicts: 873000 | #Constraints: 26228 1334.35/1337.88 c #Conflicts: 874000 | #Constraints: 27228 1334.35/1337.88 c #Conflicts: 875000 | #Constraints: 28228 1334.35/1337.88 c #Conflicts: 876000 | #Constraints: 29228 1334.35/1337.88 c #Conflicts: 877000 | #Constraints: 30228 1334.35/1337.88 c #Conflicts: 878000 | #Constraints: 31228 1334.35/1337.88 c #Conflicts: 879000 | #Constraints: 32228 1334.35/1337.88 c #Conflicts: 880000 | #Constraints: 33228 1334.35/1337.88 c #Conflicts: 881000 | #Constraints: 34228 1334.35/1337.88 c #Conflicts: 882000 | #Constraints: 35228 1334.35/1337.88 c #Conflicts: 883000 | #Constraints: 36228 1334.35/1337.88 c #Conflicts: 884000 | #Constraints: 37228 1334.35/1337.88 c INPROCESSING 1334.35/1337.88 c GARBAGE COLLECT 1334.35/1337.88 c rational objective 0 1378.53/1382.15 c #Conflicts: 885000 | #Constraints: 19626 1378.53/1382.15 c #Conflicts: 886000 | #Constraints: 20626 1378.53/1382.15 c #Conflicts: 887000 | #Constraints: 21626 1378.53/1382.15 c #Conflicts: 888000 | #Constraints: 22626 1378.53/1382.15 c #Conflicts: 889000 | #Constraints: 23626 1378.53/1382.15 c #Conflicts: 890000 | #Constraints: 24626 1378.53/1382.15 c #Conflicts: 891000 | #Constraints: 25626 1378.53/1382.15 c #Conflicts: 892000 | #Constraints: 26626 1378.53/1382.15 c #Conflicts: 893000 | #Constraints: 27626 1378.53/1382.15 c #Conflicts: 894000 | #Constraints: 28626 1378.53/1382.15 c #Conflicts: 895000 | #Constraints: 29626 1378.53/1382.15 c #Conflicts: 896000 | #Constraints: 30626 1378.53/1382.15 c #Conflicts: 897000 | #Constraints: 31626 1378.53/1382.15 c #Conflicts: 898000 | #Constraints: 32626 1378.53/1382.15 c #Conflicts: 899000 | #Constraints: 33626 1378.53/1382.15 c #Conflicts: 900000 | #Constraints: 34626 1378.53/1382.15 c #Conflicts: 901000 | #Constraints: 35626 1378.53/1382.15 c #Conflicts: 902000 | #Constraints: 36626 1378.53/1382.15 c #Conflicts: 903000 | #Constraints: 37626 1378.53/1382.15 c INPROCESSING 1378.53/1382.15 c GARBAGE COLLECT 1378.53/1382.15 c rational objective 0 1419.20/1423.00 c #Conflicts: 904000 | #Constraints: 19829 1419.20/1423.00 c #Conflicts: 905000 | #Constraints: 20829 1419.20/1423.00 c #Conflicts: 906000 | #Constraints: 21829 1419.20/1423.00 c #Conflicts: 907000 | #Constraints: 22829 1419.20/1423.00 c #Conflicts: 908000 | #Constraints: 23829 1419.20/1423.00 c #Conflicts: 909000 | #Constraints: 24829 1419.20/1423.00 c #Conflicts: 910000 | #Constraints: 25829 1419.20/1423.00 c #Conflicts: 911000 | #Constraints: 26829 1419.20/1423.00 c #Conflicts: 912000 | #Constraints: 27829 1419.20/1423.00 c #Conflicts: 913000 | #Constraints: 28829 1419.20/1423.00 c #Conflicts: 914000 | #Constraints: 29829 1419.20/1423.00 c #Conflicts: 915000 | #Constraints: 30829 1419.20/1423.00 c #Conflicts: 916000 | #Constraints: 31829 1419.20/1423.00 c #Conflicts: 917000 | #Constraints: 32829 1419.20/1423.00 c #Conflicts: 918000 | #Constraints: 33829 1419.20/1423.00 c #Conflicts: 919000 | #Constraints: 34829 1419.20/1423.00 c #Conflicts: 920000 | #Constraints: 35829 1419.20/1423.00 c #Conflicts: 921000 | #Constraints: 36829 1419.20/1423.00 c #Conflicts: 922000 | #Constraints: 37829 1419.20/1423.00 c INPROCESSING 1419.20/1423.00 c GARBAGE COLLECT 1419.20/1423.00 c rational objective 0 1464.47/1468.37 c #Conflicts: 923000 | #Constraints: 19830 1464.47/1468.37 c #Conflicts: 924000 | #Constraints: 20830 1464.47/1468.37 c #Conflicts: 925000 | #Constraints: 21830 1464.47/1468.37 c #Conflicts: 926000 | #Constraints: 22830 1464.47/1468.37 c #Conflicts: 927000 | #Constraints: 23830 1464.47/1468.37 c #Conflicts: 928000 | #Constraints: 24830 1464.47/1468.37 c #Conflicts: 929000 | #Constraints: 25830 1464.47/1468.37 c #Conflicts: 930000 | #Constraints: 26830 1464.47/1468.37 c #Conflicts: 931000 | #Constraints: 27830 1464.47/1468.37 c #Conflicts: 932000 | #Constraints: 28830 1464.47/1468.37 c #Conflicts: 933000 | #Constraints: 29830 1464.47/1468.37 c #Conflicts: 934000 | #Constraints: 30830 1464.47/1468.37 c #Conflicts: 935000 | #Constraints: 31830 1464.47/1468.37 c #Conflicts: 936000 | #Constraints: 32830 1464.47/1468.37 c #Conflicts: 937000 | #Constraints: 33830 1464.47/1468.37 c #Conflicts: 938000 | #Constraints: 34830 1464.47/1468.37 c #Conflicts: 939000 | #Constraints: 35830 1464.47/1468.37 c #Conflicts: 940000 | #Constraints: 36830 1464.47/1468.37 c #Conflicts: 941000 | #Constraints: 37830 1464.47/1468.37 c INPROCESSING 1464.47/1468.37 c GARBAGE COLLECT 1464.47/1468.37 c rational objective 0 1507.64/1511.66 c #Conflicts: 942000 | #Constraints: 19630 1507.64/1511.66 c #Conflicts: 943000 | #Constraints: 20630 1507.64/1511.66 c #Conflicts: 944000 | #Constraints: 21630 1507.64/1511.66 c #Conflicts: 945000 | #Constraints: 22631 1507.64/1511.66 c #Conflicts: 946000 | #Constraints: 23631 1507.64/1511.66 c #Conflicts: 947000 | #Constraints: 24631 1507.64/1511.66 c #Conflicts: 948000 | #Constraints: 25631 1507.64/1511.66 c #Conflicts: 949000 | #Constraints: 26631 1507.64/1511.66 c #Conflicts: 950000 | #Constraints: 27632 1507.64/1511.66 c #Conflicts: 951000 | #Constraints: 28632 1507.64/1511.66 c #Conflicts: 952000 | #Constraints: 29632 1507.64/1511.66 c #Conflicts: 953000 | #Constraints: 30632 1507.64/1511.66 c #Conflicts: 954000 | #Constraints: 31632 1507.64/1511.66 c #Conflicts: 955000 | #Constraints: 32632 1507.64/1511.66 c #Conflicts: 956000 | #Constraints: 33632 1507.64/1511.66 c #Conflicts: 957000 | #Constraints: 34632 1507.64/1511.66 c #Conflicts: 958000 | #Constraints: 35632 1507.64/1511.66 c #Conflicts: 959000 | #Constraints: 36632 1507.64/1511.66 c #Conflicts: 960000 | #Constraints: 37632 1507.64/1511.66 c #Conflicts: 961000 | #Constraints: 38632 1507.64/1511.66 c INPROCESSING 1507.64/1511.66 c GARBAGE COLLECT 1507.64/1511.66 c rational objective 0 1555.40/1559.53 c #Conflicts: 962000 | #Constraints: 20231 1555.40/1559.53 c #Conflicts: 963000 | #Constraints: 21231 1555.40/1559.53 c #Conflicts: 964000 | #Constraints: 22231 1555.40/1559.53 c #Conflicts: 965000 | #Constraints: 23231 1555.40/1559.53 c #Conflicts: 966000 | #Constraints: 24231 1555.40/1559.53 c #Conflicts: 967000 | #Constraints: 25231 1555.40/1559.53 c #Conflicts: 968000 | #Constraints: 26231 1555.40/1559.53 c #Conflicts: 969000 | #Constraints: 27231 1555.40/1559.53 c #Conflicts: 970000 | #Constraints: 28231 1555.40/1559.53 c #Conflicts: 971000 | #Constraints: 29231 1555.40/1559.53 c #Conflicts: 972000 | #Constraints: 30231 1555.40/1559.53 c #Conflicts: 973000 | #Constraints: 31231 1555.40/1559.53 c #Conflicts: 974000 | #Constraints: 32231 1555.40/1559.53 c #Conflicts: 975000 | #Constraints: 33231 1555.40/1559.53 c #Conflicts: 976000 | #Constraints: 34231 1555.40/1559.53 c #Conflicts: 977000 | #Constraints: 35231 1555.40/1559.53 c #Conflicts: 978000 | #Constraints: 36231 1555.40/1559.53 c #Conflicts: 979000 | #Constraints: 37231 1555.40/1559.53 c #Conflicts: 980000 | #Constraints: 38231 1555.40/1559.53 c #Conflicts: 981000 | #Constraints: 39231 1555.40/1559.53 c INPROCESSING 1555.40/1559.53 c GARBAGE COLLECT 1555.40/1559.53 c rational objective 0 1600.88/1605.17 c #Conflicts: 982000 | #Constraints: 20632 1600.88/1605.17 c #Conflicts: 983000 | #Constraints: 21632 1600.88/1605.17 c #Conflicts: 984000 | #Constraints: 22632 1600.88/1605.17 c #Conflicts: 985000 | #Constraints: 23632 1600.88/1605.17 c #Conflicts: 986000 | #Constraints: 24632 1600.88/1605.17 c #Conflicts: 987000 | #Constraints: 25632 1600.88/1605.17 c #Conflicts: 988000 | #Constraints: 26632 1600.88/1605.17 c #Conflicts: 989000 | #Constraints: 27632 1600.88/1605.17 c #Conflicts: 990000 | #Constraints: 28632 1600.88/1605.17 c #Conflicts: 991000 | #Constraints: 29632 1600.88/1605.17 c #Conflicts: 992000 | #Constraints: 30632 1600.88/1605.17 c #Conflicts: 993000 | #Constraints: 31632 1600.88/1605.17 c #Conflicts: 994000 | #Constraints: 32632 1600.88/1605.17 c #Conflicts: 995000 | #Constraints: 33632 1600.88/1605.17 c #Conflicts: 996000 | #Constraints: 34632 1600.88/1605.17 c #Conflicts: 997000 | #Constraints: 35632 1600.88/1605.17 c #Conflicts: 998000 | #Constraints: 36632 1600.88/1605.17 c #Conflicts: 999000 | #Constraints: 37632 1600.88/1605.17 c #Conflicts: 1000000 | #Constraints: 38632 1600.88/1605.17 c #Conflicts: 1001000 | #Constraints: 39632 1600.88/1605.17 c INPROCESSING 1600.88/1605.17 c GARBAGE COLLECT 1600.88/1605.17 c rational objective 0 1649.54/1653.98 c #Conflicts: 1002000 | #Constraints: 20831 1649.54/1653.98 c #Conflicts: 1003000 | #Constraints: 21831 1649.54/1653.98 c #Conflicts: 1004000 | #Constraints: 22831 1649.54/1653.98 c #Conflicts: 1005000 | #Constraints: 23831 1649.54/1653.98 c #Conflicts: 1006000 | #Constraints: 24831 1649.54/1653.98 c #Conflicts: 1007000 | #Constraints: 25831 1649.54/1653.98 c #Conflicts: 1008000 | #Constraints: 26831 1649.54/1653.98 c #Conflicts: 1009000 | #Constraints: 27831 1649.54/1653.98 c #Conflicts: 1010000 | #Constraints: 28831 1649.54/1653.98 c #Conflicts: 1011000 | #Constraints: 29831 1649.54/1653.98 c #Conflicts: 1012000 | #Constraints: 30831 1649.54/1653.98 c #Conflicts: 1013000 | #Constraints: 31831 1649.54/1653.98 c #Conflicts: 1014000 | #Constraints: 32831 1649.54/1653.98 c #Conflicts: 1015000 | #Constraints: 33831 1649.54/1653.98 c #Conflicts: 1016000 | #Constraints: 34831 1649.54/1653.98 c #Conflicts: 1017000 | #Constraints: 35831 1649.54/1653.98 c #Conflicts: 1018000 | #Constraints: 36831 1649.54/1653.98 c #Conflicts: 1019000 | #Constraints: 37831 1649.54/1653.98 c #Conflicts: 1020000 | #Constraints: 38831 1649.54/1653.98 c #Conflicts: 1021000 | #Constraints: 39831 1649.54/1653.98 c INPROCESSING 1649.54/1653.98 c GARBAGE COLLECT 1649.54/1653.98 c rational objective 0 1695.50/1700.08 c #Conflicts: 1022000 | #Constraints: 20834 1695.50/1700.08 c #Conflicts: 1023000 | #Constraints: 21834 1695.50/1700.08 c #Conflicts: 1024000 | #Constraints: 22834 1695.50/1700.08 c #Conflicts: 1025000 | #Constraints: 23834 1695.50/1700.08 c #Conflicts: 1026000 | #Constraints: 24834 1695.50/1700.08 c #Conflicts: 1027000 | #Constraints: 25834 1695.50/1700.08 c #Conflicts: 1028000 | #Constraints: 26834 1695.50/1700.08 c #Conflicts: 1029000 | #Constraints: 27834 1695.50/1700.08 c #Conflicts: 1030000 | #Constraints: 28834 1695.50/1700.08 c #Conflicts: 1031000 | #Constraints: 29834 1695.50/1700.08 c #Conflicts: 1032000 | #Constraints: 30834 1695.50/1700.08 c #Conflicts: 1033000 | #Constraints: 31834 1695.50/1700.08 c #Conflicts: 1034000 | #Constraints: 32835 1695.50/1700.08 c #Conflicts: 1035000 | #Constraints: 33835 1695.50/1700.08 c #Conflicts: 1036000 | #Constraints: 34835 1695.50/1700.08 c #Conflicts: 1037000 | #Constraints: 35835 1695.50/1700.08 c #Conflicts: 1038000 | #Constraints: 36835 1695.50/1700.08 c #Conflicts: 1039000 | #Constraints: 37835 1695.50/1700.08 c #Conflicts: 1040000 | #Constraints: 38835 1695.50/1700.08 c #Conflicts: 1041000 | #Constraints: 39835 1695.50/1700.08 c INPROCESSING 1695.50/1700.08 c GARBAGE COLLECT 1695.50/1700.08 c rational objective 0 1745.75/1750.48 c #Conflicts: 1042000 | #Constraints: 20632 1745.75/1750.48 c #Conflicts: 1043000 | #Constraints: 21632 1745.75/1750.48 c #Conflicts: 1044000 | #Constraints: 22632 1745.75/1750.48 c #Conflicts: 1045000 | #Constraints: 23632 1745.75/1750.48 c #Conflicts: 1046000 | #Constraints: 24632 1745.75/1750.48 c #Conflicts: 1047000 | #Constraints: 25632 1745.75/1750.48 c #Conflicts: 1048000 | #Constraints: 26632 1745.75/1750.48 c #Conflicts: 1049000 | #Constraints: 27632 1745.75/1750.48 c #Conflicts: 1050000 | #Constraints: 28632 1745.75/1750.48 c #Conflicts: 1051000 | #Constraints: 29632 1745.75/1750.48 c #Conflicts: 1052000 | #Constraints: 30632 1745.75/1750.48 c #Conflicts: 1053000 | #Constraints: 31633 1745.75/1750.48 c #Conflicts: 1054000 | #Constraints: 32633 1745.75/1750.48 c #Conflicts: 1055000 | #Constraints: 33633 1745.75/1750.48 c #Conflicts: 1056000 | #Constraints: 34633 1745.75/1750.48 c #Conflicts: 1057000 | #Constraints: 35633 1745.75/1750.48 c #Conflicts: 1058000 | #Constraints: 36633 1745.75/1750.48 c #Conflicts: 1059000 | #Constraints: 37633 1745.75/1750.48 c #Conflicts: 1060000 | #Constraints: 38633 1745.75/1750.48 c #Conflicts: 1061000 | #Constraints: 39633 1745.75/1750.48 c #Conflicts: 1062000 | #Constraints: 40633 1745.75/1750.48 c INPROCESSING 1745.75/1750.48 c GARBAGE COLLECT 1745.75/1750.48 c rational objective 0 1790.82/1795.60 c #Conflicts: 1063000 | #Constraints: 21233 1790.82/1795.60 c #Conflicts: 1064000 | #Constraints: 22233 1790.82/1795.60 c #Conflicts: 1065000 | #Constraints: 23233 1790.82/1795.60 c #Conflicts: 1066000 | #Constraints: 24233 1790.82/1795.60 c #Conflicts: 1067000 | #Constraints: 25233 1790.82/1795.60 c #Conflicts: 1068000 | #Constraints: 26233 1790.82/1795.60 c #Conflicts: 1069000 | #Constraints: 27233 1790.82/1795.60 c #Conflicts: 1070000 | #Constraints: 28233 1790.82/1795.60 c #Conflicts: 1071000 | #Constraints: 29233 1790.82/1795.60 c #Conflicts: 1072000 | #Constraints: 30233 1790.82/1795.60 c #Conflicts: 1073000 | #Constraints: 31233 1790.82/1795.60 c #Conflicts: 1074000 | #Constraints: 32233 1790.82/1795.60 c #Conflicts: 1075000 | #Constraints: 33233 1790.82/1795.60 c #Conflicts: 1076000 | #Constraints: 34233 1790.82/1795.60 c #Conflicts: 1077000 | #Constraints: 35233 1790.82/1795.60 c #Conflicts: 1078000 | #Constraints: 36233 1790.82/1795.60 c #Conflicts: 1079000 | #Constraints: 37234 1790.82/1795.60 c #Conflicts: 1080000 | #Constraints: 38234 1790.82/1795.60 c #Conflicts: 1081000 | #Constraints: 39234 1790.82/1795.60 c #Conflicts: 1082000 | #Constraints: 40234 1790.82/1795.60 c #Conflicts: 1083000 | #Constraints: 41234 1790.82/1795.60 c INPROCESSING 1790.82/1795.60 c GARBAGE COLLECT 1790.82/1795.60 c rational objective 0 1838.58/1843.58 c #Conflicts: 1084000 | #Constraints: 21635 1838.58/1843.58 c #Conflicts: 1085000 | #Constraints: 22635 1838.58/1843.58 c #Conflicts: 1086000 | #Constraints: 23635 1838.58/1843.58 c #Conflicts: 1087000 | #Constraints: 24635 1838.58/1843.58 c #Conflicts: 1088000 | #Constraints: 25635 1838.58/1843.58 c #Conflicts: 1089000 | #Constraints: 26635 1838.58/1843.58 c #Conflicts: 1090000 | #Constraints: 27635 1838.58/1843.58 c #Conflicts: 1091000 | #Constraints: 28635 1838.58/1843.58 c #Conflicts: 1092000 | #Constraints: 29635 1838.58/1843.58 c #Conflicts: 1093000 | #Constraints: 30635 1838.58/1843.58 c #Conflicts: 1094000 | #Constraints: 31635 1838.58/1843.58 c #Conflicts: 1095000 | #Constraints: 32635 1838.58/1843.58 c #Conflicts: 1096000 | #Constraints: 33635 1838.58/1843.58 c #Conflicts: 1097000 | #Constraints: 34635 1838.58/1843.58 c #Conflicts: 1098000 | #Constraints: 35635 1838.58/1843.58 c #Conflicts: 1099000 | #Constraints: 36635 1838.58/1843.58 c #Conflicts: 1100000 | #Constraints: 37635 1838.58/1843.58 c #Conflicts: 1101000 | #Constraints: 38635 1838.58/1843.58 c #Conflicts: 1102000 | #Constraints: 39635 1838.58/1843.58 c #Conflicts: 1103000 | #Constraints: 40635 1838.58/1843.58 c #Conflicts: 1104000 | #Constraints: 41635 1838.58/1843.58 c INPROCESSING 1838.58/1843.58 c GARBAGE COLLECT 1838.58/1843.58 c rational objective 0 1889.33/1894.44 c #Conflicts: 1105000 | #Constraints: 21832 1889.33/1894.44 c #Conflicts: 1106000 | #Constraints: 22832 1889.33/1894.44 c #Conflicts: 1107000 | #Constraints: 23832 1889.33/1894.44 c #Conflicts: 1108000 | #Constraints: 24832 1889.33/1894.44 c #Conflicts: 1109000 | #Constraints: 25832 1889.33/1894.44 c #Conflicts: 1110000 | #Constraints: 26832 1889.33/1894.44 c #Conflicts: 1111000 | #Constraints: 27832 1889.33/1894.44 c #Conflicts: 1112000 | #Constraints: 28832 1889.33/1894.44 c #Conflicts: 1113000 | #Constraints: 29832 1889.33/1894.44 c #Conflicts: 1114000 | #Constraints: 30832 1889.33/1894.44 c #Conflicts: 1115000 | #Constraints: 31832 1889.33/1894.44 c #Conflicts: 1116000 | #Constraints: 32832 1889.33/1894.44 c #Conflicts: 1117000 | #Constraints: 33832 1889.33/1894.44 c #Conflicts: 1118000 | #Constraints: 34832 1889.33/1894.44 c #Conflicts: 1119000 | #Constraints: 35832 1889.33/1894.44 c #Conflicts: 1120000 | #Constraints: 36832 1889.33/1894.44 c #Conflicts: 1121000 | #Constraints: 37832 1889.33/1894.44 c #Conflicts: 1122000 | #Constraints: 38832 1889.33/1894.44 c #Conflicts: 1123000 | #Constraints: 39832 1889.33/1894.44 c #Conflicts: 1124000 | #Constraints: 40832 1889.33/1894.44 c #Conflicts: 1125000 | #Constraints: 41832 1889.33/1894.44 c INPROCESSING 1889.33/1894.44 c GARBAGE COLLECT 1889.33/1894.44 c rational objective 0 1935.79/1941.08 c #Conflicts: 1126000 | #Constraints: 21833 1935.79/1941.08 c #Conflicts: 1127000 | #Constraints: 22833 1935.79/1941.08 c #Conflicts: 1128000 | #Constraints: 23833 1935.79/1941.08 c #Conflicts: 1129000 | #Constraints: 24833 1935.79/1941.08 c #Conflicts: 1130000 | #Constraints: 25833 1935.79/1941.08 c #Conflicts: 1131000 | #Constraints: 26833 1935.79/1941.08 c #Conflicts: 1132000 | #Constraints: 27833 1935.79/1941.08 c #Conflicts: 1133000 | #Constraints: 28833 1935.79/1941.08 c #Conflicts: 1134000 | #Constraints: 29833 1935.79/1941.08 c #Conflicts: 1135000 | #Constraints: 30833 1935.79/1941.08 c #Conflicts: 1136000 | #Constraints: 31833 1935.79/1941.08 c #Conflicts: 1137000 | #Constraints: 32833 1935.79/1941.08 c #Conflicts: 1138000 | #Constraints: 33833 1935.79/1941.08 c #Conflicts: 1139000 | #Constraints: 34833 1935.79/1941.08 c #Conflicts: 1140000 | #Constraints: 35833 1935.79/1941.08 c #Conflicts: 1141000 | #Constraints: 36833 1935.79/1941.08 c #Conflicts: 1142000 | #Constraints: 37833 1935.79/1941.08 c #Conflicts: 1143000 | #Constraints: 38833 1935.79/1941.08 c #Conflicts: 1144000 | #Constraints: 39833 1935.79/1941.08 c #Conflicts: 1145000 | #Constraints: 40833 1935.79/1941.08 c #Conflicts: 1146000 | #Constraints: 41833 1935.79/1941.08 c INPROCESSING 1935.79/1941.08 c GARBAGE COLLECT 1935.79/1941.08 c rational objective 0 1987.53/1992.90 c #Conflicts: 1147000 | #Constraints: 21629 1987.53/1992.90 c #Conflicts: 1148000 | #Constraints: 22629 1987.53/1992.90 c #Conflicts: 1149000 | #Constraints: 23629 1987.53/1992.90 c #Conflicts: 1150000 | #Constraints: 24629 1987.53/1992.90 c #Conflicts: 1151000 | #Constraints: 25629 1987.53/1992.90 c #Conflicts: 1152000 | #Constraints: 26629 1987.53/1992.90 c #Conflicts: 1153000 | #Constraints: 27629 1987.53/1992.90 c #Conflicts: 1154000 | #Constraints: 28630 1987.53/1992.90 c #Conflicts: 1155000 | #Constraints: 29630 1987.53/1992.90 c #Conflicts: 1156000 | #Constraints: 30630 1987.53/1992.90 c #Conflicts: 1157000 | #Constraints: 31630 1987.53/1992.90 c #Conflicts: 1158000 | #Constraints: 32630 1987.53/1992.90 c #Conflicts: 1159000 | #Constraints: 33630 1987.53/1992.90 c #Conflicts: 1160000 | #Constraints: 34630 1987.53/1992.90 c #Conflicts: 1161000 | #Constraints: 35630 1987.53/1992.90 c #Conflicts: 1162000 | #Constraints: 36630 1987.53/1992.90 c #Conflicts: 1163000 | #Constraints: 37630 1987.53/1992.90 c #Conflicts: 1164000 | #Constraints: 38630 1987.53/1992.90 c #Conflicts: 1165000 | #Constraints: 39630 1987.53/1992.90 c #Conflicts: 1166000 | #Constraints: 40630 1987.53/1992.90 c #Conflicts: 1167000 | #Constraints: 41630 1987.53/1992.90 c #Conflicts: 1168000 | #Constraints: 42630 1987.53/1992.90 c INPROCESSING 1987.53/1992.90 c GARBAGE COLLECT 1987.53/1992.90 c rational objective 0 2036.00/2041.59 c #Conflicts: 1169000 | #Constraints: 22231 2036.00/2041.59 c #Conflicts: 1170000 | #Constraints: 23231 2036.00/2041.59 c #Conflicts: 1171000 | #Constraints: 24231 2036.00/2041.59 c #Conflicts: 1172000 | #Constraints: 25231 2036.00/2041.59 c #Conflicts: 1173000 | #Constraints: 26231 2036.00/2041.59 c #Conflicts: 1174000 | #Constraints: 27231 2036.00/2041.59 c #Conflicts: 1175000 | #Constraints: 28231 2036.00/2041.59 c #Conflicts: 1176000 | #Constraints: 29232 2036.00/2041.59 c #Conflicts: 1177000 | #Constraints: 30232 2036.00/2041.59 c #Conflicts: 1178000 | #Constraints: 31232 2036.00/2041.59 c #Conflicts: 1179000 | #Constraints: 32232 2036.00/2041.59 c #Conflicts: 1180000 | #Constraints: 33232 2036.00/2041.59 c #Conflicts: 1181000 | #Constraints: 34232 2036.00/2041.59 c #Conflicts: 1182000 | #Constraints: 35232 2036.00/2041.59 c #Conflicts: 1183000 | #Constraints: 36232 2036.00/2041.59 c #Conflicts: 1184000 | #Constraints: 37232 2036.00/2041.59 c #Conflicts: 1185000 | #Constraints: 38232 2036.00/2041.59 c #Conflicts: 1186000 | #Constraints: 39232 2036.00/2041.59 c #Conflicts: 1187000 | #Constraints: 40232 2036.00/2041.59 c #Conflicts: 1188000 | #Constraints: 41232 2036.00/2041.59 c #Conflicts: 1189000 | #Constraints: 42232 2036.00/2041.59 c #Conflicts: 1190000 | #Constraints: 43232 2036.00/2041.59 c INPROCESSING 2036.00/2041.59 c GARBAGE COLLECT 2036.00/2041.59 c rational objective 0 2089.44/2095.11 c #Conflicts: 1191000 | #Constraints: 22633 2089.44/2095.11 c #Conflicts: 1192000 | #Constraints: 23633 2089.44/2095.11 c #Conflicts: 1193000 | #Constraints: 24634 2089.44/2095.11 c #Conflicts: 1194000 | #Constraints: 25634 2089.44/2095.11 c #Conflicts: 1195000 | #Constraints: 26634 2089.44/2095.11 c #Conflicts: 1196000 | #Constraints: 27634 2089.44/2095.11 c #Conflicts: 1197000 | #Constraints: 28634 2089.44/2095.11 c #Conflicts: 1198000 | #Constraints: 29634 2089.44/2095.11 c #Conflicts: 1199000 | #Constraints: 30634 2089.44/2095.11 c #Conflicts: 1200000 | #Constraints: 31634 2089.44/2095.11 c #Conflicts: 1201000 | #Constraints: 32634 2089.44/2095.11 c #Conflicts: 1202000 | #Constraints: 33634 2089.44/2095.11 c #Conflicts: 1203000 | #Constraints: 34634 2089.44/2095.11 c #Conflicts: 1204000 | #Constraints: 35634 2089.44/2095.11 c #Conflicts: 1205000 | #Constraints: 36634 2089.44/2095.11 c #Conflicts: 1206000 | #Constraints: 37634 2089.44/2095.11 c #Conflicts: 1207000 | #Constraints: 38634 2089.44/2095.11 c #Conflicts: 1208000 | #Constraints: 39634 2089.44/2095.11 c #Conflicts: 1209000 | #Constraints: 40634 2089.44/2095.11 c #Conflicts: 1210000 | #Constraints: 41634 2089.44/2095.11 c #Conflicts: 1211000 | #Constraints: 42634 2089.44/2095.11 c #Conflicts: 1212000 | #Constraints: 43634 2089.44/2095.11 c INPROCESSING 2089.44/2095.11 c GARBAGE COLLECT 2089.44/2095.11 c rational objective 0 2141.39/2147.28 c #Conflicts: 1213000 | #Constraints: 22834 2141.39/2147.28 c #Conflicts: 1214000 | #Constraints: 23834 2141.39/2147.28 c #Conflicts: 1215000 | #Constraints: 24834 2141.39/2147.28 c #Conflicts: 1216000 | #Constraints: 25834 2141.39/2147.28 c #Conflicts: 1217000 | #Constraints: 26834 2141.39/2147.28 c #Conflicts: 1218000 | #Constraints: 27834 2141.39/2147.28 c #Conflicts: 1219000 | #Constraints: 28834 2141.39/2147.28 c #Conflicts: 1220000 | #Constraints: 29834 2141.39/2147.28 c #Conflicts: 1221000 | #Constraints: 30834 2141.39/2147.28 c #Conflicts: 1222000 | #Constraints: 31834 2141.39/2147.28 c #Conflicts: 1223000 | #Constraints: 32834 2141.39/2147.28 c #Conflicts: 1224000 | #Constraints: 33834 2141.39/2147.28 c #Conflicts: 1225000 | #Constraints: 34834 2141.39/2147.28 c #Conflicts: 1226000 | #Constraints: 35834 2141.39/2147.28 c #Conflicts: 1227000 | #Constraints: 36834 2141.39/2147.28 c #Conflicts: 1228000 | #Constraints: 37834 2141.39/2147.28 c #Conflicts: 1229000 | #Constraints: 38834 2141.39/2147.28 c #Conflicts: 1230000 | #Constraints: 39834 2141.39/2147.28 c #Conflicts: 1231000 | #Constraints: 40834 2141.39/2147.28 c #Conflicts: 1232000 | #Constraints: 41834 2141.39/2147.28 c #Conflicts: 1233000 | #Constraints: 42834 2141.39/2147.28 c #Conflicts: 1234000 | #Constraints: 43834 2141.39/2147.28 c INPROCESSING 2141.39/2147.28 c GARBAGE COLLECT 2141.39/2147.28 c rational objective 0 2195.93/2201.98 c #Conflicts: 1235000 | #Constraints: 22832 2195.93/2201.98 c #Conflicts: 1236000 | #Constraints: 23832 2195.93/2201.98 c #Conflicts: 1237000 | #Constraints: 24832 2195.93/2201.98 c #Conflicts: 1238000 | #Constraints: 25832 2195.93/2201.98 c #Conflicts: 1239000 | #Constraints: 26833 2195.93/2201.98 c #Conflicts: 1240000 | #Constraints: 27833 2195.93/2201.98 c #Conflicts: 1241000 | #Constraints: 28833 2195.93/2201.98 c #Conflicts: 1242000 | #Constraints: 29833 2195.93/2201.98 c #Conflicts: 1243000 | #Constraints: 30833 2195.93/2201.98 c #Conflicts: 1244000 | #Constraints: 31833 2195.93/2201.98 c #Conflicts: 1245000 | #Constraints: 32833 2195.93/2201.98 c #Conflicts: 1246000 | #Constraints: 33833 2195.93/2201.98 c #Conflicts: 1247000 | #Constraints: 34833 2195.93/2201.98 c #Conflicts: 1248000 | #Constraints: 35833 2195.93/2201.98 c #Conflicts: 1249000 | #Constraints: 36833 2195.93/2201.98 c #Conflicts: 1250000 | #Constraints: 37833 2195.93/2201.98 c #Conflicts: 1251000 | #Constraints: 38833 2195.93/2201.98 c #Conflicts: 1252000 | #Constraints: 39833 2195.93/2201.98 c #Conflicts: 1253000 | #Constraints: 40833 2195.93/2201.98 c #Conflicts: 1254000 | #Constraints: 41833 2195.93/2201.98 c #Conflicts: 1255000 | #Constraints: 42833 2195.93/2201.98 c #Conflicts: 1256000 | #Constraints: 43833 2195.93/2201.98 c INPROCESSING 2195.93/2201.98 c GARBAGE COLLECT 2195.93/2201.98 c rational objective 0 2248.08/2254.21 c #Conflicts: 1257000 | #Constraints: 22633 2248.08/2254.21 c #Conflicts: 1258000 | #Constraints: 23633 2248.08/2254.21 c #Conflicts: 1259000 | #Constraints: 24633 2248.08/2254.21 c #Conflicts: 1260000 | #Constraints: 25633 2248.08/2254.21 c #Conflicts: 1261000 | #Constraints: 26633 2248.08/2254.21 c #Conflicts: 1262000 | #Constraints: 27633 2248.08/2254.21 c #Conflicts: 1263000 | #Constraints: 28633 2248.08/2254.21 c #Conflicts: 1264000 | #Constraints: 29633 2248.08/2254.21 c #Conflicts: 1265000 | #Constraints: 30633 2248.08/2254.21 c #Conflicts: 1266000 | #Constraints: 31633 2248.08/2254.21 c #Conflicts: 1267000 | #Constraints: 32633 2248.08/2254.21 c #Conflicts: 1268000 | #Constraints: 33633 2248.08/2254.21 c #Conflicts: 1269000 | #Constraints: 34633 2248.08/2254.21 c #Conflicts: 1270000 | #Constraints: 35633 2248.08/2254.21 c #Conflicts: 1271000 | #Constraints: 36633 2248.08/2254.21 c #Conflicts: 1272000 | #Constraints: 37633 2248.08/2254.21 c #Conflicts: 1273000 | #Constraints: 38633 2248.08/2254.21 c #Conflicts: 1274000 | #Constraints: 39633 2248.08/2254.21 c #Conflicts: 1275000 | #Constraints: 40633 2248.08/2254.21 c #Conflicts: 1276000 | #Constraints: 41634 2248.08/2254.21 c #Conflicts: 1277000 | #Constraints: 42634 2248.08/2254.21 c #Conflicts: 1278000 | #Constraints: 43634 2248.08/2254.21 c #Conflicts: 1279000 | #Constraints: 44634 2248.08/2254.21 c INPROCESSING 2248.08/2254.21 c GARBAGE COLLECT 2248.08/2254.21 c rational objective 0 2304.91/2311.29 c #Conflicts: 1280000 | #Constraints: 23228 2304.91/2311.29 c #Conflicts: 1281000 | #Constraints: 24228 2304.91/2311.29 c #Conflicts: 1282000 | #Constraints: 25228 2304.91/2311.29 c #Conflicts: 1283000 | #Constraints: 26228 2304.91/2311.29 c #Conflicts: 1284000 | #Constraints: 27228 2304.91/2311.29 c #Conflicts: 1285000 | #Constraints: 28228 2304.91/2311.29 c #Conflicts: 1286000 | #Constraints: 29228 2304.91/2311.29 c #Conflicts: 1287000 | #Constraints: 30228 2304.91/2311.29 c #Conflicts: 1288000 | #Constraints: 31228 2304.91/2311.29 c #Conflicts: 1289000 | #Constraints: 32228 2304.91/2311.29 c #Conflicts: 1290000 | #Constraints: 33228 2304.91/2311.29 c #Conflicts: 1291000 | #Constraints: 34228 2304.91/2311.29 c #Conflicts: 1292000 | #Constraints: 35228 2304.91/2311.29 c #Conflicts: 1293000 | #Constraints: 36228 2304.91/2311.29 c #Conflicts: 1294000 | #Constraints: 37228 2304.91/2311.29 c #Conflicts: 1295000 | #Constraints: 38228 2304.91/2311.29 c #Conflicts: 1296000 | #Constraints: 39228 2304.91/2311.29 c #Conflicts: 1297000 | #Constraints: 40228 2304.91/2311.29 c #Conflicts: 1298000 | #Constraints: 41228 2304.91/2311.29 c #Conflicts: 1299000 | #Constraints: 42228 2304.91/2311.29 c #Conflicts: 1300000 | #Constraints: 43228 2304.91/2311.29 c #Conflicts: 1301000 | #Constraints: 44228 2304.91/2311.29 c #Conflicts: 1302000 | #Constraints: 45228 2304.91/2311.29 c INPROCESSING 2304.91/2311.29 c GARBAGE COLLECT 2304.91/2311.29 c rational objective 0 2359.15/2365.66 c #Conflicts: 1303000 | #Constraints: 23629 2359.15/2365.66 c #Conflicts: 1304000 | #Constraints: 24629 2359.15/2365.66 c #Conflicts: 1305000 | #Constraints: 25629 2359.15/2365.66 c #Conflicts: 1306000 | #Constraints: 26629 2359.15/2365.66 c #Conflicts: 1307000 | #Constraints: 27629 2359.15/2365.66 c #Conflicts: 1308000 | #Constraints: 28629 2359.15/2365.66 c #Conflicts: 1309000 | #Constraints: 29629 2359.15/2365.66 c #Conflicts: 1310000 | #Constraints: 30629 2359.15/2365.66 c #Conflicts: 1311000 | #Constraints: 31629 2359.15/2365.66 c #Conflicts: 1312000 | #Constraints: 32629 2359.15/2365.66 c #Conflicts: 1313000 | #Constraints: 33629 2359.15/2365.66 c #Conflicts: 1314000 | #Constraints: 34629 2359.15/2365.66 c #Conflicts: 1315000 | #Constraints: 35629 2359.15/2365.66 c #Conflicts: 1316000 | #Constraints: 36629 2359.15/2365.66 c #Conflicts: 1317000 | #Constraints: 37629 2359.15/2365.66 c #Conflicts: 1318000 | #Constraints: 38629 2359.15/2365.66 c #Conflicts: 1319000 | #Constraints: 39629 2359.15/2365.66 c #Conflicts: 1320000 | #Constraints: 40629 2359.15/2365.66 c #Conflicts: 1321000 | #Constraints: 41629 2359.15/2365.66 c #Conflicts: 1322000 | #Constraints: 42629 2359.15/2365.66 c #Conflicts: 1323000 | #Constraints: 43629 2359.15/2365.66 c #Conflicts: 1324000 | #Constraints: 44629 2359.15/2365.66 c #Conflicts: 1325000 | #Constraints: 45629 2359.15/2365.66 c INPROCESSING 2359.15/2365.66 c GARBAGE COLLECT 2359.15/2365.66 c rational objective 0 2419.18/2425.85 c #Conflicts: 1326000 | #Constraints: 23830 2419.18/2425.85 c #Conflicts: 1327000 | #Constraints: 24830 2419.18/2425.85 c #Conflicts: 1328000 | #Constraints: 25830 2419.18/2425.85 c #Conflicts: 1329000 | #Constraints: 26830 2419.18/2425.85 c #Conflicts: 1330000 | #Constraints: 27830 2419.18/2425.85 c #Conflicts: 1331000 | #Constraints: 28830 2419.18/2425.85 c #Conflicts: 1332000 | #Constraints: 29830 2419.18/2425.85 c #Conflicts: 1333000 | #Constraints: 30830 2419.18/2425.85 c #Conflicts: 1334000 | #Constraints: 31830 2419.18/2425.85 c #Conflicts: 1335000 | #Constraints: 32830 2419.18/2425.85 c #Conflicts: 1336000 | #Constraints: 33830 2419.18/2425.85 c #Conflicts: 1337000 | #Constraints: 34830 2419.18/2425.85 c #Conflicts: 1338000 | #Constraints: 35830 2419.18/2425.85 c #Conflicts: 1339000 | #Constraints: 36830 2419.18/2425.85 c #Conflicts: 1340000 | #Constraints: 37830 2419.18/2425.85 c #Conflicts: 1341000 | #Constraints: 38830 2419.18/2425.85 c #Conflicts: 1342000 | #Constraints: 39830 2419.18/2425.85 c #Conflicts: 1343000 | #Constraints: 40830 2419.18/2425.85 c #Conflicts: 1344000 | #Constraints: 41830 2419.18/2425.85 c #Conflicts: 1345000 | #Constraints: 42830 2419.18/2425.85 c #Conflicts: 1346000 | #Constraints: 43830 2419.18/2425.85 c #Conflicts: 1347000 | #Constraints: 44830 2419.18/2425.85 c #Conflicts: 1348000 | #Constraints: 45830 2419.18/2425.85 c INPROCESSING 2419.18/2425.85 c GARBAGE COLLECT 2419.18/2425.85 c rational objective 0 2476.11/2482.96 c #Conflicts: 1349000 | #Constraints: 23831 2476.11/2482.96 c #Conflicts: 1350000 | #Constraints: 24831 2476.11/2482.96 c #Conflicts: 1351000 | #Constraints: 25831 2476.11/2482.96 c #Conflicts: 1352000 | #Constraints: 26832 2476.11/2482.96 c #Conflicts: 1353000 | #Constraints: 27832 2476.11/2482.96 c #Conflicts: 1354000 | #Constraints: 28832 2476.11/2482.96 c #Conflicts: 1355000 | #Constraints: 29832 2476.11/2482.96 c #Conflicts: 1356000 | #Constraints: 30832 2476.11/2482.96 c #Conflicts: 1357000 | #Constraints: 31832 2476.11/2482.96 c #Conflicts: 1358000 | #Constraints: 32832 2476.11/2482.96 c #Conflicts: 1359000 | #Constraints: 33832 2476.11/2482.96 c #Conflicts: 1360000 | #Constraints: 34832 2476.11/2482.96 c #Conflicts: 1361000 | #Constraints: 35832 2476.11/2482.96 c #Conflicts: 1362000 | #Constraints: 36832 2476.11/2482.96 c #Conflicts: 1363000 | #Constraints: 37832 2476.11/2482.96 c #Conflicts: 1364000 | #Constraints: 38832 2476.11/2482.96 c #Conflicts: 1365000 | #Constraints: 39832 2476.11/2482.96 c #Conflicts: 1366000 | #Constraints: 40832 2476.11/2482.96 c #Conflicts: 1367000 | #Constraints: 41832 2476.11/2482.96 c #Conflicts: 1368000 | #Constraints: 42832 2476.11/2482.96 c #Conflicts: 1369000 | #Constraints: 43832 2476.11/2482.96 c #Conflicts: 1370000 | #Constraints: 44832 2476.11/2482.96 c #Conflicts: 1371000 | #Constraints: 45832 2476.11/2482.96 c INPROCESSING 2476.11/2482.96 c GARBAGE COLLECT 2476.11/2482.96 c rational objective 0 2537.34/2544.37 c #Conflicts: 1372000 | #Constraints: 23633 2537.34/2544.37 c #Conflicts: 1373000 | #Constraints: 24633 2537.34/2544.37 c #Conflicts: 1374000 | #Constraints: 25633 2537.34/2544.37 c #Conflicts: 1375000 | #Constraints: 26633 2537.34/2544.37 c #Conflicts: 1376000 | #Constraints: 27633 2537.34/2544.37 c #Conflicts: 1377000 | #Constraints: 28633 2537.34/2544.37 c #Conflicts: 1378000 | #Constraints: 29633 2537.34/2544.37 c #Conflicts: 1379000 | #Constraints: 30633 2537.34/2544.37 c #Conflicts: 1380000 | #Constraints: 31633 2537.34/2544.37 c #Conflicts: 1381000 | #Constraints: 32634 2537.34/2544.37 c #Conflicts: 1382000 | #Constraints: 33634 2537.34/2544.37 c #Conflicts: 1383000 | #Constraints: 34634 2537.34/2544.37 c #Conflicts: 1384000 | #Constraints: 35634 2537.34/2544.37 c #Conflicts: 1385000 | #Constraints: 36634 2537.34/2544.37 c #Conflicts: 1386000 | #Constraints: 37634 2537.34/2544.37 c #Conflicts: 1387000 | #Constraints: 38634 2537.34/2544.37 c #Conflicts: 1388000 | #Constraints: 39634 2537.34/2544.37 c #Conflicts: 1389000 | #Constraints: 40634 2537.34/2544.37 c #Conflicts: 1390000 | #Constraints: 41634 2537.34/2544.37 c #Conflicts: 1391000 | #Constraints: 42634 2537.34/2544.37 c #Conflicts: 1392000 | #Constraints: 43634 2537.34/2544.37 c #Conflicts: 1393000 | #Constraints: 44634 2537.34/2544.37 c #Conflicts: 1394000 | #Constraints: 45634 2537.34/2544.37 c #Conflicts: 1395000 | #Constraints: 46634 2537.34/2544.37 c INPROCESSING 2537.34/2544.37 c GARBAGE COLLECT 2537.34/2544.37 c rational objective 0 2594.76/2601.96 c #Conflicts: 1396000 | #Constraints: 24235 2594.76/2601.96 c #Conflicts: 1397000 | #Constraints: 25235 2594.76/2601.96 c #Conflicts: 1398000 | #Constraints: 26235 2594.76/2601.96 c #Conflicts: 1399000 | #Constraints: 27235 2594.76/2601.96 c #Conflicts: 1400000 | #Constraints: 28235 2594.76/2601.96 c #Conflicts: 1401000 | #Constraints: 29235 2594.76/2601.96 c #Conflicts: 1402000 | #Constraints: 30235 2594.76/2601.96 c #Conflicts: 1403000 | #Constraints: 31235 2594.76/2601.96 c #Conflicts: 1404000 | #Constraints: 32235 2594.76/2601.96 c #Conflicts: 1405000 | #Constraints: 33235 2594.76/2601.96 c #Conflicts: 1406000 | #Constraints: 34235 2594.76/2601.96 c #Conflicts: 1407000 | #Constraints: 35235 2594.76/2601.96 c #Conflicts: 1408000 | #Constraints: 36235 2594.76/2601.96 c #Conflicts: 1409000 | #Constraints: 37235 2594.76/2601.96 c #Conflicts: 1410000 | #Constraints: 38235 2594.76/2601.96 c #Conflicts: 1411000 | #Constraints: 39235 2594.76/2601.96 c #Conflicts: 1412000 | #Constraints: 40235 2594.76/2601.96 c #Conflicts: 1413000 | #Constraints: 41235 2594.76/2601.96 c #Conflicts: 1414000 | #Constraints: 42235 2594.76/2601.96 c #Conflicts: 1415000 | #Constraints: 43235 2594.76/2601.96 c #Conflicts: 1416000 | #Constraints: 44235 2594.76/2601.96 c #Conflicts: 1417000 | #Constraints: 45235 2594.76/2601.96 c #Conflicts: 1418000 | #Constraints: 46235 2594.76/2601.96 c #Conflicts: 1419000 | #Constraints: 47235 2594.76/2601.96 c INPROCESSING 2594.76/2601.96 c GARBAGE COLLECT 2594.76/2601.96 c rational objective 0 2657.19/2664.54 c #Conflicts: 1420000 | #Constraints: 24630 2657.19/2664.54 c #Conflicts: 1421000 | #Constraints: 25630 2657.19/2664.54 c #Conflicts: 1422000 | #Constraints: 26630 2657.19/2664.54 c #Conflicts: 1423000 | #Constraints: 27630 2657.19/2664.54 c #Conflicts: 1424000 | #Constraints: 28630 2657.19/2664.54 c #Conflicts: 1425000 | #Constraints: 29630 2657.19/2664.54 c #Conflicts: 1426000 | #Constraints: 30630 2657.19/2664.54 c #Conflicts: 1427000 | #Constraints: 31630 2657.19/2664.54 c #Conflicts: 1428000 | #Constraints: 32630 2657.19/2664.54 c #Conflicts: 1429000 | #Constraints: 33630 2657.19/2664.54 c #Conflicts: 1430000 | #Constraints: 34630 2657.19/2664.54 c #Conflicts: 1431000 | #Constraints: 35630 2657.19/2664.54 c #Conflicts: 1432000 | #Constraints: 36630 2657.19/2664.54 c #Conflicts: 1433000 | #Constraints: 37630 2657.19/2664.54 c #Conflicts: 1434000 | #Constraints: 38630 2657.19/2664.54 c #Conflicts: 1435000 | #Constraints: 39630 2657.19/2664.54 c #Conflicts: 1436000 | #Constraints: 40630 2657.19/2664.54 c #Conflicts: 1437000 | #Constraints: 41630 2657.19/2664.54 c #Conflicts: 1438000 | #Constraints: 42630 2657.19/2664.54 c #Conflicts: 1439000 | #Constraints: 43630 2657.19/2664.54 c #Conflicts: 1440000 | #Constraints: 44630 2657.19/2664.54 c #Conflicts: 1441000 | #Constraints: 45630 2657.19/2664.54 c #Conflicts: 1442000 | #Constraints: 46631 2657.19/2664.54 c #Conflicts: 1443000 | #Constraints: 47631 2657.19/2664.54 c INPROCESSING 2657.19/2664.54 c GARBAGE COLLECT 2657.19/2664.54 c rational objective 0 2717.11/2724.63 c #Conflicts: 1444000 | #Constraints: 24829 2717.11/2724.63 c #Conflicts: 1445000 | #Constraints: 25829 2717.11/2724.63 c #Conflicts: 1446000 | #Constraints: 26829 2717.11/2724.63 c #Conflicts: 1447000 | #Constraints: 27829 2717.11/2724.63 c #Conflicts: 1448000 | #Constraints: 28829 2717.11/2724.63 c #Conflicts: 1449000 | #Constraints: 29829 2717.11/2724.63 c #Conflicts: 1450000 | #Constraints: 30829 2717.11/2724.63 c #Conflicts: 1451000 | #Constraints: 31829 2717.11/2724.63 c #Conflicts: 1452000 | #Constraints: 32829 2717.11/2724.63 c #Conflicts: 1453000 | #Constraints: 33829 2717.11/2724.63 c #Conflicts: 1454000 | #Constraints: 34829 2717.11/2724.63 c #Conflicts: 1455000 | #Constraints: 35829 2717.11/2724.63 c #Conflicts: 1456000 | #Constraints: 36829 2717.11/2724.63 c #Conflicts: 1457000 | #Constraints: 37829 2717.11/2724.63 c #Conflicts: 1458000 | #Constraints: 38829 2717.11/2724.63 c #Conflicts: 1459000 | #Constraints: 39829 2717.11/2724.63 c #Conflicts: 1460000 | #Constraints: 40829 2717.11/2724.63 c #Conflicts: 1461000 | #Constraints: 41829 2717.11/2724.63 c #Conflicts: 1462000 | #Constraints: 42830 2717.11/2724.63 c #Conflicts: 1463000 | #Constraints: 43830 2717.11/2724.63 c #Conflicts: 1464000 | #Constraints: 44830 2717.11/2724.63 c #Conflicts: 1465000 | #Constraints: 45830 2717.11/2724.63 c #Conflicts: 1466000 | #Constraints: 46830 2717.11/2724.63 c #Conflicts: 1467000 | #Constraints: 47830 2717.11/2724.63 c INPROCESSING 2717.11/2724.63 c GARBAGE COLLECT 2717.11/2724.63 c rational objective 0 2781.42/2789.11 c #Conflicts: 1468000 | #Constraints: 24831 2781.42/2789.11 c #Conflicts: 1469000 | #Constraints: 25831 2781.42/2789.11 c #Conflicts: 1470000 | #Constraints: 26831 2781.42/2789.11 c #Conflicts: 1471000 | #Constraints: 27831 2781.42/2789.11 c #Conflicts: 1472000 | #Constraints: 28831 2781.42/2789.11 c #Conflicts: 1473000 | #Constraints: 29831 2781.42/2789.11 c #Conflicts: 1474000 | #Constraints: 30831 2781.42/2789.11 c #Conflicts: 1475000 | #Constraints: 31831 2781.42/2789.11 c #Conflicts: 1476000 | #Constraints: 32831 2781.42/2789.11 c #Conflicts: 1477000 | #Constraints: 33831 2781.42/2789.11 c #Conflicts: 1478000 | #Constraints: 34831 2781.42/2789.11 c #Conflicts: 1479000 | #Constraints: 35831 2781.42/2789.11 c #Conflicts: 1480000 | #Constraints: 36831 2781.42/2789.11 c #Conflicts: 1481000 | #Constraints: 37831 2781.42/2789.11 c #Conflicts: 1482000 | #Constraints: 38831 2781.42/2789.11 c #Conflicts: 1483000 | #Constraints: 39831 2781.42/2789.11 c #Conflicts: 1484000 | #Constraints: 40831 2781.42/2789.11 c #Conflicts: 1485000 | #Constraints: 41831 2781.42/2789.11 c #Conflicts: 1486000 | #Constraints: 42831 2781.42/2789.11 c #Conflicts: 1487000 | #Constraints: 43831 2781.42/2789.11 c #Conflicts: 1488000 | #Constraints: 44831 2781.42/2789.11 c #Conflicts: 1489000 | #Constraints: 45831 2781.42/2789.11 c #Conflicts: 1490000 | #Constraints: 46831 2781.42/2789.11 c #Conflicts: 1491000 | #Constraints: 47831 2781.42/2789.11 c INPROCESSING 2781.42/2789.11 c GARBAGE COLLECT 2781.42/2789.11 c rational objective 0 2842.25/2850.12 c #Conflicts: 1492000 | #Constraints: 24634 2842.25/2850.12 c #Conflicts: 1493000 | #Constraints: 25634 2842.25/2850.12 c #Conflicts: 1494000 | #Constraints: 26634 2842.25/2850.12 c #Conflicts: 1495000 | #Constraints: 27634 2842.25/2850.12 c #Conflicts: 1496000 | #Constraints: 28634 2842.25/2850.12 c #Conflicts: 1497000 | #Constraints: 29634 2842.25/2850.12 c #Conflicts: 1498000 | #Constraints: 30634 2842.25/2850.12 c #Conflicts: 1499000 | #Constraints: 31634 2842.25/2850.12 c #Conflicts: 1500000 | #Constraints: 32634 2842.25/2850.12 c #Conflicts: 1501000 | #Constraints: 33634 2842.25/2850.12 c #Conflicts: 1502000 | #Constraints: 34634 2842.25/2850.12 c #Conflicts: 1503000 | #Constraints: 35634 2842.25/2850.12 c #Conflicts: 1504000 | #Constraints: 36634 2842.25/2850.12 c #Conflicts: 1505000 | #Constraints: 37634 2842.25/2850.12 c #Conflicts: 1506000 | #Constraints: 38634 2842.25/2850.12 c #Conflicts: 1507000 | #Constraints: 39634 2842.25/2850.12 c #Conflicts: 1508000 | #Constraints: 40634 2842.25/2850.12 c #Conflicts: 1509000 | #Constraints: 41635 2842.25/2850.12 c #Conflicts: 1510000 | #Constraints: 42635 2842.25/2850.12 c #Conflicts: 1511000 | #Constraints: 43635 2842.25/2850.12 c #Conflicts: 1512000 | #Constraints: 44635 2842.25/2850.12 c #Conflicts: 1513000 | #Constraints: 45635 2842.25/2850.12 c #Conflicts: 1514000 | #Constraints: 46635 2842.25/2850.12 c #Conflicts: 1515000 | #Constraints: 47635 2842.25/2850.12 c #Conflicts: 1516000 | #Constraints: 48635 2842.25/2850.12 c INPROCESSING 2842.25/2850.12 c GARBAGE COLLECT 2842.25/2850.12 c rational objective 0 2907.75/2915.81 c #Conflicts: 1517000 | #Constraints: 25231 2907.75/2915.81 c #Conflicts: 1518000 | #Constraints: 26231 2907.75/2915.81 c #Conflicts: 1519000 | #Constraints: 27231 2907.75/2915.81 c #Conflicts: 1520000 | #Constraints: 28231 2907.75/2915.81 c #Conflicts: 1521000 | #Constraints: 29231 2907.75/2915.81 c #Conflicts: 1522000 | #Constraints: 30231 2907.75/2915.81 c #Conflicts: 1523000 | #Constraints: 31231 2907.75/2915.81 c #Conflicts: 1524000 | #Constraints: 32231 2907.75/2915.81 c #Conflicts: 1525000 | #Constraints: 33231 2907.75/2915.81 c #Conflicts: 1526000 | #Constraints: 34231 2907.75/2915.81 c #Conflicts: 1527000 | #Constraints: 35231 2907.75/2915.81 c #Conflicts: 1528000 | #Constraints: 36231 2907.75/2915.81 c #Conflicts: 1529000 | #Constraints: 37231 2907.75/2915.81 c #Conflicts: 1530000 | #Constraints: 38231 2907.75/2915.81 c #Conflicts: 1531000 | #Constraints: 39231 2907.75/2915.81 c #Conflicts: 1532000 | #Constraints: 40231 2907.75/2915.81 c #Conflicts: 1533000 | #Constraints: 41231 2907.75/2915.81 c #Conflicts: 1534000 | #Constraints: 42231 2907.75/2915.81 c #Conflicts: 1535000 | #Constraints: 43231 2907.75/2915.81 c #Conflicts: 1536000 | #Constraints: 44231 2907.75/2915.81 c #Conflicts: 1537000 | #Constraints: 45231 2907.75/2915.81 c #Conflicts: 1538000 | #Constraints: 46231 2907.75/2915.81 c #Conflicts: 1539000 | #Constraints: 47231 2907.75/2915.81 c #Conflicts: 1540000 | #Constraints: 48231 2907.75/2915.81 c #Conflicts: 1541000 | #Constraints: 49231 2907.75/2915.81 c INPROCESSING 2907.75/2915.81 c GARBAGE COLLECT 2907.75/2915.81 c rational objective 0 2971.66/2979.98 c #Conflicts: 1542000 | #Constraints: 25633 2971.66/2979.98 c #Conflicts: 1543000 | #Constraints: 26633 2971.66/2979.98 c #Conflicts: 1544000 | #Constraints: 27633 2971.66/2979.98 c #Conflicts: 1545000 | #Constraints: 28633 2971.66/2979.98 c #Conflicts: 1546000 | #Constraints: 29633 2971.66/2979.98 c #Conflicts: 1547000 | #Constraints: 30633 2971.66/2979.98 c #Conflicts: 1548000 | #Constraints: 31633 2971.66/2979.98 c #Conflicts: 1549000 | #Constraints: 32633 2971.66/2979.98 c #Conflicts: 1550000 | #Constraints: 33633 2971.66/2979.98 c #Conflicts: 1551000 | #Constraints: 34633 2971.66/2979.98 c #Conflicts: 1552000 | #Constraints: 35633 2971.66/2979.98 c #Conflicts: 1553000 | #Constraints: 36633 2971.66/2979.98 c #Conflicts: 1554000 | #Constraints: 37633 2971.66/2979.98 c #Conflicts: 1555000 | #Constraints: 38633 2971.66/2979.98 c #Conflicts: 1556000 | #Constraints: 39633 2971.66/2979.98 c #Conflicts: 1557000 | #Constraints: 40633 2971.66/2979.98 c #Conflicts: 1558000 | #Constraints: 41633 2971.66/2979.98 c #Conflicts: 1559000 | #Constraints: 42633 2971.66/2979.98 c #Conflicts: 1560000 | #Constraints: 43633 2971.66/2979.98 c #Conflicts: 1561000 | #Constraints: 44633 2971.66/2979.98 c #Conflicts: 1562000 | #Constraints: 45633 2971.66/2979.98 c #Conflicts: 1563000 | #Constraints: 46633 2971.66/2979.98 c #Conflicts: 1564000 | #Constraints: 47633 2971.66/2979.98 c #Conflicts: 1565000 | #Constraints: 48633 2971.66/2979.98 c #Conflicts: 1566000 | #Constraints: 49633 2971.66/2979.98 c INPROCESSING 2971.66/2979.98 c GARBAGE COLLECT 2971.66/2979.98 c rational objective 0 3044.36/3052.89 c #Conflicts: 1567000 | #Constraints: 25834 3044.36/3052.89 c #Conflicts: 1568000 | #Constraints: 26834 3044.36/3052.89 c #Conflicts: 1569000 | #Constraints: 27834 3044.36/3052.89 c #Conflicts: 1570000 | #Constraints: 28834 3044.36/3052.89 c #Conflicts: 1571000 | #Constraints: 29834 3044.36/3052.89 c #Conflicts: 1572000 | #Constraints: 30835 3044.36/3052.89 c #Conflicts: 1573000 | #Constraints: 31835 3044.36/3052.89 c #Conflicts: 1574000 | #Constraints: 32835 3044.36/3052.89 c #Conflicts: 1575000 | #Constraints: 33835 3044.36/3052.89 c #Conflicts: 1576000 | #Constraints: 34835 3044.36/3052.89 c #Conflicts: 1577000 | #Constraints: 35835 3044.36/3052.89 c #Conflicts: 1578000 | #Constraints: 36835 3044.36/3052.89 c #Conflicts: 1579000 | #Constraints: 37835 3044.36/3052.89 c #Conflicts: 1580000 | #Constraints: 38835 3044.36/3052.89 c #Conflicts: 1581000 | #Constraints: 39835 3044.36/3052.89 c #Conflicts: 1582000 | #Constraints: 40835 3044.36/3052.89 c #Conflicts: 1583000 | #Constraints: 41835 3044.36/3052.89 c #Conflicts: 1584000 | #Constraints: 42835 3044.36/3052.89 c #Conflicts: 1585000 | #Constraints: 43835 3044.36/3052.89 c #Conflicts: 1586000 | #Constraints: 44835 3044.36/3052.89 c #Conflicts: 1587000 | #Constraints: 45835 3044.36/3052.89 c #Conflicts: 1588000 | #Constraints: 46835 3044.36/3052.89 c #Conflicts: 1589000 | #Constraints: 47835 3044.36/3052.89 c #Conflicts: 1590000 | #Constraints: 48835 3044.36/3052.89 c #Conflicts: 1591000 | #Constraints: 49835 3044.36/3052.89 c INPROCESSING 3044.36/3052.89 c GARBAGE COLLECT 3044.36/3052.89 c rational objective 0 3112.25/3120.94 c #Conflicts: 1592000 | #Constraints: 25835 3112.25/3120.94 c #Conflicts: 1593000 | #Constraints: 26835 3112.25/3120.94 c #Conflicts: 1594000 | #Constraints: 27835 3112.25/3120.94 c #Conflicts: 1595000 | #Constraints: 28835 3112.25/3120.94 c #Conflicts: 1596000 | #Constraints: 29835 3112.25/3120.94 c #Conflicts: 1597000 | #Constraints: 30835 3112.25/3120.94 c #Conflicts: 1598000 | #Constraints: 31835 3112.25/3120.94 c #Conflicts: 1599000 | #Constraints: 32835 3112.25/3120.94 c #Conflicts: 1600000 | #Constraints: 33835 3112.25/3120.94 c #Conflicts: 1601000 | #Constraints: 34835 3112.25/3120.94 c #Conflicts: 1602000 | #Constraints: 35835 3112.25/3120.94 c #Conflicts: 1603000 | #Constraints: 36835 3112.25/3120.94 c #Conflicts: 1604000 | #Constraints: 37835 3112.25/3120.94 c #Conflicts: 1605000 | #Constraints: 38835 3112.25/3120.94 c #Conflicts: 1606000 | #Constraints: 39835 3112.25/3120.94 c #Conflicts: 1607000 | #Constraints: 40835 3112.25/3120.94 c #Conflicts: 1608000 | #Constraints: 41835 3112.25/3120.94 c #Conflicts: 1609000 | #Constraints: 42835 3112.25/3120.94 c #Conflicts: 1610000 | #Constraints: 43835 3112.25/3120.94 c #Conflicts: 1611000 | #Constraints: 44835 3112.25/3120.94 c #Conflicts: 1612000 | #Constraints: 45835 3112.25/3120.94 c #Conflicts: 1613000 | #Constraints: 46835 3112.25/3120.94 c #Conflicts: 1614000 | #Constraints: 47835 3112.25/3120.94 c #Conflicts: 1615000 | #Constraints: 48835 3112.25/3120.94 c #Conflicts: 1616000 | #Constraints: 49835 3112.25/3120.94 c INPROCESSING 3112.25/3120.94 c GARBAGE COLLECT 3112.25/3120.94 c rational objective 0 3184.44/3193.30 c #Conflicts: 1617000 | #Constraints: 25636 3184.44/3193.30 c #Conflicts: 1618000 | #Constraints: 26636 3184.44/3193.30 c #Conflicts: 1619000 | #Constraints: 27636 3184.44/3193.30 c #Conflicts: 1620000 | #Constraints: 28636 3184.44/3193.30 c #Conflicts: 1621000 | #Constraints: 29636 3184.44/3193.30 c #Conflicts: 1622000 | #Constraints: 30636 3184.44/3193.30 c #Conflicts: 1623000 | #Constraints: 31636 3184.44/3193.30 c #Conflicts: 1624000 | #Constraints: 32636 3184.44/3193.30 c #Conflicts: 1625000 | #Constraints: 33636 3184.44/3193.30 c #Conflicts: 1626000 | #Constraints: 34636 3184.44/3193.30 c #Conflicts: 1627000 | #Constraints: 35636 3184.44/3193.30 c #Conflicts: 1628000 | #Constraints: 36636 3184.44/3193.30 c #Conflicts: 1629000 | #Constraints: 37636 3184.44/3193.30 c #Conflicts: 1630000 | #Constraints: 38636 3184.44/3193.30 c #Conflicts: 1631000 | #Constraints: 39636 3184.44/3193.30 c #Conflicts: 1632000 | #Constraints: 40636 3184.44/3193.30 c #Conflicts: 1633000 | #Constraints: 41636 3184.44/3193.30 c #Conflicts: 1634000 | #Constraints: 42636 3184.44/3193.30 c #Conflicts: 1635000 | #Constraints: 43636 3184.44/3193.30 c #Conflicts: 1636000 | #Constraints: 44636 3184.44/3193.30 c #Conflicts: 1637000 | #Constraints: 45636 3184.44/3193.30 c #Conflicts: 1638000 | #Constraints: 46636 3184.44/3193.30 c #Conflicts: 1639000 | #Constraints: 47636 3184.44/3193.30 c #Conflicts: 1640000 | #Constraints: 48636 3184.44/3193.30 c #Conflicts: 1641000 | #Constraints: 49636 3184.44/3193.30 c #Conflicts: 1642000 | #Constraints: 50636 3184.44/3193.30 c INPROCESSING 3184.44/3193.30 c GARBAGE COLLECT 3184.44/3193.30 c rational objective 0 3250.96/3260.09 c #Conflicts: 1643000 | #Constraints: 26235 3250.96/3260.09 c #Conflicts: 1644000 | #Constraints: 27235 3250.96/3260.09 c #Conflicts: 1645000 | #Constraints: 28235 3250.96/3260.09 c #Conflicts: 1646000 | #Constraints: 29235 3250.96/3260.09 c #Conflicts: 1647000 | #Constraints: 30235 3250.96/3260.09 c #Conflicts: 1648000 | #Constraints: 31235 3250.96/3260.09 c #Conflicts: 1649000 | #Constraints: 32235 3250.96/3260.09 c #Conflicts: 1650000 | #Constraints: 33235 3250.96/3260.09 c #Conflicts: 1651000 | #Constraints: 34235 3250.96/3260.09 c #Conflicts: 1652000 | #Constraints: 35235 3250.96/3260.09 c #Conflicts: 1653000 | #Constraints: 36235 3250.96/3260.09 c #Conflicts: 1654000 | #Constraints: 37235 3250.96/3260.09 c #Conflicts: 1655000 | #Constraints: 38235 3250.96/3260.09 c #Conflicts: 1656000 | #Constraints: 39235 3250.96/3260.09 c #Conflicts: 1657000 | #Constraints: 40235 3250.96/3260.09 c #Conflicts: 1658000 | #Constraints: 41235 3250.96/3260.09 c #Conflicts: 1659000 | #Constraints: 42235 3250.96/3260.09 c #Conflicts: 1660000 | #Constraints: 43235 3250.96/3260.09 c #Conflicts: 1661000 | #Constraints: 44235 3250.96/3260.09 c #Conflicts: 1662000 | #Constraints: 45235 3250.96/3260.09 c #Conflicts: 1663000 | #Constraints: 46235 3250.96/3260.09 c #Conflicts: 1664000 | #Constraints: 47236 3250.96/3260.09 c #Conflicts: 1665000 | #Constraints: 48236 3250.96/3260.09 c #Conflicts: 1666000 | #Constraints: 49236 3250.96/3260.09 c #Conflicts: 1667000 | #Constraints: 50236 3250.96/3260.09 c #Conflicts: 1668000 | #Constraints: 51236 3250.96/3260.09 c INPROCESSING 3250.96/3260.09 c GARBAGE COLLECT 3250.96/3260.09 c rational objective 0 3323.04/3332.33 c #Conflicts: 1669000 | #Constraints: 26633 3323.04/3332.33 c #Conflicts: 1670000 | #Constraints: 27633 3323.04/3332.33 c #Conflicts: 1671000 | #Constraints: 28633 3323.04/3332.33 c #Conflicts: 1672000 | #Constraints: 29633 3323.04/3332.33 c #Conflicts: 1673000 | #Constraints: 30633 3323.04/3332.33 c #Conflicts: 1674000 | #Constraints: 31633 3323.04/3332.33 c #Conflicts: 1675000 | #Constraints: 32633 3323.04/3332.33 c #Conflicts: 1676000 | #Constraints: 33633 3323.04/3332.33 c #Conflicts: 1677000 | #Constraints: 34633 3323.04/3332.33 c #Conflicts: 1678000 | #Constraints: 35633 3323.04/3332.33 c #Conflicts: 1679000 | #Constraints: 36633 3323.04/3332.33 c #Conflicts: 1680000 | #Constraints: 37633 3323.04/3332.33 c #Conflicts: 1681000 | #Constraints: 38633 3323.04/3332.33 c #Conflicts: 1682000 | #Constraints: 39633 3323.04/3332.33 c #Conflicts: 1683000 | #Constraints: 40633 3323.04/3332.33 c #Conflicts: 1684000 | #Constraints: 41633 3323.04/3332.33 c #Conflicts: 1685000 | #Constraints: 42633 3323.04/3332.33 c #Conflicts: 1686000 | #Constraints: 43633 3323.04/3332.33 c #Conflicts: 1687000 | #Constraints: 44633 3323.04/3332.33 c #Conflicts: 1688000 | #Constraints: 45633 3323.04/3332.33 c #Conflicts: 1689000 | #Constraints: 46633 3323.04/3332.33 c #Conflicts: 1690000 | #Constraints: 47633 3323.04/3332.33 c #Conflicts: 1691000 | #Constraints: 48633 3323.04/3332.33 c #Conflicts: 1692000 | #Constraints: 49633 3323.04/3332.33 c #Conflicts: 1693000 | #Constraints: 50633 3323.04/3332.33 c #Conflicts: 1694000 | #Constraints: 51633 3323.04/3332.33 c INPROCESSING 3323.04/3332.33 c GARBAGE COLLECT 3323.04/3332.33 c rational objective 0 3390.84/3400.37 c #Conflicts: 1695000 | #Constraints: 26832 3390.84/3400.37 c #Conflicts: 1696000 | #Constraints: 27832 3390.84/3400.37 c #Conflicts: 1697000 | #Constraints: 28832 3390.84/3400.37 c #Conflicts: 1698000 | #Constraints: 29832 3390.84/3400.37 c #Conflicts: 1699000 | #Constraints: 30832 3390.84/3400.37 c #Conflicts: 1700000 | #Constraints: 31832 3390.84/3400.37 c #Conflicts: 1701000 | #Constraints: 32832 3390.84/3400.37 c #Conflicts: 1702000 | #Constraints: 33832 3390.84/3400.37 c #Conflicts: 1703000 | #Constraints: 34832 3390.84/3400.37 c #Conflicts: 1704000 | #Constraints: 35832 3390.84/3400.37 c #Conflicts: 1705000 | #Constraints: 36832 3390.84/3400.37 c #Conflicts: 1706000 | #Constraints: 37832 3390.84/3400.37 c #Conflicts: 1707000 | #Constraints: 38832 3390.84/3400.37 c #Conflicts: 1708000 | #Constraints: 39832 3390.84/3400.37 c #Conflicts: 1709000 | #Constraints: 40832 3390.84/3400.37 c #Conflicts: 1710000 | #Constraints: 41832 3390.84/3400.37 c #Conflicts: 1711000 | #Constraints: 42832 3390.84/3400.37 c #Conflicts: 1712000 | #Constraints: 43832 3390.84/3400.37 c #Conflicts: 1713000 | #Constraints: 44832 3390.84/3400.37 c #Conflicts: 1714000 | #Constraints: 45832 3390.84/3400.37 c #Conflicts: 1715000 | #Constraints: 46832 3390.84/3400.37 c #Conflicts: 1716000 | #Constraints: 47832 3390.84/3400.37 c #Conflicts: 1717000 | #Constraints: 48832 3390.84/3400.37 c #Conflicts: 1718000 | #Constraints: 49832 3390.84/3400.37 c #Conflicts: 1719000 | #Constraints: 50832 3390.84/3400.37 c #Conflicts: 1720000 | #Constraints: 51832 3390.84/3400.37 c INPROCESSING 3390.84/3400.37 c GARBAGE COLLECT 3390.84/3400.37 c rational objective 0 3465.83/3475.55 c #Conflicts: 1721000 | #Constraints: 26830 3465.83/3475.55 c #Conflicts: 1722000 | #Constraints: 27831 3465.83/3475.55 c #Conflicts: 1723000 | #Constraints: 28831 3465.83/3475.55 c #Conflicts: 1724000 | #Constraints: 29831 3465.83/3475.55 c #Conflicts: 1725000 | #Constraints: 30831 3465.83/3475.55 c #Conflicts: 1726000 | #Constraints: 31831 3465.83/3475.55 c #Conflicts: 1727000 | #Constraints: 32831 3465.83/3475.55 c #Conflicts: 1728000 | #Constraints: 33831 3465.83/3475.55 c #Conflicts: 1729000 | #Constraints: 34831 3465.83/3475.55 c #Conflicts: 1730000 | #Constraints: 35831 3465.83/3475.55 c #Conflicts: 1731000 | #Constraints: 36831 3465.83/3475.55 c #Conflicts: 1732000 | #Constraints: 37831 3465.83/3475.55 c #Conflicts: 1733000 | #Constraints: 38831 3465.83/3475.55 c #Conflicts: 1734000 | #Constraints: 39831 3465.83/3475.55 c #Conflicts: 1735000 | #Constraints: 40831 3465.83/3475.55 c #Conflicts: 1736000 | #Constraints: 41831 3465.83/3475.55 c #Conflicts: 1737000 | #Constraints: 42831 3465.83/3475.55 c #Conflicts: 1738000 | #Constraints: 43831 3465.83/3475.55 c #Conflicts: 1739000 | #Constraints: 44831 3465.83/3475.55 c #Conflicts: 1740000 | #Constraints: 45831 3465.83/3475.55 c #Conflicts: 1741000 | #Constraints: 46831 3465.83/3475.55 c #Conflicts: 1742000 | #Constraints: 47831 3465.83/3475.55 c #Conflicts: 1743000 | #Constraints: 48831 3465.83/3475.55 c #Conflicts: 1744000 | #Constraints: 49831 3465.83/3475.55 c #Conflicts: 1745000 | #Constraints: 50831 3465.83/3475.55 c #Conflicts: 1746000 | #Constraints: 51831 3465.83/3475.55 c INPROCESSING 3465.83/3475.55 c GARBAGE COLLECT 3465.83/3475.55 c rational objective 0 3535.82/3545.71 c #Conflicts: 1747000 | #Constraints: 26628 3535.82/3545.71 c #Conflicts: 1748000 | #Constraints: 27628 3535.82/3545.71 c #Conflicts: 1749000 | #Constraints: 28628 3535.82/3545.71 c #Conflicts: 1750000 | #Constraints: 29628 3535.82/3545.71 c #Conflicts: 1751000 | #Constraints: 30628 3535.82/3545.71 c #Conflicts: 1752000 | #Constraints: 31628 3535.82/3545.71 c #Conflicts: 1753000 | #Constraints: 32628 3535.82/3545.71 c #Conflicts: 1754000 | #Constraints: 33628 3535.82/3545.71 c #Conflicts: 1755000 | #Constraints: 34628 3535.82/3545.71 c #Conflicts: 1756000 | #Constraints: 35628 3535.82/3545.71 c #Conflicts: 1757000 | #Constraints: 36628 3535.82/3545.71 c #Conflicts: 1758000 | #Constraints: 37628 3535.82/3545.71 c #Conflicts: 1759000 | #Constraints: 38628 3535.82/3545.71 c #Conflicts: 1760000 | #Constraints: 39628 3535.82/3545.71 c #Conflicts: 1761000 | #Constraints: 40628 3535.82/3545.71 c #Conflicts: 1762000 | #Constraints: 41628 3535.82/3545.71 c #Conflicts: 1763000 | #Constraints: 42628 3535.82/3545.71 c #Conflicts: 1764000 | #Constraints: 43628 3535.82/3545.71 c #Conflicts: 1765000 | #Constraints: 44628 3535.82/3545.71 c #Conflicts: 1766000 | #Constraints: 45628 3535.82/3545.71 c #Conflicts: 1767000 | #Constraints: 46628 3535.82/3545.71 c #Conflicts: 1768000 | #Constraints: 47628 3535.82/3545.71 c #Conflicts: 1769000 | #Constraints: 48628 3535.82/3545.71 c #Conflicts: 1770000 | #Constraints: 49628 3535.82/3545.71 c #Conflicts: 1771000 | #Constraints: 50628 3535.82/3545.71 c #Conflicts: 1772000 | #Constraints: 51628 3535.82/3545.71 c #Conflicts: 1773000 | #Constraints: 52628 3535.82/3545.71 c INPROCESSING 3535.82/3545.71 c GARBAGE COLLECT 3535.82/3545.71 c rational objective 0 3600.05/3610.10 c #Conflicts: 1774000 | #Constraints: 27226 3600.05/3610.10 c #Conflicts: 1775000 | #Constraints: 28226 3600.05/3610.10 c #Conflicts: 1776000 | #Constraints: 29226 3600.05/3610.10 c #Conflicts: 1777000 | #Constraints: 30226 3600.05/3610.10 c #Conflicts: 1778000 | #Constraints: 31226 3600.05/3610.10 c #Conflicts: 1779000 | #Constraints: 32226 3600.05/3610.10 c #Conflicts: 1780000 | #Constraints: 33226 3600.05/3610.10 c #Conflicts: 1781000 | #Constraints: 34226 3600.05/3610.10 c #Conflicts: 1782000 | #Constraints: 35226 3600.05/3610.10 c #Conflicts: 1783000 | #Constraints: 36226 3600.05/3610.10 c #Conflicts: 1784000 | #Constraints: 37226 3600.05/3610.10 c #Conflicts: 1785000 | #Constraints: 38226 3600.05/3610.10 c #Conflicts: 1786000 | #Constraints: 39226 3600.05/3610.10 c #Conflicts: 1787000 | #Constraints: 40226 3600.05/3610.10 c #Conflicts: 1788000 | #Constraints: 41226 3600.05/3610.10 c #Conflicts: 1789000 | #Constraints: 42226 3600.05/3610.10 c #Conflicts: 1790000 | #Constraints: 43226 3600.05/3610.10 c #Conflicts: 1791000 | #Constraints: 44226 3600.05/3610.10 c #Conflicts: 1792000 | #Constraints: 45226 3600.05/3610.10 c #Conflicts: 1793000 | #Constraints: 46226 3600.05/3610.10 c #Conflicts: 1794000 | #Constraints: 47226 3600.05/3610.10 c #Conflicts: 1795000 | #Constraints: 48226 3600.05/3610.10 c #Conflicts: 1796000 | #Constraints: 49226 3600.05/3610.10 c Program interrupted by user.
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 (61742 MiB free)
memory of node 1: 64473 MiB (61018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460215-1722064839/watcher-4460215-1722064839 -o /tmp/evaluation-result-4460215-1722064839/solver-4460215-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-317000 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460215-1722064839 --lp-cut-gomory=0 HOME/instance-4460215-1722064839.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=317177, runsolver pid=317174
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125682548/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=38024 memory=10740 CPUtime=0.09 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 471 0 0 0 9 0 0 0 20 0 1 0 43013562 38936576 2685 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9506 2685 1900 992 0 1364 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 10740 KiB
[startup+0.20562 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125673920/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=38144 memory=10876 CPUtime=0.2 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 513 0 0 0 19 1 0 0 20 0 1 0 43013562 39059456 2719 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9536 2719 1900 992 0 1394 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 10876 KiB
[startup+0.304746 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125661788/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=38268 memory=10996 CPUtime=0.3 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 532 0 0 0 28 2 0 0 20 0 1 0 43013562 39186432 2749 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9567 2749 1900 992 0 1425 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 10996 KiB
[startup+0.700163 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125642552/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=38772 memory=11556 CPUtime=0.69 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 662 0 0 0 65 4 0 0 20 0 1 0 43013562 39702528 2889 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9693 2889 1900 992 0 1551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38772 KiB
Current children cumulated memory: 11556 KiB
[startup+1.50018 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125571204/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=38864 memory=11660 CPUtime=1.49 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 690 0 0 0 141 8 0 0 20 0 1 0 43013562 39796736 2915 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9716 2915 1900 992 0 1574 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 11660 KiB
[startup+3.10558 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125416096/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=39336 memory=12160 CPUtime=3.09 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 819 0 0 0 294 15 0 0 20 0 1 0 43013562 40280064 3040 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9834 3040 1900 992 0 1692 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12160 KiB
[startup+6.30016 s]
/proc/loadavg: 0.86 0.28 0.14 5/258 317203
/proc/meminfo: memFree=125177256/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=39768 memory=12596 CPUtime=6.27 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 931 0 0 0 600 27 0 0 20 0 1 0 43013562 40722432 3149 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 9942 3149 1900 992 0 1800 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 12596 KiB
[startup+12.7002 s]
/proc/loadavg: 1.11 0.34 0.17 5/262 317209
/proc/meminfo: memFree=124834964/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=40392 memory=13016 CPUtime=12.66 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 1060 0 0 0 1221 45 0 0 20 0 1 0 43013562 41361408 3254 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 10098 3254 1900 992 0 1956 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40392 KiB
Current children cumulated memory: 13016 KiB
[startup+25.5002 s]
/proc/loadavg: 1.55 0.46 0.21 5/262 317210
/proc/meminfo: memFree=124163336/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=41288 memory=16048 CPUtime=25.43 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 1390 0 0 0 2465 78 0 0 20 0 1 0 43013562 42278912 4012 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 10322 4012 1900 992 0 2180 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 16048 KiB
[startup+51.1056 s]
/proc/loadavg: 2.58 0.82 0.33 5/263 317264
/proc/meminfo: memFree=123121400/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=42216 memory=16936 CPUtime=50.96 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 1752 0 0 0 4979 117 0 0 20 0 1 0 43013562 43229184 4234 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 10554 4234 1900 992 0 2412 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42216 KiB
Current children cumulated memory: 16936 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.34 0.54 5/263 317272
/proc/meminfo: memFree=120725332/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=46412 memory=18340 CPUtime=102.03 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 2235 0 0 0 10020 183 0 0 20 0 1 0 43013562 47525888 4585 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 11603 4585 1900 992 0 3461 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 18340 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.84 0.76 5/264 317283
/proc/meminfo: memFree=118478836/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=47184 memory=19600 CPUtime=161.88 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 2678 0 0 0 15947 241 0 0 20 0 1 0 43013562 48316416 4900 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 11796 4900 1900 992 0 3654 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 47184 KiB
Current children cumulated memory: 19600 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.27 0.98 5/264 317294
/proc/meminfo: memFree=116523464/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=47248 memory=20436 CPUtime=221.73 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 3010 0 0 0 21878 295 0 0 20 0 1 0 43013562 48381952 5109 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 11812 5109 1900 992 0 3670 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 20436 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.58 1.17 5/262 317687
/proc/meminfo: memFree=114033564/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=47504 memory=21256 CPUtime=281.58 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 3502 0 0 0 27810 348 0 0 20 0 1 0 43013562 48644096 5314 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 11876 5314 1900 992 0 3734 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 47504 KiB
Current children cumulated memory: 21256 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 2.87 1.36 5/260 317697
/proc/meminfo: memFree=112053888/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=48400 memory=22344 CPUtime=341.43 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 4022 0 0 0 33744 399 0 0 20 0 1 0 43013562 49561600 5586 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 12100 5586 1900 992 0 3958 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 48400 KiB
Current children cumulated memory: 22344 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 3.14 1.55 5/262 317712
/proc/meminfo: memFree=110084844/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=48912 memory=23488 CPUtime=401.28 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 4331 0 0 0 39681 447 0 0 20 0 1 0 43013562 50085888 5872 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 12228 5872 1900 992 0 4086 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 48912 KiB
Current children cumulated memory: 23488 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.32 1.71 5/266 317894
/proc/meminfo: memFree=107647656/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=53560 memory=24176 CPUtime=461.13 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 4631 0 0 0 45622 491 0 0 20 0 1 0 43013562 54845440 6044 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 13390 6044 1900 992 0 5248 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.48 4.28 4.09 5/262 319026
/proc/meminfo: memFree=60708800/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68644 memory=34628 CPUtime=3153.54 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 11822 0 0 0 313448 1906 0 0 20 0 1 0 43013562 70291456 8657 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17161 8657 1900 992 0 9019 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 34628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.26 4.09 5/261 319037
/proc/meminfo: memFree=60099284/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68704 memory=34808 CPUtime=3213.36 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 11977 0 0 0 319403 1933 0 0 20 0 1 0 43013562 70352896 8702 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17176 8702 1900 992 0 9034 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 68704 KiB
Current children cumulated memory: 34808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.09 5/261 319047
/proc/meminfo: memFree=59533820/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=69288 memory=35028 CPUtime=3273.18 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12077 0 0 0 325360 1958 0 0 20 0 1 0 43013562 70950912 8757 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17322 8757 1900 992 0 9180 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 35028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.18 4.08 5/258 319057
/proc/meminfo: memFree=58983980/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=69288 memory=35028 CPUtime=3333.01 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12094 0 0 0 331318 1983 0 0 20 0 1 0 43013562 70950912 8757 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17322 8757 1900 992 0 9180 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 35028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/258 319069
/proc/meminfo: memFree=58482328/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=69288 memory=35212 CPUtime=3392.83 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12121 0 0 0 337276 2007 0 0 20 0 1 0 43013562 70950912 8803 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17322 8803 1900 992 0 9180 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 35212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/257 319079
/proc/meminfo: memFree=57986448/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=69288 memory=35212 CPUtime=3452.66 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12131 0 0 0 343232 2034 0 0 20 0 1 0 43013562 70950912 8803 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17322 8803 1900 992 0 9180 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 35212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.25 4.12 5/257 319090
/proc/meminfo: memFree=57473516/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35072 CPUtime=3512.49 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12207 0 0 0 349190 2059 0 0 20 0 1 0 43013562 70615040 8768 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8768 1900 992 0 9098 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.21 4.12 5/259 319105
/proc/meminfo: memFree=56995008/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3572.32 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12357 0 0 0 355146 2086 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.21 4.21 4.12 5/259 319109
/proc/meminfo: memFree=56740528/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) R 317174 317177 316987 0 -1 4194304 12609 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.19 4.21 4.12 2/258 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) D 317174 317177 316987 0 -1 4194304 12616 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
??? kill 317177 sig 9
??? end of watcher thread
[startup+3614.55 s]
# the end of solver process 317177 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3579.08 s, system=20.9728 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.21 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56731524/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) D 317174 317177 316987 0 -1 4194304 12616 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
[startup+3611.6 s]
/proc/loadavg: 4.21 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56731524/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) D 317174 317177 316987 0 -1 4194304 12616 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
[startup+3612 s]*
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) D 317174 317177 316987 0 -1 4194304 12616 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
[startup+3612.11 s]
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317177] ppid=317174 vsize=68960 memory=35224 CPUtime=3600.05 cores=5,7
/proc/317177/stat : 317177 (roundingsat) D 317174 317177 316987 0 -1 4194304 12616 0 0 0 357908 2097 0 0 20 0 1 0 43013562 70615040 8806 134679101440 4194304 8254357 140735804256240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37216256 140735804261211 140735804261473 140735804261473 140735804268489 0
/proc/317177/statm: 17240 8806 1900 992 0 9098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 35224 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.55
CPU time (s): 3600.06
CPU user time (s): 3579.08
CPU system time (s): 20.9728
CPU usage (%): 99.5991
Max. virtual memory (cumulated for all children) (KiB): 69288
Max. memory (cumulated for all children) (KiB): 35224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.08
system time used= 20.9728
maximum resident set size= 35596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9944952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193
involuntary context switches= 4822
# summary of solver processes directly reported to runsolver:
# pid: 317177
# total CPU time (s): 3600.06
# total CPU user time (s): 3579.08
# total CPU system time (s): 20.9728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18556 second user time and 15.3756 second system time
The end
Begin job on nodeC033 at 2024-07-27 09:20:39 IDJOB=4460215 IDBENCH=147580 IDSOLVER=3086 FILE ID=nodeC033/4460215-1722064839 RUNJOBID= nodeC033-1722064836-317000 SLURM_JOB_ID= 8248101 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460215-1722064839/watcher-4460215-1722064839 -o /tmp/evaluation-result-4460215-1722064839/solver-4460215-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-317000 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460215-1722064839 --lp-cut-gomory=0 HOME/instance-4460215-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=1663965919 nodeC033.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 : 3676.133 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.99 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.847 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.76 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 : 3652.490 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.99 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 : 3601.111 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.76 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 : 3600.783 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.99 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 : 3633.700 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.76 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 : 3623.710 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.99 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 : 3622.267 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.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125709708 kB MemAvailable: 129648132 kB Buffers: 370516 kB Cached: 4365996 kB SwapCached: 300 kB Active: 2595520 kB Inactive: 2557388 kB Active(anon): 2184 kB Inactive(anon): 467312 kB Active(file): 2593336 kB Inactive(file): 2090076 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055836 kB Dirty: 35296 kB Writeback: 0 kB AnonPages: 416344 kB Mapped: 114048 kB Shmem: 53064 kB KReclaimable: 189672 kB Slab: 307512 kB SReclaimable: 189672 kB SUnreclaim: 117840 kB KernelStack: 3900 kB PageTables: 9928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 675884 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 391892 kB DirectMap2M: 39227392 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890056 MiB End job on nodeC033 at 2024-07-27 10:20:53