| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.06 | 3610.96 |
| 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/0.36 c #variables 3216 #constraints 3721 0.11/0.49 c bounds - >= 0 @ 0.057346 0.11/0.49 c rational objective 6 1.88/2.25 c #Conflicts: 1000 | #Constraints: 4725 1.88/2.25 c #Conflicts: 2000 | #Constraints: 5726 1.88/2.25 c INPROCESSING 1.88/2.25 c GARBAGE COLLECT 1.88/2.25 c rational objective 6 3.17/3.54 c bounds - >= 6 @ 1.82023 3.17/3.54 c #Conflicts: 3000 | #Constraints: 2524 3.17/3.54 c #Conflicts: 4000 | #Constraints: 3528 3.17/3.54 c INPROCESSING 3.17/3.54 c GARBAGE COLLECT 3.17/3.54 c rational objective 6 4.68/5.02 c #Conflicts: 5000 | #Constraints: 2939 4.68/5.02 c #Conflicts: 6000 | #Constraints: 3940 4.68/5.02 c INPROCESSING 4.68/5.02 c GARBAGE COLLECT 4.68/5.02 c rational objective 6 6.26/6.66 c #Conflicts: 7000 | #Constraints: 2947 6.26/6.66 c #Conflicts: 8000 | #Constraints: 3947 6.26/6.66 c #Conflicts: 9000 | #Constraints: 4947 6.26/6.66 c INPROCESSING 6.26/6.66 c GARBAGE COLLECT 6.26/6.66 c rational objective 6 8.16/8.54 c #Conflicts: 10000 | #Constraints: 3646 8.16/8.54 c #Conflicts: 11000 | #Constraints: 4647 8.16/8.54 c #Conflicts: 12000 | #Constraints: 5649 8.16/8.54 c INPROCESSING 8.16/8.54 c GARBAGE COLLECT 8.16/8.54 c rational objective 6 10.85/11.24 c #Conflicts: 13000 | #Constraints: 4097 10.85/11.24 c #Conflicts: 14000 | #Constraints: 5098 10.85/11.24 c #Conflicts: 15000 | #Constraints: 6100 10.85/11.24 c INPROCESSING 10.85/11.24 c GARBAGE COLLECT 10.85/11.24 c rational objective 6 15.14/15.59 c #Conflicts: 16000 | #Constraints: 4327 15.14/15.59 c #Conflicts: 17000 | #Constraints: 5330 15.14/15.59 c #Conflicts: 18000 | #Constraints: 6334 15.14/15.59 c INPROCESSING 15.14/15.59 c GARBAGE COLLECT 15.14/15.59 c rational objective 6 17.64/18.07 c #Conflicts: 19000 | #Constraints: 4352 17.64/18.07 c #Conflicts: 20000 | #Constraints: 5358 17.64/18.07 c #Conflicts: 21000 | #Constraints: 6362 17.64/18.07 c INPROCESSING 17.64/18.07 c GARBAGE COLLECT 17.64/18.07 c rational objective 6 21.12/21.56 c #Conflicts: 22000 | #Constraints: 4160 21.12/21.56 c #Conflicts: 23000 | #Constraints: 5164 21.12/21.56 c #Conflicts: 24000 | #Constraints: 6167 21.12/21.56 c #Conflicts: 25000 | #Constraints: 7170 21.12/21.56 c INPROCESSING 21.12/21.56 c GARBAGE COLLECT 21.12/21.56 c rational objective 6 24.62/25.07 c #Conflicts: 26000 | #Constraints: 4768 24.62/25.07 c #Conflicts: 27000 | #Constraints: 5772 24.62/25.07 c #Conflicts: 28000 | #Constraints: 6778 24.62/25.07 c #Conflicts: 29000 | #Constraints: 7783 24.62/25.07 c INPROCESSING 24.62/25.07 c GARBAGE COLLECT 24.62/25.07 c rational objective 6 27.99/28.47 c #Conflicts: 30000 | #Constraints: 5163 27.99/28.47 c #Conflicts: 31000 | #Constraints: 6170 27.99/28.47 c #Conflicts: 32000 | #Constraints: 7174 27.99/28.47 c #Conflicts: 33000 | #Constraints: 8179 27.99/28.47 c INPROCESSING 27.99/28.47 c GARBAGE COLLECT 27.99/28.47 c rational objective 6 32.98/33.40 c #Conflicts: 34000 | #Constraints: 5367 32.98/33.40 c #Conflicts: 35000 | #Constraints: 6369 32.98/33.40 c #Conflicts: 36000 | #Constraints: 7371 32.98/33.40 c #Conflicts: 37000 | #Constraints: 8373 32.98/33.40 c INPROCESSING 32.98/33.40 c GARBAGE COLLECT 32.98/33.40 c rational objective 6 37.46/38.00 c #Conflicts: 38000 | #Constraints: 5374 37.46/38.00 c #Conflicts: 39000 | #Constraints: 6376 37.46/38.00 c #Conflicts: 40000 | #Constraints: 7380 37.46/38.00 c #Conflicts: 41000 | #Constraints: 8380 37.46/38.00 c INPROCESSING 37.46/38.00 c GARBAGE COLLECT 37.46/38.00 c rational objective 6 44.64/45.16 c #Conflicts: 42000 | #Constraints: 5166 44.64/45.16 c #Conflicts: 43000 | #Constraints: 6172 44.64/45.16 c #Conflicts: 44000 | #Constraints: 7174 44.64/45.16 c #Conflicts: 45000 | #Constraints: 8177 44.64/45.16 c #Conflicts: 46000 | #Constraints: 9178 44.64/45.16 c INPROCESSING 44.64/45.16 c GARBAGE COLLECT 44.64/45.16 c rational objective 6 48.99/49.51 c #Conflicts: 47000 | #Constraints: 5756 48.99/49.51 c #Conflicts: 48000 | #Constraints: 6758 48.99/49.51 c #Conflicts: 49000 | #Constraints: 7760 48.99/49.51 c #Conflicts: 50000 | #Constraints: 8763 48.99/49.51 c #Conflicts: 51000 | #Constraints: 9765 48.99/49.51 c INPROCESSING 48.99/49.51 c GARBAGE COLLECT 48.99/49.51 c rational objective 6 53.37/54.00 c #Conflicts: 52000 | #Constraints: 6165 53.37/54.00 c #Conflicts: 53000 | #Constraints: 7165 53.37/54.00 c #Conflicts: 54000 | #Constraints: 8166 53.37/54.00 c #Conflicts: 55000 | #Constraints: 9170 53.37/54.00 c #Conflicts: 56000 | #Constraints: 10174 53.37/54.00 c INPROCESSING 53.37/54.00 c GARBAGE COLLECT 53.37/54.00 c rational objective 6 57.27/57.82 c #Conflicts: 57000 | #Constraints: 6359 57.27/57.82 c #Conflicts: 58000 | #Constraints: 7363 57.27/57.82 c #Conflicts: 59000 | #Constraints: 8365 57.27/57.82 c #Conflicts: 60000 | #Constraints: 9370 57.27/57.82 c #Conflicts: 61000 | #Constraints: 10375 57.27/57.82 c INPROCESSING 57.27/57.82 c GARBAGE COLLECT 57.27/57.82 c rational objective 6 61.65/62.26 c #Conflicts: 62000 | #Constraints: 6368 61.65/62.26 c #Conflicts: 63000 | #Constraints: 7371 61.65/62.26 c #Conflicts: 64000 | #Constraints: 8374 61.65/62.26 c #Conflicts: 65000 | #Constraints: 9380 61.65/62.26 c #Conflicts: 66000 | #Constraints: 10382 61.65/62.26 c INPROCESSING 61.65/62.26 c GARBAGE COLLECT 61.65/62.26 c rational objective 6 66.14/66.72 c #Conflicts: 67000 | #Constraints: 6160 66.14/66.72 c #Conflicts: 68000 | #Constraints: 7161 66.14/66.72 c #Conflicts: 69000 | #Constraints: 8163 66.14/66.72 c #Conflicts: 70000 | #Constraints: 9164 66.14/66.72 c #Conflicts: 71000 | #Constraints: 10167 66.14/66.72 c #Conflicts: 72000 | #Constraints: 11168 66.14/66.72 c INPROCESSING 66.14/66.72 c GARBAGE COLLECT 66.14/66.72 c rational objective 6 71.32/71.95 c #Conflicts: 73000 | #Constraints: 6758 71.32/71.95 c #Conflicts: 74000 | #Constraints: 7761 71.32/71.95 c #Conflicts: 75000 | #Constraints: 8762 71.32/71.95 c #Conflicts: 76000 | #Constraints: 9763 71.32/71.95 c #Conflicts: 77000 | #Constraints: 10768 71.32/71.95 c #Conflicts: 78000 | #Constraints: 11773 71.32/71.95 c INPROCESSING 71.32/71.95 c GARBAGE COLLECT 71.32/71.95 c rational objective 6 77.80/78.46 c #Conflicts: 79000 | #Constraints: 7160 77.80/78.46 c #Conflicts: 80000 | #Constraints: 8165 77.80/78.46 c #Conflicts: 81000 | #Constraints: 9168 77.80/78.46 c #Conflicts: 82000 | #Constraints: 10172 77.80/78.46 c #Conflicts: 83000 | #Constraints: 11175 77.80/78.46 c #Conflicts: 84000 | #Constraints: 12179 77.80/78.46 c INPROCESSING 77.80/78.46 c GARBAGE COLLECT 77.80/78.46 c rational objective 6 84.77/85.45 c #Conflicts: 85000 | #Constraints: 7376 84.77/85.45 c #Conflicts: 86000 | #Constraints: 8379 84.77/85.45 c #Conflicts: 87000 | #Constraints: 9381 84.77/85.45 c #Conflicts: 88000 | #Constraints: 10383 84.77/85.45 c #Conflicts: 89000 | #Constraints: 11384 84.77/85.45 c #Conflicts: 90000 | #Constraints: 12388 84.77/85.45 c INPROCESSING 84.77/85.45 c GARBAGE COLLECT 84.77/85.45 c rational objective 6 93.94/94.63 c #Conflicts: 91000 | #Constraints: 7375 93.94/94.63 c #Conflicts: 92000 | #Constraints: 8380 93.94/94.63 c #Conflicts: 93000 | #Constraints: 9382 93.94/94.63 c #Conflicts: 94000 | #Constraints: 10383 93.94/94.63 c #Conflicts: 95000 | #Constraints: 11384 93.94/94.63 c #Conflicts: 96000 | #Constraints: 12385 93.94/94.63 c INPROCESSING 93.94/94.63 c GARBAGE COLLECT 93.94/94.63 c rational objective 6 100.93/101.60 c #Conflicts: 97000 | #Constraints: 7171 100.93/101.60 c #Conflicts: 98000 | #Constraints: 8175 100.93/101.60 c #Conflicts: 99000 | #Constraints: 9177 100.93/101.60 c #Conflicts: 100000 | #Constraints: 10180 100.93/101.60 c #Conflicts: 101000 | #Constraints: 11182 100.93/101.60 c #Conflicts: 102000 | #Constraints: 12182 100.93/101.60 c #Conflicts: 103000 | #Constraints: 13186 100.93/101.60 c INPROCESSING 100.93/101.60 c GARBAGE COLLECT 100.93/101.60 c rational objective 6 107.60/108.37 c #Conflicts: 104000 | #Constraints: 7762 107.60/108.37 c #Conflicts: 105000 | #Constraints: 8766 107.60/108.37 c #Conflicts: 106000 | #Constraints: 9768 107.60/108.37 c #Conflicts: 107000 | #Constraints: 10771 107.60/108.37 c #Conflicts: 108000 | #Constraints: 11773 107.60/108.37 c #Conflicts: 109000 | #Constraints: 12778 107.60/108.37 c #Conflicts: 110000 | #Constraints: 13782 107.60/108.37 c INPROCESSING 107.60/108.37 c GARBAGE COLLECT 107.60/108.37 c rational objective 6 113.68/114.49 c #Conflicts: 111000 | #Constraints: 8160 113.68/114.49 c #Conflicts: 112000 | #Constraints: 9161 113.68/114.49 c #Conflicts: 113000 | #Constraints: 10164 113.68/114.49 c #Conflicts: 114000 | #Constraints: 11169 113.68/114.49 c #Conflicts: 115000 | #Constraints: 12172 113.68/114.49 c #Conflicts: 116000 | #Constraints: 13174 113.68/114.49 c #Conflicts: 117000 | #Constraints: 14182 113.68/114.49 c INPROCESSING 113.68/114.49 c GARBAGE COLLECT 113.68/114.49 c rational objective 6 119.66/120.44 c #Conflicts: 118000 | #Constraints: 8364 119.66/120.44 c #Conflicts: 119000 | #Constraints: 9366 119.66/120.44 c #Conflicts: 120000 | #Constraints: 10369 119.66/120.44 c #Conflicts: 121000 | #Constraints: 11370 119.66/120.44 c #Conflicts: 122000 | #Constraints: 12374 119.66/120.44 c #Conflicts: 123000 | #Constraints: 13378 119.66/120.44 c #Conflicts: 124000 | #Constraints: 14383 119.66/120.44 c INPROCESSING 119.66/120.44 c GARBAGE COLLECT 119.66/120.44 c rational objective 6 125.54/126.37 c #Conflicts: 125000 | #Constraints: 8362 125.54/126.37 c #Conflicts: 126000 | #Constraints: 9366 125.54/126.37 c #Conflicts: 127000 | #Constraints: 10369 125.54/126.37 c #Conflicts: 128000 | #Constraints: 11371 125.54/126.37 c #Conflicts: 129000 | #Constraints: 12373 125.54/126.37 c #Conflicts: 130000 | #Constraints: 13378 125.54/126.37 c #Conflicts: 131000 | #Constraints: 14382 125.54/126.37 c INPROCESSING 125.54/126.37 c GARBAGE COLLECT 125.54/126.37 c rational objective 6 131.72/132.56 c #Conflicts: 132000 | #Constraints: 8155 131.72/132.56 c #Conflicts: 133000 | #Constraints: 9155 131.72/132.56 c #Conflicts: 134000 | #Constraints: 10158 131.72/132.56 c #Conflicts: 135000 | #Constraints: 11160 131.72/132.56 c #Conflicts: 136000 | #Constraints: 12165 131.72/132.56 c #Conflicts: 137000 | #Constraints: 13169 131.72/132.56 c #Conflicts: 138000 | #Constraints: 14171 131.72/132.56 c #Conflicts: 139000 | #Constraints: 15173 131.72/132.56 c INPROCESSING 131.72/132.56 c GARBAGE COLLECT 131.72/132.56 c rational objective 6 147.47/148.35 c #Conflicts: 140000 | #Constraints: 8776 147.47/148.35 c #Conflicts: 141000 | #Constraints: 9778 147.47/148.35 c #Conflicts: 142000 | #Constraints: 10780 147.47/148.35 c #Conflicts: 143000 | #Constraints: 11782 147.47/148.35 c #Conflicts: 144000 | #Constraints: 12785 147.47/148.35 c #Conflicts: 145000 | #Constraints: 13786 147.47/148.35 c #Conflicts: 146000 | #Constraints: 14788 147.47/148.35 c #Conflicts: 147000 | #Constraints: 15789 147.47/148.35 c INPROCESSING 147.47/148.35 c GARBAGE COLLECT 147.47/148.35 c rational objective 6 154.65/155.54 c #Conflicts: 148000 | #Constraints: 9176 154.65/155.54 c #Conflicts: 149000 | #Constraints: 10179 154.65/155.54 c #Conflicts: 150000 | #Constraints: 11188 154.65/155.54 c #Conflicts: 151000 | #Constraints: 12193 154.65/155.54 c #Conflicts: 152000 | #Constraints: 13195 154.65/155.54 c #Conflicts: 153000 | #Constraints: 14200 154.65/155.54 c #Conflicts: 154000 | #Constraints: 15203 154.65/155.54 c #Conflicts: 155000 | #Constraints: 16205 154.65/155.54 c INPROCESSING 154.65/155.54 c GARBAGE COLLECT 154.65/155.54 c rational objective 6 162.62/163.52 c #Conflicts: 156000 | #Constraints: 9371 162.62/163.52 c #Conflicts: 157000 | #Constraints: 10379 162.62/163.52 c #Conflicts: 158000 | #Constraints: 11384 162.62/163.52 c #Conflicts: 159000 | #Constraints: 12387 162.62/163.52 c #Conflicts: 160000 | #Constraints: 13390 162.62/163.52 c #Conflicts: 161000 | #Constraints: 14393 162.62/163.52 c #Conflicts: 162000 | #Constraints: 15397 162.62/163.52 c #Conflicts: 163000 | #Constraints: 16401 162.62/163.52 c INPROCESSING 162.62/163.52 c GARBAGE COLLECT 162.62/163.52 c rational objective 6 169.79/170.75 c #Conflicts: 164000 | #Constraints: 9373 169.79/170.75 c #Conflicts: 165000 | #Constraints: 10379 169.79/170.75 c #Conflicts: 166000 | #Constraints: 11386 169.79/170.75 c #Conflicts: 167000 | #Constraints: 12393 169.79/170.75 c #Conflicts: 168000 | #Constraints: 13396 169.79/170.75 c #Conflicts: 169000 | #Constraints: 14398 169.79/170.75 c #Conflicts: 170000 | #Constraints: 15404 169.79/170.75 c #Conflicts: 171000 | #Constraints: 16408 169.79/170.75 c INPROCESSING 169.79/170.75 c GARBAGE COLLECT 169.79/170.75 c rational objective 6 177.86/178.89 c #Conflicts: 172000 | #Constraints: 9174 177.86/178.89 c #Conflicts: 173000 | #Constraints: 10175 177.86/178.89 c #Conflicts: 174000 | #Constraints: 11176 177.86/178.89 c #Conflicts: 175000 | #Constraints: 12179 177.86/178.89 c #Conflicts: 176000 | #Constraints: 13182 177.86/178.89 c #Conflicts: 177000 | #Constraints: 14186 177.86/178.89 c #Conflicts: 178000 | #Constraints: 15191 177.86/178.89 c #Conflicts: 179000 | #Constraints: 16198 177.86/178.89 c #Conflicts: 180000 | #Constraints: 17202 177.86/178.89 c INPROCESSING 177.86/178.89 c GARBAGE COLLECT 177.86/178.89 c rational objective 6 196.11/197.17 c #Conflicts: 181000 | #Constraints: 9774 196.11/197.17 c #Conflicts: 182000 | #Constraints: 10777 196.11/197.17 c #Conflicts: 183000 | #Constraints: 11778 196.11/197.17 c #Conflicts: 184000 | #Constraints: 12780 196.11/197.17 c #Conflicts: 185000 | #Constraints: 13783 196.11/197.17 c #Conflicts: 186000 | #Constraints: 14785 196.11/197.17 c #Conflicts: 187000 | #Constraints: 15786 196.11/197.17 c #Conflicts: 188000 | #Constraints: 16787 196.11/197.17 c #Conflicts: 189000 | #Constraints: 17792 196.11/197.17 c INPROCESSING 196.11/197.17 c GARBAGE COLLECT 196.11/197.17 c rational objective 6 209.25/210.37 c #Conflicts: 190000 | #Constraints: 10164 209.25/210.37 c #Conflicts: 191000 | #Constraints: 11169 209.25/210.37 c #Conflicts: 192000 | #Constraints: 12175 209.25/210.37 c #Conflicts: 193000 | #Constraints: 13177 209.25/210.37 c #Conflicts: 194000 | #Constraints: 14181 209.25/210.37 c #Conflicts: 195000 | #Constraints: 15189 209.25/210.37 c #Conflicts: 196000 | #Constraints: 16194 209.25/210.37 c #Conflicts: 197000 | #Constraints: 17202 209.25/210.37 c #Conflicts: 198000 | #Constraints: 18206 209.25/210.37 c INPROCESSING 209.25/210.37 c GARBAGE COLLECT 209.25/210.37 c rational objective 6 228.60/229.77 c #Conflicts: 199000 | #Constraints: 10405 228.60/229.77 c #Conflicts: 200000 | #Constraints: 11408 228.60/229.77 c #Conflicts: 201000 | #Constraints: 12416 228.60/229.77 c #Conflicts: 202000 | #Constraints: 13419 228.60/229.77 c #Conflicts: 203000 | #Constraints: 14421 228.60/229.77 c #Conflicts: 204000 | #Constraints: 15425 228.60/229.77 c #Conflicts: 205000 | #Constraints: 16434 228.60/229.77 c #Conflicts: 206000 | #Constraints: 17436 228.60/229.77 c #Conflicts: 207000 | #Constraints: 18438 228.60/229.77 c INPROCESSING 228.60/229.77 c GARBAGE COLLECT 228.60/229.77 c rational objective 6 244.25/245.41 c #Conflicts: 208000 | #Constraints: 10392 244.25/245.41 c #Conflicts: 209000 | #Constraints: 11396 244.25/245.41 c #Conflicts: 210000 | #Constraints: 12400 244.25/245.41 c #Conflicts: 211000 | #Constraints: 13402 244.25/245.41 c #Conflicts: 212000 | #Constraints: 14407 244.25/245.41 c #Conflicts: 213000 | #Constraints: 15411 244.25/245.41 c #Conflicts: 214000 | #Constraints: 16415 244.25/245.41 c #Conflicts: 215000 | #Constraints: 17418 244.25/245.41 c #Conflicts: 216000 | #Constraints: 18424 244.25/245.41 c INPROCESSING 244.25/245.41 c GARBAGE COLLECT 244.25/245.41 c rational objective 6 276.78/278.02 c #Conflicts: 217000 | #Constraints: 10210 276.78/278.02 c #Conflicts: 218000 | #Constraints: 11215 276.78/278.02 c #Conflicts: 219000 | #Constraints: 12219 276.78/278.02 c #Conflicts: 220000 | #Constraints: 13224 276.78/278.02 c #Conflicts: 221000 | #Constraints: 14227 276.78/278.02 c #Conflicts: 222000 | #Constraints: 15230 276.78/278.02 c #Conflicts: 223000 | #Constraints: 16233 276.78/278.02 c #Conflicts: 224000 | #Constraints: 17235 276.78/278.02 c #Conflicts: 225000 | #Constraints: 18239 276.78/278.02 c #Conflicts: 226000 | #Constraints: 19246 276.78/278.02 c INPROCESSING 276.78/278.02 c GARBAGE COLLECT 276.78/278.02 c rational objective 6 290.73/292.06 c #Conflicts: 227000 | #Constraints: 10813 290.73/292.06 c #Conflicts: 228000 | #Constraints: 11817 290.73/292.06 c #Conflicts: 229000 | #Constraints: 12826 290.73/292.06 c #Conflicts: 230000 | #Constraints: 13833 290.73/292.06 c #Conflicts: 231000 | #Constraints: 14837 290.73/292.06 c #Conflicts: 232000 | #Constraints: 15840 290.73/292.06 c #Conflicts: 233000 | #Constraints: 16842 290.73/292.06 c #Conflicts: 234000 | #Constraints: 17844 290.73/292.06 c #Conflicts: 235000 | #Constraints: 18851 290.73/292.06 c #Conflicts: 236000 | #Constraints: 19855 290.73/292.06 c INPROCESSING 290.73/292.06 c GARBAGE COLLECT 290.73/292.06 c rational objective 6 302.01/303.37 c #Conflicts: 237000 | #Constraints: 11216 302.01/303.37 c #Conflicts: 238000 | #Constraints: 12218 302.01/303.37 c #Conflicts: 239000 | #Constraints: 13221 302.01/303.37 c #Conflicts: 240000 | #Constraints: 14225 302.01/303.37 c #Conflicts: 241000 | #Constraints: 15228 302.01/303.37 c #Conflicts: 242000 | #Constraints: 16231 302.01/303.37 c #Conflicts: 243000 | #Constraints: 17234 302.01/303.37 c #Conflicts: 244000 | #Constraints: 18237 302.01/303.37 c #Conflicts: 245000 | #Constraints: 19240 302.01/303.37 c #Conflicts: 246000 | #Constraints: 20242 302.01/303.37 c INPROCESSING 302.01/303.37 c GARBAGE COLLECT 302.01/303.37 c rational objective 6 314.38/315.75 c #Conflicts: 247000 | #Constraints: 11399 314.38/315.75 c #Conflicts: 248000 | #Constraints: 12401 314.38/315.75 c #Conflicts: 249000 | #Constraints: 13404 314.38/315.75 c #Conflicts: 250000 | #Constraints: 14407 314.38/315.75 c #Conflicts: 251000 | #Constraints: 15410 314.38/315.75 c #Conflicts: 252000 | #Constraints: 16410 314.38/315.75 c #Conflicts: 253000 | #Constraints: 17412 314.38/315.75 c #Conflicts: 254000 | #Constraints: 18414 314.38/315.75 c #Conflicts: 255000 | #Constraints: 19414 314.38/315.75 c #Conflicts: 256000 | #Constraints: 20416 314.38/315.75 c INPROCESSING 314.38/315.75 c GARBAGE COLLECT 314.38/315.75 c rational objective 6 324.65/326.02 c #Conflicts: 257000 | #Constraints: 11376 324.65/326.02 c #Conflicts: 258000 | #Constraints: 12381 324.65/326.02 c #Conflicts: 259000 | #Constraints: 13383 324.65/326.02 c #Conflicts: 260000 | #Constraints: 14387 324.65/326.02 c #Conflicts: 261000 | #Constraints: 15390 324.65/326.02 c #Conflicts: 262000 | #Constraints: 16391 324.65/326.02 c #Conflicts: 263000 | #Constraints: 17393 324.65/326.02 c #Conflicts: 264000 | #Constraints: 18395 324.65/326.02 c #Conflicts: 265000 | #Constraints: 19406 324.65/326.02 c #Conflicts: 266000 | #Constraints: 20414 324.65/326.02 c INPROCESSING 324.65/326.02 c GARBAGE COLLECT 324.65/326.02 c rational objective 6 338.21/339.68 c #Conflicts: 267000 | #Constraints: 11174 338.21/339.68 c #Conflicts: 268000 | #Constraints: 12181 338.21/339.68 c #Conflicts: 269000 | #Constraints: 13183 338.21/339.68 c #Conflicts: 270000 | #Constraints: 14185 338.21/339.68 c #Conflicts: 271000 | #Constraints: 15187 338.21/339.68 c #Conflicts: 272000 | #Constraints: 16189 338.21/339.68 c #Conflicts: 273000 | #Constraints: 17195 338.21/339.68 c #Conflicts: 274000 | #Constraints: 18196 338.21/339.68 c #Conflicts: 275000 | #Constraints: 19198 338.21/339.68 c #Conflicts: 276000 | #Constraints: 20206 338.21/339.68 c #Conflicts: 277000 | #Constraints: 21210 338.21/339.68 c INPROCESSING 338.21/339.68 c GARBAGE COLLECT 338.21/339.68 c rational objective 6 350.88/352.35 c #Conflicts: 278000 | #Constraints: 11783 350.88/352.35 c #Conflicts: 279000 | #Constraints: 12786 350.88/352.35 c #Conflicts: 280000 | #Constraints: 13788 350.88/352.35 c #Conflicts: 281000 | #Constraints: 14791 350.88/352.35 c #Conflicts: 282000 | #Constraints: 15792 350.88/352.35 c #Conflicts: 283000 | #Constraints: 16794 350.88/352.35 c #Conflicts: 284000 | #Constraints: 17797 350.88/352.35 c #Conflicts: 285000 | #Constraints: 18799 350.88/352.35 c #Conflicts: 286000 | #Constraints: 19802 350.88/352.35 c #Conflicts: 287000 | #Constraints: 20805 350.88/352.35 c #Conflicts: 288000 | #Constraints: 21807 350.88/352.35 c INPROCESSING 350.88/352.35 c GARBAGE COLLECT 350.88/352.35 c rational objective 6 369.03/370.52 c #Conflicts: 289000 | #Constraints: 12177 369.03/370.52 c #Conflicts: 290000 | #Constraints: 13179 369.03/370.52 c #Conflicts: 291000 | #Constraints: 14182 369.03/370.52 c #Conflicts: 292000 | #Constraints: 15191 369.03/370.52 c #Conflicts: 293000 | #Constraints: 16197 369.03/370.52 c #Conflicts: 294000 | #Constraints: 17200 369.03/370.52 c #Conflicts: 295000 | #Constraints: 18202 369.03/370.52 c #Conflicts: 296000 | #Constraints: 19203 369.03/370.52 c #Conflicts: 297000 | #Constraints: 20210 369.03/370.52 c #Conflicts: 298000 | #Constraints: 21210 369.03/370.52 c #Conflicts: 299000 | #Constraints: 22211 369.03/370.52 c INPROCESSING 369.03/370.52 c GARBAGE COLLECT 369.03/370.52 c rational objective 6 386.69/388.28 c #Conflicts: 300000 | #Constraints: 12374 386.69/388.28 c #Conflicts: 301000 | #Constraints: 13375 386.69/388.28 c #Conflicts: 302000 | #Constraints: 14378 386.69/388.28 c #Conflicts: 303000 | #Constraints: 15381 386.69/388.28 c #Conflicts: 304000 | #Constraints: 16381 386.69/388.28 c #Conflicts: 305000 | #Constraints: 17383 386.69/388.28 c #Conflicts: 306000 | #Constraints: 18384 386.69/388.28 c #Conflicts: 307000 | #Constraints: 19392 386.69/388.28 c #Conflicts: 308000 | #Constraints: 20394 386.69/388.28 c #Conflicts: 309000 | #Constraints: 21400 386.69/388.28 c #Conflicts: 310000 | #Constraints: 22404 386.69/388.28 c INPROCESSING 386.69/388.28 c GARBAGE COLLECT 386.69/388.28 c rational objective 6 425.95/427.61 c #Conflicts: 311000 | #Constraints: 12379 425.95/427.61 c #Conflicts: 312000 | #Constraints: 13381 425.95/427.61 c #Conflicts: 313000 | #Constraints: 14391 425.95/427.61 c #Conflicts: 314000 | #Constraints: 15399 425.95/427.61 c #Conflicts: 315000 | #Constraints: 16400 425.95/427.61 c #Conflicts: 316000 | #Constraints: 17401 425.95/427.61 c #Conflicts: 317000 | #Constraints: 18410 425.95/427.61 c #Conflicts: 318000 | #Constraints: 19415 425.95/427.61 c #Conflicts: 319000 | #Constraints: 20419 425.95/427.61 c #Conflicts: 320000 | #Constraints: 21420 425.95/427.61 c #Conflicts: 321000 | #Constraints: 22421 425.95/427.61 c INPROCESSING 425.95/427.61 c GARBAGE COLLECT 425.95/427.61 c rational objective 6 486.47/488.32 c #Conflicts: 322000 | #Constraints: 12212 486.47/488.32 c #Conflicts: 323000 | #Constraints: 13217 486.47/488.32 c #Conflicts: 324000 | #Constraints: 14221 486.47/488.32 c #Conflicts: 325000 | #Constraints: 15224 486.47/488.32 c #Conflicts: 326000 | #Constraints: 16230 486.47/488.32 c #Conflicts: 327000 | #Constraints: 17231 486.47/488.32 c #Conflicts: 328000 | #Constraints: 18234 486.47/488.32 c #Conflicts: 329000 | #Constraints: 19238 486.47/488.32 c #Conflicts: 330000 | #Constraints: 20241 486.47/488.32 c #Conflicts: 331000 | #Constraints: 21244 486.47/488.32 c #Conflicts: 332000 | #Constraints: 22247 486.47/488.32 c #Conflicts: 333000 | #Constraints: 23249 486.47/488.32 c INPROCESSING 486.47/488.32 c GARBAGE COLLECT 486.47/488.32 c rational objective 6 502.62/504.51 c #Conflicts: 334000 | #Constraints: 12800 502.62/504.51 c #Conflicts: 335000 | #Constraints: 13802 502.62/504.51 c #Conflicts: 336000 | #Constraints: 14805 502.62/504.51 c #Conflicts: 337000 | #Constraints: 15807 502.62/504.51 c #Conflicts: 338000 | #Constraints: 16809 502.62/504.51 c #Conflicts: 339000 | #Constraints: 17811 502.62/504.51 c #Conflicts: 340000 | #Constraints: 18813 502.62/504.51 c #Conflicts: 341000 | #Constraints: 19815 502.62/504.51 c #Conflicts: 342000 | #Constraints: 20817 502.62/504.51 c #Conflicts: 343000 | #Constraints: 21822 502.62/504.51 c #Conflicts: 344000 | #Constraints: 22824 502.62/504.51 c #Conflicts: 345000 | #Constraints: 23829 502.62/504.51 c INPROCESSING 502.62/504.51 c GARBAGE COLLECT 502.62/504.51 c rational objective 6 522.27/524.26 c #Conflicts: 346000 | #Constraints: 13186 522.27/524.26 c #Conflicts: 347000 | #Constraints: 14186 522.27/524.26 c #Conflicts: 348000 | #Constraints: 15188 522.27/524.26 c #Conflicts: 349000 | #Constraints: 16190 522.27/524.26 c #Conflicts: 350000 | #Constraints: 17196 522.27/524.26 c #Conflicts: 351000 | #Constraints: 18206 522.27/524.26 c #Conflicts: 352000 | #Constraints: 19208 522.27/524.26 c #Conflicts: 353000 | #Constraints: 20213 522.27/524.26 c #Conflicts: 354000 | #Constraints: 21217 522.27/524.26 c #Conflicts: 355000 | #Constraints: 22218 522.27/524.26 c #Conflicts: 356000 | #Constraints: 23219 522.27/524.26 c #Conflicts: 357000 | #Constraints: 24220 522.27/524.26 c INPROCESSING 522.27/524.26 c GARBAGE COLLECT 522.27/524.26 c rational objective 6 539.50/541.59 c #Conflicts: 358000 | #Constraints: 13388 539.50/541.59 c #Conflicts: 359000 | #Constraints: 14397 539.50/541.59 c #Conflicts: 360000 | #Constraints: 15401 539.50/541.59 c #Conflicts: 361000 | #Constraints: 16405 539.50/541.59 c #Conflicts: 362000 | #Constraints: 17409 539.50/541.59 c #Conflicts: 363000 | #Constraints: 18417 539.50/541.59 c #Conflicts: 364000 | #Constraints: 19420 539.50/541.59 c #Conflicts: 365000 | #Constraints: 20424 539.50/541.59 c #Conflicts: 366000 | #Constraints: 21426 539.50/541.59 c #Conflicts: 367000 | #Constraints: 22427 539.50/541.59 c #Conflicts: 368000 | #Constraints: 23430 539.50/541.59 c #Conflicts: 369000 | #Constraints: 24435 539.50/541.59 c INPROCESSING 539.50/541.59 c GARBAGE COLLECT 539.50/541.59 c rational objective 6 583.56/585.74 c #Conflicts: 370000 | #Constraints: 13394 583.56/585.74 c #Conflicts: 371000 | #Constraints: 14397 583.56/585.74 c #Conflicts: 372000 | #Constraints: 15398 583.56/585.74 c #Conflicts: 373000 | #Constraints: 16409 583.56/585.74 c #Conflicts: 374000 | #Constraints: 17419 583.56/585.74 c #Conflicts: 375000 | #Constraints: 18422 583.56/585.74 c #Conflicts: 376000 | #Constraints: 19425 583.56/585.74 c #Conflicts: 377000 | #Constraints: 20428 583.56/585.74 c #Conflicts: 378000 | #Constraints: 21429 583.56/585.74 c #Conflicts: 379000 | #Constraints: 22431 583.56/585.74 c #Conflicts: 380000 | #Constraints: 23433 583.56/585.74 c #Conflicts: 381000 | #Constraints: 24435 583.56/585.74 c INPROCESSING 583.56/585.74 c GARBAGE COLLECT 583.56/585.74 c rational objective 6 607.58/609.81 c #Conflicts: 382000 | #Constraints: 13193 607.58/609.81 c #Conflicts: 383000 | #Constraints: 14195 607.58/609.81 c #Conflicts: 384000 | #Constraints: 15197 607.58/609.81 c #Conflicts: 385000 | #Constraints: 16200 607.58/609.81 c #Conflicts: 386000 | #Constraints: 17201 607.58/609.81 c #Conflicts: 387000 | #Constraints: 18205 607.58/609.81 c #Conflicts: 388000 | #Constraints: 19206 607.58/609.81 c #Conflicts: 389000 | #Constraints: 20208 607.58/609.81 c #Conflicts: 390000 | #Constraints: 21209 607.58/609.81 c #Conflicts: 391000 | #Constraints: 22215 607.58/609.81 c #Conflicts: 392000 | #Constraints: 23217 607.58/609.81 c #Conflicts: 393000 | #Constraints: 24220 607.58/609.81 c #Conflicts: 394000 | #Constraints: 25223 607.58/609.81 c INPROCESSING 607.58/609.81 c GARBAGE COLLECT 607.58/609.81 c rational objective 6 630.32/632.63 c #Conflicts: 395000 | #Constraints: 13781 630.32/632.63 c #Conflicts: 396000 | #Constraints: 14785 630.32/632.63 c #Conflicts: 397000 | #Constraints: 15789 630.32/632.63 c #Conflicts: 398000 | #Constraints: 16793 630.32/632.63 c #Conflicts: 399000 | #Constraints: 17793 630.32/632.63 c #Conflicts: 400000 | #Constraints: 18793 630.32/632.63 c #Conflicts: 401000 | #Constraints: 19795 630.32/632.63 c #Conflicts: 402000 | #Constraints: 20795 630.32/632.63 c #Conflicts: 403000 | #Constraints: 21799 630.32/632.63 c #Conflicts: 404000 | #Constraints: 22808 630.32/632.63 c #Conflicts: 405000 | #Constraints: 23810 630.32/632.63 c #Conflicts: 406000 | #Constraints: 24811 630.32/632.63 c #Conflicts: 407000 | #Constraints: 25814 630.32/632.63 c INPROCESSING 630.32/632.63 c GARBAGE COLLECT 630.32/632.63 c rational objective 6 653.45/655.89 c #Conflicts: 408000 | #Constraints: 14185 653.45/655.89 c #Conflicts: 409000 | #Constraints: 15186 653.45/655.89 c #Conflicts: 410000 | #Constraints: 16190 653.45/655.89 c #Conflicts: 411000 | #Constraints: 17194 653.45/655.89 c #Conflicts: 412000 | #Constraints: 18199 653.45/655.89 c #Conflicts: 413000 | #Constraints: 19202 653.45/655.89 c #Conflicts: 414000 | #Constraints: 20206 653.45/655.89 c #Conflicts: 415000 | #Constraints: 21212 653.45/655.89 c #Conflicts: 416000 | #Constraints: 22218 653.45/655.89 c #Conflicts: 417000 | #Constraints: 23221 653.45/655.89 c #Conflicts: 418000 | #Constraints: 24224 653.45/655.89 c #Conflicts: 419000 | #Constraints: 25227 653.45/655.89 c #Conflicts: 420000 | #Constraints: 26231 653.45/655.89 c INPROCESSING 653.45/655.89 c GARBAGE COLLECT 653.45/655.89 c rational objective 6 698.52/701.08 c #Conflicts: 421000 | #Constraints: 14428 698.52/701.08 c #Conflicts: 422000 | #Constraints: 15430 698.52/701.08 c #Conflicts: 423000 | #Constraints: 16432 698.52/701.08 c #Conflicts: 424000 | #Constraints: 17433 698.52/701.08 c #Conflicts: 425000 | #Constraints: 18433 698.52/701.08 c #Conflicts: 426000 | #Constraints: 19434 698.52/701.08 c #Conflicts: 427000 | #Constraints: 20435 698.52/701.08 c #Conflicts: 428000 | #Constraints: 21436 698.52/701.08 c #Conflicts: 429000 | #Constraints: 22437 698.52/701.08 c #Conflicts: 430000 | #Constraints: 23438 698.52/701.08 c #Conflicts: 431000 | #Constraints: 24440 698.52/701.08 c #Conflicts: 432000 | #Constraints: 25440 698.52/701.08 c #Conflicts: 433000 | #Constraints: 26440 698.52/701.08 c INPROCESSING 698.52/701.08 c GARBAGE COLLECT 698.52/701.08 c rational objective 6 725.83/728.45 c #Conflicts: 434000 | #Constraints: 14417 725.83/728.45 c #Conflicts: 435000 | #Constraints: 15417 725.83/728.45 c #Conflicts: 436000 | #Constraints: 16417 725.83/728.45 c #Conflicts: 437000 | #Constraints: 17417 725.83/728.45 c #Conflicts: 438000 | #Constraints: 18419 725.83/728.45 c #Conflicts: 439000 | #Constraints: 19420 725.83/728.45 c #Conflicts: 440000 | #Constraints: 20422 725.83/728.45 c #Conflicts: 441000 | #Constraints: 21422 725.83/728.45 c #Conflicts: 442000 | #Constraints: 22422 725.83/728.45 c #Conflicts: 443000 | #Constraints: 23425 725.83/728.45 c #Conflicts: 444000 | #Constraints: 24430 725.83/728.45 c #Conflicts: 445000 | #Constraints: 25431 725.83/728.45 c #Conflicts: 446000 | #Constraints: 26434 725.83/728.45 c INPROCESSING 725.83/728.45 c GARBAGE COLLECT 725.83/728.45 c rational objective 6 779.87/782.68 c #Conflicts: 447000 | #Constraints: 14196 779.87/782.68 c #Conflicts: 448000 | #Constraints: 15198 779.87/782.68 c #Conflicts: 449000 | #Constraints: 16200 779.87/782.68 c #Conflicts: 450000 | #Constraints: 17203 779.87/782.68 c #Conflicts: 451000 | #Constraints: 18210 779.87/782.68 c #Conflicts: 452000 | #Constraints: 19214 779.87/782.68 c #Conflicts: 453000 | #Constraints: 20219 779.87/782.68 c #Conflicts: 454000 | #Constraints: 21221 779.87/782.68 c #Conflicts: 455000 | #Constraints: 22223 779.87/782.68 c #Conflicts: 456000 | #Constraints: 23230 779.87/782.68 c #Conflicts: 457000 | #Constraints: 24232 779.87/782.68 c #Conflicts: 458000 | #Constraints: 25239 779.87/782.68 c #Conflicts: 459000 | #Constraints: 26243 779.87/782.68 c #Conflicts: 460000 | #Constraints: 27243 779.87/782.68 c INPROCESSING 779.87/782.68 c GARBAGE COLLECT 779.87/782.68 c rational objective 6 823.94/826.88 c #Conflicts: 461000 | #Constraints: 14815 823.94/826.88 c #Conflicts: 462000 | #Constraints: 15820 823.94/826.88 c #Conflicts: 463000 | #Constraints: 16823 823.94/826.88 c #Conflicts: 464000 | #Constraints: 17830 823.94/826.88 c #Conflicts: 465000 | #Constraints: 18832 823.94/826.88 c #Conflicts: 466000 | #Constraints: 19837 823.94/826.88 c #Conflicts: 467000 | #Constraints: 20840 823.94/826.88 c #Conflicts: 468000 | #Constraints: 21843 823.94/826.88 c #Conflicts: 469000 | #Constraints: 22849 823.94/826.88 c #Conflicts: 470000 | #Constraints: 23853 823.94/826.88 c #Conflicts: 471000 | #Constraints: 24855 823.94/826.88 c #Conflicts: 472000 | #Constraints: 25859 823.94/826.88 c #Conflicts: 473000 | #Constraints: 26864 823.94/826.88 c #Conflicts: 474000 | #Constraints: 27868 823.94/826.88 c INPROCESSING 823.94/826.88 c GARBAGE COLLECT 823.94/826.88 c rational objective 6 846.77/849.76 c #Conflicts: 475000 | #Constraints: 15249 846.77/849.76 c #Conflicts: 476000 | #Constraints: 16258 846.77/849.76 c #Conflicts: 477000 | #Constraints: 17262 846.77/849.76 c #Conflicts: 478000 | #Constraints: 18263 846.77/849.76 c #Conflicts: 479000 | #Constraints: 19267 846.77/849.76 c #Conflicts: 480000 | #Constraints: 20275 846.77/849.76 c #Conflicts: 481000 | #Constraints: 21281 846.77/849.76 c #Conflicts: 482000 | #Constraints: 22284 846.77/849.76 c #Conflicts: 483000 | #Constraints: 23284 846.77/849.76 c #Conflicts: 484000 | #Constraints: 24287 846.77/849.76 c #Conflicts: 485000 | #Constraints: 25288 846.77/849.76 c #Conflicts: 486000 | #Constraints: 26290 846.77/849.76 c #Conflicts: 487000 | #Constraints: 27292 846.77/849.76 c #Conflicts: 488000 | #Constraints: 28293 846.77/849.76 c INPROCESSING 846.77/849.76 c GARBAGE COLLECT 846.77/849.76 c rational objective 6 927.11/930.35 c #Conflicts: 489000 | #Constraints: 15441 927.11/930.35 c #Conflicts: 490000 | #Constraints: 16448 927.11/930.35 c #Conflicts: 491000 | #Constraints: 17451 927.11/930.35 c #Conflicts: 492000 | #Constraints: 18454 927.11/930.35 c #Conflicts: 493000 | #Constraints: 19457 927.11/930.35 c #Conflicts: 494000 | #Constraints: 20458 927.11/930.35 c #Conflicts: 495000 | #Constraints: 21463 927.11/930.35 c #Conflicts: 496000 | #Constraints: 22465 927.11/930.35 c #Conflicts: 497000 | #Constraints: 23468 927.11/930.35 c #Conflicts: 498000 | #Constraints: 24470 927.11/930.35 c #Conflicts: 499000 | #Constraints: 25472 927.11/930.35 c #Conflicts: 500000 | #Constraints: 26473 927.11/930.35 c #Conflicts: 501000 | #Constraints: 27474 927.11/930.35 c #Conflicts: 502000 | #Constraints: 28476 927.11/930.35 c INPROCESSING 927.11/930.35 c GARBAGE COLLECT 927.11/930.35 c rational objective 6 975.17/978.58 c #Conflicts: 503000 | #Constraints: 15440 975.17/978.58 c #Conflicts: 504000 | #Constraints: 16444 975.17/978.58 c #Conflicts: 505000 | #Constraints: 17448 975.17/978.58 c #Conflicts: 506000 | #Constraints: 18451 975.17/978.58 c #Conflicts: 507000 | #Constraints: 19453 975.17/978.58 c #Conflicts: 508000 | #Constraints: 20455 975.17/978.58 c #Conflicts: 509000 | #Constraints: 21458 975.17/978.58 c #Conflicts: 510000 | #Constraints: 22458 975.17/978.58 c #Conflicts: 511000 | #Constraints: 23460 975.17/978.58 c #Conflicts: 512000 | #Constraints: 24461 975.17/978.58 c #Conflicts: 513000 | #Constraints: 25465 975.17/978.58 c #Conflicts: 514000 | #Constraints: 26471 975.17/978.58 c #Conflicts: 515000 | #Constraints: 27476 975.17/978.58 c #Conflicts: 516000 | #Constraints: 28479 975.17/978.58 c INPROCESSING 975.17/978.58 c GARBAGE COLLECT 975.17/978.58 c rational objective 6 1004.28/1007.77 c #Conflicts: 517000 | #Constraints: 15209 1004.28/1007.77 c #Conflicts: 518000 | #Constraints: 16210 1004.28/1007.77 c #Conflicts: 519000 | #Constraints: 17211 1004.28/1007.77 c #Conflicts: 520000 | #Constraints: 18216 1004.28/1007.77 c #Conflicts: 521000 | #Constraints: 19219 1004.28/1007.77 c #Conflicts: 522000 | #Constraints: 20221 1004.28/1007.77 c #Conflicts: 523000 | #Constraints: 21223 1004.28/1007.77 c #Conflicts: 524000 | #Constraints: 22225 1004.28/1007.77 c #Conflicts: 525000 | #Constraints: 23227 1004.28/1007.77 c #Conflicts: 526000 | #Constraints: 24235 1004.28/1007.77 c #Conflicts: 527000 | #Constraints: 25236 1004.28/1007.77 c #Conflicts: 528000 | #Constraints: 26238 1004.28/1007.77 c #Conflicts: 529000 | #Constraints: 27239 1004.28/1007.77 c #Conflicts: 530000 | #Constraints: 28239 1004.28/1007.77 c #Conflicts: 531000 | #Constraints: 29240 1004.28/1007.77 c INPROCESSING 1004.28/1007.77 c GARBAGE COLLECT 1004.28/1007.77 c rational objective 6 1030.20/1033.77 c #Conflicts: 532000 | #Constraints: 15791 1030.20/1033.77 c #Conflicts: 533000 | #Constraints: 16793 1030.20/1033.77 c #Conflicts: 534000 | #Constraints: 17797 1030.20/1033.77 c #Conflicts: 535000 | #Constraints: 18803 1030.20/1033.77 c #Conflicts: 536000 | #Constraints: 19805 1030.20/1033.77 c #Conflicts: 537000 | #Constraints: 20808 1030.20/1033.77 c #Conflicts: 538000 | #Constraints: 21811 1030.20/1033.77 c #Conflicts: 539000 | #Constraints: 22811 1030.20/1033.77 c #Conflicts: 540000 | #Constraints: 23812 1030.20/1033.77 c #Conflicts: 541000 | #Constraints: 24817 1030.20/1033.77 c #Conflicts: 542000 | #Constraints: 25820 1030.20/1033.77 c #Conflicts: 543000 | #Constraints: 26823 1030.20/1033.77 c #Conflicts: 544000 | #Constraints: 27824 1030.20/1033.77 c #Conflicts: 545000 | #Constraints: 28827 1030.20/1033.77 c #Conflicts: 546000 | #Constraints: 29828 1030.20/1033.77 c INPROCESSING 1030.20/1033.77 c GARBAGE COLLECT 1030.20/1033.77 c rational objective 6 1070.68/1074.39 c #Conflicts: 547000 | #Constraints: 16193 1070.68/1074.39 c #Conflicts: 548000 | #Constraints: 17194 1070.68/1074.39 c #Conflicts: 549000 | #Constraints: 18198 1070.68/1074.39 c #Conflicts: 550000 | #Constraints: 19200 1070.68/1074.39 c #Conflicts: 551000 | #Constraints: 20202 1070.68/1074.39 c #Conflicts: 552000 | #Constraints: 21204 1070.68/1074.39 c #Conflicts: 553000 | #Constraints: 22207 1070.68/1074.39 c #Conflicts: 554000 | #Constraints: 23211 1070.68/1074.39 c #Conflicts: 555000 | #Constraints: 24214 1070.68/1074.39 c #Conflicts: 556000 | #Constraints: 25215 1070.68/1074.39 c #Conflicts: 557000 | #Constraints: 26219 1070.68/1074.39 c #Conflicts: 558000 | #Constraints: 27221 1070.68/1074.39 c #Conflicts: 559000 | #Constraints: 28223 1070.68/1074.39 c #Conflicts: 560000 | #Constraints: 29227 1070.68/1074.39 c #Conflicts: 561000 | #Constraints: 30230 1070.68/1074.39 c INPROCESSING 1070.68/1074.39 c GARBAGE COLLECT 1070.68/1074.39 c rational objective 6 1101.09/1104.85 c #Conflicts: 562000 | #Constraints: 16385 1101.09/1104.85 c #Conflicts: 563000 | #Constraints: 17387 1101.09/1104.85 c #Conflicts: 564000 | #Constraints: 18392 1101.09/1104.85 c #Conflicts: 565000 | #Constraints: 19396 1101.09/1104.85 c #Conflicts: 566000 | #Constraints: 20398 1101.09/1104.85 c #Conflicts: 567000 | #Constraints: 21399 1101.09/1104.85 c #Conflicts: 568000 | #Constraints: 22401 1101.09/1104.85 c #Conflicts: 569000 | #Constraints: 23404 1101.09/1104.85 c #Conflicts: 570000 | #Constraints: 24407 1101.09/1104.85 c #Conflicts: 571000 | #Constraints: 25408 1101.09/1104.85 c #Conflicts: 572000 | #Constraints: 26411 1101.09/1104.85 c #Conflicts: 573000 | #Constraints: 27412 1101.09/1104.85 c #Conflicts: 574000 | #Constraints: 28413 1101.09/1104.85 c #Conflicts: 575000 | #Constraints: 29416 1101.09/1104.85 c #Conflicts: 576000 | #Constraints: 30417 1101.09/1104.85 c INPROCESSING 1101.09/1104.85 c GARBAGE COLLECT 1101.09/1104.85 c rational objective 6 1142.46/1146.31 c #Conflicts: 577000 | #Constraints: 16380 1142.46/1146.31 c #Conflicts: 578000 | #Constraints: 17383 1142.46/1146.31 c #Conflicts: 579000 | #Constraints: 18385 1142.46/1146.31 c #Conflicts: 580000 | #Constraints: 19388 1142.46/1146.31 c #Conflicts: 581000 | #Constraints: 20392 1142.46/1146.31 c #Conflicts: 582000 | #Constraints: 21396 1142.46/1146.31 c #Conflicts: 583000 | #Constraints: 22399 1142.46/1146.31 c #Conflicts: 584000 | #Constraints: 23399 1142.46/1146.31 c #Conflicts: 585000 | #Constraints: 24404 1142.46/1146.31 c #Conflicts: 586000 | #Constraints: 25408 1142.46/1146.31 c #Conflicts: 587000 | #Constraints: 26409 1142.46/1146.31 c #Conflicts: 588000 | #Constraints: 27410 1142.46/1146.31 c #Conflicts: 589000 | #Constraints: 28416 1142.46/1146.31 c #Conflicts: 590000 | #Constraints: 29417 1142.46/1146.31 c #Conflicts: 591000 | #Constraints: 30419 1142.46/1146.31 c INPROCESSING 1142.46/1146.31 c GARBAGE COLLECT 1142.46/1146.31 c rational objective 6 1193.91/1197.91 c #Conflicts: 592000 | #Constraints: 16207 1193.91/1197.91 c #Conflicts: 593000 | #Constraints: 17210 1193.91/1197.91 c #Conflicts: 594000 | #Constraints: 18212 1193.91/1197.91 c #Conflicts: 595000 | #Constraints: 19216 1193.91/1197.91 c #Conflicts: 596000 | #Constraints: 20217 1193.91/1197.91 c #Conflicts: 597000 | #Constraints: 21226 1193.91/1197.91 c #Conflicts: 598000 | #Constraints: 22238 1193.91/1197.91 c #Conflicts: 599000 | #Constraints: 23248 1193.91/1197.91 c #Conflicts: 600000 | #Constraints: 24253 1193.91/1197.91 c #Conflicts: 601000 | #Constraints: 25257 1193.91/1197.91 c #Conflicts: 602000 | #Constraints: 26260 1193.91/1197.91 c #Conflicts: 603000 | #Constraints: 27265 1193.91/1197.91 c #Conflicts: 604000 | #Constraints: 28268 1193.91/1197.91 c #Conflicts: 605000 | #Constraints: 29273 1193.91/1197.91 c #Conflicts: 606000 | #Constraints: 30279 1193.91/1197.91 c #Conflicts: 607000 | #Constraints: 31282 1193.91/1197.91 c INPROCESSING 1193.91/1197.91 c GARBAGE COLLECT 1193.91/1197.91 c rational objective 6 1239.10/1243.28 c #Conflicts: 608000 | #Constraints: 16825 1239.10/1243.28 c #Conflicts: 609000 | #Constraints: 17826 1239.10/1243.28 c #Conflicts: 610000 | #Constraints: 18831 1239.10/1243.28 c #Conflicts: 611000 | #Constraints: 19834 1239.10/1243.28 c #Conflicts: 612000 | #Constraints: 20836 1239.10/1243.28 c #Conflicts: 613000 | #Constraints: 21838 1239.10/1243.28 c #Conflicts: 614000 | #Constraints: 22840 1239.10/1243.28 c #Conflicts: 615000 | #Constraints: 23844 1239.10/1243.28 c #Conflicts: 616000 | #Constraints: 24847 1239.10/1243.28 c #Conflicts: 617000 | #Constraints: 25853 1239.10/1243.28 c #Conflicts: 618000 | #Constraints: 26856 1239.10/1243.28 c #Conflicts: 619000 | #Constraints: 27858 1239.10/1243.28 c #Conflicts: 620000 | #Constraints: 28859 1239.10/1243.28 c #Conflicts: 621000 | #Constraints: 29859 1239.10/1243.28 c #Conflicts: 622000 | #Constraints: 30862 1239.10/1243.28 c #Conflicts: 623000 | #Constraints: 31864 1239.10/1243.28 c INPROCESSING 1239.10/1243.28 c GARBAGE COLLECT 1239.10/1243.28 c rational objective 6 1284.54/1288.84 c #Conflicts: 624000 | #Constraints: 17220 1284.54/1288.84 c #Conflicts: 625000 | #Constraints: 18222 1284.54/1288.84 c #Conflicts: 626000 | #Constraints: 19223 1284.54/1288.84 c #Conflicts: 627000 | #Constraints: 20224 1284.54/1288.84 c #Conflicts: 628000 | #Constraints: 21231 1284.54/1288.84 c #Conflicts: 629000 | #Constraints: 22232 1284.54/1288.84 c #Conflicts: 630000 | #Constraints: 23234 1284.54/1288.84 c #Conflicts: 631000 | #Constraints: 24241 1284.54/1288.84 c #Conflicts: 632000 | #Constraints: 25249 1284.54/1288.84 c #Conflicts: 633000 | #Constraints: 26258 1284.54/1288.84 c #Conflicts: 634000 | #Constraints: 27260 1284.54/1288.84 c #Conflicts: 635000 | #Constraints: 28262 1284.54/1288.84 c #Conflicts: 636000 | #Constraints: 29264 1284.54/1288.84 c #Conflicts: 637000 | #Constraints: 30267 1284.54/1288.84 c #Conflicts: 638000 | #Constraints: 31271 1284.54/1288.84 c #Conflicts: 639000 | #Constraints: 32272 1284.54/1288.84 c INPROCESSING 1284.54/1288.84 c GARBAGE COLLECT 1284.54/1288.84 c rational objective 6 1338.08/1342.58 c #Conflicts: 640000 | #Constraints: 17428 1338.08/1342.58 c #Conflicts: 641000 | #Constraints: 18430 1338.08/1342.58 c #Conflicts: 642000 | #Constraints: 19435 1338.08/1342.58 c #Conflicts: 643000 | #Constraints: 20436 1338.08/1342.58 c #Conflicts: 644000 | #Constraints: 21439 1338.08/1342.58 c #Conflicts: 645000 | #Constraints: 22445 1338.08/1342.58 c #Conflicts: 646000 | #Constraints: 23446 1338.08/1342.58 c #Conflicts: 647000 | #Constraints: 24448 1338.08/1342.58 c #Conflicts: 648000 | #Constraints: 25449 1338.08/1342.58 c #Conflicts: 649000 | #Constraints: 26451 1338.08/1342.58 c #Conflicts: 650000 | #Constraints: 27454 1338.08/1342.58 c #Conflicts: 651000 | #Constraints: 28456 1338.08/1342.58 c #Conflicts: 652000 | #Constraints: 29458 1338.08/1342.58 c #Conflicts: 653000 | #Constraints: 30460 1338.08/1342.58 c #Conflicts: 654000 | #Constraints: 31466 1338.08/1342.58 c #Conflicts: 655000 | #Constraints: 32467 1338.08/1342.58 c INPROCESSING 1338.08/1342.58 c GARBAGE COLLECT 1338.08/1342.58 c rational objective 6 1390.92/1395.55 c #Conflicts: 656000 | #Constraints: 17423 1390.92/1395.55 c #Conflicts: 657000 | #Constraints: 18424 1390.92/1395.55 c #Conflicts: 658000 | #Constraints: 19426 1390.92/1395.55 c #Conflicts: 659000 | #Constraints: 20429 1390.92/1395.55 c #Conflicts: 660000 | #Constraints: 21433 1390.92/1395.55 c #Conflicts: 661000 | #Constraints: 22435 1390.92/1395.55 c #Conflicts: 662000 | #Constraints: 23437 1390.92/1395.55 c #Conflicts: 663000 | #Constraints: 24439 1390.92/1395.55 c #Conflicts: 664000 | #Constraints: 25440 1390.92/1395.55 c #Conflicts: 665000 | #Constraints: 26442 1390.92/1395.55 c #Conflicts: 666000 | #Constraints: 27447 1390.92/1395.55 c #Conflicts: 667000 | #Constraints: 28449 1390.92/1395.55 c #Conflicts: 668000 | #Constraints: 29451 1390.92/1395.55 c #Conflicts: 669000 | #Constraints: 30452 1390.92/1395.55 c #Conflicts: 670000 | #Constraints: 31454 1390.92/1395.55 c #Conflicts: 671000 | #Constraints: 32456 1390.92/1395.55 c INPROCESSING 1390.92/1395.55 c GARBAGE COLLECT 1390.92/1395.55 c rational objective 6 1444.06/1448.88 c #Conflicts: 672000 | #Constraints: 17201 1444.06/1448.88 c #Conflicts: 673000 | #Constraints: 18203 1444.06/1448.88 c #Conflicts: 674000 | #Constraints: 19204 1444.06/1448.88 c #Conflicts: 675000 | #Constraints: 20205 1444.06/1448.88 c #Conflicts: 676000 | #Constraints: 21206 1444.06/1448.88 c #Conflicts: 677000 | #Constraints: 22208 1444.06/1448.88 c #Conflicts: 678000 | #Constraints: 23209 1444.06/1448.88 c #Conflicts: 679000 | #Constraints: 24210 1444.06/1448.88 c #Conflicts: 680000 | #Constraints: 25213 1444.06/1448.88 c #Conflicts: 681000 | #Constraints: 26214 1444.06/1448.88 c #Conflicts: 682000 | #Constraints: 27217 1444.06/1448.88 c #Conflicts: 683000 | #Constraints: 28219 1444.06/1448.88 c #Conflicts: 684000 | #Constraints: 29223 1444.06/1448.88 c #Conflicts: 685000 | #Constraints: 30226 1444.06/1448.88 c #Conflicts: 686000 | #Constraints: 31226 1444.06/1448.88 c #Conflicts: 687000 | #Constraints: 32228 1444.06/1448.88 c #Conflicts: 688000 | #Constraints: 33230 1444.06/1448.88 c INPROCESSING 1444.06/1448.88 c GARBAGE COLLECT 1444.06/1448.88 c rational objective 6 1492.11/1497.03 c #Conflicts: 689000 | #Constraints: 17786 1492.11/1497.03 c #Conflicts: 690000 | #Constraints: 18787 1492.11/1497.03 c #Conflicts: 691000 | #Constraints: 19788 1492.11/1497.03 c #Conflicts: 692000 | #Constraints: 20791 1492.11/1497.03 c #Conflicts: 693000 | #Constraints: 21793 1492.11/1497.03 c #Conflicts: 694000 | #Constraints: 22801 1492.11/1497.03 c #Conflicts: 695000 | #Constraints: 23812 1492.11/1497.03 c #Conflicts: 696000 | #Constraints: 24816 1492.11/1497.03 c #Conflicts: 697000 | #Constraints: 25821 1492.11/1497.03 c #Conflicts: 698000 | #Constraints: 26826 1492.11/1497.03 c #Conflicts: 699000 | #Constraints: 27829 1492.11/1497.03 c #Conflicts: 700000 | #Constraints: 28831 1492.11/1497.03 c #Conflicts: 701000 | #Constraints: 29832 1492.11/1497.03 c #Conflicts: 702000 | #Constraints: 30833 1492.11/1497.03 c #Conflicts: 703000 | #Constraints: 31833 1492.11/1497.03 c #Conflicts: 704000 | #Constraints: 32835 1492.11/1497.03 c #Conflicts: 705000 | #Constraints: 33837 1492.11/1497.03 c INPROCESSING 1492.11/1497.03 c GARBAGE COLLECT 1492.11/1497.03 c rational objective 6 1537.78/1542.82 c #Conflicts: 706000 | #Constraints: 18196 1537.78/1542.82 c #Conflicts: 707000 | #Constraints: 19198 1537.78/1542.82 c #Conflicts: 708000 | #Constraints: 20202 1537.78/1542.82 c #Conflicts: 709000 | #Constraints: 21203 1537.78/1542.82 c #Conflicts: 710000 | #Constraints: 22207 1537.78/1542.82 c #Conflicts: 711000 | #Constraints: 23223 1537.78/1542.82 c #Conflicts: 712000 | #Constraints: 24233 1537.78/1542.82 c #Conflicts: 713000 | #Constraints: 25240 1537.78/1542.82 c #Conflicts: 714000 | #Constraints: 26249 1537.78/1542.82 c #Conflicts: 715000 | #Constraints: 27253 1537.78/1542.82 c #Conflicts: 716000 | #Constraints: 28255 1537.78/1542.82 c #Conflicts: 717000 | #Constraints: 29258 1537.78/1542.82 c #Conflicts: 718000 | #Constraints: 30262 1537.78/1542.82 c #Conflicts: 719000 | #Constraints: 31265 1537.78/1542.82 c #Conflicts: 720000 | #Constraints: 32269 1537.78/1542.82 c #Conflicts: 721000 | #Constraints: 33273 1537.78/1542.82 c #Conflicts: 722000 | #Constraints: 34276 1537.78/1542.82 c INPROCESSING 1537.78/1542.82 c GARBAGE COLLECT 1537.78/1542.82 c rational objective 6 1644.65/1650.01 c #Conflicts: 723000 | #Constraints: 18444 1644.65/1650.01 c #Conflicts: 724000 | #Constraints: 19447 1644.65/1650.01 c #Conflicts: 725000 | #Constraints: 20448 1644.65/1650.01 c #Conflicts: 726000 | #Constraints: 21453 1644.65/1650.01 c #Conflicts: 727000 | #Constraints: 22455 1644.65/1650.01 c #Conflicts: 728000 | #Constraints: 23457 1644.65/1650.01 c #Conflicts: 729000 | #Constraints: 24462 1644.65/1650.01 c #Conflicts: 730000 | #Constraints: 25464 1644.65/1650.01 c #Conflicts: 731000 | #Constraints: 26466 1644.65/1650.01 c #Conflicts: 732000 | #Constraints: 27468 1644.65/1650.01 c #Conflicts: 733000 | #Constraints: 28469 1644.65/1650.01 c #Conflicts: 734000 | #Constraints: 29470 1644.65/1650.01 c #Conflicts: 735000 | #Constraints: 30472 1644.65/1650.01 c #Conflicts: 736000 | #Constraints: 31474 1644.65/1650.01 c #Conflicts: 737000 | #Constraints: 32476 1644.65/1650.01 c #Conflicts: 738000 | #Constraints: 33478 1644.65/1650.01 c #Conflicts: 739000 | #Constraints: 34479 1644.65/1650.01 c INPROCESSING 1644.65/1650.01 c GARBAGE COLLECT 1644.65/1650.01 c rational objective 6 1693.71/1699.25 c #Conflicts: 740000 | #Constraints: 18419 1693.71/1699.25 c #Conflicts: 741000 | #Constraints: 19420 1693.71/1699.25 c #Conflicts: 742000 | #Constraints: 20422 1693.71/1699.25 c #Conflicts: 743000 | #Constraints: 21426 1693.71/1699.25 c #Conflicts: 744000 | #Constraints: 22426 1693.71/1699.25 c #Conflicts: 745000 | #Constraints: 23429 1693.71/1699.25 c #Conflicts: 746000 | #Constraints: 24434 1693.71/1699.25 c #Conflicts: 747000 | #Constraints: 25436 1693.71/1699.25 c #Conflicts: 748000 | #Constraints: 26436 1693.71/1699.25 c #Conflicts: 749000 | #Constraints: 27438 1693.71/1699.25 c #Conflicts: 750000 | #Constraints: 28439 1693.71/1699.25 c #Conflicts: 751000 | #Constraints: 29442 1693.71/1699.25 c #Conflicts: 752000 | #Constraints: 30446 1693.71/1699.25 c #Conflicts: 753000 | #Constraints: 31447 1693.71/1699.25 c #Conflicts: 754000 | #Constraints: 32454 1693.71/1699.25 c #Conflicts: 755000 | #Constraints: 33459 1693.71/1699.25 c #Conflicts: 756000 | #Constraints: 34463 1693.71/1699.25 c INPROCESSING 1693.71/1699.25 c GARBAGE COLLECT 1693.71/1699.25 c rational objective 6 1744.43/1750.12 c #Conflicts: 757000 | #Constraints: 18204 1744.43/1750.12 c #Conflicts: 758000 | #Constraints: 19208 1744.43/1750.12 c #Conflicts: 759000 | #Constraints: 20213 1744.43/1750.12 c #Conflicts: 760000 | #Constraints: 21215 1744.43/1750.12 c #Conflicts: 761000 | #Constraints: 22217 1744.43/1750.12 c #Conflicts: 762000 | #Constraints: 23221 1744.43/1750.12 c #Conflicts: 763000 | #Constraints: 24225 1744.43/1750.12 c #Conflicts: 764000 | #Constraints: 25233 1744.43/1750.12 c #Conflicts: 765000 | #Constraints: 26241 1744.43/1750.12 c #Conflicts: 766000 | #Constraints: 27245 1744.43/1750.12 c #Conflicts: 767000 | #Constraints: 28246 1744.43/1750.12 c #Conflicts: 768000 | #Constraints: 29247 1744.43/1750.12 c #Conflicts: 769000 | #Constraints: 30250 1744.43/1750.12 c #Conflicts: 770000 | #Constraints: 31251 1744.43/1750.12 c #Conflicts: 771000 | #Constraints: 32255 1744.43/1750.12 c #Conflicts: 772000 | #Constraints: 33257 1744.43/1750.12 c #Conflicts: 773000 | #Constraints: 34258 1744.43/1750.12 c #Conflicts: 774000 | #Constraints: 35260 1744.43/1750.12 c INPROCESSING 1744.43/1750.12 c GARBAGE COLLECT 1744.43/1750.12 c rational objective 6 1803.05/1808.97 c #Conflicts: 775000 | #Constraints: 18804 1803.05/1808.97 c #Conflicts: 776000 | #Constraints: 19808 1803.05/1808.97 c #Conflicts: 777000 | #Constraints: 20810 1803.05/1808.97 c #Conflicts: 778000 | #Constraints: 21812 1803.05/1808.97 c #Conflicts: 779000 | #Constraints: 22813 1803.05/1808.97 c #Conflicts: 780000 | #Constraints: 23814 1803.05/1808.97 c #Conflicts: 781000 | #Constraints: 24816 1803.05/1808.97 c #Conflicts: 782000 | #Constraints: 25817 1803.05/1808.97 c #Conflicts: 783000 | #Constraints: 26819 1803.05/1808.97 c #Conflicts: 784000 | #Constraints: 27821 1803.05/1808.97 c #Conflicts: 785000 | #Constraints: 28822 1803.05/1808.97 c #Conflicts: 786000 | #Constraints: 29827 1803.05/1808.97 c #Conflicts: 787000 | #Constraints: 30828 1803.05/1808.97 c #Conflicts: 788000 | #Constraints: 31831 1803.05/1808.97 c #Conflicts: 789000 | #Constraints: 32833 1803.05/1808.97 c #Conflicts: 790000 | #Constraints: 33837 1803.05/1808.97 c #Conflicts: 791000 | #Constraints: 34845 1803.05/1808.97 c #Conflicts: 792000 | #Constraints: 35847 1803.05/1808.97 c INPROCESSING 1803.05/1808.97 c GARBAGE COLLECT 1803.05/1808.97 c rational objective 6 1856.89/1862.95 c #Conflicts: 793000 | #Constraints: 19213 1856.89/1862.95 c #Conflicts: 794000 | #Constraints: 20213 1856.89/1862.95 c #Conflicts: 795000 | #Constraints: 21213 1856.89/1862.95 c #Conflicts: 796000 | #Constraints: 22216 1856.89/1862.95 c #Conflicts: 797000 | #Constraints: 23218 1856.89/1862.95 c #Conflicts: 798000 | #Constraints: 24221 1856.89/1862.95 c #Conflicts: 799000 | #Constraints: 25223 1856.89/1862.95 c #Conflicts: 800000 | #Constraints: 26225 1856.89/1862.95 c #Conflicts: 801000 | #Constraints: 27226 1856.89/1862.95 c #Conflicts: 802000 | #Constraints: 28231 1856.89/1862.95 c #Conflicts: 803000 | #Constraints: 29235 1856.89/1862.95 c #Conflicts: 804000 | #Constraints: 30237 1856.89/1862.95 c #Conflicts: 805000 | #Constraints: 31241 1856.89/1862.95 c #Conflicts: 806000 | #Constraints: 32243 1856.89/1862.95 c #Conflicts: 807000 | #Constraints: 33243 1856.89/1862.95 c #Conflicts: 808000 | #Constraints: 34247 1856.89/1862.95 c #Conflicts: 809000 | #Constraints: 35247 1856.89/1862.95 c #Conflicts: 810000 | #Constraints: 36249 1856.89/1862.95 c INPROCESSING 1856.89/1862.95 c GARBAGE COLLECT 1856.89/1862.95 c rational objective 6 1911.73/1917.97 c #Conflicts: 811000 | #Constraints: 19408 1911.73/1917.97 c #Conflicts: 812000 | #Constraints: 20411 1911.73/1917.97 c #Conflicts: 813000 | #Constraints: 21412 1911.73/1917.97 c #Conflicts: 814000 | #Constraints: 22415 1911.73/1917.97 c #Conflicts: 815000 | #Constraints: 23419 1911.73/1917.97 c #Conflicts: 816000 | #Constraints: 24421 1911.73/1917.97 c #Conflicts: 817000 | #Constraints: 25424 1911.73/1917.97 c #Conflicts: 818000 | #Constraints: 26427 1911.73/1917.97 c #Conflicts: 819000 | #Constraints: 27427 1911.73/1917.97 c #Conflicts: 820000 | #Constraints: 28432 1911.73/1917.97 c #Conflicts: 821000 | #Constraints: 29435 1911.73/1917.97 c #Conflicts: 822000 | #Constraints: 30437 1911.73/1917.97 c #Conflicts: 823000 | #Constraints: 31437 1911.73/1917.97 c #Conflicts: 824000 | #Constraints: 32440 1911.73/1917.97 c #Conflicts: 825000 | #Constraints: 33443 1911.73/1917.97 c #Conflicts: 826000 | #Constraints: 34445 1911.73/1917.97 c #Conflicts: 827000 | #Constraints: 35451 1911.73/1917.97 c #Conflicts: 828000 | #Constraints: 36454 1911.73/1917.97 c INPROCESSING 1911.73/1917.97 c GARBAGE COLLECT 1911.73/1917.97 c rational objective 6 2013.34/2019.89 c #Conflicts: 829000 | #Constraints: 19414 2013.34/2019.89 c #Conflicts: 830000 | #Constraints: 20416 2013.34/2019.89 c #Conflicts: 831000 | #Constraints: 21417 2013.34/2019.89 c #Conflicts: 832000 | #Constraints: 22420 2013.34/2019.89 c #Conflicts: 833000 | #Constraints: 23424 2013.34/2019.89 c #Conflicts: 834000 | #Constraints: 24425 2013.34/2019.89 c #Conflicts: 835000 | #Constraints: 25426 2013.34/2019.89 c #Conflicts: 836000 | #Constraints: 26428 2013.34/2019.89 c #Conflicts: 837000 | #Constraints: 27430 2013.34/2019.89 c #Conflicts: 838000 | #Constraints: 28431 2013.34/2019.89 c #Conflicts: 839000 | #Constraints: 29435 2013.34/2019.89 c #Conflicts: 840000 | #Constraints: 30441 2013.34/2019.89 c #Conflicts: 841000 | #Constraints: 31447 2013.34/2019.89 c #Conflicts: 842000 | #Constraints: 32447 2013.34/2019.89 c #Conflicts: 843000 | #Constraints: 33450 2013.34/2019.89 c #Conflicts: 844000 | #Constraints: 34451 2013.34/2019.89 c #Conflicts: 845000 | #Constraints: 35454 2013.34/2019.89 c #Conflicts: 846000 | #Constraints: 36457 2013.34/2019.89 c INPROCESSING 2013.34/2019.89 c GARBAGE COLLECT 2013.34/2019.89 c rational objective 6 2080.25/2086.98 c #Conflicts: 847000 | #Constraints: 19218 2080.25/2086.98 c #Conflicts: 848000 | #Constraints: 20221 2080.25/2086.98 c #Conflicts: 849000 | #Constraints: 21223 2080.25/2086.98 c #Conflicts: 850000 | #Constraints: 22225 2080.25/2086.98 c #Conflicts: 851000 | #Constraints: 23227 2080.25/2086.98 c #Conflicts: 852000 | #Constraints: 24230 2080.25/2086.98 c #Conflicts: 853000 | #Constraints: 25235 2080.25/2086.98 c #Conflicts: 854000 | #Constraints: 26240 2080.25/2086.98 c #Conflicts: 855000 | #Constraints: 27243 2080.25/2086.98 c #Conflicts: 856000 | #Constraints: 28245 2080.25/2086.98 c #Conflicts: 857000 | #Constraints: 29249 2080.25/2086.98 c #Conflicts: 858000 | #Constraints: 30251 2080.25/2086.98 c #Conflicts: 859000 | #Constraints: 31251 2080.25/2086.98 c #Conflicts: 860000 | #Constraints: 32255 2080.25/2086.98 c #Conflicts: 861000 | #Constraints: 33257 2080.25/2086.98 c #Conflicts: 862000 | #Constraints: 34263 2080.25/2086.98 c #Conflicts: 863000 | #Constraints: 35264 2080.25/2086.98 c #Conflicts: 864000 | #Constraints: 36267 2080.25/2086.98 c #Conflicts: 865000 | #Constraints: 37268 2080.25/2086.98 c INPROCESSING 2080.25/2086.98 c GARBAGE COLLECT 2080.25/2086.98 c rational objective 6 2126.11/2132.90 c #Conflicts: 866000 | #Constraints: 19855 2126.11/2132.90 c #Conflicts: 867000 | #Constraints: 20857 2126.11/2132.90 c #Conflicts: 868000 | #Constraints: 21860 2126.11/2132.90 c #Conflicts: 869000 | #Constraints: 22862 2126.11/2132.90 c #Conflicts: 870000 | #Constraints: 23864 2126.11/2132.90 c #Conflicts: 871000 | #Constraints: 24867 2126.11/2132.90 c #Conflicts: 872000 | #Constraints: 25884 2126.11/2132.90 c #Conflicts: 873000 | #Constraints: 26888 2126.11/2132.90 c #Conflicts: 874000 | #Constraints: 27894 2126.11/2132.90 c #Conflicts: 875000 | #Constraints: 28897 2126.11/2132.90 c #Conflicts: 876000 | #Constraints: 29898 2126.11/2132.90 c #Conflicts: 877000 | #Constraints: 30901 2126.11/2132.90 c #Conflicts: 878000 | #Constraints: 31903 2126.11/2132.90 c #Conflicts: 879000 | #Constraints: 32904 2126.11/2132.90 c #Conflicts: 880000 | #Constraints: 33907 2126.11/2132.90 c #Conflicts: 881000 | #Constraints: 34911 2126.11/2132.90 c #Conflicts: 882000 | #Constraints: 35915 2126.11/2132.90 c #Conflicts: 883000 | #Constraints: 36920 2126.11/2132.90 c #Conflicts: 884000 | #Constraints: 37928 2126.11/2132.90 c INPROCESSING 2126.11/2132.90 c GARBAGE COLLECT 2126.11/2132.90 c rational objective 6 2166.11/2173.00 c #Conflicts: 885000 | #Constraints: 20236 2166.11/2173.00 c #Conflicts: 886000 | #Constraints: 21240 2166.11/2173.00 c #Conflicts: 887000 | #Constraints: 22243 2166.11/2173.00 c #Conflicts: 888000 | #Constraints: 23248 2166.11/2173.00 c #Conflicts: 889000 | #Constraints: 24249 2166.11/2173.00 c #Conflicts: 890000 | #Constraints: 25251 2166.11/2173.00 c #Conflicts: 891000 | #Constraints: 26254 2166.11/2173.00 c #Conflicts: 892000 | #Constraints: 27257 2166.11/2173.00 c #Conflicts: 893000 | #Constraints: 28260 2166.11/2173.00 c #Conflicts: 894000 | #Constraints: 29262 2166.11/2173.00 c #Conflicts: 895000 | #Constraints: 30265 2166.11/2173.00 c #Conflicts: 896000 | #Constraints: 31267 2166.11/2173.00 c #Conflicts: 897000 | #Constraints: 32271 2166.11/2173.00 c #Conflicts: 898000 | #Constraints: 33277 2166.11/2173.00 c #Conflicts: 899000 | #Constraints: 34278 2166.11/2173.00 c #Conflicts: 900000 | #Constraints: 35281 2166.11/2173.00 c #Conflicts: 901000 | #Constraints: 36286 2166.11/2173.00 c #Conflicts: 902000 | #Constraints: 37288 2166.11/2173.00 c #Conflicts: 903000 | #Constraints: 38292 2166.11/2173.00 c INPROCESSING 2166.11/2173.00 c GARBAGE COLLECT 2166.11/2173.00 c rational objective 6 2219.48/2226.56 c #Conflicts: 904000 | #Constraints: 20422 2219.48/2226.56 c #Conflicts: 905000 | #Constraints: 21426 2219.48/2226.56 c #Conflicts: 906000 | #Constraints: 22434 2219.48/2226.56 c #Conflicts: 907000 | #Constraints: 23438 2219.48/2226.56 c #Conflicts: 908000 | #Constraints: 24441 2219.48/2226.56 c #Conflicts: 909000 | #Constraints: 25445 2219.48/2226.56 c #Conflicts: 910000 | #Constraints: 26451 2219.48/2226.56 c #Conflicts: 911000 | #Constraints: 27454 2219.48/2226.56 c #Conflicts: 912000 | #Constraints: 28454 2219.48/2226.56 c #Conflicts: 913000 | #Constraints: 29455 2219.48/2226.56 c #Conflicts: 914000 | #Constraints: 30456 2219.48/2226.56 c #Conflicts: 915000 | #Constraints: 31457 2219.48/2226.56 c #Conflicts: 916000 | #Constraints: 32459 2219.48/2226.56 c #Conflicts: 917000 | #Constraints: 33467 2219.48/2226.56 c #Conflicts: 918000 | #Constraints: 34469 2219.48/2226.56 c #Conflicts: 919000 | #Constraints: 35472 2219.48/2226.56 c #Conflicts: 920000 | #Constraints: 36474 2219.48/2226.56 c #Conflicts: 921000 | #Constraints: 37476 2219.48/2226.56 c #Conflicts: 922000 | #Constraints: 38479 2219.48/2226.56 c INPROCESSING 2219.48/2226.56 c GARBAGE COLLECT 2219.48/2226.56 c rational objective 6 2273.45/2280.62 c #Conflicts: 923000 | #Constraints: 20416 2273.45/2280.62 c #Conflicts: 924000 | #Constraints: 21423 2273.45/2280.62 c #Conflicts: 925000 | #Constraints: 22425 2273.45/2280.62 c #Conflicts: 926000 | #Constraints: 23429 2273.45/2280.62 c #Conflicts: 927000 | #Constraints: 24434 2273.45/2280.62 c #Conflicts: 928000 | #Constraints: 25436 2273.45/2280.62 c #Conflicts: 929000 | #Constraints: 26436 2273.45/2280.62 c #Conflicts: 930000 | #Constraints: 27437 2273.45/2280.62 c #Conflicts: 931000 | #Constraints: 28440 2273.45/2280.62 c #Conflicts: 932000 | #Constraints: 29447 2273.45/2280.62 c #Conflicts: 933000 | #Constraints: 30469 2273.45/2280.62 c #Conflicts: 934000 | #Constraints: 31479 2273.45/2280.62 c #Conflicts: 935000 | #Constraints: 32492 2273.45/2280.62 c #Conflicts: 936000 | #Constraints: 33495 2273.45/2280.62 c #Conflicts: 937000 | #Constraints: 34498 2273.45/2280.62 c #Conflicts: 938000 | #Constraints: 35506 2273.45/2280.62 c #Conflicts: 939000 | #Constraints: 36509 2273.45/2280.62 c #Conflicts: 940000 | #Constraints: 37513 2273.45/2280.62 c #Conflicts: 941000 | #Constraints: 38514 2273.45/2280.62 c INPROCESSING 2273.45/2280.62 c GARBAGE COLLECT 2273.45/2280.62 c rational objective 6 2324.92/2332.28 c #Conflicts: 942000 | #Constraints: 20234 2324.92/2332.28 c #Conflicts: 943000 | #Constraints: 21235 2324.92/2332.28 c #Conflicts: 944000 | #Constraints: 22238 2324.92/2332.28 c #Conflicts: 945000 | #Constraints: 23242 2324.92/2332.28 c #Conflicts: 946000 | #Constraints: 24245 2324.92/2332.28 c #Conflicts: 947000 | #Constraints: 25250 2324.92/2332.28 c #Conflicts: 948000 | #Constraints: 26252 2324.92/2332.28 c #Conflicts: 949000 | #Constraints: 27256 2324.92/2332.28 c #Conflicts: 950000 | #Constraints: 28258 2324.92/2332.28 c #Conflicts: 951000 | #Constraints: 29266 2324.92/2332.28 c #Conflicts: 952000 | #Constraints: 30269 2324.92/2332.28 c #Conflicts: 953000 | #Constraints: 31271 2324.92/2332.28 c #Conflicts: 954000 | #Constraints: 32272 2324.92/2332.28 c #Conflicts: 955000 | #Constraints: 33272 2324.92/2332.28 c #Conflicts: 956000 | #Constraints: 34273 2324.92/2332.28 c #Conflicts: 957000 | #Constraints: 35276 2324.92/2332.28 c #Conflicts: 958000 | #Constraints: 36278 2324.92/2332.28 c #Conflicts: 959000 | #Constraints: 37279 2324.92/2332.28 c #Conflicts: 960000 | #Constraints: 38283 2324.92/2332.28 c #Conflicts: 961000 | #Constraints: 39285 2324.92/2332.28 c INPROCESSING 2324.92/2332.28 c GARBAGE COLLECT 2324.92/2332.28 c rational objective 6 2403.23/2410.75 c #Conflicts: 962000 | #Constraints: 20826 2403.23/2410.75 c #Conflicts: 963000 | #Constraints: 21829 2403.23/2410.75 c #Conflicts: 964000 | #Constraints: 22831 2403.23/2410.75 c #Conflicts: 965000 | #Constraints: 23834 2403.23/2410.75 c #Conflicts: 966000 | #Constraints: 24837 2403.23/2410.75 c #Conflicts: 967000 | #Constraints: 25842 2403.23/2410.75 c #Conflicts: 968000 | #Constraints: 26846 2403.23/2410.75 c #Conflicts: 969000 | #Constraints: 27849 2403.23/2410.75 c #Conflicts: 970000 | #Constraints: 28852 2403.23/2410.75 c #Conflicts: 971000 | #Constraints: 29859 2403.23/2410.75 c #Conflicts: 972000 | #Constraints: 30864 2403.23/2410.75 c #Conflicts: 973000 | #Constraints: 31869 2403.23/2410.75 c #Conflicts: 974000 | #Constraints: 32874 2403.23/2410.75 c #Conflicts: 975000 | #Constraints: 33877 2403.23/2410.75 c #Conflicts: 976000 | #Constraints: 34882 2403.23/2410.75 c #Conflicts: 977000 | #Constraints: 35885 2403.23/2410.75 c #Conflicts: 978000 | #Constraints: 36889 2403.23/2410.75 c #Conflicts: 979000 | #Constraints: 37891 2403.23/2410.75 c #Conflicts: 980000 | #Constraints: 38893 2403.23/2410.75 c #Conflicts: 981000 | #Constraints: 39896 2403.23/2410.75 c INPROCESSING 2403.23/2410.75 c GARBAGE COLLECT 2403.23/2410.75 c rational objective 6 2458.31/2465.98 c #Conflicts: 982000 | #Constraints: 21222 2458.31/2465.98 c #Conflicts: 983000 | #Constraints: 22229 2458.31/2465.98 c #Conflicts: 984000 | #Constraints: 23232 2458.31/2465.98 c #Conflicts: 985000 | #Constraints: 24232 2458.31/2465.98 c #Conflicts: 986000 | #Constraints: 25238 2458.31/2465.98 c #Conflicts: 987000 | #Constraints: 26244 2458.31/2465.98 c #Conflicts: 988000 | #Constraints: 27251 2458.31/2465.98 c #Conflicts: 989000 | #Constraints: 28255 2458.31/2465.98 c #Conflicts: 990000 | #Constraints: 29258 2458.31/2465.98 c #Conflicts: 991000 | #Constraints: 30261 2458.31/2465.98 c #Conflicts: 992000 | #Constraints: 31265 2458.31/2465.98 c #Conflicts: 993000 | #Constraints: 32266 2458.31/2465.98 c #Conflicts: 994000 | #Constraints: 33267 2458.31/2465.98 c #Conflicts: 995000 | #Constraints: 34269 2458.31/2465.98 c #Conflicts: 996000 | #Constraints: 35283 2458.31/2465.98 c #Conflicts: 997000 | #Constraints: 36287 2458.31/2465.98 c #Conflicts: 998000 | #Constraints: 37289 2458.31/2465.98 c #Conflicts: 999000 | #Constraints: 38289 2458.31/2465.98 c #Conflicts: 1000000 | #Constraints: 39294 2458.31/2465.98 c #Conflicts: 1001000 | #Constraints: 40295 2458.31/2465.98 c INPROCESSING 2458.31/2465.98 c GARBAGE COLLECT 2458.31/2465.98 c rational objective 6 2635.88/2643.93 c #Conflicts: 1002000 | #Constraints: 21435 2635.88/2643.93 c #Conflicts: 1003000 | #Constraints: 22440 2635.88/2643.93 c #Conflicts: 1004000 | #Constraints: 23443 2635.88/2643.93 c #Conflicts: 1005000 | #Constraints: 24446 2635.88/2643.93 c #Conflicts: 1006000 | #Constraints: 25450 2635.88/2643.93 c #Conflicts: 1007000 | #Constraints: 26453 2635.88/2643.93 c #Conflicts: 1008000 | #Constraints: 27457 2635.88/2643.93 c #Conflicts: 1009000 | #Constraints: 28459 2635.88/2643.93 c #Conflicts: 1010000 | #Constraints: 29464 2635.88/2643.93 c #Conflicts: 1011000 | #Constraints: 30466 2635.88/2643.93 c #Conflicts: 1012000 | #Constraints: 31469 2635.88/2643.93 c #Conflicts: 1013000 | #Constraints: 32472 2635.88/2643.93 c #Conflicts: 1014000 | #Constraints: 33476 2635.88/2643.93 c #Conflicts: 1015000 | #Constraints: 34478 2635.88/2643.93 c #Conflicts: 1016000 | #Constraints: 35480 2635.88/2643.93 c #Conflicts: 1017000 | #Constraints: 36484 2635.88/2643.93 c #Conflicts: 1018000 | #Constraints: 37487 2635.88/2643.93 c #Conflicts: 1019000 | #Constraints: 38489 2635.88/2643.93 c #Conflicts: 1020000 | #Constraints: 39492 2635.88/2643.93 c #Conflicts: 1021000 | #Constraints: 40499 2635.88/2643.93 c INPROCESSING 2635.88/2643.93 c GARBAGE COLLECT 2635.88/2643.93 c rational objective 6 2819.39/2827.94 c #Conflicts: 1022000 | #Constraints: 21434 2819.39/2827.94 c #Conflicts: 1023000 | #Constraints: 22443 2819.39/2827.94 c #Conflicts: 1024000 | #Constraints: 23447 2819.39/2827.94 c #Conflicts: 1025000 | #Constraints: 24449 2819.39/2827.94 c #Conflicts: 1026000 | #Constraints: 25458 2819.39/2827.94 c #Conflicts: 1027000 | #Constraints: 26463 2819.39/2827.94 c #Conflicts: 1028000 | #Constraints: 27467 2819.39/2827.94 c #Conflicts: 1029000 | #Constraints: 28470 2819.39/2827.94 c #Conflicts: 1030000 | #Constraints: 29472 2819.39/2827.94 c #Conflicts: 1031000 | #Constraints: 30478 2819.39/2827.94 c #Conflicts: 1032000 | #Constraints: 31481 2819.39/2827.94 c #Conflicts: 1033000 | #Constraints: 32485 2819.39/2827.94 c #Conflicts: 1034000 | #Constraints: 33489 2819.39/2827.94 c #Conflicts: 1035000 | #Constraints: 34492 2819.39/2827.94 c #Conflicts: 1036000 | #Constraints: 35497 2819.39/2827.94 c #Conflicts: 1037000 | #Constraints: 36499 2819.39/2827.94 c #Conflicts: 1038000 | #Constraints: 37506 2819.39/2827.94 c #Conflicts: 1039000 | #Constraints: 38513 2819.39/2827.94 c #Conflicts: 1040000 | #Constraints: 39515 2819.39/2827.94 c #Conflicts: 1041000 | #Constraints: 40517 2819.39/2827.94 c INPROCESSING 2819.39/2827.94 c GARBAGE COLLECT 2819.39/2827.94 c rational objective 6 3019.39/3028.45 c #Conflicts: 1042000 | #Constraints: 21247 3019.39/3028.45 c #Conflicts: 1043000 | #Constraints: 22249 3019.39/3028.45 c #Conflicts: 1044000 | #Constraints: 23252 3019.39/3028.45 c #Conflicts: 1045000 | #Constraints: 24255 3019.39/3028.45 c #Conflicts: 1046000 | #Constraints: 25257 3019.39/3028.45 c #Conflicts: 1047000 | #Constraints: 26257 3019.39/3028.45 c #Conflicts: 1048000 | #Constraints: 27259 3019.39/3028.45 c #Conflicts: 1049000 | #Constraints: 28261 3019.39/3028.45 c #Conflicts: 1050000 | #Constraints: 29262 3019.39/3028.45 c #Conflicts: 1051000 | #Constraints: 30264 3019.39/3028.45 c #Conflicts: 1052000 | #Constraints: 31265 3019.39/3028.45 c #Conflicts: 1053000 | #Constraints: 32268 3019.39/3028.45 c #Conflicts: 1054000 | #Constraints: 33269 3019.39/3028.45 c #Conflicts: 1055000 | #Constraints: 34270 3019.39/3028.45 c #Conflicts: 1056000 | #Constraints: 35270 3019.39/3028.45 c #Conflicts: 1057000 | #Constraints: 36270 3019.39/3028.45 c #Conflicts: 1058000 | #Constraints: 37270 3019.39/3028.45 c #Conflicts: 1059000 | #Constraints: 38270 3019.39/3028.45 c #Conflicts: 1060000 | #Constraints: 39270 3019.39/3028.45 c #Conflicts: 1061000 | #Constraints: 40271 3019.39/3028.45 c #Conflicts: 1062000 | #Constraints: 41272 3019.39/3028.45 c INPROCESSING 3019.39/3028.45 c GARBAGE COLLECT 3019.39/3028.45 c rational objective 6 3105.75/3115.01 c #Conflicts: 1063000 | #Constraints: 21820 3105.75/3115.01 c #Conflicts: 1064000 | #Constraints: 22829 3105.75/3115.01 c #Conflicts: 1065000 | #Constraints: 23832 3105.75/3115.01 c #Conflicts: 1066000 | #Constraints: 24833 3105.75/3115.01 c #Conflicts: 1067000 | #Constraints: 25834 3105.75/3115.01 c #Conflicts: 1068000 | #Constraints: 26836 3105.75/3115.01 c #Conflicts: 1069000 | #Constraints: 27839 3105.75/3115.01 c #Conflicts: 1070000 | #Constraints: 28840 3105.75/3115.01 c #Conflicts: 1071000 | #Constraints: 29842 3105.75/3115.01 c #Conflicts: 1072000 | #Constraints: 30844 3105.75/3115.01 c #Conflicts: 1073000 | #Constraints: 31847 3105.75/3115.01 c #Conflicts: 1074000 | #Constraints: 32848 3105.75/3115.01 c #Conflicts: 1075000 | #Constraints: 33850 3105.75/3115.01 c #Conflicts: 1076000 | #Constraints: 34850 3105.75/3115.01 c #Conflicts: 1077000 | #Constraints: 35851 3105.75/3115.01 c #Conflicts: 1078000 | #Constraints: 36852 3105.75/3115.01 c #Conflicts: 1079000 | #Constraints: 37854 3105.75/3115.01 c #Conflicts: 1080000 | #Constraints: 38856 3105.75/3115.01 c #Conflicts: 1081000 | #Constraints: 39857 3105.75/3115.01 c #Conflicts: 1082000 | #Constraints: 40857 3105.75/3115.01 c #Conflicts: 1083000 | #Constraints: 41858 3105.75/3115.01 c INPROCESSING 3105.75/3115.01 c GARBAGE COLLECT 3105.75/3115.01 c rational objective 6 3160.70/3170.13 c #Conflicts: 1084000 | #Constraints: 22207 3160.70/3170.13 c #Conflicts: 1085000 | #Constraints: 23208 3160.70/3170.13 c #Conflicts: 1086000 | #Constraints: 24212 3160.70/3170.13 c #Conflicts: 1087000 | #Constraints: 25213 3160.70/3170.13 c #Conflicts: 1088000 | #Constraints: 26213 3160.70/3170.13 c #Conflicts: 1089000 | #Constraints: 27214 3160.70/3170.13 c #Conflicts: 1090000 | #Constraints: 28216 3160.70/3170.13 c #Conflicts: 1091000 | #Constraints: 29217 3160.70/3170.13 c #Conflicts: 1092000 | #Constraints: 30217 3160.70/3170.13 c #Conflicts: 1093000 | #Constraints: 31218 3160.70/3170.13 c #Conflicts: 1094000 | #Constraints: 32219 3160.70/3170.13 c #Conflicts: 1095000 | #Constraints: 33220 3160.70/3170.13 c #Conflicts: 1096000 | #Constraints: 34220 3160.70/3170.13 c #Conflicts: 1097000 | #Constraints: 35220 3160.70/3170.13 c #Conflicts: 1098000 | #Constraints: 36222 3160.70/3170.13 c #Conflicts: 1099000 | #Constraints: 37222 3160.70/3170.13 c #Conflicts: 1100000 | #Constraints: 38223 3160.70/3170.13 c #Conflicts: 1101000 | #Constraints: 39224 3160.70/3170.13 c #Conflicts: 1102000 | #Constraints: 40226 3160.70/3170.13 c #Conflicts: 1103000 | #Constraints: 41227 3160.70/3170.13 c #Conflicts: 1104000 | #Constraints: 42228 3160.70/3170.13 c INPROCESSING 3160.70/3170.13 c GARBAGE COLLECT 3160.70/3170.13 c rational objective 6 3256.95/3266.65 c #Conflicts: 1105000 | #Constraints: 22392 3256.95/3266.65 c #Conflicts: 1106000 | #Constraints: 23398 3256.95/3266.65 c #Conflicts: 1107000 | #Constraints: 24399 3256.95/3266.65 c #Conflicts: 1108000 | #Constraints: 25405 3256.95/3266.65 c #Conflicts: 1109000 | #Constraints: 26414 3256.95/3266.65 c #Conflicts: 1110000 | #Constraints: 27423 3256.95/3266.65 c #Conflicts: 1111000 | #Constraints: 28427 3256.95/3266.65 c #Conflicts: 1112000 | #Constraints: 29430 3256.95/3266.65 c #Conflicts: 1113000 | #Constraints: 30432 3256.95/3266.65 c #Conflicts: 1114000 | #Constraints: 31434 3256.95/3266.65 c #Conflicts: 1115000 | #Constraints: 32435 3256.95/3266.65 c #Conflicts: 1116000 | #Constraints: 33437 3256.95/3266.65 c #Conflicts: 1117000 | #Constraints: 34438 3256.95/3266.65 c #Conflicts: 1118000 | #Constraints: 35439 3256.95/3266.65 c #Conflicts: 1119000 | #Constraints: 36439 3256.95/3266.65 c #Conflicts: 1120000 | #Constraints: 37441 3256.95/3266.65 c #Conflicts: 1121000 | #Constraints: 38442 3256.95/3266.65 c #Conflicts: 1122000 | #Constraints: 39445 3256.95/3266.65 c #Conflicts: 1123000 | #Constraints: 40446 3256.95/3266.65 c #Conflicts: 1124000 | #Constraints: 41448 3256.95/3266.65 c #Conflicts: 1125000 | #Constraints: 42450 3256.95/3266.65 c INPROCESSING 3256.95/3266.65 c GARBAGE COLLECT 3256.95/3266.65 c rational objective 6 3324.97/3334.86 c #Conflicts: 1126000 | #Constraints: 22405 3324.97/3334.86 c #Conflicts: 1127000 | #Constraints: 23406 3324.97/3334.86 c #Conflicts: 1128000 | #Constraints: 24406 3324.97/3334.86 c #Conflicts: 1129000 | #Constraints: 25407 3324.97/3334.86 c #Conflicts: 1130000 | #Constraints: 26409 3324.97/3334.86 c #Conflicts: 1131000 | #Constraints: 27414 3324.97/3334.86 c #Conflicts: 1132000 | #Constraints: 28415 3324.97/3334.86 c #Conflicts: 1133000 | #Constraints: 29417 3324.97/3334.86 c #Conflicts: 1134000 | #Constraints: 30423 3324.97/3334.86 c #Conflicts: 1135000 | #Constraints: 31425 3324.97/3334.86 c #Conflicts: 1136000 | #Constraints: 32428 3324.97/3334.86 c #Conflicts: 1137000 | #Constraints: 33431 3324.97/3334.86 c #Conflicts: 1138000 | #Constraints: 34438 3324.97/3334.86 c #Conflicts: 1139000 | #Constraints: 35441 3324.97/3334.86 c #Conflicts: 1140000 | #Constraints: 36442 3324.97/3334.86 c #Conflicts: 1141000 | #Constraints: 37445 3324.97/3334.86 c #Conflicts: 1142000 | #Constraints: 38448 3324.97/3334.86 c #Conflicts: 1143000 | #Constraints: 39453 3324.97/3334.86 c #Conflicts: 1144000 | #Constraints: 40462 3324.97/3334.86 c #Conflicts: 1145000 | #Constraints: 41467 3324.97/3334.87 c #Conflicts: 1146000 | #Constraints: 42470 3324.97/3334.87 c INPROCESSING 3324.97/3334.87 c GARBAGE COLLECT 3324.97/3334.87 c rational objective 6 3401.96/3412.00 c #Conflicts: 1147000 | #Constraints: 22202 3401.96/3412.00 c #Conflicts: 1148000 | #Constraints: 23204 3401.96/3412.00 c #Conflicts: 1149000 | #Constraints: 24204 3401.96/3412.00 c #Conflicts: 1150000 | #Constraints: 25207 3401.96/3412.00 c #Conflicts: 1151000 | #Constraints: 26210 3401.96/3412.00 c #Conflicts: 1152000 | #Constraints: 27214 3401.96/3412.00 c #Conflicts: 1153000 | #Constraints: 28223 3401.96/3412.00 c #Conflicts: 1154000 | #Constraints: 29226 3401.96/3412.00 c #Conflicts: 1155000 | #Constraints: 30227 3401.96/3412.00 c #Conflicts: 1156000 | #Constraints: 31230 3401.96/3412.00 c #Conflicts: 1157000 | #Constraints: 32242 3401.96/3412.00 c #Conflicts: 1158000 | #Constraints: 33252 3401.96/3412.00 c #Conflicts: 1159000 | #Constraints: 34253 3401.96/3412.00 c #Conflicts: 1160000 | #Constraints: 35256 3401.96/3412.00 c #Conflicts: 1161000 | #Constraints: 36263 3401.96/3412.00 c #Conflicts: 1162000 | #Constraints: 37266 3401.96/3412.00 c #Conflicts: 1163000 | #Constraints: 38268 3401.96/3412.00 c #Conflicts: 1164000 | #Constraints: 39274 3401.96/3412.00 c #Conflicts: 1165000 | #Constraints: 40280 3401.96/3412.00 c #Conflicts: 1166000 | #Constraints: 41281 3401.96/3412.00 c #Conflicts: 1167000 | #Constraints: 42283 3401.96/3412.00 c #Conflicts: 1168000 | #Constraints: 43290 3401.96/3412.00 c INPROCESSING 3401.96/3412.00 c GARBAGE COLLECT 3401.96/3412.00 c rational objective 6 3511.76/3522.13 c #Conflicts: 1169000 | #Constraints: 22857 3511.76/3522.13 c #Conflicts: 1170000 | #Constraints: 23862 3511.76/3522.13 c #Conflicts: 1171000 | #Constraints: 24866 3511.76/3522.13 c #Conflicts: 1172000 | #Constraints: 25871 3511.76/3522.13 c #Conflicts: 1173000 | #Constraints: 26875 3511.76/3522.13 c #Conflicts: 1174000 | #Constraints: 27879 3511.76/3522.13 c #Conflicts: 1175000 | #Constraints: 28880 3511.76/3522.13 c #Conflicts: 1176000 | #Constraints: 29882 3511.76/3522.13 c #Conflicts: 1177000 | #Constraints: 30882 3511.76/3522.13 c #Conflicts: 1178000 | #Constraints: 31883 3511.76/3522.13 c #Conflicts: 1179000 | #Constraints: 32884 3511.76/3522.13 c #Conflicts: 1180000 | #Constraints: 33884 3511.76/3522.13 c #Conflicts: 1181000 | #Constraints: 34885 3511.76/3522.13 c #Conflicts: 1182000 | #Constraints: 35888 3511.76/3522.13 c #Conflicts: 1183000 | #Constraints: 36889 3511.76/3522.13 c #Conflicts: 1184000 | #Constraints: 37892 3511.76/3522.13 c #Conflicts: 1185000 | #Constraints: 38897 3511.76/3522.13 c #Conflicts: 1186000 | #Constraints: 39898 3511.76/3522.13 c #Conflicts: 1187000 | #Constraints: 40902 3511.76/3522.13 c #Conflicts: 1188000 | #Constraints: 41906 3511.76/3522.13 c #Conflicts: 1189000 | #Constraints: 42912 3511.76/3522.13 c #Conflicts: 1190000 | #Constraints: 43917 3511.76/3522.13 c INPROCESSING 3511.76/3522.13 c GARBAGE COLLECT 3511.76/3522.13 c rational objective 6 3588.66/3599.26 c #Conflicts: 1191000 | #Constraints: 23243 3588.66/3599.26 c #Conflicts: 1192000 | #Constraints: 24243 3588.66/3599.26 c #Conflicts: 1193000 | #Constraints: 25246 3588.66/3599.26 c #Conflicts: 1194000 | #Constraints: 26254 3588.66/3599.26 c #Conflicts: 1195000 | #Constraints: 27257 3588.66/3599.26 c #Conflicts: 1196000 | #Constraints: 28268 3588.66/3599.26 c #Conflicts: 1197000 | #Constraints: 29270 3588.66/3599.26 c #Conflicts: 1198000 | #Constraints: 30272 3588.66/3599.26 c #Conflicts: 1199000 | #Constraints: 31274 3588.66/3599.26 c #Conflicts: 1200000 | #Constraints: 32277 3588.66/3599.26 c #Conflicts: 1201000 | #Constraints: 33280 3588.66/3599.26 c #Conflicts: 1202000 | #Constraints: 34284 3588.66/3599.26 c #Conflicts: 1203000 | #Constraints: 35289 3588.66/3599.26 c #Conflicts: 1204000 | #Constraints: 36295 3588.66/3599.26 c #Conflicts: 1205000 | #Constraints: 37296 3588.66/3599.26 c #Conflicts: 1206000 | #Constraints: 38300 3588.66/3599.26 c #Conflicts: 1207000 | #Constraints: 39303 3588.66/3599.26 c #Conflicts: 1208000 | #Constraints: 40306 3588.66/3599.26 c #Conflicts: 1209000 | #Constraints: 41308 3588.66/3599.26 c #Conflicts: 1210000 | #Constraints: 42310 3588.66/3599.26 c #Conflicts: 1211000 | #Constraints: 43314 3588.66/3599.26 c #Conflicts: 1212000 | #Constraints: 44315 3588.66/3599.26 c INPROCESSING 3588.66/3599.26 c GARBAGE COLLECT 3588.66/3599.26 c rational objective 6 3600.03/3610.64 c #Conflicts: 1213000 | #Constraints: 23451 3600.03/3610.64 c #Conflicts: 1214000 | #Constraints: 24459 3600.03/3610.64 c #Conflicts: 1215000 | #Constraints: 25462 3600.03/3610.64 c #Conflicts: 1216000 | #Constraints: 26468 3600.03/3610.64 c Program interrupted by user. 3600.04/3610.95 c cpu time 3537.95 s 3600.04/3610.95 c deterministic time 802118377153 8.02e+11 3600.04/3610.95 c optimization time 10.76 s 3600.04/3610.95 c total solve time 3527.13 s 3600.04/3610.95 c core-guided solve time 6e-06 s 3600.04/3610.95 c propagation time 2984.16 s 3600.04/3610.95 c conflict analysis time 441.951 s 3600.04/3610.95 c propagations 463948515 3600.04/3610.95 c resolve steps 4906976 3600.04/3610.95 c decisions 31057485 3600.04/3610.95 c conflicts 1216026 3600.04/3610.95 c restarts 2300 3600.04/3610.95 c inprocessing phases 101 3600.04/3610.95 c input clauses 3273 3600.04/3610.95 c input cardinalities 64 3600.04/3610.95 c input general constraints 384 3600.04/3610.95 c input average constraint length 9.95 3600.04/3610.95 c input average constraint degree 74.17 3600.04/3610.95 c learned clauses 119330 3600.04/3610.95 c learned cardinalities 7255 3600.04/3610.95 c learned general constraints 1093215 3600.04/3610.95 c learned average constraint length 637.66 3600.04/3610.95 c learned average constraint degree 4716886944.78 3600.04/3610.95 c watched constraints 1021795 3600.04/3610.95 c counting constraints 71804 3600.04/3610.95 c gcd simplifications 30128 3600.04/3610.95 c detected cardinalities 51 3600.04/3610.95 c weakened non-implied lits 92839617 3600.04/3610.95 c weakened non-implying lits 372674 3600.04/3610.95 c original variables 3216 3600.04/3610.95 c clausal propagations 1082582 3600.04/3610.95 c cardinality propagations 87023037 3600.04/3610.95 c watched propagations 209515945 3600.04/3610.95 c counting propagations 164285321 3600.04/3610.95 c watch lookups 41503715533 3600.04/3610.95 c watch backjump lookups 36531772364 3600.04/3610.95 c watch checks 672072484217 3600.04/3610.95 c propagation checks 48485736469 3600.04/3610.95 c constraint additions 2532208525 3600.04/3610.95 c trail pops 496217070 3600.04/3610.95 c formula constraints 3721 3600.04/3610.95 c learned constraints 1212252 3600.04/3610.95 c bound constraints 0 3600.04/3610.95 c core-guided constraints 0 3600.04/3610.95 c encountered formula constraints 2927463 3600.04/3610.95 c encountered learned constraints 2750395 3600.04/3610.95 c encountered bound constraints 0 3600.04/3610.95 c encountered core-guided constraints 0 3600.04/3610.95 c LP total time 136.702 s 3600.04/3610.95 c LP solve time 119.92 s 3600.04/3610.95 c LP constraints added 4420 3600.04/3610.95 c LP constraints removed 691 3600.04/3610.95 c LP pivots internal 1216155 3600.04/3610.95 c LP pivots root 20819 3600.04/3610.95 c LP calls 11253 3600.04/3610.95 c LP optimalities 7472 3600.04/3610.95 c LP no pivot count 4798 3600.04/3610.95 c LP infeasibilities 3776 3600.04/3610.95 c LP valid Farkas constraints 3774 3600.04/3610.95 c LP learned Farkas constraints 3774 3600.04/3610.95 c LP basis resets 4 3600.04/3610.95 c LP cycling count 0 3600.04/3610.95 c LP singular count 2 3600.04/3610.95 c LP no primal count 0 3600.04/3610.95 c LP no farkas count 2 3600.04/3610.95 c LP other issue count 0 3600.04/3610.95 c LP Gomory cuts 0 3600.04/3610.95 c LP learned cuts 699 3600.04/3610.95 c LP deleted cuts 691 3600.04/3610.95 c LP encountered Gomory constraints 0 3600.04/3610.95 c LP encountered Farkas constraints 354109 3600.04/3610.95 c LP encountered learned Farkas constraints 87261 3600.04/3610.95 c CG auxiliary variables introduced 0 3600.04/3610.95 c CG solutions found 0 3600.04/3610.95 c CG cores constructed 1 3600.04/3610.95 c CG core cardinality constraints returned 0 3600.04/3610.95 c CG unit cores 1 3600.04/3610.95 c CG single cores 0 3600.04/3610.95 c CG blocks removed during cardinality reduction 0 3600.04/3610.95 c CG first core best 0 3600.04/3610.95 c CG decision core best 0 3600.04/3610.95 c CG core reduction tie 0 3600.04/3610.95 c CG core degree average 0.00 3600.04/3610.95 c CG core slack average 0.00 3600.04/3610.95 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: 64059 MiB (63505 MiB free)
memory of node 1: 64510 MiB (64049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462706-1722344422/watcher-4462706-1722344422 -o /tmp/evaluation-result-4462706-1722344422/solver-4462706-1722344422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6451 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462706-1722344422 --lp-cut-gomory=0 HOME/instance-4462706-1722344422.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8841, runsolver pid=8838
[startup+0.100106 s]*
/proc/loadavg: 4.15 4.35 4.24 1/232 8842
/proc/meminfo: memFree=130616060/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=37376 memory=2476 CPUtime=0 cores=5,7
/proc/8841/stat : 8841 (roundingsat) D 8838 8841 6438 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 812952 38273024 619 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/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.213082 s]*
/proc/loadavg: 4.15 4.35 4.24 3/233 8843
/proc/meminfo: memFree=130627784/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=37376 memory=2476 CPUtime=0 cores=5,7
/proc/8841/stat : 8841 (roundingsat) D 8838 8841 6438 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 812952 38273024 619 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/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.313001 s]*
/proc/loadavg: 4.15 4.35 4.24 4/232 8852
/proc/meminfo: memFree=130626312/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=38300 memory=6600 CPUtime=0.01 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 477 0 0 0 1 0 0 0 20 0 1 0 812952 39219200 1650 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 9575 1650 1348 992 0 1433 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 6600 KiB
[startup+0.700231 s]
/proc/loadavg: 4.15 4.35 4.24 2/238 8862
/proc/meminfo: memFree=130618940/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=45088 memory=15536 CPUtime=0.38 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 2788 0 0 0 36 2 0 0 20 0 1 0 812952 46170112 3884 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 11272 3884 1865 992 0 3130 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 45088 KiB
Current children cumulated memory: 15536 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.35 4.24 6/244 8891
/proc/meminfo: memFree=130608968/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=47800 memory=21804 CPUtime=1.19 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 3832 0 0 0 111 8 0 0 20 0 1 0 812952 48947200 5451 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 11950 5451 1865 992 0 3808 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 47800 KiB
Current children cumulated memory: 21804 KiB
[startup+3.11331 s]
/proc/loadavg: 4.14 4.34 4.24 5/241 8912
/proc/meminfo: memFree=130524424/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=60712 memory=33716 CPUtime=2.79 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 6077 0 0 0 263 16 0 0 20 0 1 0 812952 62169088 8429 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 15178 8429 1881 992 0 7036 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 60712 KiB
Current children cumulated memory: 33716 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.34 4.24 5/246 8949
/proc/meminfo: memFree=130317260/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=73612 memory=43680 CPUtime=5.96 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 8046 0 0 0 570 26 0 0 20 0 1 0 812952 75378688 10920 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 18403 10920 1881 992 0 10261 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 73612 KiB
Current children cumulated memory: 43680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.34 4.24 5/246 8950
/proc/meminfo: memFree=130075176/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=94672 memory=60396 CPUtime=12.35 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 10731 0 0 0 1190 45 0 0 20 0 1 0 812952 96944128 15099 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 23668 15099 1881 992 0 15526 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 94672 KiB
Current children cumulated memory: 60396 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.32 4.23 4/241 8979
/proc/meminfo: memFree=129936320/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=110468 memory=81820 CPUtime=25.11 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 14509 0 0 0 2430 81 0 0 20 0 1 0 812952 113119232 20455 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 27617 20455 1881 992 0 19475 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 110468 KiB
Current children cumulated memory: 81820 KiB
[startup+51.1129 s]
/proc/loadavg: 4.06 4.29 4.22 5/246 9014
/proc/meminfo: memFree=129148492/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=150348 memory=107520 CPUtime=50.6 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 19961 0 0 0 4886 174 0 0 20 0 1 0 812952 153956352 26880 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 37587 26880 1881 992 0 29445 0
Current children cumulated CPU time: 50.6 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 107520 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.25 4.21 5/246 9023
/proc/meminfo: memFree=126479592/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=167332 memory=127920 CPUtime=101.63 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 24072 0 0 0 9820 343 0 0 20 0 1 0 812952 171347968 31980 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 41833 31980 1881 992 0 33691 0
Current children cumulated CPU time: 101.63 s
Current children cumulated vsize: 167332 KiB
Current children cumulated memory: 127920 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/247 9036
/proc/meminfo: memFree=123609492/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=220484 memory=162596 CPUtime=161.42 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 29982 0 0 0 15589 553 0 0 20 0 1 0 812952 225775616 40649 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 55121 40649 1881 992 0 46979 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 162596 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.22 4.20 5/246 9046
/proc/meminfo: memFree=120853456/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=243124 memory=193284 CPUtime=221.22 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 35420 0 0 0 21409 713 0 0 20 0 1 0 812952 248958976 48321 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 60781 48321 1881 992 0 52639 0
Current children cumulated CPU time: 221.22 s
Current children cumulated vsize: 243124 KiB
Current children cumulated memory: 193284 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.22 4.20 7/246 9056
/proc/meminfo: memFree=118294532/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=327532 memory=253556 CPUtime=281.07 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 43969 0 0 0 27263 844 0 0 20 0 1 0 812952 335392768 63389 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 81883 63389 1881 992 0 73741 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 327532 KiB
Current children cumulated memory: 253556 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.19 5/246 9069
/proc/meminfo: memFree=115544412/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=333100 memory=259044 CPUtime=340.91 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 45417 0 0 0 33050 1041 0 0 20 0 1 0 812952 341094400 64761 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 83275 64761 1881 992 0 75133 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 333100 KiB
Current children cumulated memory: 259044 KiB
[startup+402.305 s]
/proc/loadavg: 4.20 4.22 4.20 5/247 9080
/proc/meminfo: memFree=112933916/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=340700 memory=266164 CPUtime=400.73 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 47197 0 0 0 38860 1213 0 0 20 0 1 0 812952 348876800 66541 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 85175 66541 1881 992 0 77033 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 340700 KiB
Current children cumulated memory: 266164 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.23 4.20 5/249 9155
/proc/meminfo: memFree=110067320/131655788 swapFree=131071996/131071996
[pid=8841] ppid=8838 vsize=351152 memory=276320 CPUtime=460.55 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 49782 0 0 0 44770 1285 0 0 20 0 1 0 812952 359579648 69080 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 87788 69080 1881 992 0 79646 0
################
# More data... #
################
Current children cumulated memory: 613500 KiB
[startup+2982.3 s]*
/proc/loadavg: 4.06 4.11 4.15 5/271 10409
/proc/meminfo: memFree=11407032/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=777460 memory=620320 CPUtime=2973.4 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 106702 0 1 0 292047 5293 0 0 20 0 1 0 812952 796119040 155080 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 194365 155080 1976 992 0 186223 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 777460 KiB
Current children cumulated memory: 620320 KiB
[startup+3042.3 s]*
/proc/loadavg: 4.26 4.17 4.17 5/268 10419
/proc/meminfo: memFree=9919552/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=789588 memory=629236 CPUtime=3033.25 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 109116 0 1 0 297964 5361 0 0 20 0 1 0 812952 808538112 157309 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 197397 157309 1976 992 0 189255 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 789588 KiB
Current children cumulated memory: 629236 KiB
[startup+3102.3 s]*
/proc/loadavg: 4.15 4.15 4.16 5/274 10435
/proc/meminfo: memFree=8320576/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=791492 memory=631032 CPUtime=3093.09 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 109809 0 1 0 303861 5448 0 0 20 0 1 0 812952 810487808 157758 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 197873 157758 1976 992 0 189731 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 791492 KiB
Current children cumulated memory: 631032 KiB
[startup+3162.3 s]*
/proc/loadavg: 4.21 4.16 4.16 5/274 10446
/proc/meminfo: memFree=5335800/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=793620 memory=633072 CPUtime=3152.94 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 110469 0 1 0 309743 5551 0 0 20 0 1 0 812952 812666880 158268 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 198405 158268 1976 992 0 190263 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 793620 KiB
Current children cumulated memory: 633072 KiB
[startup+3222.3 s]*
/proc/loadavg: 4.14 4.14 4.16 5/271 10457
/proc/meminfo: memFree=2947100/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=796700 memory=636152 CPUtime=3212.77 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 111514 0 1 0 315624 5653 0 0 20 0 1 0 812952 815820800 159038 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199175 159038 1976 992 0 191033 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 796700 KiB
Current children cumulated memory: 636152 KiB
[startup+3282.3 s]*
/proc/loadavg: 4.20 4.16 4.16 5/260 10468
/proc/meminfo: memFree=837292/131655788 swapFree=131071728/131071996
[pid=8841] ppid=8838 vsize=798112 memory=637324 CPUtime=3272.61 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 111978 0 1 0 321533 5728 0 0 20 0 1 0 812952 817266688 159331 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199528 159331 1976 992 0 191386 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 798112 KiB
Current children cumulated memory: 637324 KiB
[startup+3342.3 s]*
/proc/loadavg: 4.11 4.14 4.15 5/263 10866
/proc/meminfo: memFree=683668/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798112 memory=637352 CPUtime=3332.46 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 112255 0 1 0 327427 5819 0 0 20 0 1 0 812952 817266688 159338 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199528 159338 1976 992 0 191386 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 798112 KiB
Current children cumulated memory: 637352 KiB
[startup+3402.3 s]*
/proc/loadavg: 4.15 4.15 4.15 5/263 10878
/proc/meminfo: memFree=647812/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798112 memory=637352 CPUtime=3392.3 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 112421 0 1 0 333322 5908 0 0 20 0 1 0 812952 817266688 159338 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199528 159338 1976 992 0 191386 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 798112 KiB
Current children cumulated memory: 637352 KiB
[startup+3462.3 s]*
/proc/loadavg: 4.09 4.13 4.15 6/264 11059
/proc/meminfo: memFree=684220/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798292 memory=637608 CPUtime=3452.13 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 112760 0 1 0 339231 5982 0 0 20 0 1 0 812952 817451008 159402 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199573 159402 1976 992 0 191431 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 798292 KiB
Current children cumulated memory: 637608 KiB
[startup+3522.3 s]*
/proc/loadavg: 4.13 4.14 4.15 5/261 11068
/proc/meminfo: memFree=582796/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798848 memory=638052 CPUtime=3511.97 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 113683 0 1 0 345148 6049 0 0 20 0 1 0 812952 818020352 159513 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199712 159513 1976 992 0 191570 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 638052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/263 11084
/proc/meminfo: memFree=539736/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798848 memory=638104 CPUtime=3571.8 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 113849 0 1 0 351026 6154 0 0 20 0 1 0 812952 818020352 159526 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199712 159526 1976 992 0 191570 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 638104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.13 4.13 4.14 5/263 11092
/proc/meminfo: memFree=574488/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798848 memory=638292 CPUtime=3600.03 cores=5,7
/proc/8841/stat : 8841 (roundingsat) R 8838 8841 6438 0 -1 4194304 114030 0 1 0 353795 6208 0 0 20 0 1 0 812952 818020352 159573 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199712 159573 1976 992 0 191570 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 638292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.96 s]
# the end of solver process 8841 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3537.96 s, system=62.1032 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.13 4.13 4.14 5/263 11092
/proc/meminfo: memFree=574488/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798848 memory=638292 CPUtime=3600.04 cores=5,7
/proc/8841/stat : 8841 (roundingsat) D 8838 8841 6438 0 -1 4194304 114032 0 2 0 353795 6209 0 0 20 0 1 0 812952 818020352 159573 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 5 0 0 29 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199712 159573 1976 992 0 191570 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 638292 KiB
[startup+3610.9 s]
/proc/loadavg: 4.13 4.13 4.14 5/263 11092
/proc/meminfo: memFree=574488/131655788 swapFree=131071472/131071996
[pid=8841] ppid=8838 vsize=798848 memory=638292 CPUtime=3600.04 cores=5,7
/proc/8841/stat : 8841 (roundingsat) D 8838 8841 6438 0 -1 4194304 114032 0 2 0 353795 6209 0 0 20 0 1 0 812952 818020352 159573 134679101440 4194304 8255733 140737004905360 0 0 0 0 0 25182210 0 0 0 17 7 0 0 41 0 0 9037040 9046032 16379904 140737004913506 140737004913768 140737004913768 140737004920777 0
/proc/8841/statm: 199712 159573 1976 992 0 191570 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 638292 KiB
Child status: 0
Real time (s): 3610.96
CPU time (s): 3600.06
CPU user time (s): 3537.96
CPU system time (s): 62.1032
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 798848
Max. memory (cumulated for all children) (KiB): 638292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.96
system time used= 62.1032
maximum resident set size= 638292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114040
page faults= 2
swaps= 0
block input operations= 3544
block output operations= 41451848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 621
involuntary context switches= 7819
# summary of solver processes directly reported to runsolver:
# pid: 8841
# total CPU time (s): 3600.06
# total CPU user time (s): 3537.96
# total CPU system time (s): 62.1032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2455 second user time and 37.3275 second system time
The end
Begin job on nodeC008 at 2024-07-30 15:00:22 IDJOB=4462706 IDBENCH=148772 IDSOLVER=3089 FILE ID=nodeC008/4462706-1722344422 RUNJOBID= nodeC008-1722340763-6451 SLURM_JOB_ID= 8248988 Free space on /tmp= 723764 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-4462706-1722344422/watcher-4462706-1722344422 -o /tmp/evaluation-result-4462706-1722344422/solver-4462706-1722344422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6451 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462706-1722344422 --lp-cut-gomory=0 HOME/instance-4462706-1722344422.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00 RANDOM SEED=2076811527 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.574 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.420 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.863 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.549 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.755 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.381 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.950 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.367 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130617100 kB MemAvailable: 130188404 kB Buffers: 45348 kB Cached: 313760 kB SwapCached: 0 kB Active: 166540 kB Inactive: 461444 kB Active(anon): 1416 kB Inactive(anon): 288824 kB Active(file): 165124 kB Inactive(file): 172620 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23672 kB Writeback: 0 kB AnonPages: 268896 kB Mapped: 88004 kB Shmem: 21312 kB KReclaimable: 41500 kB Slab: 115152 kB SReclaimable: 41500 kB SUnreclaim: 73652 kB KernelStack: 3776 kB PageTables: 8964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 626904 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723756 MiB End job on nodeC008 at 2024-07-30 16:00:34