| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.69 | 3610.11 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb |
| MD5SUM | 392bb637b95a9bbde51dfdce2cdaf17a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 2.13387 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1650 |
| Total number of constraints | 113164 |
| Number of constraints which are clauses | 112614 |
| Number of constraints which are cardinality constraints (but not clauses) | 550 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 9 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.36/0.48 c #variables 1650 #constraints 113714 188.07/188.65 c #Conflicts: 1000 | #Constraints: 114713 188.07/188.65 c #Conflicts: 2000 | #Constraints: 115713 188.07/188.65 c INPROCESSING 188.07/188.65 c #Conflicts: 3000 | #Constraints: 115718 188.07/188.65 c #Conflicts: 4000 | #Constraints: 116718 188.07/188.65 c INPROCESSING 188.07/188.65 c GARBAGE COLLECT 188.07/188.65 c #Conflicts: 5000 | #Constraints: 116123 188.07/188.65 c #Conflicts: 6000 | #Constraints: 117123 188.07/188.65 c INPROCESSING 188.07/188.65 c #Conflicts: 7000 | #Constraints: 116131 188.07/188.65 c #Conflicts: 8000 | #Constraints: 117131 188.07/188.65 c #Conflicts: 9000 | #Constraints: 118131 188.07/188.65 c INPROCESSING 188.07/188.65 c GARBAGE COLLECT 188.07/188.65 c #Conflicts: 10000 | #Constraints: 116828 188.07/188.65 c #Conflicts: 11000 | #Constraints: 117828 188.07/188.65 c #Conflicts: 12000 | #Constraints: 118828 188.07/188.65 c INPROCESSING 188.07/188.65 c #Conflicts: 13000 | #Constraints: 117279 188.07/188.65 c #Conflicts: 14000 | #Constraints: 118279 188.07/188.65 c #Conflicts: 15000 | #Constraints: 119279 188.07/188.65 c INPROCESSING 188.07/188.65 c GARBAGE COLLECT 188.07/188.65 c #Conflicts: 16000 | #Constraints: 117507 188.07/188.65 c #Conflicts: 17000 | #Constraints: 118507 188.07/188.65 c #Conflicts: 18000 | #Constraints: 119507 188.07/188.65 c INPROCESSING 188.07/188.65 c GARBAGE COLLECT 188.07/188.65 c #Conflicts: 19000 | #Constraints: 117523 188.07/188.65 c #Conflicts: 20000 | #Constraints: 118523 188.07/188.65 c #Conflicts: 21000 | #Constraints: 119523 188.07/188.65 c INPROCESSING 188.07/188.65 c GARBAGE COLLECT 188.07/188.65 c rational objective 550 188.58/189.18 c #Conflicts: 22000 | #Constraints: 117324 188.58/189.18 c #Conflicts: 23000 | #Constraints: 118324 188.58/189.18 c #Conflicts: 24000 | #Constraints: 119324 188.58/189.18 c #Conflicts: 25000 | #Constraints: 120324 188.58/189.18 c INPROCESSING 188.58/189.18 c GARBAGE COLLECT 188.58/189.18 c rational objective 550 201.24/201.82 c #Conflicts: 26000 | #Constraints: 117933 201.24/201.82 c #Conflicts: 27000 | #Constraints: 118933 201.24/201.82 c #Conflicts: 28000 | #Constraints: 119933 201.24/201.82 c #Conflicts: 29000 | #Constraints: 120933 201.24/201.82 c INPROCESSING 201.24/201.82 c GARBAGE COLLECT 201.24/201.82 c rational objective 550 219.20/219.87 c #Conflicts: 30000 | #Constraints: 118328 219.20/219.87 c #Conflicts: 31000 | #Constraints: 119328 219.20/219.87 c #Conflicts: 32000 | #Constraints: 120328 219.20/219.87 c #Conflicts: 33000 | #Constraints: 121328 219.20/219.87 c INPROCESSING 219.20/219.87 c GARBAGE COLLECT 219.20/219.87 c rational objective 550 233.86/234.59 c #Conflicts: 34000 | #Constraints: 118528 233.86/234.59 c #Conflicts: 35000 | #Constraints: 119528 233.86/234.59 c #Conflicts: 36000 | #Constraints: 120528 233.86/234.59 c #Conflicts: 37000 | #Constraints: 121528 233.86/234.59 c INPROCESSING 233.86/234.59 c GARBAGE COLLECT 233.86/234.59 c rational objective 550 244.93/245.63 c #Conflicts: 38000 | #Constraints: 118542 244.93/245.63 c #Conflicts: 39000 | #Constraints: 119542 244.93/245.63 c #Conflicts: 40000 | #Constraints: 120542 244.93/245.63 c #Conflicts: 41000 | #Constraints: 121542 244.93/245.63 c INPROCESSING 244.93/245.63 c GARBAGE COLLECT 244.93/245.63 c rational objective 550 250.91/251.62 c #Conflicts: 42000 | #Constraints: 118352 250.91/251.62 c #Conflicts: 43000 | #Constraints: 119352 250.91/251.62 c #Conflicts: 44000 | #Constraints: 120352 250.91/251.62 c #Conflicts: 45000 | #Constraints: 121352 250.91/251.62 c #Conflicts: 46000 | #Constraints: 122352 250.91/251.62 c INPROCESSING 250.91/251.62 c GARBAGE COLLECT 250.91/251.62 c rational objective 550 261.88/262.61 c #Conflicts: 47000 | #Constraints: 118938 261.88/262.61 c #Conflicts: 48000 | #Constraints: 119938 261.88/262.61 c #Conflicts: 49000 | #Constraints: 120938 261.88/262.61 c #Conflicts: 50000 | #Constraints: 121938 261.88/262.61 c #Conflicts: 51000 | #Constraints: 122938 261.88/262.61 c INPROCESSING 261.88/262.61 c GARBAGE COLLECT 261.88/262.61 c rational objective 550 287.52/288.33 c #Conflicts: 52000 | #Constraints: 119338 287.52/288.33 c #Conflicts: 53000 | #Constraints: 120338 287.52/288.33 c #Conflicts: 54000 | #Constraints: 121338 287.52/288.33 c #Conflicts: 55000 | #Constraints: 122338 287.52/288.33 c #Conflicts: 56000 | #Constraints: 123338 287.52/288.33 c INPROCESSING 287.52/288.33 c GARBAGE COLLECT 287.52/288.33 c rational objective 550 288.42/289.22 c #Conflicts: 57000 | #Constraints: 119536 288.42/289.22 c #Conflicts: 58000 | #Constraints: 120536 288.42/289.22 c #Conflicts: 59000 | #Constraints: 121536 288.42/289.22 c #Conflicts: 60000 | #Constraints: 122536 288.42/289.22 c #Conflicts: 61000 | #Constraints: 123536 288.42/289.22 c INPROCESSING 288.42/289.22 c GARBAGE COLLECT 288.42/289.22 c rational objective 550 295.20/296.08 c #Conflicts: 62000 | #Constraints: 119531 295.20/296.08 c #Conflicts: 63000 | #Constraints: 120531 295.20/296.08 c #Conflicts: 64000 | #Constraints: 121531 295.20/296.08 WSVECS04 Frhs2[119]: 6 -1.00006 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[187]: 6 -1.00002 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[253]: 6 -1.00004 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[327]: 6 -1.00003 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[384]: 6 -1.00006 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[457]: 6 -1.00005 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[519]: 6 -1.0001 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[923]: 6 -1.00001 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[970]: 6 -1.00006 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1144]: 6 -1.00008 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1161]: 6 -1.00006 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1218]: 6 -1.00007 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1262]: 6 -1.0001 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1293]: 6 -1.00001 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1318]: 6 -1.00003 0 shouldn't be 295.20/296.08 WSVECS04 Frhs2[1467]: 6 -1.00009 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[243]: 6 -1.00004 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[295]: 6 -1.00005 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[315]: 6 -1.00009 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[338]: 6 -1.00003 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[418]: 6 -1.00007 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[498]: 6 -1.00008 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[619]: 6 -1.00005 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[658]: 6 -1.00007 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1102]: 6 -1.00001 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1256]: 6 -1.00008 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1339]: 6 -1.00005 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1363]: 6 -1.00005 0 shouldn't be 299.00/299.84 WSVECS04 Frhs2[1376]: 6 -1.00005 0 shouldn't be 302.98/303.85 WSVECS04 Frhs2[305]: 6 -1.00009 0 shouldn't be 310.27/311.12 WSVECS04 Frhs2[317]: 6 -1.00004 0 shouldn't be 310.27/311.12 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be 310.27/311.12 WSVECS04 Frhs2[1556]: 6 -1.00008 0 shouldn't be 320.24/321.10 WSVECS04 Frhs2[470]: 6 -1.00004 0 shouldn't be 320.24/321.10 WSVECS04 Frhs2[1041]: 6 -1.00006 0 shouldn't be 325.42/326.34 WSVECS04 Frhs2[832]: 6 -1.00007 0 shouldn't be 325.42/326.34 WSVECS04 Frhs2[1286]: 6 -1.00004 0 shouldn't be 325.42/326.34 WSVECS04 Frhs2[1374]: 6 -1.00003 0 shouldn't be 325.42/326.34 WSVECS04 Frhs2[1586]: 6 -1.00003 0 shouldn't be 365.03/366.07 c #Conflicts: 65000 | #Constraints: 122531 365.03/366.07 c #Conflicts: 66000 | #Constraints: 123531 365.03/366.07 c INPROCESSING 365.03/366.07 c GARBAGE COLLECT 365.03/366.07 c rational objective 550 383.09/384.18 c #Conflicts: 67000 | #Constraints: 119332 383.09/384.18 c #Conflicts: 68000 | #Constraints: 120332 383.09/384.18 c #Conflicts: 69000 | #Constraints: 121332 383.09/384.18 c #Conflicts: 70000 | #Constraints: 122332 383.09/384.18 c #Conflicts: 71000 | #Constraints: 123332 383.09/384.18 c #Conflicts: 72000 | #Constraints: 124332 383.09/384.18 c INPROCESSING 383.09/384.18 c GARBAGE COLLECT 383.09/384.18 c rational objective 550 383.88/384.94 c #Conflicts: 73000 | #Constraints: 119929 383.88/384.94 c #Conflicts: 74000 | #Constraints: 120929 383.88/384.94 c #Conflicts: 75000 | #Constraints: 121929 383.88/384.94 c #Conflicts: 76000 | #Constraints: 122929 383.88/384.94 c #Conflicts: 77000 | #Constraints: 123929 383.88/384.94 c #Conflicts: 78000 | #Constraints: 124929 383.88/384.94 c INPROCESSING 383.88/384.94 c GARBAGE COLLECT 383.88/384.94 c rational objective 550 384.78/385.84 c #Conflicts: 79000 | #Constraints: 120331 384.78/385.84 c #Conflicts: 80000 | #Constraints: 121331 384.78/385.84 c #Conflicts: 81000 | #Constraints: 122331 384.78/385.84 c #Conflicts: 82000 | #Constraints: 123331 384.78/385.84 c #Conflicts: 83000 | #Constraints: 124331 384.78/385.84 c #Conflicts: 84000 | #Constraints: 125331 384.78/385.84 c INPROCESSING 384.78/385.84 c GARBAGE COLLECT 384.78/385.84 c rational objective 550 385.57/386.68 c #Conflicts: 85000 | #Constraints: 120535 385.57/386.68 c #Conflicts: 86000 | #Constraints: 121535 385.57/386.68 c #Conflicts: 87000 | #Constraints: 122535 385.57/386.68 c #Conflicts: 88000 | #Constraints: 123535 385.57/386.68 c #Conflicts: 89000 | #Constraints: 124535 385.57/386.68 c #Conflicts: 90000 | #Constraints: 125535 385.57/386.68 c INPROCESSING 385.57/386.68 c GARBAGE COLLECT 385.57/386.68 c rational objective 550 399.64/400.70 c #Conflicts: 91000 | #Constraints: 120543 399.64/400.70 c #Conflicts: 92000 | #Constraints: 121543 399.64/400.70 c #Conflicts: 93000 | #Constraints: 122543 399.64/400.70 c #Conflicts: 94000 | #Constraints: 123543 399.64/400.70 c #Conflicts: 95000 | #Constraints: 124543 399.64/400.70 c #Conflicts: 96000 | #Constraints: 125543 399.64/400.70 c INPROCESSING 399.64/400.70 c GARBAGE COLLECT 399.64/400.70 c rational objective 550 410.32/411.47 c #Conflicts: 97000 | #Constraints: 120359 410.32/411.47 c #Conflicts: 98000 | #Constraints: 121359 410.32/411.47 c #Conflicts: 99000 | #Constraints: 122359 410.32/411.47 c #Conflicts: 100000 | #Constraints: 123359 410.32/411.47 c #Conflicts: 101000 | #Constraints: 124359 410.32/411.47 c #Conflicts: 102000 | #Constraints: 125359 410.32/411.47 c #Conflicts: 103000 | #Constraints: 126359 410.32/411.47 c INPROCESSING 410.32/411.47 c GARBAGE COLLECT 410.32/411.47 c rational objective 550 428.78/429.93 c #Conflicts: 104000 | #Constraints: 120940 428.78/429.93 c #Conflicts: 105000 | #Constraints: 121940 428.78/429.93 c #Conflicts: 106000 | #Constraints: 122940 428.78/429.93 c #Conflicts: 107000 | #Constraints: 123940 428.78/429.93 c #Conflicts: 108000 | #Constraints: 124940 428.78/429.93 c #Conflicts: 109000 | #Constraints: 125940 428.78/429.93 c #Conflicts: 110000 | #Constraints: 126940 428.78/429.93 c INPROCESSING 428.78/429.93 c GARBAGE COLLECT 428.78/429.93 c rational objective 550 440.04/441.25 c #Conflicts: 111000 | #Constraints: 121348 440.04/441.25 c #Conflicts: 112000 | #Constraints: 122348 440.04/441.25 c #Conflicts: 113000 | #Constraints: 123348 440.04/441.25 c #Conflicts: 114000 | #Constraints: 124348 440.04/441.25 c #Conflicts: 115000 | #Constraints: 125348 440.04/441.25 c #Conflicts: 116000 | #Constraints: 126348 440.04/441.25 c #Conflicts: 117000 | #Constraints: 127348 440.04/441.25 c INPROCESSING 440.04/441.25 c GARBAGE COLLECT 440.04/441.25 c rational objective 550 462.30/463.58 c #Conflicts: 118000 | #Constraints: 121537 462.30/463.58 c #Conflicts: 119000 | #Constraints: 122537 462.30/463.58 c #Conflicts: 120000 | #Constraints: 123537 462.30/463.58 c #Conflicts: 121000 | #Constraints: 124537 462.30/463.58 c #Conflicts: 122000 | #Constraints: 125537 462.30/463.58 c #Conflicts: 123000 | #Constraints: 126537 462.30/463.58 c #Conflicts: 124000 | #Constraints: 127537 462.30/463.58 c INPROCESSING 462.30/463.58 c GARBAGE COLLECT 462.30/463.58 c rational objective 550 477.16/478.45 c #Conflicts: 125000 | #Constraints: 121530 477.16/478.45 c #Conflicts: 126000 | #Constraints: 122530 477.16/478.45 c #Conflicts: 127000 | #Constraints: 123530 477.16/478.45 c #Conflicts: 128000 | #Constraints: 124530 477.16/478.45 c #Conflicts: 129000 | #Constraints: 125530 477.16/478.45 c #Conflicts: 130000 | #Constraints: 126530 477.16/478.45 c #Conflicts: 131000 | #Constraints: 127530 477.16/478.45 c INPROCESSING 477.16/478.45 c GARBAGE COLLECT 477.16/478.45 c rational objective 550 506.39/507.76 c #Conflicts: 132000 | #Constraints: 121325 506.39/507.76 c #Conflicts: 133000 | #Constraints: 122325 506.39/507.76 c #Conflicts: 134000 | #Constraints: 123325 506.39/507.76 c #Conflicts: 135000 | #Constraints: 124325 506.39/507.76 c #Conflicts: 136000 | #Constraints: 125325 506.39/507.76 c #Conflicts: 137000 | #Constraints: 126325 506.39/507.76 c #Conflicts: 138000 | #Constraints: 127325 506.39/507.76 c #Conflicts: 139000 | #Constraints: 128325 506.39/507.76 c INPROCESSING 506.39/507.76 c GARBAGE COLLECT 506.39/507.76 c rational objective 550 520.15/521.54 c #Conflicts: 140000 | #Constraints: 121942 520.15/521.54 c #Conflicts: 141000 | #Constraints: 122942 520.15/521.54 c #Conflicts: 142000 | #Constraints: 123942 520.15/521.54 c #Conflicts: 143000 | #Constraints: 124942 520.15/521.54 c #Conflicts: 144000 | #Constraints: 125942 520.15/521.54 c #Conflicts: 145000 | #Constraints: 126942 520.15/521.54 c #Conflicts: 146000 | #Constraints: 127942 520.15/521.54 c #Conflicts: 147000 | #Constraints: 128942 520.15/521.54 c INPROCESSING 520.15/521.54 c GARBAGE COLLECT 520.15/521.54 c rational objective 550 533.73/535.18 c #Conflicts: 148000 | #Constraints: 122357 533.73/535.18 c #Conflicts: 149000 | #Constraints: 123357 533.73/535.18 c #Conflicts: 150000 | #Constraints: 124357 533.73/535.18 c #Conflicts: 151000 | #Constraints: 125357 533.73/535.18 c #Conflicts: 152000 | #Constraints: 126357 533.73/535.18 c #Conflicts: 153000 | #Constraints: 127357 533.73/535.18 c #Conflicts: 154000 | #Constraints: 128357 533.73/535.18 c #Conflicts: 155000 | #Constraints: 129357 533.73/535.18 c INPROCESSING 533.73/535.18 c GARBAGE COLLECT 533.73/535.18 c rational objective 550 554.37/555.83 c #Conflicts: 156000 | #Constraints: 122547 554.37/555.83 c #Conflicts: 157000 | #Constraints: 123547 554.37/555.83 c #Conflicts: 158000 | #Constraints: 124547 554.37/555.83 c #Conflicts: 159000 | #Constraints: 125547 554.37/555.83 c #Conflicts: 160000 | #Constraints: 126547 554.37/555.83 c #Conflicts: 161000 | #Constraints: 127547 554.37/555.83 c #Conflicts: 162000 | #Constraints: 128547 554.37/555.83 c #Conflicts: 163000 | #Constraints: 129547 554.37/555.83 c INPROCESSING 554.37/555.83 c GARBAGE COLLECT 554.37/555.83 c rational objective 550 567.45/568.90 c #Conflicts: 164000 | #Constraints: 122544 567.45/568.90 c #Conflicts: 165000 | #Constraints: 123544 567.45/568.90 c #Conflicts: 166000 | #Constraints: 124544 567.45/568.90 c #Conflicts: 167000 | #Constraints: 125544 567.45/568.90 c #Conflicts: 168000 | #Constraints: 126544 567.45/568.90 c #Conflicts: 169000 | #Constraints: 127544 567.45/568.90 c #Conflicts: 170000 | #Constraints: 128544 567.45/568.90 c #Conflicts: 171000 | #Constraints: 129544 567.45/568.90 c INPROCESSING 567.45/568.90 c GARBAGE COLLECT 567.45/568.90 c rational objective 550 587.30/588.88 c #Conflicts: 172000 | #Constraints: 122332 587.30/588.88 c #Conflicts: 173000 | #Constraints: 123332 587.30/588.88 c #Conflicts: 174000 | #Constraints: 124332 587.30/588.88 c #Conflicts: 175000 | #Constraints: 125332 587.30/588.88 c #Conflicts: 176000 | #Constraints: 126332 587.30/588.88 c #Conflicts: 177000 | #Constraints: 127332 587.30/588.88 c #Conflicts: 178000 | #Constraints: 128332 587.30/588.88 c #Conflicts: 179000 | #Constraints: 129332 587.30/588.88 c #Conflicts: 180000 | #Constraints: 130332 587.30/588.88 c INPROCESSING 587.30/588.88 c GARBAGE COLLECT 587.30/588.88 c rational objective 550 606.26/607.84 c #Conflicts: 181000 | #Constraints: 122929 606.26/607.84 c #Conflicts: 182000 | #Constraints: 123929 606.26/607.84 c #Conflicts: 183000 | #Constraints: 124929 606.26/607.84 c #Conflicts: 184000 | #Constraints: 125929 606.26/607.84 c #Conflicts: 185000 | #Constraints: 126929 606.26/607.84 c #Conflicts: 186000 | #Constraints: 127929 606.26/607.84 c #Conflicts: 187000 | #Constraints: 128929 606.26/607.84 c #Conflicts: 188000 | #Constraints: 129929 606.26/607.84 c #Conflicts: 189000 | #Constraints: 130929 606.26/607.84 c INPROCESSING 606.26/607.84 c GARBAGE COLLECT 606.26/607.84 c rational objective 550 625.31/626.97 c #Conflicts: 190000 | #Constraints: 123331 625.31/626.97 c #Conflicts: 191000 | #Constraints: 124331 625.31/626.97 c #Conflicts: 192000 | #Constraints: 125331 625.31/626.97 c #Conflicts: 193000 | #Constraints: 126331 625.31/626.97 c #Conflicts: 194000 | #Constraints: 127331 625.31/626.97 c #Conflicts: 195000 | #Constraints: 128331 625.31/626.97 c #Conflicts: 196000 | #Constraints: 129331 625.31/626.97 c #Conflicts: 197000 | #Constraints: 130331 625.31/626.97 c #Conflicts: 198000 | #Constraints: 131331 625.31/626.97 c INPROCESSING 625.31/626.97 c GARBAGE COLLECT 625.31/626.97 c rational objective 550 640.98/642.64 c #Conflicts: 199000 | #Constraints: 123544 640.98/642.64 c #Conflicts: 200000 | #Constraints: 124544 640.98/642.64 c #Conflicts: 201000 | #Constraints: 125544 640.98/642.64 c #Conflicts: 202000 | #Constraints: 126544 640.98/642.64 c #Conflicts: 203000 | #Constraints: 127544 640.98/642.64 c #Conflicts: 204000 | #Constraints: 128544 640.98/642.64 c #Conflicts: 205000 | #Constraints: 129544 640.98/642.64 c #Conflicts: 206000 | #Constraints: 130544 640.98/642.64 c #Conflicts: 207000 | #Constraints: 131544 640.98/642.64 c INPROCESSING 640.98/642.64 c GARBAGE COLLECT 640.98/642.64 c rational objective 550 657.54/659.27 c #Conflicts: 208000 | #Constraints: 123550 657.54/659.27 c #Conflicts: 209000 | #Constraints: 124550 657.54/659.27 c #Conflicts: 210000 | #Constraints: 125550 657.54/659.27 c #Conflicts: 211000 | #Constraints: 126550 657.54/659.27 c #Conflicts: 212000 | #Constraints: 127550 657.54/659.27 c #Conflicts: 213000 | #Constraints: 128550 657.54/659.27 c #Conflicts: 214000 | #Constraints: 129550 657.54/659.27 c #Conflicts: 215000 | #Constraints: 130550 657.54/659.27 c #Conflicts: 216000 | #Constraints: 131550 657.54/659.27 c INPROCESSING 657.54/659.27 c GARBAGE COLLECT 657.54/659.27 c rational objective 550 672.21/673.99 c #Conflicts: 217000 | #Constraints: 123358 672.21/673.99 c #Conflicts: 218000 | #Constraints: 124358 672.21/673.99 c #Conflicts: 219000 | #Constraints: 125358 672.21/673.99 c #Conflicts: 220000 | #Constraints: 126358 672.21/673.99 c #Conflicts: 221000 | #Constraints: 127358 672.21/673.99 c #Conflicts: 222000 | #Constraints: 128358 672.21/673.99 c #Conflicts: 223000 | #Constraints: 129358 672.21/673.99 c #Conflicts: 224000 | #Constraints: 130358 672.21/673.99 c #Conflicts: 225000 | #Constraints: 131358 672.21/673.99 c #Conflicts: 226000 | #Constraints: 132358 672.21/673.99 c INPROCESSING 672.21/673.99 c GARBAGE COLLECT 672.21/673.99 c rational objective 550 693.16/694.92 c #Conflicts: 227000 | #Constraints: 123960 693.16/694.92 c #Conflicts: 228000 | #Constraints: 124960 693.16/694.92 c #Conflicts: 229000 | #Constraints: 125960 693.16/694.92 c #Conflicts: 230000 | #Constraints: 126960 693.16/694.92 c #Conflicts: 231000 | #Constraints: 127960 693.16/694.92 c #Conflicts: 232000 | #Constraints: 128960 693.16/694.92 c #Conflicts: 233000 | #Constraints: 129960 693.16/694.92 c #Conflicts: 234000 | #Constraints: 130960 693.16/694.92 c #Conflicts: 235000 | #Constraints: 131960 693.16/694.92 c #Conflicts: 236000 | #Constraints: 132960 693.16/694.92 c INPROCESSING 693.16/694.92 c GARBAGE COLLECT 693.16/694.92 c rational objective 550 714.01/715.80 c #Conflicts: 237000 | #Constraints: 124341 714.01/715.80 c #Conflicts: 238000 | #Constraints: 125341 714.01/715.80 c #Conflicts: 239000 | #Constraints: 126341 714.01/715.80 c #Conflicts: 240000 | #Constraints: 127341 714.01/715.80 c #Conflicts: 241000 | #Constraints: 128341 714.01/715.80 c #Conflicts: 242000 | #Constraints: 129341 714.01/715.80 c #Conflicts: 243000 | #Constraints: 130341 714.01/715.80 c #Conflicts: 244000 | #Constraints: 131341 714.01/715.80 c #Conflicts: 245000 | #Constraints: 132341 714.01/715.80 c #Conflicts: 246000 | #Constraints: 133341 714.01/715.80 c INPROCESSING 714.01/715.80 c GARBAGE COLLECT 714.01/715.80 c rational objective 550 745.72/747.66 c #Conflicts: 247000 | #Constraints: 124539 745.72/747.66 c #Conflicts: 248000 | #Constraints: 125539 745.72/747.66 c #Conflicts: 249000 | #Constraints: 126539 745.72/747.66 c #Conflicts: 250000 | #Constraints: 127539 745.72/747.66 c #Conflicts: 251000 | #Constraints: 128539 745.72/747.66 c #Conflicts: 252000 | #Constraints: 129539 745.72/747.66 c #Conflicts: 253000 | #Constraints: 130539 745.72/747.66 c #Conflicts: 254000 | #Constraints: 131539 745.72/747.66 c #Conflicts: 255000 | #Constraints: 132539 745.72/747.66 c #Conflicts: 256000 | #Constraints: 133539 745.72/747.66 c INPROCESSING 745.72/747.66 c GARBAGE COLLECT 745.72/747.66 c rational objective 550 760.79/762.79 c #Conflicts: 257000 | #Constraints: 124537 760.79/762.79 c #Conflicts: 258000 | #Constraints: 125537 760.79/762.79 c #Conflicts: 259000 | #Constraints: 126537 760.79/762.79 c #Conflicts: 260000 | #Constraints: 127537 760.79/762.79 c #Conflicts: 261000 | #Constraints: 128537 760.79/762.79 c #Conflicts: 262000 | #Constraints: 129537 760.79/762.79 c #Conflicts: 263000 | #Constraints: 130537 760.79/762.79 c #Conflicts: 264000 | #Constraints: 131537 760.79/762.79 c #Conflicts: 265000 | #Constraints: 132537 760.79/762.79 c #Conflicts: 266000 | #Constraints: 133537 760.79/762.79 c INPROCESSING 760.79/762.79 c GARBAGE COLLECT 760.79/762.79 c rational objective 550 792.11/794.17 c #Conflicts: 267000 | #Constraints: 124340 792.11/794.17 c #Conflicts: 268000 | #Constraints: 125340 792.11/794.17 c #Conflicts: 269000 | #Constraints: 126340 792.11/794.17 c #Conflicts: 270000 | #Constraints: 127340 792.11/794.17 c #Conflicts: 271000 | #Constraints: 128340 792.11/794.17 c #Conflicts: 272000 | #Constraints: 129340 792.11/794.17 c #Conflicts: 273000 | #Constraints: 130340 792.11/794.17 c #Conflicts: 274000 | #Constraints: 131340 792.11/794.17 c #Conflicts: 275000 | #Constraints: 132340 792.11/794.17 c #Conflicts: 276000 | #Constraints: 133340 792.11/794.17 c #Conflicts: 277000 | #Constraints: 134340 792.11/794.17 c INPROCESSING 792.11/794.17 c GARBAGE COLLECT 792.11/794.17 c rational objective 550 813.05/815.17 c #Conflicts: 278000 | #Constraints: 124937 813.05/815.17 c #Conflicts: 279000 | #Constraints: 125937 813.05/815.17 c #Conflicts: 280000 | #Constraints: 126937 813.05/815.17 c #Conflicts: 281000 | #Constraints: 127937 813.05/815.17 c #Conflicts: 282000 | #Constraints: 128937 813.05/815.17 c #Conflicts: 283000 | #Constraints: 129937 813.05/815.17 c #Conflicts: 284000 | #Constraints: 130937 813.05/815.17 c #Conflicts: 285000 | #Constraints: 131937 813.05/815.17 c #Conflicts: 286000 | #Constraints: 132937 813.05/815.17 c #Conflicts: 287000 | #Constraints: 133937 813.05/815.17 c #Conflicts: 288000 | #Constraints: 134937 813.05/815.17 c INPROCESSING 813.05/815.17 c GARBAGE COLLECT 813.05/815.17 c rational objective 550 845.25/847.44 c #Conflicts: 289000 | #Constraints: 125334 845.25/847.44 c #Conflicts: 290000 | #Constraints: 126334 845.25/847.44 c #Conflicts: 291000 | #Constraints: 127334 845.25/847.44 c #Conflicts: 292000 | #Constraints: 128334 845.25/847.44 c #Conflicts: 293000 | #Constraints: 129334 845.25/847.44 c #Conflicts: 294000 | #Constraints: 130334 845.25/847.44 c #Conflicts: 295000 | #Constraints: 131334 845.25/847.44 c #Conflicts: 296000 | #Constraints: 132334 845.25/847.44 c #Conflicts: 297000 | #Constraints: 133334 845.25/847.44 c #Conflicts: 298000 | #Constraints: 134334 845.25/847.44 c #Conflicts: 299000 | #Constraints: 135334 845.25/847.44 c INPROCESSING 845.25/847.44 c GARBAGE COLLECT 845.25/847.44 c rational objective 550 863.61/865.89 c #Conflicts: 300000 | #Constraints: 125533 863.61/865.89 c #Conflicts: 301000 | #Constraints: 126533 863.61/865.89 c #Conflicts: 302000 | #Constraints: 127533 863.61/865.89 c #Conflicts: 303000 | #Constraints: 128533 863.61/865.89 c #Conflicts: 304000 | #Constraints: 129533 863.61/865.89 c #Conflicts: 305000 | #Constraints: 130533 863.61/865.89 c #Conflicts: 306000 | #Constraints: 131533 863.61/865.89 c #Conflicts: 307000 | #Constraints: 132533 863.61/865.89 c #Conflicts: 308000 | #Constraints: 133533 863.61/865.89 c #Conflicts: 309000 | #Constraints: 134533 863.61/865.89 c #Conflicts: 310000 | #Constraints: 135533 863.61/865.89 c INPROCESSING 863.61/865.89 c GARBAGE COLLECT 863.61/865.89 c rational objective 550 893.61/895.96 c #Conflicts: 311000 | #Constraints: 125537 893.61/895.96 c #Conflicts: 312000 | #Constraints: 126537 893.61/895.96 c #Conflicts: 313000 | #Constraints: 127537 893.61/895.96 c #Conflicts: 314000 | #Constraints: 128537 893.61/895.96 c #Conflicts: 315000 | #Constraints: 129537 893.61/895.96 c #Conflicts: 316000 | #Constraints: 130537 893.61/895.96 c #Conflicts: 317000 | #Constraints: 131537 893.61/895.96 c #Conflicts: 318000 | #Constraints: 132537 893.61/895.96 c #Conflicts: 319000 | #Constraints: 133537 893.61/895.96 c #Conflicts: 320000 | #Constraints: 134537 893.61/895.96 c #Conflicts: 321000 | #Constraints: 135537 893.61/895.96 c INPROCESSING 893.61/895.96 c GARBAGE COLLECT 893.61/895.96 c rational objective 550 913.55/915.98 c #Conflicts: 322000 | #Constraints: 125340 913.55/915.98 c #Conflicts: 323000 | #Constraints: 126340 913.55/915.98 c #Conflicts: 324000 | #Constraints: 127340 913.55/915.98 c #Conflicts: 325000 | #Constraints: 128340 913.55/915.98 c #Conflicts: 326000 | #Constraints: 129340 913.55/915.98 c #Conflicts: 327000 | #Constraints: 130340 913.55/915.98 c #Conflicts: 328000 | #Constraints: 131340 913.55/915.98 c #Conflicts: 329000 | #Constraints: 132340 913.55/915.98 c #Conflicts: 330000 | #Constraints: 133340 913.55/915.98 c #Conflicts: 331000 | #Constraints: 134340 913.55/915.98 c #Conflicts: 332000 | #Constraints: 135340 913.55/915.98 c #Conflicts: 333000 | #Constraints: 136340 913.55/915.98 c INPROCESSING 913.55/915.98 c GARBAGE COLLECT 913.55/915.98 c rational objective 550 948.76/951.27 c #Conflicts: 334000 | #Constraints: 125962 948.76/951.27 c #Conflicts: 335000 | #Constraints: 126962 948.76/951.27 c #Conflicts: 336000 | #Constraints: 127962 948.76/951.27 c #Conflicts: 337000 | #Constraints: 128962 948.76/951.27 c #Conflicts: 338000 | #Constraints: 129962 948.76/951.27 c #Conflicts: 339000 | #Constraints: 130962 948.76/951.27 c #Conflicts: 340000 | #Constraints: 131962 948.76/951.27 c #Conflicts: 341000 | #Constraints: 132962 948.76/951.27 c #Conflicts: 342000 | #Constraints: 133962 948.76/951.27 c #Conflicts: 343000 | #Constraints: 134962 948.76/951.27 c #Conflicts: 344000 | #Constraints: 135962 948.76/951.27 c #Conflicts: 345000 | #Constraints: 136962 948.76/951.27 c INPROCESSING 948.76/951.27 c GARBAGE COLLECT 948.76/951.27 c rational objective 550 975.69/978.20 c #Conflicts: 346000 | #Constraints: 126344 975.69/978.20 c #Conflicts: 347000 | #Constraints: 127344 975.69/978.20 c #Conflicts: 348000 | #Constraints: 128344 975.69/978.20 c #Conflicts: 349000 | #Constraints: 129344 975.69/978.20 c #Conflicts: 350000 | #Constraints: 130344 975.69/978.20 c #Conflicts: 351000 | #Constraints: 131344 975.69/978.20 c #Conflicts: 352000 | #Constraints: 132344 975.69/978.20 c #Conflicts: 353000 | #Constraints: 133344 975.69/978.20 c #Conflicts: 354000 | #Constraints: 134344 975.69/978.20 c #Conflicts: 355000 | #Constraints: 135344 975.69/978.20 c #Conflicts: 356000 | #Constraints: 136344 975.69/978.20 c #Conflicts: 357000 | #Constraints: 137344 975.69/978.20 c INPROCESSING 975.69/978.20 c GARBAGE COLLECT 975.69/978.20 c rational objective 550 997.35/999.90 c #Conflicts: 358000 | #Constraints: 126534 997.35/999.90 c #Conflicts: 359000 | #Constraints: 127534 997.35/999.90 c #Conflicts: 360000 | #Constraints: 128534 997.35/999.90 c #Conflicts: 361000 | #Constraints: 129534 997.35/999.90 c #Conflicts: 362000 | #Constraints: 130534 997.35/999.90 c #Conflicts: 363000 | #Constraints: 131534 997.35/999.90 c #Conflicts: 364000 | #Constraints: 132534 997.35/999.90 c #Conflicts: 365000 | #Constraints: 133534 997.35/999.90 c #Conflicts: 366000 | #Constraints: 134534 997.35/999.90 c #Conflicts: 367000 | #Constraints: 135534 997.35/999.90 c #Conflicts: 368000 | #Constraints: 136534 997.35/999.90 c #Conflicts: 369000 | #Constraints: 137534 997.35/999.90 c INPROCESSING 997.35/999.90 c GARBAGE COLLECT 997.35/999.90 c rational objective 550 1028.67/1031.35 c #Conflicts: 370000 | #Constraints: 126537 1028.67/1031.35 c #Conflicts: 371000 | #Constraints: 127537 1028.67/1031.35 c #Conflicts: 372000 | #Constraints: 128537 1028.67/1031.35 c #Conflicts: 373000 | #Constraints: 129537 1028.67/1031.35 c #Conflicts: 374000 | #Constraints: 130537 1028.67/1031.35 c #Conflicts: 375000 | #Constraints: 131537 1028.67/1031.35 c #Conflicts: 376000 | #Constraints: 132537 1028.67/1031.35 c #Conflicts: 377000 | #Constraints: 133537 1028.67/1031.35 c #Conflicts: 378000 | #Constraints: 134537 1028.67/1031.35 c #Conflicts: 379000 | #Constraints: 135537 1028.67/1031.35 c #Conflicts: 380000 | #Constraints: 136537 1028.67/1031.35 c #Conflicts: 381000 | #Constraints: 137537 1028.67/1031.35 c INPROCESSING 1028.67/1031.35 c GARBAGE COLLECT 1028.67/1031.35 c rational objective 550 1060.59/1063.34 c #Conflicts: 382000 | #Constraints: 126327 1060.59/1063.34 c #Conflicts: 383000 | #Constraints: 127327 1060.59/1063.34 c #Conflicts: 384000 | #Constraints: 128327 1060.59/1063.34 c #Conflicts: 385000 | #Constraints: 129327 1060.59/1063.34 c #Conflicts: 386000 | #Constraints: 130327 1060.59/1063.34 c #Conflicts: 387000 | #Constraints: 131327 1060.59/1063.34 c #Conflicts: 388000 | #Constraints: 132327 1060.59/1063.34 c #Conflicts: 389000 | #Constraints: 133327 1060.59/1063.34 c #Conflicts: 390000 | #Constraints: 134327 1060.59/1063.34 c #Conflicts: 391000 | #Constraints: 135327 1060.59/1063.34 c #Conflicts: 392000 | #Constraints: 136327 1060.59/1063.34 c #Conflicts: 393000 | #Constraints: 137327 1060.59/1063.34 c #Conflicts: 394000 | #Constraints: 138327 1060.59/1063.34 c INPROCESSING 1060.59/1063.34 c GARBAGE COLLECT 1060.59/1063.34 c rational objective 550 1082.25/1085.10 c #Conflicts: 395000 | #Constraints: 126932 1082.25/1085.10 c #Conflicts: 396000 | #Constraints: 127932 1082.25/1085.10 c #Conflicts: 397000 | #Constraints: 128932 1082.25/1085.10 c #Conflicts: 398000 | #Constraints: 129932 1082.25/1085.10 c #Conflicts: 399000 | #Constraints: 130932 1082.25/1085.10 c #Conflicts: 400000 | #Constraints: 131932 1082.25/1085.10 c #Conflicts: 401000 | #Constraints: 132932 1082.25/1085.10 c #Conflicts: 402000 | #Constraints: 133932 1082.25/1085.10 c #Conflicts: 403000 | #Constraints: 134932 1082.25/1085.10 c #Conflicts: 404000 | #Constraints: 135932 1082.25/1085.10 c #Conflicts: 405000 | #Constraints: 136932 1082.25/1085.10 c #Conflicts: 406000 | #Constraints: 137932 1082.25/1085.10 c #Conflicts: 407000 | #Constraints: 138932 1082.25/1085.10 c INPROCESSING 1082.25/1085.10 c GARBAGE COLLECT 1082.25/1085.10 c rational objective 550 1113.67/1116.50 c #Conflicts: 408000 | #Constraints: 127330 1113.67/1116.50 c #Conflicts: 409000 | #Constraints: 128330 1113.67/1116.50 c #Conflicts: 410000 | #Constraints: 129330 1113.67/1116.50 c #Conflicts: 411000 | #Constraints: 130330 1113.67/1116.50 c #Conflicts: 412000 | #Constraints: 131330 1113.67/1116.50 c #Conflicts: 413000 | #Constraints: 132330 1113.67/1116.50 c #Conflicts: 414000 | #Constraints: 133330 1113.67/1116.50 c #Conflicts: 415000 | #Constraints: 134330 1113.67/1116.50 c #Conflicts: 416000 | #Constraints: 135330 1113.67/1116.50 c #Conflicts: 417000 | #Constraints: 136330 1113.67/1116.50 c #Conflicts: 418000 | #Constraints: 137330 1113.67/1116.50 c #Conflicts: 419000 | #Constraints: 138330 1113.67/1116.50 c #Conflicts: 420000 | #Constraints: 139330 1113.67/1116.50 c INPROCESSING 1113.67/1116.50 c GARBAGE COLLECT 1113.67/1116.50 c rational objective 550 1141.39/1144.39 c #Conflicts: 421000 | #Constraints: 127541 1141.39/1144.39 c #Conflicts: 422000 | #Constraints: 128541 1141.39/1144.39 c #Conflicts: 423000 | #Constraints: 129541 1141.39/1144.39 c #Conflicts: 424000 | #Constraints: 130541 1141.39/1144.39 c #Conflicts: 425000 | #Constraints: 131541 1141.39/1144.39 c #Conflicts: 426000 | #Constraints: 132541 1141.39/1144.39 c #Conflicts: 427000 | #Constraints: 133541 1141.39/1144.39 c #Conflicts: 428000 | #Constraints: 134541 1141.39/1144.39 c #Conflicts: 429000 | #Constraints: 135541 1141.39/1144.39 c #Conflicts: 430000 | #Constraints: 136541 1141.39/1144.39 c #Conflicts: 431000 | #Constraints: 137541 1141.39/1144.39 c #Conflicts: 432000 | #Constraints: 138541 1141.39/1144.39 c #Conflicts: 433000 | #Constraints: 139541 1141.39/1144.39 c INPROCESSING 1141.39/1144.39 c GARBAGE COLLECT 1141.39/1144.39 c rational objective 550 1162.54/1165.52 c #Conflicts: 434000 | #Constraints: 127544 1162.54/1165.52 c #Conflicts: 435000 | #Constraints: 128544 1162.54/1165.52 c #Conflicts: 436000 | #Constraints: 129544 1162.54/1165.52 c #Conflicts: 437000 | #Constraints: 130544 1162.54/1165.52 c #Conflicts: 438000 | #Constraints: 131544 1162.54/1165.52 c #Conflicts: 439000 | #Constraints: 132544 1162.54/1165.52 c #Conflicts: 440000 | #Constraints: 133544 1162.54/1165.52 c #Conflicts: 441000 | #Constraints: 134544 1162.54/1165.52 c #Conflicts: 442000 | #Constraints: 135544 1162.54/1165.52 c #Conflicts: 443000 | #Constraints: 136544 1162.54/1165.52 c #Conflicts: 444000 | #Constraints: 137544 1162.54/1165.52 c #Conflicts: 445000 | #Constraints: 138544 1162.54/1165.52 c #Conflicts: 446000 | #Constraints: 139544 1162.54/1165.52 c INPROCESSING 1162.54/1165.52 c GARBAGE COLLECT 1162.54/1165.52 c rational objective 550 1190.48/1193.54 c #Conflicts: 447000 | #Constraints: 127366 1190.48/1193.54 c #Conflicts: 448000 | #Constraints: 128366 1190.48/1193.54 c #Conflicts: 449000 | #Constraints: 129366 1190.48/1193.54 c #Conflicts: 450000 | #Constraints: 130366 1190.48/1193.54 c #Conflicts: 451000 | #Constraints: 131366 1190.48/1193.54 c #Conflicts: 452000 | #Constraints: 132366 1190.48/1193.54 c #Conflicts: 453000 | #Constraints: 133366 1190.48/1193.54 c #Conflicts: 454000 | #Constraints: 134366 1190.48/1193.54 c #Conflicts: 455000 | #Constraints: 135366 1190.48/1193.54 c #Conflicts: 456000 | #Constraints: 136366 1190.48/1193.54 c #Conflicts: 457000 | #Constraints: 137366 1190.48/1193.54 c #Conflicts: 458000 | #Constraints: 138366 1190.48/1193.54 c #Conflicts: 459000 | #Constraints: 139366 1190.48/1193.54 c #Conflicts: 460000 | #Constraints: 140366 1190.48/1193.54 c INPROCESSING 1190.48/1193.54 c GARBAGE COLLECT 1190.48/1193.54 c rational objective 550 1223.20/1226.38 c #Conflicts: 461000 | #Constraints: 127961 1223.20/1226.38 c #Conflicts: 462000 | #Constraints: 128961 1223.20/1226.38 c #Conflicts: 463000 | #Constraints: 129961 1223.20/1226.38 c #Conflicts: 464000 | #Constraints: 130961 1223.20/1226.38 c #Conflicts: 465000 | #Constraints: 131961 1223.20/1226.38 c #Conflicts: 466000 | #Constraints: 132961 1223.20/1226.38 c #Conflicts: 467000 | #Constraints: 133961 1223.20/1226.38 c #Conflicts: 468000 | #Constraints: 134961 1223.20/1226.38 c #Conflicts: 469000 | #Constraints: 135961 1223.20/1226.38 c #Conflicts: 470000 | #Constraints: 136961 1223.20/1226.38 c #Conflicts: 471000 | #Constraints: 137961 1223.20/1226.38 c #Conflicts: 472000 | #Constraints: 138961 1223.20/1226.38 c #Conflicts: 473000 | #Constraints: 139961 1223.20/1226.38 c #Conflicts: 474000 | #Constraints: 140961 1223.20/1226.38 c INPROCESSING 1223.20/1226.38 c GARBAGE COLLECT 1223.20/1226.38 c rational objective 550 1249.33/1252.54 c #Conflicts: 475000 | #Constraints: 128356 1249.33/1252.54 c #Conflicts: 476000 | #Constraints: 129356 1249.33/1252.54 c #Conflicts: 477000 | #Constraints: 130356 1249.33/1252.54 c #Conflicts: 478000 | #Constraints: 131356 1249.33/1252.54 c #Conflicts: 479000 | #Constraints: 132356 1249.33/1252.54 c #Conflicts: 480000 | #Constraints: 133356 1249.33/1252.54 c #Conflicts: 481000 | #Constraints: 134356 1249.33/1252.54 c #Conflicts: 482000 | #Constraints: 135356 1249.33/1252.54 c #Conflicts: 483000 | #Constraints: 136356 1249.33/1252.54 c #Conflicts: 484000 | #Constraints: 137356 1249.33/1252.54 c #Conflicts: 485000 | #Constraints: 138356 1249.33/1252.54 c #Conflicts: 486000 | #Constraints: 139356 1249.33/1252.54 c #Conflicts: 487000 | #Constraints: 140356 1249.33/1252.54 c #Conflicts: 488000 | #Constraints: 141356 1249.33/1252.54 c INPROCESSING 1249.33/1252.54 c GARBAGE COLLECT 1249.33/1252.54 c rational objective 550 1277.97/1281.26 c #Conflicts: 489000 | #Constraints: 128557 1277.97/1281.26 c #Conflicts: 490000 | #Constraints: 129557 1277.97/1281.26 c #Conflicts: 491000 | #Constraints: 130557 1277.97/1281.26 c #Conflicts: 492000 | #Constraints: 131557 1277.97/1281.26 c #Conflicts: 493000 | #Constraints: 132557 1277.97/1281.26 c #Conflicts: 494000 | #Constraints: 133557 1277.97/1281.26 c #Conflicts: 495000 | #Constraints: 134557 1277.97/1281.26 c #Conflicts: 496000 | #Constraints: 135557 1277.97/1281.26 c #Conflicts: 497000 | #Constraints: 136557 1277.97/1281.26 c #Conflicts: 498000 | #Constraints: 137557 1277.97/1281.26 c #Conflicts: 499000 | #Constraints: 138557 1277.97/1281.26 c #Conflicts: 500000 | #Constraints: 139557 1277.97/1281.26 c #Conflicts: 501000 | #Constraints: 140557 1277.97/1281.26 c #Conflicts: 502000 | #Constraints: 141557 1277.97/1281.26 c INPROCESSING 1277.97/1281.26 c GARBAGE COLLECT 1277.97/1281.26 c rational objective 550 1305.80/1309.12 c #Conflicts: 503000 | #Constraints: 128557 1305.80/1309.12 c #Conflicts: 504000 | #Constraints: 129557 1305.80/1309.12 c #Conflicts: 505000 | #Constraints: 130557 1305.80/1309.12 c #Conflicts: 506000 | #Constraints: 131557 1305.80/1309.12 c #Conflicts: 507000 | #Constraints: 132557 1305.80/1309.12 c #Conflicts: 508000 | #Constraints: 133557 1305.80/1309.12 c #Conflicts: 509000 | #Constraints: 134557 1305.80/1309.12 c #Conflicts: 510000 | #Constraints: 135557 1305.80/1309.12 c #Conflicts: 511000 | #Constraints: 136557 1305.80/1309.12 c #Conflicts: 512000 | #Constraints: 137557 1305.80/1309.12 c #Conflicts: 513000 | #Constraints: 138557 1305.80/1309.12 c #Conflicts: 514000 | #Constraints: 139557 1305.80/1309.12 c #Conflicts: 515000 | #Constraints: 140557 1305.80/1309.12 c #Conflicts: 516000 | #Constraints: 141557 1305.80/1309.12 c INPROCESSING 1305.80/1309.12 c GARBAGE COLLECT 1305.80/1309.12 c rational objective 550 1341.31/1344.76 c #Conflicts: 517000 | #Constraints: 128342 1341.31/1344.76 c #Conflicts: 518000 | #Constraints: 129342 1341.31/1344.76 c #Conflicts: 519000 | #Constraints: 130342 1341.31/1344.76 c #Conflicts: 520000 | #Constraints: 131342 1341.31/1344.76 c #Conflicts: 521000 | #Constraints: 132342 1341.31/1344.76 c #Conflicts: 522000 | #Constraints: 133342 1341.31/1344.76 c #Conflicts: 523000 | #Constraints: 134342 1341.31/1344.76 c #Conflicts: 524000 | #Constraints: 135342 1341.31/1344.76 c #Conflicts: 525000 | #Constraints: 136342 1341.31/1344.76 c #Conflicts: 526000 | #Constraints: 137342 1341.31/1344.76 c #Conflicts: 527000 | #Constraints: 138342 1341.31/1344.76 c #Conflicts: 528000 | #Constraints: 139342 1341.31/1344.76 c #Conflicts: 529000 | #Constraints: 140342 1341.31/1344.76 c #Conflicts: 530000 | #Constraints: 141342 1341.31/1344.76 c #Conflicts: 531000 | #Constraints: 142342 1341.31/1344.76 c INPROCESSING 1341.31/1344.76 c GARBAGE COLLECT 1341.31/1344.76 c rational objective 550 1380.92/1384.40 c #Conflicts: 532000 | #Constraints: 128944 1380.92/1384.40 c #Conflicts: 533000 | #Constraints: 129944 1380.92/1384.40 c #Conflicts: 534000 | #Constraints: 130944 1380.92/1384.40 c #Conflicts: 535000 | #Constraints: 131944 1380.92/1384.40 c #Conflicts: 536000 | #Constraints: 132944 1380.92/1384.40 c #Conflicts: 537000 | #Constraints: 133944 1380.92/1384.40 c #Conflicts: 538000 | #Constraints: 134944 1380.92/1384.40 c #Conflicts: 539000 | #Constraints: 135944 1380.92/1384.40 c #Conflicts: 540000 | #Constraints: 136944 1380.92/1384.40 c #Conflicts: 541000 | #Constraints: 137944 1380.92/1384.40 c #Conflicts: 542000 | #Constraints: 138944 1380.92/1384.40 c #Conflicts: 543000 | #Constraints: 139944 1380.92/1384.40 c #Conflicts: 544000 | #Constraints: 140944 1380.92/1384.40 c #Conflicts: 545000 | #Constraints: 141944 1380.92/1384.40 c #Conflicts: 546000 | #Constraints: 142944 1380.92/1384.40 c INPROCESSING 1380.92/1384.40 c GARBAGE COLLECT 1380.92/1384.40 c rational objective 550 1414.45/1418.04 c #Conflicts: 547000 | #Constraints: 129341 1414.45/1418.04 c #Conflicts: 548000 | #Constraints: 130341 1414.45/1418.04 c #Conflicts: 549000 | #Constraints: 131341 1414.45/1418.04 c #Conflicts: 550000 | #Constraints: 132341 1414.45/1418.04 c #Conflicts: 551000 | #Constraints: 133341 1414.45/1418.04 c #Conflicts: 552000 | #Constraints: 134341 1414.45/1418.04 c #Conflicts: 553000 | #Constraints: 135341 1414.45/1418.04 c #Conflicts: 554000 | #Constraints: 136341 1414.45/1418.04 c #Conflicts: 555000 | #Constraints: 137341 1414.45/1418.04 c #Conflicts: 556000 | #Constraints: 138341 1414.45/1418.04 c #Conflicts: 557000 | #Constraints: 139341 1414.45/1418.04 c #Conflicts: 558000 | #Constraints: 140341 1414.45/1418.04 c #Conflicts: 559000 | #Constraints: 141341 1414.45/1418.04 c #Conflicts: 560000 | #Constraints: 142341 1414.45/1418.04 c #Conflicts: 561000 | #Constraints: 143341 1414.45/1418.04 c INPROCESSING 1414.45/1418.04 c GARBAGE COLLECT 1414.45/1418.04 c rational objective 550 1451.25/1454.90 c #Conflicts: 562000 | #Constraints: 129529 1451.25/1454.90 c #Conflicts: 563000 | #Constraints: 130529 1451.25/1454.90 c #Conflicts: 564000 | #Constraints: 131529 1451.25/1454.90 c #Conflicts: 565000 | #Constraints: 132529 1451.25/1454.90 c #Conflicts: 566000 | #Constraints: 133529 1451.25/1454.90 c #Conflicts: 567000 | #Constraints: 134529 1451.25/1454.90 c #Conflicts: 568000 | #Constraints: 135529 1451.25/1454.90 c #Conflicts: 569000 | #Constraints: 136529 1451.25/1454.90 c #Conflicts: 570000 | #Constraints: 137529 1451.25/1454.90 c #Conflicts: 571000 | #Constraints: 138529 1451.25/1454.90 c #Conflicts: 572000 | #Constraints: 139529 1451.25/1454.90 c #Conflicts: 573000 | #Constraints: 140529 1451.25/1454.90 c #Conflicts: 574000 | #Constraints: 141529 1451.25/1454.90 c #Conflicts: 575000 | #Constraints: 142529 1451.25/1454.90 c #Conflicts: 576000 | #Constraints: 143529 1451.25/1454.90 c INPROCESSING 1451.25/1454.90 c GARBAGE COLLECT 1451.25/1454.90 c rational objective 550 1495.46/1499.23 c #Conflicts: 577000 | #Constraints: 129535 1495.46/1499.23 c #Conflicts: 578000 | #Constraints: 130535 1495.46/1499.23 c #Conflicts: 579000 | #Constraints: 131535 1495.46/1499.23 c #Conflicts: 580000 | #Constraints: 132535 1495.46/1499.23 c #Conflicts: 581000 | #Constraints: 133535 1495.46/1499.23 c #Conflicts: 582000 | #Constraints: 134535 1495.46/1499.23 c #Conflicts: 583000 | #Constraints: 135535 1495.46/1499.23 c #Conflicts: 584000 | #Constraints: 136535 1495.46/1499.23 c #Conflicts: 585000 | #Constraints: 137535 1495.46/1499.23 c #Conflicts: 586000 | #Constraints: 138535 1495.46/1499.23 c #Conflicts: 587000 | #Constraints: 139535 1495.46/1499.23 c #Conflicts: 588000 | #Constraints: 140535 1495.46/1499.23 c #Conflicts: 589000 | #Constraints: 141535 1495.46/1499.23 c #Conflicts: 590000 | #Constraints: 142535 1495.46/1499.23 c #Conflicts: 591000 | #Constraints: 143535 1495.46/1499.23 c INPROCESSING 1495.46/1499.23 c GARBAGE COLLECT 1495.46/1499.23 c rational objective 550 1516.01/1519.85 c #Conflicts: 592000 | #Constraints: 129338 1516.01/1519.85 c #Conflicts: 593000 | #Constraints: 130338 1516.01/1519.85 c #Conflicts: 594000 | #Constraints: 131338 1516.01/1519.85 c #Conflicts: 595000 | #Constraints: 132338 1516.01/1519.85 c #Conflicts: 596000 | #Constraints: 133338 1516.01/1519.85 c #Conflicts: 597000 | #Constraints: 134338 1516.01/1519.85 c #Conflicts: 598000 | #Constraints: 135338 1516.01/1519.85 c #Conflicts: 599000 | #Constraints: 136338 1516.01/1519.85 c #Conflicts: 600000 | #Constraints: 137338 1516.01/1519.85 c #Conflicts: 601000 | #Constraints: 138338 1516.01/1519.85 c #Conflicts: 602000 | #Constraints: 139338 1516.01/1519.85 c #Conflicts: 603000 | #Constraints: 140338 1516.01/1519.85 c #Conflicts: 604000 | #Constraints: 141338 1516.01/1519.85 c #Conflicts: 605000 | #Constraints: 142338 1516.01/1519.85 c #Conflicts: 606000 | #Constraints: 143338 1516.01/1519.85 c #Conflicts: 607000 | #Constraints: 144338 1516.01/1519.85 c INPROCESSING 1516.01/1519.85 c GARBAGE COLLECT 1516.01/1519.85 c rational objective 550 1544.04/1547.92 c #Conflicts: 608000 | #Constraints: 129949 1544.04/1547.92 c #Conflicts: 609000 | #Constraints: 130949 1544.04/1547.92 c #Conflicts: 610000 | #Constraints: 131949 1544.04/1547.92 c #Conflicts: 611000 | #Constraints: 132949 1544.04/1547.92 c #Conflicts: 612000 | #Constraints: 133949 1544.04/1547.92 c #Conflicts: 613000 | #Constraints: 134949 1544.04/1547.92 c #Conflicts: 614000 | #Constraints: 135949 1544.04/1547.92 c #Conflicts: 615000 | #Constraints: 136949 1544.04/1547.92 c #Conflicts: 616000 | #Constraints: 137949 1544.04/1547.92 c #Conflicts: 617000 | #Constraints: 138949 1544.04/1547.92 c #Conflicts: 618000 | #Constraints: 139949 1544.04/1547.92 c #Conflicts: 619000 | #Constraints: 140949 1544.04/1547.92 c #Conflicts: 620000 | #Constraints: 141949 1544.04/1547.92 c #Conflicts: 621000 | #Constraints: 142949 1544.04/1547.92 c #Conflicts: 622000 | #Constraints: 143949 1544.04/1547.92 c #Conflicts: 623000 | #Constraints: 144949 1544.04/1547.92 c INPROCESSING 1544.04/1547.92 c GARBAGE COLLECT 1544.04/1547.92 c rational objective 550 1581.07/1585.03 c #Conflicts: 624000 | #Constraints: 130340 1581.07/1585.03 c #Conflicts: 625000 | #Constraints: 131340 1581.07/1585.03 c #Conflicts: 626000 | #Constraints: 132340 1581.07/1585.03 c #Conflicts: 627000 | #Constraints: 133340 1581.07/1585.03 c #Conflicts: 628000 | #Constraints: 134340 1581.07/1585.03 c #Conflicts: 629000 | #Constraints: 135340 1581.07/1585.03 c #Conflicts: 630000 | #Constraints: 136340 1581.07/1585.03 c #Conflicts: 631000 | #Constraints: 137340 1581.07/1585.03 c #Conflicts: 632000 | #Constraints: 138340 1581.07/1585.03 c #Conflicts: 633000 | #Constraints: 139340 1581.07/1585.03 c #Conflicts: 634000 | #Constraints: 140340 1581.07/1585.03 c #Conflicts: 635000 | #Constraints: 141340 1581.07/1585.03 c #Conflicts: 636000 | #Constraints: 142340 1581.07/1585.03 c #Conflicts: 637000 | #Constraints: 143340 1581.07/1585.03 c #Conflicts: 638000 | #Constraints: 144340 1581.07/1585.03 c #Conflicts: 639000 | #Constraints: 145340 1581.07/1585.03 c INPROCESSING 1581.07/1585.03 c GARBAGE COLLECT 1581.07/1585.03 c rational objective 550 1615.99/1620.00 c #Conflicts: 640000 | #Constraints: 130532 1615.99/1620.00 c #Conflicts: 641000 | #Constraints: 131532 1615.99/1620.00 c #Conflicts: 642000 | #Constraints: 132532 1615.99/1620.00 c #Conflicts: 643000 | #Constraints: 133532 1615.99/1620.00 c #Conflicts: 644000 | #Constraints: 134532 1615.99/1620.00 c #Conflicts: 645000 | #Constraints: 135532 1615.99/1620.00 c #Conflicts: 646000 | #Constraints: 136532 1615.99/1620.00 c #Conflicts: 647000 | #Constraints: 137532 1615.99/1620.00 c #Conflicts: 648000 | #Constraints: 138532 1615.99/1620.00 c #Conflicts: 649000 | #Constraints: 139532 1615.99/1620.00 c #Conflicts: 650000 | #Constraints: 140532 1615.99/1620.00 c #Conflicts: 651000 | #Constraints: 141532 1615.99/1620.00 c #Conflicts: 652000 | #Constraints: 142532 1615.99/1620.00 c #Conflicts: 653000 | #Constraints: 143532 1615.99/1620.00 c #Conflicts: 654000 | #Constraints: 144532 1615.99/1620.00 c #Conflicts: 655000 | #Constraints: 145532 1615.99/1620.00 c INPROCESSING 1615.99/1620.00 c GARBAGE COLLECT 1615.99/1620.00 c rational objective 550 1665.47/1669.66 c #Conflicts: 656000 | #Constraints: 130541 1665.47/1669.66 c #Conflicts: 657000 | #Constraints: 131541 1665.47/1669.66 c #Conflicts: 658000 | #Constraints: 132541 1665.47/1669.66 c #Conflicts: 659000 | #Constraints: 133541 1665.47/1669.66 c #Conflicts: 660000 | #Constraints: 134541 1665.47/1669.66 c #Conflicts: 661000 | #Constraints: 135541 1665.47/1669.66 c #Conflicts: 662000 | #Constraints: 136541 1665.47/1669.66 c #Conflicts: 663000 | #Constraints: 137541 1665.47/1669.66 c #Conflicts: 664000 | #Constraints: 138541 1665.47/1669.66 c #Conflicts: 665000 | #Constraints: 139541 1665.47/1669.66 c #Conflicts: 666000 | #Constraints: 140541 1665.47/1669.66 c #Conflicts: 667000 | #Constraints: 141541 1665.47/1669.66 c #Conflicts: 668000 | #Constraints: 142541 1665.47/1669.66 c #Conflicts: 669000 | #Constraints: 143541 1665.47/1669.66 c #Conflicts: 670000 | #Constraints: 144541 1665.47/1669.66 c #Conflicts: 671000 | #Constraints: 145541 1665.47/1669.66 c INPROCESSING 1665.47/1669.66 c GARBAGE COLLECT 1665.47/1669.66 c rational objective 550 1694.51/1698.77 c #Conflicts: 672000 | #Constraints: 130334 1694.51/1698.77 c #Conflicts: 673000 | #Constraints: 131334 1694.51/1698.77 c #Conflicts: 674000 | #Constraints: 132334 1694.51/1698.77 c #Conflicts: 675000 | #Constraints: 133334 1694.51/1698.77 c #Conflicts: 676000 | #Constraints: 134334 1694.51/1698.77 c #Conflicts: 677000 | #Constraints: 135334 1694.51/1698.77 c #Conflicts: 678000 | #Constraints: 136334 1694.51/1698.77 c #Conflicts: 679000 | #Constraints: 137334 1694.51/1698.77 c #Conflicts: 680000 | #Constraints: 138334 1694.51/1698.77 c #Conflicts: 681000 | #Constraints: 139334 1694.51/1698.77 c #Conflicts: 682000 | #Constraints: 140334 1694.51/1698.77 c #Conflicts: 683000 | #Constraints: 141334 1694.51/1698.77 c #Conflicts: 684000 | #Constraints: 142334 1694.51/1698.77 c #Conflicts: 685000 | #Constraints: 143334 1694.51/1698.77 c #Conflicts: 686000 | #Constraints: 144334 1694.51/1698.77 c #Conflicts: 687000 | #Constraints: 145334 1694.51/1698.77 c #Conflicts: 688000 | #Constraints: 146334 1694.51/1698.77 c INPROCESSING 1694.51/1698.77 c GARBAGE COLLECT 1694.51/1698.77 c rational objective 550 1731.32/1735.67 c #Conflicts: 689000 | #Constraints: 130929 1731.32/1735.67 c #Conflicts: 690000 | #Constraints: 131929 1731.32/1735.67 c #Conflicts: 691000 | #Constraints: 132929 1731.32/1735.67 c #Conflicts: 692000 | #Constraints: 133929 1731.32/1735.67 c #Conflicts: 693000 | #Constraints: 134929 1731.32/1735.67 c #Conflicts: 694000 | #Constraints: 135929 1731.32/1735.67 c #Conflicts: 695000 | #Constraints: 136929 1731.32/1735.67 c #Conflicts: 696000 | #Constraints: 137929 1731.32/1735.67 c #Conflicts: 697000 | #Constraints: 138929 1731.32/1735.67 c #Conflicts: 698000 | #Constraints: 139929 1731.32/1735.67 c #Conflicts: 699000 | #Constraints: 140929 1731.32/1735.67 c #Conflicts: 700000 | #Constraints: 141929 1731.32/1735.67 c #Conflicts: 701000 | #Constraints: 142929 1731.32/1735.67 c #Conflicts: 702000 | #Constraints: 143929 1731.32/1735.67 c #Conflicts: 703000 | #Constraints: 144929 1731.32/1735.67 c #Conflicts: 704000 | #Constraints: 145929 1731.32/1735.67 c #Conflicts: 705000 | #Constraints: 146929 1731.32/1735.67 c INPROCESSING 1731.32/1735.67 c GARBAGE COLLECT 1731.32/1735.67 c rational objective 550 1765.05/1769.42 c #Conflicts: 706000 | #Constraints: 131341 1765.05/1769.42 c #Conflicts: 707000 | #Constraints: 132341 1765.05/1769.42 c #Conflicts: 708000 | #Constraints: 133341 1765.05/1769.42 c #Conflicts: 709000 | #Constraints: 134341 1765.05/1769.42 c #Conflicts: 710000 | #Constraints: 135341 1765.05/1769.42 c #Conflicts: 711000 | #Constraints: 136341 1765.05/1769.42 c #Conflicts: 712000 | #Constraints: 137341 1765.05/1769.42 c #Conflicts: 713000 | #Constraints: 138341 1765.05/1769.42 c #Conflicts: 714000 | #Constraints: 139341 1765.05/1769.42 c #Conflicts: 715000 | #Constraints: 140341 1765.05/1769.42 c #Conflicts: 716000 | #Constraints: 141341 1765.05/1769.42 c #Conflicts: 717000 | #Constraints: 142341 1765.05/1769.42 c #Conflicts: 718000 | #Constraints: 143341 1765.05/1769.42 c #Conflicts: 719000 | #Constraints: 144341 1765.05/1769.42 c #Conflicts: 720000 | #Constraints: 145341 1765.05/1769.42 c #Conflicts: 721000 | #Constraints: 146341 1765.05/1769.42 c #Conflicts: 722000 | #Constraints: 147341 1765.05/1769.42 c INPROCESSING 1765.05/1769.42 c GARBAGE COLLECT 1765.05/1769.42 c rational objective 550 1793.89/1798.34 c #Conflicts: 723000 | #Constraints: 131542 1793.89/1798.34 c #Conflicts: 724000 | #Constraints: 132542 1793.89/1798.34 c #Conflicts: 725000 | #Constraints: 133542 1793.89/1798.34 c #Conflicts: 726000 | #Constraints: 134542 1793.89/1798.34 c #Conflicts: 727000 | #Constraints: 135542 1793.89/1798.34 c #Conflicts: 728000 | #Constraints: 136542 1793.89/1798.34 c #Conflicts: 729000 | #Constraints: 137542 1793.89/1798.34 c #Conflicts: 730000 | #Constraints: 138542 1793.89/1798.34 c #Conflicts: 731000 | #Constraints: 139542 1793.89/1798.34 c #Conflicts: 732000 | #Constraints: 140542 1793.89/1798.34 c #Conflicts: 733000 | #Constraints: 141542 1793.89/1798.34 c #Conflicts: 734000 | #Constraints: 142542 1793.89/1798.34 c #Conflicts: 735000 | #Constraints: 143542 1793.89/1798.34 c #Conflicts: 736000 | #Constraints: 144542 1793.89/1798.34 c #Conflicts: 737000 | #Constraints: 145542 1793.89/1798.34 c #Conflicts: 738000 | #Constraints: 146542 1793.89/1798.34 c #Conflicts: 739000 | #Constraints: 147542 1793.89/1798.34 c INPROCESSING 1793.89/1798.34 c GARBAGE COLLECT 1793.89/1798.34 c rational objective 550 1835.59/1840.15 c #Conflicts: 740000 | #Constraints: 131556 1835.59/1840.15 c #Conflicts: 741000 | #Constraints: 132556 1835.59/1840.15 c #Conflicts: 742000 | #Constraints: 133556 1835.59/1840.15 c #Conflicts: 743000 | #Constraints: 134556 1835.59/1840.15 c #Conflicts: 744000 | #Constraints: 135556 1835.59/1840.15 c #Conflicts: 745000 | #Constraints: 136556 1835.59/1840.15 c #Conflicts: 746000 | #Constraints: 137556 1835.59/1840.15 c #Conflicts: 747000 | #Constraints: 138556 1835.59/1840.15 c #Conflicts: 748000 | #Constraints: 139556 1835.59/1840.15 c #Conflicts: 749000 | #Constraints: 140556 1835.59/1840.15 c #Conflicts: 750000 | #Constraints: 141556 1835.59/1840.15 c #Conflicts: 751000 | #Constraints: 142556 1835.59/1840.15 c #Conflicts: 752000 | #Constraints: 143556 1835.59/1840.15 c #Conflicts: 753000 | #Constraints: 144556 1835.59/1840.15 c #Conflicts: 754000 | #Constraints: 145556 1835.59/1840.15 c #Conflicts: 755000 | #Constraints: 146556 1835.59/1840.15 c #Conflicts: 756000 | #Constraints: 147556 1835.59/1840.15 c INPROCESSING 1835.59/1840.15 c GARBAGE COLLECT 1835.59/1840.15 c rational objective 550 1875.69/1880.31 c #Conflicts: 757000 | #Constraints: 131344 1875.69/1880.31 c #Conflicts: 758000 | #Constraints: 132344 1875.69/1880.31 c #Conflicts: 759000 | #Constraints: 133344 1875.69/1880.31 c #Conflicts: 760000 | #Constraints: 134344 1875.69/1880.31 c #Conflicts: 761000 | #Constraints: 135344 1875.69/1880.31 c #Conflicts: 762000 | #Constraints: 136344 1875.69/1880.31 c #Conflicts: 763000 | #Constraints: 137344 1875.69/1880.31 c #Conflicts: 764000 | #Constraints: 138344 1875.69/1880.31 c #Conflicts: 765000 | #Constraints: 139344 1875.69/1880.31 c #Conflicts: 766000 | #Constraints: 140344 1875.69/1880.31 c #Conflicts: 767000 | #Constraints: 141344 1875.69/1880.31 c #Conflicts: 768000 | #Constraints: 142344 1875.69/1880.31 c #Conflicts: 769000 | #Constraints: 143344 1875.69/1880.31 c #Conflicts: 770000 | #Constraints: 144344 1875.69/1880.31 c #Conflicts: 771000 | #Constraints: 145344 1875.69/1880.31 c #Conflicts: 772000 | #Constraints: 146344 1875.69/1880.31 c #Conflicts: 773000 | #Constraints: 147344 1875.69/1880.31 c #Conflicts: 774000 | #Constraints: 148344 1875.69/1880.31 c INPROCESSING 1875.69/1880.31 c GARBAGE COLLECT 1875.69/1880.31 c rational objective 550 1920.09/1924.88 c #Conflicts: 775000 | #Constraints: 131934 1920.09/1924.88 c #Conflicts: 776000 | #Constraints: 132934 1920.09/1924.88 c #Conflicts: 777000 | #Constraints: 133934 1920.09/1924.88 c #Conflicts: 778000 | #Constraints: 134934 1920.09/1924.88 c #Conflicts: 779000 | #Constraints: 135934 1920.09/1924.88 c #Conflicts: 780000 | #Constraints: 136934 1920.09/1924.88 c #Conflicts: 781000 | #Constraints: 137934 1920.09/1924.88 c #Conflicts: 782000 | #Constraints: 138934 1920.09/1924.88 c #Conflicts: 783000 | #Constraints: 139934 1920.09/1924.88 c #Conflicts: 784000 | #Constraints: 140934 1920.09/1924.88 c #Conflicts: 785000 | #Constraints: 141934 1920.09/1924.88 c #Conflicts: 786000 | #Constraints: 142934 1920.09/1924.88 c #Conflicts: 787000 | #Constraints: 143934 1920.09/1924.88 c #Conflicts: 788000 | #Constraints: 144934 1920.09/1924.88 c #Conflicts: 789000 | #Constraints: 145934 1920.09/1924.88 c #Conflicts: 790000 | #Constraints: 146934 1920.09/1924.88 c #Conflicts: 791000 | #Constraints: 147934 1920.09/1924.88 c #Conflicts: 792000 | #Constraints: 148934 1920.09/1924.88 c INPROCESSING 1920.09/1924.88 c GARBAGE COLLECT 1920.09/1924.88 c rational objective 550 1958.89/1963.72 c #Conflicts: 793000 | #Constraints: 132326 1958.89/1963.72 c #Conflicts: 794000 | #Constraints: 133326 1958.89/1963.72 c #Conflicts: 795000 | #Constraints: 134326 1958.89/1963.72 c #Conflicts: 796000 | #Constraints: 135326 1958.89/1963.72 c #Conflicts: 797000 | #Constraints: 136326 1958.89/1963.72 c #Conflicts: 798000 | #Constraints: 137326 1958.89/1963.72 c #Conflicts: 799000 | #Constraints: 138326 1958.89/1963.72 c #Conflicts: 800000 | #Constraints: 139326 1958.89/1963.72 c #Conflicts: 801000 | #Constraints: 140326 1958.89/1963.72 c #Conflicts: 802000 | #Constraints: 141326 1958.89/1963.72 c #Conflicts: 803000 | #Constraints: 142326 1958.89/1963.72 c #Conflicts: 804000 | #Constraints: 143326 1958.89/1963.72 c #Conflicts: 805000 | #Constraints: 144326 1958.89/1963.72 c #Conflicts: 806000 | #Constraints: 145326 1958.89/1963.72 c #Conflicts: 807000 | #Constraints: 146326 1958.89/1963.72 c #Conflicts: 808000 | #Constraints: 147326 1958.89/1963.72 c #Conflicts: 809000 | #Constraints: 148326 1958.89/1963.72 c #Conflicts: 810000 | #Constraints: 149326 1958.89/1963.72 c INPROCESSING 1958.89/1963.72 c GARBAGE COLLECT 1958.89/1963.72 c rational objective 550 2007.97/2012.90 c #Conflicts: 811000 | #Constraints: 132525 2007.97/2012.90 c #Conflicts: 812000 | #Constraints: 133525 2007.97/2012.90 c #Conflicts: 813000 | #Constraints: 134525 2007.97/2012.90 c #Conflicts: 814000 | #Constraints: 135525 2007.97/2012.90 c #Conflicts: 815000 | #Constraints: 136525 2007.97/2012.90 c #Conflicts: 816000 | #Constraints: 137525 2007.97/2012.90 c #Conflicts: 817000 | #Constraints: 138525 2007.97/2012.90 c #Conflicts: 818000 | #Constraints: 139525 2007.97/2012.90 c #Conflicts: 819000 | #Constraints: 140525 2007.97/2012.90 c #Conflicts: 820000 | #Constraints: 141525 2007.97/2012.90 c #Conflicts: 821000 | #Constraints: 142525 2007.97/2012.90 c #Conflicts: 822000 | #Constraints: 143525 2007.97/2012.90 c #Conflicts: 823000 | #Constraints: 144525 2007.97/2012.90 c #Conflicts: 824000 | #Constraints: 145525 2007.97/2012.90 c #Conflicts: 825000 | #Constraints: 146525 2007.97/2012.90 c #Conflicts: 826000 | #Constraints: 147525 2007.97/2012.90 c #Conflicts: 827000 | #Constraints: 148525 2007.97/2012.90 c #Conflicts: 828000 | #Constraints: 149525 2007.97/2012.90 c INPROCESSING 2007.97/2012.90 c GARBAGE COLLECT 2007.97/2012.90 c rational objective 550 2053.36/2058.41 c #Conflicts: 829000 | #Constraints: 132533 2053.36/2058.41 c #Conflicts: 830000 | #Constraints: 133533 2053.36/2058.41 c #Conflicts: 831000 | #Constraints: 134533 2053.36/2058.41 c #Conflicts: 832000 | #Constraints: 135533 2053.36/2058.41 c #Conflicts: 833000 | #Constraints: 136533 2053.36/2058.41 c #Conflicts: 834000 | #Constraints: 137533 2053.36/2058.41 c #Conflicts: 835000 | #Constraints: 138533 2053.36/2058.41 c #Conflicts: 836000 | #Constraints: 139533 2053.36/2058.41 c #Conflicts: 837000 | #Constraints: 140533 2053.36/2058.41 c #Conflicts: 838000 | #Constraints: 141533 2053.36/2058.41 c #Conflicts: 839000 | #Constraints: 142533 2053.36/2058.41 c #Conflicts: 840000 | #Constraints: 143533 2053.36/2058.41 c #Conflicts: 841000 | #Constraints: 144533 2053.36/2058.41 c #Conflicts: 842000 | #Constraints: 145533 2053.36/2058.41 c #Conflicts: 843000 | #Constraints: 146533 2053.36/2058.41 c #Conflicts: 844000 | #Constraints: 147533 2053.36/2058.41 c #Conflicts: 845000 | #Constraints: 148533 2053.36/2058.41 c #Conflicts: 846000 | #Constraints: 149533 2053.36/2058.41 c INPROCESSING 2053.36/2058.41 c GARBAGE COLLECT 2053.36/2058.41 c rational objective 550 2097.35/2102.59 c #Conflicts: 847000 | #Constraints: 132330 2097.35/2102.59 c #Conflicts: 848000 | #Constraints: 133330 2097.35/2102.59 c #Conflicts: 849000 | #Constraints: 134330 2097.35/2102.59 c #Conflicts: 850000 | #Constraints: 135330 2097.35/2102.59 c #Conflicts: 851000 | #Constraints: 136330 2097.35/2102.59 c #Conflicts: 852000 | #Constraints: 137330 2097.35/2102.59 c #Conflicts: 853000 | #Constraints: 138330 2097.35/2102.59 c #Conflicts: 854000 | #Constraints: 139330 2097.35/2102.59 c #Conflicts: 855000 | #Constraints: 140330 2097.35/2102.59 c #Conflicts: 856000 | #Constraints: 141330 2097.35/2102.59 c #Conflicts: 857000 | #Constraints: 142330 2097.35/2102.59 c #Conflicts: 858000 | #Constraints: 143330 2097.35/2102.59 c #Conflicts: 859000 | #Constraints: 144330 2097.35/2102.59 c #Conflicts: 860000 | #Constraints: 145330 2097.35/2102.59 c #Conflicts: 861000 | #Constraints: 146330 2097.35/2102.59 c #Conflicts: 862000 | #Constraints: 147330 2097.35/2102.59 c #Conflicts: 863000 | #Constraints: 148330 2097.35/2102.59 c #Conflicts: 864000 | #Constraints: 149330 2097.35/2102.59 c #Conflicts: 865000 | #Constraints: 150330 2097.35/2102.59 c INPROCESSING 2097.35/2102.59 c GARBAGE COLLECT 2097.35/2102.59 c rational objective 550 2136.66/2141.96 c #Conflicts: 866000 | #Constraints: 132936 2136.66/2141.96 c #Conflicts: 867000 | #Constraints: 133936 2136.66/2141.96 c #Conflicts: 868000 | #Constraints: 134936 2136.66/2141.96 c #Conflicts: 869000 | #Constraints: 135936 2136.66/2141.96 c #Conflicts: 870000 | #Constraints: 136936 2136.66/2141.96 c #Conflicts: 871000 | #Constraints: 137936 2136.66/2141.96 c #Conflicts: 872000 | #Constraints: 138936 2136.66/2141.96 c #Conflicts: 873000 | #Constraints: 139936 2136.66/2141.96 c #Conflicts: 874000 | #Constraints: 140936 2136.66/2141.96 c #Conflicts: 875000 | #Constraints: 141936 2136.66/2141.96 c #Conflicts: 876000 | #Constraints: 142936 2136.66/2141.96 c #Conflicts: 877000 | #Constraints: 143936 2136.66/2141.96 c #Conflicts: 878000 | #Constraints: 144936 2136.66/2141.96 c #Conflicts: 879000 | #Constraints: 145936 2136.66/2141.96 c #Conflicts: 880000 | #Constraints: 146936 2136.66/2141.96 c #Conflicts: 881000 | #Constraints: 147936 2136.66/2141.96 c #Conflicts: 882000 | #Constraints: 148936 2136.66/2141.96 c #Conflicts: 883000 | #Constraints: 149936 2136.66/2141.96 c #Conflicts: 884000 | #Constraints: 150936 2136.66/2141.96 c INPROCESSING 2136.66/2141.96 c GARBAGE COLLECT 2136.66/2141.96 c rational objective 550 2184.24/2189.63 c #Conflicts: 885000 | #Constraints: 133341 2184.24/2189.63 c #Conflicts: 886000 | #Constraints: 134341 2184.24/2189.63 c #Conflicts: 887000 | #Constraints: 135341 2184.24/2189.63 c #Conflicts: 888000 | #Constraints: 136341 2184.24/2189.63 c #Conflicts: 889000 | #Constraints: 137341 2184.24/2189.63 c #Conflicts: 890000 | #Constraints: 138341 2184.24/2189.63 c #Conflicts: 891000 | #Constraints: 139341 2184.24/2189.63 c #Conflicts: 892000 | #Constraints: 140341 2184.24/2189.63 c #Conflicts: 893000 | #Constraints: 141341 2184.24/2189.63 c #Conflicts: 894000 | #Constraints: 142341 2184.24/2189.63 c #Conflicts: 895000 | #Constraints: 143341 2184.24/2189.63 c #Conflicts: 896000 | #Constraints: 144341 2184.24/2189.63 c #Conflicts: 897000 | #Constraints: 145341 2184.24/2189.63 c #Conflicts: 898000 | #Constraints: 146341 2184.24/2189.63 c #Conflicts: 899000 | #Constraints: 147341 2184.24/2189.63 c #Conflicts: 900000 | #Constraints: 148341 2184.24/2189.63 c #Conflicts: 901000 | #Constraints: 149341 2184.24/2189.63 c #Conflicts: 902000 | #Constraints: 150341 2184.24/2189.63 c #Conflicts: 903000 | #Constraints: 151341 2184.24/2189.63 c INPROCESSING 2184.24/2189.63 c GARBAGE COLLECT 2184.24/2189.63 c rational objective 550 2228.04/2233.58 c #Conflicts: 904000 | #Constraints: 133533 2228.04/2233.58 c #Conflicts: 905000 | #Constraints: 134533 2228.04/2233.58 c #Conflicts: 906000 | #Constraints: 135533 2228.04/2233.58 c #Conflicts: 907000 | #Constraints: 136533 2228.04/2233.58 c #Conflicts: 908000 | #Constraints: 137533 2228.04/2233.58 c #Conflicts: 909000 | #Constraints: 138533 2228.04/2233.58 c #Conflicts: 910000 | #Constraints: 139533 2228.04/2233.58 c #Conflicts: 911000 | #Constraints: 140533 2228.04/2233.58 c #Conflicts: 912000 | #Constraints: 141533 2228.04/2233.58 c #Conflicts: 913000 | #Constraints: 142533 2228.04/2233.58 c #Conflicts: 914000 | #Constraints: 143533 2228.04/2233.58 c #Conflicts: 915000 | #Constraints: 144533 2228.04/2233.58 c #Conflicts: 916000 | #Constraints: 145533 2228.04/2233.58 c #Conflicts: 917000 | #Constraints: 146533 2228.04/2233.58 c #Conflicts: 918000 | #Constraints: 147533 2228.04/2233.58 c #Conflicts: 919000 | #Constraints: 148533 2228.04/2233.58 c #Conflicts: 920000 | #Constraints: 149533 2228.04/2233.58 c #Conflicts: 921000 | #Constraints: 150533 2228.04/2233.58 c #Conflicts: 922000 | #Constraints: 151533 2228.04/2233.58 c INPROCESSING 2228.04/2233.58 c GARBAGE COLLECT 2228.04/2233.58 c rational objective 550 2260.48/2266.10 c #Conflicts: 923000 | #Constraints: 133535 2260.48/2266.10 c #Conflicts: 924000 | #Constraints: 134535 2260.48/2266.10 c #Conflicts: 925000 | #Constraints: 135535 2260.48/2266.10 c #Conflicts: 926000 | #Constraints: 136535 2260.48/2266.10 c #Conflicts: 927000 | #Constraints: 137535 2260.48/2266.10 c #Conflicts: 928000 | #Constraints: 138535 2260.48/2266.10 c #Conflicts: 929000 | #Constraints: 139535 2260.48/2266.10 c #Conflicts: 930000 | #Constraints: 140535 2260.48/2266.10 c #Conflicts: 931000 | #Constraints: 141535 2260.48/2266.10 c #Conflicts: 932000 | #Constraints: 142535 2260.48/2266.10 c #Conflicts: 933000 | #Constraints: 143535 2260.48/2266.10 c #Conflicts: 934000 | #Constraints: 144535 2260.48/2266.10 c #Conflicts: 935000 | #Constraints: 145535 2260.48/2266.10 c #Conflicts: 936000 | #Constraints: 146535 2260.48/2266.10 c #Conflicts: 937000 | #Constraints: 147535 2260.48/2266.10 c #Conflicts: 938000 | #Constraints: 148535 2260.48/2266.10 c #Conflicts: 939000 | #Constraints: 149535 2260.48/2266.10 c #Conflicts: 940000 | #Constraints: 150535 2260.48/2266.10 c #Conflicts: 941000 | #Constraints: 151535 2260.48/2266.10 c INPROCESSING 2260.48/2266.10 c GARBAGE COLLECT 2260.48/2266.10 c rational objective 550 2295.99/2301.68 c #Conflicts: 942000 | #Constraints: 133354 2295.99/2301.68 c #Conflicts: 943000 | #Constraints: 134354 2295.99/2301.68 c #Conflicts: 944000 | #Constraints: 135354 2295.99/2301.68 c #Conflicts: 945000 | #Constraints: 136354 2295.99/2301.68 c #Conflicts: 946000 | #Constraints: 137354 2295.99/2301.68 c #Conflicts: 947000 | #Constraints: 138354 2295.99/2301.68 c #Conflicts: 948000 | #Constraints: 139354 2295.99/2301.68 c #Conflicts: 949000 | #Constraints: 140354 2295.99/2301.68 c #Conflicts: 950000 | #Constraints: 141354 2295.99/2301.68 c #Conflicts: 951000 | #Constraints: 142354 2295.99/2301.68 c #Conflicts: 952000 | #Constraints: 143354 2295.99/2301.68 c #Conflicts: 953000 | #Constraints: 144354 2295.99/2301.68 c #Conflicts: 954000 | #Constraints: 145354 2295.99/2301.68 c #Conflicts: 955000 | #Constraints: 146354 2295.99/2301.68 c #Conflicts: 956000 | #Constraints: 147354 2295.99/2301.68 c #Conflicts: 957000 | #Constraints: 148354 2295.99/2301.68 c #Conflicts: 958000 | #Constraints: 149354 2295.99/2301.68 c #Conflicts: 959000 | #Constraints: 150354 2295.99/2301.68 c #Conflicts: 960000 | #Constraints: 151354 2295.99/2301.68 c #Conflicts: 961000 | #Constraints: 152354 2295.99/2301.68 c INPROCESSING 2295.99/2301.68 c GARBAGE COLLECT 2295.99/2301.68 c rational objective 550 2333.70/2339.46 c #Conflicts: 962000 | #Constraints: 133960 2333.70/2339.46 c #Conflicts: 963000 | #Constraints: 134960 2333.70/2339.46 c #Conflicts: 964000 | #Constraints: 135960 2333.70/2339.46 c #Conflicts: 965000 | #Constraints: 136960 2333.70/2339.46 c #Conflicts: 966000 | #Constraints: 137960 2333.70/2339.46 c #Conflicts: 967000 | #Constraints: 138960 2333.70/2339.46 c #Conflicts: 968000 | #Constraints: 139960 2333.70/2339.46 c #Conflicts: 969000 | #Constraints: 140960 2333.70/2339.46 c #Conflicts: 970000 | #Constraints: 141960 2333.70/2339.46 c #Conflicts: 971000 | #Constraints: 142960 2333.70/2339.46 c #Conflicts: 972000 | #Constraints: 143960 2333.70/2339.46 c #Conflicts: 973000 | #Constraints: 144960 2333.70/2339.46 c #Conflicts: 974000 | #Constraints: 145960 2333.70/2339.46 c #Conflicts: 975000 | #Constraints: 146960 2333.70/2339.46 c #Conflicts: 976000 | #Constraints: 147960 2333.70/2339.46 c #Conflicts: 977000 | #Constraints: 148960 2333.70/2339.46 c #Conflicts: 978000 | #Constraints: 149960 2333.70/2339.46 c #Conflicts: 979000 | #Constraints: 150960 2333.70/2339.46 c #Conflicts: 980000 | #Constraints: 151960 2333.70/2339.46 c #Conflicts: 981000 | #Constraints: 152960 2333.70/2339.46 c INPROCESSING 2333.70/2339.46 c GARBAGE COLLECT 2333.70/2339.46 c rational objective 550 2370.32/2376.18 c #Conflicts: 982000 | #Constraints: 134362 2370.32/2376.18 c #Conflicts: 983000 | #Constraints: 135362 2370.32/2376.18 c #Conflicts: 984000 | #Constraints: 136362 2370.32/2376.18 c #Conflicts: 985000 | #Constraints: 137362 2370.32/2376.18 c #Conflicts: 986000 | #Constraints: 138362 2370.32/2376.18 c #Conflicts: 987000 | #Constraints: 139362 2370.32/2376.18 c #Conflicts: 988000 | #Constraints: 140362 2370.32/2376.18 c #Conflicts: 989000 | #Constraints: 141362 2370.32/2376.18 c #Conflicts: 990000 | #Constraints: 142362 2370.32/2376.18 c #Conflicts: 991000 | #Constraints: 143362 2370.32/2376.18 c #Conflicts: 992000 | #Constraints: 144362 2370.32/2376.18 c #Conflicts: 993000 | #Constraints: 145362 2370.32/2376.18 c #Conflicts: 994000 | #Constraints: 146362 2370.32/2376.18 c #Conflicts: 995000 | #Constraints: 147362 2370.32/2376.18 c #Conflicts: 996000 | #Constraints: 148362 2370.32/2376.18 c #Conflicts: 997000 | #Constraints: 149362 2370.32/2376.18 c #Conflicts: 998000 | #Constraints: 150362 2370.32/2376.18 c #Conflicts: 999000 | #Constraints: 151362 2370.32/2376.18 c #Conflicts: 1000000 | #Constraints: 152362 2370.32/2376.18 c #Conflicts: 1001000 | #Constraints: 153362 2370.32/2376.18 c INPROCESSING 2370.32/2376.18 c GARBAGE COLLECT 2370.32/2376.18 c rational objective 550 2402.94/2408.88 c #Conflicts: 1002000 | #Constraints: 134574 2402.94/2408.88 c #Conflicts: 1003000 | #Constraints: 135574 2402.94/2408.88 c #Conflicts: 1004000 | #Constraints: 136574 2402.94/2408.88 c #Conflicts: 1005000 | #Constraints: 137574 2402.94/2408.88 c #Conflicts: 1006000 | #Constraints: 138574 2402.94/2408.88 c #Conflicts: 1007000 | #Constraints: 139574 2402.94/2408.88 c #Conflicts: 1008000 | #Constraints: 140574 2402.94/2408.88 c #Conflicts: 1009000 | #Constraints: 141574 2402.94/2408.88 c #Conflicts: 1010000 | #Constraints: 142574 2402.94/2408.88 c #Conflicts: 1011000 | #Constraints: 143574 2402.94/2408.88 c #Conflicts: 1012000 | #Constraints: 144574 2402.94/2408.88 c #Conflicts: 1013000 | #Constraints: 145574 2402.94/2408.88 c #Conflicts: 1014000 | #Constraints: 146574 2402.94/2408.88 c #Conflicts: 1015000 | #Constraints: 147574 2402.94/2408.88 c #Conflicts: 1016000 | #Constraints: 148574 2402.94/2408.88 c #Conflicts: 1017000 | #Constraints: 149574 2402.94/2408.88 c #Conflicts: 1018000 | #Constraints: 150574 2402.94/2408.88 c #Conflicts: 1019000 | #Constraints: 151574 2402.94/2408.88 c #Conflicts: 1020000 | #Constraints: 152574 2402.94/2408.88 c #Conflicts: 1021000 | #Constraints: 153574 2402.94/2408.88 c INPROCESSING 2402.94/2408.88 c GARBAGE COLLECT 2402.94/2408.88 c rational objective 550 2437.96/2443.93 c #Conflicts: 1022000 | #Constraints: 134587 2437.96/2443.93 c #Conflicts: 1023000 | #Constraints: 135587 2437.96/2443.93 c #Conflicts: 1024000 | #Constraints: 136587 2437.96/2443.93 c #Conflicts: 1025000 | #Constraints: 137587 2437.96/2443.93 c #Conflicts: 1026000 | #Constraints: 138587 2437.96/2443.93 c #Conflicts: 1027000 | #Constraints: 139587 2437.96/2443.93 c #Conflicts: 1028000 | #Constraints: 140587 2437.96/2443.93 c #Conflicts: 1029000 | #Constraints: 141587 2437.96/2443.93 c #Conflicts: 1030000 | #Constraints: 142587 2437.96/2443.93 c #Conflicts: 1031000 | #Constraints: 143587 2437.96/2443.93 c #Conflicts: 1032000 | #Constraints: 144587 2437.96/2443.93 c #Conflicts: 1033000 | #Constraints: 145587 2437.96/2443.93 c #Conflicts: 1034000 | #Constraints: 146587 2437.96/2443.93 c #Conflicts: 1035000 | #Constraints: 147587 2437.96/2443.93 c #Conflicts: 1036000 | #Constraints: 148587 2437.96/2443.93 c #Conflicts: 1037000 | #Constraints: 149587 2437.96/2443.93 c #Conflicts: 1038000 | #Constraints: 150587 2437.96/2443.93 c #Conflicts: 1039000 | #Constraints: 151587 2437.96/2443.93 c #Conflicts: 1040000 | #Constraints: 152587 2437.96/2443.93 c #Conflicts: 1041000 | #Constraints: 153587 2437.96/2443.93 c INPROCESSING 2437.96/2443.93 c GARBAGE COLLECT 2437.96/2443.93 c rational objective 550 2469.19/2475.29 c #Conflicts: 1042000 | #Constraints: 134382 2469.19/2475.29 c #Conflicts: 1043000 | #Constraints: 135382 2469.19/2475.29 c #Conflicts: 1044000 | #Constraints: 136382 2469.19/2475.29 c #Conflicts: 1045000 | #Constraints: 137382 2469.19/2475.29 c #Conflicts: 1046000 | #Constraints: 138382 2469.19/2475.29 c #Conflicts: 1047000 | #Constraints: 139382 2469.19/2475.29 c #Conflicts: 1048000 | #Constraints: 140382 2469.19/2475.29 c #Conflicts: 1049000 | #Constraints: 141382 2469.19/2475.29 c #Conflicts: 1050000 | #Constraints: 142382 2469.19/2475.29 c #Conflicts: 1051000 | #Constraints: 143382 2469.19/2475.29 c #Conflicts: 1052000 | #Constraints: 144382 2469.19/2475.29 c #Conflicts: 1053000 | #Constraints: 145382 2469.19/2475.29 c #Conflicts: 1054000 | #Constraints: 146382 2469.19/2475.29 c #Conflicts: 1055000 | #Constraints: 147382 2469.19/2475.29 c #Conflicts: 1056000 | #Constraints: 148382 2469.19/2475.29 c #Conflicts: 1057000 | #Constraints: 149382 2469.19/2475.29 c #Conflicts: 1058000 | #Constraints: 150382 2469.19/2475.29 c #Conflicts: 1059000 | #Constraints: 151382 2469.19/2475.29 c #Conflicts: 1060000 | #Constraints: 152382 2469.19/2475.29 c #Conflicts: 1061000 | #Constraints: 153382 2469.19/2475.29 c #Conflicts: 1062000 | #Constraints: 154382 2469.19/2475.29 c INPROCESSING 2469.19/2475.29 c GARBAGE COLLECT 2469.19/2475.29 c rational objective 550 2503.81/2509.98 c #Conflicts: 1063000 | #Constraints: 134983 2503.81/2509.98 c #Conflicts: 1064000 | #Constraints: 135983 2503.81/2509.98 c #Conflicts: 1065000 | #Constraints: 136983 2503.81/2509.98 c #Conflicts: 1066000 | #Constraints: 137983 2503.81/2509.98 c #Conflicts: 1067000 | #Constraints: 138983 2503.81/2509.98 c #Conflicts: 1068000 | #Constraints: 139983 2503.81/2509.98 c #Conflicts: 1069000 | #Constraints: 140983 2503.81/2509.98 c #Conflicts: 1070000 | #Constraints: 141983 2503.81/2509.98 c #Conflicts: 1071000 | #Constraints: 142983 2503.81/2509.98 c #Conflicts: 1072000 | #Constraints: 143983 2503.81/2509.98 c #Conflicts: 1073000 | #Constraints: 144983 2503.81/2509.98 c #Conflicts: 1074000 | #Constraints: 145983 2503.81/2509.98 c #Conflicts: 1075000 | #Constraints: 146983 2503.81/2509.98 c #Conflicts: 1076000 | #Constraints: 147983 2503.81/2509.98 c #Conflicts: 1077000 | #Constraints: 148983 2503.81/2509.98 c #Conflicts: 1078000 | #Constraints: 149983 2503.81/2509.98 c #Conflicts: 1079000 | #Constraints: 150983 2503.81/2509.98 c #Conflicts: 1080000 | #Constraints: 151983 2503.81/2509.98 c #Conflicts: 1081000 | #Constraints: 152983 2503.81/2509.98 c #Conflicts: 1082000 | #Constraints: 153983 2503.81/2509.98 c #Conflicts: 1083000 | #Constraints: 154983 2503.81/2509.98 c INPROCESSING 2503.81/2509.98 c GARBAGE COLLECT 2503.81/2509.98 c rational objective 550 2540.52/2546.79 c #Conflicts: 1084000 | #Constraints: 135370 2540.52/2546.79 c #Conflicts: 1085000 | #Constraints: 136370 2540.52/2546.79 c #Conflicts: 1086000 | #Constraints: 137370 2540.52/2546.79 c #Conflicts: 1087000 | #Constraints: 138370 2540.52/2546.79 c #Conflicts: 1088000 | #Constraints: 139370 2540.52/2546.79 c #Conflicts: 1089000 | #Constraints: 140370 2540.52/2546.79 c #Conflicts: 1090000 | #Constraints: 141370 2540.52/2546.79 c #Conflicts: 1091000 | #Constraints: 142370 2540.52/2546.79 c #Conflicts: 1092000 | #Constraints: 143370 2540.52/2546.79 c #Conflicts: 1093000 | #Constraints: 144370 2540.52/2546.79 c #Conflicts: 1094000 | #Constraints: 145370 2540.52/2546.79 c #Conflicts: 1095000 | #Constraints: 146370 2540.52/2546.79 c #Conflicts: 1096000 | #Constraints: 147370 2540.52/2546.79 c #Conflicts: 1097000 | #Constraints: 148370 2540.52/2546.79 c #Conflicts: 1098000 | #Constraints: 149370 2540.52/2546.79 c #Conflicts: 1099000 | #Constraints: 150370 2540.52/2546.79 c #Conflicts: 1100000 | #Constraints: 151370 2540.52/2546.79 c #Conflicts: 1101000 | #Constraints: 152370 2540.52/2546.79 c #Conflicts: 1102000 | #Constraints: 153370 2540.52/2546.79 c #Conflicts: 1103000 | #Constraints: 154370 2540.52/2546.79 c #Conflicts: 1104000 | #Constraints: 155370 2540.52/2546.79 c INPROCESSING 2540.52/2546.79 c GARBAGE COLLECT 2540.52/2546.79 c rational objective 550 2583.12/2589.45 c #Conflicts: 1105000 | #Constraints: 135581 2583.12/2589.45 c #Conflicts: 1106000 | #Constraints: 136581 2583.12/2589.45 c #Conflicts: 1107000 | #Constraints: 137581 2583.12/2589.45 c #Conflicts: 1108000 | #Constraints: 138581 2583.12/2589.45 c #Conflicts: 1109000 | #Constraints: 139581 2583.12/2589.45 c #Conflicts: 1110000 | #Constraints: 140581 2583.12/2589.45 c #Conflicts: 1111000 | #Constraints: 141581 2583.12/2589.45 c #Conflicts: 1112000 | #Constraints: 142581 2583.12/2589.45 c #Conflicts: 1113000 | #Constraints: 143581 2583.12/2589.45 c #Conflicts: 1114000 | #Constraints: 144581 2583.12/2589.45 c #Conflicts: 1115000 | #Constraints: 145581 2583.12/2589.45 c #Conflicts: 1116000 | #Constraints: 146581 2583.12/2589.45 c #Conflicts: 1117000 | #Constraints: 147581 2583.12/2589.45 c #Conflicts: 1118000 | #Constraints: 148581 2583.12/2589.45 c #Conflicts: 1119000 | #Constraints: 149581 2583.12/2589.45 c #Conflicts: 1120000 | #Constraints: 150581 2583.12/2589.45 c #Conflicts: 1121000 | #Constraints: 151581 2583.12/2589.45 c #Conflicts: 1122000 | #Constraints: 152581 2583.12/2589.45 c #Conflicts: 1123000 | #Constraints: 153581 2583.12/2589.45 c #Conflicts: 1124000 | #Constraints: 154581 2583.12/2589.45 c #Conflicts: 1125000 | #Constraints: 155581 2583.12/2589.45 c INPROCESSING 2583.12/2589.45 c GARBAGE COLLECT 2583.12/2589.45 c rational objective 550 2637.09/2643.50 c #Conflicts: 1126000 | #Constraints: 135579 2637.09/2643.50 c #Conflicts: 1127000 | #Constraints: 136579 2637.09/2643.50 c #Conflicts: 1128000 | #Constraints: 137579 2637.09/2643.50 c #Conflicts: 1129000 | #Constraints: 138579 2637.09/2643.50 c #Conflicts: 1130000 | #Constraints: 139579 2637.09/2643.50 c #Conflicts: 1131000 | #Constraints: 140579 2637.09/2643.50 c #Conflicts: 1132000 | #Constraints: 141579 2637.09/2643.50 c #Conflicts: 1133000 | #Constraints: 142579 2637.09/2643.50 c #Conflicts: 1134000 | #Constraints: 143579 2637.09/2643.50 c #Conflicts: 1135000 | #Constraints: 144579 2637.09/2643.50 c #Conflicts: 1136000 | #Constraints: 145579 2637.09/2643.50 c #Conflicts: 1137000 | #Constraints: 146579 2637.09/2643.50 c #Conflicts: 1138000 | #Constraints: 147579 2637.09/2643.50 c #Conflicts: 1139000 | #Constraints: 148579 2637.09/2643.50 c #Conflicts: 1140000 | #Constraints: 149579 2637.09/2643.50 c #Conflicts: 1141000 | #Constraints: 150579 2637.09/2643.50 c #Conflicts: 1142000 | #Constraints: 151579 2637.09/2643.50 c #Conflicts: 1143000 | #Constraints: 152579 2637.09/2643.50 c #Conflicts: 1144000 | #Constraints: 153579 2637.09/2643.50 c #Conflicts: 1145000 | #Constraints: 154579 2637.09/2643.50 c #Conflicts: 1146000 | #Constraints: 155579 2637.09/2643.50 c INPROCESSING 2637.09/2643.50 c GARBAGE COLLECT 2637.09/2643.50 c rational objective 550 2693.56/2700.12 c #Conflicts: 1147000 | #Constraints: 135365 2693.56/2700.12 c #Conflicts: 1148000 | #Constraints: 136365 2693.56/2700.12 c #Conflicts: 1149000 | #Constraints: 137365 2693.56/2700.12 c #Conflicts: 1150000 | #Constraints: 138365 2693.56/2700.12 c #Conflicts: 1151000 | #Constraints: 139365 2693.56/2700.12 c #Conflicts: 1152000 | #Constraints: 140365 2693.56/2700.12 c #Conflicts: 1153000 | #Constraints: 141365 2693.56/2700.12 c #Conflicts: 1154000 | #Constraints: 142365 2693.56/2700.12 c #Conflicts: 1155000 | #Constraints: 143365 2693.56/2700.12 c #Conflicts: 1156000 | #Constraints: 144365 2693.56/2700.12 c #Conflicts: 1157000 | #Constraints: 145365 2693.56/2700.12 c #Conflicts: 1158000 | #Constraints: 146365 2693.56/2700.12 c #Conflicts: 1159000 | #Constraints: 147365 2693.56/2700.12 c #Conflicts: 1160000 | #Constraints: 148365 2693.56/2700.12 c #Conflicts: 1161000 | #Constraints: 149365 2693.56/2700.12 c #Conflicts: 1162000 | #Constraints: 150365 2693.56/2700.12 c #Conflicts: 1163000 | #Constraints: 151365 2693.56/2700.12 c #Conflicts: 1164000 | #Constraints: 152365 2693.56/2700.12 c #Conflicts: 1165000 | #Constraints: 153365 2693.56/2700.12 c #Conflicts: 1166000 | #Constraints: 154365 2693.56/2700.12 c #Conflicts: 1167000 | #Constraints: 155365 2693.56/2700.12 c #Conflicts: 1168000 | #Constraints: 156365 2693.56/2700.12 c INPROCESSING 2693.56/2700.12 c GARBAGE COLLECT 2693.56/2700.12 c rational objective 550 2744.92/2751.64 c #Conflicts: 1169000 | #Constraints: 135955 2744.92/2751.64 c #Conflicts: 1170000 | #Constraints: 136955 2744.92/2751.64 c #Conflicts: 1171000 | #Constraints: 137955 2744.92/2751.64 c #Conflicts: 1172000 | #Constraints: 138955 2744.92/2751.64 c #Conflicts: 1173000 | #Constraints: 139955 2744.92/2751.64 c #Conflicts: 1174000 | #Constraints: 140955 2744.92/2751.64 c #Conflicts: 1175000 | #Constraints: 141955 2744.92/2751.64 c #Conflicts: 1176000 | #Constraints: 142955 2744.92/2751.64 c #Conflicts: 1177000 | #Constraints: 143955 2744.92/2751.64 c #Conflicts: 1178000 | #Constraints: 144955 2744.92/2751.64 c #Conflicts: 1179000 | #Constraints: 145955 2744.92/2751.64 c #Conflicts: 1180000 | #Constraints: 146955 2744.92/2751.64 c #Conflicts: 1181000 | #Constraints: 147955 2744.92/2751.64 c #Conflicts: 1182000 | #Constraints: 148955 2744.92/2751.64 c #Conflicts: 1183000 | #Constraints: 149955 2744.92/2751.64 c #Conflicts: 1184000 | #Constraints: 150955 2744.92/2751.64 c #Conflicts: 1185000 | #Constraints: 151955 2744.92/2751.64 c #Conflicts: 1186000 | #Constraints: 152955 2744.92/2751.64 c #Conflicts: 1187000 | #Constraints: 153955 2744.92/2751.64 c #Conflicts: 1188000 | #Constraints: 154955 2744.92/2751.64 c #Conflicts: 1189000 | #Constraints: 155955 2744.92/2751.64 c #Conflicts: 1190000 | #Constraints: 156955 2744.92/2751.64 c INPROCESSING 2744.92/2751.64 c GARBAGE COLLECT 2744.92/2751.64 c rational objective 550 2784.81/2791.67 c #Conflicts: 1191000 | #Constraints: 136354 2784.81/2791.67 c #Conflicts: 1192000 | #Constraints: 137354 2784.81/2791.67 c #Conflicts: 1193000 | #Constraints: 138354 2784.81/2791.67 c #Conflicts: 1194000 | #Constraints: 139354 2784.81/2791.67 c #Conflicts: 1195000 | #Constraints: 140354 2784.81/2791.67 c #Conflicts: 1196000 | #Constraints: 141354 2784.81/2791.67 c #Conflicts: 1197000 | #Constraints: 142354 2784.81/2791.67 c #Conflicts: 1198000 | #Constraints: 143354 2784.81/2791.67 c #Conflicts: 1199000 | #Constraints: 144354 2784.81/2791.67 c #Conflicts: 1200000 | #Constraints: 145354 2784.81/2791.67 c #Conflicts: 1201000 | #Constraints: 146354 2784.81/2791.67 c #Conflicts: 1202000 | #Constraints: 147354 2784.81/2791.67 c #Conflicts: 1203000 | #Constraints: 148354 2784.81/2791.67 c #Conflicts: 1204000 | #Constraints: 149354 2784.81/2791.67 c #Conflicts: 1205000 | #Constraints: 150354 2784.81/2791.67 c #Conflicts: 1206000 | #Constraints: 151354 2784.81/2791.67 c #Conflicts: 1207000 | #Constraints: 152354 2784.81/2791.67 c #Conflicts: 1208000 | #Constraints: 153354 2784.81/2791.67 c #Conflicts: 1209000 | #Constraints: 154354 2784.81/2791.67 c #Conflicts: 1210000 | #Constraints: 155354 2784.81/2791.67 c #Conflicts: 1211000 | #Constraints: 156354 2784.81/2791.67 c #Conflicts: 1212000 | #Constraints: 157354 2784.81/2791.67 c INPROCESSING 2784.81/2791.67 c GARBAGE COLLECT 2784.81/2791.67 c rational objective 550 2834.35/2841.39 c #Conflicts: 1213000 | #Constraints: 136546 2834.35/2841.39 c #Conflicts: 1214000 | #Constraints: 137546 2834.35/2841.39 c #Conflicts: 1215000 | #Constraints: 138546 2834.35/2841.39 c #Conflicts: 1216000 | #Constraints: 139546 2834.35/2841.39 c #Conflicts: 1217000 | #Constraints: 140546 2834.35/2841.39 c #Conflicts: 1218000 | #Constraints: 141546 2834.35/2841.39 c #Conflicts: 1219000 | #Constraints: 142546 2834.35/2841.39 c #Conflicts: 1220000 | #Constraints: 143546 2834.35/2841.39 c #Conflicts: 1221000 | #Constraints: 144546 2834.35/2841.39 c #Conflicts: 1222000 | #Constraints: 145546 2834.35/2841.39 c #Conflicts: 1223000 | #Constraints: 146546 2834.35/2841.39 c #Conflicts: 1224000 | #Constraints: 147546 2834.35/2841.39 c #Conflicts: 1225000 | #Constraints: 148546 2834.35/2841.39 c #Conflicts: 1226000 | #Constraints: 149546 2834.35/2841.39 c #Conflicts: 1227000 | #Constraints: 150546 2834.35/2841.39 c #Conflicts: 1228000 | #Constraints: 151546 2834.35/2841.39 c #Conflicts: 1229000 | #Constraints: 152546 2834.35/2841.39 c #Conflicts: 1230000 | #Constraints: 153546 2834.35/2841.39 c #Conflicts: 1231000 | #Constraints: 154546 2834.35/2841.39 c #Conflicts: 1232000 | #Constraints: 155546 2834.35/2841.39 c #Conflicts: 1233000 | #Constraints: 156546 2834.35/2841.39 c #Conflicts: 1234000 | #Constraints: 157546 2834.35/2841.39 c INPROCESSING 2834.35/2841.39 c GARBAGE COLLECT 2834.35/2841.39 c rational objective 550 2880.58/2887.71 c #Conflicts: 1235000 | #Constraints: 136536 2880.58/2887.71 c #Conflicts: 1236000 | #Constraints: 137536 2880.58/2887.71 c #Conflicts: 1237000 | #Constraints: 138536 2880.58/2887.71 c #Conflicts: 1238000 | #Constraints: 139536 2880.58/2887.71 c #Conflicts: 1239000 | #Constraints: 140536 2880.58/2887.71 c #Conflicts: 1240000 | #Constraints: 141536 2880.58/2887.71 c #Conflicts: 1241000 | #Constraints: 142536 2880.58/2887.71 c #Conflicts: 1242000 | #Constraints: 143536 2880.58/2887.71 c #Conflicts: 1243000 | #Constraints: 144536 2880.58/2887.71 c #Conflicts: 1244000 | #Constraints: 145536 2880.58/2887.71 c #Conflicts: 1245000 | #Constraints: 146536 2880.58/2887.71 c #Conflicts: 1246000 | #Constraints: 147536 2880.58/2887.71 c #Conflicts: 1247000 | #Constraints: 148536 2880.58/2887.71 c #Conflicts: 1248000 | #Constraints: 149536 2880.58/2887.71 c #Conflicts: 1249000 | #Constraints: 150536 2880.58/2887.71 c #Conflicts: 1250000 | #Constraints: 151536 2880.58/2887.71 c #Conflicts: 1251000 | #Constraints: 152536 2880.58/2887.71 c #Conflicts: 1252000 | #Constraints: 153536 2880.58/2887.71 c #Conflicts: 1253000 | #Constraints: 154536 2880.58/2887.71 c #Conflicts: 1254000 | #Constraints: 155536 2880.58/2887.71 c #Conflicts: 1255000 | #Constraints: 156536 2880.58/2887.71 c #Conflicts: 1256000 | #Constraints: 157536 2880.58/2887.71 c INPROCESSING 2880.58/2887.71 c GARBAGE COLLECT 2880.58/2887.71 c rational objective 550 2941.28/2948.65 c #Conflicts: 1257000 | #Constraints: 136333 2941.28/2948.65 c #Conflicts: 1258000 | #Constraints: 137333 2941.28/2948.65 c #Conflicts: 1259000 | #Constraints: 138333 2941.28/2948.65 c #Conflicts: 1260000 | #Constraints: 139333 2941.28/2948.65 c #Conflicts: 1261000 | #Constraints: 140333 2941.28/2948.65 c #Conflicts: 1262000 | #Constraints: 141333 2941.28/2948.65 c #Conflicts: 1263000 | #Constraints: 142333 2941.28/2948.65 c #Conflicts: 1264000 | #Constraints: 143333 2941.28/2948.65 c #Conflicts: 1265000 | #Constraints: 144333 2941.28/2948.65 c #Conflicts: 1266000 | #Constraints: 145333 2941.28/2948.65 c #Conflicts: 1267000 | #Constraints: 146333 2941.28/2948.65 c #Conflicts: 1268000 | #Constraints: 147333 2941.28/2948.65 c #Conflicts: 1269000 | #Constraints: 148333 2941.28/2948.65 c #Conflicts: 1270000 | #Constraints: 149333 2941.28/2948.65 c #Conflicts: 1271000 | #Constraints: 150333 2941.28/2948.65 c #Conflicts: 1272000 | #Constraints: 151333 2941.28/2948.65 c #Conflicts: 1273000 | #Constraints: 152333 2941.28/2948.65 c #Conflicts: 1274000 | #Constraints: 153333 2941.28/2948.65 c #Conflicts: 1275000 | #Constraints: 154333 2941.28/2948.65 c #Conflicts: 1276000 | #Constraints: 155333 2941.28/2948.65 c #Conflicts: 1277000 | #Constraints: 156333 2941.28/2948.65 c #Conflicts: 1278000 | #Constraints: 157333 2941.28/2948.65 c #Conflicts: 1279000 | #Constraints: 158333 2941.28/2948.65 c INPROCESSING 2941.28/2948.65 c GARBAGE COLLECT 2941.28/2948.65 c rational objective 550 2996.67/3004.21 c #Conflicts: 1280000 | #Constraints: 136928 2996.67/3004.21 c #Conflicts: 1281000 | #Constraints: 137928 2996.67/3004.21 c #Conflicts: 1282000 | #Constraints: 138928 2996.67/3004.21 c #Conflicts: 1283000 | #Constraints: 139928 2996.67/3004.21 c #Conflicts: 1284000 | #Constraints: 140928 2996.67/3004.21 c #Conflicts: 1285000 | #Constraints: 141928 2996.67/3004.21 c #Conflicts: 1286000 | #Constraints: 142928 2996.67/3004.21 c #Conflicts: 1287000 | #Constraints: 143928 2996.67/3004.21 c #Conflicts: 1288000 | #Constraints: 144928 2996.67/3004.21 c #Conflicts: 1289000 | #Constraints: 145928 2996.67/3004.21 c #Conflicts: 1290000 | #Constraints: 146928 2996.67/3004.21 c #Conflicts: 1291000 | #Constraints: 147928 2996.67/3004.21 c #Conflicts: 1292000 | #Constraints: 148928 2996.67/3004.21 c #Conflicts: 1293000 | #Constraints: 149928 2996.67/3004.21 c #Conflicts: 1294000 | #Constraints: 150928 2996.67/3004.21 c #Conflicts: 1295000 | #Constraints: 151928 2996.67/3004.21 c #Conflicts: 1296000 | #Constraints: 152928 2996.67/3004.21 c #Conflicts: 1297000 | #Constraints: 153928 2996.67/3004.21 c #Conflicts: 1298000 | #Constraints: 154928 2996.67/3004.21 c #Conflicts: 1299000 | #Constraints: 155928 2996.67/3004.21 c #Conflicts: 1300000 | #Constraints: 156928 2996.67/3004.21 c #Conflicts: 1301000 | #Constraints: 157928 2996.67/3004.21 c #Conflicts: 1302000 | #Constraints: 158928 2996.67/3004.21 c INPROCESSING 2996.67/3004.21 c GARBAGE COLLECT 2996.67/3004.21 c rational objective 550 3052.39/3060.11 c #Conflicts: 1303000 | #Constraints: 137336 3052.39/3060.11 c #Conflicts: 1304000 | #Constraints: 138336 3052.39/3060.11 c #Conflicts: 1305000 | #Constraints: 139336 3052.39/3060.11 c #Conflicts: 1306000 | #Constraints: 140336 3052.39/3060.11 c #Conflicts: 1307000 | #Constraints: 141336 3052.39/3060.11 c #Conflicts: 1308000 | #Constraints: 142336 3052.39/3060.11 c #Conflicts: 1309000 | #Constraints: 143336 3052.39/3060.11 c #Conflicts: 1310000 | #Constraints: 144336 3052.39/3060.11 c #Conflicts: 1311000 | #Constraints: 145336 3052.39/3060.11 c #Conflicts: 1312000 | #Constraints: 146336 3052.39/3060.11 c #Conflicts: 1313000 | #Constraints: 147336 3052.39/3060.11 c #Conflicts: 1314000 | #Constraints: 148336 3052.39/3060.11 c #Conflicts: 1315000 | #Constraints: 149336 3052.39/3060.11 c #Conflicts: 1316000 | #Constraints: 150336 3052.39/3060.11 c #Conflicts: 1317000 | #Constraints: 151336 3052.39/3060.11 c #Conflicts: 1318000 | #Constraints: 152336 3052.39/3060.11 c #Conflicts: 1319000 | #Constraints: 153336 3052.39/3060.11 c #Conflicts: 1320000 | #Constraints: 154336 3052.39/3060.11 c #Conflicts: 1321000 | #Constraints: 155336 3052.39/3060.11 c #Conflicts: 1322000 | #Constraints: 156336 3052.39/3060.11 c #Conflicts: 1323000 | #Constraints: 157336 3052.39/3060.11 c #Conflicts: 1324000 | #Constraints: 158336 3052.39/3060.11 c #Conflicts: 1325000 | #Constraints: 159336 3052.39/3060.11 c INPROCESSING 3052.39/3060.11 c GARBAGE COLLECT 3052.39/3060.11 c rational objective 550 3095.44/3103.34 c #Conflicts: 1326000 | #Constraints: 137551 3095.44/3103.34 c #Conflicts: 1327000 | #Constraints: 138551 3095.44/3103.34 c #Conflicts: 1328000 | #Constraints: 139551 3095.44/3103.34 c #Conflicts: 1329000 | #Constraints: 140551 3095.44/3103.34 c #Conflicts: 1330000 | #Constraints: 141551 3095.44/3103.34 c #Conflicts: 1331000 | #Constraints: 142551 3095.44/3103.34 c #Conflicts: 1332000 | #Constraints: 143551 3095.44/3103.34 c #Conflicts: 1333000 | #Constraints: 144551 3095.44/3103.34 c #Conflicts: 1334000 | #Constraints: 145551 3095.44/3103.34 c #Conflicts: 1335000 | #Constraints: 146551 3095.44/3103.34 c #Conflicts: 1336000 | #Constraints: 147551 3095.44/3103.34 c #Conflicts: 1337000 | #Constraints: 148551 3095.44/3103.34 c #Conflicts: 1338000 | #Constraints: 149551 3095.44/3103.34 c #Conflicts: 1339000 | #Constraints: 150551 3095.44/3103.34 c #Conflicts: 1340000 | #Constraints: 151551 3095.44/3103.34 c #Conflicts: 1341000 | #Constraints: 152551 3095.44/3103.34 c #Conflicts: 1342000 | #Constraints: 153551 3095.44/3103.34 c #Conflicts: 1343000 | #Constraints: 154551 3095.44/3103.34 c #Conflicts: 1344000 | #Constraints: 155551 3095.44/3103.34 c #Conflicts: 1345000 | #Constraints: 156551 3095.44/3103.34 c #Conflicts: 1346000 | #Constraints: 157551 3095.44/3103.34 c #Conflicts: 1347000 | #Constraints: 158551 3095.44/3103.34 c #Conflicts: 1348000 | #Constraints: 159551 3095.44/3103.34 c INPROCESSING 3095.44/3103.34 c GARBAGE COLLECT 3095.44/3103.34 c rational objective 550 3160.41/3168.56 c #Conflicts: 1349000 | #Constraints: 137554 3160.41/3168.56 c #Conflicts: 1350000 | #Constraints: 138554 3160.41/3168.56 c #Conflicts: 1351000 | #Constraints: 139554 3160.41/3168.56 c #Conflicts: 1352000 | #Constraints: 140554 3160.41/3168.56 c #Conflicts: 1353000 | #Constraints: 141554 3160.41/3168.56 c #Conflicts: 1354000 | #Constraints: 142554 3160.41/3168.56 c #Conflicts: 1355000 | #Constraints: 143554 3160.41/3168.56 c #Conflicts: 1356000 | #Constraints: 144554 3160.41/3168.56 c #Conflicts: 1357000 | #Constraints: 145554 3160.41/3168.56 c #Conflicts: 1358000 | #Constraints: 146554 3160.41/3168.56 c #Conflicts: 1359000 | #Constraints: 147554 3160.41/3168.56 c #Conflicts: 1360000 | #Constraints: 148554 3160.41/3168.56 c #Conflicts: 1361000 | #Constraints: 149554 3160.41/3168.56 c #Conflicts: 1362000 | #Constraints: 150554 3160.41/3168.56 c #Conflicts: 1363000 | #Constraints: 151554 3160.41/3168.56 c #Conflicts: 1364000 | #Constraints: 152554 3160.41/3168.56 c #Conflicts: 1365000 | #Constraints: 153554 3160.41/3168.56 c #Conflicts: 1366000 | #Constraints: 154554 3160.41/3168.56 c #Conflicts: 1367000 | #Constraints: 155554 3160.41/3168.56 c #Conflicts: 1368000 | #Constraints: 156554 3160.41/3168.56 c #Conflicts: 1369000 | #Constraints: 157554 3160.41/3168.56 c #Conflicts: 1370000 | #Constraints: 158554 3160.41/3168.56 c #Conflicts: 1371000 | #Constraints: 159554 3160.41/3168.56 c INPROCESSING 3160.41/3168.56 c GARBAGE COLLECT 3160.41/3168.56 c rational objective 550 3216.62/3224.94 c #Conflicts: 1372000 | #Constraints: 137337 3216.62/3224.94 c #Conflicts: 1373000 | #Constraints: 138337 3216.62/3224.94 c #Conflicts: 1374000 | #Constraints: 139337 3216.62/3224.94 c #Conflicts: 1375000 | #Constraints: 140337 3216.62/3224.94 c #Conflicts: 1376000 | #Constraints: 141337 3216.62/3224.94 c #Conflicts: 1377000 | #Constraints: 142337 3216.62/3224.94 c #Conflicts: 1378000 | #Constraints: 143337 3216.62/3224.94 c #Conflicts: 1379000 | #Constraints: 144337 3216.62/3224.94 c #Conflicts: 1380000 | #Constraints: 145337 3216.62/3224.94 c #Conflicts: 1381000 | #Constraints: 146337 3216.62/3224.94 c #Conflicts: 1382000 | #Constraints: 147337 3216.62/3224.94 c #Conflicts: 1383000 | #Constraints: 148337 3216.62/3224.94 c #Conflicts: 1384000 | #Constraints: 149337 3216.62/3224.94 c #Conflicts: 1385000 | #Constraints: 150337 3216.62/3224.94 c #Conflicts: 1386000 | #Constraints: 151337 3216.62/3224.94 c #Conflicts: 1387000 | #Constraints: 152337 3216.62/3224.94 c #Conflicts: 1388000 | #Constraints: 153337 3216.62/3224.94 c #Conflicts: 1389000 | #Constraints: 154337 3216.62/3224.94 c #Conflicts: 1390000 | #Constraints: 155337 3216.62/3224.94 c #Conflicts: 1391000 | #Constraints: 156337 3216.62/3224.94 c #Conflicts: 1392000 | #Constraints: 157337 3216.62/3224.94 c #Conflicts: 1393000 | #Constraints: 158337 3216.62/3224.94 c #Conflicts: 1394000 | #Constraints: 159337 3216.62/3224.94 c #Conflicts: 1395000 | #Constraints: 160337 3216.62/3224.94 c INPROCESSING 3216.62/3224.94 c GARBAGE COLLECT 3216.62/3224.94 c rational objective 550 3273.34/3281.86 c #Conflicts: 1396000 | #Constraints: 137937 3273.34/3281.86 c #Conflicts: 1397000 | #Constraints: 138937 3273.34/3281.86 c #Conflicts: 1398000 | #Constraints: 139937 3273.34/3281.86 c #Conflicts: 1399000 | #Constraints: 140937 3273.34/3281.86 c #Conflicts: 1400000 | #Constraints: 141937 3273.34/3281.86 c #Conflicts: 1401000 | #Constraints: 142937 3273.34/3281.86 c #Conflicts: 1402000 | #Constraints: 143937 3273.34/3281.86 c #Conflicts: 1403000 | #Constraints: 144937 3273.34/3281.86 c #Conflicts: 1404000 | #Constraints: 145937 3273.34/3281.86 c #Conflicts: 1405000 | #Constraints: 146937 3273.34/3281.86 c #Conflicts: 1406000 | #Constraints: 147937 3273.34/3281.86 c #Conflicts: 1407000 | #Constraints: 148937 3273.34/3281.86 c #Conflicts: 1408000 | #Constraints: 149937 3273.34/3281.86 c #Conflicts: 1409000 | #Constraints: 150937 3273.34/3281.86 c #Conflicts: 1410000 | #Constraints: 151937 3273.34/3281.86 c #Conflicts: 1411000 | #Constraints: 152937 3273.34/3281.86 c #Conflicts: 1412000 | #Constraints: 153937 3273.34/3281.86 c #Conflicts: 1413000 | #Constraints: 154937 3273.34/3281.86 c #Conflicts: 1414000 | #Constraints: 155937 3273.34/3281.86 c #Conflicts: 1415000 | #Constraints: 156937 3273.34/3281.86 c #Conflicts: 1416000 | #Constraints: 157937 3273.34/3281.86 c #Conflicts: 1417000 | #Constraints: 158937 3273.34/3281.86 c #Conflicts: 1418000 | #Constraints: 159937 3273.34/3281.86 c #Conflicts: 1419000 | #Constraints: 160937 3273.34/3281.86 c INPROCESSING 3273.34/3281.86 c GARBAGE COLLECT 3273.34/3281.86 c rational objective 550 3331.88/3340.53 c #Conflicts: 1420000 | #Constraints: 138340 3331.88/3340.53 c #Conflicts: 1421000 | #Constraints: 139340 3331.88/3340.53 c #Conflicts: 1422000 | #Constraints: 140340 3331.88/3340.53 c #Conflicts: 1423000 | #Constraints: 141340 3331.88/3340.53 c #Conflicts: 1424000 | #Constraints: 142340 3331.88/3340.53 c #Conflicts: 1425000 | #Constraints: 143340 3331.88/3340.53 c #Conflicts: 1426000 | #Constraints: 144340 3331.88/3340.53 c #Conflicts: 1427000 | #Constraints: 145340 3331.88/3340.53 c #Conflicts: 1428000 | #Constraints: 146340 3331.88/3340.53 c #Conflicts: 1429000 | #Constraints: 147340 3331.88/3340.53 c #Conflicts: 1430000 | #Constraints: 148340 3331.88/3340.53 c #Conflicts: 1431000 | #Constraints: 149340 3331.88/3340.53 c #Conflicts: 1432000 | #Constraints: 150340 3331.88/3340.53 c #Conflicts: 1433000 | #Constraints: 151340 3331.88/3340.53 c #Conflicts: 1434000 | #Constraints: 152340 3331.88/3340.53 c #Conflicts: 1435000 | #Constraints: 153340 3331.88/3340.53 c #Conflicts: 1436000 | #Constraints: 154340 3331.88/3340.53 c #Conflicts: 1437000 | #Constraints: 155340 3331.88/3340.53 c #Conflicts: 1438000 | #Constraints: 156340 3331.88/3340.53 c #Conflicts: 1439000 | #Constraints: 157340 3331.88/3340.53 c #Conflicts: 1440000 | #Constraints: 158340 3331.88/3340.53 c #Conflicts: 1441000 | #Constraints: 159340 3331.88/3340.53 c #Conflicts: 1442000 | #Constraints: 160340 3331.88/3340.53 c #Conflicts: 1443000 | #Constraints: 161340 3331.88/3340.53 c INPROCESSING 3331.88/3340.53 c GARBAGE COLLECT 3331.88/3340.53 c rational objective 550 3378.93/3387.78 c #Conflicts: 1444000 | #Constraints: 138543 3378.93/3387.78 c #Conflicts: 1445000 | #Constraints: 139543 3378.93/3387.78 c #Conflicts: 1446000 | #Constraints: 140543 3378.93/3387.78 c #Conflicts: 1447000 | #Constraints: 141543 3378.93/3387.78 c #Conflicts: 1448000 | #Constraints: 142543 3378.93/3387.78 c #Conflicts: 1449000 | #Constraints: 143543 3378.93/3387.78 c #Conflicts: 1450000 | #Constraints: 144543 3378.93/3387.78 c #Conflicts: 1451000 | #Constraints: 145543 3378.93/3387.78 c #Conflicts: 1452000 | #Constraints: 146543 3378.93/3387.78 c #Conflicts: 1453000 | #Constraints: 147543 3378.93/3387.78 c #Conflicts: 1454000 | #Constraints: 148543 3378.93/3387.78 c #Conflicts: 1455000 | #Constraints: 149543 3378.93/3387.78 c #Conflicts: 1456000 | #Constraints: 150543 3378.93/3387.78 c #Conflicts: 1457000 | #Constraints: 151543 3378.93/3387.78 c #Conflicts: 1458000 | #Constraints: 152543 3378.93/3387.78 c #Conflicts: 1459000 | #Constraints: 153543 3378.93/3387.78 c #Conflicts: 1460000 | #Constraints: 154543 3378.93/3387.78 c #Conflicts: 1461000 | #Constraints: 155543 3378.93/3387.78 c #Conflicts: 1462000 | #Constraints: 156543 3378.93/3387.78 c #Conflicts: 1463000 | #Constraints: 157543 3378.93/3387.78 c #Conflicts: 1464000 | #Constraints: 158543 3378.93/3387.78 c #Conflicts: 1465000 | #Constraints: 159543 3378.93/3387.78 c #Conflicts: 1466000 | #Constraints: 160543 3378.93/3387.78 c #Conflicts: 1467000 | #Constraints: 161543 3378.93/3387.78 c INPROCESSING 3378.93/3387.78 c GARBAGE COLLECT 3378.93/3387.78 c rational objective 550 3421.52/3430.46 c #Conflicts: 1468000 | #Constraints: 138539 3421.52/3430.46 c #Conflicts: 1469000 | #Constraints: 139539 3421.52/3430.46 c #Conflicts: 1470000 | #Constraints: 140539 3421.52/3430.46 c #Conflicts: 1471000 | #Constraints: 141539 3421.52/3430.46 c #Conflicts: 1472000 | #Constraints: 142539 3421.52/3430.46 c #Conflicts: 1473000 | #Constraints: 143539 3421.52/3430.46 c #Conflicts: 1474000 | #Constraints: 144539 3421.52/3430.46 c #Conflicts: 1475000 | #Constraints: 145539 3421.52/3430.46 c #Conflicts: 1476000 | #Constraints: 146539 3421.52/3430.46 c #Conflicts: 1477000 | #Constraints: 147539 3421.52/3430.46 c #Conflicts: 1478000 | #Constraints: 148539 3421.52/3430.46 c #Conflicts: 1479000 | #Constraints: 149539 3421.52/3430.46 c #Conflicts: 1480000 | #Constraints: 150539 3421.52/3430.46 c #Conflicts: 1481000 | #Constraints: 151539 3421.52/3430.46 c #Conflicts: 1482000 | #Constraints: 152539 3421.52/3430.46 c #Conflicts: 1483000 | #Constraints: 153539 3421.52/3430.46 c #Conflicts: 1484000 | #Constraints: 154539 3421.52/3430.46 c #Conflicts: 1485000 | #Constraints: 155539 3421.52/3430.46 c #Conflicts: 1486000 | #Constraints: 156539 3421.52/3430.46 c #Conflicts: 1487000 | #Constraints: 157539 3421.52/3430.46 c #Conflicts: 1488000 | #Constraints: 158539 3421.52/3430.46 c #Conflicts: 1489000 | #Constraints: 159539 3421.52/3430.46 c #Conflicts: 1490000 | #Constraints: 160539 3421.52/3430.46 c #Conflicts: 1491000 | #Constraints: 161539 3421.52/3430.46 c INPROCESSING 3421.52/3430.46 c GARBAGE COLLECT 3421.52/3430.46 c rational objective 550 3483.54/3492.62 c #Conflicts: 1492000 | #Constraints: 138334 3483.54/3492.62 c #Conflicts: 1493000 | #Constraints: 139334 3483.54/3492.62 c #Conflicts: 1494000 | #Constraints: 140334 3483.54/3492.62 c #Conflicts: 1495000 | #Constraints: 141334 3483.54/3492.62 c #Conflicts: 1496000 | #Constraints: 142334 3483.54/3492.62 c #Conflicts: 1497000 | #Constraints: 143334 3483.54/3492.62 c #Conflicts: 1498000 | #Constraints: 144334 3483.54/3492.62 c #Conflicts: 1499000 | #Constraints: 145334 3483.54/3492.62 c #Conflicts: 1500000 | #Constraints: 146334 3483.54/3492.62 c #Conflicts: 1501000 | #Constraints: 147334 3483.54/3492.62 c #Conflicts: 1502000 | #Constraints: 148334 3483.54/3492.62 c #Conflicts: 1503000 | #Constraints: 149334 3483.54/3492.62 c #Conflicts: 1504000 | #Constraints: 150334 3483.54/3492.62 c #Conflicts: 1505000 | #Constraints: 151334 3483.54/3492.62 c #Conflicts: 1506000 | #Constraints: 152334 3483.54/3492.62 c #Conflicts: 1507000 | #Constraints: 153334 3483.54/3492.62 c #Conflicts: 1508000 | #Constraints: 154334 3483.54/3492.62 c #Conflicts: 1509000 | #Constraints: 155334 3483.54/3492.62 c #Conflicts: 1510000 | #Constraints: 156334 3483.54/3492.62 c #Conflicts: 1511000 | #Constraints: 157334 3483.54/3492.62 c #Conflicts: 1512000 | #Constraints: 158334 3483.54/3492.62 c #Conflicts: 1513000 | #Constraints: 159334 3483.54/3492.62 c #Conflicts: 1514000 | #Constraints: 160334 3483.54/3492.62 c #Conflicts: 1515000 | #Constraints: 161334 3483.54/3492.62 c #Conflicts: 1516000 | #Constraints: 162334 3483.54/3492.62 c INPROCESSING 3483.54/3492.62 c GARBAGE COLLECT 3483.54/3492.62 c rational objective 550 3533.20/3542.46 c #Conflicts: 1517000 | #Constraints: 138930 3533.20/3542.46 c #Conflicts: 1518000 | #Constraints: 139930 3533.20/3542.46 c #Conflicts: 1519000 | #Constraints: 140930 3533.20/3542.46 c #Conflicts: 1520000 | #Constraints: 141930 3533.20/3542.46 c #Conflicts: 1521000 | #Constraints: 142930 3533.20/3542.46 c #Conflicts: 1522000 | #Constraints: 143930 3533.20/3542.46 c #Conflicts: 1523000 | #Constraints: 144930 3533.20/3542.46 c #Conflicts: 1524000 | #Constraints: 145930 3533.20/3542.46 c #Conflicts: 1525000 | #Constraints: 146930 3533.20/3542.46 c #Conflicts: 1526000 | #Constraints: 147930 3533.20/3542.46 c #Conflicts: 1527000 | #Constraints: 148930 3533.20/3542.46 c #Conflicts: 1528000 | #Constraints: 149930 3533.20/3542.46 c #Conflicts: 1529000 | #Constraints: 150930 3533.20/3542.46 c #Conflicts: 1530000 | #Constraints: 151930 3533.20/3542.46 c #Conflicts: 1531000 | #Constraints: 152930 3533.20/3542.46 c #Conflicts: 1532000 | #Constraints: 153930 3533.20/3542.46 c #Conflicts: 1533000 | #Constraints: 154930 3533.20/3542.46 c #Conflicts: 1534000 | #Constraints: 155930 3533.20/3542.46 c #Conflicts: 1535000 | #Constraints: 156930 3533.20/3542.46 c #Conflicts: 1536000 | #Constraints: 157930 3533.20/3542.46 c #Conflicts: 1537000 | #Constraints: 158930 3533.20/3542.46 c #Conflicts: 1538000 | #Constraints: 159930 3533.20/3542.46 c #Conflicts: 1539000 | #Constraints: 160930 3533.20/3542.46 c #Conflicts: 1540000 | #Constraints: 161930 3533.20/3542.46 c #Conflicts: 1541000 | #Constraints: 162930 3533.20/3542.46 c INPROCESSING 3533.20/3542.46 c GARBAGE COLLECT 3533.20/3542.46 c rational objective 550 3583.95/3593.37 c #Conflicts: 1542000 | #Constraints: 139330 3583.95/3593.37 c #Conflicts: 1543000 | #Constraints: 140330 3583.95/3593.37 c #Conflicts: 1544000 | #Constraints: 141330 3583.95/3593.37 c #Conflicts: 1545000 | #Constraints: 142330 3583.95/3593.37 c #Conflicts: 1546000 | #Constraints: 143330 3583.95/3593.37 c #Conflicts: 1547000 | #Constraints: 144330 3583.95/3593.37 c #Conflicts: 1548000 | #Constraints: 145330 3583.95/3593.37 c #Conflicts: 1549000 | #Constraints: 146330 3583.95/3593.37 c #Conflicts: 1550000 | #Constraints: 147330 3583.95/3593.37 c #Conflicts: 1551000 | #Constraints: 148330 3583.95/3593.37 c #Conflicts: 1552000 | #Constraints: 149330 3583.95/3593.37 c #Conflicts: 1553000 | #Constraints: 150330 3583.95/3593.37 c #Conflicts: 1554000 | #Constraints: 151330 3583.95/3593.37 c #Conflicts: 1555000 | #Constraints: 152330 3583.95/3593.37 c #Conflicts: 1556000 | #Constraints: 153330 3583.95/3593.37 c #Conflicts: 1557000 | #Constraints: 154330 3583.95/3593.37 c #Conflicts: 1558000 | #Constraints: 155330 3583.95/3593.37 c #Conflicts: 1559000 | #Constraints: 156330 3583.95/3593.37 c #Conflicts: 1560000 | #Constraints: 157330 3583.95/3593.37 c #Conflicts: 1561000 | #Constraints: 158330 3583.95/3593.37 c #Conflicts: 1562000 | #Constraints: 159330 3583.95/3593.37 c #Conflicts: 1563000 | #Constraints: 160330 3583.95/3593.37 c #Conflicts: 1564000 | #Constraints: 161330 3583.95/3593.37 c #Conflicts: 1565000 | #Constraints: 162330 3583.95/3593.37 c #Conflicts: 1566000 | #Constraints: 163330 3583.95/3593.37 c INPROCESSING 3583.95/3593.37 c GARBAGE COLLECT 3583.95/3593.37 c rational objective 550 3600.62/3610.07 c #Conflicts: 1567000 | #Constraints: 139542 3600.62/3610.07 c #Conflicts: 1568000 | #Constraints: 140542 3600.62/3610.07 c #Conflicts: 1569000 | #Constraints: 141542 3600.62/3610.07 c #Conflicts: 1570000 | #Constraints: 142542 3600.62/3610.07 c #Conflicts: 1571000 | #Constraints: 143542 3600.62/3610.07 c #Conflicts: 1572000 | #Constraints: 144542 3600.62/3610.07 c #Conflicts: 1573000 | #Constraints: 145542 3600.62/3610.07 c #Conflicts: 1574000 | #Constraints: 146542 3600.62/3610.07 c #Conflicts: 1575000 | #Constraints: 147542 3600.62/3610.07 c #Conflicts: 1576000 | #Constraints: 148542 3600.62/3610.07 c Program interrupted by user. 3600.69/3610.11 c cpu time 3586.33 s 3600.69/3610.11 c deterministic time 4912304940 4.91e+09 3600.69/3610.11 c optimization time 16.5749 s 3600.69/3610.11 c total solve time 3569.41 s 3600.69/3610.11 c core-guided solve time 0 s 3600.69/3610.11 c propagation time 3320.25 s 3600.69/3610.11 c conflict analysis time 119.637 s 3600.69/3610.11 c propagations 209968040 3600.69/3610.11 c resolve steps 57244635 3600.69/3610.11 c decisions 2774732 3600.69/3610.11 c conflicts 1576053 3600.69/3610.11 c restarts 3068 3600.69/3610.11 c inprocessing phases 116 3600.69/3610.11 c input clauses 113164 3600.69/3610.11 c input cardinalities 550 3600.69/3610.11 c input general constraints 0 3600.69/3610.11 c input average constraint length 4.98 3600.69/3610.11 c input average constraint degree 1.00 3600.69/3610.11 c learned clauses 1576052 3600.69/3610.11 c learned cardinalities 0 3600.69/3610.11 c learned general constraints 1 3600.69/3610.11 c learned average constraint length 141.47 3600.69/3610.11 c learned average constraint degree 1.00 3600.69/3610.11 c watched constraints 1 3600.69/3610.11 c counting constraints 0 3600.69/3610.11 c gcd simplifications 0 3600.69/3610.11 c detected cardinalities 0 3600.69/3610.11 c weakened non-implied lits 70518 3600.69/3610.11 c weakened non-implying lits 0 3600.69/3610.11 c original variables 1650 3600.69/3610.11 c clausal propagations 204762157 3600.69/3610.11 c cardinality propagations 3629831 3600.69/3610.11 c watched propagations 0 3600.69/3610.11 c counting propagations 0 3600.69/3610.11 c watch lookups 1056083015 3600.69/3610.11 c watch backjump lookups 13 3600.69/3610.11 c watch checks 2491675004 3600.69/3610.11 c propagation checks 377071478 3600.69/3610.11 c constraint additions 558801367 3600.69/3610.11 c trail pops 214318085 3600.69/3610.11 c formula constraints 113714 3600.69/3610.11 c learned constraints 1576053 3600.69/3610.11 c bound constraints 0 3600.69/3610.11 c core-guided constraints 0 3600.69/3610.11 c encountered formula constraints 53978253 3600.69/3610.11 c encountered learned constraints 4842435 3600.69/3610.11 c encountered bound constraints 0 3600.69/3610.11 c encountered core-guided constraints 0 3600.69/3610.11 c LP total time 3364.12 s 3600.69/3610.11 c LP solve time 3362.48 s 3600.69/3610.11 c LP constraints added 113884 3600.69/3610.11 c LP constraints removed 167 3600.69/3610.11 c LP pivots internal 1578880 3600.69/3610.11 c LP pivots root 34325 3600.69/3610.11 c LP calls 516 3600.69/3610.11 c LP optimalities 511 3600.69/3610.11 c LP no pivot count 105 3600.69/3610.11 c LP infeasibilities 0 3600.69/3610.11 c LP valid Farkas constraints 0 3600.69/3610.11 c LP learned Farkas constraints 0 3600.69/3610.11 c LP basis resets 0 3600.69/3610.11 c LP cycling count 0 3600.69/3610.11 c LP singular count 0 3600.69/3610.11 c LP no primal count 0 3600.69/3610.11 c LP no farkas count 0 3600.69/3610.11 c LP other issue count 0 3600.69/3610.11 c LP Gomory cuts 0 3600.69/3610.11 c LP learned cuts 170 3600.69/3610.11 c LP deleted cuts 167 3600.69/3610.11 c LP encountered Gomory constraints 0 3600.69/3610.11 c LP encountered Farkas constraints 0 3600.69/3610.11 c LP encountered learned Farkas constraints 0 3600.69/3610.11 c CG auxiliary variables introduced 0 3600.69/3610.11 c CG solutions found 0 3600.69/3610.11 c CG cores constructed 0 3600.69/3610.11 c CG core cardinality constraints returned 0 3600.69/3610.11 c CG unit cores 0 3600.69/3610.11 c CG single cores 0 3600.69/3610.11 c CG blocks removed during cardinality reduction 0 3600.69/3610.11 c CG first core best 0 3600.69/3610.11 c CG decision core best 0 3600.69/3610.11 c CG core reduction tie 0 3600.69/3610.11 c CG core degree average 0.00 3600.69/3610.11 c CG core slack average 0.00 3600.69/3610.11 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (48858 MiB free)
memory of node 1: 64473 MiB (55584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460518-1722065724/watcher-4460518-1722065724 -o /tmp/evaluation-result-4460518-1722065724/solver-4460518-1722065724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317338 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460518-1722065724 --lp-cut-gomory=0 HOME/instance-4460518-1722065724.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=318316, runsolver pid=318313
[startup+0.100977 s]*
/proc/loadavg: 4.13 3.94 2.61 5/263 318317
/proc/meminfo: memFree=106944924/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=38480 memory=9564 CPUtime=0.07 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 697 0 0 0 6 1 0 0 20 0 1 0 43100335 39403520 2391 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 9620 2391 1346 992 0 1478 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 9564 KiB
[startup+0.205959 s]*
/proc/loadavg: 4.13 3.94 2.61 5/263 318317
/proc/meminfo: memFree=106942908/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=39532 memory=10468 CPUtime=0.17 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 995 0 0 0 13 4 0 0 20 0 1 0 43100335 40480768 2617 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 9883 2617 1346 992 0 1741 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39532 KiB
Current children cumulated memory: 10468 KiB
[startup+0.305958 s]*
/proc/loadavg: 4.13 3.94 2.61 5/263 318317
/proc/meminfo: memFree=106937912/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=40580 memory=12968 CPUtime=0.27 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 1648 0 0 0 21 6 0 0 20 0 1 0 43100335 41553920 3242 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 10145 3242 1346 992 0 2003 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 40580 KiB
Current children cumulated memory: 12968 KiB
[startup+0.700237 s]
/proc/loadavg: 4.13 3.94 2.61 5/263 318317
/proc/meminfo: memFree=106869916/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=107680 memory=80008 CPUtime=0.65 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 20874 0 0 0 53 12 0 0 20 0 1 0 43100335 110264320 20002 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 26920 20002 1650 992 0 18778 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 80008 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 3.94 2.61 5/263 318317
/proc/meminfo: memFree=106863304/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=107680 memory=80008 CPUtime=1.46 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 20874 0 0 0 133 13 0 0 20 0 1 0 43100335 110264320 20002 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 26920 20002 1650 992 0 18778 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 80008 KiB
[startup+3.10594 s]
/proc/loadavg: 4.12 3.94 2.62 5/263 318319
/proc/meminfo: memFree=106845108/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=107680 memory=80008 CPUtime=3.05 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 20925 0 0 0 292 13 0 0 20 0 1 0 43100335 110264320 20002 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 26920 20002 1650 992 0 18778 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 80008 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 3.94 2.62 5/263 318319
/proc/meminfo: memFree=106822240/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=107680 memory=80008 CPUtime=6.23 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 20933 0 0 0 610 13 0 0 20 0 1 0 43100335 110264320 20002 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 26920 20002 1650 992 0 18778 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 80008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 3.94 2.62 5/263 318319
/proc/meminfo: memFree=106761112/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=121356 memory=88352 CPUtime=12.62 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 22414 0 0 0 1247 15 0 0 20 0 1 0 43100335 124268544 22088 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 30339 22088 1746 992 0 22197 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 88352 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 3.96 2.65 5/263 318322
/proc/meminfo: memFree=106632008/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=121356 memory=91456 CPUtime=25.39 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 22690 0 0 0 2522 17 0 0 20 0 1 0 43100335 124268544 22864 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 30339 22864 1746 992 0 22197 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 91456 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 3.98 2.69 5/263 318325
/proc/meminfo: memFree=106434296/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=121356 memory=93684 CPUtime=50.93 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 22774 0 0 0 5072 21 0 0 20 0 1 0 43100335 124268544 23421 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 30339 23421 1746 992 0 22197 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 93684 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.00 2.77 5/263 318335
/proc/meminfo: memFree=106076700/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=141724 memory=106240 CPUtime=102 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 23859 0 0 0 10169 31 0 0 20 0 1 0 43100335 145125376 26560 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 35431 26560 1809 992 0 27289 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 106240 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.08 2.88 5/263 318345
/proc/meminfo: memFree=105532392/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=141724 memory=110600 CPUtime=161.84 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 23920 0 0 0 16144 40 0 0 20 0 1 0 43100335 145125376 27650 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 35431 27650 1809 992 0 27289 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 110600 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 4.17 2.99 5/259 318355
/proc/meminfo: memFree=105228888/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=150260 memory=113600 CPUtime=221.68 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 27026 0 0 0 22104 64 0 0 20 0 1 0 43100335 153866240 28400 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 37565 28400 1809 992 0 29423 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 150260 KiB
Current children cumulated memory: 113600 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.15 3.06 5/256 318365
/proc/meminfo: memFree=104748460/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=158224 memory=120272 CPUtime=281.54 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 28435 0 0 0 28067 87 0 0 20 0 1 0 43100335 162021376 30068 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 39556 30068 1809 992 0 31414 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 158224 KiB
Current children cumulated memory: 120272 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 3.13 5/256 318380
/proc/meminfo: memFree=104325952/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=164600 memory=124644 CPUtime=341.39 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 29030 0 0 0 34038 101 0 0 20 0 1 0 43100335 168550400 31161 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 41150 31161 1809 992 0 33008 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 124644 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 3.19 5/257 318392
/proc/meminfo: memFree=103817604/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=164600 memory=126692 CPUtime=401.24 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 29055 0 0 0 39997 127 0 0 20 0 1 0 43100335 168550400 31673 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 41150 31673 1809 992 0 33008 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 126692 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 3.26 5/257 318403
/proc/meminfo: memFree=103333284/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=164600 memory=126692 CPUtime=461.09 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 29074 0 0 0 45960 149 0 0 20 0 1 0 43100335 168550400 31673 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 41150 31673 1809 992 0 33008 0
################
# More data... #
################
Current children cumulated memory: 147992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/257 320879
/proc/meminfo: memFree=111490256/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3034.64 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32451 0 0 0 302258 1206 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/257 320890
/proc/meminfo: memFree=111421848/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3094.44 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32516 0 0 0 308213 1231 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/256 320900
/proc/meminfo: memFree=111365408/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3154.24 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32577 0 0 0 314170 1254 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.21 4.11 5/255 321078
/proc/meminfo: memFree=111297332/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3214.04 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32638 0 0 0 320125 1279 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.19 4.10 5/256 321090
/proc/meminfo: memFree=111208180/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3273.83 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32702 0 0 0 326074 1309 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.10 5/255 321157
/proc/meminfo: memFree=111135432/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3333.66 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32764 0 0 0 332034 1332 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/255 321169
/proc/meminfo: memFree=111074272/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3393.5 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32829 0 0 0 337994 1356 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/256 321180
/proc/meminfo: memFree=110962588/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3453.33 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32887 0 0 0 343954 1379 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 321191
/proc/meminfo: memFree=110873608/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3513.16 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 32949 0 0 0 349917 1399 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/255 321201
/proc/meminfo: memFree=110743060/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3572.99 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 33015 0 0 0 355874 1425 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 321209
/proc/meminfo: memFree=110683324/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3600.02 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 33019 0 0 0 358566 1436 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 318316 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.33 s, system=14.3615 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 321209
/proc/meminfo: memFree=110683324/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3600.22 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 33019 0 0 0 358586 1436 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3610 s]*
/proc/loadavg: 4.09 4.12 4.09 5/255 321209
/proc/meminfo: memFree=110681336/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=147992 CPUtime=3600.62 cores=1,3
/proc/318316/stat : 318316 (roundingsat) R 318313 318316 317326 0 -1 4194304 33019 0 0 0 358626 1436 0 0 20 0 1 0 43100335 187330560 36998 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 36998 1809 992 0 37593 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 147992 KiB
[startup+3610.11 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 321209
/proc/meminfo: memFree=110681336/131524600 swapFree=131060368/131071996
[pid=318316] ppid=318313 vsize=182940 memory=148056 CPUtime=3600.69 cores=1,3
/proc/318316/stat : 318316 (roundingsat) D 318313 318316 317326 0 -1 4194304 33025 0 0 0 358633 1436 0 0 20 0 1 0 43100335 187330560 37014 134679101440 4194304 8254357 140729264906080 0 0 0 0 0 25182210 1 0 0 17 1 0 0 6 0 0 9037040 9046032 32636928 140729264911199 140729264911461 140729264911461 140729264918473 0
/proc/318316/statm: 45735 37014 1825 992 0 37593 0
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 148056 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.69
CPU user time (s): 3586.33
CPU system time (s): 14.3615
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 182940
Max. memory (cumulated for all children) (KiB): 148056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.33
system time used= 14.3615
maximum resident set size= 148056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 955664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 2672
# summary of solver processes directly reported to runsolver:
# pid: 318316
# total CPU time (s): 3600.69
# total CPU user time (s): 3586.33
# total CPU system time (s): 14.3615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17802 second user time and 17.2308 second system time
The end
Begin job on nodeC014 at 2024-07-27 09:35:24 IDJOB=4460518 IDBENCH=147894 IDSOLVER=3086 FILE ID=nodeC014/4460518-1722065724 RUNJOBID= nodeC014-1722064836-317338 SLURM_JOB_ID= 8248084 Free space on /tmp= 890004 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-4460518-1722065724/watcher-4460518-1722065724 -o /tmp/evaluation-result-4460518-1722065724/solver-4460518-1722065724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317338 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460518-1722065724 --lp-cut-gomory=0 HOME/instance-4460518-1722065724.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a RANDOM SEED=1859590444 nodeC014.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 : 3667.383 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.45 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 : 3674.970 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3599.984 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.45 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 : 3659.358 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3667.401 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.45 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 : 3679.936 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3599.836 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.45 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 : 3608.432 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 106949740 kB MemAvailable: 127982648 kB Buffers: 365828 kB Cached: 21448124 kB SwapCached: 140 kB Active: 818572 kB Inactive: 23046620 kB Active(anon): 2192 kB Inactive(anon): 2102100 kB Active(file): 816380 kB Inactive(file): 20944520 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 277352 kB Writeback: 0 kB AnonPages: 2044644 kB Mapped: 103448 kB Shmem: 52988 kB KReclaimable: 223664 kB Slab: 357336 kB SReclaimable: 223664 kB SUnreclaim: 133672 kB KernelStack: 4156 kB PageTables: 13100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2750144 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15360 kB HardwareCorrupted: 0 kB AnonHugePages: 1134592 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 889696 MiB End job on nodeC014 at 2024-07-27 10:35:35