| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3601.52 | 3615.9 |
| 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.40/0.43 c #variables 1650 #constraints 113714 195.21/196.04 c #Conflicts: 1000 | #Constraints: 114713 195.21/196.04 c #Conflicts: 2000 | #Constraints: 115713 195.21/196.04 c INPROCESSING 195.21/196.04 c #Conflicts: 3000 | #Constraints: 115718 195.21/196.04 c #Conflicts: 4000 | #Constraints: 116718 195.21/196.04 c INPROCESSING 195.21/196.04 c GARBAGE COLLECT 195.21/196.04 c #Conflicts: 5000 | #Constraints: 116123 195.21/196.04 c #Conflicts: 6000 | #Constraints: 117123 195.21/196.04 c INPROCESSING 195.21/196.04 c #Conflicts: 7000 | #Constraints: 116131 195.21/196.04 c #Conflicts: 8000 | #Constraints: 117131 195.21/196.04 c #Conflicts: 9000 | #Constraints: 118131 195.21/196.04 c INPROCESSING 195.21/196.04 c GARBAGE COLLECT 195.21/196.04 c #Conflicts: 10000 | #Constraints: 116828 195.21/196.04 c #Conflicts: 11000 | #Constraints: 117828 195.21/196.04 c #Conflicts: 12000 | #Constraints: 118828 195.21/196.04 c INPROCESSING 195.21/196.04 c #Conflicts: 13000 | #Constraints: 117279 195.21/196.04 c #Conflicts: 14000 | #Constraints: 118279 195.21/196.04 c #Conflicts: 15000 | #Constraints: 119279 195.21/196.04 c INPROCESSING 195.21/196.04 c GARBAGE COLLECT 195.21/196.04 c #Conflicts: 16000 | #Constraints: 117507 195.21/196.04 c #Conflicts: 17000 | #Constraints: 118507 195.21/196.04 c #Conflicts: 18000 | #Constraints: 119507 195.21/196.04 c INPROCESSING 195.21/196.04 c GARBAGE COLLECT 195.21/196.04 c #Conflicts: 19000 | #Constraints: 117523 195.21/196.04 c #Conflicts: 20000 | #Constraints: 118523 195.21/196.04 c #Conflicts: 21000 | #Constraints: 119523 195.21/196.04 c INPROCESSING 195.21/196.04 c GARBAGE COLLECT 195.21/196.04 c rational objective 550 195.70/196.58 c #Conflicts: 22000 | #Constraints: 117324 195.70/196.58 c #Conflicts: 23000 | #Constraints: 118324 195.70/196.58 c #Conflicts: 24000 | #Constraints: 119324 195.70/196.58 c #Conflicts: 25000 | #Constraints: 120324 195.70/196.58 c INPROCESSING 195.70/196.58 c GARBAGE COLLECT 195.70/196.58 c rational objective 550 208.66/209.50 c #Conflicts: 26000 | #Constraints: 117933 208.66/209.50 c #Conflicts: 27000 | #Constraints: 118933 208.66/209.50 c #Conflicts: 28000 | #Constraints: 119933 208.66/209.50 c #Conflicts: 29000 | #Constraints: 120933 208.66/209.50 c INPROCESSING 208.66/209.50 c GARBAGE COLLECT 208.66/209.50 c rational objective 550 227.20/228.13 c #Conflicts: 30000 | #Constraints: 118328 227.20/228.13 c #Conflicts: 31000 | #Constraints: 119328 227.20/228.13 c #Conflicts: 32000 | #Constraints: 120328 227.20/228.13 c #Conflicts: 33000 | #Constraints: 121328 227.20/228.13 c INPROCESSING 227.20/228.13 c GARBAGE COLLECT 227.20/228.13 c rational objective 550 242.24/243.22 c #Conflicts: 34000 | #Constraints: 118528 242.24/243.22 c #Conflicts: 35000 | #Constraints: 119528 242.24/243.22 c #Conflicts: 36000 | #Constraints: 120528 242.24/243.22 c #Conflicts: 37000 | #Constraints: 121528 242.24/243.22 c INPROCESSING 242.24/243.22 c GARBAGE COLLECT 242.24/243.22 c rational objective 550 253.70/254.75 c #Conflicts: 38000 | #Constraints: 118542 253.70/254.75 c #Conflicts: 39000 | #Constraints: 119542 253.70/254.75 c #Conflicts: 40000 | #Constraints: 120542 253.70/254.75 c #Conflicts: 41000 | #Constraints: 121542 253.70/254.75 c INPROCESSING 253.70/254.75 c GARBAGE COLLECT 253.70/254.75 c rational objective 550 259.99/261.08 c #Conflicts: 42000 | #Constraints: 118352 259.99/261.08 c #Conflicts: 43000 | #Constraints: 119352 259.99/261.08 c #Conflicts: 44000 | #Constraints: 120352 259.99/261.08 c #Conflicts: 45000 | #Constraints: 121352 259.99/261.08 c #Conflicts: 46000 | #Constraints: 122352 259.99/261.08 c INPROCESSING 259.99/261.08 c GARBAGE COLLECT 259.99/261.08 c rational objective 550 271.44/272.52 c #Conflicts: 47000 | #Constraints: 118938 271.44/272.52 c #Conflicts: 48000 | #Constraints: 119938 271.44/272.52 c #Conflicts: 49000 | #Constraints: 120938 271.44/272.52 c #Conflicts: 50000 | #Constraints: 121938 271.44/272.52 c #Conflicts: 51000 | #Constraints: 122938 271.44/272.52 c INPROCESSING 271.44/272.52 c GARBAGE COLLECT 271.44/272.52 c rational objective 550 297.96/299.17 c #Conflicts: 52000 | #Constraints: 119338 297.96/299.17 c #Conflicts: 53000 | #Constraints: 120338 297.96/299.17 c #Conflicts: 54000 | #Constraints: 121338 297.96/299.17 c #Conflicts: 55000 | #Constraints: 122338 297.96/299.17 c #Conflicts: 56000 | #Constraints: 123338 297.96/299.17 c INPROCESSING 297.96/299.17 c GARBAGE COLLECT 297.96/299.17 c rational objective 550 298.86/300.05 c #Conflicts: 57000 | #Constraints: 119536 298.86/300.05 c #Conflicts: 58000 | #Constraints: 120536 298.86/300.05 c #Conflicts: 59000 | #Constraints: 121536 298.86/300.05 c #Conflicts: 60000 | #Constraints: 122536 298.86/300.05 c #Conflicts: 61000 | #Constraints: 123536 298.86/300.05 c INPROCESSING 298.86/300.05 c GARBAGE COLLECT 298.86/300.05 c rational objective 550 305.94/307.17 c #Conflicts: 62000 | #Constraints: 119531 305.94/307.17 c #Conflicts: 63000 | #Constraints: 120531 305.94/307.17 c #Conflicts: 64000 | #Constraints: 121531 305.94/307.17 WSVECS04 Frhs2[119]: 6 -1.00006 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[187]: 6 -1.00002 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[253]: 6 -1.00004 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[327]: 6 -1.00003 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[384]: 6 -1.00006 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[457]: 6 -1.00005 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[519]: 6 -1.0001 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[923]: 6 -1.00001 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[970]: 6 -1.00006 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1144]: 6 -1.00008 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1161]: 6 -1.00006 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1218]: 6 -1.00007 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1262]: 6 -1.0001 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1293]: 6 -1.00001 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1318]: 6 -1.00003 0 shouldn't be 305.94/307.17 WSVECS04 Frhs2[1467]: 6 -1.00009 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[243]: 6 -1.00004 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[295]: 6 -1.00005 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[315]: 6 -1.00009 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[338]: 6 -1.00003 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[418]: 6 -1.00007 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[498]: 6 -1.00008 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[619]: 6 -1.00005 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[658]: 6 -1.00007 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1102]: 6 -1.00001 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1256]: 6 -1.00008 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1339]: 6 -1.00005 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1363]: 6 -1.00005 0 shouldn't be 309.82/311.04 WSVECS04 Frhs2[1376]: 6 -1.00005 0 shouldn't be 313.90/315.16 WSVECS04 Frhs2[305]: 6 -1.00009 0 shouldn't be 321.37/322.65 WSVECS04 Frhs2[317]: 6 -1.00004 0 shouldn't be 321.37/322.65 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be 321.37/322.65 WSVECS04 Frhs2[1556]: 6 -1.00008 0 shouldn't be 331.64/332.91 WSVECS04 Frhs2[470]: 6 -1.00004 0 shouldn't be 331.64/332.91 WSVECS04 Frhs2[1041]: 6 -1.00006 0 shouldn't be 337.02/338.34 WSVECS04 Frhs2[832]: 6 -1.00007 0 shouldn't be 337.02/338.34 WSVECS04 Frhs2[1286]: 6 -1.00004 0 shouldn't be 337.02/338.34 WSVECS04 Frhs2[1374]: 6 -1.00003 0 shouldn't be 337.02/338.34 WSVECS04 Frhs2[1586]: 6 -1.00003 0 shouldn't be 381.56/383.01 c #Conflicts: 65000 | #Constraints: 122531 381.56/383.01 c #Conflicts: 66000 | #Constraints: 123531 381.56/383.01 c INPROCESSING 381.56/383.01 c GARBAGE COLLECT 381.56/383.01 c rational objective 550 400.40/401.94 c #Conflicts: 67000 | #Constraints: 119332 400.40/401.94 c #Conflicts: 68000 | #Constraints: 120332 400.40/401.94 c #Conflicts: 69000 | #Constraints: 121332 400.40/401.94 c #Conflicts: 70000 | #Constraints: 122332 400.40/401.94 c #Conflicts: 71000 | #Constraints: 123332 400.40/401.94 c #Conflicts: 72000 | #Constraints: 124332 400.40/401.94 c INPROCESSING 400.40/401.94 c GARBAGE COLLECT 400.40/401.94 c rational objective 550 401.19/402.73 c #Conflicts: 73000 | #Constraints: 119929 401.19/402.73 c #Conflicts: 74000 | #Constraints: 120929 401.19/402.73 c #Conflicts: 75000 | #Constraints: 121929 401.19/402.73 c #Conflicts: 76000 | #Constraints: 122929 401.19/402.73 c #Conflicts: 77000 | #Constraints: 123929 401.19/402.73 c #Conflicts: 78000 | #Constraints: 124929 401.19/402.73 c INPROCESSING 401.19/402.73 c GARBAGE COLLECT 401.19/402.73 c rational objective 550 402.09/403.65 c #Conflicts: 79000 | #Constraints: 120331 402.09/403.65 c #Conflicts: 80000 | #Constraints: 121331 402.09/403.65 c #Conflicts: 81000 | #Constraints: 122331 402.09/403.65 c #Conflicts: 82000 | #Constraints: 123331 402.09/403.65 c #Conflicts: 83000 | #Constraints: 124331 402.09/403.65 c #Conflicts: 84000 | #Constraints: 125331 402.09/403.65 c INPROCESSING 402.09/403.65 c GARBAGE COLLECT 402.09/403.65 c rational objective 550 402.99/404.52 c #Conflicts: 85000 | #Constraints: 120535 402.99/404.52 c #Conflicts: 86000 | #Constraints: 121535 402.99/404.52 c #Conflicts: 87000 | #Constraints: 122535 402.99/404.52 c #Conflicts: 88000 | #Constraints: 123535 402.99/404.52 c #Conflicts: 89000 | #Constraints: 124535 402.99/404.52 c #Conflicts: 90000 | #Constraints: 125535 402.99/404.52 c INPROCESSING 402.99/404.52 c GARBAGE COLLECT 402.99/404.52 c rational objective 550 418.44/420.04 c #Conflicts: 91000 | #Constraints: 120543 418.44/420.04 c #Conflicts: 92000 | #Constraints: 121543 418.44/420.04 c #Conflicts: 93000 | #Constraints: 122543 418.44/420.04 c #Conflicts: 94000 | #Constraints: 123543 418.44/420.04 c #Conflicts: 95000 | #Constraints: 124543 418.44/420.04 c #Conflicts: 96000 | #Constraints: 125543 418.44/420.04 c INPROCESSING 418.44/420.04 c GARBAGE COLLECT 418.44/420.04 c rational objective 550 430.40/432.06 c #Conflicts: 97000 | #Constraints: 120359 430.40/432.06 c #Conflicts: 98000 | #Constraints: 121359 430.40/432.06 c #Conflicts: 99000 | #Constraints: 122359 430.40/432.06 c #Conflicts: 100000 | #Constraints: 123359 430.40/432.06 c #Conflicts: 101000 | #Constraints: 124359 430.40/432.06 c #Conflicts: 102000 | #Constraints: 125359 430.40/432.06 c #Conflicts: 103000 | #Constraints: 126359 430.40/432.06 c INPROCESSING 430.40/432.06 c GARBAGE COLLECT 430.40/432.06 c rational objective 550 450.93/452.60 c #Conflicts: 104000 | #Constraints: 120940 450.93/452.60 c #Conflicts: 105000 | #Constraints: 121940 450.93/452.60 c #Conflicts: 106000 | #Constraints: 122940 450.93/452.60 c #Conflicts: 107000 | #Constraints: 123940 450.93/452.60 c #Conflicts: 108000 | #Constraints: 124940 450.93/452.60 c #Conflicts: 109000 | #Constraints: 125940 450.93/452.60 c #Conflicts: 110000 | #Constraints: 126940 450.93/452.60 c INPROCESSING 450.93/452.60 c GARBAGE COLLECT 450.93/452.60 c rational objective 550 463.38/465.16 c #Conflicts: 111000 | #Constraints: 121348 463.38/465.16 c #Conflicts: 112000 | #Constraints: 122348 463.38/465.16 c #Conflicts: 113000 | #Constraints: 123348 463.38/465.16 c #Conflicts: 114000 | #Constraints: 124348 463.38/465.16 c #Conflicts: 115000 | #Constraints: 125348 463.38/465.16 c #Conflicts: 116000 | #Constraints: 126348 463.38/465.16 c #Conflicts: 117000 | #Constraints: 127348 463.38/465.16 c INPROCESSING 463.38/465.16 c GARBAGE COLLECT 463.38/465.16 c rational objective 550 488.20/490.02 c #Conflicts: 118000 | #Constraints: 121537 488.20/490.02 c #Conflicts: 119000 | #Constraints: 122537 488.20/490.02 c #Conflicts: 120000 | #Constraints: 123537 488.20/490.02 c #Conflicts: 121000 | #Constraints: 124537 488.20/490.02 c #Conflicts: 122000 | #Constraints: 125537 488.20/490.02 c #Conflicts: 123000 | #Constraints: 126537 488.20/490.02 c #Conflicts: 124000 | #Constraints: 127537 488.20/490.02 c INPROCESSING 488.20/490.02 c GARBAGE COLLECT 488.20/490.02 c rational objective 550 504.64/506.54 c #Conflicts: 125000 | #Constraints: 121530 504.64/506.54 c #Conflicts: 126000 | #Constraints: 122530 504.64/506.54 c #Conflicts: 127000 | #Constraints: 123530 504.64/506.54 c #Conflicts: 128000 | #Constraints: 124530 504.64/506.54 c #Conflicts: 129000 | #Constraints: 125530 504.64/506.54 c #Conflicts: 130000 | #Constraints: 126530 504.64/506.54 c #Conflicts: 131000 | #Constraints: 127530 504.64/506.54 c INPROCESSING 504.64/506.54 c GARBAGE COLLECT 504.64/506.54 c rational objective 550 537.73/539.71 c #Conflicts: 132000 | #Constraints: 121325 537.73/539.71 c #Conflicts: 133000 | #Constraints: 122325 537.73/539.71 c #Conflicts: 134000 | #Constraints: 123325 537.73/539.71 c #Conflicts: 135000 | #Constraints: 124325 537.73/539.71 c #Conflicts: 136000 | #Constraints: 125325 537.73/539.71 c #Conflicts: 137000 | #Constraints: 126325 537.73/539.71 c #Conflicts: 138000 | #Constraints: 127325 537.73/539.71 c #Conflicts: 139000 | #Constraints: 128325 537.73/539.71 c INPROCESSING 537.73/539.71 c GARBAGE COLLECT 537.73/539.71 c rational objective 550 552.68/554.78 c #Conflicts: 140000 | #Constraints: 121942 552.68/554.78 c #Conflicts: 141000 | #Constraints: 122942 552.68/554.78 c #Conflicts: 142000 | #Constraints: 123942 552.68/554.78 c #Conflicts: 143000 | #Constraints: 124942 552.68/554.78 c #Conflicts: 144000 | #Constraints: 125942 552.68/554.78 c #Conflicts: 145000 | #Constraints: 126942 552.68/554.78 c #Conflicts: 146000 | #Constraints: 127942 552.68/554.78 c #Conflicts: 147000 | #Constraints: 128942 552.68/554.78 c INPROCESSING 552.68/554.78 c GARBAGE COLLECT 552.68/554.78 c rational objective 550 568.03/570.13 c #Conflicts: 148000 | #Constraints: 122357 568.03/570.13 c #Conflicts: 149000 | #Constraints: 123357 568.03/570.13 c #Conflicts: 150000 | #Constraints: 124357 568.03/570.13 c #Conflicts: 151000 | #Constraints: 125357 568.03/570.13 c #Conflicts: 152000 | #Constraints: 126357 568.03/570.13 c #Conflicts: 153000 | #Constraints: 127357 568.03/570.13 c #Conflicts: 154000 | #Constraints: 128357 568.03/570.13 c #Conflicts: 155000 | #Constraints: 129357 568.03/570.13 c INPROCESSING 568.03/570.13 c GARBAGE COLLECT 568.03/570.13 c rational objective 550 591.24/593.47 c #Conflicts: 156000 | #Constraints: 122547 591.24/593.47 c #Conflicts: 157000 | #Constraints: 123547 591.24/593.47 c #Conflicts: 158000 | #Constraints: 124547 591.24/593.47 c #Conflicts: 159000 | #Constraints: 125547 591.24/593.47 c #Conflicts: 160000 | #Constraints: 126547 591.24/593.47 c #Conflicts: 161000 | #Constraints: 127547 591.24/593.47 c #Conflicts: 162000 | #Constraints: 128547 591.24/593.47 c #Conflicts: 163000 | #Constraints: 129547 591.24/593.47 c INPROCESSING 591.24/593.47 c GARBAGE COLLECT 591.24/593.47 c rational objective 550 605.80/608.09 c #Conflicts: 164000 | #Constraints: 122544 605.80/608.09 c #Conflicts: 165000 | #Constraints: 123544 605.80/608.09 c #Conflicts: 166000 | #Constraints: 124544 605.80/608.09 c #Conflicts: 167000 | #Constraints: 125544 605.80/608.09 c #Conflicts: 168000 | #Constraints: 126544 605.80/608.09 c #Conflicts: 169000 | #Constraints: 127544 605.80/608.09 c #Conflicts: 170000 | #Constraints: 128544 605.80/608.09 c #Conflicts: 171000 | #Constraints: 129544 605.80/608.09 c INPROCESSING 605.80/608.09 c GARBAGE COLLECT 605.80/608.09 c rational objective 550 628.42/630.79 c #Conflicts: 172000 | #Constraints: 122332 628.42/630.79 c #Conflicts: 173000 | #Constraints: 123332 628.42/630.79 c #Conflicts: 174000 | #Constraints: 124332 628.42/630.79 c #Conflicts: 175000 | #Constraints: 125332 628.42/630.79 c #Conflicts: 176000 | #Constraints: 126332 628.42/630.79 c #Conflicts: 177000 | #Constraints: 127332 628.42/630.79 c #Conflicts: 178000 | #Constraints: 128332 628.42/630.79 c #Conflicts: 179000 | #Constraints: 129332 628.42/630.79 c #Conflicts: 180000 | #Constraints: 130332 628.42/630.79 c INPROCESSING 628.42/630.79 c GARBAGE COLLECT 628.42/630.79 c rational objective 550 650.25/652.62 c #Conflicts: 181000 | #Constraints: 122929 650.25/652.62 c #Conflicts: 182000 | #Constraints: 123929 650.25/652.62 c #Conflicts: 183000 | #Constraints: 124929 650.25/652.62 c #Conflicts: 184000 | #Constraints: 125929 650.25/652.62 c #Conflicts: 185000 | #Constraints: 126929 650.25/652.62 c #Conflicts: 186000 | #Constraints: 127929 650.25/652.62 c #Conflicts: 187000 | #Constraints: 128929 650.25/652.62 c #Conflicts: 188000 | #Constraints: 129929 650.25/652.62 c #Conflicts: 189000 | #Constraints: 130929 650.25/652.62 c INPROCESSING 650.25/652.62 c GARBAGE COLLECT 650.25/652.62 c rational objective 550 672.27/674.73 c #Conflicts: 190000 | #Constraints: 123331 672.27/674.73 c #Conflicts: 191000 | #Constraints: 124331 672.27/674.73 c #Conflicts: 192000 | #Constraints: 125331 672.27/674.73 c #Conflicts: 193000 | #Constraints: 126331 672.27/674.73 c #Conflicts: 194000 | #Constraints: 127331 672.27/674.73 c #Conflicts: 195000 | #Constraints: 128331 672.27/674.73 c #Conflicts: 196000 | #Constraints: 129331 672.27/674.73 c #Conflicts: 197000 | #Constraints: 130331 672.27/674.73 c #Conflicts: 198000 | #Constraints: 131331 672.27/674.73 c INPROCESSING 672.27/674.73 c GARBAGE COLLECT 672.27/674.73 c rational objective 550 690.21/692.75 c #Conflicts: 199000 | #Constraints: 123544 690.21/692.75 c #Conflicts: 200000 | #Constraints: 124544 690.21/692.75 c #Conflicts: 201000 | #Constraints: 125544 690.21/692.75 c #Conflicts: 202000 | #Constraints: 126544 690.21/692.75 c #Conflicts: 203000 | #Constraints: 127544 690.21/692.75 c #Conflicts: 204000 | #Constraints: 128544 690.21/692.75 c #Conflicts: 205000 | #Constraints: 129544 690.21/692.75 c #Conflicts: 206000 | #Constraints: 130544 690.21/692.75 c #Conflicts: 207000 | #Constraints: 131544 690.21/692.75 c INPROCESSING 690.21/692.75 c GARBAGE COLLECT 690.21/692.75 c rational objective 550 709.34/711.97 c #Conflicts: 208000 | #Constraints: 123550 709.34/711.97 c #Conflicts: 209000 | #Constraints: 124550 709.34/711.97 c #Conflicts: 210000 | #Constraints: 125550 709.34/711.97 c #Conflicts: 211000 | #Constraints: 126550 709.34/711.97 c #Conflicts: 212000 | #Constraints: 127550 709.34/711.97 c #Conflicts: 213000 | #Constraints: 128550 709.34/711.97 c #Conflicts: 214000 | #Constraints: 129550 709.34/711.97 c #Conflicts: 215000 | #Constraints: 130550 709.34/711.97 c #Conflicts: 216000 | #Constraints: 131550 709.34/711.97 c INPROCESSING 709.34/711.97 c GARBAGE COLLECT 709.34/711.97 c rational objective 550 726.08/728.72 c #Conflicts: 217000 | #Constraints: 123358 726.08/728.72 c #Conflicts: 218000 | #Constraints: 124358 726.08/728.72 c #Conflicts: 219000 | #Constraints: 125358 726.08/728.72 c #Conflicts: 220000 | #Constraints: 126358 726.08/728.72 c #Conflicts: 221000 | #Constraints: 127358 726.08/728.72 c #Conflicts: 222000 | #Constraints: 128358 726.08/728.72 c #Conflicts: 223000 | #Constraints: 129358 726.08/728.72 c #Conflicts: 224000 | #Constraints: 130358 726.08/728.72 c #Conflicts: 225000 | #Constraints: 131358 726.08/728.72 c #Conflicts: 226000 | #Constraints: 132358 726.08/728.72 c INPROCESSING 726.08/728.72 c GARBAGE COLLECT 726.08/728.72 c rational objective 550 749.31/752.01 c #Conflicts: 227000 | #Constraints: 123960 749.31/752.01 c #Conflicts: 228000 | #Constraints: 124960 749.31/752.01 c #Conflicts: 229000 | #Constraints: 125960 749.31/752.01 c #Conflicts: 230000 | #Constraints: 126960 749.31/752.01 c #Conflicts: 231000 | #Constraints: 127960 749.31/752.01 c #Conflicts: 232000 | #Constraints: 128960 749.31/752.01 c #Conflicts: 233000 | #Constraints: 129960 749.31/752.01 c #Conflicts: 234000 | #Constraints: 130960 749.31/752.01 c #Conflicts: 235000 | #Constraints: 131960 749.31/752.01 c #Conflicts: 236000 | #Constraints: 132960 749.31/752.01 c INPROCESSING 749.31/752.01 c GARBAGE COLLECT 749.31/752.01 c rational objective 550 771.83/774.61 c #Conflicts: 237000 | #Constraints: 124341 771.83/774.61 c #Conflicts: 238000 | #Constraints: 125341 771.83/774.61 c #Conflicts: 239000 | #Constraints: 126341 771.83/774.61 c #Conflicts: 240000 | #Constraints: 127341 771.83/774.61 c #Conflicts: 241000 | #Constraints: 128341 771.83/774.61 c #Conflicts: 242000 | #Constraints: 129341 771.83/774.61 c #Conflicts: 243000 | #Constraints: 130341 771.83/774.61 c #Conflicts: 244000 | #Constraints: 131341 771.83/774.61 c #Conflicts: 245000 | #Constraints: 132341 771.83/774.61 c #Conflicts: 246000 | #Constraints: 133341 771.83/774.61 c INPROCESSING 771.83/774.61 c GARBAGE COLLECT 771.83/774.61 c rational objective 550 804.42/807.39 c #Conflicts: 247000 | #Constraints: 124539 804.42/807.39 c #Conflicts: 248000 | #Constraints: 125539 804.42/807.39 c #Conflicts: 249000 | #Constraints: 126539 804.42/807.39 c #Conflicts: 250000 | #Constraints: 127539 804.42/807.39 c #Conflicts: 251000 | #Constraints: 128539 804.42/807.39 c #Conflicts: 252000 | #Constraints: 129539 804.42/807.39 c #Conflicts: 253000 | #Constraints: 130539 804.42/807.39 c #Conflicts: 254000 | #Constraints: 131539 804.42/807.39 c #Conflicts: 255000 | #Constraints: 132539 804.42/807.39 c #Conflicts: 256000 | #Constraints: 133539 804.42/807.39 c INPROCESSING 804.42/807.39 c GARBAGE COLLECT 804.42/807.39 c rational objective 550 819.87/822.85 c #Conflicts: 257000 | #Constraints: 124537 819.87/822.85 c #Conflicts: 258000 | #Constraints: 125537 819.87/822.85 c #Conflicts: 259000 | #Constraints: 126537 819.87/822.85 c #Conflicts: 260000 | #Constraints: 127537 819.87/822.85 c #Conflicts: 261000 | #Constraints: 128537 819.87/822.85 c #Conflicts: 262000 | #Constraints: 129537 819.87/822.85 c #Conflicts: 263000 | #Constraints: 130537 819.87/822.85 c #Conflicts: 264000 | #Constraints: 131537 819.87/822.85 c #Conflicts: 265000 | #Constraints: 132537 819.87/822.85 c #Conflicts: 266000 | #Constraints: 133537 819.87/822.85 c INPROCESSING 819.87/822.85 c GARBAGE COLLECT 819.87/822.85 c rational objective 550 852.06/855.17 c #Conflicts: 267000 | #Constraints: 124340 852.06/855.17 c #Conflicts: 268000 | #Constraints: 125340 852.06/855.17 c #Conflicts: 269000 | #Constraints: 126340 852.06/855.17 c #Conflicts: 270000 | #Constraints: 127340 852.06/855.17 c #Conflicts: 271000 | #Constraints: 128340 852.06/855.17 c #Conflicts: 272000 | #Constraints: 129340 852.06/855.17 c #Conflicts: 273000 | #Constraints: 130340 852.06/855.17 c #Conflicts: 274000 | #Constraints: 131340 852.06/855.17 c #Conflicts: 275000 | #Constraints: 132340 852.06/855.17 c #Conflicts: 276000 | #Constraints: 133340 852.06/855.17 c #Conflicts: 277000 | #Constraints: 134340 852.06/855.17 c INPROCESSING 852.06/855.17 c GARBAGE COLLECT 852.06/855.17 c rational objective 550 873.49/876.63 c #Conflicts: 278000 | #Constraints: 124937 873.49/876.63 c #Conflicts: 279000 | #Constraints: 125937 873.49/876.63 c #Conflicts: 280000 | #Constraints: 126937 873.49/876.63 c #Conflicts: 281000 | #Constraints: 127937 873.49/876.63 c #Conflicts: 282000 | #Constraints: 128937 873.49/876.63 c #Conflicts: 283000 | #Constraints: 129937 873.49/876.63 c #Conflicts: 284000 | #Constraints: 130937 873.49/876.63 c #Conflicts: 285000 | #Constraints: 131937 873.49/876.63 c #Conflicts: 286000 | #Constraints: 132937 873.49/876.63 c #Conflicts: 287000 | #Constraints: 133937 873.49/876.63 c #Conflicts: 288000 | #Constraints: 134937 873.49/876.63 c INPROCESSING 873.49/876.63 c GARBAGE COLLECT 873.49/876.63 c rational objective 550 906.47/909.76 c #Conflicts: 289000 | #Constraints: 125334 906.47/909.76 c #Conflicts: 290000 | #Constraints: 126334 906.47/909.76 c #Conflicts: 291000 | #Constraints: 127334 906.47/909.76 c #Conflicts: 292000 | #Constraints: 128334 906.47/909.76 c #Conflicts: 293000 | #Constraints: 129334 906.47/909.76 c #Conflicts: 294000 | #Constraints: 130334 906.47/909.76 c #Conflicts: 295000 | #Constraints: 131334 906.47/909.76 c #Conflicts: 296000 | #Constraints: 132334 906.47/909.76 c #Conflicts: 297000 | #Constraints: 133334 906.47/909.76 c #Conflicts: 298000 | #Constraints: 134334 906.47/909.76 c #Conflicts: 299000 | #Constraints: 135334 906.47/909.76 c INPROCESSING 906.47/909.76 c GARBAGE COLLECT 906.47/909.76 c rational objective 550 925.11/928.42 c #Conflicts: 300000 | #Constraints: 125533 925.11/928.42 c #Conflicts: 301000 | #Constraints: 126533 925.11/928.42 c #Conflicts: 302000 | #Constraints: 127533 925.11/928.42 c #Conflicts: 303000 | #Constraints: 128533 925.11/928.42 c #Conflicts: 304000 | #Constraints: 129533 925.11/928.42 c #Conflicts: 305000 | #Constraints: 130533 925.11/928.42 c #Conflicts: 306000 | #Constraints: 131533 925.11/928.42 c #Conflicts: 307000 | #Constraints: 132533 925.11/928.42 c #Conflicts: 308000 | #Constraints: 133533 925.11/928.42 c #Conflicts: 309000 | #Constraints: 134533 925.11/928.42 c #Conflicts: 310000 | #Constraints: 135533 925.11/928.42 c INPROCESSING 925.11/928.42 c GARBAGE COLLECT 925.11/928.42 c rational objective 550 955.51/958.94 c #Conflicts: 311000 | #Constraints: 125537 955.51/958.94 c #Conflicts: 312000 | #Constraints: 126537 955.51/958.94 c #Conflicts: 313000 | #Constraints: 127537 955.51/958.94 c #Conflicts: 314000 | #Constraints: 128537 955.51/958.94 c #Conflicts: 315000 | #Constraints: 129537 955.51/958.94 c #Conflicts: 316000 | #Constraints: 130537 955.51/958.94 c #Conflicts: 317000 | #Constraints: 131537 955.51/958.94 c #Conflicts: 318000 | #Constraints: 132537 955.51/958.94 c #Conflicts: 319000 | #Constraints: 133537 955.51/958.94 c #Conflicts: 320000 | #Constraints: 134537 955.51/958.94 c #Conflicts: 321000 | #Constraints: 135537 955.51/958.94 c INPROCESSING 955.51/958.94 c GARBAGE COLLECT 955.51/958.94 c rational objective 550 976.04/979.53 c #Conflicts: 322000 | #Constraints: 125340 976.04/979.53 c #Conflicts: 323000 | #Constraints: 126340 976.04/979.53 c #Conflicts: 324000 | #Constraints: 127340 976.04/979.53 c #Conflicts: 325000 | #Constraints: 128340 976.04/979.53 c #Conflicts: 326000 | #Constraints: 129340 976.04/979.53 c #Conflicts: 327000 | #Constraints: 130340 976.04/979.53 c #Conflicts: 328000 | #Constraints: 131340 976.04/979.53 c #Conflicts: 329000 | #Constraints: 132340 976.04/979.53 c #Conflicts: 330000 | #Constraints: 133340 976.04/979.53 c #Conflicts: 331000 | #Constraints: 134340 976.04/979.53 c #Conflicts: 332000 | #Constraints: 135340 976.04/979.53 c #Conflicts: 333000 | #Constraints: 136340 976.04/979.53 c INPROCESSING 976.04/979.53 c GARBAGE COLLECT 976.04/979.53 c rational objective 550 1012.23/1015.85 c #Conflicts: 334000 | #Constraints: 125962 1012.23/1015.85 c #Conflicts: 335000 | #Constraints: 126962 1012.23/1015.85 c #Conflicts: 336000 | #Constraints: 127962 1012.23/1015.85 c #Conflicts: 337000 | #Constraints: 128962 1012.23/1015.85 c #Conflicts: 338000 | #Constraints: 129962 1012.23/1015.85 c #Conflicts: 339000 | #Constraints: 130962 1012.23/1015.85 c #Conflicts: 340000 | #Constraints: 131962 1012.23/1015.85 c #Conflicts: 341000 | #Constraints: 132962 1012.23/1015.85 c #Conflicts: 342000 | #Constraints: 133962 1012.23/1015.85 c #Conflicts: 343000 | #Constraints: 134962 1012.23/1015.85 c #Conflicts: 344000 | #Constraints: 135962 1012.23/1015.85 c #Conflicts: 345000 | #Constraints: 136962 1012.23/1015.85 c INPROCESSING 1012.23/1015.85 c GARBAGE COLLECT 1012.23/1015.85 c rational objective 550 1041.33/1045.01 c #Conflicts: 346000 | #Constraints: 126344 1041.33/1045.01 c #Conflicts: 347000 | #Constraints: 127344 1041.33/1045.01 c #Conflicts: 348000 | #Constraints: 128344 1041.33/1045.01 c #Conflicts: 349000 | #Constraints: 129344 1041.33/1045.01 c #Conflicts: 350000 | #Constraints: 130344 1041.33/1045.01 c #Conflicts: 351000 | #Constraints: 131344 1041.33/1045.01 c #Conflicts: 352000 | #Constraints: 132344 1041.33/1045.01 c #Conflicts: 353000 | #Constraints: 133344 1041.33/1045.01 c #Conflicts: 354000 | #Constraints: 134344 1041.33/1045.01 c #Conflicts: 355000 | #Constraints: 135344 1041.33/1045.01 c #Conflicts: 356000 | #Constraints: 136344 1041.33/1045.01 c #Conflicts: 357000 | #Constraints: 137344 1041.33/1045.01 c INPROCESSING 1041.33/1045.01 c GARBAGE COLLECT 1041.33/1045.01 c rational objective 550 1066.04/1069.80 c #Conflicts: 358000 | #Constraints: 126534 1066.04/1069.80 c #Conflicts: 359000 | #Constraints: 127534 1066.04/1069.80 c #Conflicts: 360000 | #Constraints: 128534 1066.04/1069.80 c #Conflicts: 361000 | #Constraints: 129534 1066.04/1069.80 c #Conflicts: 362000 | #Constraints: 130534 1066.04/1069.80 c #Conflicts: 363000 | #Constraints: 131534 1066.04/1069.80 c #Conflicts: 364000 | #Constraints: 132534 1066.04/1069.80 c #Conflicts: 365000 | #Constraints: 133534 1066.04/1069.80 c #Conflicts: 366000 | #Constraints: 134534 1066.04/1069.80 c #Conflicts: 367000 | #Constraints: 135534 1066.04/1069.80 c #Conflicts: 368000 | #Constraints: 136534 1066.04/1069.80 c #Conflicts: 369000 | #Constraints: 137534 1066.04/1069.80 c INPROCESSING 1066.04/1069.80 c GARBAGE COLLECT 1066.04/1069.80 c rational objective 550 1099.33/1103.27 c #Conflicts: 370000 | #Constraints: 126537 1099.33/1103.27 c #Conflicts: 371000 | #Constraints: 127537 1099.33/1103.27 c #Conflicts: 372000 | #Constraints: 128537 1099.33/1103.27 c #Conflicts: 373000 | #Constraints: 129537 1099.33/1103.27 c #Conflicts: 374000 | #Constraints: 130537 1099.33/1103.27 c #Conflicts: 375000 | #Constraints: 131537 1099.33/1103.27 c #Conflicts: 376000 | #Constraints: 132537 1099.33/1103.27 c #Conflicts: 377000 | #Constraints: 133537 1099.33/1103.27 c #Conflicts: 378000 | #Constraints: 134537 1099.33/1103.27 c #Conflicts: 379000 | #Constraints: 135537 1099.33/1103.27 c #Conflicts: 380000 | #Constraints: 136537 1099.33/1103.27 c #Conflicts: 381000 | #Constraints: 137537 1099.33/1103.27 c INPROCESSING 1099.33/1103.27 c GARBAGE COLLECT 1099.33/1103.27 c rational objective 550 1132.91/1136.95 c #Conflicts: 382000 | #Constraints: 126327 1132.91/1136.95 c #Conflicts: 383000 | #Constraints: 127327 1132.91/1136.95 c #Conflicts: 384000 | #Constraints: 128327 1132.91/1136.95 c #Conflicts: 385000 | #Constraints: 129327 1132.91/1136.95 c #Conflicts: 386000 | #Constraints: 130327 1132.91/1136.95 c #Conflicts: 387000 | #Constraints: 131327 1132.91/1136.95 c #Conflicts: 388000 | #Constraints: 132327 1132.91/1136.95 c #Conflicts: 389000 | #Constraints: 133327 1132.91/1136.95 c #Conflicts: 390000 | #Constraints: 134327 1132.91/1136.95 c #Conflicts: 391000 | #Constraints: 135327 1132.91/1136.95 c #Conflicts: 392000 | #Constraints: 136327 1132.91/1136.95 c #Conflicts: 393000 | #Constraints: 137327 1132.91/1136.95 c #Conflicts: 394000 | #Constraints: 138327 1132.91/1136.95 c INPROCESSING 1132.91/1136.95 c GARBAGE COLLECT 1132.91/1136.95 c rational objective 550 1155.84/1159.91 c #Conflicts: 395000 | #Constraints: 126932 1155.84/1159.91 c #Conflicts: 396000 | #Constraints: 127932 1155.84/1159.91 c #Conflicts: 397000 | #Constraints: 128932 1155.84/1159.91 c #Conflicts: 398000 | #Constraints: 129932 1155.84/1159.91 c #Conflicts: 399000 | #Constraints: 130932 1155.84/1159.91 c #Conflicts: 400000 | #Constraints: 131932 1155.84/1159.91 c #Conflicts: 401000 | #Constraints: 132932 1155.84/1159.91 c #Conflicts: 402000 | #Constraints: 133932 1155.84/1159.91 c #Conflicts: 403000 | #Constraints: 134932 1155.84/1159.91 c #Conflicts: 404000 | #Constraints: 135932 1155.84/1159.91 c #Conflicts: 405000 | #Constraints: 136932 1155.84/1159.91 c #Conflicts: 406000 | #Constraints: 137932 1155.84/1159.91 c #Conflicts: 407000 | #Constraints: 138932 1155.84/1159.91 c INPROCESSING 1155.84/1159.91 c GARBAGE COLLECT 1155.84/1159.91 c rational objective 550 1189.12/1193.36 c #Conflicts: 408000 | #Constraints: 127330 1189.12/1193.36 c #Conflicts: 409000 | #Constraints: 128330 1189.12/1193.36 c #Conflicts: 410000 | #Constraints: 129330 1189.12/1193.36 c #Conflicts: 411000 | #Constraints: 130330 1189.12/1193.36 c #Conflicts: 412000 | #Constraints: 131330 1189.12/1193.36 c #Conflicts: 413000 | #Constraints: 132330 1189.12/1193.36 c #Conflicts: 414000 | #Constraints: 133330 1189.12/1193.36 c #Conflicts: 415000 | #Constraints: 134330 1189.12/1193.36 c #Conflicts: 416000 | #Constraints: 135330 1189.12/1193.36 c #Conflicts: 417000 | #Constraints: 136330 1189.12/1193.36 c #Conflicts: 418000 | #Constraints: 137330 1189.12/1193.36 c #Conflicts: 419000 | #Constraints: 138330 1189.12/1193.36 c #Conflicts: 420000 | #Constraints: 139330 1189.12/1193.36 c INPROCESSING 1189.12/1193.36 c GARBAGE COLLECT 1189.12/1193.36 c rational objective 550 1218.83/1223.18 c #Conflicts: 421000 | #Constraints: 127541 1218.83/1223.18 c #Conflicts: 422000 | #Constraints: 128541 1218.83/1223.18 c #Conflicts: 423000 | #Constraints: 129541 1218.83/1223.18 c #Conflicts: 424000 | #Constraints: 130541 1218.83/1223.18 c #Conflicts: 425000 | #Constraints: 131541 1218.83/1223.18 c #Conflicts: 426000 | #Constraints: 132541 1218.83/1223.18 c #Conflicts: 427000 | #Constraints: 133541 1218.83/1223.18 c #Conflicts: 428000 | #Constraints: 134541 1218.83/1223.18 c #Conflicts: 429000 | #Constraints: 135541 1218.83/1223.18 c #Conflicts: 430000 | #Constraints: 136541 1218.83/1223.18 c #Conflicts: 431000 | #Constraints: 137541 1218.83/1223.18 c #Conflicts: 432000 | #Constraints: 138541 1218.83/1223.18 c #Conflicts: 433000 | #Constraints: 139541 1218.83/1223.18 c INPROCESSING 1218.83/1223.18 c GARBAGE COLLECT 1218.83/1223.18 c rational objective 550 1241.55/1245.97 c #Conflicts: 434000 | #Constraints: 127544 1241.55/1245.97 c #Conflicts: 435000 | #Constraints: 128544 1241.55/1245.97 c #Conflicts: 436000 | #Constraints: 129544 1241.55/1245.97 c #Conflicts: 437000 | #Constraints: 130544 1241.55/1245.97 c #Conflicts: 438000 | #Constraints: 131544 1241.55/1245.97 c #Conflicts: 439000 | #Constraints: 132544 1241.55/1245.97 c #Conflicts: 440000 | #Constraints: 133544 1241.55/1245.97 c #Conflicts: 441000 | #Constraints: 134544 1241.55/1245.97 c #Conflicts: 442000 | #Constraints: 135544 1241.55/1245.97 c #Conflicts: 443000 | #Constraints: 136544 1241.55/1245.97 c #Conflicts: 444000 | #Constraints: 137544 1241.55/1245.97 c #Conflicts: 445000 | #Constraints: 138544 1241.55/1245.97 c #Conflicts: 446000 | #Constraints: 139544 1241.55/1245.97 c INPROCESSING 1241.55/1245.97 c GARBAGE COLLECT 1241.55/1245.97 c rational objective 550 1271.44/1275.97 c #Conflicts: 447000 | #Constraints: 127366 1271.44/1275.97 c #Conflicts: 448000 | #Constraints: 128366 1271.44/1275.97 c #Conflicts: 449000 | #Constraints: 129366 1271.44/1275.97 c #Conflicts: 450000 | #Constraints: 130366 1271.44/1275.97 c #Conflicts: 451000 | #Constraints: 131366 1271.44/1275.97 c #Conflicts: 452000 | #Constraints: 132366 1271.44/1275.97 c #Conflicts: 453000 | #Constraints: 133366 1271.44/1275.97 c #Conflicts: 454000 | #Constraints: 134366 1271.44/1275.97 c #Conflicts: 455000 | #Constraints: 135366 1271.44/1275.97 c #Conflicts: 456000 | #Constraints: 136366 1271.44/1275.97 c #Conflicts: 457000 | #Constraints: 137366 1271.44/1275.97 c #Conflicts: 458000 | #Constraints: 138366 1271.44/1275.97 c #Conflicts: 459000 | #Constraints: 139366 1271.44/1275.97 c #Conflicts: 460000 | #Constraints: 140366 1271.44/1275.97 c INPROCESSING 1271.44/1275.97 c GARBAGE COLLECT 1271.44/1275.97 c rational objective 550 1306.53/1311.10 c #Conflicts: 461000 | #Constraints: 127961 1306.53/1311.10 c #Conflicts: 462000 | #Constraints: 128961 1306.53/1311.10 c #Conflicts: 463000 | #Constraints: 129961 1306.53/1311.10 c #Conflicts: 464000 | #Constraints: 130961 1306.53/1311.10 c #Conflicts: 465000 | #Constraints: 131961 1306.53/1311.10 c #Conflicts: 466000 | #Constraints: 132961 1306.53/1311.10 c #Conflicts: 467000 | #Constraints: 133961 1306.53/1311.10 c #Conflicts: 468000 | #Constraints: 134961 1306.53/1311.10 c #Conflicts: 469000 | #Constraints: 135961 1306.53/1311.10 c #Conflicts: 470000 | #Constraints: 136961 1306.53/1311.10 c #Conflicts: 471000 | #Constraints: 137961 1306.53/1311.10 c #Conflicts: 472000 | #Constraints: 138961 1306.53/1311.10 c #Conflicts: 473000 | #Constraints: 139961 1306.53/1311.10 c #Conflicts: 474000 | #Constraints: 140961 1306.53/1311.10 c INPROCESSING 1306.53/1311.10 c GARBAGE COLLECT 1306.53/1311.10 c rational objective 550 1334.62/1339.33 c #Conflicts: 475000 | #Constraints: 128356 1334.62/1339.33 c #Conflicts: 476000 | #Constraints: 129356 1334.62/1339.33 c #Conflicts: 477000 | #Constraints: 130356 1334.62/1339.33 c #Conflicts: 478000 | #Constraints: 131356 1334.62/1339.33 c #Conflicts: 479000 | #Constraints: 132356 1334.62/1339.33 c #Conflicts: 480000 | #Constraints: 133356 1334.62/1339.33 c #Conflicts: 481000 | #Constraints: 134356 1334.62/1339.33 c #Conflicts: 482000 | #Constraints: 135356 1334.62/1339.33 c #Conflicts: 483000 | #Constraints: 136356 1334.62/1339.33 c #Conflicts: 484000 | #Constraints: 137356 1334.62/1339.33 c #Conflicts: 485000 | #Constraints: 138356 1334.62/1339.33 c #Conflicts: 486000 | #Constraints: 139356 1334.62/1339.33 c #Conflicts: 487000 | #Constraints: 140356 1334.62/1339.33 c #Conflicts: 488000 | #Constraints: 141356 1334.62/1339.33 c INPROCESSING 1334.62/1339.33 c GARBAGE COLLECT 1334.62/1339.33 c rational objective 550 1364.12/1368.95 c #Conflicts: 489000 | #Constraints: 128557 1364.12/1368.95 c #Conflicts: 490000 | #Constraints: 129557 1364.12/1368.95 c #Conflicts: 491000 | #Constraints: 130557 1364.12/1368.95 c #Conflicts: 492000 | #Constraints: 131557 1364.12/1368.95 c #Conflicts: 493000 | #Constraints: 132557 1364.12/1368.95 c #Conflicts: 494000 | #Constraints: 133557 1364.12/1368.95 c #Conflicts: 495000 | #Constraints: 134557 1364.12/1368.95 c #Conflicts: 496000 | #Constraints: 135557 1364.12/1368.95 c #Conflicts: 497000 | #Constraints: 136557 1364.12/1368.95 c #Conflicts: 498000 | #Constraints: 137557 1364.12/1368.95 c #Conflicts: 499000 | #Constraints: 138557 1364.12/1368.95 c #Conflicts: 500000 | #Constraints: 139557 1364.12/1368.95 c #Conflicts: 501000 | #Constraints: 140557 1364.12/1368.95 c #Conflicts: 502000 | #Constraints: 141557 1364.12/1368.95 c INPROCESSING 1364.12/1368.95 c GARBAGE COLLECT 1364.12/1368.95 c rational objective 550 1393.13/1398.00 c #Conflicts: 503000 | #Constraints: 128557 1393.13/1398.00 c #Conflicts: 504000 | #Constraints: 129557 1393.13/1398.00 c #Conflicts: 505000 | #Constraints: 130557 1393.13/1398.00 c #Conflicts: 506000 | #Constraints: 131557 1393.13/1398.00 c #Conflicts: 507000 | #Constraints: 132557 1393.13/1398.00 c #Conflicts: 508000 | #Constraints: 133557 1393.13/1398.00 c #Conflicts: 509000 | #Constraints: 134557 1393.13/1398.00 c #Conflicts: 510000 | #Constraints: 135557 1393.13/1398.00 c #Conflicts: 511000 | #Constraints: 136557 1393.13/1398.00 c #Conflicts: 512000 | #Constraints: 137557 1393.13/1398.00 c #Conflicts: 513000 | #Constraints: 138557 1393.13/1398.00 c #Conflicts: 514000 | #Constraints: 139557 1393.13/1398.00 c #Conflicts: 515000 | #Constraints: 140557 1393.13/1398.00 c #Conflicts: 516000 | #Constraints: 141557 1393.13/1398.00 c INPROCESSING 1393.13/1398.00 c GARBAGE COLLECT 1393.13/1398.00 c rational objective 550 1430.01/1435.03 c #Conflicts: 517000 | #Constraints: 128342 1430.01/1435.03 c #Conflicts: 518000 | #Constraints: 129342 1430.01/1435.03 c #Conflicts: 519000 | #Constraints: 130342 1430.01/1435.03 c #Conflicts: 520000 | #Constraints: 131342 1430.01/1435.03 c #Conflicts: 521000 | #Constraints: 132342 1430.01/1435.03 c #Conflicts: 522000 | #Constraints: 133342 1430.01/1435.03 c #Conflicts: 523000 | #Constraints: 134342 1430.01/1435.03 c #Conflicts: 524000 | #Constraints: 135342 1430.01/1435.03 c #Conflicts: 525000 | #Constraints: 136342 1430.01/1435.03 c #Conflicts: 526000 | #Constraints: 137342 1430.01/1435.03 c #Conflicts: 527000 | #Constraints: 138342 1430.01/1435.03 c #Conflicts: 528000 | #Constraints: 139342 1430.01/1435.03 c #Conflicts: 529000 | #Constraints: 140342 1430.01/1435.03 c #Conflicts: 530000 | #Constraints: 141342 1430.01/1435.03 c #Conflicts: 531000 | #Constraints: 142342 1430.01/1435.03 c INPROCESSING 1430.01/1435.03 c GARBAGE COLLECT 1430.01/1435.03 c rational objective 550 1470.87/1476.09 c #Conflicts: 532000 | #Constraints: 128944 1470.87/1476.09 c #Conflicts: 533000 | #Constraints: 129944 1470.87/1476.09 c #Conflicts: 534000 | #Constraints: 130944 1470.87/1476.09 c #Conflicts: 535000 | #Constraints: 131944 1470.87/1476.09 c #Conflicts: 536000 | #Constraints: 132944 1470.87/1476.09 c #Conflicts: 537000 | #Constraints: 133944 1470.87/1476.09 c #Conflicts: 538000 | #Constraints: 134944 1470.87/1476.09 c #Conflicts: 539000 | #Constraints: 135944 1470.87/1476.09 c #Conflicts: 540000 | #Constraints: 136944 1470.87/1476.09 c #Conflicts: 541000 | #Constraints: 137944 1470.87/1476.09 c #Conflicts: 542000 | #Constraints: 138944 1470.87/1476.09 c #Conflicts: 543000 | #Constraints: 139944 1470.87/1476.09 c #Conflicts: 544000 | #Constraints: 140944 1470.87/1476.09 c #Conflicts: 545000 | #Constraints: 141944 1470.87/1476.09 c #Conflicts: 546000 | #Constraints: 142944 1470.87/1476.09 c INPROCESSING 1470.87/1476.09 c GARBAGE COLLECT 1470.87/1476.09 c rational objective 550 1505.77/1511.03 c #Conflicts: 547000 | #Constraints: 129341 1505.77/1511.03 c #Conflicts: 548000 | #Constraints: 130341 1505.77/1511.03 c #Conflicts: 549000 | #Constraints: 131341 1505.77/1511.03 c #Conflicts: 550000 | #Constraints: 132341 1505.77/1511.03 c #Conflicts: 551000 | #Constraints: 133341 1505.77/1511.03 c #Conflicts: 552000 | #Constraints: 134341 1505.77/1511.03 c #Conflicts: 553000 | #Constraints: 135341 1505.77/1511.03 c #Conflicts: 554000 | #Constraints: 136341 1505.77/1511.03 c #Conflicts: 555000 | #Constraints: 137341 1505.77/1511.03 c #Conflicts: 556000 | #Constraints: 138341 1505.77/1511.03 c #Conflicts: 557000 | #Constraints: 139341 1505.77/1511.03 c #Conflicts: 558000 | #Constraints: 140341 1505.77/1511.03 c #Conflicts: 559000 | #Constraints: 141341 1505.77/1511.03 c #Conflicts: 560000 | #Constraints: 142341 1505.77/1511.03 c #Conflicts: 561000 | #Constraints: 143341 1505.77/1511.03 c INPROCESSING 1505.77/1511.03 c GARBAGE COLLECT 1505.77/1511.03 c rational objective 550 1544.53/1549.95 c #Conflicts: 562000 | #Constraints: 129529 1544.53/1549.95 c #Conflicts: 563000 | #Constraints: 130529 1544.53/1549.95 c #Conflicts: 564000 | #Constraints: 131529 1544.53/1549.95 c #Conflicts: 565000 | #Constraints: 132529 1544.53/1549.95 c #Conflicts: 566000 | #Constraints: 133529 1544.53/1549.95 c #Conflicts: 567000 | #Constraints: 134529 1544.53/1549.95 c #Conflicts: 568000 | #Constraints: 135529 1544.53/1549.95 c #Conflicts: 569000 | #Constraints: 136529 1544.53/1549.95 c #Conflicts: 570000 | #Constraints: 137529 1544.53/1549.95 c #Conflicts: 571000 | #Constraints: 138529 1544.53/1549.95 c #Conflicts: 572000 | #Constraints: 139529 1544.53/1549.95 c #Conflicts: 573000 | #Constraints: 140529 1544.53/1549.95 c #Conflicts: 574000 | #Constraints: 141529 1544.53/1549.95 c #Conflicts: 575000 | #Constraints: 142529 1544.53/1549.95 c #Conflicts: 576000 | #Constraints: 143529 1544.53/1549.95 c INPROCESSING 1544.53/1549.95 c GARBAGE COLLECT 1544.53/1549.95 c rational objective 550 1593.48/1599.09 c #Conflicts: 577000 | #Constraints: 129535 1593.48/1599.09 c #Conflicts: 578000 | #Constraints: 130535 1593.48/1599.09 c #Conflicts: 579000 | #Constraints: 131535 1593.48/1599.09 c #Conflicts: 580000 | #Constraints: 132535 1593.48/1599.09 c #Conflicts: 581000 | #Constraints: 133535 1593.48/1599.09 c #Conflicts: 582000 | #Constraints: 134535 1593.48/1599.09 c #Conflicts: 583000 | #Constraints: 135535 1593.48/1599.09 c #Conflicts: 584000 | #Constraints: 136535 1593.48/1599.09 c #Conflicts: 585000 | #Constraints: 137535 1593.48/1599.09 c #Conflicts: 586000 | #Constraints: 138535 1593.48/1599.09 c #Conflicts: 587000 | #Constraints: 139535 1593.48/1599.09 c #Conflicts: 588000 | #Constraints: 140535 1593.48/1599.09 c #Conflicts: 589000 | #Constraints: 141535 1593.48/1599.09 c #Conflicts: 590000 | #Constraints: 142535 1593.48/1599.09 c #Conflicts: 591000 | #Constraints: 143535 1593.48/1599.09 c INPROCESSING 1593.48/1599.09 c GARBAGE COLLECT 1593.48/1599.09 c rational objective 550 1616.79/1622.48 c #Conflicts: 592000 | #Constraints: 129338 1616.79/1622.48 c #Conflicts: 593000 | #Constraints: 130338 1616.79/1622.48 c #Conflicts: 594000 | #Constraints: 131338 1616.79/1622.48 c #Conflicts: 595000 | #Constraints: 132338 1616.79/1622.48 c #Conflicts: 596000 | #Constraints: 133338 1616.79/1622.48 c #Conflicts: 597000 | #Constraints: 134338 1616.79/1622.48 c #Conflicts: 598000 | #Constraints: 135338 1616.79/1622.48 c #Conflicts: 599000 | #Constraints: 136338 1616.79/1622.48 c #Conflicts: 600000 | #Constraints: 137338 1616.79/1622.48 c #Conflicts: 601000 | #Constraints: 138338 1616.79/1622.48 c #Conflicts: 602000 | #Constraints: 139338 1616.79/1622.48 c #Conflicts: 603000 | #Constraints: 140338 1616.79/1622.48 c #Conflicts: 604000 | #Constraints: 141338 1616.79/1622.48 c #Conflicts: 605000 | #Constraints: 142338 1616.79/1622.48 c #Conflicts: 606000 | #Constraints: 143338 1616.79/1622.48 c #Conflicts: 607000 | #Constraints: 144338 1616.79/1622.48 c INPROCESSING 1616.79/1622.48 c GARBAGE COLLECT 1616.79/1622.48 c rational objective 550 1648.58/1654.37 c #Conflicts: 608000 | #Constraints: 129949 1648.58/1654.37 c #Conflicts: 609000 | #Constraints: 130949 1648.58/1654.37 c #Conflicts: 610000 | #Constraints: 131949 1648.58/1654.37 c #Conflicts: 611000 | #Constraints: 132949 1648.58/1654.37 c #Conflicts: 612000 | #Constraints: 133949 1648.58/1654.37 c #Conflicts: 613000 | #Constraints: 134949 1648.58/1654.37 c #Conflicts: 614000 | #Constraints: 135949 1648.58/1654.37 c #Conflicts: 615000 | #Constraints: 136949 1648.58/1654.37 c #Conflicts: 616000 | #Constraints: 137949 1648.58/1654.37 c #Conflicts: 617000 | #Constraints: 138949 1648.58/1654.37 c #Conflicts: 618000 | #Constraints: 139949 1648.58/1654.37 c #Conflicts: 619000 | #Constraints: 140949 1648.58/1654.37 c #Conflicts: 620000 | #Constraints: 141949 1648.58/1654.37 c #Conflicts: 621000 | #Constraints: 142949 1648.58/1654.37 c #Conflicts: 622000 | #Constraints: 143949 1648.58/1654.37 c #Conflicts: 623000 | #Constraints: 144949 1648.58/1654.37 c INPROCESSING 1648.58/1654.37 c GARBAGE COLLECT 1648.58/1654.37 c rational objective 550 1691.22/1697.17 c #Conflicts: 624000 | #Constraints: 130340 1691.22/1697.17 c #Conflicts: 625000 | #Constraints: 131340 1691.22/1697.17 c #Conflicts: 626000 | #Constraints: 132340 1691.22/1697.17 c #Conflicts: 627000 | #Constraints: 133340 1691.22/1697.17 c #Conflicts: 628000 | #Constraints: 134340 1691.22/1697.17 c #Conflicts: 629000 | #Constraints: 135340 1691.22/1697.17 c #Conflicts: 630000 | #Constraints: 136340 1691.22/1697.17 c #Conflicts: 631000 | #Constraints: 137340 1691.22/1697.17 c #Conflicts: 632000 | #Constraints: 138340 1691.22/1697.17 c #Conflicts: 633000 | #Constraints: 139340 1691.22/1697.17 c #Conflicts: 634000 | #Constraints: 140340 1691.22/1697.17 c #Conflicts: 635000 | #Constraints: 141340 1691.22/1697.17 c #Conflicts: 636000 | #Constraints: 142340 1691.22/1697.17 c #Conflicts: 637000 | #Constraints: 143340 1691.22/1697.17 c #Conflicts: 638000 | #Constraints: 144340 1691.22/1697.17 c #Conflicts: 639000 | #Constraints: 145340 1691.22/1697.17 c INPROCESSING 1691.22/1697.17 c GARBAGE COLLECT 1691.22/1697.17 c rational objective 550 1730.17/1736.24 c #Conflicts: 640000 | #Constraints: 130532 1730.17/1736.24 c #Conflicts: 641000 | #Constraints: 131532 1730.17/1736.24 c #Conflicts: 642000 | #Constraints: 132532 1730.17/1736.24 c #Conflicts: 643000 | #Constraints: 133532 1730.17/1736.24 c #Conflicts: 644000 | #Constraints: 134532 1730.17/1736.24 c #Conflicts: 645000 | #Constraints: 135532 1730.17/1736.24 c #Conflicts: 646000 | #Constraints: 136532 1730.17/1736.24 c #Conflicts: 647000 | #Constraints: 137532 1730.17/1736.24 c #Conflicts: 648000 | #Constraints: 138532 1730.17/1736.24 c #Conflicts: 649000 | #Constraints: 139532 1730.17/1736.24 c #Conflicts: 650000 | #Constraints: 140532 1730.17/1736.24 c #Conflicts: 651000 | #Constraints: 141532 1730.17/1736.24 c #Conflicts: 652000 | #Constraints: 142532 1730.17/1736.24 c #Conflicts: 653000 | #Constraints: 143532 1730.17/1736.24 c #Conflicts: 654000 | #Constraints: 144532 1730.17/1736.24 c #Conflicts: 655000 | #Constraints: 145532 1730.17/1736.24 c INPROCESSING 1730.17/1736.24 c GARBAGE COLLECT 1730.17/1736.24 c rational objective 550 1785.16/1791.40 c #Conflicts: 656000 | #Constraints: 130541 1785.16/1791.40 c #Conflicts: 657000 | #Constraints: 131541 1785.16/1791.40 c #Conflicts: 658000 | #Constraints: 132541 1785.16/1791.40 c #Conflicts: 659000 | #Constraints: 133541 1785.16/1791.40 c #Conflicts: 660000 | #Constraints: 134541 1785.16/1791.40 c #Conflicts: 661000 | #Constraints: 135541 1785.16/1791.40 c #Conflicts: 662000 | #Constraints: 136541 1785.16/1791.40 c #Conflicts: 663000 | #Constraints: 137541 1785.16/1791.40 c #Conflicts: 664000 | #Constraints: 138541 1785.16/1791.40 c #Conflicts: 665000 | #Constraints: 139541 1785.16/1791.40 c #Conflicts: 666000 | #Constraints: 140541 1785.16/1791.40 c #Conflicts: 667000 | #Constraints: 141541 1785.16/1791.40 c #Conflicts: 668000 | #Constraints: 142541 1785.16/1791.40 c #Conflicts: 669000 | #Constraints: 143541 1785.16/1791.40 c #Conflicts: 670000 | #Constraints: 144541 1785.16/1791.40 c #Conflicts: 671000 | #Constraints: 145541 1785.16/1791.40 c INPROCESSING 1785.16/1791.40 c GARBAGE COLLECT 1785.16/1791.40 c rational objective 550 1816.94/1823.36 c #Conflicts: 672000 | #Constraints: 130334 1816.94/1823.36 c #Conflicts: 673000 | #Constraints: 131334 1816.94/1823.36 c #Conflicts: 674000 | #Constraints: 132334 1816.94/1823.36 c #Conflicts: 675000 | #Constraints: 133334 1816.94/1823.36 c #Conflicts: 676000 | #Constraints: 134334 1816.94/1823.36 c #Conflicts: 677000 | #Constraints: 135334 1816.94/1823.36 c #Conflicts: 678000 | #Constraints: 136334 1816.94/1823.36 c #Conflicts: 679000 | #Constraints: 137334 1816.94/1823.36 c #Conflicts: 680000 | #Constraints: 138334 1816.94/1823.36 c #Conflicts: 681000 | #Constraints: 139334 1816.94/1823.36 c #Conflicts: 682000 | #Constraints: 140334 1816.94/1823.36 c #Conflicts: 683000 | #Constraints: 141334 1816.94/1823.36 c #Conflicts: 684000 | #Constraints: 142334 1816.94/1823.36 c #Conflicts: 685000 | #Constraints: 143334 1816.94/1823.36 c #Conflicts: 686000 | #Constraints: 144334 1816.94/1823.36 c #Conflicts: 687000 | #Constraints: 145334 1816.94/1823.36 c #Conflicts: 688000 | #Constraints: 146334 1816.94/1823.36 c INPROCESSING 1816.94/1823.36 c GARBAGE COLLECT 1816.94/1823.36 c rational objective 550 1858.09/1864.66 c #Conflicts: 689000 | #Constraints: 130929 1858.09/1864.66 c #Conflicts: 690000 | #Constraints: 131929 1858.09/1864.66 c #Conflicts: 691000 | #Constraints: 132929 1858.09/1864.66 c #Conflicts: 692000 | #Constraints: 133929 1858.09/1864.66 c #Conflicts: 693000 | #Constraints: 134929 1858.09/1864.66 c #Conflicts: 694000 | #Constraints: 135929 1858.09/1864.66 c #Conflicts: 695000 | #Constraints: 136929 1858.09/1864.66 c #Conflicts: 696000 | #Constraints: 137929 1858.09/1864.66 c #Conflicts: 697000 | #Constraints: 138929 1858.09/1864.66 c #Conflicts: 698000 | #Constraints: 139929 1858.09/1864.66 c #Conflicts: 699000 | #Constraints: 140929 1858.09/1864.66 c #Conflicts: 700000 | #Constraints: 141929 1858.09/1864.66 c #Conflicts: 701000 | #Constraints: 142929 1858.09/1864.66 c #Conflicts: 702000 | #Constraints: 143929 1858.09/1864.66 c #Conflicts: 703000 | #Constraints: 144929 1858.09/1864.66 c #Conflicts: 704000 | #Constraints: 145929 1858.09/1864.66 c #Conflicts: 705000 | #Constraints: 146929 1858.09/1864.66 c INPROCESSING 1858.09/1864.66 c GARBAGE COLLECT 1858.09/1864.66 c rational objective 550 1896.54/1903.25 c #Conflicts: 706000 | #Constraints: 131341 1896.54/1903.25 c #Conflicts: 707000 | #Constraints: 132341 1896.54/1903.25 c #Conflicts: 708000 | #Constraints: 133341 1896.54/1903.25 c #Conflicts: 709000 | #Constraints: 134341 1896.54/1903.25 c #Conflicts: 710000 | #Constraints: 135341 1896.54/1903.25 c #Conflicts: 711000 | #Constraints: 136341 1896.54/1903.25 c #Conflicts: 712000 | #Constraints: 137341 1896.54/1903.25 c #Conflicts: 713000 | #Constraints: 138341 1896.54/1903.25 c #Conflicts: 714000 | #Constraints: 139341 1896.54/1903.25 c #Conflicts: 715000 | #Constraints: 140341 1896.54/1903.25 c #Conflicts: 716000 | #Constraints: 141341 1896.54/1903.25 c #Conflicts: 717000 | #Constraints: 142341 1896.54/1903.25 c #Conflicts: 718000 | #Constraints: 143341 1896.54/1903.25 c #Conflicts: 719000 | #Constraints: 144341 1896.54/1903.25 c #Conflicts: 720000 | #Constraints: 145341 1896.54/1903.25 c #Conflicts: 721000 | #Constraints: 146341 1896.54/1903.25 c #Conflicts: 722000 | #Constraints: 147341 1896.54/1903.25 c INPROCESSING 1896.54/1903.25 c GARBAGE COLLECT 1896.54/1903.25 c rational objective 550 1928.82/1935.62 c #Conflicts: 723000 | #Constraints: 131542 1928.82/1935.62 c #Conflicts: 724000 | #Constraints: 132542 1928.82/1935.62 c #Conflicts: 725000 | #Constraints: 133542 1928.82/1935.62 c #Conflicts: 726000 | #Constraints: 134542 1928.82/1935.62 c #Conflicts: 727000 | #Constraints: 135542 1928.82/1935.62 c #Conflicts: 728000 | #Constraints: 136542 1928.82/1935.62 c #Conflicts: 729000 | #Constraints: 137542 1928.82/1935.62 c #Conflicts: 730000 | #Constraints: 138542 1928.82/1935.62 c #Conflicts: 731000 | #Constraints: 139542 1928.82/1935.62 c #Conflicts: 732000 | #Constraints: 140542 1928.82/1935.62 c #Conflicts: 733000 | #Constraints: 141542 1928.82/1935.62 c #Conflicts: 734000 | #Constraints: 142542 1928.82/1935.62 c #Conflicts: 735000 | #Constraints: 143542 1928.82/1935.62 c #Conflicts: 736000 | #Constraints: 144542 1928.82/1935.62 c #Conflicts: 737000 | #Constraints: 145542 1928.82/1935.62 c #Conflicts: 738000 | #Constraints: 146542 1928.82/1935.62 c #Conflicts: 739000 | #Constraints: 147542 1928.82/1935.62 c INPROCESSING 1928.82/1935.62 c GARBAGE COLLECT 1928.82/1935.62 c rational objective 550 1973.44/1980.49 c #Conflicts: 740000 | #Constraints: 131556 1973.44/1980.49 c #Conflicts: 741000 | #Constraints: 132556 1973.44/1980.49 c #Conflicts: 742000 | #Constraints: 133556 1973.44/1980.49 c #Conflicts: 743000 | #Constraints: 134556 1973.44/1980.49 c #Conflicts: 744000 | #Constraints: 135556 1973.44/1980.49 c #Conflicts: 745000 | #Constraints: 136556 1973.44/1980.49 c #Conflicts: 746000 | #Constraints: 137556 1973.44/1980.49 c #Conflicts: 747000 | #Constraints: 138556 1973.44/1980.49 c #Conflicts: 748000 | #Constraints: 139556 1973.44/1980.49 c #Conflicts: 749000 | #Constraints: 140556 1973.44/1980.49 c #Conflicts: 750000 | #Constraints: 141556 1973.44/1980.49 c #Conflicts: 751000 | #Constraints: 142556 1973.44/1980.49 c #Conflicts: 752000 | #Constraints: 143556 1973.44/1980.49 c #Conflicts: 753000 | #Constraints: 144556 1973.44/1980.49 c #Conflicts: 754000 | #Constraints: 145556 1973.44/1980.49 c #Conflicts: 755000 | #Constraints: 146556 1973.44/1980.49 c #Conflicts: 756000 | #Constraints: 147556 1973.44/1980.49 c INPROCESSING 1973.44/1980.49 c GARBAGE COLLECT 1973.44/1980.49 c rational objective 550 2016.00/2023.16 c #Conflicts: 757000 | #Constraints: 131344 2016.00/2023.16 c #Conflicts: 758000 | #Constraints: 132344 2016.00/2023.16 c #Conflicts: 759000 | #Constraints: 133344 2016.00/2023.16 c #Conflicts: 760000 | #Constraints: 134344 2016.00/2023.16 c #Conflicts: 761000 | #Constraints: 135344 2016.00/2023.16 c #Conflicts: 762000 | #Constraints: 136344 2016.00/2023.16 c #Conflicts: 763000 | #Constraints: 137344 2016.00/2023.16 c #Conflicts: 764000 | #Constraints: 138344 2016.00/2023.16 c #Conflicts: 765000 | #Constraints: 139344 2016.00/2023.16 c #Conflicts: 766000 | #Constraints: 140344 2016.00/2023.16 c #Conflicts: 767000 | #Constraints: 141344 2016.00/2023.16 c #Conflicts: 768000 | #Constraints: 142344 2016.00/2023.16 c #Conflicts: 769000 | #Constraints: 143344 2016.00/2023.16 c #Conflicts: 770000 | #Constraints: 144344 2016.00/2023.16 c #Conflicts: 771000 | #Constraints: 145344 2016.00/2023.16 c #Conflicts: 772000 | #Constraints: 146344 2016.00/2023.16 c #Conflicts: 773000 | #Constraints: 147344 2016.00/2023.16 c #Conflicts: 774000 | #Constraints: 148344 2016.00/2023.16 c INPROCESSING 2016.00/2023.16 c GARBAGE COLLECT 2016.00/2023.16 c rational objective 550 2062.81/2070.15 c #Conflicts: 775000 | #Constraints: 131934 2062.81/2070.15 c #Conflicts: 776000 | #Constraints: 132934 2062.81/2070.15 c #Conflicts: 777000 | #Constraints: 133934 2062.81/2070.15 c #Conflicts: 778000 | #Constraints: 134934 2062.81/2070.15 c #Conflicts: 779000 | #Constraints: 135934 2062.81/2070.15 c #Conflicts: 780000 | #Constraints: 136934 2062.81/2070.15 c #Conflicts: 781000 | #Constraints: 137934 2062.81/2070.15 c #Conflicts: 782000 | #Constraints: 138934 2062.81/2070.15 c #Conflicts: 783000 | #Constraints: 139934 2062.81/2070.15 c #Conflicts: 784000 | #Constraints: 140934 2062.81/2070.15 c #Conflicts: 785000 | #Constraints: 141934 2062.81/2070.15 c #Conflicts: 786000 | #Constraints: 142934 2062.81/2070.15 c #Conflicts: 787000 | #Constraints: 143934 2062.81/2070.15 c #Conflicts: 788000 | #Constraints: 144934 2062.81/2070.15 c #Conflicts: 789000 | #Constraints: 145934 2062.81/2070.15 c #Conflicts: 790000 | #Constraints: 146934 2062.81/2070.15 c #Conflicts: 791000 | #Constraints: 147934 2062.81/2070.15 c #Conflicts: 792000 | #Constraints: 148934 2062.81/2070.15 c INPROCESSING 2062.81/2070.15 c GARBAGE COLLECT 2062.81/2070.15 c rational objective 550 2103.76/2111.24 c #Conflicts: 793000 | #Constraints: 132326 2103.76/2111.24 c #Conflicts: 794000 | #Constraints: 133326 2103.76/2111.24 c #Conflicts: 795000 | #Constraints: 134326 2103.76/2111.24 c #Conflicts: 796000 | #Constraints: 135326 2103.76/2111.24 c #Conflicts: 797000 | #Constraints: 136326 2103.76/2111.24 c #Conflicts: 798000 | #Constraints: 137326 2103.76/2111.24 c #Conflicts: 799000 | #Constraints: 138326 2103.76/2111.24 c #Conflicts: 800000 | #Constraints: 139326 2103.76/2111.24 c #Conflicts: 801000 | #Constraints: 140326 2103.76/2111.24 c #Conflicts: 802000 | #Constraints: 141326 2103.76/2111.24 c #Conflicts: 803000 | #Constraints: 142326 2103.76/2111.24 c #Conflicts: 804000 | #Constraints: 143326 2103.76/2111.24 c #Conflicts: 805000 | #Constraints: 144326 2103.76/2111.24 c #Conflicts: 806000 | #Constraints: 145326 2103.76/2111.24 c #Conflicts: 807000 | #Constraints: 146326 2103.76/2111.24 c #Conflicts: 808000 | #Constraints: 147326 2103.76/2111.24 c #Conflicts: 809000 | #Constraints: 148326 2103.76/2111.24 c #Conflicts: 810000 | #Constraints: 149326 2103.76/2111.24 c INPROCESSING 2103.76/2111.24 c GARBAGE COLLECT 2103.76/2111.24 c rational objective 550 2155.96/2163.61 c #Conflicts: 811000 | #Constraints: 132525 2155.96/2163.61 c #Conflicts: 812000 | #Constraints: 133525 2155.96/2163.61 c #Conflicts: 813000 | #Constraints: 134525 2155.96/2163.61 c #Conflicts: 814000 | #Constraints: 135525 2155.96/2163.61 c #Conflicts: 815000 | #Constraints: 136525 2155.96/2163.61 c #Conflicts: 816000 | #Constraints: 137525 2155.96/2163.61 c #Conflicts: 817000 | #Constraints: 138525 2155.96/2163.61 c #Conflicts: 818000 | #Constraints: 139525 2155.96/2163.61 c #Conflicts: 819000 | #Constraints: 140525 2155.96/2163.61 c #Conflicts: 820000 | #Constraints: 141525 2155.96/2163.61 c #Conflicts: 821000 | #Constraints: 142525 2155.96/2163.61 c #Conflicts: 822000 | #Constraints: 143525 2155.96/2163.61 c #Conflicts: 823000 | #Constraints: 144525 2155.96/2163.61 c #Conflicts: 824000 | #Constraints: 145525 2155.96/2163.61 c #Conflicts: 825000 | #Constraints: 146525 2155.96/2163.61 c #Conflicts: 826000 | #Constraints: 147525 2155.96/2163.61 c #Conflicts: 827000 | #Constraints: 148525 2155.96/2163.61 c #Conflicts: 828000 | #Constraints: 149525 2155.96/2163.61 c INPROCESSING 2155.96/2163.61 c GARBAGE COLLECT 2155.96/2163.61 c rational objective 550 2203.87/2211.74 c #Conflicts: 829000 | #Constraints: 132533 2203.87/2211.74 c #Conflicts: 830000 | #Constraints: 133533 2203.87/2211.74 c #Conflicts: 831000 | #Constraints: 134533 2203.87/2211.74 c #Conflicts: 832000 | #Constraints: 135533 2203.87/2211.74 c #Conflicts: 833000 | #Constraints: 136533 2203.87/2211.74 c #Conflicts: 834000 | #Constraints: 137533 2203.87/2211.74 c #Conflicts: 835000 | #Constraints: 138533 2203.87/2211.74 c #Conflicts: 836000 | #Constraints: 139533 2203.87/2211.74 c #Conflicts: 837000 | #Constraints: 140533 2203.87/2211.74 c #Conflicts: 838000 | #Constraints: 141533 2203.87/2211.74 c #Conflicts: 839000 | #Constraints: 142533 2203.87/2211.74 c #Conflicts: 840000 | #Constraints: 143533 2203.87/2211.74 c #Conflicts: 841000 | #Constraints: 144533 2203.87/2211.74 c #Conflicts: 842000 | #Constraints: 145533 2203.87/2211.74 c #Conflicts: 843000 | #Constraints: 146533 2203.87/2211.74 c #Conflicts: 844000 | #Constraints: 147533 2203.87/2211.74 c #Conflicts: 845000 | #Constraints: 148533 2203.87/2211.74 c #Conflicts: 846000 | #Constraints: 149533 2203.87/2211.74 c INPROCESSING 2203.87/2211.74 c GARBAGE COLLECT 2203.87/2211.74 c rational objective 550 2249.21/2257.28 c #Conflicts: 847000 | #Constraints: 132330 2249.21/2257.28 c #Conflicts: 848000 | #Constraints: 133330 2249.21/2257.28 c #Conflicts: 849000 | #Constraints: 134330 2249.21/2257.28 c #Conflicts: 850000 | #Constraints: 135330 2249.21/2257.28 c #Conflicts: 851000 | #Constraints: 136330 2249.21/2257.28 c #Conflicts: 852000 | #Constraints: 137330 2249.21/2257.28 c #Conflicts: 853000 | #Constraints: 138330 2249.21/2257.28 c #Conflicts: 854000 | #Constraints: 139330 2249.21/2257.28 c #Conflicts: 855000 | #Constraints: 140330 2249.21/2257.28 c #Conflicts: 856000 | #Constraints: 141330 2249.21/2257.28 c #Conflicts: 857000 | #Constraints: 142330 2249.21/2257.28 c #Conflicts: 858000 | #Constraints: 143330 2249.21/2257.28 c #Conflicts: 859000 | #Constraints: 144330 2249.21/2257.28 c #Conflicts: 860000 | #Constraints: 145330 2249.21/2257.28 c #Conflicts: 861000 | #Constraints: 146330 2249.21/2257.28 c #Conflicts: 862000 | #Constraints: 147330 2249.21/2257.28 c #Conflicts: 863000 | #Constraints: 148330 2249.21/2257.28 c #Conflicts: 864000 | #Constraints: 149330 2249.21/2257.28 c #Conflicts: 865000 | #Constraints: 150330 2249.21/2257.28 c INPROCESSING 2249.21/2257.28 c GARBAGE COLLECT 2249.21/2257.28 c rational objective 550 2289.95/2298.14 c #Conflicts: 866000 | #Constraints: 132936 2289.95/2298.14 c #Conflicts: 867000 | #Constraints: 133936 2289.95/2298.14 c #Conflicts: 868000 | #Constraints: 134936 2289.95/2298.14 c #Conflicts: 869000 | #Constraints: 135936 2289.95/2298.14 c #Conflicts: 870000 | #Constraints: 136936 2289.95/2298.14 c #Conflicts: 871000 | #Constraints: 137936 2289.95/2298.14 c #Conflicts: 872000 | #Constraints: 138936 2289.95/2298.14 c #Conflicts: 873000 | #Constraints: 139936 2289.95/2298.14 c #Conflicts: 874000 | #Constraints: 140936 2289.95/2298.14 c #Conflicts: 875000 | #Constraints: 141936 2289.95/2298.14 c #Conflicts: 876000 | #Constraints: 142936 2289.95/2298.14 c #Conflicts: 877000 | #Constraints: 143936 2289.95/2298.14 c #Conflicts: 878000 | #Constraints: 144936 2289.95/2298.14 c #Conflicts: 879000 | #Constraints: 145936 2289.95/2298.14 c #Conflicts: 880000 | #Constraints: 146936 2289.95/2298.14 c #Conflicts: 881000 | #Constraints: 147936 2289.95/2298.14 c #Conflicts: 882000 | #Constraints: 148936 2289.95/2298.14 c #Conflicts: 883000 | #Constraints: 149936 2289.95/2298.14 c #Conflicts: 884000 | #Constraints: 150936 2289.95/2298.14 c INPROCESSING 2289.95/2298.14 c GARBAGE COLLECT 2289.95/2298.14 c rational objective 550 2341.77/2350.18 c #Conflicts: 885000 | #Constraints: 133341 2341.77/2350.18 c #Conflicts: 886000 | #Constraints: 134341 2341.77/2350.18 c #Conflicts: 887000 | #Constraints: 135341 2341.77/2350.18 c #Conflicts: 888000 | #Constraints: 136341 2341.77/2350.18 c #Conflicts: 889000 | #Constraints: 137341 2341.77/2350.18 c #Conflicts: 890000 | #Constraints: 138341 2341.77/2350.18 c #Conflicts: 891000 | #Constraints: 139341 2341.77/2350.18 c #Conflicts: 892000 | #Constraints: 140341 2341.77/2350.18 c #Conflicts: 893000 | #Constraints: 141341 2341.77/2350.18 c #Conflicts: 894000 | #Constraints: 142341 2341.77/2350.18 c #Conflicts: 895000 | #Constraints: 143341 2341.77/2350.18 c #Conflicts: 896000 | #Constraints: 144341 2341.77/2350.18 c #Conflicts: 897000 | #Constraints: 145341 2341.77/2350.18 c #Conflicts: 898000 | #Constraints: 146341 2341.77/2350.18 c #Conflicts: 899000 | #Constraints: 147341 2341.77/2350.18 c #Conflicts: 900000 | #Constraints: 148341 2341.77/2350.18 c #Conflicts: 901000 | #Constraints: 149341 2341.77/2350.18 c #Conflicts: 902000 | #Constraints: 150341 2341.77/2350.18 c #Conflicts: 903000 | #Constraints: 151341 2341.77/2350.18 c INPROCESSING 2341.77/2350.18 c GARBAGE COLLECT 2341.77/2350.18 c rational objective 550 2391.17/2399.75 c #Conflicts: 904000 | #Constraints: 133533 2391.17/2399.75 c #Conflicts: 905000 | #Constraints: 134533 2391.17/2399.75 c #Conflicts: 906000 | #Constraints: 135533 2391.17/2399.75 c #Conflicts: 907000 | #Constraints: 136533 2391.17/2399.75 c #Conflicts: 908000 | #Constraints: 137533 2391.17/2399.75 c #Conflicts: 909000 | #Constraints: 138533 2391.17/2399.75 c #Conflicts: 910000 | #Constraints: 139533 2391.17/2399.75 c #Conflicts: 911000 | #Constraints: 140533 2391.17/2399.75 c #Conflicts: 912000 | #Constraints: 141533 2391.17/2399.75 c #Conflicts: 913000 | #Constraints: 142533 2391.17/2399.75 c #Conflicts: 914000 | #Constraints: 143533 2391.17/2399.75 c #Conflicts: 915000 | #Constraints: 144533 2391.17/2399.75 c #Conflicts: 916000 | #Constraints: 145533 2391.17/2399.75 c #Conflicts: 917000 | #Constraints: 146533 2391.17/2399.75 c #Conflicts: 918000 | #Constraints: 147533 2391.17/2399.75 c #Conflicts: 919000 | #Constraints: 148533 2391.17/2399.75 c #Conflicts: 920000 | #Constraints: 149533 2391.17/2399.75 c #Conflicts: 921000 | #Constraints: 150533 2391.17/2399.75 c #Conflicts: 922000 | #Constraints: 151533 2391.17/2399.75 c INPROCESSING 2391.17/2399.75 c GARBAGE COLLECT 2391.17/2399.75 c rational objective 550 2428.73/2437.41 c #Conflicts: 923000 | #Constraints: 133535 2428.73/2437.41 c #Conflicts: 924000 | #Constraints: 134535 2428.73/2437.41 c #Conflicts: 925000 | #Constraints: 135535 2428.73/2437.41 c #Conflicts: 926000 | #Constraints: 136535 2428.73/2437.41 c #Conflicts: 927000 | #Constraints: 137535 2428.73/2437.41 c #Conflicts: 928000 | #Constraints: 138535 2428.73/2437.41 c #Conflicts: 929000 | #Constraints: 139535 2428.73/2437.41 c #Conflicts: 930000 | #Constraints: 140535 2428.73/2437.41 c #Conflicts: 931000 | #Constraints: 141535 2428.73/2437.41 c #Conflicts: 932000 | #Constraints: 142535 2428.73/2437.41 c #Conflicts: 933000 | #Constraints: 143535 2428.73/2437.41 c #Conflicts: 934000 | #Constraints: 144535 2428.73/2437.41 c #Conflicts: 935000 | #Constraints: 145535 2428.73/2437.41 c #Conflicts: 936000 | #Constraints: 146535 2428.73/2437.41 c #Conflicts: 937000 | #Constraints: 147535 2428.73/2437.41 c #Conflicts: 938000 | #Constraints: 148535 2428.73/2437.41 c #Conflicts: 939000 | #Constraints: 149535 2428.73/2437.41 c #Conflicts: 940000 | #Constraints: 150535 2428.73/2437.41 c #Conflicts: 941000 | #Constraints: 151535 2428.73/2437.41 c INPROCESSING 2428.73/2437.41 c GARBAGE COLLECT 2428.73/2437.41 c rational objective 550 2469.29/2478.15 c #Conflicts: 942000 | #Constraints: 133354 2469.29/2478.15 c #Conflicts: 943000 | #Constraints: 134354 2469.29/2478.15 c #Conflicts: 944000 | #Constraints: 135354 2469.29/2478.15 c #Conflicts: 945000 | #Constraints: 136354 2469.29/2478.15 c #Conflicts: 946000 | #Constraints: 137354 2469.29/2478.15 c #Conflicts: 947000 | #Constraints: 138354 2469.29/2478.15 c #Conflicts: 948000 | #Constraints: 139354 2469.29/2478.15 c #Conflicts: 949000 | #Constraints: 140354 2469.29/2478.15 c #Conflicts: 950000 | #Constraints: 141354 2469.29/2478.15 c #Conflicts: 951000 | #Constraints: 142354 2469.29/2478.15 c #Conflicts: 952000 | #Constraints: 143354 2469.29/2478.15 c #Conflicts: 953000 | #Constraints: 144354 2469.29/2478.15 c #Conflicts: 954000 | #Constraints: 145354 2469.29/2478.15 c #Conflicts: 955000 | #Constraints: 146354 2469.29/2478.15 c #Conflicts: 956000 | #Constraints: 147354 2469.29/2478.15 c #Conflicts: 957000 | #Constraints: 148354 2469.29/2478.15 c #Conflicts: 958000 | #Constraints: 149354 2469.29/2478.15 c #Conflicts: 959000 | #Constraints: 150354 2469.29/2478.15 c #Conflicts: 960000 | #Constraints: 151354 2469.29/2478.15 c #Conflicts: 961000 | #Constraints: 152354 2469.29/2478.15 c INPROCESSING 2469.29/2478.15 c GARBAGE COLLECT 2469.29/2478.15 c rational objective 550 2512.44/2521.44 c #Conflicts: 962000 | #Constraints: 133960 2512.44/2521.44 c #Conflicts: 963000 | #Constraints: 134960 2512.44/2521.44 c #Conflicts: 964000 | #Constraints: 135960 2512.44/2521.44 c #Conflicts: 965000 | #Constraints: 136960 2512.44/2521.44 c #Conflicts: 966000 | #Constraints: 137960 2512.44/2521.44 c #Conflicts: 967000 | #Constraints: 138960 2512.44/2521.44 c #Conflicts: 968000 | #Constraints: 139960 2512.44/2521.44 c #Conflicts: 969000 | #Constraints: 140960 2512.44/2521.44 c #Conflicts: 970000 | #Constraints: 141960 2512.44/2521.44 c #Conflicts: 971000 | #Constraints: 142960 2512.44/2521.44 c #Conflicts: 972000 | #Constraints: 143960 2512.44/2521.44 c #Conflicts: 973000 | #Constraints: 144960 2512.44/2521.44 c #Conflicts: 974000 | #Constraints: 145960 2512.44/2521.44 c #Conflicts: 975000 | #Constraints: 146960 2512.44/2521.44 c #Conflicts: 976000 | #Constraints: 147960 2512.44/2521.44 c #Conflicts: 977000 | #Constraints: 148960 2512.44/2521.44 c #Conflicts: 978000 | #Constraints: 149960 2512.44/2521.44 c #Conflicts: 979000 | #Constraints: 150960 2512.44/2521.44 c #Conflicts: 980000 | #Constraints: 151960 2512.44/2521.44 c #Conflicts: 981000 | #Constraints: 152960 2512.44/2521.44 c INPROCESSING 2512.44/2521.44 c GARBAGE COLLECT 2512.44/2521.44 c rational objective 550 2554.18/2563.30 c #Conflicts: 982000 | #Constraints: 134362 2554.18/2563.30 c #Conflicts: 983000 | #Constraints: 135362 2554.18/2563.30 c #Conflicts: 984000 | #Constraints: 136362 2554.18/2563.30 c #Conflicts: 985000 | #Constraints: 137362 2554.18/2563.30 c #Conflicts: 986000 | #Constraints: 138362 2554.18/2563.30 c #Conflicts: 987000 | #Constraints: 139362 2554.18/2563.30 c #Conflicts: 988000 | #Constraints: 140362 2554.18/2563.30 c #Conflicts: 989000 | #Constraints: 141362 2554.18/2563.30 c #Conflicts: 990000 | #Constraints: 142362 2554.18/2563.30 c #Conflicts: 991000 | #Constraints: 143362 2554.18/2563.30 c #Conflicts: 992000 | #Constraints: 144362 2554.18/2563.30 c #Conflicts: 993000 | #Constraints: 145362 2554.18/2563.30 c #Conflicts: 994000 | #Constraints: 146362 2554.18/2563.30 c #Conflicts: 995000 | #Constraints: 147362 2554.18/2563.30 c #Conflicts: 996000 | #Constraints: 148362 2554.18/2563.30 c #Conflicts: 997000 | #Constraints: 149362 2554.18/2563.30 c #Conflicts: 998000 | #Constraints: 150362 2554.18/2563.30 c #Conflicts: 999000 | #Constraints: 151362 2554.18/2563.30 c #Conflicts: 1000000 | #Constraints: 152362 2554.18/2563.30 c #Conflicts: 1001000 | #Constraints: 153362 2554.18/2563.30 c INPROCESSING 2554.18/2563.30 c GARBAGE COLLECT 2554.18/2563.30 c rational objective 550 2591.63/2600.98 c #Conflicts: 1002000 | #Constraints: 134574 2591.63/2600.98 c #Conflicts: 1003000 | #Constraints: 135574 2591.63/2600.98 c #Conflicts: 1004000 | #Constraints: 136574 2591.63/2600.98 c #Conflicts: 1005000 | #Constraints: 137574 2591.63/2600.98 c #Conflicts: 1006000 | #Constraints: 138574 2591.63/2600.98 c #Conflicts: 1007000 | #Constraints: 139574 2591.63/2600.98 c #Conflicts: 1008000 | #Constraints: 140574 2591.63/2600.98 c #Conflicts: 1009000 | #Constraints: 141574 2591.63/2600.98 c #Conflicts: 1010000 | #Constraints: 142574 2591.63/2600.98 c #Conflicts: 1011000 | #Constraints: 143574 2591.63/2600.98 c #Conflicts: 1012000 | #Constraints: 144574 2591.63/2600.98 c #Conflicts: 1013000 | #Constraints: 145574 2591.63/2600.98 c #Conflicts: 1014000 | #Constraints: 146574 2591.63/2600.98 c #Conflicts: 1015000 | #Constraints: 147574 2591.63/2600.98 c #Conflicts: 1016000 | #Constraints: 148574 2591.63/2600.98 c #Conflicts: 1017000 | #Constraints: 149574 2591.63/2600.98 c #Conflicts: 1018000 | #Constraints: 150574 2591.63/2600.98 c #Conflicts: 1019000 | #Constraints: 151574 2591.63/2600.98 c #Conflicts: 1020000 | #Constraints: 152574 2591.63/2600.98 c #Conflicts: 1021000 | #Constraints: 153574 2591.63/2600.98 c INPROCESSING 2591.63/2600.98 c GARBAGE COLLECT 2591.63/2600.98 c rational objective 550 2631.28/2640.72 c #Conflicts: 1022000 | #Constraints: 134587 2631.28/2640.72 c #Conflicts: 1023000 | #Constraints: 135587 2631.28/2640.72 c #Conflicts: 1024000 | #Constraints: 136587 2631.28/2640.72 c #Conflicts: 1025000 | #Constraints: 137587 2631.28/2640.72 c #Conflicts: 1026000 | #Constraints: 138587 2631.28/2640.72 c #Conflicts: 1027000 | #Constraints: 139587 2631.28/2640.72 c #Conflicts: 1028000 | #Constraints: 140587 2631.28/2640.72 c #Conflicts: 1029000 | #Constraints: 141587 2631.28/2640.72 c #Conflicts: 1030000 | #Constraints: 142587 2631.28/2640.72 c #Conflicts: 1031000 | #Constraints: 143587 2631.28/2640.72 c #Conflicts: 1032000 | #Constraints: 144587 2631.28/2640.72 c #Conflicts: 1033000 | #Constraints: 145587 2631.28/2640.72 c #Conflicts: 1034000 | #Constraints: 146587 2631.28/2640.72 c #Conflicts: 1035000 | #Constraints: 147587 2631.28/2640.72 c #Conflicts: 1036000 | #Constraints: 148587 2631.28/2640.72 c #Conflicts: 1037000 | #Constraints: 149587 2631.28/2640.72 c #Conflicts: 1038000 | #Constraints: 150587 2631.28/2640.72 c #Conflicts: 1039000 | #Constraints: 151587 2631.28/2640.72 c #Conflicts: 1040000 | #Constraints: 152587 2631.28/2640.72 c #Conflicts: 1041000 | #Constraints: 153587 2631.28/2640.72 c INPROCESSING 2631.28/2640.72 c GARBAGE COLLECT 2631.28/2640.72 c rational objective 550 2666.94/2676.53 c #Conflicts: 1042000 | #Constraints: 134382 2666.94/2676.53 c #Conflicts: 1043000 | #Constraints: 135382 2666.94/2676.53 c #Conflicts: 1044000 | #Constraints: 136382 2666.94/2676.53 c #Conflicts: 1045000 | #Constraints: 137382 2666.94/2676.53 c #Conflicts: 1046000 | #Constraints: 138382 2666.94/2676.53 c #Conflicts: 1047000 | #Constraints: 139382 2666.94/2676.53 c #Conflicts: 1048000 | #Constraints: 140382 2666.94/2676.53 c #Conflicts: 1049000 | #Constraints: 141382 2666.94/2676.53 c #Conflicts: 1050000 | #Constraints: 142382 2666.94/2676.53 c #Conflicts: 1051000 | #Constraints: 143382 2666.94/2676.53 c #Conflicts: 1052000 | #Constraints: 144382 2666.94/2676.53 c #Conflicts: 1053000 | #Constraints: 145382 2666.94/2676.53 c #Conflicts: 1054000 | #Constraints: 146382 2666.94/2676.53 c #Conflicts: 1055000 | #Constraints: 147382 2666.94/2676.53 c #Conflicts: 1056000 | #Constraints: 148382 2666.94/2676.53 c #Conflicts: 1057000 | #Constraints: 149382 2666.94/2676.53 c #Conflicts: 1058000 | #Constraints: 150382 2666.94/2676.53 c #Conflicts: 1059000 | #Constraints: 151382 2666.94/2676.53 c #Conflicts: 1060000 | #Constraints: 152382 2666.94/2676.53 c #Conflicts: 1061000 | #Constraints: 153382 2666.94/2676.53 c #Conflicts: 1062000 | #Constraints: 154382 2666.94/2676.53 c INPROCESSING 2666.94/2676.53 c GARBAGE COLLECT 2666.94/2676.53 c rational objective 550 2706.09/2715.87 c #Conflicts: 1063000 | #Constraints: 134983 2706.09/2715.87 c #Conflicts: 1064000 | #Constraints: 135983 2706.09/2715.87 c #Conflicts: 1065000 | #Constraints: 136983 2706.09/2715.87 c #Conflicts: 1066000 | #Constraints: 137983 2706.09/2715.87 c #Conflicts: 1067000 | #Constraints: 138983 2706.09/2715.87 c #Conflicts: 1068000 | #Constraints: 139983 2706.09/2715.87 c #Conflicts: 1069000 | #Constraints: 140983 2706.09/2715.87 c #Conflicts: 1070000 | #Constraints: 141983 2706.09/2715.87 c #Conflicts: 1071000 | #Constraints: 142983 2706.09/2715.87 c #Conflicts: 1072000 | #Constraints: 143983 2706.09/2715.87 c #Conflicts: 1073000 | #Constraints: 144983 2706.09/2715.87 c #Conflicts: 1074000 | #Constraints: 145983 2706.09/2715.87 c #Conflicts: 1075000 | #Constraints: 146983 2706.09/2715.87 c #Conflicts: 1076000 | #Constraints: 147983 2706.09/2715.87 c #Conflicts: 1077000 | #Constraints: 148983 2706.09/2715.87 c #Conflicts: 1078000 | #Constraints: 149983 2706.09/2715.87 c #Conflicts: 1079000 | #Constraints: 150983 2706.09/2715.87 c #Conflicts: 1080000 | #Constraints: 151983 2706.09/2715.87 c #Conflicts: 1081000 | #Constraints: 152983 2706.09/2715.87 c #Conflicts: 1082000 | #Constraints: 153983 2706.09/2715.87 c #Conflicts: 1083000 | #Constraints: 154983 2706.09/2715.87 c INPROCESSING 2706.09/2715.87 c GARBAGE COLLECT 2706.09/2715.87 c rational objective 550 2747.93/2757.87 c #Conflicts: 1084000 | #Constraints: 135370 2747.93/2757.87 c #Conflicts: 1085000 | #Constraints: 136370 2747.93/2757.87 c #Conflicts: 1086000 | #Constraints: 137370 2747.93/2757.87 c #Conflicts: 1087000 | #Constraints: 138370 2747.93/2757.87 c #Conflicts: 1088000 | #Constraints: 139370 2747.93/2757.87 c #Conflicts: 1089000 | #Constraints: 140370 2747.93/2757.87 c #Conflicts: 1090000 | #Constraints: 141370 2747.93/2757.87 c #Conflicts: 1091000 | #Constraints: 142370 2747.93/2757.87 c #Conflicts: 1092000 | #Constraints: 143370 2747.93/2757.87 c #Conflicts: 1093000 | #Constraints: 144370 2747.93/2757.87 c #Conflicts: 1094000 | #Constraints: 145370 2747.93/2757.87 c #Conflicts: 1095000 | #Constraints: 146370 2747.93/2757.87 c #Conflicts: 1096000 | #Constraints: 147370 2747.93/2757.87 c #Conflicts: 1097000 | #Constraints: 148370 2747.93/2757.87 c #Conflicts: 1098000 | #Constraints: 149370 2747.93/2757.87 c #Conflicts: 1099000 | #Constraints: 150370 2747.93/2757.87 c #Conflicts: 1100000 | #Constraints: 151370 2747.93/2757.87 c #Conflicts: 1101000 | #Constraints: 152370 2747.93/2757.87 c #Conflicts: 1102000 | #Constraints: 153370 2747.93/2757.87 c #Conflicts: 1103000 | #Constraints: 154370 2747.93/2757.87 c #Conflicts: 1104000 | #Constraints: 155370 2747.93/2757.87 c INPROCESSING 2747.93/2757.87 c GARBAGE COLLECT 2747.93/2757.87 c rational objective 550 2792.76/2802.87 c #Conflicts: 1105000 | #Constraints: 135581 2792.76/2802.87 c #Conflicts: 1106000 | #Constraints: 136581 2792.76/2802.87 c #Conflicts: 1107000 | #Constraints: 137581 2792.76/2802.87 c #Conflicts: 1108000 | #Constraints: 138581 2792.76/2802.87 c #Conflicts: 1109000 | #Constraints: 139581 2792.76/2802.87 c #Conflicts: 1110000 | #Constraints: 140581 2792.76/2802.87 c #Conflicts: 1111000 | #Constraints: 141581 2792.76/2802.87 c #Conflicts: 1112000 | #Constraints: 142581 2792.76/2802.87 c #Conflicts: 1113000 | #Constraints: 143581 2792.76/2802.87 c #Conflicts: 1114000 | #Constraints: 144581 2792.76/2802.87 c #Conflicts: 1115000 | #Constraints: 145581 2792.76/2802.87 c #Conflicts: 1116000 | #Constraints: 146581 2792.76/2802.87 c #Conflicts: 1117000 | #Constraints: 147581 2792.76/2802.87 c #Conflicts: 1118000 | #Constraints: 148581 2792.76/2802.87 c #Conflicts: 1119000 | #Constraints: 149581 2792.76/2802.87 c #Conflicts: 1120000 | #Constraints: 150581 2792.76/2802.87 c #Conflicts: 1121000 | #Constraints: 151581 2792.76/2802.87 c #Conflicts: 1122000 | #Constraints: 152581 2792.76/2802.87 c #Conflicts: 1123000 | #Constraints: 153581 2792.76/2802.87 c #Conflicts: 1124000 | #Constraints: 154581 2792.76/2802.87 c #Conflicts: 1125000 | #Constraints: 155581 2792.76/2802.87 c INPROCESSING 2792.76/2802.87 c GARBAGE COLLECT 2792.76/2802.87 c rational objective 550 2849.44/2859.70 c #Conflicts: 1126000 | #Constraints: 135579 2849.44/2859.70 c #Conflicts: 1127000 | #Constraints: 136579 2849.44/2859.70 c #Conflicts: 1128000 | #Constraints: 137579 2849.44/2859.70 c #Conflicts: 1129000 | #Constraints: 138579 2849.44/2859.70 c #Conflicts: 1130000 | #Constraints: 139579 2849.44/2859.70 c #Conflicts: 1131000 | #Constraints: 140579 2849.44/2859.70 c #Conflicts: 1132000 | #Constraints: 141579 2849.44/2859.70 c #Conflicts: 1133000 | #Constraints: 142579 2849.44/2859.70 c #Conflicts: 1134000 | #Constraints: 143579 2849.44/2859.70 c #Conflicts: 1135000 | #Constraints: 144579 2849.44/2859.70 c #Conflicts: 1136000 | #Constraints: 145579 2849.44/2859.70 c #Conflicts: 1137000 | #Constraints: 146579 2849.44/2859.70 c #Conflicts: 1138000 | #Constraints: 147579 2849.44/2859.70 c #Conflicts: 1139000 | #Constraints: 148579 2849.44/2859.70 c #Conflicts: 1140000 | #Constraints: 149579 2849.44/2859.70 c #Conflicts: 1141000 | #Constraints: 150579 2849.44/2859.70 c #Conflicts: 1142000 | #Constraints: 151579 2849.44/2859.70 c #Conflicts: 1143000 | #Constraints: 152579 2849.44/2859.70 c #Conflicts: 1144000 | #Constraints: 153579 2849.44/2859.70 c #Conflicts: 1145000 | #Constraints: 154579 2849.44/2859.70 c #Conflicts: 1146000 | #Constraints: 155579 2849.44/2859.70 c INPROCESSING 2849.44/2859.70 c GARBAGE COLLECT 2849.44/2859.70 c rational objective 550 2908.61/2919.15 c #Conflicts: 1147000 | #Constraints: 135365 2908.61/2919.15 c #Conflicts: 1148000 | #Constraints: 136365 2908.61/2919.15 c #Conflicts: 1149000 | #Constraints: 137365 2908.61/2919.15 c #Conflicts: 1150000 | #Constraints: 138365 2908.61/2919.15 c #Conflicts: 1151000 | #Constraints: 139365 2908.61/2919.15 c #Conflicts: 1152000 | #Constraints: 140365 2908.61/2919.15 c #Conflicts: 1153000 | #Constraints: 141365 2908.61/2919.15 c #Conflicts: 1154000 | #Constraints: 142365 2908.61/2919.15 c #Conflicts: 1155000 | #Constraints: 143365 2908.61/2919.15 c #Conflicts: 1156000 | #Constraints: 144365 2908.61/2919.15 c #Conflicts: 1157000 | #Constraints: 145365 2908.61/2919.15 c #Conflicts: 1158000 | #Constraints: 146365 2908.61/2919.15 c #Conflicts: 1159000 | #Constraints: 147365 2908.61/2919.15 c #Conflicts: 1160000 | #Constraints: 148365 2908.61/2919.15 c #Conflicts: 1161000 | #Constraints: 149365 2908.61/2919.15 c #Conflicts: 1162000 | #Constraints: 150365 2908.61/2919.15 c #Conflicts: 1163000 | #Constraints: 151365 2908.61/2919.15 c #Conflicts: 1164000 | #Constraints: 152365 2908.61/2919.15 c #Conflicts: 1165000 | #Constraints: 153365 2908.61/2919.15 c #Conflicts: 1166000 | #Constraints: 154365 2908.61/2919.15 c #Conflicts: 1167000 | #Constraints: 155365 2908.61/2919.15 c #Conflicts: 1168000 | #Constraints: 156365 2908.61/2919.15 c INPROCESSING 2908.61/2919.15 c GARBAGE COLLECT 2908.61/2919.15 c rational objective 550 2966.59/2977.34 c #Conflicts: 1169000 | #Constraints: 135955 2966.59/2977.34 c #Conflicts: 1170000 | #Constraints: 136955 2966.59/2977.34 c #Conflicts: 1171000 | #Constraints: 137955 2966.59/2977.34 c #Conflicts: 1172000 | #Constraints: 138955 2966.59/2977.34 c #Conflicts: 1173000 | #Constraints: 139955 2966.59/2977.34 c #Conflicts: 1174000 | #Constraints: 140955 2966.59/2977.34 c #Conflicts: 1175000 | #Constraints: 141955 2966.59/2977.34 c #Conflicts: 1176000 | #Constraints: 142955 2966.59/2977.34 c #Conflicts: 1177000 | #Constraints: 143955 2966.59/2977.34 c #Conflicts: 1178000 | #Constraints: 144955 2966.59/2977.34 c #Conflicts: 1179000 | #Constraints: 145955 2966.59/2977.34 c #Conflicts: 1180000 | #Constraints: 146955 2966.59/2977.34 c #Conflicts: 1181000 | #Constraints: 147955 2966.59/2977.34 c #Conflicts: 1182000 | #Constraints: 148955 2966.59/2977.34 c #Conflicts: 1183000 | #Constraints: 149955 2966.59/2977.34 c #Conflicts: 1184000 | #Constraints: 150955 2966.59/2977.34 c #Conflicts: 1185000 | #Constraints: 151955 2966.59/2977.34 c #Conflicts: 1186000 | #Constraints: 152955 2966.59/2977.34 c #Conflicts: 1187000 | #Constraints: 153955 2966.59/2977.34 c #Conflicts: 1188000 | #Constraints: 154955 2966.59/2977.34 c #Conflicts: 1189000 | #Constraints: 155955 2966.59/2977.34 c #Conflicts: 1190000 | #Constraints: 156955 2966.59/2977.34 c INPROCESSING 2966.59/2977.34 c GARBAGE COLLECT 2966.59/2977.34 c rational objective 550 3014.01/3024.94 c #Conflicts: 1191000 | #Constraints: 136354 3014.01/3024.94 c #Conflicts: 1192000 | #Constraints: 137354 3014.01/3024.94 c #Conflicts: 1193000 | #Constraints: 138354 3014.01/3024.94 c #Conflicts: 1194000 | #Constraints: 139354 3014.01/3024.94 c #Conflicts: 1195000 | #Constraints: 140354 3014.01/3024.94 c #Conflicts: 1196000 | #Constraints: 141354 3014.01/3024.94 c #Conflicts: 1197000 | #Constraints: 142354 3014.01/3024.94 c #Conflicts: 1198000 | #Constraints: 143354 3014.01/3024.94 c #Conflicts: 1199000 | #Constraints: 144354 3014.01/3024.94 c #Conflicts: 1200000 | #Constraints: 145354 3014.01/3024.94 c #Conflicts: 1201000 | #Constraints: 146354 3014.01/3024.94 c #Conflicts: 1202000 | #Constraints: 147354 3014.01/3024.94 c #Conflicts: 1203000 | #Constraints: 148354 3014.01/3024.94 c #Conflicts: 1204000 | #Constraints: 149354 3014.01/3024.94 c #Conflicts: 1205000 | #Constraints: 150354 3014.01/3024.94 c #Conflicts: 1206000 | #Constraints: 151354 3014.01/3024.94 c #Conflicts: 1207000 | #Constraints: 152354 3014.01/3024.94 c #Conflicts: 1208000 | #Constraints: 153354 3014.01/3024.94 c #Conflicts: 1209000 | #Constraints: 154354 3014.01/3024.94 c #Conflicts: 1210000 | #Constraints: 155354 3014.01/3024.94 c #Conflicts: 1211000 | #Constraints: 156354 3014.01/3024.94 c #Conflicts: 1212000 | #Constraints: 157354 3014.01/3024.94 c INPROCESSING 3014.01/3024.94 c GARBAGE COLLECT 3014.01/3024.94 c rational objective 550 3064.92/3076.05 c #Conflicts: 1213000 | #Constraints: 136546 3064.92/3076.05 c #Conflicts: 1214000 | #Constraints: 137546 3064.92/3076.05 c #Conflicts: 1215000 | #Constraints: 138546 3064.92/3076.05 c #Conflicts: 1216000 | #Constraints: 139546 3064.92/3076.05 c #Conflicts: 1217000 | #Constraints: 140546 3064.92/3076.05 c #Conflicts: 1218000 | #Constraints: 141546 3064.92/3076.05 c #Conflicts: 1219000 | #Constraints: 142546 3064.92/3076.05 c #Conflicts: 1220000 | #Constraints: 143546 3064.92/3076.05 c #Conflicts: 1221000 | #Constraints: 144546 3064.92/3076.05 c #Conflicts: 1222000 | #Constraints: 145546 3064.92/3076.05 c #Conflicts: 1223000 | #Constraints: 146546 3064.92/3076.05 c #Conflicts: 1224000 | #Constraints: 147546 3064.92/3076.05 c #Conflicts: 1225000 | #Constraints: 148546 3064.92/3076.05 c #Conflicts: 1226000 | #Constraints: 149546 3064.92/3076.05 c #Conflicts: 1227000 | #Constraints: 150546 3064.92/3076.05 c #Conflicts: 1228000 | #Constraints: 151546 3064.92/3076.05 c #Conflicts: 1229000 | #Constraints: 152546 3064.92/3076.05 c #Conflicts: 1230000 | #Constraints: 153546 3064.92/3076.05 c #Conflicts: 1231000 | #Constraints: 154546 3064.92/3076.05 c #Conflicts: 1232000 | #Constraints: 155546 3064.92/3076.05 c #Conflicts: 1233000 | #Constraints: 156546 3064.92/3076.05 c #Conflicts: 1234000 | #Constraints: 157546 3064.92/3076.05 c INPROCESSING 3064.92/3076.05 c GARBAGE COLLECT 3064.92/3076.05 c rational objective 550 3110.84/3122.14 c #Conflicts: 1235000 | #Constraints: 136536 3110.84/3122.14 c #Conflicts: 1236000 | #Constraints: 137536 3110.84/3122.14 c #Conflicts: 1237000 | #Constraints: 138536 3110.84/3122.14 c #Conflicts: 1238000 | #Constraints: 139536 3110.84/3122.14 c #Conflicts: 1239000 | #Constraints: 140536 3110.84/3122.14 c #Conflicts: 1240000 | #Constraints: 141536 3110.84/3122.14 c #Conflicts: 1241000 | #Constraints: 142536 3110.84/3122.14 c #Conflicts: 1242000 | #Constraints: 143536 3110.84/3122.14 c #Conflicts: 1243000 | #Constraints: 144536 3110.84/3122.14 c #Conflicts: 1244000 | #Constraints: 145536 3110.84/3122.14 c #Conflicts: 1245000 | #Constraints: 146536 3110.84/3122.14 c #Conflicts: 1246000 | #Constraints: 147536 3110.84/3122.14 c #Conflicts: 1247000 | #Constraints: 148536 3110.84/3122.14 c #Conflicts: 1248000 | #Constraints: 149536 3110.84/3122.14 c #Conflicts: 1249000 | #Constraints: 150536 3110.84/3122.14 c #Conflicts: 1250000 | #Constraints: 151536 3110.84/3122.14 c #Conflicts: 1251000 | #Constraints: 152536 3110.84/3122.14 c #Conflicts: 1252000 | #Constraints: 153536 3110.84/3122.14 c #Conflicts: 1253000 | #Constraints: 154536 3110.84/3122.14 c #Conflicts: 1254000 | #Constraints: 155536 3110.84/3122.14 c #Conflicts: 1255000 | #Constraints: 156536 3110.84/3122.14 c #Conflicts: 1256000 | #Constraints: 157536 3110.84/3122.14 c INPROCESSING 3110.84/3122.14 c GARBAGE COLLECT 3110.84/3122.14 c rational objective 550 3173.19/3184.78 c #Conflicts: 1257000 | #Constraints: 136333 3173.19/3184.78 c #Conflicts: 1258000 | #Constraints: 137333 3173.19/3184.78 c #Conflicts: 1259000 | #Constraints: 138333 3173.19/3184.78 c #Conflicts: 1260000 | #Constraints: 139333 3173.19/3184.78 c #Conflicts: 1261000 | #Constraints: 140333 3173.19/3184.78 c #Conflicts: 1262000 | #Constraints: 141333 3173.19/3184.78 c #Conflicts: 1263000 | #Constraints: 142333 3173.19/3184.78 c #Conflicts: 1264000 | #Constraints: 143333 3173.19/3184.78 c #Conflicts: 1265000 | #Constraints: 144333 3173.19/3184.78 c #Conflicts: 1266000 | #Constraints: 145333 3173.19/3184.78 c #Conflicts: 1267000 | #Constraints: 146333 3173.19/3184.78 c #Conflicts: 1268000 | #Constraints: 147333 3173.19/3184.78 c #Conflicts: 1269000 | #Constraints: 148333 3173.19/3184.78 c #Conflicts: 1270000 | #Constraints: 149333 3173.19/3184.78 c #Conflicts: 1271000 | #Constraints: 150333 3173.19/3184.78 c #Conflicts: 1272000 | #Constraints: 151333 3173.19/3184.78 c #Conflicts: 1273000 | #Constraints: 152333 3173.19/3184.78 c #Conflicts: 1274000 | #Constraints: 153333 3173.19/3184.78 c #Conflicts: 1275000 | #Constraints: 154333 3173.19/3184.78 c #Conflicts: 1276000 | #Constraints: 155333 3173.19/3184.78 c #Conflicts: 1277000 | #Constraints: 156333 3173.19/3184.78 c #Conflicts: 1278000 | #Constraints: 157333 3173.19/3184.78 c #Conflicts: 1279000 | #Constraints: 158333 3173.19/3184.78 c INPROCESSING 3173.19/3184.78 c GARBAGE COLLECT 3173.19/3184.78 c rational objective 550 3228.40/3240.12 c #Conflicts: 1280000 | #Constraints: 136928 3228.40/3240.12 c #Conflicts: 1281000 | #Constraints: 137928 3228.40/3240.12 c #Conflicts: 1282000 | #Constraints: 138928 3228.40/3240.12 c #Conflicts: 1283000 | #Constraints: 139928 3228.40/3240.12 c #Conflicts: 1284000 | #Constraints: 140928 3228.40/3240.12 c #Conflicts: 1285000 | #Constraints: 141928 3228.40/3240.12 c #Conflicts: 1286000 | #Constraints: 142928 3228.40/3240.12 c #Conflicts: 1287000 | #Constraints: 143928 3228.40/3240.12 c #Conflicts: 1288000 | #Constraints: 144928 3228.40/3240.12 c #Conflicts: 1289000 | #Constraints: 145928 3228.40/3240.12 c #Conflicts: 1290000 | #Constraints: 146928 3228.40/3240.12 c #Conflicts: 1291000 | #Constraints: 147928 3228.40/3240.12 c #Conflicts: 1292000 | #Constraints: 148928 3228.40/3240.12 c #Conflicts: 1293000 | #Constraints: 149928 3228.40/3240.12 c #Conflicts: 1294000 | #Constraints: 150928 3228.40/3240.12 c #Conflicts: 1295000 | #Constraints: 151928 3228.40/3240.12 c #Conflicts: 1296000 | #Constraints: 152928 3228.40/3240.12 c #Conflicts: 1297000 | #Constraints: 153928 3228.40/3240.12 c #Conflicts: 1298000 | #Constraints: 154928 3228.40/3240.12 c #Conflicts: 1299000 | #Constraints: 155928 3228.40/3240.12 c #Conflicts: 1300000 | #Constraints: 156928 3228.40/3240.12 c #Conflicts: 1301000 | #Constraints: 157928 3228.40/3240.12 c #Conflicts: 1302000 | #Constraints: 158928 3228.40/3240.12 c INPROCESSING 3228.40/3240.12 c GARBAGE COLLECT 3228.40/3240.12 c rational objective 550 3285.67/3297.69 c #Conflicts: 1303000 | #Constraints: 137336 3285.67/3297.69 c #Conflicts: 1304000 | #Constraints: 138336 3285.67/3297.69 c #Conflicts: 1305000 | #Constraints: 139336 3285.67/3297.69 c #Conflicts: 1306000 | #Constraints: 140336 3285.67/3297.69 c #Conflicts: 1307000 | #Constraints: 141336 3285.67/3297.69 c #Conflicts: 1308000 | #Constraints: 142336 3285.67/3297.69 c #Conflicts: 1309000 | #Constraints: 143336 3285.67/3297.69 c #Conflicts: 1310000 | #Constraints: 144336 3285.67/3297.69 c #Conflicts: 1311000 | #Constraints: 145336 3285.67/3297.69 c #Conflicts: 1312000 | #Constraints: 146336 3285.67/3297.69 c #Conflicts: 1313000 | #Constraints: 147336 3285.67/3297.69 c #Conflicts: 1314000 | #Constraints: 148336 3285.67/3297.69 c #Conflicts: 1315000 | #Constraints: 149336 3285.67/3297.69 c #Conflicts: 1316000 | #Constraints: 150336 3285.67/3297.69 c #Conflicts: 1317000 | #Constraints: 151336 3285.67/3297.69 c #Conflicts: 1318000 | #Constraints: 152336 3285.67/3297.69 c #Conflicts: 1319000 | #Constraints: 153336 3285.67/3297.69 c #Conflicts: 1320000 | #Constraints: 154336 3285.67/3297.69 c #Conflicts: 1321000 | #Constraints: 155336 3285.67/3297.69 c #Conflicts: 1322000 | #Constraints: 156336 3285.67/3297.69 c #Conflicts: 1323000 | #Constraints: 157336 3285.67/3297.69 c #Conflicts: 1324000 | #Constraints: 158336 3285.67/3297.69 c #Conflicts: 1325000 | #Constraints: 159336 3285.67/3297.69 c INPROCESSING 3285.67/3297.69 c GARBAGE COLLECT 3285.67/3297.69 c rational objective 550 3329.30/3341.41 c #Conflicts: 1326000 | #Constraints: 137551 3329.30/3341.41 c #Conflicts: 1327000 | #Constraints: 138551 3329.30/3341.41 c #Conflicts: 1328000 | #Constraints: 139551 3329.30/3341.41 c #Conflicts: 1329000 | #Constraints: 140551 3329.30/3341.41 c #Conflicts: 1330000 | #Constraints: 141551 3329.30/3341.41 c #Conflicts: 1331000 | #Constraints: 142551 3329.30/3341.41 c #Conflicts: 1332000 | #Constraints: 143551 3329.30/3341.41 c #Conflicts: 1333000 | #Constraints: 144551 3329.30/3341.41 c #Conflicts: 1334000 | #Constraints: 145551 3329.30/3341.41 c #Conflicts: 1335000 | #Constraints: 146551 3329.30/3341.41 c #Conflicts: 1336000 | #Constraints: 147551 3329.30/3341.41 c #Conflicts: 1337000 | #Constraints: 148551 3329.30/3341.41 c #Conflicts: 1338000 | #Constraints: 149551 3329.30/3341.41 c #Conflicts: 1339000 | #Constraints: 150551 3329.30/3341.41 c #Conflicts: 1340000 | #Constraints: 151551 3329.30/3341.41 c #Conflicts: 1341000 | #Constraints: 152551 3329.30/3341.41 c #Conflicts: 1342000 | #Constraints: 153551 3329.30/3341.41 c #Conflicts: 1343000 | #Constraints: 154551 3329.30/3341.41 c #Conflicts: 1344000 | #Constraints: 155551 3329.30/3341.41 c #Conflicts: 1345000 | #Constraints: 156551 3329.30/3341.41 c #Conflicts: 1346000 | #Constraints: 157551 3329.30/3341.41 c #Conflicts: 1347000 | #Constraints: 158551 3329.30/3341.41 c #Conflicts: 1348000 | #Constraints: 159551 3329.30/3341.41 c INPROCESSING 3329.30/3341.41 c GARBAGE COLLECT 3329.30/3341.41 c rational objective 550 3395.05/3407.45 c #Conflicts: 1349000 | #Constraints: 137554 3395.05/3407.45 c #Conflicts: 1350000 | #Constraints: 138554 3395.05/3407.45 c #Conflicts: 1351000 | #Constraints: 139554 3395.05/3407.45 c #Conflicts: 1352000 | #Constraints: 140554 3395.05/3407.45 c #Conflicts: 1353000 | #Constraints: 141554 3395.05/3407.45 c #Conflicts: 1354000 | #Constraints: 142554 3395.05/3407.45 c #Conflicts: 1355000 | #Constraints: 143554 3395.05/3407.45 c #Conflicts: 1356000 | #Constraints: 144554 3395.05/3407.45 c #Conflicts: 1357000 | #Constraints: 145554 3395.05/3407.45 c #Conflicts: 1358000 | #Constraints: 146554 3395.05/3407.45 c #Conflicts: 1359000 | #Constraints: 147554 3395.05/3407.45 c #Conflicts: 1360000 | #Constraints: 148554 3395.05/3407.45 c #Conflicts: 1361000 | #Constraints: 149554 3395.05/3407.45 c #Conflicts: 1362000 | #Constraints: 150554 3395.05/3407.45 c #Conflicts: 1363000 | #Constraints: 151554 3395.05/3407.45 c #Conflicts: 1364000 | #Constraints: 152554 3395.05/3407.45 c #Conflicts: 1365000 | #Constraints: 153554 3395.05/3407.45 c #Conflicts: 1366000 | #Constraints: 154554 3395.05/3407.45 c #Conflicts: 1367000 | #Constraints: 155554 3395.05/3407.45 c #Conflicts: 1368000 | #Constraints: 156554 3395.05/3407.45 c #Conflicts: 1369000 | #Constraints: 157554 3395.05/3407.45 c #Conflicts: 1370000 | #Constraints: 158554 3395.05/3407.45 c #Conflicts: 1371000 | #Constraints: 159554 3395.05/3407.45 c INPROCESSING 3395.05/3407.45 c GARBAGE COLLECT 3395.05/3407.45 c rational objective 550 3452.04/3464.67 c #Conflicts: 1372000 | #Constraints: 137337 3452.04/3464.67 c #Conflicts: 1373000 | #Constraints: 138337 3452.04/3464.67 c #Conflicts: 1374000 | #Constraints: 139337 3452.04/3464.67 c #Conflicts: 1375000 | #Constraints: 140337 3452.04/3464.67 c #Conflicts: 1376000 | #Constraints: 141337 3452.04/3464.67 c #Conflicts: 1377000 | #Constraints: 142337 3452.04/3464.67 c #Conflicts: 1378000 | #Constraints: 143337 3452.04/3464.67 c #Conflicts: 1379000 | #Constraints: 144337 3452.04/3464.67 c #Conflicts: 1380000 | #Constraints: 145337 3452.04/3464.67 c #Conflicts: 1381000 | #Constraints: 146337 3452.04/3464.67 c #Conflicts: 1382000 | #Constraints: 147337 3452.04/3464.67 c #Conflicts: 1383000 | #Constraints: 148337 3452.04/3464.67 c #Conflicts: 1384000 | #Constraints: 149337 3452.04/3464.67 c #Conflicts: 1385000 | #Constraints: 150337 3452.04/3464.67 c #Conflicts: 1386000 | #Constraints: 151337 3452.04/3464.67 c #Conflicts: 1387000 | #Constraints: 152337 3452.04/3464.67 c #Conflicts: 1388000 | #Constraints: 153337 3452.04/3464.67 c #Conflicts: 1389000 | #Constraints: 154337 3452.04/3464.67 c #Conflicts: 1390000 | #Constraints: 155337 3452.04/3464.67 c #Conflicts: 1391000 | #Constraints: 156337 3452.04/3464.67 c #Conflicts: 1392000 | #Constraints: 157337 3452.04/3464.67 c #Conflicts: 1393000 | #Constraints: 158337 3452.04/3464.67 c #Conflicts: 1394000 | #Constraints: 159337 3452.04/3464.67 c #Conflicts: 1395000 | #Constraints: 160337 3452.04/3464.67 c INPROCESSING 3452.04/3464.67 c GARBAGE COLLECT 3452.04/3464.67 c rational objective 550 3510.81/3523.68 c #Conflicts: 1396000 | #Constraints: 137937 3510.81/3523.68 c #Conflicts: 1397000 | #Constraints: 138937 3510.81/3523.68 c #Conflicts: 1398000 | #Constraints: 139937 3510.81/3523.68 c #Conflicts: 1399000 | #Constraints: 140937 3510.81/3523.68 c #Conflicts: 1400000 | #Constraints: 141937 3510.81/3523.68 c #Conflicts: 1401000 | #Constraints: 142937 3510.81/3523.68 c #Conflicts: 1402000 | #Constraints: 143937 3510.81/3523.68 c #Conflicts: 1403000 | #Constraints: 144937 3510.81/3523.68 c #Conflicts: 1404000 | #Constraints: 145937 3510.81/3523.68 c #Conflicts: 1405000 | #Constraints: 146937 3510.81/3523.68 c #Conflicts: 1406000 | #Constraints: 147937 3510.81/3523.68 c #Conflicts: 1407000 | #Constraints: 148937 3510.81/3523.68 c #Conflicts: 1408000 | #Constraints: 149937 3510.81/3523.68 c #Conflicts: 1409000 | #Constraints: 150937 3510.81/3523.68 c #Conflicts: 1410000 | #Constraints: 151937 3510.81/3523.68 c #Conflicts: 1411000 | #Constraints: 152937 3510.81/3523.68 c #Conflicts: 1412000 | #Constraints: 153937 3510.81/3523.68 c #Conflicts: 1413000 | #Constraints: 154937 3510.81/3523.68 c #Conflicts: 1414000 | #Constraints: 155937 3510.81/3523.68 c #Conflicts: 1415000 | #Constraints: 156937 3510.81/3523.68 c #Conflicts: 1416000 | #Constraints: 157937 3510.81/3523.68 c #Conflicts: 1417000 | #Constraints: 158937 3510.81/3523.68 c #Conflicts: 1418000 | #Constraints: 159937 3510.81/3523.68 c #Conflicts: 1419000 | #Constraints: 160937 3510.81/3523.68 c INPROCESSING 3510.81/3523.68 c GARBAGE COLLECT 3510.81/3523.68 c rational objective 550 3579.15/3592.28 c #Conflicts: 1420000 | #Constraints: 138340 3579.15/3592.28 c #Conflicts: 1421000 | #Constraints: 139340 3579.15/3592.28 c #Conflicts: 1422000 | #Constraints: 140340 3579.15/3592.28 c #Conflicts: 1423000 | #Constraints: 141340 3579.15/3592.28 c #Conflicts: 1424000 | #Constraints: 142340 3579.15/3592.28 c #Conflicts: 1425000 | #Constraints: 143340 3579.15/3592.28 c #Conflicts: 1426000 | #Constraints: 144340 3579.15/3592.28 c #Conflicts: 1427000 | #Constraints: 145340 3579.15/3592.28 c #Conflicts: 1428000 | #Constraints: 146340 3579.15/3592.28 c #Conflicts: 1429000 | #Constraints: 147340 3579.15/3592.28 c #Conflicts: 1430000 | #Constraints: 148340 3579.15/3592.28 c #Conflicts: 1431000 | #Constraints: 149340 3579.15/3592.28 c #Conflicts: 1432000 | #Constraints: 150340 3579.15/3592.28 c #Conflicts: 1433000 | #Constraints: 151340 3579.15/3592.28 c #Conflicts: 1434000 | #Constraints: 152340 3579.15/3592.28 c #Conflicts: 1435000 | #Constraints: 153340 3579.15/3592.28 c #Conflicts: 1436000 | #Constraints: 154340 3579.15/3592.28 c #Conflicts: 1437000 | #Constraints: 155340 3579.15/3592.28 c #Conflicts: 1438000 | #Constraints: 156340 3579.15/3592.28 c #Conflicts: 1439000 | #Constraints: 157340 3579.15/3592.28 c #Conflicts: 1440000 | #Constraints: 158340 3579.15/3592.28 c #Conflicts: 1441000 | #Constraints: 159340 3579.15/3592.28 c #Conflicts: 1442000 | #Constraints: 160340 3579.15/3592.28 c #Conflicts: 1443000 | #Constraints: 161340 3579.15/3592.28 c INPROCESSING 3579.15/3592.28 c GARBAGE COLLECT 3579.15/3592.28 c rational objective 550 3601.47/3614.63 c #Conflicts: 1444000 | #Constraints: 138543 3601.47/3614.63 c #Conflicts: 1445000 | #Constraints: 139543 3601.47/3614.63 c #Conflicts: 1446000 | #Constraints: 140543 3601.47/3614.63 c #Conflicts: 1447000 | #Constraints: 141543 3601.47/3614.63 c #Conflicts: 1448000 | #Constraints: 142543 3601.47/3614.63 c #Conflicts: 1449000 | #Constraints: 143543 3601.47/3614.63 c #Conflicts: 1450000 | #Constraints: 144543 3601.47/3614.63 c #Conflicts: 1451000 | #Constraints: 145543 3601.47/3614.63 c #Conflicts: 1452000 | #Constraints: 146543 3601.47/3614.63 c #Conflicts: 1453000 | #Constraints: 147543 3601.47/3614.63 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61539 MiB free)
memory of node 1: 64510 MiB (60007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456892-1721817188/watcher-4456892-1721817188 -o /tmp/evaluation-result-4456892-1721817188/solver-4456892-1721817188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191709 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456892-1721817188 --lp-cut-gomory=0 HOME/instance-4456892-1721817188.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=191748, runsolver pid=191745
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 0.11 0.10 0.16 5/254 191764
/proc/meminfo: memFree=124433292/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=38744 memory=8624 CPUtime=0.09 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 964 0 1 0 8 1 0 0 20 0 1 0 18242405 39673856 2156 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 9686 2156 1359 992 0 1544 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38744 KiB
Current children cumulated memory: 8624 KiB
[startup+0.205872 s]*
/proc/loadavg: 0.11 0.10 0.16 5/252 191764
/proc/meminfo: memFree=124419500/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=39788 memory=11916 CPUtime=0.2 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 1358 0 1 0 16 4 0 0 20 0 1 0 18242405 40742912 2979 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 9947 2979 1359 992 0 1805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 11916 KiB
[startup+0.304794 s]*
/proc/loadavg: 0.11 0.10 0.16 6/255 191769
/proc/meminfo: memFree=124385052/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=43432 memory=13596 CPUtime=0.3 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 1843 0 1 0 24 6 0 0 20 0 1 0 18242405 44474368 3399 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 10858 3399 1359 992 0 2716 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 13596 KiB
[startup+0.70019 s]
/proc/loadavg: 0.11 0.10 0.16 5/258 191775
/proc/meminfo: memFree=124284160/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=107680 memory=81324 CPUtime=0.68 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 22725 0 1 0 59 9 0 0 20 0 1 0 18242405 110264320 20331 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 26920 20331 1660 992 0 18778 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81324 KiB
[startup+1.50022 s]
/proc/loadavg: 0.11 0.10 0.16 5/258 191775
/proc/meminfo: memFree=124260288/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=107680 memory=81324 CPUtime=1.49 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 22725 0 1 0 139 10 0 0 20 0 1 0 18242405 110264320 20331 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 26920 20331 1660 992 0 18778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81324 KiB
[startup+3.1063 s]
/proc/loadavg: 0.43 0.16 0.18 5/258 191775
/proc/meminfo: memFree=123820680/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=107680 memory=81324 CPUtime=3.08 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 22735 0 1 0 298 10 0 0 20 0 1 0 18242405 110264320 20331 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 26920 20331 1660 992 0 18778 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81324 KiB
[startup+6.30021 s]
/proc/loadavg: 0.43 0.16 0.18 5/258 191775
/proc/meminfo: memFree=123555320/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=107680 memory=81324 CPUtime=6.26 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 22742 0 1 0 616 10 0 0 20 0 1 0 18242405 110264320 20331 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 26920 20331 1660 992 0 18778 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 81324 KiB
[startup+12.7002 s]
/proc/loadavg: 0.71 0.23 0.20 5/258 191777
/proc/meminfo: memFree=123543376/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=121356 memory=88548 CPUtime=12.64 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 23483 0 1 0 1251 13 0 0 20 0 1 0 18242405 124268544 22137 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 30339 22137 1754 992 0 22197 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 88548 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.41 0.26 5/256 191793
/proc/meminfo: memFree=124002000/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=121356 memory=91124 CPUtime=25.38 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 23624 0 1 0 2524 14 0 0 20 0 1 0 18242405 124268544 22781 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 30339 22781 1754 992 0 22197 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 91124 KiB
[startup+51.1061 s]
/proc/loadavg: 2.45 0.73 0.38 5/258 191829
/proc/meminfo: memFree=123592420/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=121356 memory=93564 CPUtime=50.88 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 23662 0 1 0 5070 18 0 0 20 0 1 0 18242405 124268544 23391 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 30339 23391 1828 992 0 22197 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 121356 KiB
Current children cumulated memory: 93564 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.26 0.57 5/260 191886
/proc/meminfo: memFree=123793336/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=141724 memory=106424 CPUtime=101.87 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 24907 0 1 0 10156 31 0 0 20 0 1 0 18242405 145125376 26606 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 35431 26606 1828 992 0 27289 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 106424 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.79 0.80 5/259 191897
/proc/meminfo: memFree=123636272/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=141724 memory=111232 CPUtime=161.62 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 25069 0 1 0 16119 43 0 0 20 0 1 0 18242405 145125376 27808 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 35431 27808 1828 992 0 27289 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 111232 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.21 1.01 5/259 191908
/proc/meminfo: memFree=123514304/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=149440 memory=112196 CPUtime=221.42 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 28197 0 1 0 22075 67 0 0 20 0 1 0 18242405 153026560 28049 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 37360 28049 1828 992 0 29218 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 149440 KiB
Current children cumulated memory: 112196 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.55 1.20 5/259 191918
/proc/meminfo: memFree=123375652/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=158224 memory=121284 CPUtime=281.2 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 29740 0 1 0 28031 89 0 0 20 0 1 0 18242405 162021376 30321 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 39556 30321 1828 992 0 31414 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 158224 KiB
Current children cumulated memory: 121284 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 2.83 1.39 5/258 191929
/proc/meminfo: memFree=123276856/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=164600 memory=125052 CPUtime=341.01 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 30234 0 1 0 33994 107 0 0 20 0 1 0 18242405 168550400 31263 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 41150 31263 1828 992 0 33008 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 125052 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.06 1.56 5/257 191941
/proc/meminfo: memFree=123176196/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=164600 memory=125256 CPUtime=400.8 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 30278 0 1 0 39956 124 0 0 20 0 1 0 18242405 168550400 31314 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 41150 31314 1828 992 0 33008 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 125256 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.73 5/259 191956
/proc/meminfo: memFree=123059576/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=164600 memory=125532 CPUtime=460.59 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 30389 0 1 0 45906 153 0 0 20 0 1 0 18242405 168550400 31383 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 41150 31383 1828 992 0 33008 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.18 4.23 4.07 5/260 193110
/proc/meminfo: memFree=121091148/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3091.11 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33405 0 1 0 307867 1244 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3091.11 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.38 4.28 4.10 5/258 193502
/proc/meminfo: memFree=120973420/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3150.88 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33464 0 1 0 313819 1269 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3150.88 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.34 4.13 5/258 193514
/proc/meminfo: memFree=120857632/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3210.66 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33523 0 1 0 319770 1296 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3210.66 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.32 4.13 5/259 193526
/proc/meminfo: memFree=120741984/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3270.42 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33575 0 1 0 325725 1317 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3270.42 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.27 4.13 5/261 193706
/proc/meminfo: memFree=120624816/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3330.19 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33644 0 1 0 331672 1347 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3330.19 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.23 4.12 5/261 193717
/proc/meminfo: memFree=120520416/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3389.96 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33702 0 1 0 337625 1371 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3389.96 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.12 5/264 193787
/proc/meminfo: memFree=120412392/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3449.74 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33762 0 1 0 343577 1397 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3449.74 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.12 5/264 193797
/proc/meminfo: memFree=120305228/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3509.52 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33821 0 1 0 349531 1421 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3509.52 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.11 5/264 193810
/proc/meminfo: memFree=120195152/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3569.29 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33881 0 1 0 355483 1446 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3569.29 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 4.07 4.16 4.10 3/250 193867
/proc/meminfo: memFree=120779436/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3600.08 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33882 0 1 0 358550 1458 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.06 4.15 4.10 2/251 193868
/proc/meminfo: memFree=120776048/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3601.5 cores=0,2
/proc/191748/stat : 191748 (roundingsat) D 191745 191748 191699 0 -1 4194304 33888 0 1 0 358692 1458 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 256 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
??? kill 191748 sig 9
??? end of watcher thread
[startup+3615.9 s]
# the end of solver process 191748 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.92 s, system=14.5908 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.06 4.15 4.10 3/250 193867
/proc/meminfo: memFree=120777916/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3601.27 cores=0,2
/proc/191748/stat : 191748 (roundingsat) R 191745 191748 191699 0 -1 4194304 33882 0 1 0 358669 1458 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3601.27 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3614.8 s]
/proc/loadavg: 4.06 4.15 4.10 3/250 193867
/proc/meminfo: memFree=120777916/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3601.5 cores=0,2
/proc/191748/stat : 191748 (roundingsat) D 191745 191748 191699 0 -1 4194304 33888 0 1 0 358692 1458 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
[startup+3615.2 s]
/proc/loadavg: 4.06 4.15 4.10 2/251 193868
/proc/meminfo: memFree=120776384/131524600 swapFree=131071472/131071996
[pid=191748] ppid=191745 vsize=182940 memory=146500 CPUtime=3601.5 cores=0,2
/proc/191748/stat : 191748 (roundingsat) D 191745 191748 191699 0 -1 4194304 33888 0 1 0 358692 1458 0 0 20 0 1 0 18242405 187330560 36625 134679101440 4194304 8254037 140731174708176 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31236096 140731174712156 140731174712418 140731174712418 140731174719433 0
/proc/191748/statm: 45735 36625 1828 992 0 37593 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 146500 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.9
CPU time (s): 3601.52
CPU user time (s): 3586.92
CPU system time (s): 14.5908
CPU usage (%): 99.6021
Max. virtual memory (cumulated for all children) (KiB): 182940
Max. memory (cumulated for all children) (KiB): 146500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 14.5908
maximum resident set size= 146852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33888
page faults= 1
swaps= 0
block input operations= 128
block output operations= 880600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 24709
# summary of solver processes directly reported to runsolver:
# pid: 191748
# total CPU time (s): 3601.52
# total CPU user time (s): 3586.92
# total CPU system time (s): 14.5908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01293 second user time and 18.8255 second system time
The end
Begin job on nodeC032 at 2024-07-24 12:33:08 IDJOB=4456892 IDBENCH=147894 IDSOLVER=3085 FILE ID=nodeC032/4456892-1721817188 RUNJOBID= nodeC032-1721817188-191709 SLURM_JOB_ID= 7816896 Free space on /tmp= 890060 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-4456892-1721817188/watcher-4456892-1721817188 -o /tmp/evaluation-result-4456892-1721817188/solver-4456892-1721817188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721817188-191709 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456892-1721817188 --lp-cut-gomory=0 HOME/instance-4456892-1721817188.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a RANDOM SEED=383216620 nodeC032.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 : 3616.099 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.31 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 : 3647.224 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.79 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 : 3648.992 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.31 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 : 3503.740 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.79 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 : 3558.862 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.31 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 : 3620.626 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.79 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 : 3641.604 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.31 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 : 3665.143 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124464396 kB MemAvailable: 129604436 kB Buffers: 235076 kB Cached: 5657268 kB SwapCached: 132 kB Active: 2589096 kB Inactive: 3704372 kB Active(anon): 1444 kB Inactive(anon): 453928 kB Active(file): 2587652 kB Inactive(file): 3250444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 46232 kB Writeback: 0 kB AnonPages: 401104 kB Mapped: 119008 kB Shmem: 53856 kB KReclaimable: 283180 kB Slab: 404968 kB SReclaimable: 283180 kB SUnreclaim: 121788 kB KernelStack: 3904 kB PageTables: 9708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 768032 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23392 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 363220 kB DirectMap2M: 42401792 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890056 MiB End job on nodeC032 at 2024-07-24 13:33:24