| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.03 | 3609.91 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K85.opb |
| MD5SUM | 29274947006e0854b43dfb210bf5d295 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1332.8 |
| 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 | 5780 |
| Total number of constraints | 5952 |
| Number of constraints which are clauses | 5867 |
| Number of constraints which are cardinality constraints (but not clauses) | 85 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 85 |
| 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 | 86 |
| 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.02 c #variables 5780 #constraints 5952 9.97/10.06 c #Conflicts: 1000 | #Constraints: 6951 9.97/10.06 c #Conflicts: 2000 | #Constraints: 7951 9.97/10.06 c INPROCESSING 9.97/10.06 c GARBAGE COLLECT 9.97/10.06 c #Conflicts: 3000 | #Constraints: 7649 9.97/10.06 c #Conflicts: 4000 | #Constraints: 8649 9.97/10.06 c INPROCESSING 9.97/10.06 c GARBAGE COLLECT 9.97/10.06 c #Conflicts: 5000 | #Constraints: 8098 9.97/10.06 c #Conflicts: 6000 | #Constraints: 9098 9.97/10.06 c INPROCESSING 9.97/10.06 c GARBAGE COLLECT 9.97/10.06 c rational objective 85 46.17/46.31 c #Conflicts: 7000 | #Constraints: 8145 46.17/46.31 c #Conflicts: 8000 | #Constraints: 9145 46.17/46.31 c #Conflicts: 9000 | #Constraints: 10145 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 10000 | #Constraints: 8892 46.17/46.31 c #Conflicts: 11000 | #Constraints: 9892 46.17/46.31 c #Conflicts: 12000 | #Constraints: 10892 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 13000 | #Constraints: 9357 46.17/46.31 c #Conflicts: 14000 | #Constraints: 10358 46.17/46.31 c #Conflicts: 15000 | #Constraints: 11358 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 16000 | #Constraints: 9635 46.17/46.31 c #Conflicts: 17000 | #Constraints: 10635 46.17/46.31 c #Conflicts: 18000 | #Constraints: 11635 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 19000 | #Constraints: 9694 46.17/46.31 c #Conflicts: 20000 | #Constraints: 10694 46.17/46.31 c #Conflicts: 21000 | #Constraints: 11694 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 22000 | #Constraints: 9492 46.17/46.31 c #Conflicts: 23000 | #Constraints: 10492 46.17/46.31 c #Conflicts: 24000 | #Constraints: 11492 46.17/46.31 c #Conflicts: 25000 | #Constraints: 12492 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 26000 | #Constraints: 10119 46.17/46.31 c #Conflicts: 27000 | #Constraints: 11119 46.17/46.31 c #Conflicts: 28000 | #Constraints: 12119 46.17/46.31 c #Conflicts: 29000 | #Constraints: 13120 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 30000 | #Constraints: 10546 46.17/46.31 c #Conflicts: 31000 | #Constraints: 11546 46.17/46.31 c #Conflicts: 32000 | #Constraints: 12546 46.17/46.31 c #Conflicts: 33000 | #Constraints: 13546 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c #Conflicts: 34000 | #Constraints: 10771 46.17/46.31 c #Conflicts: 35000 | #Constraints: 11771 46.17/46.31 c #Conflicts: 36000 | #Constraints: 12772 46.17/46.31 c #Conflicts: 37000 | #Constraints: 13772 46.17/46.31 c INPROCESSING 46.17/46.31 c GARBAGE COLLECT 46.17/46.31 c rational objective 85 58.34/58.50 c #Conflicts: 38000 | #Constraints: 10799 58.34/58.50 c #Conflicts: 39000 | #Constraints: 11799 58.34/58.50 c #Conflicts: 40000 | #Constraints: 12799 58.34/58.50 c #Conflicts: 41000 | #Constraints: 13799 58.34/58.50 c INPROCESSING 58.34/58.50 c GARBAGE COLLECT 58.34/58.50 c #Conflicts: 42000 | #Constraints: 10629 58.34/58.50 c #Conflicts: 43000 | #Constraints: 11629 58.34/58.50 c #Conflicts: 44000 | #Constraints: 12629 58.34/58.50 c #Conflicts: 45000 | #Constraints: 13629 58.34/58.50 c #Conflicts: 46000 | #Constraints: 14629 58.34/58.50 c INPROCESSING 58.34/58.50 c GARBAGE COLLECT 58.34/58.50 c #Conflicts: 47000 | #Constraints: 11226 58.34/58.50 c #Conflicts: 48000 | #Constraints: 12226 58.34/58.50 c #Conflicts: 49000 | #Constraints: 13228 58.34/58.50 c #Conflicts: 50000 | #Constraints: 14228 58.34/58.50 c #Conflicts: 51000 | #Constraints: 15229 58.34/58.50 c INPROCESSING 58.34/58.50 c GARBAGE COLLECT 58.34/58.50 c #Conflicts: 52000 | #Constraints: 11649 58.34/58.50 c #Conflicts: 53000 | #Constraints: 12650 58.34/58.50 c #Conflicts: 54000 | #Constraints: 13650 58.34/58.50 c #Conflicts: 55000 | #Constraints: 14650 58.34/58.50 c #Conflicts: 56000 | #Constraints: 15650 58.34/58.50 c INPROCESSING 58.34/58.50 c GARBAGE COLLECT 58.34/58.50 c rational objective 85 62.84/63.02 c #Conflicts: 57000 | #Constraints: 11858 62.84/63.02 c #Conflicts: 58000 | #Constraints: 12858 62.84/63.02 c #Conflicts: 59000 | #Constraints: 13858 62.84/63.02 c #Conflicts: 60000 | #Constraints: 14858 62.84/63.02 c #Conflicts: 61000 | #Constraints: 15858 62.84/63.02 c INPROCESSING 62.84/63.02 c GARBAGE COLLECT 62.84/63.02 c rational objective 85 72.12/72.30 c #Conflicts: 62000 | #Constraints: 11862 72.12/72.30 c #Conflicts: 63000 | #Constraints: 12862 72.12/72.30 c #Conflicts: 64000 | #Constraints: 13862 72.12/72.30 c #Conflicts: 65000 | #Constraints: 14862 72.12/72.30 c #Conflicts: 66000 | #Constraints: 15863 72.12/72.30 c INPROCESSING 72.12/72.30 c GARBAGE COLLECT 72.12/72.30 c rational objective 85 78.70/78.96 c #Conflicts: 67000 | #Constraints: 11664 78.70/78.96 c #Conflicts: 68000 | #Constraints: 12664 78.70/78.96 c #Conflicts: 69000 | #Constraints: 13664 78.70/78.96 c #Conflicts: 70000 | #Constraints: 14664 78.70/78.96 c #Conflicts: 71000 | #Constraints: 15664 78.70/78.96 c #Conflicts: 72000 | #Constraints: 16664 78.70/78.96 c INPROCESSING 78.70/78.96 c GARBAGE COLLECT 78.70/78.96 c rational objective 85 94.45/94.77 c #Conflicts: 73000 | #Constraints: 12271 94.45/94.77 c #Conflicts: 74000 | #Constraints: 13271 94.45/94.77 c #Conflicts: 75000 | #Constraints: 14271 94.45/94.77 c #Conflicts: 76000 | #Constraints: 15271 94.45/94.77 c #Conflicts: 77000 | #Constraints: 16272 94.45/94.77 c #Conflicts: 78000 | #Constraints: 17272 94.45/94.77 c INPROCESSING 94.45/94.77 c GARBAGE COLLECT 94.45/94.77 c rational objective 85 116.70/117.08 c #Conflicts: 79000 | #Constraints: 12667 116.70/117.08 c #Conflicts: 80000 | #Constraints: 13667 116.70/117.08 c #Conflicts: 81000 | #Constraints: 14667 116.70/117.08 c #Conflicts: 82000 | #Constraints: 15667 116.70/117.08 c #Conflicts: 83000 | #Constraints: 16667 116.70/117.08 c #Conflicts: 84000 | #Constraints: 17667 116.70/117.08 c INPROCESSING 116.70/117.08 c GARBAGE COLLECT 116.70/117.08 c #Conflicts: 85000 | #Constraints: 12904 116.70/117.08 c #Conflicts: 86000 | #Constraints: 13904 116.70/117.08 c #Conflicts: 87000 | #Constraints: 14904 116.70/117.08 c #Conflicts: 88000 | #Constraints: 15905 116.70/117.08 c #Conflicts: 89000 | #Constraints: 16905 116.70/117.08 c #Conflicts: 90000 | #Constraints: 17906 116.70/117.08 c INPROCESSING 116.70/117.08 c GARBAGE COLLECT 116.70/117.08 c #Conflicts: 91000 | #Constraints: 12941 116.70/117.08 c #Conflicts: 92000 | #Constraints: 13942 116.70/117.08 c #Conflicts: 93000 | #Constraints: 14943 116.70/117.08 c #Conflicts: 94000 | #Constraints: 15944 116.70/117.08 c #Conflicts: 95000 | #Constraints: 16944 116.70/117.08 c #Conflicts: 96000 | #Constraints: 17944 116.70/117.08 c INPROCESSING 116.70/117.08 c GARBAGE COLLECT 116.70/117.08 c rational objective 85 128.88/129.23 c #Conflicts: 97000 | #Constraints: 12766 128.88/129.23 c #Conflicts: 98000 | #Constraints: 13766 128.88/129.23 c #Conflicts: 99000 | #Constraints: 14766 128.88/129.23 c #Conflicts: 100000 | #Constraints: 15767 128.88/129.23 c #Conflicts: 101000 | #Constraints: 16767 128.88/129.23 c #Conflicts: 102000 | #Constraints: 17767 128.88/129.23 c #Conflicts: 103000 | #Constraints: 18768 128.88/129.23 c INPROCESSING 128.88/129.23 c GARBAGE COLLECT 128.88/129.23 c #Conflicts: 104000 | #Constraints: 13332 128.88/129.23 c #Conflicts: 105000 | #Constraints: 14332 128.88/129.23 c #Conflicts: 106000 | #Constraints: 15332 128.88/129.23 c #Conflicts: 107000 | #Constraints: 16332 128.88/129.23 c #Conflicts: 108000 | #Constraints: 17332 128.88/129.23 c #Conflicts: 109000 | #Constraints: 18332 128.88/129.23 c #Conflicts: 110000 | #Constraints: 19332 128.88/129.23 c INPROCESSING 128.88/129.23 c GARBAGE COLLECT 128.88/129.23 c rational objective 85 135.36/135.79 c #Conflicts: 111000 | #Constraints: 13738 135.36/135.79 c #Conflicts: 112000 | #Constraints: 14738 135.36/135.79 c #Conflicts: 113000 | #Constraints: 15738 135.36/135.79 c #Conflicts: 114000 | #Constraints: 16738 135.36/135.79 c #Conflicts: 115000 | #Constraints: 17738 135.36/135.79 c #Conflicts: 116000 | #Constraints: 18738 135.36/135.79 c #Conflicts: 117000 | #Constraints: 19738 135.36/135.79 c INPROCESSING 135.36/135.79 c GARBAGE COLLECT 135.36/135.79 c rational objective 85 150.23/150.69 c #Conflicts: 118000 | #Constraints: 13914 150.23/150.69 c #Conflicts: 119000 | #Constraints: 14915 150.23/150.69 c #Conflicts: 120000 | #Constraints: 15915 150.23/150.69 c #Conflicts: 121000 | #Constraints: 16915 150.23/150.69 c #Conflicts: 122000 | #Constraints: 17915 150.23/150.69 c #Conflicts: 123000 | #Constraints: 18915 150.23/150.69 c #Conflicts: 124000 | #Constraints: 19915 150.23/150.69 c INPROCESSING 150.23/150.69 c GARBAGE COLLECT 150.23/150.69 c rational objective 85 190.72/191.22 c #Conflicts: 125000 | #Constraints: 13945 190.72/191.22 c #Conflicts: 126000 | #Constraints: 14945 190.72/191.22 c #Conflicts: 127000 | #Constraints: 15945 190.72/191.22 c #Conflicts: 128000 | #Constraints: 16945 190.72/191.22 c #Conflicts: 129000 | #Constraints: 17945 190.72/191.22 c #Conflicts: 130000 | #Constraints: 18946 190.72/191.22 c #Conflicts: 131000 | #Constraints: 19946 190.72/191.22 c #Conflicts: 132000 | #Constraints: 20946 190.72/191.22 c #Conflicts: 133000 | #Constraints: 21946 190.72/191.22 c #Conflicts: 134000 | #Constraints: 22946 190.72/191.22 c #Conflicts: 135000 | #Constraints: 23946 190.72/191.22 c #Conflicts: 136000 | #Constraints: 24947 190.72/191.22 c #Conflicts: 137000 | #Constraints: 25947 190.72/191.22 c #Conflicts: 138000 | #Constraints: 26947 190.72/191.22 c #Conflicts: 139000 | #Constraints: 27947 190.72/191.22 c #Conflicts: 140000 | #Constraints: 28947 190.72/191.22 c #Conflicts: 141000 | #Constraints: 29947 190.72/191.22 c #Conflicts: 142000 | #Constraints: 30947 190.72/191.22 c #Conflicts: 143000 | #Constraints: 31947 190.72/191.22 c #Conflicts: 144000 | #Constraints: 32947 190.72/191.22 c #Conflicts: 145000 | #Constraints: 33947 190.72/191.22 c #Conflicts: 146000 | #Constraints: 34947 190.72/191.22 c #Conflicts: 147000 | #Constraints: 35947 190.72/191.22 c #Conflicts: 148000 | #Constraints: 36948 190.72/191.22 c #Conflicts: 149000 | #Constraints: 37948 190.72/191.22 c #Conflicts: 150000 | #Constraints: 38948 190.72/191.22 c #Conflicts: 151000 | #Constraints: 39948 190.72/191.22 c #Conflicts: 152000 | #Constraints: 40948 190.72/191.22 c #Conflicts: 153000 | #Constraints: 41948 190.72/191.22 c #Conflicts: 154000 | #Constraints: 42948 190.72/191.22 c #Conflicts: 155000 | #Constraints: 43948 190.72/191.22 c #Conflicts: 156000 | #Constraints: 44948 190.72/191.22 c INPROCESSING 190.72/191.22 c GARBAGE COLLECT 190.72/191.22 c rational objective 85 204.09/204.61 c #Conflicts: 157000 | #Constraints: 26206 204.09/204.61 c #Conflicts: 158000 | #Constraints: 27206 204.09/204.61 c #Conflicts: 159000 | #Constraints: 28206 204.09/204.61 c #Conflicts: 160000 | #Constraints: 29206 204.09/204.61 c #Conflicts: 161000 | #Constraints: 30206 204.09/204.61 c #Conflicts: 162000 | #Constraints: 31206 204.09/204.61 c #Conflicts: 163000 | #Constraints: 32206 204.09/204.61 c #Conflicts: 164000 | #Constraints: 33207 204.09/204.61 c #Conflicts: 165000 | #Constraints: 34207 204.09/204.61 c INPROCESSING 204.09/204.61 c GARBAGE COLLECT 204.09/204.61 c rational objective 85 217.85/218.42 c #Conflicts: 166000 | #Constraints: 21146 217.85/218.42 c #Conflicts: 167000 | #Constraints: 22146 217.85/218.42 c #Conflicts: 168000 | #Constraints: 23146 217.85/218.42 c #Conflicts: 169000 | #Constraints: 24147 217.85/218.42 c #Conflicts: 170000 | #Constraints: 25147 217.85/218.42 c #Conflicts: 171000 | #Constraints: 26148 217.85/218.42 c #Conflicts: 172000 | #Constraints: 27148 217.85/218.42 c #Conflicts: 173000 | #Constraints: 28148 217.85/218.42 c #Conflicts: 174000 | #Constraints: 29149 217.85/218.42 c INPROCESSING 217.85/218.42 c GARBAGE COLLECT 217.85/218.42 c rational objective 85 224.44/225.02 c #Conflicts: 175000 | #Constraints: 18772 224.44/225.02 c #Conflicts: 176000 | #Constraints: 19772 224.44/225.02 c #Conflicts: 177000 | #Constraints: 20772 224.44/225.02 c #Conflicts: 178000 | #Constraints: 21772 224.44/225.02 c #Conflicts: 179000 | #Constraints: 22772 224.44/225.02 c #Conflicts: 180000 | #Constraints: 23772 224.44/225.02 c #Conflicts: 181000 | #Constraints: 24772 224.44/225.02 c #Conflicts: 182000 | #Constraints: 25772 224.44/225.02 c INPROCESSING 224.44/225.02 c GARBAGE COLLECT 224.44/225.02 c rational objective 85 235.01/235.67 c #Conflicts: 183000 | #Constraints: 16597 235.01/235.67 c #Conflicts: 184000 | #Constraints: 17597 235.01/235.67 c #Conflicts: 185000 | #Constraints: 18597 235.01/235.67 c #Conflicts: 186000 | #Constraints: 19598 235.01/235.67 c #Conflicts: 187000 | #Constraints: 20599 235.01/235.67 c #Conflicts: 188000 | #Constraints: 21599 235.01/235.67 c #Conflicts: 189000 | #Constraints: 22600 235.01/235.67 c #Conflicts: 190000 | #Constraints: 23600 235.01/235.67 c #Conflicts: 191000 | #Constraints: 24600 235.01/235.67 c #Conflicts: 192000 | #Constraints: 25600 235.01/235.67 c INPROCESSING 235.01/235.67 c GARBAGE COLLECT 235.01/235.67 c rational objective 85 282.50/283.24 c #Conflicts: 193000 | #Constraints: 16955 282.50/283.24 c #Conflicts: 194000 | #Constraints: 17955 282.50/283.24 c #Conflicts: 195000 | #Constraints: 18955 282.50/283.24 c #Conflicts: 196000 | #Constraints: 19956 282.50/283.24 c #Conflicts: 197000 | #Constraints: 20958 282.50/283.24 c #Conflicts: 198000 | #Constraints: 21958 282.50/283.24 c #Conflicts: 199000 | #Constraints: 22958 282.50/283.24 c #Conflicts: 200000 | #Constraints: 23958 282.50/283.24 c #Conflicts: 201000 | #Constraints: 24958 282.50/283.24 c #Conflicts: 202000 | #Constraints: 25958 282.50/283.24 c #Conflicts: 203000 | #Constraints: 26958 282.50/283.24 c #Conflicts: 204000 | #Constraints: 27958 282.50/283.24 c #Conflicts: 205000 | #Constraints: 28958 282.50/283.24 c #Conflicts: 206000 | #Constraints: 29958 282.50/283.24 c #Conflicts: 207000 | #Constraints: 30958 282.50/283.24 c #Conflicts: 208000 | #Constraints: 31958 282.50/283.24 c #Conflicts: 209000 | #Constraints: 32958 282.50/283.24 c #Conflicts: 210000 | #Constraints: 33958 282.50/283.24 c #Conflicts: 211000 | #Constraints: 34958 282.50/283.24 c #Conflicts: 212000 | #Constraints: 35959 282.50/283.24 c #Conflicts: 213000 | #Constraints: 36959 282.50/283.24 c #Conflicts: 214000 | #Constraints: 37959 282.50/283.24 c #Conflicts: 215000 | #Constraints: 38959 282.50/283.24 c #Conflicts: 216000 | #Constraints: 39959 282.50/283.24 c #Conflicts: 217000 | #Constraints: 40959 282.50/283.24 c #Conflicts: 218000 | #Constraints: 41960 282.50/283.24 c #Conflicts: 219000 | #Constraints: 42960 282.50/283.24 c #Conflicts: 220000 | #Constraints: 43960 282.50/283.24 c #Conflicts: 221000 | #Constraints: 44960 282.50/283.24 c #Conflicts: 222000 | #Constraints: 45960 282.50/283.24 c #Conflicts: 223000 | #Constraints: 46960 282.50/283.24 c #Conflicts: 224000 | #Constraints: 47960 282.50/283.24 c #Conflicts: 225000 | #Constraints: 48960 282.50/283.24 c #Conflicts: 226000 | #Constraints: 49960 282.50/283.24 c #Conflicts: 227000 | #Constraints: 50960 282.50/283.24 c #Conflicts: 228000 | #Constraints: 51960 282.50/283.24 c #Conflicts: 229000 | #Constraints: 52960 282.50/283.24 c #Conflicts: 230000 | #Constraints: 53960 282.50/283.24 c #Conflicts: 231000 | #Constraints: 54960 282.50/283.24 c INPROCESSING 282.50/283.24 c GARBAGE COLLECT 282.50/283.24 c rational objective 85 302.45/303.27 c #Conflicts: 232000 | #Constraints: 31649 302.45/303.27 c #Conflicts: 233000 | #Constraints: 32649 302.45/303.27 c #Conflicts: 234000 | #Constraints: 33649 302.45/303.27 c #Conflicts: 235000 | #Constraints: 34649 302.45/303.27 c #Conflicts: 236000 | #Constraints: 35649 302.45/303.27 c #Conflicts: 237000 | #Constraints: 36649 302.45/303.27 c #Conflicts: 238000 | #Constraints: 37649 302.45/303.27 c #Conflicts: 239000 | #Constraints: 38650 302.45/303.27 c #Conflicts: 240000 | #Constraints: 39650 302.45/303.27 c #Conflicts: 241000 | #Constraints: 40650 302.45/303.27 c INPROCESSING 302.45/303.27 c GARBAGE COLLECT 302.45/303.27 c rational objective 85 325.58/326.47 c #Conflicts: 242000 | #Constraints: 24303 325.58/326.47 c #Conflicts: 243000 | #Constraints: 25304 325.58/326.47 c #Conflicts: 244000 | #Constraints: 26304 325.58/326.47 c #Conflicts: 245000 | #Constraints: 27304 325.58/326.47 c #Conflicts: 246000 | #Constraints: 28304 325.58/326.47 c #Conflicts: 247000 | #Constraints: 29304 325.58/326.47 c #Conflicts: 248000 | #Constraints: 30304 325.58/326.47 c #Conflicts: 249000 | #Constraints: 31304 325.58/326.47 c #Conflicts: 250000 | #Constraints: 32305 325.58/326.47 c #Conflicts: 251000 | #Constraints: 33305 325.58/326.47 c #Conflicts: 252000 | #Constraints: 34305 325.58/326.47 c INPROCESSING 325.58/326.47 c GARBAGE COLLECT 325.58/326.47 c rational objective 85 335.36/336.26 c #Conflicts: 253000 | #Constraints: 21361 335.36/336.26 c #Conflicts: 254000 | #Constraints: 22361 335.36/336.26 c #Conflicts: 255000 | #Constraints: 23361 335.36/336.26 c #Conflicts: 256000 | #Constraints: 24361 335.36/336.26 c #Conflicts: 257000 | #Constraints: 25361 335.36/336.26 c #Conflicts: 258000 | #Constraints: 26361 335.36/336.26 c #Conflicts: 259000 | #Constraints: 27361 335.36/336.26 c #Conflicts: 260000 | #Constraints: 28361 335.36/336.26 c #Conflicts: 261000 | #Constraints: 29361 335.36/336.26 c #Conflicts: 262000 | #Constraints: 30361 335.36/336.26 c INPROCESSING 335.36/336.26 c GARBAGE COLLECT 335.36/336.26 c rational objective 85 356.21/357.14 c #Conflicts: 263000 | #Constraints: 18992 356.21/357.14 c #Conflicts: 264000 | #Constraints: 19992 356.21/357.14 c #Conflicts: 265000 | #Constraints: 20992 356.21/357.14 c #Conflicts: 266000 | #Constraints: 21992 356.21/357.14 c #Conflicts: 267000 | #Constraints: 22992 356.21/357.14 c #Conflicts: 268000 | #Constraints: 23992 356.21/357.14 c #Conflicts: 269000 | #Constraints: 24992 356.21/357.14 c #Conflicts: 270000 | #Constraints: 25992 356.21/357.14 c #Conflicts: 271000 | #Constraints: 26992 356.21/357.14 c #Conflicts: 272000 | #Constraints: 27993 356.21/357.14 c #Conflicts: 273000 | #Constraints: 28993 356.21/357.14 c INPROCESSING 356.21/357.14 c GARBAGE COLLECT 356.21/357.14 c rational objective 85 416.33/417.40 c #Conflicts: 274000 | #Constraints: 18294 416.33/417.40 c #Conflicts: 275000 | #Constraints: 19294 416.33/417.40 c #Conflicts: 276000 | #Constraints: 20294 416.33/417.40 c #Conflicts: 277000 | #Constraints: 21294 416.33/417.40 c #Conflicts: 278000 | #Constraints: 22294 416.33/417.40 c #Conflicts: 279000 | #Constraints: 23294 416.33/417.40 c #Conflicts: 280000 | #Constraints: 24294 416.33/417.40 c #Conflicts: 281000 | #Constraints: 25294 416.33/417.40 c #Conflicts: 282000 | #Constraints: 26294 416.33/417.40 c #Conflicts: 283000 | #Constraints: 27294 416.33/417.40 c #Conflicts: 284000 | #Constraints: 28294 416.33/417.40 c #Conflicts: 285000 | #Constraints: 29294 416.33/417.40 c #Conflicts: 286000 | #Constraints: 30294 416.33/417.40 c #Conflicts: 287000 | #Constraints: 31294 416.33/417.40 c #Conflicts: 288000 | #Constraints: 32295 416.33/417.40 c #Conflicts: 289000 | #Constraints: 33295 416.33/417.40 c #Conflicts: 290000 | #Constraints: 34295 416.33/417.40 c #Conflicts: 291000 | #Constraints: 35295 416.33/417.40 c #Conflicts: 292000 | #Constraints: 36295 416.33/417.40 c #Conflicts: 293000 | #Constraints: 37295 416.33/417.40 c #Conflicts: 294000 | #Constraints: 38295 416.33/417.40 c #Conflicts: 295000 | #Constraints: 39295 416.33/417.40 c #Conflicts: 296000 | #Constraints: 40295 416.33/417.40 c #Conflicts: 297000 | #Constraints: 41295 416.33/417.40 c #Conflicts: 298000 | #Constraints: 42295 416.33/417.40 c #Conflicts: 299000 | #Constraints: 43295 416.33/417.40 c #Conflicts: 300000 | #Constraints: 44296 416.33/417.40 c #Conflicts: 301000 | #Constraints: 45296 416.33/417.40 c #Conflicts: 302000 | #Constraints: 46296 416.33/417.40 c #Conflicts: 303000 | #Constraints: 47296 416.33/417.40 c #Conflicts: 304000 | #Constraints: 48296 416.33/417.40 c #Conflicts: 305000 | #Constraints: 49296 416.33/417.40 c #Conflicts: 306000 | #Constraints: 50296 416.33/417.40 c #Conflicts: 307000 | #Constraints: 51296 416.33/417.40 c #Conflicts: 308000 | #Constraints: 52296 416.33/417.40 c #Conflicts: 309000 | #Constraints: 53296 416.33/417.40 c #Conflicts: 310000 | #Constraints: 54296 416.33/417.40 c #Conflicts: 311000 | #Constraints: 55296 416.33/417.40 c #Conflicts: 312000 | #Constraints: 56296 416.33/417.40 c #Conflicts: 313000 | #Constraints: 57297 416.33/417.40 c #Conflicts: 314000 | #Constraints: 58297 416.33/417.40 c #Conflicts: 315000 | #Constraints: 59297 416.33/417.40 c #Conflicts: 316000 | #Constraints: 60297 416.33/417.40 c #Conflicts: 317000 | #Constraints: 61297 416.33/417.40 c #Conflicts: 318000 | #Constraints: 62297 416.33/417.40 c #Conflicts: 319000 | #Constraints: 63297 416.33/417.40 c INPROCESSING 416.33/417.40 c GARBAGE COLLECT 416.33/417.40 c rational objective 85 433.29/434.42 c #Conflicts: 320000 | #Constraints: 35803 433.29/434.42 c #Conflicts: 321000 | #Constraints: 36803 433.29/434.42 c #Conflicts: 322000 | #Constraints: 37803 433.29/434.42 c #Conflicts: 323000 | #Constraints: 38803 433.29/434.42 c #Conflicts: 324000 | #Constraints: 39803 433.29/434.42 c #Conflicts: 325000 | #Constraints: 40803 433.29/434.42 c #Conflicts: 326000 | #Constraints: 41803 433.29/434.42 c #Conflicts: 327000 | #Constraints: 42803 433.29/434.42 c #Conflicts: 328000 | #Constraints: 43803 433.29/434.42 c #Conflicts: 329000 | #Constraints: 44804 433.29/434.42 c #Conflicts: 330000 | #Constraints: 45804 433.29/434.42 c #Conflicts: 331000 | #Constraints: 46805 433.29/434.42 c INPROCESSING 433.29/434.42 c GARBAGE COLLECT 433.29/434.42 c rational objective 85 457.83/459.09 c #Conflicts: 332000 | #Constraints: 27389 457.83/459.09 c #Conflicts: 333000 | #Constraints: 28389 457.83/459.09 c #Conflicts: 334000 | #Constraints: 29389 457.83/459.09 c #Conflicts: 335000 | #Constraints: 30389 457.83/459.09 c #Conflicts: 336000 | #Constraints: 31389 457.83/459.09 c #Conflicts: 337000 | #Constraints: 32389 457.83/459.09 c #Conflicts: 338000 | #Constraints: 33389 457.83/459.09 c #Conflicts: 339000 | #Constraints: 34389 457.83/459.09 c #Conflicts: 340000 | #Constraints: 35389 457.83/459.09 c #Conflicts: 341000 | #Constraints: 36389 457.83/459.09 c #Conflicts: 342000 | #Constraints: 37389 457.83/459.09 c #Conflicts: 343000 | #Constraints: 38390 457.83/459.09 c #Conflicts: 344000 | #Constraints: 39390 457.83/459.09 c INPROCESSING 457.83/459.09 c GARBAGE COLLECT 457.83/459.09 c rational objective 85 472.40/473.64 c #Conflicts: 345000 | #Constraints: 23903 472.40/473.64 c #Conflicts: 346000 | #Constraints: 24903 472.40/473.64 c #Conflicts: 347000 | #Constraints: 25903 472.40/473.64 c #Conflicts: 348000 | #Constraints: 26903 472.40/473.64 c #Conflicts: 349000 | #Constraints: 27903 472.40/473.64 c #Conflicts: 350000 | #Constraints: 28903 472.40/473.64 c #Conflicts: 351000 | #Constraints: 29903 472.40/473.64 c #Conflicts: 352000 | #Constraints: 30903 472.40/473.64 c #Conflicts: 353000 | #Constraints: 31903 472.40/473.64 c #Conflicts: 354000 | #Constraints: 32903 472.40/473.64 c #Conflicts: 355000 | #Constraints: 33903 472.40/473.64 c #Conflicts: 356000 | #Constraints: 34903 472.40/473.64 c INPROCESSING 472.40/473.64 c GARBAGE COLLECT 472.40/473.64 c rational objective 85 486.56/487.89 c #Conflicts: 357000 | #Constraints: 21312 486.56/487.89 c #Conflicts: 358000 | #Constraints: 22312 486.56/487.89 c #Conflicts: 359000 | #Constraints: 23312 486.56/487.89 c #Conflicts: 360000 | #Constraints: 24312 486.56/487.89 c #Conflicts: 361000 | #Constraints: 25312 486.56/487.89 c #Conflicts: 362000 | #Constraints: 26312 486.56/487.89 c #Conflicts: 363000 | #Constraints: 27313 486.56/487.89 c #Conflicts: 364000 | #Constraints: 28313 486.56/487.89 c #Conflicts: 365000 | #Constraints: 29313 486.56/487.89 c #Conflicts: 366000 | #Constraints: 30314 486.56/487.89 c #Conflicts: 367000 | #Constraints: 31314 486.56/487.89 c #Conflicts: 368000 | #Constraints: 32314 486.56/487.89 c #Conflicts: 369000 | #Constraints: 33314 486.56/487.89 c INPROCESSING 486.56/487.89 c GARBAGE COLLECT 486.56/487.89 c rational objective 85 565.87/567.34 c #Conflicts: 370000 | #Constraints: 20621 565.87/567.34 c #Conflicts: 371000 | #Constraints: 21621 565.87/567.34 c #Conflicts: 372000 | #Constraints: 22621 565.87/567.34 c #Conflicts: 373000 | #Constraints: 23623 565.87/567.34 c #Conflicts: 374000 | #Constraints: 24623 565.87/567.34 c #Conflicts: 375000 | #Constraints: 25623 565.87/567.34 c #Conflicts: 376000 | #Constraints: 26623 565.87/567.34 c #Conflicts: 377000 | #Constraints: 27623 565.87/567.34 c #Conflicts: 378000 | #Constraints: 28623 565.87/567.34 c #Conflicts: 379000 | #Constraints: 29623 565.87/567.34 c #Conflicts: 380000 | #Constraints: 30623 565.87/567.34 c #Conflicts: 381000 | #Constraints: 31623 565.87/567.34 c #Conflicts: 382000 | #Constraints: 32623 565.87/567.34 c #Conflicts: 383000 | #Constraints: 33623 565.87/567.34 c #Conflicts: 384000 | #Constraints: 34623 565.87/567.34 c #Conflicts: 385000 | #Constraints: 35623 565.87/567.34 c #Conflicts: 386000 | #Constraints: 36623 565.87/567.34 c #Conflicts: 387000 | #Constraints: 37623 565.87/567.34 c #Conflicts: 388000 | #Constraints: 38623 565.87/567.34 c #Conflicts: 389000 | #Constraints: 39623 565.87/567.34 c #Conflicts: 390000 | #Constraints: 40623 565.87/567.34 c #Conflicts: 391000 | #Constraints: 41623 565.87/567.34 c #Conflicts: 392000 | #Constraints: 42623 565.87/567.34 c #Conflicts: 393000 | #Constraints: 43623 565.87/567.34 c #Conflicts: 394000 | #Constraints: 44623 565.87/567.34 c #Conflicts: 395000 | #Constraints: 45623 565.87/567.34 c #Conflicts: 396000 | #Constraints: 46623 565.87/567.34 c #Conflicts: 397000 | #Constraints: 47623 565.87/567.34 c #Conflicts: 398000 | #Constraints: 48623 565.87/567.34 c #Conflicts: 399000 | #Constraints: 49624 565.87/567.34 c #Conflicts: 400000 | #Constraints: 50624 565.87/567.34 c #Conflicts: 401000 | #Constraints: 51624 565.87/567.34 c #Conflicts: 402000 | #Constraints: 52624 565.87/567.34 c #Conflicts: 403000 | #Constraints: 53624 565.87/567.34 c #Conflicts: 404000 | #Constraints: 54624 565.87/567.34 c #Conflicts: 405000 | #Constraints: 55624 565.87/567.34 c #Conflicts: 406000 | #Constraints: 56624 565.87/567.34 c #Conflicts: 407000 | #Constraints: 57624 565.87/567.34 c #Conflicts: 408000 | #Constraints: 58625 565.87/567.34 c #Conflicts: 409000 | #Constraints: 59625 565.87/567.34 c #Conflicts: 410000 | #Constraints: 60625 565.87/567.34 c #Conflicts: 411000 | #Constraints: 61625 565.87/567.34 c #Conflicts: 412000 | #Constraints: 62625 565.87/567.34 c #Conflicts: 413000 | #Constraints: 63625 565.87/567.34 c #Conflicts: 414000 | #Constraints: 64625 565.87/567.34 c #Conflicts: 415000 | #Constraints: 65625 565.87/567.34 c #Conflicts: 416000 | #Constraints: 66625 565.87/567.34 c #Conflicts: 417000 | #Constraints: 67625 565.87/567.34 c #Conflicts: 418000 | #Constraints: 68625 565.87/567.34 c #Conflicts: 419000 | #Constraints: 69625 565.87/567.34 c #Conflicts: 420000 | #Constraints: 70625 565.87/567.34 c #Conflicts: 421000 | #Constraints: 71625 565.87/567.34 c INPROCESSING 565.87/567.34 c GARBAGE COLLECT 565.87/567.34 c rational objective 85 586.82/588.34 c #Conflicts: 422000 | #Constraints: 39857 586.82/588.34 c #Conflicts: 423000 | #Constraints: 40857 586.82/588.34 c #Conflicts: 424000 | #Constraints: 41857 586.82/588.34 c #Conflicts: 425000 | #Constraints: 42857 586.82/588.34 c #Conflicts: 426000 | #Constraints: 43857 586.82/588.34 c #Conflicts: 427000 | #Constraints: 44857 586.82/588.34 c #Conflicts: 428000 | #Constraints: 45857 586.82/588.34 c #Conflicts: 429000 | #Constraints: 46857 586.82/588.34 c #Conflicts: 430000 | #Constraints: 47857 586.82/588.34 c #Conflicts: 431000 | #Constraints: 48857 586.82/588.34 c #Conflicts: 432000 | #Constraints: 49857 586.82/588.34 c #Conflicts: 433000 | #Constraints: 50857 586.82/588.34 c #Conflicts: 434000 | #Constraints: 51857 586.82/588.34 c #Conflicts: 435000 | #Constraints: 52857 586.82/588.34 c INPROCESSING 586.82/588.34 c GARBAGE COLLECT 586.82/588.34 c rational objective 85 610.57/612.14 c #Conflicts: 436000 | #Constraints: 30410 610.57/612.14 c #Conflicts: 437000 | #Constraints: 31410 610.57/612.14 c #Conflicts: 438000 | #Constraints: 32410 610.57/612.14 c #Conflicts: 439000 | #Constraints: 33410 610.57/612.14 c #Conflicts: 440000 | #Constraints: 34410 610.57/612.14 c #Conflicts: 441000 | #Constraints: 35410 610.57/612.14 c #Conflicts: 442000 | #Constraints: 36411 610.57/612.14 c #Conflicts: 443000 | #Constraints: 37411 610.57/612.14 c #Conflicts: 444000 | #Constraints: 38411 610.57/612.14 c #Conflicts: 445000 | #Constraints: 39411 610.57/612.14 c #Conflicts: 446000 | #Constraints: 40411 610.57/612.14 c #Conflicts: 447000 | #Constraints: 41411 610.57/612.14 c #Conflicts: 448000 | #Constraints: 42411 610.57/612.14 c #Conflicts: 449000 | #Constraints: 43411 610.57/612.14 c #Conflicts: 450000 | #Constraints: 44411 610.57/612.14 c INPROCESSING 610.57/612.14 c GARBAGE COLLECT 610.57/612.14 c rational objective 85 637.70/639.37 c #Conflicts: 451000 | #Constraints: 26550 637.70/639.37 c #Conflicts: 452000 | #Constraints: 27550 637.70/639.37 c #Conflicts: 453000 | #Constraints: 28551 637.70/639.37 c #Conflicts: 454000 | #Constraints: 29551 637.70/639.37 c #Conflicts: 455000 | #Constraints: 30551 637.70/639.37 c #Conflicts: 456000 | #Constraints: 31551 637.70/639.37 c #Conflicts: 457000 | #Constraints: 32551 637.70/639.37 c #Conflicts: 458000 | #Constraints: 33551 637.70/639.37 c #Conflicts: 459000 | #Constraints: 34551 637.70/639.37 c #Conflicts: 460000 | #Constraints: 35551 637.70/639.37 c #Conflicts: 461000 | #Constraints: 36551 637.70/639.37 c #Conflicts: 462000 | #Constraints: 37551 637.70/639.37 c #Conflicts: 463000 | #Constraints: 38551 637.70/639.37 c #Conflicts: 464000 | #Constraints: 39551 637.70/639.37 c INPROCESSING 637.70/639.37 c GARBAGE COLLECT 637.70/639.37 c rational objective 85 659.35/661.01 c #Conflicts: 465000 | #Constraints: 23745 659.35/661.01 c #Conflicts: 466000 | #Constraints: 24745 659.35/661.01 c #Conflicts: 467000 | #Constraints: 25745 659.35/661.01 c #Conflicts: 468000 | #Constraints: 26745 659.35/661.01 c #Conflicts: 469000 | #Constraints: 27745 659.35/661.01 c #Conflicts: 470000 | #Constraints: 28745 659.35/661.01 c #Conflicts: 471000 | #Constraints: 29746 659.35/661.01 c #Conflicts: 472000 | #Constraints: 30746 659.35/661.01 c #Conflicts: 473000 | #Constraints: 31747 659.35/661.01 c #Conflicts: 474000 | #Constraints: 32748 659.35/661.01 c #Conflicts: 475000 | #Constraints: 33748 659.35/661.01 c #Conflicts: 476000 | #Constraints: 34749 659.35/661.01 c #Conflicts: 477000 | #Constraints: 35750 659.35/661.01 c #Conflicts: 478000 | #Constraints: 36752 659.35/661.01 c #Conflicts: 479000 | #Constraints: 37752 659.35/661.01 c INPROCESSING 659.35/661.01 c GARBAGE COLLECT 659.35/661.01 c rational objective 85 769.57/771.58 c #Conflicts: 480000 | #Constraints: 22985 769.57/771.58 c #Conflicts: 481000 | #Constraints: 23985 769.57/771.58 c #Conflicts: 482000 | #Constraints: 24985 769.57/771.58 c #Conflicts: 483000 | #Constraints: 25985 769.57/771.58 c #Conflicts: 484000 | #Constraints: 26985 769.57/771.58 c #Conflicts: 485000 | #Constraints: 27985 769.57/771.58 c #Conflicts: 486000 | #Constraints: 28985 769.57/771.58 c #Conflicts: 487000 | #Constraints: 29985 769.57/771.58 c #Conflicts: 488000 | #Constraints: 30985 769.57/771.58 c #Conflicts: 489000 | #Constraints: 31985 769.57/771.58 c #Conflicts: 490000 | #Constraints: 32986 769.57/771.58 c #Conflicts: 491000 | #Constraints: 33986 769.57/771.58 c #Conflicts: 492000 | #Constraints: 34987 769.57/771.58 c #Conflicts: 493000 | #Constraints: 35987 769.57/771.58 c #Conflicts: 494000 | #Constraints: 36987 769.57/771.58 c #Conflicts: 495000 | #Constraints: 37987 769.57/771.58 c #Conflicts: 496000 | #Constraints: 38988 769.57/771.58 c #Conflicts: 497000 | #Constraints: 39989 769.57/771.58 c #Conflicts: 498000 | #Constraints: 40989 769.57/771.58 c #Conflicts: 499000 | #Constraints: 41991 769.57/771.58 c #Conflicts: 500000 | #Constraints: 42993 769.57/771.58 c #Conflicts: 501000 | #Constraints: 43993 769.57/771.58 c #Conflicts: 502000 | #Constraints: 44993 769.57/771.58 c #Conflicts: 503000 | #Constraints: 45993 769.57/771.58 c #Conflicts: 504000 | #Constraints: 46995 769.57/771.58 c #Conflicts: 505000 | #Constraints: 47995 769.57/771.58 c #Conflicts: 506000 | #Constraints: 48996 769.57/771.58 c #Conflicts: 507000 | #Constraints: 49996 769.57/771.58 c #Conflicts: 508000 | #Constraints: 50996 769.57/771.58 c #Conflicts: 509000 | #Constraints: 51996 769.57/771.58 c #Conflicts: 510000 | #Constraints: 52996 769.57/771.58 c #Conflicts: 511000 | #Constraints: 53996 769.57/771.58 c #Conflicts: 512000 | #Constraints: 54997 769.57/771.58 c #Conflicts: 513000 | #Constraints: 55997 769.57/771.58 c #Conflicts: 514000 | #Constraints: 56997 769.57/771.58 c #Conflicts: 515000 | #Constraints: 57997 769.57/771.58 c #Conflicts: 516000 | #Constraints: 58997 769.57/771.58 c #Conflicts: 517000 | #Constraints: 59997 769.57/771.58 c #Conflicts: 518000 | #Constraints: 60997 769.57/771.58 c #Conflicts: 519000 | #Constraints: 61997 769.57/771.58 c #Conflicts: 520000 | #Constraints: 62997 769.57/771.58 c #Conflicts: 521000 | #Constraints: 63997 769.57/771.58 c #Conflicts: 522000 | #Constraints: 64998 769.57/771.58 c #Conflicts: 523000 | #Constraints: 65998 769.57/771.58 c #Conflicts: 524000 | #Constraints: 66998 769.57/771.58 c #Conflicts: 525000 | #Constraints: 67998 769.57/771.58 c #Conflicts: 526000 | #Constraints: 68998 769.57/771.58 c #Conflicts: 527000 | #Constraints: 69998 769.57/771.58 c #Conflicts: 528000 | #Constraints: 70998 769.57/771.58 c #Conflicts: 529000 | #Constraints: 71998 769.57/771.58 c #Conflicts: 530000 | #Constraints: 72998 769.57/771.58 c #Conflicts: 531000 | #Constraints: 73998 769.57/771.58 c #Conflicts: 532000 | #Constraints: 74998 769.57/771.58 c #Conflicts: 533000 | #Constraints: 75998 769.57/771.58 c #Conflicts: 534000 | #Constraints: 76998 769.57/771.58 c #Conflicts: 535000 | #Constraints: 78000 769.57/771.58 c #Conflicts: 536000 | #Constraints: 79000 769.57/771.58 c #Conflicts: 537000 | #Constraints: 80000 769.57/771.58 c INPROCESSING 769.57/771.58 c GARBAGE COLLECT 769.57/771.58 c rational objective 85 813.36/815.45 c #Conflicts: 538000 | #Constraints: 44011 813.36/815.45 c #Conflicts: 539000 | #Constraints: 45011 813.36/815.45 c #Conflicts: 540000 | #Constraints: 46011 813.36/815.45 c #Conflicts: 541000 | #Constraints: 47011 813.36/815.45 c #Conflicts: 542000 | #Constraints: 48011 813.36/815.45 c #Conflicts: 543000 | #Constraints: 49011 813.36/815.45 c #Conflicts: 544000 | #Constraints: 50011 813.36/815.45 c #Conflicts: 545000 | #Constraints: 51011 813.36/815.45 c #Conflicts: 546000 | #Constraints: 52011 813.36/815.45 c #Conflicts: 547000 | #Constraints: 53011 813.36/815.45 c #Conflicts: 548000 | #Constraints: 54011 813.36/815.45 c #Conflicts: 549000 | #Constraints: 55011 813.36/815.45 c #Conflicts: 550000 | #Constraints: 56011 813.36/815.45 c #Conflicts: 551000 | #Constraints: 57011 813.36/815.45 c #Conflicts: 552000 | #Constraints: 58012 813.36/815.45 c #Conflicts: 553000 | #Constraints: 59012 813.36/815.45 c INPROCESSING 813.36/815.45 c GARBAGE COLLECT 813.36/815.45 c rational objective 85 838.29/840.40 c #Conflicts: 554000 | #Constraints: 33477 838.29/840.40 c #Conflicts: 555000 | #Constraints: 34477 838.29/840.40 c #Conflicts: 556000 | #Constraints: 35477 838.29/840.40 c #Conflicts: 557000 | #Constraints: 36477 838.29/840.40 c #Conflicts: 558000 | #Constraints: 37477 838.29/840.40 c #Conflicts: 559000 | #Constraints: 38477 838.29/840.40 c #Conflicts: 560000 | #Constraints: 39477 838.29/840.40 c #Conflicts: 561000 | #Constraints: 40477 838.29/840.40 c #Conflicts: 562000 | #Constraints: 41477 838.29/840.40 c #Conflicts: 563000 | #Constraints: 42477 838.29/840.40 c #Conflicts: 564000 | #Constraints: 43477 838.29/840.40 c #Conflicts: 565000 | #Constraints: 44477 838.29/840.40 c #Conflicts: 566000 | #Constraints: 45478 838.29/840.40 c #Conflicts: 567000 | #Constraints: 46479 838.29/840.40 c #Conflicts: 568000 | #Constraints: 47479 838.29/840.40 c #Conflicts: 569000 | #Constraints: 48479 838.29/840.40 c #Conflicts: 570000 | #Constraints: 49480 838.29/840.40 c INPROCESSING 838.29/840.40 c GARBAGE COLLECT 838.29/840.40 c rational objective 85 856.75/858.96 c #Conflicts: 571000 | #Constraints: 29039 856.75/858.96 c #Conflicts: 572000 | #Constraints: 30039 856.75/858.96 c #Conflicts: 573000 | #Constraints: 31039 856.75/858.96 c #Conflicts: 574000 | #Constraints: 32039 856.75/858.96 c #Conflicts: 575000 | #Constraints: 33039 856.75/858.96 c #Conflicts: 576000 | #Constraints: 34039 856.75/858.96 c #Conflicts: 577000 | #Constraints: 35039 856.75/858.96 c #Conflicts: 578000 | #Constraints: 36039 856.75/858.96 c #Conflicts: 579000 | #Constraints: 37039 856.75/858.96 c #Conflicts: 580000 | #Constraints: 38039 856.75/858.96 c #Conflicts: 581000 | #Constraints: 39039 856.75/858.96 c #Conflicts: 582000 | #Constraints: 40039 856.75/858.96 c #Conflicts: 583000 | #Constraints: 41039 856.75/858.96 c #Conflicts: 584000 | #Constraints: 42039 856.75/858.96 c #Conflicts: 585000 | #Constraints: 43039 856.75/858.96 c #Conflicts: 586000 | #Constraints: 44039 856.75/858.96 c INPROCESSING 856.75/858.96 c GARBAGE COLLECT 856.75/858.96 c rational objective 85 875.71/878.00 c #Conflicts: 587000 | #Constraints: 26070 875.71/878.00 c #Conflicts: 588000 | #Constraints: 27070 875.71/878.00 c #Conflicts: 589000 | #Constraints: 28070 875.71/878.00 c #Conflicts: 590000 | #Constraints: 29070 875.71/878.00 c #Conflicts: 591000 | #Constraints: 30070 875.71/878.00 c #Conflicts: 592000 | #Constraints: 31070 875.71/878.00 c #Conflicts: 593000 | #Constraints: 32070 875.71/878.00 c #Conflicts: 594000 | #Constraints: 33070 875.71/878.00 c #Conflicts: 595000 | #Constraints: 34070 875.71/878.00 c #Conflicts: 596000 | #Constraints: 35070 875.71/878.00 c #Conflicts: 597000 | #Constraints: 36070 875.71/878.00 c #Conflicts: 598000 | #Constraints: 37070 875.71/878.00 c #Conflicts: 599000 | #Constraints: 38070 875.71/878.00 c #Conflicts: 600000 | #Constraints: 39070 875.71/878.00 c #Conflicts: 601000 | #Constraints: 40070 875.71/878.00 c #Conflicts: 602000 | #Constraints: 41070 875.71/878.00 c #Conflicts: 603000 | #Constraints: 42070 875.71/878.00 c INPROCESSING 875.71/878.00 c GARBAGE COLLECT 875.71/878.00 c rational objective 85 1008.56/1011.17 c #Conflicts: 604000 | #Constraints: 25225 1008.56/1011.17 c #Conflicts: 605000 | #Constraints: 26225 1008.56/1011.17 c #Conflicts: 606000 | #Constraints: 27225 1008.56/1011.17 c #Conflicts: 607000 | #Constraints: 28225 1008.56/1011.17 c #Conflicts: 608000 | #Constraints: 29225 1008.56/1011.17 c #Conflicts: 609000 | #Constraints: 30225 1008.56/1011.17 c #Conflicts: 610000 | #Constraints: 31225 1008.56/1011.17 c #Conflicts: 611000 | #Constraints: 32225 1008.56/1011.17 c #Conflicts: 612000 | #Constraints: 33225 1008.56/1011.17 c #Conflicts: 613000 | #Constraints: 34225 1008.56/1011.17 c #Conflicts: 614000 | #Constraints: 35226 1008.56/1011.17 c #Conflicts: 615000 | #Constraints: 36226 1008.56/1011.17 c #Conflicts: 616000 | #Constraints: 37229 1008.56/1011.17 c #Conflicts: 617000 | #Constraints: 38230 1008.56/1011.17 c #Conflicts: 618000 | #Constraints: 39230 1008.56/1011.17 c #Conflicts: 619000 | #Constraints: 40230 1008.56/1011.17 c #Conflicts: 620000 | #Constraints: 41230 1008.56/1011.17 c #Conflicts: 621000 | #Constraints: 42230 1008.56/1011.17 c #Conflicts: 622000 | #Constraints: 43230 1008.56/1011.17 c #Conflicts: 623000 | #Constraints: 44230 1008.56/1011.17 c #Conflicts: 624000 | #Constraints: 45230 1008.56/1011.17 c #Conflicts: 625000 | #Constraints: 46230 1008.56/1011.17 c #Conflicts: 626000 | #Constraints: 47230 1008.56/1011.17 c #Conflicts: 627000 | #Constraints: 48230 1008.56/1011.17 c #Conflicts: 628000 | #Constraints: 49230 1008.56/1011.17 c #Conflicts: 629000 | #Constraints: 50231 1008.56/1011.17 c #Conflicts: 630000 | #Constraints: 51231 1008.56/1011.17 c #Conflicts: 631000 | #Constraints: 52231 1008.56/1011.17 c #Conflicts: 632000 | #Constraints: 53231 1008.56/1011.17 c #Conflicts: 633000 | #Constraints: 54231 1008.56/1011.17 c #Conflicts: 634000 | #Constraints: 55231 1008.56/1011.17 c #Conflicts: 635000 | #Constraints: 56231 1008.56/1011.17 c #Conflicts: 636000 | #Constraints: 57231 1008.56/1011.17 c #Conflicts: 637000 | #Constraints: 58231 1008.56/1011.17 c #Conflicts: 638000 | #Constraints: 59231 1008.56/1011.17 c #Conflicts: 639000 | #Constraints: 60231 1008.56/1011.17 c #Conflicts: 640000 | #Constraints: 61231 1008.56/1011.17 c #Conflicts: 641000 | #Constraints: 62231 1008.56/1011.17 c #Conflicts: 642000 | #Constraints: 63231 1008.56/1011.17 c #Conflicts: 643000 | #Constraints: 64231 1008.56/1011.17 c #Conflicts: 644000 | #Constraints: 65231 1008.56/1011.17 c #Conflicts: 645000 | #Constraints: 66231 1008.56/1011.17 c #Conflicts: 646000 | #Constraints: 67231 1008.56/1011.17 c #Conflicts: 647000 | #Constraints: 68231 1008.56/1011.17 c #Conflicts: 648000 | #Constraints: 69231 1008.56/1011.17 c #Conflicts: 649000 | #Constraints: 70231 1008.56/1011.17 c #Conflicts: 650000 | #Constraints: 71231 1008.56/1011.17 c #Conflicts: 651000 | #Constraints: 72231 1008.56/1011.17 c #Conflicts: 652000 | #Constraints: 73231 1008.56/1011.17 c #Conflicts: 653000 | #Constraints: 74231 1008.56/1011.17 c #Conflicts: 654000 | #Constraints: 75231 1008.56/1011.17 c #Conflicts: 655000 | #Constraints: 76231 1008.56/1011.17 c #Conflicts: 656000 | #Constraints: 77231 1008.56/1011.17 c #Conflicts: 657000 | #Constraints: 78231 1008.56/1011.17 c #Conflicts: 658000 | #Constraints: 79231 1008.56/1011.17 c #Conflicts: 659000 | #Constraints: 80231 1008.56/1011.17 c #Conflicts: 660000 | #Constraints: 81231 1008.56/1011.17 c #Conflicts: 661000 | #Constraints: 82231 1008.56/1011.17 c #Conflicts: 662000 | #Constraints: 83231 1008.56/1011.17 c #Conflicts: 663000 | #Constraints: 84231 1008.56/1011.17 c #Conflicts: 664000 | #Constraints: 85231 1008.56/1011.17 c #Conflicts: 665000 | #Constraints: 86231 1008.56/1011.17 c #Conflicts: 666000 | #Constraints: 87231 1008.56/1011.17 c #Conflicts: 667000 | #Constraints: 88231 1008.56/1011.17 c INPROCESSING 1008.56/1011.17 c GARBAGE COLLECT 1008.56/1011.17 c rational objective 85 1048.85/1051.55 c #Conflicts: 668000 | #Constraints: 48070 1048.85/1051.55 c #Conflicts: 669000 | #Constraints: 49070 1048.85/1051.55 c #Conflicts: 670000 | #Constraints: 50071 1048.85/1051.55 c #Conflicts: 671000 | #Constraints: 51071 1048.85/1051.55 c #Conflicts: 672000 | #Constraints: 52071 1048.85/1051.55 c #Conflicts: 673000 | #Constraints: 53071 1048.85/1051.55 c #Conflicts: 674000 | #Constraints: 54072 1048.85/1051.55 c #Conflicts: 675000 | #Constraints: 55072 1048.85/1051.55 c #Conflicts: 676000 | #Constraints: 56072 1048.85/1051.55 c #Conflicts: 677000 | #Constraints: 57073 1048.85/1051.55 c #Conflicts: 678000 | #Constraints: 58073 1048.85/1051.55 c #Conflicts: 679000 | #Constraints: 59073 1048.85/1051.55 c #Conflicts: 680000 | #Constraints: 60073 1048.85/1051.55 c #Conflicts: 681000 | #Constraints: 61073 1048.85/1051.55 c #Conflicts: 682000 | #Constraints: 62073 1048.85/1051.55 c #Conflicts: 683000 | #Constraints: 63073 1048.85/1051.55 c #Conflicts: 684000 | #Constraints: 64074 1048.85/1051.55 c #Conflicts: 685000 | #Constraints: 65074 1048.85/1051.55 c INPROCESSING 1048.85/1051.55 c GARBAGE COLLECT 1048.85/1051.55 c rational objective 85 1076.39/1079.16 c #Conflicts: 686000 | #Constraints: 36526 1076.39/1079.16 c #Conflicts: 687000 | #Constraints: 37526 1076.39/1079.16 c #Conflicts: 688000 | #Constraints: 38526 1076.39/1079.16 c #Conflicts: 689000 | #Constraints: 39526 1076.39/1079.16 c #Conflicts: 690000 | #Constraints: 40526 1076.39/1079.16 c #Conflicts: 691000 | #Constraints: 41526 1076.39/1079.16 c #Conflicts: 692000 | #Constraints: 42526 1076.39/1079.16 c #Conflicts: 693000 | #Constraints: 43526 1076.39/1079.16 c #Conflicts: 694000 | #Constraints: 44526 1076.39/1079.16 c #Conflicts: 695000 | #Constraints: 45526 1076.39/1079.16 c #Conflicts: 696000 | #Constraints: 46526 1076.39/1079.16 c #Conflicts: 697000 | #Constraints: 47526 1076.39/1079.16 c #Conflicts: 698000 | #Constraints: 48527 1076.39/1079.16 c #Conflicts: 699000 | #Constraints: 49527 1076.39/1079.16 c #Conflicts: 700000 | #Constraints: 50527 1076.39/1079.16 c #Conflicts: 701000 | #Constraints: 51527 1076.39/1079.16 c #Conflicts: 702000 | #Constraints: 52527 1076.39/1079.16 c #Conflicts: 703000 | #Constraints: 53527 1076.39/1079.16 c #Conflicts: 704000 | #Constraints: 54527 1076.39/1079.16 c INPROCESSING 1076.39/1079.16 c GARBAGE COLLECT 1076.39/1079.16 c rational objective 85 1108.11/1110.98 c #Conflicts: 705000 | #Constraints: 31622 1108.11/1110.98 c #Conflicts: 706000 | #Constraints: 32622 1108.11/1110.98 c #Conflicts: 707000 | #Constraints: 33623 1108.11/1110.98 c #Conflicts: 708000 | #Constraints: 34623 1108.11/1110.98 c #Conflicts: 709000 | #Constraints: 35623 1108.11/1110.98 c #Conflicts: 710000 | #Constraints: 36623 1108.11/1110.98 c #Conflicts: 711000 | #Constraints: 37623 1108.11/1110.98 c #Conflicts: 712000 | #Constraints: 38623 1108.11/1110.98 c #Conflicts: 713000 | #Constraints: 39623 1108.11/1110.98 c #Conflicts: 714000 | #Constraints: 40623 1108.11/1110.98 c #Conflicts: 715000 | #Constraints: 41623 1108.11/1110.98 c #Conflicts: 716000 | #Constraints: 42623 1108.11/1110.98 c #Conflicts: 717000 | #Constraints: 43623 1108.11/1110.98 c #Conflicts: 718000 | #Constraints: 44623 1108.11/1110.98 c #Conflicts: 719000 | #Constraints: 45623 1108.11/1110.98 c #Conflicts: 720000 | #Constraints: 46624 1108.11/1110.98 c #Conflicts: 721000 | #Constraints: 47624 1108.11/1110.98 c #Conflicts: 722000 | #Constraints: 48625 1108.11/1110.98 c INPROCESSING 1108.11/1110.98 c GARBAGE COLLECT 1108.11/1110.98 c rational objective 85 1145.49/1148.40 c #Conflicts: 723000 | #Constraints: 28492 1145.49/1148.40 c #Conflicts: 724000 | #Constraints: 29492 1145.49/1148.40 c #Conflicts: 725000 | #Constraints: 30492 1145.49/1148.40 c #Conflicts: 726000 | #Constraints: 31492 1145.49/1148.40 c #Conflicts: 727000 | #Constraints: 32492 1145.49/1148.40 c #Conflicts: 728000 | #Constraints: 33492 1145.49/1148.40 c #Conflicts: 729000 | #Constraints: 34492 1145.49/1148.40 c #Conflicts: 730000 | #Constraints: 35492 1145.49/1148.40 c #Conflicts: 731000 | #Constraints: 36492 1145.49/1148.40 c #Conflicts: 732000 | #Constraints: 37492 1145.49/1148.40 c #Conflicts: 733000 | #Constraints: 38492 1145.49/1148.40 c #Conflicts: 734000 | #Constraints: 39492 1145.49/1148.40 c #Conflicts: 735000 | #Constraints: 40493 1145.49/1148.40 c #Conflicts: 736000 | #Constraints: 41493 1145.49/1148.40 c #Conflicts: 737000 | #Constraints: 42493 1145.49/1148.40 c #Conflicts: 738000 | #Constraints: 43493 1145.49/1148.40 c #Conflicts: 739000 | #Constraints: 44493 1145.49/1148.40 c #Conflicts: 740000 | #Constraints: 45493 1145.49/1148.40 c #Conflicts: 741000 | #Constraints: 46493 1145.49/1148.40 c INPROCESSING 1145.49/1148.40 c GARBAGE COLLECT 1145.49/1148.40 c rational objective 85 1304.90/1308.35 c #Conflicts: 742000 | #Constraints: 27547 1304.90/1308.35 c #Conflicts: 743000 | #Constraints: 28547 1304.90/1308.35 c #Conflicts: 744000 | #Constraints: 29547 1304.90/1308.35 c #Conflicts: 745000 | #Constraints: 30547 1304.90/1308.35 c #Conflicts: 746000 | #Constraints: 31547 1304.90/1308.35 c #Conflicts: 747000 | #Constraints: 32547 1304.90/1308.35 c #Conflicts: 748000 | #Constraints: 33547 1304.90/1308.35 c #Conflicts: 749000 | #Constraints: 34547 1304.90/1308.35 c #Conflicts: 750000 | #Constraints: 35547 1304.90/1308.35 c #Conflicts: 751000 | #Constraints: 36547 1304.90/1308.35 c #Conflicts: 752000 | #Constraints: 37547 1304.90/1308.35 c #Conflicts: 753000 | #Constraints: 38547 1304.90/1308.35 c #Conflicts: 754000 | #Constraints: 39548 1304.90/1308.35 c #Conflicts: 755000 | #Constraints: 40548 1304.90/1308.35 c #Conflicts: 756000 | #Constraints: 41548 1304.90/1308.35 c #Conflicts: 757000 | #Constraints: 42548 1304.90/1308.35 c #Conflicts: 758000 | #Constraints: 43548 1304.90/1308.35 c #Conflicts: 759000 | #Constraints: 44548 1304.90/1308.35 c #Conflicts: 760000 | #Constraints: 45549 1304.90/1308.35 c #Conflicts: 761000 | #Constraints: 46549 1304.90/1308.35 c #Conflicts: 762000 | #Constraints: 47549 1304.90/1308.35 c #Conflicts: 763000 | #Constraints: 48549 1304.90/1308.35 c #Conflicts: 764000 | #Constraints: 49549 1304.90/1308.35 c #Conflicts: 765000 | #Constraints: 50549 1304.90/1308.35 c #Conflicts: 766000 | #Constraints: 51549 1304.90/1308.35 c #Conflicts: 767000 | #Constraints: 52549 1304.90/1308.35 c #Conflicts: 768000 | #Constraints: 53549 1304.90/1308.35 c #Conflicts: 769000 | #Constraints: 54549 1304.90/1308.35 c #Conflicts: 770000 | #Constraints: 55549 1304.90/1308.35 c #Conflicts: 771000 | #Constraints: 56550 1304.90/1308.35 c #Conflicts: 772000 | #Constraints: 57550 1304.90/1308.35 c #Conflicts: 773000 | #Constraints: 58551 1304.90/1308.35 c #Conflicts: 774000 | #Constraints: 59551 1304.90/1308.35 c #Conflicts: 775000 | #Constraints: 60551 1304.90/1308.35 c #Conflicts: 776000 | #Constraints: 61551 1304.90/1308.35 c #Conflicts: 777000 | #Constraints: 62551 1304.90/1308.35 c #Conflicts: 778000 | #Constraints: 63551 1304.90/1308.35 c #Conflicts: 779000 | #Constraints: 64551 1304.90/1308.35 c #Conflicts: 780000 | #Constraints: 65551 1304.90/1308.35 c #Conflicts: 781000 | #Constraints: 66551 1304.90/1308.35 c #Conflicts: 782000 | #Constraints: 67551 1304.90/1308.35 c #Conflicts: 783000 | #Constraints: 68551 1304.90/1308.35 c #Conflicts: 784000 | #Constraints: 69551 1304.90/1308.35 c #Conflicts: 785000 | #Constraints: 70551 1304.90/1308.35 c #Conflicts: 786000 | #Constraints: 71551 1304.90/1308.35 c #Conflicts: 787000 | #Constraints: 72551 1304.90/1308.35 c #Conflicts: 788000 | #Constraints: 73551 1304.90/1308.35 c #Conflicts: 789000 | #Constraints: 74551 1304.90/1308.35 c #Conflicts: 790000 | #Constraints: 75551 1304.90/1308.35 c #Conflicts: 791000 | #Constraints: 76551 1304.90/1308.35 c #Conflicts: 792000 | #Constraints: 77551 1304.90/1308.35 c #Conflicts: 793000 | #Constraints: 78551 1304.90/1308.35 c #Conflicts: 794000 | #Constraints: 79551 1304.90/1308.35 c #Conflicts: 795000 | #Constraints: 80551 1304.90/1308.35 c #Conflicts: 796000 | #Constraints: 81551 1304.90/1308.35 c #Conflicts: 797000 | #Constraints: 82551 1304.90/1308.35 c #Conflicts: 798000 | #Constraints: 83552 1304.90/1308.35 c #Conflicts: 799000 | #Constraints: 84552 1304.90/1308.35 c #Conflicts: 800000 | #Constraints: 85552 1304.90/1308.35 c #Conflicts: 801000 | #Constraints: 86552 1304.90/1308.35 c #Conflicts: 802000 | #Constraints: 87552 1304.90/1308.35 c #Conflicts: 803000 | #Constraints: 88552 1304.90/1308.35 c #Conflicts: 804000 | #Constraints: 89552 1304.90/1308.35 c #Conflicts: 805000 | #Constraints: 90552 1304.90/1308.35 c #Conflicts: 806000 | #Constraints: 91552 1304.90/1308.35 c #Conflicts: 807000 | #Constraints: 92552 1304.90/1308.35 c #Conflicts: 808000 | #Constraints: 93552 1304.90/1308.35 c #Conflicts: 809000 | #Constraints: 94552 1304.90/1308.35 c #Conflicts: 810000 | #Constraints: 95553 1304.90/1308.35 c #Conflicts: 811000 | #Constraints: 96553 1304.90/1308.35 c #Conflicts: 812000 | #Constraints: 97553 1304.90/1308.35 c INPROCESSING 1304.90/1308.35 c GARBAGE COLLECT 1304.90/1308.35 c rational objective 85 1340.78/1344.32 c #Conflicts: 813000 | #Constraints: 53169 1340.78/1344.32 c #Conflicts: 814000 | #Constraints: 54169 1340.78/1344.32 c #Conflicts: 815000 | #Constraints: 55169 1340.78/1344.32 c #Conflicts: 816000 | #Constraints: 56169 1340.78/1344.32 c #Conflicts: 817000 | #Constraints: 57169 1340.78/1344.32 c #Conflicts: 818000 | #Constraints: 58169 1340.78/1344.32 c #Conflicts: 819000 | #Constraints: 59169 1340.78/1344.32 c #Conflicts: 820000 | #Constraints: 60169 1340.78/1344.32 c #Conflicts: 821000 | #Constraints: 61169 1340.78/1344.32 c #Conflicts: 822000 | #Constraints: 62170 1340.78/1344.32 c #Conflicts: 823000 | #Constraints: 63171 1340.78/1344.32 c #Conflicts: 824000 | #Constraints: 64171 1340.78/1344.32 c #Conflicts: 825000 | #Constraints: 65171 1340.78/1344.32 c #Conflicts: 826000 | #Constraints: 66171 1340.78/1344.32 c #Conflicts: 827000 | #Constraints: 67171 1340.78/1344.32 c #Conflicts: 828000 | #Constraints: 68171 1340.78/1344.32 c #Conflicts: 829000 | #Constraints: 69171 1340.78/1344.32 c #Conflicts: 830000 | #Constraints: 70171 1340.78/1344.32 c #Conflicts: 831000 | #Constraints: 71171 1340.78/1344.32 c INPROCESSING 1340.78/1344.32 c GARBAGE COLLECT 1340.78/1344.32 c rational objective 85 1375.38/1379.01 c #Conflicts: 832000 | #Constraints: 39516 1375.38/1379.01 c #Conflicts: 833000 | #Constraints: 40516 1375.38/1379.01 c #Conflicts: 834000 | #Constraints: 41516 1375.38/1379.01 c #Conflicts: 835000 | #Constraints: 42516 1375.38/1379.01 c #Conflicts: 836000 | #Constraints: 43516 1375.38/1379.01 c #Conflicts: 837000 | #Constraints: 44516 1375.38/1379.01 c #Conflicts: 838000 | #Constraints: 45516 1375.38/1379.01 c #Conflicts: 839000 | #Constraints: 46516 1375.38/1379.01 c #Conflicts: 840000 | #Constraints: 47516 1375.38/1379.01 c #Conflicts: 841000 | #Constraints: 48516 1375.38/1379.01 c #Conflicts: 842000 | #Constraints: 49516 1375.38/1379.01 c #Conflicts: 843000 | #Constraints: 50516 1375.38/1379.01 c #Conflicts: 844000 | #Constraints: 51516 1375.38/1379.01 c #Conflicts: 845000 | #Constraints: 52517 1375.38/1379.01 c #Conflicts: 846000 | #Constraints: 53517 1375.38/1379.01 c #Conflicts: 847000 | #Constraints: 54517 1375.38/1379.01 c #Conflicts: 848000 | #Constraints: 55517 1375.38/1379.01 c #Conflicts: 849000 | #Constraints: 56517 1375.38/1379.01 c #Conflicts: 850000 | #Constraints: 57517 1375.38/1379.01 c #Conflicts: 851000 | #Constraints: 58517 1375.38/1379.01 c #Conflicts: 852000 | #Constraints: 59517 1375.38/1379.01 c INPROCESSING 1375.38/1379.01 c GARBAGE COLLECT 1375.38/1379.01 c rational objective 85 1402.41/1406.17 c #Conflicts: 853000 | #Constraints: 34105 1402.41/1406.17 c #Conflicts: 854000 | #Constraints: 35105 1402.41/1406.17 c #Conflicts: 855000 | #Constraints: 36105 1402.41/1406.17 c #Conflicts: 856000 | #Constraints: 37105 1402.41/1406.17 c #Conflicts: 857000 | #Constraints: 38105 1402.41/1406.17 c #Conflicts: 858000 | #Constraints: 39105 1402.41/1406.17 c #Conflicts: 859000 | #Constraints: 40105 1402.41/1406.17 c #Conflicts: 860000 | #Constraints: 41105 1402.41/1406.17 c #Conflicts: 861000 | #Constraints: 42105 1402.41/1406.17 c #Conflicts: 862000 | #Constraints: 43105 1402.41/1406.17 c #Conflicts: 863000 | #Constraints: 44105 1402.41/1406.17 c #Conflicts: 864000 | #Constraints: 45105 1402.41/1406.17 c #Conflicts: 865000 | #Constraints: 46105 1402.41/1406.17 c #Conflicts: 866000 | #Constraints: 47105 1402.41/1406.17 c #Conflicts: 867000 | #Constraints: 48106 1402.41/1406.17 c #Conflicts: 868000 | #Constraints: 49106 1402.41/1406.17 c #Conflicts: 869000 | #Constraints: 50106 1402.41/1406.17 c #Conflicts: 870000 | #Constraints: 51106 1402.41/1406.17 c #Conflicts: 871000 | #Constraints: 52106 1402.41/1406.17 c #Conflicts: 872000 | #Constraints: 53107 1402.41/1406.17 c INPROCESSING 1402.41/1406.17 c GARBAGE COLLECT 1402.41/1406.17 c rational objective 85 1426.23/1430.01 c #Conflicts: 873000 | #Constraints: 30756 1426.23/1430.01 c #Conflicts: 874000 | #Constraints: 31756 1426.23/1430.01 c #Conflicts: 875000 | #Constraints: 32756 1426.23/1430.01 c #Conflicts: 876000 | #Constraints: 33756 1426.23/1430.01 c #Conflicts: 877000 | #Constraints: 34756 1426.23/1430.01 c #Conflicts: 878000 | #Constraints: 35756 1426.23/1430.01 c #Conflicts: 879000 | #Constraints: 36756 1426.23/1430.01 c #Conflicts: 880000 | #Constraints: 37756 1426.23/1430.01 c #Conflicts: 881000 | #Constraints: 38756 1426.23/1430.01 c #Conflicts: 882000 | #Constraints: 39756 1426.23/1430.01 c #Conflicts: 883000 | #Constraints: 40756 1426.23/1430.01 c #Conflicts: 884000 | #Constraints: 41756 1426.23/1430.01 c #Conflicts: 885000 | #Constraints: 42756 1426.23/1430.01 c #Conflicts: 886000 | #Constraints: 43756 1426.23/1430.01 c #Conflicts: 887000 | #Constraints: 44756 1426.23/1430.01 c #Conflicts: 888000 | #Constraints: 45756 1426.23/1430.01 c #Conflicts: 889000 | #Constraints: 46756 1426.23/1430.01 c #Conflicts: 890000 | #Constraints: 47756 1426.23/1430.01 c #Conflicts: 891000 | #Constraints: 48756 1426.23/1430.01 c #Conflicts: 892000 | #Constraints: 49756 1426.23/1430.01 c INPROCESSING 1426.23/1430.01 c GARBAGE COLLECT 1426.23/1430.01 c rational objective 85 1597.80/1602.17 c #Conflicts: 893000 | #Constraints: 28819 1597.80/1602.17 c #Conflicts: 894000 | #Constraints: 29820 1597.80/1602.17 c #Conflicts: 895000 | #Constraints: 30820 1597.80/1602.17 c #Conflicts: 896000 | #Constraints: 31820 1597.80/1602.17 c #Conflicts: 897000 | #Constraints: 32820 1597.80/1602.17 c #Conflicts: 898000 | #Constraints: 33820 1597.80/1602.17 c #Conflicts: 899000 | #Constraints: 34820 1597.80/1602.17 c #Conflicts: 900000 | #Constraints: 35820 1597.80/1602.17 c #Conflicts: 901000 | #Constraints: 36820 1597.80/1602.17 c #Conflicts: 902000 | #Constraints: 37820 1597.80/1602.17 c #Conflicts: 903000 | #Constraints: 38820 1597.80/1602.17 c #Conflicts: 904000 | #Constraints: 39820 1597.80/1602.17 c #Conflicts: 905000 | #Constraints: 40820 1597.80/1602.17 c #Conflicts: 906000 | #Constraints: 41821 1597.80/1602.17 c #Conflicts: 907000 | #Constraints: 42821 1597.80/1602.17 c #Conflicts: 908000 | #Constraints: 43821 1597.80/1602.17 c #Conflicts: 909000 | #Constraints: 44821 1597.80/1602.17 c #Conflicts: 910000 | #Constraints: 45821 1597.80/1602.17 c #Conflicts: 911000 | #Constraints: 46821 1597.80/1602.17 c #Conflicts: 912000 | #Constraints: 47821 1597.80/1602.17 c #Conflicts: 913000 | #Constraints: 48821 1597.80/1602.17 c #Conflicts: 914000 | #Constraints: 49822 1597.80/1602.17 c #Conflicts: 915000 | #Constraints: 50823 1597.80/1602.17 c #Conflicts: 916000 | #Constraints: 51823 1597.80/1602.17 c #Conflicts: 917000 | #Constraints: 52823 1597.80/1602.17 c #Conflicts: 918000 | #Constraints: 53823 1597.80/1602.17 c #Conflicts: 919000 | #Constraints: 54823 1597.80/1602.17 c #Conflicts: 920000 | #Constraints: 55823 1597.80/1602.17 c #Conflicts: 921000 | #Constraints: 56823 1597.80/1602.17 c #Conflicts: 922000 | #Constraints: 57823 1597.80/1602.17 c #Conflicts: 923000 | #Constraints: 58823 1597.80/1602.17 c #Conflicts: 924000 | #Constraints: 59823 1597.80/1602.17 c #Conflicts: 925000 | #Constraints: 60823 1597.80/1602.17 c #Conflicts: 926000 | #Constraints: 61823 1597.80/1602.17 c #Conflicts: 927000 | #Constraints: 62823 1597.80/1602.17 c #Conflicts: 928000 | #Constraints: 63823 1597.80/1602.17 c #Conflicts: 929000 | #Constraints: 64823 1597.80/1602.17 c #Conflicts: 930000 | #Constraints: 65823 1597.80/1602.17 c #Conflicts: 931000 | #Constraints: 66823 1597.80/1602.17 c #Conflicts: 932000 | #Constraints: 67823 1597.80/1602.17 c #Conflicts: 933000 | #Constraints: 68823 1597.80/1602.17 c #Conflicts: 934000 | #Constraints: 69823 1597.80/1602.17 c #Conflicts: 935000 | #Constraints: 70823 1597.80/1602.17 c #Conflicts: 936000 | #Constraints: 71823 1597.80/1602.17 c #Conflicts: 937000 | #Constraints: 72823 1597.80/1602.17 c #Conflicts: 938000 | #Constraints: 73823 1597.80/1602.17 c #Conflicts: 939000 | #Constraints: 74824 1597.80/1602.17 c #Conflicts: 940000 | #Constraints: 75824 1597.80/1602.17 c #Conflicts: 941000 | #Constraints: 76824 1597.80/1602.17 c #Conflicts: 942000 | #Constraints: 77824 1597.80/1602.17 c #Conflicts: 943000 | #Constraints: 78824 1597.80/1602.17 c #Conflicts: 944000 | #Constraints: 79824 1597.80/1602.17 c #Conflicts: 945000 | #Constraints: 80826 1597.80/1602.17 c #Conflicts: 946000 | #Constraints: 81826 1597.80/1602.17 c #Conflicts: 947000 | #Constraints: 82827 1597.80/1602.17 c #Conflicts: 948000 | #Constraints: 83828 1597.80/1602.17 c #Conflicts: 949000 | #Constraints: 84828 1597.80/1602.17 c #Conflicts: 950000 | #Constraints: 85829 1597.80/1602.17 c #Conflicts: 951000 | #Constraints: 86829 1597.80/1602.17 c #Conflicts: 952000 | #Constraints: 87829 1597.80/1602.17 c #Conflicts: 953000 | #Constraints: 88829 1597.80/1602.17 c #Conflicts: 954000 | #Constraints: 89829 1597.80/1602.17 c #Conflicts: 955000 | #Constraints: 90829 1597.80/1602.17 c #Conflicts: 956000 | #Constraints: 91829 1597.80/1602.17 c #Conflicts: 957000 | #Constraints: 92829 1597.80/1602.17 c #Conflicts: 958000 | #Constraints: 93829 1597.80/1602.17 c #Conflicts: 959000 | #Constraints: 94829 1597.80/1602.17 c #Conflicts: 960000 | #Constraints: 95829 1597.80/1602.17 c #Conflicts: 961000 | #Constraints: 96830 1597.80/1602.17 c #Conflicts: 962000 | #Constraints: 97830 1597.80/1602.17 c #Conflicts: 963000 | #Constraints: 98830 1597.80/1602.17 c #Conflicts: 964000 | #Constraints: 99830 1597.80/1602.17 c #Conflicts: 965000 | #Constraints: 100830 1597.80/1602.17 c #Conflicts: 966000 | #Constraints: 101830 1597.80/1602.17 c #Conflicts: 967000 | #Constraints: 102830 1597.80/1602.17 c #Conflicts: 968000 | #Constraints: 103830 1597.80/1602.17 c #Conflicts: 969000 | #Constraints: 104830 1597.80/1602.17 c #Conflicts: 970000 | #Constraints: 105830 1597.80/1602.17 c INPROCESSING 1597.80/1602.17 c GARBAGE COLLECT 1597.80/1602.17 c rational objective 85 1648.34/1652.80 c #Conflicts: 971000 | #Constraints: 57217 1648.34/1652.80 c #Conflicts: 972000 | #Constraints: 58217 1648.34/1652.80 c #Conflicts: 973000 | #Constraints: 59217 1648.34/1652.80 c #Conflicts: 974000 | #Constraints: 60218 1648.34/1652.80 c #Conflicts: 975000 | #Constraints: 61218 1648.34/1652.80 c #Conflicts: 976000 | #Constraints: 62218 1648.34/1652.80 c #Conflicts: 977000 | #Constraints: 63218 1648.34/1652.80 c #Conflicts: 978000 | #Constraints: 64218 1648.34/1652.80 c #Conflicts: 979000 | #Constraints: 65218 1648.34/1652.80 c #Conflicts: 980000 | #Constraints: 66219 1648.34/1652.80 c #Conflicts: 981000 | #Constraints: 67219 1648.34/1652.80 c #Conflicts: 982000 | #Constraints: 68219 1648.34/1652.80 c #Conflicts: 983000 | #Constraints: 69219 1648.34/1652.80 c #Conflicts: 984000 | #Constraints: 70219 1648.34/1652.80 c #Conflicts: 985000 | #Constraints: 71219 1648.34/1652.80 c #Conflicts: 986000 | #Constraints: 72219 1648.34/1652.80 c #Conflicts: 987000 | #Constraints: 73219 1648.34/1652.80 c #Conflicts: 988000 | #Constraints: 74219 1648.34/1652.80 c #Conflicts: 989000 | #Constraints: 75219 1648.34/1652.80 c #Conflicts: 990000 | #Constraints: 76219 1648.34/1652.80 c #Conflicts: 991000 | #Constraints: 77219 1648.34/1652.80 c #Conflicts: 992000 | #Constraints: 78219 1648.34/1652.80 c INPROCESSING 1648.34/1652.80 c GARBAGE COLLECT 1648.34/1652.80 c rational objective 85 1682.64/1687.24 c #Conflicts: 993000 | #Constraints: 43596 1682.64/1687.24 c #Conflicts: 994000 | #Constraints: 44596 1682.64/1687.24 c #Conflicts: 995000 | #Constraints: 45596 1682.64/1687.24 c #Conflicts: 996000 | #Constraints: 46596 1682.64/1687.24 c #Conflicts: 997000 | #Constraints: 47596 1682.64/1687.24 c #Conflicts: 998000 | #Constraints: 48596 1682.64/1687.24 c #Conflicts: 999000 | #Constraints: 49596 1682.64/1687.24 c #Conflicts: 1000000 | #Constraints: 50596 1682.64/1687.24 c #Conflicts: 1001000 | #Constraints: 51596 1682.64/1687.24 c #Conflicts: 1002000 | #Constraints: 52596 1682.64/1687.24 c #Conflicts: 1003000 | #Constraints: 53596 1682.64/1687.24 c #Conflicts: 1004000 | #Constraints: 54596 1682.64/1687.24 c #Conflicts: 1005000 | #Constraints: 55596 1682.64/1687.24 c #Conflicts: 1006000 | #Constraints: 56596 1682.64/1687.24 c #Conflicts: 1007000 | #Constraints: 57596 1682.64/1687.24 c #Conflicts: 1008000 | #Constraints: 58596 1682.64/1687.24 c #Conflicts: 1009000 | #Constraints: 59596 1682.64/1687.24 c #Conflicts: 1010000 | #Constraints: 60596 1682.64/1687.24 c #Conflicts: 1011000 | #Constraints: 61596 1682.64/1687.24 c #Conflicts: 1012000 | #Constraints: 62596 1682.64/1687.24 c #Conflicts: 1013000 | #Constraints: 63596 1682.64/1687.24 c #Conflicts: 1014000 | #Constraints: 64596 1682.64/1687.24 c INPROCESSING 1682.64/1687.24 c GARBAGE COLLECT 1682.64/1687.24 c rational objective 85 1716.24/1720.97 c #Conflicts: 1015000 | #Constraints: 36692 1716.24/1720.97 c #Conflicts: 1016000 | #Constraints: 37692 1716.24/1720.97 c #Conflicts: 1017000 | #Constraints: 38692 1716.24/1720.97 c #Conflicts: 1018000 | #Constraints: 39692 1716.24/1720.97 c #Conflicts: 1019000 | #Constraints: 40693 1716.24/1720.97 c #Conflicts: 1020000 | #Constraints: 41693 1716.24/1720.97 c #Conflicts: 1021000 | #Constraints: 42693 1716.24/1720.97 c #Conflicts: 1022000 | #Constraints: 43693 1716.24/1720.97 c #Conflicts: 1023000 | #Constraints: 44693 1716.24/1720.97 c #Conflicts: 1024000 | #Constraints: 45693 1716.24/1720.97 c #Conflicts: 1025000 | #Constraints: 46693 1716.24/1720.97 c #Conflicts: 1026000 | #Constraints: 47693 1716.24/1720.97 c #Conflicts: 1027000 | #Constraints: 48693 1716.24/1720.97 c #Conflicts: 1028000 | #Constraints: 49694 1716.24/1720.97 c #Conflicts: 1029000 | #Constraints: 50694 1716.24/1720.97 c #Conflicts: 1030000 | #Constraints: 51694 1716.24/1720.97 c #Conflicts: 1031000 | #Constraints: 52695 1716.24/1720.97 c #Conflicts: 1032000 | #Constraints: 53695 1716.24/1720.97 c #Conflicts: 1033000 | #Constraints: 54695 1716.24/1720.97 c #Conflicts: 1034000 | #Constraints: 55696 1716.24/1720.97 c #Conflicts: 1035000 | #Constraints: 56696 1716.24/1720.97 c #Conflicts: 1036000 | #Constraints: 57696 1716.24/1720.97 c INPROCESSING 1716.24/1720.97 c GARBAGE COLLECT 1716.24/1720.97 c rational objective 85 1753.53/1758.30 c #Conflicts: 1037000 | #Constraints: 33101 1753.53/1758.30 c #Conflicts: 1038000 | #Constraints: 34101 1753.53/1758.30 c #Conflicts: 1039000 | #Constraints: 35101 1753.53/1758.30 c #Conflicts: 1040000 | #Constraints: 36101 1753.53/1758.30 c #Conflicts: 1041000 | #Constraints: 37101 1753.53/1758.30 c #Conflicts: 1042000 | #Constraints: 38101 1753.53/1758.30 c #Conflicts: 1043000 | #Constraints: 39101 1753.53/1758.30 c #Conflicts: 1044000 | #Constraints: 40101 1753.53/1758.30 c #Conflicts: 1045000 | #Constraints: 41101 1753.53/1758.30 c #Conflicts: 1046000 | #Constraints: 42101 1753.53/1758.30 c #Conflicts: 1047000 | #Constraints: 43102 1753.53/1758.30 c #Conflicts: 1048000 | #Constraints: 44102 1753.53/1758.30 c #Conflicts: 1049000 | #Constraints: 45102 1753.53/1758.30 c #Conflicts: 1050000 | #Constraints: 46102 1753.53/1758.30 c #Conflicts: 1051000 | #Constraints: 47102 1753.53/1758.30 c #Conflicts: 1052000 | #Constraints: 48102 1753.53/1758.30 c #Conflicts: 1053000 | #Constraints: 49102 1753.53/1758.30 c #Conflicts: 1054000 | #Constraints: 50102 1753.53/1758.30 c #Conflicts: 1055000 | #Constraints: 51102 1753.53/1758.30 c #Conflicts: 1056000 | #Constraints: 52102 1753.53/1758.30 c #Conflicts: 1057000 | #Constraints: 53102 1753.53/1758.30 c #Conflicts: 1058000 | #Constraints: 54102 1753.53/1758.30 c INPROCESSING 1753.53/1758.30 c GARBAGE COLLECT 1753.53/1758.30 c rational objective 85 1939.76/1945.14 c #Conflicts: 1059000 | #Constraints: 31140 1939.76/1945.14 c #Conflicts: 1060000 | #Constraints: 32140 1939.76/1945.14 c #Conflicts: 1061000 | #Constraints: 33141 1939.76/1945.14 c #Conflicts: 1062000 | #Constraints: 34141 1939.76/1945.14 c #Conflicts: 1063000 | #Constraints: 35142 1939.76/1945.14 c #Conflicts: 1064000 | #Constraints: 36143 1939.76/1945.14 c #Conflicts: 1065000 | #Constraints: 37143 1939.76/1945.14 c #Conflicts: 1066000 | #Constraints: 38143 1939.76/1945.14 c #Conflicts: 1067000 | #Constraints: 39143 1939.76/1945.14 c #Conflicts: 1068000 | #Constraints: 40143 1939.76/1945.14 c #Conflicts: 1069000 | #Constraints: 41144 1939.76/1945.14 c #Conflicts: 1070000 | #Constraints: 42144 1939.76/1945.14 c #Conflicts: 1071000 | #Constraints: 43144 1939.76/1945.14 c #Conflicts: 1072000 | #Constraints: 44144 1939.76/1945.14 c #Conflicts: 1073000 | #Constraints: 45144 1939.76/1945.14 c #Conflicts: 1074000 | #Constraints: 46144 1939.76/1945.14 c #Conflicts: 1075000 | #Constraints: 47144 1939.76/1945.14 c #Conflicts: 1076000 | #Constraints: 48144 1939.76/1945.14 c #Conflicts: 1077000 | #Constraints: 49145 1939.76/1945.14 c #Conflicts: 1078000 | #Constraints: 50145 1939.76/1945.14 c #Conflicts: 1079000 | #Constraints: 51145 1939.76/1945.14 c #Conflicts: 1080000 | #Constraints: 52145 1939.76/1945.14 c #Conflicts: 1081000 | #Constraints: 53145 1939.76/1945.14 c #Conflicts: 1082000 | #Constraints: 54145 1939.76/1945.14 c #Conflicts: 1083000 | #Constraints: 55145 1939.76/1945.14 c #Conflicts: 1084000 | #Constraints: 56145 1939.76/1945.14 c #Conflicts: 1085000 | #Constraints: 57145 1939.76/1945.14 c #Conflicts: 1086000 | #Constraints: 58145 1939.76/1945.14 c #Conflicts: 1087000 | #Constraints: 59145 1939.76/1945.14 c #Conflicts: 1088000 | #Constraints: 60145 1939.76/1945.14 c #Conflicts: 1089000 | #Constraints: 61145 1939.76/1945.14 c #Conflicts: 1090000 | #Constraints: 62145 1939.76/1945.14 c #Conflicts: 1091000 | #Constraints: 63145 1939.76/1945.14 c #Conflicts: 1092000 | #Constraints: 64145 1939.76/1945.14 c #Conflicts: 1093000 | #Constraints: 65145 1939.76/1945.14 c #Conflicts: 1094000 | #Constraints: 66145 1939.76/1945.14 c #Conflicts: 1095000 | #Constraints: 67145 1939.76/1945.14 c #Conflicts: 1096000 | #Constraints: 68145 1939.76/1945.14 c #Conflicts: 1097000 | #Constraints: 69145 1939.76/1945.14 c #Conflicts: 1098000 | #Constraints: 70145 1939.76/1945.14 c #Conflicts: 1099000 | #Constraints: 71145 1939.76/1945.14 c #Conflicts: 1100000 | #Constraints: 72145 1939.76/1945.14 c #Conflicts: 1101000 | #Constraints: 73145 1939.76/1945.14 c #Conflicts: 1102000 | #Constraints: 74145 1939.76/1945.14 c #Conflicts: 1103000 | #Constraints: 75145 1939.76/1945.14 c #Conflicts: 1104000 | #Constraints: 76146 1939.76/1945.14 c #Conflicts: 1105000 | #Constraints: 77146 1939.76/1945.14 c #Conflicts: 1106000 | #Constraints: 78146 1939.76/1945.14 c #Conflicts: 1107000 | #Constraints: 79146 1939.76/1945.14 c #Conflicts: 1108000 | #Constraints: 80146 1939.76/1945.14 c #Conflicts: 1109000 | #Constraints: 81146 1939.76/1945.14 c #Conflicts: 1110000 | #Constraints: 82146 1939.76/1945.14 c #Conflicts: 1111000 | #Constraints: 83147 1939.76/1945.14 c #Conflicts: 1112000 | #Constraints: 84147 1939.76/1945.14 c #Conflicts: 1113000 | #Constraints: 85148 1939.76/1945.14 c #Conflicts: 1114000 | #Constraints: 86148 1939.76/1945.14 c #Conflicts: 1115000 | #Constraints: 87148 1939.76/1945.14 c #Conflicts: 1116000 | #Constraints: 88151 1939.76/1945.14 c #Conflicts: 1117000 | #Constraints: 89152 1939.76/1945.14 c #Conflicts: 1118000 | #Constraints: 90152 1939.76/1945.14 c #Conflicts: 1119000 | #Constraints: 91152 1939.76/1945.14 c #Conflicts: 1120000 | #Constraints: 92152 1939.76/1945.14 c #Conflicts: 1121000 | #Constraints: 93152 1939.76/1945.14 c #Conflicts: 1122000 | #Constraints: 94152 1939.76/1945.14 c #Conflicts: 1123000 | #Constraints: 95152 1939.76/1945.14 c #Conflicts: 1124000 | #Constraints: 96152 1939.76/1945.14 c #Conflicts: 1125000 | #Constraints: 97152 1939.76/1945.14 c #Conflicts: 1126000 | #Constraints: 98152 1939.76/1945.14 c #Conflicts: 1127000 | #Constraints: 99152 1939.76/1945.14 c #Conflicts: 1128000 | #Constraints: 100152 1939.76/1945.14 c #Conflicts: 1129000 | #Constraints: 101152 1939.76/1945.14 c #Conflicts: 1130000 | #Constraints: 102152 1939.76/1945.14 c #Conflicts: 1131000 | #Constraints: 103152 1939.76/1945.14 c #Conflicts: 1132000 | #Constraints: 104152 1939.76/1945.14 c #Conflicts: 1133000 | #Constraints: 105152 1939.76/1945.14 c #Conflicts: 1134000 | #Constraints: 106152 1939.76/1945.14 c #Conflicts: 1135000 | #Constraints: 107152 1939.76/1945.14 c #Conflicts: 1136000 | #Constraints: 108152 1939.76/1945.14 c #Conflicts: 1137000 | #Constraints: 109152 1968.97/1974.45 c #Conflicts: 1138000 | #Constraints: 110152 1968.97/1974.45 c #Conflicts: 1139000 | #Constraints: 111152 1968.97/1974.45 c #Conflicts: 1140000 | #Constraints: 112152 1968.97/1974.45 c #Conflicts: 1141000 | #Constraints: 113153 1968.97/1974.45 c #Conflicts: 1142000 | #Constraints: 114153 1968.97/1974.45 c INPROCESSING 1968.97/1974.45 c GARBAGE COLLECT 1968.97/1974.45 c rational objective 85 2021.10/2026.73 c #Conflicts: 1143000 | #Constraints: 61227 2021.10/2026.73 c #Conflicts: 1144000 | #Constraints: 62227 2021.10/2026.73 c #Conflicts: 1145000 | #Constraints: 63227 2021.10/2026.73 c #Conflicts: 1146000 | #Constraints: 64227 2021.10/2026.73 c #Conflicts: 1147000 | #Constraints: 65228 2021.10/2026.73 c #Conflicts: 1148000 | #Constraints: 66229 2021.10/2026.73 c #Conflicts: 1149000 | #Constraints: 67229 2021.10/2026.73 c #Conflicts: 1150000 | #Constraints: 68229 2021.10/2026.73 c #Conflicts: 1151000 | #Constraints: 69229 2021.10/2026.73 c #Conflicts: 1152000 | #Constraints: 70229 2021.10/2026.73 c #Conflicts: 1153000 | #Constraints: 71229 2021.10/2026.73 c #Conflicts: 1154000 | #Constraints: 72229 2021.10/2026.73 c #Conflicts: 1155000 | #Constraints: 73229 2021.10/2026.73 c #Conflicts: 1156000 | #Constraints: 74230 2021.10/2026.73 c #Conflicts: 1157000 | #Constraints: 75230 2021.10/2026.73 c #Conflicts: 1158000 | #Constraints: 76230 2021.10/2026.73 c #Conflicts: 1159000 | #Constraints: 77230 2021.10/2026.73 c #Conflicts: 1160000 | #Constraints: 78231 2021.10/2026.73 c #Conflicts: 1161000 | #Constraints: 79231 2021.10/2026.73 c #Conflicts: 1162000 | #Constraints: 80231 2021.10/2026.73 c #Conflicts: 1163000 | #Constraints: 81231 2021.10/2026.73 c #Conflicts: 1164000 | #Constraints: 82231 2021.10/2026.73 c #Conflicts: 1165000 | #Constraints: 83231 2021.10/2026.73 c #Conflicts: 1166000 | #Constraints: 84231 2021.10/2026.73 c INPROCESSING 2021.10/2026.73 c GARBAGE COLLECT 2021.10/2026.73 c rational objective 85 2065.57/2071.33 c #Conflicts: 1167000 | #Constraints: 46417 2065.57/2071.33 c #Conflicts: 1168000 | #Constraints: 47417 2065.57/2071.33 c #Conflicts: 1169000 | #Constraints: 48419 2065.57/2071.33 c #Conflicts: 1170000 | #Constraints: 49421 2065.57/2071.33 c #Conflicts: 1171000 | #Constraints: 50422 2065.57/2071.33 c #Conflicts: 1172000 | #Constraints: 51422 2065.57/2071.33 c #Conflicts: 1173000 | #Constraints: 52424 2065.57/2071.33 c #Conflicts: 1174000 | #Constraints: 53425 2065.57/2071.33 c #Conflicts: 1175000 | #Constraints: 54425 2065.57/2071.33 c #Conflicts: 1176000 | #Constraints: 55426 2065.57/2071.33 c #Conflicts: 1177000 | #Constraints: 56426 2065.57/2071.33 c #Conflicts: 1178000 | #Constraints: 57426 2065.57/2071.33 c #Conflicts: 1179000 | #Constraints: 58426 2065.57/2071.33 c #Conflicts: 1180000 | #Constraints: 59426 2065.57/2071.33 c #Conflicts: 1181000 | #Constraints: 60426 2065.57/2071.33 c #Conflicts: 1182000 | #Constraints: 61426 2065.57/2071.33 c #Conflicts: 1183000 | #Constraints: 62426 2065.57/2071.33 c #Conflicts: 1184000 | #Constraints: 63426 2065.57/2071.33 c #Conflicts: 1185000 | #Constraints: 64426 2065.57/2071.33 c #Conflicts: 1186000 | #Constraints: 65426 2065.57/2071.33 c #Conflicts: 1187000 | #Constraints: 66426 2065.57/2071.33 c #Conflicts: 1188000 | #Constraints: 67426 2065.57/2071.33 c #Conflicts: 1189000 | #Constraints: 68426 2065.57/2071.33 c #Conflicts: 1190000 | #Constraints: 69426 2065.57/2071.33 c INPROCESSING 2065.57/2071.33 c GARBAGE COLLECT 2065.57/2071.33 c rational objective 85 2102.66/2108.56 c #Conflicts: 1191000 | #Constraints: 39122 2102.66/2108.56 c #Conflicts: 1192000 | #Constraints: 40122 2102.66/2108.56 c #Conflicts: 1193000 | #Constraints: 41122 2102.66/2108.56 c #Conflicts: 1194000 | #Constraints: 42122 2102.66/2108.56 c #Conflicts: 1195000 | #Constraints: 43123 2102.66/2108.56 c #Conflicts: 1196000 | #Constraints: 44123 2102.66/2108.56 c #Conflicts: 1197000 | #Constraints: 45123 2102.66/2108.56 c #Conflicts: 1198000 | #Constraints: 46123 2102.66/2108.56 c #Conflicts: 1199000 | #Constraints: 47123 2102.66/2108.56 c #Conflicts: 1200000 | #Constraints: 48123 2102.66/2108.56 c #Conflicts: 1201000 | #Constraints: 49123 2102.66/2108.56 c #Conflicts: 1202000 | #Constraints: 50123 2102.66/2108.56 c #Conflicts: 1203000 | #Constraints: 51123 2102.66/2108.56 c #Conflicts: 1204000 | #Constraints: 52123 2102.66/2108.56 c #Conflicts: 1205000 | #Constraints: 53123 2102.66/2108.56 c #Conflicts: 1206000 | #Constraints: 54123 2102.66/2108.56 c #Conflicts: 1207000 | #Constraints: 55123 2102.66/2108.56 c #Conflicts: 1208000 | #Constraints: 56123 2102.66/2108.56 c #Conflicts: 1209000 | #Constraints: 57123 2102.66/2108.56 c #Conflicts: 1210000 | #Constraints: 58123 2102.66/2108.56 c #Conflicts: 1211000 | #Constraints: 59123 2102.66/2108.56 c #Conflicts: 1212000 | #Constraints: 60123 2102.66/2108.56 c #Conflicts: 1213000 | #Constraints: 61123 2102.66/2108.56 c #Conflicts: 1214000 | #Constraints: 62123 2102.66/2108.56 c INPROCESSING 2102.66/2108.56 c GARBAGE COLLECT 2102.66/2108.56 c rational objective 85 2139.85/2145.83 c #Conflicts: 1215000 | #Constraints: 35433 2139.85/2145.83 c #Conflicts: 1216000 | #Constraints: 36433 2139.85/2145.83 c #Conflicts: 1217000 | #Constraints: 37433 2139.85/2145.83 c #Conflicts: 1218000 | #Constraints: 38434 2139.85/2145.83 c #Conflicts: 1219000 | #Constraints: 39434 2139.85/2145.83 c #Conflicts: 1220000 | #Constraints: 40435 2139.85/2145.83 c #Conflicts: 1221000 | #Constraints: 41435 2139.85/2145.83 c #Conflicts: 1222000 | #Constraints: 42436 2139.85/2145.83 c #Conflicts: 1223000 | #Constraints: 43436 2139.85/2145.83 c #Conflicts: 1224000 | #Constraints: 44436 2139.85/2145.83 c #Conflicts: 1225000 | #Constraints: 45436 2139.85/2145.83 c #Conflicts: 1226000 | #Constraints: 46436 2139.85/2145.83 c #Conflicts: 1227000 | #Constraints: 47436 2139.85/2145.83 c #Conflicts: 1228000 | #Constraints: 48437 2139.85/2145.83 c #Conflicts: 1229000 | #Constraints: 49437 2139.85/2145.83 c #Conflicts: 1230000 | #Constraints: 50437 2139.85/2145.83 c #Conflicts: 1231000 | #Constraints: 51437 2139.85/2145.83 c #Conflicts: 1232000 | #Constraints: 52437 2139.85/2145.83 c #Conflicts: 1233000 | #Constraints: 53437 2139.85/2145.83 c #Conflicts: 1234000 | #Constraints: 54437 2139.85/2145.83 c #Conflicts: 1235000 | #Constraints: 55437 2139.85/2145.83 c #Conflicts: 1236000 | #Constraints: 56437 2139.85/2145.83 c #Conflicts: 1237000 | #Constraints: 57437 2139.85/2145.83 c #Conflicts: 1238000 | #Constraints: 58437 2139.85/2145.83 c INPROCESSING 2139.85/2145.83 c GARBAGE COLLECT 2139.85/2145.83 c rational objective 85 2333.95/2340.50 c #Conflicts: 1239000 | #Constraints: 33446 2333.95/2340.50 c #Conflicts: 1240000 | #Constraints: 34446 2333.95/2340.50 c #Conflicts: 1241000 | #Constraints: 35446 2333.95/2340.50 c #Conflicts: 1242000 | #Constraints: 36447 2333.95/2340.50 c #Conflicts: 1243000 | #Constraints: 37447 2333.95/2340.50 c #Conflicts: 1244000 | #Constraints: 38447 2333.95/2340.50 c #Conflicts: 1245000 | #Constraints: 39447 2333.95/2340.50 c #Conflicts: 1246000 | #Constraints: 40447 2333.95/2340.50 c #Conflicts: 1247000 | #Constraints: 41447 2333.95/2340.50 c #Conflicts: 1248000 | #Constraints: 42447 2333.95/2340.50 c #Conflicts: 1249000 | #Constraints: 43447 2333.95/2340.50 c #Conflicts: 1250000 | #Constraints: 44447 2333.95/2340.50 c #Conflicts: 1251000 | #Constraints: 45447 2333.95/2340.50 c #Conflicts: 1252000 | #Constraints: 46447 2333.95/2340.50 c #Conflicts: 1253000 | #Constraints: 47447 2333.95/2340.50 c #Conflicts: 1254000 | #Constraints: 48447 2333.95/2340.50 c #Conflicts: 1255000 | #Constraints: 49447 2333.95/2340.50 c #Conflicts: 1256000 | #Constraints: 50447 2333.95/2340.50 c #Conflicts: 1257000 | #Constraints: 51447 2333.95/2340.50 c #Conflicts: 1258000 | #Constraints: 52448 2333.95/2340.50 c #Conflicts: 1259000 | #Constraints: 53448 2333.95/2340.50 c #Conflicts: 1260000 | #Constraints: 54448 2333.95/2340.50 c #Conflicts: 1261000 | #Constraints: 55448 2333.95/2340.50 c #Conflicts: 1262000 | #Constraints: 56449 2333.95/2340.50 c #Conflicts: 1263000 | #Constraints: 57449 2333.95/2340.50 c #Conflicts: 1264000 | #Constraints: 58449 2333.95/2340.50 c #Conflicts: 1265000 | #Constraints: 59449 2333.95/2340.50 c #Conflicts: 1266000 | #Constraints: 60449 2333.95/2340.50 c #Conflicts: 1267000 | #Constraints: 61449 2333.95/2340.50 c #Conflicts: 1268000 | #Constraints: 62449 2333.95/2340.50 c #Conflicts: 1269000 | #Constraints: 63449 2333.95/2340.50 c #Conflicts: 1270000 | #Constraints: 64449 2333.95/2340.50 c #Conflicts: 1271000 | #Constraints: 65449 2333.95/2340.50 c #Conflicts: 1272000 | #Constraints: 66449 2333.95/2340.50 c #Conflicts: 1273000 | #Constraints: 67450 2333.95/2340.50 c #Conflicts: 1274000 | #Constraints: 68450 2333.95/2340.50 c #Conflicts: 1275000 | #Constraints: 69450 2333.95/2340.50 c #Conflicts: 1276000 | #Constraints: 70450 2333.95/2340.50 c #Conflicts: 1277000 | #Constraints: 71450 2333.95/2340.50 c #Conflicts: 1278000 | #Constraints: 72450 2333.95/2340.50 c #Conflicts: 1279000 | #Constraints: 73450 2333.95/2340.50 c #Conflicts: 1280000 | #Constraints: 74450 2333.95/2340.50 c #Conflicts: 1281000 | #Constraints: 75450 2333.95/2340.50 c #Conflicts: 1282000 | #Constraints: 76450 2333.95/2340.50 c #Conflicts: 1283000 | #Constraints: 77450 2333.95/2340.50 c #Conflicts: 1284000 | #Constraints: 78450 2333.95/2340.50 c #Conflicts: 1285000 | #Constraints: 79451 2333.95/2340.50 c #Conflicts: 1286000 | #Constraints: 80451 2333.95/2340.50 c #Conflicts: 1287000 | #Constraints: 81451 2333.95/2340.50 c #Conflicts: 1288000 | #Constraints: 82451 2333.95/2340.50 c #Conflicts: 1289000 | #Constraints: 83451 2333.95/2340.50 c #Conflicts: 1290000 | #Constraints: 84451 2333.95/2340.50 c #Conflicts: 1291000 | #Constraints: 85451 2333.95/2340.50 c #Conflicts: 1292000 | #Constraints: 86451 2333.95/2340.50 c #Conflicts: 1293000 | #Constraints: 87451 2333.95/2340.50 c #Conflicts: 1294000 | #Constraints: 88451 2333.95/2340.50 c #Conflicts: 1295000 | #Constraints: 89451 2333.95/2340.50 c #Conflicts: 1296000 | #Constraints: 90451 2333.95/2340.50 c #Conflicts: 1297000 | #Constraints: 91451 2333.95/2340.50 c #Conflicts: 1298000 | #Constraints: 92451 2333.95/2340.50 c #Conflicts: 1299000 | #Constraints: 93451 2333.95/2340.50 c #Conflicts: 1300000 | #Constraints: 94451 2333.95/2340.50 c #Conflicts: 1301000 | #Constraints: 95451 2333.95/2340.50 c #Conflicts: 1302000 | #Constraints: 96451 2333.95/2340.50 c #Conflicts: 1303000 | #Constraints: 97452 2333.95/2340.50 c #Conflicts: 1304000 | #Constraints: 98452 2333.95/2340.50 c #Conflicts: 1305000 | #Constraints: 99453 2333.95/2340.50 c #Conflicts: 1306000 | #Constraints: 100453 2333.95/2340.50 c #Conflicts: 1307000 | #Constraints: 101453 2333.95/2340.50 c #Conflicts: 1308000 | #Constraints: 102453 2333.95/2340.50 c #Conflicts: 1309000 | #Constraints: 103454 2333.95/2340.50 c #Conflicts: 1310000 | #Constraints: 104454 2333.95/2340.50 c #Conflicts: 1311000 | #Constraints: 105454 2333.95/2340.50 c #Conflicts: 1312000 | #Constraints: 106454 2333.95/2340.50 c #Conflicts: 1313000 | #Constraints: 107454 2333.95/2340.50 c #Conflicts: 1314000 | #Constraints: 108454 2333.95/2340.50 c #Conflicts: 1315000 | #Constraints: 109454 2333.95/2340.50 c #Conflicts: 1316000 | #Constraints: 110454 2333.95/2340.50 c #Conflicts: 1317000 | #Constraints: 111454 2379.10/2385.84 c #Conflicts: 1318000 | #Constraints: 112454 2379.10/2385.84 c #Conflicts: 1319000 | #Constraints: 113454 2379.10/2385.84 c #Conflicts: 1320000 | #Constraints: 114454 2379.10/2385.84 c #Conflicts: 1321000 | #Constraints: 115455 2379.10/2385.84 c #Conflicts: 1322000 | #Constraints: 116455 2379.10/2385.84 c #Conflicts: 1323000 | #Constraints: 117455 2379.10/2385.84 c #Conflicts: 1324000 | #Constraints: 118455 2379.10/2385.84 c #Conflicts: 1325000 | #Constraints: 119455 2379.10/2385.84 c #Conflicts: 1326000 | #Constraints: 120455 2379.10/2385.84 c #Conflicts: 1327000 | #Constraints: 121455 2379.10/2385.84 c #Conflicts: 1328000 | #Constraints: 122455 2379.10/2385.84 c INPROCESSING 2379.10/2385.84 c GARBAGE COLLECT 2379.10/2385.84 c rational objective 85 2445.11/2452.02 c #Conflicts: 1329000 | #Constraints: 65344 2445.11/2452.02 c #Conflicts: 1330000 | #Constraints: 66344 2445.11/2452.02 c #Conflicts: 1331000 | #Constraints: 67344 2445.11/2452.02 c #Conflicts: 1332000 | #Constraints: 68344 2445.11/2452.02 c #Conflicts: 1333000 | #Constraints: 69344 2445.11/2452.02 c #Conflicts: 1334000 | #Constraints: 70344 2445.11/2452.02 c #Conflicts: 1335000 | #Constraints: 71344 2445.11/2452.02 c #Conflicts: 1336000 | #Constraints: 72344 2445.11/2452.02 c #Conflicts: 1337000 | #Constraints: 73344 2445.11/2452.02 c #Conflicts: 1338000 | #Constraints: 74344 2445.11/2452.02 c #Conflicts: 1339000 | #Constraints: 75344 2445.11/2452.02 c #Conflicts: 1340000 | #Constraints: 76344 2445.11/2452.02 c #Conflicts: 1341000 | #Constraints: 77345 2445.11/2452.02 c #Conflicts: 1342000 | #Constraints: 78345 2445.11/2452.02 c #Conflicts: 1343000 | #Constraints: 79345 2445.11/2452.02 c #Conflicts: 1344000 | #Constraints: 80345 2445.11/2452.02 c #Conflicts: 1345000 | #Constraints: 81345 2445.11/2452.02 c #Conflicts: 1346000 | #Constraints: 82345 2445.11/2452.02 c #Conflicts: 1347000 | #Constraints: 83346 2445.11/2452.02 c #Conflicts: 1348000 | #Constraints: 84346 2445.11/2452.02 c #Conflicts: 1349000 | #Constraints: 85346 2445.11/2452.02 c #Conflicts: 1350000 | #Constraints: 86348 2445.11/2452.02 c #Conflicts: 1351000 | #Constraints: 87350 2445.11/2452.02 c #Conflicts: 1352000 | #Constraints: 88350 2445.11/2452.02 c #Conflicts: 1353000 | #Constraints: 89350 2445.11/2452.02 c #Conflicts: 1354000 | #Constraints: 90350 2445.11/2452.02 c INPROCESSING 2445.11/2452.02 c GARBAGE COLLECT 2445.11/2452.02 c rational objective 85 2498.54/2505.60 c #Conflicts: 1355000 | #Constraints: 49500 2498.54/2505.60 c #Conflicts: 1356000 | #Constraints: 50500 2498.54/2505.60 c #Conflicts: 1357000 | #Constraints: 51500 2498.54/2505.60 c #Conflicts: 1358000 | #Constraints: 52500 2498.54/2505.60 c #Conflicts: 1359000 | #Constraints: 53500 2498.54/2505.60 c #Conflicts: 1360000 | #Constraints: 54500 2498.54/2505.60 c #Conflicts: 1361000 | #Constraints: 55500 2498.54/2505.60 c #Conflicts: 1362000 | #Constraints: 56500 2498.54/2505.60 c #Conflicts: 1363000 | #Constraints: 57500 2498.54/2505.60 c #Conflicts: 1364000 | #Constraints: 58500 2498.54/2505.60 c #Conflicts: 1365000 | #Constraints: 59501 2498.54/2505.60 c #Conflicts: 1366000 | #Constraints: 60501 2498.54/2505.60 c #Conflicts: 1367000 | #Constraints: 61501 2498.54/2505.60 c #Conflicts: 1368000 | #Constraints: 62501 2498.54/2505.60 c #Conflicts: 1369000 | #Constraints: 63501 2498.54/2505.60 c #Conflicts: 1370000 | #Constraints: 64501 2498.54/2505.60 c #Conflicts: 1371000 | #Constraints: 65502 2498.54/2505.60 c #Conflicts: 1372000 | #Constraints: 66502 2498.54/2505.60 c #Conflicts: 1373000 | #Constraints: 67503 2498.54/2505.60 c #Conflicts: 1374000 | #Constraints: 68503 2498.54/2505.60 c #Conflicts: 1375000 | #Constraints: 69503 2498.54/2505.60 c #Conflicts: 1376000 | #Constraints: 70503 2498.54/2505.60 c #Conflicts: 1377000 | #Constraints: 71504 2498.54/2505.60 c #Conflicts: 1378000 | #Constraints: 72504 2498.54/2505.60 c #Conflicts: 1379000 | #Constraints: 73504 2498.54/2505.60 c #Conflicts: 1380000 | #Constraints: 74504 2498.54/2505.60 c INPROCESSING 2498.54/2505.60 c GARBAGE COLLECT 2498.54/2505.60 c rational objective 85 2539.39/2546.63 c #Conflicts: 1381000 | #Constraints: 41690 2539.39/2546.63 c #Conflicts: 1382000 | #Constraints: 42691 2539.39/2546.63 c #Conflicts: 1383000 | #Constraints: 43691 2539.39/2546.63 c #Conflicts: 1384000 | #Constraints: 44692 2539.39/2546.63 c #Conflicts: 1385000 | #Constraints: 45692 2539.39/2546.63 c #Conflicts: 1386000 | #Constraints: 46692 2539.39/2546.63 c #Conflicts: 1387000 | #Constraints: 47692 2539.39/2546.63 c #Conflicts: 1388000 | #Constraints: 48692 2539.39/2546.63 c #Conflicts: 1389000 | #Constraints: 49692 2539.39/2546.63 c #Conflicts: 1390000 | #Constraints: 50692 2539.39/2546.63 c #Conflicts: 1391000 | #Constraints: 51692 2539.39/2546.63 c #Conflicts: 1392000 | #Constraints: 52692 2539.39/2546.63 c #Conflicts: 1393000 | #Constraints: 53692 2539.39/2546.63 c #Conflicts: 1394000 | #Constraints: 54692 2539.39/2546.63 c #Conflicts: 1395000 | #Constraints: 55692 2539.39/2546.63 c #Conflicts: 1396000 | #Constraints: 56693 2539.39/2546.63 c #Conflicts: 1397000 | #Constraints: 57693 2539.39/2546.63 c #Conflicts: 1398000 | #Constraints: 58693 2539.39/2546.63 c #Conflicts: 1399000 | #Constraints: 59693 2539.39/2546.63 c #Conflicts: 1400000 | #Constraints: 60693 2539.39/2546.63 c #Conflicts: 1401000 | #Constraints: 61693 2539.39/2546.63 c #Conflicts: 1402000 | #Constraints: 62693 2539.39/2546.63 c #Conflicts: 1403000 | #Constraints: 63693 2539.39/2546.63 c #Conflicts: 1404000 | #Constraints: 64693 2539.39/2546.63 c #Conflicts: 1405000 | #Constraints: 65693 2539.39/2546.63 c #Conflicts: 1406000 | #Constraints: 66693 2539.39/2546.63 c INPROCESSING 2539.39/2546.63 c GARBAGE COLLECT 2539.39/2546.63 c rational objective 85 2582.37/2589.77 c #Conflicts: 1407000 | #Constraints: 37727 2582.37/2589.77 c #Conflicts: 1408000 | #Constraints: 38728 2582.37/2589.77 c #Conflicts: 1409000 | #Constraints: 39729 2582.37/2589.77 c #Conflicts: 1410000 | #Constraints: 40729 2582.37/2589.77 c #Conflicts: 1411000 | #Constraints: 41729 2582.37/2589.77 c #Conflicts: 1412000 | #Constraints: 42729 2582.37/2589.77 c #Conflicts: 1413000 | #Constraints: 43729 2582.37/2589.77 c #Conflicts: 1414000 | #Constraints: 44729 2582.37/2589.77 c #Conflicts: 1415000 | #Constraints: 45729 2582.37/2589.77 c #Conflicts: 1416000 | #Constraints: 46729 2582.37/2589.77 c #Conflicts: 1417000 | #Constraints: 47729 2582.37/2589.77 c #Conflicts: 1418000 | #Constraints: 48729 2582.37/2589.77 c #Conflicts: 1419000 | #Constraints: 49729 2582.37/2589.77 c #Conflicts: 1420000 | #Constraints: 50729 2582.37/2589.77 c #Conflicts: 1421000 | #Constraints: 51729 2582.37/2589.77 c #Conflicts: 1422000 | #Constraints: 52730 2582.37/2589.77 c #Conflicts: 1423000 | #Constraints: 53730 2582.37/2589.77 c #Conflicts: 1424000 | #Constraints: 54730 2582.37/2589.77 c #Conflicts: 1425000 | #Constraints: 55730 2582.37/2589.77 c #Conflicts: 1426000 | #Constraints: 56730 2582.37/2589.77 c #Conflicts: 1427000 | #Constraints: 57730 2582.37/2589.77 c #Conflicts: 1428000 | #Constraints: 58731 2582.37/2589.77 c #Conflicts: 1429000 | #Constraints: 59731 2582.37/2589.77 c #Conflicts: 1430000 | #Constraints: 60731 2582.37/2589.77 c #Conflicts: 1431000 | #Constraints: 61731 2582.37/2589.77 c #Conflicts: 1432000 | #Constraints: 62731 2582.37/2589.77 c INPROCESSING 2582.37/2589.77 c GARBAGE COLLECT 2582.37/2589.77 c rational objective 85 2780.21/2788.13 c #Conflicts: 1433000 | #Constraints: 35699 2780.21/2788.13 c #Conflicts: 1434000 | #Constraints: 36700 2780.21/2788.13 c #Conflicts: 1435000 | #Constraints: 37700 2780.21/2788.13 c #Conflicts: 1436000 | #Constraints: 38700 2780.21/2788.13 c #Conflicts: 1437000 | #Constraints: 39700 2780.21/2788.13 c #Conflicts: 1438000 | #Constraints: 40700 2780.21/2788.13 c #Conflicts: 1439000 | #Constraints: 41700 2780.21/2788.13 c #Conflicts: 1440000 | #Constraints: 42700 2780.21/2788.13 c #Conflicts: 1441000 | #Constraints: 43700 2780.21/2788.13 c #Conflicts: 1442000 | #Constraints: 44700 2780.21/2788.13 c #Conflicts: 1443000 | #Constraints: 45700 2780.21/2788.13 c #Conflicts: 1444000 | #Constraints: 46700 2780.21/2788.13 c #Conflicts: 1445000 | #Constraints: 47700 2780.21/2788.13 c #Conflicts: 1446000 | #Constraints: 48700 2780.21/2788.13 c #Conflicts: 1447000 | #Constraints: 49700 2780.21/2788.13 c #Conflicts: 1448000 | #Constraints: 50700 2780.21/2788.13 c #Conflicts: 1449000 | #Constraints: 51700 2780.21/2788.13 c #Conflicts: 1450000 | #Constraints: 52700 2780.21/2788.13 c #Conflicts: 1451000 | #Constraints: 53700 2780.21/2788.13 c #Conflicts: 1452000 | #Constraints: 54700 2780.21/2788.13 c #Conflicts: 1453000 | #Constraints: 55700 2780.21/2788.13 c #Conflicts: 1454000 | #Constraints: 56700 2780.21/2788.13 c #Conflicts: 1455000 | #Constraints: 57700 2780.21/2788.13 c #Conflicts: 1456000 | #Constraints: 58700 2780.21/2788.13 c #Conflicts: 1457000 | #Constraints: 59700 2780.21/2788.13 c #Conflicts: 1458000 | #Constraints: 60700 2780.21/2788.13 c #Conflicts: 1459000 | #Constraints: 61700 2780.21/2788.13 c #Conflicts: 1460000 | #Constraints: 62700 2780.21/2788.13 c #Conflicts: 1461000 | #Constraints: 63700 2780.21/2788.13 c #Conflicts: 1462000 | #Constraints: 64700 2780.21/2788.13 c #Conflicts: 1463000 | #Constraints: 65700 2780.21/2788.13 c #Conflicts: 1464000 | #Constraints: 66700 2780.21/2788.13 c #Conflicts: 1465000 | #Constraints: 67700 2780.21/2788.13 c #Conflicts: 1466000 | #Constraints: 68700 2780.21/2788.13 c #Conflicts: 1467000 | #Constraints: 69700 2780.21/2788.13 c #Conflicts: 1468000 | #Constraints: 70701 2780.21/2788.13 c #Conflicts: 1469000 | #Constraints: 71701 2780.21/2788.13 c #Conflicts: 1470000 | #Constraints: 72701 2780.21/2788.13 c #Conflicts: 1471000 | #Constraints: 73701 2780.21/2788.13 c #Conflicts: 1472000 | #Constraints: 74701 2780.21/2788.13 c #Conflicts: 1473000 | #Constraints: 75701 2780.21/2788.13 c #Conflicts: 1474000 | #Constraints: 76701 2780.21/2788.13 c #Conflicts: 1475000 | #Constraints: 77702 2780.21/2788.13 c #Conflicts: 1476000 | #Constraints: 78702 2780.21/2788.13 c #Conflicts: 1477000 | #Constraints: 79702 2780.21/2788.13 c #Conflicts: 1478000 | #Constraints: 80703 2780.21/2788.13 c #Conflicts: 1479000 | #Constraints: 81703 2780.21/2788.13 c #Conflicts: 1480000 | #Constraints: 82703 2780.21/2788.13 c #Conflicts: 1481000 | #Constraints: 83703 2780.21/2788.13 c #Conflicts: 1482000 | #Constraints: 84703 2780.21/2788.13 c #Conflicts: 1483000 | #Constraints: 85703 2780.21/2788.13 c #Conflicts: 1484000 | #Constraints: 86703 2780.21/2788.13 c #Conflicts: 1485000 | #Constraints: 87703 2780.21/2788.13 c #Conflicts: 1486000 | #Constraints: 88703 2780.21/2788.13 c #Conflicts: 1487000 | #Constraints: 89703 2780.21/2788.13 c #Conflicts: 1488000 | #Constraints: 90703 2780.21/2788.13 c #Conflicts: 1489000 | #Constraints: 91703 2780.21/2788.13 c #Conflicts: 1490000 | #Constraints: 92703 2780.21/2788.13 c #Conflicts: 1491000 | #Constraints: 93703 2780.21/2788.13 c #Conflicts: 1492000 | #Constraints: 94703 2780.21/2788.13 c #Conflicts: 1493000 | #Constraints: 95703 2780.21/2788.13 c #Conflicts: 1494000 | #Constraints: 96704 2780.21/2788.13 c #Conflicts: 1495000 | #Constraints: 97704 2780.21/2788.13 c #Conflicts: 1496000 | #Constraints: 98704 2780.21/2788.13 c #Conflicts: 1497000 | #Constraints: 99704 2780.21/2788.13 c #Conflicts: 1498000 | #Constraints: 100704 2780.21/2788.13 c #Conflicts: 1499000 | #Constraints: 101704 2780.21/2788.13 c #Conflicts: 1500000 | #Constraints: 102704 2780.21/2788.13 c #Conflicts: 1501000 | #Constraints: 103704 2780.21/2788.13 c #Conflicts: 1502000 | #Constraints: 104704 2780.21/2788.13 c #Conflicts: 1503000 | #Constraints: 105704 2780.21/2788.13 c #Conflicts: 1504000 | #Constraints: 106704 2780.21/2788.13 c #Conflicts: 1505000 | #Constraints: 107704 2780.21/2788.13 c #Conflicts: 1506000 | #Constraints: 108704 2780.21/2788.13 c #Conflicts: 1507000 | #Constraints: 109705 2780.21/2788.13 c #Conflicts: 1508000 | #Constraints: 110706 2780.21/2788.13 c #Conflicts: 1509000 | #Constraints: 111707 2780.21/2788.13 c #Conflicts: 1510000 | #Constraints: 112707 2780.21/2788.13 c #Conflicts: 1511000 | #Constraints: 113707 2865.10/2873.25 c #Conflicts: 1512000 | #Constraints: 114707 2865.10/2873.25 c #Conflicts: 1513000 | #Constraints: 115707 2865.10/2873.25 c #Conflicts: 1514000 | #Constraints: 116707 2865.10/2873.25 c #Conflicts: 1515000 | #Constraints: 117707 2865.10/2873.25 c #Conflicts: 1516000 | #Constraints: 118707 2865.10/2873.25 c #Conflicts: 1517000 | #Constraints: 119707 2865.10/2873.25 c #Conflicts: 1518000 | #Constraints: 120707 2865.10/2873.25 c #Conflicts: 1519000 | #Constraints: 121707 2865.10/2873.25 c #Conflicts: 1520000 | #Constraints: 122707 2865.10/2873.25 c #Conflicts: 1521000 | #Constraints: 123707 2865.10/2873.25 c #Conflicts: 1522000 | #Constraints: 124708 2865.10/2873.25 c #Conflicts: 1523000 | #Constraints: 125708 2865.10/2873.25 c #Conflicts: 1524000 | #Constraints: 126708 2865.10/2873.25 c #Conflicts: 1525000 | #Constraints: 127708 2865.10/2873.25 c #Conflicts: 1526000 | #Constraints: 128708 2865.10/2873.25 c #Conflicts: 1527000 | #Constraints: 129708 2865.10/2873.25 c #Conflicts: 1528000 | #Constraints: 130708 2865.10/2873.25 c INPROCESSING 2865.10/2873.25 c GARBAGE COLLECT 2865.10/2873.25 c rational objective 85 2931.65/2939.91 c #Conflicts: 1529000 | #Constraints: 69310 2931.65/2939.91 c #Conflicts: 1530000 | #Constraints: 70310 2931.65/2939.91 c #Conflicts: 1531000 | #Constraints: 71311 2931.65/2939.91 c #Conflicts: 1532000 | #Constraints: 72311 2931.65/2939.91 c #Conflicts: 1533000 | #Constraints: 73311 2931.65/2939.91 c #Conflicts: 1534000 | #Constraints: 74311 2931.65/2939.91 c #Conflicts: 1535000 | #Constraints: 75311 2931.65/2939.91 c #Conflicts: 1536000 | #Constraints: 76311 2931.65/2939.91 c #Conflicts: 1537000 | #Constraints: 77312 2931.65/2939.91 c #Conflicts: 1538000 | #Constraints: 78312 2931.65/2939.91 c #Conflicts: 1539000 | #Constraints: 79313 2931.65/2939.91 c #Conflicts: 1540000 | #Constraints: 80313 2931.65/2939.91 c #Conflicts: 1541000 | #Constraints: 81313 2931.65/2939.91 c #Conflicts: 1542000 | #Constraints: 82313 2931.65/2939.91 c #Conflicts: 1543000 | #Constraints: 83313 2931.65/2939.91 c #Conflicts: 1544000 | #Constraints: 84313 2931.65/2939.91 c #Conflicts: 1545000 | #Constraints: 85313 2931.65/2939.91 c #Conflicts: 1546000 | #Constraints: 86313 2931.65/2939.91 c #Conflicts: 1547000 | #Constraints: 87313 2931.65/2939.91 c #Conflicts: 1548000 | #Constraints: 88313 2931.65/2939.91 c #Conflicts: 1549000 | #Constraints: 89313 2931.65/2939.91 c #Conflicts: 1550000 | #Constraints: 90313 2931.65/2939.91 c #Conflicts: 1551000 | #Constraints: 91313 2931.65/2939.91 c #Conflicts: 1552000 | #Constraints: 92313 2931.65/2939.91 c #Conflicts: 1553000 | #Constraints: 93313 2931.65/2939.91 c #Conflicts: 1554000 | #Constraints: 94313 2931.65/2939.91 c #Conflicts: 1555000 | #Constraints: 95313 2931.65/2939.91 c #Conflicts: 1556000 | #Constraints: 96313 2931.65/2939.91 c INPROCESSING 2931.65/2939.91 c GARBAGE COLLECT 2931.65/2939.91 c rational objective 85 2989.42/2997.89 c #Conflicts: 1557000 | #Constraints: 52473 2989.42/2997.89 c #Conflicts: 1558000 | #Constraints: 53473 2989.42/2997.89 c #Conflicts: 1559000 | #Constraints: 54474 2989.42/2997.89 c #Conflicts: 1560000 | #Constraints: 55474 2989.42/2997.89 c #Conflicts: 1561000 | #Constraints: 56474 2989.42/2997.89 c #Conflicts: 1562000 | #Constraints: 57475 2989.42/2997.89 c #Conflicts: 1563000 | #Constraints: 58475 2989.42/2997.89 c #Conflicts: 1564000 | #Constraints: 59475 2989.42/2997.89 c #Conflicts: 1565000 | #Constraints: 60475 2989.42/2997.89 c #Conflicts: 1566000 | #Constraints: 61475 2989.42/2997.89 c #Conflicts: 1567000 | #Constraints: 62475 2989.42/2997.89 c #Conflicts: 1568000 | #Constraints: 63476 2989.42/2997.89 c #Conflicts: 1569000 | #Constraints: 64476 2989.42/2997.89 c #Conflicts: 1570000 | #Constraints: 65476 2989.42/2997.89 c #Conflicts: 1571000 | #Constraints: 66476 2989.42/2997.89 c #Conflicts: 1572000 | #Constraints: 67476 2989.42/2997.89 c #Conflicts: 1573000 | #Constraints: 68476 2989.42/2997.89 c #Conflicts: 1574000 | #Constraints: 69476 2989.42/2997.89 c #Conflicts: 1575000 | #Constraints: 70476 2989.42/2997.89 c #Conflicts: 1576000 | #Constraints: 71476 2989.42/2997.89 c #Conflicts: 1577000 | #Constraints: 72477 2989.42/2997.89 c #Conflicts: 1578000 | #Constraints: 73477 2989.42/2997.89 c #Conflicts: 1579000 | #Constraints: 74477 2989.42/2997.89 c #Conflicts: 1580000 | #Constraints: 75478 2989.42/2997.89 c #Conflicts: 1581000 | #Constraints: 76478 2989.42/2997.89 c #Conflicts: 1582000 | #Constraints: 77478 2989.42/2997.89 c #Conflicts: 1583000 | #Constraints: 78478 2989.42/2997.89 c #Conflicts: 1584000 | #Constraints: 79478 2989.42/2997.89 c INPROCESSING 2989.42/2997.89 c GARBAGE COLLECT 2989.42/2997.89 c rational objective 85 3046.78/3055.39 c #Conflicts: 1585000 | #Constraints: 44172 3046.78/3055.39 c #Conflicts: 1586000 | #Constraints: 45172 3046.78/3055.39 c #Conflicts: 1587000 | #Constraints: 46172 3046.78/3055.39 c #Conflicts: 1588000 | #Constraints: 47173 3046.78/3055.39 c #Conflicts: 1589000 | #Constraints: 48174 3046.78/3055.39 c #Conflicts: 1590000 | #Constraints: 49175 3046.78/3055.39 c #Conflicts: 1591000 | #Constraints: 50175 3046.78/3055.39 c #Conflicts: 1592000 | #Constraints: 51175 3046.78/3055.39 c #Conflicts: 1593000 | #Constraints: 52175 3046.78/3055.39 c #Conflicts: 1594000 | #Constraints: 53175 3046.78/3055.39 c #Conflicts: 1595000 | #Constraints: 54175 3046.78/3055.39 c #Conflicts: 1596000 | #Constraints: 55175 3046.78/3055.39 c #Conflicts: 1597000 | #Constraints: 56175 3046.78/3055.39 c #Conflicts: 1598000 | #Constraints: 57175 3046.78/3055.39 c #Conflicts: 1599000 | #Constraints: 58175 3046.78/3055.39 c #Conflicts: 1600000 | #Constraints: 59175 3046.78/3055.39 c #Conflicts: 1601000 | #Constraints: 60175 3046.78/3055.39 c #Conflicts: 1602000 | #Constraints: 61175 3046.78/3055.39 c #Conflicts: 1603000 | #Constraints: 62176 3046.78/3055.39 c #Conflicts: 1604000 | #Constraints: 63176 3046.78/3055.39 c #Conflicts: 1605000 | #Constraints: 64176 3046.78/3055.39 c #Conflicts: 1606000 | #Constraints: 65176 3046.78/3055.39 c #Conflicts: 1607000 | #Constraints: 66176 3046.78/3055.39 c #Conflicts: 1608000 | #Constraints: 67176 3046.78/3055.39 c #Conflicts: 1609000 | #Constraints: 68176 3046.78/3055.39 c #Conflicts: 1610000 | #Constraints: 69176 3046.78/3055.39 c #Conflicts: 1611000 | #Constraints: 70176 3046.78/3055.39 c INPROCESSING 3046.78/3055.39 c GARBAGE COLLECT 3046.78/3055.39 c rational objective 85 3096.37/3105.02 c #Conflicts: 1612000 | #Constraints: 39080 3096.37/3105.02 c #Conflicts: 1613000 | #Constraints: 40080 3096.37/3105.02 c #Conflicts: 1614000 | #Constraints: 41080 3096.37/3105.02 c #Conflicts: 1615000 | #Constraints: 42080 3096.37/3105.02 c #Conflicts: 1616000 | #Constraints: 43081 3096.37/3105.02 c #Conflicts: 1617000 | #Constraints: 44081 3096.37/3105.02 c #Conflicts: 1618000 | #Constraints: 45081 3096.37/3105.02 c #Conflicts: 1619000 | #Constraints: 46081 3096.37/3105.02 c #Conflicts: 1620000 | #Constraints: 47081 3096.37/3105.02 c #Conflicts: 1621000 | #Constraints: 48081 3096.37/3105.02 c #Conflicts: 1622000 | #Constraints: 49081 3096.37/3105.02 c #Conflicts: 1623000 | #Constraints: 50081 3096.37/3105.02 c #Conflicts: 1624000 | #Constraints: 51082 3096.37/3105.02 c #Conflicts: 1625000 | #Constraints: 52082 3096.37/3105.02 c #Conflicts: 1626000 | #Constraints: 53082 3096.37/3105.02 c #Conflicts: 1627000 | #Constraints: 54082 3096.37/3105.02 c #Conflicts: 1628000 | #Constraints: 55082 3096.37/3105.02 c #Conflicts: 1629000 | #Constraints: 56082 3096.37/3105.02 c #Conflicts: 1630000 | #Constraints: 57082 3096.37/3105.02 c #Conflicts: 1631000 | #Constraints: 58082 3096.37/3105.02 c #Conflicts: 1632000 | #Constraints: 59082 3096.37/3105.02 c #Conflicts: 1633000 | #Constraints: 60082 3096.37/3105.02 c #Conflicts: 1634000 | #Constraints: 61082 3096.37/3105.02 c #Conflicts: 1635000 | #Constraints: 62083 3096.37/3105.02 c #Conflicts: 1636000 | #Constraints: 63083 3096.37/3105.02 c #Conflicts: 1637000 | #Constraints: 64083 3096.37/3105.02 c #Conflicts: 1638000 | #Constraints: 65083 3096.37/3105.02 c #Conflicts: 1639000 | #Constraints: 66083 3096.37/3105.02 c #Conflicts: 1640000 | #Constraints: 67083 3096.37/3105.02 c INPROCESSING 3096.37/3105.02 c GARBAGE COLLECT 3096.37/3105.02 c rational objective 85 3278.25/3287.35 c #Conflicts: 1641000 | #Constraints: 37937 3278.25/3287.35 c #Conflicts: 1642000 | #Constraints: 38937 3278.25/3287.35 c #Conflicts: 1643000 | #Constraints: 39937 3278.25/3287.35 c #Conflicts: 1644000 | #Constraints: 40937 3278.25/3287.35 c #Conflicts: 1645000 | #Constraints: 41937 3278.25/3287.35 c #Conflicts: 1646000 | #Constraints: 42937 3278.25/3287.35 c #Conflicts: 1647000 | #Constraints: 43937 3278.25/3287.35 c #Conflicts: 1648000 | #Constraints: 44937 3278.25/3287.35 c #Conflicts: 1649000 | #Constraints: 45937 3278.25/3287.35 c #Conflicts: 1650000 | #Constraints: 46937 3278.25/3287.35 c #Conflicts: 1651000 | #Constraints: 47937 3278.25/3287.35 c #Conflicts: 1652000 | #Constraints: 48937 3278.25/3287.35 c #Conflicts: 1653000 | #Constraints: 49937 3278.25/3287.35 c #Conflicts: 1654000 | #Constraints: 50937 3278.25/3287.35 c #Conflicts: 1655000 | #Constraints: 51938 3278.25/3287.35 c #Conflicts: 1656000 | #Constraints: 52938 3278.25/3287.35 c #Conflicts: 1657000 | #Constraints: 53938 3278.25/3287.35 c #Conflicts: 1658000 | #Constraints: 54938 3278.25/3287.35 c #Conflicts: 1659000 | #Constraints: 55938 3278.25/3287.35 c #Conflicts: 1660000 | #Constraints: 56938 3278.25/3287.35 c #Conflicts: 1661000 | #Constraints: 57938 3278.25/3287.35 c #Conflicts: 1662000 | #Constraints: 58938 3278.25/3287.35 c #Conflicts: 1663000 | #Constraints: 59938 3278.25/3287.35 c #Conflicts: 1664000 | #Constraints: 60938 3278.25/3287.35 c #Conflicts: 1665000 | #Constraints: 61938 3278.25/3287.35 c #Conflicts: 1666000 | #Constraints: 62939 3278.25/3287.35 c #Conflicts: 1667000 | #Constraints: 63939 3278.25/3287.35 c #Conflicts: 1668000 | #Constraints: 64939 3278.25/3287.35 c #Conflicts: 1669000 | #Constraints: 65939 3278.25/3287.35 c #Conflicts: 1670000 | #Constraints: 66939 3278.25/3287.35 c #Conflicts: 1671000 | #Constraints: 67939 3278.25/3287.35 c #Conflicts: 1672000 | #Constraints: 68939 3278.25/3287.35 c #Conflicts: 1673000 | #Constraints: 69940 3278.25/3287.35 c #Conflicts: 1674000 | #Constraints: 70940 3278.25/3287.35 c #Conflicts: 1675000 | #Constraints: 71940 3278.25/3287.35 c #Conflicts: 1676000 | #Constraints: 72940 3278.25/3287.35 c #Conflicts: 1677000 | #Constraints: 73940 3278.25/3287.35 c #Conflicts: 1678000 | #Constraints: 74940 3278.25/3287.35 c #Conflicts: 1679000 | #Constraints: 75940 3278.25/3287.35 c #Conflicts: 1680000 | #Constraints: 76940 3278.25/3287.35 c #Conflicts: 1681000 | #Constraints: 77940 3278.25/3287.35 c #Conflicts: 1682000 | #Constraints: 78940 3278.25/3287.35 c #Conflicts: 1683000 | #Constraints: 79940 3278.25/3287.35 c #Conflicts: 1684000 | #Constraints: 80940 3278.25/3287.35 c #Conflicts: 1685000 | #Constraints: 81940 3278.25/3287.35 c #Conflicts: 1686000 | #Constraints: 82940 3278.25/3287.35 c #Conflicts: 1687000 | #Constraints: 83941 3278.25/3287.35 c #Conflicts: 1688000 | #Constraints: 84941 3278.25/3287.35 c #Conflicts: 1689000 | #Constraints: 85941 3278.25/3287.35 c #Conflicts: 1690000 | #Constraints: 86941 3278.25/3287.35 c #Conflicts: 1691000 | #Constraints: 87941 3278.25/3287.35 c #Conflicts: 1692000 | #Constraints: 88941 3278.25/3287.35 c #Conflicts: 1693000 | #Constraints: 89941 3278.25/3287.35 c #Conflicts: 1694000 | #Constraints: 90941 3278.25/3287.35 c #Conflicts: 1695000 | #Constraints: 91941 3278.25/3287.35 c #Conflicts: 1696000 | #Constraints: 92941 3278.25/3287.35 c #Conflicts: 1697000 | #Constraints: 93941 3278.25/3287.35 c #Conflicts: 1698000 | #Constraints: 94941 3278.25/3287.35 c #Conflicts: 1699000 | #Constraints: 95941 3278.25/3287.35 c #Conflicts: 1700000 | #Constraints: 96941 3278.25/3287.35 c #Conflicts: 1701000 | #Constraints: 97941 3278.25/3287.35 c #Conflicts: 1702000 | #Constraints: 98941 3278.25/3287.35 c #Conflicts: 1703000 | #Constraints: 99941 3278.25/3287.35 c #Conflicts: 1704000 | #Constraints: 100942 3278.25/3287.35 c #Conflicts: 1705000 | #Constraints: 101942 3278.25/3287.35 c #Conflicts: 1706000 | #Constraints: 102942 3278.25/3287.35 c #Conflicts: 1707000 | #Constraints: 103942 3278.25/3287.35 c #Conflicts: 1708000 | #Constraints: 104943 3278.25/3287.35 c #Conflicts: 1709000 | #Constraints: 105943 3278.25/3287.35 c #Conflicts: 1710000 | #Constraints: 106943 3278.25/3287.35 c #Conflicts: 1711000 | #Constraints: 107943 3278.25/3287.35 c #Conflicts: 1712000 | #Constraints: 108943 3278.25/3287.35 c #Conflicts: 1713000 | #Constraints: 109943 3278.25/3287.35 c #Conflicts: 1714000 | #Constraints: 110943 3278.25/3287.35 c #Conflicts: 1715000 | #Constraints: 111943 3278.25/3287.35 c #Conflicts: 1716000 | #Constraints: 112943 3278.25/3287.35 c #Conflicts: 1717000 | #Constraints: 113943 3278.25/3287.35 c #Conflicts: 1718000 | #Constraints: 114943 3278.25/3287.35 c #Conflicts: 1719000 | #Constraints: 115943 3367.41/3376.78 c #Conflicts: 1720000 | #Constraints: 116943 3367.41/3376.78 c #Conflicts: 1721000 | #Constraints: 117943 3367.41/3376.78 c #Conflicts: 1722000 | #Constraints: 118943 3367.41/3376.78 c #Conflicts: 1723000 | #Constraints: 119943 3367.41/3376.78 c #Conflicts: 1724000 | #Constraints: 120943 3367.41/3376.78 c #Conflicts: 1725000 | #Constraints: 121943 3367.41/3376.78 c #Conflicts: 1726000 | #Constraints: 122943 3367.41/3376.78 c #Conflicts: 1727000 | #Constraints: 123943 3367.41/3376.78 c #Conflicts: 1728000 | #Constraints: 124943 3367.41/3376.78 c #Conflicts: 1729000 | #Constraints: 125943 3367.41/3376.78 c #Conflicts: 1730000 | #Constraints: 126943 3367.41/3376.78 c #Conflicts: 1731000 | #Constraints: 127943 3367.41/3376.78 c #Conflicts: 1732000 | #Constraints: 128943 3367.41/3376.78 c #Conflicts: 1733000 | #Constraints: 129943 3367.41/3376.78 c #Conflicts: 1734000 | #Constraints: 130943 3367.41/3376.78 c #Conflicts: 1735000 | #Constraints: 131943 3367.41/3376.78 c #Conflicts: 1736000 | #Constraints: 132943 3367.41/3376.78 c #Conflicts: 1737000 | #Constraints: 133943 3367.41/3376.78 c #Conflicts: 1738000 | #Constraints: 134943 3367.41/3376.78 c #Conflicts: 1739000 | #Constraints: 135943 3367.41/3376.78 c #Conflicts: 1740000 | #Constraints: 136943 3367.41/3376.78 c #Conflicts: 1741000 | #Constraints: 137943 3367.41/3376.78 c #Conflicts: 1742000 | #Constraints: 138943 3367.41/3376.78 c #Conflicts: 1743000 | #Constraints: 139943 3367.41/3376.78 c INPROCESSING 3367.41/3376.78 c GARBAGE COLLECT 3367.41/3376.78 c rational objective 85 3431.65/3441.12 c #Conflicts: 1744000 | #Constraints: 74429 3431.65/3441.12 c #Conflicts: 1745000 | #Constraints: 75429 3431.65/3441.12 c #Conflicts: 1746000 | #Constraints: 76430 3431.65/3441.12 c #Conflicts: 1747000 | #Constraints: 77430 3431.65/3441.12 c #Conflicts: 1748000 | #Constraints: 78431 3431.65/3441.12 c #Conflicts: 1749000 | #Constraints: 79432 3431.65/3441.12 c #Conflicts: 1750000 | #Constraints: 80432 3431.65/3441.12 c #Conflicts: 1751000 | #Constraints: 81432 3431.65/3441.12 c #Conflicts: 1752000 | #Constraints: 82432 3431.65/3441.12 c #Conflicts: 1753000 | #Constraints: 83432 3431.65/3441.12 c #Conflicts: 1754000 | #Constraints: 84432 3431.65/3441.12 c #Conflicts: 1755000 | #Constraints: 85432 3431.65/3441.12 c #Conflicts: 1756000 | #Constraints: 86432 3431.65/3441.12 c #Conflicts: 1757000 | #Constraints: 87432 3431.65/3441.12 c #Conflicts: 1758000 | #Constraints: 88432 3431.65/3441.12 c #Conflicts: 1759000 | #Constraints: 89432 3431.65/3441.12 c #Conflicts: 1760000 | #Constraints: 90432 3431.65/3441.12 c #Conflicts: 1761000 | #Constraints: 91432 3431.65/3441.12 c #Conflicts: 1762000 | #Constraints: 92432 3431.65/3441.12 c #Conflicts: 1763000 | #Constraints: 93432 3431.65/3441.12 c #Conflicts: 1764000 | #Constraints: 94432 3431.65/3441.12 c #Conflicts: 1765000 | #Constraints: 95432 3431.65/3441.12 c #Conflicts: 1766000 | #Constraints: 96432 3431.65/3441.12 c #Conflicts: 1767000 | #Constraints: 97432 3431.65/3441.12 c #Conflicts: 1768000 | #Constraints: 98432 3431.65/3441.12 c #Conflicts: 1769000 | #Constraints: 99432 3431.65/3441.12 c #Conflicts: 1770000 | #Constraints: 100432 3431.65/3441.12 c #Conflicts: 1771000 | #Constraints: 101432 3431.65/3441.12 c #Conflicts: 1772000 | #Constraints: 102432 3431.65/3441.12 c INPROCESSING 3431.65/3441.12 c GARBAGE COLLECT 3431.65/3441.12 c rational objective 85 3486.30/3495.96 c #Conflicts: 1773000 | #Constraints: 55457 3486.30/3495.96 c #Conflicts: 1774000 | #Constraints: 56457 3486.30/3495.96 c #Conflicts: 1775000 | #Constraints: 57457 3486.30/3495.96 c #Conflicts: 1776000 | #Constraints: 58457 3486.30/3495.96 c #Conflicts: 1777000 | #Constraints: 59457 3486.30/3495.96 c #Conflicts: 1778000 | #Constraints: 60458 3486.30/3495.96 c #Conflicts: 1779000 | #Constraints: 61458 3486.30/3495.96 c #Conflicts: 1780000 | #Constraints: 62458 3486.30/3495.96 c #Conflicts: 1781000 | #Constraints: 63458 3486.30/3495.96 c #Conflicts: 1782000 | #Constraints: 64458 3486.30/3495.96 c #Conflicts: 1783000 | #Constraints: 65458 3486.30/3495.96 c #Conflicts: 1784000 | #Constraints: 66458 3486.30/3495.96 c #Conflicts: 1785000 | #Constraints: 67458 3486.30/3495.96 c #Conflicts: 1786000 | #Constraints: 68458 3486.30/3495.96 c #Conflicts: 1787000 | #Constraints: 69458 3486.30/3495.96 c #Conflicts: 1788000 | #Constraints: 70458 3486.30/3495.96 c #Conflicts: 1789000 | #Constraints: 71458 3486.30/3495.96 c #Conflicts: 1790000 | #Constraints: 72458 3486.30/3495.96 c #Conflicts: 1791000 | #Constraints: 73458 3486.30/3495.96 c #Conflicts: 1792000 | #Constraints: 74458 3486.30/3495.96 c #Conflicts: 1793000 | #Constraints: 75458 3486.30/3495.96 c #Conflicts: 1794000 | #Constraints: 76458 3486.30/3495.96 c #Conflicts: 1795000 | #Constraints: 77458 3486.30/3495.96 c #Conflicts: 1796000 | #Constraints: 78458 3486.30/3495.96 c #Conflicts: 1797000 | #Constraints: 79458 3486.30/3495.96 c #Conflicts: 1798000 | #Constraints: 80458 3486.30/3495.96 c #Conflicts: 1799000 | #Constraints: 81458 3486.30/3495.96 c #Conflicts: 1800000 | #Constraints: 82458 3486.30/3495.96 c #Conflicts: 1801000 | #Constraints: 83458 3486.30/3495.96 c #Conflicts: 1802000 | #Constraints: 84459 3486.30/3495.96 c INPROCESSING 3486.30/3495.96 c GARBAGE COLLECT 3486.30/3495.96 c rational objective 85 3538.38/3548.15 c #Conflicts: 1803000 | #Constraints: 46664 3538.38/3548.15 c #Conflicts: 1804000 | #Constraints: 47664 3538.38/3548.15 c #Conflicts: 1805000 | #Constraints: 48664 3538.38/3548.15 c #Conflicts: 1806000 | #Constraints: 49664 3538.38/3548.15 c #Conflicts: 1807000 | #Constraints: 50664 3538.38/3548.15 c #Conflicts: 1808000 | #Constraints: 51664 3538.38/3548.15 c #Conflicts: 1809000 | #Constraints: 52664 3538.38/3548.15 c #Conflicts: 1810000 | #Constraints: 53664 3538.38/3548.15 c #Conflicts: 1811000 | #Constraints: 54664 3538.38/3548.15 c #Conflicts: 1812000 | #Constraints: 55665 3538.38/3548.15 c #Conflicts: 1813000 | #Constraints: 56665 3538.38/3548.15 c #Conflicts: 1814000 | #Constraints: 57665 3538.38/3548.15 c #Conflicts: 1815000 | #Constraints: 58665 3538.38/3548.15 c #Conflicts: 1816000 | #Constraints: 59665 3538.38/3548.15 c #Conflicts: 1817000 | #Constraints: 60665 3538.38/3548.15 c #Conflicts: 1818000 | #Constraints: 61665 3538.38/3548.15 c #Conflicts: 1819000 | #Constraints: 62665 3538.38/3548.15 c #Conflicts: 1820000 | #Constraints: 63665 3538.38/3548.15 c #Conflicts: 1821000 | #Constraints: 64665 3538.38/3548.15 c #Conflicts: 1822000 | #Constraints: 65665 3538.38/3548.15 c #Conflicts: 1823000 | #Constraints: 66665 3538.38/3548.15 c #Conflicts: 1824000 | #Constraints: 67665 3538.38/3548.15 c #Conflicts: 1825000 | #Constraints: 68666 3538.38/3548.15 c #Conflicts: 1826000 | #Constraints: 69666 3538.38/3548.15 c #Conflicts: 1827000 | #Constraints: 70666 3538.38/3548.15 c #Conflicts: 1828000 | #Constraints: 71666 3538.38/3548.15 c #Conflicts: 1829000 | #Constraints: 72666 3538.38/3548.15 c #Conflicts: 1830000 | #Constraints: 73666 3538.38/3548.15 c #Conflicts: 1831000 | #Constraints: 74666 3538.38/3548.15 c INPROCESSING 3538.38/3548.15 c GARBAGE COLLECT 3538.38/3548.15 c rational objective 85 3588.44/3598.33 c #Conflicts: 1832000 | #Constraints: 41297 3588.44/3598.33 c #Conflicts: 1833000 | #Constraints: 42297 3588.44/3598.33 c #Conflicts: 1834000 | #Constraints: 43297 3588.44/3598.33 c #Conflicts: 1835000 | #Constraints: 44297 3588.44/3598.33 c #Conflicts: 1836000 | #Constraints: 45297 3588.44/3598.33 c #Conflicts: 1837000 | #Constraints: 46297 3588.44/3598.33 c #Conflicts: 1838000 | #Constraints: 47297 3588.44/3598.33 c #Conflicts: 1839000 | #Constraints: 48297 3588.44/3598.33 c #Conflicts: 1840000 | #Constraints: 49297 3588.44/3598.33 c #Conflicts: 1841000 | #Constraints: 50297 3588.44/3598.33 c #Conflicts: 1842000 | #Constraints: 51297 3588.44/3598.33 c #Conflicts: 1843000 | #Constraints: 52297 3588.44/3598.33 c #Conflicts: 1844000 | #Constraints: 53297 3588.44/3598.33 c #Conflicts: 1845000 | #Constraints: 54297 3588.44/3598.33 c #Conflicts: 1846000 | #Constraints: 55297 3588.44/3598.33 c #Conflicts: 1847000 | #Constraints: 56297 3588.44/3598.33 c #Conflicts: 1848000 | #Constraints: 57297 3588.44/3598.33 c #Conflicts: 1849000 | #Constraints: 58297 3588.44/3598.33 c #Conflicts: 1850000 | #Constraints: 59297 3588.44/3598.33 c #Conflicts: 1851000 | #Constraints: 60298 3588.44/3598.33 c #Conflicts: 1852000 | #Constraints: 61298 3588.44/3598.33 c #Conflicts: 1853000 | #Constraints: 62298 3588.44/3598.33 c #Conflicts: 1854000 | #Constraints: 63298 3588.44/3598.33 c #Conflicts: 1855000 | #Constraints: 64298 3588.44/3598.33 c #Conflicts: 1856000 | #Constraints: 65298 3588.44/3598.33 c #Conflicts: 1857000 | #Constraints: 66298 3588.44/3598.33 c #Conflicts: 1858000 | #Constraints: 67298 3588.44/3598.33 c #Conflicts: 1859000 | #Constraints: 68298 3588.44/3598.33 c #Conflicts: 1860000 | #Constraints: 69298 3588.44/3598.33 c #Conflicts: 1861000 | #Constraints: 70298 3588.44/3598.33 c INPROCESSING 3588.44/3598.33 c GARBAGE COLLECT 3588.44/3598.33 c rational objective 85 3600.01/3609.90 c #Conflicts: 1862000 | #Constraints: 39187 3600.01/3609.90 c #Conflicts: 1863000 | #Constraints: 40187 3600.01/3609.90 c #Conflicts: 1864000 | #Constraints: 41187 3600.01/3609.90 c #Conflicts: 1865000 | #Constraints: 42187 3600.01/3609.90 c #Conflicts: 1866000 | #Constraints: 43187 3600.01/3609.90 c #Conflicts: 1867000 | #Constraints: 44187 3600.01/3609.90 c #Conflicts: 1868000 | #Constraints: 45187 3600.01/3609.90 c #Conflicts: 1869000 | #Constraints: 46187 3600.01/3609.90 c #Conflicts: 1870000 | #Constraints: 47187 3600.01/3609.90 c #Conflicts: 1871000 | #Constraints: 48187 3600.01/3609.90 c #Conflicts: 1872000 | #Constraints: 49187 3600.01/3609.90 c #Conflicts: 1873000 | #Constraints: 50187 3600.01/3609.90 c #Conflicts: 1874000 | #Constraints: 51188 3600.01/3609.90 c Program interrupted by user. 3600.01/3609.90 c cpu time 3567.15 s 3600.01/3609.90 c deterministic time 413781590503 4.14e+11 3600.01/3609.90 c optimization time 10.5804 s 3600.01/3609.90 c total solve time 3556.55 s 3600.01/3609.90 c core-guided solve time 0 s 3600.01/3609.90 c propagation time 2415.72 s 3600.01/3609.90 c conflict analysis time 799.269 s 3600.01/3609.90 c propagations 776418687 3600.01/3609.90 c resolve steps 69784428 3600.01/3609.90 c decisions 13380107 3600.01/3609.90 c conflicts 1874759 3600.01/3609.90 c restarts 3595 3600.01/3609.90 c inprocessing phases 87 3600.01/3609.90 c input clauses 5867 3600.01/3609.90 c input cardinalities 85 3600.01/3609.90 c input general constraints 0 3600.01/3609.90 c input average constraint length 6.23 3600.01/3609.90 c input average constraint degree 1.94 3600.01/3609.90 c learned clauses 1313501 3600.01/3609.90 c learned cardinalities 37502 3600.01/3609.90 c learned general constraints 524024 3600.01/3609.90 c learned average constraint length 856.33 3600.01/3609.90 c learned average constraint degree 79119618.89 3600.01/3609.90 c watched constraints 453902 3600.01/3609.90 c counting constraints 70122 3600.01/3609.90 c gcd simplifications 7114 3600.01/3609.90 c detected cardinalities 1828 3600.01/3609.90 c weakened non-implied lits 273610414 3600.01/3609.90 c weakened non-implying lits 637154 3600.01/3609.90 c original variables 5780 3600.01/3609.90 c clausal propagations 285638663 3600.01/3609.90 c cardinality propagations 267000068 3600.01/3609.90 c watched propagations 69737661 3600.01/3609.90 c counting propagations 147984217 3600.01/3609.90 c watch lookups 33994346260 3600.01/3609.90 c watch backjump lookups 26792644734 3600.01/3609.90 c watch checks 293979634211 3600.01/3609.90 c propagation checks 52641259711 3600.01/3609.90 c constraint additions 4789800584 3600.01/3609.90 c trail pops 791668569 3600.01/3609.90 c formula constraints 5952 3600.01/3609.90 c learned constraints 1874536 3600.01/3609.90 c bound constraints 0 3600.01/3609.90 c core-guided constraints 0 3600.01/3609.90 c encountered formula constraints 39105096 3600.01/3609.90 c encountered learned constraints 32548186 3600.01/3609.90 c encountered bound constraints 0 3600.01/3609.90 c encountered core-guided constraints 0 3600.01/3609.90 c LP total time 826.369 s 3600.01/3609.90 c LP solve time 764.46 s 3600.01/3609.90 c LP constraints added 11784 3600.01/3609.90 c LP constraints removed 5742 3600.01/3609.90 c LP pivots internal 1875129 3600.01/3609.90 c LP pivots root 562510 3600.01/3609.90 c LP calls 366 3600.01/3609.90 c LP optimalities 139 3600.01/3609.90 c LP no pivot count 4 3600.01/3609.90 c LP infeasibilities 222 3600.01/3609.90 c LP valid Farkas constraints 222 3600.01/3609.90 c LP learned Farkas constraints 222 3600.01/3609.90 c LP basis resets 0 3600.01/3609.90 c LP cycling count 0 3600.01/3609.90 c LP singular count 0 3600.01/3609.90 c LP no primal count 0 3600.01/3609.90 c LP no farkas count 0 3600.01/3609.90 c LP other issue count 0 3600.01/3609.90 c LP Gomory cuts 47 3600.01/3609.90 c LP learned cuts 5785 3600.01/3609.90 c LP deleted cuts 5742 3600.01/3609.90 c LP encountered Gomory constraints 5 3600.01/3609.90 c LP encountered Farkas constraints 4208 3600.01/3609.90 c LP encountered learned Farkas constraints 1470 3600.01/3609.90 c CG auxiliary variables introduced 0 3600.01/3609.90 c CG solutions found 0 3600.01/3609.90 c CG cores constructed 0 3600.01/3609.90 c CG core cardinality constraints returned 0 3600.01/3609.90 c CG unit cores 0 3600.01/3609.90 c CG single cores 0 3600.01/3609.90 c CG blocks removed during cardinality reduction 0 3600.01/3609.90 c CG first core best 0 3600.01/3609.90 c CG decision core best 0 3600.01/3609.90 c CG core reduction tie 0 3600.01/3609.90 c CG core degree average 0.00 3600.01/3609.90 c CG core slack average 0.00 3600.01/3609.90 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 (61531 MiB free)
memory of node 1: 64510 MiB (63027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455624-1721464744/watcher-4455624-1721464744 -o /tmp/evaluation-result-4455624-1721464744/solver-4455624-1721464744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055162 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455624-1721464744.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
Current StackSize limit: 8192 KiB
solver pid=1061058, runsolver pid=1061055
[startup+0.100895 s]*
/proc/loadavg: 4.15 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127538300/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=47936 memory=16712 CPUtime=0.1 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 3288 0 0 0 9 1 0 0 20 0 1 0 198634575 49086464 4178 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 11984 4178 1688 922 0 3936 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47936 KiB
Current children cumulated memory: 16712 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.15 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127537244/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=48652 memory=17504 CPUtime=0.2 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 3467 0 0 0 19 1 0 0 20 0 1 0 198634575 49819648 4376 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 12163 4376 1688 922 0 4115 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48652 KiB
Current children cumulated memory: 17504 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.15 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127537104/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=49024 memory=17768 CPUtime=0.29 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 3522 0 0 0 28 1 0 0 20 0 1 0 198634575 50200576 4442 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 12256 4442 1688 922 0 4208 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 17768 KiB
[startup+0.700234 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127536964/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=49024 memory=20196 CPUtime=0.68 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 3588 0 0 0 65 3 0 0 20 0 1 0 198634575 50200576 5049 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 12256 5049 1719 922 0 4208 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 20196 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127534088/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=50252 memory=21572 CPUtime=1.48 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 3895 0 0 0 141 7 0 0 20 0 1 0 198634575 51458048 5393 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 12563 5393 1735 922 0 4515 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 21572 KiB
[startup+3.10551 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127530472/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=51264 memory=23768 CPUtime=3.08 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 4371 0 0 0 296 12 0 0 20 0 1 0 198634575 52494336 5942 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 12816 5942 1829 922 0 4768 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51264 KiB
Current children cumulated memory: 23768 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 1061059
/proc/meminfo: memFree=127525916/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=55676 memory=27272 CPUtime=6.27 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 5268 0 0 0 607 20 0 0 20 0 1 0 198634575 57012224 6818 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 13919 6818 1829 922 0 5871 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55676 KiB
Current children cumulated memory: 27272 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1061061
/proc/meminfo: memFree=127506980/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=71356 memory=44432 CPUtime=12.65 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 9522 0 0 0 1233 32 0 0 20 0 1 0 198634575 73068544 11108 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 17839 11108 1829 922 0 9791 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 71356 KiB
Current children cumulated memory: 44432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1061062
/proc/meminfo: memFree=127495012/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=83496 memory=54304 CPUtime=25.42 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 12045 0 0 0 2491 51 0 0 20 0 1 0 198634575 85499904 13576 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 20874 13576 1829 922 0 12826 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 83496 KiB
Current children cumulated memory: 54304 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.14 4.10 5/257 1061072
/proc/meminfo: memFree=127485708/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=92780 memory=64708 CPUtime=50.97 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 12661 0 0 0 4991 106 0 0 20 0 1 0 198634575 95006720 16177 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 23195 16177 1829 922 0 15147 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92780 KiB
Current children cumulated memory: 64708 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1061082
/proc/meminfo: memFree=127384260/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=127492 memory=82652 CPUtime=102.04 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 16064 0 0 0 10000 204 0 0 20 0 1 0 198634575 130551808 20663 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 31873 20663 1845 922 0 23825 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 127492 KiB
Current children cumulated memory: 82652 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1061092
/proc/meminfo: memFree=127317308/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=169532 memory=127212 CPUtime=161.9 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 19799 0 0 0 15888 302 0 0 20 0 1 0 198634575 173600768 31803 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 42383 31803 1845 922 0 34335 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 169532 KiB
Current children cumulated memory: 127212 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1061102
/proc/meminfo: memFree=127229036/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=237716 memory=187008 CPUtime=221.75 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 24539 0 0 0 21780 395 0 0 20 0 1 0 198634575 243421184 46752 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 59429 46752 1845 922 0 51381 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 187008 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1061114
/proc/meminfo: memFree=127159528/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=319912 memory=243176 CPUtime=281.59 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 25782 0 0 0 27686 473 0 0 20 0 1 0 198634575 327589888 60794 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 79978 60794 1845 922 0 71930 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 319912 KiB
Current children cumulated memory: 243176 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1061125
/proc/meminfo: memFree=127142376/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=327520 memory=253332 CPUtime=341.44 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 28133 0 0 0 33586 558 0 0 20 0 1 0 198634575 335380480 63333 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 81880 63333 1845 922 0 73832 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 327520 KiB
Current children cumulated memory: 253332 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 1061135
/proc/meminfo: memFree=127130064/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=327928 memory=254520 CPUtime=401.26 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 28390 0 0 0 39488 638 0 0 20 0 1 0 198634575 335798272 63630 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 81982 63630 1845 922 0 73934 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 327928 KiB
Current children cumulated memory: 254520 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1061145
/proc/meminfo: memFree=126882960/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=333248 memory=265864 CPUtime=461.12 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 29695 0 0 0 45401 711 0 0 20 0 1 0 198634575 341245952 66466 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 83312 66466 1845 922 0 75264 0
################
# More data... #
################
Current children cumulated memory: 710892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/255 1062691
/proc/meminfo: memFree=116183556/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=792552 memory=713188 CPUtime=2914.1 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 65157 0 0 0 288626 2784 0 0 20 0 1 0 198634575 811573248 178297 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198138 178297 1967 922 0 190090 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 792552 KiB
Current children cumulated memory: 713188 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 1062871
/proc/meminfo: memFree=115582884/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=791232 memory=711808 CPUtime=2973.95 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 65491 0 0 0 294571 2824 0 0 20 0 1 0 198634575 810221568 177952 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 197808 177952 1967 922 0 189760 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 791232 KiB
Current children cumulated memory: 711808 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/257 1062881
/proc/meminfo: memFree=115302124/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=792200 memory=712836 CPUtime=3033.81 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 65925 0 0 0 300511 2870 0 0 20 0 1 0 198634575 811212800 178209 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198050 178209 1967 922 0 190002 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 792200 KiB
Current children cumulated memory: 712836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 1062949
/proc/meminfo: memFree=114551288/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=792888 memory=713352 CPUtime=3093.67 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 66242 0 0 0 306452 2915 0 0 20 0 1 0 198634575 811917312 178338 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198222 178338 1967 922 0 190174 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 792888 KiB
Current children cumulated memory: 713352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1062959
/proc/meminfo: memFree=113886408/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=793032 memory=713596 CPUtime=3153.54 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 66455 0 0 0 312376 2978 0 0 20 0 1 0 198634575 812064768 178399 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198258 178399 1967 922 0 190210 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 793032 KiB
Current children cumulated memory: 713596 KiB
[startup+3222.3 s]
/proc/loadavg: 3.54 3.99 4.05 4/251 1062999
/proc/meminfo: memFree=114423364/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=793032 memory=713596 CPUtime=3213.4 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 66695 0 0 0 318327 3013 0 0 20 0 1 0 198634575 812064768 178399 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198258 178399 1967 922 0 190210 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 793032 KiB
Current children cumulated memory: 713596 KiB
[startup+3282.3 s]
/proc/loadavg: 3.36 3.85 4.00 4/251 1063013
/proc/meminfo: memFree=114035360/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=793032 memory=713616 CPUtime=3273.25 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 66973 0 0 0 324284 3041 0 0 20 0 1 0 198634575 812064768 178404 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198258 178404 1967 922 0 190210 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 793032 KiB
Current children cumulated memory: 713616 KiB
[startup+3342.3 s]
/proc/loadavg: 2.82 3.63 3.91 3/244 1063055
/proc/meminfo: memFree=115874064/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=795684 memory=715392 CPUtime=3333.1 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 67802 0 0 0 330244 3066 0 0 20 0 1 0 198634575 814780416 178848 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 198921 178848 1967 922 0 190873 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 795684 KiB
Current children cumulated memory: 715392 KiB
[startup+3402.3 s]
/proc/loadavg: 2.41 3.36 3.80 3/242 1063065
/proc/meminfo: memFree=115863908/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=798684 memory=717844 CPUtime=3392.94 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 69088 0 0 0 336194 3100 0 0 20 0 1 0 198634575 817852416 179461 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 199671 179461 1967 922 0 191623 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 798684 KiB
Current children cumulated memory: 717844 KiB
[startup+3462.3 s]
/proc/loadavg: 2.21 3.13 3.69 3/242 1063076
/proc/meminfo: memFree=115862956/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=798684 memory=717888 CPUtime=3452.78 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 69271 0 0 0 342128 3150 0 0 20 0 1 0 198634575 817852416 179472 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 199671 179472 1967 922 0 191623 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 798684 KiB
Current children cumulated memory: 717888 KiB
[startup+3522.3 s]
/proc/loadavg: 2.20 2.95 3.59 3/242 1063087
/proc/meminfo: memFree=115858392/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=802468 memory=721716 CPUtime=3512.63 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 70429 0 0 0 348057 3206 0 0 20 0 1 0 198634575 821727232 180429 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 200617 180429 1967 922 0 192569 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 802468 KiB
Current children cumulated memory: 721716 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.79 3.50 3/240 1063098
/proc/meminfo: memFree=115855604/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=801000 memory=720248 CPUtime=3572.48 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 71096 0 0 0 353987 3261 0 0 20 0 1 0 198634575 820224000 180062 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 200250 180062 1967 922 0 192202 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 801000 KiB
Current children cumulated memory: 720248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.16 2.73 3.45 3/240 1063102
/proc/meminfo: memFree=115853616/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=802448 memory=721644 CPUtime=3600.01 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 71621 0 0 0 356714 3287 0 0 20 0 1 0 198634575 821706752 180411 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 200612 180411 1967 922 0 192564 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 802448 KiB
Current children cumulated memory: 721644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 1061058 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.15 s, system=32.8763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.16 2.73 3.45 3/240 1063102
/proc/meminfo: memFree=115853616/131524600 swapFree=131071996/131071996
[pid=1061058] ppid=1061055 vsize=802448 memory=721644 CPUtime=3600.01 cores=5,7
/proc/1061058/stat : 1061058 (roundingsat) R 1061055 1061058 1055149 0 -1 4194304 71621 0 0 0 356714 3287 0 0 20 0 1 0 198634575 821706752 180411 134679101440 4194304 7968373 140727429776096 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13512704 140727429780412 140727429780576 140727429780576 140727429787593 0
/proc/1061058/statm: 200612 180411 1967 922 0 192564 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 802448 KiB
Current children cumulated memory: 721644 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3567.15
CPU system time (s): 32.8763
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 802468
Max. memory (cumulated for all children) (KiB): 722040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.15
system time used= 32.8763
maximum resident set size= 722040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 3736
# summary of solver processes directly reported to runsolver:
# pid: 1061058
# total CPU time (s): 3600.03
# total CPU user time (s): 3567.15
# total CPU system time (s): 32.8763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15182 second user time and 16.5514 second system time
The end
Begin job on nodeC015 at 2024-07-20 10:39:16 IDJOB=4455624 IDBENCH=158351 IDSOLVER=3084 FILE ID=nodeC015/4455624-1721464744 RUNJOBID= nodeC015-1721456928-1055162 SLURM_JOB_ID= 7545695 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455624-1721464744/watcher-4455624-1721464744 -o /tmp/evaluation-result-4455624-1721464744/solver-4455624-1721464744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055162 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455624-1721464744.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295 RANDOM SEED=1192989508 nodeC015.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 : 3673.049 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.61 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 : 3679.040 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.25 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 : 3600.009 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.61 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 : 3635.075 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.25 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 : 3673.089 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.61 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 : 3658.848 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.25 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.121 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.61 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 : 3657.362 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.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127549076 kB MemAvailable: 128868332 kB Buffers: 562904 kB Cached: 1590012 kB SwapCached: 0 kB Active: 1736896 kB Inactive: 1601252 kB Active(anon): 1572 kB Inactive(anon): 1229284 kB Active(file): 1735324 kB Inactive(file): 371968 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6036 kB Writeback: 0 kB AnonPages: 1177612 kB Mapped: 117228 kB Shmem: 45912 kB KReclaimable: 103224 kB Slab: 216096 kB SReclaimable: 103224 kB SUnreclaim: 112872 kB KernelStack: 4060 kB PageTables: 11344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1529768 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 655360 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: 291540 kB DirectMap2M: 38279168 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890044 MiB End job on nodeC015 at 2024-07-20 11:39:26