| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.01 | 3613.11 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb |
| MD5SUM | 392bb637b95a9bbde51dfdce2cdaf17a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 2.13387 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1650 |
| Total number of constraints | 113164 |
| Number of constraints which are clauses | 112614 |
| Number of constraints which are cardinality constraints (but not clauses) | 550 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 9 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.78/0.89 c #variables 1650 #constraints 113714 199.33/200.06 c #Conflicts: 1000 | #Constraints: 114713 199.33/200.06 c #Conflicts: 2000 | #Constraints: 115713 199.33/200.06 c INPROCESSING 199.33/200.06 c #Conflicts: 3000 | #Constraints: 115718 199.33/200.06 c #Conflicts: 4000 | #Constraints: 116718 199.33/200.06 c INPROCESSING 199.33/200.06 c GARBAGE COLLECT 199.33/200.06 c #Conflicts: 5000 | #Constraints: 116123 199.33/200.06 c #Conflicts: 6000 | #Constraints: 117123 199.33/200.06 c INPROCESSING 199.33/200.06 c #Conflicts: 7000 | #Constraints: 116131 199.33/200.06 c #Conflicts: 8000 | #Constraints: 117131 199.33/200.06 c #Conflicts: 9000 | #Constraints: 118131 199.33/200.06 c INPROCESSING 199.33/200.06 c GARBAGE COLLECT 199.33/200.06 c #Conflicts: 10000 | #Constraints: 116828 199.33/200.06 c #Conflicts: 11000 | #Constraints: 117828 199.33/200.06 c #Conflicts: 12000 | #Constraints: 118828 199.33/200.06 c INPROCESSING 199.33/200.06 c #Conflicts: 13000 | #Constraints: 117279 199.33/200.06 c #Conflicts: 14000 | #Constraints: 118279 199.33/200.06 c #Conflicts: 15000 | #Constraints: 119279 199.33/200.06 c INPROCESSING 199.33/200.06 c GARBAGE COLLECT 199.33/200.06 c #Conflicts: 16000 | #Constraints: 117507 199.33/200.06 c #Conflicts: 17000 | #Constraints: 118507 199.33/200.06 c #Conflicts: 18000 | #Constraints: 119507 199.33/200.06 c INPROCESSING 199.33/200.06 c GARBAGE COLLECT 199.33/200.06 c #Conflicts: 19000 | #Constraints: 117523 199.33/200.06 c #Conflicts: 20000 | #Constraints: 118523 199.33/200.06 c #Conflicts: 21000 | #Constraints: 119523 199.33/200.06 c INPROCESSING 199.33/200.06 c GARBAGE COLLECT 199.33/200.06 c rational objective 550 234.09/234.98 c #Conflicts: 22000 | #Constraints: 117325 234.09/234.98 c #Conflicts: 23000 | #Constraints: 118325 234.09/234.98 c #Conflicts: 24000 | #Constraints: 119325 234.09/234.98 c #Conflicts: 25000 | #Constraints: 120325 234.09/234.98 c INPROCESSING 234.09/234.98 c GARBAGE COLLECT 234.09/234.98 c rational objective 550 258.81/259.72 c #Conflicts: 26000 | #Constraints: 117930 258.81/259.72 c #Conflicts: 27000 | #Constraints: 118930 258.81/259.72 c #Conflicts: 28000 | #Constraints: 119930 258.81/259.72 c #Conflicts: 29000 | #Constraints: 120930 258.81/259.72 c INPROCESSING 258.81/259.72 c GARBAGE COLLECT 258.81/259.72 c #Conflicts: 30000 | #Constraints: 118325 258.81/259.72 c #Conflicts: 31000 | #Constraints: 119325 258.81/259.72 c #Conflicts: 32000 | #Constraints: 120325 258.81/259.72 c #Conflicts: 33000 | #Constraints: 121325 258.81/259.72 c INPROCESSING 258.81/259.72 c GARBAGE COLLECT 258.81/259.72 c rational objective 550 267.78/268.78 c #Conflicts: 34000 | #Constraints: 118527 267.78/268.78 c #Conflicts: 35000 | #Constraints: 119527 267.78/268.78 c #Conflicts: 36000 | #Constraints: 120527 267.78/268.78 c #Conflicts: 37000 | #Constraints: 121527 267.78/268.78 c INPROCESSING 267.78/268.78 c GARBAGE COLLECT 267.78/268.78 c rational objective 550 279.94/280.92 c #Conflicts: 38000 | #Constraints: 118543 279.94/280.92 c #Conflicts: 39000 | #Constraints: 119543 279.94/280.92 c #Conflicts: 40000 | #Constraints: 120543 279.94/280.92 c #Conflicts: 41000 | #Constraints: 121543 279.94/280.92 c INPROCESSING 279.94/280.92 c GARBAGE COLLECT 279.94/280.92 c rational objective 550 288.71/289.71 c #Conflicts: 42000 | #Constraints: 118343 288.71/289.71 c #Conflicts: 43000 | #Constraints: 119343 288.71/289.71 c #Conflicts: 44000 | #Constraints: 120343 288.71/289.71 c #Conflicts: 45000 | #Constraints: 121343 288.71/289.71 c #Conflicts: 46000 | #Constraints: 122343 288.71/289.71 c INPROCESSING 288.71/289.71 c GARBAGE COLLECT 288.71/289.71 c rational objective 550 298.99/300.07 c #Conflicts: 47000 | #Constraints: 118937 298.99/300.07 c #Conflicts: 48000 | #Constraints: 119937 298.99/300.07 c #Conflicts: 49000 | #Constraints: 120937 298.99/300.07 c #Conflicts: 50000 | #Constraints: 121937 298.99/300.07 c #Conflicts: 51000 | #Constraints: 122937 298.99/300.07 c INPROCESSING 298.99/300.07 c GARBAGE COLLECT 298.99/300.07 c rational objective 550 309.24/310.39 c #Conflicts: 52000 | #Constraints: 119339 309.24/310.39 c #Conflicts: 53000 | #Constraints: 120339 309.24/310.39 c #Conflicts: 54000 | #Constraints: 121339 309.24/310.39 c #Conflicts: 55000 | #Constraints: 122339 309.24/310.39 c #Conflicts: 56000 | #Constraints: 123339 309.24/310.39 c INPROCESSING 309.24/310.39 c GARBAGE COLLECT 309.24/310.39 c rational objective 550 325.51/326.67 c #Conflicts: 57000 | #Constraints: 119535 325.51/326.67 c #Conflicts: 58000 | #Constraints: 120535 325.51/326.67 c #Conflicts: 59000 | #Constraints: 121535 325.51/326.67 c #Conflicts: 60000 | #Constraints: 122535 325.51/326.67 c #Conflicts: 61000 | #Constraints: 123535 325.51/326.67 c INPROCESSING 325.51/326.67 c GARBAGE COLLECT 325.51/326.67 c rational objective 550 339.88/341.05 c #Conflicts: 62000 | #Constraints: 119538 339.88/341.05 c #Conflicts: 63000 | #Constraints: 120538 339.88/341.05 c #Conflicts: 64000 | #Constraints: 121538 339.88/341.05 c #Conflicts: 65000 | #Constraints: 122538 339.88/341.05 c #Conflicts: 66000 | #Constraints: 123538 339.88/341.05 c INPROCESSING 339.88/341.05 c GARBAGE COLLECT 339.88/341.05 c rational objective 550 354.43/355.63 c #Conflicts: 67000 | #Constraints: 119332 354.43/355.63 c #Conflicts: 68000 | #Constraints: 120332 354.43/355.63 c #Conflicts: 69000 | #Constraints: 121332 354.43/355.63 c #Conflicts: 70000 | #Constraints: 122332 354.43/355.63 c #Conflicts: 71000 | #Constraints: 123332 354.43/355.63 c #Conflicts: 72000 | #Constraints: 124332 354.43/355.63 c INPROCESSING 354.43/355.63 c GARBAGE COLLECT 354.43/355.63 c rational objective 550 377.46/378.75 c #Conflicts: 73000 | #Constraints: 119926 377.46/378.75 c #Conflicts: 74000 | #Constraints: 120926 377.46/378.75 c #Conflicts: 75000 | #Constraints: 121926 377.46/378.75 c #Conflicts: 76000 | #Constraints: 122926 377.46/378.75 c #Conflicts: 77000 | #Constraints: 123926 377.46/378.75 c #Conflicts: 78000 | #Constraints: 124926 377.46/378.75 c INPROCESSING 377.46/378.75 c GARBAGE COLLECT 377.46/378.75 c rational objective 550 385.24/386.52 c #Conflicts: 79000 | #Constraints: 120331 385.24/386.52 c #Conflicts: 80000 | #Constraints: 121331 385.24/386.52 c #Conflicts: 81000 | #Constraints: 122331 385.24/386.52 c #Conflicts: 82000 | #Constraints: 123331 385.24/386.52 c #Conflicts: 83000 | #Constraints: 124331 385.24/386.52 c #Conflicts: 84000 | #Constraints: 125331 385.24/386.52 c INPROCESSING 385.24/386.52 c GARBAGE COLLECT 385.24/386.52 c rational objective 550 397.11/398.48 c #Conflicts: 85000 | #Constraints: 120541 397.11/398.48 c #Conflicts: 86000 | #Constraints: 121541 397.11/398.48 c #Conflicts: 87000 | #Constraints: 122541 397.11/398.48 c #Conflicts: 88000 | #Constraints: 123541 397.11/398.48 c #Conflicts: 89000 | #Constraints: 124541 397.11/398.48 c #Conflicts: 90000 | #Constraints: 125541 397.11/398.48 c INPROCESSING 397.11/398.48 c GARBAGE COLLECT 397.11/398.48 c rational objective 550 414.27/415.61 c #Conflicts: 91000 | #Constraints: 120544 414.27/415.61 c #Conflicts: 92000 | #Constraints: 121544 414.27/415.61 c #Conflicts: 93000 | #Constraints: 122544 414.27/415.61 c #Conflicts: 94000 | #Constraints: 123544 414.27/415.61 c #Conflicts: 95000 | #Constraints: 124544 414.27/415.61 c #Conflicts: 96000 | #Constraints: 125544 414.27/415.61 c INPROCESSING 414.27/415.61 c GARBAGE COLLECT 414.27/415.61 c rational objective 550 439.90/441.31 c #Conflicts: 97000 | #Constraints: 120353 439.90/441.31 c #Conflicts: 98000 | #Constraints: 121353 439.90/441.31 c #Conflicts: 99000 | #Constraints: 122353 439.90/441.31 c #Conflicts: 100000 | #Constraints: 123353 439.90/441.31 c #Conflicts: 101000 | #Constraints: 124353 439.90/441.31 c #Conflicts: 102000 | #Constraints: 125353 439.90/441.31 c #Conflicts: 103000 | #Constraints: 126353 439.90/441.31 c INPROCESSING 439.90/441.31 c GARBAGE COLLECT 439.90/441.31 c rational objective 550 450.58/452.08 c #Conflicts: 104000 | #Constraints: 120939 450.58/452.08 c #Conflicts: 105000 | #Constraints: 121939 450.58/452.08 c #Conflicts: 106000 | #Constraints: 122939 450.58/452.08 c #Conflicts: 107000 | #Constraints: 123939 450.58/452.08 c #Conflicts: 108000 | #Constraints: 124939 450.58/452.08 c #Conflicts: 109000 | #Constraints: 125939 450.58/452.08 c #Conflicts: 110000 | #Constraints: 126939 450.58/452.08 c INPROCESSING 450.58/452.08 c GARBAGE COLLECT 450.58/452.08 c rational objective 550 464.44/465.96 c #Conflicts: 111000 | #Constraints: 121339 464.44/465.96 c #Conflicts: 112000 | #Constraints: 122339 464.44/465.96 c #Conflicts: 113000 | #Constraints: 123339 464.44/465.96 c #Conflicts: 114000 | #Constraints: 124339 464.44/465.96 c #Conflicts: 115000 | #Constraints: 125339 464.44/465.96 c #Conflicts: 116000 | #Constraints: 126339 464.44/465.96 c #Conflicts: 117000 | #Constraints: 127339 464.44/465.96 c INPROCESSING 464.44/465.96 c GARBAGE COLLECT 464.44/465.96 c rational objective 550 494.76/496.35 c #Conflicts: 118000 | #Constraints: 121530 494.76/496.35 c #Conflicts: 119000 | #Constraints: 122530 494.76/496.35 c #Conflicts: 120000 | #Constraints: 123530 494.76/496.35 c #Conflicts: 121000 | #Constraints: 124530 494.76/496.35 c #Conflicts: 122000 | #Constraints: 125530 494.76/496.35 c #Conflicts: 123000 | #Constraints: 126530 494.76/496.35 c #Conflicts: 124000 | #Constraints: 127530 494.76/496.35 c INPROCESSING 494.76/496.35 c GARBAGE COLLECT 494.76/496.35 c rational objective 550 512.01/513.65 c #Conflicts: 125000 | #Constraints: 121527 512.01/513.65 c #Conflicts: 126000 | #Constraints: 122527 512.01/513.65 c #Conflicts: 127000 | #Constraints: 123527 512.01/513.65 c #Conflicts: 128000 | #Constraints: 124527 512.01/513.65 c #Conflicts: 129000 | #Constraints: 125527 512.01/513.65 c #Conflicts: 130000 | #Constraints: 126527 512.01/513.65 c #Conflicts: 131000 | #Constraints: 127527 512.01/513.65 c INPROCESSING 512.01/513.65 c GARBAGE COLLECT 512.01/513.65 c rational objective 550 524.78/526.40 c #Conflicts: 132000 | #Constraints: 121323 524.78/526.40 c #Conflicts: 133000 | #Constraints: 122323 524.78/526.40 c #Conflicts: 134000 | #Constraints: 123323 524.78/526.40 c #Conflicts: 135000 | #Constraints: 124323 524.78/526.40 c #Conflicts: 136000 | #Constraints: 125323 524.78/526.40 c #Conflicts: 137000 | #Constraints: 126323 524.78/526.40 c #Conflicts: 138000 | #Constraints: 127323 524.78/526.40 c #Conflicts: 139000 | #Constraints: 128323 524.78/526.40 c INPROCESSING 524.78/526.40 c GARBAGE COLLECT 524.78/526.40 c rational objective 550 542.83/544.53 c #Conflicts: 140000 | #Constraints: 121937 542.83/544.53 c #Conflicts: 141000 | #Constraints: 122937 542.83/544.53 c #Conflicts: 142000 | #Constraints: 123937 542.83/544.53 c #Conflicts: 143000 | #Constraints: 124937 542.83/544.53 c #Conflicts: 144000 | #Constraints: 125937 542.83/544.53 c #Conflicts: 145000 | #Constraints: 126937 542.83/544.53 c #Conflicts: 146000 | #Constraints: 127937 542.83/544.53 c #Conflicts: 147000 | #Constraints: 128937 542.83/544.53 c INPROCESSING 542.83/544.53 c GARBAGE COLLECT 542.83/544.53 c rational objective 550 567.07/568.83 c #Conflicts: 148000 | #Constraints: 122349 567.07/568.83 c #Conflicts: 149000 | #Constraints: 123349 567.07/568.83 c #Conflicts: 150000 | #Constraints: 124349 567.07/568.83 c #Conflicts: 151000 | #Constraints: 125349 567.07/568.83 c #Conflicts: 152000 | #Constraints: 126349 567.07/568.83 c #Conflicts: 153000 | #Constraints: 127349 567.07/568.83 c #Conflicts: 154000 | #Constraints: 128349 567.07/568.83 c #Conflicts: 155000 | #Constraints: 129349 567.07/568.83 c INPROCESSING 567.07/568.83 c GARBAGE COLLECT 567.07/568.83 c rational objective 550 580.73/582.50 c #Conflicts: 156000 | #Constraints: 122546 580.73/582.50 c #Conflicts: 157000 | #Constraints: 123546 580.73/582.50 c #Conflicts: 158000 | #Constraints: 124546 580.73/582.50 c #Conflicts: 159000 | #Constraints: 125546 580.73/582.50 c #Conflicts: 160000 | #Constraints: 126546 580.73/582.50 c #Conflicts: 161000 | #Constraints: 127546 580.73/582.50 c #Conflicts: 162000 | #Constraints: 128546 580.73/582.50 c #Conflicts: 163000 | #Constraints: 129546 580.73/582.50 c INPROCESSING 580.73/582.50 c GARBAGE COLLECT 580.73/582.50 c rational objective 550 610.17/612.05 c #Conflicts: 164000 | #Constraints: 122550 610.17/612.05 c #Conflicts: 165000 | #Constraints: 123550 610.17/612.05 c #Conflicts: 166000 | #Constraints: 124550 610.17/612.05 c #Conflicts: 167000 | #Constraints: 125550 610.17/612.05 c #Conflicts: 168000 | #Constraints: 126550 610.17/612.05 c #Conflicts: 169000 | #Constraints: 127550 610.17/612.05 c #Conflicts: 170000 | #Constraints: 128550 610.17/612.05 c #Conflicts: 171000 | #Constraints: 129550 610.17/612.05 c INPROCESSING 610.17/612.05 c GARBAGE COLLECT 610.17/612.05 c rational objective 550 624.51/626.40 c #Conflicts: 172000 | #Constraints: 122336 624.51/626.40 c #Conflicts: 173000 | #Constraints: 123336 624.51/626.40 c #Conflicts: 174000 | #Constraints: 124336 624.51/626.40 c #Conflicts: 175000 | #Constraints: 125336 624.51/626.40 c #Conflicts: 176000 | #Constraints: 126336 624.51/626.40 c #Conflicts: 177000 | #Constraints: 127336 624.51/626.40 c #Conflicts: 178000 | #Constraints: 128336 624.51/626.40 c #Conflicts: 179000 | #Constraints: 129336 624.51/626.40 c #Conflicts: 180000 | #Constraints: 130336 624.51/626.40 c INPROCESSING 624.51/626.40 c GARBAGE COLLECT 624.51/626.40 c rational objective 550 645.75/647.74 c #Conflicts: 181000 | #Constraints: 122931 645.75/647.74 c #Conflicts: 182000 | #Constraints: 123931 645.75/647.74 c #Conflicts: 183000 | #Constraints: 124931 645.75/647.74 c #Conflicts: 184000 | #Constraints: 125931 645.75/647.74 c #Conflicts: 185000 | #Constraints: 126931 645.75/647.74 c #Conflicts: 186000 | #Constraints: 127931 645.75/647.74 c #Conflicts: 187000 | #Constraints: 128931 645.75/647.74 c #Conflicts: 188000 | #Constraints: 129931 645.75/647.74 c #Conflicts: 189000 | #Constraints: 130931 645.75/647.74 c INPROCESSING 645.75/647.74 c GARBAGE COLLECT 645.75/647.74 c rational objective 550 669.70/671.73 c #Conflicts: 190000 | #Constraints: 123342 669.70/671.73 c #Conflicts: 191000 | #Constraints: 124342 669.70/671.73 c #Conflicts: 192000 | #Constraints: 125342 669.70/671.73 c #Conflicts: 193000 | #Constraints: 126342 669.70/671.73 c #Conflicts: 194000 | #Constraints: 127342 669.70/671.73 c #Conflicts: 195000 | #Constraints: 128342 669.70/671.73 c #Conflicts: 196000 | #Constraints: 129342 669.70/671.73 c #Conflicts: 197000 | #Constraints: 130342 669.70/671.73 c #Conflicts: 198000 | #Constraints: 131342 669.70/671.73 c INPROCESSING 669.70/671.73 c GARBAGE COLLECT 669.70/671.73 c rational objective 550 691.95/694.07 c #Conflicts: 199000 | #Constraints: 123547 691.95/694.07 c #Conflicts: 200000 | #Constraints: 124547 691.95/694.07 c #Conflicts: 201000 | #Constraints: 125547 691.95/694.07 c #Conflicts: 202000 | #Constraints: 126547 691.95/694.07 c #Conflicts: 203000 | #Constraints: 127547 691.95/694.07 c #Conflicts: 204000 | #Constraints: 128547 691.95/694.07 c #Conflicts: 205000 | #Constraints: 129547 691.95/694.07 c #Conflicts: 206000 | #Constraints: 130547 691.95/694.07 c #Conflicts: 207000 | #Constraints: 131547 691.95/694.07 c INPROCESSING 691.95/694.07 c GARBAGE COLLECT 691.95/694.07 c rational objective 550 709.79/712.00 c #Conflicts: 208000 | #Constraints: 123542 709.79/712.00 c #Conflicts: 209000 | #Constraints: 124542 709.79/712.00 c #Conflicts: 210000 | #Constraints: 125542 709.79/712.00 c #Conflicts: 211000 | #Constraints: 126542 709.79/712.00 c #Conflicts: 212000 | #Constraints: 127542 709.79/712.00 c #Conflicts: 213000 | #Constraints: 128542 709.79/712.00 c #Conflicts: 214000 | #Constraints: 129542 709.79/712.00 c #Conflicts: 215000 | #Constraints: 130542 709.79/712.00 c #Conflicts: 216000 | #Constraints: 131542 709.79/712.00 c INPROCESSING 709.79/712.00 c GARBAGE COLLECT 709.79/712.00 c rational objective 550 729.53/731.75 c #Conflicts: 217000 | #Constraints: 123349 729.53/731.75 c #Conflicts: 218000 | #Constraints: 124349 729.53/731.75 c #Conflicts: 219000 | #Constraints: 125349 729.53/731.75 c #Conflicts: 220000 | #Constraints: 126349 729.53/731.75 c #Conflicts: 221000 | #Constraints: 127349 729.53/731.75 c #Conflicts: 222000 | #Constraints: 128349 729.53/731.75 c #Conflicts: 223000 | #Constraints: 129349 729.53/731.75 c #Conflicts: 224000 | #Constraints: 130349 729.53/731.75 c #Conflicts: 225000 | #Constraints: 131349 729.53/731.75 c #Conflicts: 226000 | #Constraints: 132349 729.53/731.75 c INPROCESSING 729.53/731.75 c GARBAGE COLLECT 729.53/731.75 c rational objective 550 754.46/756.72 c #Conflicts: 227000 | #Constraints: 123956 754.46/756.72 c #Conflicts: 228000 | #Constraints: 124956 754.46/756.72 c #Conflicts: 229000 | #Constraints: 125956 754.46/756.72 c #Conflicts: 230000 | #Constraints: 126956 754.46/756.72 c #Conflicts: 231000 | #Constraints: 127956 754.46/756.72 c #Conflicts: 232000 | #Constraints: 128956 754.46/756.72 c #Conflicts: 233000 | #Constraints: 129956 754.46/756.72 c #Conflicts: 234000 | #Constraints: 130956 754.46/756.72 c #Conflicts: 235000 | #Constraints: 131956 754.46/756.72 c #Conflicts: 236000 | #Constraints: 132956 754.46/756.72 c INPROCESSING 754.46/756.72 c GARBAGE COLLECT 754.46/756.72 c rational objective 550 780.98/783.36 c #Conflicts: 237000 | #Constraints: 124342 780.98/783.36 c #Conflicts: 238000 | #Constraints: 125342 780.98/783.36 c #Conflicts: 239000 | #Constraints: 126342 780.98/783.36 c #Conflicts: 240000 | #Constraints: 127342 780.98/783.36 c #Conflicts: 241000 | #Constraints: 128342 780.98/783.36 c #Conflicts: 242000 | #Constraints: 129342 780.98/783.36 c #Conflicts: 243000 | #Constraints: 130342 780.98/783.36 c #Conflicts: 244000 | #Constraints: 131342 780.98/783.36 c #Conflicts: 245000 | #Constraints: 132342 780.98/783.36 c #Conflicts: 246000 | #Constraints: 133342 780.98/783.36 c INPROCESSING 780.98/783.36 c GARBAGE COLLECT 780.98/783.36 c rational objective 550 803.62/806.06 c #Conflicts: 247000 | #Constraints: 124543 803.62/806.06 c #Conflicts: 248000 | #Constraints: 125543 803.62/806.06 c #Conflicts: 249000 | #Constraints: 126543 803.62/806.06 c #Conflicts: 250000 | #Constraints: 127543 803.62/806.06 c #Conflicts: 251000 | #Constraints: 128543 803.62/806.06 c #Conflicts: 252000 | #Constraints: 129543 803.62/806.06 c #Conflicts: 253000 | #Constraints: 130543 803.62/806.06 c #Conflicts: 254000 | #Constraints: 131543 803.62/806.06 c #Conflicts: 255000 | #Constraints: 132543 803.62/806.06 c #Conflicts: 256000 | #Constraints: 133543 803.62/806.06 c INPROCESSING 803.62/806.06 c GARBAGE COLLECT 803.62/806.06 c rational objective 550 830.54/833.05 c #Conflicts: 257000 | #Constraints: 124538 830.54/833.05 c #Conflicts: 258000 | #Constraints: 125538 830.54/833.05 c #Conflicts: 259000 | #Constraints: 126538 830.54/833.05 c #Conflicts: 260000 | #Constraints: 127538 830.54/833.05 c #Conflicts: 261000 | #Constraints: 128538 830.54/833.05 c #Conflicts: 262000 | #Constraints: 129538 830.54/833.05 c #Conflicts: 263000 | #Constraints: 130538 830.54/833.05 c #Conflicts: 264000 | #Constraints: 131538 830.54/833.05 c #Conflicts: 265000 | #Constraints: 132538 830.54/833.05 c #Conflicts: 266000 | #Constraints: 133538 830.54/833.05 c INPROCESSING 830.54/833.05 c GARBAGE COLLECT 830.54/833.05 c rational objective 550 851.86/854.44 c #Conflicts: 267000 | #Constraints: 124336 851.86/854.44 c #Conflicts: 268000 | #Constraints: 125336 851.86/854.44 c #Conflicts: 269000 | #Constraints: 126336 851.86/854.44 c #Conflicts: 270000 | #Constraints: 127336 851.86/854.44 c #Conflicts: 271000 | #Constraints: 128336 851.86/854.44 c #Conflicts: 272000 | #Constraints: 129336 851.86/854.44 c #Conflicts: 273000 | #Constraints: 130336 851.86/854.44 c #Conflicts: 274000 | #Constraints: 131336 851.86/854.44 c #Conflicts: 275000 | #Constraints: 132336 851.86/854.44 c #Conflicts: 276000 | #Constraints: 133336 851.86/854.44 c #Conflicts: 277000 | #Constraints: 134336 851.86/854.44 c INPROCESSING 851.86/854.44 c GARBAGE COLLECT 851.86/854.44 c rational objective 550 894.82/897.58 c #Conflicts: 278000 | #Constraints: 124933 894.82/897.58 c #Conflicts: 279000 | #Constraints: 125933 894.82/897.58 c #Conflicts: 280000 | #Constraints: 126933 894.82/897.58 c #Conflicts: 281000 | #Constraints: 127933 894.82/897.58 c #Conflicts: 282000 | #Constraints: 128933 894.82/897.58 c #Conflicts: 283000 | #Constraints: 129933 894.82/897.58 c #Conflicts: 284000 | #Constraints: 130933 894.82/897.58 c #Conflicts: 285000 | #Constraints: 131933 894.82/897.58 c #Conflicts: 286000 | #Constraints: 132933 894.82/897.58 c #Conflicts: 287000 | #Constraints: 133933 894.82/897.58 c #Conflicts: 288000 | #Constraints: 134933 894.82/897.58 c INPROCESSING 894.82/897.58 c GARBAGE COLLECT 894.82/897.58 c rational objective 550 911.08/913.88 c #Conflicts: 289000 | #Constraints: 125331 911.08/913.88 c #Conflicts: 290000 | #Constraints: 126331 911.08/913.88 c #Conflicts: 291000 | #Constraints: 127331 911.08/913.88 c #Conflicts: 292000 | #Constraints: 128331 911.08/913.88 c #Conflicts: 293000 | #Constraints: 129331 911.08/913.88 c #Conflicts: 294000 | #Constraints: 130331 911.08/913.88 c #Conflicts: 295000 | #Constraints: 131331 911.08/913.88 c #Conflicts: 296000 | #Constraints: 132331 911.08/913.88 c #Conflicts: 297000 | #Constraints: 133331 911.08/913.88 c #Conflicts: 298000 | #Constraints: 134331 911.08/913.88 c #Conflicts: 299000 | #Constraints: 135331 911.08/913.88 c INPROCESSING 911.08/913.88 c GARBAGE COLLECT 911.08/913.88 c rational objective 550 937.89/940.76 c #Conflicts: 300000 | #Constraints: 125527 937.89/940.76 c #Conflicts: 301000 | #Constraints: 126527 937.89/940.76 c #Conflicts: 302000 | #Constraints: 127527 937.89/940.76 c #Conflicts: 303000 | #Constraints: 128527 937.89/940.76 c #Conflicts: 304000 | #Constraints: 129527 937.89/940.76 c #Conflicts: 305000 | #Constraints: 130527 937.89/940.76 c #Conflicts: 306000 | #Constraints: 131527 937.89/940.76 c #Conflicts: 307000 | #Constraints: 132527 937.89/940.76 c #Conflicts: 308000 | #Constraints: 133527 937.89/940.76 c #Conflicts: 309000 | #Constraints: 134527 937.89/940.76 c #Conflicts: 310000 | #Constraints: 135527 937.89/940.76 c INPROCESSING 937.89/940.76 c GARBAGE COLLECT 937.89/940.76 c rational objective 550 963.12/966.01 c #Conflicts: 311000 | #Constraints: 125538 963.12/966.01 c #Conflicts: 312000 | #Constraints: 126538 963.12/966.01 c #Conflicts: 313000 | #Constraints: 127538 963.12/966.01 c #Conflicts: 314000 | #Constraints: 128538 963.12/966.01 c #Conflicts: 315000 | #Constraints: 129538 963.12/966.01 c #Conflicts: 316000 | #Constraints: 130538 963.12/966.01 c #Conflicts: 317000 | #Constraints: 131538 963.12/966.01 c #Conflicts: 318000 | #Constraints: 132538 963.12/966.01 c #Conflicts: 319000 | #Constraints: 133538 963.12/966.01 c #Conflicts: 320000 | #Constraints: 134538 963.12/966.01 c #Conflicts: 321000 | #Constraints: 135538 963.12/966.01 c INPROCESSING 963.12/966.01 c GARBAGE COLLECT 963.12/966.01 c rational objective 550 990.14/993.13 c #Conflicts: 322000 | #Constraints: 125341 990.14/993.13 c #Conflicts: 323000 | #Constraints: 126341 990.14/993.13 c #Conflicts: 324000 | #Constraints: 127341 990.14/993.13 c #Conflicts: 325000 | #Constraints: 128341 990.14/993.13 c #Conflicts: 326000 | #Constraints: 129341 990.14/993.13 c #Conflicts: 327000 | #Constraints: 130341 990.14/993.13 c #Conflicts: 328000 | #Constraints: 131341 990.14/993.13 c #Conflicts: 329000 | #Constraints: 132341 990.14/993.13 c #Conflicts: 330000 | #Constraints: 133341 990.14/993.13 c #Conflicts: 331000 | #Constraints: 134341 990.14/993.13 c #Conflicts: 332000 | #Constraints: 135341 990.14/993.13 c #Conflicts: 333000 | #Constraints: 136341 990.14/993.13 c INPROCESSING 990.14/993.13 c GARBAGE COLLECT 990.14/993.13 c rational objective 550 1022.23/1025.31 c #Conflicts: 334000 | #Constraints: 125949 1022.23/1025.31 c #Conflicts: 335000 | #Constraints: 126949 1022.23/1025.31 c #Conflicts: 336000 | #Constraints: 127949 1022.23/1025.31 c #Conflicts: 337000 | #Constraints: 128949 1022.23/1025.31 c #Conflicts: 338000 | #Constraints: 129949 1022.23/1025.31 c #Conflicts: 339000 | #Constraints: 130949 1022.23/1025.31 c #Conflicts: 340000 | #Constraints: 131949 1022.23/1025.31 c #Conflicts: 341000 | #Constraints: 132949 1022.23/1025.31 c #Conflicts: 342000 | #Constraints: 133949 1022.23/1025.31 c #Conflicts: 343000 | #Constraints: 134949 1022.23/1025.31 c #Conflicts: 344000 | #Constraints: 135949 1022.23/1025.31 c #Conflicts: 345000 | #Constraints: 136949 1022.23/1025.31 c INPROCESSING 1022.23/1025.31 c GARBAGE COLLECT 1022.23/1025.31 c rational objective 550 1060.92/1064.16 c #Conflicts: 346000 | #Constraints: 126335 1060.92/1064.16 c #Conflicts: 347000 | #Constraints: 127335 1060.92/1064.16 c #Conflicts: 348000 | #Constraints: 128335 1060.92/1064.16 c #Conflicts: 349000 | #Constraints: 129335 1060.92/1064.16 c #Conflicts: 350000 | #Constraints: 130335 1060.92/1064.16 c #Conflicts: 351000 | #Constraints: 131335 1060.92/1064.16 c #Conflicts: 352000 | #Constraints: 132335 1060.92/1064.16 c #Conflicts: 353000 | #Constraints: 133335 1060.92/1064.16 c #Conflicts: 354000 | #Constraints: 134335 1060.92/1064.16 c #Conflicts: 355000 | #Constraints: 135335 1060.92/1064.16 c #Conflicts: 356000 | #Constraints: 136335 1060.92/1064.16 c #Conflicts: 357000 | #Constraints: 137335 1060.92/1064.16 c INPROCESSING 1060.92/1064.16 c GARBAGE COLLECT 1060.92/1064.16 c rational objective 550 1089.42/1092.78 c #Conflicts: 358000 | #Constraints: 126527 1089.42/1092.78 c #Conflicts: 359000 | #Constraints: 127527 1089.42/1092.78 c #Conflicts: 360000 | #Constraints: 128527 1089.42/1092.78 c #Conflicts: 361000 | #Constraints: 129527 1089.42/1092.78 c #Conflicts: 362000 | #Constraints: 130527 1089.42/1092.78 c #Conflicts: 363000 | #Constraints: 131527 1089.42/1092.78 c #Conflicts: 364000 | #Constraints: 132527 1089.42/1092.78 c #Conflicts: 365000 | #Constraints: 133527 1089.42/1092.78 c #Conflicts: 366000 | #Constraints: 134527 1089.42/1092.78 c #Conflicts: 367000 | #Constraints: 135527 1089.42/1092.78 c #Conflicts: 368000 | #Constraints: 136527 1089.42/1092.78 c #Conflicts: 369000 | #Constraints: 137527 1089.42/1092.78 c INPROCESSING 1089.42/1092.78 c GARBAGE COLLECT 1089.42/1092.78 c rational objective 550 1116.34/1119.76 c #Conflicts: 370000 | #Constraints: 126534 1116.34/1119.76 c #Conflicts: 371000 | #Constraints: 127534 1116.34/1119.76 c #Conflicts: 372000 | #Constraints: 128534 1116.34/1119.76 c #Conflicts: 373000 | #Constraints: 129534 1116.34/1119.76 c #Conflicts: 374000 | #Constraints: 130534 1116.34/1119.76 c #Conflicts: 375000 | #Constraints: 131534 1116.34/1119.76 c #Conflicts: 376000 | #Constraints: 132534 1116.34/1119.76 c #Conflicts: 377000 | #Constraints: 133534 1116.34/1119.76 c #Conflicts: 378000 | #Constraints: 134534 1116.34/1119.76 c #Conflicts: 379000 | #Constraints: 135534 1116.34/1119.76 c #Conflicts: 380000 | #Constraints: 136534 1116.34/1119.76 c #Conflicts: 381000 | #Constraints: 137534 1116.34/1119.76 c INPROCESSING 1116.34/1119.76 c GARBAGE COLLECT 1116.34/1119.76 c rational objective 550 1145.85/1149.32 c #Conflicts: 382000 | #Constraints: 126330 1145.85/1149.32 c #Conflicts: 383000 | #Constraints: 127330 1145.85/1149.32 c #Conflicts: 384000 | #Constraints: 128330 1145.85/1149.32 c #Conflicts: 385000 | #Constraints: 129330 1145.85/1149.32 c #Conflicts: 386000 | #Constraints: 130330 1145.85/1149.32 c #Conflicts: 387000 | #Constraints: 131330 1145.85/1149.32 c #Conflicts: 388000 | #Constraints: 132330 1145.85/1149.32 c #Conflicts: 389000 | #Constraints: 133330 1145.85/1149.32 c #Conflicts: 390000 | #Constraints: 134330 1145.85/1149.32 c #Conflicts: 391000 | #Constraints: 135330 1145.85/1149.32 c #Conflicts: 392000 | #Constraints: 136330 1145.85/1149.32 c #Conflicts: 393000 | #Constraints: 137330 1145.85/1149.32 c #Conflicts: 394000 | #Constraints: 138330 1145.85/1149.32 c INPROCESSING 1145.85/1149.32 c GARBAGE COLLECT 1145.85/1149.32 c rational objective 550 1181.93/1185.58 c #Conflicts: 395000 | #Constraints: 126938 1181.93/1185.58 c #Conflicts: 396000 | #Constraints: 127938 1181.93/1185.58 c #Conflicts: 397000 | #Constraints: 128938 1181.93/1185.58 c #Conflicts: 398000 | #Constraints: 129938 1181.93/1185.58 c #Conflicts: 399000 | #Constraints: 130938 1181.93/1185.58 c #Conflicts: 400000 | #Constraints: 131938 1181.93/1185.58 c #Conflicts: 401000 | #Constraints: 132938 1181.93/1185.58 c #Conflicts: 402000 | #Constraints: 133938 1181.93/1185.58 c #Conflicts: 403000 | #Constraints: 134938 1181.93/1185.58 c #Conflicts: 404000 | #Constraints: 135938 1181.93/1185.58 c #Conflicts: 405000 | #Constraints: 136938 1181.93/1185.58 c #Conflicts: 406000 | #Constraints: 137938 1181.93/1185.58 c #Conflicts: 407000 | #Constraints: 138938 1181.93/1185.58 c INPROCESSING 1181.93/1185.58 c GARBAGE COLLECT 1181.93/1185.58 c rational objective 550 1209.94/1213.65 c #Conflicts: 408000 | #Constraints: 127332 1209.94/1213.65 c #Conflicts: 409000 | #Constraints: 128332 1209.94/1213.65 c #Conflicts: 410000 | #Constraints: 129332 1209.94/1213.65 c #Conflicts: 411000 | #Constraints: 130332 1209.94/1213.65 c #Conflicts: 412000 | #Constraints: 131332 1209.94/1213.65 c #Conflicts: 413000 | #Constraints: 132332 1209.94/1213.65 c #Conflicts: 414000 | #Constraints: 133332 1209.94/1213.65 c #Conflicts: 415000 | #Constraints: 134332 1209.94/1213.65 c #Conflicts: 416000 | #Constraints: 135332 1209.94/1213.65 c #Conflicts: 417000 | #Constraints: 136332 1209.94/1213.65 c #Conflicts: 418000 | #Constraints: 137332 1209.94/1213.65 c #Conflicts: 419000 | #Constraints: 138332 1209.94/1213.65 c #Conflicts: 420000 | #Constraints: 139332 1209.94/1213.65 c INPROCESSING 1209.94/1213.65 c GARBAGE COLLECT 1209.94/1213.65 c rational objective 550 1239.46/1243.27 c #Conflicts: 421000 | #Constraints: 127544 1239.46/1243.27 c #Conflicts: 422000 | #Constraints: 128544 1239.46/1243.27 c #Conflicts: 423000 | #Constraints: 129544 1239.46/1243.27 c #Conflicts: 424000 | #Constraints: 130544 1239.46/1243.27 c #Conflicts: 425000 | #Constraints: 131544 1239.46/1243.27 c #Conflicts: 426000 | #Constraints: 132544 1239.46/1243.27 c #Conflicts: 427000 | #Constraints: 133544 1239.46/1243.27 c #Conflicts: 428000 | #Constraints: 134544 1239.46/1243.27 c #Conflicts: 429000 | #Constraints: 135544 1239.46/1243.27 c #Conflicts: 430000 | #Constraints: 136544 1239.46/1243.27 c #Conflicts: 431000 | #Constraints: 137544 1239.46/1243.27 c #Conflicts: 432000 | #Constraints: 138544 1239.46/1243.27 c #Conflicts: 433000 | #Constraints: 139544 1239.46/1243.27 c INPROCESSING 1239.46/1243.27 c GARBAGE COLLECT 1239.46/1243.27 c rational objective 550 1266.07/1269.91 c #Conflicts: 434000 | #Constraints: 127554 1266.07/1269.91 c #Conflicts: 435000 | #Constraints: 128554 1266.07/1269.91 c #Conflicts: 436000 | #Constraints: 129554 1266.07/1269.91 c #Conflicts: 437000 | #Constraints: 130554 1266.07/1269.91 c #Conflicts: 438000 | #Constraints: 131554 1266.07/1269.91 c #Conflicts: 439000 | #Constraints: 132554 1266.07/1269.91 c #Conflicts: 440000 | #Constraints: 133554 1266.07/1269.91 c #Conflicts: 441000 | #Constraints: 134554 1266.07/1269.91 c #Conflicts: 442000 | #Constraints: 135554 1266.07/1269.91 c #Conflicts: 443000 | #Constraints: 136554 1266.07/1269.91 c #Conflicts: 444000 | #Constraints: 137554 1266.07/1269.91 c #Conflicts: 445000 | #Constraints: 138554 1266.07/1269.91 c #Conflicts: 446000 | #Constraints: 139554 1266.07/1269.91 c INPROCESSING 1266.07/1269.91 c GARBAGE COLLECT 1266.07/1269.91 c rational objective 550 1291.49/1295.44 c #Conflicts: 447000 | #Constraints: 127360 1291.49/1295.44 c #Conflicts: 448000 | #Constraints: 128360 1291.49/1295.44 c #Conflicts: 449000 | #Constraints: 129360 1291.49/1295.44 c #Conflicts: 450000 | #Constraints: 130360 1291.49/1295.44 c #Conflicts: 451000 | #Constraints: 131360 1291.49/1295.44 c #Conflicts: 452000 | #Constraints: 132360 1291.49/1295.44 c #Conflicts: 453000 | #Constraints: 133360 1291.49/1295.44 c #Conflicts: 454000 | #Constraints: 134360 1291.49/1295.44 c #Conflicts: 455000 | #Constraints: 135360 1291.49/1295.44 c #Conflicts: 456000 | #Constraints: 136360 1291.49/1295.44 c #Conflicts: 457000 | #Constraints: 137360 1291.49/1295.44 c #Conflicts: 458000 | #Constraints: 138360 1291.49/1295.44 c #Conflicts: 459000 | #Constraints: 139360 1291.49/1295.44 c #Conflicts: 460000 | #Constraints: 140360 1291.49/1295.44 c INPROCESSING 1291.49/1295.44 c GARBAGE COLLECT 1291.49/1295.44 c rational objective 550 1320.19/1324.29 c #Conflicts: 461000 | #Constraints: 127968 1320.19/1324.29 c #Conflicts: 462000 | #Constraints: 128968 1320.19/1324.29 c #Conflicts: 463000 | #Constraints: 129968 1320.19/1324.29 c #Conflicts: 464000 | #Constraints: 130968 1320.19/1324.29 c #Conflicts: 465000 | #Constraints: 131968 1320.19/1324.29 c #Conflicts: 466000 | #Constraints: 132968 1320.19/1324.29 c #Conflicts: 467000 | #Constraints: 133968 1320.19/1324.29 c #Conflicts: 468000 | #Constraints: 134968 1320.19/1324.29 c #Conflicts: 469000 | #Constraints: 135968 1320.19/1324.29 c #Conflicts: 470000 | #Constraints: 136968 1320.19/1324.29 c #Conflicts: 471000 | #Constraints: 137968 1320.19/1324.29 c #Conflicts: 472000 | #Constraints: 138968 1320.19/1324.29 c #Conflicts: 473000 | #Constraints: 139968 1320.19/1324.29 c #Conflicts: 474000 | #Constraints: 140968 1320.19/1324.29 c INPROCESSING 1320.19/1324.29 c GARBAGE COLLECT 1320.19/1324.29 c rational objective 550 1344.42/1348.51 c #Conflicts: 475000 | #Constraints: 128373 1344.42/1348.51 c #Conflicts: 476000 | #Constraints: 129373 1344.42/1348.51 c #Conflicts: 477000 | #Constraints: 130373 1344.42/1348.51 c #Conflicts: 478000 | #Constraints: 131373 1344.42/1348.51 c #Conflicts: 479000 | #Constraints: 132373 1344.42/1348.51 c #Conflicts: 480000 | #Constraints: 133373 1344.42/1348.51 c #Conflicts: 481000 | #Constraints: 134373 1344.42/1348.51 c #Conflicts: 482000 | #Constraints: 135373 1344.42/1348.51 c #Conflicts: 483000 | #Constraints: 136373 1344.42/1348.51 c #Conflicts: 484000 | #Constraints: 137373 1344.42/1348.51 c #Conflicts: 485000 | #Constraints: 138373 1344.42/1348.51 c #Conflicts: 486000 | #Constraints: 139373 1344.42/1348.51 c #Conflicts: 487000 | #Constraints: 140373 1344.42/1348.51 c #Conflicts: 488000 | #Constraints: 141373 1344.42/1348.51 c INPROCESSING 1344.42/1348.51 c GARBAGE COLLECT 1344.42/1348.51 c rational objective 550 1371.84/1376.04 c #Conflicts: 489000 | #Constraints: 128581 1371.84/1376.04 c #Conflicts: 490000 | #Constraints: 129581 1371.84/1376.04 c #Conflicts: 491000 | #Constraints: 130581 1371.84/1376.04 c #Conflicts: 492000 | #Constraints: 131581 1371.84/1376.04 c #Conflicts: 493000 | #Constraints: 132581 1371.84/1376.04 c #Conflicts: 494000 | #Constraints: 133581 1371.84/1376.04 c #Conflicts: 495000 | #Constraints: 134581 1371.84/1376.04 c #Conflicts: 496000 | #Constraints: 135581 1371.84/1376.04 c #Conflicts: 497000 | #Constraints: 136581 1371.84/1376.04 c #Conflicts: 498000 | #Constraints: 137581 1371.84/1376.04 c #Conflicts: 499000 | #Constraints: 138581 1371.84/1376.04 c #Conflicts: 500000 | #Constraints: 139581 1371.84/1376.04 c #Conflicts: 501000 | #Constraints: 140581 1371.84/1376.04 c #Conflicts: 502000 | #Constraints: 141581 1371.84/1376.04 c INPROCESSING 1371.84/1376.04 c GARBAGE COLLECT 1371.84/1376.04 c rational objective 550 1402.53/1406.82 c #Conflicts: 503000 | #Constraints: 128583 1402.53/1406.82 c #Conflicts: 504000 | #Constraints: 129583 1402.53/1406.82 c #Conflicts: 505000 | #Constraints: 130583 1402.53/1406.82 c #Conflicts: 506000 | #Constraints: 131583 1402.53/1406.82 c #Conflicts: 507000 | #Constraints: 132583 1402.53/1406.82 c #Conflicts: 508000 | #Constraints: 133583 1402.53/1406.82 c #Conflicts: 509000 | #Constraints: 134583 1402.53/1406.82 c #Conflicts: 510000 | #Constraints: 135583 1402.53/1406.82 c #Conflicts: 511000 | #Constraints: 136583 1402.53/1406.82 c #Conflicts: 512000 | #Constraints: 137583 1402.53/1406.82 c #Conflicts: 513000 | #Constraints: 138583 1402.53/1406.82 c #Conflicts: 514000 | #Constraints: 139583 1402.53/1406.82 c #Conflicts: 515000 | #Constraints: 140583 1402.53/1406.82 c #Conflicts: 516000 | #Constraints: 141583 1402.53/1406.82 c INPROCESSING 1402.53/1406.82 c GARBAGE COLLECT 1402.53/1406.82 c rational objective 550 1437.14/1441.54 c #Conflicts: 517000 | #Constraints: 128353 1437.14/1441.54 c #Conflicts: 518000 | #Constraints: 129353 1437.14/1441.54 c #Conflicts: 519000 | #Constraints: 130353 1437.14/1441.54 c #Conflicts: 520000 | #Constraints: 131353 1437.14/1441.54 c #Conflicts: 521000 | #Constraints: 132353 1437.14/1441.54 c #Conflicts: 522000 | #Constraints: 133353 1437.14/1441.54 c #Conflicts: 523000 | #Constraints: 134353 1437.14/1441.54 c #Conflicts: 524000 | #Constraints: 135353 1437.14/1441.54 c #Conflicts: 525000 | #Constraints: 136353 1437.14/1441.54 c #Conflicts: 526000 | #Constraints: 137353 1437.14/1441.54 c #Conflicts: 527000 | #Constraints: 138353 1437.14/1441.54 c #Conflicts: 528000 | #Constraints: 139353 1437.14/1441.54 c #Conflicts: 529000 | #Constraints: 140353 1437.14/1441.54 c #Conflicts: 530000 | #Constraints: 141353 1437.14/1441.54 c #Conflicts: 531000 | #Constraints: 142353 1437.14/1441.54 c INPROCESSING 1437.14/1441.54 c GARBAGE COLLECT 1437.14/1441.54 c rational objective 550 1473.54/1478.09 c #Conflicts: 532000 | #Constraints: 128955 1473.54/1478.09 c #Conflicts: 533000 | #Constraints: 129955 1473.54/1478.09 c #Conflicts: 534000 | #Constraints: 130955 1473.54/1478.09 c #Conflicts: 535000 | #Constraints: 131955 1473.54/1478.09 c #Conflicts: 536000 | #Constraints: 132955 1473.54/1478.09 c #Conflicts: 537000 | #Constraints: 133955 1473.54/1478.09 c #Conflicts: 538000 | #Constraints: 134955 1473.54/1478.09 c #Conflicts: 539000 | #Constraints: 135955 1473.54/1478.09 c #Conflicts: 540000 | #Constraints: 136955 1473.54/1478.09 c #Conflicts: 541000 | #Constraints: 137955 1473.54/1478.09 c #Conflicts: 542000 | #Constraints: 138955 1473.54/1478.09 c #Conflicts: 543000 | #Constraints: 139955 1473.54/1478.09 c #Conflicts: 544000 | #Constraints: 140955 1473.54/1478.09 c #Conflicts: 545000 | #Constraints: 141955 1473.54/1478.09 c #Conflicts: 546000 | #Constraints: 142955 1473.54/1478.09 c INPROCESSING 1473.54/1478.09 c GARBAGE COLLECT 1473.54/1478.09 c rational objective 550 1512.51/1517.16 c #Conflicts: 547000 | #Constraints: 129349 1512.51/1517.16 c #Conflicts: 548000 | #Constraints: 130349 1512.51/1517.16 c #Conflicts: 549000 | #Constraints: 131349 1512.51/1517.16 c #Conflicts: 550000 | #Constraints: 132349 1512.51/1517.16 c #Conflicts: 551000 | #Constraints: 133349 1512.51/1517.16 c #Conflicts: 552000 | #Constraints: 134349 1512.51/1517.16 c #Conflicts: 553000 | #Constraints: 135349 1512.51/1517.16 c #Conflicts: 554000 | #Constraints: 136349 1512.51/1517.16 c #Conflicts: 555000 | #Constraints: 137349 1512.51/1517.16 c #Conflicts: 556000 | #Constraints: 138349 1512.51/1517.16 c #Conflicts: 557000 | #Constraints: 139349 1512.51/1517.16 c #Conflicts: 558000 | #Constraints: 140349 1512.51/1517.16 c #Conflicts: 559000 | #Constraints: 141349 1512.51/1517.16 c #Conflicts: 560000 | #Constraints: 142349 1512.51/1517.16 c #Conflicts: 561000 | #Constraints: 143349 1512.51/1517.16 c INPROCESSING 1512.51/1517.16 c GARBAGE COLLECT 1512.51/1517.16 c rational objective 550 1552.18/1556.91 c #Conflicts: 562000 | #Constraints: 129537 1552.18/1556.91 c #Conflicts: 563000 | #Constraints: 130537 1552.18/1556.91 c #Conflicts: 564000 | #Constraints: 131537 1552.18/1556.91 c #Conflicts: 565000 | #Constraints: 132537 1552.18/1556.91 c #Conflicts: 566000 | #Constraints: 133537 1552.18/1556.91 c #Conflicts: 567000 | #Constraints: 134537 1552.18/1556.91 c #Conflicts: 568000 | #Constraints: 135537 1552.18/1556.91 c #Conflicts: 569000 | #Constraints: 136537 1552.18/1556.91 c #Conflicts: 570000 | #Constraints: 137537 1552.18/1556.91 c #Conflicts: 571000 | #Constraints: 138537 1552.18/1556.91 c #Conflicts: 572000 | #Constraints: 139537 1552.18/1556.91 c #Conflicts: 573000 | #Constraints: 140537 1552.18/1556.91 c #Conflicts: 574000 | #Constraints: 141537 1552.18/1556.91 c #Conflicts: 575000 | #Constraints: 142537 1552.18/1556.91 c #Conflicts: 576000 | #Constraints: 143537 1552.18/1556.91 c INPROCESSING 1552.18/1556.91 c GARBAGE COLLECT 1552.18/1556.91 c rational objective 550 1581.49/1586.34 c #Conflicts: 577000 | #Constraints: 129542 1581.49/1586.34 c #Conflicts: 578000 | #Constraints: 130542 1581.49/1586.34 c #Conflicts: 579000 | #Constraints: 131542 1581.49/1586.34 c #Conflicts: 580000 | #Constraints: 132542 1581.49/1586.34 c #Conflicts: 581000 | #Constraints: 133542 1581.49/1586.34 c #Conflicts: 582000 | #Constraints: 134542 1581.49/1586.34 c #Conflicts: 583000 | #Constraints: 135542 1581.49/1586.34 c #Conflicts: 584000 | #Constraints: 136542 1581.49/1586.34 c #Conflicts: 585000 | #Constraints: 137542 1581.49/1586.34 c #Conflicts: 586000 | #Constraints: 138542 1581.49/1586.34 c #Conflicts: 587000 | #Constraints: 139542 1581.49/1586.34 c #Conflicts: 588000 | #Constraints: 140542 1581.49/1586.34 c #Conflicts: 589000 | #Constraints: 141542 1581.49/1586.34 c #Conflicts: 590000 | #Constraints: 142542 1581.49/1586.34 c #Conflicts: 591000 | #Constraints: 143542 1581.49/1586.34 c INPROCESSING 1581.49/1586.34 c GARBAGE COLLECT 1581.49/1586.34 c rational objective 550 1619.37/1624.37 c #Conflicts: 592000 | #Constraints: 129339 1619.37/1624.37 c #Conflicts: 593000 | #Constraints: 130339 1619.37/1624.37 c #Conflicts: 594000 | #Constraints: 131339 1619.37/1624.37 c #Conflicts: 595000 | #Constraints: 132339 1619.37/1624.37 c #Conflicts: 596000 | #Constraints: 133339 1619.37/1624.37 c #Conflicts: 597000 | #Constraints: 134339 1619.37/1624.37 c #Conflicts: 598000 | #Constraints: 135339 1619.37/1624.37 c #Conflicts: 599000 | #Constraints: 136339 1619.37/1624.37 c #Conflicts: 600000 | #Constraints: 137339 1619.37/1624.37 c #Conflicts: 601000 | #Constraints: 138339 1619.37/1624.37 c #Conflicts: 602000 | #Constraints: 139339 1619.37/1624.37 c #Conflicts: 603000 | #Constraints: 140339 1619.37/1624.37 c #Conflicts: 604000 | #Constraints: 141339 1619.37/1624.37 c #Conflicts: 605000 | #Constraints: 142339 1619.37/1624.37 c #Conflicts: 606000 | #Constraints: 143339 1619.37/1624.37 c #Conflicts: 607000 | #Constraints: 144339 1619.37/1624.37 c INPROCESSING 1619.37/1624.37 c GARBAGE COLLECT 1619.37/1624.37 c rational objective 550 1662.34/1667.45 c #Conflicts: 608000 | #Constraints: 129955 1662.34/1667.45 c #Conflicts: 609000 | #Constraints: 130955 1662.34/1667.45 c #Conflicts: 610000 | #Constraints: 131955 1662.34/1667.45 c #Conflicts: 611000 | #Constraints: 132955 1662.34/1667.45 c #Conflicts: 612000 | #Constraints: 133955 1662.34/1667.45 c #Conflicts: 613000 | #Constraints: 134955 1662.34/1667.45 c #Conflicts: 614000 | #Constraints: 135955 1662.34/1667.45 c #Conflicts: 615000 | #Constraints: 136955 1662.34/1667.45 c #Conflicts: 616000 | #Constraints: 137955 1662.34/1667.45 c #Conflicts: 617000 | #Constraints: 138955 1662.34/1667.45 c #Conflicts: 618000 | #Constraints: 139955 1662.34/1667.45 c #Conflicts: 619000 | #Constraints: 140955 1662.34/1667.45 c #Conflicts: 620000 | #Constraints: 141955 1662.34/1667.45 c #Conflicts: 621000 | #Constraints: 142955 1662.34/1667.45 c #Conflicts: 622000 | #Constraints: 143955 1662.34/1667.45 c #Conflicts: 623000 | #Constraints: 144955 1662.34/1667.45 c INPROCESSING 1662.34/1667.45 c GARBAGE COLLECT 1662.34/1667.45 c rational objective 550 1703.92/1709.15 c #Conflicts: 624000 | #Constraints: 130348 1703.92/1709.15 c #Conflicts: 625000 | #Constraints: 131348 1703.92/1709.15 c #Conflicts: 626000 | #Constraints: 132348 1703.92/1709.15 c #Conflicts: 627000 | #Constraints: 133348 1703.92/1709.15 c #Conflicts: 628000 | #Constraints: 134348 1703.92/1709.15 c #Conflicts: 629000 | #Constraints: 135348 1703.92/1709.15 c #Conflicts: 630000 | #Constraints: 136348 1703.92/1709.15 c #Conflicts: 631000 | #Constraints: 137348 1703.92/1709.15 c #Conflicts: 632000 | #Constraints: 138348 1703.92/1709.15 c #Conflicts: 633000 | #Constraints: 139348 1703.92/1709.15 c #Conflicts: 634000 | #Constraints: 140348 1703.92/1709.15 c #Conflicts: 635000 | #Constraints: 141348 1703.92/1709.15 c #Conflicts: 636000 | #Constraints: 142348 1703.92/1709.15 c #Conflicts: 637000 | #Constraints: 143348 1703.92/1709.15 c #Conflicts: 638000 | #Constraints: 144348 1703.92/1709.15 c #Conflicts: 639000 | #Constraints: 145348 1703.92/1709.15 c INPROCESSING 1703.92/1709.15 c GARBAGE COLLECT 1703.92/1709.15 c rational objective 550 1736.61/1741.93 c #Conflicts: 640000 | #Constraints: 130535 1736.61/1741.93 c #Conflicts: 641000 | #Constraints: 131535 1736.61/1741.93 c #Conflicts: 642000 | #Constraints: 132535 1736.61/1741.93 c #Conflicts: 643000 | #Constraints: 133535 1736.61/1741.93 c #Conflicts: 644000 | #Constraints: 134535 1736.61/1741.93 c #Conflicts: 645000 | #Constraints: 135535 1736.61/1741.93 c #Conflicts: 646000 | #Constraints: 136535 1736.61/1741.93 c #Conflicts: 647000 | #Constraints: 137535 1736.61/1741.93 c #Conflicts: 648000 | #Constraints: 138535 1736.61/1741.93 c #Conflicts: 649000 | #Constraints: 139535 1736.61/1741.93 c #Conflicts: 650000 | #Constraints: 140535 1736.61/1741.93 c #Conflicts: 651000 | #Constraints: 141535 1736.61/1741.93 c #Conflicts: 652000 | #Constraints: 142535 1736.61/1741.93 c #Conflicts: 653000 | #Constraints: 143535 1736.61/1741.93 c #Conflicts: 654000 | #Constraints: 144535 1736.61/1741.93 c #Conflicts: 655000 | #Constraints: 145535 1736.61/1741.93 c INPROCESSING 1736.61/1741.93 c GARBAGE COLLECT 1736.61/1741.93 c rational objective 550 1774.09/1779.54 c #Conflicts: 656000 | #Constraints: 130537 1774.09/1779.54 c #Conflicts: 657000 | #Constraints: 131537 1774.09/1779.54 c #Conflicts: 658000 | #Constraints: 132537 1774.09/1779.54 c #Conflicts: 659000 | #Constraints: 133537 1774.09/1779.54 c #Conflicts: 660000 | #Constraints: 134537 1774.09/1779.54 c #Conflicts: 661000 | #Constraints: 135537 1774.09/1779.54 c #Conflicts: 662000 | #Constraints: 136537 1774.09/1779.54 c #Conflicts: 663000 | #Constraints: 137537 1774.09/1779.54 c #Conflicts: 664000 | #Constraints: 138537 1774.09/1779.54 c #Conflicts: 665000 | #Constraints: 139537 1774.09/1779.54 c #Conflicts: 666000 | #Constraints: 140537 1774.09/1779.54 c #Conflicts: 667000 | #Constraints: 141537 1774.09/1779.54 c #Conflicts: 668000 | #Constraints: 142537 1774.09/1779.54 c #Conflicts: 669000 | #Constraints: 143537 1774.09/1779.54 c #Conflicts: 670000 | #Constraints: 144537 1774.09/1779.54 c #Conflicts: 671000 | #Constraints: 145537 1774.09/1779.54 c INPROCESSING 1774.09/1779.54 c GARBAGE COLLECT 1774.09/1779.54 c rational objective 550 1819.85/1825.47 c #Conflicts: 672000 | #Constraints: 130328 1819.85/1825.47 c #Conflicts: 673000 | #Constraints: 131328 1819.85/1825.47 c #Conflicts: 674000 | #Constraints: 132328 1819.85/1825.47 c #Conflicts: 675000 | #Constraints: 133328 1819.85/1825.47 c #Conflicts: 676000 | #Constraints: 134328 1819.85/1825.47 c #Conflicts: 677000 | #Constraints: 135328 1819.85/1825.47 c #Conflicts: 678000 | #Constraints: 136328 1819.85/1825.47 c #Conflicts: 679000 | #Constraints: 137328 1819.85/1825.47 c #Conflicts: 680000 | #Constraints: 138328 1819.85/1825.47 c #Conflicts: 681000 | #Constraints: 139328 1819.85/1825.47 c #Conflicts: 682000 | #Constraints: 140328 1819.85/1825.47 c #Conflicts: 683000 | #Constraints: 141328 1819.85/1825.47 c #Conflicts: 684000 | #Constraints: 142328 1819.85/1825.47 c #Conflicts: 685000 | #Constraints: 143328 1819.85/1825.47 c #Conflicts: 686000 | #Constraints: 144328 1819.85/1825.47 c #Conflicts: 687000 | #Constraints: 145328 1819.85/1825.47 c #Conflicts: 688000 | #Constraints: 146328 1819.85/1825.47 c INPROCESSING 1819.85/1825.47 c GARBAGE COLLECT 1819.85/1825.47 c rational objective 550 1854.25/1859.96 c #Conflicts: 689000 | #Constraints: 130932 1854.25/1859.96 c #Conflicts: 690000 | #Constraints: 131932 1854.25/1859.96 c #Conflicts: 691000 | #Constraints: 132932 1854.25/1859.96 c #Conflicts: 692000 | #Constraints: 133932 1854.25/1859.96 c #Conflicts: 693000 | #Constraints: 134932 1854.25/1859.96 c #Conflicts: 694000 | #Constraints: 135932 1854.25/1859.96 c #Conflicts: 695000 | #Constraints: 136932 1854.25/1859.96 c #Conflicts: 696000 | #Constraints: 137932 1854.25/1859.96 c #Conflicts: 697000 | #Constraints: 138932 1854.25/1859.96 c #Conflicts: 698000 | #Constraints: 139932 1854.25/1859.96 c #Conflicts: 699000 | #Constraints: 140932 1854.25/1859.96 c #Conflicts: 700000 | #Constraints: 141932 1854.25/1859.96 c #Conflicts: 701000 | #Constraints: 142932 1854.25/1859.96 c #Conflicts: 702000 | #Constraints: 143932 1854.25/1859.96 c #Conflicts: 703000 | #Constraints: 144932 1854.25/1859.96 c #Conflicts: 704000 | #Constraints: 145932 1854.25/1859.96 c #Conflicts: 705000 | #Constraints: 146932 1854.25/1859.96 c INPROCESSING 1854.25/1859.96 c GARBAGE COLLECT 1854.25/1859.96 c rational objective 550 1890.73/1896.50 c #Conflicts: 706000 | #Constraints: 131350 1890.73/1896.50 c #Conflicts: 707000 | #Constraints: 132350 1890.73/1896.50 c #Conflicts: 708000 | #Constraints: 133350 1890.73/1896.50 c #Conflicts: 709000 | #Constraints: 134350 1890.73/1896.50 c #Conflicts: 710000 | #Constraints: 135350 1890.73/1896.50 c #Conflicts: 711000 | #Constraints: 136350 1890.73/1896.50 c #Conflicts: 712000 | #Constraints: 137350 1890.73/1896.50 c #Conflicts: 713000 | #Constraints: 138350 1890.73/1896.50 c #Conflicts: 714000 | #Constraints: 139350 1890.73/1896.50 c #Conflicts: 715000 | #Constraints: 140350 1890.73/1896.50 c #Conflicts: 716000 | #Constraints: 141350 1890.73/1896.50 c #Conflicts: 717000 | #Constraints: 142350 1890.73/1896.50 c #Conflicts: 718000 | #Constraints: 143350 1890.73/1896.50 c #Conflicts: 719000 | #Constraints: 144350 1890.73/1896.50 c #Conflicts: 720000 | #Constraints: 145350 1890.73/1896.50 c #Conflicts: 721000 | #Constraints: 146350 1890.73/1896.50 c #Conflicts: 722000 | #Constraints: 147350 1890.73/1896.50 c INPROCESSING 1890.73/1896.50 c GARBAGE COLLECT 1890.73/1896.50 c rational objective 550 1927.42/1933.34 c #Conflicts: 723000 | #Constraints: 131551 1927.42/1933.34 c #Conflicts: 724000 | #Constraints: 132551 1927.42/1933.34 c #Conflicts: 725000 | #Constraints: 133551 1927.42/1933.34 c #Conflicts: 726000 | #Constraints: 134551 1927.42/1933.34 c #Conflicts: 727000 | #Constraints: 135551 1927.42/1933.34 c #Conflicts: 728000 | #Constraints: 136551 1927.42/1933.34 c #Conflicts: 729000 | #Constraints: 137551 1927.42/1933.34 c #Conflicts: 730000 | #Constraints: 138551 1927.42/1933.34 c #Conflicts: 731000 | #Constraints: 139551 1927.42/1933.34 c #Conflicts: 732000 | #Constraints: 140551 1927.42/1933.34 c #Conflicts: 733000 | #Constraints: 141551 1927.42/1933.34 c #Conflicts: 734000 | #Constraints: 142551 1927.42/1933.34 c #Conflicts: 735000 | #Constraints: 143551 1927.42/1933.34 c #Conflicts: 736000 | #Constraints: 144551 1927.42/1933.34 c #Conflicts: 737000 | #Constraints: 145551 1927.42/1933.34 c #Conflicts: 738000 | #Constraints: 146551 1927.42/1933.34 c #Conflicts: 739000 | #Constraints: 147551 1927.42/1933.34 c INPROCESSING 1927.42/1933.34 c GARBAGE COLLECT 1927.42/1933.34 c rational objective 550 1973.09/1979.12 c #Conflicts: 740000 | #Constraints: 131563 1973.09/1979.12 c #Conflicts: 741000 | #Constraints: 132563 1973.09/1979.12 c #Conflicts: 742000 | #Constraints: 133563 1973.09/1979.12 c #Conflicts: 743000 | #Constraints: 134563 1973.09/1979.12 c #Conflicts: 744000 | #Constraints: 135563 1973.09/1979.12 c #Conflicts: 745000 | #Constraints: 136563 1973.09/1979.12 c #Conflicts: 746000 | #Constraints: 137563 1973.09/1979.12 c #Conflicts: 747000 | #Constraints: 138563 1973.09/1979.12 c #Conflicts: 748000 | #Constraints: 139563 1973.09/1979.12 c #Conflicts: 749000 | #Constraints: 140563 1973.09/1979.12 c #Conflicts: 750000 | #Constraints: 141563 1973.09/1979.12 c #Conflicts: 751000 | #Constraints: 142563 1973.09/1979.12 c #Conflicts: 752000 | #Constraints: 143563 1973.09/1979.12 c #Conflicts: 753000 | #Constraints: 144563 1973.09/1979.12 c #Conflicts: 754000 | #Constraints: 145563 1973.09/1979.12 c #Conflicts: 755000 | #Constraints: 146563 1973.09/1979.12 c #Conflicts: 756000 | #Constraints: 147563 1973.09/1979.12 c INPROCESSING 1973.09/1979.12 c GARBAGE COLLECT 1973.09/1979.12 c rational objective 550 2011.56/2017.70 c #Conflicts: 757000 | #Constraints: 131345 2011.56/2017.70 c #Conflicts: 758000 | #Constraints: 132345 2011.56/2017.70 c #Conflicts: 759000 | #Constraints: 133345 2011.56/2017.70 c #Conflicts: 760000 | #Constraints: 134345 2011.56/2017.70 c #Conflicts: 761000 | #Constraints: 135345 2011.56/2017.70 c #Conflicts: 762000 | #Constraints: 136345 2011.56/2017.70 c #Conflicts: 763000 | #Constraints: 137345 2011.56/2017.70 c #Conflicts: 764000 | #Constraints: 138345 2011.56/2017.70 c #Conflicts: 765000 | #Constraints: 139345 2011.56/2017.70 c #Conflicts: 766000 | #Constraints: 140345 2011.56/2017.70 c #Conflicts: 767000 | #Constraints: 141345 2011.56/2017.70 c #Conflicts: 768000 | #Constraints: 142345 2011.56/2017.70 c #Conflicts: 769000 | #Constraints: 143345 2011.56/2017.70 c #Conflicts: 770000 | #Constraints: 144345 2011.56/2017.70 c #Conflicts: 771000 | #Constraints: 145345 2011.56/2017.70 c #Conflicts: 772000 | #Constraints: 146345 2011.56/2017.70 c #Conflicts: 773000 | #Constraints: 147345 2011.56/2017.70 c #Conflicts: 774000 | #Constraints: 148345 2011.56/2017.70 c INPROCESSING 2011.56/2017.70 c GARBAGE COLLECT 2011.56/2017.70 c rational objective 550 2067.98/2074.38 c #Conflicts: 775000 | #Constraints: 131936 2067.98/2074.38 c #Conflicts: 776000 | #Constraints: 132936 2067.98/2074.38 c #Conflicts: 777000 | #Constraints: 133936 2067.98/2074.38 c #Conflicts: 778000 | #Constraints: 134936 2067.98/2074.38 c #Conflicts: 779000 | #Constraints: 135936 2067.98/2074.38 c #Conflicts: 780000 | #Constraints: 136936 2067.98/2074.38 c #Conflicts: 781000 | #Constraints: 137936 2067.98/2074.38 c #Conflicts: 782000 | #Constraints: 138936 2067.98/2074.38 c #Conflicts: 783000 | #Constraints: 139936 2067.98/2074.38 c #Conflicts: 784000 | #Constraints: 140936 2067.98/2074.38 c #Conflicts: 785000 | #Constraints: 141936 2067.98/2074.38 c #Conflicts: 786000 | #Constraints: 142936 2067.98/2074.38 c #Conflicts: 787000 | #Constraints: 143936 2067.98/2074.38 c #Conflicts: 788000 | #Constraints: 144936 2067.98/2074.38 c #Conflicts: 789000 | #Constraints: 145936 2067.98/2074.38 c #Conflicts: 790000 | #Constraints: 146936 2067.98/2074.38 c #Conflicts: 791000 | #Constraints: 147936 2067.98/2074.38 c #Conflicts: 792000 | #Constraints: 148936 2067.98/2074.38 c INPROCESSING 2067.98/2074.38 c GARBAGE COLLECT 2067.98/2074.38 c rational objective 550 2103.17/2109.63 c #Conflicts: 793000 | #Constraints: 132339 2103.17/2109.63 c #Conflicts: 794000 | #Constraints: 133339 2103.17/2109.63 c #Conflicts: 795000 | #Constraints: 134339 2103.17/2109.63 c #Conflicts: 796000 | #Constraints: 135339 2103.17/2109.63 c #Conflicts: 797000 | #Constraints: 136339 2103.17/2109.63 c #Conflicts: 798000 | #Constraints: 137339 2103.17/2109.63 c #Conflicts: 799000 | #Constraints: 138339 2103.17/2109.63 c #Conflicts: 800000 | #Constraints: 139339 2103.17/2109.63 c #Conflicts: 801000 | #Constraints: 140339 2103.17/2109.63 c #Conflicts: 802000 | #Constraints: 141339 2103.17/2109.63 c #Conflicts: 803000 | #Constraints: 142339 2103.17/2109.63 c #Conflicts: 804000 | #Constraints: 143339 2103.17/2109.63 c #Conflicts: 805000 | #Constraints: 144339 2103.17/2109.63 c #Conflicts: 806000 | #Constraints: 145339 2103.17/2109.63 c #Conflicts: 807000 | #Constraints: 146339 2103.17/2109.63 c #Conflicts: 808000 | #Constraints: 147339 2103.17/2109.63 c #Conflicts: 809000 | #Constraints: 148339 2103.17/2109.63 c #Conflicts: 810000 | #Constraints: 149339 2103.17/2109.63 c INPROCESSING 2103.17/2109.63 c GARBAGE COLLECT 2103.17/2109.63 c rational objective 550 2154.20/2160.83 c #Conflicts: 811000 | #Constraints: 132539 2154.20/2160.83 c #Conflicts: 812000 | #Constraints: 133539 2154.20/2160.83 c #Conflicts: 813000 | #Constraints: 134539 2154.20/2160.83 c #Conflicts: 814000 | #Constraints: 135539 2154.20/2160.83 c #Conflicts: 815000 | #Constraints: 136539 2154.20/2160.83 c #Conflicts: 816000 | #Constraints: 137539 2154.20/2160.83 c #Conflicts: 817000 | #Constraints: 138539 2154.20/2160.83 c #Conflicts: 818000 | #Constraints: 139539 2154.20/2160.83 c #Conflicts: 819000 | #Constraints: 140539 2154.20/2160.83 c #Conflicts: 820000 | #Constraints: 141539 2154.20/2160.83 c #Conflicts: 821000 | #Constraints: 142539 2154.20/2160.83 c #Conflicts: 822000 | #Constraints: 143539 2154.20/2160.83 c #Conflicts: 823000 | #Constraints: 144539 2154.20/2160.83 c #Conflicts: 824000 | #Constraints: 145539 2154.20/2160.83 c #Conflicts: 825000 | #Constraints: 146539 2154.20/2160.83 c #Conflicts: 826000 | #Constraints: 147539 2154.20/2160.83 c #Conflicts: 827000 | #Constraints: 148539 2154.20/2160.83 c #Conflicts: 828000 | #Constraints: 149539 2154.20/2160.83 c INPROCESSING 2154.20/2160.83 c GARBAGE COLLECT 2154.20/2160.83 c rational objective 550 2197.17/2204.00 c #Conflicts: 829000 | #Constraints: 132540 2197.17/2204.00 c #Conflicts: 830000 | #Constraints: 133540 2197.17/2204.00 c #Conflicts: 831000 | #Constraints: 134540 2197.17/2204.00 c #Conflicts: 832000 | #Constraints: 135540 2197.17/2204.00 c #Conflicts: 833000 | #Constraints: 136540 2197.17/2204.00 c #Conflicts: 834000 | #Constraints: 137540 2197.17/2204.00 c #Conflicts: 835000 | #Constraints: 138540 2197.17/2204.00 c #Conflicts: 836000 | #Constraints: 139540 2197.17/2204.00 c #Conflicts: 837000 | #Constraints: 140540 2197.17/2204.00 c #Conflicts: 838000 | #Constraints: 141540 2197.17/2204.00 c #Conflicts: 839000 | #Constraints: 142540 2197.17/2204.00 c #Conflicts: 840000 | #Constraints: 143540 2197.17/2204.00 c #Conflicts: 841000 | #Constraints: 144540 2197.17/2204.00 c #Conflicts: 842000 | #Constraints: 145540 2197.17/2204.00 c #Conflicts: 843000 | #Constraints: 146540 2197.17/2204.00 c #Conflicts: 844000 | #Constraints: 147540 2197.17/2204.00 c #Conflicts: 845000 | #Constraints: 148540 2197.17/2204.00 c #Conflicts: 846000 | #Constraints: 149540 2197.17/2204.00 c INPROCESSING 2197.17/2204.00 c GARBAGE COLLECT 2197.17/2204.00 c rational objective 550 2236.96/2243.88 c #Conflicts: 847000 | #Constraints: 132333 2236.96/2243.88 c #Conflicts: 848000 | #Constraints: 133333 2236.96/2243.88 c #Conflicts: 849000 | #Constraints: 134333 2236.96/2243.88 c #Conflicts: 850000 | #Constraints: 135333 2236.96/2243.88 c #Conflicts: 851000 | #Constraints: 136333 2236.96/2243.88 c #Conflicts: 852000 | #Constraints: 137333 2236.96/2243.88 c #Conflicts: 853000 | #Constraints: 138333 2236.96/2243.88 c #Conflicts: 854000 | #Constraints: 139333 2236.96/2243.88 c #Conflicts: 855000 | #Constraints: 140333 2236.96/2243.88 c #Conflicts: 856000 | #Constraints: 141333 2236.96/2243.88 c #Conflicts: 857000 | #Constraints: 142333 2236.96/2243.88 c #Conflicts: 858000 | #Constraints: 143333 2236.96/2243.88 c #Conflicts: 859000 | #Constraints: 144333 2236.96/2243.88 c #Conflicts: 860000 | #Constraints: 145333 2236.96/2243.88 c #Conflicts: 861000 | #Constraints: 146333 2236.96/2243.88 c #Conflicts: 862000 | #Constraints: 147333 2236.96/2243.88 c #Conflicts: 863000 | #Constraints: 148333 2236.96/2243.88 c #Conflicts: 864000 | #Constraints: 149333 2236.96/2243.88 c #Conflicts: 865000 | #Constraints: 150333 2236.96/2243.88 c INPROCESSING 2236.96/2243.88 c GARBAGE COLLECT 2236.96/2243.88 c rational objective 550 2284.21/2291.27 c #Conflicts: 866000 | #Constraints: 132942 2284.21/2291.27 c #Conflicts: 867000 | #Constraints: 133942 2284.21/2291.27 c #Conflicts: 868000 | #Constraints: 134942 2284.21/2291.27 c #Conflicts: 869000 | #Constraints: 135942 2284.21/2291.27 c #Conflicts: 870000 | #Constraints: 136942 2284.21/2291.27 c #Conflicts: 871000 | #Constraints: 137942 2284.21/2291.27 c #Conflicts: 872000 | #Constraints: 138942 2284.21/2291.27 c #Conflicts: 873000 | #Constraints: 139942 2284.21/2291.27 c #Conflicts: 874000 | #Constraints: 140942 2284.21/2291.27 c #Conflicts: 875000 | #Constraints: 141942 2284.21/2291.27 c #Conflicts: 876000 | #Constraints: 142942 2284.21/2291.27 c #Conflicts: 877000 | #Constraints: 143942 2284.21/2291.27 c #Conflicts: 878000 | #Constraints: 144942 2284.21/2291.27 c #Conflicts: 879000 | #Constraints: 145942 2284.21/2291.27 c #Conflicts: 880000 | #Constraints: 146942 2284.21/2291.27 c #Conflicts: 881000 | #Constraints: 147942 2284.21/2291.27 c #Conflicts: 882000 | #Constraints: 148942 2284.21/2291.27 c #Conflicts: 883000 | #Constraints: 149942 2284.21/2291.27 c #Conflicts: 884000 | #Constraints: 150942 2284.21/2291.27 c INPROCESSING 2284.21/2291.27 c GARBAGE COLLECT 2284.21/2291.27 c rational objective 550 2328.16/2335.37 c #Conflicts: 885000 | #Constraints: 133350 2328.16/2335.37 c #Conflicts: 886000 | #Constraints: 134350 2328.16/2335.37 c #Conflicts: 887000 | #Constraints: 135350 2328.16/2335.37 c #Conflicts: 888000 | #Constraints: 136350 2328.16/2335.37 c #Conflicts: 889000 | #Constraints: 137350 2328.16/2335.37 c #Conflicts: 890000 | #Constraints: 138350 2328.16/2335.37 c #Conflicts: 891000 | #Constraints: 139350 2328.16/2335.37 c #Conflicts: 892000 | #Constraints: 140350 2328.16/2335.37 c #Conflicts: 893000 | #Constraints: 141350 2328.16/2335.37 c #Conflicts: 894000 | #Constraints: 142350 2328.16/2335.37 c #Conflicts: 895000 | #Constraints: 143350 2328.16/2335.37 c #Conflicts: 896000 | #Constraints: 144350 2328.16/2335.37 c #Conflicts: 897000 | #Constraints: 145350 2328.16/2335.37 c #Conflicts: 898000 | #Constraints: 146350 2328.16/2335.37 c #Conflicts: 899000 | #Constraints: 147350 2328.16/2335.37 c #Conflicts: 900000 | #Constraints: 148350 2328.16/2335.37 c #Conflicts: 901000 | #Constraints: 149350 2328.16/2335.37 c #Conflicts: 902000 | #Constraints: 150350 2328.16/2335.37 c #Conflicts: 903000 | #Constraints: 151350 2328.16/2335.37 c INPROCESSING 2328.16/2335.37 c GARBAGE COLLECT 2328.16/2335.37 c rational objective 550 2373.83/2381.16 c #Conflicts: 904000 | #Constraints: 133540 2373.83/2381.16 c #Conflicts: 905000 | #Constraints: 134540 2373.83/2381.16 c #Conflicts: 906000 | #Constraints: 135540 2373.83/2381.16 c #Conflicts: 907000 | #Constraints: 136540 2373.83/2381.16 c #Conflicts: 908000 | #Constraints: 137540 2373.83/2381.16 c #Conflicts: 909000 | #Constraints: 138540 2373.83/2381.16 c #Conflicts: 910000 | #Constraints: 139540 2373.83/2381.16 c #Conflicts: 911000 | #Constraints: 140540 2373.83/2381.16 c #Conflicts: 912000 | #Constraints: 141540 2373.83/2381.16 c #Conflicts: 913000 | #Constraints: 142540 2373.83/2381.16 c #Conflicts: 914000 | #Constraints: 143540 2373.83/2381.16 c #Conflicts: 915000 | #Constraints: 144540 2373.83/2381.16 c #Conflicts: 916000 | #Constraints: 145540 2373.83/2381.16 c #Conflicts: 917000 | #Constraints: 146540 2373.83/2381.16 c #Conflicts: 918000 | #Constraints: 147540 2373.83/2381.16 c #Conflicts: 919000 | #Constraints: 148540 2373.83/2381.16 c #Conflicts: 920000 | #Constraints: 149540 2373.83/2381.16 c #Conflicts: 921000 | #Constraints: 150540 2373.83/2381.16 c #Conflicts: 922000 | #Constraints: 151540 2373.83/2381.16 c INPROCESSING 2373.83/2381.16 c GARBAGE COLLECT 2373.83/2381.16 c rational objective 550 2419.97/2427.40 c #Conflicts: 923000 | #Constraints: 133533 2419.97/2427.40 c #Conflicts: 924000 | #Constraints: 134533 2419.97/2427.40 c #Conflicts: 925000 | #Constraints: 135533 2419.97/2427.40 c #Conflicts: 926000 | #Constraints: 136533 2419.97/2427.40 c #Conflicts: 927000 | #Constraints: 137533 2419.97/2427.40 c #Conflicts: 928000 | #Constraints: 138533 2419.97/2427.40 c #Conflicts: 929000 | #Constraints: 139533 2419.97/2427.40 c #Conflicts: 930000 | #Constraints: 140533 2419.97/2427.40 c #Conflicts: 931000 | #Constraints: 141533 2419.97/2427.40 c #Conflicts: 932000 | #Constraints: 142533 2419.97/2427.40 c #Conflicts: 933000 | #Constraints: 143533 2419.97/2427.40 c #Conflicts: 934000 | #Constraints: 144533 2419.97/2427.40 c #Conflicts: 935000 | #Constraints: 145533 2419.97/2427.40 c #Conflicts: 936000 | #Constraints: 146533 2419.97/2427.40 c #Conflicts: 937000 | #Constraints: 147533 2419.97/2427.40 c #Conflicts: 938000 | #Constraints: 148533 2419.97/2427.40 c #Conflicts: 939000 | #Constraints: 149533 2419.97/2427.40 c #Conflicts: 940000 | #Constraints: 150533 2419.97/2427.40 c #Conflicts: 941000 | #Constraints: 151533 2419.97/2427.40 c INPROCESSING 2419.97/2427.40 c GARBAGE COLLECT 2419.97/2427.40 c rational objective 550 2462.85/2470.48 c #Conflicts: 942000 | #Constraints: 133342 2462.85/2470.48 c #Conflicts: 943000 | #Constraints: 134342 2462.85/2470.48 c #Conflicts: 944000 | #Constraints: 135342 2462.85/2470.48 c #Conflicts: 945000 | #Constraints: 136342 2462.85/2470.48 c #Conflicts: 946000 | #Constraints: 137342 2462.85/2470.48 c #Conflicts: 947000 | #Constraints: 138342 2462.85/2470.48 c #Conflicts: 948000 | #Constraints: 139342 2462.85/2470.48 c #Conflicts: 949000 | #Constraints: 140342 2462.85/2470.48 c #Conflicts: 950000 | #Constraints: 141342 2462.85/2470.48 c #Conflicts: 951000 | #Constraints: 142342 2462.85/2470.48 c #Conflicts: 952000 | #Constraints: 143342 2462.85/2470.48 c #Conflicts: 953000 | #Constraints: 144342 2462.85/2470.48 c #Conflicts: 954000 | #Constraints: 145342 2462.85/2470.48 c #Conflicts: 955000 | #Constraints: 146342 2462.85/2470.48 c #Conflicts: 956000 | #Constraints: 147342 2462.85/2470.48 c #Conflicts: 957000 | #Constraints: 148342 2462.85/2470.48 c #Conflicts: 958000 | #Constraints: 149342 2462.85/2470.48 c #Conflicts: 959000 | #Constraints: 150342 2462.85/2470.48 c #Conflicts: 960000 | #Constraints: 151342 2462.85/2470.48 c #Conflicts: 961000 | #Constraints: 152342 2462.85/2470.48 c INPROCESSING 2462.85/2470.48 c GARBAGE COLLECT 2462.85/2470.48 c rational objective 550 2501.61/2509.39 c #Conflicts: 962000 | #Constraints: 133969 2501.61/2509.39 c #Conflicts: 963000 | #Constraints: 134969 2501.61/2509.39 c #Conflicts: 964000 | #Constraints: 135969 2501.61/2509.39 c #Conflicts: 965000 | #Constraints: 136969 2501.61/2509.39 c #Conflicts: 966000 | #Constraints: 137969 2501.61/2509.39 c #Conflicts: 967000 | #Constraints: 138969 2501.61/2509.39 c #Conflicts: 968000 | #Constraints: 139969 2501.61/2509.39 c #Conflicts: 969000 | #Constraints: 140969 2501.61/2509.39 c #Conflicts: 970000 | #Constraints: 141969 2501.61/2509.39 c #Conflicts: 971000 | #Constraints: 142969 2501.61/2509.39 c #Conflicts: 972000 | #Constraints: 143969 2501.61/2509.39 c #Conflicts: 973000 | #Constraints: 144969 2501.61/2509.39 c #Conflicts: 974000 | #Constraints: 145969 2501.61/2509.39 c #Conflicts: 975000 | #Constraints: 146969 2501.61/2509.39 c #Conflicts: 976000 | #Constraints: 147969 2501.61/2509.39 c #Conflicts: 977000 | #Constraints: 148969 2501.61/2509.39 c #Conflicts: 978000 | #Constraints: 149969 2501.61/2509.39 c #Conflicts: 979000 | #Constraints: 150969 2501.61/2509.39 c #Conflicts: 980000 | #Constraints: 151969 2501.61/2509.39 c #Conflicts: 981000 | #Constraints: 152969 2501.61/2509.39 c INPROCESSING 2501.61/2509.39 c GARBAGE COLLECT 2501.61/2509.39 c rational objective 550 2538.21/2546.10 c #Conflicts: 982000 | #Constraints: 134374 2538.21/2546.10 c #Conflicts: 983000 | #Constraints: 135374 2538.21/2546.10 c #Conflicts: 984000 | #Constraints: 136374 2538.21/2546.10 c #Conflicts: 985000 | #Constraints: 137374 2538.21/2546.10 c #Conflicts: 986000 | #Constraints: 138374 2538.21/2546.10 c #Conflicts: 987000 | #Constraints: 139374 2538.21/2546.10 c #Conflicts: 988000 | #Constraints: 140374 2538.21/2546.10 c #Conflicts: 989000 | #Constraints: 141374 2538.21/2546.10 c #Conflicts: 990000 | #Constraints: 142374 2538.21/2546.10 c #Conflicts: 991000 | #Constraints: 143374 2538.21/2546.10 c #Conflicts: 992000 | #Constraints: 144374 2538.21/2546.10 c #Conflicts: 993000 | #Constraints: 145374 2538.21/2546.10 c #Conflicts: 994000 | #Constraints: 146374 2538.21/2546.10 c #Conflicts: 995000 | #Constraints: 147374 2538.21/2546.10 c #Conflicts: 996000 | #Constraints: 148374 2538.21/2546.10 c #Conflicts: 997000 | #Constraints: 149374 2538.21/2546.10 c #Conflicts: 998000 | #Constraints: 150374 2538.21/2546.10 c #Conflicts: 999000 | #Constraints: 151374 2538.21/2546.10 c #Conflicts: 1000000 | #Constraints: 152374 2538.21/2546.10 c #Conflicts: 1001000 | #Constraints: 153374 2538.21/2546.10 c INPROCESSING 2538.21/2546.10 c GARBAGE COLLECT 2538.21/2546.10 c rational objective 550 2579.77/2587.79 c #Conflicts: 1002000 | #Constraints: 134581 2579.77/2587.79 c #Conflicts: 1003000 | #Constraints: 135581 2579.77/2587.79 c #Conflicts: 1004000 | #Constraints: 136581 2579.77/2587.79 c #Conflicts: 1005000 | #Constraints: 137581 2579.77/2587.79 c #Conflicts: 1006000 | #Constraints: 138581 2579.77/2587.79 c #Conflicts: 1007000 | #Constraints: 139581 2579.77/2587.79 c #Conflicts: 1008000 | #Constraints: 140581 2579.77/2587.79 c #Conflicts: 1009000 | #Constraints: 141581 2579.77/2587.79 c #Conflicts: 1010000 | #Constraints: 142581 2579.77/2587.79 c #Conflicts: 1011000 | #Constraints: 143581 2579.77/2587.79 c #Conflicts: 1012000 | #Constraints: 144581 2579.77/2587.79 c #Conflicts: 1013000 | #Constraints: 145581 2579.77/2587.79 c #Conflicts: 1014000 | #Constraints: 146581 2579.77/2587.79 c #Conflicts: 1015000 | #Constraints: 147581 2579.77/2587.79 c #Conflicts: 1016000 | #Constraints: 148581 2579.77/2587.79 c #Conflicts: 1017000 | #Constraints: 149581 2579.77/2587.79 c #Conflicts: 1018000 | #Constraints: 150581 2579.77/2587.79 c #Conflicts: 1019000 | #Constraints: 151581 2579.77/2587.79 c #Conflicts: 1020000 | #Constraints: 152581 2579.77/2587.79 c #Conflicts: 1021000 | #Constraints: 153581 2579.77/2587.79 c INPROCESSING 2579.77/2587.79 c GARBAGE COLLECT 2579.77/2587.79 c rational objective 550 2617.16/2625.20 c #Conflicts: 1022000 | #Constraints: 134583 2617.16/2625.20 c #Conflicts: 1023000 | #Constraints: 135583 2617.16/2625.20 c #Conflicts: 1024000 | #Constraints: 136583 2617.16/2625.20 c #Conflicts: 1025000 | #Constraints: 137583 2617.16/2625.20 c #Conflicts: 1026000 | #Constraints: 138583 2617.16/2625.20 c #Conflicts: 1027000 | #Constraints: 139583 2617.16/2625.20 c #Conflicts: 1028000 | #Constraints: 140583 2617.16/2625.20 c #Conflicts: 1029000 | #Constraints: 141583 2617.16/2625.20 c #Conflicts: 1030000 | #Constraints: 142583 2617.16/2625.20 c #Conflicts: 1031000 | #Constraints: 143583 2617.16/2625.20 c #Conflicts: 1032000 | #Constraints: 144583 2617.16/2625.20 c #Conflicts: 1033000 | #Constraints: 145583 2617.16/2625.20 c #Conflicts: 1034000 | #Constraints: 146583 2617.16/2625.20 c #Conflicts: 1035000 | #Constraints: 147583 2617.16/2625.20 c #Conflicts: 1036000 | #Constraints: 148583 2617.16/2625.20 c #Conflicts: 1037000 | #Constraints: 149583 2617.16/2625.20 c #Conflicts: 1038000 | #Constraints: 150583 2617.16/2625.20 c #Conflicts: 1039000 | #Constraints: 151583 2617.16/2625.20 c #Conflicts: 1040000 | #Constraints: 152583 2617.16/2625.20 c #Conflicts: 1041000 | #Constraints: 153583 2617.16/2625.20 c INPROCESSING 2617.16/2625.20 c GARBAGE COLLECT 2617.16/2625.20 c rational objective 550 2658.63/2666.87 c #Conflicts: 1042000 | #Constraints: 134388 2658.63/2666.87 c #Conflicts: 1043000 | #Constraints: 135388 2658.63/2666.87 c #Conflicts: 1044000 | #Constraints: 136388 2658.63/2666.87 c #Conflicts: 1045000 | #Constraints: 137388 2658.63/2666.87 c #Conflicts: 1046000 | #Constraints: 138388 2658.63/2666.87 c #Conflicts: 1047000 | #Constraints: 139388 2658.63/2666.87 c #Conflicts: 1048000 | #Constraints: 140388 2658.63/2666.87 c #Conflicts: 1049000 | #Constraints: 141388 2658.63/2666.87 c #Conflicts: 1050000 | #Constraints: 142388 2658.63/2666.87 c #Conflicts: 1051000 | #Constraints: 143388 2658.63/2666.87 c #Conflicts: 1052000 | #Constraints: 144388 2658.63/2666.87 c #Conflicts: 1053000 | #Constraints: 145388 2658.63/2666.87 c #Conflicts: 1054000 | #Constraints: 146388 2658.63/2666.87 c #Conflicts: 1055000 | #Constraints: 147388 2658.63/2666.87 c #Conflicts: 1056000 | #Constraints: 148388 2658.63/2666.87 c #Conflicts: 1057000 | #Constraints: 149388 2658.63/2666.87 c #Conflicts: 1058000 | #Constraints: 150388 2658.63/2666.87 c #Conflicts: 1059000 | #Constraints: 151388 2658.63/2666.87 c #Conflicts: 1060000 | #Constraints: 152388 2658.63/2666.87 c #Conflicts: 1061000 | #Constraints: 153388 2658.63/2666.87 c #Conflicts: 1062000 | #Constraints: 154388 2658.63/2666.87 c INPROCESSING 2658.63/2666.87 c GARBAGE COLLECT 2658.63/2666.87 c rational objective 550 2698.49/2706.82 c #Conflicts: 1063000 | #Constraints: 134986 2698.49/2706.82 c #Conflicts: 1064000 | #Constraints: 135986 2698.49/2706.82 c #Conflicts: 1065000 | #Constraints: 136986 2698.49/2706.82 c #Conflicts: 1066000 | #Constraints: 137986 2698.49/2706.82 c #Conflicts: 1067000 | #Constraints: 138986 2698.49/2706.82 c #Conflicts: 1068000 | #Constraints: 139986 2698.49/2706.82 c #Conflicts: 1069000 | #Constraints: 140986 2698.49/2706.82 c #Conflicts: 1070000 | #Constraints: 141986 2698.49/2706.82 c #Conflicts: 1071000 | #Constraints: 142986 2698.49/2706.82 c #Conflicts: 1072000 | #Constraints: 143986 2698.49/2706.82 c #Conflicts: 1073000 | #Constraints: 144986 2698.49/2706.82 c #Conflicts: 1074000 | #Constraints: 145986 2698.49/2706.82 c #Conflicts: 1075000 | #Constraints: 146986 2698.49/2706.82 c #Conflicts: 1076000 | #Constraints: 147986 2698.49/2706.82 c #Conflicts: 1077000 | #Constraints: 148986 2698.49/2706.82 c #Conflicts: 1078000 | #Constraints: 149986 2698.49/2706.82 c #Conflicts: 1079000 | #Constraints: 150986 2698.49/2706.82 c #Conflicts: 1080000 | #Constraints: 151986 2698.49/2706.82 c #Conflicts: 1081000 | #Constraints: 152986 2698.49/2706.82 c #Conflicts: 1082000 | #Constraints: 153986 2698.49/2706.82 c #Conflicts: 1083000 | #Constraints: 154986 2698.49/2706.82 c INPROCESSING 2698.49/2706.82 c GARBAGE COLLECT 2698.49/2706.82 c rational objective 550 2734.08/2742.57 c #Conflicts: 1084000 | #Constraints: 135380 2734.08/2742.57 c #Conflicts: 1085000 | #Constraints: 136380 2734.08/2742.57 c #Conflicts: 1086000 | #Constraints: 137380 2734.08/2742.57 c #Conflicts: 1087000 | #Constraints: 138380 2734.08/2742.57 c #Conflicts: 1088000 | #Constraints: 139380 2734.08/2742.57 c #Conflicts: 1089000 | #Constraints: 140380 2734.08/2742.57 c #Conflicts: 1090000 | #Constraints: 141380 2734.08/2742.57 c #Conflicts: 1091000 | #Constraints: 142380 2734.08/2742.57 c #Conflicts: 1092000 | #Constraints: 143380 2734.08/2742.57 c #Conflicts: 1093000 | #Constraints: 144380 2734.08/2742.57 c #Conflicts: 1094000 | #Constraints: 145380 2734.08/2742.57 c #Conflicts: 1095000 | #Constraints: 146380 2734.08/2742.57 c #Conflicts: 1096000 | #Constraints: 147380 2734.08/2742.57 c #Conflicts: 1097000 | #Constraints: 148380 2734.08/2742.57 c #Conflicts: 1098000 | #Constraints: 149380 2734.08/2742.57 c #Conflicts: 1099000 | #Constraints: 150380 2734.08/2742.57 c #Conflicts: 1100000 | #Constraints: 151380 2734.08/2742.57 c #Conflicts: 1101000 | #Constraints: 152380 2734.08/2742.57 c #Conflicts: 1102000 | #Constraints: 153380 2734.08/2742.57 c #Conflicts: 1103000 | #Constraints: 154380 2734.08/2742.57 c #Conflicts: 1104000 | #Constraints: 155380 2734.08/2742.57 c INPROCESSING 2734.08/2742.57 c GARBAGE COLLECT 2734.08/2742.57 c rational objective 550 2776.75/2785.35 c #Conflicts: 1105000 | #Constraints: 135589 2776.75/2785.35 c #Conflicts: 1106000 | #Constraints: 136589 2776.75/2785.35 c #Conflicts: 1107000 | #Constraints: 137589 2776.75/2785.35 c #Conflicts: 1108000 | #Constraints: 138589 2776.75/2785.35 c #Conflicts: 1109000 | #Constraints: 139589 2776.75/2785.35 c #Conflicts: 1110000 | #Constraints: 140589 2776.75/2785.35 c #Conflicts: 1111000 | #Constraints: 141589 2776.75/2785.35 c #Conflicts: 1112000 | #Constraints: 142589 2776.75/2785.35 c #Conflicts: 1113000 | #Constraints: 143589 2776.75/2785.35 c #Conflicts: 1114000 | #Constraints: 144589 2776.75/2785.35 c #Conflicts: 1115000 | #Constraints: 145589 2776.75/2785.35 c #Conflicts: 1116000 | #Constraints: 146589 2776.75/2785.35 c #Conflicts: 1117000 | #Constraints: 147589 2776.75/2785.35 c #Conflicts: 1118000 | #Constraints: 148589 2776.75/2785.35 c #Conflicts: 1119000 | #Constraints: 149589 2776.75/2785.35 c #Conflicts: 1120000 | #Constraints: 150589 2776.75/2785.35 c #Conflicts: 1121000 | #Constraints: 151589 2776.75/2785.35 c #Conflicts: 1122000 | #Constraints: 152589 2776.75/2785.35 c #Conflicts: 1123000 | #Constraints: 153589 2776.75/2785.35 c #Conflicts: 1124000 | #Constraints: 154589 2776.75/2785.35 c #Conflicts: 1125000 | #Constraints: 155589 2776.75/2785.35 c INPROCESSING 2776.75/2785.35 c GARBAGE COLLECT 2776.75/2785.35 c rational objective 550 2839.86/2848.64 c #Conflicts: 1126000 | #Constraints: 135585 2839.86/2848.64 c #Conflicts: 1127000 | #Constraints: 136585 2839.86/2848.64 c #Conflicts: 1128000 | #Constraints: 137585 2839.86/2848.64 c #Conflicts: 1129000 | #Constraints: 138585 2839.86/2848.64 c #Conflicts: 1130000 | #Constraints: 139585 2839.86/2848.64 c #Conflicts: 1131000 | #Constraints: 140585 2839.86/2848.64 c #Conflicts: 1132000 | #Constraints: 141585 2839.86/2848.64 c #Conflicts: 1133000 | #Constraints: 142585 2839.86/2848.64 c #Conflicts: 1134000 | #Constraints: 143585 2839.86/2848.64 c #Conflicts: 1135000 | #Constraints: 144585 2839.86/2848.64 c #Conflicts: 1136000 | #Constraints: 145585 2839.86/2848.64 c #Conflicts: 1137000 | #Constraints: 146585 2839.86/2848.64 c #Conflicts: 1138000 | #Constraints: 147585 2839.86/2848.64 c #Conflicts: 1139000 | #Constraints: 148585 2839.86/2848.64 c #Conflicts: 1140000 | #Constraints: 149585 2839.86/2848.64 c #Conflicts: 1141000 | #Constraints: 150585 2839.86/2848.64 c #Conflicts: 1142000 | #Constraints: 151585 2839.86/2848.64 c #Conflicts: 1143000 | #Constraints: 152585 2839.86/2848.64 c #Conflicts: 1144000 | #Constraints: 153585 2839.86/2848.64 c #Conflicts: 1145000 | #Constraints: 154585 2839.86/2848.64 c #Conflicts: 1146000 | #Constraints: 155585 2839.86/2848.64 c INPROCESSING 2839.86/2848.64 c GARBAGE COLLECT 2839.86/2848.64 c rational objective 550 2881.03/2889.95 c #Conflicts: 1147000 | #Constraints: 135371 2881.03/2889.95 c #Conflicts: 1148000 | #Constraints: 136371 2881.03/2889.95 c #Conflicts: 1149000 | #Constraints: 137371 2881.03/2889.95 c #Conflicts: 1150000 | #Constraints: 138371 2881.03/2889.95 c #Conflicts: 1151000 | #Constraints: 139371 2881.03/2889.95 c #Conflicts: 1152000 | #Constraints: 140371 2881.03/2889.95 c #Conflicts: 1153000 | #Constraints: 141371 2881.03/2889.95 c #Conflicts: 1154000 | #Constraints: 142371 2881.03/2889.95 c #Conflicts: 1155000 | #Constraints: 143371 2881.03/2889.95 c #Conflicts: 1156000 | #Constraints: 144371 2881.03/2889.95 c #Conflicts: 1157000 | #Constraints: 145371 2881.03/2889.95 c #Conflicts: 1158000 | #Constraints: 146371 2881.03/2889.95 c #Conflicts: 1159000 | #Constraints: 147371 2881.03/2889.95 c #Conflicts: 1160000 | #Constraints: 148371 2881.03/2889.95 c #Conflicts: 1161000 | #Constraints: 149371 2881.03/2889.95 c #Conflicts: 1162000 | #Constraints: 150371 2881.03/2889.95 c #Conflicts: 1163000 | #Constraints: 151371 2881.03/2889.95 c #Conflicts: 1164000 | #Constraints: 152371 2881.03/2889.95 c #Conflicts: 1165000 | #Constraints: 153371 2881.03/2889.95 c #Conflicts: 1166000 | #Constraints: 154371 2881.03/2889.95 c #Conflicts: 1167000 | #Constraints: 155371 2881.03/2889.95 c #Conflicts: 1168000 | #Constraints: 156371 2881.03/2889.95 c INPROCESSING 2881.03/2889.95 c GARBAGE COLLECT 2881.03/2889.95 c rational objective 550 2944.63/2953.78 c #Conflicts: 1169000 | #Constraints: 135962 2944.63/2953.78 c #Conflicts: 1170000 | #Constraints: 136962 2944.63/2953.78 c #Conflicts: 1171000 | #Constraints: 137962 2944.63/2953.78 c #Conflicts: 1172000 | #Constraints: 138962 2944.63/2953.78 c #Conflicts: 1173000 | #Constraints: 139962 2944.63/2953.78 c #Conflicts: 1174000 | #Constraints: 140962 2944.63/2953.78 c #Conflicts: 1175000 | #Constraints: 141962 2944.63/2953.78 c #Conflicts: 1176000 | #Constraints: 142962 2944.63/2953.78 c #Conflicts: 1177000 | #Constraints: 143962 2944.63/2953.78 c #Conflicts: 1178000 | #Constraints: 144962 2944.63/2953.78 c #Conflicts: 1179000 | #Constraints: 145962 2944.63/2953.78 c #Conflicts: 1180000 | #Constraints: 146962 2944.63/2953.78 c #Conflicts: 1181000 | #Constraints: 147962 2944.63/2953.78 c #Conflicts: 1182000 | #Constraints: 148962 2944.63/2953.78 c #Conflicts: 1183000 | #Constraints: 149962 2944.63/2953.78 c #Conflicts: 1184000 | #Constraints: 150962 2944.63/2953.78 c #Conflicts: 1185000 | #Constraints: 151962 2944.63/2953.78 c #Conflicts: 1186000 | #Constraints: 152962 2944.63/2953.78 c #Conflicts: 1187000 | #Constraints: 153962 2944.63/2953.78 c #Conflicts: 1188000 | #Constraints: 154962 2944.63/2953.78 c #Conflicts: 1189000 | #Constraints: 155962 2944.63/2953.78 c #Conflicts: 1190000 | #Constraints: 156962 2944.63/2953.78 c INPROCESSING 2944.63/2953.78 c GARBAGE COLLECT 2944.63/2953.78 c rational objective 550 2992.49/3001.72 c #Conflicts: 1191000 | #Constraints: 136353 2992.49/3001.72 c #Conflicts: 1192000 | #Constraints: 137353 2992.49/3001.72 c #Conflicts: 1193000 | #Constraints: 138353 2992.49/3001.72 c #Conflicts: 1194000 | #Constraints: 139353 2992.49/3001.72 c #Conflicts: 1195000 | #Constraints: 140353 2992.49/3001.72 c #Conflicts: 1196000 | #Constraints: 141353 2992.49/3001.72 c #Conflicts: 1197000 | #Constraints: 142353 2992.49/3001.72 c #Conflicts: 1198000 | #Constraints: 143353 2992.49/3001.72 c #Conflicts: 1199000 | #Constraints: 144353 2992.49/3001.72 c #Conflicts: 1200000 | #Constraints: 145353 2992.49/3001.72 c #Conflicts: 1201000 | #Constraints: 146353 2992.49/3001.72 c #Conflicts: 1202000 | #Constraints: 147353 2992.49/3001.72 c #Conflicts: 1203000 | #Constraints: 148353 2992.49/3001.72 c #Conflicts: 1204000 | #Constraints: 149353 2992.49/3001.72 c #Conflicts: 1205000 | #Constraints: 150353 2992.49/3001.72 c #Conflicts: 1206000 | #Constraints: 151353 2992.49/3001.72 c #Conflicts: 1207000 | #Constraints: 152353 2992.49/3001.72 c #Conflicts: 1208000 | #Constraints: 153353 2992.49/3001.72 c #Conflicts: 1209000 | #Constraints: 154353 2992.49/3001.72 c #Conflicts: 1210000 | #Constraints: 155353 2992.49/3001.72 c #Conflicts: 1211000 | #Constraints: 156353 2992.49/3001.72 c #Conflicts: 1212000 | #Constraints: 157353 2992.49/3001.72 c INPROCESSING 2992.49/3001.72 c GARBAGE COLLECT 2992.49/3001.72 c rational objective 550 3032.77/3042.18 c #Conflicts: 1213000 | #Constraints: 136551 3032.77/3042.18 c #Conflicts: 1214000 | #Constraints: 137551 3032.77/3042.18 c #Conflicts: 1215000 | #Constraints: 138551 3032.77/3042.18 c #Conflicts: 1216000 | #Constraints: 139551 3032.77/3042.18 c #Conflicts: 1217000 | #Constraints: 140551 3032.77/3042.18 c #Conflicts: 1218000 | #Constraints: 141551 3032.77/3042.18 c #Conflicts: 1219000 | #Constraints: 142551 3032.77/3042.18 c #Conflicts: 1220000 | #Constraints: 143551 3032.77/3042.18 c #Conflicts: 1221000 | #Constraints: 144551 3032.77/3042.18 c #Conflicts: 1222000 | #Constraints: 145551 3032.77/3042.18 c #Conflicts: 1223000 | #Constraints: 146551 3032.77/3042.18 c #Conflicts: 1224000 | #Constraints: 147551 3032.77/3042.18 c #Conflicts: 1225000 | #Constraints: 148551 3032.77/3042.18 c #Conflicts: 1226000 | #Constraints: 149551 3032.77/3042.18 c #Conflicts: 1227000 | #Constraints: 150551 3032.77/3042.18 c #Conflicts: 1228000 | #Constraints: 151551 3032.77/3042.18 c #Conflicts: 1229000 | #Constraints: 152551 3032.77/3042.18 c #Conflicts: 1230000 | #Constraints: 153551 3032.77/3042.18 c #Conflicts: 1231000 | #Constraints: 154551 3032.77/3042.18 c #Conflicts: 1232000 | #Constraints: 155551 3032.77/3042.18 c #Conflicts: 1233000 | #Constraints: 156551 3032.77/3042.18 c #Conflicts: 1234000 | #Constraints: 157551 3032.77/3042.18 c INPROCESSING 3032.77/3042.18 c GARBAGE COLLECT 3032.77/3042.18 c rational objective 550 3088.60/3098.13 c #Conflicts: 1235000 | #Constraints: 136537 3088.60/3098.13 c #Conflicts: 1236000 | #Constraints: 137537 3088.60/3098.13 c #Conflicts: 1237000 | #Constraints: 138537 3088.60/3098.13 c #Conflicts: 1238000 | #Constraints: 139537 3088.60/3098.13 c #Conflicts: 1239000 | #Constraints: 140537 3088.60/3098.13 c #Conflicts: 1240000 | #Constraints: 141537 3088.60/3098.13 c #Conflicts: 1241000 | #Constraints: 142537 3088.60/3098.13 c #Conflicts: 1242000 | #Constraints: 143537 3088.60/3098.13 c #Conflicts: 1243000 | #Constraints: 144537 3088.60/3098.13 c #Conflicts: 1244000 | #Constraints: 145537 3088.60/3098.13 c #Conflicts: 1245000 | #Constraints: 146537 3088.60/3098.13 c #Conflicts: 1246000 | #Constraints: 147537 3088.60/3098.13 c #Conflicts: 1247000 | #Constraints: 148537 3088.60/3098.13 c #Conflicts: 1248000 | #Constraints: 149537 3088.60/3098.13 c #Conflicts: 1249000 | #Constraints: 150537 3088.60/3098.13 c #Conflicts: 1250000 | #Constraints: 151537 3088.60/3098.13 c #Conflicts: 1251000 | #Constraints: 152537 3088.60/3098.13 c #Conflicts: 1252000 | #Constraints: 153537 3088.60/3098.13 c #Conflicts: 1253000 | #Constraints: 154537 3088.60/3098.13 c #Conflicts: 1254000 | #Constraints: 155537 3088.60/3098.13 c #Conflicts: 1255000 | #Constraints: 156537 3088.60/3098.13 c #Conflicts: 1256000 | #Constraints: 157537 3088.60/3098.13 c INPROCESSING 3088.60/3098.13 c GARBAGE COLLECT 3088.60/3098.13 c rational objective 550 3147.80/3157.56 c #Conflicts: 1257000 | #Constraints: 136337 3147.80/3157.56 c #Conflicts: 1258000 | #Constraints: 137337 3147.80/3157.56 c #Conflicts: 1259000 | #Constraints: 138337 3147.80/3157.56 c #Conflicts: 1260000 | #Constraints: 139337 3147.80/3157.56 c #Conflicts: 1261000 | #Constraints: 140337 3147.80/3157.56 c #Conflicts: 1262000 | #Constraints: 141337 3147.80/3157.56 c #Conflicts: 1263000 | #Constraints: 142337 3147.80/3157.56 c #Conflicts: 1264000 | #Constraints: 143337 3147.80/3157.56 c #Conflicts: 1265000 | #Constraints: 144337 3147.80/3157.56 c #Conflicts: 1266000 | #Constraints: 145337 3147.80/3157.56 c #Conflicts: 1267000 | #Constraints: 146337 3147.80/3157.56 c #Conflicts: 1268000 | #Constraints: 147337 3147.80/3157.56 c #Conflicts: 1269000 | #Constraints: 148337 3147.80/3157.56 c #Conflicts: 1270000 | #Constraints: 149337 3147.80/3157.56 c #Conflicts: 1271000 | #Constraints: 150337 3147.80/3157.56 c #Conflicts: 1272000 | #Constraints: 151337 3147.80/3157.56 c #Conflicts: 1273000 | #Constraints: 152337 3147.80/3157.56 c #Conflicts: 1274000 | #Constraints: 153337 3147.80/3157.56 c #Conflicts: 1275000 | #Constraints: 154337 3147.80/3157.56 c #Conflicts: 1276000 | #Constraints: 155337 3147.80/3157.56 c #Conflicts: 1277000 | #Constraints: 156337 3147.80/3157.56 c #Conflicts: 1278000 | #Constraints: 157337 3147.80/3157.56 c #Conflicts: 1279000 | #Constraints: 158337 3147.80/3157.56 c INPROCESSING 3147.80/3157.56 c GARBAGE COLLECT 3147.80/3157.56 c rational objective 550 3208.71/3218.68 c #Conflicts: 1280000 | #Constraints: 136929 3208.71/3218.68 c #Conflicts: 1281000 | #Constraints: 137929 3208.71/3218.68 c #Conflicts: 1282000 | #Constraints: 138929 3208.71/3218.68 c #Conflicts: 1283000 | #Constraints: 139929 3208.71/3218.68 c #Conflicts: 1284000 | #Constraints: 140929 3208.71/3218.68 c #Conflicts: 1285000 | #Constraints: 141929 3208.71/3218.68 c #Conflicts: 1286000 | #Constraints: 142929 3208.71/3218.68 c #Conflicts: 1287000 | #Constraints: 143929 3208.71/3218.68 c #Conflicts: 1288000 | #Constraints: 144929 3208.71/3218.68 c #Conflicts: 1289000 | #Constraints: 145929 3208.71/3218.68 c #Conflicts: 1290000 | #Constraints: 146929 3208.71/3218.68 c #Conflicts: 1291000 | #Constraints: 147929 3208.71/3218.68 c #Conflicts: 1292000 | #Constraints: 148929 3208.71/3218.68 c #Conflicts: 1293000 | #Constraints: 149929 3208.71/3218.68 c #Conflicts: 1294000 | #Constraints: 150929 3208.71/3218.68 c #Conflicts: 1295000 | #Constraints: 151929 3208.71/3218.68 c #Conflicts: 1296000 | #Constraints: 152929 3208.71/3218.68 c #Conflicts: 1297000 | #Constraints: 153929 3208.71/3218.68 c #Conflicts: 1298000 | #Constraints: 154929 3208.71/3218.68 c #Conflicts: 1299000 | #Constraints: 155929 3208.71/3218.68 c #Conflicts: 1300000 | #Constraints: 156929 3208.71/3218.68 c #Conflicts: 1301000 | #Constraints: 157929 3208.71/3218.68 c #Conflicts: 1302000 | #Constraints: 158929 3208.71/3218.68 c INPROCESSING 3208.71/3218.68 c GARBAGE COLLECT 3208.71/3218.68 c rational objective 550 3257.87/3268.00 c #Conflicts: 1303000 | #Constraints: 137336 3257.87/3268.00 c #Conflicts: 1304000 | #Constraints: 138336 3257.87/3268.00 c #Conflicts: 1305000 | #Constraints: 139336 3257.87/3268.00 c #Conflicts: 1306000 | #Constraints: 140336 3257.87/3268.00 c #Conflicts: 1307000 | #Constraints: 141336 3257.87/3268.00 c #Conflicts: 1308000 | #Constraints: 142336 3257.87/3268.00 c #Conflicts: 1309000 | #Constraints: 143336 3257.87/3268.00 c #Conflicts: 1310000 | #Constraints: 144336 3257.87/3268.00 c #Conflicts: 1311000 | #Constraints: 145336 3257.87/3268.00 c #Conflicts: 1312000 | #Constraints: 146336 3257.87/3268.00 c #Conflicts: 1313000 | #Constraints: 147336 3257.87/3268.00 c #Conflicts: 1314000 | #Constraints: 148336 3257.87/3268.00 c #Conflicts: 1315000 | #Constraints: 149336 3257.87/3268.00 c #Conflicts: 1316000 | #Constraints: 150336 3257.87/3268.00 c #Conflicts: 1317000 | #Constraints: 151336 3257.87/3268.00 c #Conflicts: 1318000 | #Constraints: 152336 3257.87/3268.00 c #Conflicts: 1319000 | #Constraints: 153336 3257.87/3268.00 c #Conflicts: 1320000 | #Constraints: 154336 3257.87/3268.00 c #Conflicts: 1321000 | #Constraints: 155336 3257.87/3268.00 c #Conflicts: 1322000 | #Constraints: 156336 3257.87/3268.00 c #Conflicts: 1323000 | #Constraints: 157336 3257.87/3268.00 c #Conflicts: 1324000 | #Constraints: 158336 3257.87/3268.00 c #Conflicts: 1325000 | #Constraints: 159336 3257.87/3268.00 c INPROCESSING 3257.87/3268.00 c GARBAGE COLLECT 3257.87/3268.00 c rational objective 550 3304.72/3314.98 c #Conflicts: 1326000 | #Constraints: 137544 3304.72/3314.98 c #Conflicts: 1327000 | #Constraints: 138544 3304.72/3314.98 c #Conflicts: 1328000 | #Constraints: 139544 3304.72/3314.98 c #Conflicts: 1329000 | #Constraints: 140544 3304.72/3314.98 c #Conflicts: 1330000 | #Constraints: 141544 3304.72/3314.98 c #Conflicts: 1331000 | #Constraints: 142544 3304.72/3314.98 c #Conflicts: 1332000 | #Constraints: 143544 3304.72/3314.98 c #Conflicts: 1333000 | #Constraints: 144544 3304.72/3314.98 c #Conflicts: 1334000 | #Constraints: 145544 3304.72/3314.98 c #Conflicts: 1335000 | #Constraints: 146544 3304.72/3314.98 c #Conflicts: 1336000 | #Constraints: 147544 3304.72/3314.98 c #Conflicts: 1337000 | #Constraints: 148544 3304.72/3314.98 c #Conflicts: 1338000 | #Constraints: 149544 3304.72/3314.98 c #Conflicts: 1339000 | #Constraints: 150544 3304.72/3314.98 c #Conflicts: 1340000 | #Constraints: 151544 3304.72/3314.98 c #Conflicts: 1341000 | #Constraints: 152544 3304.72/3314.98 c #Conflicts: 1342000 | #Constraints: 153544 3304.72/3314.98 c #Conflicts: 1343000 | #Constraints: 154544 3304.72/3314.98 c #Conflicts: 1344000 | #Constraints: 155544 3304.72/3314.98 c #Conflicts: 1345000 | #Constraints: 156544 3304.72/3314.98 c #Conflicts: 1346000 | #Constraints: 157544 3304.72/3314.98 c #Conflicts: 1347000 | #Constraints: 158544 3304.72/3314.98 c #Conflicts: 1348000 | #Constraints: 159544 3304.72/3314.98 c INPROCESSING 3304.72/3314.98 c GARBAGE COLLECT 3304.72/3314.98 c rational objective 550 3360.94/3371.31 c #Conflicts: 1349000 | #Constraints: 137554 3360.94/3371.31 c #Conflicts: 1350000 | #Constraints: 138554 3360.94/3371.31 c #Conflicts: 1351000 | #Constraints: 139554 3360.94/3371.31 c #Conflicts: 1352000 | #Constraints: 140554 3360.94/3371.31 c #Conflicts: 1353000 | #Constraints: 141554 3360.94/3371.31 c #Conflicts: 1354000 | #Constraints: 142554 3360.94/3371.31 c #Conflicts: 1355000 | #Constraints: 143554 3360.94/3371.31 c #Conflicts: 1356000 | #Constraints: 144554 3360.94/3371.31 c #Conflicts: 1357000 | #Constraints: 145554 3360.94/3371.31 c #Conflicts: 1358000 | #Constraints: 146554 3360.94/3371.31 c #Conflicts: 1359000 | #Constraints: 147554 3360.94/3371.31 c #Conflicts: 1360000 | #Constraints: 148554 3360.94/3371.31 c #Conflicts: 1361000 | #Constraints: 149554 3360.94/3371.31 c #Conflicts: 1362000 | #Constraints: 150554 3360.94/3371.31 c #Conflicts: 1363000 | #Constraints: 151554 3360.94/3371.31 c #Conflicts: 1364000 | #Constraints: 152554 3360.94/3371.31 c #Conflicts: 1365000 | #Constraints: 153554 3360.94/3371.31 c #Conflicts: 1366000 | #Constraints: 154554 3360.94/3371.31 c #Conflicts: 1367000 | #Constraints: 155554 3360.94/3371.31 c #Conflicts: 1368000 | #Constraints: 156554 3360.94/3371.31 c #Conflicts: 1369000 | #Constraints: 157554 3360.94/3371.31 c #Conflicts: 1370000 | #Constraints: 158554 3360.94/3371.31 c #Conflicts: 1371000 | #Constraints: 159554 3360.94/3371.31 c INPROCESSING 3360.94/3371.31 c GARBAGE COLLECT 3360.94/3371.31 c rational objective 550 3422.65/3433.27 c #Conflicts: 1372000 | #Constraints: 137344 3422.65/3433.27 c #Conflicts: 1373000 | #Constraints: 138344 3422.65/3433.27 c #Conflicts: 1374000 | #Constraints: 139344 3422.65/3433.27 c #Conflicts: 1375000 | #Constraints: 140344 3422.65/3433.27 c #Conflicts: 1376000 | #Constraints: 141344 3422.65/3433.27 c #Conflicts: 1377000 | #Constraints: 142344 3422.65/3433.27 c #Conflicts: 1378000 | #Constraints: 143344 3422.65/3433.27 c #Conflicts: 1379000 | #Constraints: 144344 3422.65/3433.27 c #Conflicts: 1380000 | #Constraints: 145344 3422.65/3433.27 c #Conflicts: 1381000 | #Constraints: 146344 3422.65/3433.27 c #Conflicts: 1382000 | #Constraints: 147344 3422.65/3433.27 c #Conflicts: 1383000 | #Constraints: 148344 3422.65/3433.27 c #Conflicts: 1384000 | #Constraints: 149344 3422.65/3433.27 c #Conflicts: 1385000 | #Constraints: 150344 3422.65/3433.27 c #Conflicts: 1386000 | #Constraints: 151344 3422.65/3433.27 c #Conflicts: 1387000 | #Constraints: 152344 3422.65/3433.27 c #Conflicts: 1388000 | #Constraints: 153344 3422.65/3433.27 c #Conflicts: 1389000 | #Constraints: 154344 3422.65/3433.27 c #Conflicts: 1390000 | #Constraints: 155344 3422.65/3433.27 c #Conflicts: 1391000 | #Constraints: 156344 3422.65/3433.27 c #Conflicts: 1392000 | #Constraints: 157344 3422.65/3433.27 c #Conflicts: 1393000 | #Constraints: 158344 3422.65/3433.27 c #Conflicts: 1394000 | #Constraints: 159344 3422.65/3433.27 c #Conflicts: 1395000 | #Constraints: 160344 3422.65/3433.27 c INPROCESSING 3422.65/3433.27 c GARBAGE COLLECT 3422.65/3433.27 c rational objective 550 3485.85/3496.62 c #Conflicts: 1396000 | #Constraints: 137940 3485.85/3496.62 c #Conflicts: 1397000 | #Constraints: 138940 3485.85/3496.62 c #Conflicts: 1398000 | #Constraints: 139940 3485.85/3496.62 c #Conflicts: 1399000 | #Constraints: 140940 3485.85/3496.62 c #Conflicts: 1400000 | #Constraints: 141940 3485.85/3496.62 c #Conflicts: 1401000 | #Constraints: 142940 3485.85/3496.62 c #Conflicts: 1402000 | #Constraints: 143940 3485.85/3496.62 c #Conflicts: 1403000 | #Constraints: 144940 3485.85/3496.62 c #Conflicts: 1404000 | #Constraints: 145940 3485.85/3496.62 c #Conflicts: 1405000 | #Constraints: 146940 3485.85/3496.62 c #Conflicts: 1406000 | #Constraints: 147940 3485.85/3496.62 c #Conflicts: 1407000 | #Constraints: 148940 3485.85/3496.62 c #Conflicts: 1408000 | #Constraints: 149940 3485.85/3496.62 c #Conflicts: 1409000 | #Constraints: 150940 3485.85/3496.62 c #Conflicts: 1410000 | #Constraints: 151940 3485.85/3496.62 c #Conflicts: 1411000 | #Constraints: 152940 3485.85/3496.62 c #Conflicts: 1412000 | #Constraints: 153940 3485.85/3496.62 c #Conflicts: 1413000 | #Constraints: 154940 3485.85/3496.62 c #Conflicts: 1414000 | #Constraints: 155940 3485.85/3496.62 c #Conflicts: 1415000 | #Constraints: 156940 3485.85/3496.62 c #Conflicts: 1416000 | #Constraints: 157940 3485.85/3496.62 c #Conflicts: 1417000 | #Constraints: 158940 3485.85/3496.62 c #Conflicts: 1418000 | #Constraints: 159940 3485.85/3496.62 c #Conflicts: 1419000 | #Constraints: 160940 3485.85/3496.62 c INPROCESSING 3485.85/3496.62 c GARBAGE COLLECT 3485.85/3496.62 c rational objective 550 3538.99/3549.92 c #Conflicts: 1420000 | #Constraints: 138341 3538.99/3549.92 c #Conflicts: 1421000 | #Constraints: 139341 3538.99/3549.92 c #Conflicts: 1422000 | #Constraints: 140341 3538.99/3549.92 c #Conflicts: 1423000 | #Constraints: 141341 3538.99/3549.92 c #Conflicts: 1424000 | #Constraints: 142341 3538.99/3549.92 c #Conflicts: 1425000 | #Constraints: 143341 3538.99/3549.92 c #Conflicts: 1426000 | #Constraints: 144341 3538.99/3549.92 c #Conflicts: 1427000 | #Constraints: 145341 3538.99/3549.92 c #Conflicts: 1428000 | #Constraints: 146341 3538.99/3549.92 c #Conflicts: 1429000 | #Constraints: 147341 3538.99/3549.92 c #Conflicts: 1430000 | #Constraints: 148341 3538.99/3549.92 c #Conflicts: 1431000 | #Constraints: 149341 3538.99/3549.92 c #Conflicts: 1432000 | #Constraints: 150341 3538.99/3549.92 c #Conflicts: 1433000 | #Constraints: 151341 3538.99/3549.92 c #Conflicts: 1434000 | #Constraints: 152341 3538.99/3549.92 c #Conflicts: 1435000 | #Constraints: 153341 3538.99/3549.92 c #Conflicts: 1436000 | #Constraints: 154341 3538.99/3549.92 c #Conflicts: 1437000 | #Constraints: 155341 3538.99/3549.92 c #Conflicts: 1438000 | #Constraints: 156341 3538.99/3549.92 c #Conflicts: 1439000 | #Constraints: 157341 3538.99/3549.92 c #Conflicts: 1440000 | #Constraints: 158341 3538.99/3549.92 c #Conflicts: 1441000 | #Constraints: 159341 3538.99/3549.92 c #Conflicts: 1442000 | #Constraints: 160341 3538.99/3549.92 c #Conflicts: 1443000 | #Constraints: 161341 3538.99/3549.92 c INPROCESSING 3538.99/3549.92 c GARBAGE COLLECT 3538.99/3549.92 c rational objective 550
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 (62801 MiB free)
memory of node 1: 64510 MiB (61660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455474-1721460647/watcher-4455474-1721460647 -o /tmp/evaluation-result-4455474-1721460647/solver-4455474-1721460647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046575 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455474-1721460647.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1046619, runsolver pid=1046616
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127436532/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=37824 memory=8564 CPUtime=0.11 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 544 0 0 0 8 3 0 0 20 0 1 0 198221153 38731776 2141 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 9456 2141 1290 922 0 1408 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 37824 KiB
Current children cumulated memory: 8564 KiB
[startup+0.213438 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127426868/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=38088 memory=9088 CPUtime=0.22 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 632 0 0 0 16 6 0 0 20 0 1 0 198221153 39002112 2272 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 9522 2272 1290 922 0 1474 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38088 KiB
Current children cumulated memory: 9088 KiB
[startup+0.312462 s]*
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127419304/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=38480 memory=9408 CPUtime=0.32 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 734 0 0 0 23 9 0 0 20 0 1 0 198221153 39403520 2352 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 9620 2352 1290 922 0 1572 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 9408 KiB
[startup+0.700259 s]
/proc/loadavg: 3.61 4.07 4.20 5/241 1046626
/proc/meminfo: memFree=127404548/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=43040 memory=13308 CPUtime=0.68 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 1790 0 0 0 50 18 0 0 20 0 1 0 198221153 44072960 3327 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 10760 3327 1290 922 0 2712 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 13308 KiB
[startup+1.50031 s]
/proc/loadavg: 3.61 4.07 4.20 6/245 1046637
/proc/meminfo: memFree=127272144/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=107284 memory=79760 CPUtime=1.48 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 20866 0 0 0 121 27 0 0 20 0 1 0 198221153 109858816 19940 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 26821 19940 1593 922 0 18773 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107284 KiB
Current children cumulated memory: 79760 KiB
[startup+3.11323 s]
/proc/loadavg: 3.61 4.07 4.20 5/245 1046637
/proc/meminfo: memFree=126978736/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=107284 memory=79760 CPUtime=3.09 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 20917 0 0 0 281 28 0 0 20 0 1 0 198221153 109858816 19940 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 26821 19940 1593 922 0 18773 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107284 KiB
Current children cumulated memory: 79760 KiB
[startup+6.30031 s]
/proc/loadavg: 3.64 4.07 4.20 5/245 1046639
/proc/meminfo: memFree=126539844/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=107284 memory=80428 CPUtime=6.27 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 20926 0 0 0 598 29 0 0 20 0 1 0 198221153 109858816 20107 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 26821 20107 1720 922 0 18773 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107284 KiB
Current children cumulated memory: 80428 KiB
[startup+12.7003 s]
/proc/loadavg: 3.67 4.06 4.19 5/245 1046639
/proc/meminfo: memFree=126532312/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=113992 memory=87932 CPUtime=12.64 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 21816 0 0 0 1233 31 0 0 20 0 1 0 198221153 116727808 21983 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 28498 21983 1736 922 0 20450 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 113992 KiB
Current children cumulated memory: 87932 KiB
[startup+25.5003 s]
/proc/loadavg: 3.74 4.06 4.19 5/243 1046656
/proc/meminfo: memFree=126980136/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=120960 memory=92292 CPUtime=25.4 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 21899 0 0 0 2507 33 0 0 20 0 1 0 198221153 123863040 23073 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 30240 23073 1736 922 0 22192 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 120960 KiB
Current children cumulated memory: 92292 KiB
[startup+51.1131 s]
/proc/loadavg: 3.96 4.09 4.19 5/244 1046829
/proc/meminfo: memFree=127007780/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=120960 memory=92784 CPUtime=50.92 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 21990 0 0 0 5055 37 0 0 20 0 1 0 198221153 123863040 23196 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 30240 23196 1787 922 0 22192 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 120960 KiB
Current children cumulated memory: 92784 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.18 5/245 1046838
/proc/meminfo: memFree=126941916/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=125380 memory=95760 CPUtime=101.94 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 22249 0 0 0 10148 46 0 0 20 0 1 0 198221153 128389120 23940 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 31345 23940 1787 922 0 23297 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 125380 KiB
Current children cumulated memory: 95760 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.18 5/245 1046848
/proc/meminfo: memFree=126904968/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=141332 memory=108752 CPUtime=161.74 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 23490 0 0 0 16119 55 0 0 20 0 1 0 198221153 144723968 27188 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 35333 27188 1787 922 0 27285 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 141332 KiB
Current children cumulated memory: 108752 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.18 5/244 1046859
/proc/meminfo: memFree=126884476/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=155488 memory=116336 CPUtime=221.54 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 27503 0 0 0 22082 72 0 0 20 0 1 0 198221153 159219712 29084 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 38872 29084 1803 922 0 30824 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 155488 KiB
Current children cumulated memory: 116336 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.17 5/244 1046870
/proc/meminfo: memFree=126853080/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=155488 memory=121432 CPUtime=281.33 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 27748 0 0 0 28042 91 0 0 20 0 1 0 198221153 159219712 30358 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 38872 30358 1803 922 0 30824 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 155488 KiB
Current children cumulated memory: 121432 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.17 5/242 1046880
/proc/meminfo: memFree=126842788/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=155488 memory=128900 CPUtime=341.16 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 27814 0 0 0 34002 114 0 0 20 0 1 0 198221153 159219712 32225 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 38872 32225 1819 922 0 30824 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 155488 KiB
Current children cumulated memory: 128900 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.17 5/242 1046891
/proc/meminfo: memFree=126835472/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=160336 memory=130236 CPUtime=401 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 28340 0 0 0 39967 133 0 0 20 0 1 0 198221153 164184064 32559 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 40084 32559 1819 922 0 32036 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 160336 KiB
Current children cumulated memory: 130236 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.20 4.20 5/241 1046901
/proc/meminfo: memFree=126826100/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=160336 memory=130444 CPUtime=460.85 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 28392 0 0 0 45930 155 0 0 20 0 1 0 198221153 164184064 32611 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 40084 32611 1819 922 0 32036 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/244 1047962
/proc/meminfo: memFree=126570720/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3152.59 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32003 0 0 0 314078 1181 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/244 1047972
/proc/meminfo: memFree=126569984/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3212.4 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32060 0 0 0 320038 1202 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/244 1047983
/proc/meminfo: memFree=126552832/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3272.22 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32118 0 0 0 325997 1225 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/242 1048376
/proc/meminfo: memFree=126552000/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3332.03 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32177 0 0 0 331955 1248 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/241 1048386
/proc/meminfo: memFree=126551732/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3391.84 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32235 0 0 0 337915 1269 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/241 1048397
/proc/meminfo: memFree=126549096/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3451.65 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32293 0 0 0 343870 1295 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.14 5/243 1048578
/proc/meminfo: memFree=126547456/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3511.47 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32351 0 0 0 349832 1315 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.14 6/244 1048591
/proc/meminfo: memFree=126493172/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3571.28 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32409 0 0 0 355792 1336 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545628/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3600 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358654 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.11 s]
# the end of solver process 1046619 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3588.54 s, system=13.4703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545628/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3600.09 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358663 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3612 s]*
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545656/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3600.9 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358744 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3612.8 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545656/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3601.68 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358822 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3601.68 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3613 s]*
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545692/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3601.89 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358843 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
[startup+3613.11 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545692/131655788 swapFree=131071996/131071996
[pid=1046619] ppid=1046616 vsize=178676 memory=144540 CPUtime=3601.99 cores=4,6
/proc/1046619/stat : 1046619 (roundingsat) R 1046616 1046619 1046564 0 -1 4194304 32466 0 0 0 358853 1346 0 0 20 0 1 0 198221153 182964224 36135 134679101440 4194304 7968373 140729701723376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29614080 140729701729212 140729701729376 140729701729376 140729701736393 0
/proc/1046619/statm: 44669 36135 1819 922 0 36621 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 178676 KiB
Current children cumulated memory: 144540 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.11
CPU time (s): 3602.01
CPU user time (s): 3588.54
CPU system time (s): 13.4703
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 178676
Max. memory (cumulated for all children) (KiB): 144540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.54
system time used= 13.4703
maximum resident set size= 144540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 1327
# summary of solver processes directly reported to runsolver:
# pid: 1046619
# total CPU time (s): 3602.01
# total CPU user time (s): 3588.54
# total CPU system time (s): 13.4703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6614 second user time and 36.4315 second system time
The end
Begin job on nodeC008 at 2024-07-20 09:30:59 IDJOB=4455474 IDBENCH=147894 IDSOLVER=3084 FILE ID=nodeC008/4455474-1721460647 RUNJOBID= nodeC008-1721460659-1046575 SLURM_JOB_ID= 7545711 Free space on /tmp= 723728 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455474-1721460647/watcher-4455474-1721460647 -o /tmp/evaluation-result-4455474-1721460647/solver-4455474-1721460647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046575 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455474-1721460647.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a RANDOM SEED=1313913781 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 : 3491.958 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 : 6983.91 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.299 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 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 : 6983.91 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.243 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.244 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 : 6983.91 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.463 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.288 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 : 6983.91 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.242 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127451956 kB MemAvailable: 129901448 kB Buffers: 595912 kB Cached: 2678824 kB SwapCached: 0 kB Active: 1124448 kB Inactive: 2480376 kB Active(anon): 1380 kB Inactive(anon): 374596 kB Active(file): 1123068 kB Inactive(file): 2105780 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 51020 kB Writeback: 16 kB AnonPages: 330120 kB Mapped: 107184 kB Shmem: 45896 kB KReclaimable: 121352 kB Slab: 227504 kB SReclaimable: 121352 kB SUnreclaim: 106152 kB KernelStack: 3700 kB PageTables: 9600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 624344 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61600 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 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: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723720 MiB End job on nodeC008 at 2024-07-20 10:31:13