| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.99 | 3610.58 |
| 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.07 c RoundingSat 2 0.00/0.07 c branch 0.00/0.07 c commit 0.02/0.10 c #variables 5780 #constraints 5952 10.09/10.27 c #Conflicts: 1000 | #Constraints: 6951 10.09/10.27 c #Conflicts: 2000 | #Constraints: 7951 10.09/10.27 c INPROCESSING 10.09/10.27 c GARBAGE COLLECT 10.09/10.27 c #Conflicts: 3000 | #Constraints: 7649 10.09/10.27 c #Conflicts: 4000 | #Constraints: 8649 10.09/10.27 c INPROCESSING 10.09/10.27 c GARBAGE COLLECT 10.09/10.27 c #Conflicts: 5000 | #Constraints: 8098 10.09/10.27 c #Conflicts: 6000 | #Constraints: 9098 10.09/10.27 c INPROCESSING 10.09/10.27 c GARBAGE COLLECT 10.09/10.27 c rational objective 85 22.75/22.94 c #Conflicts: 7000 | #Constraints: 8144 22.75/22.94 c #Conflicts: 8000 | #Constraints: 9144 22.75/22.94 c #Conflicts: 9000 | #Constraints: 10144 22.75/22.94 c INPROCESSING 22.75/22.94 c GARBAGE COLLECT 22.75/22.94 c #Conflicts: 10000 | #Constraints: 8875 22.75/22.94 c #Conflicts: 11000 | #Constraints: 9875 22.75/22.94 c #Conflicts: 12000 | #Constraints: 10875 22.75/22.94 c INPROCESSING 22.75/22.94 c GARBAGE COLLECT 22.75/22.94 c #Conflicts: 13000 | #Constraints: 9336 22.75/22.94 c #Conflicts: 14000 | #Constraints: 10337 22.75/22.94 c #Conflicts: 15000 | #Constraints: 11337 22.75/22.94 c INPROCESSING 22.75/22.94 c GARBAGE COLLECT 22.75/22.94 c #Conflicts: 16000 | #Constraints: 9609 22.75/22.94 c #Conflicts: 17000 | #Constraints: 10609 22.75/22.94 c #Conflicts: 18000 | #Constraints: 11609 22.75/22.94 c INPROCESSING 22.75/22.94 c GARBAGE COLLECT 22.75/22.94 c rational objective 85 36.51/36.77 c #Conflicts: 19000 | #Constraints: 9675 36.51/36.77 c #Conflicts: 20000 | #Constraints: 10675 36.51/36.77 c #Conflicts: 21000 | #Constraints: 11675 36.51/36.77 c INPROCESSING 36.51/36.77 c GARBAGE COLLECT 36.51/36.77 c #Conflicts: 22000 | #Constraints: 9504 36.51/36.77 c #Conflicts: 23000 | #Constraints: 10505 36.51/36.77 c #Conflicts: 24000 | #Constraints: 11505 36.51/36.77 c #Conflicts: 25000 | #Constraints: 12505 36.51/36.77 c INPROCESSING 36.51/36.77 c GARBAGE COLLECT 36.51/36.77 c #Conflicts: 26000 | #Constraints: 10126 36.51/36.77 c #Conflicts: 27000 | #Constraints: 11126 36.51/36.77 c #Conflicts: 28000 | #Constraints: 12126 36.51/36.77 c #Conflicts: 29000 | #Constraints: 13126 36.51/36.77 c INPROCESSING 36.51/36.77 c GARBAGE COLLECT 36.51/36.77 c #Conflicts: 30000 | #Constraints: 10539 36.51/36.77 c #Conflicts: 31000 | #Constraints: 11539 36.51/36.77 c #Conflicts: 32000 | #Constraints: 12540 36.51/36.77 c #Conflicts: 33000 | #Constraints: 13540 36.51/36.77 c INPROCESSING 36.51/36.77 c GARBAGE COLLECT 36.51/36.77 c rational objective 85 53.37/53.66 c #Conflicts: 34000 | #Constraints: 10760 53.37/53.66 c #Conflicts: 35000 | #Constraints: 11761 53.37/53.66 c #Conflicts: 36000 | #Constraints: 12761 53.37/53.66 c #Conflicts: 37000 | #Constraints: 13761 53.37/53.66 c INPROCESSING 53.37/53.66 c GARBAGE COLLECT 53.37/53.66 c #Conflicts: 38000 | #Constraints: 10786 53.37/53.66 c #Conflicts: 39000 | #Constraints: 11786 53.37/53.66 c #Conflicts: 40000 | #Constraints: 12786 53.37/53.66 c #Conflicts: 41000 | #Constraints: 13786 53.37/53.66 c INPROCESSING 53.37/53.66 c GARBAGE COLLECT 53.37/53.66 c #Conflicts: 42000 | #Constraints: 10560 53.37/53.66 c #Conflicts: 43000 | #Constraints: 11561 53.37/53.66 c #Conflicts: 44000 | #Constraints: 12561 53.37/53.66 c #Conflicts: 45000 | #Constraints: 13561 53.37/53.66 c #Conflicts: 46000 | #Constraints: 14561 53.37/53.66 c INPROCESSING 53.37/53.66 c GARBAGE COLLECT 53.37/53.66 c rational objective 85 72.32/72.67 c #Conflicts: 47000 | #Constraints: 11188 72.32/72.67 c #Conflicts: 48000 | #Constraints: 12189 72.32/72.67 c #Conflicts: 49000 | #Constraints: 13189 72.32/72.67 c #Conflicts: 50000 | #Constraints: 14189 72.32/72.67 c #Conflicts: 51000 | #Constraints: 15189 72.32/72.67 c INPROCESSING 72.32/72.67 c GARBAGE COLLECT 72.32/72.67 c #Conflicts: 52000 | #Constraints: 11609 72.32/72.67 c #Conflicts: 53000 | #Constraints: 12609 72.32/72.67 c #Conflicts: 54000 | #Constraints: 13609 72.32/72.67 c #Conflicts: 55000 | #Constraints: 14609 72.32/72.67 c #Conflicts: 56000 | #Constraints: 15609 72.32/72.67 c INPROCESSING 72.32/72.67 c GARBAGE COLLECT 72.32/72.67 c #Conflicts: 57000 | #Constraints: 11824 72.32/72.67 c #Conflicts: 58000 | #Constraints: 12824 72.32/72.67 c #Conflicts: 59000 | #Constraints: 13825 72.32/72.67 c #Conflicts: 60000 | #Constraints: 14825 72.32/72.67 c #Conflicts: 61000 | #Constraints: 15825 72.32/72.67 c INPROCESSING 72.32/72.67 c GARBAGE COLLECT 72.32/72.67 c rational objective 85 108.92/109.36 c #Conflicts: 62000 | #Constraints: 11847 108.92/109.36 c #Conflicts: 63000 | #Constraints: 12847 108.92/109.36 c #Conflicts: 64000 | #Constraints: 13847 108.92/109.36 c #Conflicts: 65000 | #Constraints: 14847 108.92/109.36 c #Conflicts: 66000 | #Constraints: 15847 108.92/109.36 c INPROCESSING 108.92/109.36 c GARBAGE COLLECT 108.92/109.36 c #Conflicts: 67000 | #Constraints: 11684 108.92/109.36 c #Conflicts: 68000 | #Constraints: 12684 108.92/109.36 c #Conflicts: 69000 | #Constraints: 13684 108.92/109.36 c #Conflicts: 70000 | #Constraints: 14684 108.92/109.36 c #Conflicts: 71000 | #Constraints: 15684 108.92/109.36 c #Conflicts: 72000 | #Constraints: 16684 108.92/109.36 c INPROCESSING 108.92/109.36 c GARBAGE COLLECT 108.92/109.36 c #Conflicts: 73000 | #Constraints: 12282 108.92/109.36 c #Conflicts: 74000 | #Constraints: 13282 108.92/109.36 c #Conflicts: 75000 | #Constraints: 14283 108.92/109.36 c #Conflicts: 76000 | #Constraints: 15283 108.92/109.36 c #Conflicts: 77000 | #Constraints: 16283 108.92/109.36 c #Conflicts: 78000 | #Constraints: 17283 108.92/109.36 c INPROCESSING 108.92/109.36 c GARBAGE COLLECT 108.92/109.36 c #Conflicts: 79000 | #Constraints: 12699 108.92/109.36 c #Conflicts: 80000 | #Constraints: 13699 108.92/109.36 c #Conflicts: 81000 | #Constraints: 14699 108.92/109.36 c #Conflicts: 82000 | #Constraints: 15699 108.92/109.36 c #Conflicts: 83000 | #Constraints: 16699 108.92/109.36 c #Conflicts: 84000 | #Constraints: 17699 108.92/109.36 c INPROCESSING 108.92/109.36 c GARBAGE COLLECT 108.92/109.36 c #Conflicts: 85000 | #Constraints: 12906 108.92/109.36 c #Conflicts: 86000 | #Constraints: 13907 108.92/109.36 c #Conflicts: 87000 | #Constraints: 14907 108.92/109.36 c #Conflicts: 88000 | #Constraints: 15907 108.92/109.36 c #Conflicts: 89000 | #Constraints: 16907 108.92/109.36 c #Conflicts: 90000 | #Constraints: 17907 108.92/109.36 c INPROCESSING 108.92/109.36 c GARBAGE COLLECT 108.92/109.36 c rational objective 85 150.30/150.87 c #Conflicts: 91000 | #Constraints: 12895 150.30/150.87 c #Conflicts: 92000 | #Constraints: 13895 150.30/150.87 c #Conflicts: 93000 | #Constraints: 14895 150.30/150.87 c #Conflicts: 94000 | #Constraints: 15895 150.30/150.87 c #Conflicts: 95000 | #Constraints: 16895 150.30/150.87 c #Conflicts: 96000 | #Constraints: 17895 150.30/150.87 c INPROCESSING 150.30/150.87 c GARBAGE COLLECT 150.30/150.87 c #Conflicts: 97000 | #Constraints: 12700 150.30/150.87 c #Conflicts: 98000 | #Constraints: 13700 150.30/150.87 c #Conflicts: 99000 | #Constraints: 14701 150.30/150.87 c #Conflicts: 100000 | #Constraints: 15701 150.30/150.87 c #Conflicts: 101000 | #Constraints: 16701 150.30/150.87 c #Conflicts: 102000 | #Constraints: 17701 150.30/150.87 c #Conflicts: 103000 | #Constraints: 18701 150.30/150.87 c #Conflicts: 104000 | #Constraints: 19701 150.30/150.87 c #Conflicts: 105000 | #Constraints: 20701 150.30/150.87 c #Conflicts: 106000 | #Constraints: 21701 150.30/150.87 c #Conflicts: 107000 | #Constraints: 22701 150.30/150.87 c #Conflicts: 108000 | #Constraints: 23701 150.30/150.87 c #Conflicts: 109000 | #Constraints: 24701 150.30/150.87 c #Conflicts: 110000 | #Constraints: 25701 150.30/150.87 c #Conflicts: 111000 | #Constraints: 26701 150.30/150.87 c #Conflicts: 112000 | #Constraints: 27701 150.30/150.87 c #Conflicts: 113000 | #Constraints: 28701 150.30/150.87 c #Conflicts: 114000 | #Constraints: 29701 150.30/150.87 c #Conflicts: 115000 | #Constraints: 30701 150.30/150.87 c #Conflicts: 116000 | #Constraints: 31701 150.30/150.87 c #Conflicts: 117000 | #Constraints: 32702 150.30/150.87 c #Conflicts: 118000 | #Constraints: 33702 150.30/150.87 c #Conflicts: 119000 | #Constraints: 34702 150.30/150.87 c #Conflicts: 120000 | #Constraints: 35702 150.30/150.87 c #Conflicts: 121000 | #Constraints: 36702 150.30/150.87 c #Conflicts: 122000 | #Constraints: 37702 150.30/150.87 c #Conflicts: 123000 | #Constraints: 38702 150.30/150.87 c #Conflicts: 124000 | #Constraints: 39702 150.30/150.87 c INPROCESSING 150.30/150.87 c GARBAGE COLLECT 150.30/150.87 c rational objective 85 157.38/157.96 c #Conflicts: 125000 | #Constraints: 23557 157.38/157.96 c #Conflicts: 126000 | #Constraints: 24557 157.38/157.96 c #Conflicts: 127000 | #Constraints: 25557 157.38/157.96 c #Conflicts: 128000 | #Constraints: 26557 157.38/157.96 c #Conflicts: 129000 | #Constraints: 27557 157.38/157.96 c #Conflicts: 130000 | #Constraints: 28557 157.38/157.96 c #Conflicts: 131000 | #Constraints: 29557 157.38/157.96 c #Conflicts: 132000 | #Constraints: 30557 157.38/157.96 c INPROCESSING 157.38/157.96 c GARBAGE COLLECT 157.38/157.96 c rational objective 85 169.95/170.50 c #Conflicts: 133000 | #Constraints: 19147 169.95/170.50 c #Conflicts: 134000 | #Constraints: 20147 169.95/170.50 c #Conflicts: 135000 | #Constraints: 21147 169.95/170.50 c #Conflicts: 136000 | #Constraints: 22147 169.95/170.50 c #Conflicts: 137000 | #Constraints: 23147 169.95/170.50 c #Conflicts: 138000 | #Constraints: 24147 169.95/170.50 c #Conflicts: 139000 | #Constraints: 25147 169.95/170.50 c #Conflicts: 140000 | #Constraints: 26147 169.95/170.50 c INPROCESSING 169.95/170.50 c GARBAGE COLLECT 169.95/170.50 c rational objective 85 188.50/189.19 c #Conflicts: 141000 | #Constraints: 17025 188.50/189.19 c #Conflicts: 142000 | #Constraints: 18025 188.50/189.19 c #Conflicts: 143000 | #Constraints: 19025 188.50/189.19 c #Conflicts: 144000 | #Constraints: 20026 188.50/189.19 c #Conflicts: 145000 | #Constraints: 21026 188.50/189.19 c #Conflicts: 146000 | #Constraints: 22026 188.50/189.19 c #Conflicts: 147000 | #Constraints: 23026 188.50/189.19 c #Conflicts: 148000 | #Constraints: 24026 188.50/189.19 c INPROCESSING 188.50/189.19 c GARBAGE COLLECT 188.50/189.19 c rational objective 85 196.26/196.92 c #Conflicts: 149000 | #Constraints: 15970 196.26/196.92 c #Conflicts: 150000 | #Constraints: 16970 196.26/196.92 c #Conflicts: 151000 | #Constraints: 17971 196.26/196.92 c #Conflicts: 152000 | #Constraints: 18972 196.26/196.92 c #Conflicts: 153000 | #Constraints: 19972 196.26/196.92 c #Conflicts: 154000 | #Constraints: 20972 196.26/196.92 c #Conflicts: 155000 | #Constraints: 21972 196.26/196.92 c #Conflicts: 156000 | #Constraints: 22972 196.26/196.92 c INPROCESSING 196.26/196.92 c GARBAGE COLLECT 196.26/196.92 c rational objective 85 204.45/205.19 c #Conflicts: 157000 | #Constraints: 15264 204.45/205.19 c #Conflicts: 158000 | #Constraints: 16264 204.45/205.19 c #Conflicts: 159000 | #Constraints: 17264 204.45/205.19 c #Conflicts: 160000 | #Constraints: 18264 204.45/205.19 c #Conflicts: 161000 | #Constraints: 19264 204.45/205.19 c #Conflicts: 162000 | #Constraints: 20264 204.45/205.19 c #Conflicts: 163000 | #Constraints: 21264 204.45/205.19 c #Conflicts: 164000 | #Constraints: 22264 204.45/205.19 c #Conflicts: 165000 | #Constraints: 23266 204.45/205.19 c INPROCESSING 204.45/205.19 c GARBAGE COLLECT 204.45/205.19 c rational objective 85 256.89/257.76 c #Conflicts: 166000 | #Constraints: 15645 256.89/257.76 c #Conflicts: 167000 | #Constraints: 16645 256.89/257.76 c #Conflicts: 168000 | #Constraints: 17645 256.89/257.76 c #Conflicts: 169000 | #Constraints: 18645 256.89/257.76 c #Conflicts: 170000 | #Constraints: 19645 256.89/257.76 c #Conflicts: 171000 | #Constraints: 20645 256.89/257.76 c #Conflicts: 172000 | #Constraints: 21645 256.89/257.76 c #Conflicts: 173000 | #Constraints: 22645 256.89/257.76 c #Conflicts: 174000 | #Constraints: 23645 256.89/257.76 c #Conflicts: 175000 | #Constraints: 24645 256.89/257.76 c #Conflicts: 176000 | #Constraints: 25645 256.89/257.76 c #Conflicts: 177000 | #Constraints: 26645 256.89/257.76 c #Conflicts: 178000 | #Constraints: 27645 256.89/257.76 c #Conflicts: 179000 | #Constraints: 28645 256.89/257.76 c #Conflicts: 180000 | #Constraints: 29645 256.89/257.76 c #Conflicts: 181000 | #Constraints: 30645 256.89/257.76 c #Conflicts: 182000 | #Constraints: 31645 256.89/257.76 c #Conflicts: 183000 | #Constraints: 32645 256.89/257.76 c #Conflicts: 184000 | #Constraints: 33645 256.89/257.76 c #Conflicts: 185000 | #Constraints: 34645 256.89/257.76 c #Conflicts: 186000 | #Constraints: 35645 256.89/257.76 c #Conflicts: 187000 | #Constraints: 36646 256.89/257.76 c #Conflicts: 188000 | #Constraints: 37646 256.89/257.76 c #Conflicts: 189000 | #Constraints: 38646 256.89/257.76 c #Conflicts: 190000 | #Constraints: 39646 256.89/257.76 c #Conflicts: 191000 | #Constraints: 40646 256.89/257.76 c #Conflicts: 192000 | #Constraints: 41646 256.89/257.76 c #Conflicts: 193000 | #Constraints: 42646 256.89/257.76 c #Conflicts: 194000 | #Constraints: 43646 256.89/257.76 c #Conflicts: 195000 | #Constraints: 44647 256.89/257.76 c #Conflicts: 196000 | #Constraints: 45647 256.89/257.76 c #Conflicts: 197000 | #Constraints: 46647 256.89/257.76 c #Conflicts: 198000 | #Constraints: 47647 256.89/257.76 c #Conflicts: 199000 | #Constraints: 48647 256.89/257.76 c #Conflicts: 200000 | #Constraints: 49647 256.89/257.76 c #Conflicts: 201000 | #Constraints: 50647 256.89/257.76 c INPROCESSING 256.89/257.76 c GARBAGE COLLECT 256.89/257.76 c rational objective 85 274.73/275.64 c #Conflicts: 202000 | #Constraints: 29496 274.73/275.64 c #Conflicts: 203000 | #Constraints: 30496 274.73/275.64 c #Conflicts: 204000 | #Constraints: 31496 274.73/275.64 c #Conflicts: 205000 | #Constraints: 32496 274.73/275.64 c #Conflicts: 206000 | #Constraints: 33496 274.73/275.64 c #Conflicts: 207000 | #Constraints: 34497 274.73/275.64 c #Conflicts: 208000 | #Constraints: 35497 274.73/275.64 c #Conflicts: 209000 | #Constraints: 36497 274.73/275.64 c #Conflicts: 210000 | #Constraints: 37497 274.73/275.64 c INPROCESSING 274.73/275.64 c GARBAGE COLLECT 274.73/275.64 c rational objective 85 290.20/291.15 c #Conflicts: 211000 | #Constraints: 22481 290.20/291.15 c #Conflicts: 212000 | #Constraints: 23481 290.20/291.15 c #Conflicts: 213000 | #Constraints: 24481 290.20/291.15 c #Conflicts: 214000 | #Constraints: 25481 290.20/291.15 c #Conflicts: 215000 | #Constraints: 26481 290.20/291.15 c #Conflicts: 216000 | #Constraints: 27481 290.20/291.15 c #Conflicts: 217000 | #Constraints: 28481 290.20/291.15 c #Conflicts: 218000 | #Constraints: 29481 290.20/291.15 c #Conflicts: 219000 | #Constraints: 30481 290.20/291.15 c #Conflicts: 220000 | #Constraints: 31481 290.20/291.15 c INPROCESSING 290.20/291.15 c GARBAGE COLLECT 290.20/291.15 c rational objective 85 303.35/304.31 c #Conflicts: 221000 | #Constraints: 19539 303.35/304.31 c #Conflicts: 222000 | #Constraints: 20539 303.35/304.31 c #Conflicts: 223000 | #Constraints: 21539 303.35/304.31 c #Conflicts: 224000 | #Constraints: 22540 303.35/304.31 c #Conflicts: 225000 | #Constraints: 23540 303.35/304.31 c #Conflicts: 226000 | #Constraints: 24540 303.35/304.31 c #Conflicts: 227000 | #Constraints: 25541 303.35/304.31 c #Conflicts: 228000 | #Constraints: 26541 303.35/304.31 c #Conflicts: 229000 | #Constraints: 27541 303.35/304.31 c #Conflicts: 230000 | #Constraints: 28541 303.35/304.31 c #Conflicts: 231000 | #Constraints: 29541 303.35/304.31 c INPROCESSING 303.35/304.31 c GARBAGE COLLECT 303.35/304.31 c rational objective 85 313.92/314.99 c #Conflicts: 232000 | #Constraints: 18991 313.92/314.99 c #Conflicts: 233000 | #Constraints: 19991 313.92/314.99 c #Conflicts: 234000 | #Constraints: 20991 313.92/314.99 c #Conflicts: 235000 | #Constraints: 21991 313.92/314.99 c #Conflicts: 236000 | #Constraints: 22991 313.92/314.99 c #Conflicts: 237000 | #Constraints: 23991 313.92/314.99 c #Conflicts: 238000 | #Constraints: 24991 313.92/314.99 c #Conflicts: 239000 | #Constraints: 25991 313.92/314.99 c #Conflicts: 240000 | #Constraints: 26992 313.92/314.99 c #Conflicts: 241000 | #Constraints: 27992 313.92/314.99 c INPROCESSING 313.92/314.99 c GARBAGE COLLECT 313.92/314.99 c rational objective 85 333.98/335.04 c #Conflicts: 242000 | #Constraints: 17985 333.98/335.04 c #Conflicts: 243000 | #Constraints: 18986 333.98/335.04 c #Conflicts: 244000 | #Constraints: 19986 333.98/335.04 c #Conflicts: 245000 | #Constraints: 20986 333.98/335.04 c #Conflicts: 246000 | #Constraints: 21986 333.98/335.04 c #Conflicts: 247000 | #Constraints: 22986 333.98/335.04 c #Conflicts: 248000 | #Constraints: 23986 333.98/335.04 c #Conflicts: 249000 | #Constraints: 24986 333.98/335.04 c #Conflicts: 250000 | #Constraints: 25986 333.98/335.04 c #Conflicts: 251000 | #Constraints: 26986 333.98/335.04 c #Conflicts: 252000 | #Constraints: 27987 333.98/335.04 c INPROCESSING 333.98/335.04 c GARBAGE COLLECT 333.98/335.04 c rational objective 85 396.98/398.22 c #Conflicts: 253000 | #Constraints: 18186 396.98/398.22 c #Conflicts: 254000 | #Constraints: 19186 396.98/398.22 c #Conflicts: 255000 | #Constraints: 20186 396.98/398.22 c #Conflicts: 256000 | #Constraints: 21186 396.98/398.22 c #Conflicts: 257000 | #Constraints: 22186 396.98/398.22 c #Conflicts: 258000 | #Constraints: 23186 396.98/398.22 c #Conflicts: 259000 | #Constraints: 24186 396.98/398.22 c #Conflicts: 260000 | #Constraints: 25186 396.98/398.22 c #Conflicts: 261000 | #Constraints: 26186 396.98/398.22 c #Conflicts: 262000 | #Constraints: 27186 396.98/398.22 c #Conflicts: 263000 | #Constraints: 28186 396.98/398.22 c #Conflicts: 264000 | #Constraints: 29186 396.98/398.22 c #Conflicts: 265000 | #Constraints: 30186 396.98/398.22 c #Conflicts: 266000 | #Constraints: 31186 396.98/398.22 c #Conflicts: 267000 | #Constraints: 32186 396.98/398.22 c #Conflicts: 268000 | #Constraints: 33186 396.98/398.22 c #Conflicts: 269000 | #Constraints: 34186 396.98/398.22 c #Conflicts: 270000 | #Constraints: 35186 396.98/398.22 c #Conflicts: 271000 | #Constraints: 36186 396.98/398.22 c #Conflicts: 272000 | #Constraints: 37186 396.98/398.22 c #Conflicts: 273000 | #Constraints: 38186 396.98/398.22 c #Conflicts: 274000 | #Constraints: 39186 396.98/398.22 c #Conflicts: 275000 | #Constraints: 40186 396.98/398.22 c #Conflicts: 276000 | #Constraints: 41186 396.98/398.22 c #Conflicts: 277000 | #Constraints: 42187 396.98/398.22 c #Conflicts: 278000 | #Constraints: 43187 396.98/398.22 c #Conflicts: 279000 | #Constraints: 44187 396.98/398.22 c #Conflicts: 280000 | #Constraints: 45188 396.98/398.22 c #Conflicts: 281000 | #Constraints: 46188 396.98/398.22 c #Conflicts: 282000 | #Constraints: 47188 396.98/398.22 c #Conflicts: 283000 | #Constraints: 48188 396.98/398.22 c #Conflicts: 284000 | #Constraints: 49188 396.98/398.22 c #Conflicts: 285000 | #Constraints: 50188 396.98/398.22 c #Conflicts: 286000 | #Constraints: 51188 396.98/398.22 c #Conflicts: 287000 | #Constraints: 52188 396.98/398.22 c #Conflicts: 288000 | #Constraints: 53189 396.98/398.22 c #Conflicts: 289000 | #Constraints: 54189 396.98/398.22 c #Conflicts: 290000 | #Constraints: 55189 396.98/398.22 c #Conflicts: 291000 | #Constraints: 56189 396.98/398.22 c #Conflicts: 292000 | #Constraints: 57190 396.98/398.22 c #Conflicts: 293000 | #Constraints: 58190 396.98/398.22 c #Conflicts: 294000 | #Constraints: 59190 396.98/398.22 c #Conflicts: 295000 | #Constraints: 60191 396.98/398.22 c INPROCESSING 396.98/398.22 c GARBAGE COLLECT 396.98/398.22 c rational objective 85 413.24/414.56 c #Conflicts: 296000 | #Constraints: 34247 413.24/414.56 c #Conflicts: 297000 | #Constraints: 35247 413.24/414.56 c #Conflicts: 298000 | #Constraints: 36247 413.24/414.56 c #Conflicts: 299000 | #Constraints: 37247 413.24/414.56 c #Conflicts: 300000 | #Constraints: 38247 413.24/414.56 c #Conflicts: 301000 | #Constraints: 39247 413.24/414.56 c #Conflicts: 302000 | #Constraints: 40247 413.24/414.56 c #Conflicts: 303000 | #Constraints: 41247 413.24/414.56 c #Conflicts: 304000 | #Constraints: 42247 413.24/414.56 c #Conflicts: 305000 | #Constraints: 43247 413.24/414.56 c #Conflicts: 306000 | #Constraints: 44247 413.24/414.56 c #Conflicts: 307000 | #Constraints: 45247 413.24/414.56 c INPROCESSING 413.24/414.56 c GARBAGE COLLECT 413.24/414.56 c rational objective 85 435.58/436.94 c #Conflicts: 308000 | #Constraints: 26749 435.58/436.94 c #Conflicts: 309000 | #Constraints: 27749 435.58/436.94 c #Conflicts: 310000 | #Constraints: 28750 435.58/436.94 c #Conflicts: 311000 | #Constraints: 29750 435.58/436.94 c #Conflicts: 312000 | #Constraints: 30750 435.58/436.94 c #Conflicts: 313000 | #Constraints: 31750 435.58/436.94 c #Conflicts: 314000 | #Constraints: 32750 435.58/436.94 c #Conflicts: 315000 | #Constraints: 33750 435.58/436.94 c #Conflicts: 316000 | #Constraints: 34750 435.58/436.94 c #Conflicts: 317000 | #Constraints: 35750 435.58/436.94 c #Conflicts: 318000 | #Constraints: 36750 435.58/436.94 c #Conflicts: 319000 | #Constraints: 37751 435.58/436.94 c INPROCESSING 435.58/436.94 c GARBAGE COLLECT 435.58/436.94 c rational objective 85 447.06/448.42 c #Conflicts: 320000 | #Constraints: 23073 447.06/448.42 c #Conflicts: 321000 | #Constraints: 24073 447.06/448.42 c #Conflicts: 322000 | #Constraints: 25073 447.06/448.42 c #Conflicts: 323000 | #Constraints: 26073 447.06/448.42 c #Conflicts: 324000 | #Constraints: 27073 447.06/448.42 c #Conflicts: 325000 | #Constraints: 28073 447.06/448.42 c #Conflicts: 326000 | #Constraints: 29073 447.06/448.42 c #Conflicts: 327000 | #Constraints: 30073 447.06/448.42 c #Conflicts: 328000 | #Constraints: 31073 447.06/448.42 c #Conflicts: 329000 | #Constraints: 32073 447.06/448.42 c #Conflicts: 330000 | #Constraints: 33073 447.06/448.42 c #Conflicts: 331000 | #Constraints: 34074 447.06/448.42 c INPROCESSING 447.06/448.42 c GARBAGE COLLECT 447.06/448.42 c rational objective 85 464.02/465.49 c #Conflicts: 332000 | #Constraints: 21008 464.02/465.49 c #Conflicts: 333000 | #Constraints: 22008 464.02/465.49 c #Conflicts: 334000 | #Constraints: 23008 464.02/465.49 c #Conflicts: 335000 | #Constraints: 24008 464.02/465.49 c #Conflicts: 336000 | #Constraints: 25008 464.02/465.49 c #Conflicts: 337000 | #Constraints: 26008 464.02/465.49 c #Conflicts: 338000 | #Constraints: 27009 464.02/465.49 c #Conflicts: 339000 | #Constraints: 28009 464.02/465.49 c #Conflicts: 340000 | #Constraints: 29009 464.02/465.49 c #Conflicts: 341000 | #Constraints: 30009 464.02/465.49 c #Conflicts: 342000 | #Constraints: 31009 464.02/465.49 c #Conflicts: 343000 | #Constraints: 32009 464.02/465.49 c #Conflicts: 344000 | #Constraints: 33009 464.02/465.49 c INPROCESSING 464.02/465.49 c GARBAGE COLLECT 464.02/465.49 c rational objective 85 541.05/542.65 c #Conflicts: 345000 | #Constraints: 20707 541.05/542.65 c #Conflicts: 346000 | #Constraints: 21707 541.05/542.65 c #Conflicts: 347000 | #Constraints: 22707 541.05/542.65 c #Conflicts: 348000 | #Constraints: 23707 541.05/542.65 c #Conflicts: 349000 | #Constraints: 24707 541.05/542.65 c #Conflicts: 350000 | #Constraints: 25707 541.05/542.65 c #Conflicts: 351000 | #Constraints: 26707 541.05/542.65 c #Conflicts: 352000 | #Constraints: 27707 541.05/542.65 c #Conflicts: 353000 | #Constraints: 28707 541.05/542.65 c #Conflicts: 354000 | #Constraints: 29707 541.05/542.65 c #Conflicts: 355000 | #Constraints: 30707 541.05/542.65 c #Conflicts: 356000 | #Constraints: 31707 541.05/542.65 c #Conflicts: 357000 | #Constraints: 32707 541.05/542.65 c #Conflicts: 358000 | #Constraints: 33708 541.05/542.65 c #Conflicts: 359000 | #Constraints: 34708 541.05/542.65 c #Conflicts: 360000 | #Constraints: 35708 541.05/542.65 c #Conflicts: 361000 | #Constraints: 36708 541.05/542.65 c #Conflicts: 362000 | #Constraints: 37708 541.05/542.65 c #Conflicts: 363000 | #Constraints: 38708 541.05/542.65 c #Conflicts: 364000 | #Constraints: 39708 541.05/542.65 c #Conflicts: 365000 | #Constraints: 40708 541.05/542.65 c #Conflicts: 366000 | #Constraints: 41708 541.05/542.65 c #Conflicts: 367000 | #Constraints: 42708 541.05/542.65 c #Conflicts: 368000 | #Constraints: 43708 541.05/542.65 c #Conflicts: 369000 | #Constraints: 44708 541.05/542.65 c #Conflicts: 370000 | #Constraints: 45708 541.05/542.65 c #Conflicts: 371000 | #Constraints: 46708 541.05/542.65 c #Conflicts: 372000 | #Constraints: 47708 541.05/542.65 c #Conflicts: 373000 | #Constraints: 48708 541.05/542.65 c #Conflicts: 374000 | #Constraints: 49708 541.05/542.65 c #Conflicts: 375000 | #Constraints: 50709 541.05/542.65 c #Conflicts: 376000 | #Constraints: 51709 541.05/542.65 c #Conflicts: 377000 | #Constraints: 52709 541.05/542.65 c #Conflicts: 378000 | #Constraints: 53709 541.05/542.65 c #Conflicts: 379000 | #Constraints: 54709 541.05/542.65 c #Conflicts: 380000 | #Constraints: 55709 541.05/542.65 c #Conflicts: 381000 | #Constraints: 56709 541.05/542.65 c #Conflicts: 382000 | #Constraints: 57709 541.05/542.65 c #Conflicts: 383000 | #Constraints: 58709 541.05/542.65 c #Conflicts: 384000 | #Constraints: 59709 541.05/542.65 c #Conflicts: 385000 | #Constraints: 60709 541.05/542.65 c #Conflicts: 386000 | #Constraints: 61709 541.05/542.65 c #Conflicts: 387000 | #Constraints: 62709 541.05/542.65 c #Conflicts: 388000 | #Constraints: 63709 541.05/542.65 c #Conflicts: 389000 | #Constraints: 64709 541.05/542.65 c #Conflicts: 390000 | #Constraints: 65709 541.05/542.65 c #Conflicts: 391000 | #Constraints: 66709 541.05/542.65 c #Conflicts: 392000 | #Constraints: 67709 541.05/542.65 c #Conflicts: 393000 | #Constraints: 68709 541.05/542.65 c INPROCESSING 541.05/542.65 c GARBAGE COLLECT 541.05/542.65 c rational objective 85 563.99/565.62 c #Conflicts: 394000 | #Constraints: 38301 563.99/565.62 c #Conflicts: 395000 | #Constraints: 39302 563.99/565.62 c #Conflicts: 396000 | #Constraints: 40302 563.99/565.62 c #Conflicts: 397000 | #Constraints: 41302 563.99/565.62 c #Conflicts: 398000 | #Constraints: 42302 563.99/565.62 c #Conflicts: 399000 | #Constraints: 43302 563.99/565.62 c #Conflicts: 400000 | #Constraints: 44302 563.99/565.62 c #Conflicts: 401000 | #Constraints: 45302 563.99/565.62 c #Conflicts: 402000 | #Constraints: 46302 563.99/565.62 c #Conflicts: 403000 | #Constraints: 47302 563.99/565.62 c #Conflicts: 404000 | #Constraints: 48302 563.99/565.62 c #Conflicts: 405000 | #Constraints: 49302 563.99/565.62 c #Conflicts: 406000 | #Constraints: 50302 563.99/565.62 c #Conflicts: 407000 | #Constraints: 51302 563.99/565.62 c INPROCESSING 563.99/565.62 c GARBAGE COLLECT 563.99/565.62 c rational objective 85 582.05/583.71 c #Conflicts: 408000 | #Constraints: 29743 582.05/583.71 c #Conflicts: 409000 | #Constraints: 30743 582.05/583.71 c #Conflicts: 410000 | #Constraints: 31743 582.05/583.71 c #Conflicts: 411000 | #Constraints: 32743 582.05/583.71 c #Conflicts: 412000 | #Constraints: 33743 582.05/583.71 c #Conflicts: 413000 | #Constraints: 34743 582.05/583.71 c #Conflicts: 414000 | #Constraints: 35743 582.05/583.71 c #Conflicts: 415000 | #Constraints: 36744 582.05/583.71 c #Conflicts: 416000 | #Constraints: 37744 582.05/583.71 c #Conflicts: 417000 | #Constraints: 38746 582.05/583.71 c #Conflicts: 418000 | #Constraints: 39746 582.05/583.71 c #Conflicts: 419000 | #Constraints: 40746 582.05/583.71 c #Conflicts: 420000 | #Constraints: 41746 582.05/583.71 c #Conflicts: 421000 | #Constraints: 42746 582.05/583.71 c INPROCESSING 582.05/583.71 c GARBAGE COLLECT 582.05/583.71 c rational objective 85 607.19/608.97 c #Conflicts: 422000 | #Constraints: 25451 607.19/608.97 c #Conflicts: 423000 | #Constraints: 26451 607.19/608.97 c #Conflicts: 424000 | #Constraints: 27451 607.19/608.97 c #Conflicts: 425000 | #Constraints: 28451 607.19/608.97 c #Conflicts: 426000 | #Constraints: 29451 607.19/608.97 c #Conflicts: 427000 | #Constraints: 30451 607.19/608.97 c #Conflicts: 428000 | #Constraints: 31451 607.19/608.97 c #Conflicts: 429000 | #Constraints: 32451 607.19/608.97 c #Conflicts: 430000 | #Constraints: 33451 607.19/608.97 c #Conflicts: 431000 | #Constraints: 34452 607.19/608.97 c #Conflicts: 432000 | #Constraints: 35454 607.19/608.97 c #Conflicts: 433000 | #Constraints: 36454 607.19/608.97 c #Conflicts: 434000 | #Constraints: 37455 607.19/608.97 c #Conflicts: 435000 | #Constraints: 38456 607.19/608.97 c INPROCESSING 607.19/608.97 c GARBAGE COLLECT 607.19/608.97 c rational objective 85 627.45/629.28 c #Conflicts: 436000 | #Constraints: 23210 627.45/629.28 c #Conflicts: 437000 | #Constraints: 24210 627.45/629.28 c #Conflicts: 438000 | #Constraints: 25210 627.45/629.28 c #Conflicts: 439000 | #Constraints: 26210 627.45/629.28 c #Conflicts: 440000 | #Constraints: 27210 627.45/629.28 c #Conflicts: 441000 | #Constraints: 28211 627.45/629.28 c #Conflicts: 442000 | #Constraints: 29211 627.45/629.28 c #Conflicts: 443000 | #Constraints: 30211 627.45/629.28 c #Conflicts: 444000 | #Constraints: 31211 627.45/629.28 c #Conflicts: 445000 | #Constraints: 32211 627.45/629.28 c #Conflicts: 446000 | #Constraints: 33211 627.45/629.28 c #Conflicts: 447000 | #Constraints: 34211 627.45/629.28 c #Conflicts: 448000 | #Constraints: 35211 627.45/629.28 c #Conflicts: 449000 | #Constraints: 36211 627.45/629.28 c #Conflicts: 450000 | #Constraints: 37212 627.45/629.28 c INPROCESSING 627.45/629.28 c GARBAGE COLLECT 627.45/629.28 c rational objective 85 718.69/720.77 c #Conflicts: 451000 | #Constraints: 22881 718.69/720.77 c #Conflicts: 452000 | #Constraints: 23881 718.69/720.77 c #Conflicts: 453000 | #Constraints: 24881 718.69/720.77 c #Conflicts: 454000 | #Constraints: 25881 718.69/720.77 c #Conflicts: 455000 | #Constraints: 26881 718.69/720.77 c #Conflicts: 456000 | #Constraints: 27881 718.69/720.77 c #Conflicts: 457000 | #Constraints: 28881 718.69/720.77 c #Conflicts: 458000 | #Constraints: 29881 718.69/720.77 c #Conflicts: 459000 | #Constraints: 30881 718.69/720.77 c #Conflicts: 460000 | #Constraints: 31881 718.69/720.77 c #Conflicts: 461000 | #Constraints: 32881 718.69/720.77 c #Conflicts: 462000 | #Constraints: 33881 718.69/720.77 c #Conflicts: 463000 | #Constraints: 34881 718.69/720.77 c #Conflicts: 464000 | #Constraints: 35881 718.69/720.77 c #Conflicts: 465000 | #Constraints: 36881 718.69/720.77 c #Conflicts: 466000 | #Constraints: 37881 718.69/720.77 c #Conflicts: 467000 | #Constraints: 38881 718.69/720.77 c #Conflicts: 468000 | #Constraints: 39881 718.69/720.77 c #Conflicts: 469000 | #Constraints: 40881 718.69/720.77 c #Conflicts: 470000 | #Constraints: 41881 718.69/720.77 c #Conflicts: 471000 | #Constraints: 42881 718.69/720.77 c #Conflicts: 472000 | #Constraints: 43881 718.69/720.77 c #Conflicts: 473000 | #Constraints: 44881 718.69/720.77 c #Conflicts: 474000 | #Constraints: 45881 718.69/720.77 c #Conflicts: 475000 | #Constraints: 46881 718.69/720.77 c #Conflicts: 476000 | #Constraints: 47881 718.69/720.77 c #Conflicts: 477000 | #Constraints: 48881 718.69/720.77 c #Conflicts: 478000 | #Constraints: 49881 718.69/720.77 c #Conflicts: 479000 | #Constraints: 50881 718.69/720.77 c #Conflicts: 480000 | #Constraints: 51881 718.69/720.77 c #Conflicts: 481000 | #Constraints: 52881 718.69/720.77 c #Conflicts: 482000 | #Constraints: 53881 718.69/720.77 c #Conflicts: 483000 | #Constraints: 54881 718.69/720.77 c #Conflicts: 484000 | #Constraints: 55881 718.69/720.77 c #Conflicts: 485000 | #Constraints: 56881 718.69/720.77 c #Conflicts: 486000 | #Constraints: 57881 718.69/720.77 c #Conflicts: 487000 | #Constraints: 58881 718.69/720.77 c #Conflicts: 488000 | #Constraints: 59882 718.69/720.77 c #Conflicts: 489000 | #Constraints: 60882 718.69/720.77 c #Conflicts: 490000 | #Constraints: 61883 718.69/720.77 c #Conflicts: 491000 | #Constraints: 62885 718.69/720.77 c #Conflicts: 492000 | #Constraints: 63886 718.69/720.77 c #Conflicts: 493000 | #Constraints: 64887 718.69/720.77 c #Conflicts: 494000 | #Constraints: 65891 718.69/720.77 c #Conflicts: 495000 | #Constraints: 66891 718.69/720.77 c #Conflicts: 496000 | #Constraints: 67891 718.69/720.77 c #Conflicts: 497000 | #Constraints: 68891 718.69/720.77 c #Conflicts: 498000 | #Constraints: 69891 718.69/720.77 c #Conflicts: 499000 | #Constraints: 70891 718.69/720.77 c #Conflicts: 500000 | #Constraints: 71891 718.69/720.77 c #Conflicts: 501000 | #Constraints: 72891 718.69/720.77 c #Conflicts: 502000 | #Constraints: 73891 718.69/720.77 c #Conflicts: 503000 | #Constraints: 74891 718.69/720.77 c #Conflicts: 504000 | #Constraints: 75891 718.69/720.77 c #Conflicts: 505000 | #Constraints: 76891 718.69/720.77 c #Conflicts: 506000 | #Constraints: 77891 718.69/720.77 c INPROCESSING 718.69/720.77 c GARBAGE COLLECT 718.69/720.77 c rational objective 85 751.20/753.38 c #Conflicts: 507000 | #Constraints: 43223 751.20/753.38 c #Conflicts: 508000 | #Constraints: 44224 751.20/753.38 c #Conflicts: 509000 | #Constraints: 45224 751.20/753.38 c #Conflicts: 510000 | #Constraints: 46225 751.20/753.38 c #Conflicts: 511000 | #Constraints: 47225 751.20/753.38 c #Conflicts: 512000 | #Constraints: 48225 751.20/753.38 c #Conflicts: 513000 | #Constraints: 49225 751.20/753.38 c #Conflicts: 514000 | #Constraints: 50225 751.20/753.38 c #Conflicts: 515000 | #Constraints: 51225 751.20/753.38 c #Conflicts: 516000 | #Constraints: 52225 751.20/753.38 c #Conflicts: 517000 | #Constraints: 53225 751.20/753.38 c #Conflicts: 518000 | #Constraints: 54225 751.20/753.38 c #Conflicts: 519000 | #Constraints: 55225 751.20/753.38 c #Conflicts: 520000 | #Constraints: 56225 751.20/753.38 c #Conflicts: 521000 | #Constraints: 57225 751.20/753.38 c INPROCESSING 751.20/753.38 c GARBAGE COLLECT 751.20/753.38 c rational objective 85 778.12/780.40 c #Conflicts: 522000 | #Constraints: 32522 778.12/780.40 c #Conflicts: 523000 | #Constraints: 33523 778.12/780.40 c #Conflicts: 524000 | #Constraints: 34523 778.12/780.40 c #Conflicts: 525000 | #Constraints: 35523 778.12/780.40 c #Conflicts: 526000 | #Constraints: 36523 778.12/780.40 c #Conflicts: 527000 | #Constraints: 37523 778.12/780.40 c #Conflicts: 528000 | #Constraints: 38523 778.12/780.40 c #Conflicts: 529000 | #Constraints: 39523 778.12/780.40 c #Conflicts: 530000 | #Constraints: 40523 778.12/780.40 c #Conflicts: 531000 | #Constraints: 41523 778.12/780.40 c #Conflicts: 532000 | #Constraints: 42523 778.12/780.40 c #Conflicts: 533000 | #Constraints: 43523 778.12/780.40 c #Conflicts: 534000 | #Constraints: 44523 778.12/780.40 c #Conflicts: 535000 | #Constraints: 45523 778.12/780.40 c #Conflicts: 536000 | #Constraints: 46523 778.12/780.40 c #Conflicts: 537000 | #Constraints: 47524 778.12/780.40 c INPROCESSING 778.12/780.40 c GARBAGE COLLECT 778.12/780.40 c rational objective 85 797.46/799.76 c #Conflicts: 538000 | #Constraints: 27792 797.46/799.76 c #Conflicts: 539000 | #Constraints: 28792 797.46/799.76 c #Conflicts: 540000 | #Constraints: 29792 797.46/799.76 c #Conflicts: 541000 | #Constraints: 30792 797.46/799.76 c #Conflicts: 542000 | #Constraints: 31792 797.46/799.76 c #Conflicts: 543000 | #Constraints: 32792 797.46/799.76 c #Conflicts: 544000 | #Constraints: 33792 797.46/799.76 c #Conflicts: 545000 | #Constraints: 34792 797.46/799.76 c #Conflicts: 546000 | #Constraints: 35792 797.46/799.76 c #Conflicts: 547000 | #Constraints: 36792 797.46/799.76 c #Conflicts: 548000 | #Constraints: 37792 797.46/799.76 c #Conflicts: 549000 | #Constraints: 38792 797.46/799.76 c #Conflicts: 550000 | #Constraints: 39792 797.46/799.76 c #Conflicts: 551000 | #Constraints: 40792 797.46/799.76 c #Conflicts: 552000 | #Constraints: 41792 797.46/799.76 c #Conflicts: 553000 | #Constraints: 42792 797.46/799.76 c INPROCESSING 797.46/799.76 c GARBAGE COLLECT 797.46/799.76 c rational objective 85 820.00/822.33 c #Conflicts: 554000 | #Constraints: 25407 820.00/822.33 c #Conflicts: 555000 | #Constraints: 26407 820.00/822.33 c #Conflicts: 556000 | #Constraints: 27407 820.00/822.33 c #Conflicts: 557000 | #Constraints: 28407 820.00/822.33 c #Conflicts: 558000 | #Constraints: 29407 820.00/822.33 c #Conflicts: 559000 | #Constraints: 30407 820.00/822.33 c #Conflicts: 560000 | #Constraints: 31407 820.00/822.33 c #Conflicts: 561000 | #Constraints: 32407 820.00/822.33 c #Conflicts: 562000 | #Constraints: 33407 820.00/822.33 c #Conflicts: 563000 | #Constraints: 34407 820.00/822.33 c #Conflicts: 564000 | #Constraints: 35407 820.00/822.33 c #Conflicts: 565000 | #Constraints: 36407 820.00/822.33 c #Conflicts: 566000 | #Constraints: 37407 820.00/822.33 c #Conflicts: 567000 | #Constraints: 38408 820.00/822.33 c #Conflicts: 568000 | #Constraints: 39408 820.00/822.33 c #Conflicts: 569000 | #Constraints: 40408 820.00/822.33 c #Conflicts: 570000 | #Constraints: 41408 820.00/822.33 c INPROCESSING 820.00/822.33 c GARBAGE COLLECT 820.00/822.33 c rational objective 85 939.44/942.13 c #Conflicts: 571000 | #Constraints: 24948 939.44/942.13 c #Conflicts: 572000 | #Constraints: 25948 939.44/942.13 c #Conflicts: 573000 | #Constraints: 26948 939.44/942.13 c #Conflicts: 574000 | #Constraints: 27948 939.44/942.13 c #Conflicts: 575000 | #Constraints: 28948 939.44/942.13 c #Conflicts: 576000 | #Constraints: 29948 939.44/942.13 c #Conflicts: 577000 | #Constraints: 30948 939.44/942.13 c #Conflicts: 578000 | #Constraints: 31948 939.44/942.13 c #Conflicts: 579000 | #Constraints: 32948 939.44/942.13 c #Conflicts: 580000 | #Constraints: 33948 939.44/942.13 c #Conflicts: 581000 | #Constraints: 34948 939.44/942.13 c #Conflicts: 582000 | #Constraints: 35950 939.44/942.13 c #Conflicts: 583000 | #Constraints: 36950 939.44/942.13 c #Conflicts: 584000 | #Constraints: 37950 939.44/942.13 c #Conflicts: 585000 | #Constraints: 38950 939.44/942.13 c #Conflicts: 586000 | #Constraints: 39950 939.44/942.13 c #Conflicts: 587000 | #Constraints: 40950 939.44/942.13 c #Conflicts: 588000 | #Constraints: 41951 939.44/942.13 c #Conflicts: 589000 | #Constraints: 42951 939.44/942.13 c #Conflicts: 590000 | #Constraints: 43951 939.44/942.13 c #Conflicts: 591000 | #Constraints: 44952 939.44/942.13 c #Conflicts: 592000 | #Constraints: 45953 939.44/942.13 c #Conflicts: 593000 | #Constraints: 46953 939.44/942.13 c #Conflicts: 594000 | #Constraints: 47953 939.44/942.13 c #Conflicts: 595000 | #Constraints: 48953 939.44/942.13 c #Conflicts: 596000 | #Constraints: 49953 939.44/942.13 c #Conflicts: 597000 | #Constraints: 50953 939.44/942.13 c #Conflicts: 598000 | #Constraints: 51954 939.44/942.13 c #Conflicts: 599000 | #Constraints: 52954 939.44/942.13 c #Conflicts: 600000 | #Constraints: 53955 939.44/942.13 c #Conflicts: 601000 | #Constraints: 54955 939.44/942.13 c #Conflicts: 602000 | #Constraints: 55956 939.44/942.13 c #Conflicts: 603000 | #Constraints: 56957 939.44/942.13 c #Conflicts: 604000 | #Constraints: 57957 939.44/942.13 c #Conflicts: 605000 | #Constraints: 58957 939.44/942.13 c #Conflicts: 606000 | #Constraints: 59957 939.44/942.13 c #Conflicts: 607000 | #Constraints: 60957 939.44/942.13 c #Conflicts: 608000 | #Constraints: 61957 939.44/942.13 c #Conflicts: 609000 | #Constraints: 62957 939.44/942.13 c #Conflicts: 610000 | #Constraints: 63957 939.44/942.13 c #Conflicts: 611000 | #Constraints: 64957 939.44/942.13 c #Conflicts: 612000 | #Constraints: 65957 939.44/942.13 c #Conflicts: 613000 | #Constraints: 66957 939.44/942.13 c #Conflicts: 614000 | #Constraints: 67957 939.44/942.13 c #Conflicts: 615000 | #Constraints: 68957 939.44/942.13 c #Conflicts: 616000 | #Constraints: 69957 939.44/942.13 c #Conflicts: 617000 | #Constraints: 70957 939.44/942.13 c #Conflicts: 618000 | #Constraints: 71957 939.44/942.13 c #Conflicts: 619000 | #Constraints: 72957 939.44/942.13 c #Conflicts: 620000 | #Constraints: 73957 939.44/942.13 c #Conflicts: 621000 | #Constraints: 74957 939.44/942.13 c #Conflicts: 622000 | #Constraints: 75957 939.44/942.13 c #Conflicts: 623000 | #Constraints: 76957 939.44/942.13 c #Conflicts: 624000 | #Constraints: 77957 939.44/942.13 c #Conflicts: 625000 | #Constraints: 78957 939.44/942.13 c #Conflicts: 626000 | #Constraints: 79957 939.44/942.13 c #Conflicts: 627000 | #Constraints: 80957 939.44/942.13 c #Conflicts: 628000 | #Constraints: 81957 939.44/942.13 c #Conflicts: 629000 | #Constraints: 82957 939.44/942.13 c #Conflicts: 630000 | #Constraints: 83957 939.44/942.13 c #Conflicts: 631000 | #Constraints: 84957 939.44/942.13 c #Conflicts: 632000 | #Constraints: 85957 939.44/942.13 c INPROCESSING 939.44/942.13 c GARBAGE COLLECT 939.44/942.13 c rational objective 85 972.04/974.82 c #Conflicts: 633000 | #Constraints: 47063 972.04/974.82 c #Conflicts: 634000 | #Constraints: 48063 972.04/974.82 c #Conflicts: 635000 | #Constraints: 49063 972.04/974.82 c #Conflicts: 636000 | #Constraints: 50063 972.04/974.82 c #Conflicts: 637000 | #Constraints: 51063 972.04/974.82 c #Conflicts: 638000 | #Constraints: 52063 972.04/974.82 c #Conflicts: 639000 | #Constraints: 53063 972.04/974.82 c #Conflicts: 640000 | #Constraints: 54063 972.04/974.82 c #Conflicts: 641000 | #Constraints: 55063 972.04/974.82 c #Conflicts: 642000 | #Constraints: 56063 972.04/974.82 c #Conflicts: 643000 | #Constraints: 57063 972.04/974.82 c #Conflicts: 644000 | #Constraints: 58063 972.04/974.82 c #Conflicts: 645000 | #Constraints: 59063 972.04/974.82 c #Conflicts: 646000 | #Constraints: 60063 972.04/974.82 c #Conflicts: 647000 | #Constraints: 61063 972.04/974.82 c #Conflicts: 648000 | #Constraints: 62063 972.04/974.82 c #Conflicts: 649000 | #Constraints: 63063 972.04/974.82 c #Conflicts: 650000 | #Constraints: 64063 972.04/974.82 c INPROCESSING 972.04/974.82 c GARBAGE COLLECT 972.04/974.82 c rational objective 85 1003.04/1005.97 c #Conflicts: 651000 | #Constraints: 36366 1003.04/1005.97 c #Conflicts: 652000 | #Constraints: 37367 1003.04/1005.97 c #Conflicts: 653000 | #Constraints: 38367 1003.04/1005.97 c #Conflicts: 654000 | #Constraints: 39368 1003.04/1005.97 c #Conflicts: 655000 | #Constraints: 40369 1003.04/1005.97 c #Conflicts: 656000 | #Constraints: 41369 1003.04/1005.97 c #Conflicts: 657000 | #Constraints: 42369 1003.04/1005.97 c #Conflicts: 658000 | #Constraints: 43369 1003.04/1005.97 c #Conflicts: 659000 | #Constraints: 44369 1003.04/1005.97 c #Conflicts: 660000 | #Constraints: 45369 1003.04/1005.97 c #Conflicts: 661000 | #Constraints: 46369 1003.04/1005.97 c #Conflicts: 662000 | #Constraints: 47369 1003.04/1005.97 c #Conflicts: 663000 | #Constraints: 48370 1003.04/1005.97 c #Conflicts: 664000 | #Constraints: 49370 1003.04/1005.97 c #Conflicts: 665000 | #Constraints: 50371 1003.04/1005.97 c #Conflicts: 666000 | #Constraints: 51371 1003.04/1005.97 c #Conflicts: 667000 | #Constraints: 52371 1003.04/1005.97 c INPROCESSING 1003.04/1005.97 c GARBAGE COLLECT 1003.04/1005.97 c rational objective 85 1029.86/1032.85 c #Conflicts: 668000 | #Constraints: 30118 1029.86/1032.85 c #Conflicts: 669000 | #Constraints: 31118 1029.86/1032.85 c #Conflicts: 670000 | #Constraints: 32118 1029.86/1032.85 c #Conflicts: 671000 | #Constraints: 33118 1029.86/1032.85 c #Conflicts: 672000 | #Constraints: 34118 1029.86/1032.85 c #Conflicts: 673000 | #Constraints: 35118 1029.86/1032.85 c #Conflicts: 674000 | #Constraints: 36118 1029.86/1032.85 c #Conflicts: 675000 | #Constraints: 37119 1029.86/1032.85 c #Conflicts: 676000 | #Constraints: 38120 1029.86/1032.85 c #Conflicts: 677000 | #Constraints: 39120 1029.86/1032.85 c #Conflicts: 678000 | #Constraints: 40120 1029.86/1032.85 c #Conflicts: 679000 | #Constraints: 41120 1029.86/1032.85 c #Conflicts: 680000 | #Constraints: 42120 1029.86/1032.85 c #Conflicts: 681000 | #Constraints: 43120 1029.86/1032.85 c #Conflicts: 682000 | #Constraints: 44121 1029.86/1032.85 c #Conflicts: 683000 | #Constraints: 45121 1029.86/1032.85 c #Conflicts: 684000 | #Constraints: 46121 1029.86/1032.85 c #Conflicts: 685000 | #Constraints: 47121 1029.86/1032.85 c INPROCESSING 1029.86/1032.85 c GARBAGE COLLECT 1029.86/1032.85 c rational objective 85 1050.21/1053.23 c #Conflicts: 686000 | #Constraints: 27470 1050.21/1053.23 c #Conflicts: 687000 | #Constraints: 28470 1050.21/1053.23 c #Conflicts: 688000 | #Constraints: 29470 1050.21/1053.23 c #Conflicts: 689000 | #Constraints: 30470 1050.21/1053.23 c #Conflicts: 690000 | #Constraints: 31470 1050.21/1053.23 c #Conflicts: 691000 | #Constraints: 32470 1050.21/1053.23 c #Conflicts: 692000 | #Constraints: 33470 1050.21/1053.23 c #Conflicts: 693000 | #Constraints: 34470 1050.21/1053.23 c #Conflicts: 694000 | #Constraints: 35471 1050.21/1053.23 c #Conflicts: 695000 | #Constraints: 36471 1050.21/1053.23 c #Conflicts: 696000 | #Constraints: 37471 1050.21/1053.23 c #Conflicts: 697000 | #Constraints: 38472 1050.21/1053.23 c #Conflicts: 698000 | #Constraints: 39472 1050.21/1053.23 c #Conflicts: 699000 | #Constraints: 40472 1050.21/1053.23 c #Conflicts: 700000 | #Constraints: 41472 1050.21/1053.23 c #Conflicts: 701000 | #Constraints: 42472 1050.21/1053.23 c #Conflicts: 702000 | #Constraints: 43472 1050.21/1053.23 c #Conflicts: 703000 | #Constraints: 44472 1050.21/1053.23 c #Conflicts: 704000 | #Constraints: 45472 1050.21/1053.23 c INPROCESSING 1050.21/1053.23 c GARBAGE COLLECT 1050.21/1053.23 c rational objective 85 1199.25/1202.79 c #Conflicts: 705000 | #Constraints: 27066 1199.25/1202.79 c #Conflicts: 706000 | #Constraints: 28066 1199.25/1202.79 c #Conflicts: 707000 | #Constraints: 29066 1199.25/1202.79 c #Conflicts: 708000 | #Constraints: 30066 1199.25/1202.79 c #Conflicts: 709000 | #Constraints: 31066 1199.25/1202.79 c #Conflicts: 710000 | #Constraints: 32066 1199.25/1202.79 c #Conflicts: 711000 | #Constraints: 33066 1199.25/1202.79 c #Conflicts: 712000 | #Constraints: 34066 1199.25/1202.79 c #Conflicts: 713000 | #Constraints: 35066 1199.25/1202.79 c #Conflicts: 714000 | #Constraints: 36066 1199.25/1202.79 c #Conflicts: 715000 | #Constraints: 37066 1199.25/1202.79 c #Conflicts: 716000 | #Constraints: 38066 1199.25/1202.79 c #Conflicts: 717000 | #Constraints: 39066 1199.25/1202.79 c #Conflicts: 718000 | #Constraints: 40066 1199.25/1202.79 c #Conflicts: 719000 | #Constraints: 41066 1199.25/1202.79 c #Conflicts: 720000 | #Constraints: 42066 1199.25/1202.79 c #Conflicts: 721000 | #Constraints: 43066 1199.25/1202.79 c #Conflicts: 722000 | #Constraints: 44066 1199.25/1202.79 c #Conflicts: 723000 | #Constraints: 45066 1199.25/1202.79 c #Conflicts: 724000 | #Constraints: 46067 1199.25/1202.79 c #Conflicts: 725000 | #Constraints: 47067 1199.25/1202.79 c #Conflicts: 726000 | #Constraints: 48067 1199.25/1202.79 c #Conflicts: 727000 | #Constraints: 49067 1199.25/1202.79 c #Conflicts: 728000 | #Constraints: 50067 1199.25/1202.79 c #Conflicts: 729000 | #Constraints: 51067 1199.25/1202.79 c #Conflicts: 730000 | #Constraints: 52067 1199.25/1202.79 c #Conflicts: 731000 | #Constraints: 53067 1199.25/1202.79 c #Conflicts: 732000 | #Constraints: 54067 1199.25/1202.79 c #Conflicts: 733000 | #Constraints: 55067 1199.25/1202.79 c #Conflicts: 734000 | #Constraints: 56067 1199.25/1202.79 c #Conflicts: 735000 | #Constraints: 57067 1199.25/1202.79 c #Conflicts: 736000 | #Constraints: 58067 1199.25/1202.79 c #Conflicts: 737000 | #Constraints: 59067 1199.25/1202.79 c #Conflicts: 738000 | #Constraints: 60067 1199.25/1202.79 c #Conflicts: 739000 | #Constraints: 61067 1199.25/1202.79 c #Conflicts: 740000 | #Constraints: 62067 1199.25/1202.79 c #Conflicts: 741000 | #Constraints: 63067 1199.25/1202.79 c #Conflicts: 742000 | #Constraints: 64067 1199.25/1202.79 c #Conflicts: 743000 | #Constraints: 65067 1199.25/1202.79 c #Conflicts: 744000 | #Constraints: 66067 1199.25/1202.79 c #Conflicts: 745000 | #Constraints: 67067 1199.25/1202.79 c #Conflicts: 746000 | #Constraints: 68067 1199.25/1202.79 c #Conflicts: 747000 | #Constraints: 69067 1199.25/1202.79 c #Conflicts: 748000 | #Constraints: 70068 1199.25/1202.79 c #Conflicts: 749000 | #Constraints: 71068 1199.25/1202.79 c #Conflicts: 750000 | #Constraints: 72068 1199.25/1202.79 c #Conflicts: 751000 | #Constraints: 73069 1199.25/1202.79 c #Conflicts: 752000 | #Constraints: 74069 1199.25/1202.79 c #Conflicts: 753000 | #Constraints: 75069 1199.25/1202.79 c #Conflicts: 754000 | #Constraints: 76069 1199.25/1202.79 c #Conflicts: 755000 | #Constraints: 77069 1199.25/1202.79 c #Conflicts: 756000 | #Constraints: 78069 1199.25/1202.79 c #Conflicts: 757000 | #Constraints: 79069 1199.25/1202.79 c #Conflicts: 758000 | #Constraints: 80069 1199.25/1202.79 c #Conflicts: 759000 | #Constraints: 81069 1199.25/1202.79 c #Conflicts: 760000 | #Constraints: 82069 1199.25/1202.79 c #Conflicts: 761000 | #Constraints: 83069 1199.25/1202.79 c #Conflicts: 762000 | #Constraints: 84069 1199.25/1202.79 c #Conflicts: 763000 | #Constraints: 85070 1199.25/1202.79 c #Conflicts: 764000 | #Constraints: 86070 1199.25/1202.79 c #Conflicts: 765000 | #Constraints: 87070 1199.25/1202.79 c #Conflicts: 766000 | #Constraints: 88070 1199.25/1202.79 c #Conflicts: 767000 | #Constraints: 89070 1199.25/1202.79 c #Conflicts: 768000 | #Constraints: 90070 1199.25/1202.79 c #Conflicts: 769000 | #Constraints: 91070 1199.25/1202.79 c #Conflicts: 770000 | #Constraints: 92071 1199.25/1202.79 c #Conflicts: 771000 | #Constraints: 93072 1199.25/1202.79 c #Conflicts: 772000 | #Constraints: 94073 1199.25/1202.79 c INPROCESSING 1199.25/1202.79 c GARBAGE COLLECT 1199.25/1202.79 c rational objective 85 1241.22/1244.88 c #Conflicts: 773000 | #Constraints: 51032 1241.22/1244.88 c #Conflicts: 774000 | #Constraints: 52032 1241.22/1244.88 c #Conflicts: 775000 | #Constraints: 53032 1241.22/1244.88 c #Conflicts: 776000 | #Constraints: 54032 1241.22/1244.88 c #Conflicts: 777000 | #Constraints: 55033 1241.22/1244.88 c #Conflicts: 778000 | #Constraints: 56033 1241.22/1244.88 c #Conflicts: 779000 | #Constraints: 57033 1241.22/1244.88 c #Conflicts: 780000 | #Constraints: 58033 1241.22/1244.88 c #Conflicts: 781000 | #Constraints: 59033 1241.22/1244.88 c #Conflicts: 782000 | #Constraints: 60033 1241.22/1244.88 c #Conflicts: 783000 | #Constraints: 61033 1241.22/1244.88 c #Conflicts: 784000 | #Constraints: 62033 1241.22/1244.88 c #Conflicts: 785000 | #Constraints: 63034 1241.22/1244.88 c #Conflicts: 786000 | #Constraints: 64034 1241.22/1244.88 c #Conflicts: 787000 | #Constraints: 65034 1241.22/1244.88 c #Conflicts: 788000 | #Constraints: 66034 1241.22/1244.88 c #Conflicts: 789000 | #Constraints: 67034 1241.22/1244.88 c #Conflicts: 790000 | #Constraints: 68034 1241.22/1244.88 c #Conflicts: 791000 | #Constraints: 69034 1241.22/1244.88 c #Conflicts: 792000 | #Constraints: 70034 1241.22/1244.88 c INPROCESSING 1241.22/1244.88 c GARBAGE COLLECT 1241.22/1244.88 c rational objective 85 1272.63/1276.38 c #Conflicts: 793000 | #Constraints: 39213 1272.63/1276.38 c #Conflicts: 794000 | #Constraints: 40213 1272.63/1276.38 c #Conflicts: 795000 | #Constraints: 41213 1272.63/1276.38 c #Conflicts: 796000 | #Constraints: 42213 1272.63/1276.38 c #Conflicts: 797000 | #Constraints: 43213 1272.63/1276.38 c #Conflicts: 798000 | #Constraints: 44213 1272.63/1276.38 c #Conflicts: 799000 | #Constraints: 45213 1272.63/1276.38 c #Conflicts: 800000 | #Constraints: 46213 1272.63/1276.38 c #Conflicts: 801000 | #Constraints: 47213 1272.63/1276.38 c #Conflicts: 802000 | #Constraints: 48213 1272.63/1276.38 c #Conflicts: 803000 | #Constraints: 49214 1272.63/1276.38 c #Conflicts: 804000 | #Constraints: 50214 1272.63/1276.38 c #Conflicts: 805000 | #Constraints: 51214 1272.63/1276.38 c #Conflicts: 806000 | #Constraints: 52214 1272.63/1276.38 c #Conflicts: 807000 | #Constraints: 53214 1272.63/1276.38 c #Conflicts: 808000 | #Constraints: 54214 1272.63/1276.38 c #Conflicts: 809000 | #Constraints: 55215 1272.63/1276.38 c #Conflicts: 810000 | #Constraints: 56215 1272.63/1276.38 c #Conflicts: 811000 | #Constraints: 57215 1272.63/1276.38 c #Conflicts: 812000 | #Constraints: 58215 1272.63/1276.38 c INPROCESSING 1272.63/1276.38 c GARBAGE COLLECT 1272.63/1276.38 c rational objective 85 1297.75/1301.59 c #Conflicts: 813000 | #Constraints: 33501 1297.75/1301.59 c #Conflicts: 814000 | #Constraints: 34501 1297.75/1301.59 c #Conflicts: 815000 | #Constraints: 35502 1297.75/1301.59 c #Conflicts: 816000 | #Constraints: 36503 1297.75/1301.59 c #Conflicts: 817000 | #Constraints: 37503 1297.75/1301.59 c #Conflicts: 818000 | #Constraints: 38503 1297.75/1301.59 c #Conflicts: 819000 | #Constraints: 39503 1297.75/1301.59 c #Conflicts: 820000 | #Constraints: 40503 1297.75/1301.59 c #Conflicts: 821000 | #Constraints: 41504 1297.75/1301.59 c #Conflicts: 822000 | #Constraints: 42504 1297.75/1301.59 c #Conflicts: 823000 | #Constraints: 43504 1297.75/1301.59 c #Conflicts: 824000 | #Constraints: 44504 1297.75/1301.59 c #Conflicts: 825000 | #Constraints: 45504 1297.75/1301.59 c #Conflicts: 826000 | #Constraints: 46504 1297.75/1301.59 c #Conflicts: 827000 | #Constraints: 47504 1297.75/1301.59 c #Conflicts: 828000 | #Constraints: 48504 1297.75/1301.59 c #Conflicts: 829000 | #Constraints: 49504 1297.75/1301.59 c #Conflicts: 830000 | #Constraints: 50504 1297.75/1301.59 c #Conflicts: 831000 | #Constraints: 51504 1297.75/1301.59 c INPROCESSING 1297.75/1301.59 c GARBAGE COLLECT 1297.75/1301.59 c rational objective 85 1334.26/1338.12 c #Conflicts: 832000 | #Constraints: 29680 1334.26/1338.12 c #Conflicts: 833000 | #Constraints: 30681 1334.26/1338.12 c #Conflicts: 834000 | #Constraints: 31681 1334.26/1338.12 c #Conflicts: 835000 | #Constraints: 32681 1334.26/1338.12 c #Conflicts: 836000 | #Constraints: 33682 1334.26/1338.12 c #Conflicts: 837000 | #Constraints: 34682 1334.26/1338.12 c #Conflicts: 838000 | #Constraints: 35682 1334.26/1338.12 c #Conflicts: 839000 | #Constraints: 36682 1334.26/1338.12 c #Conflicts: 840000 | #Constraints: 37682 1334.26/1338.12 c #Conflicts: 841000 | #Constraints: 38682 1334.26/1338.12 c #Conflicts: 842000 | #Constraints: 39682 1334.26/1338.12 c #Conflicts: 843000 | #Constraints: 40682 1334.26/1338.12 c #Conflicts: 844000 | #Constraints: 41682 1334.26/1338.12 c #Conflicts: 845000 | #Constraints: 42682 1334.26/1338.12 c #Conflicts: 846000 | #Constraints: 43682 1334.26/1338.12 c #Conflicts: 847000 | #Constraints: 44682 1334.26/1338.12 c #Conflicts: 848000 | #Constraints: 45683 1334.26/1338.12 c #Conflicts: 849000 | #Constraints: 46683 1334.26/1338.12 c #Conflicts: 850000 | #Constraints: 47683 1334.26/1338.12 c #Conflicts: 851000 | #Constraints: 48683 1334.26/1338.12 c #Conflicts: 852000 | #Constraints: 49683 1334.26/1338.12 c INPROCESSING 1334.26/1338.12 c GARBAGE COLLECT 1334.26/1338.12 c rational objective 85 1510.42/1514.86 c #Conflicts: 853000 | #Constraints: 29231 1510.42/1514.86 c #Conflicts: 854000 | #Constraints: 30231 1510.42/1514.86 c #Conflicts: 855000 | #Constraints: 31231 1510.42/1514.86 c #Conflicts: 856000 | #Constraints: 32231 1510.42/1514.86 c #Conflicts: 857000 | #Constraints: 33231 1510.42/1514.86 c #Conflicts: 858000 | #Constraints: 34231 1510.42/1514.86 c #Conflicts: 859000 | #Constraints: 35231 1510.42/1514.86 c #Conflicts: 860000 | #Constraints: 36231 1510.42/1514.86 c #Conflicts: 861000 | #Constraints: 37231 1510.42/1514.86 c #Conflicts: 862000 | #Constraints: 38231 1510.42/1514.86 c #Conflicts: 863000 | #Constraints: 39231 1510.42/1514.86 c #Conflicts: 864000 | #Constraints: 40231 1510.42/1514.86 c #Conflicts: 865000 | #Constraints: 41231 1510.42/1514.86 c #Conflicts: 866000 | #Constraints: 42231 1510.42/1514.86 c #Conflicts: 867000 | #Constraints: 43232 1510.42/1514.86 c #Conflicts: 868000 | #Constraints: 44232 1510.42/1514.86 c #Conflicts: 869000 | #Constraints: 45232 1510.42/1514.86 c #Conflicts: 870000 | #Constraints: 46232 1510.42/1514.86 c #Conflicts: 871000 | #Constraints: 47232 1510.42/1514.86 c #Conflicts: 872000 | #Constraints: 48232 1510.42/1514.87 c #Conflicts: 873000 | #Constraints: 49232 1510.42/1514.87 c #Conflicts: 874000 | #Constraints: 50232 1510.42/1514.87 c #Conflicts: 875000 | #Constraints: 51232 1510.42/1514.87 c #Conflicts: 876000 | #Constraints: 52232 1510.42/1514.87 c #Conflicts: 877000 | #Constraints: 53232 1510.42/1514.87 c #Conflicts: 878000 | #Constraints: 54232 1510.42/1514.87 c #Conflicts: 879000 | #Constraints: 55232 1510.42/1514.87 c #Conflicts: 880000 | #Constraints: 56232 1510.42/1514.87 c #Conflicts: 881000 | #Constraints: 57233 1510.42/1514.87 c #Conflicts: 882000 | #Constraints: 58233 1510.42/1514.87 c #Conflicts: 883000 | #Constraints: 59233 1510.42/1514.87 c #Conflicts: 884000 | #Constraints: 60233 1510.42/1514.87 c #Conflicts: 885000 | #Constraints: 61233 1510.42/1514.87 c #Conflicts: 886000 | #Constraints: 62233 1510.42/1514.87 c #Conflicts: 887000 | #Constraints: 63233 1510.42/1514.87 c #Conflicts: 888000 | #Constraints: 64233 1510.42/1514.87 c #Conflicts: 889000 | #Constraints: 65233 1510.42/1514.87 c #Conflicts: 890000 | #Constraints: 66233 1510.42/1514.87 c #Conflicts: 891000 | #Constraints: 67233 1510.42/1514.87 c #Conflicts: 892000 | #Constraints: 68233 1510.42/1514.87 c #Conflicts: 893000 | #Constraints: 69233 1510.42/1514.87 c #Conflicts: 894000 | #Constraints: 70233 1510.42/1514.87 c #Conflicts: 895000 | #Constraints: 71233 1510.42/1514.87 c #Conflicts: 896000 | #Constraints: 72233 1510.42/1514.87 c #Conflicts: 897000 | #Constraints: 73233 1510.42/1514.87 c #Conflicts: 898000 | #Constraints: 74233 1510.42/1514.87 c #Conflicts: 899000 | #Constraints: 75233 1510.42/1514.87 c #Conflicts: 900000 | #Constraints: 76233 1510.42/1514.87 c #Conflicts: 901000 | #Constraints: 77234 1510.42/1514.87 c #Conflicts: 902000 | #Constraints: 78234 1510.42/1514.87 c #Conflicts: 903000 | #Constraints: 79235 1510.42/1514.87 c #Conflicts: 904000 | #Constraints: 80235 1510.42/1514.87 c #Conflicts: 905000 | #Constraints: 81235 1510.42/1514.87 c #Conflicts: 906000 | #Constraints: 82235 1510.42/1514.87 c #Conflicts: 907000 | #Constraints: 83235 1510.42/1514.87 c #Conflicts: 908000 | #Constraints: 84235 1510.42/1514.87 c #Conflicts: 909000 | #Constraints: 85235 1510.42/1514.87 c #Conflicts: 910000 | #Constraints: 86235 1510.42/1514.87 c #Conflicts: 911000 | #Constraints: 87235 1510.42/1514.87 c #Conflicts: 912000 | #Constraints: 88235 1510.42/1514.87 c #Conflicts: 913000 | #Constraints: 89235 1510.42/1514.87 c #Conflicts: 914000 | #Constraints: 90235 1510.42/1514.87 c #Conflicts: 915000 | #Constraints: 91236 1510.42/1514.87 c #Conflicts: 916000 | #Constraints: 92236 1510.42/1514.87 c #Conflicts: 917000 | #Constraints: 93236 1510.42/1514.87 c #Conflicts: 918000 | #Constraints: 94236 1510.42/1514.87 c #Conflicts: 919000 | #Constraints: 95236 1510.42/1514.87 c #Conflicts: 920000 | #Constraints: 96236 1510.42/1514.87 c #Conflicts: 921000 | #Constraints: 97236 1510.42/1514.87 c #Conflicts: 922000 | #Constraints: 98237 1510.42/1514.87 c #Conflicts: 923000 | #Constraints: 99237 1510.42/1514.87 c #Conflicts: 924000 | #Constraints: 100237 1510.42/1514.87 c #Conflicts: 925000 | #Constraints: 101237 1510.42/1514.87 c #Conflicts: 926000 | #Constraints: 102237 1510.42/1514.87 c #Conflicts: 927000 | #Constraints: 103237 1510.42/1514.87 c INPROCESSING 1510.42/1514.87 c GARBAGE COLLECT 1510.42/1514.87 c rational objective 85 1558.89/1563.42 c #Conflicts: 928000 | #Constraints: 55846 1558.89/1563.42 c #Conflicts: 929000 | #Constraints: 56846 1558.89/1563.42 c #Conflicts: 930000 | #Constraints: 57846 1558.89/1563.42 c #Conflicts: 931000 | #Constraints: 58846 1558.89/1563.42 c #Conflicts: 932000 | #Constraints: 59846 1558.89/1563.42 c #Conflicts: 933000 | #Constraints: 60846 1558.89/1563.42 c #Conflicts: 934000 | #Constraints: 61846 1558.89/1563.42 c #Conflicts: 935000 | #Constraints: 62846 1558.89/1563.42 c #Conflicts: 936000 | #Constraints: 63846 1558.89/1563.42 c #Conflicts: 937000 | #Constraints: 64846 1558.89/1563.42 c #Conflicts: 938000 | #Constraints: 65847 1558.89/1563.42 c #Conflicts: 939000 | #Constraints: 66847 1558.89/1563.42 c #Conflicts: 940000 | #Constraints: 67847 1558.89/1563.42 c #Conflicts: 941000 | #Constraints: 68848 1558.89/1563.42 c #Conflicts: 942000 | #Constraints: 69848 1558.89/1563.42 c #Conflicts: 943000 | #Constraints: 70848 1558.89/1563.42 c #Conflicts: 944000 | #Constraints: 71848 1558.89/1563.42 c #Conflicts: 945000 | #Constraints: 72848 1558.89/1563.42 c #Conflicts: 946000 | #Constraints: 73848 1558.89/1563.42 c #Conflicts: 947000 | #Constraints: 74848 1558.89/1563.42 c #Conflicts: 948000 | #Constraints: 75848 1558.89/1563.42 c INPROCESSING 1558.89/1563.42 c GARBAGE COLLECT 1558.89/1563.42 c rational objective 85 1607.18/1611.80 c #Conflicts: 949000 | #Constraints: 42042 1607.18/1611.80 c #Conflicts: 950000 | #Constraints: 43042 1607.18/1611.80 c #Conflicts: 951000 | #Constraints: 44042 1607.18/1611.80 c #Conflicts: 952000 | #Constraints: 45042 1607.18/1611.80 c #Conflicts: 953000 | #Constraints: 46042 1607.18/1611.80 c #Conflicts: 954000 | #Constraints: 47042 1607.18/1611.80 c #Conflicts: 955000 | #Constraints: 48042 1607.18/1611.80 c #Conflicts: 956000 | #Constraints: 49042 1607.18/1611.80 c #Conflicts: 957000 | #Constraints: 50042 1607.18/1611.80 c #Conflicts: 958000 | #Constraints: 51042 1607.18/1611.80 c #Conflicts: 959000 | #Constraints: 52043 1607.18/1611.80 c #Conflicts: 960000 | #Constraints: 53043 1607.18/1611.80 c #Conflicts: 961000 | #Constraints: 54043 1607.18/1611.80 c #Conflicts: 962000 | #Constraints: 55043 1607.18/1611.80 c #Conflicts: 963000 | #Constraints: 56043 1607.18/1611.80 c #Conflicts: 964000 | #Constraints: 57043 1607.18/1611.80 c #Conflicts: 965000 | #Constraints: 58044 1607.18/1611.80 c #Conflicts: 966000 | #Constraints: 59044 1607.18/1611.80 c #Conflicts: 967000 | #Constraints: 60044 1607.18/1611.80 c #Conflicts: 968000 | #Constraints: 61044 1607.18/1611.80 c #Conflicts: 969000 | #Constraints: 62044 1607.18/1611.80 c #Conflicts: 970000 | #Constraints: 63044 1607.18/1611.80 c INPROCESSING 1607.18/1611.80 c GARBAGE COLLECT 1607.18/1611.80 c rational objective 85 1648.69/1653.48 c #Conflicts: 971000 | #Constraints: 35762 1648.69/1653.48 c #Conflicts: 972000 | #Constraints: 36762 1648.69/1653.48 c #Conflicts: 973000 | #Constraints: 37762 1648.69/1653.48 c #Conflicts: 974000 | #Constraints: 38762 1648.69/1653.48 c #Conflicts: 975000 | #Constraints: 39762 1648.69/1653.48 c #Conflicts: 976000 | #Constraints: 40762 1648.69/1653.48 c #Conflicts: 977000 | #Constraints: 41762 1648.69/1653.48 c #Conflicts: 978000 | #Constraints: 42762 1648.69/1653.48 c #Conflicts: 979000 | #Constraints: 43762 1648.69/1653.48 c #Conflicts: 980000 | #Constraints: 44762 1648.69/1653.48 c #Conflicts: 981000 | #Constraints: 45762 1648.69/1653.48 c #Conflicts: 982000 | #Constraints: 46762 1648.69/1653.48 c #Conflicts: 983000 | #Constraints: 47762 1648.69/1653.48 c #Conflicts: 984000 | #Constraints: 48762 1648.69/1653.48 c #Conflicts: 985000 | #Constraints: 49763 1648.69/1653.48 c #Conflicts: 986000 | #Constraints: 50763 1648.69/1653.48 c #Conflicts: 987000 | #Constraints: 51763 1648.69/1653.48 c #Conflicts: 988000 | #Constraints: 52763 1648.69/1653.48 c #Conflicts: 989000 | #Constraints: 53763 1648.69/1653.48 c #Conflicts: 990000 | #Constraints: 54763 1648.69/1653.48 c #Conflicts: 991000 | #Constraints: 55764 1648.69/1653.48 c #Conflicts: 992000 | #Constraints: 56764 1648.69/1653.48 c INPROCESSING 1648.69/1653.48 c GARBAGE COLLECT 1648.69/1653.48 c rational objective 85 1680.62/1685.43 c #Conflicts: 993000 | #Constraints: 32786 1680.62/1685.43 c #Conflicts: 994000 | #Constraints: 33786 1680.62/1685.43 c #Conflicts: 995000 | #Constraints: 34786 1680.62/1685.43 c #Conflicts: 996000 | #Constraints: 35786 1680.62/1685.43 c #Conflicts: 997000 | #Constraints: 36786 1680.62/1685.43 c #Conflicts: 998000 | #Constraints: 37786 1680.62/1685.43 c #Conflicts: 999000 | #Constraints: 38786 1680.62/1685.43 c #Conflicts: 1000000 | #Constraints: 39786 1680.62/1685.43 c #Conflicts: 1001000 | #Constraints: 40786 1680.62/1685.43 c #Conflicts: 1002000 | #Constraints: 41786 1680.62/1685.43 c #Conflicts: 1003000 | #Constraints: 42786 1680.62/1685.43 c #Conflicts: 1004000 | #Constraints: 43786 1680.62/1685.43 c #Conflicts: 1005000 | #Constraints: 44786 1680.62/1685.43 c #Conflicts: 1006000 | #Constraints: 45786 1680.62/1685.43 c #Conflicts: 1007000 | #Constraints: 46786 1680.62/1685.43 c #Conflicts: 1008000 | #Constraints: 47786 1680.62/1685.43 c #Conflicts: 1009000 | #Constraints: 48786 1680.62/1685.43 c #Conflicts: 1010000 | #Constraints: 49787 1680.62/1685.43 c #Conflicts: 1011000 | #Constraints: 50787 1680.62/1685.43 c #Conflicts: 1012000 | #Constraints: 51788 1680.62/1685.43 c #Conflicts: 1013000 | #Constraints: 52788 1680.62/1685.43 c #Conflicts: 1014000 | #Constraints: 53788 1680.62/1685.43 c INPROCESSING 1680.62/1685.43 c GARBAGE COLLECT 1680.62/1685.43 c rational objective 85 1854.90/1860.15 c #Conflicts: 1015000 | #Constraints: 31302 1854.90/1860.15 c #Conflicts: 1016000 | #Constraints: 32302 1854.90/1860.15 c #Conflicts: 1017000 | #Constraints: 33302 1854.90/1860.15 c #Conflicts: 1018000 | #Constraints: 34302 1854.90/1860.15 c #Conflicts: 1019000 | #Constraints: 35302 1854.90/1860.15 c #Conflicts: 1020000 | #Constraints: 36302 1854.90/1860.15 c #Conflicts: 1021000 | #Constraints: 37302 1854.90/1860.15 c #Conflicts: 1022000 | #Constraints: 38302 1854.90/1860.15 c #Conflicts: 1023000 | #Constraints: 39302 1854.90/1860.15 c #Conflicts: 1024000 | #Constraints: 40303 1854.90/1860.15 c #Conflicts: 1025000 | #Constraints: 41303 1854.90/1860.15 c #Conflicts: 1026000 | #Constraints: 42303 1854.90/1860.15 c #Conflicts: 1027000 | #Constraints: 43303 1854.90/1860.15 c #Conflicts: 1028000 | #Constraints: 44303 1854.90/1860.15 c #Conflicts: 1029000 | #Constraints: 45304 1854.90/1860.15 c #Conflicts: 1030000 | #Constraints: 46305 1854.90/1860.15 c #Conflicts: 1031000 | #Constraints: 47305 1854.90/1860.15 c #Conflicts: 1032000 | #Constraints: 48306 1854.90/1860.15 c #Conflicts: 1033000 | #Constraints: 49308 1854.90/1860.15 c #Conflicts: 1034000 | #Constraints: 50311 1854.90/1860.15 c #Conflicts: 1035000 | #Constraints: 51312 1854.90/1860.15 c #Conflicts: 1036000 | #Constraints: 52312 1854.90/1860.15 c #Conflicts: 1037000 | #Constraints: 53312 1854.90/1860.15 c #Conflicts: 1038000 | #Constraints: 54313 1854.90/1860.15 c #Conflicts: 1039000 | #Constraints: 55313 1854.90/1860.15 c #Conflicts: 1040000 | #Constraints: 56313 1854.90/1860.15 c #Conflicts: 1041000 | #Constraints: 57313 1854.90/1860.15 c #Conflicts: 1042000 | #Constraints: 58313 1854.90/1860.15 c #Conflicts: 1043000 | #Constraints: 59313 1854.90/1860.15 c #Conflicts: 1044000 | #Constraints: 60313 1854.90/1860.15 c #Conflicts: 1045000 | #Constraints: 61313 1854.90/1860.15 c #Conflicts: 1046000 | #Constraints: 62313 1854.90/1860.15 c #Conflicts: 1047000 | #Constraints: 63313 1854.90/1860.15 c #Conflicts: 1048000 | #Constraints: 64313 1854.90/1860.15 c #Conflicts: 1049000 | #Constraints: 65313 1854.90/1860.15 c #Conflicts: 1050000 | #Constraints: 66313 1854.90/1860.15 c #Conflicts: 1051000 | #Constraints: 67314 1854.90/1860.15 c #Conflicts: 1052000 | #Constraints: 68314 1854.90/1860.15 c #Conflicts: 1053000 | #Constraints: 69314 1854.90/1860.15 c #Conflicts: 1054000 | #Constraints: 70314 1854.90/1860.15 c #Conflicts: 1055000 | #Constraints: 71314 1854.90/1860.15 c #Conflicts: 1056000 | #Constraints: 72314 1854.90/1860.15 c #Conflicts: 1057000 | #Constraints: 73314 1854.90/1860.15 c #Conflicts: 1058000 | #Constraints: 74314 1854.90/1860.15 c #Conflicts: 1059000 | #Constraints: 75314 1854.90/1860.15 c #Conflicts: 1060000 | #Constraints: 76314 1854.90/1860.15 c #Conflicts: 1061000 | #Constraints: 77314 1854.90/1860.15 c #Conflicts: 1062000 | #Constraints: 78314 1854.90/1860.15 c #Conflicts: 1063000 | #Constraints: 79314 1854.90/1860.15 c #Conflicts: 1064000 | #Constraints: 80314 1854.90/1860.15 c #Conflicts: 1065000 | #Constraints: 81314 1854.90/1860.15 c #Conflicts: 1066000 | #Constraints: 82314 1854.90/1860.15 c #Conflicts: 1067000 | #Constraints: 83314 1854.90/1860.15 c #Conflicts: 1068000 | #Constraints: 84314 1854.90/1860.15 c #Conflicts: 1069000 | #Constraints: 85314 1854.90/1860.15 c #Conflicts: 1070000 | #Constraints: 86314 1854.90/1860.15 c #Conflicts: 1071000 | #Constraints: 87314 1854.90/1860.15 c #Conflicts: 1072000 | #Constraints: 88314 1854.90/1860.15 c #Conflicts: 1073000 | #Constraints: 89314 1854.90/1860.15 c #Conflicts: 1074000 | #Constraints: 90314 1854.90/1860.15 c #Conflicts: 1075000 | #Constraints: 91314 1854.90/1860.15 c #Conflicts: 1076000 | #Constraints: 92314 1854.90/1860.15 c #Conflicts: 1077000 | #Constraints: 93314 1854.90/1860.15 c #Conflicts: 1078000 | #Constraints: 94314 1854.90/1860.15 c #Conflicts: 1079000 | #Constraints: 95314 1854.90/1860.15 c #Conflicts: 1080000 | #Constraints: 96314 1854.90/1860.15 c #Conflicts: 1081000 | #Constraints: 97314 1854.90/1860.15 c #Conflicts: 1082000 | #Constraints: 98314 1854.90/1860.15 c #Conflicts: 1083000 | #Constraints: 99314 1854.90/1860.15 c #Conflicts: 1084000 | #Constraints: 100314 1854.90/1860.15 c #Conflicts: 1085000 | #Constraints: 101315 1854.90/1860.15 c #Conflicts: 1086000 | #Constraints: 102315 1854.90/1860.15 c #Conflicts: 1087000 | #Constraints: 103315 1854.90/1860.15 c #Conflicts: 1088000 | #Constraints: 104315 1854.90/1860.15 c #Conflicts: 1089000 | #Constraints: 105315 1854.90/1860.15 c #Conflicts: 1090000 | #Constraints: 106315 1854.90/1860.15 c #Conflicts: 1091000 | #Constraints: 107316 1854.90/1860.15 c #Conflicts: 1092000 | #Constraints: 108316 1854.90/1860.15 c #Conflicts: 1093000 | #Constraints: 109317 1870.86/1876.14 c #Conflicts: 1094000 | #Constraints: 110320 1870.86/1876.14 c #Conflicts: 1095000 | #Constraints: 111324 1870.86/1876.14 c INPROCESSING 1870.86/1876.14 c GARBAGE COLLECT 1870.86/1876.14 c rational objective 85 1926.21/1931.69 c #Conflicts: 1096000 | #Constraints: 59812 1926.21/1931.69 c #Conflicts: 1097000 | #Constraints: 60813 1926.21/1931.69 c #Conflicts: 1098000 | #Constraints: 61813 1926.21/1931.69 c #Conflicts: 1099000 | #Constraints: 62813 1926.21/1931.69 c #Conflicts: 1100000 | #Constraints: 63813 1926.21/1931.69 c #Conflicts: 1101000 | #Constraints: 64813 1926.21/1931.69 c #Conflicts: 1102000 | #Constraints: 65813 1926.21/1931.69 c #Conflicts: 1103000 | #Constraints: 66813 1926.21/1931.69 c #Conflicts: 1104000 | #Constraints: 67813 1926.21/1931.69 c #Conflicts: 1105000 | #Constraints: 68813 1926.21/1931.69 c #Conflicts: 1106000 | #Constraints: 69813 1926.21/1931.69 c #Conflicts: 1107000 | #Constraints: 70813 1926.21/1931.69 c #Conflicts: 1108000 | #Constraints: 71813 1926.21/1931.69 c #Conflicts: 1109000 | #Constraints: 72813 1926.21/1931.69 c #Conflicts: 1110000 | #Constraints: 73813 1926.21/1931.69 c #Conflicts: 1111000 | #Constraints: 74813 1926.21/1931.69 c #Conflicts: 1112000 | #Constraints: 75813 1926.21/1931.69 c #Conflicts: 1113000 | #Constraints: 76813 1926.21/1931.69 c #Conflicts: 1114000 | #Constraints: 77813 1926.21/1931.69 c #Conflicts: 1115000 | #Constraints: 78813 1926.21/1931.69 c #Conflicts: 1116000 | #Constraints: 79813 1926.21/1931.69 c #Conflicts: 1117000 | #Constraints: 80813 1926.21/1931.69 c #Conflicts: 1118000 | #Constraints: 81813 1926.21/1931.69 c INPROCESSING 1926.21/1931.69 c GARBAGE COLLECT 1926.21/1931.69 c rational objective 85 1964.21/1969.72 c #Conflicts: 1119000 | #Constraints: 44820 1964.21/1969.72 c #Conflicts: 1120000 | #Constraints: 45820 1964.21/1969.72 c #Conflicts: 1121000 | #Constraints: 46820 1964.21/1969.72 c #Conflicts: 1122000 | #Constraints: 47820 1964.21/1969.72 c #Conflicts: 1123000 | #Constraints: 48820 1964.21/1969.72 c #Conflicts: 1124000 | #Constraints: 49820 1964.21/1969.72 c #Conflicts: 1125000 | #Constraints: 50820 1964.21/1969.72 c #Conflicts: 1126000 | #Constraints: 51820 1964.21/1969.72 c #Conflicts: 1127000 | #Constraints: 52820 1964.21/1969.72 c #Conflicts: 1128000 | #Constraints: 53820 1964.21/1969.72 c #Conflicts: 1129000 | #Constraints: 54820 1964.21/1969.72 c #Conflicts: 1130000 | #Constraints: 55821 1964.21/1969.72 c #Conflicts: 1131000 | #Constraints: 56821 1964.21/1969.72 c #Conflicts: 1132000 | #Constraints: 57821 1964.21/1969.72 c #Conflicts: 1133000 | #Constraints: 58821 1964.21/1969.72 c #Conflicts: 1134000 | #Constraints: 59821 1964.21/1969.72 c #Conflicts: 1135000 | #Constraints: 60821 1964.21/1969.72 c #Conflicts: 1136000 | #Constraints: 61821 1964.21/1969.72 c #Conflicts: 1137000 | #Constraints: 62821 1964.21/1969.72 c #Conflicts: 1138000 | #Constraints: 63821 1964.21/1969.72 c #Conflicts: 1139000 | #Constraints: 64821 1964.21/1969.72 c #Conflicts: 1140000 | #Constraints: 65821 1964.21/1969.72 c #Conflicts: 1141000 | #Constraints: 66821 1964.21/1969.72 c #Conflicts: 1142000 | #Constraints: 67821 1964.21/1969.72 c INPROCESSING 1964.21/1969.72 c GARBAGE COLLECT 1964.21/1969.72 c rational objective 85 1998.73/2004.38 c #Conflicts: 1143000 | #Constraints: 38094 1998.73/2004.38 c #Conflicts: 1144000 | #Constraints: 39094 1998.73/2004.38 c #Conflicts: 1145000 | #Constraints: 40094 1998.73/2004.38 c #Conflicts: 1146000 | #Constraints: 41094 1998.73/2004.38 c #Conflicts: 1147000 | #Constraints: 42094 1998.73/2004.38 c #Conflicts: 1148000 | #Constraints: 43094 1998.73/2004.38 c #Conflicts: 1149000 | #Constraints: 44094 1998.73/2004.38 c #Conflicts: 1150000 | #Constraints: 45094 1998.73/2004.38 c #Conflicts: 1151000 | #Constraints: 46094 1998.73/2004.38 c #Conflicts: 1152000 | #Constraints: 47094 1998.73/2004.38 c #Conflicts: 1153000 | #Constraints: 48094 1998.73/2004.38 c #Conflicts: 1154000 | #Constraints: 49094 1998.73/2004.38 c #Conflicts: 1155000 | #Constraints: 50095 1998.73/2004.38 c #Conflicts: 1156000 | #Constraints: 51095 1998.73/2004.38 c #Conflicts: 1157000 | #Constraints: 52096 1998.73/2004.38 c #Conflicts: 1158000 | #Constraints: 53096 1998.73/2004.38 c #Conflicts: 1159000 | #Constraints: 54096 1998.73/2004.38 c #Conflicts: 1160000 | #Constraints: 55096 1998.73/2004.38 c #Conflicts: 1161000 | #Constraints: 56096 1998.73/2004.38 c #Conflicts: 1162000 | #Constraints: 57096 1998.73/2004.38 c #Conflicts: 1163000 | #Constraints: 58096 1998.73/2004.38 c #Conflicts: 1164000 | #Constraints: 59096 1998.73/2004.38 c #Conflicts: 1165000 | #Constraints: 60096 1998.73/2004.38 c #Conflicts: 1166000 | #Constraints: 61096 1998.73/2004.38 c INPROCESSING 1998.73/2004.38 c GARBAGE COLLECT 1998.73/2004.38 c rational objective 85 2038.33/2044.06 c #Conflicts: 1167000 | #Constraints: 34888 2038.33/2044.06 c #Conflicts: 1168000 | #Constraints: 35888 2038.33/2044.06 c #Conflicts: 1169000 | #Constraints: 36889 2038.33/2044.06 c #Conflicts: 1170000 | #Constraints: 37889 2038.33/2044.06 c #Conflicts: 1171000 | #Constraints: 38889 2038.33/2044.06 c #Conflicts: 1172000 | #Constraints: 39889 2038.33/2044.06 c #Conflicts: 1173000 | #Constraints: 40889 2038.33/2044.06 c #Conflicts: 1174000 | #Constraints: 41889 2038.33/2044.06 c #Conflicts: 1175000 | #Constraints: 42889 2038.33/2044.06 c #Conflicts: 1176000 | #Constraints: 43889 2038.33/2044.06 c #Conflicts: 1177000 | #Constraints: 44889 2038.33/2044.06 c #Conflicts: 1178000 | #Constraints: 45889 2038.33/2044.06 c #Conflicts: 1179000 | #Constraints: 46889 2038.33/2044.06 c #Conflicts: 1180000 | #Constraints: 47889 2038.33/2044.06 c #Conflicts: 1181000 | #Constraints: 48889 2038.33/2044.06 c #Conflicts: 1182000 | #Constraints: 49889 2038.33/2044.06 c #Conflicts: 1183000 | #Constraints: 50889 2038.33/2044.06 c #Conflicts: 1184000 | #Constraints: 51890 2038.33/2044.06 c #Conflicts: 1185000 | #Constraints: 52890 2038.33/2044.06 c #Conflicts: 1186000 | #Constraints: 53890 2038.33/2044.06 c #Conflicts: 1187000 | #Constraints: 54890 2038.33/2044.06 c #Conflicts: 1188000 | #Constraints: 55890 2038.33/2044.06 c #Conflicts: 1189000 | #Constraints: 56890 2038.33/2044.06 c #Conflicts: 1190000 | #Constraints: 57890 2038.33/2044.06 c INPROCESSING 2038.33/2044.06 c GARBAGE COLLECT 2038.33/2044.06 c rational objective 85 2245.19/2251.40 c #Conflicts: 1191000 | #Constraints: 33311 2245.19/2251.40 c #Conflicts: 1192000 | #Constraints: 34311 2245.19/2251.40 c #Conflicts: 1193000 | #Constraints: 35311 2245.19/2251.40 c #Conflicts: 1194000 | #Constraints: 36311 2245.19/2251.40 c #Conflicts: 1195000 | #Constraints: 37311 2245.19/2251.40 c #Conflicts: 1196000 | #Constraints: 38311 2245.19/2251.40 c #Conflicts: 1197000 | #Constraints: 39311 2245.19/2251.40 c #Conflicts: 1198000 | #Constraints: 40311 2245.19/2251.40 c #Conflicts: 1199000 | #Constraints: 41311 2245.19/2251.40 c #Conflicts: 1200000 | #Constraints: 42311 2245.19/2251.40 c #Conflicts: 1201000 | #Constraints: 43311 2245.19/2251.40 c #Conflicts: 1202000 | #Constraints: 44311 2245.19/2251.40 c #Conflicts: 1203000 | #Constraints: 45311 2245.19/2251.40 c #Conflicts: 1204000 | #Constraints: 46311 2245.19/2251.40 c #Conflicts: 1205000 | #Constraints: 47311 2245.19/2251.40 c #Conflicts: 1206000 | #Constraints: 48311 2245.19/2251.40 c #Conflicts: 1207000 | #Constraints: 49311 2245.19/2251.40 c #Conflicts: 1208000 | #Constraints: 50311 2245.19/2251.40 c #Conflicts: 1209000 | #Constraints: 51311 2245.19/2251.40 c #Conflicts: 1210000 | #Constraints: 52312 2245.19/2251.40 c #Conflicts: 1211000 | #Constraints: 53312 2245.19/2251.40 c #Conflicts: 1212000 | #Constraints: 54312 2245.19/2251.40 c #Conflicts: 1213000 | #Constraints: 55312 2245.19/2251.40 c #Conflicts: 1214000 | #Constraints: 56313 2245.19/2251.40 c #Conflicts: 1215000 | #Constraints: 57313 2245.19/2251.40 c #Conflicts: 1216000 | #Constraints: 58313 2245.19/2251.40 c #Conflicts: 1217000 | #Constraints: 59315 2245.19/2251.40 c #Conflicts: 1218000 | #Constraints: 60316 2245.19/2251.40 c #Conflicts: 1219000 | #Constraints: 61317 2245.19/2251.40 c #Conflicts: 1220000 | #Constraints: 62318 2245.19/2251.40 c #Conflicts: 1221000 | #Constraints: 63318 2245.19/2251.40 c #Conflicts: 1222000 | #Constraints: 64318 2245.19/2251.40 c #Conflicts: 1223000 | #Constraints: 65318 2245.19/2251.40 c #Conflicts: 1224000 | #Constraints: 66318 2245.19/2251.40 c #Conflicts: 1225000 | #Constraints: 67318 2245.19/2251.40 c #Conflicts: 1226000 | #Constraints: 68318 2245.19/2251.40 c #Conflicts: 1227000 | #Constraints: 69318 2245.19/2251.40 c #Conflicts: 1228000 | #Constraints: 70318 2245.19/2251.40 c #Conflicts: 1229000 | #Constraints: 71318 2245.19/2251.40 c #Conflicts: 1230000 | #Constraints: 72318 2245.19/2251.40 c #Conflicts: 1231000 | #Constraints: 73318 2245.19/2251.40 c #Conflicts: 1232000 | #Constraints: 74318 2245.19/2251.40 c #Conflicts: 1233000 | #Constraints: 75318 2245.19/2251.40 c #Conflicts: 1234000 | #Constraints: 76318 2245.19/2251.40 c #Conflicts: 1235000 | #Constraints: 77318 2245.19/2251.40 c #Conflicts: 1236000 | #Constraints: 78318 2245.19/2251.40 c #Conflicts: 1237000 | #Constraints: 79318 2245.19/2251.40 c #Conflicts: 1238000 | #Constraints: 80318 2245.19/2251.40 c #Conflicts: 1239000 | #Constraints: 81318 2245.19/2251.40 c #Conflicts: 1240000 | #Constraints: 82318 2245.19/2251.40 c #Conflicts: 1241000 | #Constraints: 83318 2245.19/2251.40 c #Conflicts: 1242000 | #Constraints: 84318 2245.19/2251.40 c #Conflicts: 1243000 | #Constraints: 85318 2245.19/2251.40 c #Conflicts: 1244000 | #Constraints: 86318 2245.19/2251.40 c #Conflicts: 1245000 | #Constraints: 87318 2245.19/2251.40 c #Conflicts: 1246000 | #Constraints: 88318 2245.19/2251.40 c #Conflicts: 1247000 | #Constraints: 89318 2245.19/2251.40 c #Conflicts: 1248000 | #Constraints: 90319 2245.19/2251.40 c #Conflicts: 1249000 | #Constraints: 91319 2245.19/2251.40 c #Conflicts: 1250000 | #Constraints: 92319 2245.19/2251.40 c #Conflicts: 1251000 | #Constraints: 93319 2245.19/2251.40 c #Conflicts: 1252000 | #Constraints: 94319 2245.19/2251.40 c #Conflicts: 1253000 | #Constraints: 95319 2245.19/2251.40 c #Conflicts: 1254000 | #Constraints: 96319 2245.19/2251.40 c #Conflicts: 1255000 | #Constraints: 97319 2245.19/2251.40 c #Conflicts: 1256000 | #Constraints: 98320 2245.19/2251.40 c #Conflicts: 1257000 | #Constraints: 99320 2245.19/2251.40 c #Conflicts: 1258000 | #Constraints: 100320 2245.19/2251.40 c #Conflicts: 1259000 | #Constraints: 101320 2245.19/2251.40 c #Conflicts: 1260000 | #Constraints: 102320 2245.19/2251.40 c #Conflicts: 1261000 | #Constraints: 103320 2245.19/2251.40 c #Conflicts: 1262000 | #Constraints: 104320 2245.19/2251.40 c #Conflicts: 1263000 | #Constraints: 105321 2245.19/2251.40 c #Conflicts: 1264000 | #Constraints: 106322 2245.19/2251.40 c #Conflicts: 1265000 | #Constraints: 107322 2245.19/2251.40 c #Conflicts: 1266000 | #Constraints: 108322 2245.19/2251.40 c #Conflicts: 1267000 | #Constraints: 109322 2245.19/2251.40 c #Conflicts: 1268000 | #Constraints: 110322 2245.19/2251.40 c #Conflicts: 1269000 | #Constraints: 111322 2284.19/2290.53 c #Conflicts: 1270000 | #Constraints: 112322 2284.19/2290.53 c #Conflicts: 1271000 | #Constraints: 113322 2284.19/2290.53 c #Conflicts: 1272000 | #Constraints: 114322 2284.19/2290.53 c #Conflicts: 1273000 | #Constraints: 115322 2284.19/2290.53 c #Conflicts: 1274000 | #Constraints: 116322 2284.19/2290.53 c #Conflicts: 1275000 | #Constraints: 117322 2284.19/2290.53 c #Conflicts: 1276000 | #Constraints: 118322 2284.19/2290.53 c #Conflicts: 1277000 | #Constraints: 119322 2284.19/2290.53 c #Conflicts: 1278000 | #Constraints: 120322 2284.19/2290.53 c INPROCESSING 2284.19/2290.53 c GARBAGE COLLECT 2284.19/2290.53 c rational objective 85 2348.83/2355.39 c #Conflicts: 1279000 | #Constraints: 64601 2348.83/2355.39 c #Conflicts: 1280000 | #Constraints: 65602 2348.83/2355.39 c #Conflicts: 1281000 | #Constraints: 66603 2348.83/2355.39 c #Conflicts: 1282000 | #Constraints: 67604 2348.83/2355.39 c #Conflicts: 1283000 | #Constraints: 68604 2348.83/2355.39 c #Conflicts: 1284000 | #Constraints: 69604 2348.83/2355.39 c #Conflicts: 1285000 | #Constraints: 70604 2348.83/2355.39 c #Conflicts: 1286000 | #Constraints: 71604 2348.83/2355.39 c #Conflicts: 1287000 | #Constraints: 72604 2348.83/2355.39 c #Conflicts: 1288000 | #Constraints: 73604 2348.83/2355.39 c #Conflicts: 1289000 | #Constraints: 74604 2348.83/2355.39 c #Conflicts: 1290000 | #Constraints: 75605 2348.83/2355.39 c #Conflicts: 1291000 | #Constraints: 76605 2348.83/2355.39 c #Conflicts: 1292000 | #Constraints: 77605 2348.83/2355.39 c #Conflicts: 1293000 | #Constraints: 78605 2348.83/2355.39 c #Conflicts: 1294000 | #Constraints: 79605 2348.83/2355.39 c #Conflicts: 1295000 | #Constraints: 80605 2348.83/2355.39 c #Conflicts: 1296000 | #Constraints: 81605 2348.83/2355.39 c #Conflicts: 1297000 | #Constraints: 82605 2348.83/2355.39 c #Conflicts: 1298000 | #Constraints: 83605 2348.83/2355.39 c #Conflicts: 1299000 | #Constraints: 84605 2348.83/2355.39 c #Conflicts: 1300000 | #Constraints: 85605 2348.83/2355.39 c #Conflicts: 1301000 | #Constraints: 86606 2348.83/2355.39 c #Conflicts: 1302000 | #Constraints: 87607 2348.83/2355.39 c #Conflicts: 1303000 | #Constraints: 88607 2348.83/2355.39 c INPROCESSING 2348.83/2355.39 c GARBAGE COLLECT 2348.83/2355.39 c rational objective 85 2394.31/2401.00 c #Conflicts: 1304000 | #Constraints: 48625 2394.31/2401.00 c #Conflicts: 1305000 | #Constraints: 49625 2394.31/2401.00 c #Conflicts: 1306000 | #Constraints: 50625 2394.31/2401.00 c #Conflicts: 1307000 | #Constraints: 51625 2394.31/2401.00 c #Conflicts: 1308000 | #Constraints: 52625 2394.31/2401.00 c #Conflicts: 1309000 | #Constraints: 53625 2394.31/2401.00 c #Conflicts: 1310000 | #Constraints: 54625 2394.31/2401.00 c #Conflicts: 1311000 | #Constraints: 55625 2394.31/2401.00 c #Conflicts: 1312000 | #Constraints: 56625 2394.31/2401.00 c #Conflicts: 1313000 | #Constraints: 57625 2394.31/2401.00 c #Conflicts: 1314000 | #Constraints: 58625 2394.31/2401.00 c #Conflicts: 1315000 | #Constraints: 59626 2394.31/2401.00 c #Conflicts: 1316000 | #Constraints: 60626 2394.31/2401.00 c #Conflicts: 1317000 | #Constraints: 61628 2394.31/2401.00 c #Conflicts: 1318000 | #Constraints: 62628 2394.31/2401.00 c #Conflicts: 1319000 | #Constraints: 63629 2394.31/2401.00 c #Conflicts: 1320000 | #Constraints: 64629 2394.31/2401.00 c #Conflicts: 1321000 | #Constraints: 65632 2394.31/2401.00 c #Conflicts: 1322000 | #Constraints: 66633 2394.31/2401.00 c #Conflicts: 1323000 | #Constraints: 67633 2394.31/2401.00 c #Conflicts: 1324000 | #Constraints: 68633 2394.31/2401.00 c #Conflicts: 1325000 | #Constraints: 69633 2394.31/2401.00 c #Conflicts: 1326000 | #Constraints: 70633 2394.31/2401.00 c #Conflicts: 1327000 | #Constraints: 71633 2394.31/2401.00 c #Conflicts: 1328000 | #Constraints: 72633 2394.31/2401.00 c INPROCESSING 2394.31/2401.00 c GARBAGE COLLECT 2394.31/2401.00 c rational objective 85 2452.86/2459.65 c #Conflicts: 1329000 | #Constraints: 40492 2452.86/2459.65 c #Conflicts: 1330000 | #Constraints: 41492 2452.86/2459.65 c #Conflicts: 1331000 | #Constraints: 42492 2452.86/2459.65 c #Conflicts: 1332000 | #Constraints: 43492 2452.86/2459.65 c #Conflicts: 1333000 | #Constraints: 44493 2452.86/2459.65 c #Conflicts: 1334000 | #Constraints: 45493 2452.86/2459.65 c #Conflicts: 1335000 | #Constraints: 46493 2452.86/2459.65 c #Conflicts: 1336000 | #Constraints: 47493 2452.86/2459.65 c #Conflicts: 1337000 | #Constraints: 48493 2452.86/2459.65 c #Conflicts: 1338000 | #Constraints: 49493 2452.86/2459.65 c #Conflicts: 1339000 | #Constraints: 50493 2452.86/2459.65 c #Conflicts: 1340000 | #Constraints: 51493 2452.86/2459.65 c #Conflicts: 1341000 | #Constraints: 52493 2452.86/2459.65 c #Conflicts: 1342000 | #Constraints: 53493 2452.86/2459.65 c #Conflicts: 1343000 | #Constraints: 54493 2452.86/2459.65 c #Conflicts: 1344000 | #Constraints: 55493 2452.86/2459.65 c #Conflicts: 1345000 | #Constraints: 56493 2452.86/2459.65 c #Conflicts: 1346000 | #Constraints: 57493 2452.86/2459.65 c #Conflicts: 1347000 | #Constraints: 58493 2452.86/2459.65 c #Conflicts: 1348000 | #Constraints: 59493 2452.86/2459.65 c #Conflicts: 1349000 | #Constraints: 60493 2452.86/2459.65 c #Conflicts: 1350000 | #Constraints: 61493 2452.86/2459.65 c #Conflicts: 1351000 | #Constraints: 62493 2452.86/2459.65 c #Conflicts: 1352000 | #Constraints: 63493 2452.86/2459.65 c #Conflicts: 1353000 | #Constraints: 64493 2452.86/2459.65 c #Conflicts: 1354000 | #Constraints: 65493 2452.86/2459.65 c INPROCESSING 2452.86/2459.65 c GARBAGE COLLECT 2452.86/2459.65 c rational objective 85 2492.77/2499.66 c #Conflicts: 1355000 | #Constraints: 37011 2492.77/2499.66 c #Conflicts: 1356000 | #Constraints: 38011 2492.77/2499.66 c #Conflicts: 1357000 | #Constraints: 39011 2492.77/2499.66 c #Conflicts: 1358000 | #Constraints: 40011 2492.77/2499.66 c #Conflicts: 1359000 | #Constraints: 41011 2492.77/2499.66 c #Conflicts: 1360000 | #Constraints: 42011 2492.77/2499.66 c #Conflicts: 1361000 | #Constraints: 43011 2492.77/2499.66 c #Conflicts: 1362000 | #Constraints: 44011 2492.77/2499.66 c #Conflicts: 1363000 | #Constraints: 45011 2492.77/2499.66 c #Conflicts: 1364000 | #Constraints: 46011 2492.77/2499.66 c #Conflicts: 1365000 | #Constraints: 47011 2492.77/2499.66 c #Conflicts: 1366000 | #Constraints: 48012 2492.77/2499.66 c #Conflicts: 1367000 | #Constraints: 49012 2492.77/2499.66 c #Conflicts: 1368000 | #Constraints: 50012 2492.77/2499.66 c #Conflicts: 1369000 | #Constraints: 51013 2492.77/2499.66 c #Conflicts: 1370000 | #Constraints: 52013 2492.77/2499.66 c #Conflicts: 1371000 | #Constraints: 53013 2492.77/2499.66 c #Conflicts: 1372000 | #Constraints: 54013 2492.77/2499.66 c #Conflicts: 1373000 | #Constraints: 55013 2492.77/2499.66 c #Conflicts: 1374000 | #Constraints: 56013 2492.77/2499.66 c #Conflicts: 1375000 | #Constraints: 57013 2492.77/2499.66 c #Conflicts: 1376000 | #Constraints: 58013 2492.77/2499.66 c #Conflicts: 1377000 | #Constraints: 59013 2492.77/2499.66 c #Conflicts: 1378000 | #Constraints: 60013 2492.77/2499.66 c #Conflicts: 1379000 | #Constraints: 61013 2492.77/2499.66 c #Conflicts: 1380000 | #Constraints: 62013 2492.77/2499.66 c INPROCESSING 2492.77/2499.66 c GARBAGE COLLECT 2492.77/2499.66 c rational objective 85 2707.02/2714.44 c #Conflicts: 1381000 | #Constraints: 35444 2707.02/2714.44 c #Conflicts: 1382000 | #Constraints: 36444 2707.02/2714.44 c #Conflicts: 1383000 | #Constraints: 37444 2707.02/2714.44 c #Conflicts: 1384000 | #Constraints: 38445 2707.02/2714.44 c #Conflicts: 1385000 | #Constraints: 39446 2707.02/2714.44 c #Conflicts: 1386000 | #Constraints: 40447 2707.02/2714.44 c #Conflicts: 1387000 | #Constraints: 41449 2707.02/2714.44 c #Conflicts: 1388000 | #Constraints: 42449 2707.02/2714.44 c #Conflicts: 1389000 | #Constraints: 43449 2707.02/2714.44 c #Conflicts: 1390000 | #Constraints: 44449 2707.02/2714.44 c #Conflicts: 1391000 | #Constraints: 45449 2707.02/2714.44 c #Conflicts: 1392000 | #Constraints: 46450 2707.02/2714.44 c #Conflicts: 1393000 | #Constraints: 47451 2707.02/2714.44 c #Conflicts: 1394000 | #Constraints: 48451 2707.02/2714.44 c #Conflicts: 1395000 | #Constraints: 49451 2707.02/2714.44 c #Conflicts: 1396000 | #Constraints: 50451 2707.02/2714.44 c #Conflicts: 1397000 | #Constraints: 51451 2707.02/2714.44 c #Conflicts: 1398000 | #Constraints: 52451 2707.02/2714.44 c #Conflicts: 1399000 | #Constraints: 53451 2707.02/2714.44 c #Conflicts: 1400000 | #Constraints: 54451 2707.02/2714.44 c #Conflicts: 1401000 | #Constraints: 55451 2707.02/2714.44 c #Conflicts: 1402000 | #Constraints: 56451 2707.02/2714.44 c #Conflicts: 1403000 | #Constraints: 57451 2707.02/2714.44 c #Conflicts: 1404000 | #Constraints: 58451 2707.02/2714.44 c #Conflicts: 1405000 | #Constraints: 59451 2707.02/2714.44 c #Conflicts: 1406000 | #Constraints: 60451 2707.02/2714.44 c #Conflicts: 1407000 | #Constraints: 61451 2707.02/2714.44 c #Conflicts: 1408000 | #Constraints: 62451 2707.02/2714.44 c #Conflicts: 1409000 | #Constraints: 63451 2707.02/2714.44 c #Conflicts: 1410000 | #Constraints: 64451 2707.02/2714.44 c #Conflicts: 1411000 | #Constraints: 65451 2707.02/2714.44 c #Conflicts: 1412000 | #Constraints: 66451 2707.02/2714.44 c #Conflicts: 1413000 | #Constraints: 67452 2707.02/2714.44 c #Conflicts: 1414000 | #Constraints: 68452 2707.02/2714.44 c #Conflicts: 1415000 | #Constraints: 69453 2707.02/2714.44 c #Conflicts: 1416000 | #Constraints: 70453 2707.02/2714.44 c #Conflicts: 1417000 | #Constraints: 71453 2707.02/2714.44 c #Conflicts: 1418000 | #Constraints: 72453 2707.02/2714.44 c #Conflicts: 1419000 | #Constraints: 73453 2707.02/2714.44 c #Conflicts: 1420000 | #Constraints: 74453 2707.02/2714.44 c #Conflicts: 1421000 | #Constraints: 75453 2707.02/2714.44 c #Conflicts: 1422000 | #Constraints: 76453 2707.02/2714.44 c #Conflicts: 1423000 | #Constraints: 77453 2707.02/2714.44 c #Conflicts: 1424000 | #Constraints: 78454 2707.02/2714.44 c #Conflicts: 1425000 | #Constraints: 79454 2707.02/2714.44 c #Conflicts: 1426000 | #Constraints: 80454 2707.02/2714.44 c #Conflicts: 1427000 | #Constraints: 81454 2707.02/2714.44 c #Conflicts: 1428000 | #Constraints: 82454 2707.02/2714.44 c #Conflicts: 1429000 | #Constraints: 83454 2707.02/2714.44 c #Conflicts: 1430000 | #Constraints: 84454 2707.02/2714.44 c #Conflicts: 1431000 | #Constraints: 85454 2707.02/2714.44 c #Conflicts: 1432000 | #Constraints: 86454 2707.02/2714.44 c #Conflicts: 1433000 | #Constraints: 87454 2707.02/2714.44 c #Conflicts: 1434000 | #Constraints: 88454 2707.02/2714.44 c #Conflicts: 1435000 | #Constraints: 89454 2707.02/2714.44 c #Conflicts: 1436000 | #Constraints: 90454 2707.02/2714.44 c #Conflicts: 1437000 | #Constraints: 91455 2707.02/2714.44 c #Conflicts: 1438000 | #Constraints: 92455 2707.02/2714.44 c #Conflicts: 1439000 | #Constraints: 93455 2707.02/2714.44 c #Conflicts: 1440000 | #Constraints: 94455 2707.02/2714.44 c #Conflicts: 1441000 | #Constraints: 95455 2707.02/2714.44 c #Conflicts: 1442000 | #Constraints: 96455 2707.02/2714.44 c #Conflicts: 1443000 | #Constraints: 97455 2707.02/2714.44 c #Conflicts: 1444000 | #Constraints: 98455 2707.02/2714.44 c #Conflicts: 1445000 | #Constraints: 99455 2707.02/2714.44 c #Conflicts: 1446000 | #Constraints: 100455 2707.02/2714.44 c #Conflicts: 1447000 | #Constraints: 101455 2707.02/2714.44 c #Conflicts: 1448000 | #Constraints: 102455 2707.02/2714.44 c #Conflicts: 1449000 | #Constraints: 103455 2707.02/2714.44 c #Conflicts: 1450000 | #Constraints: 104455 2707.02/2714.44 c #Conflicts: 1451000 | #Constraints: 105455 2707.02/2714.44 c #Conflicts: 1452000 | #Constraints: 106455 2707.02/2714.44 c #Conflicts: 1453000 | #Constraints: 107455 2707.02/2714.44 c #Conflicts: 1454000 | #Constraints: 108455 2707.02/2714.44 c #Conflicts: 1455000 | #Constraints: 109455 2707.02/2714.44 c #Conflicts: 1456000 | #Constraints: 110455 2707.02/2714.44 c #Conflicts: 1457000 | #Constraints: 111455 2707.02/2714.44 c #Conflicts: 1458000 | #Constraints: 112455 2707.02/2714.44 c #Conflicts: 1459000 | #Constraints: 113455 2794.31/2801.95 c #Conflicts: 1460000 | #Constraints: 114455 2794.31/2801.95 c #Conflicts: 1461000 | #Constraints: 115455 2794.31/2801.95 c #Conflicts: 1462000 | #Constraints: 116455 2794.31/2801.95 c #Conflicts: 1463000 | #Constraints: 117455 2794.31/2801.95 c #Conflicts: 1464000 | #Constraints: 118456 2794.31/2801.95 c #Conflicts: 1465000 | #Constraints: 119456 2794.31/2801.95 c #Conflicts: 1466000 | #Constraints: 120457 2794.31/2801.95 c #Conflicts: 1467000 | #Constraints: 121457 2794.31/2801.95 c #Conflicts: 1468000 | #Constraints: 122457 2794.31/2801.95 c #Conflicts: 1469000 | #Constraints: 123458 2794.31/2801.95 c #Conflicts: 1470000 | #Constraints: 124458 2794.31/2801.95 c #Conflicts: 1471000 | #Constraints: 125458 2794.31/2801.95 c #Conflicts: 1472000 | #Constraints: 126458 2794.31/2801.95 c #Conflicts: 1473000 | #Constraints: 127458 2794.31/2801.95 c #Conflicts: 1474000 | #Constraints: 128458 2794.31/2801.95 c INPROCESSING 2794.31/2801.95 c GARBAGE COLLECT 2794.31/2801.95 c rational objective 85 2868.02/2875.84 c #Conflicts: 1475000 | #Constraints: 68523 2868.02/2875.84 c #Conflicts: 1476000 | #Constraints: 69523 2868.02/2875.84 c #Conflicts: 1477000 | #Constraints: 70523 2868.02/2875.84 c #Conflicts: 1478000 | #Constraints: 71523 2868.02/2875.84 c #Conflicts: 1479000 | #Constraints: 72523 2868.02/2875.84 c #Conflicts: 1480000 | #Constraints: 73523 2868.02/2875.84 c #Conflicts: 1481000 | #Constraints: 74523 2868.02/2875.84 c #Conflicts: 1482000 | #Constraints: 75523 2868.02/2875.84 c #Conflicts: 1483000 | #Constraints: 76523 2868.02/2875.84 c #Conflicts: 1484000 | #Constraints: 77523 2868.02/2875.84 c #Conflicts: 1485000 | #Constraints: 78523 2868.02/2875.84 c #Conflicts: 1486000 | #Constraints: 79523 2868.02/2875.84 c #Conflicts: 1487000 | #Constraints: 80523 2868.02/2875.84 c #Conflicts: 1488000 | #Constraints: 81523 2868.02/2875.84 c #Conflicts: 1489000 | #Constraints: 82523 2868.02/2875.84 c #Conflicts: 1490000 | #Constraints: 83523 2868.02/2875.84 c #Conflicts: 1491000 | #Constraints: 84523 2868.02/2875.84 c #Conflicts: 1492000 | #Constraints: 85523 2868.02/2875.84 c #Conflicts: 1493000 | #Constraints: 86523 2868.02/2875.84 c #Conflicts: 1494000 | #Constraints: 87524 2868.02/2875.84 c #Conflicts: 1495000 | #Constraints: 88524 2868.02/2875.84 c #Conflicts: 1496000 | #Constraints: 89524 2868.02/2875.84 c #Conflicts: 1497000 | #Constraints: 90524 2868.02/2875.84 c #Conflicts: 1498000 | #Constraints: 91525 2868.02/2875.84 c #Conflicts: 1499000 | #Constraints: 92525 2868.02/2875.84 c #Conflicts: 1500000 | #Constraints: 93525 2868.02/2875.84 c #Conflicts: 1501000 | #Constraints: 94525 2868.02/2875.84 c INPROCESSING 2868.02/2875.84 c GARBAGE COLLECT 2868.02/2875.84 c rational objective 85 2915.69/2923.61 c #Conflicts: 1502000 | #Constraints: 51481 2915.69/2923.61 c #Conflicts: 1503000 | #Constraints: 52481 2915.69/2923.61 c #Conflicts: 1504000 | #Constraints: 53481 2915.69/2923.61 c #Conflicts: 1505000 | #Constraints: 54481 2915.69/2923.61 c #Conflicts: 1506000 | #Constraints: 55481 2915.69/2923.61 c #Conflicts: 1507000 | #Constraints: 56481 2915.69/2923.61 c #Conflicts: 1508000 | #Constraints: 57481 2915.69/2923.61 c #Conflicts: 1509000 | #Constraints: 58482 2915.69/2923.61 c #Conflicts: 1510000 | #Constraints: 59482 2915.69/2923.61 c #Conflicts: 1511000 | #Constraints: 60482 2915.69/2923.61 c #Conflicts: 1512000 | #Constraints: 61482 2915.69/2923.61 c #Conflicts: 1513000 | #Constraints: 62482 2915.69/2923.61 c #Conflicts: 1514000 | #Constraints: 63482 2915.69/2923.61 c #Conflicts: 1515000 | #Constraints: 64482 2915.69/2923.61 c #Conflicts: 1516000 | #Constraints: 65482 2915.69/2923.61 c #Conflicts: 1517000 | #Constraints: 66483 2915.69/2923.61 c #Conflicts: 1518000 | #Constraints: 67484 2915.69/2923.61 c #Conflicts: 1519000 | #Constraints: 68484 2915.69/2923.61 c #Conflicts: 1520000 | #Constraints: 69484 2915.69/2923.61 c #Conflicts: 1521000 | #Constraints: 70484 2915.69/2923.61 c #Conflicts: 1522000 | #Constraints: 71485 2915.69/2923.61 c #Conflicts: 1523000 | #Constraints: 72485 2915.69/2923.61 c #Conflicts: 1524000 | #Constraints: 73485 2915.69/2923.61 c #Conflicts: 1525000 | #Constraints: 74485 2915.69/2923.61 c #Conflicts: 1526000 | #Constraints: 75485 2915.69/2923.61 c #Conflicts: 1527000 | #Constraints: 76485 2915.69/2923.61 c #Conflicts: 1528000 | #Constraints: 77485 2915.69/2923.61 c INPROCESSING 2915.69/2923.61 c GARBAGE COLLECT 2915.69/2923.61 c rational objective 85 2963.47/2971.54 c #Conflicts: 1529000 | #Constraints: 42782 2963.47/2971.54 c #Conflicts: 1530000 | #Constraints: 43782 2963.47/2971.54 c #Conflicts: 1531000 | #Constraints: 44782 2963.47/2971.54 c #Conflicts: 1532000 | #Constraints: 45782 2963.47/2971.54 c #Conflicts: 1533000 | #Constraints: 46782 2963.47/2971.54 c #Conflicts: 1534000 | #Constraints: 47782 2963.47/2971.54 c #Conflicts: 1535000 | #Constraints: 48782 2963.47/2971.54 c #Conflicts: 1536000 | #Constraints: 49783 2963.47/2971.54 c #Conflicts: 1537000 | #Constraints: 50783 2963.47/2971.54 c #Conflicts: 1538000 | #Constraints: 51783 2963.47/2971.54 c #Conflicts: 1539000 | #Constraints: 52783 2963.47/2971.54 c #Conflicts: 1540000 | #Constraints: 53783 2963.47/2971.54 c #Conflicts: 1541000 | #Constraints: 54783 2963.47/2971.54 c #Conflicts: 1542000 | #Constraints: 55783 2963.47/2971.54 c #Conflicts: 1543000 | #Constraints: 56783 2963.47/2971.54 c #Conflicts: 1544000 | #Constraints: 57783 2963.47/2971.54 c #Conflicts: 1545000 | #Constraints: 58783 2963.47/2971.54 c #Conflicts: 1546000 | #Constraints: 59783 2963.47/2971.54 c #Conflicts: 1547000 | #Constraints: 60783 2963.47/2971.54 c #Conflicts: 1548000 | #Constraints: 61783 2963.47/2971.54 c #Conflicts: 1549000 | #Constraints: 62784 2963.47/2971.54 c #Conflicts: 1550000 | #Constraints: 63784 2963.47/2971.54 c #Conflicts: 1551000 | #Constraints: 64784 2963.47/2971.54 c #Conflicts: 1552000 | #Constraints: 65784 2963.47/2971.54 c #Conflicts: 1553000 | #Constraints: 66784 2963.47/2971.54 c #Conflicts: 1554000 | #Constraints: 67784 2963.47/2971.54 c #Conflicts: 1555000 | #Constraints: 68784 2963.47/2971.54 c #Conflicts: 1556000 | #Constraints: 69784 2963.47/2971.54 c INPROCESSING 2963.47/2971.54 c GARBAGE COLLECT 2963.47/2971.54 c rational objective 85 3005.26/3013.43 c #Conflicts: 1557000 | #Constraints: 39193 3005.26/3013.43 c #Conflicts: 1558000 | #Constraints: 40193 3005.26/3013.43 c #Conflicts: 1559000 | #Constraints: 41193 3005.26/3013.43 c #Conflicts: 1560000 | #Constraints: 42193 3005.26/3013.43 c #Conflicts: 1561000 | #Constraints: 43194 3005.26/3013.43 c #Conflicts: 1562000 | #Constraints: 44194 3005.26/3013.43 c #Conflicts: 1563000 | #Constraints: 45194 3005.26/3013.43 c #Conflicts: 1564000 | #Constraints: 46194 3005.26/3013.43 c #Conflicts: 1565000 | #Constraints: 47195 3005.26/3013.43 c #Conflicts: 1566000 | #Constraints: 48196 3005.26/3013.43 c #Conflicts: 1567000 | #Constraints: 49196 3005.26/3013.43 c #Conflicts: 1568000 | #Constraints: 50196 3005.26/3013.43 c #Conflicts: 1569000 | #Constraints: 51196 3005.26/3013.43 c #Conflicts: 1570000 | #Constraints: 52196 3005.26/3013.43 c #Conflicts: 1571000 | #Constraints: 53197 3005.26/3013.43 c #Conflicts: 1572000 | #Constraints: 54197 3005.26/3013.43 c #Conflicts: 1573000 | #Constraints: 55197 3005.26/3013.43 c #Conflicts: 1574000 | #Constraints: 56197 3005.26/3013.43 c #Conflicts: 1575000 | #Constraints: 57197 3005.26/3013.43 c #Conflicts: 1576000 | #Constraints: 58197 3005.26/3013.43 c #Conflicts: 1577000 | #Constraints: 59197 3005.26/3013.43 c #Conflicts: 1578000 | #Constraints: 60197 3005.26/3013.43 c #Conflicts: 1579000 | #Constraints: 61197 3005.26/3013.43 c #Conflicts: 1580000 | #Constraints: 62197 3005.26/3013.43 c #Conflicts: 1581000 | #Constraints: 63197 3005.26/3013.43 c #Conflicts: 1582000 | #Constraints: 64198 3005.26/3013.43 c #Conflicts: 1583000 | #Constraints: 65198 3005.26/3013.43 c #Conflicts: 1584000 | #Constraints: 66198 3005.26/3013.43 c INPROCESSING 3005.26/3013.43 c GARBAGE COLLECT 3005.26/3013.43 c rational objective 85 3269.74/3278.53 c #Conflicts: 1585000 | #Constraints: 37512 3269.74/3278.53 c #Conflicts: 1586000 | #Constraints: 38513 3269.74/3278.53 c #Conflicts: 1587000 | #Constraints: 39513 3269.74/3278.53 c #Conflicts: 1588000 | #Constraints: 40513 3269.74/3278.53 c #Conflicts: 1589000 | #Constraints: 41513 3269.74/3278.53 c #Conflicts: 1590000 | #Constraints: 42513 3269.74/3278.53 c #Conflicts: 1591000 | #Constraints: 43513 3269.74/3278.53 c #Conflicts: 1592000 | #Constraints: 44513 3269.74/3278.53 c #Conflicts: 1593000 | #Constraints: 45513 3269.74/3278.53 c #Conflicts: 1594000 | #Constraints: 46513 3269.74/3278.53 c #Conflicts: 1595000 | #Constraints: 47513 3269.74/3278.53 c #Conflicts: 1596000 | #Constraints: 48513 3269.74/3278.53 c #Conflicts: 1597000 | #Constraints: 49513 3269.74/3278.53 c #Conflicts: 1598000 | #Constraints: 50513 3269.74/3278.53 c #Conflicts: 1599000 | #Constraints: 51513 3269.74/3278.53 c #Conflicts: 1600000 | #Constraints: 52514 3269.74/3278.53 c #Conflicts: 1601000 | #Constraints: 53514 3269.74/3278.53 c #Conflicts: 1602000 | #Constraints: 54514 3269.74/3278.53 c #Conflicts: 1603000 | #Constraints: 55514 3269.74/3278.53 c #Conflicts: 1604000 | #Constraints: 56514 3269.74/3278.53 c #Conflicts: 1605000 | #Constraints: 57514 3269.74/3278.53 c #Conflicts: 1606000 | #Constraints: 58514 3269.74/3278.53 c #Conflicts: 1607000 | #Constraints: 59514 3269.74/3278.53 c #Conflicts: 1608000 | #Constraints: 60514 3269.74/3278.53 c #Conflicts: 1609000 | #Constraints: 61514 3269.74/3278.53 c #Conflicts: 1610000 | #Constraints: 62514 3269.74/3278.53 c #Conflicts: 1611000 | #Constraints: 63514 3269.74/3278.53 c #Conflicts: 1612000 | #Constraints: 64514 3269.74/3278.53 c #Conflicts: 1613000 | #Constraints: 65515 3269.74/3278.53 c #Conflicts: 1614000 | #Constraints: 66515 3269.74/3278.53 c #Conflicts: 1615000 | #Constraints: 67516 3269.74/3278.53 c #Conflicts: 1616000 | #Constraints: 68516 3269.74/3278.53 c #Conflicts: 1617000 | #Constraints: 69516 3269.74/3278.53 c #Conflicts: 1618000 | #Constraints: 70516 3269.74/3278.53 c #Conflicts: 1619000 | #Constraints: 71516 3269.74/3278.53 c #Conflicts: 1620000 | #Constraints: 72516 3269.74/3278.53 c #Conflicts: 1621000 | #Constraints: 73516 3269.74/3278.53 c #Conflicts: 1622000 | #Constraints: 74516 3269.74/3278.53 c #Conflicts: 1623000 | #Constraints: 75516 3269.74/3278.53 c #Conflicts: 1624000 | #Constraints: 76516 3269.74/3278.53 c #Conflicts: 1625000 | #Constraints: 77516 3269.74/3278.53 c #Conflicts: 1626000 | #Constraints: 78516 3269.74/3278.53 c #Conflicts: 1627000 | #Constraints: 79516 3269.74/3278.53 c #Conflicts: 1628000 | #Constraints: 80517 3269.74/3278.53 c #Conflicts: 1629000 | #Constraints: 81517 3269.74/3278.53 c #Conflicts: 1630000 | #Constraints: 82517 3269.74/3278.53 c #Conflicts: 1631000 | #Constraints: 83517 3269.74/3278.53 c #Conflicts: 1632000 | #Constraints: 84517 3269.74/3278.53 c #Conflicts: 1633000 | #Constraints: 85518 3269.74/3278.53 c #Conflicts: 1634000 | #Constraints: 86519 3269.74/3278.53 c #Conflicts: 1635000 | #Constraints: 87519 3269.74/3278.53 c #Conflicts: 1636000 | #Constraints: 88519 3269.74/3278.53 c #Conflicts: 1637000 | #Constraints: 89519 3269.74/3278.53 c #Conflicts: 1638000 | #Constraints: 90519 3269.74/3278.53 c #Conflicts: 1639000 | #Constraints: 91519 3269.74/3278.53 c #Conflicts: 1640000 | #Constraints: 92519 3269.74/3278.53 c #Conflicts: 1641000 | #Constraints: 93519 3269.74/3278.53 c #Conflicts: 1642000 | #Constraints: 94519 3269.74/3278.53 c #Conflicts: 1643000 | #Constraints: 95519 3269.74/3278.53 c #Conflicts: 1644000 | #Constraints: 96519 3269.74/3278.53 c #Conflicts: 1645000 | #Constraints: 97519 3269.74/3278.53 c #Conflicts: 1646000 | #Constraints: 98520 3269.74/3278.53 c #Conflicts: 1647000 | #Constraints: 99520 3269.74/3278.53 c #Conflicts: 1648000 | #Constraints: 100520 3269.74/3278.53 c #Conflicts: 1649000 | #Constraints: 101520 3269.74/3278.53 c #Conflicts: 1650000 | #Constraints: 102520 3269.74/3278.53 c #Conflicts: 1651000 | #Constraints: 103520 3269.74/3278.53 c #Conflicts: 1652000 | #Constraints: 104520 3269.74/3278.53 c #Conflicts: 1653000 | #Constraints: 105520 3269.74/3278.53 c #Conflicts: 1654000 | #Constraints: 106520 3269.74/3278.53 c #Conflicts: 1655000 | #Constraints: 107520 3269.74/3278.53 c #Conflicts: 1656000 | #Constraints: 108520 3269.74/3278.53 c #Conflicts: 1657000 | #Constraints: 109521 3269.74/3278.53 c #Conflicts: 1658000 | #Constraints: 110521 3269.74/3278.53 c #Conflicts: 1659000 | #Constraints: 111521 3269.74/3278.53 c #Conflicts: 1660000 | #Constraints: 112521 3269.74/3278.53 c #Conflicts: 1661000 | #Constraints: 113521 3269.74/3278.53 c #Conflicts: 1662000 | #Constraints: 114521 3269.74/3278.53 c #Conflicts: 1663000 | #Constraints: 115521 3370.20/3379.21 c #Conflicts: 1664000 | #Constraints: 116521 3370.20/3379.21 c #Conflicts: 1665000 | #Constraints: 117521 3370.20/3379.21 c #Conflicts: 1666000 | #Constraints: 118521 3370.20/3379.21 c #Conflicts: 1667000 | #Constraints: 119521 3370.20/3379.21 c #Conflicts: 1668000 | #Constraints: 120521 3370.20/3379.21 c #Conflicts: 1669000 | #Constraints: 121521 3370.20/3379.21 c #Conflicts: 1670000 | #Constraints: 122521 3370.20/3379.21 c #Conflicts: 1671000 | #Constraints: 123521 3370.20/3379.21 c #Conflicts: 1672000 | #Constraints: 124521 3370.20/3379.21 c #Conflicts: 1673000 | #Constraints: 125521 3370.20/3379.21 c #Conflicts: 1674000 | #Constraints: 126522 3370.20/3379.21 c #Conflicts: 1675000 | #Constraints: 127522 3370.20/3379.21 c #Conflicts: 1676000 | #Constraints: 128522 3370.20/3379.21 c #Conflicts: 1677000 | #Constraints: 129522 3370.20/3379.21 c #Conflicts: 1678000 | #Constraints: 130522 3370.20/3379.21 c #Conflicts: 1679000 | #Constraints: 131522 3370.20/3379.21 c #Conflicts: 1680000 | #Constraints: 132522 3370.20/3379.21 c #Conflicts: 1681000 | #Constraints: 133522 3370.20/3379.21 c #Conflicts: 1682000 | #Constraints: 134522 3370.20/3379.21 c #Conflicts: 1683000 | #Constraints: 135522 3370.20/3379.21 c #Conflicts: 1684000 | #Constraints: 136522 3370.20/3379.21 c INPROCESSING 3370.20/3379.21 c GARBAGE COLLECT 3370.20/3379.21 c rational objective 85 3439.54/3448.77 c #Conflicts: 1685000 | #Constraints: 72275 3439.54/3448.77 c #Conflicts: 1686000 | #Constraints: 73275 3439.54/3448.77 c #Conflicts: 1687000 | #Constraints: 74276 3439.54/3448.77 c #Conflicts: 1688000 | #Constraints: 75277 3439.54/3448.77 c #Conflicts: 1689000 | #Constraints: 76277 3439.54/3448.77 c #Conflicts: 1690000 | #Constraints: 77277 3439.54/3448.77 c #Conflicts: 1691000 | #Constraints: 78277 3439.54/3448.77 c #Conflicts: 1692000 | #Constraints: 79277 3439.54/3448.77 c #Conflicts: 1693000 | #Constraints: 80277 3439.54/3448.77 c #Conflicts: 1694000 | #Constraints: 81277 3439.54/3448.77 c #Conflicts: 1695000 | #Constraints: 82277 3439.54/3448.77 c #Conflicts: 1696000 | #Constraints: 83277 3439.54/3448.77 c #Conflicts: 1697000 | #Constraints: 84277 3439.54/3448.77 c #Conflicts: 1698000 | #Constraints: 85277 3439.54/3448.77 c #Conflicts: 1699000 | #Constraints: 86277 3439.54/3448.77 c #Conflicts: 1700000 | #Constraints: 87277 3439.54/3448.77 c #Conflicts: 1701000 | #Constraints: 88277 3439.54/3448.77 c #Conflicts: 1702000 | #Constraints: 89277 3439.54/3448.77 c #Conflicts: 1703000 | #Constraints: 90277 3439.54/3448.77 c #Conflicts: 1704000 | #Constraints: 91277 3439.54/3448.77 c #Conflicts: 1705000 | #Constraints: 92277 3439.54/3448.77 c #Conflicts: 1706000 | #Constraints: 93277 3439.54/3448.77 c #Conflicts: 1707000 | #Constraints: 94277 3439.54/3448.77 c #Conflicts: 1708000 | #Constraints: 95277 3439.54/3448.77 c #Conflicts: 1709000 | #Constraints: 96277 3439.54/3448.77 c #Conflicts: 1710000 | #Constraints: 97277 3439.54/3448.77 c #Conflicts: 1711000 | #Constraints: 98277 3439.54/3448.77 c #Conflicts: 1712000 | #Constraints: 99277 3439.54/3448.77 c #Conflicts: 1713000 | #Constraints: 100277 3439.54/3448.77 c INPROCESSING 3439.54/3448.77 c GARBAGE COLLECT 3439.54/3448.77 c rational objective 85 3489.93/3499.24 c #Conflicts: 1714000 | #Constraints: 54137 3489.93/3499.24 c #Conflicts: 1715000 | #Constraints: 55137 3489.93/3499.24 c #Conflicts: 1716000 | #Constraints: 56137 3489.93/3499.24 c #Conflicts: 1717000 | #Constraints: 57137 3489.93/3499.24 c #Conflicts: 1718000 | #Constraints: 58138 3489.93/3499.24 c #Conflicts: 1719000 | #Constraints: 59138 3489.93/3499.24 c #Conflicts: 1720000 | #Constraints: 60138 3489.93/3499.24 c #Conflicts: 1721000 | #Constraints: 61138 3489.93/3499.24 c #Conflicts: 1722000 | #Constraints: 62138 3489.93/3499.24 c #Conflicts: 1723000 | #Constraints: 63138 3489.93/3499.24 c #Conflicts: 1724000 | #Constraints: 64138 3489.93/3499.24 c #Conflicts: 1725000 | #Constraints: 65138 3489.93/3499.24 c #Conflicts: 1726000 | #Constraints: 66138 3489.93/3499.24 c #Conflicts: 1727000 | #Constraints: 67138 3489.93/3499.24 c #Conflicts: 1728000 | #Constraints: 68138 3489.93/3499.24 c #Conflicts: 1729000 | #Constraints: 69139 3489.93/3499.24 c #Conflicts: 1730000 | #Constraints: 70139 3489.93/3499.24 c #Conflicts: 1731000 | #Constraints: 71139 3489.93/3499.24 c #Conflicts: 1732000 | #Constraints: 72139 3489.93/3499.24 c #Conflicts: 1733000 | #Constraints: 73139 3489.93/3499.24 c #Conflicts: 1734000 | #Constraints: 74139 3489.93/3499.24 c #Conflicts: 1735000 | #Constraints: 75139 3489.93/3499.24 c #Conflicts: 1736000 | #Constraints: 76139 3489.93/3499.24 c #Conflicts: 1737000 | #Constraints: 77139 3489.93/3499.24 c #Conflicts: 1738000 | #Constraints: 78139 3489.93/3499.24 c #Conflicts: 1739000 | #Constraints: 79139 3489.93/3499.24 c #Conflicts: 1740000 | #Constraints: 80139 3489.93/3499.24 c #Conflicts: 1741000 | #Constraints: 81139 3489.93/3499.24 c #Conflicts: 1742000 | #Constraints: 82139 3489.93/3499.24 c #Conflicts: 1743000 | #Constraints: 83139 3489.93/3499.24 c INPROCESSING 3489.93/3499.24 c GARBAGE COLLECT 3489.93/3499.24 c rational objective 85 3543.20/3552.63 c #Conflicts: 1744000 | #Constraints: 46106 3543.20/3552.63 c #Conflicts: 1745000 | #Constraints: 47106 3543.20/3552.63 c #Conflicts: 1746000 | #Constraints: 48106 3543.20/3552.63 c #Conflicts: 1747000 | #Constraints: 49106 3543.20/3552.63 c #Conflicts: 1748000 | #Constraints: 50106 3543.20/3552.63 c #Conflicts: 1749000 | #Constraints: 51106 3543.20/3552.63 c #Conflicts: 1750000 | #Constraints: 52106 3543.20/3552.63 c #Conflicts: 1751000 | #Constraints: 53106 3543.20/3552.63 c #Conflicts: 1752000 | #Constraints: 54106 3543.20/3552.63 c #Conflicts: 1753000 | #Constraints: 55106 3543.20/3552.63 c #Conflicts: 1754000 | #Constraints: 56106 3543.20/3552.63 c #Conflicts: 1755000 | #Constraints: 57106 3543.20/3552.63 c #Conflicts: 1756000 | #Constraints: 58106 3543.20/3552.63 c #Conflicts: 1757000 | #Constraints: 59106 3543.20/3552.63 c #Conflicts: 1758000 | #Constraints: 60106 3543.20/3552.63 c #Conflicts: 1759000 | #Constraints: 61107 3543.20/3552.63 c #Conflicts: 1760000 | #Constraints: 62107 3543.20/3552.63 c #Conflicts: 1761000 | #Constraints: 63107 3543.20/3552.63 c #Conflicts: 1762000 | #Constraints: 64107 3543.20/3552.63 c #Conflicts: 1763000 | #Constraints: 65107 3543.20/3552.63 c #Conflicts: 1764000 | #Constraints: 66107 3543.20/3552.63 c #Conflicts: 1765000 | #Constraints: 67107 3543.20/3552.63 c #Conflicts: 1766000 | #Constraints: 68107 3543.20/3552.63 c #Conflicts: 1767000 | #Constraints: 69108 3543.20/3552.63 c #Conflicts: 1768000 | #Constraints: 70108 3543.20/3552.63 c #Conflicts: 1769000 | #Constraints: 71108 3543.20/3552.63 c #Conflicts: 1770000 | #Constraints: 72108 3543.20/3552.63 c #Conflicts: 1771000 | #Constraints: 73108 3543.20/3552.63 c #Conflicts: 1772000 | #Constraints: 74108 3543.20/3552.63 c INPROCESSING 3543.20/3552.63 c GARBAGE COLLECT 3543.20/3552.63 c rational objective 85 3587.70/3597.26 c #Conflicts: 1773000 | #Constraints: 41264 3587.70/3597.26 c #Conflicts: 1774000 | #Constraints: 42264 3587.70/3597.26 c #Conflicts: 1775000 | #Constraints: 43264 3587.70/3597.26 c #Conflicts: 1776000 | #Constraints: 44264 3587.70/3597.26 c #Conflicts: 1777000 | #Constraints: 45264 3587.70/3597.26 c #Conflicts: 1778000 | #Constraints: 46265 3587.70/3597.26 c #Conflicts: 1779000 | #Constraints: 47265 3587.70/3597.26 c #Conflicts: 1780000 | #Constraints: 48265 3587.70/3597.26 c #Conflicts: 1781000 | #Constraints: 49265 3587.70/3597.26 c #Conflicts: 1782000 | #Constraints: 50265 3587.70/3597.26 c #Conflicts: 1783000 | #Constraints: 51265 3587.70/3597.26 c #Conflicts: 1784000 | #Constraints: 52265 3587.70/3597.26 c #Conflicts: 1785000 | #Constraints: 53265 3587.70/3597.26 c #Conflicts: 1786000 | #Constraints: 54265 3587.70/3597.26 c #Conflicts: 1787000 | #Constraints: 55265 3587.70/3597.26 c #Conflicts: 1788000 | #Constraints: 56265 3587.70/3597.26 c #Conflicts: 1789000 | #Constraints: 57265 3587.70/3597.26 c #Conflicts: 1790000 | #Constraints: 58265 3587.70/3597.26 c #Conflicts: 1791000 | #Constraints: 59265 3587.70/3597.26 c #Conflicts: 1792000 | #Constraints: 60265 3587.70/3597.26 c #Conflicts: 1793000 | #Constraints: 61265 3587.70/3597.26 c #Conflicts: 1794000 | #Constraints: 62265 3587.70/3597.26 c #Conflicts: 1795000 | #Constraints: 63265 3587.70/3597.26 c #Conflicts: 1796000 | #Constraints: 64265 3587.70/3597.26 c #Conflicts: 1797000 | #Constraints: 65265 3587.70/3597.26 c #Conflicts: 1798000 | #Constraints: 66265 3587.70/3597.26 c #Conflicts: 1799000 | #Constraints: 67265 3587.70/3597.26 c #Conflicts: 1800000 | #Constraints: 68265 3587.70/3597.26 c #Conflicts: 1801000 | #Constraints: 69265 3587.70/3597.26 c #Conflicts: 1802000 | #Constraints: 70265 3587.70/3597.26 c INPROCESSING 3587.70/3597.26 c GARBAGE COLLECT 3587.70/3597.26 c rational objective 85 3600.97/3610.50 c #Conflicts: 1803000 | #Constraints: 39512 3600.97/3610.50 c #Conflicts: 1804000 | #Constraints: 40513 3600.97/3610.50 c #Conflicts: 1805000 | #Constraints: 41513 3600.97/3610.50 c #Conflicts: 1806000 | #Constraints: 42514 3600.97/3610.50 c #Conflicts: 1807000 | #Constraints: 43514 3600.97/3610.50 c #Conflicts: 1808000 | #Constraints: 44514 3600.97/3610.50 c #Conflicts: 1809000 | #Constraints: 45514 3600.97/3610.50 c #Conflicts: 1810000 | #Constraints: 46514 3600.97/3610.50 c #Conflicts: 1811000 | #Constraints: 47514 3600.97/3610.50 c #Conflicts: 1812000 | #Constraints: 48515 3600.97/3610.50 c Program interrupted by user. 3600.97/3610.57 c cpu time 3563.53 s 3600.97/3610.57 c deterministic time 420984736745 4.21e+11 3600.97/3610.57 c optimization time 12.9502 s 3600.97/3610.57 c total solve time 3550.55 s 3600.97/3610.57 c core-guided solve time 0 s 3600.97/3610.57 c propagation time 2437.26 s 3600.97/3610.57 c conflict analysis time 829.081 s 3600.97/3610.57 c propagations 746899223 3600.97/3610.57 c resolve steps 66932634 3600.97/3610.57 c decisions 12981435 3600.97/3610.57 c conflicts 1812501 3600.97/3610.57 c restarts 3536 3600.97/3610.57 c inprocessing phases 85 3600.97/3610.57 c input clauses 5867 3600.97/3610.57 c input cardinalities 85 3600.97/3610.57 c input general constraints 0 3600.97/3610.57 c input average constraint length 6.23 3600.97/3610.57 c input average constraint degree 1.94 3600.97/3610.57 c learned clauses 1260681 3600.97/3610.57 c learned cardinalities 36815 3600.97/3610.57 c learned general constraints 515227 3600.97/3610.57 c learned average constraint length 867.12 3600.97/3610.57 c learned average constraint degree 74678618.55 3600.97/3610.57 c watched constraints 445900 3600.97/3610.57 c counting constraints 69327 3600.97/3610.57 c gcd simplifications 6192 3600.97/3610.57 c detected cardinalities 1827 3600.97/3610.57 c weakened non-implied lits 259898130 3600.97/3610.57 c weakened non-implying lits 614124 3600.97/3610.57 c original variables 5780 3600.97/3610.57 c clausal propagations 275779022 3600.97/3610.57 c cardinality propagations 253911734 3600.97/3610.57 c watched propagations 68253381 3600.97/3610.57 c counting propagations 143103388 3600.97/3610.57 c watch lookups 32697951218 3600.97/3610.57 c watch backjump lookups 25755859942 3600.97/3610.57 c watch checks 305251905034 3600.97/3610.57 c propagation checks 51075849901 3600.97/3610.57 c constraint additions 4679219958 3600.97/3610.57 c trail pops 761687744 3600.97/3610.57 c formula constraints 5952 3600.97/3610.57 c learned constraints 1812277 3600.97/3610.57 c bound constraints 0 3600.97/3610.57 c core-guided constraints 0 3600.97/3610.57 c encountered formula constraints 38157276 3600.97/3610.57 c encountered learned constraints 30582400 3600.97/3610.57 c encountered bound constraints 0 3600.97/3610.57 c encountered core-guided constraints 0 3600.97/3610.57 c LP total time 753.471 s 3600.97/3610.57 c LP solve time 745.34 s 3600.97/3610.57 c LP constraints added 11426 3600.97/3610.57 c LP constraints removed 5400 3600.97/3610.57 c LP pivots internal 1821892 3600.97/3610.57 c LP pivots root 560397 3600.97/3610.57 c LP calls 379 3600.97/3610.57 c LP optimalities 150 3600.97/3610.57 c LP no pivot count 3 3600.97/3610.57 c LP infeasibilities 224 3600.97/3610.57 c LP valid Farkas constraints 223 3600.97/3610.57 c LP learned Farkas constraints 223 3600.97/3610.57 c LP basis resets 0 3600.97/3610.57 c LP cycling count 0 3600.97/3610.57 c LP singular count 0 3600.97/3610.57 c LP no primal count 0 3600.97/3610.57 c LP no farkas count 0 3600.97/3610.57 c LP other issue count 0 3600.97/3610.57 c LP Gomory cuts 0 3600.97/3610.57 c LP learned cuts 5474 3600.97/3610.57 c LP deleted cuts 5400 3600.97/3610.57 c LP encountered Gomory constraints 0 3600.97/3610.57 c LP encountered Farkas constraints 3674 3600.97/3610.57 c LP encountered learned Farkas constraints 1561 3600.97/3610.57 c CG auxiliary variables introduced 0 3600.97/3610.57 c CG solutions found 0 3600.97/3610.57 c CG cores constructed 0 3600.97/3610.57 c CG core cardinality constraints returned 0 3600.97/3610.57 c CG unit cores 0 3600.97/3610.57 c CG single cores 0 3600.97/3610.57 c CG blocks removed during cardinality reduction 0 3600.97/3610.57 c CG first core best 0 3600.97/3610.57 c CG decision core best 0 3600.97/3610.57 c CG core reduction tie 0 3600.97/3610.57 c CG core degree average 0.00 3600.97/3610.57 c CG core slack average 0.00 3600.97/3610.57 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57005 MiB free)
memory of node 1: 64473 MiB (57786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457179-1721830217/watcher-4457179-1721830217 -o /tmp/evaluation-result-4457179-1721830217/solver-4457179-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244501 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457179-1721830217 --lp-cut-gomory=0 HOME/instance-4457179-1721830217.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=244560, runsolver pid=244546
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.09 1.12 1.41 7/263 244563
/proc/meminfo: memFree=117536512/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=40580 memory=10224 CPUtime=0.02 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 1452 0 1 0 2 0 0 0 20 0 1 0 19544253 41553920 2556 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 10145 2556 1660 992 0 2003 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 40580 KiB
Current children cumulated memory: 10224 KiB
[startup+0.206169 s]*
/proc/loadavg: 1.09 1.12 1.41 10/263 244563
/proc/meminfo: memFree=117501040/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=48880 memory=17368 CPUtime=0.13 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 3429 0 1 0 12 1 0 0 20 0 1 0 19544253 50053120 4342 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 12220 4342 1708 992 0 4078 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 48880 KiB
Current children cumulated memory: 17368 KiB
[startup+0.305492 s]*
/proc/loadavg: 1.09 1.12 1.41 6/263 244563
/proc/meminfo: memFree=117497440/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=49064 memory=17632 CPUtime=0.22 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 3486 0 1 0 21 1 0 0 20 0 1 0 19544253 50241536 4408 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 12266 4408 1708 992 0 4124 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 49064 KiB
Current children cumulated memory: 17632 KiB
[startup+0.700155 s]
/proc/loadavg: 1.09 1.12 1.41 7/263 244563
/proc/meminfo: memFree=117496216/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=49436 memory=17896 CPUtime=0.62 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 3540 0 1 0 60 2 0 0 20 0 1 0 19544253 50622464 4474 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 12359 4474 1708 992 0 4217 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 49436 KiB
Current children cumulated memory: 17896 KiB
[startup+1.50019 s]
/proc/loadavg: 1.09 1.12 1.41 8/263 244563
/proc/meminfo: memFree=117484544/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=50740 memory=23284 CPUtime=1.41 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 4296 0 1 0 134 7 0 0 20 0 1 0 19544253 51957760 5821 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 12685 5821 1755 992 0 4543 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 50740 KiB
Current children cumulated memory: 23284 KiB
[startup+3.10648 s]
/proc/loadavg: 1.32 1.17 1.43 8/263 244563
/proc/meminfo: memFree=117462820/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=52136 memory=24904 CPUtime=3.01 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 4649 0 1 0 292 9 0 0 20 0 1 0 19544253 53387264 6226 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 13034 6226 1836 992 0 4892 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 52136 KiB
Current children cumulated memory: 24904 KiB
[startup+6.30019 s]
/proc/loadavg: 1.32 1.17 1.43 8/263 244565
/proc/meminfo: memFree=117436760/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=56280 memory=27444 CPUtime=6.2 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 5305 0 1 0 602 18 0 0 20 0 1 0 19544253 57630720 6861 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 14070 6861 1836 992 0 5928 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 56280 KiB
Current children cumulated memory: 27444 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.28 1.46 7/263 244565
/proc/meminfo: memFree=117383808/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=57592 memory=30084 CPUtime=12.58 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 5958 0 1 0 1225 33 0 0 20 0 1 0 19544253 58974208 7521 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 14398 7521 1836 992 0 6256 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 57592 KiB
Current children cumulated memory: 30084 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.49 8/263 244568
/proc/meminfo: memFree=117277456/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=68024 memory=40224 CPUtime=25.34 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 8005 0 1 0 2476 58 0 0 20 0 1 0 19544253 69656576 10056 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 17006 10056 1836 992 0 8864 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 40224 KiB
[startup+51.1063 s]
/proc/loadavg: 2.85 1.60 1.56 8/263 244571
/proc/meminfo: memFree=116989768/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=90628 memory=54508 CPUtime=50.89 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 11124 0 1 0 4977 112 0 0 20 0 1 0 19544253 92803072 13627 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 22657 13627 1836 992 0 14515 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 90628 KiB
Current children cumulated memory: 54508 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.04 1.72 8/263 244579
/proc/meminfo: memFree=116585580/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=94624 memory=57944 CPUtime=101.94 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 12196 0 1 0 9984 210 0 0 20 0 1 0 19544253 96894976 14486 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 23656 14486 1836 992 0 15514 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 94624 KiB
Current children cumulated memory: 57944 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.41 1.87 7/263 244591
/proc/meminfo: memFree=115882408/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=214100 memory=148072 CPUtime=161.77 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 18925 0 1 0 15865 312 0 0 20 0 1 0 19544253 219238400 37018 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 53525 37018 1836 992 0 45383 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 214100 KiB
Current children cumulated memory: 148072 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.01 8/262 244602
/proc/meminfo: memFree=115414656/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=214144 memory=148292 CPUtime=221.59 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 19340 0 1 0 21738 421 0 0 20 0 1 0 19544253 219283456 37073 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 53536 37073 1836 992 0 45394 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 214144 KiB
Current children cumulated memory: 148292 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.15 8/262 244612
/proc/meminfo: memFree=114839976/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=220748 memory=191548 CPUtime=281.42 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 21378 0 1 0 27650 492 0 0 20 0 1 0 19544253 226045952 47887 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 55187 47887 1836 992 0 47045 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 220748 KiB
Current children cumulated memory: 191548 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.27 8/257 244622
/proc/meminfo: memFree=114299984/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=223696 memory=194716 CPUtime=341.24 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 22170 0 1 0 33534 590 0 0 20 0 1 0 19544253 229064704 48679 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 55924 48679 1836 992 0 47782 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 223696 KiB
Current children cumulated memory: 194716 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.39 7/257 244633
/proc/meminfo: memFree=113879040/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=316012 memory=238776 CPUtime=401.07 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 25321 0 1 0 39435 672 0 0 20 0 1 0 19544253 323596288 59694 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 79003 59694 1836 992 0 70861 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 316012 KiB
Current children cumulated memory: 238776 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.50 7/257 244643
/proc/meminfo: memFree=113431972/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=316544 memory=240360 CPUtime=460.93 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 25670 0 1 0 45333 760 0 0 20 0 1 0 19544253 324141056 60090 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 79136 60090 1836 992 0 70994 0
################
# More data... #
################
Current children cumulated memory: 695376 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.06 7/262 246333
/proc/meminfo: memFree=101774960/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=763404 memory=695832 CPUtime=3034.11 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 63842 0 1 0 300084 3327 0 0 20 0 1 0 19544253 781725696 173958 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 190851 173958 1836 992 0 182709 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 763404 KiB
Current children cumulated memory: 695832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.07 6/262 246354
/proc/meminfo: memFree=101551516/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=763604 memory=695992 CPUtime=3093.96 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 64141 0 1 0 306037 3359 0 0 20 0 1 0 19544253 781930496 173998 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 190901 173998 1836 992 0 182759 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 763604 KiB
Current children cumulated memory: 695992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.08 7/261 246366
/proc/meminfo: memFree=101334540/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=765996 memory=698408 CPUtime=3153.81 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 65038 0 1 0 312003 3378 0 0 20 0 1 0 19544253 784379904 174602 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 191499 174602 1836 992 0 183357 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 765996 KiB
Current children cumulated memory: 698408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.09 7/259 246377
/proc/meminfo: memFree=101127820/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=771288 memory=703016 CPUtime=3213.68 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 66540 0 1 0 317953 3415 0 0 20 0 1 0 19544253 789798912 175754 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 192822 175754 1836 992 0 184680 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 771288 KiB
Current children cumulated memory: 703016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.09 6/259 246387
/proc/meminfo: memFree=100808732/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1126868 memory=769068 CPUtime=3273.53 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 68572 0 1 0 323906 3447 0 0 20 0 1 0 19544253 1153912832 192267 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 281717 192267 1836 992 0 273575 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 1126868 KiB
Current children cumulated memory: 769068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 7/257 246398
/proc/meminfo: memFree=100531864/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1133660 memory=844056 CPUtime=3333.39 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 70082 0 1 0 329859 3480 0 0 20 0 1 0 19544253 1160867840 211014 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 283415 211014 1836 992 0 275273 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 1133660 KiB
Current children cumulated memory: 844056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/257 246408
/proc/meminfo: memFree=100258496/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1136544 memory=909856 CPUtime=3393.25 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 71215 0 1 0 335805 3520 0 0 20 0 1 0 19544253 1163821056 227464 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284136 227464 1836 992 0 275994 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 1136544 KiB
Current children cumulated memory: 909856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.10 6/258 246419
/proc/meminfo: memFree=100026452/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1136520 memory=909600 CPUtime=3453.11 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 71715 0 1 0 341735 3576 0 0 20 0 1 0 19544253 1163796480 227400 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284130 227400 1836 992 0 275988 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 1136520 KiB
Current children cumulated memory: 909600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 6/258 246430
/proc/meminfo: memFree=99705708/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1136604 memory=909492 CPUtime=3512.97 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72272 0 1 0 347658 3639 0 0 20 0 1 0 19544253 1163882496 227373 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284151 227373 1836 992 0 276009 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 1136604 KiB
Current children cumulated memory: 909492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/258 246440
/proc/meminfo: memFree=99431484/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1137140 memory=909988 CPUtime=3572.83 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72541 0 1 0 353571 3712 0 0 20 0 1 0 19544253 1164431360 227497 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284285 227497 1836 992 0 276143 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 909988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.11 4.14 4.09 6/260 246449
/proc/meminfo: memFree=99289952/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1137140 memory=910228 CPUtime=3600.07 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72716 0 1 0 356264 3743 0 0 20 0 1 0 19544253 1164431360 227557 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284285 227557 1836 992 0 276143 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 910228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.58 s]
# the end of solver process 244560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.53 s, system=37.4616 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.11 4.14 4.09 3/248 246501
/proc/meminfo: memFree=100623460/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1137140 memory=910228 CPUtime=3600.47 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72716 0 1 0 356303 3744 0 0 20 0 1 0 19544253 1164431360 227557 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284285 227557 1836 992 0 276143 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 910228 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.14 4.09 3/248 246501
/proc/meminfo: memFree=100623460/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1137140 memory=910228 CPUtime=3600.86 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72716 0 1 0 356342 3744 0 0 20 0 1 0 19544253 1164431360 227557 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284285 227557 1836 992 0 276143 0
Current children cumulated CPU time: 3600.86 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 910228 KiB
[startup+3610.5 s]
/proc/loadavg: 4.11 4.14 4.09 3/248 246501
/proc/meminfo: memFree=100623460/131524600 swapFree=131071216/131071996
[pid=244560] ppid=244546 vsize=1137140 memory=910228 CPUtime=3600.97 cores=1,3
/proc/244560/stat : 244560 (roundingsat) R 244546 244560 244489 0 -1 4194304 72716 0 1 0 356352 3745 0 0 20 0 1 0 19544253 1164431360 227557 134679101440 4194304 8254037 140722031213088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 8 0 0 9037040 9046032 27160576 140722031215452 140722031215714 140722031215714 140722031222729 0
/proc/244560/statm: 284285 227557 1836 992 0 276143 0
Current children cumulated CPU time: 3600.97 s
Current children cumulated vsize: 1137140 KiB
Current children cumulated memory: 910228 KiB
Child status: 0
Real time (s): 3610.58
CPU time (s): 3600.99
CPU user time (s): 3563.53
CPU system time (s): 37.4616
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 1138304
Max. memory (cumulated for all children) (KiB): 911444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.53
system time used= 37.4616
maximum resident set size= 911444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72732
page faults= 1
swaps= 0
block input operations= 80
block output operations= 9993240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 481
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 244560
# total CPU time (s): 3600.99
# total CPU user time (s): 3563.53
# total CPU system time (s): 37.4616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63194 second user time and 19.5726 second system time
The end
Begin job on nodeC017 at 2024-07-24 16:10:17 IDJOB=4457179 IDBENCH=158351 IDSOLVER=3085 FILE ID=nodeC017/4457179-1721830217 RUNJOBID= nodeC017-1721830217-244501 SLURM_JOB_ID= 7891507 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457179-1721830217/watcher-4457179-1721830217 -o /tmp/evaluation-result-4457179-1721830217/solver-4457179-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244501 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457179-1721830217 --lp-cut-gomory=0 HOME/instance-4457179-1721830217.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295 RANDOM SEED=8886360 nodeC017.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 : 3546.671 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 : 7000.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 : 3580.258 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.74 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 : 3603.197 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 : 7000.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 : 3561.943 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.74 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 : 3534.999 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 : 7000.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 : 3575.420 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.74 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 : 3576.418 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 : 7000.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 : 3496.628 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117548732 kB MemAvailable: 129648152 kB Buffers: 276044 kB Cached: 12569128 kB SwapCached: 88 kB Active: 2603332 kB Inactive: 10585756 kB Active(anon): 1460 kB Inactive(anon): 397004 kB Active(file): 2601872 kB Inactive(file): 10188752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 24316 kB Writeback: 20 kB AnonPages: 342680 kB Mapped: 118612 kB Shmem: 53820 kB KReclaimable: 297236 kB Slab: 424720 kB SReclaimable: 297236 kB SUnreclaim: 127484 kB KernelStack: 4100 kB PageTables: 9632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 726080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890064 MiB End job on nodeC017 at 2024-07-24 17:10:28