| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 1 | 3600.11 | 3610.82 |
| 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.001524 0.00/0.00 c rational objective 0 0.30/0.38 c bounds 209 >= 0 @ 0.031587 0.30/0.38 c bounds 169 >= 0 @ 0.032121 0.30/0.38 c bounds 133 >= 0 @ 0.032547 0.30/0.38 c bounds 86 >= 0 @ 0.048868 0.30/0.38 c bounds 18 >= 0 @ 0.105285 0.30/0.38 c bounds 14 >= 0 @ 0.105997 0.30/0.38 c bounds 12 >= 0 @ 0.106589 0.30/0.38 c bounds 10 >= 0 @ 0.134141 0.30/0.38 c #Conflicts: 1000 | #Constraints: 1030 0.30/0.38 c #Conflicts: 2000 | #Constraints: 2034 0.30/0.38 c INPROCESSING 0.30/0.38 c GARBAGE COLLECT 0.30/0.38 c rational objective 0 0.78/0.86 c #Conflicts: 3000 | #Constraints: 2033 0.78/0.86 c #Conflicts: 4000 | #Constraints: 3035 0.78/0.86 c INPROCESSING 0.78/0.86 c GARBAGE COLLECT 0.78/0.86 c rational objective 0 1.28/1.36 c #Conflicts: 5000 | #Constraints: 2433 1.28/1.36 c bounds 6 >= 0 @ 1.12411 1.28/1.36 c bounds 4 >= 0 @ 1.12454 1.28/1.36 c #Conflicts: 6000 | #Constraints: 3439 1.28/1.36 c INPROCESSING 1.28/1.36 c GARBAGE COLLECT 1.28/1.36 c rational objective 0 1.88/1.90 c #Conflicts: 7000 | #Constraints: 2434 1.88/1.90 c #Conflicts: 8000 | #Constraints: 3435 1.88/1.90 c #Conflicts: 9000 | #Constraints: 4440 1.88/1.90 c INPROCESSING 1.88/1.90 c GARBAGE COLLECT 1.88/1.90 c rational objective 0 2.48/2.57 c #Conflicts: 10000 | #Constraints: 3134 2.48/2.57 c #Conflicts: 11000 | #Constraints: 4137 2.48/2.57 c #Conflicts: 12000 | #Constraints: 5137 2.48/2.57 c INPROCESSING 2.48/2.57 c GARBAGE COLLECT 2.48/2.57 c rational objective 0 3.18/3.25 c #Conflicts: 13000 | #Constraints: 3585 3.18/3.25 c #Conflicts: 14000 | #Constraints: 4585 3.18/3.25 c #Conflicts: 15000 | #Constraints: 5585 3.18/3.25 c INPROCESSING 3.18/3.25 c GARBAGE COLLECT 3.18/3.25 c rational objective 0 3.98/4.10 c #Conflicts: 16000 | #Constraints: 3809 3.98/4.10 c #Conflicts: 17000 | #Constraints: 4810 3.98/4.10 c #Conflicts: 18000 | #Constraints: 5810 3.98/4.10 c INPROCESSING 3.98/4.10 c GARBAGE COLLECT 3.98/4.10 c rational objective 0 4.88/4.97 c #Conflicts: 19000 | #Constraints: 3824 4.88/4.97 c #Conflicts: 20000 | #Constraints: 4824 4.88/4.97 c #Conflicts: 21000 | #Constraints: 5825 4.88/4.97 c INPROCESSING 4.88/4.97 c GARBAGE COLLECT 4.88/4.97 c rational objective 0 5.98/6.07 c #Conflicts: 22000 | #Constraints: 3626 5.98/6.07 c #Conflicts: 23000 | #Constraints: 4628 5.98/6.07 c #Conflicts: 24000 | #Constraints: 5630 5.98/6.07 c #Conflicts: 25000 | #Constraints: 6632 5.98/6.07 c INPROCESSING 5.98/6.07 c GARBAGE COLLECT 5.98/6.07 c rational objective 0 7.07/7.15 c #Conflicts: 26000 | #Constraints: 4230 7.07/7.15 c #Conflicts: 27000 | #Constraints: 5233 7.07/7.15 c #Conflicts: 28000 | #Constraints: 6235 7.07/7.15 c #Conflicts: 29000 | #Constraints: 7235 7.07/7.15 c INPROCESSING 7.07/7.15 c GARBAGE COLLECT 7.07/7.15 c rational objective 0 8.36/8.49 c #Conflicts: 30000 | #Constraints: 4630 8.36/8.49 c #Conflicts: 31000 | #Constraints: 5630 8.36/8.49 c #Conflicts: 32000 | #Constraints: 6632 8.36/8.49 c #Conflicts: 33000 | #Constraints: 7633 8.36/8.49 c INPROCESSING 8.36/8.49 c GARBAGE COLLECT 8.36/8.49 c rational objective 0 9.76/9.88 c #Conflicts: 34000 | #Constraints: 4831 9.76/9.88 c #Conflicts: 35000 | #Constraints: 5832 9.76/9.88 c #Conflicts: 36000 | #Constraints: 6832 9.76/9.88 c #Conflicts: 37000 | #Constraints: 7832 9.76/9.88 c INPROCESSING 9.76/9.88 c GARBAGE COLLECT 9.76/9.88 c rational objective 0 11.46/11.50 c #Conflicts: 38000 | #Constraints: 4830 11.46/11.50 c #Conflicts: 39000 | #Constraints: 5830 11.46/11.50 c #Conflicts: 40000 | #Constraints: 6830 11.46/11.50 c #Conflicts: 41000 | #Constraints: 7830 11.46/11.50 c INPROCESSING 11.46/11.50 c GARBAGE COLLECT 11.46/11.50 c rational objective 0 12.96/13.05 c #Conflicts: 42000 | #Constraints: 4632 12.96/13.05 c #Conflicts: 43000 | #Constraints: 5633 12.96/13.05 c bounds 2 >= 0 @ 11.7512 12.96/13.05 c #Conflicts: 44000 | #Constraints: 6634 12.96/13.05 c #Conflicts: 45000 | #Constraints: 7636 12.96/13.05 c #Conflicts: 46000 | #Constraints: 8637 12.96/13.05 c INPROCESSING 12.96/13.05 c GARBAGE COLLECT 12.96/13.05 c rational objective 0 14.65/14.76 c #Conflicts: 47000 | #Constraints: 5229 14.65/14.76 c #Conflicts: 48000 | #Constraints: 6231 14.65/14.76 c #Conflicts: 49000 | #Constraints: 7231 14.65/14.76 c #Conflicts: 50000 | #Constraints: 8233 14.65/14.76 c #Conflicts: 51000 | #Constraints: 9234 14.65/14.76 c INPROCESSING 14.65/14.76 c GARBAGE COLLECT 14.65/14.76 c rational objective 0 16.44/16.57 c #Conflicts: 52000 | #Constraints: 5632 16.44/16.57 c #Conflicts: 53000 | #Constraints: 6632 16.44/16.57 c #Conflicts: 54000 | #Constraints: 7632 16.44/16.57 c #Conflicts: 55000 | #Constraints: 8632 16.44/16.57 c #Conflicts: 56000 | #Constraints: 9633 16.44/16.57 c INPROCESSING 16.44/16.57 c GARBAGE COLLECT 16.44/16.57 c rational objective 0 18.63/18.76 c #Conflicts: 57000 | #Constraints: 5830 18.63/18.76 c #Conflicts: 58000 | #Constraints: 6830 18.63/18.76 c #Conflicts: 59000 | #Constraints: 7830 18.63/18.76 c #Conflicts: 60000 | #Constraints: 8830 18.63/18.76 c #Conflicts: 61000 | #Constraints: 9830 18.63/18.76 c INPROCESSING 18.63/18.76 c GARBAGE COLLECT 18.63/18.76 c rational objective 0 20.83/20.95 c #Conflicts: 62000 | #Constraints: 5829 20.83/20.95 c #Conflicts: 63000 | #Constraints: 6831 20.83/20.95 c #Conflicts: 64000 | #Constraints: 7831 20.83/20.95 c #Conflicts: 65000 | #Constraints: 8832 20.83/20.95 c #Conflicts: 66000 | #Constraints: 9833 20.83/20.95 c INPROCESSING 20.83/20.95 c GARBAGE COLLECT 20.83/20.95 c rational objective 0 23.52/23.68 c #Conflicts: 67000 | #Constraints: 5629 23.52/23.68 c #Conflicts: 68000 | #Constraints: 6630 23.52/23.68 c #Conflicts: 69000 | #Constraints: 7630 23.52/23.68 c #Conflicts: 70000 | #Constraints: 8631 23.52/23.68 c #Conflicts: 71000 | #Constraints: 9631 23.52/23.68 c #Conflicts: 72000 | #Constraints: 10631 23.52/23.68 c INPROCESSING 23.52/23.68 c GARBAGE COLLECT 23.52/23.68 c rational objective 0 26.31/26.43 c #Conflicts: 73000 | #Constraints: 6230 26.31/26.43 c #Conflicts: 74000 | #Constraints: 7231 26.31/26.43 c #Conflicts: 75000 | #Constraints: 8231 26.31/26.43 c #Conflicts: 76000 | #Constraints: 9232 26.31/26.43 c #Conflicts: 77000 | #Constraints: 10234 26.31/26.43 c #Conflicts: 78000 | #Constraints: 11236 26.31/26.43 c INPROCESSING 26.31/26.43 c GARBAGE COLLECT 26.31/26.43 c rational objective 0 29.91/30.05 c #Conflicts: 79000 | #Constraints: 6631 29.91/30.05 c #Conflicts: 80000 | #Constraints: 7632 29.91/30.05 c #Conflicts: 81000 | #Constraints: 8632 29.91/30.05 c #Conflicts: 82000 | #Constraints: 9632 29.91/30.05 c #Conflicts: 83000 | #Constraints: 10632 29.91/30.05 c #Conflicts: 84000 | #Constraints: 11632 29.91/30.05 c INPROCESSING 29.91/30.05 c GARBAGE COLLECT 29.91/30.05 c rational objective 0 33.80/33.93 c #Conflicts: 85000 | #Constraints: 6830 33.80/33.93 c #Conflicts: 86000 | #Constraints: 7830 33.80/33.93 c #Conflicts: 87000 | #Constraints: 8830 33.80/33.93 c #Conflicts: 88000 | #Constraints: 9830 33.80/33.93 c #Conflicts: 89000 | #Constraints: 10830 33.80/33.93 c #Conflicts: 90000 | #Constraints: 11830 33.80/33.93 c INPROCESSING 33.80/33.93 c GARBAGE COLLECT 33.80/33.93 c rational objective 0 38.18/38.38 c #Conflicts: 91000 | #Constraints: 6829 38.18/38.38 c #Conflicts: 92000 | #Constraints: 7831 38.18/38.38 c #Conflicts: 93000 | #Constraints: 8832 38.18/38.38 c #Conflicts: 94000 | #Constraints: 9832 38.18/38.38 c #Conflicts: 95000 | #Constraints: 10832 38.18/38.38 c #Conflicts: 96000 | #Constraints: 11834 38.18/38.38 c INPROCESSING 38.18/38.38 c GARBAGE COLLECT 38.18/38.38 c rational objective 0 42.88/43.02 c #Conflicts: 97000 | #Constraints: 6636 42.88/43.02 c #Conflicts: 98000 | #Constraints: 7636 42.88/43.02 c #Conflicts: 99000 | #Constraints: 8638 42.88/43.02 c #Conflicts: 100000 | #Constraints: 9638 42.88/43.02 c #Conflicts: 101000 | #Constraints: 10638 42.88/43.02 c #Conflicts: 102000 | #Constraints: 11638 42.88/43.02 c #Conflicts: 103000 | #Constraints: 12638 42.88/43.02 c INPROCESSING 42.88/43.02 c GARBAGE COLLECT 42.88/43.02 c rational objective 0 48.16/48.32 c #Conflicts: 104000 | #Constraints: 7231 48.16/48.32 c #Conflicts: 105000 | #Constraints: 8231 48.16/48.32 c #Conflicts: 106000 | #Constraints: 9231 48.16/48.32 c #Conflicts: 107000 | #Constraints: 10231 48.16/48.32 c #Conflicts: 108000 | #Constraints: 11231 48.16/48.32 c #Conflicts: 109000 | #Constraints: 12231 48.16/48.32 c #Conflicts: 110000 | #Constraints: 13231 48.16/48.32 c INPROCESSING 48.16/48.32 c GARBAGE COLLECT 48.16/48.32 c rational objective 0 53.15/53.32 c #Conflicts: 111000 | #Constraints: 7633 53.15/53.32 c #Conflicts: 112000 | #Constraints: 8633 53.15/53.32 c #Conflicts: 113000 | #Constraints: 9634 53.15/53.32 c #Conflicts: 114000 | #Constraints: 10635 53.15/53.32 c #Conflicts: 115000 | #Constraints: 11636 53.15/53.32 c #Conflicts: 116000 | #Constraints: 12637 53.15/53.32 c #Conflicts: 117000 | #Constraints: 13637 53.15/53.32 c INPROCESSING 53.15/53.32 c GARBAGE COLLECT 53.15/53.32 c rational objective 0 59.33/59.60 c #Conflicts: 118000 | #Constraints: 7832 59.33/59.60 c #Conflicts: 119000 | #Constraints: 8832 59.33/59.60 c #Conflicts: 120000 | #Constraints: 9832 59.33/59.60 c #Conflicts: 121000 | #Constraints: 10832 59.33/59.60 c #Conflicts: 122000 | #Constraints: 11832 59.33/59.60 c #Conflicts: 123000 | #Constraints: 12832 59.33/59.60 c #Conflicts: 124000 | #Constraints: 13832 59.33/59.60 c INPROCESSING 59.33/59.60 c GARBAGE COLLECT 59.33/59.60 c rational objective 0 65.41/65.60 c #Conflicts: 125000 | #Constraints: 7832 65.41/65.60 c #Conflicts: 126000 | #Constraints: 8832 65.41/65.60 c #Conflicts: 127000 | #Constraints: 9833 65.41/65.60 c #Conflicts: 128000 | #Constraints: 10833 65.41/65.60 c #Conflicts: 129000 | #Constraints: 11833 65.41/65.60 c #Conflicts: 130000 | #Constraints: 12833 65.41/65.60 c #Conflicts: 131000 | #Constraints: 13833 65.41/65.60 c INPROCESSING 65.41/65.60 c GARBAGE COLLECT 65.41/65.60 c rational objective 0 72.39/72.67 c #Conflicts: 132000 | #Constraints: 7630 72.39/72.67 c #Conflicts: 133000 | #Constraints: 8630 72.39/72.67 c #Conflicts: 134000 | #Constraints: 9631 72.39/72.67 c #Conflicts: 135000 | #Constraints: 10631 72.39/72.67 c #Conflicts: 136000 | #Constraints: 11631 72.39/72.67 c #Conflicts: 137000 | #Constraints: 12631 72.39/72.67 c #Conflicts: 138000 | #Constraints: 13631 72.39/72.67 c #Conflicts: 139000 | #Constraints: 14631 72.39/72.67 c INPROCESSING 72.39/72.67 c GARBAGE COLLECT 72.39/72.67 c rational objective 0 79.47/79.74 c #Conflicts: 140000 | #Constraints: 8233 79.47/79.74 c #Conflicts: 141000 | #Constraints: 9233 79.47/79.74 c #Conflicts: 142000 | #Constraints: 10233 79.47/79.74 c #Conflicts: 143000 | #Constraints: 11233 79.47/79.74 c #Conflicts: 144000 | #Constraints: 12233 79.47/79.74 c #Conflicts: 145000 | #Constraints: 13233 79.47/79.74 c #Conflicts: 146000 | #Constraints: 14233 79.47/79.74 c #Conflicts: 147000 | #Constraints: 15233 79.47/79.74 c INPROCESSING 79.47/79.74 c GARBAGE COLLECT 79.47/79.74 c rational objective 0 87.44/87.70 c #Conflicts: 148000 | #Constraints: 8633 87.44/87.70 c #Conflicts: 149000 | #Constraints: 9633 87.44/87.70 c #Conflicts: 150000 | #Constraints: 10633 87.44/87.70 c #Conflicts: 151000 | #Constraints: 11633 87.44/87.70 c #Conflicts: 152000 | #Constraints: 12633 87.44/87.70 c #Conflicts: 153000 | #Constraints: 13633 87.44/87.70 c #Conflicts: 154000 | #Constraints: 14633 87.44/87.70 c #Conflicts: 155000 | #Constraints: 15633 87.44/87.70 c INPROCESSING 87.44/87.70 c GARBAGE COLLECT 87.44/87.70 c rational objective 0 95.43/95.73 c #Conflicts: 156000 | #Constraints: 8833 95.43/95.73 c #Conflicts: 157000 | #Constraints: 9833 95.43/95.73 c #Conflicts: 158000 | #Constraints: 10833 95.43/95.73 c #Conflicts: 159000 | #Constraints: 11833 95.43/95.73 c #Conflicts: 160000 | #Constraints: 12833 95.43/95.73 c #Conflicts: 161000 | #Constraints: 13833 95.43/95.73 c #Conflicts: 162000 | #Constraints: 14835 95.43/95.73 c #Conflicts: 163000 | #Constraints: 15835 95.43/95.73 c INPROCESSING 95.43/95.73 c GARBAGE COLLECT 95.43/95.73 c rational objective 0 104.60/104.91 c #Conflicts: 164000 | #Constraints: 8832 104.60/104.91 c #Conflicts: 165000 | #Constraints: 9832 104.60/104.91 c #Conflicts: 166000 | #Constraints: 10833 104.60/104.91 c #Conflicts: 167000 | #Constraints: 11833 104.60/104.91 c #Conflicts: 168000 | #Constraints: 12833 104.60/104.91 c #Conflicts: 169000 | #Constraints: 13833 104.60/104.91 c #Conflicts: 170000 | #Constraints: 14833 104.60/104.91 c #Conflicts: 171000 | #Constraints: 15833 104.60/104.91 c INPROCESSING 104.60/104.91 c GARBAGE COLLECT 104.60/104.91 c rational objective 0 113.17/113.57 c #Conflicts: 172000 | #Constraints: 8633 113.17/113.57 c #Conflicts: 173000 | #Constraints: 9633 113.17/113.57 c #Conflicts: 174000 | #Constraints: 10633 113.17/113.57 c #Conflicts: 175000 | #Constraints: 11633 113.17/113.57 c #Conflicts: 176000 | #Constraints: 12633 113.17/113.57 c #Conflicts: 177000 | #Constraints: 13633 113.17/113.57 c #Conflicts: 178000 | #Constraints: 14633 113.17/113.57 c #Conflicts: 179000 | #Constraints: 15633 113.17/113.57 c #Conflicts: 180000 | #Constraints: 16633 113.17/113.57 c INPROCESSING 113.17/113.57 c GARBAGE COLLECT 113.17/113.57 c rational objective 0 122.14/122.56 c #Conflicts: 181000 | #Constraints: 9229 122.14/122.56 c #Conflicts: 182000 | #Constraints: 10229 122.14/122.56 c #Conflicts: 183000 | #Constraints: 11229 122.14/122.56 c #Conflicts: 184000 | #Constraints: 12229 122.14/122.56 c #Conflicts: 185000 | #Constraints: 13229 122.14/122.56 c #Conflicts: 186000 | #Constraints: 14229 122.14/122.56 c #Conflicts: 187000 | #Constraints: 15229 122.14/122.56 c #Conflicts: 188000 | #Constraints: 16229 122.14/122.56 c #Conflicts: 189000 | #Constraints: 17229 122.14/122.56 c INPROCESSING 122.14/122.56 c GARBAGE COLLECT 122.14/122.56 c rational objective 0 132.51/132.94 c #Conflicts: 190000 | #Constraints: 9630 132.51/132.94 c #Conflicts: 191000 | #Constraints: 10630 132.51/132.94 c #Conflicts: 192000 | #Constraints: 11630 132.51/132.94 c #Conflicts: 193000 | #Constraints: 12630 132.51/132.94 c #Conflicts: 194000 | #Constraints: 13630 132.51/132.94 c #Conflicts: 195000 | #Constraints: 14630 132.51/132.94 c #Conflicts: 196000 | #Constraints: 15630 132.51/132.94 c #Conflicts: 197000 | #Constraints: 16630 132.51/132.94 c #Conflicts: 198000 | #Constraints: 17630 132.51/132.94 c INPROCESSING 132.51/132.94 c GARBAGE COLLECT 132.51/132.94 c rational objective 0 142.98/143.45 c #Conflicts: 199000 | #Constraints: 9833 142.98/143.45 c #Conflicts: 200000 | #Constraints: 10833 142.98/143.45 c #Conflicts: 201000 | #Constraints: 11833 142.98/143.45 c #Conflicts: 202000 | #Constraints: 12833 142.98/143.45 c #Conflicts: 203000 | #Constraints: 13834 142.98/143.45 c #Conflicts: 204000 | #Constraints: 14834 142.98/143.45 c #Conflicts: 205000 | #Constraints: 15834 142.98/143.45 c #Conflicts: 206000 | #Constraints: 16834 142.98/143.45 c #Conflicts: 207000 | #Constraints: 17834 142.98/143.45 c INPROCESSING 142.98/143.45 c GARBAGE COLLECT 142.98/143.45 c rational objective 0 154.34/154.82 c #Conflicts: 208000 | #Constraints: 9832 154.34/154.82 c #Conflicts: 209000 | #Constraints: 10832 154.34/154.82 c #Conflicts: 210000 | #Constraints: 11833 154.34/154.82 c #Conflicts: 211000 | #Constraints: 12833 154.34/154.82 c #Conflicts: 212000 | #Constraints: 13833 154.34/154.82 c #Conflicts: 213000 | #Constraints: 14833 154.34/154.82 c #Conflicts: 214000 | #Constraints: 15833 154.34/154.82 c #Conflicts: 215000 | #Constraints: 16833 154.34/154.82 c #Conflicts: 216000 | #Constraints: 17833 154.34/154.82 c INPROCESSING 154.34/154.82 c GARBAGE COLLECT 154.34/154.82 c rational objective 0 165.81/166.32 c #Conflicts: 217000 | #Constraints: 9634 165.81/166.32 c #Conflicts: 218000 | #Constraints: 10634 165.81/166.32 c #Conflicts: 219000 | #Constraints: 11634 165.81/166.32 c #Conflicts: 220000 | #Constraints: 12634 165.81/166.32 c #Conflicts: 221000 | #Constraints: 13634 165.81/166.32 c #Conflicts: 222000 | #Constraints: 14634 165.81/166.32 c #Conflicts: 223000 | #Constraints: 15635 165.81/166.32 c #Conflicts: 224000 | #Constraints: 16635 165.81/166.32 c #Conflicts: 225000 | #Constraints: 17635 165.81/166.32 c #Conflicts: 226000 | #Constraints: 18635 165.81/166.32 c INPROCESSING 165.81/166.32 c GARBAGE COLLECT 165.81/166.32 c rational objective 0 178.07/178.63 c #Conflicts: 227000 | #Constraints: 10232 178.07/178.63 c #Conflicts: 228000 | #Constraints: 11232 178.07/178.63 c #Conflicts: 229000 | #Constraints: 12232 178.07/178.63 c #Conflicts: 230000 | #Constraints: 13233 178.07/178.63 c #Conflicts: 231000 | #Constraints: 14233 178.07/178.63 c #Conflicts: 232000 | #Constraints: 15234 178.07/178.63 c #Conflicts: 233000 | #Constraints: 16234 178.07/178.63 c #Conflicts: 234000 | #Constraints: 17234 178.07/178.63 c #Conflicts: 235000 | #Constraints: 18234 178.07/178.63 c #Conflicts: 236000 | #Constraints: 19234 178.07/178.63 c INPROCESSING 178.07/178.63 c GARBAGE COLLECT 178.07/178.63 c rational objective 0 189.64/190.26 c #Conflicts: 237000 | #Constraints: 10632 189.64/190.26 c #Conflicts: 238000 | #Constraints: 11632 189.64/190.26 c #Conflicts: 239000 | #Constraints: 12632 189.64/190.26 c #Conflicts: 240000 | #Constraints: 13632 189.64/190.26 c #Conflicts: 241000 | #Constraints: 14632 189.64/190.26 c #Conflicts: 242000 | #Constraints: 15632 189.64/190.26 c #Conflicts: 243000 | #Constraints: 16632 189.64/190.26 c #Conflicts: 244000 | #Constraints: 17632 189.64/190.26 c #Conflicts: 245000 | #Constraints: 18633 189.64/190.26 c #Conflicts: 246000 | #Constraints: 19633 189.64/190.26 c INPROCESSING 189.64/190.26 c GARBAGE COLLECT 189.64/190.26 c rational objective 0 203.09/203.71 c #Conflicts: 247000 | #Constraints: 10832 203.09/203.71 c #Conflicts: 248000 | #Constraints: 11832 203.09/203.71 c #Conflicts: 249000 | #Constraints: 12832 203.09/203.71 c #Conflicts: 250000 | #Constraints: 13833 203.09/203.71 c #Conflicts: 251000 | #Constraints: 14833 203.09/203.71 c #Conflicts: 252000 | #Constraints: 15834 203.09/203.71 c #Conflicts: 253000 | #Constraints: 16834 203.09/203.71 c #Conflicts: 254000 | #Constraints: 17834 203.09/203.71 c #Conflicts: 255000 | #Constraints: 18834 203.09/203.71 c #Conflicts: 256000 | #Constraints: 19834 203.09/203.71 c INPROCESSING 203.09/203.71 c GARBAGE COLLECT 203.09/203.71 c rational objective 0 215.56/216.20 c #Conflicts: 257000 | #Constraints: 10832 215.56/216.20 c #Conflicts: 258000 | #Constraints: 11832 215.56/216.20 c #Conflicts: 259000 | #Constraints: 12832 215.56/216.20 c #Conflicts: 260000 | #Constraints: 13833 215.56/216.20 c #Conflicts: 261000 | #Constraints: 14833 215.56/216.20 c #Conflicts: 262000 | #Constraints: 15833 215.56/216.20 c #Conflicts: 263000 | #Constraints: 16833 215.56/216.20 c #Conflicts: 264000 | #Constraints: 17833 215.56/216.20 c #Conflicts: 265000 | #Constraints: 18833 215.56/216.20 c #Conflicts: 266000 | #Constraints: 19834 215.56/216.20 c INPROCESSING 215.56/216.20 c GARBAGE COLLECT 215.56/216.20 c rational objective 0 229.91/230.65 c #Conflicts: 267000 | #Constraints: 10632 229.91/230.65 c #Conflicts: 268000 | #Constraints: 11632 229.91/230.65 c #Conflicts: 269000 | #Constraints: 12632 229.91/230.65 c #Conflicts: 270000 | #Constraints: 13632 229.91/230.65 c #Conflicts: 271000 | #Constraints: 14632 229.91/230.65 c #Conflicts: 272000 | #Constraints: 15632 229.91/230.65 c #Conflicts: 273000 | #Constraints: 16632 229.91/230.65 c #Conflicts: 274000 | #Constraints: 17632 229.91/230.65 c #Conflicts: 275000 | #Constraints: 18632 229.91/230.65 c #Conflicts: 276000 | #Constraints: 19632 229.91/230.65 c #Conflicts: 277000 | #Constraints: 20632 229.91/230.65 c INPROCESSING 229.91/230.65 c GARBAGE COLLECT 229.91/230.65 c rational objective 0 243.46/244.27 c #Conflicts: 278000 | #Constraints: 11231 243.46/244.27 c #Conflicts: 279000 | #Constraints: 12231 243.46/244.27 c #Conflicts: 280000 | #Constraints: 13232 243.46/244.27 c #Conflicts: 281000 | #Constraints: 14232 243.46/244.27 c #Conflicts: 282000 | #Constraints: 15232 243.46/244.27 c #Conflicts: 283000 | #Constraints: 16233 243.46/244.27 c #Conflicts: 284000 | #Constraints: 17233 243.46/244.27 c #Conflicts: 285000 | #Constraints: 18233 243.46/244.27 c #Conflicts: 286000 | #Constraints: 19233 243.46/244.27 c #Conflicts: 287000 | #Constraints: 20233 243.46/244.27 c #Conflicts: 288000 | #Constraints: 21233 243.46/244.27 c INPROCESSING 243.46/244.27 c GARBAGE COLLECT 243.46/244.27 c rational objective 0 258.62/259.44 c #Conflicts: 289000 | #Constraints: 11630 258.62/259.44 c #Conflicts: 290000 | #Constraints: 12630 258.62/259.44 c #Conflicts: 291000 | #Constraints: 13630 258.62/259.44 c #Conflicts: 292000 | #Constraints: 14630 258.62/259.44 c #Conflicts: 293000 | #Constraints: 15630 258.62/259.44 c #Conflicts: 294000 | #Constraints: 16630 258.62/259.44 c #Conflicts: 295000 | #Constraints: 17630 258.62/259.44 c #Conflicts: 296000 | #Constraints: 18630 258.62/259.44 c #Conflicts: 297000 | #Constraints: 19630 258.62/259.44 c #Conflicts: 298000 | #Constraints: 20630 258.62/259.44 c #Conflicts: 299000 | #Constraints: 21630 258.62/259.44 c INPROCESSING 258.62/259.44 c GARBAGE COLLECT 258.62/259.44 c rational objective 0 273.18/274.09 c #Conflicts: 300000 | #Constraints: 11831 273.18/274.09 c #Conflicts: 301000 | #Constraints: 12831 273.18/274.09 c #Conflicts: 302000 | #Constraints: 13831 273.18/274.09 c #Conflicts: 303000 | #Constraints: 14831 273.18/274.09 c #Conflicts: 304000 | #Constraints: 15831 273.18/274.09 c #Conflicts: 305000 | #Constraints: 16831 273.18/274.09 c #Conflicts: 306000 | #Constraints: 17831 273.18/274.09 c #Conflicts: 307000 | #Constraints: 18831 273.18/274.09 c #Conflicts: 308000 | #Constraints: 19831 273.18/274.09 c #Conflicts: 309000 | #Constraints: 20831 273.18/274.09 c #Conflicts: 310000 | #Constraints: 21831 273.18/274.09 c INPROCESSING 273.18/274.09 c GARBAGE COLLECT 273.18/274.09 c rational objective 0 290.01/290.95 c #Conflicts: 311000 | #Constraints: 11832 290.01/290.95 c #Conflicts: 312000 | #Constraints: 12832 290.01/290.95 c #Conflicts: 313000 | #Constraints: 13832 290.01/290.95 c #Conflicts: 314000 | #Constraints: 14832 290.01/290.95 c #Conflicts: 315000 | #Constraints: 15832 290.01/290.95 c #Conflicts: 316000 | #Constraints: 16832 290.01/290.95 c #Conflicts: 317000 | #Constraints: 17832 290.01/290.95 c #Conflicts: 318000 | #Constraints: 18832 290.01/290.95 c #Conflicts: 319000 | #Constraints: 19832 290.01/290.95 c #Conflicts: 320000 | #Constraints: 20832 290.01/290.95 c #Conflicts: 321000 | #Constraints: 21832 290.01/290.95 c INPROCESSING 290.01/290.95 c GARBAGE COLLECT 290.01/290.95 c rational objective 0 307.26/308.21 c #Conflicts: 322000 | #Constraints: 11632 307.26/308.21 c #Conflicts: 323000 | #Constraints: 12632 307.26/308.21 c #Conflicts: 324000 | #Constraints: 13632 307.26/308.21 c #Conflicts: 325000 | #Constraints: 14632 307.26/308.21 c #Conflicts: 326000 | #Constraints: 15632 307.26/308.21 c #Conflicts: 327000 | #Constraints: 16632 307.26/308.21 c #Conflicts: 328000 | #Constraints: 17632 307.26/308.21 c #Conflicts: 329000 | #Constraints: 18632 307.26/308.21 c #Conflicts: 330000 | #Constraints: 19632 307.26/308.21 c #Conflicts: 331000 | #Constraints: 20632 307.26/308.21 c #Conflicts: 332000 | #Constraints: 21632 307.26/308.21 c #Conflicts: 333000 | #Constraints: 22632 307.26/308.21 c INPROCESSING 307.26/308.21 c GARBAGE COLLECT 307.26/308.21 c rational objective 0 325.20/326.23 c #Conflicts: 334000 | #Constraints: 12230 325.20/326.23 c #Conflicts: 335000 | #Constraints: 13230 325.20/326.23 c #Conflicts: 336000 | #Constraints: 14230 325.20/326.23 c #Conflicts: 337000 | #Constraints: 15230 325.20/326.23 c #Conflicts: 338000 | #Constraints: 16230 325.20/326.23 c #Conflicts: 339000 | #Constraints: 17230 325.20/326.23 c #Conflicts: 340000 | #Constraints: 18230 325.20/326.23 c #Conflicts: 341000 | #Constraints: 19230 325.20/326.23 c #Conflicts: 342000 | #Constraints: 20230 325.20/326.23 c #Conflicts: 343000 | #Constraints: 21230 325.20/326.23 c #Conflicts: 344000 | #Constraints: 22230 325.20/326.23 c #Conflicts: 345000 | #Constraints: 23230 325.20/326.23 c INPROCESSING 325.20/326.23 c GARBAGE COLLECT 325.20/326.23 c rational objective 0 342.75/343.85 c #Conflicts: 346000 | #Constraints: 12628 342.75/343.85 c #Conflicts: 347000 | #Constraints: 13629 342.75/343.85 c #Conflicts: 348000 | #Constraints: 14630 342.75/343.85 c #Conflicts: 349000 | #Constraints: 15630 342.75/343.85 c #Conflicts: 350000 | #Constraints: 16630 342.75/343.85 c #Conflicts: 351000 | #Constraints: 17630 342.75/343.85 c #Conflicts: 352000 | #Constraints: 18630 342.75/343.85 c #Conflicts: 353000 | #Constraints: 19630 342.75/343.85 c #Conflicts: 354000 | #Constraints: 20630 342.75/343.85 c #Conflicts: 355000 | #Constraints: 21630 342.75/343.85 c #Conflicts: 356000 | #Constraints: 22630 342.75/343.85 c #Conflicts: 357000 | #Constraints: 23630 342.75/343.85 c INPROCESSING 342.75/343.85 c GARBAGE COLLECT 342.75/343.85 c rational objective 0 361.91/363.08 c #Conflicts: 358000 | #Constraints: 12828 361.91/363.08 c #Conflicts: 359000 | #Constraints: 13828 361.91/363.08 c #Conflicts: 360000 | #Constraints: 14828 361.91/363.08 c #Conflicts: 361000 | #Constraints: 15828 361.91/363.08 c #Conflicts: 362000 | #Constraints: 16828 361.91/363.08 c #Conflicts: 363000 | #Constraints: 17828 361.91/363.08 c #Conflicts: 364000 | #Constraints: 18828 361.91/363.08 c #Conflicts: 365000 | #Constraints: 19828 361.91/363.08 c #Conflicts: 366000 | #Constraints: 20828 361.91/363.08 c #Conflicts: 367000 | #Constraints: 21828 361.91/363.08 c #Conflicts: 368000 | #Constraints: 22828 361.91/363.08 c #Conflicts: 369000 | #Constraints: 23828 361.91/363.08 c INPROCESSING 361.91/363.08 c GARBAGE COLLECT 361.91/363.08 c rational objective 0 380.14/381.40 c #Conflicts: 370000 | #Constraints: 12831 380.14/381.40 c #Conflicts: 371000 | #Constraints: 13831 380.14/381.40 c #Conflicts: 372000 | #Constraints: 14831 380.14/381.40 c #Conflicts: 373000 | #Constraints: 15831 380.14/381.40 c #Conflicts: 374000 | #Constraints: 16831 380.14/381.40 c #Conflicts: 375000 | #Constraints: 17831 380.14/381.40 c #Conflicts: 376000 | #Constraints: 18831 380.14/381.40 c #Conflicts: 377000 | #Constraints: 19831 380.14/381.40 c #Conflicts: 378000 | #Constraints: 20831 380.14/381.40 c #Conflicts: 379000 | #Constraints: 21831 380.14/381.40 c #Conflicts: 380000 | #Constraints: 22831 380.14/381.40 c #Conflicts: 381000 | #Constraints: 23831 380.14/381.40 c INPROCESSING 380.14/381.40 c GARBAGE COLLECT 380.14/381.40 c rational objective 0 400.57/401.87 c #Conflicts: 382000 | #Constraints: 12630 400.57/401.87 c #Conflicts: 383000 | #Constraints: 13630 400.57/401.87 c #Conflicts: 384000 | #Constraints: 14630 400.57/401.87 c #Conflicts: 385000 | #Constraints: 15630 400.57/401.87 c #Conflicts: 386000 | #Constraints: 16630 400.57/401.87 c #Conflicts: 387000 | #Constraints: 17630 400.57/401.87 c #Conflicts: 388000 | #Constraints: 18630 400.57/401.87 c #Conflicts: 389000 | #Constraints: 19630 400.57/401.87 c #Conflicts: 390000 | #Constraints: 20630 400.57/401.87 c #Conflicts: 391000 | #Constraints: 21630 400.57/401.87 c #Conflicts: 392000 | #Constraints: 22630 400.57/401.87 c #Conflicts: 393000 | #Constraints: 23630 400.57/401.87 c #Conflicts: 394000 | #Constraints: 24630 400.57/401.87 c INPROCESSING 400.57/401.87 c GARBAGE COLLECT 400.57/401.87 c rational objective 0 420.10/421.46 c #Conflicts: 395000 | #Constraints: 13231 420.10/421.46 c #Conflicts: 396000 | #Constraints: 14231 420.10/421.46 c #Conflicts: 397000 | #Constraints: 15231 420.10/421.46 c #Conflicts: 398000 | #Constraints: 16231 420.10/421.46 c #Conflicts: 399000 | #Constraints: 17231 420.10/421.46 c #Conflicts: 400000 | #Constraints: 18231 420.10/421.46 c #Conflicts: 401000 | #Constraints: 19231 420.10/421.46 c #Conflicts: 402000 | #Constraints: 20231 420.10/421.46 c #Conflicts: 403000 | #Constraints: 21231 420.10/421.46 c #Conflicts: 404000 | #Constraints: 22231 420.10/421.46 c #Conflicts: 405000 | #Constraints: 23231 420.10/421.46 c #Conflicts: 406000 | #Constraints: 24231 420.10/421.46 c #Conflicts: 407000 | #Constraints: 25231 420.10/421.46 c INPROCESSING 420.10/421.46 c GARBAGE COLLECT 420.10/421.46 c rational objective 0 441.54/442.94 c #Conflicts: 408000 | #Constraints: 13630 441.54/442.94 c #Conflicts: 409000 | #Constraints: 14630 441.54/442.94 c #Conflicts: 410000 | #Constraints: 15631 441.54/442.94 c #Conflicts: 411000 | #Constraints: 16631 441.54/442.94 c #Conflicts: 412000 | #Constraints: 17631 441.54/442.94 c #Conflicts: 413000 | #Constraints: 18631 441.54/442.94 c #Conflicts: 414000 | #Constraints: 19631 441.54/442.94 c #Conflicts: 415000 | #Constraints: 20631 441.54/442.94 c #Conflicts: 416000 | #Constraints: 21631 441.54/442.94 c #Conflicts: 417000 | #Constraints: 22631 441.54/442.94 c #Conflicts: 418000 | #Constraints: 23631 441.54/442.94 c #Conflicts: 419000 | #Constraints: 24631 441.54/442.94 c #Conflicts: 420000 | #Constraints: 25631 441.54/442.94 c INPROCESSING 441.54/442.94 c GARBAGE COLLECT 441.54/442.94 c rational objective 0 463.07/464.53 c #Conflicts: 421000 | #Constraints: 13835 463.07/464.53 c #Conflicts: 422000 | #Constraints: 14835 463.07/464.53 c #Conflicts: 423000 | #Constraints: 15835 463.07/464.53 c #Conflicts: 424000 | #Constraints: 16835 463.07/464.53 c #Conflicts: 425000 | #Constraints: 17835 463.07/464.53 c #Conflicts: 426000 | #Constraints: 18835 463.07/464.53 c #Conflicts: 427000 | #Constraints: 19835 463.07/464.53 c #Conflicts: 428000 | #Constraints: 20836 463.07/464.53 c #Conflicts: 429000 | #Constraints: 21836 463.07/464.53 c #Conflicts: 430000 | #Constraints: 22836 463.07/464.53 c #Conflicts: 431000 | #Constraints: 23836 463.07/464.53 c #Conflicts: 432000 | #Constraints: 24837 463.07/464.53 c #Conflicts: 433000 | #Constraints: 25837 463.07/464.53 c INPROCESSING 463.07/464.53 c GARBAGE COLLECT 463.07/464.53 c rational objective 0 486.68/488.25 c #Conflicts: 434000 | #Constraints: 13836 486.68/488.25 c #Conflicts: 435000 | #Constraints: 14836 486.68/488.25 c #Conflicts: 436000 | #Constraints: 15836 486.68/488.25 c #Conflicts: 437000 | #Constraints: 16836 486.68/488.25 c #Conflicts: 438000 | #Constraints: 17836 486.68/488.25 c #Conflicts: 439000 | #Constraints: 18836 486.68/488.25 c #Conflicts: 440000 | #Constraints: 19836 486.68/488.25 c #Conflicts: 441000 | #Constraints: 20836 486.68/488.25 c #Conflicts: 442000 | #Constraints: 21836 486.68/488.25 c #Conflicts: 443000 | #Constraints: 22836 486.68/488.25 c #Conflicts: 444000 | #Constraints: 23836 486.68/488.25 c #Conflicts: 445000 | #Constraints: 24836 486.68/488.25 c #Conflicts: 446000 | #Constraints: 25836 486.68/488.25 c INPROCESSING 486.68/488.25 c GARBAGE COLLECT 486.68/488.25 c rational objective 0 510.91/512.55 c #Conflicts: 447000 | #Constraints: 13637 510.91/512.55 c #Conflicts: 448000 | #Constraints: 14637 510.91/512.55 c #Conflicts: 449000 | #Constraints: 15637 510.91/512.55 c #Conflicts: 450000 | #Constraints: 16637 510.91/512.55 c #Conflicts: 451000 | #Constraints: 17637 510.91/512.55 c #Conflicts: 452000 | #Constraints: 18637 510.91/512.55 c #Conflicts: 453000 | #Constraints: 19637 510.91/512.55 c #Conflicts: 454000 | #Constraints: 20637 510.91/512.55 c #Conflicts: 455000 | #Constraints: 21637 510.91/512.55 c #Conflicts: 456000 | #Constraints: 22637 510.91/512.55 c #Conflicts: 457000 | #Constraints: 23637 510.91/512.55 c #Conflicts: 458000 | #Constraints: 24637 510.91/512.55 c #Conflicts: 459000 | #Constraints: 25637 510.91/512.55 c #Conflicts: 460000 | #Constraints: 26637 510.91/512.55 c INPROCESSING 510.91/512.55 c GARBAGE COLLECT 510.91/512.55 c rational objective 0 535.53/537.20 c #Conflicts: 461000 | #Constraints: 14235 535.53/537.20 c #Conflicts: 462000 | #Constraints: 15235 535.53/537.20 c #Conflicts: 463000 | #Constraints: 16235 535.53/537.20 c #Conflicts: 464000 | #Constraints: 17235 535.53/537.20 c #Conflicts: 465000 | #Constraints: 18235 535.53/537.20 c #Conflicts: 466000 | #Constraints: 19235 535.53/537.20 c #Conflicts: 467000 | #Constraints: 20235 535.53/537.20 c #Conflicts: 468000 | #Constraints: 21236 535.53/537.20 c #Conflicts: 469000 | #Constraints: 22236 535.53/537.20 c bounds 1 >= 0 @ 522.18 535.53/537.20 c #Conflicts: 470000 | #Constraints: 23237 535.53/537.20 c #Conflicts: 471000 | #Constraints: 24237 535.53/537.20 c #Conflicts: 472000 | #Constraints: 25237 535.53/537.20 c #Conflicts: 473000 | #Constraints: 26238 535.53/537.20 c #Conflicts: 474000 | #Constraints: 27238 535.53/537.20 c INPROCESSING 535.53/537.20 c GARBAGE COLLECT 535.53/537.20 c rational objective 0 559.94/561.71 c #Conflicts: 475000 | #Constraints: 14634 559.94/561.71 c #Conflicts: 476000 | #Constraints: 15634 559.94/561.71 c #Conflicts: 477000 | #Constraints: 16634 559.94/561.71 c #Conflicts: 478000 | #Constraints: 17634 559.94/561.71 c #Conflicts: 479000 | #Constraints: 18634 559.94/561.71 c #Conflicts: 480000 | #Constraints: 19634 559.94/561.71 c #Conflicts: 481000 | #Constraints: 20634 559.94/561.71 c #Conflicts: 482000 | #Constraints: 21634 559.94/561.71 c #Conflicts: 483000 | #Constraints: 22634 559.94/561.71 c #Conflicts: 484000 | #Constraints: 23634 559.94/561.71 c #Conflicts: 485000 | #Constraints: 24634 559.94/561.71 c #Conflicts: 486000 | #Constraints: 25634 559.94/561.71 c #Conflicts: 487000 | #Constraints: 26634 559.94/561.71 c #Conflicts: 488000 | #Constraints: 27635 559.94/561.71 c INPROCESSING 559.94/561.71 c GARBAGE COLLECT 559.94/561.71 c rational objective 0 585.47/587.31 c #Conflicts: 489000 | #Constraints: 14832 585.47/587.31 c #Conflicts: 490000 | #Constraints: 15832 585.47/587.31 c #Conflicts: 491000 | #Constraints: 16832 585.47/587.31 c #Conflicts: 492000 | #Constraints: 17832 585.47/587.31 c #Conflicts: 493000 | #Constraints: 18832 585.47/587.31 c #Conflicts: 494000 | #Constraints: 19832 585.47/587.31 c #Conflicts: 495000 | #Constraints: 20832 585.47/587.31 c #Conflicts: 496000 | #Constraints: 21832 585.47/587.31 c #Conflicts: 497000 | #Constraints: 22832 585.47/587.31 c #Conflicts: 498000 | #Constraints: 23832 585.47/587.31 c #Conflicts: 499000 | #Constraints: 24832 585.47/587.31 c #Conflicts: 500000 | #Constraints: 25832 585.47/587.31 c #Conflicts: 501000 | #Constraints: 26832 585.47/587.31 c #Conflicts: 502000 | #Constraints: 27832 585.47/587.31 c INPROCESSING 585.47/587.31 c GARBAGE COLLECT 585.47/587.31 c rational objective 0 610.38/612.34 c #Conflicts: 503000 | #Constraints: 14829 610.38/612.34 c #Conflicts: 504000 | #Constraints: 15829 610.38/612.34 c #Conflicts: 505000 | #Constraints: 16829 610.38/612.34 c #Conflicts: 506000 | #Constraints: 17829 610.38/612.34 c #Conflicts: 507000 | #Constraints: 18829 610.38/612.34 c #Conflicts: 508000 | #Constraints: 19829 610.38/612.34 c #Conflicts: 509000 | #Constraints: 20829 610.38/612.34 c #Conflicts: 510000 | #Constraints: 21829 610.38/612.34 c #Conflicts: 511000 | #Constraints: 22829 610.38/612.34 c #Conflicts: 512000 | #Constraints: 23829 610.38/612.34 c #Conflicts: 513000 | #Constraints: 24829 610.38/612.34 c #Conflicts: 514000 | #Constraints: 25829 610.38/612.34 c #Conflicts: 515000 | #Constraints: 26830 610.38/612.34 c #Conflicts: 516000 | #Constraints: 27830 610.38/612.34 c INPROCESSING 610.38/612.34 c GARBAGE COLLECT 610.38/612.34 c rational objective 0 637.60/639.69 c #Conflicts: 517000 | #Constraints: 14629 637.60/639.69 c #Conflicts: 518000 | #Constraints: 15629 637.60/639.69 c #Conflicts: 519000 | #Constraints: 16629 637.60/639.69 c #Conflicts: 520000 | #Constraints: 17629 637.60/639.69 c #Conflicts: 521000 | #Constraints: 18629 637.60/639.69 c #Conflicts: 522000 | #Constraints: 19629 637.60/639.69 c #Conflicts: 523000 | #Constraints: 20629 637.60/639.69 c #Conflicts: 524000 | #Constraints: 21629 637.60/639.69 c #Conflicts: 525000 | #Constraints: 22629 637.60/639.69 c #Conflicts: 526000 | #Constraints: 23629 637.60/639.69 c #Conflicts: 527000 | #Constraints: 24629 637.60/639.69 c #Conflicts: 528000 | #Constraints: 25629 637.60/639.69 c #Conflicts: 529000 | #Constraints: 26629 637.60/639.69 c #Conflicts: 530000 | #Constraints: 27629 637.60/639.69 c #Conflicts: 531000 | #Constraints: 28629 637.60/639.69 c INPROCESSING 637.60/639.69 c GARBAGE COLLECT 637.60/639.69 c rational objective 0 662.03/664.16 c #Conflicts: 532000 | #Constraints: 15230 662.03/664.16 c #Conflicts: 533000 | #Constraints: 16230 662.03/664.16 c #Conflicts: 534000 | #Constraints: 17230 662.03/664.16 c #Conflicts: 535000 | #Constraints: 18230 662.03/664.16 c #Conflicts: 536000 | #Constraints: 19230 662.03/664.16 c #Conflicts: 537000 | #Constraints: 20230 662.03/664.16 c #Conflicts: 538000 | #Constraints: 21230 662.03/664.16 c #Conflicts: 539000 | #Constraints: 22230 662.03/664.16 c #Conflicts: 540000 | #Constraints: 23230 662.03/664.16 c #Conflicts: 541000 | #Constraints: 24230 662.03/664.16 c #Conflicts: 542000 | #Constraints: 25230 662.03/664.16 c #Conflicts: 543000 | #Constraints: 26230 662.03/664.16 c #Conflicts: 544000 | #Constraints: 27231 662.03/664.16 c #Conflicts: 545000 | #Constraints: 28231 662.03/664.16 c #Conflicts: 546000 | #Constraints: 29231 662.03/664.16 c INPROCESSING 662.03/664.16 c GARBAGE COLLECT 662.03/664.16 c rational objective 0 690.24/692.44 c #Conflicts: 547000 | #Constraints: 15628 690.24/692.44 c #Conflicts: 548000 | #Constraints: 16628 690.24/692.44 c #Conflicts: 549000 | #Constraints: 17628 690.24/692.44 c #Conflicts: 550000 | #Constraints: 18628 690.24/692.44 c #Conflicts: 551000 | #Constraints: 19628 690.24/692.44 c #Conflicts: 552000 | #Constraints: 20628 690.24/692.44 c #Conflicts: 553000 | #Constraints: 21628 690.24/692.44 c #Conflicts: 554000 | #Constraints: 22628 690.24/692.44 c #Conflicts: 555000 | #Constraints: 23628 690.24/692.44 c #Conflicts: 556000 | #Constraints: 24628 690.24/692.44 c #Conflicts: 557000 | #Constraints: 25628 690.24/692.44 c #Conflicts: 558000 | #Constraints: 26628 690.24/692.44 c #Conflicts: 559000 | #Constraints: 27628 690.24/692.44 c #Conflicts: 560000 | #Constraints: 28628 690.24/692.44 c #Conflicts: 561000 | #Constraints: 29628 690.24/692.44 c INPROCESSING 690.24/692.44 c GARBAGE COLLECT 690.24/692.44 c rational objective 0 716.56/718.82 c #Conflicts: 562000 | #Constraints: 15830 716.56/718.82 c #Conflicts: 563000 | #Constraints: 16830 716.56/718.82 c #Conflicts: 564000 | #Constraints: 17830 716.56/718.82 c #Conflicts: 565000 | #Constraints: 18830 716.56/718.82 c #Conflicts: 566000 | #Constraints: 19830 716.56/718.82 c #Conflicts: 567000 | #Constraints: 20830 716.56/718.82 c #Conflicts: 568000 | #Constraints: 21830 716.56/718.82 c #Conflicts: 569000 | #Constraints: 22830 716.56/718.82 c #Conflicts: 570000 | #Constraints: 23830 716.56/718.82 c #Conflicts: 571000 | #Constraints: 24830 716.56/718.82 c #Conflicts: 572000 | #Constraints: 25830 716.56/718.82 c #Conflicts: 573000 | #Constraints: 26830 716.56/718.82 c #Conflicts: 574000 | #Constraints: 27830 716.56/718.82 c #Conflicts: 575000 | #Constraints: 28830 716.56/718.82 c #Conflicts: 576000 | #Constraints: 29830 716.56/718.82 c INPROCESSING 716.56/718.82 c GARBAGE COLLECT 716.56/718.82 c rational objective 0 746.37/748.73 c #Conflicts: 577000 | #Constraints: 15831 746.37/748.73 c #Conflicts: 578000 | #Constraints: 16831 746.37/748.73 c #Conflicts: 579000 | #Constraints: 17831 746.37/748.73 c #Conflicts: 580000 | #Constraints: 18831 746.37/748.73 c #Conflicts: 581000 | #Constraints: 19831 746.37/748.73 c #Conflicts: 582000 | #Constraints: 20831 746.37/748.73 c #Conflicts: 583000 | #Constraints: 21831 746.37/748.73 c #Conflicts: 584000 | #Constraints: 22831 746.37/748.73 c #Conflicts: 585000 | #Constraints: 23831 746.37/748.73 c #Conflicts: 586000 | #Constraints: 24831 746.37/748.73 c #Conflicts: 587000 | #Constraints: 25831 746.37/748.73 c #Conflicts: 588000 | #Constraints: 26831 746.37/748.73 c #Conflicts: 589000 | #Constraints: 27831 746.37/748.73 c #Conflicts: 590000 | #Constraints: 28831 746.37/748.73 c #Conflicts: 591000 | #Constraints: 29831 746.37/748.73 c INPROCESSING 746.37/748.73 c GARBAGE COLLECT 746.37/748.73 c rational objective 0 775.19/777.65 c #Conflicts: 592000 | #Constraints: 15629 775.19/777.65 c #Conflicts: 593000 | #Constraints: 16629 775.19/777.65 c #Conflicts: 594000 | #Constraints: 17629 775.19/777.65 c #Conflicts: 595000 | #Constraints: 18629 775.19/777.65 c #Conflicts: 596000 | #Constraints: 19629 775.19/777.65 c #Conflicts: 597000 | #Constraints: 20629 775.19/777.65 c #Conflicts: 598000 | #Constraints: 21629 775.19/777.65 c #Conflicts: 599000 | #Constraints: 22629 775.19/777.65 c #Conflicts: 600000 | #Constraints: 23629 775.19/777.65 c #Conflicts: 601000 | #Constraints: 24629 775.19/777.65 c #Conflicts: 602000 | #Constraints: 25629 775.19/777.65 c #Conflicts: 603000 | #Constraints: 26629 775.19/777.65 c #Conflicts: 604000 | #Constraints: 27629 775.19/777.65 c #Conflicts: 605000 | #Constraints: 28629 775.19/777.65 c #Conflicts: 606000 | #Constraints: 29629 775.19/777.65 c #Conflicts: 607000 | #Constraints: 30629 775.19/777.65 c INPROCESSING 775.19/777.65 c GARBAGE COLLECT 775.19/777.65 c rational objective 0 807.00/809.52 c #Conflicts: 608000 | #Constraints: 16230 807.00/809.52 c #Conflicts: 609000 | #Constraints: 17230 807.00/809.52 c #Conflicts: 610000 | #Constraints: 18230 807.00/809.52 c #Conflicts: 611000 | #Constraints: 19230 807.00/809.52 c #Conflicts: 612000 | #Constraints: 20230 807.00/809.52 c #Conflicts: 613000 | #Constraints: 21230 807.00/809.52 c #Conflicts: 614000 | #Constraints: 22230 807.00/809.52 c #Conflicts: 615000 | #Constraints: 23230 807.00/809.52 c #Conflicts: 616000 | #Constraints: 24230 807.00/809.52 c #Conflicts: 617000 | #Constraints: 25230 807.00/809.52 c #Conflicts: 618000 | #Constraints: 26230 807.00/809.52 c #Conflicts: 619000 | #Constraints: 27230 807.00/809.52 c #Conflicts: 620000 | #Constraints: 28230 807.00/809.52 c #Conflicts: 621000 | #Constraints: 29230 807.00/809.52 c #Conflicts: 622000 | #Constraints: 30230 807.00/809.52 c #Conflicts: 623000 | #Constraints: 31230 807.00/809.52 c INPROCESSING 807.00/809.52 c GARBAGE COLLECT 807.00/809.52 c rational objective 0 835.81/838.41 c #Conflicts: 624000 | #Constraints: 16633 835.81/838.41 c #Conflicts: 625000 | #Constraints: 17633 835.81/838.41 c #Conflicts: 626000 | #Constraints: 18633 835.81/838.41 c #Conflicts: 627000 | #Constraints: 19633 835.81/838.41 c #Conflicts: 628000 | #Constraints: 20633 835.81/838.41 c #Conflicts: 629000 | #Constraints: 21633 835.81/838.41 c #Conflicts: 630000 | #Constraints: 22633 835.81/838.41 c #Conflicts: 631000 | #Constraints: 23633 835.81/838.41 c #Conflicts: 632000 | #Constraints: 24633 835.81/838.41 c #Conflicts: 633000 | #Constraints: 25633 835.81/838.41 c #Conflicts: 634000 | #Constraints: 26633 835.81/838.41 c #Conflicts: 635000 | #Constraints: 27633 835.81/838.41 c #Conflicts: 636000 | #Constraints: 28633 835.81/838.41 c #Conflicts: 637000 | #Constraints: 29633 835.81/838.41 c #Conflicts: 638000 | #Constraints: 30633 835.81/838.41 c #Conflicts: 639000 | #Constraints: 31633 835.81/838.41 c INPROCESSING 835.81/838.41 c GARBAGE COLLECT 835.81/838.41 c rational objective 0 868.62/871.38 c #Conflicts: 640000 | #Constraints: 16832 868.62/871.38 c #Conflicts: 641000 | #Constraints: 17832 868.62/871.38 c #Conflicts: 642000 | #Constraints: 18832 868.62/871.38 c #Conflicts: 643000 | #Constraints: 19832 868.62/871.38 c #Conflicts: 644000 | #Constraints: 20832 868.62/871.38 c #Conflicts: 645000 | #Constraints: 21832 868.62/871.38 c #Conflicts: 646000 | #Constraints: 22832 868.62/871.38 c #Conflicts: 647000 | #Constraints: 23832 868.62/871.38 c #Conflicts: 648000 | #Constraints: 24832 868.62/871.38 c #Conflicts: 649000 | #Constraints: 25832 868.62/871.38 c #Conflicts: 650000 | #Constraints: 26832 868.62/871.38 c #Conflicts: 651000 | #Constraints: 27832 868.62/871.38 c #Conflicts: 652000 | #Constraints: 28832 868.62/871.38 c #Conflicts: 653000 | #Constraints: 29832 868.62/871.38 c #Conflicts: 654000 | #Constraints: 30832 868.62/871.38 c #Conflicts: 655000 | #Constraints: 31832 868.62/871.38 c INPROCESSING 868.62/871.38 c GARBAGE COLLECT 868.62/871.38 c rational objective 0 899.42/902.25 c #Conflicts: 656000 | #Constraints: 16833 899.42/902.25 c #Conflicts: 657000 | #Constraints: 17833 899.42/902.25 c #Conflicts: 658000 | #Constraints: 18833 899.42/902.25 c #Conflicts: 659000 | #Constraints: 19833 899.42/902.25 c #Conflicts: 660000 | #Constraints: 20834 899.42/902.25 c #Conflicts: 661000 | #Constraints: 21834 899.42/902.25 c #Conflicts: 662000 | #Constraints: 22834 899.42/902.25 c #Conflicts: 663000 | #Constraints: 23834 899.42/902.25 c #Conflicts: 664000 | #Constraints: 24834 899.42/902.25 c #Conflicts: 665000 | #Constraints: 25834 899.42/902.25 c #Conflicts: 666000 | #Constraints: 26834 899.42/902.25 c #Conflicts: 667000 | #Constraints: 27834 899.42/902.25 c #Conflicts: 668000 | #Constraints: 28834 899.42/902.25 c #Conflicts: 669000 | #Constraints: 29834 899.42/902.25 c #Conflicts: 670000 | #Constraints: 30834 899.42/902.25 c #Conflicts: 671000 | #Constraints: 31834 899.42/902.25 c INPROCESSING 899.42/902.25 c GARBAGE COLLECT 899.42/902.25 c rational objective 0 934.41/937.34 c #Conflicts: 672000 | #Constraints: 16630 934.41/937.34 c #Conflicts: 673000 | #Constraints: 17630 934.41/937.34 c #Conflicts: 674000 | #Constraints: 18630 934.41/937.34 c #Conflicts: 675000 | #Constraints: 19630 934.41/937.34 c #Conflicts: 676000 | #Constraints: 20630 934.41/937.34 c #Conflicts: 677000 | #Constraints: 21630 934.41/937.34 c #Conflicts: 678000 | #Constraints: 22630 934.41/937.34 c #Conflicts: 679000 | #Constraints: 23630 934.41/937.34 c #Conflicts: 680000 | #Constraints: 24630 934.41/937.34 c #Conflicts: 681000 | #Constraints: 25630 934.41/937.34 c #Conflicts: 682000 | #Constraints: 26630 934.41/937.34 c #Conflicts: 683000 | #Constraints: 27630 934.41/937.34 c #Conflicts: 684000 | #Constraints: 28630 934.41/937.34 c #Conflicts: 685000 | #Constraints: 29630 934.41/937.34 c #Conflicts: 686000 | #Constraints: 30630 934.41/937.34 c #Conflicts: 687000 | #Constraints: 31630 934.41/937.34 c #Conflicts: 688000 | #Constraints: 32630 934.41/937.34 c INPROCESSING 934.41/937.34 c GARBAGE COLLECT 934.41/937.34 c rational objective 0 966.04/969.02 c #Conflicts: 689000 | #Constraints: 17229 966.04/969.02 c #Conflicts: 690000 | #Constraints: 18229 966.04/969.02 c #Conflicts: 691000 | #Constraints: 19229 966.04/969.02 c #Conflicts: 692000 | #Constraints: 20229 966.04/969.02 c #Conflicts: 693000 | #Constraints: 21229 966.04/969.02 c #Conflicts: 694000 | #Constraints: 22229 966.04/969.02 c #Conflicts: 695000 | #Constraints: 23229 966.04/969.02 c #Conflicts: 696000 | #Constraints: 24229 966.04/969.02 c #Conflicts: 697000 | #Constraints: 25229 966.04/969.02 c #Conflicts: 698000 | #Constraints: 26229 966.04/969.02 c #Conflicts: 699000 | #Constraints: 27229 966.04/969.02 c #Conflicts: 700000 | #Constraints: 28229 966.04/969.02 c #Conflicts: 701000 | #Constraints: 29229 966.04/969.02 c #Conflicts: 702000 | #Constraints: 30229 966.04/969.02 c #Conflicts: 703000 | #Constraints: 31229 966.04/969.02 c #Conflicts: 704000 | #Constraints: 32229 966.04/969.02 c #Conflicts: 705000 | #Constraints: 33229 966.04/969.02 c INPROCESSING 966.04/969.02 c GARBAGE COLLECT 966.04/969.02 c rational objective 0 1001.72/1004.84 c #Conflicts: 706000 | #Constraints: 17630 1001.72/1004.84 c #Conflicts: 707000 | #Constraints: 18630 1001.72/1004.84 c #Conflicts: 708000 | #Constraints: 19631 1001.72/1004.84 c #Conflicts: 709000 | #Constraints: 20631 1001.72/1004.84 c #Conflicts: 710000 | #Constraints: 21631 1001.72/1004.84 c #Conflicts: 711000 | #Constraints: 22631 1001.72/1004.84 c #Conflicts: 712000 | #Constraints: 23631 1001.72/1004.84 c #Conflicts: 713000 | #Constraints: 24631 1001.72/1004.84 c #Conflicts: 714000 | #Constraints: 25631 1001.72/1004.84 c #Conflicts: 715000 | #Constraints: 26631 1001.72/1004.84 c #Conflicts: 716000 | #Constraints: 27631 1001.72/1004.84 c #Conflicts: 717000 | #Constraints: 28631 1001.72/1004.84 c #Conflicts: 718000 | #Constraints: 29632 1001.72/1004.84 c #Conflicts: 719000 | #Constraints: 30632 1001.72/1004.84 c #Conflicts: 720000 | #Constraints: 31632 1001.72/1004.84 c #Conflicts: 721000 | #Constraints: 32632 1001.72/1004.84 c #Conflicts: 722000 | #Constraints: 33632 1001.72/1004.84 c INPROCESSING 1001.72/1004.84 c GARBAGE COLLECT 1001.72/1004.84 c rational objective 0 1037.42/1040.67 c #Conflicts: 723000 | #Constraints: 17833 1037.42/1040.67 c #Conflicts: 724000 | #Constraints: 18833 1037.42/1040.67 c #Conflicts: 725000 | #Constraints: 19833 1037.42/1040.67 c #Conflicts: 726000 | #Constraints: 20833 1037.42/1040.67 c #Conflicts: 727000 | #Constraints: 21833 1037.42/1040.67 c #Conflicts: 728000 | #Constraints: 22833 1037.42/1040.67 c #Conflicts: 729000 | #Constraints: 23833 1037.42/1040.67 c #Conflicts: 730000 | #Constraints: 24833 1037.42/1040.67 c #Conflicts: 731000 | #Constraints: 25833 1037.42/1040.67 c #Conflicts: 732000 | #Constraints: 26833 1037.42/1040.67 c #Conflicts: 733000 | #Constraints: 27833 1037.42/1040.67 c #Conflicts: 734000 | #Constraints: 28833 1037.42/1040.67 c #Conflicts: 735000 | #Constraints: 29833 1037.42/1040.67 c #Conflicts: 736000 | #Constraints: 30833 1037.42/1040.67 c #Conflicts: 737000 | #Constraints: 31833 1037.42/1040.67 c #Conflicts: 738000 | #Constraints: 32833 1037.42/1040.67 c #Conflicts: 739000 | #Constraints: 33833 1037.42/1040.67 c INPROCESSING 1037.42/1040.67 c GARBAGE COLLECT 1037.42/1040.67 c rational objective 0 1075.41/1078.73 c #Conflicts: 740000 | #Constraints: 17834 1075.41/1078.73 c #Conflicts: 741000 | #Constraints: 18834 1075.41/1078.73 c #Conflicts: 742000 | #Constraints: 19834 1075.41/1078.73 c #Conflicts: 743000 | #Constraints: 20834 1075.41/1078.73 c #Conflicts: 744000 | #Constraints: 21834 1075.41/1078.73 c #Conflicts: 745000 | #Constraints: 22834 1075.41/1078.73 c #Conflicts: 746000 | #Constraints: 23834 1075.41/1078.73 c #Conflicts: 747000 | #Constraints: 24834 1075.41/1078.73 c #Conflicts: 748000 | #Constraints: 25834 1075.41/1078.73 c #Conflicts: 749000 | #Constraints: 26834 1075.41/1078.73 c #Conflicts: 750000 | #Constraints: 27834 1075.41/1078.73 c #Conflicts: 751000 | #Constraints: 28834 1075.41/1078.73 c #Conflicts: 752000 | #Constraints: 29834 1075.41/1078.73 c #Conflicts: 753000 | #Constraints: 30834 1075.41/1078.73 c #Conflicts: 754000 | #Constraints: 31834 1075.41/1078.73 c #Conflicts: 755000 | #Constraints: 32834 1075.41/1078.73 c #Conflicts: 756000 | #Constraints: 33834 1075.41/1078.73 c INPROCESSING 1075.41/1078.73 c GARBAGE COLLECT 1075.41/1078.73 c rational objective 0 1111.40/1114.86 c #Conflicts: 757000 | #Constraints: 17632 1111.40/1114.86 c #Conflicts: 758000 | #Constraints: 18632 1111.40/1114.86 c #Conflicts: 759000 | #Constraints: 19632 1111.40/1114.86 c #Conflicts: 760000 | #Constraints: 20632 1111.40/1114.86 c #Conflicts: 761000 | #Constraints: 21632 1111.40/1114.86 c #Conflicts: 762000 | #Constraints: 22632 1111.40/1114.86 c #Conflicts: 763000 | #Constraints: 23632 1111.40/1114.86 c #Conflicts: 764000 | #Constraints: 24632 1111.40/1114.86 c #Conflicts: 765000 | #Constraints: 25632 1111.40/1114.86 c #Conflicts: 766000 | #Constraints: 26632 1111.40/1114.86 c #Conflicts: 767000 | #Constraints: 27632 1111.40/1114.86 c #Conflicts: 768000 | #Constraints: 28632 1111.40/1114.86 c #Conflicts: 769000 | #Constraints: 29632 1111.40/1114.86 c #Conflicts: 770000 | #Constraints: 30632 1111.40/1114.86 c #Conflicts: 771000 | #Constraints: 31632 1111.40/1114.86 c #Conflicts: 772000 | #Constraints: 32632 1111.40/1114.86 c #Conflicts: 773000 | #Constraints: 33632 1111.40/1114.86 c #Conflicts: 774000 | #Constraints: 34632 1111.40/1114.86 c INPROCESSING 1111.40/1114.86 c GARBAGE COLLECT 1111.40/1114.86 c rational objective 0 1151.27/1154.81 c #Conflicts: 775000 | #Constraints: 18229 1151.27/1154.81 c #Conflicts: 776000 | #Constraints: 19229 1151.27/1154.81 c #Conflicts: 777000 | #Constraints: 20229 1151.27/1154.81 c #Conflicts: 778000 | #Constraints: 21229 1151.27/1154.81 c #Conflicts: 779000 | #Constraints: 22229 1151.27/1154.81 c #Conflicts: 780000 | #Constraints: 23229 1151.27/1154.81 c #Conflicts: 781000 | #Constraints: 24229 1151.27/1154.81 c #Conflicts: 782000 | #Constraints: 25229 1151.27/1154.81 c #Conflicts: 783000 | #Constraints: 26229 1151.27/1154.81 c #Conflicts: 784000 | #Constraints: 27229 1151.27/1154.81 c #Conflicts: 785000 | #Constraints: 28229 1151.27/1154.81 c #Conflicts: 786000 | #Constraints: 29229 1151.27/1154.81 c #Conflicts: 787000 | #Constraints: 30229 1151.27/1154.81 c #Conflicts: 788000 | #Constraints: 31229 1151.27/1154.81 c #Conflicts: 789000 | #Constraints: 32229 1151.27/1154.81 c #Conflicts: 790000 | #Constraints: 33229 1151.27/1154.81 c #Conflicts: 791000 | #Constraints: 34229 1151.27/1154.81 c #Conflicts: 792000 | #Constraints: 35229 1151.27/1154.81 c INPROCESSING 1151.27/1154.81 c GARBAGE COLLECT 1151.27/1154.81 c rational objective 0 1188.48/1192.19 c #Conflicts: 793000 | #Constraints: 18630 1188.48/1192.19 c #Conflicts: 794000 | #Constraints: 19630 1188.48/1192.19 c #Conflicts: 795000 | #Constraints: 20630 1188.48/1192.19 c #Conflicts: 796000 | #Constraints: 21630 1188.48/1192.19 c #Conflicts: 797000 | #Constraints: 22630 1188.48/1192.19 c #Conflicts: 798000 | #Constraints: 23630 1188.48/1192.19 c #Conflicts: 799000 | #Constraints: 24630 1188.48/1192.19 c #Conflicts: 800000 | #Constraints: 25630 1188.48/1192.19 c #Conflicts: 801000 | #Constraints: 26630 1188.48/1192.19 c #Conflicts: 802000 | #Constraints: 27630 1188.48/1192.19 c #Conflicts: 803000 | #Constraints: 28630 1188.48/1192.19 c #Conflicts: 804000 | #Constraints: 29630 1188.48/1192.19 c #Conflicts: 805000 | #Constraints: 30630 1188.48/1192.19 c #Conflicts: 806000 | #Constraints: 31630 1188.48/1192.19 c #Conflicts: 807000 | #Constraints: 32630 1188.48/1192.19 c #Conflicts: 808000 | #Constraints: 33630 1188.48/1192.19 c #Conflicts: 809000 | #Constraints: 34630 1188.48/1192.19 c #Conflicts: 810000 | #Constraints: 35630 1188.48/1192.19 c INPROCESSING 1188.48/1192.19 c GARBAGE COLLECT 1188.48/1192.19 c rational objective 0 1230.44/1234.27 c #Conflicts: 811000 | #Constraints: 18831 1230.44/1234.27 c #Conflicts: 812000 | #Constraints: 19831 1230.44/1234.27 c #Conflicts: 813000 | #Constraints: 20831 1230.44/1234.27 c #Conflicts: 814000 | #Constraints: 21831 1230.44/1234.27 c #Conflicts: 815000 | #Constraints: 22831 1230.44/1234.27 c #Conflicts: 816000 | #Constraints: 23831 1230.44/1234.27 c #Conflicts: 817000 | #Constraints: 24831 1230.44/1234.27 c #Conflicts: 818000 | #Constraints: 25831 1230.44/1234.27 c #Conflicts: 819000 | #Constraints: 26831 1230.44/1234.27 c #Conflicts: 820000 | #Constraints: 27831 1230.44/1234.27 c #Conflicts: 821000 | #Constraints: 28831 1230.44/1234.27 c #Conflicts: 822000 | #Constraints: 29831 1230.44/1234.27 c #Conflicts: 823000 | #Constraints: 30831 1230.44/1234.27 c #Conflicts: 824000 | #Constraints: 31831 1230.44/1234.27 c #Conflicts: 825000 | #Constraints: 32831 1230.44/1234.27 c #Conflicts: 826000 | #Constraints: 33831 1230.44/1234.27 c #Conflicts: 827000 | #Constraints: 34831 1230.44/1234.27 c #Conflicts: 828000 | #Constraints: 35831 1230.44/1234.27 c INPROCESSING 1230.44/1234.27 c GARBAGE COLLECT 1230.44/1234.27 c rational objective 0 1271.23/1275.13 c #Conflicts: 829000 | #Constraints: 18830 1271.23/1275.13 c #Conflicts: 830000 | #Constraints: 19830 1271.23/1275.13 c #Conflicts: 831000 | #Constraints: 20830 1271.23/1275.13 c #Conflicts: 832000 | #Constraints: 21830 1271.23/1275.13 c #Conflicts: 833000 | #Constraints: 22830 1271.23/1275.13 c #Conflicts: 834000 | #Constraints: 23830 1271.23/1275.13 c #Conflicts: 835000 | #Constraints: 24830 1271.23/1275.13 c #Conflicts: 836000 | #Constraints: 25830 1271.23/1275.13 c #Conflicts: 837000 | #Constraints: 26830 1271.23/1275.13 c #Conflicts: 838000 | #Constraints: 27830 1271.23/1275.13 c #Conflicts: 839000 | #Constraints: 28830 1271.23/1275.13 c #Conflicts: 840000 | #Constraints: 29830 1271.23/1275.13 c #Conflicts: 841000 | #Constraints: 30830 1271.23/1275.13 c #Conflicts: 842000 | #Constraints: 31830 1271.23/1275.13 c #Conflicts: 843000 | #Constraints: 32830 1271.23/1275.13 c #Conflicts: 844000 | #Constraints: 33830 1271.23/1275.13 c #Conflicts: 845000 | #Constraints: 34830 1271.23/1275.13 c #Conflicts: 846000 | #Constraints: 35830 1271.23/1275.13 c INPROCESSING 1271.23/1275.13 c GARBAGE COLLECT 1271.23/1275.13 c rational objective 0 1314.69/1318.74 c #Conflicts: 847000 | #Constraints: 18628 1314.69/1318.74 c #Conflicts: 848000 | #Constraints: 19628 1314.69/1318.74 c #Conflicts: 849000 | #Constraints: 20628 1314.69/1318.74 c #Conflicts: 850000 | #Constraints: 21628 1314.69/1318.74 c #Conflicts: 851000 | #Constraints: 22628 1314.69/1318.74 c #Conflicts: 852000 | #Constraints: 23628 1314.69/1318.74 c #Conflicts: 853000 | #Constraints: 24628 1314.69/1318.74 c #Conflicts: 854000 | #Constraints: 25628 1314.69/1318.74 c #Conflicts: 855000 | #Constraints: 26628 1314.69/1318.74 c #Conflicts: 856000 | #Constraints: 27628 1314.69/1318.74 c #Conflicts: 857000 | #Constraints: 28628 1314.69/1318.74 c #Conflicts: 858000 | #Constraints: 29628 1314.69/1318.74 c #Conflicts: 859000 | #Constraints: 30628 1314.69/1318.74 c #Conflicts: 860000 | #Constraints: 31628 1314.69/1318.74 c #Conflicts: 861000 | #Constraints: 32628 1314.69/1318.74 c #Conflicts: 862000 | #Constraints: 33628 1314.69/1318.74 c #Conflicts: 863000 | #Constraints: 34628 1314.69/1318.74 c #Conflicts: 864000 | #Constraints: 35628 1314.69/1318.74 c #Conflicts: 865000 | #Constraints: 36628 1314.69/1318.74 c INPROCESSING 1314.69/1318.74 c GARBAGE COLLECT 1314.69/1318.74 c rational objective 0 1355.88/1360.04 c #Conflicts: 866000 | #Constraints: 19228 1355.88/1360.04 c #Conflicts: 867000 | #Constraints: 20228 1355.88/1360.04 c #Conflicts: 868000 | #Constraints: 21228 1355.88/1360.04 c #Conflicts: 869000 | #Constraints: 22228 1355.88/1360.04 c #Conflicts: 870000 | #Constraints: 23228 1355.88/1360.04 c #Conflicts: 871000 | #Constraints: 24228 1355.88/1360.04 c #Conflicts: 872000 | #Constraints: 25228 1355.88/1360.04 c #Conflicts: 873000 | #Constraints: 26228 1355.88/1360.04 c #Conflicts: 874000 | #Constraints: 27228 1355.88/1360.04 c #Conflicts: 875000 | #Constraints: 28228 1355.88/1360.04 c #Conflicts: 876000 | #Constraints: 29228 1355.88/1360.04 c #Conflicts: 877000 | #Constraints: 30228 1355.88/1360.04 c #Conflicts: 878000 | #Constraints: 31228 1355.88/1360.04 c #Conflicts: 879000 | #Constraints: 32228 1355.88/1360.04 c #Conflicts: 880000 | #Constraints: 33228 1355.88/1360.04 c #Conflicts: 881000 | #Constraints: 34228 1355.88/1360.04 c #Conflicts: 882000 | #Constraints: 35228 1355.88/1360.04 c #Conflicts: 883000 | #Constraints: 36228 1355.88/1360.04 c #Conflicts: 884000 | #Constraints: 37228 1355.88/1360.04 c INPROCESSING 1355.88/1360.04 c GARBAGE COLLECT 1355.88/1360.04 c rational objective 0 1402.63/1406.94 c #Conflicts: 885000 | #Constraints: 19626 1402.63/1406.94 c #Conflicts: 886000 | #Constraints: 20626 1402.63/1406.94 c #Conflicts: 887000 | #Constraints: 21626 1402.63/1406.94 c #Conflicts: 888000 | #Constraints: 22626 1402.63/1406.94 c #Conflicts: 889000 | #Constraints: 23626 1402.63/1406.94 c #Conflicts: 890000 | #Constraints: 24626 1402.63/1406.94 c #Conflicts: 891000 | #Constraints: 25626 1402.63/1406.94 c #Conflicts: 892000 | #Constraints: 26626 1402.63/1406.94 c #Conflicts: 893000 | #Constraints: 27626 1402.63/1406.94 c #Conflicts: 894000 | #Constraints: 28626 1402.63/1406.94 c #Conflicts: 895000 | #Constraints: 29626 1402.63/1406.94 c #Conflicts: 896000 | #Constraints: 30626 1402.63/1406.94 c #Conflicts: 897000 | #Constraints: 31626 1402.63/1406.94 c #Conflicts: 898000 | #Constraints: 32626 1402.63/1406.94 c #Conflicts: 899000 | #Constraints: 33626 1402.63/1406.94 c #Conflicts: 900000 | #Constraints: 34626 1402.63/1406.94 c #Conflicts: 901000 | #Constraints: 35626 1402.63/1406.94 c #Conflicts: 902000 | #Constraints: 36626 1402.63/1406.94 c #Conflicts: 903000 | #Constraints: 37626 1402.63/1406.94 c INPROCESSING 1402.63/1406.94 c GARBAGE COLLECT 1402.63/1406.94 c rational objective 0 1445.62/1450.10 c #Conflicts: 904000 | #Constraints: 19829 1445.62/1450.10 c #Conflicts: 905000 | #Constraints: 20829 1445.62/1450.10 c #Conflicts: 906000 | #Constraints: 21829 1445.62/1450.10 c #Conflicts: 907000 | #Constraints: 22829 1445.62/1450.10 c #Conflicts: 908000 | #Constraints: 23829 1445.62/1450.10 c #Conflicts: 909000 | #Constraints: 24829 1445.62/1450.10 c #Conflicts: 910000 | #Constraints: 25829 1445.62/1450.10 c #Conflicts: 911000 | #Constraints: 26829 1445.62/1450.10 c #Conflicts: 912000 | #Constraints: 27829 1445.62/1450.10 c #Conflicts: 913000 | #Constraints: 28829 1445.62/1450.10 c #Conflicts: 914000 | #Constraints: 29829 1445.62/1450.10 c #Conflicts: 915000 | #Constraints: 30829 1445.62/1450.10 c #Conflicts: 916000 | #Constraints: 31829 1445.62/1450.10 c #Conflicts: 917000 | #Constraints: 32829 1445.62/1450.10 c #Conflicts: 918000 | #Constraints: 33829 1445.62/1450.10 c #Conflicts: 919000 | #Constraints: 34829 1445.62/1450.10 c #Conflicts: 920000 | #Constraints: 35829 1445.62/1450.10 c #Conflicts: 921000 | #Constraints: 36829 1445.62/1450.10 c #Conflicts: 922000 | #Constraints: 37829 1445.62/1450.10 c INPROCESSING 1445.62/1450.10 c GARBAGE COLLECT 1445.62/1450.10 c rational objective 0 1493.66/1498.29 c #Conflicts: 923000 | #Constraints: 19830 1493.66/1498.29 c #Conflicts: 924000 | #Constraints: 20830 1493.66/1498.29 c #Conflicts: 925000 | #Constraints: 21830 1493.66/1498.29 c #Conflicts: 926000 | #Constraints: 22830 1493.66/1498.29 c #Conflicts: 927000 | #Constraints: 23830 1493.66/1498.29 c #Conflicts: 928000 | #Constraints: 24830 1493.66/1498.29 c #Conflicts: 929000 | #Constraints: 25830 1493.66/1498.29 c #Conflicts: 930000 | #Constraints: 26830 1493.66/1498.29 c #Conflicts: 931000 | #Constraints: 27830 1493.66/1498.29 c #Conflicts: 932000 | #Constraints: 28830 1493.66/1498.29 c #Conflicts: 933000 | #Constraints: 29830 1493.66/1498.29 c #Conflicts: 934000 | #Constraints: 30830 1493.66/1498.29 c #Conflicts: 935000 | #Constraints: 31830 1493.66/1498.29 c #Conflicts: 936000 | #Constraints: 32830 1493.66/1498.29 c #Conflicts: 937000 | #Constraints: 33830 1493.66/1498.29 c #Conflicts: 938000 | #Constraints: 34830 1493.66/1498.29 c #Conflicts: 939000 | #Constraints: 35830 1493.66/1498.29 c #Conflicts: 940000 | #Constraints: 36830 1493.66/1498.29 c #Conflicts: 941000 | #Constraints: 37830 1493.66/1498.29 c INPROCESSING 1493.66/1498.29 c GARBAGE COLLECT 1493.66/1498.29 c rational objective 0 1539.34/1544.03 c #Conflicts: 942000 | #Constraints: 19630 1539.34/1544.03 c #Conflicts: 943000 | #Constraints: 20630 1539.34/1544.03 c #Conflicts: 944000 | #Constraints: 21630 1539.34/1544.03 c #Conflicts: 945000 | #Constraints: 22631 1539.34/1544.03 c #Conflicts: 946000 | #Constraints: 23631 1539.34/1544.03 c #Conflicts: 947000 | #Constraints: 24631 1539.34/1544.03 c #Conflicts: 948000 | #Constraints: 25631 1539.34/1544.03 c #Conflicts: 949000 | #Constraints: 26631 1539.34/1544.03 c #Conflicts: 950000 | #Constraints: 27632 1539.34/1544.03 c #Conflicts: 951000 | #Constraints: 28632 1539.34/1544.03 c #Conflicts: 952000 | #Constraints: 29632 1539.34/1544.03 c #Conflicts: 953000 | #Constraints: 30632 1539.34/1544.03 c #Conflicts: 954000 | #Constraints: 31632 1539.34/1544.03 c #Conflicts: 955000 | #Constraints: 32632 1539.34/1544.03 c #Conflicts: 956000 | #Constraints: 33632 1539.34/1544.03 c #Conflicts: 957000 | #Constraints: 34632 1539.34/1544.03 c #Conflicts: 958000 | #Constraints: 35632 1539.34/1544.03 c #Conflicts: 959000 | #Constraints: 36632 1539.34/1544.03 c #Conflicts: 960000 | #Constraints: 37632 1539.34/1544.03 c #Conflicts: 961000 | #Constraints: 38632 1539.34/1544.03 c INPROCESSING 1539.34/1544.03 c GARBAGE COLLECT 1539.34/1544.03 c rational objective 0 1590.07/1594.96 c #Conflicts: 962000 | #Constraints: 20231 1590.07/1594.96 c #Conflicts: 963000 | #Constraints: 21231 1590.07/1594.96 c #Conflicts: 964000 | #Constraints: 22231 1590.07/1594.96 c #Conflicts: 965000 | #Constraints: 23231 1590.07/1594.96 c #Conflicts: 966000 | #Constraints: 24231 1590.07/1594.96 c #Conflicts: 967000 | #Constraints: 25231 1590.07/1594.96 c #Conflicts: 968000 | #Constraints: 26231 1590.07/1594.96 c #Conflicts: 969000 | #Constraints: 27231 1590.07/1594.96 c #Conflicts: 970000 | #Constraints: 28231 1590.07/1594.96 c #Conflicts: 971000 | #Constraints: 29231 1590.07/1594.96 c #Conflicts: 972000 | #Constraints: 30231 1590.07/1594.96 c #Conflicts: 973000 | #Constraints: 31231 1590.07/1594.96 c #Conflicts: 974000 | #Constraints: 32231 1590.07/1594.96 c #Conflicts: 975000 | #Constraints: 33231 1590.07/1594.96 c #Conflicts: 976000 | #Constraints: 34231 1590.07/1594.96 c #Conflicts: 977000 | #Constraints: 35231 1590.07/1594.96 c #Conflicts: 978000 | #Constraints: 36231 1590.07/1594.96 c #Conflicts: 979000 | #Constraints: 37231 1590.07/1594.96 c #Conflicts: 980000 | #Constraints: 38231 1590.07/1594.96 c #Conflicts: 981000 | #Constraints: 39231 1590.07/1594.96 c INPROCESSING 1590.07/1594.96 c GARBAGE COLLECT 1590.07/1594.96 c rational objective 0 1638.63/1643.62 c #Conflicts: 982000 | #Constraints: 20632 1638.63/1643.62 c #Conflicts: 983000 | #Constraints: 21632 1638.63/1643.62 c #Conflicts: 984000 | #Constraints: 22632 1638.63/1643.62 c #Conflicts: 985000 | #Constraints: 23632 1638.63/1643.62 c #Conflicts: 986000 | #Constraints: 24632 1638.63/1643.62 c #Conflicts: 987000 | #Constraints: 25632 1638.63/1643.62 c #Conflicts: 988000 | #Constraints: 26632 1638.63/1643.62 c #Conflicts: 989000 | #Constraints: 27632 1638.63/1643.62 c #Conflicts: 990000 | #Constraints: 28632 1638.63/1643.62 c #Conflicts: 991000 | #Constraints: 29632 1638.63/1643.62 c #Conflicts: 992000 | #Constraints: 30632 1638.63/1643.62 c #Conflicts: 993000 | #Constraints: 31632 1638.63/1643.62 c #Conflicts: 994000 | #Constraints: 32632 1638.63/1643.62 c #Conflicts: 995000 | #Constraints: 33632 1638.63/1643.62 c #Conflicts: 996000 | #Constraints: 34632 1638.63/1643.62 c #Conflicts: 997000 | #Constraints: 35632 1638.63/1643.62 c #Conflicts: 998000 | #Constraints: 36632 1638.63/1643.62 c #Conflicts: 999000 | #Constraints: 37632 1638.63/1643.62 c #Conflicts: 1000000 | #Constraints: 38632 1638.63/1643.62 c #Conflicts: 1001000 | #Constraints: 39632 1638.63/1643.62 c INPROCESSING 1638.63/1643.62 c GARBAGE COLLECT 1638.63/1643.62 c rational objective 0 1690.37/1695.54 c #Conflicts: 1002000 | #Constraints: 20831 1690.37/1695.54 c #Conflicts: 1003000 | #Constraints: 21831 1690.37/1695.54 c #Conflicts: 1004000 | #Constraints: 22831 1690.37/1695.54 c #Conflicts: 1005000 | #Constraints: 23831 1690.37/1695.54 c #Conflicts: 1006000 | #Constraints: 24831 1690.37/1695.54 c #Conflicts: 1007000 | #Constraints: 25831 1690.37/1695.54 c #Conflicts: 1008000 | #Constraints: 26831 1690.37/1695.54 c #Conflicts: 1009000 | #Constraints: 27831 1690.37/1695.54 c #Conflicts: 1010000 | #Constraints: 28831 1690.37/1695.54 c #Conflicts: 1011000 | #Constraints: 29831 1690.37/1695.54 c #Conflicts: 1012000 | #Constraints: 30831 1690.37/1695.54 c #Conflicts: 1013000 | #Constraints: 31831 1690.37/1695.54 c #Conflicts: 1014000 | #Constraints: 32831 1690.37/1695.54 c #Conflicts: 1015000 | #Constraints: 33831 1690.37/1695.54 c #Conflicts: 1016000 | #Constraints: 34831 1690.37/1695.54 c #Conflicts: 1017000 | #Constraints: 35831 1690.37/1695.54 c #Conflicts: 1018000 | #Constraints: 36831 1690.37/1695.54 c #Conflicts: 1019000 | #Constraints: 37831 1690.37/1695.54 c #Conflicts: 1020000 | #Constraints: 38831 1690.37/1695.54 c #Conflicts: 1021000 | #Constraints: 39831 1690.37/1695.54 c INPROCESSING 1690.37/1695.54 c GARBAGE COLLECT 1690.37/1695.54 c rational objective 0 1739.33/1744.61 c #Conflicts: 1022000 | #Constraints: 20834 1739.33/1744.61 c #Conflicts: 1023000 | #Constraints: 21834 1739.33/1744.61 c #Conflicts: 1024000 | #Constraints: 22834 1739.33/1744.61 c #Conflicts: 1025000 | #Constraints: 23834 1739.33/1744.61 c #Conflicts: 1026000 | #Constraints: 24834 1739.33/1744.61 c #Conflicts: 1027000 | #Constraints: 25834 1739.33/1744.61 c #Conflicts: 1028000 | #Constraints: 26834 1739.33/1744.61 c #Conflicts: 1029000 | #Constraints: 27834 1739.33/1744.61 c #Conflicts: 1030000 | #Constraints: 28834 1739.33/1744.61 c #Conflicts: 1031000 | #Constraints: 29834 1739.33/1744.61 c #Conflicts: 1032000 | #Constraints: 30834 1739.33/1744.61 c #Conflicts: 1033000 | #Constraints: 31834 1739.33/1744.61 c #Conflicts: 1034000 | #Constraints: 32835 1739.33/1744.61 c #Conflicts: 1035000 | #Constraints: 33835 1739.33/1744.61 c #Conflicts: 1036000 | #Constraints: 34835 1739.33/1744.61 c #Conflicts: 1037000 | #Constraints: 35835 1739.33/1744.61 c #Conflicts: 1038000 | #Constraints: 36835 1739.33/1744.61 c #Conflicts: 1039000 | #Constraints: 37835 1739.33/1744.61 c #Conflicts: 1040000 | #Constraints: 38835 1739.33/1744.61 c #Conflicts: 1041000 | #Constraints: 39835 1739.33/1744.61 c INPROCESSING 1739.33/1744.61 c GARBAGE COLLECT 1739.33/1744.61 c rational objective 0 1792.96/1798.44 c #Conflicts: 1042000 | #Constraints: 20632 1792.96/1798.44 c #Conflicts: 1043000 | #Constraints: 21632 1792.96/1798.44 c #Conflicts: 1044000 | #Constraints: 22632 1792.96/1798.44 c #Conflicts: 1045000 | #Constraints: 23632 1792.96/1798.44 c #Conflicts: 1046000 | #Constraints: 24632 1792.96/1798.44 c #Conflicts: 1047000 | #Constraints: 25632 1792.96/1798.44 c #Conflicts: 1048000 | #Constraints: 26632 1792.96/1798.44 c #Conflicts: 1049000 | #Constraints: 27632 1792.96/1798.44 c #Conflicts: 1050000 | #Constraints: 28632 1792.96/1798.44 c #Conflicts: 1051000 | #Constraints: 29632 1792.96/1798.44 c #Conflicts: 1052000 | #Constraints: 30632 1792.96/1798.44 c #Conflicts: 1053000 | #Constraints: 31633 1792.96/1798.44 c #Conflicts: 1054000 | #Constraints: 32633 1792.96/1798.44 c #Conflicts: 1055000 | #Constraints: 33633 1792.96/1798.44 c #Conflicts: 1056000 | #Constraints: 34633 1792.96/1798.44 c #Conflicts: 1057000 | #Constraints: 35633 1792.96/1798.44 c #Conflicts: 1058000 | #Constraints: 36633 1792.96/1798.44 c #Conflicts: 1059000 | #Constraints: 37633 1792.96/1798.44 c #Conflicts: 1060000 | #Constraints: 38633 1792.96/1798.44 c #Conflicts: 1061000 | #Constraints: 39633 1792.96/1798.44 c #Conflicts: 1062000 | #Constraints: 40633 1792.96/1798.44 c INPROCESSING 1792.96/1798.44 c GARBAGE COLLECT 1792.96/1798.44 c rational objective 0 1840.82/1846.49 c #Conflicts: 1063000 | #Constraints: 21233 1840.82/1846.49 c #Conflicts: 1064000 | #Constraints: 22233 1840.82/1846.49 c #Conflicts: 1065000 | #Constraints: 23233 1840.82/1846.49 c #Conflicts: 1066000 | #Constraints: 24233 1840.82/1846.49 c #Conflicts: 1067000 | #Constraints: 25233 1840.82/1846.49 c #Conflicts: 1068000 | #Constraints: 26233 1840.82/1846.49 c #Conflicts: 1069000 | #Constraints: 27233 1840.82/1846.49 c #Conflicts: 1070000 | #Constraints: 28233 1840.82/1846.49 c #Conflicts: 1071000 | #Constraints: 29233 1840.82/1846.49 c #Conflicts: 1072000 | #Constraints: 30233 1840.82/1846.49 c #Conflicts: 1073000 | #Constraints: 31233 1840.82/1846.49 c #Conflicts: 1074000 | #Constraints: 32233 1840.82/1846.49 c #Conflicts: 1075000 | #Constraints: 33233 1840.82/1846.49 c #Conflicts: 1076000 | #Constraints: 34233 1840.82/1846.49 c #Conflicts: 1077000 | #Constraints: 35233 1840.82/1846.49 c #Conflicts: 1078000 | #Constraints: 36233 1840.82/1846.49 c #Conflicts: 1079000 | #Constraints: 37234 1840.82/1846.49 c #Conflicts: 1080000 | #Constraints: 38234 1840.82/1846.49 c #Conflicts: 1081000 | #Constraints: 39234 1840.82/1846.49 c #Conflicts: 1082000 | #Constraints: 40234 1840.82/1846.49 c #Conflicts: 1083000 | #Constraints: 41234 1840.82/1846.49 c INPROCESSING 1840.82/1846.49 c GARBAGE COLLECT 1840.82/1846.49 c rational objective 0 1891.76/1897.57 c #Conflicts: 1084000 | #Constraints: 21635 1891.76/1897.57 c #Conflicts: 1085000 | #Constraints: 22635 1891.76/1897.57 c #Conflicts: 1086000 | #Constraints: 23635 1891.76/1897.57 c #Conflicts: 1087000 | #Constraints: 24635 1891.76/1897.57 c #Conflicts: 1088000 | #Constraints: 25635 1891.76/1897.57 c #Conflicts: 1089000 | #Constraints: 26635 1891.76/1897.57 c #Conflicts: 1090000 | #Constraints: 27635 1891.76/1897.57 c #Conflicts: 1091000 | #Constraints: 28635 1891.76/1897.57 c #Conflicts: 1092000 | #Constraints: 29635 1891.76/1897.57 c #Conflicts: 1093000 | #Constraints: 30635 1891.76/1897.57 c #Conflicts: 1094000 | #Constraints: 31635 1891.76/1897.57 c #Conflicts: 1095000 | #Constraints: 32635 1891.76/1897.57 c #Conflicts: 1096000 | #Constraints: 33635 1891.76/1897.57 c #Conflicts: 1097000 | #Constraints: 34635 1891.76/1897.57 c #Conflicts: 1098000 | #Constraints: 35635 1891.76/1897.57 c #Conflicts: 1099000 | #Constraints: 36635 1891.76/1897.57 c #Conflicts: 1100000 | #Constraints: 37635 1891.76/1897.57 c #Conflicts: 1101000 | #Constraints: 38635 1891.76/1897.57 c #Conflicts: 1102000 | #Constraints: 39635 1891.76/1897.57 c #Conflicts: 1103000 | #Constraints: 40635 1891.76/1897.57 c #Conflicts: 1104000 | #Constraints: 41635 1891.76/1897.57 c INPROCESSING 1891.76/1897.57 c GARBAGE COLLECT 1891.76/1897.57 c rational objective 0 1946.22/1952.16 c #Conflicts: 1105000 | #Constraints: 21832 1946.22/1952.16 c #Conflicts: 1106000 | #Constraints: 22832 1946.22/1952.16 c #Conflicts: 1107000 | #Constraints: 23832 1946.22/1952.16 c #Conflicts: 1108000 | #Constraints: 24832 1946.22/1952.16 c #Conflicts: 1109000 | #Constraints: 25832 1946.22/1952.16 c #Conflicts: 1110000 | #Constraints: 26832 1946.22/1952.16 c #Conflicts: 1111000 | #Constraints: 27832 1946.22/1952.16 c #Conflicts: 1112000 | #Constraints: 28832 1946.22/1952.16 c #Conflicts: 1113000 | #Constraints: 29832 1946.22/1952.16 c #Conflicts: 1114000 | #Constraints: 30832 1946.22/1952.16 c #Conflicts: 1115000 | #Constraints: 31832 1946.22/1952.16 c #Conflicts: 1116000 | #Constraints: 32832 1946.22/1952.16 c #Conflicts: 1117000 | #Constraints: 33832 1946.22/1952.16 c #Conflicts: 1118000 | #Constraints: 34832 1946.22/1952.16 c #Conflicts: 1119000 | #Constraints: 35832 1946.22/1952.16 c #Conflicts: 1120000 | #Constraints: 36832 1946.22/1952.16 c #Conflicts: 1121000 | #Constraints: 37832 1946.22/1952.16 c #Conflicts: 1122000 | #Constraints: 38832 1946.22/1952.16 c #Conflicts: 1123000 | #Constraints: 39832 1946.22/1952.16 c #Conflicts: 1124000 | #Constraints: 40832 1946.22/1952.16 c #Conflicts: 1125000 | #Constraints: 41832 1946.22/1952.16 c INPROCESSING 1946.22/1952.16 c GARBAGE COLLECT 1946.22/1952.16 c rational objective 0 1995.65/2001.74 c #Conflicts: 1126000 | #Constraints: 21833 1995.65/2001.74 c #Conflicts: 1127000 | #Constraints: 22833 1995.65/2001.74 c #Conflicts: 1128000 | #Constraints: 23833 1995.65/2001.74 c #Conflicts: 1129000 | #Constraints: 24833 1995.65/2001.74 c #Conflicts: 1130000 | #Constraints: 25833 1995.65/2001.74 c #Conflicts: 1131000 | #Constraints: 26833 1995.65/2001.74 c #Conflicts: 1132000 | #Constraints: 27833 1995.65/2001.74 c #Conflicts: 1133000 | #Constraints: 28833 1995.65/2001.74 c #Conflicts: 1134000 | #Constraints: 29833 1995.65/2001.74 c #Conflicts: 1135000 | #Constraints: 30833 1995.65/2001.74 c #Conflicts: 1136000 | #Constraints: 31833 1995.65/2001.74 c #Conflicts: 1137000 | #Constraints: 32833 1995.65/2001.74 c #Conflicts: 1138000 | #Constraints: 33833 1995.65/2001.74 c #Conflicts: 1139000 | #Constraints: 34833 1995.65/2001.74 c #Conflicts: 1140000 | #Constraints: 35833 1995.65/2001.74 c #Conflicts: 1141000 | #Constraints: 36833 1995.65/2001.74 c #Conflicts: 1142000 | #Constraints: 37833 1995.65/2001.74 c #Conflicts: 1143000 | #Constraints: 38833 1995.65/2001.74 c #Conflicts: 1144000 | #Constraints: 39833 1995.65/2001.74 c #Conflicts: 1145000 | #Constraints: 40833 1995.65/2001.74 c #Conflicts: 1146000 | #Constraints: 41833 1995.65/2001.74 c INPROCESSING 1995.65/2001.74 c GARBAGE COLLECT 1995.65/2001.74 c rational objective 0 2050.80/2057.06 c #Conflicts: 1147000 | #Constraints: 21629 2050.80/2057.06 c #Conflicts: 1148000 | #Constraints: 22629 2050.80/2057.06 c #Conflicts: 1149000 | #Constraints: 23629 2050.80/2057.06 c #Conflicts: 1150000 | #Constraints: 24629 2050.80/2057.06 c #Conflicts: 1151000 | #Constraints: 25629 2050.80/2057.06 c #Conflicts: 1152000 | #Constraints: 26629 2050.80/2057.06 c #Conflicts: 1153000 | #Constraints: 27629 2050.80/2057.06 c #Conflicts: 1154000 | #Constraints: 28630 2050.80/2057.06 c #Conflicts: 1155000 | #Constraints: 29630 2050.80/2057.06 c #Conflicts: 1156000 | #Constraints: 30630 2050.80/2057.06 c #Conflicts: 1157000 | #Constraints: 31630 2050.80/2057.06 c #Conflicts: 1158000 | #Constraints: 32630 2050.80/2057.06 c #Conflicts: 1159000 | #Constraints: 33630 2050.80/2057.06 c #Conflicts: 1160000 | #Constraints: 34630 2050.80/2057.06 c #Conflicts: 1161000 | #Constraints: 35630 2050.80/2057.06 c #Conflicts: 1162000 | #Constraints: 36630 2050.80/2057.06 c #Conflicts: 1163000 | #Constraints: 37630 2050.80/2057.06 c #Conflicts: 1164000 | #Constraints: 38630 2050.80/2057.06 c #Conflicts: 1165000 | #Constraints: 39630 2050.80/2057.06 c #Conflicts: 1166000 | #Constraints: 40630 2050.80/2057.06 c #Conflicts: 1167000 | #Constraints: 41630 2050.80/2057.06 c #Conflicts: 1168000 | #Constraints: 42630 2050.80/2057.06 c INPROCESSING 2050.80/2057.06 c GARBAGE COLLECT 2050.80/2057.06 c rational objective 0 2102.65/2109.02 c #Conflicts: 1169000 | #Constraints: 22231 2102.65/2109.02 c #Conflicts: 1170000 | #Constraints: 23231 2102.65/2109.02 c #Conflicts: 1171000 | #Constraints: 24231 2102.65/2109.02 c #Conflicts: 1172000 | #Constraints: 25231 2102.65/2109.02 c #Conflicts: 1173000 | #Constraints: 26231 2102.65/2109.02 c #Conflicts: 1174000 | #Constraints: 27231 2102.65/2109.02 c #Conflicts: 1175000 | #Constraints: 28231 2102.65/2109.02 c #Conflicts: 1176000 | #Constraints: 29232 2102.65/2109.02 c #Conflicts: 1177000 | #Constraints: 30232 2102.65/2109.02 c #Conflicts: 1178000 | #Constraints: 31232 2102.65/2109.02 c #Conflicts: 1179000 | #Constraints: 32232 2102.65/2109.02 c #Conflicts: 1180000 | #Constraints: 33232 2102.65/2109.02 c #Conflicts: 1181000 | #Constraints: 34232 2102.65/2109.02 c #Conflicts: 1182000 | #Constraints: 35232 2102.65/2109.02 c #Conflicts: 1183000 | #Constraints: 36232 2102.65/2109.02 c #Conflicts: 1184000 | #Constraints: 37232 2102.65/2109.02 c #Conflicts: 1185000 | #Constraints: 38232 2102.65/2109.02 c #Conflicts: 1186000 | #Constraints: 39232 2102.65/2109.02 c #Conflicts: 1187000 | #Constraints: 40232 2102.65/2109.02 c #Conflicts: 1188000 | #Constraints: 41232 2102.65/2109.02 c #Conflicts: 1189000 | #Constraints: 42232 2102.65/2109.02 c #Conflicts: 1190000 | #Constraints: 43232 2102.65/2109.02 c INPROCESSING 2102.65/2109.02 c GARBAGE COLLECT 2102.65/2109.02 c rational objective 0 2160.16/2166.77 c #Conflicts: 1191000 | #Constraints: 22633 2160.16/2166.77 c #Conflicts: 1192000 | #Constraints: 23633 2160.16/2166.77 c #Conflicts: 1193000 | #Constraints: 24634 2160.16/2166.77 c #Conflicts: 1194000 | #Constraints: 25634 2160.16/2166.77 c #Conflicts: 1195000 | #Constraints: 26634 2160.16/2166.77 c #Conflicts: 1196000 | #Constraints: 27634 2160.16/2166.77 c #Conflicts: 1197000 | #Constraints: 28634 2160.16/2166.77 c #Conflicts: 1198000 | #Constraints: 29634 2160.16/2166.77 c #Conflicts: 1199000 | #Constraints: 30634 2160.16/2166.77 c #Conflicts: 1200000 | #Constraints: 31634 2160.16/2166.77 c #Conflicts: 1201000 | #Constraints: 32634 2160.16/2166.77 c #Conflicts: 1202000 | #Constraints: 33634 2160.16/2166.77 c #Conflicts: 1203000 | #Constraints: 34634 2160.16/2166.77 c #Conflicts: 1204000 | #Constraints: 35634 2160.16/2166.77 c #Conflicts: 1205000 | #Constraints: 36634 2160.16/2166.77 c #Conflicts: 1206000 | #Constraints: 37634 2160.16/2166.77 c #Conflicts: 1207000 | #Constraints: 38634 2160.16/2166.77 c #Conflicts: 1208000 | #Constraints: 39634 2160.16/2166.77 c #Conflicts: 1209000 | #Constraints: 40634 2160.16/2166.77 c #Conflicts: 1210000 | #Constraints: 41634 2160.16/2166.77 c #Conflicts: 1211000 | #Constraints: 42634 2160.16/2166.77 c #Conflicts: 1212000 | #Constraints: 43634 2160.16/2166.77 c INPROCESSING 2160.16/2166.77 c GARBAGE COLLECT 2160.16/2166.77 c rational objective 0 2216.20/2222.91 c #Conflicts: 1213000 | #Constraints: 22834 2216.20/2222.91 c #Conflicts: 1214000 | #Constraints: 23834 2216.20/2222.91 c #Conflicts: 1215000 | #Constraints: 24834 2216.20/2222.91 c #Conflicts: 1216000 | #Constraints: 25834 2216.20/2222.91 c #Conflicts: 1217000 | #Constraints: 26834 2216.20/2222.91 c #Conflicts: 1218000 | #Constraints: 27834 2216.20/2222.91 c #Conflicts: 1219000 | #Constraints: 28834 2216.20/2222.91 c #Conflicts: 1220000 | #Constraints: 29834 2216.20/2222.91 c #Conflicts: 1221000 | #Constraints: 30834 2216.20/2222.91 c #Conflicts: 1222000 | #Constraints: 31834 2216.20/2222.91 c #Conflicts: 1223000 | #Constraints: 32834 2216.20/2222.91 c #Conflicts: 1224000 | #Constraints: 33834 2216.20/2222.91 c #Conflicts: 1225000 | #Constraints: 34834 2216.20/2222.91 c #Conflicts: 1226000 | #Constraints: 35834 2216.20/2222.91 c #Conflicts: 1227000 | #Constraints: 36834 2216.20/2222.91 c #Conflicts: 1228000 | #Constraints: 37834 2216.20/2222.91 c #Conflicts: 1229000 | #Constraints: 38834 2216.20/2222.91 c #Conflicts: 1230000 | #Constraints: 39834 2216.20/2222.91 c #Conflicts: 1231000 | #Constraints: 40834 2216.20/2222.91 c #Conflicts: 1232000 | #Constraints: 41834 2216.20/2222.91 c #Conflicts: 1233000 | #Constraints: 42834 2216.20/2222.91 c #Conflicts: 1234000 | #Constraints: 43834 2216.20/2222.91 c INPROCESSING 2216.20/2222.91 c GARBAGE COLLECT 2216.20/2222.91 c rational objective 0 2275.23/2282.12 c #Conflicts: 1235000 | #Constraints: 22832 2275.23/2282.12 c #Conflicts: 1236000 | #Constraints: 23832 2275.23/2282.12 c #Conflicts: 1237000 | #Constraints: 24832 2275.23/2282.12 c #Conflicts: 1238000 | #Constraints: 25832 2275.23/2282.12 c #Conflicts: 1239000 | #Constraints: 26833 2275.23/2282.12 c #Conflicts: 1240000 | #Constraints: 27833 2275.23/2282.12 c #Conflicts: 1241000 | #Constraints: 28833 2275.23/2282.12 c #Conflicts: 1242000 | #Constraints: 29833 2275.23/2282.12 c #Conflicts: 1243000 | #Constraints: 30833 2275.23/2282.12 c #Conflicts: 1244000 | #Constraints: 31833 2275.23/2282.12 c #Conflicts: 1245000 | #Constraints: 32833 2275.23/2282.12 c #Conflicts: 1246000 | #Constraints: 33833 2275.23/2282.12 c #Conflicts: 1247000 | #Constraints: 34833 2275.23/2282.12 c #Conflicts: 1248000 | #Constraints: 35833 2275.23/2282.12 c #Conflicts: 1249000 | #Constraints: 36833 2275.23/2282.12 c #Conflicts: 1250000 | #Constraints: 37833 2275.23/2282.12 c #Conflicts: 1251000 | #Constraints: 38833 2275.23/2282.12 c #Conflicts: 1252000 | #Constraints: 39833 2275.23/2282.12 c #Conflicts: 1253000 | #Constraints: 40833 2275.23/2282.12 c #Conflicts: 1254000 | #Constraints: 41833 2275.23/2282.12 c #Conflicts: 1255000 | #Constraints: 42833 2275.23/2282.12 c #Conflicts: 1256000 | #Constraints: 43833 2275.23/2282.12 c INPROCESSING 2275.23/2282.12 c GARBAGE COLLECT 2275.23/2282.12 c rational objective 0 2330.97/2338.09 c #Conflicts: 1257000 | #Constraints: 22633 2330.97/2338.09 c #Conflicts: 1258000 | #Constraints: 23633 2330.97/2338.09 c #Conflicts: 1259000 | #Constraints: 24633 2330.97/2338.09 c #Conflicts: 1260000 | #Constraints: 25633 2330.97/2338.09 c #Conflicts: 1261000 | #Constraints: 26633 2330.97/2338.09 c #Conflicts: 1262000 | #Constraints: 27633 2330.97/2338.09 c #Conflicts: 1263000 | #Constraints: 28633 2330.97/2338.09 c #Conflicts: 1264000 | #Constraints: 29633 2330.97/2338.09 c #Conflicts: 1265000 | #Constraints: 30633 2330.97/2338.09 c #Conflicts: 1266000 | #Constraints: 31633 2330.97/2338.09 c #Conflicts: 1267000 | #Constraints: 32633 2330.97/2338.09 c #Conflicts: 1268000 | #Constraints: 33633 2330.97/2338.09 c #Conflicts: 1269000 | #Constraints: 34633 2330.97/2338.09 c #Conflicts: 1270000 | #Constraints: 35633 2330.97/2338.09 c #Conflicts: 1271000 | #Constraints: 36633 2330.97/2338.09 c #Conflicts: 1272000 | #Constraints: 37633 2330.97/2338.09 c #Conflicts: 1273000 | #Constraints: 38633 2330.97/2338.09 c #Conflicts: 1274000 | #Constraints: 39633 2330.97/2338.09 c #Conflicts: 1275000 | #Constraints: 40633 2330.97/2338.09 c #Conflicts: 1276000 | #Constraints: 41634 2330.97/2338.09 c #Conflicts: 1277000 | #Constraints: 42634 2330.97/2338.09 c #Conflicts: 1278000 | #Constraints: 43634 2330.97/2338.09 c #Conflicts: 1279000 | #Constraints: 44634 2330.97/2338.09 c INPROCESSING 2330.97/2338.09 c GARBAGE COLLECT 2330.97/2338.09 c rational objective 0 2392.89/2400.17 c #Conflicts: 1280000 | #Constraints: 23228 2392.89/2400.17 c #Conflicts: 1281000 | #Constraints: 24228 2392.89/2400.17 c #Conflicts: 1282000 | #Constraints: 25228 2392.89/2400.17 c #Conflicts: 1283000 | #Constraints: 26228 2392.89/2400.17 c #Conflicts: 1284000 | #Constraints: 27228 2392.89/2400.17 c #Conflicts: 1285000 | #Constraints: 28228 2392.89/2400.17 c #Conflicts: 1286000 | #Constraints: 29228 2392.89/2400.17 c #Conflicts: 1287000 | #Constraints: 30228 2392.89/2400.17 c #Conflicts: 1288000 | #Constraints: 31228 2392.89/2400.17 c #Conflicts: 1289000 | #Constraints: 32228 2392.89/2400.17 c #Conflicts: 1290000 | #Constraints: 33228 2392.89/2400.17 c #Conflicts: 1291000 | #Constraints: 34228 2392.89/2400.17 c #Conflicts: 1292000 | #Constraints: 35228 2392.89/2400.17 c #Conflicts: 1293000 | #Constraints: 36228 2392.89/2400.17 c #Conflicts: 1294000 | #Constraints: 37228 2392.89/2400.17 c #Conflicts: 1295000 | #Constraints: 38228 2392.89/2400.17 c #Conflicts: 1296000 | #Constraints: 39228 2392.89/2400.17 c #Conflicts: 1297000 | #Constraints: 40228 2392.89/2400.17 c #Conflicts: 1298000 | #Constraints: 41228 2392.89/2400.17 c #Conflicts: 1299000 | #Constraints: 42228 2392.89/2400.17 c #Conflicts: 1300000 | #Constraints: 43228 2392.89/2400.17 c #Conflicts: 1301000 | #Constraints: 44228 2392.89/2400.17 c #Conflicts: 1302000 | #Constraints: 45228 2392.89/2400.17 c INPROCESSING 2392.89/2400.17 c GARBAGE COLLECT 2392.89/2400.17 c rational objective 0 2451.50/2458.98 c #Conflicts: 1303000 | #Constraints: 23629 2451.50/2458.98 c #Conflicts: 1304000 | #Constraints: 24629 2451.50/2458.98 c #Conflicts: 1305000 | #Constraints: 25629 2451.50/2458.98 c #Conflicts: 1306000 | #Constraints: 26629 2451.50/2458.98 c #Conflicts: 1307000 | #Constraints: 27629 2451.50/2458.98 c #Conflicts: 1308000 | #Constraints: 28629 2451.50/2458.98 c #Conflicts: 1309000 | #Constraints: 29629 2451.50/2458.98 c #Conflicts: 1310000 | #Constraints: 30629 2451.50/2458.98 c #Conflicts: 1311000 | #Constraints: 31629 2451.50/2458.98 c #Conflicts: 1312000 | #Constraints: 32629 2451.50/2458.98 c #Conflicts: 1313000 | #Constraints: 33629 2451.50/2458.98 c #Conflicts: 1314000 | #Constraints: 34629 2451.50/2458.98 c #Conflicts: 1315000 | #Constraints: 35629 2451.50/2458.98 c #Conflicts: 1316000 | #Constraints: 36629 2451.50/2458.98 c #Conflicts: 1317000 | #Constraints: 37629 2451.50/2458.98 c #Conflicts: 1318000 | #Constraints: 38629 2451.50/2458.98 c #Conflicts: 1319000 | #Constraints: 39629 2451.50/2458.98 c #Conflicts: 1320000 | #Constraints: 40629 2451.50/2458.98 c #Conflicts: 1321000 | #Constraints: 41629 2451.50/2458.98 c #Conflicts: 1322000 | #Constraints: 42629 2451.50/2458.98 c #Conflicts: 1323000 | #Constraints: 43629 2451.50/2458.98 c #Conflicts: 1324000 | #Constraints: 44629 2451.50/2458.98 c #Conflicts: 1325000 | #Constraints: 45629 2451.50/2458.98 c INPROCESSING 2451.50/2458.98 c GARBAGE COLLECT 2451.50/2458.98 c rational objective 0 2516.81/2524.48 c #Conflicts: 1326000 | #Constraints: 23830 2516.81/2524.48 c #Conflicts: 1327000 | #Constraints: 24830 2516.81/2524.48 c #Conflicts: 1328000 | #Constraints: 25830 2516.81/2524.48 c #Conflicts: 1329000 | #Constraints: 26830 2516.81/2524.48 c #Conflicts: 1330000 | #Constraints: 27830 2516.81/2524.48 c #Conflicts: 1331000 | #Constraints: 28830 2516.81/2524.48 c #Conflicts: 1332000 | #Constraints: 29830 2516.81/2524.48 c #Conflicts: 1333000 | #Constraints: 30830 2516.81/2524.48 c #Conflicts: 1334000 | #Constraints: 31830 2516.81/2524.48 c #Conflicts: 1335000 | #Constraints: 32830 2516.81/2524.48 c #Conflicts: 1336000 | #Constraints: 33830 2516.81/2524.48 c #Conflicts: 1337000 | #Constraints: 34830 2516.81/2524.48 c #Conflicts: 1338000 | #Constraints: 35830 2516.81/2524.48 c #Conflicts: 1339000 | #Constraints: 36830 2516.81/2524.48 c #Conflicts: 1340000 | #Constraints: 37830 2516.81/2524.48 c #Conflicts: 1341000 | #Constraints: 38830 2516.81/2524.48 c #Conflicts: 1342000 | #Constraints: 39830 2516.81/2524.48 c #Conflicts: 1343000 | #Constraints: 40830 2516.81/2524.48 c #Conflicts: 1344000 | #Constraints: 41830 2516.81/2524.48 c #Conflicts: 1345000 | #Constraints: 42830 2516.81/2524.48 c #Conflicts: 1346000 | #Constraints: 43830 2516.81/2524.48 c #Conflicts: 1347000 | #Constraints: 44830 2516.81/2524.48 c #Conflicts: 1348000 | #Constraints: 45830 2516.81/2524.48 c INPROCESSING 2516.81/2524.48 c GARBAGE COLLECT 2516.81/2524.48 c rational objective 0 2578.24/2586.10 c #Conflicts: 1349000 | #Constraints: 23831 2578.24/2586.10 c #Conflicts: 1350000 | #Constraints: 24831 2578.24/2586.10 c #Conflicts: 1351000 | #Constraints: 25831 2578.24/2586.10 c #Conflicts: 1352000 | #Constraints: 26832 2578.24/2586.10 c #Conflicts: 1353000 | #Constraints: 27832 2578.24/2586.10 c #Conflicts: 1354000 | #Constraints: 28832 2578.24/2586.10 c #Conflicts: 1355000 | #Constraints: 29832 2578.24/2586.10 c #Conflicts: 1356000 | #Constraints: 30832 2578.24/2586.10 c #Conflicts: 1357000 | #Constraints: 31832 2578.24/2586.10 c #Conflicts: 1358000 | #Constraints: 32832 2578.24/2586.10 c #Conflicts: 1359000 | #Constraints: 33832 2578.24/2586.10 c #Conflicts: 1360000 | #Constraints: 34832 2578.24/2586.10 c #Conflicts: 1361000 | #Constraints: 35832 2578.24/2586.10 c #Conflicts: 1362000 | #Constraints: 36832 2578.24/2586.10 c #Conflicts: 1363000 | #Constraints: 37832 2578.24/2586.10 c #Conflicts: 1364000 | #Constraints: 38832 2578.24/2586.10 c #Conflicts: 1365000 | #Constraints: 39832 2578.24/2586.10 c #Conflicts: 1366000 | #Constraints: 40832 2578.24/2586.10 c #Conflicts: 1367000 | #Constraints: 41832 2578.24/2586.10 c #Conflicts: 1368000 | #Constraints: 42832 2578.24/2586.10 c #Conflicts: 1369000 | #Constraints: 43832 2578.24/2586.10 c #Conflicts: 1370000 | #Constraints: 44832 2578.24/2586.10 c #Conflicts: 1371000 | #Constraints: 45832 2578.24/2586.10 c INPROCESSING 2578.24/2586.10 c GARBAGE COLLECT 2578.24/2586.10 c rational objective 0 2645.05/2653.05 c #Conflicts: 1372000 | #Constraints: 23633 2645.05/2653.05 c #Conflicts: 1373000 | #Constraints: 24633 2645.05/2653.05 c #Conflicts: 1374000 | #Constraints: 25633 2645.05/2653.05 c #Conflicts: 1375000 | #Constraints: 26633 2645.05/2653.05 c #Conflicts: 1376000 | #Constraints: 27633 2645.05/2653.05 c #Conflicts: 1377000 | #Constraints: 28633 2645.05/2653.05 c #Conflicts: 1378000 | #Constraints: 29633 2645.05/2653.05 c #Conflicts: 1379000 | #Constraints: 30633 2645.05/2653.05 c #Conflicts: 1380000 | #Constraints: 31633 2645.05/2653.05 c #Conflicts: 1381000 | #Constraints: 32634 2645.05/2653.05 c #Conflicts: 1382000 | #Constraints: 33634 2645.05/2653.05 c #Conflicts: 1383000 | #Constraints: 34634 2645.05/2653.05 c #Conflicts: 1384000 | #Constraints: 35634 2645.05/2653.05 c #Conflicts: 1385000 | #Constraints: 36634 2645.05/2653.05 c #Conflicts: 1386000 | #Constraints: 37634 2645.05/2653.05 c #Conflicts: 1387000 | #Constraints: 38634 2645.05/2653.05 c #Conflicts: 1388000 | #Constraints: 39634 2645.05/2653.05 c #Conflicts: 1389000 | #Constraints: 40634 2645.05/2653.05 c #Conflicts: 1390000 | #Constraints: 41634 2645.05/2653.05 c #Conflicts: 1391000 | #Constraints: 42634 2645.05/2653.05 c #Conflicts: 1392000 | #Constraints: 43634 2645.05/2653.05 c #Conflicts: 1393000 | #Constraints: 44634 2645.05/2653.05 c #Conflicts: 1394000 | #Constraints: 45634 2645.05/2653.05 c #Conflicts: 1395000 | #Constraints: 46634 2645.05/2653.05 c INPROCESSING 2645.05/2653.05 c GARBAGE COLLECT 2645.05/2653.05 c rational objective 0 2707.45/2715.68 c #Conflicts: 1396000 | #Constraints: 24235 2707.45/2715.68 c #Conflicts: 1397000 | #Constraints: 25235 2707.45/2715.68 c #Conflicts: 1398000 | #Constraints: 26235 2707.45/2715.68 c #Conflicts: 1399000 | #Constraints: 27235 2707.45/2715.68 c #Conflicts: 1400000 | #Constraints: 28235 2707.45/2715.68 c #Conflicts: 1401000 | #Constraints: 29235 2707.45/2715.68 c #Conflicts: 1402000 | #Constraints: 30235 2707.45/2715.68 c #Conflicts: 1403000 | #Constraints: 31235 2707.45/2715.68 c #Conflicts: 1404000 | #Constraints: 32235 2707.45/2715.68 c #Conflicts: 1405000 | #Constraints: 33235 2707.45/2715.68 c #Conflicts: 1406000 | #Constraints: 34235 2707.45/2715.68 c #Conflicts: 1407000 | #Constraints: 35235 2707.45/2715.68 c #Conflicts: 1408000 | #Constraints: 36235 2707.45/2715.68 c #Conflicts: 1409000 | #Constraints: 37235 2707.45/2715.68 c #Conflicts: 1410000 | #Constraints: 38235 2707.45/2715.68 c #Conflicts: 1411000 | #Constraints: 39235 2707.45/2715.68 c #Conflicts: 1412000 | #Constraints: 40235 2707.45/2715.68 c #Conflicts: 1413000 | #Constraints: 41235 2707.45/2715.68 c #Conflicts: 1414000 | #Constraints: 42235 2707.45/2715.68 c #Conflicts: 1415000 | #Constraints: 43235 2707.45/2715.68 c #Conflicts: 1416000 | #Constraints: 44235 2707.45/2715.68 c #Conflicts: 1417000 | #Constraints: 45235 2707.45/2715.68 c #Conflicts: 1418000 | #Constraints: 46235 2707.45/2715.68 c #Conflicts: 1419000 | #Constraints: 47235 2707.45/2715.68 c INPROCESSING 2707.45/2715.68 c GARBAGE COLLECT 2707.45/2715.68 c rational objective 0 2775.95/2784.39 c #Conflicts: 1420000 | #Constraints: 24630 2775.95/2784.39 c #Conflicts: 1421000 | #Constraints: 25630 2775.95/2784.39 c #Conflicts: 1422000 | #Constraints: 26630 2775.95/2784.39 c #Conflicts: 1423000 | #Constraints: 27630 2775.95/2784.39 c #Conflicts: 1424000 | #Constraints: 28630 2775.95/2784.39 c #Conflicts: 1425000 | #Constraints: 29630 2775.95/2784.39 c #Conflicts: 1426000 | #Constraints: 30630 2775.95/2784.39 c #Conflicts: 1427000 | #Constraints: 31630 2775.95/2784.39 c #Conflicts: 1428000 | #Constraints: 32630 2775.95/2784.39 c #Conflicts: 1429000 | #Constraints: 33630 2775.95/2784.39 c #Conflicts: 1430000 | #Constraints: 34630 2775.95/2784.39 c #Conflicts: 1431000 | #Constraints: 35630 2775.95/2784.39 c #Conflicts: 1432000 | #Constraints: 36630 2775.95/2784.39 c #Conflicts: 1433000 | #Constraints: 37630 2775.95/2784.39 c #Conflicts: 1434000 | #Constraints: 38630 2775.95/2784.39 c #Conflicts: 1435000 | #Constraints: 39630 2775.95/2784.39 c #Conflicts: 1436000 | #Constraints: 40630 2775.95/2784.39 c #Conflicts: 1437000 | #Constraints: 41630 2775.95/2784.39 c #Conflicts: 1438000 | #Constraints: 42630 2775.95/2784.39 c #Conflicts: 1439000 | #Constraints: 43630 2775.95/2784.39 c #Conflicts: 1440000 | #Constraints: 44630 2775.95/2784.39 c #Conflicts: 1441000 | #Constraints: 45630 2775.95/2784.39 c #Conflicts: 1442000 | #Constraints: 46631 2775.95/2784.39 c #Conflicts: 1443000 | #Constraints: 47631 2775.95/2784.39 c INPROCESSING 2775.95/2784.39 c GARBAGE COLLECT 2775.95/2784.39 c rational objective 0 2841.26/2849.82 c #Conflicts: 1444000 | #Constraints: 24829 2841.26/2849.82 c #Conflicts: 1445000 | #Constraints: 25829 2841.26/2849.82 c #Conflicts: 1446000 | #Constraints: 26829 2841.26/2849.82 c #Conflicts: 1447000 | #Constraints: 27829 2841.26/2849.82 c #Conflicts: 1448000 | #Constraints: 28829 2841.26/2849.82 c #Conflicts: 1449000 | #Constraints: 29829 2841.26/2849.82 c #Conflicts: 1450000 | #Constraints: 30829 2841.26/2849.82 c #Conflicts: 1451000 | #Constraints: 31829 2841.26/2849.82 c #Conflicts: 1452000 | #Constraints: 32829 2841.26/2849.82 c #Conflicts: 1453000 | #Constraints: 33829 2841.26/2849.82 c #Conflicts: 1454000 | #Constraints: 34829 2841.26/2849.82 c #Conflicts: 1455000 | #Constraints: 35829 2841.26/2849.82 c #Conflicts: 1456000 | #Constraints: 36829 2841.26/2849.82 c #Conflicts: 1457000 | #Constraints: 37829 2841.26/2849.82 c #Conflicts: 1458000 | #Constraints: 38829 2841.26/2849.82 c #Conflicts: 1459000 | #Constraints: 39829 2841.26/2849.82 c #Conflicts: 1460000 | #Constraints: 40829 2841.26/2849.82 c #Conflicts: 1461000 | #Constraints: 41829 2841.26/2849.82 c #Conflicts: 1462000 | #Constraints: 42830 2841.26/2849.82 c #Conflicts: 1463000 | #Constraints: 43830 2841.26/2849.82 c #Conflicts: 1464000 | #Constraints: 44830 2841.26/2849.82 c #Conflicts: 1465000 | #Constraints: 45830 2841.26/2849.82 c #Conflicts: 1466000 | #Constraints: 46830 2841.26/2849.82 c #Conflicts: 1467000 | #Constraints: 47830 2841.26/2849.82 c INPROCESSING 2841.26/2849.82 c GARBAGE COLLECT 2841.26/2849.82 c rational objective 0 2912.05/2920.86 c #Conflicts: 1468000 | #Constraints: 24831 2912.05/2920.86 c #Conflicts: 1469000 | #Constraints: 25831 2912.05/2920.86 c #Conflicts: 1470000 | #Constraints: 26831 2912.05/2920.86 c #Conflicts: 1471000 | #Constraints: 27831 2912.05/2920.86 c #Conflicts: 1472000 | #Constraints: 28831 2912.05/2920.86 c #Conflicts: 1473000 | #Constraints: 29831 2912.05/2920.86 c #Conflicts: 1474000 | #Constraints: 30831 2912.05/2920.86 c #Conflicts: 1475000 | #Constraints: 31831 2912.05/2920.86 c #Conflicts: 1476000 | #Constraints: 32831 2912.05/2920.86 c #Conflicts: 1477000 | #Constraints: 33831 2912.05/2920.86 c #Conflicts: 1478000 | #Constraints: 34831 2912.05/2920.86 c #Conflicts: 1479000 | #Constraints: 35831 2912.05/2920.86 c #Conflicts: 1480000 | #Constraints: 36831 2912.05/2920.86 c #Conflicts: 1481000 | #Constraints: 37831 2912.05/2920.86 c #Conflicts: 1482000 | #Constraints: 38831 2912.05/2920.86 c #Conflicts: 1483000 | #Constraints: 39831 2912.05/2920.86 c #Conflicts: 1484000 | #Constraints: 40831 2912.05/2920.86 c #Conflicts: 1485000 | #Constraints: 41831 2912.05/2920.86 c #Conflicts: 1486000 | #Constraints: 42831 2912.05/2920.86 c #Conflicts: 1487000 | #Constraints: 43831 2912.05/2920.86 c #Conflicts: 1488000 | #Constraints: 44831 2912.05/2920.86 c #Conflicts: 1489000 | #Constraints: 45831 2912.05/2920.86 c #Conflicts: 1490000 | #Constraints: 46831 2912.05/2920.86 c #Conflicts: 1491000 | #Constraints: 47831 2912.05/2920.86 c INPROCESSING 2912.05/2920.86 c GARBAGE COLLECT 2912.05/2920.86 c rational objective 0 2978.55/2987.50 c #Conflicts: 1492000 | #Constraints: 24634 2978.55/2987.50 c #Conflicts: 1493000 | #Constraints: 25634 2978.55/2987.50 c #Conflicts: 1494000 | #Constraints: 26634 2978.55/2987.50 c #Conflicts: 1495000 | #Constraints: 27634 2978.55/2987.50 c #Conflicts: 1496000 | #Constraints: 28634 2978.55/2987.50 c #Conflicts: 1497000 | #Constraints: 29634 2978.55/2987.50 c #Conflicts: 1498000 | #Constraints: 30634 2978.55/2987.50 c #Conflicts: 1499000 | #Constraints: 31634 2978.55/2987.50 c #Conflicts: 1500000 | #Constraints: 32634 2978.55/2987.50 c #Conflicts: 1501000 | #Constraints: 33634 2978.55/2987.50 c #Conflicts: 1502000 | #Constraints: 34634 2978.55/2987.50 c #Conflicts: 1503000 | #Constraints: 35634 2978.55/2987.50 c #Conflicts: 1504000 | #Constraints: 36634 2978.55/2987.50 c #Conflicts: 1505000 | #Constraints: 37634 2978.55/2987.50 c #Conflicts: 1506000 | #Constraints: 38634 2978.55/2987.50 c #Conflicts: 1507000 | #Constraints: 39634 2978.55/2987.50 c #Conflicts: 1508000 | #Constraints: 40634 2978.55/2987.50 c #Conflicts: 1509000 | #Constraints: 41635 2978.55/2987.50 c #Conflicts: 1510000 | #Constraints: 42635 2978.55/2987.50 c #Conflicts: 1511000 | #Constraints: 43635 2978.55/2987.50 c #Conflicts: 1512000 | #Constraints: 44635 2978.55/2987.50 c #Conflicts: 1513000 | #Constraints: 45635 2978.55/2987.50 c #Conflicts: 1514000 | #Constraints: 46635 2978.55/2987.50 c #Conflicts: 1515000 | #Constraints: 47635 2978.55/2987.50 c #Conflicts: 1516000 | #Constraints: 48635 2978.55/2987.50 c INPROCESSING 2978.55/2987.50 c GARBAGE COLLECT 2978.55/2987.50 c rational objective 0 3050.62/3059.83 c #Conflicts: 1517000 | #Constraints: 25231 3050.62/3059.83 c #Conflicts: 1518000 | #Constraints: 26231 3050.62/3059.83 c #Conflicts: 1519000 | #Constraints: 27231 3050.62/3059.83 c #Conflicts: 1520000 | #Constraints: 28231 3050.62/3059.83 c #Conflicts: 1521000 | #Constraints: 29231 3050.62/3059.83 c #Conflicts: 1522000 | #Constraints: 30231 3050.62/3059.83 c #Conflicts: 1523000 | #Constraints: 31231 3050.62/3059.83 c #Conflicts: 1524000 | #Constraints: 32231 3050.62/3059.83 c #Conflicts: 1525000 | #Constraints: 33231 3050.62/3059.83 c #Conflicts: 1526000 | #Constraints: 34231 3050.62/3059.83 c #Conflicts: 1527000 | #Constraints: 35231 3050.62/3059.83 c #Conflicts: 1528000 | #Constraints: 36231 3050.62/3059.83 c #Conflicts: 1529000 | #Constraints: 37231 3050.62/3059.83 c #Conflicts: 1530000 | #Constraints: 38231 3050.62/3059.83 c #Conflicts: 1531000 | #Constraints: 39231 3050.62/3059.83 c #Conflicts: 1532000 | #Constraints: 40231 3050.62/3059.83 c #Conflicts: 1533000 | #Constraints: 41231 3050.62/3059.83 c #Conflicts: 1534000 | #Constraints: 42231 3050.62/3059.83 c #Conflicts: 1535000 | #Constraints: 43231 3050.62/3059.83 c #Conflicts: 1536000 | #Constraints: 44231 3050.62/3059.83 c #Conflicts: 1537000 | #Constraints: 45231 3050.62/3059.83 c #Conflicts: 1538000 | #Constraints: 46231 3050.62/3059.83 c #Conflicts: 1539000 | #Constraints: 47231 3050.62/3059.83 c #Conflicts: 1540000 | #Constraints: 48231 3050.62/3059.83 c #Conflicts: 1541000 | #Constraints: 49231 3050.62/3059.83 c INPROCESSING 3050.62/3059.83 c GARBAGE COLLECT 3050.62/3059.83 c rational objective 0 3120.52/3129.95 c #Conflicts: 1542000 | #Constraints: 25633 3120.52/3129.95 c #Conflicts: 1543000 | #Constraints: 26633 3120.52/3129.95 c #Conflicts: 1544000 | #Constraints: 27633 3120.52/3129.95 c #Conflicts: 1545000 | #Constraints: 28633 3120.52/3129.95 c #Conflicts: 1546000 | #Constraints: 29633 3120.52/3129.95 c #Conflicts: 1547000 | #Constraints: 30633 3120.52/3129.95 c #Conflicts: 1548000 | #Constraints: 31633 3120.52/3129.95 c #Conflicts: 1549000 | #Constraints: 32633 3120.52/3129.95 c #Conflicts: 1550000 | #Constraints: 33633 3120.52/3129.95 c #Conflicts: 1551000 | #Constraints: 34633 3120.52/3129.95 c #Conflicts: 1552000 | #Constraints: 35633 3120.52/3129.95 c #Conflicts: 1553000 | #Constraints: 36633 3120.52/3129.95 c #Conflicts: 1554000 | #Constraints: 37633 3120.52/3129.95 c #Conflicts: 1555000 | #Constraints: 38633 3120.52/3129.95 c #Conflicts: 1556000 | #Constraints: 39633 3120.52/3129.95 c #Conflicts: 1557000 | #Constraints: 40633 3120.52/3129.95 c #Conflicts: 1558000 | #Constraints: 41633 3120.52/3129.95 c #Conflicts: 1559000 | #Constraints: 42633 3120.52/3129.95 c #Conflicts: 1560000 | #Constraints: 43633 3120.52/3129.95 c #Conflicts: 1561000 | #Constraints: 44633 3120.52/3129.95 c #Conflicts: 1562000 | #Constraints: 45633 3120.52/3129.95 c #Conflicts: 1563000 | #Constraints: 46633 3120.52/3129.95 c #Conflicts: 1564000 | #Constraints: 47633 3120.52/3129.95 c #Conflicts: 1565000 | #Constraints: 48633 3120.52/3129.95 c #Conflicts: 1566000 | #Constraints: 49633 3120.52/3129.95 c INPROCESSING 3120.52/3129.95 c GARBAGE COLLECT 3120.52/3129.95 c rational objective 0 3200.27/3209.91 c #Conflicts: 1567000 | #Constraints: 25834 3200.27/3209.91 c #Conflicts: 1568000 | #Constraints: 26834 3200.27/3209.91 c #Conflicts: 1569000 | #Constraints: 27834 3200.27/3209.91 c #Conflicts: 1570000 | #Constraints: 28834 3200.27/3209.91 c #Conflicts: 1571000 | #Constraints: 29834 3200.27/3209.91 c #Conflicts: 1572000 | #Constraints: 30835 3200.27/3209.91 c #Conflicts: 1573000 | #Constraints: 31835 3200.27/3209.91 c #Conflicts: 1574000 | #Constraints: 32835 3200.27/3209.91 c #Conflicts: 1575000 | #Constraints: 33835 3200.27/3209.91 c #Conflicts: 1576000 | #Constraints: 34835 3200.27/3209.91 c #Conflicts: 1577000 | #Constraints: 35835 3200.27/3209.91 c #Conflicts: 1578000 | #Constraints: 36835 3200.27/3209.91 c #Conflicts: 1579000 | #Constraints: 37835 3200.27/3209.91 c #Conflicts: 1580000 | #Constraints: 38835 3200.27/3209.91 c #Conflicts: 1581000 | #Constraints: 39835 3200.27/3209.91 c #Conflicts: 1582000 | #Constraints: 40835 3200.27/3209.91 c #Conflicts: 1583000 | #Constraints: 41835 3200.27/3209.91 c #Conflicts: 1584000 | #Constraints: 42835 3200.27/3209.91 c #Conflicts: 1585000 | #Constraints: 43835 3200.27/3209.91 c #Conflicts: 1586000 | #Constraints: 44835 3200.27/3209.91 c #Conflicts: 1587000 | #Constraints: 45835 3200.27/3209.91 c #Conflicts: 1588000 | #Constraints: 46835 3200.27/3209.91 c #Conflicts: 1589000 | #Constraints: 47835 3200.27/3209.91 c #Conflicts: 1590000 | #Constraints: 48835 3200.27/3209.91 c #Conflicts: 1591000 | #Constraints: 49835 3200.27/3209.91 c INPROCESSING 3200.27/3209.91 c GARBAGE COLLECT 3200.27/3209.91 c rational objective 0 3274.16/3284.04 c #Conflicts: 1592000 | #Constraints: 25835 3274.16/3284.04 c #Conflicts: 1593000 | #Constraints: 26835 3274.16/3284.04 c #Conflicts: 1594000 | #Constraints: 27835 3274.16/3284.04 c #Conflicts: 1595000 | #Constraints: 28835 3274.16/3284.04 c #Conflicts: 1596000 | #Constraints: 29835 3274.16/3284.04 c #Conflicts: 1597000 | #Constraints: 30835 3274.16/3284.04 c #Conflicts: 1598000 | #Constraints: 31835 3274.16/3284.04 c #Conflicts: 1599000 | #Constraints: 32835 3274.16/3284.04 c #Conflicts: 1600000 | #Constraints: 33835 3274.16/3284.04 c #Conflicts: 1601000 | #Constraints: 34835 3274.16/3284.04 c #Conflicts: 1602000 | #Constraints: 35835 3274.16/3284.04 c #Conflicts: 1603000 | #Constraints: 36835 3274.16/3284.04 c #Conflicts: 1604000 | #Constraints: 37835 3274.16/3284.04 c #Conflicts: 1605000 | #Constraints: 38835 3274.16/3284.04 c #Conflicts: 1606000 | #Constraints: 39835 3274.16/3284.04 c #Conflicts: 1607000 | #Constraints: 40835 3274.16/3284.04 c #Conflicts: 1608000 | #Constraints: 41835 3274.16/3284.04 c #Conflicts: 1609000 | #Constraints: 42835 3274.16/3284.04 c #Conflicts: 1610000 | #Constraints: 43835 3274.16/3284.04 c #Conflicts: 1611000 | #Constraints: 44835 3274.16/3284.04 c #Conflicts: 1612000 | #Constraints: 45835 3274.16/3284.04 c #Conflicts: 1613000 | #Constraints: 46835 3274.16/3284.04 c #Conflicts: 1614000 | #Constraints: 47835 3274.16/3284.04 c #Conflicts: 1615000 | #Constraints: 48835 3274.16/3284.04 c #Conflicts: 1616000 | #Constraints: 49835 3274.16/3284.04 c INPROCESSING 3274.16/3284.04 c GARBAGE COLLECT 3274.16/3284.04 c rational objective 0 3353.85/3363.95 c #Conflicts: 1617000 | #Constraints: 25636 3353.85/3363.95 c #Conflicts: 1618000 | #Constraints: 26636 3353.85/3363.95 c #Conflicts: 1619000 | #Constraints: 27636 3353.85/3363.95 c #Conflicts: 1620000 | #Constraints: 28636 3353.85/3363.95 c #Conflicts: 1621000 | #Constraints: 29636 3353.85/3363.95 c #Conflicts: 1622000 | #Constraints: 30636 3353.85/3363.95 c #Conflicts: 1623000 | #Constraints: 31636 3353.85/3363.95 c #Conflicts: 1624000 | #Constraints: 32636 3353.85/3363.95 c #Conflicts: 1625000 | #Constraints: 33636 3353.85/3363.95 c #Conflicts: 1626000 | #Constraints: 34636 3353.85/3363.95 c #Conflicts: 1627000 | #Constraints: 35636 3353.85/3363.95 c #Conflicts: 1628000 | #Constraints: 36636 3353.85/3363.95 c #Conflicts: 1629000 | #Constraints: 37636 3353.85/3363.95 c #Conflicts: 1630000 | #Constraints: 38636 3353.85/3363.95 c #Conflicts: 1631000 | #Constraints: 39636 3353.85/3363.95 c #Conflicts: 1632000 | #Constraints: 40636 3353.85/3363.95 c #Conflicts: 1633000 | #Constraints: 41636 3353.85/3363.95 c #Conflicts: 1634000 | #Constraints: 42636 3353.85/3363.95 c #Conflicts: 1635000 | #Constraints: 43636 3353.85/3363.95 c #Conflicts: 1636000 | #Constraints: 44636 3353.85/3363.95 c #Conflicts: 1637000 | #Constraints: 45636 3353.85/3363.95 c #Conflicts: 1638000 | #Constraints: 46636 3353.85/3363.95 c #Conflicts: 1639000 | #Constraints: 47636 3353.85/3363.95 c #Conflicts: 1640000 | #Constraints: 48636 3353.85/3363.95 c #Conflicts: 1641000 | #Constraints: 49636 3353.85/3363.95 c #Conflicts: 1642000 | #Constraints: 50636 3353.85/3363.95 c INPROCESSING 3353.85/3363.95 c GARBAGE COLLECT 3353.85/3363.95 c rational objective 0 3426.65/3436.91 c #Conflicts: 1643000 | #Constraints: 26235 3426.65/3436.91 c #Conflicts: 1644000 | #Constraints: 27235 3426.65/3436.91 c #Conflicts: 1645000 | #Constraints: 28235 3426.65/3436.91 c #Conflicts: 1646000 | #Constraints: 29235 3426.65/3436.91 c #Conflicts: 1647000 | #Constraints: 30235 3426.65/3436.91 c #Conflicts: 1648000 | #Constraints: 31235 3426.65/3436.91 c #Conflicts: 1649000 | #Constraints: 32235 3426.65/3436.91 c #Conflicts: 1650000 | #Constraints: 33235 3426.65/3436.91 c #Conflicts: 1651000 | #Constraints: 34235 3426.65/3436.91 c #Conflicts: 1652000 | #Constraints: 35235 3426.65/3436.91 c #Conflicts: 1653000 | #Constraints: 36235 3426.65/3436.91 c #Conflicts: 1654000 | #Constraints: 37235 3426.65/3436.91 c #Conflicts: 1655000 | #Constraints: 38235 3426.65/3436.91 c #Conflicts: 1656000 | #Constraints: 39235 3426.65/3436.91 c #Conflicts: 1657000 | #Constraints: 40235 3426.65/3436.91 c #Conflicts: 1658000 | #Constraints: 41235 3426.65/3436.91 c #Conflicts: 1659000 | #Constraints: 42235 3426.65/3436.91 c #Conflicts: 1660000 | #Constraints: 43235 3426.65/3436.91 c #Conflicts: 1661000 | #Constraints: 44235 3426.65/3436.91 c #Conflicts: 1662000 | #Constraints: 45235 3426.65/3436.91 c #Conflicts: 1663000 | #Constraints: 46235 3426.65/3436.91 c #Conflicts: 1664000 | #Constraints: 47236 3426.65/3436.91 c #Conflicts: 1665000 | #Constraints: 48236 3426.65/3436.91 c #Conflicts: 1666000 | #Constraints: 49236 3426.65/3436.91 c #Conflicts: 1667000 | #Constraints: 50236 3426.65/3436.91 c #Conflicts: 1668000 | #Constraints: 51236 3426.65/3436.91 c INPROCESSING 3426.65/3436.91 c GARBAGE COLLECT 3426.65/3436.91 c rational objective 0 3506.14/3516.61 c #Conflicts: 1669000 | #Constraints: 26633 3506.14/3516.61 c #Conflicts: 1670000 | #Constraints: 27633 3506.14/3516.61 c #Conflicts: 1671000 | #Constraints: 28633 3506.14/3516.61 c #Conflicts: 1672000 | #Constraints: 29633 3506.14/3516.61 c #Conflicts: 1673000 | #Constraints: 30633 3506.14/3516.61 c #Conflicts: 1674000 | #Constraints: 31633 3506.14/3516.61 c #Conflicts: 1675000 | #Constraints: 32633 3506.14/3516.61 c #Conflicts: 1676000 | #Constraints: 33633 3506.14/3516.61 c #Conflicts: 1677000 | #Constraints: 34633 3506.14/3516.61 c #Conflicts: 1678000 | #Constraints: 35633 3506.14/3516.61 c #Conflicts: 1679000 | #Constraints: 36633 3506.14/3516.61 c #Conflicts: 1680000 | #Constraints: 37633 3506.14/3516.61 c #Conflicts: 1681000 | #Constraints: 38633 3506.14/3516.61 c #Conflicts: 1682000 | #Constraints: 39633 3506.14/3516.61 c #Conflicts: 1683000 | #Constraints: 40633 3506.14/3516.61 c #Conflicts: 1684000 | #Constraints: 41633 3506.14/3516.61 c #Conflicts: 1685000 | #Constraints: 42633 3506.14/3516.61 c #Conflicts: 1686000 | #Constraints: 43633 3506.14/3516.61 c #Conflicts: 1687000 | #Constraints: 44633 3506.14/3516.61 c #Conflicts: 1688000 | #Constraints: 45633 3506.14/3516.61 c #Conflicts: 1689000 | #Constraints: 46633 3506.14/3516.61 c #Conflicts: 1690000 | #Constraints: 47633 3506.14/3516.61 c #Conflicts: 1691000 | #Constraints: 48633 3506.14/3516.61 c #Conflicts: 1692000 | #Constraints: 49633 3506.14/3516.61 c #Conflicts: 1693000 | #Constraints: 50633 3506.14/3516.61 c #Conflicts: 1694000 | #Constraints: 51633 3506.14/3516.61 c INPROCESSING 3506.14/3516.61 c GARBAGE COLLECT 3506.14/3516.61 c rational objective 0 3580.36/3591.09 c #Conflicts: 1695000 | #Constraints: 26832 3580.36/3591.09 c #Conflicts: 1696000 | #Constraints: 27832 3580.36/3591.09 c #Conflicts: 1697000 | #Constraints: 28832 3580.36/3591.09 c #Conflicts: 1698000 | #Constraints: 29832 3580.36/3591.09 c #Conflicts: 1699000 | #Constraints: 30832 3580.36/3591.09 c #Conflicts: 1700000 | #Constraints: 31832 3580.36/3591.09 c #Conflicts: 1701000 | #Constraints: 32832 3580.36/3591.09 c #Conflicts: 1702000 | #Constraints: 33832 3580.36/3591.09 c #Conflicts: 1703000 | #Constraints: 34832 3580.36/3591.09 c #Conflicts: 1704000 | #Constraints: 35832 3580.36/3591.09 c #Conflicts: 1705000 | #Constraints: 36832 3580.36/3591.09 c #Conflicts: 1706000 | #Constraints: 37832 3580.36/3591.09 c #Conflicts: 1707000 | #Constraints: 38832 3580.36/3591.09 c #Conflicts: 1708000 | #Constraints: 39832 3580.36/3591.09 c #Conflicts: 1709000 | #Constraints: 40832 3580.36/3591.09 c #Conflicts: 1710000 | #Constraints: 41832 3580.36/3591.09 c #Conflicts: 1711000 | #Constraints: 42832 3580.36/3591.09 c #Conflicts: 1712000 | #Constraints: 43832 3580.36/3591.09 c #Conflicts: 1713000 | #Constraints: 44832 3580.36/3591.09 c #Conflicts: 1714000 | #Constraints: 45832 3580.36/3591.09 c #Conflicts: 1715000 | #Constraints: 46832 3580.36/3591.09 c #Conflicts: 1716000 | #Constraints: 47832 3580.36/3591.09 c #Conflicts: 1717000 | #Constraints: 48832 3580.36/3591.09 c #Conflicts: 1718000 | #Constraints: 49832 3580.36/3591.09 c #Conflicts: 1719000 | #Constraints: 50832 3580.36/3591.09 c #Conflicts: 1720000 | #Constraints: 51832 3580.36/3591.09 c INPROCESSING 3580.36/3591.09 c GARBAGE COLLECT 3580.36/3591.09 c rational objective 0 3600.09/3610.80 c #Conflicts: 1721000 | #Constraints: 26830 3600.09/3610.80 c #Conflicts: 1722000 | #Constraints: 27831 3600.09/3610.80 c #Conflicts: 1723000 | #Constraints: 28831 3600.09/3610.80 c #Conflicts: 1724000 | #Constraints: 29831 3600.09/3610.80 c #Conflicts: 1725000 | #Constraints: 30831 3600.09/3610.80 c #Conflicts: 1726000 | #Constraints: 31831 3600.09/3610.80 c #Conflicts: 1727000 | #Constraints: 32831 3600.09/3610.80 c Program interrupted by user. 3600.09/3610.81 c cpu time 3578.63 s 3600.09/3610.81 c deterministic time 543860896087 5.44e+11 3600.09/3610.81 c optimization time 19.5041 s 3600.09/3610.81 c total solve time 3559.12 s 3600.09/3610.81 c core-guided solve time 1769.1 s 3600.09/3610.81 c propagation time 3303.23 s 3600.09/3610.81 c conflict analysis time 252.199 s 3600.09/3610.81 c propagations 25537770 3600.09/3610.81 c resolve steps 10336782 3600.09/3610.81 c decisions 2757295 3600.09/3610.81 c conflicts 1727642 3600.09/3610.81 c restarts 3323 3600.09/3610.81 c inprocessing phases 122 3600.09/3610.81 c input clauses 0 3600.09/3610.81 c input cardinalities 1 3600.09/3610.81 c input general constraints 21 3600.09/3610.81 c input average constraint length 53.55 3600.09/3610.81 c input average constraint degree 1080.32 3600.09/3610.81 c learned clauses 828427 3600.09/3610.81 c learned cardinalities 0 3600.09/3610.81 c learned general constraints 899380 3600.09/3610.81 c learned average constraint length 24.93 3600.09/3610.81 c learned average constraint degree 594996977.47 3600.09/3610.81 c watched constraints 869403 3600.09/3610.81 c counting constraints 29998 3600.09/3610.81 c gcd simplifications 757857 3600.09/3610.81 c detected cardinalities 0 3600.09/3610.81 c weakened non-implied lits 13708852 3600.09/3610.81 c weakened non-implying lits 253757 3600.09/3610.81 c original variables 120 3600.09/3610.81 c clausal propagations 508238 3600.09/3610.81 c cardinality propagations 0 3600.09/3610.81 c watched propagations 15428219 3600.09/3610.81 c counting propagations 8382430 3600.09/3610.81 c watch lookups 54015004713 3600.09/3610.81 c watch backjump lookups 35528107222 3600.09/3610.81 c watch checks 346969522248 3600.09/3610.81 c propagation checks 106817371011 3600.09/3610.81 c constraint additions 470845748 3600.09/3610.81 c trail pops 30022421 3600.09/3610.81 c formula constraints 10 3600.09/3610.81 c learned constraints 1727475 3600.09/3610.81 c bound constraints 12 3600.09/3610.81 c core-guided constraints 0 3600.09/3610.81 c encountered formula constraints 76603 3600.09/3610.81 c encountered learned constraints 7658024 3600.09/3610.81 c encountered bound constraints 578 3600.09/3610.81 c encountered core-guided constraints 0 3600.09/3610.81 c LP total time 33.8055 s 3600.09/3610.81 c LP solve time 28.08 s 3600.09/3610.81 c LP constraints added 77 3600.09/3610.81 c LP constraints removed 66 3600.09/3610.81 c LP pivots internal 1727648 3600.09/3610.81 c LP pivots root 10 3600.09/3610.81 c LP calls 307386 3600.09/3610.81 c LP optimalities 307220 3600.09/3610.81 c LP no pivot count 64632 3600.09/3610.81 c LP infeasibilities 166 3600.09/3610.81 c LP valid Farkas constraints 166 3600.09/3610.81 c LP learned Farkas constraints 166 3600.09/3610.81 c LP basis resets 0 3600.09/3610.81 c LP cycling count 0 3600.09/3610.81 c LP singular count 0 3600.09/3610.81 c LP no primal count 0 3600.09/3610.81 c LP no farkas count 0 3600.09/3610.81 c LP other issue count 0 3600.09/3610.81 c LP Gomory cuts 0 3600.09/3610.81 c LP learned cuts 67 3600.09/3610.81 c LP deleted cuts 66 3600.09/3610.81 c LP encountered Gomory constraints 0 3600.09/3610.81 c LP encountered Farkas constraints 4175647 3600.09/3610.81 c LP encountered learned Farkas constraints 153406 3600.09/3610.81 c CG auxiliary variables introduced 0 3600.09/3610.81 c CG solutions found 12 3600.09/3610.81 c CG cores constructed 0 3600.09/3610.81 c CG core cardinality constraints returned 0 3600.09/3610.81 c CG unit cores 0 3600.09/3610.81 c CG single cores 0 3600.09/3610.81 c CG blocks removed during cardinality reduction 0 3600.09/3610.81 c CG first core best 0 3600.09/3610.81 c CG decision core best 0 3600.09/3610.81 c CG core reduction tie 0 3600.09/3610.81 c CG core degree average 0.00 3600.09/3610.81 c CG core slack average 0.00 3600.09/3610.81 s SATISFIABLE 3600.09/3610.81 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 x96 -x97 x98 -x99 -x100 -x101 x102 x103 x104 x105 x106 -x107 x108 -x109 x110 x111 -x112 x113 -x114 -x115 x116 x117 -x118 x119 -x120
OK 1
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: 64059 MiB (10462 MiB free)
memory of node 1: 64510 MiB (8380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456779-1721772842/watcher-4456779-1721772842 -o /tmp/evaluation-result-4456779-1721772842/solver-4456779-1721772842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456779-1721772842 --lp-cut-gomory=0 HOME/instance-4456779-1721772842.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=132284, runsolver pid=132281
[startup+0.100644 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19291092/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=37900 memory=8420 CPUtime=0.1 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 436 0 0 0 9 1 0 0 20 0 1 0 13273259 38809600 2105 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9475 2105 1884 992 0 1333 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 8420 KiB
[startup+0.213392 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19281136/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=38024 memory=8944 CPUtime=0.21 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 550 0 0 0 19 2 0 0 20 0 1 0 13273259 38936576 2236 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9506 2236 1884 992 0 1364 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 8944 KiB
[startup+0.312798 s]*
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19274512/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=38144 memory=9016 CPUtime=0.3 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 618 0 0 0 28 2 0 0 20 0 1 0 13273259 39059456 2254 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9536 2254 1884 992 0 1394 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 9016 KiB
[startup+0.700255 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19259948/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=38520 memory=11676 CPUtime=0.68 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 722 0 0 0 63 5 0 0 20 0 1 0 13273259 39444480 2919 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9630 2919 1884 992 0 1488 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38520 KiB
Current children cumulated memory: 11676 KiB
[startup+1.50026 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132295
/proc/meminfo: memFree=19232540/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=38864 memory=12092 CPUtime=1.48 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 814 0 0 0 138 10 0 0 20 0 1 0 13273259 39796736 3023 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9716 3023 1884 992 0 1574 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 12092 KiB
[startup+3.11317 s]
/proc/loadavg: 4.05 4.13 4.11 5/257 132297
/proc/meminfo: memFree=19113008/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=39224 memory=12476 CPUtime=3.09 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 915 0 0 0 292 17 0 0 20 0 1 0 13273259 40165376 3119 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9806 3119 1884 992 0 1664 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39224 KiB
Current children cumulated memory: 12476 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.14 4.11 5/257 132297
/proc/meminfo: memFree=18974492/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=39768 memory=13028 CPUtime=6.27 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 1057 0 0 0 597 30 0 0 20 0 1 0 13273259 40722432 3257 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 9942 3257 1884 992 0 1800 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 13028 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 132297
/proc/meminfo: memFree=18695852/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=40232 memory=13448 CPUtime=12.65 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 1175 0 0 0 1214 51 0 0 20 0 1 0 13273259 41197568 3362 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 10058 3362 1884 992 0 1916 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 13448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.11 5/257 132300
/proc/meminfo: memFree=18202792/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=41288 memory=14432 CPUtime=25.41 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 1514 0 0 0 2459 82 0 0 20 0 1 0 13273259 42278912 3608 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 10322 3608 1884 992 0 2180 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14432 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.14 4.11 5/260 132306
/proc/meminfo: memFree=17933228/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=42216 memory=15888 CPUtime=50.96 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 2015 0 0 0 4975 121 0 0 20 0 1 0 13273259 43229184 3972 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 10554 3972 1884 992 0 2412 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42216 KiB
Current children cumulated memory: 15888 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/251 132314
/proc/meminfo: memFree=17487548/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=46412 memory=18276 CPUtime=102.01 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 2739 0 0 0 10014 187 0 0 20 0 1 0 13273259 47525888 4569 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 11603 4569 1884 992 0 3461 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 18276 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/251 132370
/proc/meminfo: memFree=17324844/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=47184 memory=19536 CPUtime=161.82 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 3180 0 0 0 15935 247 0 0 20 0 1 0 13273259 48316416 4884 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 11796 4884 1884 992 0 3654 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 47184 KiB
Current children cumulated memory: 19536 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/251 133070
/proc/meminfo: memFree=16949680/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=47248 memory=20372 CPUtime=221.64 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 3517 0 0 0 21863 301 0 0 20 0 1 0 13273259 48381952 5093 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 11812 5093 1884 992 0 3670 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 20372 KiB
[startup+282.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/250 133081
/proc/meminfo: memFree=16490904/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=47504 memory=21192 CPUtime=281.44 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 4007 0 0 0 27791 353 0 0 20 0 1 0 13273259 48644096 5298 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 11876 5298 1884 992 0 3734 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 47504 KiB
Current children cumulated memory: 21192 KiB
[startup+342.3 s]
/proc/loadavg: 4.68 4.34 4.18 5/245 133092
/proc/meminfo: memFree=15679132/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=48272 memory=22000 CPUtime=341.26 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 4384 0 0 0 33726 400 0 0 20 0 1 0 13273259 49430528 5500 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 12068 5500 1884 992 0 3926 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 48272 KiB
Current children cumulated memory: 22000 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.33 4.19 5/249 133108
/proc/meminfo: memFree=14742912/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=48912 memory=23044 CPUtime=401.06 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 4828 0 0 0 39659 447 0 0 20 0 1 0 13273259 50085888 5761 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 12228 5761 1884 992 0 4086 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 48912 KiB
Current children cumulated memory: 23044 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.28 4.18 5/249 133119
/proc/meminfo: memFree=14093556/131655788 swapFree=131071472/131071996
[pid=132284] ppid=132281 vsize=49140 memory=23496 CPUtime=460.87 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 5022 0 0 0 45588 499 0 0 20 0 1 0 13273259 50319360 5874 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 12285 5874 1884 992 0 4143 0
################
# More data... #
################
Current children cumulated memory: 32896 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/254 134783
/proc/meminfo: memFree=615352/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=59476 memory=33052 CPUtime=2853.73 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11046 0 0 0 283581 1792 0 0 20 0 1 0 13273259 60903424 8263 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 14869 8263 1884 992 0 6727 0
Current children cumulated CPU time: 2853.73 s
Current children cumulated vsize: 59476 KiB
Current children cumulated memory: 33052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/254 134794
/proc/meminfo: memFree=665896/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=59732 memory=33188 CPUtime=2913.55 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11229 0 0 0 289535 1820 0 0 20 0 1 0 13273259 61165568 8297 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 14933 8297 1884 992 0 6791 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 59732 KiB
Current children cumulated memory: 33188 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/270 134821
/proc/meminfo: memFree=554096/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=59988 memory=33188 CPUtime=2973.36 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11242 0 0 0 295487 1849 0 0 20 0 1 0 13273259 61427712 8297 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 14997 8297 1884 992 0 6855 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 59988 KiB
Current children cumulated memory: 33188 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/270 134831
/proc/meminfo: memFree=615304/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=60732 memory=33668 CPUtime=3033.18 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11410 0 0 0 301443 1875 0 0 20 0 1 0 13273259 62189568 8417 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 15183 8417 1884 992 0 7041 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 60732 KiB
Current children cumulated memory: 33668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/270 134842
/proc/meminfo: memFree=656184/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=60732 memory=33888 CPUtime=3093 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11449 0 0 0 307393 1907 0 0 20 0 1 0 13273259 62189568 8472 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 15183 8472 1884 992 0 7041 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 60732 KiB
Current children cumulated memory: 33888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/264 134856
/proc/meminfo: memFree=617936/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=60500 memory=33884 CPUtime=3152.81 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11560 0 0 0 313347 1934 0 0 20 0 1 0 13273259 61952000 8471 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 15125 8471 1884 992 0 6983 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 60500 KiB
Current children cumulated memory: 33884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/276 134878
/proc/meminfo: memFree=680724/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=61012 memory=34448 CPUtime=3212.63 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11813 0 0 0 319301 1962 0 0 20 0 1 0 13273259 62476288 8612 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 15253 8612 1884 992 0 7111 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 61012 KiB
Current children cumulated memory: 34448 KiB
[startup+3282.3 s]
/proc/loadavg: 3.62 3.99 4.11 4/257 134919
/proc/meminfo: memFree=47896164/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=61268 memory=35332 CPUtime=3272.45 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 11828 0 0 0 325256 1989 0 0 20 0 1 0 13273259 62738432 8833 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 15317 8833 1884 992 0 7175 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 61268 KiB
Current children cumulated memory: 35332 KiB
[startup+3342.3 s]
/proc/loadavg: 3.28 3.83 4.04 4/253 134929
/proc/meminfo: memFree=47729788/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=68644 memory=35764 CPUtime=3332.3 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12045 0 0 0 331212 2018 0 0 20 0 1 0 13273259 70291456 8941 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17161 8941 1884 992 0 9019 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 35764 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.69 3.98 4/254 134944
/proc/meminfo: memFree=47562748/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=68704 memory=35932 CPUtime=3392.15 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12199 0 0 0 337167 2048 0 0 20 0 1 0 13273259 70352896 8983 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17176 8983 1884 992 0 9034 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 68704 KiB
Current children cumulated memory: 35932 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.57 3.92 4/252 134955
/proc/meminfo: memFree=47400100/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=69288 memory=36096 CPUtime=3451.98 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12301 0 0 0 343123 2075 0 0 20 0 1 0 13273259 70950912 9024 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17322 9024 1884 992 0 9180 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 36096 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.50 3.87 4/239 134965
/proc/meminfo: memFree=47246472/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=69288 memory=36096 CPUtime=3511.83 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12316 0 0 0 349082 2101 0 0 20 0 1 0 13273259 70950912 9024 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17322 9024 1884 992 0 9180 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 36096 KiB
[startup+3582.3 s]
/proc/loadavg: 3.17 3.44 3.83 4/239 134976
/proc/meminfo: memFree=47082336/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=69288 memory=36304 CPUtime=3571.67 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12328 0 0 0 355036 2131 0 0 20 0 1 0 13273259 70950912 9076 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17322 9076 1884 992 0 9180 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 36304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 3.10 3.39 3.80 4/239 134982
/proc/meminfo: memFree=47001916/131655788 swapFree=131068388/131071996
[pid=132284] ppid=132281 vsize=69288 memory=36304 CPUtime=3600.09 cores=4,6
/proc/132284/stat : 132284 (roundingsat) R 132281 132284 126859 0 -1 4194304 12344 0 0 0 357862 2147 0 0 20 0 1 0 13273259 70950912 9076 134679101440 4194304 8254037 140720828605504 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22302720 140720828613468 140720828613730 140720828613730 140720828620745 0
/proc/132284/statm: 17322 9076 1884 992 0 9180 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 36304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.82 s]
# the end of solver process 132284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.63 s, system=21.4781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.82
CPU time (s): 3600.11
CPU user time (s): 3578.63
CPU system time (s): 21.4781
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 69288
Max. memory (cumulated for all children) (KiB): 36304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.63
system time used= 21.4781
maximum resident set size= 36484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9603632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 4841
# summary of solver processes directly reported to runsolver:
# pid: 132284
# total CPU time (s): 3600.11
# total CPU user time (s): 3578.63
# total CPU system time (s): 21.4781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4648 second user time and 36.9178 second system time
The end
Begin job on nodeC003 at 2024-07-24 00:14:02 IDJOB=4456779 IDBENCH=147580 IDSOLVER=3085 FILE ID=nodeC003/4456779-1721772842 RUNJOBID= nodeC003-1721765593-126870 SLURM_JOB_ID= 7770666 Free space on /tmp= 723684 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-4456779-1721772842/watcher-4456779-1721772842 -o /tmp/evaluation-result-4456779-1721772842/solver-4456779-1721772842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456779-1721772842 --lp-cut-gomory=0 HOME/instance-4456779-1721772842.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=2019450038 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3472.844 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3563.394 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.275 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.437 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3389.409 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3494.262 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.394 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 19302156 kB MemAvailable: 128128372 kB Buffers: 188892 kB Cached: 109217616 kB SwapCached: 24 kB Active: 1274396 kB Inactive: 110122464 kB Active(anon): 1624 kB Inactive(anon): 2034060 kB Active(file): 1272772 kB Inactive(file): 108088404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 40020 kB Writeback: 0 kB AnonPages: 1987748 kB Mapped: 113580 kB Shmem: 45872 kB KReclaimable: 526784 kB Slab: 635592 kB SReclaimable: 526784 kB SUnreclaim: 108808 kB KernelStack: 4060 kB PageTables: 13636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2727748 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19040 kB HardwareCorrupted: 0 kB AnonHugePages: 686080 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: 267080 kB DirectMap2M: 27949056 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723764 MiB End job on nodeC003 at 2024-07-24 01:14:13