| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3615.27 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb |
| MD5SUM | 7c2ff02722ff3a09887b085a032d3a00 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 71553.6 |
| 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 | 3216 |
| Total number of constraints | 3658 |
| Number of constraints which are clauses | 3210 |
| Number of constraints which are cardinality constraints (but not clauses) | 64 |
| Number of constraints which are nor clauses,nor cardinality constraints | 384 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 384 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 786 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.01/3.90 c #variables 3216 #constraints 3721 0.01/3.94 c bounds - >= 0 @ 0.014093 0.01/3.94 c rational objective 6 0.90/4.80 c #Conflicts: 1000 | #Constraints: 4725 0.90/4.80 c #Conflicts: 2000 | #Constraints: 5726 0.90/4.80 c INPROCESSING 0.90/4.80 c GARBAGE COLLECT 0.90/4.80 c rational objective 6 2.01/5.95 c bounds - >= 6 @ 0.865989 2.01/5.95 c #Conflicts: 3000 | #Constraints: 2524 2.01/5.95 c #Conflicts: 4000 | #Constraints: 3528 2.01/5.95 c INPROCESSING 2.01/5.95 c GARBAGE COLLECT 2.01/5.95 c rational objective 6 3.50/7.40 c #Conflicts: 5000 | #Constraints: 2939 3.50/7.40 c #Conflicts: 6000 | #Constraints: 3940 3.50/7.40 c INPROCESSING 3.50/7.40 c GARBAGE COLLECT 3.50/7.40 c rational objective 6 5.10/9.04 c #Conflicts: 7000 | #Constraints: 2947 5.10/9.04 c #Conflicts: 8000 | #Constraints: 3947 5.10/9.04 c #Conflicts: 9000 | #Constraints: 4947 5.10/9.04 c INPROCESSING 5.10/9.04 c GARBAGE COLLECT 5.10/9.04 c rational objective 6 6.99/10.91 c #Conflicts: 10000 | #Constraints: 3646 6.99/10.91 c #Conflicts: 11000 | #Constraints: 4647 6.99/10.91 c #Conflicts: 12000 | #Constraints: 5649 6.99/10.91 c INPROCESSING 6.99/10.91 c GARBAGE COLLECT 6.99/10.91 c rational objective 6 9.68/13.61 c #Conflicts: 13000 | #Constraints: 4097 9.68/13.61 c #Conflicts: 14000 | #Constraints: 5098 9.68/13.61 c #Conflicts: 15000 | #Constraints: 6100 9.68/13.61 c INPROCESSING 9.68/13.61 c GARBAGE COLLECT 9.68/13.61 c rational objective 6 14.08/18.05 c #Conflicts: 16000 | #Constraints: 4327 14.08/18.05 c #Conflicts: 17000 | #Constraints: 5330 14.08/18.05 c #Conflicts: 18000 | #Constraints: 6334 14.08/18.05 c INPROCESSING 14.08/18.05 c GARBAGE COLLECT 14.08/18.05 c rational objective 6 16.67/20.60 c #Conflicts: 19000 | #Constraints: 4352 16.67/20.60 c #Conflicts: 20000 | #Constraints: 5358 16.67/20.60 c #Conflicts: 21000 | #Constraints: 6362 16.67/20.60 c INPROCESSING 16.67/20.60 c GARBAGE COLLECT 16.67/20.60 c rational objective 6 20.26/24.21 c #Conflicts: 22000 | #Constraints: 4160 20.26/24.21 c #Conflicts: 23000 | #Constraints: 5164 20.26/24.21 c #Conflicts: 24000 | #Constraints: 6167 20.26/24.21 c #Conflicts: 25000 | #Constraints: 7170 20.26/24.21 c INPROCESSING 20.26/24.21 c GARBAGE COLLECT 20.26/24.21 c rational objective 6 23.66/27.68 c #Conflicts: 26000 | #Constraints: 4768 23.66/27.68 c #Conflicts: 27000 | #Constraints: 5772 23.66/27.68 c #Conflicts: 28000 | #Constraints: 6778 23.66/27.68 c #Conflicts: 29000 | #Constraints: 7783 23.66/27.68 c INPROCESSING 23.66/27.68 c GARBAGE COLLECT 23.66/27.68 c rational objective 6 26.94/30.98 c #Conflicts: 30000 | #Constraints: 5163 26.94/30.98 c #Conflicts: 31000 | #Constraints: 6170 26.94/30.98 c #Conflicts: 32000 | #Constraints: 7174 26.94/30.98 c #Conflicts: 33000 | #Constraints: 8179 26.94/30.98 c INPROCESSING 26.94/30.98 c GARBAGE COLLECT 26.94/30.98 c rational objective 6 31.84/35.80 c #Conflicts: 34000 | #Constraints: 5367 31.84/35.80 c #Conflicts: 35000 | #Constraints: 6369 31.84/35.80 c #Conflicts: 36000 | #Constraints: 7371 31.84/35.80 c #Conflicts: 37000 | #Constraints: 8373 31.84/35.80 c INPROCESSING 31.84/35.80 c GARBAGE COLLECT 31.84/35.80 c rational objective 6 36.22/40.21 c #Conflicts: 38000 | #Constraints: 5374 36.22/40.21 c #Conflicts: 39000 | #Constraints: 6376 36.22/40.21 c #Conflicts: 40000 | #Constraints: 7380 36.22/40.21 c #Conflicts: 41000 | #Constraints: 8380 36.22/40.21 c INPROCESSING 36.22/40.21 c GARBAGE COLLECT 36.22/40.21 c rational objective 6 42.80/46.83 c #Conflicts: 42000 | #Constraints: 5166 42.80/46.83 c #Conflicts: 43000 | #Constraints: 6172 42.80/46.83 c #Conflicts: 44000 | #Constraints: 7174 42.80/46.83 c #Conflicts: 45000 | #Constraints: 8177 42.80/46.83 c #Conflicts: 46000 | #Constraints: 9178 42.80/46.83 c INPROCESSING 42.80/46.83 c GARBAGE COLLECT 42.80/46.83 c rational objective 6 46.90/50.92 c #Conflicts: 47000 | #Constraints: 5756 46.90/50.92 c #Conflicts: 48000 | #Constraints: 6758 46.90/50.92 c #Conflicts: 49000 | #Constraints: 7760 46.90/50.92 c #Conflicts: 50000 | #Constraints: 8763 46.90/50.92 c #Conflicts: 51000 | #Constraints: 9765 46.90/50.92 c INPROCESSING 46.90/50.92 c GARBAGE COLLECT 46.90/50.92 c rational objective 6 51.29/55.40 c #Conflicts: 52000 | #Constraints: 6165 51.29/55.40 c #Conflicts: 53000 | #Constraints: 7165 51.29/55.40 c #Conflicts: 54000 | #Constraints: 8166 51.29/55.40 c #Conflicts: 55000 | #Constraints: 9170 51.29/55.40 c #Conflicts: 56000 | #Constraints: 10174 51.29/55.40 c INPROCESSING 51.29/55.40 c GARBAGE COLLECT 51.29/55.40 c rational objective 6 55.18/59.21 c #Conflicts: 57000 | #Constraints: 6359 55.18/59.21 c #Conflicts: 58000 | #Constraints: 7363 55.18/59.21 c #Conflicts: 59000 | #Constraints: 8365 55.18/59.21 c #Conflicts: 60000 | #Constraints: 9370 55.18/59.21 c #Conflicts: 61000 | #Constraints: 10375 55.18/59.21 c INPROCESSING 55.18/59.21 c GARBAGE COLLECT 55.18/59.21 c rational objective 6 59.67/63.72 c #Conflicts: 62000 | #Constraints: 6368 59.67/63.72 c #Conflicts: 63000 | #Constraints: 7371 59.67/63.72 c #Conflicts: 64000 | #Constraints: 8374 59.67/63.72 c #Conflicts: 65000 | #Constraints: 9380 59.67/63.72 c #Conflicts: 66000 | #Constraints: 10382 59.67/63.72 c INPROCESSING 59.67/63.72 c GARBAGE COLLECT 59.67/63.72 c rational objective 6 63.85/68.00 c #Conflicts: 67000 | #Constraints: 6160 63.85/68.00 c #Conflicts: 68000 | #Constraints: 7161 63.85/68.00 c #Conflicts: 69000 | #Constraints: 8163 63.85/68.00 c #Conflicts: 70000 | #Constraints: 9164 63.85/68.00 c #Conflicts: 71000 | #Constraints: 10167 63.85/68.00 c #Conflicts: 72000 | #Constraints: 11168 63.85/68.00 c INPROCESSING 63.85/68.00 c GARBAGE COLLECT 63.85/68.00 c rational objective 6 68.84/72.97 c #Conflicts: 73000 | #Constraints: 6758 68.84/72.97 c #Conflicts: 74000 | #Constraints: 7761 68.84/72.97 c #Conflicts: 75000 | #Constraints: 8762 68.84/72.97 c #Conflicts: 76000 | #Constraints: 9763 68.84/72.97 c #Conflicts: 77000 | #Constraints: 10768 68.84/72.97 c #Conflicts: 78000 | #Constraints: 11773 68.84/72.97 c INPROCESSING 68.84/72.97 c GARBAGE COLLECT 68.84/72.97 c rational objective 6 74.93/79.06 c #Conflicts: 79000 | #Constraints: 7160 74.93/79.06 c #Conflicts: 80000 | #Constraints: 8165 74.93/79.06 c #Conflicts: 81000 | #Constraints: 9168 74.93/79.06 c #Conflicts: 82000 | #Constraints: 10172 74.93/79.06 c #Conflicts: 83000 | #Constraints: 11175 74.93/79.06 c #Conflicts: 84000 | #Constraints: 12179 74.93/79.06 c INPROCESSING 74.93/79.06 c GARBAGE COLLECT 74.93/79.06 c rational objective 6 81.30/85.44 c #Conflicts: 85000 | #Constraints: 7376 81.30/85.44 c #Conflicts: 86000 | #Constraints: 8379 81.30/85.44 c #Conflicts: 87000 | #Constraints: 9381 81.30/85.44 c #Conflicts: 88000 | #Constraints: 10383 81.30/85.44 c #Conflicts: 89000 | #Constraints: 11384 81.30/85.44 c #Conflicts: 90000 | #Constraints: 12388 81.30/85.44 c INPROCESSING 81.30/85.44 c GARBAGE COLLECT 81.30/85.44 c rational objective 6 89.78/93.90 c #Conflicts: 91000 | #Constraints: 7375 89.78/93.90 c #Conflicts: 92000 | #Constraints: 8380 89.78/93.90 c #Conflicts: 93000 | #Constraints: 9382 89.78/93.90 c #Conflicts: 94000 | #Constraints: 10383 89.78/93.90 c #Conflicts: 95000 | #Constraints: 11384 89.78/93.90 c #Conflicts: 96000 | #Constraints: 12385 89.78/93.90 c INPROCESSING 89.78/93.90 c GARBAGE COLLECT 89.78/93.90 c rational objective 6 96.16/100.33 c #Conflicts: 97000 | #Constraints: 7171 96.16/100.33 c #Conflicts: 98000 | #Constraints: 8175 96.16/100.33 c #Conflicts: 99000 | #Constraints: 9177 96.16/100.33 c #Conflicts: 100000 | #Constraints: 10180 96.16/100.33 c #Conflicts: 101000 | #Constraints: 11182 96.16/100.33 c #Conflicts: 102000 | #Constraints: 12182 96.16/100.33 c #Conflicts: 103000 | #Constraints: 13186 96.16/100.33 c INPROCESSING 96.16/100.33 c GARBAGE COLLECT 96.16/100.33 c rational objective 6 102.54/106.70 c #Conflicts: 104000 | #Constraints: 7762 102.54/106.70 c #Conflicts: 105000 | #Constraints: 8766 102.54/106.70 c #Conflicts: 106000 | #Constraints: 9768 102.54/106.70 c #Conflicts: 107000 | #Constraints: 10771 102.54/106.70 c #Conflicts: 108000 | #Constraints: 11773 102.54/106.70 c #Conflicts: 109000 | #Constraints: 12778 102.54/106.70 c #Conflicts: 110000 | #Constraints: 13782 102.54/106.70 c INPROCESSING 102.54/106.70 c GARBAGE COLLECT 102.54/106.70 c rational objective 6 108.02/112.25 c #Conflicts: 111000 | #Constraints: 8160 108.02/112.25 c #Conflicts: 112000 | #Constraints: 9161 108.02/112.25 c #Conflicts: 113000 | #Constraints: 10164 108.02/112.25 c #Conflicts: 114000 | #Constraints: 11169 108.02/112.25 c #Conflicts: 115000 | #Constraints: 12172 108.02/112.25 c #Conflicts: 116000 | #Constraints: 13174 108.02/112.25 c #Conflicts: 117000 | #Constraints: 14182 108.02/112.25 c INPROCESSING 108.02/112.25 c GARBAGE COLLECT 108.02/112.25 c rational objective 6 113.71/117.90 c #Conflicts: 118000 | #Constraints: 8364 113.71/117.90 c #Conflicts: 119000 | #Constraints: 9366 113.71/117.90 c #Conflicts: 120000 | #Constraints: 10369 113.71/117.90 c #Conflicts: 121000 | #Constraints: 11370 113.71/117.90 c #Conflicts: 122000 | #Constraints: 12374 113.71/117.90 c #Conflicts: 123000 | #Constraints: 13378 113.71/117.90 c #Conflicts: 124000 | #Constraints: 14383 113.71/117.90 c INPROCESSING 113.71/117.90 c GARBAGE COLLECT 113.71/117.90 c rational objective 6 119.50/123.71 c #Conflicts: 125000 | #Constraints: 8362 119.50/123.71 c #Conflicts: 126000 | #Constraints: 9366 119.50/123.71 c #Conflicts: 127000 | #Constraints: 10369 119.50/123.71 c #Conflicts: 128000 | #Constraints: 11371 119.50/123.71 c #Conflicts: 129000 | #Constraints: 12373 119.50/123.71 c #Conflicts: 130000 | #Constraints: 13378 119.50/123.71 c #Conflicts: 131000 | #Constraints: 14382 119.50/123.71 c INPROCESSING 119.50/123.71 c GARBAGE COLLECT 119.50/123.71 c rational objective 6 125.58/129.87 c #Conflicts: 132000 | #Constraints: 8155 125.58/129.87 c #Conflicts: 133000 | #Constraints: 9155 125.58/129.87 c #Conflicts: 134000 | #Constraints: 10158 125.58/129.87 c #Conflicts: 135000 | #Constraints: 11160 125.58/129.87 c #Conflicts: 136000 | #Constraints: 12165 125.58/129.87 c #Conflicts: 137000 | #Constraints: 13169 125.58/129.87 c #Conflicts: 138000 | #Constraints: 14171 125.58/129.87 c #Conflicts: 139000 | #Constraints: 15173 125.58/129.87 c INPROCESSING 125.58/129.87 c GARBAGE COLLECT 125.58/129.87 c rational objective 6 141.14/145.42 c #Conflicts: 140000 | #Constraints: 8776 141.14/145.42 c #Conflicts: 141000 | #Constraints: 9778 141.14/145.42 c #Conflicts: 142000 | #Constraints: 10780 141.14/145.42 c #Conflicts: 143000 | #Constraints: 11782 141.14/145.42 c #Conflicts: 144000 | #Constraints: 12785 141.14/145.42 c #Conflicts: 145000 | #Constraints: 13786 141.14/145.42 c #Conflicts: 146000 | #Constraints: 14788 141.14/145.42 c #Conflicts: 147000 | #Constraints: 15789 141.14/145.42 c INPROCESSING 141.14/145.42 c GARBAGE COLLECT 141.14/145.42 c rational objective 6 148.02/152.30 c #Conflicts: 148000 | #Constraints: 9176 148.02/152.30 c #Conflicts: 149000 | #Constraints: 10179 148.02/152.30 c #Conflicts: 150000 | #Constraints: 11188 148.02/152.30 c #Conflicts: 151000 | #Constraints: 12193 148.02/152.30 c #Conflicts: 152000 | #Constraints: 13195 148.02/152.30 c #Conflicts: 153000 | #Constraints: 14200 148.02/152.30 c #Conflicts: 154000 | #Constraints: 15203 148.02/152.30 c #Conflicts: 155000 | #Constraints: 16205 148.02/152.30 c INPROCESSING 148.02/152.30 c GARBAGE COLLECT 148.02/152.30 c rational objective 6 155.39/159.76 c #Conflicts: 156000 | #Constraints: 9371 155.39/159.76 c #Conflicts: 157000 | #Constraints: 10379 155.39/159.76 c #Conflicts: 158000 | #Constraints: 11384 155.39/159.76 c #Conflicts: 159000 | #Constraints: 12387 155.39/159.76 c #Conflicts: 160000 | #Constraints: 13390 155.39/159.76 c #Conflicts: 161000 | #Constraints: 14393 155.39/159.76 c #Conflicts: 162000 | #Constraints: 15397 155.39/159.76 c #Conflicts: 163000 | #Constraints: 16401 155.39/159.76 c INPROCESSING 155.39/159.76 c GARBAGE COLLECT 155.39/159.76 c rational objective 6 162.28/166.65 c #Conflicts: 164000 | #Constraints: 9373 162.28/166.65 c #Conflicts: 165000 | #Constraints: 10379 162.28/166.65 c #Conflicts: 166000 | #Constraints: 11386 162.28/166.65 c #Conflicts: 167000 | #Constraints: 12393 162.28/166.65 c #Conflicts: 168000 | #Constraints: 13396 162.28/166.65 c #Conflicts: 169000 | #Constraints: 14398 162.28/166.65 c #Conflicts: 170000 | #Constraints: 15404 162.28/166.65 c #Conflicts: 171000 | #Constraints: 16408 162.28/166.65 c INPROCESSING 162.28/166.65 c GARBAGE COLLECT 162.28/166.65 c rational objective 6 170.05/174.42 c #Conflicts: 172000 | #Constraints: 9174 170.05/174.42 c #Conflicts: 173000 | #Constraints: 10175 170.05/174.42 c #Conflicts: 174000 | #Constraints: 11176 170.05/174.42 c #Conflicts: 175000 | #Constraints: 12179 170.05/174.42 c #Conflicts: 176000 | #Constraints: 13182 170.05/174.42 c #Conflicts: 177000 | #Constraints: 14186 170.05/174.42 c #Conflicts: 178000 | #Constraints: 15191 170.05/174.42 c #Conflicts: 179000 | #Constraints: 16198 170.05/174.42 c #Conflicts: 180000 | #Constraints: 17202 170.05/174.42 c INPROCESSING 170.05/174.42 c GARBAGE COLLECT 170.05/174.42 c rational objective 6 187.30/191.79 c #Conflicts: 181000 | #Constraints: 9774 187.30/191.79 c #Conflicts: 182000 | #Constraints: 10777 187.30/191.79 c #Conflicts: 183000 | #Constraints: 11778 187.30/191.79 c #Conflicts: 184000 | #Constraints: 12780 187.30/191.79 c #Conflicts: 185000 | #Constraints: 13783 187.30/191.79 c #Conflicts: 186000 | #Constraints: 14785 187.30/191.79 c #Conflicts: 187000 | #Constraints: 15786 187.30/191.79 c #Conflicts: 188000 | #Constraints: 16787 187.30/191.79 c #Conflicts: 189000 | #Constraints: 17792 187.30/191.79 c INPROCESSING 187.30/191.79 c GARBAGE COLLECT 187.30/191.79 c rational objective 6 200.36/204.86 c #Conflicts: 190000 | #Constraints: 10164 200.36/204.86 c #Conflicts: 191000 | #Constraints: 11169 200.36/204.86 c #Conflicts: 192000 | #Constraints: 12175 200.36/204.86 c #Conflicts: 193000 | #Constraints: 13177 200.36/204.86 c #Conflicts: 194000 | #Constraints: 14181 200.36/204.86 c #Conflicts: 195000 | #Constraints: 15189 200.36/204.86 c #Conflicts: 196000 | #Constraints: 16194 200.36/204.86 c #Conflicts: 197000 | #Constraints: 17202 200.36/204.86 c #Conflicts: 198000 | #Constraints: 18206 200.36/204.86 c INPROCESSING 200.36/204.86 c GARBAGE COLLECT 200.36/204.86 c rational objective 6 219.41/223.95 c #Conflicts: 199000 | #Constraints: 10405 219.41/223.95 c #Conflicts: 200000 | #Constraints: 11408 219.41/223.95 c #Conflicts: 201000 | #Constraints: 12416 219.41/223.95 c #Conflicts: 202000 | #Constraints: 13419 219.41/223.95 c #Conflicts: 203000 | #Constraints: 14421 219.41/223.95 c #Conflicts: 204000 | #Constraints: 15425 219.41/223.95 c #Conflicts: 205000 | #Constraints: 16434 219.41/223.95 c #Conflicts: 206000 | #Constraints: 17436 219.41/223.95 c #Conflicts: 207000 | #Constraints: 18438 219.41/223.95 c INPROCESSING 219.41/223.95 c GARBAGE COLLECT 219.41/223.95 c rational objective 6 234.66/239.29 c #Conflicts: 208000 | #Constraints: 10392 234.66/239.29 c #Conflicts: 209000 | #Constraints: 11396 234.66/239.29 c #Conflicts: 210000 | #Constraints: 12400 234.66/239.29 c #Conflicts: 211000 | #Constraints: 13402 234.66/239.29 c #Conflicts: 212000 | #Constraints: 14407 234.66/239.29 c #Conflicts: 213000 | #Constraints: 15411 234.66/239.29 c #Conflicts: 214000 | #Constraints: 16415 234.66/239.29 c #Conflicts: 215000 | #Constraints: 17418 234.66/239.29 c #Conflicts: 216000 | #Constraints: 18424 234.66/239.29 c INPROCESSING 234.66/239.29 c GARBAGE COLLECT 234.66/239.29 c rational objective 6 267.66/272.31 c #Conflicts: 217000 | #Constraints: 10210 267.66/272.31 c #Conflicts: 218000 | #Constraints: 11215 267.66/272.31 c #Conflicts: 219000 | #Constraints: 12219 267.66/272.31 c #Conflicts: 220000 | #Constraints: 13224 267.66/272.31 c #Conflicts: 221000 | #Constraints: 14227 267.66/272.31 c #Conflicts: 222000 | #Constraints: 15230 267.66/272.31 c #Conflicts: 223000 | #Constraints: 16233 267.66/272.31 c #Conflicts: 224000 | #Constraints: 17235 267.66/272.31 c #Conflicts: 225000 | #Constraints: 18239 267.66/272.31 c #Conflicts: 226000 | #Constraints: 19246 267.66/272.31 c INPROCESSING 267.66/272.31 c GARBAGE COLLECT 267.66/272.31 c rational objective 6 281.43/286.19 c #Conflicts: 227000 | #Constraints: 10813 281.43/286.19 c #Conflicts: 228000 | #Constraints: 11817 281.43/286.19 c #Conflicts: 229000 | #Constraints: 12826 281.43/286.19 c #Conflicts: 230000 | #Constraints: 13833 281.43/286.19 c #Conflicts: 231000 | #Constraints: 14837 281.43/286.19 c #Conflicts: 232000 | #Constraints: 15840 281.43/286.19 c #Conflicts: 233000 | #Constraints: 16842 281.43/286.19 c #Conflicts: 234000 | #Constraints: 17844 281.43/286.19 c #Conflicts: 235000 | #Constraints: 18851 281.43/286.19 c #Conflicts: 236000 | #Constraints: 19855 281.43/286.19 c INPROCESSING 281.43/286.19 c GARBAGE COLLECT 281.43/286.19 c rational objective 6 292.69/297.45 c #Conflicts: 237000 | #Constraints: 11216 292.69/297.45 c #Conflicts: 238000 | #Constraints: 12218 292.69/297.45 c #Conflicts: 239000 | #Constraints: 13221 292.69/297.45 c #Conflicts: 240000 | #Constraints: 14225 292.69/297.45 c #Conflicts: 241000 | #Constraints: 15228 292.69/297.45 c #Conflicts: 242000 | #Constraints: 16231 292.69/297.45 c #Conflicts: 243000 | #Constraints: 17234 292.69/297.45 c #Conflicts: 244000 | #Constraints: 18237 292.69/297.45 c #Conflicts: 245000 | #Constraints: 19240 292.69/297.45 c #Conflicts: 246000 | #Constraints: 20242 292.69/297.45 c INPROCESSING 292.69/297.45 c GARBAGE COLLECT 292.69/297.45 c rational objective 6 304.96/309.77 c #Conflicts: 247000 | #Constraints: 11399 304.96/309.77 c #Conflicts: 248000 | #Constraints: 12401 304.96/309.77 c #Conflicts: 249000 | #Constraints: 13404 304.96/309.77 c #Conflicts: 250000 | #Constraints: 14407 304.96/309.77 c #Conflicts: 251000 | #Constraints: 15410 304.96/309.77 c #Conflicts: 252000 | #Constraints: 16410 304.96/309.77 c #Conflicts: 253000 | #Constraints: 17412 304.96/309.77 c #Conflicts: 254000 | #Constraints: 18414 304.96/309.77 c #Conflicts: 255000 | #Constraints: 19414 304.96/309.77 c #Conflicts: 256000 | #Constraints: 20416 304.96/309.77 c INPROCESSING 304.96/309.77 c GARBAGE COLLECT 304.96/309.77 c rational objective 6 315.13/319.98 c #Conflicts: 257000 | #Constraints: 11376 315.13/319.98 c #Conflicts: 258000 | #Constraints: 12381 315.13/319.98 c #Conflicts: 259000 | #Constraints: 13383 315.13/319.98 c #Conflicts: 260000 | #Constraints: 14387 315.13/319.98 c #Conflicts: 261000 | #Constraints: 15390 315.13/319.98 c #Conflicts: 262000 | #Constraints: 16391 315.13/319.98 c #Conflicts: 263000 | #Constraints: 17393 315.13/319.98 c #Conflicts: 264000 | #Constraints: 18395 315.13/319.98 c #Conflicts: 265000 | #Constraints: 19406 315.13/319.98 c #Conflicts: 266000 | #Constraints: 20414 315.13/319.98 c INPROCESSING 315.13/319.98 c GARBAGE COLLECT 315.13/319.98 c rational objective 6 328.79/333.61 c #Conflicts: 267000 | #Constraints: 11174 328.79/333.61 c #Conflicts: 268000 | #Constraints: 12181 328.79/333.61 c #Conflicts: 269000 | #Constraints: 13183 328.79/333.61 c #Conflicts: 270000 | #Constraints: 14185 328.79/333.61 c #Conflicts: 271000 | #Constraints: 15187 328.79/333.61 c #Conflicts: 272000 | #Constraints: 16189 328.79/333.61 c #Conflicts: 273000 | #Constraints: 17195 328.79/333.61 c #Conflicts: 274000 | #Constraints: 18196 328.79/333.61 c #Conflicts: 275000 | #Constraints: 19198 328.79/333.61 c #Conflicts: 276000 | #Constraints: 20206 328.79/333.61 c #Conflicts: 277000 | #Constraints: 21210 328.79/333.61 c INPROCESSING 328.79/333.61 c GARBAGE COLLECT 328.79/333.61 c rational objective 6 341.95/346.82 c #Conflicts: 278000 | #Constraints: 11783 341.95/346.82 c #Conflicts: 279000 | #Constraints: 12786 341.95/346.82 c #Conflicts: 280000 | #Constraints: 13788 341.95/346.82 c #Conflicts: 281000 | #Constraints: 14791 341.95/346.82 c #Conflicts: 282000 | #Constraints: 15792 341.95/346.82 c #Conflicts: 283000 | #Constraints: 16794 341.95/346.82 c #Conflicts: 284000 | #Constraints: 17797 341.95/346.82 c #Conflicts: 285000 | #Constraints: 18799 341.95/346.82 c #Conflicts: 286000 | #Constraints: 19802 341.95/346.82 c #Conflicts: 287000 | #Constraints: 20805 341.95/346.82 c #Conflicts: 288000 | #Constraints: 21807 341.95/346.82 c INPROCESSING 341.95/346.82 c GARBAGE COLLECT 341.95/346.82 c rational objective 6 361.88/366.89 c #Conflicts: 289000 | #Constraints: 12177 361.88/366.89 c #Conflicts: 290000 | #Constraints: 13179 361.88/366.89 c #Conflicts: 291000 | #Constraints: 14182 361.88/366.89 c #Conflicts: 292000 | #Constraints: 15191 361.88/366.89 c #Conflicts: 293000 | #Constraints: 16197 361.88/366.89 c #Conflicts: 294000 | #Constraints: 17200 361.88/366.89 c #Conflicts: 295000 | #Constraints: 18202 361.88/366.89 c #Conflicts: 296000 | #Constraints: 19203 361.88/366.89 c #Conflicts: 297000 | #Constraints: 20210 361.88/366.89 c #Conflicts: 298000 | #Constraints: 21210 361.88/366.89 c #Conflicts: 299000 | #Constraints: 22211 361.88/366.89 c INPROCESSING 361.88/366.89 c GARBAGE COLLECT 361.88/366.89 c rational objective 6 380.43/385.49 c #Conflicts: 300000 | #Constraints: 12374 380.43/385.49 c #Conflicts: 301000 | #Constraints: 13375 380.43/385.49 c #Conflicts: 302000 | #Constraints: 14378 380.43/385.49 c #Conflicts: 303000 | #Constraints: 15381 380.43/385.49 c #Conflicts: 304000 | #Constraints: 16381 380.43/385.49 c #Conflicts: 305000 | #Constraints: 17383 380.43/385.49 c #Conflicts: 306000 | #Constraints: 18384 380.43/385.49 c #Conflicts: 307000 | #Constraints: 19392 380.43/385.49 c #Conflicts: 308000 | #Constraints: 20394 380.43/385.49 c #Conflicts: 309000 | #Constraints: 21400 380.43/385.49 c #Conflicts: 310000 | #Constraints: 22404 380.43/385.49 c INPROCESSING 380.43/385.49 c GARBAGE COLLECT 380.43/385.49 c rational objective 6 419.81/424.94 c #Conflicts: 311000 | #Constraints: 12379 419.81/424.94 c #Conflicts: 312000 | #Constraints: 13381 419.81/424.94 c #Conflicts: 313000 | #Constraints: 14391 419.81/424.94 c #Conflicts: 314000 | #Constraints: 15399 419.81/424.94 c #Conflicts: 315000 | #Constraints: 16400 419.81/424.94 c #Conflicts: 316000 | #Constraints: 17401 419.81/424.94 c #Conflicts: 317000 | #Constraints: 18410 419.81/424.94 c #Conflicts: 318000 | #Constraints: 19415 419.81/424.94 c #Conflicts: 319000 | #Constraints: 20419 419.81/424.94 c #Conflicts: 320000 | #Constraints: 21420 419.81/424.94 c #Conflicts: 321000 | #Constraints: 22421 419.81/424.94 c INPROCESSING 419.81/424.94 c GARBAGE COLLECT 419.81/424.94 c rational objective 6 484.12/489.46 c #Conflicts: 322000 | #Constraints: 12212 484.12/489.46 c #Conflicts: 323000 | #Constraints: 13217 484.12/489.46 c #Conflicts: 324000 | #Constraints: 14221 484.12/489.46 c #Conflicts: 325000 | #Constraints: 15224 484.12/489.46 c #Conflicts: 326000 | #Constraints: 16230 484.12/489.46 c #Conflicts: 327000 | #Constraints: 17231 484.12/489.46 c #Conflicts: 328000 | #Constraints: 18234 484.12/489.46 c #Conflicts: 329000 | #Constraints: 19238 484.12/489.46 c #Conflicts: 330000 | #Constraints: 20241 484.12/489.46 c #Conflicts: 331000 | #Constraints: 21244 484.12/489.46 c #Conflicts: 332000 | #Constraints: 22247 484.12/489.46 c #Conflicts: 333000 | #Constraints: 23249 484.12/489.46 c INPROCESSING 484.12/489.46 c GARBAGE COLLECT 484.12/489.46 c rational objective 6 500.78/506.17 c #Conflicts: 334000 | #Constraints: 12800 500.78/506.17 c #Conflicts: 335000 | #Constraints: 13802 500.78/506.17 c #Conflicts: 336000 | #Constraints: 14805 500.78/506.17 c #Conflicts: 337000 | #Constraints: 15807 500.78/506.17 c #Conflicts: 338000 | #Constraints: 16809 500.78/506.17 c #Conflicts: 339000 | #Constraints: 17811 500.78/506.17 c #Conflicts: 340000 | #Constraints: 18813 500.78/506.17 c #Conflicts: 341000 | #Constraints: 19815 500.78/506.17 c #Conflicts: 342000 | #Constraints: 20817 500.78/506.17 c #Conflicts: 343000 | #Constraints: 21822 500.78/506.17 c #Conflicts: 344000 | #Constraints: 22824 500.78/506.17 c #Conflicts: 345000 | #Constraints: 23829 500.78/506.17 c INPROCESSING 500.78/506.17 c GARBAGE COLLECT 500.78/506.17 c rational objective 6 519.42/524.81 c #Conflicts: 346000 | #Constraints: 13186 519.42/524.81 c #Conflicts: 347000 | #Constraints: 14186 519.42/524.81 c #Conflicts: 348000 | #Constraints: 15188 519.42/524.81 c #Conflicts: 349000 | #Constraints: 16190 519.42/524.81 c #Conflicts: 350000 | #Constraints: 17196 519.42/524.81 c #Conflicts: 351000 | #Constraints: 18206 519.42/524.81 c #Conflicts: 352000 | #Constraints: 19208 519.42/524.81 c #Conflicts: 353000 | #Constraints: 20213 519.42/524.81 c #Conflicts: 354000 | #Constraints: 21217 519.42/524.81 c #Conflicts: 355000 | #Constraints: 22218 519.42/524.81 c #Conflicts: 356000 | #Constraints: 23219 519.42/524.81 c #Conflicts: 357000 | #Constraints: 24220 519.42/524.81 c INPROCESSING 519.42/524.81 c GARBAGE COLLECT 519.42/524.81 c rational objective 6 536.07/541.55 c #Conflicts: 358000 | #Constraints: 13388 536.07/541.55 c #Conflicts: 359000 | #Constraints: 14397 536.07/541.55 c #Conflicts: 360000 | #Constraints: 15401 536.07/541.55 c #Conflicts: 361000 | #Constraints: 16405 536.07/541.55 c #Conflicts: 362000 | #Constraints: 17409 536.07/541.55 c #Conflicts: 363000 | #Constraints: 18417 536.07/541.55 c #Conflicts: 364000 | #Constraints: 19420 536.07/541.55 c #Conflicts: 365000 | #Constraints: 20424 536.07/541.55 c #Conflicts: 366000 | #Constraints: 21426 536.07/541.55 c #Conflicts: 367000 | #Constraints: 22427 536.07/541.55 c #Conflicts: 368000 | #Constraints: 23430 536.07/541.55 c #Conflicts: 369000 | #Constraints: 24435 536.07/541.55 c INPROCESSING 536.07/541.55 c GARBAGE COLLECT 536.07/541.55 c rational objective 6 578.95/584.56 c #Conflicts: 370000 | #Constraints: 13394 578.95/584.56 c #Conflicts: 371000 | #Constraints: 14397 578.95/584.56 c #Conflicts: 372000 | #Constraints: 15398 578.95/584.56 c #Conflicts: 373000 | #Constraints: 16409 578.95/584.56 c #Conflicts: 374000 | #Constraints: 17419 578.95/584.56 c #Conflicts: 375000 | #Constraints: 18422 578.95/584.56 c #Conflicts: 376000 | #Constraints: 19425 578.95/584.56 c #Conflicts: 377000 | #Constraints: 20428 578.95/584.56 c #Conflicts: 378000 | #Constraints: 21429 578.95/584.56 c #Conflicts: 379000 | #Constraints: 22431 578.95/584.56 c #Conflicts: 380000 | #Constraints: 23433 578.95/584.56 c #Conflicts: 381000 | #Constraints: 24435 578.95/584.56 c INPROCESSING 578.95/584.56 c GARBAGE COLLECT 578.95/584.56 c rational objective 6 601.18/606.88 c #Conflicts: 382000 | #Constraints: 13193 601.18/606.88 c #Conflicts: 383000 | #Constraints: 14195 601.18/606.88 c #Conflicts: 384000 | #Constraints: 15197 601.18/606.88 c #Conflicts: 385000 | #Constraints: 16200 601.18/606.88 c #Conflicts: 386000 | #Constraints: 17201 601.18/606.88 c #Conflicts: 387000 | #Constraints: 18205 601.18/606.88 c #Conflicts: 388000 | #Constraints: 19206 601.18/606.88 c #Conflicts: 389000 | #Constraints: 20208 601.18/606.88 c #Conflicts: 390000 | #Constraints: 21209 601.18/606.88 c #Conflicts: 391000 | #Constraints: 22215 601.18/606.88 c #Conflicts: 392000 | #Constraints: 23217 601.18/606.88 c #Conflicts: 393000 | #Constraints: 24220 601.18/606.88 c #Conflicts: 394000 | #Constraints: 25223 601.18/606.88 c INPROCESSING 601.18/606.88 c GARBAGE COLLECT 601.18/606.88 c rational objective 6 627.41/633.19 c #Conflicts: 395000 | #Constraints: 13781 627.41/633.19 c #Conflicts: 396000 | #Constraints: 14785 627.41/633.19 c #Conflicts: 397000 | #Constraints: 15789 627.41/633.19 c #Conflicts: 398000 | #Constraints: 16793 627.41/633.19 c #Conflicts: 399000 | #Constraints: 17793 627.41/633.19 c #Conflicts: 400000 | #Constraints: 18793 627.41/633.19 c #Conflicts: 401000 | #Constraints: 19795 627.41/633.19 c #Conflicts: 402000 | #Constraints: 20795 627.41/633.19 c #Conflicts: 403000 | #Constraints: 21799 627.41/633.19 c #Conflicts: 404000 | #Constraints: 22808 627.41/633.19 c #Conflicts: 405000 | #Constraints: 23810 627.41/633.19 c #Conflicts: 406000 | #Constraints: 24811 627.41/633.19 c #Conflicts: 407000 | #Constraints: 25814 627.41/633.19 c INPROCESSING 627.41/633.19 c GARBAGE COLLECT 627.41/633.19 c rational objective 6 652.73/658.58 c #Conflicts: 408000 | #Constraints: 14185 652.73/658.58 c #Conflicts: 409000 | #Constraints: 15186 652.73/658.58 c #Conflicts: 410000 | #Constraints: 16190 652.73/658.58 c #Conflicts: 411000 | #Constraints: 17194 652.73/658.58 c #Conflicts: 412000 | #Constraints: 18199 652.73/658.58 c #Conflicts: 413000 | #Constraints: 19202 652.73/658.58 c #Conflicts: 414000 | #Constraints: 20206 652.73/658.58 c #Conflicts: 415000 | #Constraints: 21212 652.73/658.58 c #Conflicts: 416000 | #Constraints: 22218 652.73/658.58 c #Conflicts: 417000 | #Constraints: 23221 652.73/658.58 c #Conflicts: 418000 | #Constraints: 24224 652.73/658.58 c #Conflicts: 419000 | #Constraints: 25227 652.73/658.58 c #Conflicts: 420000 | #Constraints: 26231 652.73/658.58 c INPROCESSING 652.73/658.58 c GARBAGE COLLECT 652.73/658.58 c rational objective 6 701.19/707.17 c #Conflicts: 421000 | #Constraints: 14428 701.19/707.17 c #Conflicts: 422000 | #Constraints: 15430 701.19/707.17 c #Conflicts: 423000 | #Constraints: 16432 701.19/707.17 c #Conflicts: 424000 | #Constraints: 17433 701.19/707.17 c #Conflicts: 425000 | #Constraints: 18433 701.19/707.17 c #Conflicts: 426000 | #Constraints: 19434 701.19/707.17 c #Conflicts: 427000 | #Constraints: 20435 701.19/707.17 c #Conflicts: 428000 | #Constraints: 21436 701.19/707.17 c #Conflicts: 429000 | #Constraints: 22437 701.19/707.17 c #Conflicts: 430000 | #Constraints: 23438 701.19/707.17 c #Conflicts: 431000 | #Constraints: 24440 701.19/707.17 c #Conflicts: 432000 | #Constraints: 25440 701.19/707.17 c #Conflicts: 433000 | #Constraints: 26440 701.19/707.17 c INPROCESSING 701.19/707.17 c GARBAGE COLLECT 701.19/707.17 c rational objective 6 730.81/736.81 c #Conflicts: 434000 | #Constraints: 14417 730.81/736.81 c #Conflicts: 435000 | #Constraints: 15417 730.81/736.81 c #Conflicts: 436000 | #Constraints: 16417 730.81/736.81 c #Conflicts: 437000 | #Constraints: 17417 730.81/736.81 c #Conflicts: 438000 | #Constraints: 18419 730.81/736.81 c #Conflicts: 439000 | #Constraints: 19420 730.81/736.81 c #Conflicts: 440000 | #Constraints: 20422 730.81/736.81 c #Conflicts: 441000 | #Constraints: 21422 730.81/736.81 c #Conflicts: 442000 | #Constraints: 22422 730.81/736.81 c #Conflicts: 443000 | #Constraints: 23425 730.81/736.81 c #Conflicts: 444000 | #Constraints: 24430 730.81/736.81 c #Conflicts: 445000 | #Constraints: 25431 730.81/736.81 c #Conflicts: 446000 | #Constraints: 26434 730.81/736.81 c INPROCESSING 730.81/736.81 c GARBAGE COLLECT 730.81/736.81 c rational objective 6 790.92/797.13 c #Conflicts: 447000 | #Constraints: 14196 790.92/797.13 c #Conflicts: 448000 | #Constraints: 15198 790.92/797.13 c #Conflicts: 449000 | #Constraints: 16200 790.92/797.13 c #Conflicts: 450000 | #Constraints: 17203 790.92/797.13 c #Conflicts: 451000 | #Constraints: 18210 790.92/797.13 c #Conflicts: 452000 | #Constraints: 19214 790.92/797.13 c #Conflicts: 453000 | #Constraints: 20219 790.92/797.13 c #Conflicts: 454000 | #Constraints: 21221 790.92/797.13 c #Conflicts: 455000 | #Constraints: 22223 790.92/797.13 c #Conflicts: 456000 | #Constraints: 23230 790.92/797.13 c #Conflicts: 457000 | #Constraints: 24232 790.92/797.13 c #Conflicts: 458000 | #Constraints: 25239 790.92/797.13 c #Conflicts: 459000 | #Constraints: 26243 790.92/797.13 c #Conflicts: 460000 | #Constraints: 27243 790.92/797.13 c INPROCESSING 790.92/797.13 c GARBAGE COLLECT 790.92/797.13 c rational objective 6 837.48/843.80 c #Conflicts: 461000 | #Constraints: 14815 837.48/843.80 c #Conflicts: 462000 | #Constraints: 15820 837.48/843.80 c #Conflicts: 463000 | #Constraints: 16823 837.48/843.80 c #Conflicts: 464000 | #Constraints: 17830 837.48/843.80 c #Conflicts: 465000 | #Constraints: 18832 837.48/843.80 c #Conflicts: 466000 | #Constraints: 19837 837.48/843.80 c #Conflicts: 467000 | #Constraints: 20840 837.48/843.80 c #Conflicts: 468000 | #Constraints: 21843 837.48/843.80 c #Conflicts: 469000 | #Constraints: 22849 837.48/843.80 c #Conflicts: 470000 | #Constraints: 23853 837.48/843.80 c #Conflicts: 471000 | #Constraints: 24855 837.48/843.80 c #Conflicts: 472000 | #Constraints: 25859 837.48/843.80 c #Conflicts: 473000 | #Constraints: 26864 837.48/843.80 c #Conflicts: 474000 | #Constraints: 27868 837.48/843.80 c INPROCESSING 837.48/843.80 c GARBAGE COLLECT 837.48/843.80 c rational objective 6 862.40/868.89 c #Conflicts: 475000 | #Constraints: 15249 862.40/868.89 c #Conflicts: 476000 | #Constraints: 16258 862.40/868.89 c #Conflicts: 477000 | #Constraints: 17262 862.40/868.89 c #Conflicts: 478000 | #Constraints: 18263 862.40/868.89 c #Conflicts: 479000 | #Constraints: 19267 862.40/868.89 c #Conflicts: 480000 | #Constraints: 20275 862.40/868.89 c #Conflicts: 481000 | #Constraints: 21281 862.40/868.89 c #Conflicts: 482000 | #Constraints: 22284 862.40/868.89 c #Conflicts: 483000 | #Constraints: 23284 862.40/868.89 c #Conflicts: 484000 | #Constraints: 24287 862.40/868.89 c #Conflicts: 485000 | #Constraints: 25288 862.40/868.89 c #Conflicts: 486000 | #Constraints: 26290 862.40/868.89 c #Conflicts: 487000 | #Constraints: 27292 862.40/868.89 c #Conflicts: 488000 | #Constraints: 28293 862.40/868.89 c INPROCESSING 862.40/868.89 c GARBAGE COLLECT 862.40/868.89 c rational objective 6 947.83/954.54 c #Conflicts: 489000 | #Constraints: 15441 947.83/954.54 c #Conflicts: 490000 | #Constraints: 16448 947.83/954.54 c #Conflicts: 491000 | #Constraints: 17451 947.83/954.54 c #Conflicts: 492000 | #Constraints: 18454 947.83/954.54 c #Conflicts: 493000 | #Constraints: 19457 947.83/954.54 c #Conflicts: 494000 | #Constraints: 20458 947.83/954.54 c #Conflicts: 495000 | #Constraints: 21463 947.83/954.54 c #Conflicts: 496000 | #Constraints: 22465 947.83/954.54 c #Conflicts: 497000 | #Constraints: 23468 947.83/954.54 c #Conflicts: 498000 | #Constraints: 24470 947.83/954.54 c #Conflicts: 499000 | #Constraints: 25472 947.83/954.54 c #Conflicts: 500000 | #Constraints: 26473 947.83/954.54 c #Conflicts: 501000 | #Constraints: 27474 947.83/954.54 c #Conflicts: 502000 | #Constraints: 28476 947.83/954.54 c INPROCESSING 947.83/954.54 c GARBAGE COLLECT 947.83/954.54 c rational objective 6 999.17/1006.06 c #Conflicts: 503000 | #Constraints: 15440 999.17/1006.06 c #Conflicts: 504000 | #Constraints: 16444 999.17/1006.06 c #Conflicts: 505000 | #Constraints: 17448 999.17/1006.06 c #Conflicts: 506000 | #Constraints: 18451 999.17/1006.06 c #Conflicts: 507000 | #Constraints: 19453 999.17/1006.06 c #Conflicts: 508000 | #Constraints: 20455 999.17/1006.06 c #Conflicts: 509000 | #Constraints: 21458 999.17/1006.06 c #Conflicts: 510000 | #Constraints: 22458 999.17/1006.06 c #Conflicts: 511000 | #Constraints: 23460 999.17/1006.06 c #Conflicts: 512000 | #Constraints: 24461 999.17/1006.06 c #Conflicts: 513000 | #Constraints: 25465 999.17/1006.06 c #Conflicts: 514000 | #Constraints: 26471 999.17/1006.06 c #Conflicts: 515000 | #Constraints: 27476 999.17/1006.06 c #Conflicts: 516000 | #Constraints: 28479 999.17/1006.06 c INPROCESSING 999.17/1006.06 c GARBAGE COLLECT 999.17/1006.06 c rational objective 6 1029.97/1036.99 c #Conflicts: 517000 | #Constraints: 15209 1029.97/1036.99 c #Conflicts: 518000 | #Constraints: 16210 1029.97/1036.99 c #Conflicts: 519000 | #Constraints: 17211 1029.97/1036.99 c #Conflicts: 520000 | #Constraints: 18216 1029.97/1036.99 c #Conflicts: 521000 | #Constraints: 19219 1029.97/1036.99 c #Conflicts: 522000 | #Constraints: 20221 1029.97/1036.99 c #Conflicts: 523000 | #Constraints: 21223 1029.97/1036.99 c #Conflicts: 524000 | #Constraints: 22225 1029.97/1036.99 c #Conflicts: 525000 | #Constraints: 23227 1029.97/1036.99 c #Conflicts: 526000 | #Constraints: 24235 1029.97/1036.99 c #Conflicts: 527000 | #Constraints: 25236 1029.97/1036.99 c #Conflicts: 528000 | #Constraints: 26238 1029.97/1036.99 c #Conflicts: 529000 | #Constraints: 27239 1029.97/1036.99 c #Conflicts: 530000 | #Constraints: 28239 1029.97/1036.99 c #Conflicts: 531000 | #Constraints: 29240 1029.97/1036.99 c INPROCESSING 1029.97/1036.99 c GARBAGE COLLECT 1029.97/1036.99 c rational objective 6 1057.49/1064.59 c #Conflicts: 532000 | #Constraints: 15791 1057.49/1064.59 c #Conflicts: 533000 | #Constraints: 16793 1057.49/1064.59 c #Conflicts: 534000 | #Constraints: 17797 1057.49/1064.59 c #Conflicts: 535000 | #Constraints: 18803 1057.49/1064.59 c #Conflicts: 536000 | #Constraints: 19805 1057.49/1064.59 c #Conflicts: 537000 | #Constraints: 20808 1057.49/1064.59 c #Conflicts: 538000 | #Constraints: 21811 1057.49/1064.59 c #Conflicts: 539000 | #Constraints: 22811 1057.49/1064.59 c #Conflicts: 540000 | #Constraints: 23812 1057.49/1064.59 c #Conflicts: 541000 | #Constraints: 24817 1057.49/1064.59 c #Conflicts: 542000 | #Constraints: 25820 1057.49/1064.59 c #Conflicts: 543000 | #Constraints: 26823 1057.49/1064.59 c #Conflicts: 544000 | #Constraints: 27824 1057.49/1064.59 c #Conflicts: 545000 | #Constraints: 28827 1057.49/1064.59 c #Conflicts: 546000 | #Constraints: 29828 1057.49/1064.59 c INPROCESSING 1057.49/1064.59 c GARBAGE COLLECT 1057.49/1064.59 c rational objective 6 1102.26/1109.44 c #Conflicts: 547000 | #Constraints: 16193 1102.26/1109.44 c #Conflicts: 548000 | #Constraints: 17194 1102.26/1109.44 c #Conflicts: 549000 | #Constraints: 18198 1102.26/1109.44 c #Conflicts: 550000 | #Constraints: 19200 1102.26/1109.44 c #Conflicts: 551000 | #Constraints: 20202 1102.26/1109.44 c #Conflicts: 552000 | #Constraints: 21204 1102.26/1109.44 c #Conflicts: 553000 | #Constraints: 22207 1102.26/1109.44 c #Conflicts: 554000 | #Constraints: 23211 1102.26/1109.44 c #Conflicts: 555000 | #Constraints: 24214 1102.26/1109.44 c #Conflicts: 556000 | #Constraints: 25215 1102.26/1109.44 c #Conflicts: 557000 | #Constraints: 26219 1102.26/1109.44 c #Conflicts: 558000 | #Constraints: 27221 1102.26/1109.44 c #Conflicts: 559000 | #Constraints: 28223 1102.26/1109.44 c #Conflicts: 560000 | #Constraints: 29227 1102.26/1109.44 c #Conflicts: 561000 | #Constraints: 30230 1102.26/1109.44 c INPROCESSING 1102.26/1109.44 c GARBAGE COLLECT 1102.26/1109.44 c rational objective 6 1136.34/1143.66 c #Conflicts: 562000 | #Constraints: 16385 1136.34/1143.66 c #Conflicts: 563000 | #Constraints: 17387 1136.34/1143.66 c #Conflicts: 564000 | #Constraints: 18392 1136.34/1143.66 c #Conflicts: 565000 | #Constraints: 19396 1136.34/1143.66 c #Conflicts: 566000 | #Constraints: 20398 1136.34/1143.66 c #Conflicts: 567000 | #Constraints: 21399 1136.34/1143.66 c #Conflicts: 568000 | #Constraints: 22401 1136.34/1143.66 c #Conflicts: 569000 | #Constraints: 23404 1136.34/1143.66 c #Conflicts: 570000 | #Constraints: 24407 1136.34/1143.66 c #Conflicts: 571000 | #Constraints: 25408 1136.34/1143.66 c #Conflicts: 572000 | #Constraints: 26411 1136.34/1143.66 c #Conflicts: 573000 | #Constraints: 27412 1136.34/1143.66 c #Conflicts: 574000 | #Constraints: 28413 1136.34/1143.66 c #Conflicts: 575000 | #Constraints: 29416 1136.34/1143.66 c #Conflicts: 576000 | #Constraints: 30417 1136.34/1143.66 c INPROCESSING 1136.34/1143.66 c GARBAGE COLLECT 1136.34/1143.66 c rational objective 6 1182.61/1190.07 c #Conflicts: 577000 | #Constraints: 16380 1182.61/1190.07 c #Conflicts: 578000 | #Constraints: 17383 1182.61/1190.07 c #Conflicts: 579000 | #Constraints: 18385 1182.61/1190.07 c #Conflicts: 580000 | #Constraints: 19388 1182.61/1190.07 c #Conflicts: 581000 | #Constraints: 20392 1182.61/1190.07 c #Conflicts: 582000 | #Constraints: 21396 1182.61/1190.07 c #Conflicts: 583000 | #Constraints: 22399 1182.61/1190.07 c #Conflicts: 584000 | #Constraints: 23399 1182.61/1190.07 c #Conflicts: 585000 | #Constraints: 24404 1182.61/1190.07 c #Conflicts: 586000 | #Constraints: 25408 1182.61/1190.07 c #Conflicts: 587000 | #Constraints: 26409 1182.61/1190.07 c #Conflicts: 588000 | #Constraints: 27410 1182.61/1190.07 c #Conflicts: 589000 | #Constraints: 28416 1182.61/1190.07 c #Conflicts: 590000 | #Constraints: 29417 1182.61/1190.07 c #Conflicts: 591000 | #Constraints: 30419 1182.61/1190.07 c INPROCESSING 1182.61/1190.07 c GARBAGE COLLECT 1182.61/1190.07 c rational objective 6 1241.02/1248.64 c #Conflicts: 592000 | #Constraints: 16207 1241.02/1248.64 c #Conflicts: 593000 | #Constraints: 17210 1241.02/1248.64 c #Conflicts: 594000 | #Constraints: 18212 1241.02/1248.64 c #Conflicts: 595000 | #Constraints: 19216 1241.02/1248.64 c #Conflicts: 596000 | #Constraints: 20217 1241.02/1248.64 c #Conflicts: 597000 | #Constraints: 21226 1241.02/1248.64 c #Conflicts: 598000 | #Constraints: 22238 1241.02/1248.64 c #Conflicts: 599000 | #Constraints: 23248 1241.02/1248.64 c #Conflicts: 600000 | #Constraints: 24253 1241.02/1248.64 c #Conflicts: 601000 | #Constraints: 25257 1241.02/1248.64 c #Conflicts: 602000 | #Constraints: 26260 1241.02/1248.64 c #Conflicts: 603000 | #Constraints: 27265 1241.02/1248.64 c #Conflicts: 604000 | #Constraints: 28268 1241.02/1248.64 c #Conflicts: 605000 | #Constraints: 29273 1241.02/1248.64 c #Conflicts: 606000 | #Constraints: 30279 1241.02/1248.64 c #Conflicts: 607000 | #Constraints: 31282 1241.02/1248.64 c INPROCESSING 1241.02/1248.64 c GARBAGE COLLECT 1241.02/1248.64 c rational objective 6 1292.76/1300.55 c #Conflicts: 608000 | #Constraints: 16825 1292.76/1300.55 c #Conflicts: 609000 | #Constraints: 17826 1292.76/1300.55 c #Conflicts: 610000 | #Constraints: 18831 1292.76/1300.55 c #Conflicts: 611000 | #Constraints: 19834 1292.76/1300.55 c #Conflicts: 612000 | #Constraints: 20836 1292.76/1300.55 c #Conflicts: 613000 | #Constraints: 21838 1292.76/1300.55 c #Conflicts: 614000 | #Constraints: 22840 1292.76/1300.55 c #Conflicts: 615000 | #Constraints: 23844 1292.76/1300.55 c #Conflicts: 616000 | #Constraints: 24847 1292.76/1300.55 c #Conflicts: 617000 | #Constraints: 25853 1292.76/1300.55 c #Conflicts: 618000 | #Constraints: 26856 1292.76/1300.55 c #Conflicts: 619000 | #Constraints: 27858 1292.76/1300.55 c #Conflicts: 620000 | #Constraints: 28859 1292.76/1300.55 c #Conflicts: 621000 | #Constraints: 29859 1292.76/1300.55 c #Conflicts: 622000 | #Constraints: 30862 1292.76/1300.55 c #Conflicts: 623000 | #Constraints: 31864 1292.76/1300.55 c INPROCESSING 1292.76/1300.55 c GARBAGE COLLECT 1292.76/1300.55 c rational objective 6 1344.12/1352.06 c #Conflicts: 624000 | #Constraints: 17220 1344.12/1352.06 c #Conflicts: 625000 | #Constraints: 18222 1344.12/1352.06 c #Conflicts: 626000 | #Constraints: 19223 1344.12/1352.06 c #Conflicts: 627000 | #Constraints: 20224 1344.12/1352.06 c #Conflicts: 628000 | #Constraints: 21231 1344.12/1352.06 c #Conflicts: 629000 | #Constraints: 22232 1344.12/1352.06 c #Conflicts: 630000 | #Constraints: 23234 1344.12/1352.06 c #Conflicts: 631000 | #Constraints: 24241 1344.12/1352.06 c #Conflicts: 632000 | #Constraints: 25249 1344.12/1352.06 c #Conflicts: 633000 | #Constraints: 26258 1344.12/1352.06 c #Conflicts: 634000 | #Constraints: 27260 1344.12/1352.06 c #Conflicts: 635000 | #Constraints: 28262 1344.12/1352.06 c #Conflicts: 636000 | #Constraints: 29264 1344.12/1352.06 c #Conflicts: 637000 | #Constraints: 30267 1344.12/1352.06 c #Conflicts: 638000 | #Constraints: 31271 1344.12/1352.06 c #Conflicts: 639000 | #Constraints: 32272 1344.12/1352.06 c INPROCESSING 1344.12/1352.06 c GARBAGE COLLECT 1344.12/1352.06 c rational objective 6 1402.63/1410.76 c #Conflicts: 640000 | #Constraints: 17428 1402.63/1410.76 c #Conflicts: 641000 | #Constraints: 18430 1402.63/1410.76 c #Conflicts: 642000 | #Constraints: 19435 1402.63/1410.76 c #Conflicts: 643000 | #Constraints: 20436 1402.63/1410.76 c #Conflicts: 644000 | #Constraints: 21439 1402.63/1410.76 c #Conflicts: 645000 | #Constraints: 22445 1402.63/1410.76 c #Conflicts: 646000 | #Constraints: 23446 1402.63/1410.76 c #Conflicts: 647000 | #Constraints: 24448 1402.63/1410.76 c #Conflicts: 648000 | #Constraints: 25449 1402.63/1410.76 c #Conflicts: 649000 | #Constraints: 26451 1402.63/1410.76 c #Conflicts: 650000 | #Constraints: 27454 1402.63/1410.76 c #Conflicts: 651000 | #Constraints: 28456 1402.63/1410.76 c #Conflicts: 652000 | #Constraints: 29458 1402.63/1410.76 c #Conflicts: 653000 | #Constraints: 30460 1402.63/1410.76 c #Conflicts: 654000 | #Constraints: 31466 1402.63/1410.76 c #Conflicts: 655000 | #Constraints: 32467 1402.63/1410.76 c INPROCESSING 1402.63/1410.76 c GARBAGE COLLECT 1402.63/1410.76 c rational objective 6 1456.77/1465.00 c #Conflicts: 656000 | #Constraints: 17423 1456.77/1465.00 c #Conflicts: 657000 | #Constraints: 18424 1456.77/1465.00 c #Conflicts: 658000 | #Constraints: 19426 1456.77/1465.00 c #Conflicts: 659000 | #Constraints: 20429 1456.77/1465.00 c #Conflicts: 660000 | #Constraints: 21433 1456.77/1465.00 c #Conflicts: 661000 | #Constraints: 22435 1456.77/1465.00 c #Conflicts: 662000 | #Constraints: 23437 1456.77/1465.00 c #Conflicts: 663000 | #Constraints: 24439 1456.77/1465.00 c #Conflicts: 664000 | #Constraints: 25440 1456.77/1465.00 c #Conflicts: 665000 | #Constraints: 26442 1456.77/1465.00 c #Conflicts: 666000 | #Constraints: 27447 1456.77/1465.00 c #Conflicts: 667000 | #Constraints: 28449 1456.77/1465.00 c #Conflicts: 668000 | #Constraints: 29451 1456.77/1465.00 c #Conflicts: 669000 | #Constraints: 30452 1456.77/1465.00 c #Conflicts: 670000 | #Constraints: 31454 1456.77/1465.00 c #Conflicts: 671000 | #Constraints: 32456 1456.77/1465.00 c INPROCESSING 1456.77/1465.00 c GARBAGE COLLECT 1456.77/1465.00 c rational objective 6 1513.40/1521.87 c #Conflicts: 672000 | #Constraints: 17201 1513.40/1521.87 c #Conflicts: 673000 | #Constraints: 18203 1513.40/1521.87 c #Conflicts: 674000 | #Constraints: 19204 1513.40/1521.87 c #Conflicts: 675000 | #Constraints: 20205 1513.40/1521.87 c #Conflicts: 676000 | #Constraints: 21206 1513.40/1521.87 c #Conflicts: 677000 | #Constraints: 22208 1513.40/1521.87 c #Conflicts: 678000 | #Constraints: 23209 1513.40/1521.87 c #Conflicts: 679000 | #Constraints: 24210 1513.40/1521.87 c #Conflicts: 680000 | #Constraints: 25213 1513.40/1521.87 c #Conflicts: 681000 | #Constraints: 26214 1513.40/1521.87 c #Conflicts: 682000 | #Constraints: 27217 1513.40/1521.87 c #Conflicts: 683000 | #Constraints: 28219 1513.40/1521.87 c #Conflicts: 684000 | #Constraints: 29223 1513.40/1521.87 c #Conflicts: 685000 | #Constraints: 30226 1513.40/1521.87 c #Conflicts: 686000 | #Constraints: 31226 1513.40/1521.87 c #Conflicts: 687000 | #Constraints: 32228 1513.40/1521.87 c #Conflicts: 688000 | #Constraints: 33230 1513.40/1521.87 c INPROCESSING 1513.40/1521.87 c GARBAGE COLLECT 1513.40/1521.87 c rational objective 6 1564.84/1573.45 c #Conflicts: 689000 | #Constraints: 17786 1564.84/1573.45 c #Conflicts: 690000 | #Constraints: 18787 1564.84/1573.45 c #Conflicts: 691000 | #Constraints: 19788 1564.84/1573.45 c #Conflicts: 692000 | #Constraints: 20791 1564.84/1573.45 c #Conflicts: 693000 | #Constraints: 21793 1564.84/1573.45 c #Conflicts: 694000 | #Constraints: 22801 1564.84/1573.45 c #Conflicts: 695000 | #Constraints: 23812 1564.84/1573.45 c #Conflicts: 696000 | #Constraints: 24816 1564.84/1573.45 c #Conflicts: 697000 | #Constraints: 25821 1564.84/1573.45 c #Conflicts: 698000 | #Constraints: 26826 1564.84/1573.45 c #Conflicts: 699000 | #Constraints: 27829 1564.84/1573.45 c #Conflicts: 700000 | #Constraints: 28831 1564.84/1573.45 c #Conflicts: 701000 | #Constraints: 29832 1564.84/1573.45 c #Conflicts: 702000 | #Constraints: 30833 1564.84/1573.45 c #Conflicts: 703000 | #Constraints: 31833 1564.84/1573.45 c #Conflicts: 704000 | #Constraints: 32835 1564.84/1573.45 c #Conflicts: 705000 | #Constraints: 33837 1564.84/1573.45 c INPROCESSING 1564.84/1573.45 c GARBAGE COLLECT 1564.84/1573.45 c rational objective 6 1612.31/1621.07 c #Conflicts: 706000 | #Constraints: 18196 1612.31/1621.07 c #Conflicts: 707000 | #Constraints: 19198 1612.31/1621.07 c #Conflicts: 708000 | #Constraints: 20202 1612.31/1621.07 c #Conflicts: 709000 | #Constraints: 21203 1612.31/1621.07 c #Conflicts: 710000 | #Constraints: 22207 1612.31/1621.07 c #Conflicts: 711000 | #Constraints: 23223 1612.31/1621.07 c #Conflicts: 712000 | #Constraints: 24233 1612.31/1621.07 c #Conflicts: 713000 | #Constraints: 25240 1612.31/1621.07 c #Conflicts: 714000 | #Constraints: 26249 1612.31/1621.07 c #Conflicts: 715000 | #Constraints: 27253 1612.31/1621.07 c #Conflicts: 716000 | #Constraints: 28255 1612.31/1621.07 c #Conflicts: 717000 | #Constraints: 29258 1612.31/1621.07 c #Conflicts: 718000 | #Constraints: 30262 1612.31/1621.07 c #Conflicts: 719000 | #Constraints: 31265 1612.31/1621.07 c #Conflicts: 720000 | #Constraints: 32269 1612.31/1621.07 c #Conflicts: 721000 | #Constraints: 33273 1612.31/1621.07 c #Conflicts: 722000 | #Constraints: 34276 1612.31/1621.07 c INPROCESSING 1612.31/1621.07 c GARBAGE COLLECT 1612.31/1621.07 c rational objective 6 1721.37/1730.44 c #Conflicts: 723000 | #Constraints: 18444 1721.37/1730.44 c #Conflicts: 724000 | #Constraints: 19447 1721.37/1730.44 c #Conflicts: 725000 | #Constraints: 20448 1721.37/1730.44 c #Conflicts: 726000 | #Constraints: 21453 1721.37/1730.44 c #Conflicts: 727000 | #Constraints: 22455 1721.37/1730.44 c #Conflicts: 728000 | #Constraints: 23457 1721.37/1730.44 c #Conflicts: 729000 | #Constraints: 24462 1721.37/1730.44 c #Conflicts: 730000 | #Constraints: 25464 1721.37/1730.44 c #Conflicts: 731000 | #Constraints: 26466 1721.37/1730.44 c #Conflicts: 732000 | #Constraints: 27468 1721.37/1730.44 c #Conflicts: 733000 | #Constraints: 28469 1721.37/1730.44 c #Conflicts: 734000 | #Constraints: 29470 1721.37/1730.44 c #Conflicts: 735000 | #Constraints: 30472 1721.37/1730.44 c #Conflicts: 736000 | #Constraints: 31474 1721.37/1730.44 c #Conflicts: 737000 | #Constraints: 32476 1721.37/1730.44 c #Conflicts: 738000 | #Constraints: 33478 1721.37/1730.44 c #Conflicts: 739000 | #Constraints: 34479 1721.37/1730.44 c INPROCESSING 1721.37/1730.44 c GARBAGE COLLECT 1721.37/1730.44 c rational objective 6 1774.81/1784.05 c #Conflicts: 740000 | #Constraints: 18419 1774.81/1784.05 c #Conflicts: 741000 | #Constraints: 19420 1774.81/1784.05 c #Conflicts: 742000 | #Constraints: 20422 1774.81/1784.05 c #Conflicts: 743000 | #Constraints: 21426 1774.81/1784.05 c #Conflicts: 744000 | #Constraints: 22426 1774.81/1784.05 c #Conflicts: 745000 | #Constraints: 23429 1774.81/1784.05 c #Conflicts: 746000 | #Constraints: 24434 1774.81/1784.05 c #Conflicts: 747000 | #Constraints: 25436 1774.81/1784.05 c #Conflicts: 748000 | #Constraints: 26436 1774.81/1784.05 c #Conflicts: 749000 | #Constraints: 27438 1774.81/1784.05 c #Conflicts: 750000 | #Constraints: 28439 1774.81/1784.05 c #Conflicts: 751000 | #Constraints: 29442 1774.81/1784.05 c #Conflicts: 752000 | #Constraints: 30446 1774.81/1784.05 c #Conflicts: 753000 | #Constraints: 31447 1774.81/1784.05 c #Conflicts: 754000 | #Constraints: 32454 1774.81/1784.05 c #Conflicts: 755000 | #Constraints: 33459 1774.81/1784.05 c #Conflicts: 756000 | #Constraints: 34463 1774.81/1784.05 c INPROCESSING 1774.81/1784.05 c GARBAGE COLLECT 1774.81/1784.05 c rational objective 6 1828.03/1837.42 c #Conflicts: 757000 | #Constraints: 18204 1828.03/1837.42 c #Conflicts: 758000 | #Constraints: 19208 1828.03/1837.42 c #Conflicts: 759000 | #Constraints: 20213 1828.03/1837.42 c #Conflicts: 760000 | #Constraints: 21215 1828.03/1837.42 c #Conflicts: 761000 | #Constraints: 22217 1828.03/1837.42 c #Conflicts: 762000 | #Constraints: 23221 1828.03/1837.42 c #Conflicts: 763000 | #Constraints: 24225 1828.03/1837.42 c #Conflicts: 764000 | #Constraints: 25233 1828.03/1837.42 c #Conflicts: 765000 | #Constraints: 26241 1828.03/1837.42 c #Conflicts: 766000 | #Constraints: 27245 1828.03/1837.42 c #Conflicts: 767000 | #Constraints: 28246 1828.03/1837.42 c #Conflicts: 768000 | #Constraints: 29247 1828.03/1837.42 c #Conflicts: 769000 | #Constraints: 30250 1828.03/1837.42 c #Conflicts: 770000 | #Constraints: 31251 1828.03/1837.42 c #Conflicts: 771000 | #Constraints: 32255 1828.03/1837.42 c #Conflicts: 772000 | #Constraints: 33257 1828.03/1837.42 c #Conflicts: 773000 | #Constraints: 34258 1828.03/1837.42 c #Conflicts: 774000 | #Constraints: 35260 1828.03/1837.42 c INPROCESSING 1828.03/1837.42 c GARBAGE COLLECT 1828.03/1837.42 c rational objective 6 1889.65/1899.20 c #Conflicts: 775000 | #Constraints: 18804 1889.65/1899.20 c #Conflicts: 776000 | #Constraints: 19808 1889.65/1899.20 c #Conflicts: 777000 | #Constraints: 20810 1889.65/1899.20 c #Conflicts: 778000 | #Constraints: 21812 1889.65/1899.20 c #Conflicts: 779000 | #Constraints: 22813 1889.65/1899.20 c #Conflicts: 780000 | #Constraints: 23814 1889.65/1899.20 c #Conflicts: 781000 | #Constraints: 24816 1889.65/1899.20 c #Conflicts: 782000 | #Constraints: 25817 1889.65/1899.20 c #Conflicts: 783000 | #Constraints: 26819 1889.65/1899.20 c #Conflicts: 784000 | #Constraints: 27821 1889.65/1899.20 c #Conflicts: 785000 | #Constraints: 28822 1889.65/1899.20 c #Conflicts: 786000 | #Constraints: 29827 1889.65/1899.20 c #Conflicts: 787000 | #Constraints: 30828 1889.65/1899.20 c #Conflicts: 788000 | #Constraints: 31831 1889.65/1899.20 c #Conflicts: 789000 | #Constraints: 32833 1889.65/1899.20 c #Conflicts: 790000 | #Constraints: 33837 1889.65/1899.20 c #Conflicts: 791000 | #Constraints: 34845 1889.65/1899.20 c #Conflicts: 792000 | #Constraints: 35847 1889.65/1899.20 c INPROCESSING 1889.65/1899.20 c GARBAGE COLLECT 1889.65/1899.20 c rational objective 6 1950.26/1960.08 c #Conflicts: 793000 | #Constraints: 19213 1950.26/1960.08 c #Conflicts: 794000 | #Constraints: 20213 1950.26/1960.08 c #Conflicts: 795000 | #Constraints: 21213 1950.26/1960.08 c #Conflicts: 796000 | #Constraints: 22216 1950.26/1960.08 c #Conflicts: 797000 | #Constraints: 23218 1950.26/1960.08 c #Conflicts: 798000 | #Constraints: 24221 1950.26/1960.08 c #Conflicts: 799000 | #Constraints: 25223 1950.26/1960.08 c #Conflicts: 800000 | #Constraints: 26225 1950.26/1960.08 c #Conflicts: 801000 | #Constraints: 27226 1950.26/1960.08 c #Conflicts: 802000 | #Constraints: 28231 1950.26/1960.08 c #Conflicts: 803000 | #Constraints: 29235 1950.26/1960.08 c #Conflicts: 804000 | #Constraints: 30237 1950.26/1960.08 c #Conflicts: 805000 | #Constraints: 31241 1950.26/1960.08 c #Conflicts: 806000 | #Constraints: 32243 1950.26/1960.08 c #Conflicts: 807000 | #Constraints: 33243 1950.26/1960.08 c #Conflicts: 808000 | #Constraints: 34247 1950.26/1960.08 c #Conflicts: 809000 | #Constraints: 35247 1950.26/1960.08 c #Conflicts: 810000 | #Constraints: 36249 1950.26/1960.08 c INPROCESSING 1950.26/1960.08 c GARBAGE COLLECT 1950.26/1960.08 c rational objective 6 2012.16/2022.15 c #Conflicts: 811000 | #Constraints: 19408 2012.16/2022.15 c #Conflicts: 812000 | #Constraints: 20411 2012.16/2022.15 c #Conflicts: 813000 | #Constraints: 21412 2012.16/2022.15 c #Conflicts: 814000 | #Constraints: 22415 2012.16/2022.15 c #Conflicts: 815000 | #Constraints: 23419 2012.16/2022.15 c #Conflicts: 816000 | #Constraints: 24421 2012.16/2022.15 c #Conflicts: 817000 | #Constraints: 25424 2012.16/2022.15 c #Conflicts: 818000 | #Constraints: 26427 2012.16/2022.15 c #Conflicts: 819000 | #Constraints: 27427 2012.16/2022.15 c #Conflicts: 820000 | #Constraints: 28432 2012.16/2022.15 c #Conflicts: 821000 | #Constraints: 29435 2012.16/2022.15 c #Conflicts: 822000 | #Constraints: 30437 2012.16/2022.15 c #Conflicts: 823000 | #Constraints: 31437 2012.16/2022.15 c #Conflicts: 824000 | #Constraints: 32440 2012.16/2022.15 c #Conflicts: 825000 | #Constraints: 33443 2012.16/2022.15 c #Conflicts: 826000 | #Constraints: 34445 2012.16/2022.15 c #Conflicts: 827000 | #Constraints: 35451 2012.16/2022.15 c #Conflicts: 828000 | #Constraints: 36454 2012.16/2022.15 c INPROCESSING 2012.16/2022.15 c GARBAGE COLLECT 2012.16/2022.15 c rational objective 6 2121.77/2132.15 c #Conflicts: 829000 | #Constraints: 19414 2121.77/2132.15 c #Conflicts: 830000 | #Constraints: 20416 2121.77/2132.15 c #Conflicts: 831000 | #Constraints: 21417 2121.77/2132.15 c #Conflicts: 832000 | #Constraints: 22420 2121.77/2132.15 c #Conflicts: 833000 | #Constraints: 23424 2121.77/2132.15 c #Conflicts: 834000 | #Constraints: 24425 2121.77/2132.15 c #Conflicts: 835000 | #Constraints: 25426 2121.77/2132.15 c #Conflicts: 836000 | #Constraints: 26428 2121.77/2132.15 c #Conflicts: 837000 | #Constraints: 27430 2121.77/2132.15 c #Conflicts: 838000 | #Constraints: 28431 2121.77/2132.15 c #Conflicts: 839000 | #Constraints: 29435 2121.77/2132.15 c #Conflicts: 840000 | #Constraints: 30441 2121.77/2132.15 c #Conflicts: 841000 | #Constraints: 31447 2121.77/2132.15 c #Conflicts: 842000 | #Constraints: 32447 2121.77/2132.15 c #Conflicts: 843000 | #Constraints: 33450 2121.77/2132.15 c #Conflicts: 844000 | #Constraints: 34451 2121.77/2132.15 c #Conflicts: 845000 | #Constraints: 35454 2121.77/2132.15 c #Conflicts: 846000 | #Constraints: 36457 2121.77/2132.15 c INPROCESSING 2121.77/2132.15 c GARBAGE COLLECT 2121.77/2132.15 c rational objective 6 2197.52/2208.27 c #Conflicts: 847000 | #Constraints: 19218 2197.52/2208.27 c #Conflicts: 848000 | #Constraints: 20221 2197.52/2208.27 c #Conflicts: 849000 | #Constraints: 21223 2197.52/2208.27 c #Conflicts: 850000 | #Constraints: 22225 2197.52/2208.27 c #Conflicts: 851000 | #Constraints: 23227 2197.52/2208.27 c #Conflicts: 852000 | #Constraints: 24230 2197.52/2208.27 c #Conflicts: 853000 | #Constraints: 25235 2197.52/2208.27 c #Conflicts: 854000 | #Constraints: 26240 2197.52/2208.27 c #Conflicts: 855000 | #Constraints: 27243 2197.52/2208.27 c #Conflicts: 856000 | #Constraints: 28245 2197.52/2208.27 c #Conflicts: 857000 | #Constraints: 29249 2197.52/2208.27 c #Conflicts: 858000 | #Constraints: 30251 2197.52/2208.27 c #Conflicts: 859000 | #Constraints: 31251 2197.52/2208.27 c #Conflicts: 860000 | #Constraints: 32255 2197.52/2208.27 c #Conflicts: 861000 | #Constraints: 33257 2197.52/2208.27 c #Conflicts: 862000 | #Constraints: 34263 2197.52/2208.27 c #Conflicts: 863000 | #Constraints: 35264 2197.52/2208.27 c #Conflicts: 864000 | #Constraints: 36267 2197.52/2208.27 c #Conflicts: 865000 | #Constraints: 37268 2197.52/2208.27 c INPROCESSING 2197.52/2208.27 c GARBAGE COLLECT 2197.52/2208.27 c rational objective 6 2244.37/2255.21 c #Conflicts: 866000 | #Constraints: 19855 2244.37/2255.21 c #Conflicts: 867000 | #Constraints: 20857 2244.37/2255.21 c #Conflicts: 868000 | #Constraints: 21860 2244.37/2255.21 c #Conflicts: 869000 | #Constraints: 22862 2244.37/2255.21 c #Conflicts: 870000 | #Constraints: 23864 2244.37/2255.21 c #Conflicts: 871000 | #Constraints: 24867 2244.37/2255.21 c #Conflicts: 872000 | #Constraints: 25884 2244.37/2255.21 c #Conflicts: 873000 | #Constraints: 26888 2244.37/2255.21 c #Conflicts: 874000 | #Constraints: 27894 2244.37/2255.21 c #Conflicts: 875000 | #Constraints: 28897 2244.37/2255.21 c #Conflicts: 876000 | #Constraints: 29898 2244.37/2255.21 c #Conflicts: 877000 | #Constraints: 30901 2244.37/2255.21 c #Conflicts: 878000 | #Constraints: 31903 2244.37/2255.21 c #Conflicts: 879000 | #Constraints: 32904 2244.37/2255.21 c #Conflicts: 880000 | #Constraints: 33907 2244.37/2255.21 c #Conflicts: 881000 | #Constraints: 34911 2244.37/2255.21 c #Conflicts: 882000 | #Constraints: 35915 2244.37/2255.21 c #Conflicts: 883000 | #Constraints: 36920 2244.37/2255.21 c #Conflicts: 884000 | #Constraints: 37928 2244.37/2255.21 c INPROCESSING 2244.37/2255.21 c GARBAGE COLLECT 2244.37/2255.21 c rational objective 6 2286.50/2297.51 c #Conflicts: 885000 | #Constraints: 20236 2286.50/2297.51 c #Conflicts: 886000 | #Constraints: 21240 2286.50/2297.51 c #Conflicts: 887000 | #Constraints: 22243 2286.50/2297.51 c #Conflicts: 888000 | #Constraints: 23248 2286.50/2297.51 c #Conflicts: 889000 | #Constraints: 24249 2286.50/2297.51 c #Conflicts: 890000 | #Constraints: 25251 2286.50/2297.51 c #Conflicts: 891000 | #Constraints: 26254 2286.50/2297.51 c #Conflicts: 892000 | #Constraints: 27257 2286.50/2297.51 c #Conflicts: 893000 | #Constraints: 28260 2286.50/2297.51 c #Conflicts: 894000 | #Constraints: 29262 2286.50/2297.51 c #Conflicts: 895000 | #Constraints: 30265 2286.50/2297.51 c #Conflicts: 896000 | #Constraints: 31267 2286.50/2297.51 c #Conflicts: 897000 | #Constraints: 32271 2286.50/2297.51 c #Conflicts: 898000 | #Constraints: 33277 2286.50/2297.51 c #Conflicts: 899000 | #Constraints: 34278 2286.50/2297.51 c #Conflicts: 900000 | #Constraints: 35281 2286.50/2297.51 c #Conflicts: 901000 | #Constraints: 36286 2286.50/2297.51 c #Conflicts: 902000 | #Constraints: 37288 2286.50/2297.51 c #Conflicts: 903000 | #Constraints: 38292 2286.50/2297.51 c INPROCESSING 2286.50/2297.51 c GARBAGE COLLECT 2286.50/2297.51 c rational objective 6 2351.63/2362.92 c #Conflicts: 904000 | #Constraints: 20422 2351.63/2362.92 c #Conflicts: 905000 | #Constraints: 21426 2351.63/2362.92 c #Conflicts: 906000 | #Constraints: 22434 2351.63/2362.92 c #Conflicts: 907000 | #Constraints: 23438 2351.63/2362.92 c #Conflicts: 908000 | #Constraints: 24441 2351.63/2362.92 c #Conflicts: 909000 | #Constraints: 25445 2351.63/2362.92 c #Conflicts: 910000 | #Constraints: 26451 2351.63/2362.92 c #Conflicts: 911000 | #Constraints: 27454 2351.63/2362.92 c #Conflicts: 912000 | #Constraints: 28454 2351.63/2362.92 c #Conflicts: 913000 | #Constraints: 29455 2351.63/2362.92 c #Conflicts: 914000 | #Constraints: 30456 2351.63/2362.92 c #Conflicts: 915000 | #Constraints: 31457 2351.63/2362.92 c #Conflicts: 916000 | #Constraints: 32459 2351.63/2362.92 c #Conflicts: 917000 | #Constraints: 33467 2351.63/2362.92 c #Conflicts: 918000 | #Constraints: 34469 2351.63/2362.92 c #Conflicts: 919000 | #Constraints: 35472 2351.63/2362.92 c #Conflicts: 920000 | #Constraints: 36474 2351.63/2362.92 c #Conflicts: 921000 | #Constraints: 37476 2351.63/2362.92 c #Conflicts: 922000 | #Constraints: 38479 2351.63/2362.92 c INPROCESSING 2351.63/2362.92 c GARBAGE COLLECT 2351.63/2362.92 c rational objective 6 2411.92/2423.42 c #Conflicts: 923000 | #Constraints: 20416 2411.92/2423.42 c #Conflicts: 924000 | #Constraints: 21423 2411.92/2423.42 c #Conflicts: 925000 | #Constraints: 22425 2411.92/2423.42 c #Conflicts: 926000 | #Constraints: 23429 2411.92/2423.42 c #Conflicts: 927000 | #Constraints: 24434 2411.92/2423.42 c #Conflicts: 928000 | #Constraints: 25436 2411.92/2423.42 c #Conflicts: 929000 | #Constraints: 26436 2411.92/2423.42 c #Conflicts: 930000 | #Constraints: 27437 2411.92/2423.42 c #Conflicts: 931000 | #Constraints: 28440 2411.92/2423.42 c #Conflicts: 932000 | #Constraints: 29447 2411.92/2423.42 c #Conflicts: 933000 | #Constraints: 30469 2411.92/2423.42 c #Conflicts: 934000 | #Constraints: 31479 2411.92/2423.42 c #Conflicts: 935000 | #Constraints: 32492 2411.92/2423.42 c #Conflicts: 936000 | #Constraints: 33495 2411.92/2423.42 c #Conflicts: 937000 | #Constraints: 34498 2411.92/2423.42 c #Conflicts: 938000 | #Constraints: 35506 2411.92/2423.42 c #Conflicts: 939000 | #Constraints: 36509 2411.92/2423.42 c #Conflicts: 940000 | #Constraints: 37513 2411.92/2423.42 c #Conflicts: 941000 | #Constraints: 38514 2411.92/2423.42 c INPROCESSING 2411.92/2423.42 c GARBAGE COLLECT 2411.92/2423.42 c rational objective 6 2468.54/2480.20 c #Conflicts: 942000 | #Constraints: 20234 2468.54/2480.20 c #Conflicts: 943000 | #Constraints: 21235 2468.54/2480.20 c #Conflicts: 944000 | #Constraints: 22238 2468.54/2480.20 c #Conflicts: 945000 | #Constraints: 23242 2468.54/2480.20 c #Conflicts: 946000 | #Constraints: 24245 2468.54/2480.20 c #Conflicts: 947000 | #Constraints: 25250 2468.54/2480.20 c #Conflicts: 948000 | #Constraints: 26252 2468.54/2480.20 c #Conflicts: 949000 | #Constraints: 27256 2468.54/2480.20 c #Conflicts: 950000 | #Constraints: 28258 2468.54/2480.20 c #Conflicts: 951000 | #Constraints: 29266 2468.54/2480.20 c #Conflicts: 952000 | #Constraints: 30269 2468.54/2480.20 c #Conflicts: 953000 | #Constraints: 31271 2468.54/2480.20 c #Conflicts: 954000 | #Constraints: 32272 2468.54/2480.20 c #Conflicts: 955000 | #Constraints: 33272 2468.54/2480.20 c #Conflicts: 956000 | #Constraints: 34273 2468.54/2480.20 c #Conflicts: 957000 | #Constraints: 35276 2468.54/2480.20 c #Conflicts: 958000 | #Constraints: 36278 2468.54/2480.20 c #Conflicts: 959000 | #Constraints: 37279 2468.54/2480.20 c #Conflicts: 960000 | #Constraints: 38283 2468.54/2480.20 c #Conflicts: 961000 | #Constraints: 39285 2468.54/2480.20 c INPROCESSING 2468.54/2480.20 c GARBAGE COLLECT 2468.54/2480.20 c rational objective 6 2551.68/2563.64 c #Conflicts: 962000 | #Constraints: 20826 2551.68/2563.64 c #Conflicts: 963000 | #Constraints: 21829 2551.68/2563.64 c #Conflicts: 964000 | #Constraints: 22831 2551.68/2563.64 c #Conflicts: 965000 | #Constraints: 23834 2551.68/2563.64 c #Conflicts: 966000 | #Constraints: 24837 2551.68/2563.64 c #Conflicts: 967000 | #Constraints: 25842 2551.68/2563.64 c #Conflicts: 968000 | #Constraints: 26846 2551.68/2563.64 c #Conflicts: 969000 | #Constraints: 27849 2551.68/2563.64 c #Conflicts: 970000 | #Constraints: 28852 2551.68/2563.64 c #Conflicts: 971000 | #Constraints: 29859 2551.68/2563.64 c #Conflicts: 972000 | #Constraints: 30864 2551.68/2563.64 c #Conflicts: 973000 | #Constraints: 31869 2551.68/2563.64 c #Conflicts: 974000 | #Constraints: 32874 2551.68/2563.64 c #Conflicts: 975000 | #Constraints: 33877 2551.68/2563.64 c #Conflicts: 976000 | #Constraints: 34882 2551.68/2563.64 c #Conflicts: 977000 | #Constraints: 35885 2551.68/2563.64 c #Conflicts: 978000 | #Constraints: 36889 2551.68/2563.64 c #Conflicts: 979000 | #Constraints: 37891 2551.68/2563.64 c #Conflicts: 980000 | #Constraints: 38893 2551.68/2563.64 c #Conflicts: 981000 | #Constraints: 39896 2551.68/2563.64 c INPROCESSING 2551.68/2563.64 c GARBAGE COLLECT 2551.68/2563.64 c rational objective 6 2611.31/2623.43 c #Conflicts: 982000 | #Constraints: 21222 2611.31/2623.43 c #Conflicts: 983000 | #Constraints: 22229 2611.31/2623.43 c #Conflicts: 984000 | #Constraints: 23232 2611.31/2623.43 c #Conflicts: 985000 | #Constraints: 24232 2611.31/2623.43 c #Conflicts: 986000 | #Constraints: 25238 2611.31/2623.43 c #Conflicts: 987000 | #Constraints: 26244 2611.31/2623.43 c #Conflicts: 988000 | #Constraints: 27251 2611.31/2623.43 c #Conflicts: 989000 | #Constraints: 28255 2611.31/2623.43 c #Conflicts: 990000 | #Constraints: 29258 2611.31/2623.43 c #Conflicts: 991000 | #Constraints: 30261 2611.31/2623.43 c #Conflicts: 992000 | #Constraints: 31265 2611.31/2623.43 c #Conflicts: 993000 | #Constraints: 32266 2611.31/2623.43 c #Conflicts: 994000 | #Constraints: 33267 2611.31/2623.43 c #Conflicts: 995000 | #Constraints: 34269 2611.31/2623.43 c #Conflicts: 996000 | #Constraints: 35283 2611.31/2623.43 c #Conflicts: 997000 | #Constraints: 36287 2611.31/2623.43 c #Conflicts: 998000 | #Constraints: 37289 2611.31/2623.43 c #Conflicts: 999000 | #Constraints: 38289 2611.31/2623.43 c #Conflicts: 1000000 | #Constraints: 39294 2611.31/2623.43 c #Conflicts: 1001000 | #Constraints: 40295 2611.31/2623.43 c INPROCESSING 2611.31/2623.43 c GARBAGE COLLECT 2611.31/2623.43 c rational objective 6 2800.13/2812.84 c #Conflicts: 1002000 | #Constraints: 21435 2800.13/2812.84 c #Conflicts: 1003000 | #Constraints: 22440 2800.13/2812.84 c #Conflicts: 1004000 | #Constraints: 23443 2800.13/2812.84 c #Conflicts: 1005000 | #Constraints: 24446 2800.13/2812.84 c #Conflicts: 1006000 | #Constraints: 25450 2800.13/2812.84 c #Conflicts: 1007000 | #Constraints: 26453 2800.13/2812.84 c #Conflicts: 1008000 | #Constraints: 27457 2800.13/2812.84 c #Conflicts: 1009000 | #Constraints: 28459 2800.13/2812.84 c #Conflicts: 1010000 | #Constraints: 29464 2800.13/2812.84 c #Conflicts: 1011000 | #Constraints: 30466 2800.13/2812.84 c #Conflicts: 1012000 | #Constraints: 31469 2800.13/2812.84 c #Conflicts: 1013000 | #Constraints: 32472 2800.13/2812.84 c #Conflicts: 1014000 | #Constraints: 33476 2800.13/2812.84 c #Conflicts: 1015000 | #Constraints: 34478 2800.13/2812.84 c #Conflicts: 1016000 | #Constraints: 35480 2800.13/2812.84 c #Conflicts: 1017000 | #Constraints: 36484 2800.13/2812.84 c #Conflicts: 1018000 | #Constraints: 37487 2800.13/2812.84 c #Conflicts: 1019000 | #Constraints: 38489 2800.13/2812.84 c #Conflicts: 1020000 | #Constraints: 39492 2800.13/2812.84 c #Conflicts: 1021000 | #Constraints: 40499 2800.13/2812.84 c INPROCESSING 2800.13/2812.84 c GARBAGE COLLECT 2800.13/2812.84 c rational objective 6 2989.56/3002.88 c #Conflicts: 1022000 | #Constraints: 21434 2989.56/3002.88 c #Conflicts: 1023000 | #Constraints: 22443 2989.56/3002.88 c #Conflicts: 1024000 | #Constraints: 23447 2989.56/3002.88 c #Conflicts: 1025000 | #Constraints: 24449 2989.56/3002.88 c #Conflicts: 1026000 | #Constraints: 25458 2989.56/3002.88 c #Conflicts: 1027000 | #Constraints: 26463 2989.56/3002.88 c #Conflicts: 1028000 | #Constraints: 27467 2989.56/3002.88 c #Conflicts: 1029000 | #Constraints: 28470 2989.56/3002.88 c #Conflicts: 1030000 | #Constraints: 29472 2989.56/3002.88 c #Conflicts: 1031000 | #Constraints: 30478 2989.56/3002.88 c #Conflicts: 1032000 | #Constraints: 31481 2989.56/3002.88 c #Conflicts: 1033000 | #Constraints: 32485 2989.56/3002.88 c #Conflicts: 1034000 | #Constraints: 33489 2989.56/3002.88 c #Conflicts: 1035000 | #Constraints: 34492 2989.56/3002.88 c #Conflicts: 1036000 | #Constraints: 35497 2989.56/3002.88 c #Conflicts: 1037000 | #Constraints: 36499 2989.56/3002.88 c #Conflicts: 1038000 | #Constraints: 37506 2989.56/3002.88 c #Conflicts: 1039000 | #Constraints: 38513 2989.56/3002.88 c #Conflicts: 1040000 | #Constraints: 39515 2989.56/3002.88 c #Conflicts: 1041000 | #Constraints: 40517 2989.56/3002.88 c INPROCESSING 2989.56/3002.88 c GARBAGE COLLECT 2989.56/3002.88 c rational objective 6 3192.13/3206.02 c #Conflicts: 1042000 | #Constraints: 21247 3192.13/3206.02 c #Conflicts: 1043000 | #Constraints: 22249 3192.13/3206.02 c #Conflicts: 1044000 | #Constraints: 23252 3192.13/3206.02 c #Conflicts: 1045000 | #Constraints: 24255 3192.13/3206.02 c #Conflicts: 1046000 | #Constraints: 25257 3192.13/3206.02 c #Conflicts: 1047000 | #Constraints: 26257 3192.13/3206.02 c #Conflicts: 1048000 | #Constraints: 27259 3192.13/3206.02 c #Conflicts: 1049000 | #Constraints: 28261 3192.13/3206.02 c #Conflicts: 1050000 | #Constraints: 29262 3192.13/3206.02 c #Conflicts: 1051000 | #Constraints: 30264 3192.13/3206.02 c #Conflicts: 1052000 | #Constraints: 31265 3192.13/3206.02 c #Conflicts: 1053000 | #Constraints: 32268 3192.13/3206.02 c #Conflicts: 1054000 | #Constraints: 33269 3192.13/3206.02 c #Conflicts: 1055000 | #Constraints: 34270 3192.13/3206.02 c #Conflicts: 1056000 | #Constraints: 35270 3192.13/3206.02 c #Conflicts: 1057000 | #Constraints: 36270 3192.13/3206.02 c #Conflicts: 1058000 | #Constraints: 37270 3192.13/3206.02 c #Conflicts: 1059000 | #Constraints: 38270 3192.13/3206.02 c #Conflicts: 1060000 | #Constraints: 39270 3192.13/3206.02 c #Conflicts: 1061000 | #Constraints: 40271 3192.13/3206.02 c #Conflicts: 1062000 | #Constraints: 41272 3192.13/3206.02 c INPROCESSING 3192.13/3206.02 c GARBAGE COLLECT 3192.13/3206.02 c rational objective 6 3285.94/3300.12 c #Conflicts: 1063000 | #Constraints: 21820 3285.94/3300.12 c #Conflicts: 1064000 | #Constraints: 22829 3285.94/3300.12 c #Conflicts: 1065000 | #Constraints: 23832 3285.94/3300.12 c #Conflicts: 1066000 | #Constraints: 24833 3285.94/3300.12 c #Conflicts: 1067000 | #Constraints: 25834 3285.94/3300.12 c #Conflicts: 1068000 | #Constraints: 26836 3285.94/3300.12 c #Conflicts: 1069000 | #Constraints: 27839 3285.94/3300.12 c #Conflicts: 1070000 | #Constraints: 28840 3285.94/3300.12 c #Conflicts: 1071000 | #Constraints: 29842 3285.94/3300.12 c #Conflicts: 1072000 | #Constraints: 30844 3285.94/3300.12 c #Conflicts: 1073000 | #Constraints: 31847 3285.94/3300.12 c #Conflicts: 1074000 | #Constraints: 32848 3285.94/3300.12 c #Conflicts: 1075000 | #Constraints: 33850 3285.94/3300.12 c #Conflicts: 1076000 | #Constraints: 34850 3285.94/3300.12 c #Conflicts: 1077000 | #Constraints: 35851 3285.94/3300.12 c #Conflicts: 1078000 | #Constraints: 36852 3285.94/3300.12 c #Conflicts: 1079000 | #Constraints: 37854 3285.94/3300.12 c #Conflicts: 1080000 | #Constraints: 38856 3285.94/3300.12 c #Conflicts: 1081000 | #Constraints: 39857 3285.94/3300.12 c #Conflicts: 1082000 | #Constraints: 40857 3285.94/3300.12 c #Conflicts: 1083000 | #Constraints: 41858 3285.94/3300.12 c INPROCESSING 3285.94/3300.12 c GARBAGE COLLECT 3285.94/3300.12 c rational objective 6 3345.25/3359.69 c #Conflicts: 1084000 | #Constraints: 22207 3345.25/3359.69 c #Conflicts: 1085000 | #Constraints: 23208 3345.25/3359.69 c #Conflicts: 1086000 | #Constraints: 24212 3345.25/3359.69 c #Conflicts: 1087000 | #Constraints: 25213 3345.25/3359.69 c #Conflicts: 1088000 | #Constraints: 26213 3345.25/3359.69 c #Conflicts: 1089000 | #Constraints: 27214 3345.25/3359.69 c #Conflicts: 1090000 | #Constraints: 28216 3345.25/3359.69 c #Conflicts: 1091000 | #Constraints: 29217 3345.25/3359.69 c #Conflicts: 1092000 | #Constraints: 30217 3345.25/3359.69 c #Conflicts: 1093000 | #Constraints: 31218 3345.25/3359.69 c #Conflicts: 1094000 | #Constraints: 32219 3345.25/3359.69 c #Conflicts: 1095000 | #Constraints: 33220 3345.25/3359.69 c #Conflicts: 1096000 | #Constraints: 34220 3345.25/3359.69 c #Conflicts: 1097000 | #Constraints: 35220 3345.25/3359.69 c #Conflicts: 1098000 | #Constraints: 36222 3345.25/3359.69 c #Conflicts: 1099000 | #Constraints: 37222 3345.25/3359.69 c #Conflicts: 1100000 | #Constraints: 38223 3345.25/3359.69 c #Conflicts: 1101000 | #Constraints: 39224 3345.25/3359.69 c #Conflicts: 1102000 | #Constraints: 40226 3345.25/3359.69 c #Conflicts: 1103000 | #Constraints: 41227 3345.25/3359.69 c #Conflicts: 1104000 | #Constraints: 42228 3345.25/3359.69 c INPROCESSING 3345.25/3359.69 c GARBAGE COLLECT 3345.25/3359.69 c rational objective 6 3447.23/3461.92 c #Conflicts: 1105000 | #Constraints: 22392 3447.23/3461.92 c #Conflicts: 1106000 | #Constraints: 23398 3447.23/3461.92 c #Conflicts: 1107000 | #Constraints: 24399 3447.23/3461.92 c #Conflicts: 1108000 | #Constraints: 25405 3447.23/3461.92 c #Conflicts: 1109000 | #Constraints: 26414 3447.23/3461.92 c #Conflicts: 1110000 | #Constraints: 27423 3447.23/3461.92 c #Conflicts: 1111000 | #Constraints: 28427 3447.23/3461.92 c #Conflicts: 1112000 | #Constraints: 29430 3447.23/3461.92 c #Conflicts: 1113000 | #Constraints: 30432 3447.23/3461.92 c #Conflicts: 1114000 | #Constraints: 31434 3447.23/3461.92 c #Conflicts: 1115000 | #Constraints: 32435 3447.23/3461.92 c #Conflicts: 1116000 | #Constraints: 33437 3447.23/3461.92 c #Conflicts: 1117000 | #Constraints: 34438 3447.23/3461.92 c #Conflicts: 1118000 | #Constraints: 35439 3447.23/3461.92 c #Conflicts: 1119000 | #Constraints: 36439 3447.23/3461.92 c #Conflicts: 1120000 | #Constraints: 37441 3447.23/3461.92 c #Conflicts: 1121000 | #Constraints: 38442 3447.23/3461.92 c #Conflicts: 1122000 | #Constraints: 39445 3447.23/3461.92 c #Conflicts: 1123000 | #Constraints: 40446 3447.23/3461.92 c #Conflicts: 1124000 | #Constraints: 41448 3447.23/3461.92 c #Conflicts: 1125000 | #Constraints: 42450 3447.23/3461.92 c INPROCESSING 3447.23/3461.92 c GARBAGE COLLECT 3447.23/3461.92 c rational objective 6 3517.12/3532.02 c #Conflicts: 1126000 | #Constraints: 22405 3517.12/3532.02 c #Conflicts: 1127000 | #Constraints: 23406 3517.12/3532.02 c #Conflicts: 1128000 | #Constraints: 24406 3517.12/3532.02 c #Conflicts: 1129000 | #Constraints: 25407 3517.12/3532.02 c #Conflicts: 1130000 | #Constraints: 26409 3517.12/3532.02 c #Conflicts: 1131000 | #Constraints: 27414 3517.12/3532.02 c #Conflicts: 1132000 | #Constraints: 28415 3517.12/3532.02 c #Conflicts: 1133000 | #Constraints: 29417 3517.12/3532.02 c #Conflicts: 1134000 | #Constraints: 30423 3517.12/3532.02 c #Conflicts: 1135000 | #Constraints: 31425 3517.12/3532.02 c #Conflicts: 1136000 | #Constraints: 32428 3517.12/3532.02 c #Conflicts: 1137000 | #Constraints: 33431 3517.12/3532.02 c #Conflicts: 1138000 | #Constraints: 34438 3517.12/3532.02 c #Conflicts: 1139000 | #Constraints: 35441 3517.12/3532.02 c #Conflicts: 1140000 | #Constraints: 36442 3517.12/3532.02 c #Conflicts: 1141000 | #Constraints: 37445 3517.12/3532.02 c #Conflicts: 1142000 | #Constraints: 38448 3517.12/3532.02 c #Conflicts: 1143000 | #Constraints: 39453 3517.12/3532.02 c #Conflicts: 1144000 | #Constraints: 40462 3517.12/3532.02 c #Conflicts: 1145000 | #Constraints: 41467 3517.12/3532.02 c #Conflicts: 1146000 | #Constraints: 42470 3517.12/3532.02 c INPROCESSING 3517.12/3532.02 c GARBAGE COLLECT 3517.12/3532.02 c rational objective 6 3600.06/3615.24 c #Conflicts: 1147000 | #Constraints: 22202 3600.06/3615.24 c #Conflicts: 1148000 | #Constraints: 23204 3600.06/3615.24 c #Conflicts: 1149000 | #Constraints: 24204 3600.06/3615.24 c #Conflicts: 1150000 | #Constraints: 25207 3600.06/3615.24 c #Conflicts: 1151000 | #Constraints: 26210 3600.06/3615.24 c #Conflicts: 1152000 | #Constraints: 27214 3600.06/3615.24 c #Conflicts: 1153000 | #Constraints: 28223 3600.06/3615.24 c #Conflicts: 1154000 | #Constraints: 29226 3600.06/3615.24 c #Conflicts: 1155000 | #Constraints: 30227 3600.06/3615.24 c #Conflicts: 1156000 | #Constraints: 31230 3600.06/3615.24 c #Conflicts: 1157000 | #Constraints: 32242 3600.06/3615.24 c #Conflicts: 1158000 | #Constraints: 33252 3600.06/3615.24 c #Conflicts: 1159000 | #Constraints: 34253 3600.06/3615.24 c #Conflicts: 1160000 | #Constraints: 35256 3600.06/3615.24 c #Conflicts: 1161000 | #Constraints: 36263 3600.06/3615.24 c #Conflicts: 1162000 | #Constraints: 37266 3600.06/3615.24 c #Conflicts: 1163000 | #Constraints: 38268 3600.06/3615.24 c #Conflicts: 1164000 | #Constraints: 39274 3600.06/3615.24 c #Conflicts: 1165000 | #Constraints: 40280 3600.06/3615.24 c #Conflicts: 1166000 | #Constraints: 41281 3600.06/3615.24 c #Conflicts: 1167000 | #Constraints: 42283 3600.06/3615.24 c #Conflicts: 1168000 | #Constraints: 43290 3600.06/3615.24 c Program interrupted by user. 3600.06/3615.25 c cpu time 3536.9 s 3600.06/3615.25 c deterministic time 764764940609 7.65e+11 3600.06/3615.25 c optimization time 81.3606 s 3600.06/3615.25 c total solve time 3455.52 s 3600.06/3615.25 c core-guided solve time 5e-06 s 3600.06/3615.25 c propagation time 2995.78 s 3600.06/3615.25 c conflict analysis time 432.978 s 3600.06/3615.25 c propagations 443742856 3600.06/3615.25 c resolve steps 4713999 3600.06/3615.25 c decisions 29583439 3600.06/3615.25 c conflicts 1168120 3600.06/3615.25 c restarts 2173 3600.06/3615.25 c inprocessing phases 98 3600.06/3615.25 c input clauses 3273 3600.06/3615.25 c input cardinalities 64 3600.06/3615.25 c input general constraints 384 3600.06/3615.25 c input average constraint length 9.95 3600.06/3615.25 c input average constraint degree 74.17 3600.06/3615.25 c learned clauses 116502 3600.06/3615.25 c learned cardinalities 7111 3600.06/3615.25 c learned general constraints 1048112 3600.06/3615.25 c learned average constraint length 637.19 3600.06/3615.25 c learned average constraint degree 4697079308.31 3600.06/3615.25 c watched constraints 980158 3600.06/3615.25 c counting constraints 68338 3600.06/3615.25 c gcd simplifications 29386 3600.06/3615.25 c detected cardinalities 51 3600.06/3615.25 c weakened non-implied lits 89264326 3600.06/3615.25 c weakened non-implying lits 355187 3600.06/3615.25 c original variables 3216 3600.06/3615.25 c clausal propagations 1051372 3600.06/3615.25 c cardinality propagations 83487662 3600.06/3615.25 c watched propagations 201255741 3600.06/3615.25 c counting propagations 155978319 3600.06/3615.25 c watch lookups 38646093244 3600.06/3615.25 c watch backjump lookups 33943109935 3600.06/3615.25 c watch checks 642062912300 3600.06/3615.25 c propagation checks 46735042199 3600.06/3615.25 c constraint additions 2428779112 3600.06/3615.25 c trail pops 474488553 3600.06/3615.25 c formula constraints 3721 3600.06/3615.25 c learned constraints 1164515 3600.06/3615.25 c bound constraints 0 3600.06/3615.25 c core-guided constraints 0 3600.06/3615.25 c encountered formula constraints 2825892 3600.06/3615.25 c encountered learned constraints 2637736 3600.06/3615.25 c encountered bound constraints 0 3600.06/3615.25 c encountered core-guided constraints 0 3600.06/3615.25 c LP total time 131.231 s 3600.06/3615.25 c LP solve time 115.98 s 3600.06/3615.25 c LP constraints added 4395 3600.06/3615.25 c LP constraints removed 665 3600.06/3615.25 c LP pivots internal 1168151 3600.06/3615.25 c LP pivots root 20819 3600.06/3615.25 c LP calls 10914 3600.06/3615.25 c LP optimalities 7302 3600.06/3615.25 c LP no pivot count 4729 3600.06/3615.25 c LP infeasibilities 3607 3600.06/3615.25 c LP valid Farkas constraints 3605 3600.06/3615.25 c LP learned Farkas constraints 3605 3600.06/3615.25 c LP basis resets 4 3600.06/3615.25 c LP cycling count 0 3600.06/3615.25 c LP singular count 2 3600.06/3615.25 c LP no primal count 0 3600.06/3615.25 c LP no farkas count 2 3600.06/3615.25 c LP other issue count 0 3600.06/3615.25 c LP Gomory cuts 0 3600.06/3615.25 c LP learned cuts 674 3600.06/3615.25 c LP deleted cuts 665 3600.06/3615.25 c LP encountered Gomory constraints 0 3600.06/3615.25 c LP encountered Farkas constraints 334258 3600.06/3615.25 c LP encountered learned Farkas constraints 80628 3600.06/3615.25 c CG auxiliary variables introduced 0 3600.06/3615.25 c CG solutions found 0 3600.06/3615.25 c CG cores constructed 1 3600.06/3615.25 c CG core cardinality constraints returned 0 3600.06/3615.25 c CG unit cores 1 3600.06/3615.25 c CG single cores 0 3600.06/3615.25 c CG blocks removed during cardinality reduction 0 3600.06/3615.25 c CG first core best 0 3600.06/3615.25 c CG decision core best 0 3600.06/3615.25 c CG core reduction tie 0 3600.06/3615.25 c CG core degree average 0.00 3600.06/3615.25 c CG core slack average 0.00 3600.06/3615.25 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (51650 MiB free)
memory of node 1: 64473 MiB (39398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460316-1722068459/watcher-4460316-1722068459 -o /tmp/evaluation-result-4460316-1722068459/solver-4460316-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364082 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460316-1722068459 --lp-cut-gomory=0 HOME/instance-4460316-1722068459.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=366297, runsolver pid=366294
[startup+0.100092 s]*
/proc/loadavg: 4.14 4.10 4.02 3/250 366298
/proc/meminfo: memFree=93232976/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205152 s]*
/proc/loadavg: 4.14 4.10 4.02 4/250 366298
/proc/meminfo: memFree=93232864/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.304534 s]*
/proc/loadavg: 4.14 4.10 4.02 3/250 366298
/proc/meminfo: memFree=93233128/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700152 s]
/proc/loadavg: 4.14 4.10 4.02 3/250 366298
/proc/meminfo: memFree=93233368/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.02 3/250 366298
/proc/meminfo: memFree=93233900/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+3.10469 s]
/proc/loadavg: 4.14 4.10 4.02 3/250 366298
/proc/meminfo: memFree=93232892/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/366297/stat : 366297 (roundingsat) D 366294 366297 364071 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 43374170 38273024 619 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 4.21 4.12 4.03 4/256 366318
/proc/meminfo: memFree=96026560/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=62560 memory=36600 CPUtime=2.4 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 6781 0 0 0 229 11 0 0 20 0 1 0 43374170 64061440 9150 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 15640 9150 1891 992 0 7498 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36600 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.20 4.12 4.03 5/256 366320
/proc/meminfo: memFree=95720916/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=80160 memory=53080 CPUtime=8.79 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 9910 0 0 0 847 32 0 0 20 0 1 0 43374170 82083840 13270 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 20040 13270 1891 992 0 11898 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 80160 KiB
Current children cumulated memory: 53080 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.02 5/256 366322
/proc/meminfo: memFree=95537072/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=108556 memory=78672 CPUtime=21.55 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 14230 0 0 0 2091 64 0 0 20 0 1 0 43374170 111161344 19668 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 27139 19668 1891 992 0 18997 0
Current children cumulated CPU time: 21.55 s
Current children cumulated vsize: 108556 KiB
Current children cumulated memory: 78672 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.13 4.03 5/256 366374
/proc/meminfo: memFree=108723632/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=149780 memory=105944 CPUtime=47.1 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 20049 0 0 0 4553 157 0 0 20 0 1 0 43374170 153374720 26486 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 37445 26486 1891 992 0 29303 0
Current children cumulated CPU time: 47.1 s
Current children cumulated vsize: 149780 KiB
Current children cumulated memory: 105944 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.17 4.05 5/257 366383
/proc/meminfo: memFree=106930156/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=167368 memory=129128 CPUtime=98.15 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 24314 0 0 0 9494 321 0 0 20 0 1 0 43374170 171384832 32282 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 41842 32282 1891 992 0 33700 0
Current children cumulated CPU time: 98.15 s
Current children cumulated vsize: 167368 KiB
Current children cumulated memory: 129128 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/259 366441
/proc/meminfo: memFree=104803508/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=221428 memory=166236 CPUtime=157.99 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 30504 0 0 0 15265 534 0 0 20 0 1 0 43374170 226742272 41559 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 55357 41559 1891 992 0 47215 0
Current children cumulated CPU time: 157.99 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 166236 KiB
[startup+222.3 s]
/proc/loadavg: 4.50 4.26 4.10 5/260 366452
/proc/meminfo: memFree=100805624/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=249220 memory=212620 CPUtime=217.81 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 37067 0 0 0 21073 708 0 0 20 0 1 0 43374170 255201280 53155 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 62305 53155 1891 992 0 54163 0
Current children cumulated CPU time: 217.81 s
Current children cumulated vsize: 249220 KiB
Current children cumulated memory: 212620 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.24 4.10 5/261 366847
/proc/meminfo: memFree=98547952/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=327604 memory=251384 CPUtime=277.63 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 44256 0 0 0 26910 853 0 0 20 0 1 0 43374170 335466496 62846 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 81901 62846 1891 992 0 73759 0
Current children cumulated CPU time: 277.63 s
Current children cumulated vsize: 327604 KiB
Current children cumulated memory: 251384 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.09 5/261 366857
/proc/meminfo: memFree=95680372/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=333312 memory=256736 CPUtime=337.46 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 45651 0 0 0 32687 1059 0 0 20 0 1 0 43374170 341311488 64184 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 83328 64184 1891 992 0 75186 0
Current children cumulated CPU time: 337.46 s
Current children cumulated vsize: 333312 KiB
Current children cumulated memory: 256736 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.09 5/261 366869
/proc/meminfo: memFree=95050568/131524600 swapFree=131063756/131071996
[pid=366297] ppid=366294 vsize=340644 memory=263856 CPUtime=397.28 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 47421 0 0 0 38497 1231 0 0 20 0 1 0 43374170 348819456 65964 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 85161 65964 1891 992 0 77019 0
Current children cumulated CPU time: 397.28 s
Current children cumulated vsize: 340644 KiB
Current children cumulated memory: 263856 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.09 5/261 367049
/proc/meminfo: memFree=93061000/131524600 swapFree=131063756/131071996
################
# More data... #
################
Current children cumulated memory: 534520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/259 368130
/proc/meminfo: memFree=14855976/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=620684 memory=540452 CPUtime=2849.49 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 98295 0 0 0 279532 5417 0 0 20 0 1 0 43374170 635580416 135113 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 155171 135113 1891 992 0 147029 0
Current children cumulated CPU time: 2849.49 s
Current children cumulated vsize: 620684 KiB
Current children cumulated memory: 540452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/260 368141
/proc/meminfo: memFree=11783268/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=622792 memory=542616 CPUtime=2909.31 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 98923 0 0 0 285476 5455 0 0 20 0 1 0 43374170 637739008 135654 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 155698 135654 1891 992 0 147556 0
Current children cumulated CPU time: 2909.31 s
Current children cumulated vsize: 622792 KiB
Current children cumulated memory: 542616 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/260 368157
/proc/meminfo: memFree=9147780/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=760940 memory=578656 CPUtime=2969.13 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 100939 0 0 0 291419 5494 0 0 20 0 1 0 43374170 779202560 144664 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 190235 144664 1891 992 0 182093 0
Current children cumulated CPU time: 2969.13 s
Current children cumulated vsize: 760940 KiB
Current children cumulated memory: 578656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/260 368169
/proc/meminfo: memFree=7348492/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=765852 memory=598068 CPUtime=3028.95 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 102249 0 0 0 297335 5560 0 0 20 0 1 0 43374170 784232448 149517 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 191463 149517 1891 992 0 183321 0
Current children cumulated CPU time: 3028.95 s
Current children cumulated vsize: 765852 KiB
Current children cumulated memory: 598068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/258 368180
/proc/meminfo: memFree=6058676/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=773348 memory=604116 CPUtime=3088.76 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 103752 0 0 0 303271 5605 0 0 20 0 1 0 43374170 791908352 151029 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 193337 151029 1979 992 0 185195 0
Current children cumulated CPU time: 3088.76 s
Current children cumulated vsize: 773348 KiB
Current children cumulated memory: 604116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/258 368191
/proc/meminfo: memFree=4561232/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=777972 memory=610276 CPUtime=3148.56 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 105347 0 0 0 309207 5649 0 0 20 0 1 0 43374170 796643328 152569 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 194493 152569 1979 992 0 186351 0
Current children cumulated CPU time: 3148.56 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 610276 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 368201
/proc/meminfo: memFree=2985596/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=789264 memory=619028 CPUtime=3208.37 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 107576 0 0 0 315119 5718 0 0 20 0 1 0 43374170 808206336 154757 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 197316 154757 1979 992 0 189174 0
Current children cumulated CPU time: 3208.37 s
Current children cumulated vsize: 789264 KiB
Current children cumulated memory: 619028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/255 368212
/proc/meminfo: memFree=858328/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=791160 memory=620648 CPUtime=3268.18 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 108068 0 0 0 321012 5806 0 0 20 0 1 0 43374170 810147840 155162 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 197790 155162 1979 992 0 189648 0
Current children cumulated CPU time: 3268.18 s
Current children cumulated vsize: 791160 KiB
Current children cumulated memory: 620648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/256 368223
/proc/meminfo: memFree=661708/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=793428 memory=622908 CPUtime=3328.01 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 108678 0 0 0 326891 5910 0 0 20 0 1 0 43374170 812470272 155727 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 198357 155727 1979 992 0 190215 0
Current children cumulated CPU time: 3328.01 s
Current children cumulated vsize: 793428 KiB
Current children cumulated memory: 622908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/257 368235
/proc/meminfo: memFree=652104/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=796632 memory=626124 CPUtime=3387.82 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 109546 0 0 0 332765 6017 0 0 20 0 1 0 43374170 815751168 156531 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 199158 156531 1979 992 0 191016 0
Current children cumulated CPU time: 3387.82 s
Current children cumulated vsize: 796632 KiB
Current children cumulated memory: 626124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.16 4.16 5/257 368245
/proc/meminfo: memFree=669224/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=797964 memory=627348 CPUtime=3447.63 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 109947 0 0 0 338696 6067 0 0 20 0 1 0 43374170 817115136 156837 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 199491 156837 1979 992 0 191349 0
Current children cumulated CPU time: 3447.63 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 627348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/257 368255
/proc/meminfo: memFree=527132/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=797964 memory=627464 CPUtime=3507.44 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 110054 0 0 0 344572 6172 0 0 20 0 1 0 43374170 817115136 156866 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 199491 156866 1979 992 0 191349 0
Current children cumulated CPU time: 3507.44 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 627464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.19 4.17 5/259 368270
/proc/meminfo: memFree=623656/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=797964 memory=627556 CPUtime=3567.26 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 110287 0 0 0 350446 6280 0 0 20 0 1 0 43374170 817115136 156889 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 199491 156889 1979 992 0 191349 0
Current children cumulated CPU time: 3567.26 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 627556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.2 s]
/proc/loadavg: 4.17 4.17 4.16 7/258 368276
/proc/meminfo: memFree=559340/131524600 swapFree=131062976/131071996
[pid=366297] ppid=366294 vsize=797964 memory=627556 CPUtime=3600.06 cores=4,6
/proc/366297/stat : 366297 (roundingsat) R 366294 366297 364071 0 -1 4194304 110310 0 0 0 353689 6317 0 0 20 0 1 0 43374170 817115136 156889 134679101440 4194304 8254357 140724501202784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23404544 140724501205855 140724501206117 140724501206117 140724501213129 0
/proc/366297/statm: 199491 156889 1979 992 0 191349 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 627556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.27 s]
# the end of solver process 366297 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3536.9 s, system=63.1894 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3615.27
CPU time (s): 3600.09
CPU user time (s): 3536.9
CPU system time (s): 63.1894
CPU usage (%): 99.5802
Max. virtual memory (cumulated for all children) (KiB): 797964
Max. memory (cumulated for all children) (KiB): 627556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3536.9
system time used= 63.1894
maximum resident set size= 627760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110326
page faults= 1
swaps= 0
block input operations= 3392
block output operations= 39697592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 4904
# summary of solver processes directly reported to runsolver:
# pid: 366297
# total CPU time (s): 3600.09
# total CPU user time (s): 3536.9
# total CPU system time (s): 63.1894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77859 second user time and 18.1942 second system time
The end
Begin job on nodeC027 at 2024-07-27 10:20:59 IDJOB=4460316 IDBENCH=148772 IDSOLVER=3086 FILE ID=nodeC027/4460316-1722068459 RUNJOBID= nodeC027-1722064836-364082 SLURM_JOB_ID= 8248095 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.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-4460316-1722068459/watcher-4460316-1722068459 -o /tmp/evaluation-result-4460316-1722068459/solver-4460316-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364082 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460316-1722068459 --lp-cut-gomory=0 HOME/instance-4460316-1722068459.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00 RANDOM SEED=1859590444 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2386.756 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.968 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1778.498 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.792 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.093 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3515.215 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.017 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 93234000 kB MemAvailable: 128318544 kB Buffers: 360812 kB Cached: 35411700 kB SwapCached: 472 kB Active: 2688820 kB Inactive: 34712104 kB Active(anon): 1672 kB Inactive(anon): 1680160 kB Active(file): 2687148 kB Inactive(file): 33031944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 10096 kB Writeback: 20608 kB AnonPages: 1627548 kB Mapped: 123932 kB Shmem: 53416 kB KReclaimable: 410552 kB Slab: 535760 kB SReclaimable: 410552 kB SUnreclaim: 125208 kB KernelStack: 4064 kB PageTables: 12784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2185052 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 1486848 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: 359124 kB DirectMap2M: 40308736 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 889996 MiB End job on nodeC027 at 2024-07-27 11:21:14