| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.07 | 3609.74 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K83.opb |
| MD5SUM | bcb1c72c6ad4afea1adf0a0324f1d09c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 5644 |
| Total number of constraints | 5812 |
| Number of constraints which are clauses | 5729 |
| Number of constraints which are cardinality constraints (but not clauses) | 83 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 83 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 84 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.00/0.03 c #variables 5644 #constraints 5812 14.35/14.45 c #Conflicts: 1000 | #Constraints: 6811 14.35/14.45 c #Conflicts: 2000 | #Constraints: 7811 14.35/14.45 c INPROCESSING 14.35/14.45 c GARBAGE COLLECT 14.35/14.45 c #Conflicts: 3000 | #Constraints: 7436 14.35/14.45 c #Conflicts: 4000 | #Constraints: 8436 14.35/14.45 c INPROCESSING 14.35/14.45 c GARBAGE COLLECT 14.35/14.45 c #Conflicts: 5000 | #Constraints: 7888 14.35/14.45 c #Conflicts: 6000 | #Constraints: 8888 14.35/14.45 c INPROCESSING 14.35/14.45 c GARBAGE COLLECT 14.35/14.45 c #Conflicts: 7000 | #Constraints: 7934 14.35/14.45 c #Conflicts: 8000 | #Constraints: 8934 14.35/14.45 c #Conflicts: 9000 | #Constraints: 9934 14.35/14.45 c INPROCESSING 14.35/14.45 c GARBAGE COLLECT 14.35/14.45 c rational objective 83 28.22/28.32 c #Conflicts: 10000 | #Constraints: 8674 28.22/28.32 c #Conflicts: 11000 | #Constraints: 9674 28.22/28.32 c #Conflicts: 12000 | #Constraints: 10674 28.22/28.32 c INPROCESSING 28.22/28.32 c GARBAGE COLLECT 28.22/28.32 c #Conflicts: 13000 | #Constraints: 9155 28.22/28.32 c #Conflicts: 14000 | #Constraints: 10155 28.22/28.32 c #Conflicts: 15000 | #Constraints: 11155 28.22/28.32 c INPROCESSING 28.22/28.32 c GARBAGE COLLECT 28.22/28.32 c #Conflicts: 16000 | #Constraints: 9412 28.22/28.32 c #Conflicts: 17000 | #Constraints: 10413 28.22/28.32 c #Conflicts: 18000 | #Constraints: 11413 28.22/28.32 c INPROCESSING 28.22/28.32 c GARBAGE COLLECT 28.22/28.32 c #Conflicts: 19000 | #Constraints: 9449 28.22/28.32 c #Conflicts: 20000 | #Constraints: 10449 28.22/28.32 c #Conflicts: 21000 | #Constraints: 11450 28.22/28.32 c INPROCESSING 28.22/28.32 c GARBAGE COLLECT 28.22/28.32 c #Conflicts: 22000 | #Constraints: 9229 28.22/28.32 c #Conflicts: 23000 | #Constraints: 10229 28.22/28.32 c #Conflicts: 24000 | #Constraints: 11230 28.22/28.32 c #Conflicts: 25000 | #Constraints: 12230 28.22/28.32 c INPROCESSING 28.22/28.32 c GARBAGE COLLECT 28.22/28.32 c rational objective 83 42.69/42.87 c #Conflicts: 26000 | #Constraints: 9853 42.69/42.87 c #Conflicts: 27000 | #Constraints: 10853 42.69/42.87 c #Conflicts: 28000 | #Constraints: 11853 42.69/42.87 c #Conflicts: 29000 | #Constraints: 12853 42.69/42.87 c INPROCESSING 42.69/42.87 c GARBAGE COLLECT 42.69/42.87 c #Conflicts: 30000 | #Constraints: 10271 42.69/42.87 c #Conflicts: 31000 | #Constraints: 11271 42.69/42.87 c #Conflicts: 32000 | #Constraints: 12271 42.69/42.87 c #Conflicts: 33000 | #Constraints: 13271 42.69/42.87 c INPROCESSING 42.69/42.87 c GARBAGE COLLECT 42.69/42.87 c #Conflicts: 34000 | #Constraints: 10514 42.69/42.87 c #Conflicts: 35000 | #Constraints: 11514 42.69/42.87 c #Conflicts: 36000 | #Constraints: 12514 42.69/42.87 c #Conflicts: 37000 | #Constraints: 13514 42.69/42.87 c INPROCESSING 42.69/42.87 c GARBAGE COLLECT 42.69/42.87 c rational objective 83 60.64/60.80 c #Conflicts: 38000 | #Constraints: 10517 60.64/60.80 c #Conflicts: 39000 | #Constraints: 11518 60.64/60.80 c #Conflicts: 40000 | #Constraints: 12518 60.64/60.80 c #Conflicts: 41000 | #Constraints: 13518 60.64/60.80 c INPROCESSING 60.64/60.80 c GARBAGE COLLECT 60.64/60.80 c #Conflicts: 42000 | #Constraints: 10330 60.64/60.80 c #Conflicts: 43000 | #Constraints: 11331 60.64/60.80 c #Conflicts: 44000 | #Constraints: 12331 60.64/60.80 c #Conflicts: 45000 | #Constraints: 13331 60.64/60.80 c #Conflicts: 46000 | #Constraints: 14331 60.64/60.80 c INPROCESSING 60.64/60.80 c GARBAGE COLLECT 60.64/60.80 c #Conflicts: 47000 | #Constraints: 10946 60.64/60.80 c #Conflicts: 48000 | #Constraints: 11946 60.64/60.80 c #Conflicts: 49000 | #Constraints: 12946 60.64/60.80 c #Conflicts: 50000 | #Constraints: 13946 60.64/60.80 c #Conflicts: 51000 | #Constraints: 14946 60.64/60.80 c INPROCESSING 60.64/60.80 c GARBAGE COLLECT 60.64/60.80 c rational objective 83 88.37/88.68 c #Conflicts: 52000 | #Constraints: 11404 88.37/88.68 c #Conflicts: 53000 | #Constraints: 12404 88.37/88.68 c #Conflicts: 54000 | #Constraints: 13404 88.37/88.68 c #Conflicts: 55000 | #Constraints: 14404 88.37/88.68 c #Conflicts: 56000 | #Constraints: 15404 88.37/88.68 c INPROCESSING 88.37/88.68 c GARBAGE COLLECT 88.37/88.68 c #Conflicts: 57000 | #Constraints: 11581 88.37/88.68 c #Conflicts: 58000 | #Constraints: 12581 88.37/88.68 c #Conflicts: 59000 | #Constraints: 13581 88.37/88.68 c #Conflicts: 60000 | #Constraints: 14581 88.37/88.68 c #Conflicts: 61000 | #Constraints: 15582 88.37/88.68 c INPROCESSING 88.37/88.68 c GARBAGE COLLECT 88.37/88.68 c #Conflicts: 62000 | #Constraints: 11590 88.37/88.68 c #Conflicts: 63000 | #Constraints: 12590 88.37/88.68 c #Conflicts: 64000 | #Constraints: 13590 88.37/88.68 c #Conflicts: 65000 | #Constraints: 14590 88.37/88.68 c #Conflicts: 66000 | #Constraints: 15590 88.37/88.68 c INPROCESSING 88.37/88.68 c GARBAGE COLLECT 88.37/88.68 c #Conflicts: 67000 | #Constraints: 11426 88.37/88.68 c #Conflicts: 68000 | #Constraints: 12427 88.37/88.68 c #Conflicts: 69000 | #Constraints: 13427 88.37/88.68 c #Conflicts: 70000 | #Constraints: 14427 88.37/88.68 c #Conflicts: 71000 | #Constraints: 15427 88.37/88.68 c #Conflicts: 72000 | #Constraints: 16427 88.37/88.68 c INPROCESSING 88.37/88.68 c GARBAGE COLLECT 88.37/88.68 c #Conflicts: 73000 | #Constraints: 12044 88.37/88.68 c #Conflicts: 74000 | #Constraints: 13044 88.37/88.68 c #Conflicts: 75000 | #Constraints: 14044 88.37/88.68 c #Conflicts: 76000 | #Constraints: 15044 88.37/88.68 c #Conflicts: 77000 | #Constraints: 16044 88.37/88.68 c #Conflicts: 78000 | #Constraints: 17044 88.37/88.68 c INPROCESSING 88.37/88.68 c GARBAGE COLLECT 88.37/88.68 c rational objective 83 102.94/103.29 c #Conflicts: 79000 | #Constraints: 12486 102.94/103.29 c #Conflicts: 80000 | #Constraints: 13487 102.94/103.29 c #Conflicts: 81000 | #Constraints: 14487 102.94/103.29 c #Conflicts: 82000 | #Constraints: 15487 102.94/103.29 c #Conflicts: 83000 | #Constraints: 16487 102.94/103.29 c #Conflicts: 84000 | #Constraints: 17487 102.94/103.29 c INPROCESSING 102.94/103.29 c GARBAGE COLLECT 102.94/103.29 c #Conflicts: 85000 | #Constraints: 12682 102.94/103.29 c #Conflicts: 86000 | #Constraints: 13682 102.94/103.29 c #Conflicts: 87000 | #Constraints: 14683 102.94/103.29 c #Conflicts: 88000 | #Constraints: 15683 102.94/103.29 c #Conflicts: 89000 | #Constraints: 16683 102.94/103.29 c #Conflicts: 90000 | #Constraints: 17683 102.94/103.29 c INPROCESSING 102.94/103.29 c GARBAGE COLLECT 102.94/103.29 c rational objective 83 125.88/126.27 c #Conflicts: 91000 | #Constraints: 12663 125.88/126.27 c #Conflicts: 92000 | #Constraints: 13663 125.88/126.27 c #Conflicts: 93000 | #Constraints: 14663 125.88/126.27 c #Conflicts: 94000 | #Constraints: 15663 125.88/126.27 c #Conflicts: 95000 | #Constraints: 16663 125.88/126.27 c #Conflicts: 96000 | #Constraints: 17663 125.88/126.27 c INPROCESSING 125.88/126.27 c GARBAGE COLLECT 125.88/126.27 c #Conflicts: 97000 | #Constraints: 12483 125.88/126.27 c #Conflicts: 98000 | #Constraints: 13483 125.88/126.27 c #Conflicts: 99000 | #Constraints: 14483 125.88/126.27 c #Conflicts: 100000 | #Constraints: 15483 125.88/126.27 c #Conflicts: 101000 | #Constraints: 16483 125.88/126.27 c #Conflicts: 102000 | #Constraints: 17483 125.88/126.27 c #Conflicts: 103000 | #Constraints: 18484 125.88/126.27 c INPROCESSING 125.88/126.27 c GARBAGE COLLECT 125.88/126.27 c rational objective 83 130.57/130.94 c #Conflicts: 104000 | #Constraints: 13100 130.57/130.94 c #Conflicts: 105000 | #Constraints: 14100 130.57/130.94 c #Conflicts: 106000 | #Constraints: 15100 130.57/130.94 c #Conflicts: 107000 | #Constraints: 16100 130.57/130.94 c #Conflicts: 108000 | #Constraints: 17100 130.57/130.94 c #Conflicts: 109000 | #Constraints: 18100 130.57/130.94 c #Conflicts: 110000 | #Constraints: 19100 130.57/130.94 c INPROCESSING 130.57/130.94 c GARBAGE COLLECT 130.57/130.94 c rational objective 83 138.95/139.37 c #Conflicts: 111000 | #Constraints: 13506 138.95/139.37 c #Conflicts: 112000 | #Constraints: 14506 138.95/139.37 c #Conflicts: 113000 | #Constraints: 15506 138.95/139.37 c #Conflicts: 114000 | #Constraints: 16506 138.95/139.37 c #Conflicts: 115000 | #Constraints: 17506 138.95/139.37 c #Conflicts: 116000 | #Constraints: 18507 138.95/139.37 c #Conflicts: 117000 | #Constraints: 19508 138.95/139.37 c INPROCESSING 138.95/139.37 c GARBAGE COLLECT 138.95/139.37 c rational objective 83 175.65/176.11 c #Conflicts: 118000 | #Constraints: 13745 175.65/176.11 c #Conflicts: 119000 | #Constraints: 14745 175.65/176.11 c #Conflicts: 120000 | #Constraints: 15745 175.65/176.11 c #Conflicts: 121000 | #Constraints: 16745 175.65/176.11 c #Conflicts: 122000 | #Constraints: 17745 175.65/176.11 c #Conflicts: 123000 | #Constraints: 18745 175.65/176.11 c #Conflicts: 124000 | #Constraints: 19746 175.65/176.11 c #Conflicts: 125000 | #Constraints: 20746 175.65/176.11 c #Conflicts: 126000 | #Constraints: 21746 175.65/176.11 c #Conflicts: 127000 | #Constraints: 22746 175.65/176.11 c #Conflicts: 128000 | #Constraints: 23746 175.65/176.11 c #Conflicts: 129000 | #Constraints: 24746 175.65/176.11 c #Conflicts: 130000 | #Constraints: 25746 175.65/176.11 c #Conflicts: 131000 | #Constraints: 26746 175.65/176.11 c #Conflicts: 132000 | #Constraints: 27746 175.65/176.11 c #Conflicts: 133000 | #Constraints: 28746 175.65/176.11 c #Conflicts: 134000 | #Constraints: 29746 175.65/176.11 c #Conflicts: 135000 | #Constraints: 30746 175.65/176.11 c #Conflicts: 136000 | #Constraints: 31746 175.65/176.11 c #Conflicts: 137000 | #Constraints: 32747 175.65/176.11 c #Conflicts: 138000 | #Constraints: 33747 175.65/176.11 c #Conflicts: 139000 | #Constraints: 34747 175.65/176.11 c #Conflicts: 140000 | #Constraints: 35747 175.65/176.11 c #Conflicts: 141000 | #Constraints: 36747 175.65/176.11 c #Conflicts: 142000 | #Constraints: 37747 175.65/176.11 c #Conflicts: 143000 | #Constraints: 38747 175.65/176.11 c #Conflicts: 144000 | #Constraints: 39747 175.65/176.11 c #Conflicts: 145000 | #Constraints: 40747 175.65/176.11 c #Conflicts: 146000 | #Constraints: 41747 175.65/176.11 c #Conflicts: 147000 | #Constraints: 42747 175.65/176.11 c #Conflicts: 148000 | #Constraints: 43747 175.65/176.11 c INPROCESSING 175.65/176.11 c GARBAGE COLLECT 175.65/176.11 c rational objective 83 183.23/183.73 c #Conflicts: 149000 | #Constraints: 25656 183.23/183.73 c #Conflicts: 150000 | #Constraints: 26656 183.23/183.73 c #Conflicts: 151000 | #Constraints: 27656 183.23/183.73 c #Conflicts: 152000 | #Constraints: 28656 183.23/183.73 c #Conflicts: 153000 | #Constraints: 29656 183.23/183.73 c #Conflicts: 154000 | #Constraints: 30656 183.23/183.73 c #Conflicts: 155000 | #Constraints: 31656 183.23/183.73 c #Conflicts: 156000 | #Constraints: 32656 183.23/183.73 c INPROCESSING 183.23/183.73 c GARBAGE COLLECT 183.23/183.73 c rational objective 83 190.52/191.04 c #Conflicts: 157000 | #Constraints: 19958 190.52/191.04 c #Conflicts: 158000 | #Constraints: 20958 190.52/191.04 c #Conflicts: 159000 | #Constraints: 21958 190.52/191.04 c #Conflicts: 160000 | #Constraints: 22959 190.52/191.04 c #Conflicts: 161000 | #Constraints: 23959 190.52/191.04 c #Conflicts: 162000 | #Constraints: 24959 190.52/191.04 c #Conflicts: 163000 | #Constraints: 25959 190.52/191.04 c #Conflicts: 164000 | #Constraints: 26959 190.52/191.04 c #Conflicts: 165000 | #Constraints: 27959 190.52/191.04 c INPROCESSING 190.52/191.04 c GARBAGE COLLECT 190.52/191.04 c rational objective 83 204.68/205.24 c #Conflicts: 166000 | #Constraints: 17857 204.68/205.24 c #Conflicts: 167000 | #Constraints: 18857 204.68/205.24 c #Conflicts: 168000 | #Constraints: 19857 204.68/205.24 c #Conflicts: 169000 | #Constraints: 20857 204.68/205.24 c #Conflicts: 170000 | #Constraints: 21858 204.68/205.24 c #Conflicts: 171000 | #Constraints: 22858 204.68/205.24 c #Conflicts: 172000 | #Constraints: 23858 204.68/205.24 c #Conflicts: 173000 | #Constraints: 24858 204.68/205.24 c #Conflicts: 174000 | #Constraints: 25858 204.68/205.24 c INPROCESSING 204.68/205.24 c GARBAGE COLLECT 204.68/205.24 c rational objective 83 215.64/216.25 c #Conflicts: 175000 | #Constraints: 16951 215.64/216.25 c #Conflicts: 176000 | #Constraints: 17951 215.64/216.25 c #Conflicts: 177000 | #Constraints: 18951 215.64/216.25 c #Conflicts: 178000 | #Constraints: 19952 215.64/216.25 c #Conflicts: 179000 | #Constraints: 20953 215.64/216.25 c #Conflicts: 180000 | #Constraints: 21953 215.64/216.25 c #Conflicts: 181000 | #Constraints: 22953 215.64/216.25 c #Conflicts: 182000 | #Constraints: 23954 215.64/216.25 c INPROCESSING 215.64/216.25 c GARBAGE COLLECT 215.64/216.25 c rational objective 83 266.79/267.51 c #Conflicts: 183000 | #Constraints: 15496 266.79/267.51 c #Conflicts: 184000 | #Constraints: 16496 266.79/267.51 c #Conflicts: 185000 | #Constraints: 17496 266.79/267.51 c #Conflicts: 186000 | #Constraints: 18497 266.79/267.51 c #Conflicts: 187000 | #Constraints: 19497 266.79/267.51 c #Conflicts: 188000 | #Constraints: 20497 266.79/267.51 c #Conflicts: 189000 | #Constraints: 21497 266.79/267.51 c #Conflicts: 190000 | #Constraints: 22497 266.79/267.51 c #Conflicts: 191000 | #Constraints: 23497 266.79/267.51 c #Conflicts: 192000 | #Constraints: 24497 266.79/267.51 c #Conflicts: 193000 | #Constraints: 25497 266.79/267.51 c #Conflicts: 194000 | #Constraints: 26497 266.79/267.51 c #Conflicts: 195000 | #Constraints: 27497 266.79/267.51 c #Conflicts: 196000 | #Constraints: 28497 266.79/267.51 c #Conflicts: 197000 | #Constraints: 29498 266.79/267.51 c #Conflicts: 198000 | #Constraints: 30498 266.79/267.51 c #Conflicts: 199000 | #Constraints: 31498 266.79/267.51 c #Conflicts: 200000 | #Constraints: 32498 266.79/267.51 c #Conflicts: 201000 | #Constraints: 33499 266.79/267.51 c #Conflicts: 202000 | #Constraints: 34500 266.79/267.51 c #Conflicts: 203000 | #Constraints: 35500 266.79/267.51 c #Conflicts: 204000 | #Constraints: 36500 266.79/267.51 c #Conflicts: 205000 | #Constraints: 37501 266.79/267.51 c #Conflicts: 206000 | #Constraints: 38501 266.79/267.51 c #Conflicts: 207000 | #Constraints: 39501 266.79/267.51 c #Conflicts: 208000 | #Constraints: 40501 266.79/267.51 c #Conflicts: 209000 | #Constraints: 41501 266.79/267.51 c #Conflicts: 210000 | #Constraints: 42501 266.79/267.51 c #Conflicts: 211000 | #Constraints: 43502 266.79/267.51 c #Conflicts: 212000 | #Constraints: 44502 266.79/267.51 c #Conflicts: 213000 | #Constraints: 45502 266.79/267.51 c #Conflicts: 214000 | #Constraints: 46503 266.79/267.51 c #Conflicts: 215000 | #Constraints: 47503 266.79/267.51 c #Conflicts: 216000 | #Constraints: 48503 266.79/267.51 c #Conflicts: 217000 | #Constraints: 49503 266.79/267.51 c #Conflicts: 218000 | #Constraints: 50503 266.79/267.51 c #Conflicts: 219000 | #Constraints: 51503 266.79/267.51 c #Conflicts: 220000 | #Constraints: 52503 266.79/267.51 c INPROCESSING 266.79/267.51 c GARBAGE COLLECT 266.79/267.51 c rational objective 83 287.23/288.07 c #Conflicts: 221000 | #Constraints: 29930 287.23/288.07 c #Conflicts: 222000 | #Constraints: 30931 287.23/288.07 c #Conflicts: 223000 | #Constraints: 31932 287.23/288.07 c #Conflicts: 224000 | #Constraints: 32933 287.23/288.07 c #Conflicts: 225000 | #Constraints: 33933 287.23/288.07 c #Conflicts: 226000 | #Constraints: 34934 287.23/288.07 c #Conflicts: 227000 | #Constraints: 35935 287.23/288.07 c #Conflicts: 228000 | #Constraints: 36935 287.23/288.07 c #Conflicts: 229000 | #Constraints: 37935 287.23/288.07 c #Conflicts: 230000 | #Constraints: 38936 287.23/288.07 c #Conflicts: 231000 | #Constraints: 39936 287.23/288.07 c INPROCESSING 287.23/288.07 c GARBAGE COLLECT 287.23/288.07 c rational objective 83 309.17/310.03 c #Conflicts: 232000 | #Constraints: 24008 309.17/310.03 c #Conflicts: 233000 | #Constraints: 25008 309.17/310.03 c #Conflicts: 234000 | #Constraints: 26008 309.17/310.03 c #Conflicts: 235000 | #Constraints: 27008 309.17/310.03 c #Conflicts: 236000 | #Constraints: 28009 309.17/310.03 c #Conflicts: 237000 | #Constraints: 29009 309.17/310.03 c #Conflicts: 238000 | #Constraints: 30009 309.17/310.03 c #Conflicts: 239000 | #Constraints: 31009 309.17/310.03 c #Conflicts: 240000 | #Constraints: 32009 309.17/310.03 c #Conflicts: 241000 | #Constraints: 33009 309.17/310.03 c INPROCESSING 309.17/310.03 c GARBAGE COLLECT 309.17/310.03 c rational objective 83 322.23/323.15 c #Conflicts: 242000 | #Constraints: 20405 322.23/323.15 c #Conflicts: 243000 | #Constraints: 21405 322.23/323.15 c #Conflicts: 244000 | #Constraints: 22405 322.23/323.15 c #Conflicts: 245000 | #Constraints: 23405 322.23/323.15 c #Conflicts: 246000 | #Constraints: 24405 322.23/323.15 c #Conflicts: 247000 | #Constraints: 25405 322.23/323.15 c #Conflicts: 248000 | #Constraints: 26405 322.23/323.15 c #Conflicts: 249000 | #Constraints: 27405 322.23/323.15 c #Conflicts: 250000 | #Constraints: 28406 322.23/323.15 c #Conflicts: 251000 | #Constraints: 29407 322.23/323.15 c #Conflicts: 252000 | #Constraints: 30407 322.23/323.15 c INPROCESSING 322.23/323.15 c GARBAGE COLLECT 322.23/323.15 c rational objective 83 329.60/330.58 c #Conflicts: 253000 | #Constraints: 19285 329.60/330.58 c #Conflicts: 254000 | #Constraints: 20285 329.60/330.58 c #Conflicts: 255000 | #Constraints: 21285 329.60/330.58 c #Conflicts: 256000 | #Constraints: 22285 329.60/330.58 c #Conflicts: 257000 | #Constraints: 23285 329.60/330.58 c #Conflicts: 258000 | #Constraints: 24285 329.60/330.58 c #Conflicts: 259000 | #Constraints: 25285 329.60/330.58 c #Conflicts: 260000 | #Constraints: 26285 329.60/330.58 c #Conflicts: 261000 | #Constraints: 27285 329.60/330.58 c #Conflicts: 262000 | #Constraints: 28285 329.60/330.58 c INPROCESSING 329.60/330.58 c GARBAGE COLLECT 329.60/330.58 c rational objective 83 410.75/411.96 c #Conflicts: 263000 | #Constraints: 17841 410.75/411.96 c #Conflicts: 264000 | #Constraints: 18842 410.75/411.96 c #Conflicts: 265000 | #Constraints: 19842 410.75/411.96 c #Conflicts: 266000 | #Constraints: 20842 410.75/411.96 c #Conflicts: 267000 | #Constraints: 21842 410.75/411.96 c #Conflicts: 268000 | #Constraints: 22842 410.75/411.96 c #Conflicts: 269000 | #Constraints: 23842 410.75/411.96 c #Conflicts: 270000 | #Constraints: 24842 410.75/411.96 c #Conflicts: 271000 | #Constraints: 25842 410.75/411.96 c #Conflicts: 272000 | #Constraints: 26842 410.75/411.96 c #Conflicts: 273000 | #Constraints: 27842 410.75/411.96 c #Conflicts: 274000 | #Constraints: 28843 410.75/411.96 c #Conflicts: 275000 | #Constraints: 29843 410.75/411.96 c #Conflicts: 276000 | #Constraints: 30843 410.75/411.96 c #Conflicts: 277000 | #Constraints: 31844 410.75/411.96 c #Conflicts: 278000 | #Constraints: 32844 410.75/411.96 c #Conflicts: 279000 | #Constraints: 33845 410.75/411.96 c #Conflicts: 280000 | #Constraints: 34845 410.75/411.96 c #Conflicts: 281000 | #Constraints: 35845 410.75/411.96 c #Conflicts: 282000 | #Constraints: 36846 410.75/411.96 c #Conflicts: 283000 | #Constraints: 37846 410.75/411.96 c #Conflicts: 284000 | #Constraints: 38846 410.75/411.96 c #Conflicts: 285000 | #Constraints: 39846 410.75/411.96 c #Conflicts: 286000 | #Constraints: 40846 410.75/411.96 c #Conflicts: 287000 | #Constraints: 41846 410.75/411.96 c #Conflicts: 288000 | #Constraints: 42846 410.75/411.96 c #Conflicts: 289000 | #Constraints: 43846 410.75/411.96 c #Conflicts: 290000 | #Constraints: 44846 410.75/411.96 c #Conflicts: 291000 | #Constraints: 45846 410.75/411.96 c #Conflicts: 292000 | #Constraints: 46846 410.75/411.96 c #Conflicts: 293000 | #Constraints: 47846 410.75/411.96 c #Conflicts: 294000 | #Constraints: 48846 410.75/411.96 c #Conflicts: 295000 | #Constraints: 49846 410.75/411.96 c #Conflicts: 296000 | #Constraints: 50846 410.75/411.96 c #Conflicts: 297000 | #Constraints: 51846 410.75/411.96 c #Conflicts: 298000 | #Constraints: 52846 410.75/411.96 c #Conflicts: 299000 | #Constraints: 53846 410.75/411.96 c #Conflicts: 300000 | #Constraints: 54846 410.75/411.96 c #Conflicts: 301000 | #Constraints: 55846 410.75/411.96 c #Conflicts: 302000 | #Constraints: 56846 410.75/411.96 c #Conflicts: 303000 | #Constraints: 57846 410.75/411.96 c #Conflicts: 304000 | #Constraints: 58846 410.75/411.96 c #Conflicts: 305000 | #Constraints: 59846 410.75/411.96 c #Conflicts: 306000 | #Constraints: 60846 410.75/411.96 c #Conflicts: 307000 | #Constraints: 61846 410.75/411.96 c INPROCESSING 410.75/411.96 c GARBAGE COLLECT 410.75/411.96 c rational objective 83 427.49/428.75 c #Conflicts: 308000 | #Constraints: 34918 427.49/428.75 c #Conflicts: 309000 | #Constraints: 35918 427.49/428.75 c #Conflicts: 310000 | #Constraints: 36918 427.49/428.75 c #Conflicts: 311000 | #Constraints: 37918 427.49/428.75 c #Conflicts: 312000 | #Constraints: 38918 427.49/428.75 c #Conflicts: 313000 | #Constraints: 39918 427.49/428.75 c #Conflicts: 314000 | #Constraints: 40918 427.49/428.75 c #Conflicts: 315000 | #Constraints: 41918 427.49/428.75 c #Conflicts: 316000 | #Constraints: 42918 427.49/428.75 c #Conflicts: 317000 | #Constraints: 43918 427.49/428.75 c #Conflicts: 318000 | #Constraints: 44918 427.49/428.75 c #Conflicts: 319000 | #Constraints: 45918 427.49/428.75 c INPROCESSING 427.49/428.75 c GARBAGE COLLECT 427.49/428.75 c rational objective 83 448.63/449.91 c #Conflicts: 320000 | #Constraints: 27007 448.63/449.91 c #Conflicts: 321000 | #Constraints: 28007 448.63/449.91 c #Conflicts: 322000 | #Constraints: 29007 448.63/449.91 c #Conflicts: 323000 | #Constraints: 30007 448.63/449.91 c #Conflicts: 324000 | #Constraints: 31007 448.63/449.91 c #Conflicts: 325000 | #Constraints: 32007 448.63/449.91 c #Conflicts: 326000 | #Constraints: 33007 448.63/449.91 c #Conflicts: 327000 | #Constraints: 34007 448.63/449.91 c #Conflicts: 328000 | #Constraints: 35007 448.63/449.91 c #Conflicts: 329000 | #Constraints: 36007 448.63/449.91 c #Conflicts: 330000 | #Constraints: 37008 448.63/449.91 c #Conflicts: 331000 | #Constraints: 38008 448.63/449.91 c INPROCESSING 448.63/449.91 c GARBAGE COLLECT 448.63/449.91 c rational objective 83 466.97/468.30 c #Conflicts: 332000 | #Constraints: 22847 466.97/468.30 c #Conflicts: 333000 | #Constraints: 23847 466.97/468.30 c #Conflicts: 334000 | #Constraints: 24847 466.97/468.30 c #Conflicts: 335000 | #Constraints: 25847 466.97/468.30 c #Conflicts: 336000 | #Constraints: 26847 466.97/468.30 c #Conflicts: 337000 | #Constraints: 27847 466.97/468.30 c #Conflicts: 338000 | #Constraints: 28847 466.97/468.30 c #Conflicts: 339000 | #Constraints: 29847 466.97/468.30 c #Conflicts: 340000 | #Constraints: 30848 466.97/468.30 c #Conflicts: 341000 | #Constraints: 31848 466.97/468.30 c #Conflicts: 342000 | #Constraints: 32848 466.97/468.30 c #Conflicts: 343000 | #Constraints: 33848 466.97/468.30 c #Conflicts: 344000 | #Constraints: 34848 466.97/468.30 c INPROCESSING 466.97/468.30 c GARBAGE COLLECT 466.97/468.30 c rational objective 83 477.04/478.43 c #Conflicts: 345000 | #Constraints: 21543 477.04/478.43 c #Conflicts: 346000 | #Constraints: 22543 477.04/478.43 c #Conflicts: 347000 | #Constraints: 23543 477.04/478.43 c #Conflicts: 348000 | #Constraints: 24543 477.04/478.43 c #Conflicts: 349000 | #Constraints: 25543 477.04/478.43 c #Conflicts: 350000 | #Constraints: 26543 477.04/478.43 c #Conflicts: 351000 | #Constraints: 27543 477.04/478.43 c #Conflicts: 352000 | #Constraints: 28543 477.04/478.43 c #Conflicts: 353000 | #Constraints: 29543 477.04/478.43 c #Conflicts: 354000 | #Constraints: 30543 477.04/478.43 c #Conflicts: 355000 | #Constraints: 31543 477.04/478.43 c #Conflicts: 356000 | #Constraints: 32543 477.04/478.43 c INPROCESSING 477.04/478.43 c GARBAGE COLLECT 477.04/478.43 c rational objective 83 557.50/559.16 c #Conflicts: 357000 | #Constraints: 20060 557.50/559.16 c #Conflicts: 358000 | #Constraints: 21061 557.50/559.16 c #Conflicts: 359000 | #Constraints: 22062 557.50/559.16 c #Conflicts: 360000 | #Constraints: 23062 557.50/559.16 c #Conflicts: 361000 | #Constraints: 24062 557.50/559.16 c #Conflicts: 362000 | #Constraints: 25062 557.50/559.16 c #Conflicts: 363000 | #Constraints: 26062 557.50/559.16 c #Conflicts: 364000 | #Constraints: 27062 557.50/559.16 c #Conflicts: 365000 | #Constraints: 28062 557.50/559.16 c #Conflicts: 366000 | #Constraints: 29062 557.50/559.16 c #Conflicts: 367000 | #Constraints: 30062 557.50/559.16 c #Conflicts: 368000 | #Constraints: 31062 557.50/559.16 c #Conflicts: 369000 | #Constraints: 32062 557.50/559.16 c #Conflicts: 370000 | #Constraints: 33062 557.50/559.16 c #Conflicts: 371000 | #Constraints: 34063 557.50/559.16 c #Conflicts: 372000 | #Constraints: 35063 557.50/559.16 c #Conflicts: 373000 | #Constraints: 36063 557.50/559.16 c #Conflicts: 374000 | #Constraints: 37063 557.50/559.16 c #Conflicts: 375000 | #Constraints: 38063 557.50/559.16 c #Conflicts: 376000 | #Constraints: 39063 557.50/559.16 c #Conflicts: 377000 | #Constraints: 40063 557.50/559.16 c #Conflicts: 378000 | #Constraints: 41063 557.50/559.16 c #Conflicts: 379000 | #Constraints: 42063 557.50/559.16 c #Conflicts: 380000 | #Constraints: 43063 557.50/559.16 c #Conflicts: 381000 | #Constraints: 44063 557.50/559.16 c #Conflicts: 382000 | #Constraints: 45063 557.50/559.16 c #Conflicts: 383000 | #Constraints: 46063 557.50/559.16 c #Conflicts: 384000 | #Constraints: 47063 557.50/559.16 c #Conflicts: 385000 | #Constraints: 48063 557.50/559.16 c #Conflicts: 386000 | #Constraints: 49063 557.50/559.16 c #Conflicts: 387000 | #Constraints: 50063 557.50/559.16 c #Conflicts: 388000 | #Constraints: 51063 557.50/559.16 c #Conflicts: 389000 | #Constraints: 52063 557.50/559.16 c #Conflicts: 390000 | #Constraints: 53063 557.50/559.16 c #Conflicts: 391000 | #Constraints: 54063 557.50/559.16 c #Conflicts: 392000 | #Constraints: 55063 557.50/559.16 c #Conflicts: 393000 | #Constraints: 56063 557.50/559.16 c #Conflicts: 394000 | #Constraints: 57063 557.50/559.16 c #Conflicts: 395000 | #Constraints: 58064 557.50/559.16 c #Conflicts: 396000 | #Constraints: 59064 557.50/559.16 c #Conflicts: 397000 | #Constraints: 60064 557.50/559.16 c #Conflicts: 398000 | #Constraints: 61065 557.50/559.16 c #Conflicts: 399000 | #Constraints: 62065 557.50/559.16 c #Conflicts: 400000 | #Constraints: 63065 557.50/559.16 c #Conflicts: 401000 | #Constraints: 64065 557.50/559.16 c #Conflicts: 402000 | #Constraints: 65065 557.50/559.16 c #Conflicts: 403000 | #Constraints: 66065 557.50/559.16 c #Conflicts: 404000 | #Constraints: 67065 557.50/559.16 c #Conflicts: 405000 | #Constraints: 68065 557.50/559.16 c #Conflicts: 406000 | #Constraints: 69065 557.50/559.16 c #Conflicts: 407000 | #Constraints: 70065 557.50/559.16 c INPROCESSING 557.50/559.16 c GARBAGE COLLECT 557.50/559.16 c rational objective 83 583.60/585.31 c #Conflicts: 408000 | #Constraints: 38919 583.60/585.31 c #Conflicts: 409000 | #Constraints: 39919 583.60/585.31 c #Conflicts: 410000 | #Constraints: 40920 583.60/585.31 c #Conflicts: 411000 | #Constraints: 41920 583.60/585.31 c #Conflicts: 412000 | #Constraints: 42920 583.60/585.31 c #Conflicts: 413000 | #Constraints: 43920 583.60/585.31 c #Conflicts: 414000 | #Constraints: 44921 583.60/585.31 c #Conflicts: 415000 | #Constraints: 45921 583.60/585.31 c #Conflicts: 416000 | #Constraints: 46921 583.60/585.31 c #Conflicts: 417000 | #Constraints: 47921 583.60/585.31 c #Conflicts: 418000 | #Constraints: 48921 583.60/585.31 c #Conflicts: 419000 | #Constraints: 49921 583.60/585.31 c #Conflicts: 420000 | #Constraints: 50921 583.60/585.31 c #Conflicts: 421000 | #Constraints: 51921 583.60/585.31 c INPROCESSING 583.60/585.31 c GARBAGE COLLECT 583.60/585.31 c rational objective 83 603.04/604.86 c #Conflicts: 422000 | #Constraints: 29939 603.04/604.86 c #Conflicts: 423000 | #Constraints: 30939 603.04/604.86 c #Conflicts: 424000 | #Constraints: 31939 603.04/604.86 c #Conflicts: 425000 | #Constraints: 32939 603.04/604.86 c #Conflicts: 426000 | #Constraints: 33939 603.04/604.86 c #Conflicts: 427000 | #Constraints: 34939 603.04/604.86 c #Conflicts: 428000 | #Constraints: 35939 603.04/604.86 c #Conflicts: 429000 | #Constraints: 36939 603.04/604.86 c #Conflicts: 430000 | #Constraints: 37939 603.04/604.86 c #Conflicts: 431000 | #Constraints: 38939 603.04/604.86 c #Conflicts: 432000 | #Constraints: 39939 603.04/604.86 c #Conflicts: 433000 | #Constraints: 40939 603.04/604.86 c #Conflicts: 434000 | #Constraints: 41939 603.04/604.86 c #Conflicts: 435000 | #Constraints: 42939 603.04/604.86 c INPROCESSING 603.04/604.86 c GARBAGE COLLECT 603.04/604.86 c rational objective 83 622.98/624.89 c #Conflicts: 436000 | #Constraints: 25346 622.98/624.89 c #Conflicts: 437000 | #Constraints: 26346 622.98/624.89 c #Conflicts: 438000 | #Constraints: 27346 622.98/624.89 c #Conflicts: 439000 | #Constraints: 28347 622.98/624.89 c #Conflicts: 440000 | #Constraints: 29347 622.98/624.89 c #Conflicts: 441000 | #Constraints: 30347 622.98/624.89 c #Conflicts: 442000 | #Constraints: 31348 622.98/624.89 c #Conflicts: 443000 | #Constraints: 32348 622.98/624.89 c #Conflicts: 444000 | #Constraints: 33348 622.98/624.89 c #Conflicts: 445000 | #Constraints: 34348 622.98/624.89 c #Conflicts: 446000 | #Constraints: 35349 622.98/624.89 c #Conflicts: 447000 | #Constraints: 36349 622.98/624.89 c #Conflicts: 448000 | #Constraints: 37349 622.98/624.89 c #Conflicts: 449000 | #Constraints: 38349 622.98/624.89 c #Conflicts: 450000 | #Constraints: 39349 622.98/624.89 c INPROCESSING 622.98/624.89 c GARBAGE COLLECT 622.98/624.89 c rational objective 83 642.43/644.33 c #Conflicts: 451000 | #Constraints: 23799 642.43/644.33 c #Conflicts: 452000 | #Constraints: 24799 642.43/644.33 c #Conflicts: 453000 | #Constraints: 25799 642.43/644.33 c #Conflicts: 454000 | #Constraints: 26799 642.43/644.33 c #Conflicts: 455000 | #Constraints: 27799 642.43/644.33 c #Conflicts: 456000 | #Constraints: 28799 642.43/644.33 c #Conflicts: 457000 | #Constraints: 29799 642.43/644.33 c #Conflicts: 458000 | #Constraints: 30799 642.43/644.33 c #Conflicts: 459000 | #Constraints: 31800 642.43/644.33 c #Conflicts: 460000 | #Constraints: 32800 642.43/644.33 c #Conflicts: 461000 | #Constraints: 33800 642.43/644.33 c #Conflicts: 462000 | #Constraints: 34800 642.43/644.33 c #Conflicts: 463000 | #Constraints: 35800 642.43/644.33 c #Conflicts: 464000 | #Constraints: 36800 642.43/644.33 c INPROCESSING 642.43/644.33 c GARBAGE COLLECT 642.43/644.33 c rational objective 83 769.98/772.28 c #Conflicts: 465000 | #Constraints: 22223 769.98/772.28 c #Conflicts: 466000 | #Constraints: 23223 769.98/772.28 c #Conflicts: 467000 | #Constraints: 24224 769.98/772.28 c #Conflicts: 468000 | #Constraints: 25224 769.98/772.28 c #Conflicts: 469000 | #Constraints: 26224 769.98/772.28 c #Conflicts: 470000 | #Constraints: 27225 769.98/772.28 c #Conflicts: 471000 | #Constraints: 28225 769.98/772.28 c #Conflicts: 472000 | #Constraints: 29225 769.98/772.28 c #Conflicts: 473000 | #Constraints: 30225 769.98/772.28 c #Conflicts: 474000 | #Constraints: 31226 769.98/772.28 c #Conflicts: 475000 | #Constraints: 32226 769.98/772.28 c #Conflicts: 476000 | #Constraints: 33226 769.98/772.28 c #Conflicts: 477000 | #Constraints: 34226 769.98/772.28 c #Conflicts: 478000 | #Constraints: 35226 769.98/772.28 c #Conflicts: 479000 | #Constraints: 36226 769.98/772.28 c #Conflicts: 480000 | #Constraints: 37226 769.98/772.28 c #Conflicts: 481000 | #Constraints: 38226 769.98/772.28 c #Conflicts: 482000 | #Constraints: 39226 769.98/772.28 c #Conflicts: 483000 | #Constraints: 40226 769.98/772.28 c #Conflicts: 484000 | #Constraints: 41226 769.98/772.28 c #Conflicts: 485000 | #Constraints: 42226 769.98/772.28 c #Conflicts: 486000 | #Constraints: 43226 769.98/772.28 c #Conflicts: 487000 | #Constraints: 44226 769.98/772.28 c #Conflicts: 488000 | #Constraints: 45227 769.98/772.28 c #Conflicts: 489000 | #Constraints: 46227 769.98/772.28 c #Conflicts: 490000 | #Constraints: 47228 769.98/772.28 c #Conflicts: 491000 | #Constraints: 48228 769.98/772.28 c #Conflicts: 492000 | #Constraints: 49228 769.98/772.28 c #Conflicts: 493000 | #Constraints: 50228 769.98/772.28 c #Conflicts: 494000 | #Constraints: 51228 769.98/772.28 c #Conflicts: 495000 | #Constraints: 52229 769.98/772.28 c #Conflicts: 496000 | #Constraints: 53229 769.98/772.28 c #Conflicts: 497000 | #Constraints: 54229 769.98/772.28 c #Conflicts: 498000 | #Constraints: 55229 769.98/772.28 c #Conflicts: 499000 | #Constraints: 56229 769.98/772.28 c #Conflicts: 500000 | #Constraints: 57229 769.98/772.28 c #Conflicts: 501000 | #Constraints: 58229 769.98/772.28 c #Conflicts: 502000 | #Constraints: 59229 769.98/772.28 c #Conflicts: 503000 | #Constraints: 60229 769.98/772.28 c #Conflicts: 504000 | #Constraints: 61229 769.98/772.28 c #Conflicts: 505000 | #Constraints: 62229 769.98/772.28 c #Conflicts: 506000 | #Constraints: 63229 769.98/772.28 c #Conflicts: 507000 | #Constraints: 64229 769.98/772.28 c #Conflicts: 508000 | #Constraints: 65229 769.98/772.28 c #Conflicts: 509000 | #Constraints: 66229 769.98/772.28 c #Conflicts: 510000 | #Constraints: 67229 769.98/772.28 c #Conflicts: 511000 | #Constraints: 68229 769.98/772.28 c #Conflicts: 512000 | #Constraints: 69230 769.98/772.28 c #Conflicts: 513000 | #Constraints: 70232 769.98/772.28 c #Conflicts: 514000 | #Constraints: 71232 769.98/772.28 c #Conflicts: 515000 | #Constraints: 72232 769.98/772.28 c #Conflicts: 516000 | #Constraints: 73232 769.98/772.28 c #Conflicts: 517000 | #Constraints: 74232 769.98/772.28 c #Conflicts: 518000 | #Constraints: 75232 769.98/772.28 c #Conflicts: 519000 | #Constraints: 76233 769.98/772.28 c #Conflicts: 520000 | #Constraints: 77233 769.98/772.28 c #Conflicts: 521000 | #Constraints: 78233 769.98/772.28 c INPROCESSING 769.98/772.28 c GARBAGE COLLECT 769.98/772.28 c rational objective 83 796.01/798.38 c #Conflicts: 522000 | #Constraints: 42885 796.01/798.38 c #Conflicts: 523000 | #Constraints: 43885 796.01/798.38 c #Conflicts: 524000 | #Constraints: 44886 796.01/798.38 c #Conflicts: 525000 | #Constraints: 45886 796.01/798.38 c #Conflicts: 526000 | #Constraints: 46886 796.01/798.38 c #Conflicts: 527000 | #Constraints: 47886 796.01/798.38 c #Conflicts: 528000 | #Constraints: 48886 796.01/798.38 c #Conflicts: 529000 | #Constraints: 49886 796.01/798.38 c #Conflicts: 530000 | #Constraints: 50886 796.01/798.38 c #Conflicts: 531000 | #Constraints: 51886 796.01/798.38 c #Conflicts: 532000 | #Constraints: 52886 796.01/798.38 c #Conflicts: 533000 | #Constraints: 53886 796.01/798.38 c #Conflicts: 534000 | #Constraints: 54886 796.01/798.38 c #Conflicts: 535000 | #Constraints: 55886 796.01/798.38 c #Conflicts: 536000 | #Constraints: 56886 796.01/798.38 c #Conflicts: 537000 | #Constraints: 57886 796.01/798.38 c INPROCESSING 796.01/798.38 c GARBAGE COLLECT 796.01/798.38 c rational objective 83 815.35/817.77 c #Conflicts: 538000 | #Constraints: 32792 815.35/817.77 c #Conflicts: 539000 | #Constraints: 33792 815.35/817.77 c #Conflicts: 540000 | #Constraints: 34792 815.35/817.77 c #Conflicts: 541000 | #Constraints: 35793 815.35/817.77 c #Conflicts: 542000 | #Constraints: 36796 815.35/817.77 c #Conflicts: 543000 | #Constraints: 37796 815.35/817.77 c #Conflicts: 544000 | #Constraints: 38796 815.35/817.77 c #Conflicts: 545000 | #Constraints: 39796 815.35/817.77 c #Conflicts: 546000 | #Constraints: 40796 815.35/817.77 c #Conflicts: 547000 | #Constraints: 41796 815.35/817.77 c #Conflicts: 548000 | #Constraints: 42796 815.35/817.77 c #Conflicts: 549000 | #Constraints: 43796 815.35/817.77 c #Conflicts: 550000 | #Constraints: 44796 815.35/817.77 c #Conflicts: 551000 | #Constraints: 45796 815.35/817.77 c #Conflicts: 552000 | #Constraints: 46796 815.35/817.77 c #Conflicts: 553000 | #Constraints: 47796 815.35/817.77 c INPROCESSING 815.35/817.77 c GARBAGE COLLECT 815.35/817.77 c rational objective 83 836.10/838.51 c #Conflicts: 554000 | #Constraints: 27728 836.10/838.51 c #Conflicts: 555000 | #Constraints: 28729 836.10/838.51 c #Conflicts: 556000 | #Constraints: 29729 836.10/838.51 c #Conflicts: 557000 | #Constraints: 30729 836.10/838.51 c #Conflicts: 558000 | #Constraints: 31729 836.10/838.51 c #Conflicts: 559000 | #Constraints: 32729 836.10/838.51 c #Conflicts: 560000 | #Constraints: 33729 836.10/838.51 c #Conflicts: 561000 | #Constraints: 34729 836.10/838.51 c #Conflicts: 562000 | #Constraints: 35729 836.10/838.51 c #Conflicts: 563000 | #Constraints: 36729 836.10/838.51 c #Conflicts: 564000 | #Constraints: 37729 836.10/838.51 c #Conflicts: 565000 | #Constraints: 38729 836.10/838.51 c #Conflicts: 566000 | #Constraints: 39729 836.10/838.51 c #Conflicts: 567000 | #Constraints: 40729 836.10/838.51 c #Conflicts: 568000 | #Constraints: 41729 836.10/838.51 c #Conflicts: 569000 | #Constraints: 42729 836.10/838.51 c #Conflicts: 570000 | #Constraints: 43729 836.10/838.51 c INPROCESSING 836.10/838.51 c GARBAGE COLLECT 836.10/838.51 c rational objective 83 864.04/866.57 c #Conflicts: 571000 | #Constraints: 26004 864.04/866.57 c #Conflicts: 572000 | #Constraints: 27004 864.04/866.57 c #Conflicts: 573000 | #Constraints: 28004 864.04/866.57 c #Conflicts: 574000 | #Constraints: 29004 864.04/866.57 c #Conflicts: 575000 | #Constraints: 30004 864.04/866.57 c #Conflicts: 576000 | #Constraints: 31004 864.04/866.57 c #Conflicts: 577000 | #Constraints: 32004 864.04/866.57 c #Conflicts: 578000 | #Constraints: 33004 864.04/866.57 c #Conflicts: 579000 | #Constraints: 34004 864.04/866.57 c #Conflicts: 580000 | #Constraints: 35004 864.04/866.57 c #Conflicts: 581000 | #Constraints: 36005 864.04/866.57 c #Conflicts: 582000 | #Constraints: 37005 864.04/866.57 c #Conflicts: 583000 | #Constraints: 38005 864.04/866.57 c #Conflicts: 584000 | #Constraints: 39006 864.04/866.57 c #Conflicts: 585000 | #Constraints: 40006 864.04/866.57 c #Conflicts: 586000 | #Constraints: 41006 864.04/866.57 c INPROCESSING 864.04/866.57 c GARBAGE COLLECT 864.04/866.57 c rational objective 83 991.80/994.61 c #Conflicts: 587000 | #Constraints: 24405 991.80/994.61 c #Conflicts: 588000 | #Constraints: 25405 991.80/994.61 c #Conflicts: 589000 | #Constraints: 26405 991.80/994.61 c #Conflicts: 590000 | #Constraints: 27405 991.80/994.61 c #Conflicts: 591000 | #Constraints: 28405 991.80/994.61 c #Conflicts: 592000 | #Constraints: 29405 991.80/994.61 c #Conflicts: 593000 | #Constraints: 30405 991.80/994.61 c #Conflicts: 594000 | #Constraints: 31405 991.80/994.61 c #Conflicts: 595000 | #Constraints: 32405 991.80/994.61 c #Conflicts: 596000 | #Constraints: 33405 991.80/994.61 c #Conflicts: 597000 | #Constraints: 34406 991.80/994.61 c #Conflicts: 598000 | #Constraints: 35407 991.80/994.61 c #Conflicts: 599000 | #Constraints: 36407 991.80/994.61 c #Conflicts: 600000 | #Constraints: 37407 991.80/994.61 c #Conflicts: 601000 | #Constraints: 38407 991.80/994.61 c #Conflicts: 602000 | #Constraints: 39407 991.80/994.61 c #Conflicts: 603000 | #Constraints: 40407 991.80/994.61 c #Conflicts: 604000 | #Constraints: 41407 991.80/994.61 c #Conflicts: 605000 | #Constraints: 42407 991.80/994.61 c #Conflicts: 606000 | #Constraints: 43407 991.80/994.61 c #Conflicts: 607000 | #Constraints: 44407 991.80/994.61 c #Conflicts: 608000 | #Constraints: 45407 991.80/994.61 c #Conflicts: 609000 | #Constraints: 46407 991.80/994.61 c #Conflicts: 610000 | #Constraints: 47408 991.80/994.61 c #Conflicts: 611000 | #Constraints: 48408 991.80/994.61 c #Conflicts: 612000 | #Constraints: 49408 991.80/994.61 c #Conflicts: 613000 | #Constraints: 50408 991.80/994.61 c #Conflicts: 614000 | #Constraints: 51408 991.80/994.61 c #Conflicts: 615000 | #Constraints: 52408 991.80/994.61 c #Conflicts: 616000 | #Constraints: 53408 991.80/994.61 c #Conflicts: 617000 | #Constraints: 54409 991.80/994.61 c #Conflicts: 618000 | #Constraints: 55409 991.80/994.61 c #Conflicts: 619000 | #Constraints: 56410 991.80/994.61 c #Conflicts: 620000 | #Constraints: 57411 991.80/994.61 c #Conflicts: 621000 | #Constraints: 58411 991.80/994.61 c #Conflicts: 622000 | #Constraints: 59411 991.80/994.61 c #Conflicts: 623000 | #Constraints: 60412 991.80/994.61 c #Conflicts: 624000 | #Constraints: 61412 991.80/994.61 c #Conflicts: 625000 | #Constraints: 62412 991.80/994.61 c #Conflicts: 626000 | #Constraints: 63412 991.80/994.61 c #Conflicts: 627000 | #Constraints: 64412 991.80/994.61 c #Conflicts: 628000 | #Constraints: 65412 991.80/994.61 c #Conflicts: 629000 | #Constraints: 66413 991.80/994.61 c #Conflicts: 630000 | #Constraints: 67413 991.80/994.61 c #Conflicts: 631000 | #Constraints: 68413 991.80/994.61 c #Conflicts: 632000 | #Constraints: 69413 991.80/994.61 c #Conflicts: 633000 | #Constraints: 70414 991.80/994.61 c #Conflicts: 634000 | #Constraints: 71414 991.80/994.61 c #Conflicts: 635000 | #Constraints: 72414 991.80/994.61 c #Conflicts: 636000 | #Constraints: 73414 991.80/994.61 c #Conflicts: 637000 | #Constraints: 74414 991.80/994.61 c #Conflicts: 638000 | #Constraints: 75414 991.80/994.61 c #Conflicts: 639000 | #Constraints: 76414 991.80/994.61 c #Conflicts: 640000 | #Constraints: 77414 991.80/994.61 c #Conflicts: 641000 | #Constraints: 78414 991.80/994.61 c #Conflicts: 642000 | #Constraints: 79414 991.80/994.61 c #Conflicts: 643000 | #Constraints: 80414 991.80/994.61 c #Conflicts: 644000 | #Constraints: 81414 991.80/994.61 c #Conflicts: 645000 | #Constraints: 82415 991.80/994.61 c #Conflicts: 646000 | #Constraints: 83415 991.80/994.61 c #Conflicts: 647000 | #Constraints: 84415 991.80/994.61 c #Conflicts: 648000 | #Constraints: 85415 991.80/994.61 c #Conflicts: 649000 | #Constraints: 86415 991.80/994.61 c #Conflicts: 650000 | #Constraints: 87415 991.80/994.61 c INPROCESSING 991.80/994.61 c GARBAGE COLLECT 991.80/994.61 c rational objective 83 1025.61/1028.58 c #Conflicts: 651000 | #Constraints: 47892 1025.61/1028.58 c #Conflicts: 652000 | #Constraints: 48892 1025.61/1028.58 c #Conflicts: 653000 | #Constraints: 49892 1025.61/1028.58 c #Conflicts: 654000 | #Constraints: 50892 1025.61/1028.58 c #Conflicts: 655000 | #Constraints: 51892 1025.61/1028.58 c #Conflicts: 656000 | #Constraints: 52892 1025.61/1028.58 c #Conflicts: 657000 | #Constraints: 53892 1025.61/1028.58 c #Conflicts: 658000 | #Constraints: 54892 1025.61/1028.58 c #Conflicts: 659000 | #Constraints: 55892 1025.61/1028.58 c #Conflicts: 660000 | #Constraints: 56892 1025.61/1028.58 c #Conflicts: 661000 | #Constraints: 57892 1025.61/1028.58 c #Conflicts: 662000 | #Constraints: 58892 1025.61/1028.58 c #Conflicts: 663000 | #Constraints: 59892 1025.61/1028.58 c #Conflicts: 664000 | #Constraints: 60892 1025.61/1028.58 c #Conflicts: 665000 | #Constraints: 61892 1025.61/1028.58 c #Conflicts: 666000 | #Constraints: 62893 1025.61/1028.58 c #Conflicts: 667000 | #Constraints: 63893 1025.61/1028.58 c INPROCESSING 1025.61/1028.58 c GARBAGE COLLECT 1025.61/1028.58 c rational objective 83 1057.33/1060.37 c #Conflicts: 668000 | #Constraints: 35694 1057.33/1060.37 c #Conflicts: 669000 | #Constraints: 36695 1057.33/1060.37 c #Conflicts: 670000 | #Constraints: 37695 1057.33/1060.37 c #Conflicts: 671000 | #Constraints: 38695 1057.33/1060.37 c #Conflicts: 672000 | #Constraints: 39695 1057.33/1060.37 c #Conflicts: 673000 | #Constraints: 40695 1057.33/1060.37 c #Conflicts: 674000 | #Constraints: 41695 1057.33/1060.37 c #Conflicts: 675000 | #Constraints: 42695 1057.33/1060.37 c #Conflicts: 676000 | #Constraints: 43695 1057.33/1060.37 c #Conflicts: 677000 | #Constraints: 44695 1057.33/1060.37 c #Conflicts: 678000 | #Constraints: 45695 1057.33/1060.37 c #Conflicts: 679000 | #Constraints: 46695 1057.33/1060.37 c #Conflicts: 680000 | #Constraints: 47696 1057.33/1060.37 c #Conflicts: 681000 | #Constraints: 48696 1057.33/1060.37 c #Conflicts: 682000 | #Constraints: 49696 1057.33/1060.37 c #Conflicts: 683000 | #Constraints: 50696 1057.33/1060.37 c #Conflicts: 684000 | #Constraints: 51696 1057.33/1060.37 c #Conflicts: 685000 | #Constraints: 52696 1057.33/1060.37 c INPROCESSING 1057.33/1060.37 c GARBAGE COLLECT 1057.33/1060.37 c rational objective 83 1087.85/1090.99 c #Conflicts: 686000 | #Constraints: 30111 1087.85/1090.99 c #Conflicts: 687000 | #Constraints: 31111 1087.85/1090.99 c #Conflicts: 688000 | #Constraints: 32111 1087.85/1090.99 c #Conflicts: 689000 | #Constraints: 33112 1087.85/1090.99 c #Conflicts: 690000 | #Constraints: 34112 1087.85/1090.99 c #Conflicts: 691000 | #Constraints: 35113 1087.85/1090.99 c #Conflicts: 692000 | #Constraints: 36113 1087.85/1090.99 c #Conflicts: 693000 | #Constraints: 37113 1087.85/1090.99 c #Conflicts: 694000 | #Constraints: 38113 1087.85/1090.99 c #Conflicts: 695000 | #Constraints: 39113 1087.85/1090.99 c #Conflicts: 696000 | #Constraints: 40113 1087.85/1090.99 c #Conflicts: 697000 | #Constraints: 41115 1087.85/1090.99 c #Conflicts: 698000 | #Constraints: 42115 1087.85/1090.99 c #Conflicts: 699000 | #Constraints: 43115 1087.85/1090.99 c #Conflicts: 700000 | #Constraints: 44115 1087.85/1090.99 c #Conflicts: 701000 | #Constraints: 45116 1087.85/1090.99 c #Conflicts: 702000 | #Constraints: 46116 1087.85/1090.99 c #Conflicts: 703000 | #Constraints: 47116 1087.85/1090.99 c #Conflicts: 704000 | #Constraints: 48116 1087.85/1090.99 c INPROCESSING 1087.85/1090.99 c GARBAGE COLLECT 1087.85/1090.99 c rational objective 83 1111.90/1115.01 c #Conflicts: 705000 | #Constraints: 28322 1111.90/1115.01 c #Conflicts: 706000 | #Constraints: 29322 1111.90/1115.01 c #Conflicts: 707000 | #Constraints: 30322 1111.90/1115.01 c #Conflicts: 708000 | #Constraints: 31322 1111.90/1115.01 c #Conflicts: 709000 | #Constraints: 32322 1111.90/1115.01 c #Conflicts: 710000 | #Constraints: 33322 1111.90/1115.01 c #Conflicts: 711000 | #Constraints: 34322 1111.90/1115.01 c #Conflicts: 712000 | #Constraints: 35322 1111.90/1115.01 c #Conflicts: 713000 | #Constraints: 36322 1111.90/1115.01 c #Conflicts: 714000 | #Constraints: 37323 1111.90/1115.01 c #Conflicts: 715000 | #Constraints: 38324 1111.90/1115.01 c #Conflicts: 716000 | #Constraints: 39325 1111.90/1115.01 c #Conflicts: 717000 | #Constraints: 40325 1111.90/1115.01 c #Conflicts: 718000 | #Constraints: 41325 1111.90/1115.01 c #Conflicts: 719000 | #Constraints: 42325 1111.90/1115.01 c #Conflicts: 720000 | #Constraints: 43326 1111.90/1115.01 c #Conflicts: 721000 | #Constraints: 44326 1111.90/1115.01 c #Conflicts: 722000 | #Constraints: 45326 1111.90/1115.01 c INPROCESSING 1111.90/1115.01 c GARBAGE COLLECT 1111.90/1115.01 c rational objective 83 1287.93/1291.56 c #Conflicts: 723000 | #Constraints: 26617 1287.93/1291.56 c #Conflicts: 724000 | #Constraints: 27617 1287.93/1291.56 c #Conflicts: 725000 | #Constraints: 28617 1287.93/1291.56 c #Conflicts: 726000 | #Constraints: 29618 1287.93/1291.56 c #Conflicts: 727000 | #Constraints: 30618 1287.93/1291.56 c #Conflicts: 728000 | #Constraints: 31618 1287.93/1291.56 c #Conflicts: 729000 | #Constraints: 32618 1287.93/1291.56 c #Conflicts: 730000 | #Constraints: 33618 1287.93/1291.56 c #Conflicts: 731000 | #Constraints: 34618 1287.93/1291.56 c #Conflicts: 732000 | #Constraints: 35618 1287.93/1291.56 c #Conflicts: 733000 | #Constraints: 36618 1287.93/1291.56 c #Conflicts: 734000 | #Constraints: 37618 1287.93/1291.56 c #Conflicts: 735000 | #Constraints: 38618 1287.93/1291.56 c #Conflicts: 736000 | #Constraints: 39618 1287.93/1291.56 c #Conflicts: 737000 | #Constraints: 40618 1287.93/1291.56 c #Conflicts: 738000 | #Constraints: 41618 1287.93/1291.56 c #Conflicts: 739000 | #Constraints: 42618 1287.93/1291.56 c #Conflicts: 740000 | #Constraints: 43618 1287.93/1291.56 c #Conflicts: 741000 | #Constraints: 44618 1287.93/1291.56 c #Conflicts: 742000 | #Constraints: 45618 1287.93/1291.56 c #Conflicts: 743000 | #Constraints: 46619 1287.93/1291.56 c #Conflicts: 744000 | #Constraints: 47619 1287.93/1291.56 c #Conflicts: 745000 | #Constraints: 48619 1287.93/1291.56 c #Conflicts: 746000 | #Constraints: 49619 1287.93/1291.56 c #Conflicts: 747000 | #Constraints: 50619 1287.93/1291.56 c #Conflicts: 748000 | #Constraints: 51619 1287.93/1291.56 c #Conflicts: 749000 | #Constraints: 52619 1287.93/1291.56 c #Conflicts: 750000 | #Constraints: 53619 1287.93/1291.56 c #Conflicts: 751000 | #Constraints: 54619 1287.93/1291.56 c #Conflicts: 752000 | #Constraints: 55619 1287.93/1291.56 c #Conflicts: 753000 | #Constraints: 56619 1287.93/1291.56 c #Conflicts: 754000 | #Constraints: 57619 1287.93/1291.56 c #Conflicts: 755000 | #Constraints: 58619 1287.93/1291.56 c #Conflicts: 756000 | #Constraints: 59619 1287.93/1291.56 c #Conflicts: 757000 | #Constraints: 60619 1287.93/1291.56 c #Conflicts: 758000 | #Constraints: 61619 1287.93/1291.56 c #Conflicts: 759000 | #Constraints: 62619 1287.93/1291.56 c #Conflicts: 760000 | #Constraints: 63619 1287.93/1291.56 c #Conflicts: 761000 | #Constraints: 64620 1287.93/1291.56 c #Conflicts: 762000 | #Constraints: 65620 1287.93/1291.56 c #Conflicts: 763000 | #Constraints: 66620 1287.93/1291.56 c #Conflicts: 764000 | #Constraints: 67621 1287.93/1291.56 c #Conflicts: 765000 | #Constraints: 68621 1287.93/1291.56 c #Conflicts: 766000 | #Constraints: 69622 1287.93/1291.56 c #Conflicts: 767000 | #Constraints: 70622 1287.93/1291.56 c #Conflicts: 768000 | #Constraints: 71622 1287.93/1291.56 c #Conflicts: 769000 | #Constraints: 72623 1287.93/1291.56 c #Conflicts: 770000 | #Constraints: 73623 1287.93/1291.56 c #Conflicts: 771000 | #Constraints: 74623 1287.93/1291.56 c #Conflicts: 772000 | #Constraints: 75623 1287.93/1291.56 c #Conflicts: 773000 | #Constraints: 76623 1287.93/1291.56 c #Conflicts: 774000 | #Constraints: 77623 1287.93/1291.56 c #Conflicts: 775000 | #Constraints: 78623 1287.93/1291.56 c #Conflicts: 776000 | #Constraints: 79623 1287.93/1291.56 c #Conflicts: 777000 | #Constraints: 80623 1287.93/1291.56 c #Conflicts: 778000 | #Constraints: 81623 1287.93/1291.56 c #Conflicts: 779000 | #Constraints: 82623 1287.93/1291.56 c #Conflicts: 780000 | #Constraints: 83623 1287.93/1291.56 c #Conflicts: 781000 | #Constraints: 84624 1287.93/1291.56 c #Conflicts: 782000 | #Constraints: 85624 1287.93/1291.56 c #Conflicts: 783000 | #Constraints: 86624 1287.93/1291.56 c #Conflicts: 784000 | #Constraints: 87624 1287.93/1291.56 c #Conflicts: 785000 | #Constraints: 88624 1287.93/1291.56 c #Conflicts: 786000 | #Constraints: 89624 1287.93/1291.56 c #Conflicts: 787000 | #Constraints: 90624 1287.93/1291.56 c #Conflicts: 788000 | #Constraints: 91624 1287.93/1291.56 c #Conflicts: 789000 | #Constraints: 92624 1287.93/1291.56 c #Conflicts: 790000 | #Constraints: 93624 1287.93/1291.56 c #Conflicts: 791000 | #Constraints: 94624 1287.93/1291.56 c #Conflicts: 792000 | #Constraints: 95624 1287.93/1291.56 c INPROCESSING 1287.93/1291.56 c GARBAGE COLLECT 1287.93/1291.56 c rational objective 83 1333.71/1337.45 c #Conflicts: 793000 | #Constraints: 51882 1333.71/1337.45 c #Conflicts: 794000 | #Constraints: 52882 1333.71/1337.45 c #Conflicts: 795000 | #Constraints: 53883 1333.71/1337.45 c #Conflicts: 796000 | #Constraints: 54883 1333.71/1337.45 c #Conflicts: 797000 | #Constraints: 55884 1333.71/1337.45 c #Conflicts: 798000 | #Constraints: 56884 1333.71/1337.45 c #Conflicts: 799000 | #Constraints: 57884 1333.71/1337.45 c #Conflicts: 800000 | #Constraints: 58884 1333.71/1337.45 c #Conflicts: 801000 | #Constraints: 59884 1333.71/1337.45 c #Conflicts: 802000 | #Constraints: 60884 1333.71/1337.45 c #Conflicts: 803000 | #Constraints: 61885 1333.71/1337.45 c #Conflicts: 804000 | #Constraints: 62885 1333.71/1337.45 c #Conflicts: 805000 | #Constraints: 63885 1333.71/1337.45 c #Conflicts: 806000 | #Constraints: 64886 1333.71/1337.45 c #Conflicts: 807000 | #Constraints: 65887 1333.71/1337.45 c #Conflicts: 808000 | #Constraints: 66887 1333.71/1337.45 c #Conflicts: 809000 | #Constraints: 67888 1333.71/1337.45 c #Conflicts: 810000 | #Constraints: 68888 1333.71/1337.45 c #Conflicts: 811000 | #Constraints: 69888 1333.71/1337.45 c #Conflicts: 812000 | #Constraints: 70888 1333.71/1337.45 c INPROCESSING 1333.71/1337.45 c GARBAGE COLLECT 1333.71/1337.45 c rational objective 83 1362.73/1366.59 c #Conflicts: 813000 | #Constraints: 39611 1362.73/1366.59 c #Conflicts: 814000 | #Constraints: 40611 1362.73/1366.59 c #Conflicts: 815000 | #Constraints: 41611 1362.73/1366.59 c #Conflicts: 816000 | #Constraints: 42611 1362.73/1366.59 c #Conflicts: 817000 | #Constraints: 43611 1362.73/1366.59 c #Conflicts: 818000 | #Constraints: 44612 1362.73/1366.59 c #Conflicts: 819000 | #Constraints: 45612 1362.73/1366.59 c #Conflicts: 820000 | #Constraints: 46613 1362.73/1366.59 c #Conflicts: 821000 | #Constraints: 47613 1362.73/1366.59 c #Conflicts: 822000 | #Constraints: 48613 1362.73/1366.59 c #Conflicts: 823000 | #Constraints: 49613 1362.73/1366.59 c #Conflicts: 824000 | #Constraints: 50613 1362.73/1366.59 c #Conflicts: 825000 | #Constraints: 51613 1362.73/1366.59 c #Conflicts: 826000 | #Constraints: 52613 1362.73/1366.59 c #Conflicts: 827000 | #Constraints: 53613 1362.73/1366.59 c #Conflicts: 828000 | #Constraints: 54613 1362.73/1366.59 c #Conflicts: 829000 | #Constraints: 55613 1362.73/1366.59 c #Conflicts: 830000 | #Constraints: 56613 1362.73/1366.59 c #Conflicts: 831000 | #Constraints: 57613 1362.73/1366.59 c INPROCESSING 1362.73/1366.59 c GARBAGE COLLECT 1362.73/1366.59 c rational objective 83 1396.95/1400.89 c #Conflicts: 832000 | #Constraints: 32556 1396.95/1400.89 c #Conflicts: 833000 | #Constraints: 33556 1396.95/1400.89 c #Conflicts: 834000 | #Constraints: 34556 1396.95/1400.89 c #Conflicts: 835000 | #Constraints: 35556 1396.95/1400.89 c #Conflicts: 836000 | #Constraints: 36556 1396.95/1400.89 c #Conflicts: 837000 | #Constraints: 37556 1396.95/1400.89 c #Conflicts: 838000 | #Constraints: 38556 1396.95/1400.89 c #Conflicts: 839000 | #Constraints: 39556 1396.95/1400.89 c #Conflicts: 840000 | #Constraints: 40556 1396.95/1400.89 c #Conflicts: 841000 | #Constraints: 41556 1396.95/1400.89 c #Conflicts: 842000 | #Constraints: 42556 1396.95/1400.89 c #Conflicts: 843000 | #Constraints: 43556 1396.95/1400.89 c #Conflicts: 844000 | #Constraints: 44556 1396.95/1400.89 c #Conflicts: 845000 | #Constraints: 45556 1396.95/1400.89 c #Conflicts: 846000 | #Constraints: 46556 1396.95/1400.89 c #Conflicts: 847000 | #Constraints: 47556 1396.95/1400.89 c #Conflicts: 848000 | #Constraints: 48556 1396.95/1400.89 c #Conflicts: 849000 | #Constraints: 49556 1396.95/1400.89 c #Conflicts: 850000 | #Constraints: 50557 1396.95/1400.89 c #Conflicts: 851000 | #Constraints: 51557 1396.95/1400.89 c #Conflicts: 852000 | #Constraints: 52557 1396.95/1400.89 c INPROCESSING 1396.95/1400.89 c GARBAGE COLLECT 1396.95/1400.89 c rational objective 83 1425.78/1429.71 c #Conflicts: 853000 | #Constraints: 30485 1425.78/1429.71 c #Conflicts: 854000 | #Constraints: 31485 1425.78/1429.71 c #Conflicts: 855000 | #Constraints: 32485 1425.78/1429.71 c #Conflicts: 856000 | #Constraints: 33486 1425.78/1429.71 c #Conflicts: 857000 | #Constraints: 34486 1425.78/1429.71 c #Conflicts: 858000 | #Constraints: 35486 1425.78/1429.71 c #Conflicts: 859000 | #Constraints: 36486 1425.78/1429.71 c #Conflicts: 860000 | #Constraints: 37486 1425.78/1429.71 c #Conflicts: 861000 | #Constraints: 38486 1425.78/1429.71 c #Conflicts: 862000 | #Constraints: 39486 1425.78/1429.71 c #Conflicts: 863000 | #Constraints: 40487 1425.78/1429.71 c #Conflicts: 864000 | #Constraints: 41487 1425.78/1429.71 c #Conflicts: 865000 | #Constraints: 42487 1425.78/1429.71 c #Conflicts: 866000 | #Constraints: 43487 1425.78/1429.71 c #Conflicts: 867000 | #Constraints: 44487 1425.78/1429.71 c #Conflicts: 868000 | #Constraints: 45487 1425.78/1429.71 c #Conflicts: 869000 | #Constraints: 46487 1425.78/1429.71 c #Conflicts: 870000 | #Constraints: 47487 1425.78/1429.71 c #Conflicts: 871000 | #Constraints: 48487 1425.78/1429.71 c #Conflicts: 872000 | #Constraints: 49487 1425.78/1429.71 c INPROCESSING 1425.78/1429.71 c GARBAGE COLLECT 1425.78/1429.71 c rational objective 83 1604.01/1608.48 c #Conflicts: 873000 | #Constraints: 28810 1604.01/1608.48 c #Conflicts: 874000 | #Constraints: 29811 1604.01/1608.48 c #Conflicts: 875000 | #Constraints: 30811 1604.01/1608.48 c #Conflicts: 876000 | #Constraints: 31811 1604.01/1608.48 c #Conflicts: 877000 | #Constraints: 32811 1604.01/1608.48 c #Conflicts: 878000 | #Constraints: 33811 1604.01/1608.48 c #Conflicts: 879000 | #Constraints: 34811 1604.01/1608.48 c #Conflicts: 880000 | #Constraints: 35811 1604.01/1608.48 c #Conflicts: 881000 | #Constraints: 36811 1604.01/1608.48 c #Conflicts: 882000 | #Constraints: 37811 1604.01/1608.48 c #Conflicts: 883000 | #Constraints: 38811 1604.01/1608.48 c #Conflicts: 884000 | #Constraints: 39811 1604.01/1608.48 c #Conflicts: 885000 | #Constraints: 40811 1604.01/1608.48 c #Conflicts: 886000 | #Constraints: 41811 1604.01/1608.48 c #Conflicts: 887000 | #Constraints: 42811 1604.01/1608.48 c #Conflicts: 888000 | #Constraints: 43811 1604.01/1608.48 c #Conflicts: 889000 | #Constraints: 44811 1604.01/1608.48 c #Conflicts: 890000 | #Constraints: 45811 1604.01/1608.48 c #Conflicts: 891000 | #Constraints: 46811 1604.01/1608.48 c #Conflicts: 892000 | #Constraints: 47811 1604.01/1608.48 c #Conflicts: 893000 | #Constraints: 48811 1604.01/1608.48 c #Conflicts: 894000 | #Constraints: 49811 1604.01/1608.48 c #Conflicts: 895000 | #Constraints: 50811 1604.01/1608.48 c #Conflicts: 896000 | #Constraints: 51811 1604.01/1608.48 c #Conflicts: 897000 | #Constraints: 52811 1604.01/1608.48 c #Conflicts: 898000 | #Constraints: 53812 1604.01/1608.48 c #Conflicts: 899000 | #Constraints: 54812 1604.01/1608.48 c #Conflicts: 900000 | #Constraints: 55812 1604.01/1608.48 c #Conflicts: 901000 | #Constraints: 56812 1604.01/1608.48 c #Conflicts: 902000 | #Constraints: 57812 1604.01/1608.48 c #Conflicts: 903000 | #Constraints: 58812 1604.01/1608.48 c #Conflicts: 904000 | #Constraints: 59812 1604.01/1608.48 c #Conflicts: 905000 | #Constraints: 60812 1604.01/1608.48 c #Conflicts: 906000 | #Constraints: 61812 1604.01/1608.48 c #Conflicts: 907000 | #Constraints: 62812 1604.01/1608.48 c #Conflicts: 908000 | #Constraints: 63812 1604.01/1608.48 c #Conflicts: 909000 | #Constraints: 64812 1604.01/1608.48 c #Conflicts: 910000 | #Constraints: 65812 1604.01/1608.48 c #Conflicts: 911000 | #Constraints: 66812 1604.01/1608.48 c #Conflicts: 912000 | #Constraints: 67812 1604.01/1608.48 c #Conflicts: 913000 | #Constraints: 68812 1604.01/1608.48 c #Conflicts: 914000 | #Constraints: 69812 1604.01/1608.48 c #Conflicts: 915000 | #Constraints: 70813 1604.01/1608.48 c #Conflicts: 916000 | #Constraints: 71813 1604.01/1608.48 c #Conflicts: 917000 | #Constraints: 72813 1604.01/1608.48 c #Conflicts: 918000 | #Constraints: 73813 1604.01/1608.48 c #Conflicts: 919000 | #Constraints: 74813 1604.01/1608.48 c #Conflicts: 920000 | #Constraints: 75813 1604.01/1608.48 c #Conflicts: 921000 | #Constraints: 76813 1604.01/1608.48 c #Conflicts: 922000 | #Constraints: 77813 1604.01/1608.48 c #Conflicts: 923000 | #Constraints: 78813 1604.01/1608.48 c #Conflicts: 924000 | #Constraints: 79813 1604.01/1608.48 c #Conflicts: 925000 | #Constraints: 80813 1604.01/1608.48 c #Conflicts: 926000 | #Constraints: 81814 1604.01/1608.48 c #Conflicts: 927000 | #Constraints: 82814 1604.01/1608.48 c #Conflicts: 928000 | #Constraints: 83815 1604.01/1608.48 c #Conflicts: 929000 | #Constraints: 84815 1604.01/1608.48 c #Conflicts: 930000 | #Constraints: 85815 1604.01/1608.48 c #Conflicts: 931000 | #Constraints: 86815 1604.01/1608.48 c #Conflicts: 932000 | #Constraints: 87815 1604.01/1608.48 c #Conflicts: 933000 | #Constraints: 88815 1604.01/1608.48 c #Conflicts: 934000 | #Constraints: 89815 1604.01/1608.48 c #Conflicts: 935000 | #Constraints: 90815 1604.01/1608.48 c #Conflicts: 936000 | #Constraints: 91815 1604.01/1608.48 c #Conflicts: 937000 | #Constraints: 92815 1604.01/1608.48 c #Conflicts: 938000 | #Constraints: 93815 1604.01/1608.48 c #Conflicts: 939000 | #Constraints: 94816 1604.01/1608.48 c #Conflicts: 940000 | #Constraints: 95816 1604.01/1608.48 c #Conflicts: 941000 | #Constraints: 96816 1604.01/1608.48 c #Conflicts: 942000 | #Constraints: 97816 1604.01/1608.48 c #Conflicts: 943000 | #Constraints: 98816 1604.01/1608.48 c #Conflicts: 944000 | #Constraints: 99816 1604.01/1608.48 c #Conflicts: 945000 | #Constraints: 100816 1604.01/1608.48 c #Conflicts: 946000 | #Constraints: 101816 1604.01/1608.48 c #Conflicts: 947000 | #Constraints: 102816 1604.01/1608.48 c #Conflicts: 948000 | #Constraints: 103816 1604.01/1608.48 c INPROCESSING 1604.01/1608.48 c GARBAGE COLLECT 1604.01/1608.48 c rational objective 83 1648.79/1653.32 c #Conflicts: 949000 | #Constraints: 55916 1648.79/1653.32 c #Conflicts: 950000 | #Constraints: 56917 1648.79/1653.32 c #Conflicts: 951000 | #Constraints: 57918 1648.79/1653.32 c #Conflicts: 952000 | #Constraints: 58919 1648.79/1653.32 c #Conflicts: 953000 | #Constraints: 59921 1648.79/1653.32 c #Conflicts: 954000 | #Constraints: 60922 1648.79/1653.32 c #Conflicts: 955000 | #Constraints: 61922 1648.79/1653.32 c #Conflicts: 956000 | #Constraints: 62923 1648.79/1653.32 c #Conflicts: 957000 | #Constraints: 63923 1648.79/1653.32 c #Conflicts: 958000 | #Constraints: 64923 1648.79/1653.32 c #Conflicts: 959000 | #Constraints: 65923 1648.79/1653.32 c #Conflicts: 960000 | #Constraints: 66923 1648.79/1653.32 c #Conflicts: 961000 | #Constraints: 67923 1648.79/1653.32 c #Conflicts: 962000 | #Constraints: 68923 1648.79/1653.32 c #Conflicts: 963000 | #Constraints: 69923 1648.79/1653.32 c #Conflicts: 964000 | #Constraints: 70923 1648.79/1653.32 c #Conflicts: 965000 | #Constraints: 71923 1648.79/1653.32 c #Conflicts: 966000 | #Constraints: 72923 1648.79/1653.32 c #Conflicts: 967000 | #Constraints: 73923 1648.79/1653.32 c #Conflicts: 968000 | #Constraints: 74923 1648.79/1653.32 c #Conflicts: 969000 | #Constraints: 75924 1648.79/1653.32 c #Conflicts: 970000 | #Constraints: 76924 1648.79/1653.32 c INPROCESSING 1648.79/1653.32 c GARBAGE COLLECT 1648.79/1653.32 c rational objective 83 1687.29/1691.99 c #Conflicts: 971000 | #Constraints: 42507 1687.29/1691.99 c #Conflicts: 972000 | #Constraints: 43507 1687.29/1691.99 c #Conflicts: 973000 | #Constraints: 44507 1687.29/1691.99 c #Conflicts: 974000 | #Constraints: 45507 1687.29/1691.99 c #Conflicts: 975000 | #Constraints: 46507 1687.29/1691.99 c #Conflicts: 976000 | #Constraints: 47507 1687.29/1691.99 c #Conflicts: 977000 | #Constraints: 48507 1687.29/1691.99 c #Conflicts: 978000 | #Constraints: 49507 1687.29/1691.99 c #Conflicts: 979000 | #Constraints: 50507 1687.29/1691.99 c #Conflicts: 980000 | #Constraints: 51507 1687.29/1691.99 c #Conflicts: 981000 | #Constraints: 52507 1687.29/1691.99 c #Conflicts: 982000 | #Constraints: 53507 1687.29/1691.99 c #Conflicts: 983000 | #Constraints: 54507 1687.29/1691.99 c #Conflicts: 984000 | #Constraints: 55507 1687.29/1691.99 c #Conflicts: 985000 | #Constraints: 56508 1687.29/1691.99 c #Conflicts: 986000 | #Constraints: 57508 1687.29/1691.99 c #Conflicts: 987000 | #Constraints: 58508 1687.29/1691.99 c #Conflicts: 988000 | #Constraints: 59508 1687.29/1691.99 c #Conflicts: 989000 | #Constraints: 60508 1687.29/1691.99 c #Conflicts: 990000 | #Constraints: 61508 1687.29/1691.99 c #Conflicts: 991000 | #Constraints: 62508 1687.29/1691.99 c #Conflicts: 992000 | #Constraints: 63508 1687.29/1691.99 c INPROCESSING 1687.29/1691.99 c GARBAGE COLLECT 1687.29/1691.99 c rational objective 83 1724.70/1729.46 c #Conflicts: 993000 | #Constraints: 36014 1724.70/1729.46 c #Conflicts: 994000 | #Constraints: 37014 1724.70/1729.46 c #Conflicts: 995000 | #Constraints: 38014 1724.70/1729.46 c #Conflicts: 996000 | #Constraints: 39014 1724.70/1729.46 c #Conflicts: 997000 | #Constraints: 40014 1724.70/1729.46 c #Conflicts: 998000 | #Constraints: 41014 1724.70/1729.46 c #Conflicts: 999000 | #Constraints: 42014 1724.70/1729.46 c #Conflicts: 1000000 | #Constraints: 43014 1724.70/1729.46 c #Conflicts: 1001000 | #Constraints: 44014 1724.70/1729.46 c #Conflicts: 1002000 | #Constraints: 45015 1724.70/1729.46 c #Conflicts: 1003000 | #Constraints: 46015 1724.70/1729.46 c #Conflicts: 1004000 | #Constraints: 47015 1724.70/1729.46 c #Conflicts: 1005000 | #Constraints: 48015 1724.70/1729.46 c #Conflicts: 1006000 | #Constraints: 49018 1724.70/1729.46 c #Conflicts: 1007000 | #Constraints: 50018 1724.70/1729.46 c #Conflicts: 1008000 | #Constraints: 51018 1724.70/1729.46 c #Conflicts: 1009000 | #Constraints: 52018 1724.70/1729.46 c #Conflicts: 1010000 | #Constraints: 53018 1724.70/1729.46 c #Conflicts: 1011000 | #Constraints: 54018 1724.70/1729.46 c #Conflicts: 1012000 | #Constraints: 55019 1724.70/1729.46 c #Conflicts: 1013000 | #Constraints: 56019 1724.70/1729.46 c #Conflicts: 1014000 | #Constraints: 57019 1724.70/1729.46 c INPROCESSING 1724.70/1729.46 c GARBAGE COLLECT 1724.70/1729.46 c rational objective 83 1755.70/1760.52 c #Conflicts: 1015000 | #Constraints: 32835 1755.70/1760.52 c #Conflicts: 1016000 | #Constraints: 33835 1755.70/1760.52 c #Conflicts: 1017000 | #Constraints: 34835 1755.70/1760.52 c #Conflicts: 1018000 | #Constraints: 35835 1755.70/1760.52 c #Conflicts: 1019000 | #Constraints: 36835 1755.70/1760.52 c #Conflicts: 1020000 | #Constraints: 37835 1755.70/1760.52 c #Conflicts: 1021000 | #Constraints: 38835 1755.70/1760.52 c #Conflicts: 1022000 | #Constraints: 39835 1755.70/1760.52 c #Conflicts: 1023000 | #Constraints: 40835 1755.70/1760.52 c #Conflicts: 1024000 | #Constraints: 41835 1755.70/1760.52 c #Conflicts: 1025000 | #Constraints: 42836 1755.70/1760.52 c #Conflicts: 1026000 | #Constraints: 43836 1755.70/1760.52 c #Conflicts: 1027000 | #Constraints: 44836 1755.70/1760.52 c #Conflicts: 1028000 | #Constraints: 45836 1755.70/1760.52 c #Conflicts: 1029000 | #Constraints: 46836 1755.70/1760.52 c #Conflicts: 1030000 | #Constraints: 47836 1755.70/1760.52 c #Conflicts: 1031000 | #Constraints: 48836 1755.70/1760.52 c #Conflicts: 1032000 | #Constraints: 49836 1755.70/1760.52 c #Conflicts: 1033000 | #Constraints: 50836 1755.70/1760.52 c #Conflicts: 1034000 | #Constraints: 51836 1755.70/1760.52 c #Conflicts: 1035000 | #Constraints: 52836 1755.70/1760.52 c #Conflicts: 1036000 | #Constraints: 53836 1755.70/1760.52 c INPROCESSING 1755.70/1760.52 c GARBAGE COLLECT 1755.70/1760.52 c rational objective 83 1946.76/1952.13 c #Conflicts: 1037000 | #Constraints: 31080 1946.76/1952.13 c #Conflicts: 1038000 | #Constraints: 32080 1946.76/1952.13 c #Conflicts: 1039000 | #Constraints: 33080 1946.76/1952.13 c #Conflicts: 1040000 | #Constraints: 34081 1946.76/1952.13 c #Conflicts: 1041000 | #Constraints: 35081 1946.76/1952.13 c #Conflicts: 1042000 | #Constraints: 36081 1946.76/1952.13 c #Conflicts: 1043000 | #Constraints: 37081 1946.76/1952.13 c #Conflicts: 1044000 | #Constraints: 38081 1946.76/1952.13 c #Conflicts: 1045000 | #Constraints: 39081 1946.76/1952.13 c #Conflicts: 1046000 | #Constraints: 40081 1946.76/1952.13 c #Conflicts: 1047000 | #Constraints: 41081 1946.76/1952.13 c #Conflicts: 1048000 | #Constraints: 42081 1946.76/1952.13 c #Conflicts: 1049000 | #Constraints: 43081 1946.76/1952.13 c #Conflicts: 1050000 | #Constraints: 44081 1946.76/1952.13 c #Conflicts: 1051000 | #Constraints: 45082 1946.76/1952.13 c #Conflicts: 1052000 | #Constraints: 46082 1946.76/1952.13 c #Conflicts: 1053000 | #Constraints: 47082 1946.76/1952.13 c #Conflicts: 1054000 | #Constraints: 48082 1946.76/1952.13 c #Conflicts: 1055000 | #Constraints: 49082 1946.76/1952.13 c #Conflicts: 1056000 | #Constraints: 50084 1946.76/1952.13 c #Conflicts: 1057000 | #Constraints: 51084 1946.76/1952.13 c #Conflicts: 1058000 | #Constraints: 52084 1946.76/1952.13 c #Conflicts: 1059000 | #Constraints: 53084 1946.76/1952.13 c #Conflicts: 1060000 | #Constraints: 54084 1946.76/1952.13 c #Conflicts: 1061000 | #Constraints: 55084 1946.76/1952.13 c #Conflicts: 1062000 | #Constraints: 56084 1946.76/1952.13 c #Conflicts: 1063000 | #Constraints: 57084 1946.76/1952.13 c #Conflicts: 1064000 | #Constraints: 58084 1946.76/1952.13 c #Conflicts: 1065000 | #Constraints: 59084 1946.76/1952.13 c #Conflicts: 1066000 | #Constraints: 60084 1946.76/1952.13 c #Conflicts: 1067000 | #Constraints: 61084 1946.76/1952.13 c #Conflicts: 1068000 | #Constraints: 62085 1946.76/1952.13 c #Conflicts: 1069000 | #Constraints: 63085 1946.76/1952.13 c #Conflicts: 1070000 | #Constraints: 64085 1946.76/1952.13 c #Conflicts: 1071000 | #Constraints: 65085 1946.76/1952.13 c #Conflicts: 1072000 | #Constraints: 66085 1946.76/1952.13 c #Conflicts: 1073000 | #Constraints: 67085 1946.76/1952.13 c #Conflicts: 1074000 | #Constraints: 68085 1946.76/1952.13 c #Conflicts: 1075000 | #Constraints: 69085 1946.76/1952.13 c #Conflicts: 1076000 | #Constraints: 70085 1946.76/1952.13 c #Conflicts: 1077000 | #Constraints: 71085 1946.76/1952.13 c #Conflicts: 1078000 | #Constraints: 72085 1946.76/1952.13 c #Conflicts: 1079000 | #Constraints: 73085 1946.76/1952.13 c #Conflicts: 1080000 | #Constraints: 74085 1946.76/1952.13 c #Conflicts: 1081000 | #Constraints: 75085 1946.76/1952.13 c #Conflicts: 1082000 | #Constraints: 76085 1946.76/1952.13 c #Conflicts: 1083000 | #Constraints: 77085 1946.76/1952.13 c #Conflicts: 1084000 | #Constraints: 78085 1946.76/1952.13 c #Conflicts: 1085000 | #Constraints: 79085 1946.76/1952.13 c #Conflicts: 1086000 | #Constraints: 80085 1946.76/1952.13 c #Conflicts: 1087000 | #Constraints: 81085 1946.76/1952.13 c #Conflicts: 1088000 | #Constraints: 82085 1946.76/1952.13 c #Conflicts: 1089000 | #Constraints: 83085 1946.76/1952.13 c #Conflicts: 1090000 | #Constraints: 84085 1946.76/1952.13 c #Conflicts: 1091000 | #Constraints: 85086 1946.76/1952.13 c #Conflicts: 1092000 | #Constraints: 86086 1946.76/1952.13 c #Conflicts: 1093000 | #Constraints: 87086 1946.76/1952.13 c #Conflicts: 1094000 | #Constraints: 88086 1946.76/1952.13 c #Conflicts: 1095000 | #Constraints: 89086 1946.76/1952.13 c #Conflicts: 1096000 | #Constraints: 90086 1946.76/1952.13 c #Conflicts: 1097000 | #Constraints: 91086 1946.76/1952.13 c #Conflicts: 1098000 | #Constraints: 92086 1946.76/1952.13 c #Conflicts: 1099000 | #Constraints: 93086 1946.76/1952.13 c #Conflicts: 1100000 | #Constraints: 94086 1946.76/1952.13 c #Conflicts: 1101000 | #Constraints: 95086 1946.76/1952.13 c #Conflicts: 1102000 | #Constraints: 96086 1946.76/1952.13 c #Conflicts: 1103000 | #Constraints: 97086 1946.76/1952.13 c #Conflicts: 1104000 | #Constraints: 98086 1946.76/1952.13 c #Conflicts: 1105000 | #Constraints: 99086 1946.76/1952.13 c #Conflicts: 1106000 | #Constraints: 100086 1946.76/1952.13 c #Conflicts: 1107000 | #Constraints: 101086 1946.76/1952.13 c #Conflicts: 1108000 | #Constraints: 102086 1946.76/1952.13 c #Conflicts: 1109000 | #Constraints: 103086 1946.76/1952.13 c #Conflicts: 1110000 | #Constraints: 104086 1946.76/1952.13 c #Conflicts: 1111000 | #Constraints: 105086 1946.76/1952.13 c #Conflicts: 1112000 | #Constraints: 106086 1946.76/1952.13 c #Conflicts: 1113000 | #Constraints: 107086 1946.76/1952.13 c #Conflicts: 1114000 | #Constraints: 108086 1946.76/1952.13 c #Conflicts: 1115000 | #Constraints: 109086 1959.93/1965.35 c #Conflicts: 1116000 | #Constraints: 110086 1959.93/1965.35 c #Conflicts: 1117000 | #Constraints: 111086 1959.93/1965.35 c #Conflicts: 1118000 | #Constraints: 112086 1959.93/1965.35 c INPROCESSING 1959.93/1965.35 c GARBAGE COLLECT 1959.93/1965.35 c rational objective 83 2010.11/2015.67 c #Conflicts: 1119000 | #Constraints: 59772 2010.11/2015.67 c #Conflicts: 1120000 | #Constraints: 60772 2010.11/2015.67 c #Conflicts: 1121000 | #Constraints: 61773 2010.11/2015.67 c #Conflicts: 1122000 | #Constraints: 62773 2010.11/2015.67 c #Conflicts: 1123000 | #Constraints: 63773 2010.11/2015.67 c #Conflicts: 1124000 | #Constraints: 64773 2010.11/2015.67 c #Conflicts: 1125000 | #Constraints: 65773 2010.11/2015.67 c #Conflicts: 1126000 | #Constraints: 66773 2010.11/2015.67 c #Conflicts: 1127000 | #Constraints: 67773 2010.11/2015.67 c #Conflicts: 1128000 | #Constraints: 68773 2010.11/2015.67 c #Conflicts: 1129000 | #Constraints: 69773 2010.11/2015.67 c #Conflicts: 1130000 | #Constraints: 70774 2010.11/2015.67 c #Conflicts: 1131000 | #Constraints: 71774 2010.11/2015.67 c #Conflicts: 1132000 | #Constraints: 72774 2010.11/2015.67 c #Conflicts: 1133000 | #Constraints: 73775 2010.11/2015.67 c #Conflicts: 1134000 | #Constraints: 74775 2010.11/2015.67 c #Conflicts: 1135000 | #Constraints: 75775 2010.11/2015.67 c #Conflicts: 1136000 | #Constraints: 76775 2010.11/2015.67 c #Conflicts: 1137000 | #Constraints: 77775 2010.11/2015.67 c #Conflicts: 1138000 | #Constraints: 78775 2010.11/2015.67 c #Conflicts: 1139000 | #Constraints: 79775 2010.11/2015.67 c #Conflicts: 1140000 | #Constraints: 80775 2010.11/2015.67 c #Conflicts: 1141000 | #Constraints: 81775 2010.11/2015.67 c #Conflicts: 1142000 | #Constraints: 82775 2010.11/2015.67 c INPROCESSING 2010.11/2015.67 c GARBAGE COLLECT 2010.11/2015.67 c rational objective 83 2044.62/2050.20 c #Conflicts: 1143000 | #Constraints: 45433 2044.62/2050.20 c #Conflicts: 1144000 | #Constraints: 46433 2044.62/2050.20 c #Conflicts: 1145000 | #Constraints: 47433 2044.62/2050.20 c #Conflicts: 1146000 | #Constraints: 48433 2044.62/2050.20 c #Conflicts: 1147000 | #Constraints: 49433 2044.62/2050.20 c #Conflicts: 1148000 | #Constraints: 50433 2044.62/2050.20 c #Conflicts: 1149000 | #Constraints: 51433 2044.62/2050.20 c #Conflicts: 1150000 | #Constraints: 52433 2044.62/2050.20 c #Conflicts: 1151000 | #Constraints: 53433 2044.62/2050.20 c #Conflicts: 1152000 | #Constraints: 54433 2044.62/2050.20 c #Conflicts: 1153000 | #Constraints: 55434 2044.62/2050.20 c #Conflicts: 1154000 | #Constraints: 56434 2044.62/2050.20 c #Conflicts: 1155000 | #Constraints: 57434 2044.62/2050.20 c #Conflicts: 1156000 | #Constraints: 58434 2044.62/2050.20 c #Conflicts: 1157000 | #Constraints: 59434 2044.62/2050.20 c #Conflicts: 1158000 | #Constraints: 60434 2044.62/2050.20 c #Conflicts: 1159000 | #Constraints: 61434 2044.62/2050.20 c #Conflicts: 1160000 | #Constraints: 62434 2044.62/2050.20 c #Conflicts: 1161000 | #Constraints: 63434 2044.62/2050.20 c #Conflicts: 1162000 | #Constraints: 64434 2044.62/2050.20 c #Conflicts: 1163000 | #Constraints: 65434 2044.62/2050.20 c #Conflicts: 1164000 | #Constraints: 66434 2044.62/2050.20 c #Conflicts: 1165000 | #Constraints: 67434 2044.62/2050.20 c #Conflicts: 1166000 | #Constraints: 68434 2044.62/2050.20 c INPROCESSING 2044.62/2050.20 c GARBAGE COLLECT 2044.62/2050.20 c rational objective 83 2080.24/2085.90 c #Conflicts: 1167000 | #Constraints: 38386 2080.24/2085.90 c #Conflicts: 1168000 | #Constraints: 39386 2080.24/2085.90 c #Conflicts: 1169000 | #Constraints: 40386 2080.24/2085.90 c #Conflicts: 1170000 | #Constraints: 41386 2080.24/2085.90 c #Conflicts: 1171000 | #Constraints: 42386 2080.24/2085.90 c #Conflicts: 1172000 | #Constraints: 43386 2080.24/2085.90 c #Conflicts: 1173000 | #Constraints: 44386 2080.24/2085.90 c #Conflicts: 1174000 | #Constraints: 45386 2080.24/2085.90 c #Conflicts: 1175000 | #Constraints: 46386 2080.24/2085.90 c #Conflicts: 1176000 | #Constraints: 47386 2080.24/2085.90 c #Conflicts: 1177000 | #Constraints: 48386 2080.24/2085.90 c #Conflicts: 1178000 | #Constraints: 49386 2080.24/2085.90 c #Conflicts: 1179000 | #Constraints: 50386 2080.24/2085.90 c #Conflicts: 1180000 | #Constraints: 51386 2080.24/2085.90 c #Conflicts: 1181000 | #Constraints: 52386 2080.24/2085.90 c #Conflicts: 1182000 | #Constraints: 53386 2080.24/2085.90 c #Conflicts: 1183000 | #Constraints: 54386 2080.24/2085.90 c #Conflicts: 1184000 | #Constraints: 55386 2080.24/2085.90 c #Conflicts: 1185000 | #Constraints: 56386 2080.24/2085.90 c #Conflicts: 1186000 | #Constraints: 57386 2080.24/2085.90 c #Conflicts: 1187000 | #Constraints: 58386 2080.24/2085.90 c #Conflicts: 1188000 | #Constraints: 59386 2080.24/2085.90 c #Conflicts: 1189000 | #Constraints: 60386 2080.24/2085.90 c #Conflicts: 1190000 | #Constraints: 61386 2080.24/2085.90 c INPROCESSING 2080.24/2085.90 c GARBAGE COLLECT 2080.24/2085.90 c rational objective 83 2118.25/2124.03 c #Conflicts: 1191000 | #Constraints: 34942 2118.25/2124.03 c #Conflicts: 1192000 | #Constraints: 35943 2118.25/2124.03 c #Conflicts: 1193000 | #Constraints: 36943 2118.25/2124.03 c #Conflicts: 1194000 | #Constraints: 37943 2118.25/2124.03 c #Conflicts: 1195000 | #Constraints: 38944 2118.25/2124.03 c #Conflicts: 1196000 | #Constraints: 39944 2118.25/2124.03 c #Conflicts: 1197000 | #Constraints: 40944 2118.25/2124.03 c #Conflicts: 1198000 | #Constraints: 41944 2118.25/2124.03 c #Conflicts: 1199000 | #Constraints: 42944 2118.25/2124.03 c #Conflicts: 1200000 | #Constraints: 43944 2118.25/2124.03 c #Conflicts: 1201000 | #Constraints: 44944 2118.25/2124.03 c #Conflicts: 1202000 | #Constraints: 45944 2118.25/2124.03 c #Conflicts: 1203000 | #Constraints: 46944 2118.25/2124.03 c #Conflicts: 1204000 | #Constraints: 47944 2118.25/2124.03 c #Conflicts: 1205000 | #Constraints: 48944 2118.25/2124.03 c #Conflicts: 1206000 | #Constraints: 49944 2118.25/2124.03 c #Conflicts: 1207000 | #Constraints: 50945 2118.25/2124.03 c #Conflicts: 1208000 | #Constraints: 51945 2118.25/2124.03 c #Conflicts: 1209000 | #Constraints: 52945 2118.25/2124.03 c #Conflicts: 1210000 | #Constraints: 53945 2118.25/2124.03 c #Conflicts: 1211000 | #Constraints: 54945 2118.25/2124.03 c #Conflicts: 1212000 | #Constraints: 55945 2118.25/2124.03 c #Conflicts: 1213000 | #Constraints: 56945 2118.25/2124.03 c #Conflicts: 1214000 | #Constraints: 57945 2118.25/2124.03 c INPROCESSING 2118.25/2124.03 c GARBAGE COLLECT 2118.25/2124.03 c rational objective 83 2313.46/2319.79 c #Conflicts: 1215000 | #Constraints: 33210 2313.46/2319.79 c #Conflicts: 1216000 | #Constraints: 34210 2313.46/2319.79 c #Conflicts: 1217000 | #Constraints: 35210 2313.46/2319.79 c #Conflicts: 1218000 | #Constraints: 36210 2313.46/2319.79 c #Conflicts: 1219000 | #Constraints: 37210 2313.46/2319.79 c #Conflicts: 1220000 | #Constraints: 38210 2313.46/2319.79 c #Conflicts: 1221000 | #Constraints: 39210 2313.46/2319.79 c #Conflicts: 1222000 | #Constraints: 40210 2313.46/2319.79 c #Conflicts: 1223000 | #Constraints: 41210 2313.46/2319.79 c #Conflicts: 1224000 | #Constraints: 42210 2313.46/2319.79 c #Conflicts: 1225000 | #Constraints: 43210 2313.46/2319.79 c #Conflicts: 1226000 | #Constraints: 44210 2313.46/2319.79 c #Conflicts: 1227000 | #Constraints: 45210 2313.46/2319.79 c #Conflicts: 1228000 | #Constraints: 46210 2313.46/2319.79 c #Conflicts: 1229000 | #Constraints: 47210 2313.46/2319.79 c #Conflicts: 1230000 | #Constraints: 48210 2313.46/2319.79 c #Conflicts: 1231000 | #Constraints: 49210 2313.46/2319.79 c #Conflicts: 1232000 | #Constraints: 50210 2313.46/2319.79 c #Conflicts: 1233000 | #Constraints: 51210 2313.46/2319.79 c #Conflicts: 1234000 | #Constraints: 52210 2313.46/2319.79 c #Conflicts: 1235000 | #Constraints: 53210 2313.46/2319.79 c #Conflicts: 1236000 | #Constraints: 54210 2313.46/2319.79 c #Conflicts: 1237000 | #Constraints: 55210 2313.46/2319.79 c #Conflicts: 1238000 | #Constraints: 56210 2313.46/2319.79 c #Conflicts: 1239000 | #Constraints: 57211 2313.46/2319.79 c #Conflicts: 1240000 | #Constraints: 58211 2313.46/2319.79 c #Conflicts: 1241000 | #Constraints: 59211 2313.46/2319.79 c #Conflicts: 1242000 | #Constraints: 60211 2313.46/2319.79 c #Conflicts: 1243000 | #Constraints: 61211 2313.46/2319.79 c #Conflicts: 1244000 | #Constraints: 62211 2313.46/2319.79 c #Conflicts: 1245000 | #Constraints: 63211 2313.46/2319.79 c #Conflicts: 1246000 | #Constraints: 64211 2313.46/2319.79 c #Conflicts: 1247000 | #Constraints: 65212 2313.46/2319.79 c #Conflicts: 1248000 | #Constraints: 66212 2313.46/2319.79 c #Conflicts: 1249000 | #Constraints: 67212 2313.46/2319.79 c #Conflicts: 1250000 | #Constraints: 68212 2313.46/2319.79 c #Conflicts: 1251000 | #Constraints: 69212 2313.46/2319.79 c #Conflicts: 1252000 | #Constraints: 70212 2313.46/2319.79 c #Conflicts: 1253000 | #Constraints: 71212 2313.46/2319.79 c #Conflicts: 1254000 | #Constraints: 72212 2313.46/2319.79 c #Conflicts: 1255000 | #Constraints: 73212 2313.46/2319.79 c #Conflicts: 1256000 | #Constraints: 74212 2313.46/2319.79 c #Conflicts: 1257000 | #Constraints: 75212 2313.46/2319.79 c #Conflicts: 1258000 | #Constraints: 76212 2313.46/2319.79 c #Conflicts: 1259000 | #Constraints: 77212 2313.46/2319.79 c #Conflicts: 1260000 | #Constraints: 78213 2313.46/2319.79 c #Conflicts: 1261000 | #Constraints: 79213 2313.46/2319.79 c #Conflicts: 1262000 | #Constraints: 80213 2313.46/2319.79 c #Conflicts: 1263000 | #Constraints: 81213 2313.46/2319.79 c #Conflicts: 1264000 | #Constraints: 82213 2313.46/2319.79 c #Conflicts: 1265000 | #Constraints: 83213 2313.46/2319.79 c #Conflicts: 1266000 | #Constraints: 84213 2313.46/2319.79 c #Conflicts: 1267000 | #Constraints: 85213 2313.46/2319.79 c #Conflicts: 1268000 | #Constraints: 86213 2313.46/2319.79 c #Conflicts: 1269000 | #Constraints: 87213 2313.46/2319.79 c #Conflicts: 1270000 | #Constraints: 88213 2313.46/2319.79 c #Conflicts: 1271000 | #Constraints: 89213 2313.46/2319.79 c #Conflicts: 1272000 | #Constraints: 90214 2313.46/2319.79 c #Conflicts: 1273000 | #Constraints: 91214 2313.46/2319.79 c #Conflicts: 1274000 | #Constraints: 92214 2313.46/2319.79 c #Conflicts: 1275000 | #Constraints: 93214 2313.46/2319.79 c #Conflicts: 1276000 | #Constraints: 94214 2313.46/2319.79 c #Conflicts: 1277000 | #Constraints: 95214 2313.46/2319.79 c #Conflicts: 1278000 | #Constraints: 96215 2313.46/2319.79 c #Conflicts: 1279000 | #Constraints: 97215 2313.46/2319.79 c #Conflicts: 1280000 | #Constraints: 98215 2313.46/2319.79 c #Conflicts: 1281000 | #Constraints: 99215 2313.46/2319.79 c #Conflicts: 1282000 | #Constraints: 100215 2313.46/2319.79 c #Conflicts: 1283000 | #Constraints: 101215 2313.46/2319.79 c #Conflicts: 1284000 | #Constraints: 102215 2313.46/2319.79 c #Conflicts: 1285000 | #Constraints: 103215 2313.46/2319.79 c #Conflicts: 1286000 | #Constraints: 104215 2313.46/2319.79 c #Conflicts: 1287000 | #Constraints: 105215 2313.46/2319.79 c #Conflicts: 1288000 | #Constraints: 106216 2313.46/2319.79 c #Conflicts: 1289000 | #Constraints: 107216 2313.46/2319.79 c #Conflicts: 1290000 | #Constraints: 108216 2313.46/2319.79 c #Conflicts: 1291000 | #Constraints: 109216 2313.46/2319.79 c #Conflicts: 1292000 | #Constraints: 110216 2313.46/2319.79 c #Conflicts: 1293000 | #Constraints: 111216 2360.55/2366.96 c #Conflicts: 1294000 | #Constraints: 112216 2360.55/2366.96 c #Conflicts: 1295000 | #Constraints: 113216 2360.55/2366.96 c #Conflicts: 1296000 | #Constraints: 114216 2360.55/2366.96 c #Conflicts: 1297000 | #Constraints: 115216 2360.55/2366.96 c #Conflicts: 1298000 | #Constraints: 116216 2360.55/2366.96 c #Conflicts: 1299000 | #Constraints: 117216 2360.55/2366.96 c #Conflicts: 1300000 | #Constraints: 118216 2360.55/2366.96 c #Conflicts: 1301000 | #Constraints: 119216 2360.55/2366.96 c #Conflicts: 1302000 | #Constraints: 120216 2360.55/2366.96 c #Conflicts: 1303000 | #Constraints: 121216 2360.55/2366.96 c INPROCESSING 2360.55/2366.96 c GARBAGE COLLECT 2360.55/2366.96 c rational objective 83 2413.32/2419.82 c #Conflicts: 1304000 | #Constraints: 64784 2413.32/2419.82 c #Conflicts: 1305000 | #Constraints: 65784 2413.32/2419.82 c #Conflicts: 1306000 | #Constraints: 66784 2413.32/2419.82 c #Conflicts: 1307000 | #Constraints: 67784 2413.32/2419.82 c #Conflicts: 1308000 | #Constraints: 68784 2413.32/2419.82 c #Conflicts: 1309000 | #Constraints: 69784 2413.32/2419.82 c #Conflicts: 1310000 | #Constraints: 70785 2413.32/2419.82 c #Conflicts: 1311000 | #Constraints: 71785 2413.32/2419.82 c #Conflicts: 1312000 | #Constraints: 72785 2413.32/2419.82 c #Conflicts: 1313000 | #Constraints: 73785 2413.32/2419.82 c #Conflicts: 1314000 | #Constraints: 74785 2413.32/2419.82 c #Conflicts: 1315000 | #Constraints: 75786 2413.32/2419.82 c #Conflicts: 1316000 | #Constraints: 76786 2413.32/2419.82 c #Conflicts: 1317000 | #Constraints: 77786 2413.32/2419.82 c #Conflicts: 1318000 | #Constraints: 78786 2413.32/2419.82 c #Conflicts: 1319000 | #Constraints: 79786 2413.32/2419.82 c #Conflicts: 1320000 | #Constraints: 80786 2413.32/2419.82 c #Conflicts: 1321000 | #Constraints: 81786 2413.32/2419.82 c #Conflicts: 1322000 | #Constraints: 82786 2413.32/2419.82 c #Conflicts: 1323000 | #Constraints: 83787 2413.32/2419.82 c #Conflicts: 1324000 | #Constraints: 84787 2413.32/2419.82 c #Conflicts: 1325000 | #Constraints: 85787 2413.32/2419.82 c #Conflicts: 1326000 | #Constraints: 86787 2413.32/2419.82 c #Conflicts: 1327000 | #Constraints: 87787 2413.32/2419.82 c #Conflicts: 1328000 | #Constraints: 88787 2413.32/2419.82 c INPROCESSING 2413.32/2419.82 c GARBAGE COLLECT 2413.32/2419.82 c rational objective 83 2460.52/2467.13 c #Conflicts: 1329000 | #Constraints: 48289 2460.52/2467.13 c #Conflicts: 1330000 | #Constraints: 49289 2460.52/2467.13 c #Conflicts: 1331000 | #Constraints: 50289 2460.52/2467.13 c #Conflicts: 1332000 | #Constraints: 51289 2460.52/2467.13 c #Conflicts: 1333000 | #Constraints: 52289 2460.52/2467.13 c #Conflicts: 1334000 | #Constraints: 53289 2460.52/2467.13 c #Conflicts: 1335000 | #Constraints: 54290 2460.52/2467.13 c #Conflicts: 1336000 | #Constraints: 55290 2460.52/2467.13 c #Conflicts: 1337000 | #Constraints: 56290 2460.52/2467.13 c #Conflicts: 1338000 | #Constraints: 57290 2460.52/2467.13 c #Conflicts: 1339000 | #Constraints: 58290 2460.52/2467.13 c #Conflicts: 1340000 | #Constraints: 59290 2460.52/2467.13 c #Conflicts: 1341000 | #Constraints: 60290 2460.52/2467.13 c #Conflicts: 1342000 | #Constraints: 61290 2460.52/2467.13 c #Conflicts: 1343000 | #Constraints: 62290 2460.52/2467.13 c #Conflicts: 1344000 | #Constraints: 63290 2460.52/2467.13 c #Conflicts: 1345000 | #Constraints: 64290 2460.52/2467.13 c #Conflicts: 1346000 | #Constraints: 65290 2460.52/2467.13 c #Conflicts: 1347000 | #Constraints: 66290 2460.52/2467.13 c #Conflicts: 1348000 | #Constraints: 67290 2460.52/2467.13 c #Conflicts: 1349000 | #Constraints: 68290 2460.52/2467.13 c #Conflicts: 1350000 | #Constraints: 69290 2460.52/2467.13 c #Conflicts: 1351000 | #Constraints: 70290 2460.52/2467.13 c #Conflicts: 1352000 | #Constraints: 71291 2460.52/2467.13 c #Conflicts: 1353000 | #Constraints: 72291 2460.52/2467.13 c #Conflicts: 1354000 | #Constraints: 73291 2460.52/2467.13 c INPROCESSING 2460.52/2467.13 c GARBAGE COLLECT 2460.52/2467.13 c rational objective 83 2508.20/2514.98 c #Conflicts: 1355000 | #Constraints: 40812 2508.20/2514.98 c #Conflicts: 1356000 | #Constraints: 41813 2508.20/2514.98 c #Conflicts: 1357000 | #Constraints: 42813 2508.20/2514.98 c #Conflicts: 1358000 | #Constraints: 43813 2508.20/2514.98 c #Conflicts: 1359000 | #Constraints: 44813 2508.20/2514.98 c #Conflicts: 1360000 | #Constraints: 45813 2508.20/2514.98 c #Conflicts: 1361000 | #Constraints: 46813 2508.20/2514.98 c #Conflicts: 1362000 | #Constraints: 47813 2508.20/2514.98 c #Conflicts: 1363000 | #Constraints: 48813 2508.20/2514.98 c #Conflicts: 1364000 | #Constraints: 49813 2508.20/2514.98 c #Conflicts: 1365000 | #Constraints: 50813 2508.20/2514.98 c #Conflicts: 1366000 | #Constraints: 51813 2508.20/2514.98 c #Conflicts: 1367000 | #Constraints: 52813 2508.20/2514.98 c #Conflicts: 1368000 | #Constraints: 53814 2508.20/2514.98 c #Conflicts: 1369000 | #Constraints: 54814 2508.20/2514.98 c #Conflicts: 1370000 | #Constraints: 55814 2508.20/2514.98 c #Conflicts: 1371000 | #Constraints: 56814 2508.20/2514.98 c #Conflicts: 1372000 | #Constraints: 57814 2508.20/2514.98 c #Conflicts: 1373000 | #Constraints: 58814 2508.20/2514.98 c #Conflicts: 1374000 | #Constraints: 59814 2508.20/2514.98 c #Conflicts: 1375000 | #Constraints: 60814 2508.20/2514.98 c #Conflicts: 1376000 | #Constraints: 61814 2508.20/2514.98 c #Conflicts: 1377000 | #Constraints: 62814 2508.20/2514.98 c #Conflicts: 1378000 | #Constraints: 63814 2508.20/2514.98 c #Conflicts: 1379000 | #Constraints: 64814 2508.20/2514.98 c #Conflicts: 1380000 | #Constraints: 65815 2508.20/2514.98 c INPROCESSING 2508.20/2514.98 c GARBAGE COLLECT 2508.20/2514.98 c rational objective 83 2544.41/2551.28 c #Conflicts: 1381000 | #Constraints: 37187 2544.41/2551.28 c #Conflicts: 1382000 | #Constraints: 38187 2544.41/2551.28 c #Conflicts: 1383000 | #Constraints: 39187 2544.41/2551.28 c #Conflicts: 1384000 | #Constraints: 40187 2544.41/2551.28 c #Conflicts: 1385000 | #Constraints: 41187 2544.41/2551.28 c #Conflicts: 1386000 | #Constraints: 42187 2544.41/2551.28 c #Conflicts: 1387000 | #Constraints: 43187 2544.41/2551.28 c #Conflicts: 1388000 | #Constraints: 44187 2544.41/2551.28 c #Conflicts: 1389000 | #Constraints: 45187 2544.41/2551.28 c #Conflicts: 1390000 | #Constraints: 46187 2544.41/2551.28 c #Conflicts: 1391000 | #Constraints: 47187 2544.41/2551.28 c #Conflicts: 1392000 | #Constraints: 48188 2544.41/2551.28 c #Conflicts: 1393000 | #Constraints: 49189 2544.41/2551.28 c #Conflicts: 1394000 | #Constraints: 50190 2544.41/2551.28 c #Conflicts: 1395000 | #Constraints: 51190 2544.41/2551.28 c #Conflicts: 1396000 | #Constraints: 52190 2544.41/2551.28 c #Conflicts: 1397000 | #Constraints: 53191 2544.41/2551.28 c #Conflicts: 1398000 | #Constraints: 54191 2544.41/2551.28 c #Conflicts: 1399000 | #Constraints: 55191 2544.41/2551.28 c #Conflicts: 1400000 | #Constraints: 56191 2544.41/2551.28 c #Conflicts: 1401000 | #Constraints: 57192 2544.41/2551.28 c #Conflicts: 1402000 | #Constraints: 58192 2544.41/2551.28 c #Conflicts: 1403000 | #Constraints: 59192 2544.41/2551.28 c #Conflicts: 1404000 | #Constraints: 60192 2544.41/2551.28 c #Conflicts: 1405000 | #Constraints: 61192 2544.41/2551.28 c #Conflicts: 1406000 | #Constraints: 62192 2544.41/2551.28 c INPROCESSING 2544.41/2551.28 c GARBAGE COLLECT 2544.41/2551.28 c rational objective 83 2719.60/2726.82 c #Conflicts: 1407000 | #Constraints: 35354 2719.60/2726.82 c #Conflicts: 1408000 | #Constraints: 36354 2719.60/2726.82 c #Conflicts: 1409000 | #Constraints: 37355 2719.60/2726.82 c #Conflicts: 1410000 | #Constraints: 38355 2719.60/2726.82 c #Conflicts: 1411000 | #Constraints: 39355 2719.60/2726.82 c #Conflicts: 1412000 | #Constraints: 40355 2719.60/2726.82 c #Conflicts: 1413000 | #Constraints: 41355 2719.60/2726.82 c #Conflicts: 1414000 | #Constraints: 42356 2719.60/2726.82 c #Conflicts: 1415000 | #Constraints: 43357 2719.60/2726.82 c #Conflicts: 1416000 | #Constraints: 44357 2719.60/2726.82 c #Conflicts: 1417000 | #Constraints: 45357 2719.60/2726.82 c #Conflicts: 1418000 | #Constraints: 46357 2719.60/2726.82 c #Conflicts: 1419000 | #Constraints: 47357 2719.60/2726.82 c #Conflicts: 1420000 | #Constraints: 48357 2719.60/2726.82 c #Conflicts: 1421000 | #Constraints: 49357 2719.60/2726.82 c #Conflicts: 1422000 | #Constraints: 50357 2719.60/2726.82 c #Conflicts: 1423000 | #Constraints: 51357 2719.60/2726.82 c #Conflicts: 1424000 | #Constraints: 52357 2719.60/2726.82 c #Conflicts: 1425000 | #Constraints: 53358 2719.60/2726.82 c #Conflicts: 1426000 | #Constraints: 54358 2719.60/2726.82 c #Conflicts: 1427000 | #Constraints: 55358 2719.60/2726.82 c #Conflicts: 1428000 | #Constraints: 56358 2719.60/2726.82 c #Conflicts: 1429000 | #Constraints: 57358 2719.60/2726.82 c #Conflicts: 1430000 | #Constraints: 58358 2719.60/2726.82 c #Conflicts: 1431000 | #Constraints: 59358 2719.60/2726.82 c #Conflicts: 1432000 | #Constraints: 60358 2719.60/2726.82 c #Conflicts: 1433000 | #Constraints: 61358 2719.60/2726.82 c #Conflicts: 1434000 | #Constraints: 62358 2719.60/2726.82 c #Conflicts: 1435000 | #Constraints: 63358 2719.60/2726.82 c #Conflicts: 1436000 | #Constraints: 64358 2719.60/2726.82 c #Conflicts: 1437000 | #Constraints: 65358 2719.60/2726.82 c #Conflicts: 1438000 | #Constraints: 66359 2719.60/2726.82 c #Conflicts: 1439000 | #Constraints: 67359 2719.60/2726.82 c #Conflicts: 1440000 | #Constraints: 68359 2719.60/2726.82 c #Conflicts: 1441000 | #Constraints: 69359 2719.60/2726.82 c #Conflicts: 1442000 | #Constraints: 70359 2719.60/2726.82 c #Conflicts: 1443000 | #Constraints: 71359 2719.60/2726.82 c #Conflicts: 1444000 | #Constraints: 72359 2719.60/2726.82 c #Conflicts: 1445000 | #Constraints: 73359 2719.60/2726.82 c #Conflicts: 1446000 | #Constraints: 74359 2719.60/2726.82 c #Conflicts: 1447000 | #Constraints: 75359 2719.60/2726.82 c #Conflicts: 1448000 | #Constraints: 76359 2719.60/2726.82 c #Conflicts: 1449000 | #Constraints: 77359 2719.60/2726.82 c #Conflicts: 1450000 | #Constraints: 78359 2719.60/2726.82 c #Conflicts: 1451000 | #Constraints: 79359 2719.60/2726.82 c #Conflicts: 1452000 | #Constraints: 80359 2719.60/2726.82 c #Conflicts: 1453000 | #Constraints: 81359 2719.60/2726.82 c #Conflicts: 1454000 | #Constraints: 82359 2719.60/2726.82 c #Conflicts: 1455000 | #Constraints: 83359 2719.60/2726.82 c #Conflicts: 1456000 | #Constraints: 84359 2719.60/2726.82 c #Conflicts: 1457000 | #Constraints: 85359 2719.60/2726.82 c #Conflicts: 1458000 | #Constraints: 86359 2719.60/2726.82 c #Conflicts: 1459000 | #Constraints: 87359 2719.60/2726.82 c #Conflicts: 1460000 | #Constraints: 88359 2719.60/2726.82 c #Conflicts: 1461000 | #Constraints: 89359 2719.60/2726.82 c #Conflicts: 1462000 | #Constraints: 90359 2719.60/2726.82 c #Conflicts: 1463000 | #Constraints: 91359 2719.60/2726.82 c #Conflicts: 1464000 | #Constraints: 92359 2719.60/2726.82 c #Conflicts: 1465000 | #Constraints: 93359 2719.60/2726.82 c #Conflicts: 1466000 | #Constraints: 94359 2719.60/2726.82 c #Conflicts: 1467000 | #Constraints: 95360 2719.60/2726.82 c #Conflicts: 1468000 | #Constraints: 96360 2719.60/2726.82 c #Conflicts: 1469000 | #Constraints: 97360 2719.60/2726.82 c #Conflicts: 1470000 | #Constraints: 98360 2719.60/2726.82 c #Conflicts: 1471000 | #Constraints: 99361 2719.60/2726.82 c #Conflicts: 1472000 | #Constraints: 100361 2719.60/2726.82 c #Conflicts: 1473000 | #Constraints: 101361 2719.60/2726.82 c #Conflicts: 1474000 | #Constraints: 102361 2719.60/2726.82 c #Conflicts: 1475000 | #Constraints: 103361 2719.60/2726.82 c #Conflicts: 1476000 | #Constraints: 104361 2719.60/2726.82 c #Conflicts: 1477000 | #Constraints: 105363 2719.60/2726.82 c #Conflicts: 1478000 | #Constraints: 106363 2719.60/2726.82 c #Conflicts: 1479000 | #Constraints: 107363 2719.60/2726.82 c #Conflicts: 1480000 | #Constraints: 108363 2719.60/2726.82 c #Conflicts: 1481000 | #Constraints: 109363 2719.60/2726.82 c #Conflicts: 1482000 | #Constraints: 110363 2719.60/2726.82 c #Conflicts: 1483000 | #Constraints: 111363 2719.60/2726.82 c #Conflicts: 1484000 | #Constraints: 112363 2719.60/2726.82 c #Conflicts: 1485000 | #Constraints: 113363 2787.43/2794.84 c #Conflicts: 1486000 | #Constraints: 114364 2787.43/2794.84 c #Conflicts: 1487000 | #Constraints: 115364 2787.43/2794.84 c #Conflicts: 1488000 | #Constraints: 116364 2787.43/2794.84 c #Conflicts: 1489000 | #Constraints: 117364 2787.43/2794.84 c #Conflicts: 1490000 | #Constraints: 118364 2787.43/2794.84 c #Conflicts: 1491000 | #Constraints: 119364 2787.43/2794.84 c #Conflicts: 1492000 | #Constraints: 120364 2787.43/2794.84 c #Conflicts: 1493000 | #Constraints: 121364 2787.43/2794.84 c #Conflicts: 1494000 | #Constraints: 122364 2787.43/2794.84 c #Conflicts: 1495000 | #Constraints: 123364 2787.43/2794.84 c #Conflicts: 1496000 | #Constraints: 124364 2787.43/2794.84 c #Conflicts: 1497000 | #Constraints: 125364 2787.43/2794.84 c #Conflicts: 1498000 | #Constraints: 126364 2787.43/2794.84 c #Conflicts: 1499000 | #Constraints: 127364 2787.43/2794.84 c #Conflicts: 1500000 | #Constraints: 128364 2787.43/2794.84 c #Conflicts: 1501000 | #Constraints: 129364 2787.43/2794.84 c INPROCESSING 2787.43/2794.84 c GARBAGE COLLECT 2787.43/2794.84 c rational objective 83 2852.97/2860.58 c #Conflicts: 1502000 | #Constraints: 68719 2852.97/2860.58 c #Conflicts: 1503000 | #Constraints: 69719 2852.97/2860.58 c #Conflicts: 1504000 | #Constraints: 70719 2852.97/2860.58 c #Conflicts: 1505000 | #Constraints: 71719 2852.97/2860.58 c #Conflicts: 1506000 | #Constraints: 72719 2852.97/2860.58 c #Conflicts: 1507000 | #Constraints: 73719 2852.97/2860.58 c #Conflicts: 1508000 | #Constraints: 74720 2852.97/2860.58 c #Conflicts: 1509000 | #Constraints: 75720 2852.97/2860.58 c #Conflicts: 1510000 | #Constraints: 76720 2852.97/2860.58 c #Conflicts: 1511000 | #Constraints: 77720 2852.97/2860.58 c #Conflicts: 1512000 | #Constraints: 78720 2852.97/2860.58 c #Conflicts: 1513000 | #Constraints: 79720 2852.97/2860.58 c #Conflicts: 1514000 | #Constraints: 80720 2852.97/2860.58 c #Conflicts: 1515000 | #Constraints: 81720 2852.97/2860.58 c #Conflicts: 1516000 | #Constraints: 82720 2852.97/2860.58 c #Conflicts: 1517000 | #Constraints: 83720 2852.97/2860.58 c #Conflicts: 1518000 | #Constraints: 84721 2852.97/2860.58 c #Conflicts: 1519000 | #Constraints: 85721 2852.97/2860.58 c #Conflicts: 1520000 | #Constraints: 86721 2852.97/2860.58 c #Conflicts: 1521000 | #Constraints: 87721 2852.97/2860.58 c #Conflicts: 1522000 | #Constraints: 88721 2852.97/2860.58 c #Conflicts: 1523000 | #Constraints: 89721 2852.97/2860.58 c #Conflicts: 1524000 | #Constraints: 90721 2852.97/2860.58 c #Conflicts: 1525000 | #Constraints: 91721 2852.97/2860.58 c #Conflicts: 1526000 | #Constraints: 92721 2852.97/2860.58 c #Conflicts: 1527000 | #Constraints: 93721 2852.97/2860.58 c #Conflicts: 1528000 | #Constraints: 94721 2852.97/2860.58 c INPROCESSING 2852.97/2860.58 c GARBAGE COLLECT 2852.97/2860.58 c rational objective 83 2911.43/2919.14 c #Conflicts: 1529000 | #Constraints: 51200 2911.43/2919.14 c #Conflicts: 1530000 | #Constraints: 52200 2911.43/2919.14 c #Conflicts: 1531000 | #Constraints: 53200 2911.43/2919.14 c #Conflicts: 1532000 | #Constraints: 54200 2911.43/2919.14 c #Conflicts: 1533000 | #Constraints: 55200 2911.43/2919.14 c #Conflicts: 1534000 | #Constraints: 56201 2911.43/2919.14 c #Conflicts: 1535000 | #Constraints: 57201 2911.43/2919.14 c #Conflicts: 1536000 | #Constraints: 58201 2911.43/2919.14 c #Conflicts: 1537000 | #Constraints: 59201 2911.43/2919.14 c #Conflicts: 1538000 | #Constraints: 60201 2911.43/2919.14 c #Conflicts: 1539000 | #Constraints: 61201 2911.43/2919.14 c #Conflicts: 1540000 | #Constraints: 62201 2911.43/2919.14 c #Conflicts: 1541000 | #Constraints: 63201 2911.43/2919.14 c #Conflicts: 1542000 | #Constraints: 64201 2911.43/2919.14 c #Conflicts: 1543000 | #Constraints: 65201 2911.43/2919.14 c #Conflicts: 1544000 | #Constraints: 66201 2911.43/2919.14 c #Conflicts: 1545000 | #Constraints: 67201 2911.43/2919.14 c #Conflicts: 1546000 | #Constraints: 68201 2911.43/2919.14 c #Conflicts: 1547000 | #Constraints: 69201 2911.43/2919.14 c #Conflicts: 1548000 | #Constraints: 70202 2911.43/2919.14 c #Conflicts: 1549000 | #Constraints: 71204 2911.43/2919.14 c #Conflicts: 1550000 | #Constraints: 72204 2911.43/2919.14 c #Conflicts: 1551000 | #Constraints: 73204 2911.43/2919.14 c #Conflicts: 1552000 | #Constraints: 74204 2911.43/2919.14 c #Conflicts: 1553000 | #Constraints: 75204 2911.43/2919.14 c #Conflicts: 1554000 | #Constraints: 76204 2911.43/2919.14 c #Conflicts: 1555000 | #Constraints: 77205 2911.43/2919.14 c #Conflicts: 1556000 | #Constraints: 78205 2911.43/2919.14 c INPROCESSING 2911.43/2919.14 c GARBAGE COLLECT 2911.43/2919.14 c rational objective 83 2967.68/2975.55 c #Conflicts: 1557000 | #Constraints: 43256 2967.68/2975.55 c #Conflicts: 1558000 | #Constraints: 44256 2967.68/2975.55 c #Conflicts: 1559000 | #Constraints: 45257 2967.68/2975.55 c #Conflicts: 1560000 | #Constraints: 46257 2967.68/2975.55 c #Conflicts: 1561000 | #Constraints: 47257 2967.68/2975.55 c #Conflicts: 1562000 | #Constraints: 48257 2967.68/2975.55 c #Conflicts: 1563000 | #Constraints: 49257 2967.68/2975.55 c #Conflicts: 1564000 | #Constraints: 50257 2967.68/2975.55 c #Conflicts: 1565000 | #Constraints: 51257 2967.68/2975.55 c #Conflicts: 1566000 | #Constraints: 52257 2967.68/2975.55 c #Conflicts: 1567000 | #Constraints: 53257 2967.68/2975.55 c #Conflicts: 1568000 | #Constraints: 54257 2967.68/2975.55 c #Conflicts: 1569000 | #Constraints: 55257 2967.68/2975.55 c #Conflicts: 1570000 | #Constraints: 56257 2967.68/2975.55 c #Conflicts: 1571000 | #Constraints: 57257 2967.68/2975.55 c #Conflicts: 1572000 | #Constraints: 58258 2967.68/2975.55 c #Conflicts: 1573000 | #Constraints: 59258 2967.68/2975.55 c #Conflicts: 1574000 | #Constraints: 60258 2967.68/2975.55 c #Conflicts: 1575000 | #Constraints: 61258 2967.68/2975.55 c #Conflicts: 1576000 | #Constraints: 62258 2967.68/2975.55 c #Conflicts: 1577000 | #Constraints: 63258 2967.68/2975.55 c #Conflicts: 1578000 | #Constraints: 64258 2967.68/2975.55 c #Conflicts: 1579000 | #Constraints: 65258 2967.68/2975.55 c #Conflicts: 1580000 | #Constraints: 66258 2967.68/2975.55 c #Conflicts: 1581000 | #Constraints: 67258 2967.68/2975.55 c #Conflicts: 1582000 | #Constraints: 68258 2967.68/2975.55 c #Conflicts: 1583000 | #Constraints: 69258 2967.68/2975.55 c #Conflicts: 1584000 | #Constraints: 70258 2967.68/2975.55 c INPROCESSING 2967.68/2975.55 c GARBAGE COLLECT 2967.68/2975.55 c rational objective 83 3015.46/3023.44 c #Conflicts: 1585000 | #Constraints: 39497 3015.46/3023.44 c #Conflicts: 1586000 | #Constraints: 40497 3015.46/3023.44 c #Conflicts: 1587000 | #Constraints: 41497 3015.46/3023.44 c #Conflicts: 1588000 | #Constraints: 42497 3015.46/3023.44 c #Conflicts: 1589000 | #Constraints: 43497 3015.46/3023.44 c #Conflicts: 1590000 | #Constraints: 44497 3015.46/3023.44 c #Conflicts: 1591000 | #Constraints: 45497 3015.46/3023.44 c #Conflicts: 1592000 | #Constraints: 46497 3015.46/3023.44 c #Conflicts: 1593000 | #Constraints: 47497 3015.46/3023.44 c #Conflicts: 1594000 | #Constraints: 48497 3015.46/3023.44 c #Conflicts: 1595000 | #Constraints: 49497 3015.46/3023.44 c #Conflicts: 1596000 | #Constraints: 50497 3015.46/3023.44 c #Conflicts: 1597000 | #Constraints: 51497 3015.46/3023.44 c #Conflicts: 1598000 | #Constraints: 52497 3015.46/3023.44 c #Conflicts: 1599000 | #Constraints: 53497 3015.46/3023.44 c #Conflicts: 1600000 | #Constraints: 54497 3015.46/3023.44 c #Conflicts: 1601000 | #Constraints: 55498 3015.46/3023.44 c #Conflicts: 1602000 | #Constraints: 56498 3015.46/3023.44 c #Conflicts: 1603000 | #Constraints: 57498 3015.46/3023.44 c #Conflicts: 1604000 | #Constraints: 58498 3015.46/3023.44 c #Conflicts: 1605000 | #Constraints: 59498 3015.46/3023.44 c #Conflicts: 1606000 | #Constraints: 60498 3015.46/3023.44 c #Conflicts: 1607000 | #Constraints: 61498 3015.46/3023.44 c #Conflicts: 1608000 | #Constraints: 62498 3015.46/3023.44 c #Conflicts: 1609000 | #Constraints: 63498 3015.46/3023.44 c #Conflicts: 1610000 | #Constraints: 64498 3015.46/3023.44 c #Conflicts: 1611000 | #Constraints: 65498 3015.46/3023.44 c INPROCESSING 3015.46/3023.44 c GARBAGE COLLECT 3015.46/3023.44 c rational objective 83 3189.68/3198.19 c #Conflicts: 1612000 | #Constraints: 36598 3189.68/3198.19 c #Conflicts: 1613000 | #Constraints: 37598 3189.68/3198.19 c #Conflicts: 1614000 | #Constraints: 38598 3189.68/3198.19 c #Conflicts: 1615000 | #Constraints: 39598 3189.68/3198.19 c #Conflicts: 1616000 | #Constraints: 40598 3189.68/3198.19 c #Conflicts: 1617000 | #Constraints: 41598 3189.68/3198.19 c #Conflicts: 1618000 | #Constraints: 42598 3189.68/3198.19 c #Conflicts: 1619000 | #Constraints: 43598 3189.68/3198.19 c #Conflicts: 1620000 | #Constraints: 44598 3189.68/3198.19 c #Conflicts: 1621000 | #Constraints: 45598 3189.68/3198.19 c #Conflicts: 1622000 | #Constraints: 46598 3189.68/3198.19 c #Conflicts: 1623000 | #Constraints: 47598 3189.68/3198.19 c #Conflicts: 1624000 | #Constraints: 48598 3189.68/3198.19 c #Conflicts: 1625000 | #Constraints: 49598 3189.68/3198.19 c #Conflicts: 1626000 | #Constraints: 50598 3189.68/3198.19 c #Conflicts: 1627000 | #Constraints: 51598 3189.68/3198.19 c #Conflicts: 1628000 | #Constraints: 52598 3189.68/3198.19 c #Conflicts: 1629000 | #Constraints: 53598 3189.68/3198.19 c #Conflicts: 1630000 | #Constraints: 54598 3189.68/3198.19 c #Conflicts: 1631000 | #Constraints: 55598 3189.68/3198.19 c #Conflicts: 1632000 | #Constraints: 56599 3189.68/3198.19 c #Conflicts: 1633000 | #Constraints: 57599 3189.68/3198.19 c #Conflicts: 1634000 | #Constraints: 58599 3189.68/3198.19 c #Conflicts: 1635000 | #Constraints: 59599 3189.68/3198.19 c #Conflicts: 1636000 | #Constraints: 60599 3189.68/3198.19 c #Conflicts: 1637000 | #Constraints: 61599 3189.68/3198.19 c #Conflicts: 1638000 | #Constraints: 62599 3189.68/3198.19 c #Conflicts: 1639000 | #Constraints: 63599 3189.68/3198.19 c #Conflicts: 1640000 | #Constraints: 64599 3189.68/3198.19 c #Conflicts: 1641000 | #Constraints: 65599 3189.68/3198.19 c #Conflicts: 1642000 | #Constraints: 66599 3189.68/3198.19 c #Conflicts: 1643000 | #Constraints: 67600 3189.68/3198.19 c #Conflicts: 1644000 | #Constraints: 68600 3189.68/3198.19 c #Conflicts: 1645000 | #Constraints: 69600 3189.68/3198.19 c #Conflicts: 1646000 | #Constraints: 70600 3189.68/3198.19 c #Conflicts: 1647000 | #Constraints: 71600 3189.68/3198.19 c #Conflicts: 1648000 | #Constraints: 72600 3189.68/3198.19 c #Conflicts: 1649000 | #Constraints: 73600 3189.68/3198.19 c #Conflicts: 1650000 | #Constraints: 74600 3189.68/3198.19 c #Conflicts: 1651000 | #Constraints: 75600 3189.68/3198.19 c #Conflicts: 1652000 | #Constraints: 76600 3189.68/3198.19 c #Conflicts: 1653000 | #Constraints: 77600 3189.68/3198.19 c #Conflicts: 1654000 | #Constraints: 78600 3189.68/3198.19 c #Conflicts: 1655000 | #Constraints: 79600 3189.68/3198.19 c #Conflicts: 1656000 | #Constraints: 80600 3189.68/3198.19 c #Conflicts: 1657000 | #Constraints: 81600 3189.68/3198.19 c #Conflicts: 1658000 | #Constraints: 82600 3189.68/3198.19 c #Conflicts: 1659000 | #Constraints: 83600 3189.68/3198.19 c #Conflicts: 1660000 | #Constraints: 84600 3189.68/3198.19 c #Conflicts: 1661000 | #Constraints: 85600 3189.68/3198.19 c #Conflicts: 1662000 | #Constraints: 86600 3189.68/3198.19 c #Conflicts: 1663000 | #Constraints: 87600 3189.68/3198.19 c #Conflicts: 1664000 | #Constraints: 88600 3189.68/3198.19 c #Conflicts: 1665000 | #Constraints: 89600 3189.68/3198.19 c #Conflicts: 1666000 | #Constraints: 90600 3189.68/3198.19 c #Conflicts: 1667000 | #Constraints: 91600 3189.68/3198.19 c #Conflicts: 1668000 | #Constraints: 92600 3189.68/3198.19 c #Conflicts: 1669000 | #Constraints: 93600 3189.68/3198.19 c #Conflicts: 1670000 | #Constraints: 94600 3189.68/3198.19 c #Conflicts: 1671000 | #Constraints: 95600 3189.68/3198.19 c #Conflicts: 1672000 | #Constraints: 96600 3189.68/3198.19 c #Conflicts: 1673000 | #Constraints: 97600 3189.68/3198.19 c #Conflicts: 1674000 | #Constraints: 98600 3189.68/3198.19 c #Conflicts: 1675000 | #Constraints: 99600 3189.68/3198.19 c #Conflicts: 1676000 | #Constraints: 100600 3189.68/3198.19 c #Conflicts: 1677000 | #Constraints: 101600 3189.68/3198.19 c #Conflicts: 1678000 | #Constraints: 102600 3189.68/3198.19 c #Conflicts: 1679000 | #Constraints: 103600 3189.68/3198.19 c #Conflicts: 1680000 | #Constraints: 104600 3189.68/3198.19 c #Conflicts: 1681000 | #Constraints: 105600 3189.68/3198.19 c #Conflicts: 1682000 | #Constraints: 106600 3189.68/3198.19 c #Conflicts: 1683000 | #Constraints: 107600 3189.68/3198.19 c #Conflicts: 1684000 | #Constraints: 108600 3189.68/3198.19 c #Conflicts: 1685000 | #Constraints: 109600 3189.68/3198.19 c #Conflicts: 1686000 | #Constraints: 110600 3189.68/3198.19 c #Conflicts: 1687000 | #Constraints: 111600 3189.68/3198.19 c #Conflicts: 1688000 | #Constraints: 112600 3189.68/3198.19 c #Conflicts: 1689000 | #Constraints: 113600 3189.68/3198.19 c #Conflicts: 1690000 | #Constraints: 114600 3283.00/3291.70 c #Conflicts: 1691000 | #Constraints: 115601 3283.00/3291.70 c #Conflicts: 1692000 | #Constraints: 116601 3283.00/3291.70 c #Conflicts: 1693000 | #Constraints: 117601 3283.00/3291.70 c #Conflicts: 1694000 | #Constraints: 118601 3283.00/3291.70 c #Conflicts: 1695000 | #Constraints: 119601 3283.00/3291.70 c #Conflicts: 1696000 | #Constraints: 120601 3283.00/3291.70 c #Conflicts: 1697000 | #Constraints: 121601 3283.00/3291.70 c #Conflicts: 1698000 | #Constraints: 122601 3283.00/3291.70 c #Conflicts: 1699000 | #Constraints: 123601 3283.00/3291.70 c #Conflicts: 1700000 | #Constraints: 124601 3283.00/3291.70 c #Conflicts: 1701000 | #Constraints: 125601 3283.00/3291.70 c #Conflicts: 1702000 | #Constraints: 126601 3283.00/3291.70 c #Conflicts: 1703000 | #Constraints: 127601 3283.00/3291.70 c #Conflicts: 1704000 | #Constraints: 128601 3283.00/3291.70 c #Conflicts: 1705000 | #Constraints: 129601 3283.00/3291.70 c #Conflicts: 1706000 | #Constraints: 130601 3283.00/3291.70 c #Conflicts: 1707000 | #Constraints: 131601 3283.00/3291.70 c #Conflicts: 1708000 | #Constraints: 132601 3283.00/3291.70 c #Conflicts: 1709000 | #Constraints: 133601 3283.00/3291.70 c #Conflicts: 1710000 | #Constraints: 134601 3283.00/3291.70 c #Conflicts: 1711000 | #Constraints: 135601 3283.00/3291.70 c #Conflicts: 1712000 | #Constraints: 136601 3283.00/3291.70 c #Conflicts: 1713000 | #Constraints: 137601 3283.00/3291.70 c INPROCESSING 3283.00/3291.70 c GARBAGE COLLECT 3283.00/3291.70 c rational objective 83 3365.96/3374.93 c #Conflicts: 1714000 | #Constraints: 72684 3365.96/3374.93 c #Conflicts: 1715000 | #Constraints: 73685 3365.96/3374.93 c #Conflicts: 1716000 | #Constraints: 74685 3365.96/3374.93 c #Conflicts: 1717000 | #Constraints: 75685 3365.96/3374.93 c #Conflicts: 1718000 | #Constraints: 76686 3365.96/3374.93 c #Conflicts: 1719000 | #Constraints: 77686 3365.96/3374.93 c #Conflicts: 1720000 | #Constraints: 78686 3365.96/3374.93 c #Conflicts: 1721000 | #Constraints: 79686 3365.96/3374.93 c #Conflicts: 1722000 | #Constraints: 80686 3365.96/3374.93 c #Conflicts: 1723000 | #Constraints: 81686 3365.96/3374.93 c #Conflicts: 1724000 | #Constraints: 82686 3365.96/3374.93 c #Conflicts: 1725000 | #Constraints: 83686 3365.96/3374.93 c #Conflicts: 1726000 | #Constraints: 84686 3365.96/3374.93 c #Conflicts: 1727000 | #Constraints: 85686 3365.96/3374.93 c #Conflicts: 1728000 | #Constraints: 86686 3365.96/3374.93 c #Conflicts: 1729000 | #Constraints: 87686 3365.96/3374.93 c #Conflicts: 1730000 | #Constraints: 88686 3365.96/3374.93 c #Conflicts: 1731000 | #Constraints: 89686 3365.96/3374.93 c #Conflicts: 1732000 | #Constraints: 90686 3365.96/3374.93 c #Conflicts: 1733000 | #Constraints: 91686 3365.96/3374.93 c #Conflicts: 1734000 | #Constraints: 92686 3365.96/3374.93 c #Conflicts: 1735000 | #Constraints: 93686 3365.96/3374.93 c #Conflicts: 1736000 | #Constraints: 94686 3365.96/3374.93 c #Conflicts: 1737000 | #Constraints: 95686 3365.96/3374.93 c #Conflicts: 1738000 | #Constraints: 96686 3365.96/3374.93 c #Conflicts: 1739000 | #Constraints: 97686 3365.96/3374.93 c #Conflicts: 1740000 | #Constraints: 98686 3365.96/3374.93 c #Conflicts: 1741000 | #Constraints: 99686 3365.96/3374.93 c #Conflicts: 1742000 | #Constraints: 100687 3365.96/3374.93 c #Conflicts: 1743000 | #Constraints: 101687 3365.96/3374.93 c INPROCESSING 3365.96/3374.93 c GARBAGE COLLECT 3365.96/3374.93 c rational objective 83 3422.58/3431.76 c #Conflicts: 1744000 | #Constraints: 55094 3422.58/3431.76 c #Conflicts: 1745000 | #Constraints: 56094 3422.58/3431.76 c #Conflicts: 1746000 | #Constraints: 57094 3422.58/3431.76 c #Conflicts: 1747000 | #Constraints: 58094 3422.58/3431.76 c #Conflicts: 1748000 | #Constraints: 59094 3422.58/3431.76 c #Conflicts: 1749000 | #Constraints: 60094 3422.58/3431.76 c #Conflicts: 1750000 | #Constraints: 61094 3422.58/3431.76 c #Conflicts: 1751000 | #Constraints: 62094 3422.58/3431.76 c #Conflicts: 1752000 | #Constraints: 63094 3422.58/3431.76 c #Conflicts: 1753000 | #Constraints: 64095 3422.58/3431.76 c #Conflicts: 1754000 | #Constraints: 65095 3422.58/3431.76 c #Conflicts: 1755000 | #Constraints: 66096 3422.58/3431.76 c #Conflicts: 1756000 | #Constraints: 67096 3422.58/3431.76 c #Conflicts: 1757000 | #Constraints: 68096 3422.58/3431.76 c #Conflicts: 1758000 | #Constraints: 69096 3422.58/3431.76 c #Conflicts: 1759000 | #Constraints: 70096 3422.58/3431.76 c #Conflicts: 1760000 | #Constraints: 71096 3422.58/3431.76 c #Conflicts: 1761000 | #Constraints: 72096 3422.58/3431.76 c #Conflicts: 1762000 | #Constraints: 73096 3422.58/3431.76 c #Conflicts: 1763000 | #Constraints: 74097 3422.58/3431.76 c #Conflicts: 1764000 | #Constraints: 75097 3422.58/3431.76 c #Conflicts: 1765000 | #Constraints: 76097 3422.58/3431.76 c #Conflicts: 1766000 | #Constraints: 77097 3422.58/3431.76 c #Conflicts: 1767000 | #Constraints: 78097 3422.58/3431.76 c #Conflicts: 1768000 | #Constraints: 79097 3422.58/3431.76 c #Conflicts: 1769000 | #Constraints: 80097 3422.58/3431.76 c #Conflicts: 1770000 | #Constraints: 81097 3422.58/3431.76 c #Conflicts: 1771000 | #Constraints: 82097 3422.58/3431.76 c #Conflicts: 1772000 | #Constraints: 83097 3422.58/3431.76 c INPROCESSING 3422.58/3431.76 c GARBAGE COLLECT 3422.58/3431.76 c rational objective 83 3482.00/3491.39 c #Conflicts: 1773000 | #Constraints: 45638 3482.00/3491.39 c #Conflicts: 1774000 | #Constraints: 46638 3482.00/3491.39 c #Conflicts: 1775000 | #Constraints: 47638 3482.00/3491.39 c #Conflicts: 1776000 | #Constraints: 48638 3482.00/3491.39 c #Conflicts: 1777000 | #Constraints: 49639 3482.00/3491.39 c #Conflicts: 1778000 | #Constraints: 50639 3482.00/3491.39 c #Conflicts: 1779000 | #Constraints: 51639 3482.00/3491.39 c #Conflicts: 1780000 | #Constraints: 52639 3482.00/3491.39 c #Conflicts: 1781000 | #Constraints: 53639 3482.00/3491.39 c #Conflicts: 1782000 | #Constraints: 54639 3482.00/3491.39 c #Conflicts: 1783000 | #Constraints: 55639 3482.00/3491.39 c #Conflicts: 1784000 | #Constraints: 56639 3482.00/3491.39 c #Conflicts: 1785000 | #Constraints: 57639 3482.00/3491.39 c #Conflicts: 1786000 | #Constraints: 58639 3482.00/3491.39 c #Conflicts: 1787000 | #Constraints: 59639 3482.00/3491.39 c #Conflicts: 1788000 | #Constraints: 60639 3482.00/3491.39 c #Conflicts: 1789000 | #Constraints: 61639 3482.00/3491.39 c #Conflicts: 1790000 | #Constraints: 62640 3482.00/3491.39 c #Conflicts: 1791000 | #Constraints: 63640 3482.00/3491.39 c #Conflicts: 1792000 | #Constraints: 64640 3482.00/3491.39 c #Conflicts: 1793000 | #Constraints: 65640 3482.00/3491.39 c #Conflicts: 1794000 | #Constraints: 66641 3482.00/3491.39 c #Conflicts: 1795000 | #Constraints: 67641 3482.00/3491.39 c #Conflicts: 1796000 | #Constraints: 68641 3482.00/3491.39 c #Conflicts: 1797000 | #Constraints: 69641 3482.00/3491.39 c #Conflicts: 1798000 | #Constraints: 70641 3482.00/3491.39 c #Conflicts: 1799000 | #Constraints: 71641 3482.00/3491.39 c #Conflicts: 1800000 | #Constraints: 72641 3482.00/3491.39 c #Conflicts: 1801000 | #Constraints: 73641 3482.00/3491.39 c #Conflicts: 1802000 | #Constraints: 74641 3482.00/3491.39 c INPROCESSING 3482.00/3491.39 c GARBAGE COLLECT 3482.00/3491.39 c rational objective 83 3527.36/3536.83 c #Conflicts: 1803000 | #Constraints: 41664 3527.36/3536.83 c #Conflicts: 1804000 | #Constraints: 42664 3527.36/3536.83 c #Conflicts: 1805000 | #Constraints: 43664 3527.36/3536.83 c #Conflicts: 1806000 | #Constraints: 44664 3527.36/3536.83 c #Conflicts: 1807000 | #Constraints: 45664 3527.36/3536.83 c #Conflicts: 1808000 | #Constraints: 46664 3527.36/3536.83 c #Conflicts: 1809000 | #Constraints: 47664 3527.36/3536.83 c #Conflicts: 1810000 | #Constraints: 48664 3527.36/3536.83 c #Conflicts: 1811000 | #Constraints: 49664 3527.36/3536.83 c #Conflicts: 1812000 | #Constraints: 50664 3527.36/3536.83 c #Conflicts: 1813000 | #Constraints: 51664 3527.36/3536.83 c #Conflicts: 1814000 | #Constraints: 52664 3527.36/3536.83 c #Conflicts: 1815000 | #Constraints: 53664 3527.36/3536.83 c #Conflicts: 1816000 | #Constraints: 54664 3527.36/3536.83 c #Conflicts: 1817000 | #Constraints: 55665 3527.36/3536.83 c #Conflicts: 1818000 | #Constraints: 56665 3527.36/3536.83 c #Conflicts: 1819000 | #Constraints: 57665 3527.36/3536.83 c #Conflicts: 1820000 | #Constraints: 58665 3527.36/3536.83 c #Conflicts: 1821000 | #Constraints: 59665 3527.36/3536.83 c #Conflicts: 1822000 | #Constraints: 60665 3527.36/3536.83 c #Conflicts: 1823000 | #Constraints: 61665 3527.36/3536.83 c #Conflicts: 1824000 | #Constraints: 62665 3527.36/3536.83 c #Conflicts: 1825000 | #Constraints: 63665 3527.36/3536.83 c #Conflicts: 1826000 | #Constraints: 64665 3527.36/3536.83 c #Conflicts: 1827000 | #Constraints: 65665 3527.36/3536.83 c #Conflicts: 1828000 | #Constraints: 66665 3527.36/3536.83 c #Conflicts: 1829000 | #Constraints: 67665 3527.36/3536.83 c #Conflicts: 1830000 | #Constraints: 68665 3527.36/3536.83 c #Conflicts: 1831000 | #Constraints: 69665 3527.36/3536.83 c INPROCESSING 3527.36/3536.83 c GARBAGE COLLECT 3527.36/3536.83 c rational objective 83 3600.05/3609.70 c #Conflicts: 1832000 | #Constraints: 38654 3600.05/3609.70 c #Conflicts: 1833000 | #Constraints: 39654 3600.05/3609.70 c #Conflicts: 1834000 | #Constraints: 40656 3600.05/3609.70 c #Conflicts: 1835000 | #Constraints: 41656 3600.05/3609.70 c #Conflicts: 1836000 | #Constraints: 42656 3600.05/3609.70 c #Conflicts: 1837000 | #Constraints: 43656 3600.05/3609.70 c #Conflicts: 1838000 | #Constraints: 44656 3600.05/3609.70 c #Conflicts: 1839000 | #Constraints: 45656 3600.05/3609.70 c #Conflicts: 1840000 | #Constraints: 46657 3600.05/3609.70 c #Conflicts: 1841000 | #Constraints: 47657 3600.05/3609.70 c #Conflicts: 1842000 | #Constraints: 48657 3600.05/3609.70 c #Conflicts: 1843000 | #Constraints: 49657 3600.05/3609.70 c #Conflicts: 1844000 | #Constraints: 50657 3600.05/3609.70 c #Conflicts: 1845000 | #Constraints: 51657 3600.05/3609.70 c #Conflicts: 1846000 | #Constraints: 52657 3600.05/3609.70 c #Conflicts: 1847000 | #Constraints: 53657 3600.05/3609.70 c #Conflicts: 1848000 | #Constraints: 54657 3600.05/3609.70 c #Conflicts: 1849000 | #Constraints: 55657 3600.05/3609.70 c #Conflicts: 1850000 | #Constraints: 56657 3600.05/3609.70 c #Conflicts: 1851000 | #Constraints: 57658 3600.05/3609.70 c #Conflicts: 1852000 | #Constraints: 58658 3600.05/3609.70 c #Conflicts: 1853000 | #Constraints: 59658 3600.05/3609.70 c #Conflicts: 1854000 | #Constraints: 60658 3600.05/3609.70 c #Conflicts: 1855000 | #Constraints: 61658 3600.05/3609.70 c #Conflicts: 1856000 | #Constraints: 62658 3600.05/3609.70 c #Conflicts: 1857000 | #Constraints: 63661 3600.05/3609.70 c #Conflicts: 1858000 | #Constraints: 64664 3600.05/3609.70 c #Conflicts: 1859000 | #Constraints: 65664 3600.05/3609.70 c #Conflicts: 1860000 | #Constraints: 66664 3600.05/3609.70 c #Conflicts: 1861000 | #Constraints: 67664 3600.05/3609.70 c #Conflicts: 1862000 | #Constraints: 68664 3600.05/3609.70 c #Conflicts: 1863000 | #Constraints: 69664 3600.05/3609.70 c #Conflicts: 1864000 | #Constraints: 70664 3600.05/3609.70 c #Conflicts: 1865000 | #Constraints: 71664 3600.05/3609.70 c #Conflicts: 1866000 | #Constraints: 72664 3600.05/3609.70 c #Conflicts: 1867000 | #Constraints: 73664 3600.05/3609.70 c Program interrupted by user. 3600.05/3609.74 c cpu time 3561.71 s 3600.05/3609.74 c deterministic time 417557022596 4.18e+11 3600.05/3609.74 c optimization time 71.9029 s 3600.05/3609.74 c total solve time 3489.78 s 3600.05/3609.74 c core-guided solve time 0 s 3600.05/3609.74 c propagation time 2436.51 s 3600.05/3609.74 c conflict analysis time 828.5 s 3600.05/3609.74 c propagations 777791825 3600.05/3609.74 c resolve steps 69728092 3600.05/3609.74 c decisions 13271099 3600.05/3609.74 c conflicts 1867745 3600.05/3609.74 c restarts 3580 3600.05/3609.74 c inprocessing phases 86 3600.05/3609.74 c input clauses 5729 3600.05/3609.74 c input cardinalities 83 3600.05/3609.74 c input general constraints 0 3600.05/3609.74 c input average constraint length 6.23 3600.05/3609.74 c input average constraint degree 1.94 3600.05/3609.74 c learned clauses 1302556 3600.05/3609.74 c learned cardinalities 37119 3600.05/3609.74 c learned general constraints 528287 3600.05/3609.74 c learned average constraint length 816.22 3600.05/3609.74 c learned average constraint degree 64032186.40 3600.05/3609.74 c watched constraints 456466 3600.05/3609.74 c counting constraints 71821 3600.05/3609.74 c gcd simplifications 6306 3600.05/3609.74 c detected cardinalities 1781 3600.05/3609.74 c weakened non-implied lits 266171965 3600.05/3609.74 c weakened non-implying lits 627187 3600.05/3609.74 c original variables 5644 3600.05/3609.74 c clausal propagations 286291615 3600.05/3609.74 c cardinality propagations 263806826 3600.05/3609.74 c watched propagations 71592832 3600.05/3609.74 c counting propagations 150129900 3600.05/3609.74 c watch lookups 33881477969 3600.05/3609.74 c watch backjump lookups 26545889002 3600.05/3609.74 c watch checks 298260167836 3600.05/3609.74 c propagation checks 52612865866 3600.05/3609.74 c constraint additions 4670183579 3600.05/3609.74 c trail pops 792927583 3600.05/3609.74 c formula constraints 5812 3600.05/3609.74 c learned constraints 1867526 3600.05/3609.74 c bound constraints 0 3600.05/3609.74 c core-guided constraints 0 3600.05/3609.74 c encountered formula constraints 39313419 3600.05/3609.74 c encountered learned constraints 32278310 3600.05/3609.74 c encountered bound constraints 0 3600.05/3609.74 c encountered core-guided constraints 0 3600.05/3609.74 c LP total time 761.132 s 3600.05/3609.74 c LP solve time 753.29 s 3600.05/3609.74 c LP constraints added 11325 3600.05/3609.74 c LP constraints removed 5445 3600.05/3609.74 c LP pivots internal 1868631 3600.05/3609.74 c LP pivots root 579205 3600.05/3609.74 c LP calls 369 3600.05/3609.74 c LP optimalities 145 3600.05/3609.74 c LP no pivot count 0 3600.05/3609.74 c LP infeasibilities 218 3600.05/3609.74 c LP valid Farkas constraints 218 3600.05/3609.74 c LP learned Farkas constraints 218 3600.05/3609.74 c LP basis resets 0 3600.05/3609.74 c LP cycling count 0 3600.05/3609.74 c LP singular count 0 3600.05/3609.74 c LP no primal count 0 3600.05/3609.74 c LP no farkas count 0 3600.05/3609.74 c LP other issue count 0 3600.05/3609.74 c LP Gomory cuts 0 3600.05/3609.74 c LP learned cuts 5513 3600.05/3609.74 c LP deleted cuts 5445 3600.05/3609.74 c LP encountered Gomory constraints 0 3600.05/3609.74 c LP encountered Farkas constraints 2805 3600.05/3609.74 c LP encountered learned Farkas constraints 1085 3600.05/3609.74 c CG auxiliary variables introduced 0 3600.05/3609.74 c CG solutions found 0 3600.05/3609.74 c CG cores constructed 0 3600.05/3609.74 c CG core cardinality constraints returned 0 3600.05/3609.74 c CG unit cores 0 3600.05/3609.74 c CG single cores 0 3600.05/3609.74 c CG blocks removed during cardinality reduction 0 3600.05/3609.74 c CG first core best 0 3600.05/3609.74 c CG decision core best 0 3600.05/3609.74 c CG core reduction tie 0 3600.05/3609.74 c CG core degree average 0.00 3600.05/3609.74 c CG core slack average 0.00 3600.05/3609.74 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (56069 MiB free)
memory of node 1: 64510 MiB (59716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460667-1722069655/watcher-4460667-1722069655 -o /tmp/evaluation-result-4460667-1722069655/solver-4460667-1722069655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307177 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460667-1722069655 --lp-cut-gomory=0 HOME/instance-4460667-1722069655.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=311594, runsolver pid=311591
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.07 4.14 4.10 5/263 311595
/proc/meminfo: memFree=118554452/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=47696 memory=16528 CPUtime=0.09 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 3110 0 0 0 9 0 0 0 20 0 1 0 43495820 48840704 4132 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 11924 4132 1727 992 0 3782 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47696 KiB
Current children cumulated memory: 16528 KiB
[startup+0.205871 s]*
/proc/loadavg: 4.07 4.14 4.10 5/263 311595
/proc/meminfo: memFree=118553248/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=48384 memory=17320 CPUtime=0.19 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 3277 0 0 0 19 0 0 0 20 0 1 0 43495820 49545216 4330 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 12096 4330 1727 992 0 3954 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 17320 KiB
[startup+0.30584 s]*
/proc/loadavg: 4.07 4.14 4.10 5/263 311595
/proc/meminfo: memFree=118552100/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=48568 memory=17584 CPUtime=0.29 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 3368 0 0 0 29 0 0 0 20 0 1 0 43495820 49733632 4396 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 12142 4396 1727 992 0 4000 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 17584 KiB
[startup+0.700203 s]
/proc/loadavg: 4.07 4.14 4.10 5/263 311595
/proc/meminfo: memFree=118551512/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=49112 memory=18112 CPUtime=0.69 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 3522 0 0 0 68 1 0 0 20 0 1 0 43495820 50290688 4528 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 12278 4528 1727 992 0 4136 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 18112 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.14 4.10 5/263 311595
/proc/meminfo: memFree=118547620/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=50916 memory=22944 CPUtime=1.48 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 4084 0 0 0 143 5 0 0 20 0 1 0 43495820 52137984 5736 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 12729 5736 1837 992 0 4587 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50916 KiB
Current children cumulated memory: 22944 KiB
[startup+3.10567 s]
/proc/loadavg: 4.07 4.14 4.10 5/263 311596
/proc/meminfo: memFree=118541772/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=51096 memory=23204 CPUtime=3.08 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 4143 0 0 0 301 7 0 0 20 0 1 0 43495820 52322304 5801 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 12774 5801 1837 992 0 4632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51096 KiB
Current children cumulated memory: 23204 KiB
[startup+6.30016 s]
/proc/loadavg: 4.07 4.14 4.10 5/263 311597
/proc/meminfo: memFree=118529216/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=54208 memory=26772 CPUtime=6.27 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 5201 0 0 0 610 17 0 0 20 0 1 0 43495820 55508992 6693 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 13552 6693 1837 992 0 5410 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 26772 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.14 4.10 5/263 311597
/proc/meminfo: memFree=118507272/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=58488 memory=31068 CPUtime=12.66 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 5747 0 0 0 1238 28 0 0 20 0 1 0 43495820 59891712 7767 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 14622 7767 1869 992 0 6480 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58488 KiB
Current children cumulated memory: 31068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.10 5/263 311600
/proc/meminfo: memFree=118443028/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=67052 memory=38772 CPUtime=25.42 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 7168 0 0 0 2484 58 0 0 20 0 1 0 43495820 68661248 9693 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 16763 9693 1869 992 0 8621 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 67052 KiB
Current children cumulated memory: 38772 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 311603
/proc/meminfo: memFree=118326028/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=77368 memory=48236 CPUtime=50.97 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 8519 0 0 0 4989 108 0 0 20 0 1 0 43495820 79224832 12059 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 19342 12059 1869 992 0 11200 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 77368 KiB
Current children cumulated memory: 48236 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/261 311612
/proc/meminfo: memFree=118013960/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=93340 memory=59044 CPUtime=102.04 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 10385 0 0 0 10000 204 0 0 20 0 1 0 43495820 95580160 14761 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 23335 14761 1869 992 0 15193 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 93340 KiB
Current children cumulated memory: 59044 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/260 311623
/proc/meminfo: memFree=117729240/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=154768 memory=109556 CPUtime=161.89 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 14381 0 0 0 15877 312 0 0 20 0 1 0 43495820 158482432 27389 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 38692 27389 1869 992 0 30550 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 154768 KiB
Current children cumulated memory: 109556 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/259 311633
/proc/meminfo: memFree=117359376/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=212692 memory=142940 CPUtime=221.73 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 16560 0 0 0 21753 420 0 0 20 0 1 0 43495820 217796608 35735 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 53173 35735 1869 992 0 45031 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 212692 KiB
Current children cumulated memory: 142940 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.22 4.13 5/258 311644
/proc/meminfo: memFree=116817672/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=304176 memory=234260 CPUtime=281.54 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 19479 0 0 0 27660 494 0 0 20 0 1 0 43495820 311476224 58565 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 76044 58565 1869 992 0 67902 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 304176 KiB
Current children cumulated memory: 234260 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/257 311654
/proc/meminfo: memFree=116564840/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=304996 memory=234912 CPUtime=341.36 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 20062 0 0 0 33536 600 0 0 20 0 1 0 43495820 312315904 58728 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 76249 58728 1869 992 0 68107 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 304996 KiB
Current children cumulated memory: 234912 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/259 311667
/proc/meminfo: memFree=116298484/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=315972 memory=245224 CPUtime=401.17 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 22700 0 0 0 39442 675 0 0 20 0 1 0 43495820 323555328 61306 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 78993 61306 1869 992 0 70851 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 315972 KiB
Current children cumulated memory: 245224 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/259 311677
/proc/meminfo: memFree=115909496/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=319328 memory=248092 CPUtime=460.99 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 24666 0 0 0 45346 753 0 0 20 0 1 0 43495820 326991872 62023 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 79832 62023 1869 992 0 71690 0
################
# More data... #
################
Current children cumulated memory: 696688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/261 313438
/proc/meminfo: memFree=106647560/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=762748 memory=696852 CPUtime=2914.62 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 58389 0 0 0 288256 3206 0 0 20 0 1 0 43495820 781053952 174213 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 190687 174213 1869 992 0 182545 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 762748 KiB
Current children cumulated memory: 696852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 313508
/proc/meminfo: memFree=106411708/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=762336 memory=696320 CPUtime=2974.46 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 58917 0 0 0 294182 3264 0 0 20 0 1 0 43495820 780632064 174080 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 190584 174080 1869 992 0 182442 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 762336 KiB
Current children cumulated memory: 696320 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 313519
/proc/meminfo: memFree=106218532/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=762628 memory=696736 CPUtime=3034.3 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 59549 0 0 0 300105 3325 0 0 20 0 1 0 43495820 780931072 174184 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 190657 174184 1869 992 0 182515 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 762628 KiB
Current children cumulated memory: 696736 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 313530
/proc/meminfo: memFree=105889128/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=762940 memory=696968 CPUtime=3094.15 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 59763 0 0 0 306028 3387 0 0 20 0 1 0 43495820 781250560 174242 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 190735 174242 1869 992 0 182593 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 762940 KiB
Current children cumulated memory: 696968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 313541
/proc/meminfo: memFree=105705876/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=763812 memory=697676 CPUtime=3153.98 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 60156 0 0 0 311969 3429 0 0 20 0 1 0 43495820 782143488 174419 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 190953 174419 1869 992 0 182811 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 763812 KiB
Current children cumulated memory: 697676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/261 313551
/proc/meminfo: memFree=105545828/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=764876 memory=698944 CPUtime=3213.8 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 60728 0 0 0 317911 3469 0 0 20 0 1 0 43495820 783233024 174736 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 191219 174736 1869 992 0 183077 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 764876 KiB
Current children cumulated memory: 698944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/262 313562
/proc/meminfo: memFree=105346332/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=769036 memory=701992 CPUtime=3273.62 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 61787 0 0 0 323859 3503 0 0 20 0 1 0 43495820 787492864 175498 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192259 175498 1869 992 0 184117 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 769036 KiB
Current children cumulated memory: 701992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 313572
/proc/meminfo: memFree=105052428/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=770752 memory=703280 CPUtime=3333.46 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 62800 0 0 0 329793 3553 0 0 20 0 1 0 43495820 789250048 175820 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192688 175820 1869 992 0 184546 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 703280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 313675
/proc/meminfo: memFree=110508164/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=770996 memory=703700 CPUtime=3393.28 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 63610 0 0 0 335713 3615 0 0 20 0 1 0 43495820 789499904 175925 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192749 175925 1869 992 0 184607 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 770996 KiB
Current children cumulated memory: 703700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 313778
/proc/meminfo: memFree=114672060/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=771068 memory=703688 CPUtime=3453.08 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 64218 0 0 0 341626 3682 0 0 20 0 1 0 43495820 789573632 175922 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192767 175922 1869 992 0 184625 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 771068 KiB
Current children cumulated memory: 703688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 313792
/proc/meminfo: memFree=114122556/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=771116 memory=703860 CPUtime=3512.9 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 64811 0 0 0 347538 3752 0 0 20 0 1 0 43495820 789622784 175965 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192779 175965 1869 992 0 184637 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 771116 KiB
Current children cumulated memory: 703860 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 313809
/proc/meminfo: memFree=113778100/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=771548 memory=709940 CPUtime=3572.73 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 65098 0 0 0 353459 3814 0 0 20 0 1 0 43495820 790065152 177485 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192887 177485 1869 992 0 184745 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 709940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 313815
/proc/meminfo: memFree=113713260/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=771548 memory=709940 CPUtime=3600.05 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 65167 0 0 0 356170 3835 0 0 20 0 1 0 43495820 790065152 177485 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192887 177485 1869 992 0 184745 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 709940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.74 s]
# the end of solver process 311594 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.71 s, system=38.3652 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 313815
/proc/meminfo: memFree=113713260/131524600 swapFree=131054992/131071996
[pid=311594] ppid=311591 vsize=771548 memory=709940 CPUtime=3600.05 cores=5,7
/proc/311594/stat : 311594 (roundingsat) R 311591 311594 307164 0 -1 4194304 65167 0 0 0 356170 3835 0 0 20 0 1 0 43495820 790065152 177485 134679101440 4194304 8254357 140734627993488 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37847040 140734628000603 140734628000865 140734628000865 140734628007881 0
/proc/311594/statm: 192887 177485 1869 992 0 184745 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 771548 KiB
Current children cumulated memory: 709940 KiB
Child status: 0
Real time (s): 3609.74
CPU time (s): 3600.07
CPU user time (s): 3561.71
CPU system time (s): 38.3652
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 772376
Max. memory (cumulated for all children) (KiB): 709940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.71
system time used= 38.3652
maximum resident set size= 709940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10429128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 742
involuntary context switches= 4792
# summary of solver processes directly reported to runsolver:
# pid: 311594
# total CPU time (s): 3600.07
# total CPU user time (s): 3561.71
# total CPU system time (s): 38.3652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87783 second user time and 16.4145 second system time
The end
Begin job on nodeC035 at 2024-07-27 10:40:55 IDJOB=4460667 IDBENCH=158345 IDSOLVER=3086 FILE ID=nodeC035/4460667-1722069655 RUNJOBID= nodeC035-1722064836-307177 SLURM_JOB_ID= 8248103 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.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-4460667-1722069655/watcher-4460667-1722069655 -o /tmp/evaluation-result-4460667-1722069655/solver-4460667-1722069655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307177 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460667-1722069655 --lp-cut-gomory=0 HOME/instance-4460667-1722069655.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c RANDOM SEED=107886715 nodeC035.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 : 3671.035 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.54 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 : 3671.808 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.967 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.54 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 : 3620.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 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 : 3671.049 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.54 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 : 3660.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 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 : 3600.047 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.54 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 : 3664.395 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118564700 kB MemAvailable: 129358944 kB Buffers: 376492 kB Cached: 11224704 kB SwapCached: 296 kB Active: 2355740 kB Inactive: 9954384 kB Active(anon): 1988 kB Inactive(anon): 759856 kB Active(file): 2353752 kB Inactive(file): 9194528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054992 kB Dirty: 98596 kB Writeback: 8 kB AnonPages: 705424 kB Mapped: 114696 kB Shmem: 53220 kB KReclaimable: 171224 kB Slab: 294704 kB SReclaimable: 171224 kB SUnreclaim: 123480 kB KernelStack: 4272 kB PageTables: 11000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1156592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16992 kB HardwareCorrupted: 0 kB AnonHugePages: 458752 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: 414420 kB DirectMap2M: 48642048 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890052 MiB End job on nodeC035 at 2024-07-27 11:41:05