| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.03 | 3613.7 |
| 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.43/1.41 c #variables 1650 #constraints 113714 174.83/176.39 c #Conflicts: 1000 | #Constraints: 114713 174.83/176.39 c #Conflicts: 2000 | #Constraints: 115713 174.83/176.39 c INPROCESSING 174.83/176.39 c #Conflicts: 3000 | #Constraints: 115718 174.83/176.39 c #Conflicts: 4000 | #Constraints: 116718 174.83/176.39 c INPROCESSING 174.83/176.39 c GARBAGE COLLECT 174.83/176.39 c #Conflicts: 5000 | #Constraints: 116123 174.83/176.39 c #Conflicts: 6000 | #Constraints: 117123 174.83/176.39 c INPROCESSING 174.83/176.39 c #Conflicts: 7000 | #Constraints: 116131 174.83/176.39 c #Conflicts: 8000 | #Constraints: 117131 174.83/176.39 c #Conflicts: 9000 | #Constraints: 118131 174.83/176.39 c INPROCESSING 174.83/176.39 c GARBAGE COLLECT 174.83/176.39 c #Conflicts: 10000 | #Constraints: 116828 174.83/176.39 c #Conflicts: 11000 | #Constraints: 117828 174.83/176.39 c #Conflicts: 12000 | #Constraints: 118828 174.83/176.39 c INPROCESSING 174.83/176.39 c #Conflicts: 13000 | #Constraints: 117279 174.83/176.39 c #Conflicts: 14000 | #Constraints: 118279 174.83/176.39 c #Conflicts: 15000 | #Constraints: 119279 174.83/176.39 c INPROCESSING 174.83/176.39 c GARBAGE COLLECT 174.83/176.39 c #Conflicts: 16000 | #Constraints: 117507 174.83/176.39 c #Conflicts: 17000 | #Constraints: 118507 174.83/176.39 c #Conflicts: 18000 | #Constraints: 119507 174.83/176.39 c INPROCESSING 174.83/176.39 c GARBAGE COLLECT 174.83/176.39 c #Conflicts: 19000 | #Constraints: 117523 174.83/176.39 c #Conflicts: 20000 | #Constraints: 118523 174.83/176.39 c #Conflicts: 21000 | #Constraints: 119523 174.83/176.39 c INPROCESSING 174.83/176.39 c GARBAGE COLLECT 174.83/176.39 c rational objective 550 175.42/176.90 c #Conflicts: 22000 | #Constraints: 117324 175.42/176.90 c #Conflicts: 23000 | #Constraints: 118324 175.42/176.90 c #Conflicts: 24000 | #Constraints: 119324 175.42/176.90 c #Conflicts: 25000 | #Constraints: 120324 175.42/176.90 c INPROCESSING 175.42/176.90 c GARBAGE COLLECT 175.42/176.90 c rational objective 550 187.09/188.60 c #Conflicts: 26000 | #Constraints: 117933 187.09/188.60 c #Conflicts: 27000 | #Constraints: 118933 187.09/188.60 c #Conflicts: 28000 | #Constraints: 119933 187.09/188.60 c #Conflicts: 29000 | #Constraints: 120933 187.09/188.60 c INPROCESSING 187.09/188.60 c GARBAGE COLLECT 187.09/188.60 c rational objective 550 204.14/205.75 c #Conflicts: 30000 | #Constraints: 118328 204.14/205.75 c #Conflicts: 31000 | #Constraints: 119328 204.14/205.75 c #Conflicts: 32000 | #Constraints: 120328 204.14/205.75 c #Conflicts: 33000 | #Constraints: 121328 204.14/205.75 c INPROCESSING 204.14/205.75 c GARBAGE COLLECT 204.14/205.75 c rational objective 550 218.00/219.60 c #Conflicts: 34000 | #Constraints: 118528 218.00/219.60 c #Conflicts: 35000 | #Constraints: 119528 218.00/219.60 c #Conflicts: 36000 | #Constraints: 120528 218.00/219.60 c #Conflicts: 37000 | #Constraints: 121528 218.00/219.60 c INPROCESSING 218.00/219.60 c GARBAGE COLLECT 218.00/219.60 c rational objective 550 228.48/230.11 c #Conflicts: 38000 | #Constraints: 118542 228.48/230.11 c #Conflicts: 39000 | #Constraints: 119542 228.48/230.11 c #Conflicts: 40000 | #Constraints: 120542 228.48/230.11 c #Conflicts: 41000 | #Constraints: 121542 228.48/230.11 c INPROCESSING 228.48/230.11 c GARBAGE COLLECT 228.48/230.11 c rational objective 550 234.05/235.73 c #Conflicts: 42000 | #Constraints: 118352 234.05/235.73 c #Conflicts: 43000 | #Constraints: 119352 234.05/235.73 c #Conflicts: 44000 | #Constraints: 120352 234.05/235.73 c #Conflicts: 45000 | #Constraints: 121352 234.05/235.73 c #Conflicts: 46000 | #Constraints: 122352 234.05/235.73 c INPROCESSING 234.05/235.73 c GARBAGE COLLECT 234.05/235.73 c rational objective 550 244.22/245.90 c #Conflicts: 47000 | #Constraints: 118938 244.22/245.90 c #Conflicts: 48000 | #Constraints: 119938 244.22/245.90 c #Conflicts: 49000 | #Constraints: 120938 244.22/245.90 c #Conflicts: 50000 | #Constraints: 121938 244.22/245.90 c #Conflicts: 51000 | #Constraints: 122938 244.22/245.90 c INPROCESSING 244.22/245.90 c GARBAGE COLLECT 244.22/245.90 c rational objective 550 267.86/269.65 c #Conflicts: 52000 | #Constraints: 119338 267.86/269.65 c #Conflicts: 53000 | #Constraints: 120338 267.86/269.65 c #Conflicts: 54000 | #Constraints: 121338 267.86/269.65 c #Conflicts: 55000 | #Constraints: 122338 267.86/269.65 c #Conflicts: 56000 | #Constraints: 123338 267.86/269.65 c INPROCESSING 267.86/269.65 c GARBAGE COLLECT 267.86/269.65 c rational objective 550 268.66/270.48 c #Conflicts: 57000 | #Constraints: 119536 268.66/270.48 c #Conflicts: 58000 | #Constraints: 120536 268.66/270.48 c #Conflicts: 59000 | #Constraints: 121536 268.66/270.48 c #Conflicts: 60000 | #Constraints: 122536 268.66/270.48 c #Conflicts: 61000 | #Constraints: 123536 268.66/270.48 c INPROCESSING 268.66/270.48 c GARBAGE COLLECT 268.66/270.48 c rational objective 550 274.94/276.79 c #Conflicts: 62000 | #Constraints: 119531 274.94/276.79 c #Conflicts: 63000 | #Constraints: 120531 274.94/276.79 c #Conflicts: 64000 | #Constraints: 121531 274.94/276.79 WSVECS04 Frhs2[119]: 6 -1.00006 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[187]: 6 -1.00002 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[253]: 6 -1.00004 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[327]: 6 -1.00003 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[384]: 6 -1.00006 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[457]: 6 -1.00005 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[519]: 6 -1.0001 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[923]: 6 -1.00001 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[970]: 6 -1.00006 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1144]: 6 -1.00008 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1161]: 6 -1.00006 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1218]: 6 -1.00007 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1262]: 6 -1.0001 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1293]: 6 -1.00001 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1318]: 6 -1.00003 0 shouldn't be 274.94/276.79 WSVECS04 Frhs2[1467]: 6 -1.00009 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[243]: 6 -1.00004 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[295]: 6 -1.00005 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[315]: 6 -1.00009 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[338]: 6 -1.00003 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[418]: 6 -1.00007 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[498]: 6 -1.00008 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[619]: 6 -1.00005 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[658]: 6 -1.00007 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1102]: 6 -1.00001 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1256]: 6 -1.00008 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1339]: 6 -1.00005 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1363]: 6 -1.00005 0 shouldn't be 278.54/280.38 WSVECS04 Frhs2[1376]: 6 -1.00005 0 shouldn't be 282.43/284.22 WSVECS04 Frhs2[305]: 6 -1.00009 0 shouldn't be 289.40/291.20 WSVECS04 Frhs2[317]: 6 -1.00004 0 shouldn't be 289.40/291.20 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be 289.40/291.20 WSVECS04 Frhs2[1556]: 6 -1.00008 0 shouldn't be 299.08/300.99 WSVECS04 Frhs2[470]: 6 -1.00004 0 shouldn't be 299.08/300.99 WSVECS04 Frhs2[1041]: 6 -1.00006 0 shouldn't be 304.26/306.11 WSVECS04 Frhs2[832]: 6 -1.00007 0 shouldn't be 304.26/306.11 WSVECS04 Frhs2[1286]: 6 -1.00004 0 shouldn't be 304.26/306.11 WSVECS04 Frhs2[1374]: 6 -1.00003 0 shouldn't be 304.26/306.11 WSVECS04 Frhs2[1586]: 6 -1.00003 0 shouldn't be 344.94/346.91 c #Conflicts: 65000 | #Constraints: 122531 344.94/346.91 c #Conflicts: 66000 | #Constraints: 123531 344.94/346.91 c INPROCESSING 344.94/346.91 c GARBAGE COLLECT 344.94/346.91 c rational objective 550 362.19/364.22 c #Conflicts: 67000 | #Constraints: 119332 362.19/364.22 c #Conflicts: 68000 | #Constraints: 120332 362.19/364.22 c #Conflicts: 69000 | #Constraints: 121332 362.19/364.22 c #Conflicts: 70000 | #Constraints: 122332 362.19/364.22 c #Conflicts: 71000 | #Constraints: 123332 362.19/364.22 c #Conflicts: 72000 | #Constraints: 124332 362.19/364.22 c INPROCESSING 362.19/364.22 c GARBAGE COLLECT 362.19/364.22 c rational objective 550 362.88/364.97 c #Conflicts: 73000 | #Constraints: 119929 362.88/364.97 c #Conflicts: 74000 | #Constraints: 120929 362.88/364.97 c #Conflicts: 75000 | #Constraints: 121929 362.88/364.97 c #Conflicts: 76000 | #Constraints: 122929 362.88/364.97 c #Conflicts: 77000 | #Constraints: 123929 362.88/364.97 c #Conflicts: 78000 | #Constraints: 124929 362.88/364.97 c INPROCESSING 362.88/364.97 c GARBAGE COLLECT 362.88/364.97 c rational objective 550 363.79/365.87 c #Conflicts: 79000 | #Constraints: 120331 363.79/365.87 c #Conflicts: 80000 | #Constraints: 121331 363.79/365.87 c #Conflicts: 81000 | #Constraints: 122331 363.79/365.87 c #Conflicts: 82000 | #Constraints: 123331 363.79/365.87 c #Conflicts: 83000 | #Constraints: 124331 363.79/365.87 c #Conflicts: 84000 | #Constraints: 125331 363.79/365.87 c INPROCESSING 363.79/365.87 c GARBAGE COLLECT 363.79/365.87 c rational objective 550 364.68/366.72 c #Conflicts: 85000 | #Constraints: 120535 364.68/366.72 c #Conflicts: 86000 | #Constraints: 121535 364.68/366.72 c #Conflicts: 87000 | #Constraints: 122535 364.68/366.72 c #Conflicts: 88000 | #Constraints: 123535 364.68/366.72 c #Conflicts: 89000 | #Constraints: 124535 364.68/366.72 c #Conflicts: 90000 | #Constraints: 125535 364.68/366.72 c INPROCESSING 364.68/366.72 c GARBAGE COLLECT 364.68/366.72 c rational objective 550 378.54/380.69 c #Conflicts: 91000 | #Constraints: 120543 378.54/380.69 c #Conflicts: 92000 | #Constraints: 121543 378.54/380.69 c #Conflicts: 93000 | #Constraints: 122543 378.54/380.69 c #Conflicts: 94000 | #Constraints: 123543 378.54/380.69 c #Conflicts: 95000 | #Constraints: 124543 378.54/380.69 c #Conflicts: 96000 | #Constraints: 125543 378.54/380.69 c INPROCESSING 378.54/380.69 c GARBAGE COLLECT 378.54/380.69 c rational objective 550 389.52/391.65 c #Conflicts: 97000 | #Constraints: 120359 389.52/391.65 c #Conflicts: 98000 | #Constraints: 121359 389.52/391.65 c #Conflicts: 99000 | #Constraints: 122359 389.52/391.65 c #Conflicts: 100000 | #Constraints: 123359 389.52/391.65 c #Conflicts: 101000 | #Constraints: 124359 389.52/391.65 c #Conflicts: 102000 | #Constraints: 125359 389.52/391.65 c #Conflicts: 103000 | #Constraints: 126359 389.52/391.65 c INPROCESSING 389.52/391.65 c GARBAGE COLLECT 389.52/391.65 c rational objective 550 407.87/410.08 c #Conflicts: 104000 | #Constraints: 120940 407.87/410.08 c #Conflicts: 105000 | #Constraints: 121940 407.87/410.08 c #Conflicts: 106000 | #Constraints: 122940 407.87/410.08 c #Conflicts: 107000 | #Constraints: 123940 407.87/410.08 c #Conflicts: 108000 | #Constraints: 124940 407.87/410.08 c #Conflicts: 109000 | #Constraints: 125940 407.87/410.08 c #Conflicts: 110000 | #Constraints: 126940 407.87/410.08 c INPROCESSING 407.87/410.08 c GARBAGE COLLECT 407.87/410.08 c rational objective 550 419.43/421.67 c #Conflicts: 111000 | #Constraints: 121348 419.43/421.67 c #Conflicts: 112000 | #Constraints: 122348 419.43/421.67 c #Conflicts: 113000 | #Constraints: 123348 419.43/421.67 c #Conflicts: 114000 | #Constraints: 124348 419.43/421.67 c #Conflicts: 115000 | #Constraints: 125348 419.43/421.67 c #Conflicts: 116000 | #Constraints: 126348 419.43/421.67 c #Conflicts: 117000 | #Constraints: 127348 419.43/421.67 c INPROCESSING 419.43/421.67 c GARBAGE COLLECT 419.43/421.67 c rational objective 550 442.07/444.34 c #Conflicts: 118000 | #Constraints: 121537 442.07/444.34 c #Conflicts: 119000 | #Constraints: 122537 442.07/444.34 c #Conflicts: 120000 | #Constraints: 123537 442.07/444.34 c #Conflicts: 121000 | #Constraints: 124537 442.07/444.34 c #Conflicts: 122000 | #Constraints: 125537 442.07/444.34 c #Conflicts: 123000 | #Constraints: 126537 442.07/444.34 c #Conflicts: 124000 | #Constraints: 127537 442.07/444.34 c INPROCESSING 442.07/444.34 c GARBAGE COLLECT 442.07/444.34 c rational objective 550 457.62/459.91 c #Conflicts: 125000 | #Constraints: 121530 457.62/459.91 c #Conflicts: 126000 | #Constraints: 122530 457.62/459.91 c #Conflicts: 127000 | #Constraints: 123530 457.62/459.91 c #Conflicts: 128000 | #Constraints: 124530 457.62/459.91 c #Conflicts: 129000 | #Constraints: 125530 457.62/459.91 c #Conflicts: 130000 | #Constraints: 126530 457.62/459.91 c #Conflicts: 131000 | #Constraints: 127530 457.62/459.91 c INPROCESSING 457.62/459.91 c GARBAGE COLLECT 457.62/459.91 c rational objective 550 487.04/489.44 c #Conflicts: 132000 | #Constraints: 121325 487.04/489.44 c #Conflicts: 133000 | #Constraints: 122325 487.04/489.44 c #Conflicts: 134000 | #Constraints: 123325 487.04/489.44 c #Conflicts: 135000 | #Constraints: 124325 487.04/489.44 c #Conflicts: 136000 | #Constraints: 125325 487.04/489.44 c #Conflicts: 137000 | #Constraints: 126325 487.04/489.44 c #Conflicts: 138000 | #Constraints: 127325 487.04/489.44 c #Conflicts: 139000 | #Constraints: 128325 487.04/489.44 c INPROCESSING 487.04/489.44 c GARBAGE COLLECT 487.04/489.44 c rational objective 550 500.30/502.74 c #Conflicts: 140000 | #Constraints: 121942 500.30/502.74 c #Conflicts: 141000 | #Constraints: 122942 500.30/502.74 c #Conflicts: 142000 | #Constraints: 123942 500.30/502.74 c #Conflicts: 143000 | #Constraints: 124942 500.30/502.74 c #Conflicts: 144000 | #Constraints: 125942 500.30/502.74 c #Conflicts: 145000 | #Constraints: 126942 500.30/502.74 c #Conflicts: 146000 | #Constraints: 127942 500.30/502.74 c #Conflicts: 147000 | #Constraints: 128942 500.30/502.74 c INPROCESSING 500.30/502.74 c GARBAGE COLLECT 500.30/502.74 c rational objective 550 514.26/516.77 c #Conflicts: 148000 | #Constraints: 122357 514.26/516.77 c #Conflicts: 149000 | #Constraints: 123357 514.26/516.77 c #Conflicts: 150000 | #Constraints: 124357 514.26/516.77 c #Conflicts: 151000 | #Constraints: 125357 514.26/516.77 c #Conflicts: 152000 | #Constraints: 126357 514.26/516.77 c #Conflicts: 153000 | #Constraints: 127357 514.26/516.77 c #Conflicts: 154000 | #Constraints: 128357 514.26/516.77 c #Conflicts: 155000 | #Constraints: 129357 514.26/516.77 c INPROCESSING 514.26/516.77 c GARBAGE COLLECT 514.26/516.77 c rational objective 550 535.30/537.89 c #Conflicts: 156000 | #Constraints: 122547 535.30/537.89 c #Conflicts: 157000 | #Constraints: 123547 535.30/537.89 c #Conflicts: 158000 | #Constraints: 124547 535.30/537.89 c #Conflicts: 159000 | #Constraints: 125547 535.30/537.89 c #Conflicts: 160000 | #Constraints: 126547 535.30/537.89 c #Conflicts: 161000 | #Constraints: 127547 535.30/537.89 c #Conflicts: 162000 | #Constraints: 128547 535.30/537.89 c #Conflicts: 163000 | #Constraints: 129547 535.30/537.89 c INPROCESSING 535.30/537.89 c GARBAGE COLLECT 535.30/537.89 c rational objective 550 548.47/551.01 c #Conflicts: 164000 | #Constraints: 122544 548.47/551.01 c #Conflicts: 165000 | #Constraints: 123544 548.47/551.01 c #Conflicts: 166000 | #Constraints: 124544 548.47/551.01 c #Conflicts: 167000 | #Constraints: 125544 548.47/551.01 c #Conflicts: 168000 | #Constraints: 126544 548.47/551.01 c #Conflicts: 169000 | #Constraints: 127544 548.47/551.01 c #Conflicts: 170000 | #Constraints: 128544 548.47/551.01 c #Conflicts: 171000 | #Constraints: 129544 548.47/551.01 c INPROCESSING 548.47/551.01 c GARBAGE COLLECT 548.47/551.01 c rational objective 550 568.81/571.43 c #Conflicts: 172000 | #Constraints: 122332 568.81/571.43 c #Conflicts: 173000 | #Constraints: 123332 568.81/571.43 c #Conflicts: 174000 | #Constraints: 124332 568.81/571.43 c #Conflicts: 175000 | #Constraints: 125332 568.81/571.43 c #Conflicts: 176000 | #Constraints: 126332 568.81/571.43 c #Conflicts: 177000 | #Constraints: 127332 568.81/571.43 c #Conflicts: 178000 | #Constraints: 128332 568.81/571.43 c #Conflicts: 179000 | #Constraints: 129332 568.81/571.43 c #Conflicts: 180000 | #Constraints: 130332 568.81/571.43 c INPROCESSING 568.81/571.43 c GARBAGE COLLECT 568.81/571.43 c rational objective 550 588.46/591.18 c #Conflicts: 181000 | #Constraints: 122929 588.46/591.18 c #Conflicts: 182000 | #Constraints: 123929 588.46/591.18 c #Conflicts: 183000 | #Constraints: 124929 588.46/591.18 c #Conflicts: 184000 | #Constraints: 125929 588.46/591.18 c #Conflicts: 185000 | #Constraints: 126929 588.46/591.18 c #Conflicts: 186000 | #Constraints: 127929 588.46/591.18 c #Conflicts: 187000 | #Constraints: 128929 588.46/591.18 c #Conflicts: 188000 | #Constraints: 129929 588.46/591.18 c #Conflicts: 189000 | #Constraints: 130929 588.46/591.18 c INPROCESSING 588.46/591.18 c GARBAGE COLLECT 588.46/591.18 c rational objective 550 608.00/610.74 c #Conflicts: 190000 | #Constraints: 123331 608.00/610.74 c #Conflicts: 191000 | #Constraints: 124331 608.00/610.74 c #Conflicts: 192000 | #Constraints: 125331 608.00/610.74 c #Conflicts: 193000 | #Constraints: 126331 608.00/610.74 c #Conflicts: 194000 | #Constraints: 127331 608.00/610.74 c #Conflicts: 195000 | #Constraints: 128331 608.00/610.74 c #Conflicts: 196000 | #Constraints: 129331 608.00/610.74 c #Conflicts: 197000 | #Constraints: 130331 608.00/610.74 c #Conflicts: 198000 | #Constraints: 131331 608.00/610.74 c INPROCESSING 608.00/610.74 c GARBAGE COLLECT 608.00/610.74 c rational objective 550 624.06/626.81 c #Conflicts: 199000 | #Constraints: 123544 624.06/626.81 c #Conflicts: 200000 | #Constraints: 124544 624.06/626.81 c #Conflicts: 201000 | #Constraints: 125544 624.06/626.81 c #Conflicts: 202000 | #Constraints: 126544 624.06/626.81 c #Conflicts: 203000 | #Constraints: 127544 624.06/626.81 c #Conflicts: 204000 | #Constraints: 128544 624.06/626.81 c #Conflicts: 205000 | #Constraints: 129544 624.06/626.81 c #Conflicts: 206000 | #Constraints: 130544 624.06/626.81 c #Conflicts: 207000 | #Constraints: 131544 624.06/626.81 c INPROCESSING 624.06/626.81 c GARBAGE COLLECT 624.06/626.81 c rational objective 550 641.10/643.91 c #Conflicts: 208000 | #Constraints: 123550 641.10/643.91 c #Conflicts: 209000 | #Constraints: 124550 641.10/643.91 c #Conflicts: 210000 | #Constraints: 125550 641.10/643.91 c #Conflicts: 211000 | #Constraints: 126550 641.10/643.91 c #Conflicts: 212000 | #Constraints: 127550 641.10/643.91 c #Conflicts: 213000 | #Constraints: 128550 641.10/643.91 c #Conflicts: 214000 | #Constraints: 129550 641.10/643.91 c #Conflicts: 215000 | #Constraints: 130550 641.10/643.91 c #Conflicts: 216000 | #Constraints: 131550 641.10/643.91 c INPROCESSING 641.10/643.91 c GARBAGE COLLECT 641.10/643.91 c rational objective 550 655.87/658.75 c #Conflicts: 217000 | #Constraints: 123358 655.87/658.75 c #Conflicts: 218000 | #Constraints: 124358 655.87/658.75 c #Conflicts: 219000 | #Constraints: 125358 655.87/658.75 c #Conflicts: 220000 | #Constraints: 126358 655.87/658.75 c #Conflicts: 221000 | #Constraints: 127358 655.87/658.75 c #Conflicts: 222000 | #Constraints: 128358 655.87/658.75 c #Conflicts: 223000 | #Constraints: 129358 655.87/658.75 c #Conflicts: 224000 | #Constraints: 130358 655.87/658.75 c #Conflicts: 225000 | #Constraints: 131358 655.87/658.75 c #Conflicts: 226000 | #Constraints: 132358 655.87/658.75 c INPROCESSING 655.87/658.75 c GARBAGE COLLECT 655.87/658.75 c rational objective 550 676.80/679.75 c #Conflicts: 227000 | #Constraints: 123960 676.80/679.75 c #Conflicts: 228000 | #Constraints: 124960 676.80/679.75 c #Conflicts: 229000 | #Constraints: 125960 676.80/679.75 c #Conflicts: 230000 | #Constraints: 126960 676.80/679.75 c #Conflicts: 231000 | #Constraints: 127960 676.80/679.75 c #Conflicts: 232000 | #Constraints: 128960 676.80/679.75 c #Conflicts: 233000 | #Constraints: 129960 676.80/679.75 c #Conflicts: 234000 | #Constraints: 130960 676.80/679.75 c #Conflicts: 235000 | #Constraints: 131960 676.80/679.75 c #Conflicts: 236000 | #Constraints: 132960 676.80/679.75 c INPROCESSING 676.80/679.75 c GARBAGE COLLECT 676.80/679.75 c rational objective 550 697.16/700.19 c #Conflicts: 237000 | #Constraints: 124341 697.16/700.19 c #Conflicts: 238000 | #Constraints: 125341 697.16/700.19 c #Conflicts: 239000 | #Constraints: 126341 697.16/700.19 c #Conflicts: 240000 | #Constraints: 127341 697.16/700.19 c #Conflicts: 241000 | #Constraints: 128341 697.16/700.19 c #Conflicts: 242000 | #Constraints: 129341 697.16/700.19 c #Conflicts: 243000 | #Constraints: 130341 697.16/700.19 c #Conflicts: 244000 | #Constraints: 131341 697.16/700.19 c #Conflicts: 245000 | #Constraints: 132341 697.16/700.19 c #Conflicts: 246000 | #Constraints: 133341 697.16/700.19 c INPROCESSING 697.16/700.19 c GARBAGE COLLECT 697.16/700.19 c rational objective 550 726.87/729.94 c #Conflicts: 247000 | #Constraints: 124539 726.87/729.94 c #Conflicts: 248000 | #Constraints: 125539 726.87/729.94 c #Conflicts: 249000 | #Constraints: 126539 726.87/729.94 c #Conflicts: 250000 | #Constraints: 127539 726.87/729.94 c #Conflicts: 251000 | #Constraints: 128539 726.87/729.94 c #Conflicts: 252000 | #Constraints: 129539 726.87/729.94 c #Conflicts: 253000 | #Constraints: 130539 726.87/729.94 c #Conflicts: 254000 | #Constraints: 131539 726.87/729.94 c #Conflicts: 255000 | #Constraints: 132539 726.87/729.94 c #Conflicts: 256000 | #Constraints: 133539 726.87/729.94 c INPROCESSING 726.87/729.94 c GARBAGE COLLECT 726.87/729.94 c rational objective 550 741.03/744.12 c #Conflicts: 257000 | #Constraints: 124537 741.03/744.12 c #Conflicts: 258000 | #Constraints: 125537 741.03/744.12 c #Conflicts: 259000 | #Constraints: 126537 741.03/744.12 c #Conflicts: 260000 | #Constraints: 127537 741.03/744.12 c #Conflicts: 261000 | #Constraints: 128537 741.03/744.12 c #Conflicts: 262000 | #Constraints: 129537 741.03/744.12 c #Conflicts: 263000 | #Constraints: 130537 741.03/744.12 c #Conflicts: 264000 | #Constraints: 131537 741.03/744.12 c #Conflicts: 265000 | #Constraints: 132537 741.03/744.12 c #Conflicts: 266000 | #Constraints: 133537 741.03/744.12 c INPROCESSING 741.03/744.12 c GARBAGE COLLECT 741.03/744.12 c rational objective 550 770.45/773.69 c #Conflicts: 267000 | #Constraints: 124340 770.45/773.69 c #Conflicts: 268000 | #Constraints: 125340 770.45/773.69 c #Conflicts: 269000 | #Constraints: 126340 770.45/773.69 c #Conflicts: 270000 | #Constraints: 127340 770.45/773.69 c #Conflicts: 271000 | #Constraints: 128340 770.45/773.69 c #Conflicts: 272000 | #Constraints: 129340 770.45/773.69 c #Conflicts: 273000 | #Constraints: 130340 770.45/773.69 c #Conflicts: 274000 | #Constraints: 131340 770.45/773.69 c #Conflicts: 275000 | #Constraints: 132340 770.45/773.69 c #Conflicts: 276000 | #Constraints: 133340 770.45/773.69 c #Conflicts: 277000 | #Constraints: 134340 770.45/773.69 c INPROCESSING 770.45/773.69 c GARBAGE COLLECT 770.45/773.69 c rational objective 550 789.98/793.26 c #Conflicts: 278000 | #Constraints: 124937 789.98/793.26 c #Conflicts: 279000 | #Constraints: 125937 789.98/793.26 c #Conflicts: 280000 | #Constraints: 126937 789.98/793.26 c #Conflicts: 281000 | #Constraints: 127937 789.98/793.26 c #Conflicts: 282000 | #Constraints: 128937 789.98/793.26 c #Conflicts: 283000 | #Constraints: 129937 789.98/793.26 c #Conflicts: 284000 | #Constraints: 130937 789.98/793.26 c #Conflicts: 285000 | #Constraints: 131937 789.98/793.26 c #Conflicts: 286000 | #Constraints: 132937 789.98/793.26 c #Conflicts: 287000 | #Constraints: 133937 789.98/793.26 c #Conflicts: 288000 | #Constraints: 134937 789.98/793.26 c INPROCESSING 789.98/793.26 c GARBAGE COLLECT 789.98/793.26 c rational objective 550 819.81/823.13 c #Conflicts: 289000 | #Constraints: 125334 819.81/823.13 c #Conflicts: 290000 | #Constraints: 126334 819.81/823.13 c #Conflicts: 291000 | #Constraints: 127334 819.81/823.13 c #Conflicts: 292000 | #Constraints: 128334 819.81/823.13 c #Conflicts: 293000 | #Constraints: 129334 819.81/823.13 c #Conflicts: 294000 | #Constraints: 130334 819.81/823.13 c #Conflicts: 295000 | #Constraints: 131334 819.81/823.13 c #Conflicts: 296000 | #Constraints: 132334 819.81/823.13 c #Conflicts: 297000 | #Constraints: 133334 819.81/823.13 c #Conflicts: 298000 | #Constraints: 134334 819.81/823.13 c #Conflicts: 299000 | #Constraints: 135334 819.81/823.13 c INPROCESSING 819.81/823.13 c GARBAGE COLLECT 819.81/823.13 c rational objective 550 836.66/840.08 c #Conflicts: 300000 | #Constraints: 125533 836.66/840.08 c #Conflicts: 301000 | #Constraints: 126533 836.66/840.08 c #Conflicts: 302000 | #Constraints: 127533 836.66/840.08 c #Conflicts: 303000 | #Constraints: 128533 836.66/840.08 c #Conflicts: 304000 | #Constraints: 129533 836.66/840.08 c #Conflicts: 305000 | #Constraints: 130533 836.66/840.08 c #Conflicts: 306000 | #Constraints: 131533 836.66/840.08 c #Conflicts: 307000 | #Constraints: 132533 836.66/840.08 c #Conflicts: 308000 | #Constraints: 133533 836.66/840.08 c #Conflicts: 309000 | #Constraints: 134533 836.66/840.08 c #Conflicts: 310000 | #Constraints: 135533 836.66/840.08 c INPROCESSING 836.66/840.08 c GARBAGE COLLECT 836.66/840.08 c rational objective 550 864.29/867.78 c #Conflicts: 311000 | #Constraints: 125537 864.29/867.78 c #Conflicts: 312000 | #Constraints: 126537 864.29/867.78 c #Conflicts: 313000 | #Constraints: 127537 864.29/867.78 c #Conflicts: 314000 | #Constraints: 128537 864.29/867.78 c #Conflicts: 315000 | #Constraints: 129537 864.29/867.78 c #Conflicts: 316000 | #Constraints: 130537 864.29/867.78 c #Conflicts: 317000 | #Constraints: 131537 864.29/867.78 c #Conflicts: 318000 | #Constraints: 132537 864.29/867.78 c #Conflicts: 319000 | #Constraints: 133537 864.29/867.78 c #Conflicts: 320000 | #Constraints: 134537 864.29/867.78 c #Conflicts: 321000 | #Constraints: 135537 864.29/867.78 c INPROCESSING 864.29/867.78 c GARBAGE COLLECT 864.29/867.78 c rational objective 550 882.93/886.43 c #Conflicts: 322000 | #Constraints: 125340 882.93/886.43 c #Conflicts: 323000 | #Constraints: 126340 882.93/886.43 c #Conflicts: 324000 | #Constraints: 127340 882.93/886.43 c #Conflicts: 325000 | #Constraints: 128340 882.93/886.43 c #Conflicts: 326000 | #Constraints: 129340 882.93/886.43 c #Conflicts: 327000 | #Constraints: 130340 882.93/886.43 c #Conflicts: 328000 | #Constraints: 131340 882.93/886.43 c #Conflicts: 329000 | #Constraints: 132340 882.93/886.43 c #Conflicts: 330000 | #Constraints: 133340 882.93/886.43 c #Conflicts: 331000 | #Constraints: 134340 882.93/886.43 c #Conflicts: 332000 | #Constraints: 135340 882.93/886.43 c #Conflicts: 333000 | #Constraints: 136340 882.93/886.43 c INPROCESSING 882.93/886.43 c GARBAGE COLLECT 882.93/886.43 c rational objective 550 916.94/920.56 c #Conflicts: 334000 | #Constraints: 125962 916.94/920.56 c #Conflicts: 335000 | #Constraints: 126962 916.94/920.56 c #Conflicts: 336000 | #Constraints: 127962 916.94/920.56 c #Conflicts: 337000 | #Constraints: 128962 916.94/920.56 c #Conflicts: 338000 | #Constraints: 129962 916.94/920.56 c #Conflicts: 339000 | #Constraints: 130962 916.94/920.56 c #Conflicts: 340000 | #Constraints: 131962 916.94/920.56 c #Conflicts: 341000 | #Constraints: 132962 916.94/920.56 c #Conflicts: 342000 | #Constraints: 133962 916.94/920.56 c #Conflicts: 343000 | #Constraints: 134962 916.94/920.56 c #Conflicts: 344000 | #Constraints: 135962 916.94/920.56 c #Conflicts: 345000 | #Constraints: 136962 916.94/920.56 c INPROCESSING 916.94/920.56 c GARBAGE COLLECT 916.94/920.56 c rational objective 550 943.46/947.16 c #Conflicts: 346000 | #Constraints: 126344 943.46/947.16 c #Conflicts: 347000 | #Constraints: 127344 943.46/947.16 c #Conflicts: 348000 | #Constraints: 128344 943.46/947.16 c #Conflicts: 349000 | #Constraints: 129344 943.46/947.16 c #Conflicts: 350000 | #Constraints: 130344 943.46/947.16 c #Conflicts: 351000 | #Constraints: 131344 943.46/947.16 c #Conflicts: 352000 | #Constraints: 132344 943.46/947.16 c #Conflicts: 353000 | #Constraints: 133344 943.46/947.16 c #Conflicts: 354000 | #Constraints: 134344 943.46/947.16 c #Conflicts: 355000 | #Constraints: 135344 943.46/947.16 c #Conflicts: 356000 | #Constraints: 136344 943.46/947.16 c #Conflicts: 357000 | #Constraints: 137344 943.46/947.16 c INPROCESSING 943.46/947.16 c GARBAGE COLLECT 943.46/947.16 c rational objective 550 966.00/969.70 c #Conflicts: 358000 | #Constraints: 126534 966.00/969.70 c #Conflicts: 359000 | #Constraints: 127534 966.00/969.70 c #Conflicts: 360000 | #Constraints: 128534 966.00/969.70 c #Conflicts: 361000 | #Constraints: 129534 966.00/969.70 c #Conflicts: 362000 | #Constraints: 130534 966.00/969.70 c #Conflicts: 363000 | #Constraints: 131534 966.00/969.70 c #Conflicts: 364000 | #Constraints: 132534 966.00/969.70 c #Conflicts: 365000 | #Constraints: 133534 966.00/969.70 c #Conflicts: 366000 | #Constraints: 134534 966.00/969.70 c #Conflicts: 367000 | #Constraints: 135534 966.00/969.70 c #Conflicts: 368000 | #Constraints: 136534 966.00/969.70 c #Conflicts: 369000 | #Constraints: 137534 966.00/969.70 c INPROCESSING 966.00/969.70 c GARBAGE COLLECT 966.00/969.70 c rational objective 550 996.52/1000.31 c #Conflicts: 370000 | #Constraints: 126537 996.52/1000.31 c #Conflicts: 371000 | #Constraints: 127537 996.52/1000.31 c #Conflicts: 372000 | #Constraints: 128537 996.52/1000.31 c #Conflicts: 373000 | #Constraints: 129537 996.52/1000.31 c #Conflicts: 374000 | #Constraints: 130537 996.52/1000.31 c #Conflicts: 375000 | #Constraints: 131537 996.52/1000.31 c #Conflicts: 376000 | #Constraints: 132537 996.52/1000.31 c #Conflicts: 377000 | #Constraints: 133537 996.52/1000.31 c #Conflicts: 378000 | #Constraints: 134537 996.52/1000.31 c #Conflicts: 379000 | #Constraints: 135537 996.52/1000.31 c #Conflicts: 380000 | #Constraints: 136537 996.52/1000.31 c #Conflicts: 381000 | #Constraints: 137537 996.52/1000.31 c INPROCESSING 996.52/1000.31 c GARBAGE COLLECT 996.52/1000.31 c rational objective 550 1027.03/1030.94 c #Conflicts: 382000 | #Constraints: 126327 1027.03/1030.94 c #Conflicts: 383000 | #Constraints: 127327 1027.03/1030.94 c #Conflicts: 384000 | #Constraints: 128327 1027.03/1030.94 c #Conflicts: 385000 | #Constraints: 129327 1027.03/1030.94 c #Conflicts: 386000 | #Constraints: 130327 1027.03/1030.94 c #Conflicts: 387000 | #Constraints: 131327 1027.03/1030.94 c #Conflicts: 388000 | #Constraints: 132327 1027.03/1030.94 c #Conflicts: 389000 | #Constraints: 133327 1027.03/1030.94 c #Conflicts: 390000 | #Constraints: 134327 1027.03/1030.94 c #Conflicts: 391000 | #Constraints: 135327 1027.03/1030.94 c #Conflicts: 392000 | #Constraints: 136327 1027.03/1030.94 c #Conflicts: 393000 | #Constraints: 137327 1027.03/1030.94 c #Conflicts: 394000 | #Constraints: 138327 1027.03/1030.94 c INPROCESSING 1027.03/1030.94 c GARBAGE COLLECT 1027.03/1030.94 c rational objective 550 1047.77/1051.71 c #Conflicts: 395000 | #Constraints: 126932 1047.77/1051.71 c #Conflicts: 396000 | #Constraints: 127932 1047.77/1051.71 c #Conflicts: 397000 | #Constraints: 128932 1047.77/1051.71 c #Conflicts: 398000 | #Constraints: 129932 1047.77/1051.71 c #Conflicts: 399000 | #Constraints: 130932 1047.77/1051.71 c #Conflicts: 400000 | #Constraints: 131932 1047.77/1051.71 c #Conflicts: 401000 | #Constraints: 132932 1047.77/1051.71 c #Conflicts: 402000 | #Constraints: 133932 1047.77/1051.71 c #Conflicts: 403000 | #Constraints: 134932 1047.77/1051.71 c #Conflicts: 404000 | #Constraints: 135932 1047.77/1051.71 c #Conflicts: 405000 | #Constraints: 136932 1047.77/1051.71 c #Conflicts: 406000 | #Constraints: 137932 1047.77/1051.71 c #Conflicts: 407000 | #Constraints: 138932 1047.77/1051.71 c INPROCESSING 1047.77/1051.71 c GARBAGE COLLECT 1047.77/1051.71 c rational objective 550 1077.68/1081.73 c #Conflicts: 408000 | #Constraints: 127330 1077.68/1081.73 c #Conflicts: 409000 | #Constraints: 128330 1077.68/1081.73 c #Conflicts: 410000 | #Constraints: 129330 1077.68/1081.73 c #Conflicts: 411000 | #Constraints: 130330 1077.68/1081.73 c #Conflicts: 412000 | #Constraints: 131330 1077.68/1081.73 c #Conflicts: 413000 | #Constraints: 132330 1077.68/1081.73 c #Conflicts: 414000 | #Constraints: 133330 1077.68/1081.73 c #Conflicts: 415000 | #Constraints: 134330 1077.68/1081.73 c #Conflicts: 416000 | #Constraints: 135330 1077.68/1081.73 c #Conflicts: 417000 | #Constraints: 136330 1077.68/1081.73 c #Conflicts: 418000 | #Constraints: 137330 1077.68/1081.73 c #Conflicts: 419000 | #Constraints: 138330 1077.68/1081.73 c #Conflicts: 420000 | #Constraints: 139330 1077.68/1081.73 c INPROCESSING 1077.68/1081.73 c GARBAGE COLLECT 1077.68/1081.73 c rational objective 550 1104.11/1108.22 c #Conflicts: 421000 | #Constraints: 127541 1104.11/1108.22 c #Conflicts: 422000 | #Constraints: 128541 1104.11/1108.22 c #Conflicts: 423000 | #Constraints: 129541 1104.11/1108.22 c #Conflicts: 424000 | #Constraints: 130541 1104.11/1108.22 c #Conflicts: 425000 | #Constraints: 131541 1104.11/1108.22 c #Conflicts: 426000 | #Constraints: 132541 1104.11/1108.22 c #Conflicts: 427000 | #Constraints: 133541 1104.11/1108.22 c #Conflicts: 428000 | #Constraints: 134541 1104.11/1108.22 c #Conflicts: 429000 | #Constraints: 135541 1104.11/1108.22 c #Conflicts: 430000 | #Constraints: 136541 1104.11/1108.22 c #Conflicts: 431000 | #Constraints: 137541 1104.11/1108.22 c #Conflicts: 432000 | #Constraints: 138541 1104.11/1108.22 c #Conflicts: 433000 | #Constraints: 139541 1104.11/1108.22 c INPROCESSING 1104.11/1108.22 c GARBAGE COLLECT 1104.11/1108.22 c rational objective 550 1124.36/1128.50 c #Conflicts: 434000 | #Constraints: 127544 1124.36/1128.50 c #Conflicts: 435000 | #Constraints: 128544 1124.36/1128.50 c #Conflicts: 436000 | #Constraints: 129544 1124.36/1128.50 c #Conflicts: 437000 | #Constraints: 130544 1124.36/1128.50 c #Conflicts: 438000 | #Constraints: 131544 1124.36/1128.50 c #Conflicts: 439000 | #Constraints: 132544 1124.36/1128.50 c #Conflicts: 440000 | #Constraints: 133544 1124.36/1128.50 c #Conflicts: 441000 | #Constraints: 134544 1124.36/1128.50 c #Conflicts: 442000 | #Constraints: 135544 1124.36/1128.50 c #Conflicts: 443000 | #Constraints: 136544 1124.36/1128.50 c #Conflicts: 444000 | #Constraints: 137544 1124.36/1128.50 c #Conflicts: 445000 | #Constraints: 138544 1124.36/1128.50 c #Conflicts: 446000 | #Constraints: 139544 1124.36/1128.50 c INPROCESSING 1124.36/1128.50 c GARBAGE COLLECT 1124.36/1128.50 c rational objective 550 1150.69/1154.91 c #Conflicts: 447000 | #Constraints: 127366 1150.69/1154.91 c #Conflicts: 448000 | #Constraints: 128366 1150.69/1154.91 c #Conflicts: 449000 | #Constraints: 129366 1150.69/1154.91 c #Conflicts: 450000 | #Constraints: 130366 1150.69/1154.91 c #Conflicts: 451000 | #Constraints: 131366 1150.69/1154.91 c #Conflicts: 452000 | #Constraints: 132366 1150.69/1154.91 c #Conflicts: 453000 | #Constraints: 133366 1150.69/1154.91 c #Conflicts: 454000 | #Constraints: 134366 1150.69/1154.91 c #Conflicts: 455000 | #Constraints: 135366 1150.69/1154.91 c #Conflicts: 456000 | #Constraints: 136366 1150.69/1154.91 c #Conflicts: 457000 | #Constraints: 137366 1150.69/1154.91 c #Conflicts: 458000 | #Constraints: 138366 1150.69/1154.91 c #Conflicts: 459000 | #Constraints: 139366 1150.69/1154.91 c #Conflicts: 460000 | #Constraints: 140366 1150.69/1154.91 c INPROCESSING 1150.69/1154.91 c GARBAGE COLLECT 1150.69/1154.91 c rational objective 550 1181.60/1185.94 c #Conflicts: 461000 | #Constraints: 127961 1181.60/1185.94 c #Conflicts: 462000 | #Constraints: 128961 1181.60/1185.94 c #Conflicts: 463000 | #Constraints: 129961 1181.60/1185.94 c #Conflicts: 464000 | #Constraints: 130961 1181.60/1185.94 c #Conflicts: 465000 | #Constraints: 131961 1181.60/1185.94 c #Conflicts: 466000 | #Constraints: 132961 1181.60/1185.94 c #Conflicts: 467000 | #Constraints: 133961 1181.60/1185.94 c #Conflicts: 468000 | #Constraints: 134961 1181.60/1185.94 c #Conflicts: 469000 | #Constraints: 135961 1181.60/1185.94 c #Conflicts: 470000 | #Constraints: 136961 1181.60/1185.94 c #Conflicts: 471000 | #Constraints: 137961 1181.60/1185.94 c #Conflicts: 472000 | #Constraints: 138961 1181.60/1185.94 c #Conflicts: 473000 | #Constraints: 139961 1181.60/1185.94 c #Conflicts: 474000 | #Constraints: 140961 1181.60/1185.94 c INPROCESSING 1181.60/1185.94 c GARBAGE COLLECT 1181.60/1185.94 c rational objective 550 1206.88/1211.34 c #Conflicts: 475000 | #Constraints: 128356 1206.88/1211.34 c #Conflicts: 476000 | #Constraints: 129356 1206.88/1211.34 c #Conflicts: 477000 | #Constraints: 130356 1206.88/1211.34 c #Conflicts: 478000 | #Constraints: 131356 1206.88/1211.34 c #Conflicts: 479000 | #Constraints: 132356 1206.88/1211.34 c #Conflicts: 480000 | #Constraints: 133356 1206.88/1211.34 c #Conflicts: 481000 | #Constraints: 134356 1206.88/1211.34 c #Conflicts: 482000 | #Constraints: 135356 1206.88/1211.34 c #Conflicts: 483000 | #Constraints: 136356 1206.88/1211.34 c #Conflicts: 484000 | #Constraints: 137356 1206.88/1211.34 c #Conflicts: 485000 | #Constraints: 138356 1206.88/1211.34 c #Conflicts: 486000 | #Constraints: 139356 1206.88/1211.34 c #Conflicts: 487000 | #Constraints: 140356 1206.88/1211.34 c #Conflicts: 488000 | #Constraints: 141356 1206.88/1211.34 c INPROCESSING 1206.88/1211.34 c GARBAGE COLLECT 1206.88/1211.34 c rational objective 550 1235.16/1239.79 c #Conflicts: 489000 | #Constraints: 128557 1235.16/1239.79 c #Conflicts: 490000 | #Constraints: 129557 1235.16/1239.79 c #Conflicts: 491000 | #Constraints: 130557 1235.16/1239.79 c #Conflicts: 492000 | #Constraints: 131557 1235.16/1239.79 c #Conflicts: 493000 | #Constraints: 132557 1235.16/1239.79 c #Conflicts: 494000 | #Constraints: 133557 1235.16/1239.79 c #Conflicts: 495000 | #Constraints: 134557 1235.16/1239.79 c #Conflicts: 496000 | #Constraints: 135557 1235.16/1239.79 c #Conflicts: 497000 | #Constraints: 136557 1235.16/1239.79 c #Conflicts: 498000 | #Constraints: 137557 1235.16/1239.79 c #Conflicts: 499000 | #Constraints: 138557 1235.16/1239.79 c #Conflicts: 500000 | #Constraints: 139557 1235.16/1239.79 c #Conflicts: 501000 | #Constraints: 140557 1235.16/1239.79 c #Conflicts: 502000 | #Constraints: 141557 1235.16/1239.79 c INPROCESSING 1235.16/1239.79 c GARBAGE COLLECT 1235.16/1239.79 c rational objective 550 1261.76/1266.46 c #Conflicts: 503000 | #Constraints: 128557 1261.76/1266.46 c #Conflicts: 504000 | #Constraints: 129557 1261.76/1266.46 c #Conflicts: 505000 | #Constraints: 130557 1261.76/1266.46 c #Conflicts: 506000 | #Constraints: 131557 1261.76/1266.46 c #Conflicts: 507000 | #Constraints: 132557 1261.76/1266.46 c #Conflicts: 508000 | #Constraints: 133557 1261.76/1266.46 c #Conflicts: 509000 | #Constraints: 134557 1261.76/1266.46 c #Conflicts: 510000 | #Constraints: 135557 1261.76/1266.46 c #Conflicts: 511000 | #Constraints: 136557 1261.76/1266.46 c #Conflicts: 512000 | #Constraints: 137557 1261.76/1266.46 c #Conflicts: 513000 | #Constraints: 138557 1261.76/1266.46 c #Conflicts: 514000 | #Constraints: 139557 1261.76/1266.46 c #Conflicts: 515000 | #Constraints: 140557 1261.76/1266.46 c #Conflicts: 516000 | #Constraints: 141557 1261.76/1266.46 c INPROCESSING 1261.76/1266.46 c GARBAGE COLLECT 1261.76/1266.46 c rational objective 550 1295.94/1300.75 c #Conflicts: 517000 | #Constraints: 128342 1295.94/1300.75 c #Conflicts: 518000 | #Constraints: 129342 1295.94/1300.75 c #Conflicts: 519000 | #Constraints: 130342 1295.94/1300.75 c #Conflicts: 520000 | #Constraints: 131342 1295.94/1300.75 c #Conflicts: 521000 | #Constraints: 132342 1295.94/1300.75 c #Conflicts: 522000 | #Constraints: 133342 1295.94/1300.75 c #Conflicts: 523000 | #Constraints: 134342 1295.94/1300.75 c #Conflicts: 524000 | #Constraints: 135342 1295.94/1300.75 c #Conflicts: 525000 | #Constraints: 136342 1295.94/1300.75 c #Conflicts: 526000 | #Constraints: 137342 1295.94/1300.75 c #Conflicts: 527000 | #Constraints: 138342 1295.94/1300.75 c #Conflicts: 528000 | #Constraints: 139342 1295.94/1300.75 c #Conflicts: 529000 | #Constraints: 140342 1295.94/1300.75 c #Conflicts: 530000 | #Constraints: 141342 1295.94/1300.75 c #Conflicts: 531000 | #Constraints: 142342 1295.94/1300.75 c INPROCESSING 1295.94/1300.75 c GARBAGE COLLECT 1295.94/1300.75 c rational objective 550 1334.21/1339.12 c #Conflicts: 532000 | #Constraints: 128944 1334.21/1339.12 c #Conflicts: 533000 | #Constraints: 129944 1334.21/1339.12 c #Conflicts: 534000 | #Constraints: 130944 1334.21/1339.12 c #Conflicts: 535000 | #Constraints: 131944 1334.21/1339.12 c #Conflicts: 536000 | #Constraints: 132944 1334.21/1339.12 c #Conflicts: 537000 | #Constraints: 133944 1334.21/1339.12 c #Conflicts: 538000 | #Constraints: 134944 1334.21/1339.12 c #Conflicts: 539000 | #Constraints: 135944 1334.21/1339.12 c #Conflicts: 540000 | #Constraints: 136944 1334.21/1339.12 c #Conflicts: 541000 | #Constraints: 137944 1334.21/1339.12 c #Conflicts: 542000 | #Constraints: 138944 1334.21/1339.12 c #Conflicts: 543000 | #Constraints: 139944 1334.21/1339.12 c #Conflicts: 544000 | #Constraints: 140944 1334.21/1339.12 c #Conflicts: 545000 | #Constraints: 141944 1334.21/1339.12 c #Conflicts: 546000 | #Constraints: 142944 1334.21/1339.12 c INPROCESSING 1334.21/1339.12 c GARBAGE COLLECT 1334.21/1339.12 c rational objective 550 1366.37/1371.43 c #Conflicts: 547000 | #Constraints: 129341 1366.37/1371.43 c #Conflicts: 548000 | #Constraints: 130341 1366.37/1371.43 c #Conflicts: 549000 | #Constraints: 131341 1366.37/1371.43 c #Conflicts: 550000 | #Constraints: 132341 1366.37/1371.43 c #Conflicts: 551000 | #Constraints: 133341 1366.37/1371.43 c #Conflicts: 552000 | #Constraints: 134341 1366.37/1371.43 c #Conflicts: 553000 | #Constraints: 135341 1366.37/1371.43 c #Conflicts: 554000 | #Constraints: 136341 1366.37/1371.43 c #Conflicts: 555000 | #Constraints: 137341 1366.37/1371.43 c #Conflicts: 556000 | #Constraints: 138341 1366.37/1371.43 c #Conflicts: 557000 | #Constraints: 139341 1366.37/1371.43 c #Conflicts: 558000 | #Constraints: 140341 1366.37/1371.43 c #Conflicts: 559000 | #Constraints: 141341 1366.37/1371.43 c #Conflicts: 560000 | #Constraints: 142341 1366.37/1371.43 c #Conflicts: 561000 | #Constraints: 143341 1366.37/1371.43 c INPROCESSING 1366.37/1371.43 c GARBAGE COLLECT 1366.37/1371.43 c rational objective 550 1402.99/1408.21 c #Conflicts: 562000 | #Constraints: 129529 1402.99/1408.21 c #Conflicts: 563000 | #Constraints: 130529 1402.99/1408.21 c #Conflicts: 564000 | #Constraints: 131529 1402.99/1408.21 c #Conflicts: 565000 | #Constraints: 132529 1402.99/1408.21 c #Conflicts: 566000 | #Constraints: 133529 1402.99/1408.21 c #Conflicts: 567000 | #Constraints: 134529 1402.99/1408.21 c #Conflicts: 568000 | #Constraints: 135529 1402.99/1408.21 c #Conflicts: 569000 | #Constraints: 136529 1402.99/1408.21 c #Conflicts: 570000 | #Constraints: 137529 1402.99/1408.21 c #Conflicts: 571000 | #Constraints: 138529 1402.99/1408.21 c #Conflicts: 572000 | #Constraints: 139529 1402.99/1408.21 c #Conflicts: 573000 | #Constraints: 140529 1402.99/1408.21 c #Conflicts: 574000 | #Constraints: 141529 1402.99/1408.21 c #Conflicts: 575000 | #Constraints: 142529 1402.99/1408.21 c #Conflicts: 576000 | #Constraints: 143529 1402.99/1408.21 c INPROCESSING 1402.99/1408.21 c GARBAGE COLLECT 1402.99/1408.21 c rational objective 550 1448.62/1454.01 c #Conflicts: 577000 | #Constraints: 129535 1448.62/1454.01 c #Conflicts: 578000 | #Constraints: 130535 1448.62/1454.01 c #Conflicts: 579000 | #Constraints: 131535 1448.62/1454.01 c #Conflicts: 580000 | #Constraints: 132535 1448.62/1454.01 c #Conflicts: 581000 | #Constraints: 133535 1448.62/1454.01 c #Conflicts: 582000 | #Constraints: 134535 1448.62/1454.01 c #Conflicts: 583000 | #Constraints: 135535 1448.62/1454.01 c #Conflicts: 584000 | #Constraints: 136535 1448.62/1454.01 c #Conflicts: 585000 | #Constraints: 137535 1448.62/1454.01 c #Conflicts: 586000 | #Constraints: 138535 1448.62/1454.01 c #Conflicts: 587000 | #Constraints: 139535 1448.62/1454.01 c #Conflicts: 588000 | #Constraints: 140535 1448.62/1454.01 c #Conflicts: 589000 | #Constraints: 141535 1448.62/1454.01 c #Conflicts: 590000 | #Constraints: 142535 1448.62/1454.01 c #Conflicts: 591000 | #Constraints: 143535 1448.62/1454.01 c INPROCESSING 1448.62/1454.01 c GARBAGE COLLECT 1448.62/1454.01 c rational objective 550 1470.32/1475.86 c #Conflicts: 592000 | #Constraints: 129338 1470.32/1475.86 c #Conflicts: 593000 | #Constraints: 130338 1470.32/1475.86 c #Conflicts: 594000 | #Constraints: 131338 1470.32/1475.86 c #Conflicts: 595000 | #Constraints: 132338 1470.32/1475.86 c #Conflicts: 596000 | #Constraints: 133338 1470.32/1475.86 c #Conflicts: 597000 | #Constraints: 134338 1470.32/1475.86 c #Conflicts: 598000 | #Constraints: 135338 1470.32/1475.86 c #Conflicts: 599000 | #Constraints: 136338 1470.32/1475.86 c #Conflicts: 600000 | #Constraints: 137338 1470.32/1475.86 c #Conflicts: 601000 | #Constraints: 138338 1470.32/1475.86 c #Conflicts: 602000 | #Constraints: 139338 1470.32/1475.86 c #Conflicts: 603000 | #Constraints: 140338 1470.32/1475.86 c #Conflicts: 604000 | #Constraints: 141338 1470.32/1475.86 c #Conflicts: 605000 | #Constraints: 142338 1470.32/1475.86 c #Conflicts: 606000 | #Constraints: 143338 1470.32/1475.86 c #Conflicts: 607000 | #Constraints: 144338 1470.32/1475.86 c INPROCESSING 1470.32/1475.86 c GARBAGE COLLECT 1470.32/1475.86 c rational objective 550 1499.58/1505.25 c #Conflicts: 608000 | #Constraints: 129949 1499.58/1505.25 c #Conflicts: 609000 | #Constraints: 130949 1499.58/1505.25 c #Conflicts: 610000 | #Constraints: 131949 1499.58/1505.25 c #Conflicts: 611000 | #Constraints: 132949 1499.58/1505.25 c #Conflicts: 612000 | #Constraints: 133949 1499.58/1505.25 c #Conflicts: 613000 | #Constraints: 134949 1499.58/1505.25 c #Conflicts: 614000 | #Constraints: 135949 1499.58/1505.25 c #Conflicts: 615000 | #Constraints: 136949 1499.58/1505.25 c #Conflicts: 616000 | #Constraints: 137949 1499.58/1505.25 c #Conflicts: 617000 | #Constraints: 138949 1499.58/1505.25 c #Conflicts: 618000 | #Constraints: 139949 1499.58/1505.25 c #Conflicts: 619000 | #Constraints: 140949 1499.58/1505.25 c #Conflicts: 620000 | #Constraints: 141949 1499.58/1505.25 c #Conflicts: 621000 | #Constraints: 142949 1499.58/1505.25 c #Conflicts: 622000 | #Constraints: 143949 1499.58/1505.25 c #Conflicts: 623000 | #Constraints: 144949 1499.58/1505.25 c INPROCESSING 1499.58/1505.25 c GARBAGE COLLECT 1499.58/1505.25 c rational objective 550 1538.55/1544.38 c #Conflicts: 624000 | #Constraints: 130340 1538.55/1544.38 c #Conflicts: 625000 | #Constraints: 131340 1538.55/1544.38 c #Conflicts: 626000 | #Constraints: 132340 1538.55/1544.38 c #Conflicts: 627000 | #Constraints: 133340 1538.55/1544.38 c #Conflicts: 628000 | #Constraints: 134340 1538.55/1544.38 c #Conflicts: 629000 | #Constraints: 135340 1538.55/1544.38 c #Conflicts: 630000 | #Constraints: 136340 1538.55/1544.38 c #Conflicts: 631000 | #Constraints: 137340 1538.55/1544.38 c #Conflicts: 632000 | #Constraints: 138340 1538.55/1544.38 c #Conflicts: 633000 | #Constraints: 139340 1538.55/1544.38 c #Conflicts: 634000 | #Constraints: 140340 1538.55/1544.38 c #Conflicts: 635000 | #Constraints: 141340 1538.55/1544.38 c #Conflicts: 636000 | #Constraints: 142340 1538.55/1544.38 c #Conflicts: 637000 | #Constraints: 143340 1538.55/1544.38 c #Conflicts: 638000 | #Constraints: 144340 1538.55/1544.38 c #Conflicts: 639000 | #Constraints: 145340 1538.55/1544.38 c INPROCESSING 1538.55/1544.38 c GARBAGE COLLECT 1538.55/1544.38 c rational objective 550 1574.52/1580.47 c #Conflicts: 640000 | #Constraints: 130532 1574.52/1580.47 c #Conflicts: 641000 | #Constraints: 131532 1574.52/1580.47 c #Conflicts: 642000 | #Constraints: 132532 1574.52/1580.47 c #Conflicts: 643000 | #Constraints: 133532 1574.52/1580.47 c #Conflicts: 644000 | #Constraints: 134532 1574.52/1580.47 c #Conflicts: 645000 | #Constraints: 135532 1574.52/1580.47 c #Conflicts: 646000 | #Constraints: 136532 1574.52/1580.47 c #Conflicts: 647000 | #Constraints: 137532 1574.52/1580.47 c #Conflicts: 648000 | #Constraints: 138532 1574.52/1580.47 c #Conflicts: 649000 | #Constraints: 139532 1574.52/1580.47 c #Conflicts: 650000 | #Constraints: 140532 1574.52/1580.47 c #Conflicts: 651000 | #Constraints: 141532 1574.52/1580.47 c #Conflicts: 652000 | #Constraints: 142532 1574.52/1580.47 c #Conflicts: 653000 | #Constraints: 143532 1574.52/1580.47 c #Conflicts: 654000 | #Constraints: 144532 1574.52/1580.47 c #Conflicts: 655000 | #Constraints: 145532 1574.52/1580.47 c INPROCESSING 1574.52/1580.47 c GARBAGE COLLECT 1574.52/1580.47 c rational objective 550 1624.95/1631.07 c #Conflicts: 656000 | #Constraints: 130541 1624.95/1631.07 c #Conflicts: 657000 | #Constraints: 131541 1624.95/1631.07 c #Conflicts: 658000 | #Constraints: 132541 1624.95/1631.07 c #Conflicts: 659000 | #Constraints: 133541 1624.95/1631.07 c #Conflicts: 660000 | #Constraints: 134541 1624.95/1631.07 c #Conflicts: 661000 | #Constraints: 135541 1624.95/1631.07 c #Conflicts: 662000 | #Constraints: 136541 1624.95/1631.07 c #Conflicts: 663000 | #Constraints: 137541 1624.95/1631.07 c #Conflicts: 664000 | #Constraints: 138541 1624.95/1631.07 c #Conflicts: 665000 | #Constraints: 139541 1624.95/1631.07 c #Conflicts: 666000 | #Constraints: 140541 1624.95/1631.07 c #Conflicts: 667000 | #Constraints: 141541 1624.95/1631.07 c #Conflicts: 668000 | #Constraints: 142541 1624.95/1631.07 c #Conflicts: 669000 | #Constraints: 143541 1624.95/1631.07 c #Conflicts: 670000 | #Constraints: 144541 1624.95/1631.07 c #Conflicts: 671000 | #Constraints: 145541 1624.95/1631.07 c INPROCESSING 1624.95/1631.07 c GARBAGE COLLECT 1624.95/1631.07 c rational objective 550 1654.32/1660.53 c #Conflicts: 672000 | #Constraints: 130334 1654.32/1660.53 c #Conflicts: 673000 | #Constraints: 131334 1654.32/1660.53 c #Conflicts: 674000 | #Constraints: 132334 1654.32/1660.53 c #Conflicts: 675000 | #Constraints: 133334 1654.32/1660.53 c #Conflicts: 676000 | #Constraints: 134334 1654.32/1660.53 c #Conflicts: 677000 | #Constraints: 135334 1654.32/1660.53 c #Conflicts: 678000 | #Constraints: 136334 1654.32/1660.53 c #Conflicts: 679000 | #Constraints: 137334 1654.32/1660.53 c #Conflicts: 680000 | #Constraints: 138334 1654.32/1660.53 c #Conflicts: 681000 | #Constraints: 139334 1654.32/1660.53 c #Conflicts: 682000 | #Constraints: 140334 1654.32/1660.53 c #Conflicts: 683000 | #Constraints: 141334 1654.32/1660.53 c #Conflicts: 684000 | #Constraints: 142334 1654.32/1660.53 c #Conflicts: 685000 | #Constraints: 143334 1654.32/1660.53 c #Conflicts: 686000 | #Constraints: 144334 1654.32/1660.53 c #Conflicts: 687000 | #Constraints: 145334 1654.32/1660.53 c #Conflicts: 688000 | #Constraints: 146334 1654.32/1660.53 c INPROCESSING 1654.32/1660.53 c GARBAGE COLLECT 1654.32/1660.53 c rational objective 550 1692.06/1698.48 c #Conflicts: 689000 | #Constraints: 130929 1692.06/1698.48 c #Conflicts: 690000 | #Constraints: 131929 1692.06/1698.48 c #Conflicts: 691000 | #Constraints: 132929 1692.06/1698.48 c #Conflicts: 692000 | #Constraints: 133929 1692.06/1698.48 c #Conflicts: 693000 | #Constraints: 134929 1692.06/1698.48 c #Conflicts: 694000 | #Constraints: 135929 1692.06/1698.48 c #Conflicts: 695000 | #Constraints: 136929 1692.06/1698.48 c #Conflicts: 696000 | #Constraints: 137929 1692.06/1698.48 c #Conflicts: 697000 | #Constraints: 138929 1692.06/1698.48 c #Conflicts: 698000 | #Constraints: 139929 1692.06/1698.48 c #Conflicts: 699000 | #Constraints: 140929 1692.06/1698.48 c #Conflicts: 700000 | #Constraints: 141929 1692.06/1698.48 c #Conflicts: 701000 | #Constraints: 142929 1692.06/1698.48 c #Conflicts: 702000 | #Constraints: 143929 1692.06/1698.48 c #Conflicts: 703000 | #Constraints: 144929 1692.06/1698.48 c #Conflicts: 704000 | #Constraints: 145929 1692.06/1698.48 c #Conflicts: 705000 | #Constraints: 146929 1692.06/1698.48 c INPROCESSING 1692.06/1698.48 c GARBAGE COLLECT 1692.06/1698.48 c rational objective 550 1727.45/1733.90 c #Conflicts: 706000 | #Constraints: 131341 1727.45/1733.90 c #Conflicts: 707000 | #Constraints: 132341 1727.45/1733.90 c #Conflicts: 708000 | #Constraints: 133341 1727.45/1733.90 c #Conflicts: 709000 | #Constraints: 134341 1727.45/1733.90 c #Conflicts: 710000 | #Constraints: 135341 1727.45/1733.90 c #Conflicts: 711000 | #Constraints: 136341 1727.45/1733.90 c #Conflicts: 712000 | #Constraints: 137341 1727.45/1733.90 c #Conflicts: 713000 | #Constraints: 138341 1727.45/1733.90 c #Conflicts: 714000 | #Constraints: 139341 1727.45/1733.90 c #Conflicts: 715000 | #Constraints: 140341 1727.45/1733.90 c #Conflicts: 716000 | #Constraints: 141341 1727.45/1733.90 c #Conflicts: 717000 | #Constraints: 142341 1727.45/1733.90 c #Conflicts: 718000 | #Constraints: 143341 1727.45/1733.90 c #Conflicts: 719000 | #Constraints: 144341 1727.45/1733.90 c #Conflicts: 720000 | #Constraints: 145341 1727.45/1733.90 c #Conflicts: 721000 | #Constraints: 146341 1727.45/1733.90 c #Conflicts: 722000 | #Constraints: 147341 1727.45/1733.90 c INPROCESSING 1727.45/1733.90 c GARBAGE COLLECT 1727.45/1733.90 c rational objective 550 1756.64/1763.23 c #Conflicts: 723000 | #Constraints: 131542 1756.64/1763.23 c #Conflicts: 724000 | #Constraints: 132542 1756.64/1763.23 c #Conflicts: 725000 | #Constraints: 133542 1756.64/1763.23 c #Conflicts: 726000 | #Constraints: 134542 1756.64/1763.23 c #Conflicts: 727000 | #Constraints: 135542 1756.64/1763.23 c #Conflicts: 728000 | #Constraints: 136542 1756.64/1763.23 c #Conflicts: 729000 | #Constraints: 137542 1756.64/1763.23 c #Conflicts: 730000 | #Constraints: 138542 1756.64/1763.23 c #Conflicts: 731000 | #Constraints: 139542 1756.64/1763.23 c #Conflicts: 732000 | #Constraints: 140542 1756.64/1763.23 c #Conflicts: 733000 | #Constraints: 141542 1756.64/1763.23 c #Conflicts: 734000 | #Constraints: 142542 1756.64/1763.23 c #Conflicts: 735000 | #Constraints: 143542 1756.64/1763.23 c #Conflicts: 736000 | #Constraints: 144542 1756.64/1763.23 c #Conflicts: 737000 | #Constraints: 145542 1756.64/1763.23 c #Conflicts: 738000 | #Constraints: 146542 1756.64/1763.23 c #Conflicts: 739000 | #Constraints: 147542 1756.64/1763.23 c INPROCESSING 1756.64/1763.23 c GARBAGE COLLECT 1756.64/1763.23 c rational objective 550 1797.00/1803.79 c #Conflicts: 740000 | #Constraints: 131556 1797.00/1803.79 c #Conflicts: 741000 | #Constraints: 132556 1797.00/1803.79 c #Conflicts: 742000 | #Constraints: 133556 1797.00/1803.79 c #Conflicts: 743000 | #Constraints: 134556 1797.00/1803.79 c #Conflicts: 744000 | #Constraints: 135556 1797.00/1803.79 c #Conflicts: 745000 | #Constraints: 136556 1797.00/1803.79 c #Conflicts: 746000 | #Constraints: 137556 1797.00/1803.79 c #Conflicts: 747000 | #Constraints: 138556 1797.00/1803.79 c #Conflicts: 748000 | #Constraints: 139556 1797.00/1803.79 c #Conflicts: 749000 | #Constraints: 140556 1797.00/1803.79 c #Conflicts: 750000 | #Constraints: 141556 1797.00/1803.79 c #Conflicts: 751000 | #Constraints: 142556 1797.00/1803.79 c #Conflicts: 752000 | #Constraints: 143556 1797.00/1803.79 c #Conflicts: 753000 | #Constraints: 144556 1797.00/1803.79 c #Conflicts: 754000 | #Constraints: 145556 1797.00/1803.79 c #Conflicts: 755000 | #Constraints: 146556 1797.00/1803.79 c #Conflicts: 756000 | #Constraints: 147556 1797.00/1803.79 c INPROCESSING 1797.00/1803.79 c GARBAGE COLLECT 1797.00/1803.79 c rational objective 550 1835.64/1842.58 c #Conflicts: 757000 | #Constraints: 131344 1835.64/1842.58 c #Conflicts: 758000 | #Constraints: 132344 1835.64/1842.58 c #Conflicts: 759000 | #Constraints: 133344 1835.64/1842.58 c #Conflicts: 760000 | #Constraints: 134344 1835.64/1842.58 c #Conflicts: 761000 | #Constraints: 135344 1835.64/1842.58 c #Conflicts: 762000 | #Constraints: 136344 1835.64/1842.58 c #Conflicts: 763000 | #Constraints: 137344 1835.64/1842.58 c #Conflicts: 764000 | #Constraints: 138344 1835.64/1842.58 c #Conflicts: 765000 | #Constraints: 139344 1835.64/1842.58 c #Conflicts: 766000 | #Constraints: 140344 1835.64/1842.58 c #Conflicts: 767000 | #Constraints: 141344 1835.64/1842.58 c #Conflicts: 768000 | #Constraints: 142344 1835.64/1842.58 c #Conflicts: 769000 | #Constraints: 143344 1835.64/1842.58 c #Conflicts: 770000 | #Constraints: 144344 1835.64/1842.58 c #Conflicts: 771000 | #Constraints: 145344 1835.64/1842.58 c #Conflicts: 772000 | #Constraints: 146344 1835.64/1842.58 c #Conflicts: 773000 | #Constraints: 147344 1835.64/1842.58 c #Conflicts: 774000 | #Constraints: 148344 1835.64/1842.58 c INPROCESSING 1835.64/1842.58 c GARBAGE COLLECT 1835.64/1842.58 c rational objective 550 1878.31/1885.32 c #Conflicts: 775000 | #Constraints: 131934 1878.31/1885.32 c #Conflicts: 776000 | #Constraints: 132934 1878.31/1885.32 c #Conflicts: 777000 | #Constraints: 133934 1878.31/1885.32 c #Conflicts: 778000 | #Constraints: 134934 1878.31/1885.32 c #Conflicts: 779000 | #Constraints: 135934 1878.31/1885.32 c #Conflicts: 780000 | #Constraints: 136934 1878.31/1885.32 c #Conflicts: 781000 | #Constraints: 137934 1878.31/1885.32 c #Conflicts: 782000 | #Constraints: 138934 1878.31/1885.32 c #Conflicts: 783000 | #Constraints: 139934 1878.31/1885.32 c #Conflicts: 784000 | #Constraints: 140934 1878.31/1885.32 c #Conflicts: 785000 | #Constraints: 141934 1878.31/1885.32 c #Conflicts: 786000 | #Constraints: 142934 1878.31/1885.32 c #Conflicts: 787000 | #Constraints: 143934 1878.31/1885.32 c #Conflicts: 788000 | #Constraints: 144934 1878.31/1885.32 c #Conflicts: 789000 | #Constraints: 145934 1878.31/1885.32 c #Conflicts: 790000 | #Constraints: 146934 1878.31/1885.32 c #Conflicts: 791000 | #Constraints: 147934 1878.31/1885.32 c #Conflicts: 792000 | #Constraints: 148934 1878.31/1885.32 c INPROCESSING 1878.31/1885.32 c GARBAGE COLLECT 1878.31/1885.32 c rational objective 550 1915.39/1922.51 c #Conflicts: 793000 | #Constraints: 132326 1915.39/1922.51 c #Conflicts: 794000 | #Constraints: 133326 1915.39/1922.51 c #Conflicts: 795000 | #Constraints: 134326 1915.39/1922.51 c #Conflicts: 796000 | #Constraints: 135326 1915.39/1922.51 c #Conflicts: 797000 | #Constraints: 136326 1915.39/1922.51 c #Conflicts: 798000 | #Constraints: 137326 1915.39/1922.51 c #Conflicts: 799000 | #Constraints: 138326 1915.39/1922.51 c #Conflicts: 800000 | #Constraints: 139326 1915.39/1922.51 c #Conflicts: 801000 | #Constraints: 140326 1915.39/1922.51 c #Conflicts: 802000 | #Constraints: 141326 1915.39/1922.51 c #Conflicts: 803000 | #Constraints: 142326 1915.39/1922.51 c #Conflicts: 804000 | #Constraints: 143326 1915.39/1922.51 c #Conflicts: 805000 | #Constraints: 144326 1915.39/1922.51 c #Conflicts: 806000 | #Constraints: 145326 1915.39/1922.51 c #Conflicts: 807000 | #Constraints: 146326 1915.39/1922.51 c #Conflicts: 808000 | #Constraints: 147326 1915.39/1922.51 c #Conflicts: 809000 | #Constraints: 148326 1915.39/1922.51 c #Conflicts: 810000 | #Constraints: 149326 1915.39/1922.51 c INPROCESSING 1915.39/1922.51 c GARBAGE COLLECT 1915.39/1922.51 c rational objective 550 1962.26/1969.54 c #Conflicts: 811000 | #Constraints: 132525 1962.26/1969.54 c #Conflicts: 812000 | #Constraints: 133525 1962.26/1969.54 c #Conflicts: 813000 | #Constraints: 134525 1962.26/1969.54 c #Conflicts: 814000 | #Constraints: 135525 1962.26/1969.54 c #Conflicts: 815000 | #Constraints: 136525 1962.26/1969.54 c #Conflicts: 816000 | #Constraints: 137525 1962.26/1969.54 c #Conflicts: 817000 | #Constraints: 138525 1962.26/1969.54 c #Conflicts: 818000 | #Constraints: 139525 1962.26/1969.54 c #Conflicts: 819000 | #Constraints: 140525 1962.26/1969.54 c #Conflicts: 820000 | #Constraints: 141525 1962.26/1969.54 c #Conflicts: 821000 | #Constraints: 142525 1962.26/1969.54 c #Conflicts: 822000 | #Constraints: 143525 1962.26/1969.54 c #Conflicts: 823000 | #Constraints: 144525 1962.26/1969.54 c #Conflicts: 824000 | #Constraints: 145525 1962.26/1969.54 c #Conflicts: 825000 | #Constraints: 146525 1962.26/1969.54 c #Conflicts: 826000 | #Constraints: 147525 1962.26/1969.54 c #Conflicts: 827000 | #Constraints: 148525 1962.26/1969.54 c #Conflicts: 828000 | #Constraints: 149525 1962.26/1969.54 c INPROCESSING 1962.26/1969.54 c GARBAGE COLLECT 1962.26/1969.54 c rational objective 550 2005.98/2013.44 c #Conflicts: 829000 | #Constraints: 132533 2005.98/2013.44 c #Conflicts: 830000 | #Constraints: 133533 2005.98/2013.44 c #Conflicts: 831000 | #Constraints: 134533 2005.98/2013.44 c #Conflicts: 832000 | #Constraints: 135533 2005.98/2013.44 c #Conflicts: 833000 | #Constraints: 136533 2005.98/2013.44 c #Conflicts: 834000 | #Constraints: 137533 2005.98/2013.44 c #Conflicts: 835000 | #Constraints: 138533 2005.98/2013.44 c #Conflicts: 836000 | #Constraints: 139533 2005.98/2013.44 c #Conflicts: 837000 | #Constraints: 140533 2005.98/2013.44 c #Conflicts: 838000 | #Constraints: 141533 2005.98/2013.44 c #Conflicts: 839000 | #Constraints: 142533 2005.98/2013.44 c #Conflicts: 840000 | #Constraints: 143533 2005.98/2013.44 c #Conflicts: 841000 | #Constraints: 144533 2005.98/2013.44 c #Conflicts: 842000 | #Constraints: 145533 2005.98/2013.44 c #Conflicts: 843000 | #Constraints: 146533 2005.98/2013.44 c #Conflicts: 844000 | #Constraints: 147533 2005.98/2013.44 c #Conflicts: 845000 | #Constraints: 148533 2005.98/2013.44 c #Conflicts: 846000 | #Constraints: 149533 2005.98/2013.44 c INPROCESSING 2005.98/2013.44 c GARBAGE COLLECT 2005.98/2013.44 c rational objective 550 2048.34/2055.90 c #Conflicts: 847000 | #Constraints: 132330 2048.34/2055.90 c #Conflicts: 848000 | #Constraints: 133330 2048.34/2055.90 c #Conflicts: 849000 | #Constraints: 134330 2048.34/2055.90 c #Conflicts: 850000 | #Constraints: 135330 2048.34/2055.90 c #Conflicts: 851000 | #Constraints: 136330 2048.34/2055.90 c #Conflicts: 852000 | #Constraints: 137330 2048.34/2055.90 c #Conflicts: 853000 | #Constraints: 138330 2048.34/2055.90 c #Conflicts: 854000 | #Constraints: 139330 2048.34/2055.90 c #Conflicts: 855000 | #Constraints: 140330 2048.34/2055.90 c #Conflicts: 856000 | #Constraints: 141330 2048.34/2055.90 c #Conflicts: 857000 | #Constraints: 142330 2048.34/2055.90 c #Conflicts: 858000 | #Constraints: 143330 2048.34/2055.90 c #Conflicts: 859000 | #Constraints: 144330 2048.34/2055.90 c #Conflicts: 860000 | #Constraints: 145330 2048.34/2055.90 c #Conflicts: 861000 | #Constraints: 146330 2048.34/2055.90 c #Conflicts: 862000 | #Constraints: 147330 2048.34/2055.90 c #Conflicts: 863000 | #Constraints: 148330 2048.34/2055.90 c #Conflicts: 864000 | #Constraints: 149330 2048.34/2055.90 c #Conflicts: 865000 | #Constraints: 150330 2048.34/2055.90 c INPROCESSING 2048.34/2055.90 c GARBAGE COLLECT 2048.34/2055.90 c rational objective 550 2085.90/2093.68 c #Conflicts: 866000 | #Constraints: 132936 2085.90/2093.68 c #Conflicts: 867000 | #Constraints: 133936 2085.90/2093.68 c #Conflicts: 868000 | #Constraints: 134936 2085.90/2093.68 c #Conflicts: 869000 | #Constraints: 135936 2085.90/2093.68 c #Conflicts: 870000 | #Constraints: 136936 2085.90/2093.68 c #Conflicts: 871000 | #Constraints: 137936 2085.90/2093.68 c #Conflicts: 872000 | #Constraints: 138936 2085.90/2093.68 c #Conflicts: 873000 | #Constraints: 139936 2085.90/2093.68 c #Conflicts: 874000 | #Constraints: 140936 2085.90/2093.68 c #Conflicts: 875000 | #Constraints: 141936 2085.90/2093.68 c #Conflicts: 876000 | #Constraints: 142936 2085.90/2093.68 c #Conflicts: 877000 | #Constraints: 143936 2085.90/2093.68 c #Conflicts: 878000 | #Constraints: 144936 2085.90/2093.68 c #Conflicts: 879000 | #Constraints: 145936 2085.90/2093.68 c #Conflicts: 880000 | #Constraints: 146936 2085.90/2093.68 c #Conflicts: 881000 | #Constraints: 147936 2085.90/2093.68 c #Conflicts: 882000 | #Constraints: 148936 2085.90/2093.68 c #Conflicts: 883000 | #Constraints: 149936 2085.90/2093.68 c #Conflicts: 884000 | #Constraints: 150936 2085.90/2093.68 c INPROCESSING 2085.90/2093.68 c GARBAGE COLLECT 2085.90/2093.68 c rational objective 550 2133.72/2141.60 c #Conflicts: 885000 | #Constraints: 133341 2133.72/2141.60 c #Conflicts: 886000 | #Constraints: 134341 2133.72/2141.60 c #Conflicts: 887000 | #Constraints: 135341 2133.72/2141.60 c #Conflicts: 888000 | #Constraints: 136341 2133.72/2141.60 c #Conflicts: 889000 | #Constraints: 137341 2133.72/2141.60 c #Conflicts: 890000 | #Constraints: 138341 2133.72/2141.60 c #Conflicts: 891000 | #Constraints: 139341 2133.72/2141.60 c #Conflicts: 892000 | #Constraints: 140341 2133.72/2141.60 c #Conflicts: 893000 | #Constraints: 141341 2133.72/2141.60 c #Conflicts: 894000 | #Constraints: 142341 2133.72/2141.60 c #Conflicts: 895000 | #Constraints: 143341 2133.72/2141.60 c #Conflicts: 896000 | #Constraints: 144341 2133.72/2141.60 c #Conflicts: 897000 | #Constraints: 145341 2133.72/2141.60 c #Conflicts: 898000 | #Constraints: 146341 2133.72/2141.60 c #Conflicts: 899000 | #Constraints: 147341 2133.72/2141.60 c #Conflicts: 900000 | #Constraints: 148341 2133.72/2141.60 c #Conflicts: 901000 | #Constraints: 149341 2133.72/2141.60 c #Conflicts: 902000 | #Constraints: 150341 2133.72/2141.60 c #Conflicts: 903000 | #Constraints: 151341 2133.72/2141.60 c INPROCESSING 2133.72/2141.60 c GARBAGE COLLECT 2133.72/2141.60 c rational objective 550 2179.48/2187.50 c #Conflicts: 904000 | #Constraints: 133533 2179.48/2187.50 c #Conflicts: 905000 | #Constraints: 134533 2179.48/2187.50 c #Conflicts: 906000 | #Constraints: 135533 2179.48/2187.50 c #Conflicts: 907000 | #Constraints: 136533 2179.48/2187.50 c #Conflicts: 908000 | #Constraints: 137533 2179.48/2187.50 c #Conflicts: 909000 | #Constraints: 138533 2179.48/2187.50 c #Conflicts: 910000 | #Constraints: 139533 2179.48/2187.50 c #Conflicts: 911000 | #Constraints: 140533 2179.48/2187.50 c #Conflicts: 912000 | #Constraints: 141533 2179.48/2187.50 c #Conflicts: 913000 | #Constraints: 142533 2179.48/2187.50 c #Conflicts: 914000 | #Constraints: 143533 2179.48/2187.50 c #Conflicts: 915000 | #Constraints: 144533 2179.48/2187.50 c #Conflicts: 916000 | #Constraints: 145533 2179.48/2187.50 c #Conflicts: 917000 | #Constraints: 146533 2179.48/2187.50 c #Conflicts: 918000 | #Constraints: 147533 2179.48/2187.50 c #Conflicts: 919000 | #Constraints: 148533 2179.48/2187.50 c #Conflicts: 920000 | #Constraints: 149533 2179.48/2187.50 c #Conflicts: 921000 | #Constraints: 150533 2179.48/2187.50 c #Conflicts: 922000 | #Constraints: 151533 2179.48/2187.50 c INPROCESSING 2179.48/2187.50 c GARBAGE COLLECT 2179.48/2187.50 c rational objective 550 2213.37/2221.53 c #Conflicts: 923000 | #Constraints: 133535 2213.37/2221.53 c #Conflicts: 924000 | #Constraints: 134535 2213.37/2221.53 c #Conflicts: 925000 | #Constraints: 135535 2213.37/2221.53 c #Conflicts: 926000 | #Constraints: 136535 2213.37/2221.53 c #Conflicts: 927000 | #Constraints: 137535 2213.37/2221.53 c #Conflicts: 928000 | #Constraints: 138535 2213.37/2221.53 c #Conflicts: 929000 | #Constraints: 139535 2213.37/2221.53 c #Conflicts: 930000 | #Constraints: 140535 2213.37/2221.53 c #Conflicts: 931000 | #Constraints: 141535 2213.37/2221.53 c #Conflicts: 932000 | #Constraints: 142535 2213.37/2221.53 c #Conflicts: 933000 | #Constraints: 143535 2213.37/2221.53 c #Conflicts: 934000 | #Constraints: 144535 2213.37/2221.53 c #Conflicts: 935000 | #Constraints: 145535 2213.37/2221.53 c #Conflicts: 936000 | #Constraints: 146535 2213.37/2221.53 c #Conflicts: 937000 | #Constraints: 147535 2213.37/2221.53 c #Conflicts: 938000 | #Constraints: 148535 2213.37/2221.53 c #Conflicts: 939000 | #Constraints: 149535 2213.37/2221.53 c #Conflicts: 940000 | #Constraints: 150535 2213.37/2221.53 c #Conflicts: 941000 | #Constraints: 151535 2213.37/2221.53 c INPROCESSING 2213.37/2221.53 c GARBAGE COLLECT 2213.37/2221.53 c rational objective 550 2249.92/2258.25 c #Conflicts: 942000 | #Constraints: 133354 2249.92/2258.25 c #Conflicts: 943000 | #Constraints: 134354 2249.92/2258.25 c #Conflicts: 944000 | #Constraints: 135354 2249.92/2258.25 c #Conflicts: 945000 | #Constraints: 136354 2249.92/2258.25 c #Conflicts: 946000 | #Constraints: 137354 2249.92/2258.25 c #Conflicts: 947000 | #Constraints: 138354 2249.92/2258.25 c #Conflicts: 948000 | #Constraints: 139354 2249.92/2258.25 c #Conflicts: 949000 | #Constraints: 140354 2249.92/2258.25 c #Conflicts: 950000 | #Constraints: 141354 2249.92/2258.25 c #Conflicts: 951000 | #Constraints: 142354 2249.92/2258.25 c #Conflicts: 952000 | #Constraints: 143354 2249.92/2258.25 c #Conflicts: 953000 | #Constraints: 144354 2249.92/2258.25 c #Conflicts: 954000 | #Constraints: 145354 2249.92/2258.25 c #Conflicts: 955000 | #Constraints: 146354 2249.92/2258.25 c #Conflicts: 956000 | #Constraints: 147354 2249.92/2258.25 c #Conflicts: 957000 | #Constraints: 148354 2249.92/2258.25 c #Conflicts: 958000 | #Constraints: 149354 2249.92/2258.25 c #Conflicts: 959000 | #Constraints: 150354 2249.92/2258.25 c #Conflicts: 960000 | #Constraints: 151354 2249.92/2258.25 c #Conflicts: 961000 | #Constraints: 152354 2249.92/2258.25 c INPROCESSING 2249.92/2258.25 c GARBAGE COLLECT 2249.92/2258.25 c rational objective 550 2288.80/2297.20 c #Conflicts: 962000 | #Constraints: 133960 2288.80/2297.20 c #Conflicts: 963000 | #Constraints: 134960 2288.80/2297.20 c #Conflicts: 964000 | #Constraints: 135960 2288.80/2297.20 c #Conflicts: 965000 | #Constraints: 136960 2288.80/2297.20 c #Conflicts: 966000 | #Constraints: 137960 2288.80/2297.20 c #Conflicts: 967000 | #Constraints: 138960 2288.80/2297.20 c #Conflicts: 968000 | #Constraints: 139960 2288.80/2297.20 c #Conflicts: 969000 | #Constraints: 140960 2288.80/2297.20 c #Conflicts: 970000 | #Constraints: 141960 2288.80/2297.20 c #Conflicts: 971000 | #Constraints: 142960 2288.80/2297.20 c #Conflicts: 972000 | #Constraints: 143960 2288.80/2297.20 c #Conflicts: 973000 | #Constraints: 144960 2288.80/2297.20 c #Conflicts: 974000 | #Constraints: 145960 2288.80/2297.20 c #Conflicts: 975000 | #Constraints: 146960 2288.80/2297.20 c #Conflicts: 976000 | #Constraints: 147960 2288.80/2297.20 c #Conflicts: 977000 | #Constraints: 148960 2288.80/2297.20 c #Conflicts: 978000 | #Constraints: 149960 2288.80/2297.20 c #Conflicts: 979000 | #Constraints: 150960 2288.80/2297.20 c #Conflicts: 980000 | #Constraints: 151960 2288.80/2297.20 c #Conflicts: 981000 | #Constraints: 152960 2288.80/2297.20 c INPROCESSING 2288.80/2297.20 c GARBAGE COLLECT 2288.80/2297.20 c rational objective 550 2326.40/2334.90 c #Conflicts: 982000 | #Constraints: 134362 2326.40/2334.90 c #Conflicts: 983000 | #Constraints: 135362 2326.40/2334.90 c #Conflicts: 984000 | #Constraints: 136362 2326.40/2334.90 c #Conflicts: 985000 | #Constraints: 137362 2326.40/2334.90 c #Conflicts: 986000 | #Constraints: 138362 2326.40/2334.90 c #Conflicts: 987000 | #Constraints: 139362 2326.40/2334.90 c #Conflicts: 988000 | #Constraints: 140362 2326.40/2334.90 c #Conflicts: 989000 | #Constraints: 141362 2326.40/2334.90 c #Conflicts: 990000 | #Constraints: 142362 2326.40/2334.90 c #Conflicts: 991000 | #Constraints: 143362 2326.40/2334.90 c #Conflicts: 992000 | #Constraints: 144362 2326.40/2334.90 c #Conflicts: 993000 | #Constraints: 145362 2326.40/2334.90 c #Conflicts: 994000 | #Constraints: 146362 2326.40/2334.90 c #Conflicts: 995000 | #Constraints: 147362 2326.40/2334.90 c #Conflicts: 996000 | #Constraints: 148362 2326.40/2334.90 c #Conflicts: 997000 | #Constraints: 149362 2326.40/2334.90 c #Conflicts: 998000 | #Constraints: 150362 2326.40/2334.90 c #Conflicts: 999000 | #Constraints: 151362 2326.40/2334.90 c #Conflicts: 1000000 | #Constraints: 152362 2326.40/2334.90 c #Conflicts: 1001000 | #Constraints: 153362 2326.40/2334.90 c INPROCESSING 2326.40/2334.90 c GARBAGE COLLECT 2326.40/2334.90 c rational objective 550 2360.09/2368.73 c #Conflicts: 1002000 | #Constraints: 134574 2360.09/2368.73 c #Conflicts: 1003000 | #Constraints: 135574 2360.09/2368.73 c #Conflicts: 1004000 | #Constraints: 136574 2360.09/2368.73 c #Conflicts: 1005000 | #Constraints: 137574 2360.09/2368.73 c #Conflicts: 1006000 | #Constraints: 138574 2360.09/2368.73 c #Conflicts: 1007000 | #Constraints: 139574 2360.09/2368.73 c #Conflicts: 1008000 | #Constraints: 140574 2360.09/2368.73 c #Conflicts: 1009000 | #Constraints: 141574 2360.09/2368.73 c #Conflicts: 1010000 | #Constraints: 142574 2360.09/2368.73 c #Conflicts: 1011000 | #Constraints: 143574 2360.09/2368.73 c #Conflicts: 1012000 | #Constraints: 144574 2360.09/2368.73 c #Conflicts: 1013000 | #Constraints: 145574 2360.09/2368.73 c #Conflicts: 1014000 | #Constraints: 146574 2360.09/2368.73 c #Conflicts: 1015000 | #Constraints: 147574 2360.09/2368.73 c #Conflicts: 1016000 | #Constraints: 148574 2360.09/2368.73 c #Conflicts: 1017000 | #Constraints: 149574 2360.09/2368.73 c #Conflicts: 1018000 | #Constraints: 150574 2360.09/2368.73 c #Conflicts: 1019000 | #Constraints: 151574 2360.09/2368.73 c #Conflicts: 1020000 | #Constraints: 152574 2360.09/2368.73 c #Conflicts: 1021000 | #Constraints: 153574 2360.09/2368.73 c INPROCESSING 2360.09/2368.73 c GARBAGE COLLECT 2360.09/2368.73 c rational objective 550 2395.68/2404.44 c #Conflicts: 1022000 | #Constraints: 134587 2395.68/2404.44 c #Conflicts: 1023000 | #Constraints: 135587 2395.68/2404.44 c #Conflicts: 1024000 | #Constraints: 136587 2395.68/2404.44 c #Conflicts: 1025000 | #Constraints: 137587 2395.68/2404.44 c #Conflicts: 1026000 | #Constraints: 138587 2395.68/2404.44 c #Conflicts: 1027000 | #Constraints: 139587 2395.68/2404.44 c #Conflicts: 1028000 | #Constraints: 140587 2395.68/2404.44 c #Conflicts: 1029000 | #Constraints: 141587 2395.68/2404.44 c #Conflicts: 1030000 | #Constraints: 142587 2395.68/2404.44 c #Conflicts: 1031000 | #Constraints: 143587 2395.68/2404.44 c #Conflicts: 1032000 | #Constraints: 144587 2395.68/2404.44 c #Conflicts: 1033000 | #Constraints: 145587 2395.68/2404.44 c #Conflicts: 1034000 | #Constraints: 146587 2395.68/2404.44 c #Conflicts: 1035000 | #Constraints: 147587 2395.68/2404.44 c #Conflicts: 1036000 | #Constraints: 148587 2395.68/2404.44 c #Conflicts: 1037000 | #Constraints: 149587 2395.68/2404.44 c #Conflicts: 1038000 | #Constraints: 150587 2395.68/2404.44 c #Conflicts: 1039000 | #Constraints: 151587 2395.68/2404.44 c #Conflicts: 1040000 | #Constraints: 152587 2395.68/2404.44 c #Conflicts: 1041000 | #Constraints: 153587 2395.68/2404.44 c INPROCESSING 2395.68/2404.44 c GARBAGE COLLECT 2395.68/2404.44 c rational objective 550 2427.97/2436.86 c #Conflicts: 1042000 | #Constraints: 134382 2427.97/2436.86 c #Conflicts: 1043000 | #Constraints: 135382 2427.97/2436.86 c #Conflicts: 1044000 | #Constraints: 136382 2427.97/2436.86 c #Conflicts: 1045000 | #Constraints: 137382 2427.97/2436.86 c #Conflicts: 1046000 | #Constraints: 138382 2427.97/2436.86 c #Conflicts: 1047000 | #Constraints: 139382 2427.97/2436.86 c #Conflicts: 1048000 | #Constraints: 140382 2427.97/2436.86 c #Conflicts: 1049000 | #Constraints: 141382 2427.97/2436.86 c #Conflicts: 1050000 | #Constraints: 142382 2427.97/2436.86 c #Conflicts: 1051000 | #Constraints: 143382 2427.97/2436.86 c #Conflicts: 1052000 | #Constraints: 144382 2427.97/2436.86 c #Conflicts: 1053000 | #Constraints: 145382 2427.97/2436.86 c #Conflicts: 1054000 | #Constraints: 146382 2427.97/2436.86 c #Conflicts: 1055000 | #Constraints: 147382 2427.97/2436.86 c #Conflicts: 1056000 | #Constraints: 148382 2427.97/2436.86 c #Conflicts: 1057000 | #Constraints: 149382 2427.97/2436.86 c #Conflicts: 1058000 | #Constraints: 150382 2427.97/2436.86 c #Conflicts: 1059000 | #Constraints: 151382 2427.97/2436.86 c #Conflicts: 1060000 | #Constraints: 152382 2427.97/2436.86 c #Conflicts: 1061000 | #Constraints: 153382 2427.97/2436.86 c #Conflicts: 1062000 | #Constraints: 154382 2427.97/2436.86 c INPROCESSING 2427.97/2436.86 c GARBAGE COLLECT 2427.97/2436.86 c rational objective 550 2463.83/2472.82 c #Conflicts: 1063000 | #Constraints: 134983 2463.83/2472.82 c #Conflicts: 1064000 | #Constraints: 135983 2463.83/2472.82 c #Conflicts: 1065000 | #Constraints: 136983 2463.83/2472.82 c #Conflicts: 1066000 | #Constraints: 137983 2463.83/2472.82 c #Conflicts: 1067000 | #Constraints: 138983 2463.83/2472.82 c #Conflicts: 1068000 | #Constraints: 139983 2463.83/2472.82 c #Conflicts: 1069000 | #Constraints: 140983 2463.83/2472.82 c #Conflicts: 1070000 | #Constraints: 141983 2463.83/2472.82 c #Conflicts: 1071000 | #Constraints: 142983 2463.83/2472.82 c #Conflicts: 1072000 | #Constraints: 143983 2463.83/2472.82 c #Conflicts: 1073000 | #Constraints: 144983 2463.83/2472.82 c #Conflicts: 1074000 | #Constraints: 145983 2463.83/2472.82 c #Conflicts: 1075000 | #Constraints: 146983 2463.83/2472.82 c #Conflicts: 1076000 | #Constraints: 147983 2463.83/2472.82 c #Conflicts: 1077000 | #Constraints: 148983 2463.83/2472.82 c #Conflicts: 1078000 | #Constraints: 149983 2463.83/2472.82 c #Conflicts: 1079000 | #Constraints: 150983 2463.83/2472.82 c #Conflicts: 1080000 | #Constraints: 151983 2463.83/2472.82 c #Conflicts: 1081000 | #Constraints: 152983 2463.83/2472.82 c #Conflicts: 1082000 | #Constraints: 153983 2463.83/2472.82 c #Conflicts: 1083000 | #Constraints: 154983 2463.83/2472.82 c INPROCESSING 2463.83/2472.82 c GARBAGE COLLECT 2463.83/2472.82 c rational objective 550 2502.40/2511.50 c #Conflicts: 1084000 | #Constraints: 135370 2502.40/2511.50 c #Conflicts: 1085000 | #Constraints: 136370 2502.40/2511.50 c #Conflicts: 1086000 | #Constraints: 137370 2502.40/2511.50 c #Conflicts: 1087000 | #Constraints: 138370 2502.40/2511.50 c #Conflicts: 1088000 | #Constraints: 139370 2502.40/2511.50 c #Conflicts: 1089000 | #Constraints: 140370 2502.40/2511.50 c #Conflicts: 1090000 | #Constraints: 141370 2502.40/2511.50 c #Conflicts: 1091000 | #Constraints: 142370 2502.40/2511.50 c #Conflicts: 1092000 | #Constraints: 143370 2502.40/2511.50 c #Conflicts: 1093000 | #Constraints: 144370 2502.40/2511.50 c #Conflicts: 1094000 | #Constraints: 145370 2502.40/2511.50 c #Conflicts: 1095000 | #Constraints: 146370 2502.40/2511.50 c #Conflicts: 1096000 | #Constraints: 147370 2502.40/2511.50 c #Conflicts: 1097000 | #Constraints: 148370 2502.40/2511.50 c #Conflicts: 1098000 | #Constraints: 149370 2502.40/2511.50 c #Conflicts: 1099000 | #Constraints: 150370 2502.40/2511.50 c #Conflicts: 1100000 | #Constraints: 151370 2502.40/2511.50 c #Conflicts: 1101000 | #Constraints: 152370 2502.40/2511.50 c #Conflicts: 1102000 | #Constraints: 153370 2502.40/2511.50 c #Conflicts: 1103000 | #Constraints: 154370 2502.40/2511.50 c #Conflicts: 1104000 | #Constraints: 155370 2502.40/2511.50 c INPROCESSING 2502.40/2511.50 c GARBAGE COLLECT 2502.40/2511.50 c rational objective 550 2543.68/2552.93 c #Conflicts: 1105000 | #Constraints: 135581 2543.68/2552.93 c #Conflicts: 1106000 | #Constraints: 136581 2543.68/2552.93 c #Conflicts: 1107000 | #Constraints: 137581 2543.68/2552.93 c #Conflicts: 1108000 | #Constraints: 138581 2543.68/2552.93 c #Conflicts: 1109000 | #Constraints: 139581 2543.68/2552.93 c #Conflicts: 1110000 | #Constraints: 140581 2543.68/2552.93 c #Conflicts: 1111000 | #Constraints: 141581 2543.68/2552.93 c #Conflicts: 1112000 | #Constraints: 142581 2543.68/2552.93 c #Conflicts: 1113000 | #Constraints: 143581 2543.68/2552.93 c #Conflicts: 1114000 | #Constraints: 144581 2543.68/2552.93 c #Conflicts: 1115000 | #Constraints: 145581 2543.68/2552.93 c #Conflicts: 1116000 | #Constraints: 146581 2543.68/2552.93 c #Conflicts: 1117000 | #Constraints: 147581 2543.68/2552.93 c #Conflicts: 1118000 | #Constraints: 148581 2543.68/2552.93 c #Conflicts: 1119000 | #Constraints: 149581 2543.68/2552.93 c #Conflicts: 1120000 | #Constraints: 150581 2543.68/2552.93 c #Conflicts: 1121000 | #Constraints: 151581 2543.68/2552.93 c #Conflicts: 1122000 | #Constraints: 152581 2543.68/2552.93 c #Conflicts: 1123000 | #Constraints: 153581 2543.68/2552.93 c #Conflicts: 1124000 | #Constraints: 154581 2543.68/2552.93 c #Conflicts: 1125000 | #Constraints: 155581 2543.68/2552.93 c INPROCESSING 2543.68/2552.93 c GARBAGE COLLECT 2543.68/2552.93 c rational objective 550 2596.40/2605.84 c #Conflicts: 1126000 | #Constraints: 135579 2596.40/2605.84 c #Conflicts: 1127000 | #Constraints: 136579 2596.40/2605.84 c #Conflicts: 1128000 | #Constraints: 137579 2596.40/2605.84 c #Conflicts: 1129000 | #Constraints: 138579 2596.40/2605.84 c #Conflicts: 1130000 | #Constraints: 139579 2596.40/2605.84 c #Conflicts: 1131000 | #Constraints: 140579 2596.40/2605.84 c #Conflicts: 1132000 | #Constraints: 141579 2596.40/2605.84 c #Conflicts: 1133000 | #Constraints: 142579 2596.40/2605.84 c #Conflicts: 1134000 | #Constraints: 143579 2596.40/2605.84 c #Conflicts: 1135000 | #Constraints: 144579 2596.40/2605.84 c #Conflicts: 1136000 | #Constraints: 145579 2596.40/2605.84 c #Conflicts: 1137000 | #Constraints: 146579 2596.40/2605.84 c #Conflicts: 1138000 | #Constraints: 147579 2596.40/2605.84 c #Conflicts: 1139000 | #Constraints: 148579 2596.40/2605.84 c #Conflicts: 1140000 | #Constraints: 149579 2596.40/2605.84 c #Conflicts: 1141000 | #Constraints: 150579 2596.40/2605.84 c #Conflicts: 1142000 | #Constraints: 151579 2596.40/2605.84 c #Conflicts: 1143000 | #Constraints: 152579 2596.40/2605.84 c #Conflicts: 1144000 | #Constraints: 153579 2596.40/2605.84 c #Conflicts: 1145000 | #Constraints: 154579 2596.40/2605.84 c #Conflicts: 1146000 | #Constraints: 155579 2596.40/2605.84 c INPROCESSING 2596.40/2605.84 c GARBAGE COLLECT 2596.40/2605.84 c rational objective 550 2651.25/2660.85 c #Conflicts: 1147000 | #Constraints: 135365 2651.25/2660.85 c #Conflicts: 1148000 | #Constraints: 136365 2651.25/2660.85 c #Conflicts: 1149000 | #Constraints: 137365 2651.25/2660.85 c #Conflicts: 1150000 | #Constraints: 138365 2651.25/2660.85 c #Conflicts: 1151000 | #Constraints: 139365 2651.25/2660.85 c #Conflicts: 1152000 | #Constraints: 140365 2651.25/2660.85 c #Conflicts: 1153000 | #Constraints: 141365 2651.25/2660.85 c #Conflicts: 1154000 | #Constraints: 142365 2651.25/2660.85 c #Conflicts: 1155000 | #Constraints: 143365 2651.25/2660.85 c #Conflicts: 1156000 | #Constraints: 144365 2651.25/2660.85 c #Conflicts: 1157000 | #Constraints: 145365 2651.25/2660.85 c #Conflicts: 1158000 | #Constraints: 146365 2651.25/2660.85 c #Conflicts: 1159000 | #Constraints: 147365 2651.25/2660.85 c #Conflicts: 1160000 | #Constraints: 148365 2651.25/2660.85 c #Conflicts: 1161000 | #Constraints: 149365 2651.25/2660.85 c #Conflicts: 1162000 | #Constraints: 150365 2651.25/2660.85 c #Conflicts: 1163000 | #Constraints: 151365 2651.25/2660.85 c #Conflicts: 1164000 | #Constraints: 152365 2651.25/2660.85 c #Conflicts: 1165000 | #Constraints: 153365 2651.25/2660.85 c #Conflicts: 1166000 | #Constraints: 154365 2651.25/2660.85 c #Conflicts: 1167000 | #Constraints: 155365 2651.25/2660.85 c #Conflicts: 1168000 | #Constraints: 156365 2651.25/2660.85 c INPROCESSING 2651.25/2660.85 c GARBAGE COLLECT 2651.25/2660.85 c rational objective 550 2704.92/2714.67 c #Conflicts: 1169000 | #Constraints: 135955 2704.92/2714.67 c #Conflicts: 1170000 | #Constraints: 136955 2704.92/2714.67 c #Conflicts: 1171000 | #Constraints: 137955 2704.92/2714.67 c #Conflicts: 1172000 | #Constraints: 138955 2704.92/2714.67 c #Conflicts: 1173000 | #Constraints: 139955 2704.92/2714.67 c #Conflicts: 1174000 | #Constraints: 140955 2704.92/2714.67 c #Conflicts: 1175000 | #Constraints: 141955 2704.92/2714.67 c #Conflicts: 1176000 | #Constraints: 142955 2704.92/2714.67 c #Conflicts: 1177000 | #Constraints: 143955 2704.92/2714.67 c #Conflicts: 1178000 | #Constraints: 144955 2704.92/2714.67 c #Conflicts: 1179000 | #Constraints: 145955 2704.92/2714.67 c #Conflicts: 1180000 | #Constraints: 146955 2704.92/2714.67 c #Conflicts: 1181000 | #Constraints: 147955 2704.92/2714.67 c #Conflicts: 1182000 | #Constraints: 148955 2704.92/2714.67 c #Conflicts: 1183000 | #Constraints: 149955 2704.92/2714.67 c #Conflicts: 1184000 | #Constraints: 150955 2704.92/2714.67 c #Conflicts: 1185000 | #Constraints: 151955 2704.92/2714.67 c #Conflicts: 1186000 | #Constraints: 152955 2704.92/2714.67 c #Conflicts: 1187000 | #Constraints: 153955 2704.92/2714.67 c #Conflicts: 1188000 | #Constraints: 154955 2704.92/2714.67 c #Conflicts: 1189000 | #Constraints: 155955 2704.92/2714.67 c #Conflicts: 1190000 | #Constraints: 156955 2704.92/2714.67 c INPROCESSING 2704.92/2714.67 c GARBAGE COLLECT 2704.92/2714.67 c rational objective 550 2748.63/2758.40 c #Conflicts: 1191000 | #Constraints: 136354 2748.63/2758.40 c #Conflicts: 1192000 | #Constraints: 137354 2748.63/2758.40 c #Conflicts: 1193000 | #Constraints: 138354 2748.63/2758.40 c #Conflicts: 1194000 | #Constraints: 139354 2748.63/2758.40 c #Conflicts: 1195000 | #Constraints: 140354 2748.63/2758.40 c #Conflicts: 1196000 | #Constraints: 141354 2748.63/2758.40 c #Conflicts: 1197000 | #Constraints: 142354 2748.63/2758.40 c #Conflicts: 1198000 | #Constraints: 143354 2748.63/2758.40 c #Conflicts: 1199000 | #Constraints: 144354 2748.63/2758.40 c #Conflicts: 1200000 | #Constraints: 145354 2748.63/2758.40 c #Conflicts: 1201000 | #Constraints: 146354 2748.63/2758.40 c #Conflicts: 1202000 | #Constraints: 147354 2748.63/2758.40 c #Conflicts: 1203000 | #Constraints: 148354 2748.63/2758.40 c #Conflicts: 1204000 | #Constraints: 149354 2748.63/2758.40 c #Conflicts: 1205000 | #Constraints: 150354 2748.63/2758.40 c #Conflicts: 1206000 | #Constraints: 151354 2748.63/2758.40 c #Conflicts: 1207000 | #Constraints: 152354 2748.63/2758.40 c #Conflicts: 1208000 | #Constraints: 153354 2748.63/2758.40 c #Conflicts: 1209000 | #Constraints: 154354 2748.63/2758.40 c #Conflicts: 1210000 | #Constraints: 155354 2748.63/2758.40 c #Conflicts: 1211000 | #Constraints: 156354 2748.63/2758.40 c #Conflicts: 1212000 | #Constraints: 157354 2748.63/2758.40 c INPROCESSING 2748.63/2758.40 c GARBAGE COLLECT 2748.63/2758.40 c rational objective 550 2794.92/2804.84 c #Conflicts: 1213000 | #Constraints: 136546 2794.92/2804.84 c #Conflicts: 1214000 | #Constraints: 137546 2794.92/2804.84 c #Conflicts: 1215000 | #Constraints: 138546 2794.92/2804.84 c #Conflicts: 1216000 | #Constraints: 139546 2794.92/2804.84 c #Conflicts: 1217000 | #Constraints: 140546 2794.92/2804.84 c #Conflicts: 1218000 | #Constraints: 141546 2794.92/2804.84 c #Conflicts: 1219000 | #Constraints: 142546 2794.92/2804.84 c #Conflicts: 1220000 | #Constraints: 143546 2794.92/2804.84 c #Conflicts: 1221000 | #Constraints: 144546 2794.92/2804.84 c #Conflicts: 1222000 | #Constraints: 145546 2794.92/2804.84 c #Conflicts: 1223000 | #Constraints: 146546 2794.92/2804.84 c #Conflicts: 1224000 | #Constraints: 147546 2794.92/2804.84 c #Conflicts: 1225000 | #Constraints: 148546 2794.92/2804.84 c #Conflicts: 1226000 | #Constraints: 149546 2794.92/2804.84 c #Conflicts: 1227000 | #Constraints: 150546 2794.92/2804.84 c #Conflicts: 1228000 | #Constraints: 151546 2794.92/2804.84 c #Conflicts: 1229000 | #Constraints: 152546 2794.92/2804.84 c #Conflicts: 1230000 | #Constraints: 153546 2794.92/2804.84 c #Conflicts: 1231000 | #Constraints: 154546 2794.92/2804.84 c #Conflicts: 1232000 | #Constraints: 155546 2794.92/2804.84 c #Conflicts: 1233000 | #Constraints: 156546 2794.92/2804.84 c #Conflicts: 1234000 | #Constraints: 157546 2794.92/2804.84 c INPROCESSING 2794.92/2804.84 c GARBAGE COLLECT 2794.92/2804.84 c rational objective 550 2837.13/2847.18 c #Conflicts: 1235000 | #Constraints: 136536 2837.13/2847.18 c #Conflicts: 1236000 | #Constraints: 137536 2837.13/2847.18 c #Conflicts: 1237000 | #Constraints: 138536 2837.13/2847.18 c #Conflicts: 1238000 | #Constraints: 139536 2837.13/2847.18 c #Conflicts: 1239000 | #Constraints: 140536 2837.13/2847.18 c #Conflicts: 1240000 | #Constraints: 141536 2837.13/2847.18 c #Conflicts: 1241000 | #Constraints: 142536 2837.13/2847.18 c #Conflicts: 1242000 | #Constraints: 143536 2837.13/2847.18 c #Conflicts: 1243000 | #Constraints: 144536 2837.13/2847.18 c #Conflicts: 1244000 | #Constraints: 145536 2837.13/2847.18 c #Conflicts: 1245000 | #Constraints: 146536 2837.13/2847.18 c #Conflicts: 1246000 | #Constraints: 147536 2837.13/2847.18 c #Conflicts: 1247000 | #Constraints: 148536 2837.13/2847.18 c #Conflicts: 1248000 | #Constraints: 149536 2837.13/2847.18 c #Conflicts: 1249000 | #Constraints: 150536 2837.13/2847.18 c #Conflicts: 1250000 | #Constraints: 151536 2837.13/2847.18 c #Conflicts: 1251000 | #Constraints: 152536 2837.13/2847.18 c #Conflicts: 1252000 | #Constraints: 153536 2837.13/2847.18 c #Conflicts: 1253000 | #Constraints: 154536 2837.13/2847.18 c #Conflicts: 1254000 | #Constraints: 155536 2837.13/2847.18 c #Conflicts: 1255000 | #Constraints: 156536 2837.13/2847.18 c #Conflicts: 1256000 | #Constraints: 157536 2837.13/2847.18 c INPROCESSING 2837.13/2847.18 c GARBAGE COLLECT 2837.13/2847.18 c rational objective 550 2893.60/2903.77 c #Conflicts: 1257000 | #Constraints: 136333 2893.60/2903.77 c #Conflicts: 1258000 | #Constraints: 137333 2893.60/2903.77 c #Conflicts: 1259000 | #Constraints: 138333 2893.60/2903.77 c #Conflicts: 1260000 | #Constraints: 139333 2893.60/2903.77 c #Conflicts: 1261000 | #Constraints: 140333 2893.60/2903.77 c #Conflicts: 1262000 | #Constraints: 141333 2893.60/2903.77 c #Conflicts: 1263000 | #Constraints: 142333 2893.60/2903.77 c #Conflicts: 1264000 | #Constraints: 143333 2893.60/2903.77 c #Conflicts: 1265000 | #Constraints: 144333 2893.60/2903.77 c #Conflicts: 1266000 | #Constraints: 145333 2893.60/2903.77 c #Conflicts: 1267000 | #Constraints: 146333 2893.60/2903.77 c #Conflicts: 1268000 | #Constraints: 147333 2893.60/2903.77 c #Conflicts: 1269000 | #Constraints: 148333 2893.60/2903.77 c #Conflicts: 1270000 | #Constraints: 149333 2893.60/2903.77 c #Conflicts: 1271000 | #Constraints: 150333 2893.60/2903.77 c #Conflicts: 1272000 | #Constraints: 151333 2893.60/2903.77 c #Conflicts: 1273000 | #Constraints: 152333 2893.60/2903.77 c #Conflicts: 1274000 | #Constraints: 153333 2893.60/2903.77 c #Conflicts: 1275000 | #Constraints: 154333 2893.60/2903.77 c #Conflicts: 1276000 | #Constraints: 155333 2893.60/2903.77 c #Conflicts: 1277000 | #Constraints: 156333 2893.60/2903.77 c #Conflicts: 1278000 | #Constraints: 157333 2893.60/2903.77 c #Conflicts: 1279000 | #Constraints: 158333 2893.60/2903.77 c INPROCESSING 2893.60/2903.77 c GARBAGE COLLECT 2893.60/2903.77 c rational objective 550 2943.59/2953.84 c #Conflicts: 1280000 | #Constraints: 136928 2943.59/2953.84 c #Conflicts: 1281000 | #Constraints: 137928 2943.59/2953.84 c #Conflicts: 1282000 | #Constraints: 138928 2943.59/2953.84 c #Conflicts: 1283000 | #Constraints: 139928 2943.59/2953.84 c #Conflicts: 1284000 | #Constraints: 140928 2943.59/2953.84 c #Conflicts: 1285000 | #Constraints: 141928 2943.59/2953.84 c #Conflicts: 1286000 | #Constraints: 142928 2943.59/2953.84 c #Conflicts: 1287000 | #Constraints: 143928 2943.59/2953.84 c #Conflicts: 1288000 | #Constraints: 144928 2943.59/2953.84 c #Conflicts: 1289000 | #Constraints: 145928 2943.59/2953.84 c #Conflicts: 1290000 | #Constraints: 146928 2943.59/2953.84 c #Conflicts: 1291000 | #Constraints: 147928 2943.59/2953.84 c #Conflicts: 1292000 | #Constraints: 148928 2943.59/2953.84 c #Conflicts: 1293000 | #Constraints: 149928 2943.59/2953.84 c #Conflicts: 1294000 | #Constraints: 150928 2943.59/2953.84 c #Conflicts: 1295000 | #Constraints: 151928 2943.59/2953.84 c #Conflicts: 1296000 | #Constraints: 152928 2943.59/2953.84 c #Conflicts: 1297000 | #Constraints: 153928 2943.59/2953.84 c #Conflicts: 1298000 | #Constraints: 154928 2943.59/2953.84 c #Conflicts: 1299000 | #Constraints: 155928 2943.59/2953.84 c #Conflicts: 1300000 | #Constraints: 156928 2943.59/2953.84 c #Conflicts: 1301000 | #Constraints: 157928 2943.59/2953.84 c #Conflicts: 1302000 | #Constraints: 158928 2943.59/2953.84 c INPROCESSING 2943.59/2953.84 c GARBAGE COLLECT 2943.59/2953.84 c rational objective 550 2995.27/3005.62 c #Conflicts: 1303000 | #Constraints: 137336 2995.27/3005.62 c #Conflicts: 1304000 | #Constraints: 138336 2995.27/3005.62 c #Conflicts: 1305000 | #Constraints: 139336 2995.27/3005.62 c #Conflicts: 1306000 | #Constraints: 140336 2995.27/3005.62 c #Conflicts: 1307000 | #Constraints: 141336 2995.27/3005.62 c #Conflicts: 1308000 | #Constraints: 142336 2995.27/3005.62 c #Conflicts: 1309000 | #Constraints: 143336 2995.27/3005.62 c #Conflicts: 1310000 | #Constraints: 144336 2995.27/3005.62 c #Conflicts: 1311000 | #Constraints: 145336 2995.27/3005.62 c #Conflicts: 1312000 | #Constraints: 146336 2995.27/3005.62 c #Conflicts: 1313000 | #Constraints: 147336 2995.27/3005.62 c #Conflicts: 1314000 | #Constraints: 148336 2995.27/3005.62 c #Conflicts: 1315000 | #Constraints: 149336 2995.27/3005.62 c #Conflicts: 1316000 | #Constraints: 150336 2995.27/3005.62 c #Conflicts: 1317000 | #Constraints: 151336 2995.27/3005.62 c #Conflicts: 1318000 | #Constraints: 152336 2995.27/3005.62 c #Conflicts: 1319000 | #Constraints: 153336 2995.27/3005.62 c #Conflicts: 1320000 | #Constraints: 154336 2995.27/3005.62 c #Conflicts: 1321000 | #Constraints: 155336 2995.27/3005.62 c #Conflicts: 1322000 | #Constraints: 156336 2995.27/3005.62 c #Conflicts: 1323000 | #Constraints: 157336 2995.27/3005.62 c #Conflicts: 1324000 | #Constraints: 158336 2995.27/3005.62 c #Conflicts: 1325000 | #Constraints: 159336 2995.27/3005.62 c INPROCESSING 2995.27/3005.62 c GARBAGE COLLECT 2995.27/3005.62 c rational objective 550 3034.19/3044.65 c #Conflicts: 1326000 | #Constraints: 137551 3034.19/3044.65 c #Conflicts: 1327000 | #Constraints: 138551 3034.19/3044.65 c #Conflicts: 1328000 | #Constraints: 139551 3034.19/3044.65 c #Conflicts: 1329000 | #Constraints: 140551 3034.19/3044.65 c #Conflicts: 1330000 | #Constraints: 141551 3034.19/3044.65 c #Conflicts: 1331000 | #Constraints: 142551 3034.19/3044.65 c #Conflicts: 1332000 | #Constraints: 143551 3034.19/3044.65 c #Conflicts: 1333000 | #Constraints: 144551 3034.19/3044.65 c #Conflicts: 1334000 | #Constraints: 145551 3034.19/3044.65 c #Conflicts: 1335000 | #Constraints: 146551 3034.19/3044.65 c #Conflicts: 1336000 | #Constraints: 147551 3034.19/3044.65 c #Conflicts: 1337000 | #Constraints: 148551 3034.19/3044.65 c #Conflicts: 1338000 | #Constraints: 149551 3034.19/3044.65 c #Conflicts: 1339000 | #Constraints: 150551 3034.19/3044.65 c #Conflicts: 1340000 | #Constraints: 151551 3034.19/3044.65 c #Conflicts: 1341000 | #Constraints: 152551 3034.19/3044.65 c #Conflicts: 1342000 | #Constraints: 153551 3034.19/3044.65 c #Conflicts: 1343000 | #Constraints: 154551 3034.19/3044.65 c #Conflicts: 1344000 | #Constraints: 155551 3034.19/3044.65 c #Conflicts: 1345000 | #Constraints: 156551 3034.19/3044.65 c #Conflicts: 1346000 | #Constraints: 157551 3034.19/3044.65 c #Conflicts: 1347000 | #Constraints: 158551 3034.19/3044.65 c #Conflicts: 1348000 | #Constraints: 159551 3034.19/3044.65 c INPROCESSING 3034.19/3044.65 c GARBAGE COLLECT 3034.19/3044.65 c rational objective 550 3093.45/3104.07 c #Conflicts: 1349000 | #Constraints: 137554 3093.45/3104.07 c #Conflicts: 1350000 | #Constraints: 138554 3093.45/3104.07 c #Conflicts: 1351000 | #Constraints: 139554 3093.45/3104.07 c #Conflicts: 1352000 | #Constraints: 140554 3093.45/3104.07 c #Conflicts: 1353000 | #Constraints: 141554 3093.45/3104.07 c #Conflicts: 1354000 | #Constraints: 142554 3093.45/3104.07 c #Conflicts: 1355000 | #Constraints: 143554 3093.45/3104.07 c #Conflicts: 1356000 | #Constraints: 144554 3093.45/3104.07 c #Conflicts: 1357000 | #Constraints: 145554 3093.45/3104.07 c #Conflicts: 1358000 | #Constraints: 146554 3093.45/3104.07 c #Conflicts: 1359000 | #Constraints: 147554 3093.45/3104.07 c #Conflicts: 1360000 | #Constraints: 148554 3093.45/3104.07 c #Conflicts: 1361000 | #Constraints: 149554 3093.45/3104.07 c #Conflicts: 1362000 | #Constraints: 150554 3093.45/3104.07 c #Conflicts: 1363000 | #Constraints: 151554 3093.45/3104.07 c #Conflicts: 1364000 | #Constraints: 152554 3093.45/3104.07 c #Conflicts: 1365000 | #Constraints: 153554 3093.45/3104.07 c #Conflicts: 1366000 | #Constraints: 154554 3093.45/3104.07 c #Conflicts: 1367000 | #Constraints: 155554 3093.45/3104.07 c #Conflicts: 1368000 | #Constraints: 156554 3093.45/3104.07 c #Conflicts: 1369000 | #Constraints: 157554 3093.45/3104.07 c #Conflicts: 1370000 | #Constraints: 158554 3093.45/3104.07 c #Conflicts: 1371000 | #Constraints: 159554 3093.45/3104.07 c INPROCESSING 3093.45/3104.07 c GARBAGE COLLECT 3093.45/3104.07 c rational objective 550 3144.94/3155.66 c #Conflicts: 1372000 | #Constraints: 137337 3144.94/3155.66 c #Conflicts: 1373000 | #Constraints: 138337 3144.94/3155.66 c #Conflicts: 1374000 | #Constraints: 139337 3144.94/3155.66 c #Conflicts: 1375000 | #Constraints: 140337 3144.94/3155.66 c #Conflicts: 1376000 | #Constraints: 141337 3144.94/3155.66 c #Conflicts: 1377000 | #Constraints: 142337 3144.94/3155.66 c #Conflicts: 1378000 | #Constraints: 143337 3144.94/3155.66 c #Conflicts: 1379000 | #Constraints: 144337 3144.94/3155.66 c #Conflicts: 1380000 | #Constraints: 145337 3144.94/3155.66 c #Conflicts: 1381000 | #Constraints: 146337 3144.94/3155.66 c #Conflicts: 1382000 | #Constraints: 147337 3144.94/3155.66 c #Conflicts: 1383000 | #Constraints: 148337 3144.94/3155.66 c #Conflicts: 1384000 | #Constraints: 149337 3144.94/3155.66 c #Conflicts: 1385000 | #Constraints: 150337 3144.94/3155.66 c #Conflicts: 1386000 | #Constraints: 151337 3144.94/3155.66 c #Conflicts: 1387000 | #Constraints: 152337 3144.94/3155.66 c #Conflicts: 1388000 | #Constraints: 153337 3144.94/3155.66 c #Conflicts: 1389000 | #Constraints: 154337 3144.94/3155.66 c #Conflicts: 1390000 | #Constraints: 155337 3144.94/3155.66 c #Conflicts: 1391000 | #Constraints: 156337 3144.94/3155.66 c #Conflicts: 1392000 | #Constraints: 157337 3144.94/3155.66 c #Conflicts: 1393000 | #Constraints: 158337 3144.94/3155.66 c #Conflicts: 1394000 | #Constraints: 159337 3144.94/3155.66 c #Conflicts: 1395000 | #Constraints: 160337 3144.94/3155.66 c INPROCESSING 3144.94/3155.66 c GARBAGE COLLECT 3144.94/3155.66 c rational objective 550 3197.92/3208.71 c #Conflicts: 1396000 | #Constraints: 137937 3197.92/3208.71 c #Conflicts: 1397000 | #Constraints: 138937 3197.92/3208.71 c #Conflicts: 1398000 | #Constraints: 139937 3197.92/3208.71 c #Conflicts: 1399000 | #Constraints: 140937 3197.92/3208.71 c #Conflicts: 1400000 | #Constraints: 141937 3197.92/3208.71 c #Conflicts: 1401000 | #Constraints: 142937 3197.92/3208.71 c #Conflicts: 1402000 | #Constraints: 143937 3197.92/3208.71 c #Conflicts: 1403000 | #Constraints: 144937 3197.92/3208.71 c #Conflicts: 1404000 | #Constraints: 145937 3197.92/3208.71 c #Conflicts: 1405000 | #Constraints: 146937 3197.92/3208.71 c #Conflicts: 1406000 | #Constraints: 147937 3197.92/3208.71 c #Conflicts: 1407000 | #Constraints: 148937 3197.92/3208.71 c #Conflicts: 1408000 | #Constraints: 149937 3197.92/3208.71 c #Conflicts: 1409000 | #Constraints: 150937 3197.92/3208.71 c #Conflicts: 1410000 | #Constraints: 151937 3197.92/3208.71 c #Conflicts: 1411000 | #Constraints: 152937 3197.92/3208.71 c #Conflicts: 1412000 | #Constraints: 153937 3197.92/3208.71 c #Conflicts: 1413000 | #Constraints: 154937 3197.92/3208.71 c #Conflicts: 1414000 | #Constraints: 155937 3197.92/3208.71 c #Conflicts: 1415000 | #Constraints: 156937 3197.92/3208.71 c #Conflicts: 1416000 | #Constraints: 157937 3197.92/3208.71 c #Conflicts: 1417000 | #Constraints: 158937 3197.92/3208.71 c #Conflicts: 1418000 | #Constraints: 159937 3197.92/3208.71 c #Conflicts: 1419000 | #Constraints: 160937 3197.92/3208.71 c INPROCESSING 3197.92/3208.71 c GARBAGE COLLECT 3197.92/3208.71 c rational objective 550 3259.78/3270.73 c #Conflicts: 1420000 | #Constraints: 138340 3259.78/3270.73 c #Conflicts: 1421000 | #Constraints: 139340 3259.78/3270.73 c #Conflicts: 1422000 | #Constraints: 140340 3259.78/3270.73 c #Conflicts: 1423000 | #Constraints: 141340 3259.78/3270.73 c #Conflicts: 1424000 | #Constraints: 142340 3259.78/3270.73 c #Conflicts: 1425000 | #Constraints: 143340 3259.78/3270.73 c #Conflicts: 1426000 | #Constraints: 144340 3259.78/3270.73 c #Conflicts: 1427000 | #Constraints: 145340 3259.78/3270.73 c #Conflicts: 1428000 | #Constraints: 146340 3259.78/3270.73 c #Conflicts: 1429000 | #Constraints: 147340 3259.78/3270.73 c #Conflicts: 1430000 | #Constraints: 148340 3259.78/3270.73 c #Conflicts: 1431000 | #Constraints: 149340 3259.78/3270.73 c #Conflicts: 1432000 | #Constraints: 150340 3259.78/3270.73 c #Conflicts: 1433000 | #Constraints: 151340 3259.78/3270.73 c #Conflicts: 1434000 | #Constraints: 152340 3259.78/3270.73 c #Conflicts: 1435000 | #Constraints: 153340 3259.78/3270.73 c #Conflicts: 1436000 | #Constraints: 154340 3259.78/3270.73 c #Conflicts: 1437000 | #Constraints: 155340 3259.78/3270.73 c #Conflicts: 1438000 | #Constraints: 156340 3259.78/3270.73 c #Conflicts: 1439000 | #Constraints: 157340 3259.78/3270.73 c #Conflicts: 1440000 | #Constraints: 158340 3259.78/3270.73 c #Conflicts: 1441000 | #Constraints: 159340 3259.78/3270.73 c #Conflicts: 1442000 | #Constraints: 160340 3259.78/3270.73 c #Conflicts: 1443000 | #Constraints: 161340 3259.78/3270.73 c INPROCESSING 3259.78/3270.73 c GARBAGE COLLECT 3259.78/3270.73 c rational objective 550 3308.57/3319.69 c #Conflicts: 1444000 | #Constraints: 138543 3308.57/3319.69 c #Conflicts: 1445000 | #Constraints: 139543 3308.57/3319.69 c #Conflicts: 1446000 | #Constraints: 140543 3308.57/3319.69 c #Conflicts: 1447000 | #Constraints: 141543 3308.57/3319.69 c #Conflicts: 1448000 | #Constraints: 142543 3308.57/3319.69 c #Conflicts: 1449000 | #Constraints: 143543 3308.57/3319.69 c #Conflicts: 1450000 | #Constraints: 144543 3308.57/3319.69 c #Conflicts: 1451000 | #Constraints: 145543 3308.57/3319.69 c #Conflicts: 1452000 | #Constraints: 146543 3308.57/3319.69 c #Conflicts: 1453000 | #Constraints: 147543 3308.57/3319.69 c #Conflicts: 1454000 | #Constraints: 148543 3308.57/3319.69 c #Conflicts: 1455000 | #Constraints: 149543 3308.57/3319.69 c #Conflicts: 1456000 | #Constraints: 150543 3308.57/3319.69 c #Conflicts: 1457000 | #Constraints: 151543 3308.57/3319.69 c #Conflicts: 1458000 | #Constraints: 152543 3308.57/3319.69 c #Conflicts: 1459000 | #Constraints: 153543 3308.57/3319.69 c #Conflicts: 1460000 | #Constraints: 154543 3308.57/3319.69 c #Conflicts: 1461000 | #Constraints: 155543 3308.57/3319.69 c #Conflicts: 1462000 | #Constraints: 156543 3308.57/3319.69 c #Conflicts: 1463000 | #Constraints: 157543 3308.57/3319.69 c #Conflicts: 1464000 | #Constraints: 158543 3308.57/3319.69 c #Conflicts: 1465000 | #Constraints: 159543 3308.57/3319.69 c #Conflicts: 1466000 | #Constraints: 160543 3308.57/3319.69 c #Conflicts: 1467000 | #Constraints: 161543 3308.57/3319.69 c INPROCESSING 3308.57/3319.69 c GARBAGE COLLECT 3308.57/3319.69 c rational objective 550 3353.08/3364.24 c #Conflicts: 1468000 | #Constraints: 138539 3353.08/3364.24 c #Conflicts: 1469000 | #Constraints: 139539 3353.08/3364.24 c #Conflicts: 1470000 | #Constraints: 140539 3353.08/3364.24 c #Conflicts: 1471000 | #Constraints: 141539 3353.08/3364.24 c #Conflicts: 1472000 | #Constraints: 142539 3353.08/3364.24 c #Conflicts: 1473000 | #Constraints: 143539 3353.08/3364.24 c #Conflicts: 1474000 | #Constraints: 144539 3353.08/3364.24 c #Conflicts: 1475000 | #Constraints: 145539 3353.08/3364.24 c #Conflicts: 1476000 | #Constraints: 146539 3353.08/3364.24 c #Conflicts: 1477000 | #Constraints: 147539 3353.08/3364.24 c #Conflicts: 1478000 | #Constraints: 148539 3353.08/3364.24 c #Conflicts: 1479000 | #Constraints: 149539 3353.08/3364.24 c #Conflicts: 1480000 | #Constraints: 150539 3353.08/3364.24 c #Conflicts: 1481000 | #Constraints: 151539 3353.08/3364.24 c #Conflicts: 1482000 | #Constraints: 152539 3353.08/3364.24 c #Conflicts: 1483000 | #Constraints: 153539 3353.08/3364.24 c #Conflicts: 1484000 | #Constraints: 154539 3353.08/3364.24 c #Conflicts: 1485000 | #Constraints: 155539 3353.08/3364.24 c #Conflicts: 1486000 | #Constraints: 156539 3353.08/3364.24 c #Conflicts: 1487000 | #Constraints: 157539 3353.08/3364.24 c #Conflicts: 1488000 | #Constraints: 158539 3353.08/3364.24 c #Conflicts: 1489000 | #Constraints: 159539 3353.08/3364.24 c #Conflicts: 1490000 | #Constraints: 160539 3353.08/3364.24 c #Conflicts: 1491000 | #Constraints: 161539 3353.08/3364.24 c INPROCESSING 3353.08/3364.24 c GARBAGE COLLECT 3353.08/3364.24 c rational objective 550 3417.74/3429.01 c #Conflicts: 1492000 | #Constraints: 138334 3417.74/3429.01 c #Conflicts: 1493000 | #Constraints: 139334 3417.74/3429.01 c #Conflicts: 1494000 | #Constraints: 140334 3417.74/3429.01 c #Conflicts: 1495000 | #Constraints: 141334 3417.74/3429.01 c #Conflicts: 1496000 | #Constraints: 142334 3417.74/3429.01 c #Conflicts: 1497000 | #Constraints: 143334 3417.74/3429.01 c #Conflicts: 1498000 | #Constraints: 144334 3417.74/3429.01 c #Conflicts: 1499000 | #Constraints: 145334 3417.74/3429.01 c #Conflicts: 1500000 | #Constraints: 146334 3417.74/3429.01 c #Conflicts: 1501000 | #Constraints: 147334 3417.74/3429.01 c #Conflicts: 1502000 | #Constraints: 148334 3417.74/3429.01 c #Conflicts: 1503000 | #Constraints: 149334 3417.74/3429.01 c #Conflicts: 1504000 | #Constraints: 150334 3417.74/3429.01 c #Conflicts: 1505000 | #Constraints: 151334 3417.74/3429.01 c #Conflicts: 1506000 | #Constraints: 152334 3417.74/3429.01 c #Conflicts: 1507000 | #Constraints: 153334 3417.74/3429.01 c #Conflicts: 1508000 | #Constraints: 154334 3417.74/3429.01 c #Conflicts: 1509000 | #Constraints: 155334 3417.74/3429.01 c #Conflicts: 1510000 | #Constraints: 156334 3417.74/3429.01 c #Conflicts: 1511000 | #Constraints: 157334 3417.74/3429.01 c #Conflicts: 1512000 | #Constraints: 158334 3417.74/3429.01 c #Conflicts: 1513000 | #Constraints: 159334 3417.74/3429.01 c #Conflicts: 1514000 | #Constraints: 160334 3417.74/3429.01 c #Conflicts: 1515000 | #Constraints: 161334 3417.74/3429.01 c #Conflicts: 1516000 | #Constraints: 162334 3417.74/3429.01 c INPROCESSING 3417.74/3429.01 c GARBAGE COLLECT 3417.74/3429.01 c rational objective 550 3469.42/3480.85 c #Conflicts: 1517000 | #Constraints: 138930 3469.42/3480.85 c #Conflicts: 1518000 | #Constraints: 139930 3469.42/3480.85 c #Conflicts: 1519000 | #Constraints: 140930 3469.42/3480.85 c #Conflicts: 1520000 | #Constraints: 141930 3469.42/3480.85 c #Conflicts: 1521000 | #Constraints: 142930 3469.42/3480.85 c #Conflicts: 1522000 | #Constraints: 143930 3469.42/3480.85 c #Conflicts: 1523000 | #Constraints: 144930 3469.42/3480.85 c #Conflicts: 1524000 | #Constraints: 145930 3469.42/3480.85 c #Conflicts: 1525000 | #Constraints: 146930 3469.42/3480.85 c #Conflicts: 1526000 | #Constraints: 147930 3469.42/3480.85 c #Conflicts: 1527000 | #Constraints: 148930 3469.42/3480.85 c #Conflicts: 1528000 | #Constraints: 149930 3469.42/3480.85 c #Conflicts: 1529000 | #Constraints: 150930 3469.42/3480.85 c #Conflicts: 1530000 | #Constraints: 151930 3469.42/3480.85 c #Conflicts: 1531000 | #Constraints: 152930 3469.42/3480.85 c #Conflicts: 1532000 | #Constraints: 153930 3469.42/3480.85 c #Conflicts: 1533000 | #Constraints: 154930 3469.42/3480.85 c #Conflicts: 1534000 | #Constraints: 155930 3469.42/3480.85 c #Conflicts: 1535000 | #Constraints: 156930 3469.42/3480.85 c #Conflicts: 1536000 | #Constraints: 157930 3469.42/3480.85 c #Conflicts: 1537000 | #Constraints: 158930 3469.42/3480.85 c #Conflicts: 1538000 | #Constraints: 159930 3469.42/3480.85 c #Conflicts: 1539000 | #Constraints: 160930 3469.42/3480.85 c #Conflicts: 1540000 | #Constraints: 161930 3469.42/3480.85 c #Conflicts: 1541000 | #Constraints: 162930 3469.42/3480.85 c INPROCESSING 3469.42/3480.85 c GARBAGE COLLECT 3469.42/3480.85 c rational objective 550 3522.11/3533.64 c #Conflicts: 1542000 | #Constraints: 139330 3522.11/3533.64 c #Conflicts: 1543000 | #Constraints: 140330 3522.11/3533.64 c #Conflicts: 1544000 | #Constraints: 141330 3522.11/3533.64 c #Conflicts: 1545000 | #Constraints: 142330 3522.11/3533.64 c #Conflicts: 1546000 | #Constraints: 143330 3522.11/3533.64 c #Conflicts: 1547000 | #Constraints: 144330 3522.11/3533.64 c #Conflicts: 1548000 | #Constraints: 145330 3522.11/3533.64 c #Conflicts: 1549000 | #Constraints: 146330 3522.11/3533.64 c #Conflicts: 1550000 | #Constraints: 147330 3522.11/3533.64 c #Conflicts: 1551000 | #Constraints: 148330 3522.11/3533.64 c #Conflicts: 1552000 | #Constraints: 149330 3522.11/3533.64 c #Conflicts: 1553000 | #Constraints: 150330 3522.11/3533.64 c #Conflicts: 1554000 | #Constraints: 151330 3522.11/3533.64 c #Conflicts: 1555000 | #Constraints: 152330 3522.11/3533.64 c #Conflicts: 1556000 | #Constraints: 153330 3522.11/3533.64 c #Conflicts: 1557000 | #Constraints: 154330 3522.11/3533.64 c #Conflicts: 1558000 | #Constraints: 155330 3522.11/3533.64 c #Conflicts: 1559000 | #Constraints: 156330 3522.11/3533.64 c #Conflicts: 1560000 | #Constraints: 157330 3522.11/3533.64 c #Conflicts: 1561000 | #Constraints: 158330 3522.11/3533.64 c #Conflicts: 1562000 | #Constraints: 159330 3522.11/3533.64 c #Conflicts: 1563000 | #Constraints: 160330 3522.11/3533.64 c #Conflicts: 1564000 | #Constraints: 161330 3522.11/3533.64 c #Conflicts: 1565000 | #Constraints: 162330 3522.11/3533.64 c #Conflicts: 1566000 | #Constraints: 163330 3522.11/3533.64 c INPROCESSING 3522.11/3533.64 c GARBAGE COLLECT 3522.11/3533.64 c rational objective 550 3567.10/3578.76 c #Conflicts: 1567000 | #Constraints: 139542 3567.10/3578.76 c #Conflicts: 1568000 | #Constraints: 140542 3567.10/3578.76 c #Conflicts: 1569000 | #Constraints: 141542 3567.10/3578.76 c #Conflicts: 1570000 | #Constraints: 142542 3567.10/3578.76 c #Conflicts: 1571000 | #Constraints: 143542 3567.10/3578.76 c #Conflicts: 1572000 | #Constraints: 144542 3567.10/3578.76 c #Conflicts: 1573000 | #Constraints: 145542 3567.10/3578.76 c #Conflicts: 1574000 | #Constraints: 146542 3567.10/3578.76 c #Conflicts: 1575000 | #Constraints: 147542 3567.10/3578.76 c #Conflicts: 1576000 | #Constraints: 148542 3567.10/3578.76 c #Conflicts: 1577000 | #Constraints: 149542 3567.10/3578.76 c #Conflicts: 1578000 | #Constraints: 150542 3567.10/3578.76 c #Conflicts: 1579000 | #Constraints: 151542 3567.10/3578.76 c #Conflicts: 1580000 | #Constraints: 152542 3567.10/3578.76 c #Conflicts: 1581000 | #Constraints: 153542 3567.10/3578.76 c #Conflicts: 1582000 | #Constraints: 154542 3567.10/3578.76 c #Conflicts: 1583000 | #Constraints: 155542 3567.10/3578.76 c #Conflicts: 1584000 | #Constraints: 156542 3567.10/3578.76 c #Conflicts: 1585000 | #Constraints: 157542 3567.10/3578.76 c #Conflicts: 1586000 | #Constraints: 158542 3567.10/3578.76 c #Conflicts: 1587000 | #Constraints: 159542 3567.10/3578.76 c #Conflicts: 1588000 | #Constraints: 160542 3567.10/3578.76 c #Conflicts: 1589000 | #Constraints: 161542 3567.10/3578.76 c #Conflicts: 1590000 | #Constraints: 162542 3567.10/3578.76 c #Conflicts: 1591000 | #Constraints: 163542 3567.10/3578.76 c INPROCESSING 3567.10/3578.76 c GARBAGE COLLECT 3567.10/3578.76 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: 63931 MiB (60827 MiB free)
memory of node 1: 64510 MiB (25763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462908-1722344374/watcher-4462908-1722344374 -o /tmp/evaluation-result-4462908-1722344374/solver-4462908-1722344374 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462908-1722344374 --lp-cut-gomory=0 HOME/instance-4462908-1722344374.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8787, runsolver pid=8784
[startup+0.100059 s]*
/proc/loadavg: 4.19 4.19 4.09 2/262 8788
/proc/meminfo: memFree=88667988/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=37376 memory=2628 CPUtime=0 cores=4,6
/proc/8787/stat : 8787 (roundingsat) D 8784 8787 6761 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 1034502 38273024 657 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.19 4.19 4.09 2/262 8788
/proc/meminfo: memFree=88668428/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=37376 memory=2628 CPUtime=0 cores=4,6
/proc/8787/stat : 8787 (roundingsat) D 8784 8787 6761 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 1034502 38273024 657 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.305582 s]*
/proc/loadavg: 4.19 4.19 4.09 2/262 8788
/proc/meminfo: memFree=88667680/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=37376 memory=2628 CPUtime=0 cores=4,6
/proc/8787/stat : 8787 (roundingsat) D 8784 8787 6761 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 1034502 38273024 657 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.700188 s]
/proc/loadavg: 4.19 4.19 4.09 2/262 8788
/proc/meminfo: memFree=88668316/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=37376 memory=2628 CPUtime=0 cores=4,6
/proc/8787/stat : 8787 (roundingsat) D 8784 8787 6761 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 1034502 38273024 657 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+1.50019 s]
/proc/loadavg: 4.19 4.19 4.09 3/260 8788
/proc/meminfo: memFree=90209180/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=107680 memory=81132 CPUtime=0.53 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 22160 0 0 0 41 12 0 0 20 0 1 0 1034502 110264320 20283 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 26920 20283 1662 992 0 18778 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81132 KiB
[startup+3.10536 s]
/proc/loadavg: 4.17 4.18 4.09 3/255 8814
/proc/meminfo: memFree=90134172/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=107680 memory=81132 CPUtime=2.13 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 22174 0 0 0 200 13 0 0 20 0 1 0 1034502 110264320 20283 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 26920 20283 1662 992 0 18778 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81132 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 4.17 4.18 4.09 3/255 8816
/proc/meminfo: memFree=90134168/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=107680 memory=81132 CPUtime=5.31 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 22182 0 0 0 518 13 0 0 20 0 1 0 1034502 110264320 20283 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 26920 20283 1662 992 0 18778 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.18 4.09 3/250 8842
/proc/meminfo: memFree=95516776/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=121356 memory=88544 CPUtime=11.7 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 22961 0 0 0 1155 15 0 0 20 0 1 0 1034502 124268544 22136 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 30339 22136 1742 992 0 22197 0
Current children cumulated CPU time: 11.7 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 88544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.17 4.09 3/257 8958
/proc/meminfo: memFree=127765484/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=121356 memory=92300 CPUtime=24.47 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 23680 0 0 0 2430 17 0 0 20 0 1 0 1034502 124268544 23075 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 30339 23075 1742 992 0 22197 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 92300 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.16 4.09 5/262 9074
/proc/meminfo: memFree=130007340/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=125776 memory=93376 CPUtime=50.02 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 24078 0 0 0 4981 21 0 0 20 0 1 0 1034502 128794624 23344 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 31444 23344 1803 992 0 23302 0
Current children cumulated CPU time: 50.02 s
Current children cumulated vsize: 125776 KiB
Current children cumulated memory: 93376 KiB
[startup+102.3 s]
/proc/loadavg: 4.38 4.23 4.11 5/262 9146
/proc/meminfo: memFree=129478644/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=141724 memory=108112 CPUtime=101.07 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 25202 0 0 0 10078 29 0 0 20 0 1 0 1034502 145125376 27028 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 35431 27028 1803 992 0 27289 0
Current children cumulated CPU time: 101.07 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 108112 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.20 4.11 5/261 9156
/proc/meminfo: memFree=126779888/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=141724 memory=110272 CPUtime=160.91 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 25283 0 0 0 16049 42 0 0 20 0 1 0 1034502 145125376 27568 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 35431 27568 1803 992 0 27289 0
Current children cumulated CPU time: 160.91 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 110272 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.11 5/261 9166
/proc/meminfo: memFree=124056876/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=150260 memory=113868 CPUtime=220.7 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 28558 0 0 0 22001 69 0 0 20 0 1 0 1034502 153866240 28467 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 37565 28467 1803 992 0 29423 0
Current children cumulated CPU time: 220.7 s
Current children cumulated vsize: 150260 KiB
Current children cumulated memory: 113868 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.10 5/260 9179
/proc/meminfo: memFree=121494712/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=158224 memory=121448 CPUtime=280.53 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 29713 0 0 0 27958 95 0 0 20 0 1 0 1034502 162021376 30362 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 39556 30362 1803 992 0 31414 0
Current children cumulated CPU time: 280.53 s
Current children cumulated vsize: 158224 KiB
Current children cumulated memory: 121448 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/259 9189
/proc/meminfo: memFree=118710932/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=164600 memory=123256 CPUtime=340.35 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 30221 0 0 0 33931 104 0 0 20 0 1 0 1034502 168550400 30814 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 41150 30814 1803 992 0 33008 0
Current children cumulated CPU time: 340.35 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 123256 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/257 9200
/proc/meminfo: memFree=115905540/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=164600 memory=123724 CPUtime=400.18 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 30391 0 0 0 39885 133 0 0 20 0 1 0 1034502 168550400 30931 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 41150 30931 1803 992 0 33008 0
Current children cumulated CPU time: 400.18 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 123724 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/257 9210
/proc/meminfo: memFree=113335692/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=164600 memory=123832 CPUtime=460.01 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 30433 0 0 0 45845 156 0 0 20 0 1 0 1034502 168550400 30958 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/262 10442
/proc/meminfo: memFree=119871852/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3091.76 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33211 0 0 0 307769 1407 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3091.76 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/262 10452
/proc/meminfo: memFree=118875192/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3151.62 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33272 0 0 0 313730 1432 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3151.62 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.23 4.19 5/263 10464
/proc/meminfo: memFree=118247772/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3211.49 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33332 0 0 0 319692 1457 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3211.49 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.24 4.20 5/263 10475
/proc/meminfo: memFree=117774112/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3271.35 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33392 0 0 0 325654 1481 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/263 10485
/proc/meminfo: memFree=116876724/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3331.22 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33449 0 0 0 331617 1505 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3331.22 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 10877
/proc/meminfo: memFree=116474788/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3391.09 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33510 0 0 0 337583 1526 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/258 10887
/proc/meminfo: memFree=115981604/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3450.96 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33571 0 0 0 343549 1547 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/257 10899
/proc/meminfo: memFree=114922220/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=145460 CPUtime=3510.83 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33634 0 0 0 349511 1572 0 0 20 0 1 0 1034502 187330560 36365 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36365 1803 992 0 37593 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 145460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/260 11081
/proc/meminfo: memFree=114286616/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3570.7 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 355471 1599 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.21 4.17 4.17 5/260 11086
/proc/meminfo: memFree=113846460/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3600.03 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 358391 1612 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.7 s]
# the end of solver process 8787 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3585.91 s, system=16.1283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.21 4.17 4.17 5/260 11086
/proc/meminfo: memFree=113834656/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3601.13 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 358501 1612 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
[startup+3613.2 s]
/proc/loadavg: 4.19 4.16 4.17 5/260 11086
/proc/meminfo: memFree=113815104/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3601.53 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 358541 1612 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
[startup+3613.6 s]
/proc/loadavg: 4.19 4.16 4.17 5/260 11086
/proc/meminfo: memFree=113815104/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3601.92 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 358580 1612 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
[startup+3613.7 s]
/proc/loadavg: 4.19 4.16 4.17 5/260 11086
/proc/meminfo: memFree=113815104/131524592 swapFree=131071996/131071996
[pid=8787] ppid=8784 vsize=182940 memory=147508 CPUtime=3602.02 cores=4,6
/proc/8787/stat : 8787 (roundingsat) R 8784 8787 6761 0 -1 4194304 33698 0 0 0 358590 1612 0 0 20 0 1 0 1034502 187330560 36877 134679101440 4194304 8255733 140736927997456 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 42459136 140736928002910 140736928003172 140736928003172 140736928010185 0
/proc/8787/statm: 45735 36877 1803 992 0 37593 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147508 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.7
CPU time (s): 3602.03
CPU user time (s): 3585.91
CPU system time (s): 16.1283
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 182940
Max. memory (cumulated for all children) (KiB): 147508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.91
system time used= 16.1283
maximum resident set size= 147508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 977264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 3175
# summary of solver processes directly reported to runsolver:
# pid: 8787
# total CPU time (s): 3602.03
# total CPU user time (s): 3585.91
# total CPU system time (s): 16.1283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83613 second user time and 16.3487 second system time
The end
Begin job on nodeC016 at 2024-07-30 14:59:34 IDJOB=4462908 IDBENCH=147894 IDSOLVER=3089 FILE ID=nodeC016/4462908-1722344374 RUNJOBID= nodeC016-1722340763-6772 SLURM_JOB_ID= 8248979 Free space on /tmp= 890044 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462908-1722344374/watcher-4462908-1722344374 -o /tmp/evaluation-result-4462908-1722344374/solver-4462908-1722344374 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6772 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462908-1722344374 --lp-cut-gomory=0 HOME/instance-4462908-1722344374.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a RANDOM SEED=1316399505 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.262 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.751 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.022 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.171 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.124 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.770 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.078 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.108 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 88673244 kB MemAvailable: 121963812 kB Buffers: 51972 kB Cached: 34038480 kB SwapCached: 0 kB Active: 175552 kB Inactive: 42115292 kB Active(anon): 1564 kB Inactive(anon): 8220268 kB Active(file): 173988 kB Inactive(file): 33895024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 126448 kB Writeback: 0 kB AnonPages: 8200248 kB Mapped: 96408 kB Shmem: 21336 kB KReclaimable: 122720 kB Slab: 205364 kB SReclaimable: 122720 kB SUnreclaim: 82644 kB KernelStack: 4208 kB PageTables: 25880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 9521492 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 4272128 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: 266964 kB DirectMap2M: 6846464 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890052 MiB End job on nodeC016 at 2024-07-30 15:59:48