| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.12 | 3610.13 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb |
| MD5SUM | dd58632d9551a3604736dadf6eadc418 |
| 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 | 113.256 |
| 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 | 6120 |
| Total number of constraints | 6302 |
| Number of constraints which are clauses | 6212 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 90 |
| 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 | 91 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.08 c #variables 6120 #constraints 6302 19.32/19.49 c #Conflicts: 1000 | #Constraints: 7301 19.32/19.49 c #Conflicts: 2000 | #Constraints: 8301 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c #Conflicts: 3000 | #Constraints: 7984 19.32/19.49 c #Conflicts: 4000 | #Constraints: 8984 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c #Conflicts: 5000 | #Constraints: 8435 19.32/19.49 c #Conflicts: 6000 | #Constraints: 9436 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c #Conflicts: 7000 | #Constraints: 8502 19.32/19.49 c #Conflicts: 8000 | #Constraints: 9502 19.32/19.49 c #Conflicts: 9000 | #Constraints: 10503 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c #Conflicts: 10000 | #Constraints: 9263 19.32/19.49 c #Conflicts: 11000 | #Constraints: 10263 19.32/19.49 c #Conflicts: 12000 | #Constraints: 11264 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c #Conflicts: 13000 | #Constraints: 9748 19.32/19.49 c #Conflicts: 14000 | #Constraints: 10748 19.32/19.49 c #Conflicts: 15000 | #Constraints: 11749 19.32/19.49 c INPROCESSING 19.32/19.49 c GARBAGE COLLECT 19.32/19.49 c rational objective 90 34.08/34.26 c #Conflicts: 16000 | #Constraints: 10021 34.08/34.26 c #Conflicts: 17000 | #Constraints: 11021 34.08/34.26 c #Conflicts: 18000 | #Constraints: 12021 34.08/34.26 c INPROCESSING 34.08/34.26 c GARBAGE COLLECT 34.08/34.26 c #Conflicts: 19000 | #Constraints: 10058 34.08/34.26 c #Conflicts: 20000 | #Constraints: 11058 34.08/34.26 c #Conflicts: 21000 | #Constraints: 12058 34.08/34.26 c INPROCESSING 34.08/34.26 c GARBAGE COLLECT 34.08/34.26 c #Conflicts: 22000 | #Constraints: 9901 34.08/34.26 c #Conflicts: 23000 | #Constraints: 10901 34.08/34.26 c #Conflicts: 24000 | #Constraints: 11901 34.08/34.26 c #Conflicts: 25000 | #Constraints: 12901 34.08/34.26 c INPROCESSING 34.08/34.26 c GARBAGE COLLECT 34.08/34.26 c #Conflicts: 26000 | #Constraints: 10528 34.08/34.26 c #Conflicts: 27000 | #Constraints: 11528 34.08/34.26 c #Conflicts: 28000 | #Constraints: 12528 34.08/34.26 c #Conflicts: 29000 | #Constraints: 13528 34.08/34.26 c INPROCESSING 34.08/34.26 c GARBAGE COLLECT 34.08/34.26 c rational objective 90 53.33/53.54 c #Conflicts: 30000 | #Constraints: 10905 53.33/53.54 c #Conflicts: 31000 | #Constraints: 11905 53.33/53.54 c #Conflicts: 32000 | #Constraints: 12905 53.33/53.54 c #Conflicts: 33000 | #Constraints: 13905 53.33/53.54 c INPROCESSING 53.33/53.54 c GARBAGE COLLECT 53.33/53.54 c #Conflicts: 34000 | #Constraints: 11132 53.33/53.54 c #Conflicts: 35000 | #Constraints: 12132 53.33/53.54 c #Conflicts: 36000 | #Constraints: 13132 53.33/53.54 c #Conflicts: 37000 | #Constraints: 14133 53.33/53.54 c INPROCESSING 53.33/53.54 c GARBAGE COLLECT 53.33/53.54 c #Conflicts: 38000 | #Constraints: 11173 53.33/53.54 c #Conflicts: 39000 | #Constraints: 12173 53.33/53.54 c #Conflicts: 40000 | #Constraints: 13173 53.33/53.54 c #Conflicts: 41000 | #Constraints: 14173 53.33/53.54 c INPROCESSING 53.33/53.54 c GARBAGE COLLECT 53.33/53.54 c rational objective 90 65.09/65.30 c #Conflicts: 42000 | #Constraints: 10988 65.09/65.30 c #Conflicts: 43000 | #Constraints: 11988 65.09/65.30 c #Conflicts: 44000 | #Constraints: 12988 65.09/65.30 c #Conflicts: 45000 | #Constraints: 13988 65.09/65.30 c #Conflicts: 46000 | #Constraints: 14988 65.09/65.30 c INPROCESSING 65.09/65.30 c GARBAGE COLLECT 65.09/65.30 c #Conflicts: 47000 | #Constraints: 11582 65.09/65.30 c #Conflicts: 48000 | #Constraints: 12582 65.09/65.30 c #Conflicts: 49000 | #Constraints: 13582 65.09/65.30 c #Conflicts: 50000 | #Constraints: 14582 65.09/65.30 c #Conflicts: 51000 | #Constraints: 15582 65.09/65.30 c INPROCESSING 65.09/65.30 c GARBAGE COLLECT 65.09/65.30 c #Conflicts: 52000 | #Constraints: 11986 65.09/65.30 c #Conflicts: 53000 | #Constraints: 12986 65.09/65.30 c #Conflicts: 54000 | #Constraints: 13986 65.09/65.30 c #Conflicts: 55000 | #Constraints: 14986 65.09/65.30 c #Conflicts: 56000 | #Constraints: 15986 65.09/65.30 c INPROCESSING 65.09/65.30 c GARBAGE COLLECT 65.09/65.30 c rational objective 90 96.39/96.75 c #Conflicts: 57000 | #Constraints: 12218 96.39/96.75 c #Conflicts: 58000 | #Constraints: 13219 96.39/96.75 c #Conflicts: 59000 | #Constraints: 14219 96.39/96.75 c #Conflicts: 60000 | #Constraints: 15219 96.39/96.75 c #Conflicts: 61000 | #Constraints: 16219 96.39/96.75 c INPROCESSING 96.39/96.75 c GARBAGE COLLECT 96.39/96.75 c #Conflicts: 62000 | #Constraints: 12223 96.39/96.75 c #Conflicts: 63000 | #Constraints: 13223 96.39/96.75 c #Conflicts: 64000 | #Constraints: 14223 96.39/96.75 c #Conflicts: 65000 | #Constraints: 15223 96.39/96.75 c #Conflicts: 66000 | #Constraints: 16223 96.39/96.75 c INPROCESSING 96.39/96.75 c GARBAGE COLLECT 96.39/96.75 c #Conflicts: 67000 | #Constraints: 11996 96.39/96.75 c #Conflicts: 68000 | #Constraints: 12996 96.39/96.75 c #Conflicts: 69000 | #Constraints: 13996 96.39/96.75 c #Conflicts: 70000 | #Constraints: 14997 96.39/96.75 c #Conflicts: 71000 | #Constraints: 15997 96.39/96.75 c #Conflicts: 72000 | #Constraints: 16997 96.39/96.75 c INPROCESSING 96.39/96.75 c GARBAGE COLLECT 96.39/96.75 c rational objective 90 130.61/131.09 c #Conflicts: 73000 | #Constraints: 12663 130.61/131.09 c #Conflicts: 74000 | #Constraints: 13663 130.61/131.09 c #Conflicts: 75000 | #Constraints: 14663 130.61/131.09 c #Conflicts: 76000 | #Constraints: 15663 130.61/131.09 c #Conflicts: 77000 | #Constraints: 16663 130.61/131.09 c #Conflicts: 78000 | #Constraints: 17663 130.61/131.09 c INPROCESSING 130.61/131.09 c GARBAGE COLLECT 130.61/131.09 c #Conflicts: 79000 | #Constraints: 13098 130.61/131.09 c #Conflicts: 80000 | #Constraints: 14098 130.61/131.09 c #Conflicts: 81000 | #Constraints: 15098 130.61/131.09 c #Conflicts: 82000 | #Constraints: 16098 130.61/131.09 c #Conflicts: 83000 | #Constraints: 17098 130.61/131.09 c #Conflicts: 84000 | #Constraints: 18099 130.61/131.09 c #Conflicts: 85000 | #Constraints: 19099 130.61/131.09 c #Conflicts: 86000 | #Constraints: 20099 130.61/131.09 c #Conflicts: 87000 | #Constraints: 21099 130.61/131.09 c #Conflicts: 88000 | #Constraints: 22099 130.61/131.09 c #Conflicts: 89000 | #Constraints: 23099 130.61/131.09 c #Conflicts: 90000 | #Constraints: 24099 130.61/131.09 c #Conflicts: 91000 | #Constraints: 25099 130.61/131.09 c #Conflicts: 92000 | #Constraints: 26100 130.61/131.09 c #Conflicts: 93000 | #Constraints: 27100 130.61/131.09 c #Conflicts: 94000 | #Constraints: 28100 130.61/131.09 c #Conflicts: 95000 | #Constraints: 29100 130.61/131.09 c #Conflicts: 96000 | #Constraints: 30100 130.61/131.09 c #Conflicts: 97000 | #Constraints: 31100 130.61/131.09 c #Conflicts: 98000 | #Constraints: 32100 130.61/131.09 c #Conflicts: 99000 | #Constraints: 33100 130.61/131.09 c #Conflicts: 100000 | #Constraints: 34100 130.61/131.09 c #Conflicts: 101000 | #Constraints: 35100 130.61/131.09 c #Conflicts: 102000 | #Constraints: 36100 130.61/131.09 c INPROCESSING 130.61/131.09 c GARBAGE COLLECT 130.61/131.09 c rational objective 90 140.37/140.85 c #Conflicts: 103000 | #Constraints: 21892 140.37/140.85 c #Conflicts: 104000 | #Constraints: 22892 140.37/140.85 c #Conflicts: 105000 | #Constraints: 23893 140.37/140.85 c #Conflicts: 106000 | #Constraints: 24894 140.37/140.85 c #Conflicts: 107000 | #Constraints: 25894 140.37/140.85 c #Conflicts: 108000 | #Constraints: 26894 140.37/140.85 c #Conflicts: 109000 | #Constraints: 27894 140.37/140.85 c #Conflicts: 110000 | #Constraints: 28894 140.37/140.85 c INPROCESSING 140.37/140.85 c GARBAGE COLLECT 140.37/140.85 c rational objective 90 148.56/149.07 c #Conflicts: 111000 | #Constraints: 18770 148.56/149.07 c #Conflicts: 112000 | #Constraints: 19770 148.56/149.07 c #Conflicts: 113000 | #Constraints: 20770 148.56/149.07 c #Conflicts: 114000 | #Constraints: 21770 148.56/149.07 c #Conflicts: 115000 | #Constraints: 22770 148.56/149.07 c #Conflicts: 116000 | #Constraints: 23770 148.56/149.07 c #Conflicts: 117000 | #Constraints: 24770 148.56/149.07 c INPROCESSING 148.56/149.07 c GARBAGE COLLECT 148.56/149.07 c rational objective 90 162.52/163.02 c #Conflicts: 118000 | #Constraints: 16562 162.52/163.02 c #Conflicts: 119000 | #Constraints: 17562 162.52/163.02 c #Conflicts: 120000 | #Constraints: 18563 162.52/163.02 c #Conflicts: 121000 | #Constraints: 19563 162.52/163.02 c #Conflicts: 122000 | #Constraints: 20563 162.52/163.02 c #Conflicts: 123000 | #Constraints: 21563 162.52/163.02 c #Conflicts: 124000 | #Constraints: 22563 162.52/163.02 c INPROCESSING 162.52/163.02 c GARBAGE COLLECT 162.52/163.02 c rational objective 90 172.18/172.74 c #Conflicts: 125000 | #Constraints: 15220 172.18/172.74 c #Conflicts: 126000 | #Constraints: 16220 172.18/172.74 c #Conflicts: 127000 | #Constraints: 17220 172.18/172.74 c #Conflicts: 128000 | #Constraints: 18220 172.18/172.74 c #Conflicts: 129000 | #Constraints: 19220 172.18/172.74 c #Conflicts: 130000 | #Constraints: 20220 172.18/172.74 c #Conflicts: 131000 | #Constraints: 21220 172.18/172.74 c #Conflicts: 132000 | #Constraints: 22220 172.18/172.74 c INPROCESSING 172.18/172.74 c GARBAGE COLLECT 172.18/172.74 c rational objective 90 177.16/177.75 c #Conflicts: 133000 | #Constraints: 15184 177.16/177.75 c #Conflicts: 134000 | #Constraints: 16184 177.16/177.75 c #Conflicts: 135000 | #Constraints: 17184 177.16/177.75 c #Conflicts: 136000 | #Constraints: 18184 177.16/177.75 c #Conflicts: 137000 | #Constraints: 19184 177.16/177.75 c #Conflicts: 138000 | #Constraints: 20184 177.16/177.75 c #Conflicts: 139000 | #Constraints: 21184 177.16/177.75 c #Conflicts: 140000 | #Constraints: 22184 177.16/177.75 c INPROCESSING 177.16/177.75 c GARBAGE COLLECT 177.16/177.75 c rational objective 90 219.45/220.12 c #Conflicts: 141000 | #Constraints: 15219 219.45/220.12 c #Conflicts: 142000 | #Constraints: 16219 219.45/220.12 c #Conflicts: 143000 | #Constraints: 17219 219.45/220.12 c #Conflicts: 144000 | #Constraints: 18220 219.45/220.12 c #Conflicts: 145000 | #Constraints: 19222 219.45/220.12 c #Conflicts: 146000 | #Constraints: 20222 219.45/220.12 c #Conflicts: 147000 | #Constraints: 21222 219.45/220.12 c #Conflicts: 148000 | #Constraints: 22222 219.45/220.12 c #Conflicts: 149000 | #Constraints: 23222 219.45/220.12 c #Conflicts: 150000 | #Constraints: 24222 219.45/220.12 c #Conflicts: 151000 | #Constraints: 25222 219.45/220.12 c #Conflicts: 152000 | #Constraints: 26222 219.45/220.12 c #Conflicts: 153000 | #Constraints: 27222 219.45/220.12 c #Conflicts: 154000 | #Constraints: 28222 219.45/220.12 c #Conflicts: 155000 | #Constraints: 29222 219.45/220.12 c #Conflicts: 156000 | #Constraints: 30222 219.45/220.12 c #Conflicts: 157000 | #Constraints: 31222 219.45/220.12 c #Conflicts: 158000 | #Constraints: 32222 219.45/220.12 c #Conflicts: 159000 | #Constraints: 33223 219.45/220.12 c #Conflicts: 160000 | #Constraints: 34223 219.45/220.12 c #Conflicts: 161000 | #Constraints: 35223 219.45/220.12 c #Conflicts: 162000 | #Constraints: 36223 219.45/220.12 c #Conflicts: 163000 | #Constraints: 37223 219.45/220.12 c #Conflicts: 164000 | #Constraints: 38223 219.45/220.12 c #Conflicts: 165000 | #Constraints: 39223 219.45/220.12 c #Conflicts: 166000 | #Constraints: 40223 219.45/220.12 c #Conflicts: 167000 | #Constraints: 41223 219.45/220.12 c #Conflicts: 168000 | #Constraints: 42223 219.45/220.12 c #Conflicts: 169000 | #Constraints: 43223 219.45/220.12 c #Conflicts: 170000 | #Constraints: 44223 219.45/220.12 c #Conflicts: 171000 | #Constraints: 45223 219.45/220.12 c #Conflicts: 172000 | #Constraints: 46223 219.45/220.12 c INPROCESSING 219.45/220.12 c GARBAGE COLLECT 219.45/220.12 c rational objective 90 233.99/234.78 c #Conflicts: 173000 | #Constraints: 27047 233.99/234.78 c #Conflicts: 174000 | #Constraints: 28047 233.99/234.78 c #Conflicts: 175000 | #Constraints: 29047 233.99/234.78 c #Conflicts: 176000 | #Constraints: 30047 233.99/234.78 c #Conflicts: 177000 | #Constraints: 31047 233.99/234.78 c #Conflicts: 178000 | #Constraints: 32047 233.99/234.78 c #Conflicts: 179000 | #Constraints: 33048 233.99/234.78 c #Conflicts: 180000 | #Constraints: 34049 233.99/234.78 c #Conflicts: 181000 | #Constraints: 35049 233.99/234.78 c #Conflicts: 182000 | #Constraints: 36049 233.99/234.78 c INPROCESSING 233.99/234.78 c GARBAGE COLLECT 233.99/234.78 c rational objective 90 250.26/251.04 c #Conflicts: 183000 | #Constraints: 22409 250.26/251.04 c #Conflicts: 184000 | #Constraints: 23409 250.26/251.04 c #Conflicts: 185000 | #Constraints: 24410 250.26/251.04 c #Conflicts: 186000 | #Constraints: 25410 250.26/251.04 c #Conflicts: 187000 | #Constraints: 26410 250.26/251.04 c #Conflicts: 188000 | #Constraints: 27410 250.26/251.04 c #Conflicts: 189000 | #Constraints: 28410 250.26/251.04 c #Conflicts: 190000 | #Constraints: 29411 250.26/251.04 c #Conflicts: 191000 | #Constraints: 30411 250.26/251.04 c INPROCESSING 250.26/251.04 c GARBAGE COLLECT 250.26/251.04 c rational objective 90 262.41/263.24 c #Conflicts: 192000 | #Constraints: 19363 262.41/263.24 c #Conflicts: 193000 | #Constraints: 20363 262.41/263.24 c #Conflicts: 194000 | #Constraints: 21363 262.41/263.24 c #Conflicts: 195000 | #Constraints: 22363 262.41/263.24 c #Conflicts: 196000 | #Constraints: 23363 262.41/263.24 c #Conflicts: 197000 | #Constraints: 24363 262.41/263.24 c #Conflicts: 198000 | #Constraints: 25363 262.41/263.24 c #Conflicts: 199000 | #Constraints: 26363 262.41/263.24 c #Conflicts: 200000 | #Constraints: 27363 262.41/263.24 c #Conflicts: 201000 | #Constraints: 28363 262.41/263.24 c INPROCESSING 262.41/263.24 c GARBAGE COLLECT 262.41/263.24 c rational objective 90 280.86/281.70 c #Conflicts: 202000 | #Constraints: 18572 280.86/281.70 c #Conflicts: 203000 | #Constraints: 19572 280.86/281.70 c #Conflicts: 204000 | #Constraints: 20573 280.86/281.70 c #Conflicts: 205000 | #Constraints: 21573 280.86/281.70 c #Conflicts: 206000 | #Constraints: 22573 280.86/281.70 c #Conflicts: 207000 | #Constraints: 23573 280.86/281.70 c #Conflicts: 208000 | #Constraints: 24573 280.86/281.70 c #Conflicts: 209000 | #Constraints: 25573 280.86/281.70 c #Conflicts: 210000 | #Constraints: 26573 280.86/281.70 c INPROCESSING 280.86/281.70 c GARBAGE COLLECT 280.86/281.70 c rational objective 90 338.18/339.27 c #Conflicts: 211000 | #Constraints: 17302 338.18/339.27 c #Conflicts: 212000 | #Constraints: 18302 338.18/339.27 c #Conflicts: 213000 | #Constraints: 19302 338.18/339.27 c #Conflicts: 214000 | #Constraints: 20302 338.18/339.27 c #Conflicts: 215000 | #Constraints: 21303 338.18/339.27 c #Conflicts: 216000 | #Constraints: 22303 338.18/339.27 c #Conflicts: 217000 | #Constraints: 23304 338.18/339.27 c #Conflicts: 218000 | #Constraints: 24304 338.18/339.27 c #Conflicts: 219000 | #Constraints: 25304 338.18/339.27 c #Conflicts: 220000 | #Constraints: 26304 338.18/339.27 c #Conflicts: 221000 | #Constraints: 27305 338.18/339.27 c #Conflicts: 222000 | #Constraints: 28305 338.18/339.27 c #Conflicts: 223000 | #Constraints: 29305 338.18/339.27 c #Conflicts: 224000 | #Constraints: 30305 338.18/339.27 c #Conflicts: 225000 | #Constraints: 31305 338.18/339.27 c #Conflicts: 226000 | #Constraints: 32305 338.18/339.27 c #Conflicts: 227000 | #Constraints: 33305 338.18/339.27 c #Conflicts: 228000 | #Constraints: 34305 338.18/339.27 c #Conflicts: 229000 | #Constraints: 35305 338.18/339.27 c #Conflicts: 230000 | #Constraints: 36305 338.18/339.27 c #Conflicts: 231000 | #Constraints: 37305 338.18/339.27 c #Conflicts: 232000 | #Constraints: 38305 338.18/339.27 c #Conflicts: 233000 | #Constraints: 39305 338.18/339.27 c #Conflicts: 234000 | #Constraints: 40305 338.18/339.27 c #Conflicts: 235000 | #Constraints: 41305 338.18/339.27 c #Conflicts: 236000 | #Constraints: 42305 338.18/339.27 c #Conflicts: 237000 | #Constraints: 43305 338.18/339.27 c #Conflicts: 238000 | #Constraints: 44305 338.18/339.27 c #Conflicts: 239000 | #Constraints: 45305 338.18/339.27 c #Conflicts: 240000 | #Constraints: 46305 338.18/339.27 c #Conflicts: 241000 | #Constraints: 47305 338.18/339.27 c #Conflicts: 242000 | #Constraints: 48305 338.18/339.27 c #Conflicts: 243000 | #Constraints: 49306 338.18/339.27 c #Conflicts: 244000 | #Constraints: 50307 338.18/339.27 c #Conflicts: 245000 | #Constraints: 51307 338.18/339.27 c #Conflicts: 246000 | #Constraints: 52307 338.18/339.27 c #Conflicts: 247000 | #Constraints: 53307 338.18/339.27 c #Conflicts: 248000 | #Constraints: 54307 338.18/339.27 c #Conflicts: 249000 | #Constraints: 55307 338.18/339.27 c INPROCESSING 338.18/339.27 c GARBAGE COLLECT 338.18/339.27 c rational objective 90 362.11/363.27 c #Conflicts: 250000 | #Constraints: 31754 362.11/363.27 c #Conflicts: 251000 | #Constraints: 32754 362.11/363.27 c #Conflicts: 252000 | #Constraints: 33754 362.11/363.27 c #Conflicts: 253000 | #Constraints: 34754 362.11/363.27 c #Conflicts: 254000 | #Constraints: 35754 362.11/363.27 c #Conflicts: 255000 | #Constraints: 36754 362.11/363.27 c #Conflicts: 256000 | #Constraints: 37754 362.11/363.27 c #Conflicts: 257000 | #Constraints: 38754 362.11/363.27 c #Conflicts: 258000 | #Constraints: 39754 362.11/363.27 c #Conflicts: 259000 | #Constraints: 40754 362.11/363.27 c #Conflicts: 260000 | #Constraints: 41754 362.11/363.27 c INPROCESSING 362.11/363.27 c GARBAGE COLLECT 362.11/363.27 c rational objective 90 381.25/382.42 c #Conflicts: 261000 | #Constraints: 24939 381.25/382.42 c #Conflicts: 262000 | #Constraints: 25939 381.25/382.42 c #Conflicts: 263000 | #Constraints: 26939 381.25/382.42 c #Conflicts: 264000 | #Constraints: 27939 381.25/382.42 c #Conflicts: 265000 | #Constraints: 28941 381.25/382.42 c #Conflicts: 266000 | #Constraints: 29941 381.25/382.42 c #Conflicts: 267000 | #Constraints: 30941 381.25/382.42 c #Conflicts: 268000 | #Constraints: 31942 381.25/382.42 c #Conflicts: 269000 | #Constraints: 32942 381.25/382.42 c #Conflicts: 270000 | #Constraints: 33942 381.25/382.42 c #Conflicts: 271000 | #Constraints: 34942 381.25/382.42 c #Conflicts: 272000 | #Constraints: 35942 381.25/382.42 c INPROCESSING 381.25/382.42 c GARBAGE COLLECT 381.25/382.42 c rational objective 90 402.00/403.20 c #Conflicts: 273000 | #Constraints: 22426 402.00/403.20 c #Conflicts: 274000 | #Constraints: 23427 402.00/403.20 c #Conflicts: 275000 | #Constraints: 24427 402.00/403.20 c #Conflicts: 276000 | #Constraints: 25427 402.00/403.20 c #Conflicts: 277000 | #Constraints: 26427 402.00/403.20 c #Conflicts: 278000 | #Constraints: 27427 402.00/403.20 c #Conflicts: 279000 | #Constraints: 28427 402.00/403.20 c #Conflicts: 280000 | #Constraints: 29428 402.00/403.20 c #Conflicts: 281000 | #Constraints: 30428 402.00/403.20 c #Conflicts: 282000 | #Constraints: 31428 402.00/403.20 c #Conflicts: 283000 | #Constraints: 32428 402.00/403.20 c INPROCESSING 402.00/403.20 c GARBAGE COLLECT 402.00/403.20 c rational objective 90 422.04/423.34 c #Conflicts: 284000 | #Constraints: 20421 422.04/423.34 c #Conflicts: 285000 | #Constraints: 21421 422.04/423.34 c #Conflicts: 286000 | #Constraints: 22421 422.04/423.34 c #Conflicts: 287000 | #Constraints: 23421 422.04/423.34 c #Conflicts: 288000 | #Constraints: 24421 422.04/423.34 c #Conflicts: 289000 | #Constraints: 25421 422.04/423.34 c #Conflicts: 290000 | #Constraints: 26421 422.04/423.34 c #Conflicts: 291000 | #Constraints: 27421 422.04/423.34 c #Conflicts: 292000 | #Constraints: 28422 422.04/423.34 c #Conflicts: 293000 | #Constraints: 29422 422.04/423.34 c #Conflicts: 294000 | #Constraints: 30422 422.04/423.34 c #Conflicts: 295000 | #Constraints: 31422 422.04/423.34 c INPROCESSING 422.04/423.34 c GARBAGE COLLECT 422.04/423.34 c rational objective 90 536.28/537.94 c #Conflicts: 296000 | #Constraints: 20042 536.28/537.94 c #Conflicts: 297000 | #Constraints: 21043 536.28/537.94 c #Conflicts: 298000 | #Constraints: 22043 536.28/537.94 c #Conflicts: 299000 | #Constraints: 23043 536.28/537.94 c #Conflicts: 300000 | #Constraints: 24043 536.28/537.94 c #Conflicts: 301000 | #Constraints: 25043 536.28/537.94 c #Conflicts: 302000 | #Constraints: 26043 536.28/537.94 c #Conflicts: 303000 | #Constraints: 27043 536.28/537.94 c #Conflicts: 304000 | #Constraints: 28043 536.28/537.94 c #Conflicts: 305000 | #Constraints: 29043 536.28/537.94 c #Conflicts: 306000 | #Constraints: 30043 536.28/537.94 c #Conflicts: 307000 | #Constraints: 31043 536.28/537.94 c #Conflicts: 308000 | #Constraints: 32043 536.28/537.94 c #Conflicts: 309000 | #Constraints: 33043 536.28/537.94 c #Conflicts: 310000 | #Constraints: 34043 536.28/537.94 c #Conflicts: 311000 | #Constraints: 35043 536.28/537.94 c #Conflicts: 312000 | #Constraints: 36043 536.28/537.94 c #Conflicts: 313000 | #Constraints: 37043 536.28/537.94 c #Conflicts: 314000 | #Constraints: 38043 536.28/537.94 c #Conflicts: 315000 | #Constraints: 39043 536.28/537.94 c #Conflicts: 316000 | #Constraints: 40043 536.28/537.94 c #Conflicts: 317000 | #Constraints: 41043 536.28/537.94 c #Conflicts: 318000 | #Constraints: 42043 536.28/537.94 c #Conflicts: 319000 | #Constraints: 43043 536.28/537.94 c #Conflicts: 320000 | #Constraints: 44043 536.28/537.94 c #Conflicts: 321000 | #Constraints: 45043 536.28/537.94 c #Conflicts: 322000 | #Constraints: 46043 536.28/537.94 c #Conflicts: 323000 | #Constraints: 47043 536.28/537.94 c #Conflicts: 324000 | #Constraints: 48043 536.28/537.94 c #Conflicts: 325000 | #Constraints: 49043 536.28/537.94 c #Conflicts: 326000 | #Constraints: 50043 536.28/537.94 c #Conflicts: 327000 | #Constraints: 51043 536.28/537.94 c #Conflicts: 328000 | #Constraints: 52043 536.28/537.94 c #Conflicts: 329000 | #Constraints: 53043 536.28/537.94 c #Conflicts: 330000 | #Constraints: 54043 536.28/537.94 c #Conflicts: 331000 | #Constraints: 55043 536.28/537.94 c #Conflicts: 332000 | #Constraints: 56043 536.28/537.94 c #Conflicts: 333000 | #Constraints: 57043 536.28/537.94 c #Conflicts: 334000 | #Constraints: 58043 536.28/537.94 c #Conflicts: 335000 | #Constraints: 59043 536.28/537.94 c #Conflicts: 336000 | #Constraints: 60043 536.28/537.94 c #Conflicts: 337000 | #Constraints: 61043 536.28/537.94 c #Conflicts: 338000 | #Constraints: 62043 536.28/537.94 c #Conflicts: 339000 | #Constraints: 63043 536.28/537.94 c #Conflicts: 340000 | #Constraints: 64043 536.28/537.94 c INPROCESSING 536.28/537.94 c GARBAGE COLLECT 536.28/537.94 c rational objective 90 558.81/560.52 c #Conflicts: 341000 | #Constraints: 36256 558.81/560.52 c #Conflicts: 342000 | #Constraints: 37256 558.81/560.52 c #Conflicts: 343000 | #Constraints: 38256 558.81/560.52 c #Conflicts: 344000 | #Constraints: 39256 558.81/560.52 c #Conflicts: 345000 | #Constraints: 40256 558.81/560.52 c #Conflicts: 346000 | #Constraints: 41256 558.81/560.52 c #Conflicts: 347000 | #Constraints: 42256 558.81/560.52 c #Conflicts: 348000 | #Constraints: 43256 558.81/560.52 c #Conflicts: 349000 | #Constraints: 44256 558.81/560.52 c #Conflicts: 350000 | #Constraints: 45256 558.81/560.52 c #Conflicts: 351000 | #Constraints: 46256 558.81/560.52 c #Conflicts: 352000 | #Constraints: 47256 558.81/560.52 c #Conflicts: 353000 | #Constraints: 48256 558.81/560.52 c INPROCESSING 558.81/560.52 c GARBAGE COLLECT 558.81/560.52 c rational objective 90 574.06/575.81 c #Conflicts: 354000 | #Constraints: 28342 574.06/575.81 c #Conflicts: 355000 | #Constraints: 29342 574.06/575.81 c #Conflicts: 356000 | #Constraints: 30342 574.06/575.81 c #Conflicts: 357000 | #Constraints: 31342 574.06/575.81 c #Conflicts: 358000 | #Constraints: 32342 574.06/575.81 c #Conflicts: 359000 | #Constraints: 33342 574.06/575.81 c #Conflicts: 360000 | #Constraints: 34342 574.06/575.81 c #Conflicts: 361000 | #Constraints: 35342 574.06/575.81 c #Conflicts: 362000 | #Constraints: 36342 574.06/575.81 c #Conflicts: 363000 | #Constraints: 37342 574.06/575.81 c #Conflicts: 364000 | #Constraints: 38342 574.06/575.81 c #Conflicts: 365000 | #Constraints: 39342 574.06/575.81 c #Conflicts: 366000 | #Constraints: 40342 574.06/575.81 c INPROCESSING 574.06/575.81 c GARBAGE COLLECT 574.06/575.81 c rational objective 90 589.61/591.40 c #Conflicts: 367000 | #Constraints: 24322 589.61/591.40 c #Conflicts: 368000 | #Constraints: 25322 589.61/591.40 c #Conflicts: 369000 | #Constraints: 26322 589.61/591.40 c #Conflicts: 370000 | #Constraints: 27322 589.61/591.40 c #Conflicts: 371000 | #Constraints: 28322 589.61/591.40 c #Conflicts: 372000 | #Constraints: 29322 589.61/591.40 c #Conflicts: 373000 | #Constraints: 30322 589.61/591.40 c #Conflicts: 374000 | #Constraints: 31322 589.61/591.40 c #Conflicts: 375000 | #Constraints: 32322 589.61/591.40 c #Conflicts: 376000 | #Constraints: 33322 589.61/591.40 c #Conflicts: 377000 | #Constraints: 34322 589.61/591.40 c #Conflicts: 378000 | #Constraints: 35322 589.61/591.40 c #Conflicts: 379000 | #Constraints: 36322 589.61/591.40 c #Conflicts: 380000 | #Constraints: 37322 589.61/591.40 c INPROCESSING 589.61/591.40 c GARBAGE COLLECT 589.61/591.40 c rational objective 90 604.18/606.10 c #Conflicts: 381000 | #Constraints: 23155 604.18/606.10 c #Conflicts: 382000 | #Constraints: 24155 604.18/606.10 c #Conflicts: 383000 | #Constraints: 25155 604.18/606.10 c #Conflicts: 384000 | #Constraints: 26155 604.18/606.10 c #Conflicts: 385000 | #Constraints: 27155 604.18/606.10 c #Conflicts: 386000 | #Constraints: 28155 604.18/606.10 c #Conflicts: 387000 | #Constraints: 29155 604.18/606.10 c #Conflicts: 388000 | #Constraints: 30155 604.18/606.10 c #Conflicts: 389000 | #Constraints: 31155 604.18/606.10 c #Conflicts: 390000 | #Constraints: 32155 604.18/606.10 c #Conflicts: 391000 | #Constraints: 33155 604.18/606.10 c #Conflicts: 392000 | #Constraints: 34155 604.18/606.10 c #Conflicts: 393000 | #Constraints: 35155 604.18/606.10 c INPROCESSING 604.18/606.10 c GARBAGE COLLECT 604.18/606.10 c rational objective 90 702.88/705.04 c #Conflicts: 394000 | #Constraints: 21769 702.88/705.04 c #Conflicts: 395000 | #Constraints: 22769 702.88/705.04 c #Conflicts: 396000 | #Constraints: 23769 702.88/705.04 c #Conflicts: 397000 | #Constraints: 24769 702.88/705.04 c #Conflicts: 398000 | #Constraints: 25769 702.88/705.04 c #Conflicts: 399000 | #Constraints: 26769 702.88/705.04 c #Conflicts: 400000 | #Constraints: 27769 702.88/705.04 c #Conflicts: 401000 | #Constraints: 28769 702.88/705.04 c #Conflicts: 402000 | #Constraints: 29769 702.88/705.04 c #Conflicts: 403000 | #Constraints: 30769 702.88/705.04 c #Conflicts: 404000 | #Constraints: 31770 702.88/705.04 c #Conflicts: 405000 | #Constraints: 32770 702.88/705.04 c #Conflicts: 406000 | #Constraints: 33770 702.88/705.04 c #Conflicts: 407000 | #Constraints: 34770 702.88/705.04 c #Conflicts: 408000 | #Constraints: 35770 702.88/705.04 c #Conflicts: 409000 | #Constraints: 36770 702.88/705.04 c #Conflicts: 410000 | #Constraints: 37770 702.88/705.04 c #Conflicts: 411000 | #Constraints: 38770 702.88/705.04 c #Conflicts: 412000 | #Constraints: 39770 702.88/705.04 c #Conflicts: 413000 | #Constraints: 40770 702.88/705.04 c #Conflicts: 414000 | #Constraints: 41770 702.88/705.04 c #Conflicts: 415000 | #Constraints: 42770 702.88/705.04 c #Conflicts: 416000 | #Constraints: 43770 702.88/705.04 c #Conflicts: 417000 | #Constraints: 44770 702.88/705.04 c #Conflicts: 418000 | #Constraints: 45770 702.88/705.04 c #Conflicts: 419000 | #Constraints: 46770 702.88/705.04 c #Conflicts: 420000 | #Constraints: 47770 702.88/705.04 c #Conflicts: 421000 | #Constraints: 48770 702.88/705.04 c #Conflicts: 422000 | #Constraints: 49770 702.88/705.04 c #Conflicts: 423000 | #Constraints: 50770 702.88/705.04 c #Conflicts: 424000 | #Constraints: 51770 702.88/705.04 c #Conflicts: 425000 | #Constraints: 52770 702.88/705.04 c #Conflicts: 426000 | #Constraints: 53770 702.88/705.04 c #Conflicts: 427000 | #Constraints: 54770 702.88/705.04 c #Conflicts: 428000 | #Constraints: 55770 702.88/705.04 c #Conflicts: 429000 | #Constraints: 56770 702.88/705.04 c #Conflicts: 430000 | #Constraints: 57770 702.88/705.04 c #Conflicts: 431000 | #Constraints: 58770 702.88/705.04 c #Conflicts: 432000 | #Constraints: 59770 702.88/705.04 c #Conflicts: 433000 | #Constraints: 60770 702.88/705.04 c #Conflicts: 434000 | #Constraints: 61770 702.88/705.04 c #Conflicts: 435000 | #Constraints: 62770 702.88/705.04 c #Conflicts: 436000 | #Constraints: 63770 702.88/705.04 c #Conflicts: 437000 | #Constraints: 64770 702.88/705.04 c #Conflicts: 438000 | #Constraints: 65770 702.88/705.04 c #Conflicts: 439000 | #Constraints: 66770 702.88/705.04 c #Conflicts: 440000 | #Constraints: 67770 702.88/705.04 c #Conflicts: 441000 | #Constraints: 68770 702.88/705.04 c #Conflicts: 442000 | #Constraints: 69770 702.88/705.04 c #Conflicts: 443000 | #Constraints: 70771 702.88/705.04 c #Conflicts: 444000 | #Constraints: 71771 702.88/705.04 c #Conflicts: 445000 | #Constraints: 72771 702.88/705.04 c INPROCESSING 702.88/705.04 c GARBAGE COLLECT 702.88/705.04 c rational objective 90 737.07/739.33 c #Conflicts: 446000 | #Constraints: 40788 737.07/739.33 c #Conflicts: 447000 | #Constraints: 41788 737.07/739.33 c #Conflicts: 448000 | #Constraints: 42788 737.07/739.33 c #Conflicts: 449000 | #Constraints: 43788 737.07/739.33 c #Conflicts: 450000 | #Constraints: 44788 737.07/739.33 c #Conflicts: 451000 | #Constraints: 45788 737.07/739.33 c #Conflicts: 452000 | #Constraints: 46788 737.07/739.33 c #Conflicts: 453000 | #Constraints: 47788 737.07/739.33 c #Conflicts: 454000 | #Constraints: 48788 737.07/739.33 c #Conflicts: 455000 | #Constraints: 49788 737.07/739.33 c #Conflicts: 456000 | #Constraints: 50788 737.07/739.33 c #Conflicts: 457000 | #Constraints: 51789 737.07/739.33 c #Conflicts: 458000 | #Constraints: 52789 737.07/739.33 c #Conflicts: 459000 | #Constraints: 53789 737.07/739.33 c #Conflicts: 460000 | #Constraints: 54789 737.07/739.33 c INPROCESSING 737.07/739.33 c GARBAGE COLLECT 737.07/739.33 c rational objective 90 761.18/763.53 c #Conflicts: 461000 | #Constraints: 31825 761.18/763.53 c #Conflicts: 462000 | #Constraints: 32825 761.18/763.53 c #Conflicts: 463000 | #Constraints: 33825 761.18/763.53 c #Conflicts: 464000 | #Constraints: 34825 761.18/763.53 c #Conflicts: 465000 | #Constraints: 35825 761.18/763.53 c #Conflicts: 466000 | #Constraints: 36825 761.18/763.53 c #Conflicts: 467000 | #Constraints: 37825 761.18/763.53 c #Conflicts: 468000 | #Constraints: 38825 761.18/763.53 c #Conflicts: 469000 | #Constraints: 39825 761.18/763.53 c #Conflicts: 470000 | #Constraints: 40826 761.18/763.53 c #Conflicts: 471000 | #Constraints: 41827 761.18/763.53 c #Conflicts: 472000 | #Constraints: 42828 761.18/763.53 c #Conflicts: 473000 | #Constraints: 43829 761.18/763.53 c #Conflicts: 474000 | #Constraints: 44829 761.18/763.53 c #Conflicts: 475000 | #Constraints: 45830 761.18/763.53 c INPROCESSING 761.18/763.53 c GARBAGE COLLECT 761.18/763.53 c rational objective 90 796.15/798.67 c #Conflicts: 476000 | #Constraints: 27283 796.15/798.67 c #Conflicts: 477000 | #Constraints: 28283 796.15/798.67 c #Conflicts: 478000 | #Constraints: 29283 796.15/798.67 c #Conflicts: 479000 | #Constraints: 30283 796.15/798.67 c #Conflicts: 480000 | #Constraints: 31284 796.15/798.67 c #Conflicts: 481000 | #Constraints: 32285 796.15/798.67 c #Conflicts: 482000 | #Constraints: 33286 796.15/798.67 c #Conflicts: 483000 | #Constraints: 34288 796.15/798.67 c #Conflicts: 484000 | #Constraints: 35288 796.15/798.67 c #Conflicts: 485000 | #Constraints: 36289 796.15/798.67 c #Conflicts: 486000 | #Constraints: 37291 796.15/798.67 c #Conflicts: 487000 | #Constraints: 38291 796.15/798.67 c #Conflicts: 488000 | #Constraints: 39292 796.15/798.67 c #Conflicts: 489000 | #Constraints: 40294 796.15/798.67 c #Conflicts: 490000 | #Constraints: 41294 796.15/798.67 c INPROCESSING 796.15/798.67 c GARBAGE COLLECT 796.15/798.67 c rational objective 90 814.00/816.58 c #Conflicts: 491000 | #Constraints: 24895 814.00/816.58 c #Conflicts: 492000 | #Constraints: 25895 814.00/816.58 c #Conflicts: 493000 | #Constraints: 26895 814.00/816.58 c #Conflicts: 494000 | #Constraints: 27895 814.00/816.58 c #Conflicts: 495000 | #Constraints: 28895 814.00/816.58 c #Conflicts: 496000 | #Constraints: 29896 814.00/816.58 c #Conflicts: 497000 | #Constraints: 30896 814.00/816.58 c #Conflicts: 498000 | #Constraints: 31896 814.00/816.58 c #Conflicts: 499000 | #Constraints: 32896 814.00/816.58 c #Conflicts: 500000 | #Constraints: 33896 814.00/816.58 c #Conflicts: 501000 | #Constraints: 34896 814.00/816.58 c #Conflicts: 502000 | #Constraints: 35896 814.00/816.58 c #Conflicts: 503000 | #Constraints: 36896 814.00/816.58 c #Conflicts: 504000 | #Constraints: 37897 814.00/816.58 c #Conflicts: 505000 | #Constraints: 38897 814.00/816.58 c #Conflicts: 506000 | #Constraints: 39897 814.00/816.58 c INPROCESSING 814.00/816.58 c GARBAGE COLLECT 814.00/816.58 c rational objective 90 928.32/931.28 c #Conflicts: 507000 | #Constraints: 24452 928.32/931.28 c #Conflicts: 508000 | #Constraints: 25453 928.32/931.28 c #Conflicts: 509000 | #Constraints: 26453 928.32/931.28 c #Conflicts: 510000 | #Constraints: 27453 928.32/931.28 c #Conflicts: 511000 | #Constraints: 28453 928.32/931.28 c #Conflicts: 512000 | #Constraints: 29454 928.32/931.28 c #Conflicts: 513000 | #Constraints: 30455 928.32/931.28 c #Conflicts: 514000 | #Constraints: 31455 928.32/931.28 c #Conflicts: 515000 | #Constraints: 32455 928.32/931.28 c #Conflicts: 516000 | #Constraints: 33455 928.32/931.28 c #Conflicts: 517000 | #Constraints: 34455 928.32/931.28 c #Conflicts: 518000 | #Constraints: 35455 928.32/931.28 c #Conflicts: 519000 | #Constraints: 36455 928.32/931.28 c #Conflicts: 520000 | #Constraints: 37455 928.32/931.28 c #Conflicts: 521000 | #Constraints: 38455 928.32/931.28 c #Conflicts: 522000 | #Constraints: 39455 928.32/931.28 c #Conflicts: 523000 | #Constraints: 40455 928.32/931.28 c #Conflicts: 524000 | #Constraints: 41455 928.32/931.28 c #Conflicts: 525000 | #Constraints: 42455 928.32/931.28 c #Conflicts: 526000 | #Constraints: 43455 928.32/931.28 c #Conflicts: 527000 | #Constraints: 44455 928.32/931.28 c #Conflicts: 528000 | #Constraints: 45455 928.32/931.28 c #Conflicts: 529000 | #Constraints: 46455 928.32/931.28 c #Conflicts: 530000 | #Constraints: 47455 928.32/931.28 c #Conflicts: 531000 | #Constraints: 48455 928.32/931.28 c #Conflicts: 532000 | #Constraints: 49456 928.32/931.28 c #Conflicts: 533000 | #Constraints: 50456 928.32/931.28 c #Conflicts: 534000 | #Constraints: 51456 928.32/931.28 c #Conflicts: 535000 | #Constraints: 52456 928.32/931.28 c #Conflicts: 536000 | #Constraints: 53456 928.32/931.28 c #Conflicts: 537000 | #Constraints: 54456 928.32/931.28 c #Conflicts: 538000 | #Constraints: 55456 928.32/931.28 c #Conflicts: 539000 | #Constraints: 56456 928.32/931.28 c #Conflicts: 540000 | #Constraints: 57456 928.32/931.28 c #Conflicts: 541000 | #Constraints: 58456 928.32/931.28 c #Conflicts: 542000 | #Constraints: 59456 928.32/931.28 c #Conflicts: 543000 | #Constraints: 60456 928.32/931.28 c #Conflicts: 544000 | #Constraints: 61456 928.32/931.28 c #Conflicts: 545000 | #Constraints: 62456 928.32/931.28 c #Conflicts: 546000 | #Constraints: 63457 928.32/931.28 c #Conflicts: 547000 | #Constraints: 64457 928.32/931.28 c #Conflicts: 548000 | #Constraints: 65457 928.32/931.28 c #Conflicts: 549000 | #Constraints: 66457 928.32/931.28 c #Conflicts: 550000 | #Constraints: 67457 928.32/931.28 c #Conflicts: 551000 | #Constraints: 68457 928.32/931.28 c #Conflicts: 552000 | #Constraints: 69457 928.32/931.28 c #Conflicts: 553000 | #Constraints: 70457 928.32/931.28 c #Conflicts: 554000 | #Constraints: 71457 928.32/931.28 c #Conflicts: 555000 | #Constraints: 72457 928.32/931.28 c #Conflicts: 556000 | #Constraints: 73457 928.32/931.28 c #Conflicts: 557000 | #Constraints: 74457 928.32/931.28 c #Conflicts: 558000 | #Constraints: 75457 928.32/931.28 c #Conflicts: 559000 | #Constraints: 76457 928.32/931.28 c #Conflicts: 560000 | #Constraints: 77457 928.32/931.28 c #Conflicts: 561000 | #Constraints: 78457 928.32/931.28 c #Conflicts: 562000 | #Constraints: 79457 928.32/931.28 c #Conflicts: 563000 | #Constraints: 80457 928.32/931.28 c #Conflicts: 564000 | #Constraints: 81457 928.32/931.28 c INPROCESSING 928.32/931.28 c GARBAGE COLLECT 928.32/931.28 c rational objective 90 958.06/961.07 c #Conflicts: 565000 | #Constraints: 45185 958.06/961.07 c #Conflicts: 566000 | #Constraints: 46185 958.06/961.07 c #Conflicts: 567000 | #Constraints: 47185 958.06/961.07 c #Conflicts: 568000 | #Constraints: 48185 958.06/961.07 c #Conflicts: 569000 | #Constraints: 49185 958.06/961.07 c #Conflicts: 570000 | #Constraints: 50185 958.06/961.07 c #Conflicts: 571000 | #Constraints: 51185 958.06/961.07 c #Conflicts: 572000 | #Constraints: 52185 958.06/961.07 c #Conflicts: 573000 | #Constraints: 53185 958.06/961.07 c #Conflicts: 574000 | #Constraints: 54185 958.06/961.07 c #Conflicts: 575000 | #Constraints: 55185 958.06/961.07 c #Conflicts: 576000 | #Constraints: 56185 958.06/961.07 c #Conflicts: 577000 | #Constraints: 57185 958.06/961.07 c #Conflicts: 578000 | #Constraints: 58185 958.06/961.07 c #Conflicts: 579000 | #Constraints: 59185 958.06/961.07 c #Conflicts: 580000 | #Constraints: 60185 958.06/961.07 c INPROCESSING 958.06/961.07 c GARBAGE COLLECT 958.06/961.07 c rational objective 90 981.48/984.57 c #Conflicts: 581000 | #Constraints: 34236 981.48/984.57 c #Conflicts: 582000 | #Constraints: 35236 981.48/984.57 c #Conflicts: 583000 | #Constraints: 36236 981.48/984.57 c #Conflicts: 584000 | #Constraints: 37236 981.48/984.57 c #Conflicts: 585000 | #Constraints: 38236 981.48/984.57 c #Conflicts: 586000 | #Constraints: 39236 981.48/984.57 c #Conflicts: 587000 | #Constraints: 40236 981.48/984.57 c #Conflicts: 588000 | #Constraints: 41236 981.48/984.57 c #Conflicts: 589000 | #Constraints: 42236 981.48/984.57 c #Conflicts: 590000 | #Constraints: 43236 981.48/984.57 c #Conflicts: 591000 | #Constraints: 44236 981.48/984.57 c #Conflicts: 592000 | #Constraints: 45236 981.48/984.57 c #Conflicts: 593000 | #Constraints: 46236 981.48/984.57 c #Conflicts: 594000 | #Constraints: 47236 981.48/984.57 c #Conflicts: 595000 | #Constraints: 48236 981.48/984.57 c #Conflicts: 596000 | #Constraints: 49236 981.48/984.57 c #Conflicts: 597000 | #Constraints: 50236 981.48/984.57 c INPROCESSING 981.48/984.57 c GARBAGE COLLECT 981.48/984.57 c rational objective 90 1011.30/1014.47 c #Conflicts: 598000 | #Constraints: 29280 1011.30/1014.47 c #Conflicts: 599000 | #Constraints: 30280 1011.30/1014.47 c #Conflicts: 600000 | #Constraints: 31280 1011.30/1014.47 c #Conflicts: 601000 | #Constraints: 32280 1011.30/1014.47 c #Conflicts: 602000 | #Constraints: 33280 1011.30/1014.47 c #Conflicts: 603000 | #Constraints: 34281 1011.30/1014.47 c #Conflicts: 604000 | #Constraints: 35281 1011.30/1014.47 c #Conflicts: 605000 | #Constraints: 36281 1011.30/1014.47 c #Conflicts: 606000 | #Constraints: 37281 1011.30/1014.47 c #Conflicts: 607000 | #Constraints: 38281 1011.30/1014.47 c #Conflicts: 608000 | #Constraints: 39281 1011.30/1014.47 c #Conflicts: 609000 | #Constraints: 40281 1011.30/1014.47 c #Conflicts: 610000 | #Constraints: 41281 1011.30/1014.47 c #Conflicts: 611000 | #Constraints: 42281 1011.30/1014.47 c #Conflicts: 612000 | #Constraints: 43282 1011.30/1014.47 c #Conflicts: 613000 | #Constraints: 44282 1011.30/1014.47 c #Conflicts: 614000 | #Constraints: 45282 1011.30/1014.47 c #Conflicts: 615000 | #Constraints: 46282 1011.30/1014.47 c INPROCESSING 1011.30/1014.47 c GARBAGE COLLECT 1011.30/1014.47 c rational objective 90 1035.63/1038.89 c #Conflicts: 616000 | #Constraints: 27657 1035.63/1038.89 c #Conflicts: 617000 | #Constraints: 28657 1035.63/1038.89 c #Conflicts: 618000 | #Constraints: 29658 1035.63/1038.89 c #Conflicts: 619000 | #Constraints: 30658 1035.63/1038.89 c #Conflicts: 620000 | #Constraints: 31658 1035.63/1038.89 c #Conflicts: 621000 | #Constraints: 32658 1035.63/1038.89 c #Conflicts: 622000 | #Constraints: 33659 1035.63/1038.89 c #Conflicts: 623000 | #Constraints: 34659 1035.63/1038.89 c #Conflicts: 624000 | #Constraints: 35659 1035.63/1038.89 c #Conflicts: 625000 | #Constraints: 36660 1035.63/1038.89 c #Conflicts: 626000 | #Constraints: 37661 1035.63/1038.89 c #Conflicts: 627000 | #Constraints: 38661 1035.63/1038.89 c #Conflicts: 628000 | #Constraints: 39661 1035.63/1038.89 c #Conflicts: 629000 | #Constraints: 40661 1035.63/1038.89 c #Conflicts: 630000 | #Constraints: 41661 1035.63/1038.89 c #Conflicts: 631000 | #Constraints: 42661 1035.63/1038.89 c #Conflicts: 632000 | #Constraints: 43661 1035.63/1038.89 c INPROCESSING 1035.63/1038.89 c GARBAGE COLLECT 1035.63/1038.89 c rational objective 90 1172.33/1175.98 c #Conflicts: 633000 | #Constraints: 26155 1172.33/1175.98 c #Conflicts: 634000 | #Constraints: 27155 1172.33/1175.98 c #Conflicts: 635000 | #Constraints: 28156 1172.33/1175.98 c #Conflicts: 636000 | #Constraints: 29156 1172.33/1175.98 c #Conflicts: 637000 | #Constraints: 30156 1172.33/1175.98 c #Conflicts: 638000 | #Constraints: 31156 1172.33/1175.98 c #Conflicts: 639000 | #Constraints: 32156 1172.33/1175.98 c #Conflicts: 640000 | #Constraints: 33156 1172.33/1175.98 c #Conflicts: 641000 | #Constraints: 34156 1172.33/1175.98 c #Conflicts: 642000 | #Constraints: 35156 1172.33/1175.98 c #Conflicts: 643000 | #Constraints: 36156 1172.33/1175.98 c #Conflicts: 644000 | #Constraints: 37156 1172.33/1175.98 c #Conflicts: 645000 | #Constraints: 38156 1172.33/1175.98 c #Conflicts: 646000 | #Constraints: 39156 1172.33/1175.98 c #Conflicts: 647000 | #Constraints: 40156 1172.33/1175.98 c #Conflicts: 648000 | #Constraints: 41156 1172.33/1175.98 c #Conflicts: 649000 | #Constraints: 42156 1172.33/1175.98 c #Conflicts: 650000 | #Constraints: 43156 1172.33/1175.98 c #Conflicts: 651000 | #Constraints: 44156 1172.33/1175.98 c #Conflicts: 652000 | #Constraints: 45156 1172.33/1175.98 c #Conflicts: 653000 | #Constraints: 46156 1172.33/1175.98 c #Conflicts: 654000 | #Constraints: 47156 1172.33/1175.98 c #Conflicts: 655000 | #Constraints: 48156 1172.33/1175.98 c #Conflicts: 656000 | #Constraints: 49156 1172.33/1175.98 c #Conflicts: 657000 | #Constraints: 50156 1172.33/1175.98 c #Conflicts: 658000 | #Constraints: 51157 1172.33/1175.98 c #Conflicts: 659000 | #Constraints: 52157 1172.33/1175.98 c #Conflicts: 660000 | #Constraints: 53157 1172.33/1175.98 c #Conflicts: 661000 | #Constraints: 54157 1172.33/1175.98 c #Conflicts: 662000 | #Constraints: 55157 1172.33/1175.98 c #Conflicts: 663000 | #Constraints: 56157 1172.33/1175.98 c #Conflicts: 664000 | #Constraints: 57157 1172.33/1175.98 c #Conflicts: 665000 | #Constraints: 58157 1172.33/1175.98 c #Conflicts: 666000 | #Constraints: 59157 1172.33/1175.98 c #Conflicts: 667000 | #Constraints: 60157 1172.33/1175.98 c #Conflicts: 668000 | #Constraints: 61157 1172.33/1175.98 c #Conflicts: 669000 | #Constraints: 62157 1172.33/1175.98 c #Conflicts: 670000 | #Constraints: 63158 1172.33/1175.98 c #Conflicts: 671000 | #Constraints: 64158 1172.33/1175.98 c #Conflicts: 672000 | #Constraints: 65158 1172.33/1175.98 c #Conflicts: 673000 | #Constraints: 66158 1172.33/1175.98 c #Conflicts: 674000 | #Constraints: 67158 1172.33/1175.98 c #Conflicts: 675000 | #Constraints: 68158 1172.33/1175.98 c #Conflicts: 676000 | #Constraints: 69158 1172.33/1175.98 c #Conflicts: 677000 | #Constraints: 70158 1172.33/1175.98 c #Conflicts: 678000 | #Constraints: 71158 1172.33/1175.98 c #Conflicts: 679000 | #Constraints: 72158 1172.33/1175.98 c #Conflicts: 680000 | #Constraints: 73158 1172.33/1175.98 c #Conflicts: 681000 | #Constraints: 74158 1172.33/1175.98 c #Conflicts: 682000 | #Constraints: 75158 1172.33/1175.98 c #Conflicts: 683000 | #Constraints: 76158 1172.33/1175.98 c #Conflicts: 684000 | #Constraints: 77158 1172.33/1175.98 c #Conflicts: 685000 | #Constraints: 78158 1172.33/1175.98 c #Conflicts: 686000 | #Constraints: 79158 1172.33/1175.98 c #Conflicts: 687000 | #Constraints: 80158 1172.33/1175.98 c #Conflicts: 688000 | #Constraints: 81158 1172.33/1175.98 c #Conflicts: 689000 | #Constraints: 82159 1172.33/1175.98 c #Conflicts: 690000 | #Constraints: 83159 1172.33/1175.98 c #Conflicts: 691000 | #Constraints: 84159 1172.33/1175.98 c #Conflicts: 692000 | #Constraints: 85159 1172.33/1175.98 c #Conflicts: 693000 | #Constraints: 86159 1172.33/1175.98 c #Conflicts: 694000 | #Constraints: 87159 1172.33/1175.98 c #Conflicts: 695000 | #Constraints: 88159 1172.33/1175.98 c #Conflicts: 696000 | #Constraints: 89159 1172.33/1175.98 c INPROCESSING 1172.33/1175.98 c GARBAGE COLLECT 1172.33/1175.98 c rational objective 90 1207.94/1211.67 c #Conflicts: 697000 | #Constraints: 48741 1207.94/1211.67 c #Conflicts: 698000 | #Constraints: 49741 1207.94/1211.67 c #Conflicts: 699000 | #Constraints: 50741 1207.94/1211.67 c #Conflicts: 700000 | #Constraints: 51741 1207.94/1211.67 c #Conflicts: 701000 | #Constraints: 52741 1207.94/1211.67 c #Conflicts: 702000 | #Constraints: 53741 1207.94/1211.67 c #Conflicts: 703000 | #Constraints: 54741 1207.94/1211.67 c #Conflicts: 704000 | #Constraints: 55741 1207.94/1211.67 c #Conflicts: 705000 | #Constraints: 56741 1207.94/1211.67 c #Conflicts: 706000 | #Constraints: 57742 1207.94/1211.67 c #Conflicts: 707000 | #Constraints: 58742 1207.94/1211.67 c #Conflicts: 708000 | #Constraints: 59742 1207.94/1211.67 c #Conflicts: 709000 | #Constraints: 60743 1207.94/1211.67 c #Conflicts: 710000 | #Constraints: 61743 1207.94/1211.67 c #Conflicts: 711000 | #Constraints: 62743 1207.94/1211.67 c #Conflicts: 712000 | #Constraints: 63743 1207.94/1211.67 c #Conflicts: 713000 | #Constraints: 64744 1207.94/1211.67 c #Conflicts: 714000 | #Constraints: 65745 1207.94/1211.67 c #Conflicts: 715000 | #Constraints: 66745 1207.94/1211.67 c INPROCESSING 1207.94/1211.67 c GARBAGE COLLECT 1207.94/1211.67 c rational objective 90 1237.86/1241.64 c #Conflicts: 716000 | #Constraints: 37664 1237.86/1241.64 c #Conflicts: 717000 | #Constraints: 38664 1237.86/1241.64 c #Conflicts: 718000 | #Constraints: 39664 1237.86/1241.64 c #Conflicts: 719000 | #Constraints: 40666 1237.86/1241.64 c #Conflicts: 720000 | #Constraints: 41666 1237.86/1241.64 c #Conflicts: 721000 | #Constraints: 42666 1237.86/1241.64 c #Conflicts: 722000 | #Constraints: 43666 1237.86/1241.64 c #Conflicts: 723000 | #Constraints: 44666 1237.86/1241.64 c #Conflicts: 724000 | #Constraints: 45667 1237.86/1241.64 c #Conflicts: 725000 | #Constraints: 46667 1237.86/1241.64 c #Conflicts: 726000 | #Constraints: 47667 1237.86/1241.64 c #Conflicts: 727000 | #Constraints: 48667 1237.86/1241.64 c #Conflicts: 728000 | #Constraints: 49667 1237.86/1241.64 c #Conflicts: 729000 | #Constraints: 50667 1237.86/1241.64 c #Conflicts: 730000 | #Constraints: 51667 1237.86/1241.64 c #Conflicts: 731000 | #Constraints: 52667 1237.86/1241.64 c #Conflicts: 732000 | #Constraints: 53667 1237.86/1241.64 c #Conflicts: 733000 | #Constraints: 54667 1237.86/1241.64 c #Conflicts: 734000 | #Constraints: 55667 1237.86/1241.64 c INPROCESSING 1237.86/1241.64 c GARBAGE COLLECT 1237.86/1241.64 c rational objective 90 1274.66/1278.53 c #Conflicts: 735000 | #Constraints: 32207 1274.66/1278.53 c #Conflicts: 736000 | #Constraints: 33207 1274.66/1278.53 c #Conflicts: 737000 | #Constraints: 34207 1274.66/1278.53 c #Conflicts: 738000 | #Constraints: 35207 1274.66/1278.53 c #Conflicts: 739000 | #Constraints: 36207 1274.66/1278.53 c #Conflicts: 740000 | #Constraints: 37207 1274.66/1278.53 c #Conflicts: 741000 | #Constraints: 38207 1274.66/1278.53 c #Conflicts: 742000 | #Constraints: 39207 1274.66/1278.53 c #Conflicts: 743000 | #Constraints: 40207 1274.66/1278.53 c #Conflicts: 744000 | #Constraints: 41207 1274.66/1278.53 c #Conflicts: 745000 | #Constraints: 42207 1274.66/1278.53 c #Conflicts: 746000 | #Constraints: 43208 1274.66/1278.53 c #Conflicts: 747000 | #Constraints: 44208 1274.66/1278.53 c #Conflicts: 748000 | #Constraints: 45208 1274.66/1278.53 c #Conflicts: 749000 | #Constraints: 46208 1274.66/1278.53 c #Conflicts: 750000 | #Constraints: 47209 1274.66/1278.53 c #Conflicts: 751000 | #Constraints: 48209 1274.66/1278.53 c #Conflicts: 752000 | #Constraints: 49209 1274.66/1278.53 c #Conflicts: 753000 | #Constraints: 50210 1274.66/1278.53 c INPROCESSING 1274.66/1278.53 c GARBAGE COLLECT 1274.66/1278.53 c rational objective 90 1299.40/1303.34 c #Conflicts: 754000 | #Constraints: 29417 1299.40/1303.34 c #Conflicts: 755000 | #Constraints: 30417 1299.40/1303.34 c #Conflicts: 756000 | #Constraints: 31417 1299.40/1303.34 c #Conflicts: 757000 | #Constraints: 32417 1299.40/1303.34 c #Conflicts: 758000 | #Constraints: 33417 1299.40/1303.34 c #Conflicts: 759000 | #Constraints: 34417 1299.40/1303.34 c #Conflicts: 760000 | #Constraints: 35417 1299.40/1303.34 c #Conflicts: 761000 | #Constraints: 36417 1299.40/1303.34 c #Conflicts: 762000 | #Constraints: 37418 1299.40/1303.34 c #Conflicts: 763000 | #Constraints: 38418 1299.40/1303.34 c #Conflicts: 764000 | #Constraints: 39418 1299.40/1303.34 c #Conflicts: 765000 | #Constraints: 40418 1299.40/1303.34 c #Conflicts: 766000 | #Constraints: 41418 1299.40/1303.34 c #Conflicts: 767000 | #Constraints: 42418 1299.40/1303.34 c #Conflicts: 768000 | #Constraints: 43418 1299.40/1303.34 c #Conflicts: 769000 | #Constraints: 44418 1299.40/1303.34 c #Conflicts: 770000 | #Constraints: 45418 1299.40/1303.34 c #Conflicts: 771000 | #Constraints: 46418 1299.40/1303.34 c #Conflicts: 772000 | #Constraints: 47418 1299.40/1303.34 c INPROCESSING 1299.40/1303.34 c GARBAGE COLLECT 1299.40/1303.34 c rational objective 90 1460.08/1464.46 c #Conflicts: 773000 | #Constraints: 27823 1460.08/1464.46 c #Conflicts: 774000 | #Constraints: 28823 1460.08/1464.46 c #Conflicts: 775000 | #Constraints: 29824 1460.08/1464.46 c #Conflicts: 776000 | #Constraints: 30824 1460.08/1464.46 c #Conflicts: 777000 | #Constraints: 31825 1460.08/1464.46 c #Conflicts: 778000 | #Constraints: 32825 1460.08/1464.46 c #Conflicts: 779000 | #Constraints: 33825 1460.08/1464.46 c #Conflicts: 780000 | #Constraints: 34825 1460.08/1464.46 c #Conflicts: 781000 | #Constraints: 35825 1460.08/1464.46 c #Conflicts: 782000 | #Constraints: 36825 1460.08/1464.46 c #Conflicts: 783000 | #Constraints: 37825 1460.08/1464.46 c #Conflicts: 784000 | #Constraints: 38825 1460.08/1464.46 c #Conflicts: 785000 | #Constraints: 39825 1460.08/1464.46 c #Conflicts: 786000 | #Constraints: 40825 1460.08/1464.46 c #Conflicts: 787000 | #Constraints: 41825 1460.08/1464.46 c #Conflicts: 788000 | #Constraints: 42825 1460.08/1464.46 c #Conflicts: 789000 | #Constraints: 43825 1460.08/1464.46 c #Conflicts: 790000 | #Constraints: 44825 1460.08/1464.46 c #Conflicts: 791000 | #Constraints: 45825 1460.08/1464.46 c #Conflicts: 792000 | #Constraints: 46825 1460.08/1464.46 c #Conflicts: 793000 | #Constraints: 47826 1460.08/1464.46 c #Conflicts: 794000 | #Constraints: 48826 1460.08/1464.46 c #Conflicts: 795000 | #Constraints: 49826 1460.08/1464.46 c #Conflicts: 796000 | #Constraints: 50826 1460.08/1464.46 c #Conflicts: 797000 | #Constraints: 51826 1460.08/1464.46 c #Conflicts: 798000 | #Constraints: 52827 1460.08/1464.46 c #Conflicts: 799000 | #Constraints: 53827 1460.08/1464.46 c #Conflicts: 800000 | #Constraints: 54827 1460.08/1464.46 c #Conflicts: 801000 | #Constraints: 55827 1460.08/1464.46 c #Conflicts: 802000 | #Constraints: 56827 1460.08/1464.46 c #Conflicts: 803000 | #Constraints: 57828 1460.08/1464.46 c #Conflicts: 804000 | #Constraints: 58828 1460.08/1464.46 c #Conflicts: 805000 | #Constraints: 59828 1460.08/1464.46 c #Conflicts: 806000 | #Constraints: 60829 1460.08/1464.46 c #Conflicts: 807000 | #Constraints: 61829 1460.08/1464.46 c #Conflicts: 808000 | #Constraints: 62829 1460.08/1464.46 c #Conflicts: 809000 | #Constraints: 63829 1460.08/1464.46 c #Conflicts: 810000 | #Constraints: 64829 1460.08/1464.46 c #Conflicts: 811000 | #Constraints: 65829 1460.08/1464.46 c #Conflicts: 812000 | #Constraints: 66829 1460.08/1464.46 c #Conflicts: 813000 | #Constraints: 67829 1460.08/1464.46 c #Conflicts: 814000 | #Constraints: 68829 1460.08/1464.46 c #Conflicts: 815000 | #Constraints: 69829 1460.08/1464.46 c #Conflicts: 816000 | #Constraints: 70830 1460.08/1464.46 c #Conflicts: 817000 | #Constraints: 71830 1460.08/1464.46 c #Conflicts: 818000 | #Constraints: 72830 1460.08/1464.46 c #Conflicts: 819000 | #Constraints: 73830 1460.08/1464.46 c #Conflicts: 820000 | #Constraints: 74830 1460.08/1464.46 c #Conflicts: 821000 | #Constraints: 75830 1460.08/1464.46 c #Conflicts: 822000 | #Constraints: 76830 1460.08/1464.46 c #Conflicts: 823000 | #Constraints: 77830 1460.08/1464.46 c #Conflicts: 824000 | #Constraints: 78830 1460.08/1464.46 c #Conflicts: 825000 | #Constraints: 79830 1460.08/1464.46 c #Conflicts: 826000 | #Constraints: 80830 1460.08/1464.46 c #Conflicts: 827000 | #Constraints: 81831 1460.08/1464.46 c #Conflicts: 828000 | #Constraints: 82831 1460.08/1464.46 c #Conflicts: 829000 | #Constraints: 83831 1460.08/1464.46 c #Conflicts: 830000 | #Constraints: 84831 1460.08/1464.46 c #Conflicts: 831000 | #Constraints: 85831 1460.08/1464.46 c #Conflicts: 832000 | #Constraints: 86831 1460.08/1464.46 c #Conflicts: 833000 | #Constraints: 87831 1460.08/1464.46 c #Conflicts: 834000 | #Constraints: 88831 1460.08/1464.46 c #Conflicts: 835000 | #Constraints: 89831 1460.08/1464.46 c #Conflicts: 836000 | #Constraints: 90831 1460.08/1464.46 c #Conflicts: 837000 | #Constraints: 91831 1460.08/1464.46 c #Conflicts: 838000 | #Constraints: 92831 1460.08/1464.46 c #Conflicts: 839000 | #Constraints: 93832 1460.08/1464.46 c #Conflicts: 840000 | #Constraints: 94832 1460.08/1464.46 c #Conflicts: 841000 | #Constraints: 95832 1460.08/1464.46 c #Conflicts: 842000 | #Constraints: 96832 1460.08/1464.46 c #Conflicts: 843000 | #Constraints: 97832 1460.08/1464.46 c INPROCESSING 1460.08/1464.46 c GARBAGE COLLECT 1460.08/1464.46 c rational objective 90 1504.17/1508.67 c #Conflicts: 844000 | #Constraints: 53193 1504.17/1508.67 c #Conflicts: 845000 | #Constraints: 54193 1504.17/1508.67 c #Conflicts: 846000 | #Constraints: 55193 1504.17/1508.67 c #Conflicts: 847000 | #Constraints: 56193 1504.17/1508.67 c #Conflicts: 848000 | #Constraints: 57193 1504.17/1508.67 c #Conflicts: 849000 | #Constraints: 58193 1504.17/1508.67 c #Conflicts: 850000 | #Constraints: 59193 1504.17/1508.67 c #Conflicts: 851000 | #Constraints: 60193 1504.17/1508.67 c #Conflicts: 852000 | #Constraints: 61196 1504.17/1508.67 c #Conflicts: 853000 | #Constraints: 62196 1504.17/1508.67 c #Conflicts: 854000 | #Constraints: 63197 1504.17/1508.67 c #Conflicts: 855000 | #Constraints: 64198 1504.17/1508.67 c #Conflicts: 856000 | #Constraints: 65198 1504.17/1508.67 c #Conflicts: 857000 | #Constraints: 66198 1504.17/1508.67 c #Conflicts: 858000 | #Constraints: 67198 1504.17/1508.67 c #Conflicts: 859000 | #Constraints: 68198 1504.17/1508.67 c #Conflicts: 860000 | #Constraints: 69198 1504.17/1508.67 c #Conflicts: 861000 | #Constraints: 70198 1504.17/1508.67 c #Conflicts: 862000 | #Constraints: 71198 1504.17/1508.67 c #Conflicts: 863000 | #Constraints: 72198 1504.17/1508.67 c #Conflicts: 864000 | #Constraints: 73198 1504.17/1508.67 c INPROCESSING 1504.17/1508.67 c GARBAGE COLLECT 1504.17/1508.67 c rational objective 90 1542.17/1546.74 c #Conflicts: 865000 | #Constraints: 41014 1542.17/1546.74 c #Conflicts: 866000 | #Constraints: 42014 1542.17/1546.74 c #Conflicts: 867000 | #Constraints: 43015 1542.17/1546.74 c #Conflicts: 868000 | #Constraints: 44015 1542.17/1546.74 c #Conflicts: 869000 | #Constraints: 45015 1542.17/1546.74 c #Conflicts: 870000 | #Constraints: 46015 1542.17/1546.74 c #Conflicts: 871000 | #Constraints: 47016 1542.17/1546.74 c #Conflicts: 872000 | #Constraints: 48016 1542.17/1546.74 c #Conflicts: 873000 | #Constraints: 49016 1542.17/1546.74 c #Conflicts: 874000 | #Constraints: 50016 1542.17/1546.74 c #Conflicts: 875000 | #Constraints: 51016 1542.17/1546.74 c #Conflicts: 876000 | #Constraints: 52016 1542.17/1546.74 c #Conflicts: 877000 | #Constraints: 53016 1542.17/1546.74 c #Conflicts: 878000 | #Constraints: 54016 1542.17/1546.74 c #Conflicts: 879000 | #Constraints: 55016 1542.17/1546.74 c #Conflicts: 880000 | #Constraints: 56016 1542.17/1546.74 c #Conflicts: 881000 | #Constraints: 57017 1542.17/1546.74 c #Conflicts: 882000 | #Constraints: 58017 1542.17/1546.74 c #Conflicts: 883000 | #Constraints: 59017 1542.17/1546.74 c #Conflicts: 884000 | #Constraints: 60017 1542.17/1546.74 c #Conflicts: 885000 | #Constraints: 61017 1542.17/1546.74 c INPROCESSING 1542.17/1546.74 c GARBAGE COLLECT 1542.17/1546.74 c rational objective 90 1576.28/1581.00 c #Conflicts: 886000 | #Constraints: 35019 1576.28/1581.00 c #Conflicts: 887000 | #Constraints: 36019 1576.28/1581.00 c #Conflicts: 888000 | #Constraints: 37019 1576.28/1581.00 c #Conflicts: 889000 | #Constraints: 38019 1576.28/1581.00 c #Conflicts: 890000 | #Constraints: 39019 1576.28/1581.00 c #Conflicts: 891000 | #Constraints: 40019 1576.28/1581.00 c #Conflicts: 892000 | #Constraints: 41019 1576.28/1581.00 c #Conflicts: 893000 | #Constraints: 42021 1576.28/1581.00 c #Conflicts: 894000 | #Constraints: 43022 1576.28/1581.00 c #Conflicts: 895000 | #Constraints: 44023 1576.28/1581.00 c #Conflicts: 896000 | #Constraints: 45023 1576.28/1581.00 c #Conflicts: 897000 | #Constraints: 46023 1576.28/1581.00 c #Conflicts: 898000 | #Constraints: 47023 1576.28/1581.00 c #Conflicts: 899000 | #Constraints: 48023 1576.28/1581.00 c #Conflicts: 900000 | #Constraints: 49023 1576.28/1581.00 c #Conflicts: 901000 | #Constraints: 50023 1576.28/1581.00 c #Conflicts: 902000 | #Constraints: 51023 1576.28/1581.00 c #Conflicts: 903000 | #Constraints: 52023 1576.28/1581.00 c #Conflicts: 904000 | #Constraints: 53024 1576.28/1581.00 c #Conflicts: 905000 | #Constraints: 54024 1576.28/1581.00 c #Conflicts: 906000 | #Constraints: 55024 1576.28/1581.00 c INPROCESSING 1576.28/1581.00 c GARBAGE COLLECT 1576.28/1581.00 c rational objective 90 1606.81/1611.51 c #Conflicts: 907000 | #Constraints: 32065 1606.81/1611.51 c #Conflicts: 908000 | #Constraints: 33065 1606.81/1611.51 c #Conflicts: 909000 | #Constraints: 34065 1606.81/1611.51 c #Conflicts: 910000 | #Constraints: 35065 1606.81/1611.51 c #Conflicts: 911000 | #Constraints: 36065 1606.81/1611.51 c #Conflicts: 912000 | #Constraints: 37065 1606.81/1611.51 c #Conflicts: 913000 | #Constraints: 38065 1606.81/1611.51 c #Conflicts: 914000 | #Constraints: 39065 1606.81/1611.51 c #Conflicts: 915000 | #Constraints: 40065 1606.81/1611.51 c #Conflicts: 916000 | #Constraints: 41065 1606.81/1611.51 c #Conflicts: 917000 | #Constraints: 42065 1606.81/1611.51 c #Conflicts: 918000 | #Constraints: 43066 1606.81/1611.51 c #Conflicts: 919000 | #Constraints: 44066 1606.81/1611.51 c #Conflicts: 920000 | #Constraints: 45066 1606.81/1611.51 c #Conflicts: 921000 | #Constraints: 46066 1606.81/1611.51 c #Conflicts: 922000 | #Constraints: 47066 1606.81/1611.51 c #Conflicts: 923000 | #Constraints: 48066 1606.81/1611.51 c #Conflicts: 924000 | #Constraints: 49067 1606.81/1611.51 c #Conflicts: 925000 | #Constraints: 50067 1606.81/1611.51 c #Conflicts: 926000 | #Constraints: 51067 1606.81/1611.51 c #Conflicts: 927000 | #Constraints: 52067 1606.81/1611.51 c INPROCESSING 1606.81/1611.51 c GARBAGE COLLECT 1606.81/1611.51 c rational objective 90 1790.02/1795.29 c #Conflicts: 928000 | #Constraints: 30509 1790.02/1795.29 c #Conflicts: 929000 | #Constraints: 31509 1790.02/1795.29 c #Conflicts: 930000 | #Constraints: 32509 1790.02/1795.29 c #Conflicts: 931000 | #Constraints: 33509 1790.02/1795.29 c #Conflicts: 932000 | #Constraints: 34509 1790.02/1795.29 c #Conflicts: 933000 | #Constraints: 35509 1790.02/1795.29 c #Conflicts: 934000 | #Constraints: 36509 1790.02/1795.29 c #Conflicts: 935000 | #Constraints: 37509 1790.02/1795.29 c #Conflicts: 936000 | #Constraints: 38509 1790.02/1795.29 c #Conflicts: 937000 | #Constraints: 39510 1790.02/1795.29 c #Conflicts: 938000 | #Constraints: 40510 1790.02/1795.29 c #Conflicts: 939000 | #Constraints: 41510 1790.02/1795.29 c #Conflicts: 940000 | #Constraints: 42510 1790.02/1795.29 c #Conflicts: 941000 | #Constraints: 43510 1790.02/1795.29 c #Conflicts: 942000 | #Constraints: 44510 1790.02/1795.29 c #Conflicts: 943000 | #Constraints: 45510 1790.02/1795.29 c #Conflicts: 944000 | #Constraints: 46510 1790.02/1795.29 c #Conflicts: 945000 | #Constraints: 47510 1790.02/1795.29 c #Conflicts: 946000 | #Constraints: 48510 1790.02/1795.29 c #Conflicts: 947000 | #Constraints: 49510 1790.02/1795.29 c #Conflicts: 948000 | #Constraints: 50510 1790.02/1795.29 c #Conflicts: 949000 | #Constraints: 51510 1790.02/1795.29 c #Conflicts: 950000 | #Constraints: 52510 1790.02/1795.29 c #Conflicts: 951000 | #Constraints: 53510 1790.02/1795.29 c #Conflicts: 952000 | #Constraints: 54511 1790.02/1795.29 c #Conflicts: 953000 | #Constraints: 55511 1790.02/1795.29 c #Conflicts: 954000 | #Constraints: 56511 1790.02/1795.29 c #Conflicts: 955000 | #Constraints: 57511 1790.02/1795.29 c #Conflicts: 956000 | #Constraints: 58511 1790.02/1795.29 c #Conflicts: 957000 | #Constraints: 59511 1790.02/1795.29 c #Conflicts: 958000 | #Constraints: 60511 1790.02/1795.29 c #Conflicts: 959000 | #Constraints: 61511 1790.02/1795.29 c #Conflicts: 960000 | #Constraints: 62511 1790.02/1795.29 c #Conflicts: 961000 | #Constraints: 63512 1790.02/1795.29 c #Conflicts: 962000 | #Constraints: 64512 1790.02/1795.29 c #Conflicts: 963000 | #Constraints: 65512 1790.02/1795.29 c #Conflicts: 964000 | #Constraints: 66512 1790.02/1795.29 c #Conflicts: 965000 | #Constraints: 67512 1790.02/1795.29 c #Conflicts: 966000 | #Constraints: 68512 1790.02/1795.29 c #Conflicts: 967000 | #Constraints: 69512 1790.02/1795.29 c #Conflicts: 968000 | #Constraints: 70512 1790.02/1795.29 c #Conflicts: 969000 | #Constraints: 71512 1790.02/1795.29 c #Conflicts: 970000 | #Constraints: 72512 1790.02/1795.29 c #Conflicts: 971000 | #Constraints: 73512 1790.02/1795.29 c #Conflicts: 972000 | #Constraints: 74512 1790.02/1795.29 c #Conflicts: 973000 | #Constraints: 75512 1790.02/1795.29 c #Conflicts: 974000 | #Constraints: 76512 1790.02/1795.29 c #Conflicts: 975000 | #Constraints: 77512 1790.02/1795.29 c #Conflicts: 976000 | #Constraints: 78512 1790.02/1795.29 c #Conflicts: 977000 | #Constraints: 79512 1790.02/1795.29 c #Conflicts: 978000 | #Constraints: 80512 1790.02/1795.29 c #Conflicts: 979000 | #Constraints: 81512 1790.02/1795.29 c #Conflicts: 980000 | #Constraints: 82512 1790.02/1795.29 c #Conflicts: 981000 | #Constraints: 83512 1790.02/1795.29 c #Conflicts: 982000 | #Constraints: 84512 1790.02/1795.29 c #Conflicts: 983000 | #Constraints: 85512 1790.02/1795.29 c #Conflicts: 984000 | #Constraints: 86512 1790.02/1795.29 c #Conflicts: 985000 | #Constraints: 87512 1790.02/1795.29 c #Conflicts: 986000 | #Constraints: 88512 1790.02/1795.29 c #Conflicts: 987000 | #Constraints: 89512 1790.02/1795.29 c #Conflicts: 988000 | #Constraints: 90512 1790.02/1795.29 c #Conflicts: 989000 | #Constraints: 91512 1790.02/1795.29 c #Conflicts: 990000 | #Constraints: 92512 1790.02/1795.29 c #Conflicts: 991000 | #Constraints: 93512 1790.02/1795.29 c #Conflicts: 992000 | #Constraints: 94512 1790.02/1795.29 c #Conflicts: 993000 | #Constraints: 95512 1790.02/1795.29 c #Conflicts: 994000 | #Constraints: 96512 1790.02/1795.29 c #Conflicts: 995000 | #Constraints: 97512 1790.02/1795.29 c #Conflicts: 996000 | #Constraints: 98512 1790.02/1795.29 c #Conflicts: 997000 | #Constraints: 99512 1790.02/1795.29 c #Conflicts: 998000 | #Constraints: 100512 1790.02/1795.29 c #Conflicts: 999000 | #Constraints: 101512 1790.02/1795.29 c #Conflicts: 1000000 | #Constraints: 102512 1790.02/1795.29 c #Conflicts: 1001000 | #Constraints: 103512 1790.02/1795.29 c #Conflicts: 1002000 | #Constraints: 104512 1790.02/1795.29 c #Conflicts: 1003000 | #Constraints: 105512 1790.02/1795.29 c #Conflicts: 1004000 | #Constraints: 106512 1790.02/1795.29 c INPROCESSING 1790.02/1795.29 c GARBAGE COLLECT 1790.02/1795.29 c rational objective 90 1840.39/1845.73 c #Conflicts: 1005000 | #Constraints: 57627 1840.39/1845.73 c #Conflicts: 1006000 | #Constraints: 58627 1840.39/1845.73 c #Conflicts: 1007000 | #Constraints: 59628 1840.39/1845.73 c #Conflicts: 1008000 | #Constraints: 60628 1840.39/1845.73 c #Conflicts: 1009000 | #Constraints: 61628 1840.39/1845.73 c #Conflicts: 1010000 | #Constraints: 62628 1840.39/1845.73 c #Conflicts: 1011000 | #Constraints: 63628 1840.39/1845.73 c #Conflicts: 1012000 | #Constraints: 64628 1840.39/1845.73 c #Conflicts: 1013000 | #Constraints: 65628 1840.39/1845.73 c #Conflicts: 1014000 | #Constraints: 66628 1840.39/1845.73 c #Conflicts: 1015000 | #Constraints: 67628 1840.39/1845.73 c #Conflicts: 1016000 | #Constraints: 68628 1840.39/1845.73 c #Conflicts: 1017000 | #Constraints: 69628 1840.39/1845.73 c #Conflicts: 1018000 | #Constraints: 70628 1840.39/1845.73 c #Conflicts: 1019000 | #Constraints: 71629 1840.39/1845.73 c #Conflicts: 1020000 | #Constraints: 72629 1840.39/1845.73 c #Conflicts: 1021000 | #Constraints: 73629 1840.39/1845.73 c #Conflicts: 1022000 | #Constraints: 74629 1840.39/1845.73 c #Conflicts: 1023000 | #Constraints: 75629 1840.39/1845.73 c #Conflicts: 1024000 | #Constraints: 76629 1840.39/1845.73 c #Conflicts: 1025000 | #Constraints: 77629 1840.39/1845.73 c #Conflicts: 1026000 | #Constraints: 78629 1840.39/1845.73 c INPROCESSING 1840.39/1845.73 c GARBAGE COLLECT 1840.39/1845.73 c rational objective 90 1879.08/1884.54 c #Conflicts: 1027000 | #Constraints: 43444 1879.08/1884.54 c #Conflicts: 1028000 | #Constraints: 44444 1879.08/1884.54 c #Conflicts: 1029000 | #Constraints: 45444 1879.08/1884.54 c #Conflicts: 1030000 | #Constraints: 46444 1879.08/1884.54 c #Conflicts: 1031000 | #Constraints: 47444 1879.08/1884.54 c #Conflicts: 1032000 | #Constraints: 48444 1879.08/1884.54 c #Conflicts: 1033000 | #Constraints: 49444 1879.08/1884.54 c #Conflicts: 1034000 | #Constraints: 50444 1879.08/1884.54 c #Conflicts: 1035000 | #Constraints: 51444 1879.08/1884.54 c #Conflicts: 1036000 | #Constraints: 52444 1879.08/1884.54 c #Conflicts: 1037000 | #Constraints: 53444 1879.08/1884.54 c #Conflicts: 1038000 | #Constraints: 54444 1879.08/1884.54 c #Conflicts: 1039000 | #Constraints: 55445 1879.08/1884.54 c #Conflicts: 1040000 | #Constraints: 56445 1879.08/1884.54 c #Conflicts: 1041000 | #Constraints: 57445 1879.08/1884.54 c #Conflicts: 1042000 | #Constraints: 58445 1879.08/1884.54 c #Conflicts: 1043000 | #Constraints: 59445 1879.08/1884.54 c #Conflicts: 1044000 | #Constraints: 60445 1879.08/1884.54 c #Conflicts: 1045000 | #Constraints: 61445 1879.08/1884.54 c #Conflicts: 1046000 | #Constraints: 62445 1879.08/1884.54 c #Conflicts: 1047000 | #Constraints: 63445 1879.08/1884.54 c #Conflicts: 1048000 | #Constraints: 64445 1879.08/1884.54 c #Conflicts: 1049000 | #Constraints: 65445 1879.08/1884.54 c INPROCESSING 1879.08/1884.54 c GARBAGE COLLECT 1879.08/1884.54 c rational objective 90 1914.79/1920.39 c #Conflicts: 1050000 | #Constraints: 37002 1914.79/1920.39 c #Conflicts: 1051000 | #Constraints: 38002 1914.79/1920.39 c #Conflicts: 1052000 | #Constraints: 39002 1914.79/1920.39 c #Conflicts: 1053000 | #Constraints: 40004 1914.79/1920.39 c #Conflicts: 1054000 | #Constraints: 41004 1914.79/1920.39 c #Conflicts: 1055000 | #Constraints: 42004 1914.79/1920.39 c #Conflicts: 1056000 | #Constraints: 43004 1914.79/1920.39 c #Conflicts: 1057000 | #Constraints: 44004 1914.79/1920.39 c #Conflicts: 1058000 | #Constraints: 45004 1914.79/1920.39 c #Conflicts: 1059000 | #Constraints: 46004 1914.79/1920.39 c #Conflicts: 1060000 | #Constraints: 47004 1914.79/1920.39 c #Conflicts: 1061000 | #Constraints: 48004 1914.79/1920.39 c #Conflicts: 1062000 | #Constraints: 49004 1914.79/1920.39 c #Conflicts: 1063000 | #Constraints: 50004 1914.79/1920.39 c #Conflicts: 1064000 | #Constraints: 51005 1914.79/1920.39 c #Conflicts: 1065000 | #Constraints: 52005 1914.79/1920.39 c #Conflicts: 1066000 | #Constraints: 53005 1914.79/1920.39 c #Conflicts: 1067000 | #Constraints: 54005 1914.79/1920.39 c #Conflicts: 1068000 | #Constraints: 55005 1914.79/1920.39 c #Conflicts: 1069000 | #Constraints: 56005 1914.79/1920.39 c #Conflicts: 1070000 | #Constraints: 57005 1914.79/1920.39 c #Conflicts: 1071000 | #Constraints: 58005 1914.79/1920.39 c #Conflicts: 1072000 | #Constraints: 59005 1914.79/1920.39 c INPROCESSING 1914.79/1920.39 c GARBAGE COLLECT 1914.79/1920.39 c rational objective 90 1971.03/1976.77 c #Conflicts: 1073000 | #Constraints: 33849 1971.03/1976.77 c #Conflicts: 1074000 | #Constraints: 34849 1971.03/1976.77 c #Conflicts: 1075000 | #Constraints: 35849 1971.03/1976.77 c #Conflicts: 1076000 | #Constraints: 36849 1971.03/1976.77 c #Conflicts: 1077000 | #Constraints: 37849 1971.03/1976.77 c #Conflicts: 1078000 | #Constraints: 38849 1971.03/1976.77 c #Conflicts: 1079000 | #Constraints: 39849 1971.03/1976.77 c #Conflicts: 1080000 | #Constraints: 40849 1971.03/1976.77 c #Conflicts: 1081000 | #Constraints: 41849 1971.03/1976.77 c #Conflicts: 1082000 | #Constraints: 42849 1971.03/1976.77 c #Conflicts: 1083000 | #Constraints: 43849 1971.03/1976.77 c #Conflicts: 1084000 | #Constraints: 44849 1971.03/1976.77 c #Conflicts: 1085000 | #Constraints: 45849 1971.03/1976.77 c #Conflicts: 1086000 | #Constraints: 46849 1971.03/1976.77 c #Conflicts: 1087000 | #Constraints: 47849 1971.03/1976.77 c #Conflicts: 1088000 | #Constraints: 48850 1971.03/1976.77 c #Conflicts: 1089000 | #Constraints: 49850 1971.03/1976.77 c #Conflicts: 1090000 | #Constraints: 50850 1971.03/1976.77 c #Conflicts: 1091000 | #Constraints: 51850 1971.03/1976.77 c #Conflicts: 1092000 | #Constraints: 52850 1971.03/1976.77 c #Conflicts: 1093000 | #Constraints: 53851 1971.03/1976.77 c #Conflicts: 1094000 | #Constraints: 54851 1971.03/1976.77 c #Conflicts: 1095000 | #Constraints: 55851 1971.03/1976.77 c INPROCESSING 1971.03/1976.77 c GARBAGE COLLECT 1971.03/1976.77 c rational objective 90 2188.75/2195.02 c #Conflicts: 1096000 | #Constraints: 32255 2188.75/2195.02 c #Conflicts: 1097000 | #Constraints: 33255 2188.75/2195.02 c #Conflicts: 1098000 | #Constraints: 34256 2188.75/2195.02 c #Conflicts: 1099000 | #Constraints: 35256 2188.75/2195.02 c #Conflicts: 1100000 | #Constraints: 36256 2188.75/2195.02 c #Conflicts: 1101000 | #Constraints: 37257 2188.75/2195.02 c #Conflicts: 1102000 | #Constraints: 38257 2188.75/2195.02 c #Conflicts: 1103000 | #Constraints: 39257 2188.75/2195.02 c #Conflicts: 1104000 | #Constraints: 40258 2188.75/2195.02 c #Conflicts: 1105000 | #Constraints: 41258 2188.75/2195.02 c #Conflicts: 1106000 | #Constraints: 42258 2188.75/2195.02 c #Conflicts: 1107000 | #Constraints: 43258 2188.75/2195.02 c #Conflicts: 1108000 | #Constraints: 44258 2188.75/2195.02 c #Conflicts: 1109000 | #Constraints: 45258 2188.75/2195.02 c #Conflicts: 1110000 | #Constraints: 46258 2188.75/2195.02 c #Conflicts: 1111000 | #Constraints: 47258 2188.75/2195.02 c #Conflicts: 1112000 | #Constraints: 48258 2188.75/2195.02 c #Conflicts: 1113000 | #Constraints: 49258 2188.75/2195.02 c #Conflicts: 1114000 | #Constraints: 50258 2188.75/2195.02 c #Conflicts: 1115000 | #Constraints: 51258 2188.75/2195.02 c #Conflicts: 1116000 | #Constraints: 52258 2188.75/2195.02 c #Conflicts: 1117000 | #Constraints: 53258 2188.75/2195.02 c #Conflicts: 1118000 | #Constraints: 54258 2188.75/2195.02 c #Conflicts: 1119000 | #Constraints: 55258 2188.75/2195.02 c #Conflicts: 1120000 | #Constraints: 56258 2188.75/2195.02 c #Conflicts: 1121000 | #Constraints: 57258 2188.75/2195.02 c #Conflicts: 1122000 | #Constraints: 58258 2188.75/2195.02 c #Conflicts: 1123000 | #Constraints: 59258 2188.75/2195.02 c #Conflicts: 1124000 | #Constraints: 60258 2188.75/2195.02 c #Conflicts: 1125000 | #Constraints: 61258 2188.75/2195.02 c #Conflicts: 1126000 | #Constraints: 62258 2188.75/2195.02 c #Conflicts: 1127000 | #Constraints: 63258 2188.75/2195.02 c #Conflicts: 1128000 | #Constraints: 64258 2188.75/2195.02 c #Conflicts: 1129000 | #Constraints: 65258 2188.75/2195.02 c #Conflicts: 1130000 | #Constraints: 66258 2188.75/2195.02 c #Conflicts: 1131000 | #Constraints: 67258 2188.75/2195.02 c #Conflicts: 1132000 | #Constraints: 68258 2188.75/2195.02 c #Conflicts: 1133000 | #Constraints: 69258 2188.75/2195.02 c #Conflicts: 1134000 | #Constraints: 70258 2188.75/2195.02 c #Conflicts: 1135000 | #Constraints: 71258 2188.75/2195.02 c #Conflicts: 1136000 | #Constraints: 72258 2188.75/2195.02 c #Conflicts: 1137000 | #Constraints: 73258 2188.75/2195.02 c #Conflicts: 1138000 | #Constraints: 74258 2188.75/2195.02 c #Conflicts: 1139000 | #Constraints: 75258 2188.75/2195.02 c #Conflicts: 1140000 | #Constraints: 76258 2188.75/2195.02 c #Conflicts: 1141000 | #Constraints: 77258 2188.75/2195.02 c #Conflicts: 1142000 | #Constraints: 78258 2188.75/2195.02 c #Conflicts: 1143000 | #Constraints: 79259 2188.75/2195.02 c #Conflicts: 1144000 | #Constraints: 80259 2188.75/2195.02 c #Conflicts: 1145000 | #Constraints: 81259 2188.75/2195.02 c #Conflicts: 1146000 | #Constraints: 82260 2188.75/2195.02 c #Conflicts: 1147000 | #Constraints: 83260 2188.75/2195.02 c #Conflicts: 1148000 | #Constraints: 84260 2188.75/2195.02 c #Conflicts: 1149000 | #Constraints: 85260 2188.75/2195.02 c #Conflicts: 1150000 | #Constraints: 86260 2188.75/2195.02 c #Conflicts: 1151000 | #Constraints: 87260 2188.75/2195.02 c #Conflicts: 1152000 | #Constraints: 88260 2188.75/2195.02 c #Conflicts: 1153000 | #Constraints: 89261 2188.75/2195.02 c #Conflicts: 1154000 | #Constraints: 90261 2188.75/2195.02 c #Conflicts: 1155000 | #Constraints: 91261 2188.75/2195.02 c #Conflicts: 1156000 | #Constraints: 92261 2188.75/2195.02 c #Conflicts: 1157000 | #Constraints: 93261 2188.75/2195.02 c #Conflicts: 1158000 | #Constraints: 94261 2188.75/2195.02 c #Conflicts: 1159000 | #Constraints: 95261 2188.75/2195.02 c #Conflicts: 1160000 | #Constraints: 96261 2188.75/2195.02 c #Conflicts: 1161000 | #Constraints: 97261 2188.75/2195.02 c #Conflicts: 1162000 | #Constraints: 98261 2188.75/2195.02 c #Conflicts: 1163000 | #Constraints: 99261 2188.75/2195.02 c #Conflicts: 1164000 | #Constraints: 100261 2188.75/2195.02 c #Conflicts: 1165000 | #Constraints: 101261 2188.75/2195.02 c #Conflicts: 1166000 | #Constraints: 102261 2188.75/2195.02 c #Conflicts: 1167000 | #Constraints: 103262 2188.75/2195.02 c #Conflicts: 1168000 | #Constraints: 104262 2188.75/2195.02 c #Conflicts: 1169000 | #Constraints: 105262 2188.75/2195.02 c #Conflicts: 1170000 | #Constraints: 106262 2188.75/2195.02 c #Conflicts: 1171000 | #Constraints: 107262 2188.75/2195.02 c #Conflicts: 1172000 | #Constraints: 108262 2188.75/2195.02 c #Conflicts: 1173000 | #Constraints: 109262 2188.75/2195.02 c #Conflicts: 1174000 | #Constraints: 110262 2212.68/2219.10 c #Conflicts: 1175000 | #Constraints: 111262 2212.68/2219.10 c #Conflicts: 1176000 | #Constraints: 112262 2212.68/2219.10 c #Conflicts: 1177000 | #Constraints: 113262 2212.68/2219.10 c #Conflicts: 1178000 | #Constraints: 114262 2212.68/2219.10 c #Conflicts: 1179000 | #Constraints: 115262 2212.68/2219.10 c INPROCESSING 2212.68/2219.10 c GARBAGE COLLECT 2212.68/2219.10 c rational objective 90 2271.20/2277.77 c #Conflicts: 1180000 | #Constraints: 62048 2271.20/2277.77 c #Conflicts: 1181000 | #Constraints: 63048 2271.20/2277.77 c #Conflicts: 1182000 | #Constraints: 64048 2271.20/2277.77 c #Conflicts: 1183000 | #Constraints: 65048 2271.20/2277.77 c #Conflicts: 1184000 | #Constraints: 66048 2271.20/2277.77 c #Conflicts: 1185000 | #Constraints: 67049 2271.20/2277.77 c #Conflicts: 1186000 | #Constraints: 68050 2271.20/2277.77 c #Conflicts: 1187000 | #Constraints: 69050 2271.20/2277.77 c #Conflicts: 1188000 | #Constraints: 70050 2271.20/2277.77 c #Conflicts: 1189000 | #Constraints: 71051 2271.20/2277.77 c #Conflicts: 1190000 | #Constraints: 72051 2271.20/2277.77 c #Conflicts: 1191000 | #Constraints: 73051 2271.20/2277.77 c #Conflicts: 1192000 | #Constraints: 74051 2271.20/2277.77 c #Conflicts: 1193000 | #Constraints: 75051 2271.20/2277.77 c #Conflicts: 1194000 | #Constraints: 76051 2271.20/2277.77 c #Conflicts: 1195000 | #Constraints: 77051 2271.20/2277.77 c #Conflicts: 1196000 | #Constraints: 78051 2271.20/2277.77 c #Conflicts: 1197000 | #Constraints: 79051 2271.20/2277.77 c #Conflicts: 1198000 | #Constraints: 80051 2271.20/2277.77 c #Conflicts: 1199000 | #Constraints: 81051 2271.20/2277.77 c #Conflicts: 1200000 | #Constraints: 82051 2271.20/2277.77 c #Conflicts: 1201000 | #Constraints: 83051 2271.20/2277.77 c #Conflicts: 1202000 | #Constraints: 84051 2271.20/2277.77 c #Conflicts: 1203000 | #Constraints: 85051 2271.20/2277.77 c INPROCESSING 2271.20/2277.77 c GARBAGE COLLECT 2271.20/2277.77 c rational objective 90 2315.69/2322.36 c #Conflicts: 1204000 | #Constraints: 46807 2315.69/2322.36 c #Conflicts: 1205000 | #Constraints: 47808 2315.69/2322.36 c #Conflicts: 1206000 | #Constraints: 48809 2315.69/2322.36 c #Conflicts: 1207000 | #Constraints: 49809 2315.69/2322.36 c #Conflicts: 1208000 | #Constraints: 50809 2315.69/2322.36 c #Conflicts: 1209000 | #Constraints: 51810 2315.69/2322.36 c #Conflicts: 1210000 | #Constraints: 52810 2315.69/2322.36 c #Conflicts: 1211000 | #Constraints: 53810 2315.69/2322.36 c #Conflicts: 1212000 | #Constraints: 54810 2315.69/2322.36 c #Conflicts: 1213000 | #Constraints: 55810 2315.69/2322.36 c #Conflicts: 1214000 | #Constraints: 56810 2315.69/2322.36 c #Conflicts: 1215000 | #Constraints: 57810 2315.69/2322.36 c #Conflicts: 1216000 | #Constraints: 58810 2315.69/2322.36 c #Conflicts: 1217000 | #Constraints: 59811 2315.69/2322.36 c #Conflicts: 1218000 | #Constraints: 60811 2315.69/2322.36 c #Conflicts: 1219000 | #Constraints: 61811 2315.69/2322.36 c #Conflicts: 1220000 | #Constraints: 62811 2315.69/2322.36 c #Conflicts: 1221000 | #Constraints: 63811 2315.69/2322.36 c #Conflicts: 1222000 | #Constraints: 64811 2315.69/2322.36 c #Conflicts: 1223000 | #Constraints: 65811 2315.69/2322.36 c #Conflicts: 1224000 | #Constraints: 66811 2315.69/2322.36 c #Conflicts: 1225000 | #Constraints: 67811 2315.69/2322.36 c #Conflicts: 1226000 | #Constraints: 68811 2315.69/2322.36 c #Conflicts: 1227000 | #Constraints: 69811 2315.69/2322.36 c #Conflicts: 1228000 | #Constraints: 70811 2315.69/2322.36 c INPROCESSING 2315.69/2322.36 c GARBAGE COLLECT 2315.69/2322.36 c rational objective 90 2354.68/2361.45 c #Conflicts: 1229000 | #Constraints: 39858 2354.68/2361.45 c #Conflicts: 1230000 | #Constraints: 40858 2354.68/2361.45 c #Conflicts: 1231000 | #Constraints: 41858 2354.68/2361.45 c #Conflicts: 1232000 | #Constraints: 42858 2354.68/2361.45 c #Conflicts: 1233000 | #Constraints: 43860 2354.68/2361.45 c #Conflicts: 1234000 | #Constraints: 44861 2354.68/2361.45 c #Conflicts: 1235000 | #Constraints: 45861 2354.68/2361.45 c #Conflicts: 1236000 | #Constraints: 46861 2354.68/2361.45 c #Conflicts: 1237000 | #Constraints: 47861 2354.68/2361.45 c #Conflicts: 1238000 | #Constraints: 48861 2354.68/2361.45 c #Conflicts: 1239000 | #Constraints: 49861 2354.68/2361.45 c #Conflicts: 1240000 | #Constraints: 50861 2354.68/2361.45 c #Conflicts: 1241000 | #Constraints: 51861 2354.68/2361.45 c #Conflicts: 1242000 | #Constraints: 52861 2354.68/2361.45 c #Conflicts: 1243000 | #Constraints: 53861 2354.68/2361.45 c #Conflicts: 1244000 | #Constraints: 54861 2354.68/2361.45 c #Conflicts: 1245000 | #Constraints: 55861 2354.68/2361.45 c #Conflicts: 1246000 | #Constraints: 56861 2354.68/2361.45 c #Conflicts: 1247000 | #Constraints: 57861 2354.68/2361.45 c #Conflicts: 1248000 | #Constraints: 58861 2354.68/2361.45 c #Conflicts: 1249000 | #Constraints: 59861 2354.68/2361.45 c #Conflicts: 1250000 | #Constraints: 60861 2354.68/2361.45 c #Conflicts: 1251000 | #Constraints: 61861 2354.68/2361.45 c #Conflicts: 1252000 | #Constraints: 62861 2354.68/2361.45 c #Conflicts: 1253000 | #Constraints: 63861 2354.68/2361.45 c INPROCESSING 2354.68/2361.45 c GARBAGE COLLECT 2354.68/2361.45 c rational objective 90 2391.08/2397.95 c #Conflicts: 1254000 | #Constraints: 36533 2391.08/2397.95 c #Conflicts: 1255000 | #Constraints: 37533 2391.08/2397.95 c #Conflicts: 1256000 | #Constraints: 38533 2391.08/2397.95 c #Conflicts: 1257000 | #Constraints: 39533 2391.08/2397.95 c #Conflicts: 1258000 | #Constraints: 40533 2391.08/2397.95 c #Conflicts: 1259000 | #Constraints: 41533 2391.08/2397.95 c #Conflicts: 1260000 | #Constraints: 42534 2391.08/2397.95 c #Conflicts: 1261000 | #Constraints: 43535 2391.08/2397.95 c #Conflicts: 1262000 | #Constraints: 44535 2391.08/2397.95 c #Conflicts: 1263000 | #Constraints: 45535 2391.08/2397.95 c #Conflicts: 1264000 | #Constraints: 46535 2391.08/2397.95 c #Conflicts: 1265000 | #Constraints: 47535 2391.08/2397.95 c #Conflicts: 1266000 | #Constraints: 48535 2391.08/2397.95 c #Conflicts: 1267000 | #Constraints: 49535 2391.08/2397.95 c #Conflicts: 1268000 | #Constraints: 50535 2391.08/2397.95 c #Conflicts: 1269000 | #Constraints: 51535 2391.08/2397.95 c #Conflicts: 1270000 | #Constraints: 52535 2391.08/2397.95 c #Conflicts: 1271000 | #Constraints: 53535 2391.08/2397.95 c #Conflicts: 1272000 | #Constraints: 54535 2391.08/2397.95 c #Conflicts: 1273000 | #Constraints: 55535 2391.08/2397.95 c #Conflicts: 1274000 | #Constraints: 56535 2391.08/2397.95 c #Conflicts: 1275000 | #Constraints: 57535 2391.08/2397.95 c #Conflicts: 1276000 | #Constraints: 58535 2391.08/2397.95 c #Conflicts: 1277000 | #Constraints: 59535 2391.08/2397.95 c #Conflicts: 1278000 | #Constraints: 60535 2391.08/2397.95 c INPROCESSING 2391.08/2397.95 c GARBAGE COLLECT 2391.08/2397.95 c rational objective 90 2623.00/2630.55 c #Conflicts: 1279000 | #Constraints: 34886 2623.00/2630.55 c #Conflicts: 1280000 | #Constraints: 35886 2623.00/2630.55 c #Conflicts: 1281000 | #Constraints: 36887 2623.00/2630.55 c #Conflicts: 1282000 | #Constraints: 37887 2623.00/2630.55 c #Conflicts: 1283000 | #Constraints: 38887 2623.00/2630.55 c #Conflicts: 1284000 | #Constraints: 39887 2623.00/2630.55 c #Conflicts: 1285000 | #Constraints: 40887 2623.00/2630.55 c #Conflicts: 1286000 | #Constraints: 41887 2623.00/2630.55 c #Conflicts: 1287000 | #Constraints: 42887 2623.00/2630.55 c #Conflicts: 1288000 | #Constraints: 43887 2623.00/2630.55 c #Conflicts: 1289000 | #Constraints: 44887 2623.00/2630.55 c #Conflicts: 1290000 | #Constraints: 45887 2623.00/2630.55 c #Conflicts: 1291000 | #Constraints: 46887 2623.00/2630.55 c #Conflicts: 1292000 | #Constraints: 47887 2623.00/2630.55 c #Conflicts: 1293000 | #Constraints: 48887 2623.00/2630.55 c #Conflicts: 1294000 | #Constraints: 49887 2623.00/2630.55 c #Conflicts: 1295000 | #Constraints: 50887 2623.00/2630.55 c #Conflicts: 1296000 | #Constraints: 51887 2623.00/2630.55 c #Conflicts: 1297000 | #Constraints: 52888 2623.00/2630.55 c #Conflicts: 1298000 | #Constraints: 53888 2623.00/2630.55 c #Conflicts: 1299000 | #Constraints: 54889 2623.00/2630.55 c #Conflicts: 1300000 | #Constraints: 55889 2623.00/2630.55 c #Conflicts: 1301000 | #Constraints: 56889 2623.00/2630.55 c #Conflicts: 1302000 | #Constraints: 57889 2623.00/2630.55 c #Conflicts: 1303000 | #Constraints: 58889 2623.00/2630.55 c #Conflicts: 1304000 | #Constraints: 59890 2623.00/2630.55 c #Conflicts: 1305000 | #Constraints: 60891 2623.00/2630.55 c #Conflicts: 1306000 | #Constraints: 61891 2623.00/2630.55 c #Conflicts: 1307000 | #Constraints: 62891 2623.00/2630.55 c #Conflicts: 1308000 | #Constraints: 63891 2623.00/2630.55 c #Conflicts: 1309000 | #Constraints: 64891 2623.00/2630.55 c #Conflicts: 1310000 | #Constraints: 65891 2623.00/2630.55 c #Conflicts: 1311000 | #Constraints: 66891 2623.00/2630.55 c #Conflicts: 1312000 | #Constraints: 67891 2623.00/2630.55 c #Conflicts: 1313000 | #Constraints: 68891 2623.00/2630.55 c #Conflicts: 1314000 | #Constraints: 69891 2623.00/2630.55 c #Conflicts: 1315000 | #Constraints: 70891 2623.00/2630.55 c #Conflicts: 1316000 | #Constraints: 71891 2623.00/2630.55 c #Conflicts: 1317000 | #Constraints: 72891 2623.00/2630.55 c #Conflicts: 1318000 | #Constraints: 73891 2623.00/2630.55 c #Conflicts: 1319000 | #Constraints: 74891 2623.00/2630.55 c #Conflicts: 1320000 | #Constraints: 75891 2623.00/2630.55 c #Conflicts: 1321000 | #Constraints: 76891 2623.00/2630.55 c #Conflicts: 1322000 | #Constraints: 77891 2623.00/2630.55 c #Conflicts: 1323000 | #Constraints: 78891 2623.00/2630.55 c #Conflicts: 1324000 | #Constraints: 79891 2623.00/2630.55 c #Conflicts: 1325000 | #Constraints: 80891 2623.00/2630.55 c #Conflicts: 1326000 | #Constraints: 81891 2623.00/2630.55 c #Conflicts: 1327000 | #Constraints: 82891 2623.00/2630.55 c #Conflicts: 1328000 | #Constraints: 83891 2623.00/2630.55 c #Conflicts: 1329000 | #Constraints: 84891 2623.00/2630.55 c #Conflicts: 1330000 | #Constraints: 85891 2623.00/2630.55 c #Conflicts: 1331000 | #Constraints: 86891 2623.00/2630.55 c #Conflicts: 1332000 | #Constraints: 87891 2623.00/2630.55 c #Conflicts: 1333000 | #Constraints: 88891 2623.00/2630.55 c #Conflicts: 1334000 | #Constraints: 89891 2623.00/2630.55 c #Conflicts: 1335000 | #Constraints: 90891 2623.00/2630.55 c #Conflicts: 1336000 | #Constraints: 91891 2623.00/2630.55 c #Conflicts: 1337000 | #Constraints: 92891 2623.00/2630.55 c #Conflicts: 1338000 | #Constraints: 93891 2623.00/2630.55 c #Conflicts: 1339000 | #Constraints: 94891 2623.00/2630.55 c #Conflicts: 1340000 | #Constraints: 95891 2623.00/2630.55 c #Conflicts: 1341000 | #Constraints: 96891 2623.00/2630.55 c #Conflicts: 1342000 | #Constraints: 97891 2623.00/2630.55 c #Conflicts: 1343000 | #Constraints: 98891 2623.00/2630.55 c #Conflicts: 1344000 | #Constraints: 99891 2623.00/2630.55 c #Conflicts: 1345000 | #Constraints: 100891 2623.00/2630.55 c #Conflicts: 1346000 | #Constraints: 101891 2623.00/2630.55 c #Conflicts: 1347000 | #Constraints: 102891 2623.00/2630.55 c #Conflicts: 1348000 | #Constraints: 103891 2623.00/2630.55 c #Conflicts: 1349000 | #Constraints: 104891 2623.00/2630.55 c #Conflicts: 1350000 | #Constraints: 105891 2623.00/2630.55 c #Conflicts: 1351000 | #Constraints: 106891 2623.00/2630.55 c #Conflicts: 1352000 | #Constraints: 107892 2623.00/2630.55 c #Conflicts: 1353000 | #Constraints: 108893 2623.00/2630.55 c #Conflicts: 1354000 | #Constraints: 109895 2623.00/2630.55 c #Conflicts: 1355000 | #Constraints: 110895 2623.00/2630.55 c #Conflicts: 1356000 | #Constraints: 111895 2623.00/2630.55 c #Conflicts: 1357000 | #Constraints: 112895 2670.07/2677.76 c #Conflicts: 1358000 | #Constraints: 113895 2670.07/2677.76 c #Conflicts: 1359000 | #Constraints: 114895 2670.07/2677.76 c #Conflicts: 1360000 | #Constraints: 115895 2670.07/2677.76 c #Conflicts: 1361000 | #Constraints: 116895 2670.07/2677.76 c #Conflicts: 1362000 | #Constraints: 117895 2670.07/2677.76 c #Conflicts: 1363000 | #Constraints: 118895 2670.07/2677.76 c #Conflicts: 1364000 | #Constraints: 119895 2670.07/2677.76 c #Conflicts: 1365000 | #Constraints: 120895 2670.07/2677.76 c #Conflicts: 1366000 | #Constraints: 121896 2670.07/2677.76 c #Conflicts: 1367000 | #Constraints: 122896 2670.07/2677.76 c #Conflicts: 1368000 | #Constraints: 123896 2670.07/2677.76 c INPROCESSING 2670.07/2677.76 c GARBAGE COLLECT 2670.07/2677.76 c rational objective 90 2722.46/2730.29 c #Conflicts: 1369000 | #Constraints: 66565 2722.46/2730.29 c #Conflicts: 1370000 | #Constraints: 67565 2722.46/2730.29 c #Conflicts: 1371000 | #Constraints: 68565 2722.46/2730.29 c #Conflicts: 1372000 | #Constraints: 69565 2722.46/2730.29 c #Conflicts: 1373000 | #Constraints: 70565 2722.46/2730.29 c #Conflicts: 1374000 | #Constraints: 71566 2722.46/2730.29 c #Conflicts: 1375000 | #Constraints: 72566 2722.46/2730.29 c #Conflicts: 1376000 | #Constraints: 73566 2722.46/2730.29 c #Conflicts: 1377000 | #Constraints: 74566 2722.46/2730.29 c #Conflicts: 1378000 | #Constraints: 75566 2722.46/2730.29 c #Conflicts: 1379000 | #Constraints: 76566 2722.46/2730.29 c #Conflicts: 1380000 | #Constraints: 77566 2722.46/2730.29 c #Conflicts: 1381000 | #Constraints: 78566 2722.46/2730.29 c #Conflicts: 1382000 | #Constraints: 79566 2722.46/2730.29 c #Conflicts: 1383000 | #Constraints: 80566 2722.46/2730.29 c #Conflicts: 1384000 | #Constraints: 81566 2722.46/2730.29 c #Conflicts: 1385000 | #Constraints: 82566 2722.46/2730.29 c #Conflicts: 1386000 | #Constraints: 83566 2722.46/2730.29 c #Conflicts: 1387000 | #Constraints: 84566 2722.46/2730.29 c #Conflicts: 1388000 | #Constraints: 85566 2722.46/2730.29 c #Conflicts: 1389000 | #Constraints: 86566 2722.46/2730.29 c #Conflicts: 1390000 | #Constraints: 87566 2722.46/2730.29 c #Conflicts: 1391000 | #Constraints: 88566 2722.46/2730.29 c #Conflicts: 1392000 | #Constraints: 89566 2722.46/2730.29 c #Conflicts: 1393000 | #Constraints: 90566 2722.46/2730.29 c #Conflicts: 1394000 | #Constraints: 91566 2722.46/2730.29 c INPROCESSING 2722.46/2730.29 c GARBAGE COLLECT 2722.46/2730.29 c rational objective 90 2764.05/2771.98 c #Conflicts: 1395000 | #Constraints: 50205 2764.05/2771.98 c #Conflicts: 1396000 | #Constraints: 51205 2764.05/2771.98 c #Conflicts: 1397000 | #Constraints: 52206 2764.05/2771.98 c #Conflicts: 1398000 | #Constraints: 53206 2764.05/2771.98 c #Conflicts: 1399000 | #Constraints: 54206 2764.05/2771.98 c #Conflicts: 1400000 | #Constraints: 55206 2764.05/2771.98 c #Conflicts: 1401000 | #Constraints: 56206 2764.05/2771.98 c #Conflicts: 1402000 | #Constraints: 57206 2764.05/2771.98 c #Conflicts: 1403000 | #Constraints: 58206 2764.05/2771.98 c #Conflicts: 1404000 | #Constraints: 59207 2764.05/2771.98 c #Conflicts: 1405000 | #Constraints: 60207 2764.05/2771.98 c #Conflicts: 1406000 | #Constraints: 61207 2764.05/2771.98 c #Conflicts: 1407000 | #Constraints: 62207 2764.05/2771.98 c #Conflicts: 1408000 | #Constraints: 63207 2764.05/2771.98 c #Conflicts: 1409000 | #Constraints: 64207 2764.05/2771.98 c #Conflicts: 1410000 | #Constraints: 65207 2764.05/2771.98 c #Conflicts: 1411000 | #Constraints: 66207 2764.05/2771.98 c #Conflicts: 1412000 | #Constraints: 67207 2764.05/2771.98 c #Conflicts: 1413000 | #Constraints: 68207 2764.05/2771.98 c #Conflicts: 1414000 | #Constraints: 69207 2764.05/2771.98 c #Conflicts: 1415000 | #Constraints: 70207 2764.05/2771.98 c #Conflicts: 1416000 | #Constraints: 71207 2764.05/2771.98 c #Conflicts: 1417000 | #Constraints: 72207 2764.05/2771.98 c #Conflicts: 1418000 | #Constraints: 73207 2764.05/2771.98 c #Conflicts: 1419000 | #Constraints: 74207 2764.05/2771.98 c #Conflicts: 1420000 | #Constraints: 75207 2764.05/2771.98 c INPROCESSING 2764.05/2771.98 c GARBAGE COLLECT 2764.05/2771.98 c rational objective 90 2807.36/2815.36 c #Conflicts: 1421000 | #Constraints: 41887 2807.36/2815.36 c #Conflicts: 1422000 | #Constraints: 42887 2807.36/2815.36 c #Conflicts: 1423000 | #Constraints: 43887 2807.36/2815.36 c #Conflicts: 1424000 | #Constraints: 44888 2807.36/2815.36 c #Conflicts: 1425000 | #Constraints: 45888 2807.36/2815.36 c #Conflicts: 1426000 | #Constraints: 46888 2807.36/2815.36 c #Conflicts: 1427000 | #Constraints: 47888 2807.36/2815.36 c #Conflicts: 1428000 | #Constraints: 48888 2807.36/2815.36 c #Conflicts: 1429000 | #Constraints: 49888 2807.36/2815.36 c #Conflicts: 1430000 | #Constraints: 50888 2807.36/2815.36 c #Conflicts: 1431000 | #Constraints: 51888 2807.36/2815.36 c #Conflicts: 1432000 | #Constraints: 52888 2807.36/2815.36 c #Conflicts: 1433000 | #Constraints: 53888 2807.36/2815.36 c #Conflicts: 1434000 | #Constraints: 54888 2807.36/2815.36 c #Conflicts: 1435000 | #Constraints: 55888 2807.36/2815.36 c #Conflicts: 1436000 | #Constraints: 56888 2807.36/2815.36 c #Conflicts: 1437000 | #Constraints: 57889 2807.36/2815.36 c #Conflicts: 1438000 | #Constraints: 58889 2807.36/2815.36 c #Conflicts: 1439000 | #Constraints: 59889 2807.36/2815.36 c #Conflicts: 1440000 | #Constraints: 60889 2807.36/2815.36 c #Conflicts: 1441000 | #Constraints: 61889 2807.36/2815.36 c #Conflicts: 1442000 | #Constraints: 62889 2807.36/2815.36 c #Conflicts: 1443000 | #Constraints: 63889 2807.36/2815.36 c #Conflicts: 1444000 | #Constraints: 64889 2807.36/2815.36 c #Conflicts: 1445000 | #Constraints: 65889 2807.36/2815.36 c #Conflicts: 1446000 | #Constraints: 66889 2807.36/2815.36 c #Conflicts: 1447000 | #Constraints: 67889 2807.36/2815.36 c INPROCESSING 2807.36/2815.36 c GARBAGE COLLECT 2807.36/2815.36 c rational objective 90 2849.85/2857.97 c #Conflicts: 1448000 | #Constraints: 38358 2849.85/2857.97 c #Conflicts: 1449000 | #Constraints: 39358 2849.85/2857.97 c #Conflicts: 1450000 | #Constraints: 40358 2849.85/2857.97 c #Conflicts: 1451000 | #Constraints: 41358 2849.85/2857.97 c #Conflicts: 1452000 | #Constraints: 42358 2849.85/2857.97 c #Conflicts: 1453000 | #Constraints: 43358 2849.85/2857.97 c #Conflicts: 1454000 | #Constraints: 44358 2849.85/2857.97 c #Conflicts: 1455000 | #Constraints: 45358 2849.85/2857.97 c #Conflicts: 1456000 | #Constraints: 46358 2849.85/2857.97 c #Conflicts: 1457000 | #Constraints: 47358 2849.85/2857.97 c #Conflicts: 1458000 | #Constraints: 48358 2849.85/2857.97 c #Conflicts: 1459000 | #Constraints: 49358 2849.85/2857.97 c #Conflicts: 1460000 | #Constraints: 50358 2849.85/2857.97 c #Conflicts: 1461000 | #Constraints: 51358 2849.85/2857.97 c #Conflicts: 1462000 | #Constraints: 52358 2849.85/2857.97 c #Conflicts: 1463000 | #Constraints: 53359 2849.85/2857.97 c #Conflicts: 1464000 | #Constraints: 54359 2849.85/2857.97 c #Conflicts: 1465000 | #Constraints: 55359 2849.85/2857.97 c #Conflicts: 1466000 | #Constraints: 56360 2849.85/2857.97 c #Conflicts: 1467000 | #Constraints: 57360 2849.85/2857.97 c #Conflicts: 1468000 | #Constraints: 58360 2849.85/2857.97 c #Conflicts: 1469000 | #Constraints: 59360 2849.85/2857.97 c #Conflicts: 1470000 | #Constraints: 60360 2849.85/2857.97 c #Conflicts: 1471000 | #Constraints: 61360 2849.85/2857.97 c #Conflicts: 1472000 | #Constraints: 62360 2849.85/2857.97 c #Conflicts: 1473000 | #Constraints: 63360 2849.85/2857.97 c #Conflicts: 1474000 | #Constraints: 64361 2849.85/2857.97 c INPROCESSING 2849.85/2857.97 c GARBAGE COLLECT 2849.85/2857.97 c rational objective 90 3023.74/3032.27 c #Conflicts: 1475000 | #Constraints: 36594 3023.74/3032.27 c #Conflicts: 1476000 | #Constraints: 37594 3023.74/3032.27 c #Conflicts: 1477000 | #Constraints: 38594 3023.74/3032.27 c #Conflicts: 1478000 | #Constraints: 39594 3023.74/3032.27 c #Conflicts: 1479000 | #Constraints: 40594 3023.74/3032.27 c #Conflicts: 1480000 | #Constraints: 41594 3023.74/3032.27 c #Conflicts: 1481000 | #Constraints: 42594 3023.74/3032.27 c #Conflicts: 1482000 | #Constraints: 43594 3023.74/3032.27 c #Conflicts: 1483000 | #Constraints: 44594 3023.74/3032.27 c #Conflicts: 1484000 | #Constraints: 45594 3023.74/3032.27 c #Conflicts: 1485000 | #Constraints: 46594 3023.74/3032.27 c #Conflicts: 1486000 | #Constraints: 47594 3023.74/3032.27 c #Conflicts: 1487000 | #Constraints: 48594 3023.74/3032.27 c #Conflicts: 1488000 | #Constraints: 49594 3023.74/3032.27 c #Conflicts: 1489000 | #Constraints: 50594 3023.74/3032.27 c #Conflicts: 1490000 | #Constraints: 51594 3023.74/3032.27 c #Conflicts: 1491000 | #Constraints: 52594 3023.74/3032.27 c #Conflicts: 1492000 | #Constraints: 53594 3023.74/3032.27 c #Conflicts: 1493000 | #Constraints: 54595 3023.74/3032.27 c #Conflicts: 1494000 | #Constraints: 55595 3023.74/3032.27 c #Conflicts: 1495000 | #Constraints: 56595 3023.74/3032.27 c #Conflicts: 1496000 | #Constraints: 57595 3023.74/3032.27 c #Conflicts: 1497000 | #Constraints: 58595 3023.74/3032.27 c #Conflicts: 1498000 | #Constraints: 59596 3023.74/3032.27 c #Conflicts: 1499000 | #Constraints: 60596 3023.74/3032.27 c #Conflicts: 1500000 | #Constraints: 61596 3023.74/3032.27 c #Conflicts: 1501000 | #Constraints: 62597 3023.74/3032.27 c #Conflicts: 1502000 | #Constraints: 63597 3023.74/3032.27 c #Conflicts: 1503000 | #Constraints: 64597 3023.74/3032.27 c #Conflicts: 1504000 | #Constraints: 65597 3023.74/3032.27 c #Conflicts: 1505000 | #Constraints: 66597 3023.74/3032.27 c #Conflicts: 1506000 | #Constraints: 67597 3023.74/3032.27 c #Conflicts: 1507000 | #Constraints: 68597 3023.74/3032.27 c #Conflicts: 1508000 | #Constraints: 69597 3023.74/3032.27 c #Conflicts: 1509000 | #Constraints: 70597 3023.74/3032.27 c #Conflicts: 1510000 | #Constraints: 71597 3023.74/3032.27 c #Conflicts: 1511000 | #Constraints: 72597 3023.74/3032.27 c #Conflicts: 1512000 | #Constraints: 73597 3023.74/3032.27 c #Conflicts: 1513000 | #Constraints: 74597 3023.74/3032.27 c #Conflicts: 1514000 | #Constraints: 75597 3023.74/3032.27 c #Conflicts: 1515000 | #Constraints: 76597 3023.74/3032.27 c #Conflicts: 1516000 | #Constraints: 77598 3023.74/3032.27 c #Conflicts: 1517000 | #Constraints: 78598 3023.74/3032.27 c #Conflicts: 1518000 | #Constraints: 79598 3023.74/3032.27 c #Conflicts: 1519000 | #Constraints: 80599 3023.74/3032.27 c #Conflicts: 1520000 | #Constraints: 81600 3023.74/3032.27 c #Conflicts: 1521000 | #Constraints: 82600 3023.74/3032.27 c #Conflicts: 1522000 | #Constraints: 83600 3023.74/3032.27 c #Conflicts: 1523000 | #Constraints: 84600 3023.74/3032.27 c #Conflicts: 1524000 | #Constraints: 85600 3023.74/3032.27 c #Conflicts: 1525000 | #Constraints: 86600 3023.74/3032.27 c #Conflicts: 1526000 | #Constraints: 87600 3023.74/3032.27 c #Conflicts: 1527000 | #Constraints: 88600 3023.74/3032.27 c #Conflicts: 1528000 | #Constraints: 89600 3023.74/3032.27 c #Conflicts: 1529000 | #Constraints: 90600 3023.74/3032.27 c #Conflicts: 1530000 | #Constraints: 91600 3023.74/3032.27 c #Conflicts: 1531000 | #Constraints: 92600 3023.74/3032.27 c #Conflicts: 1532000 | #Constraints: 93600 3023.74/3032.27 c #Conflicts: 1533000 | #Constraints: 94600 3023.74/3032.27 c #Conflicts: 1534000 | #Constraints: 95600 3023.74/3032.27 c #Conflicts: 1535000 | #Constraints: 96600 3023.74/3032.27 c #Conflicts: 1536000 | #Constraints: 97600 3023.74/3032.27 c #Conflicts: 1537000 | #Constraints: 98600 3023.74/3032.27 c #Conflicts: 1538000 | #Constraints: 99600 3023.74/3032.27 c #Conflicts: 1539000 | #Constraints: 100600 3023.74/3032.27 c #Conflicts: 1540000 | #Constraints: 101601 3023.74/3032.27 c #Conflicts: 1541000 | #Constraints: 102601 3023.74/3032.27 c #Conflicts: 1542000 | #Constraints: 103601 3023.74/3032.27 c #Conflicts: 1543000 | #Constraints: 104602 3023.74/3032.27 c #Conflicts: 1544000 | #Constraints: 105602 3023.74/3032.27 c #Conflicts: 1545000 | #Constraints: 106602 3023.74/3032.27 c #Conflicts: 1546000 | #Constraints: 107602 3023.74/3032.27 c #Conflicts: 1547000 | #Constraints: 108602 3023.74/3032.27 c #Conflicts: 1548000 | #Constraints: 109602 3023.74/3032.27 c #Conflicts: 1549000 | #Constraints: 110602 3023.74/3032.27 c #Conflicts: 1550000 | #Constraints: 111603 3023.74/3032.27 c #Conflicts: 1551000 | #Constraints: 112603 3023.74/3032.27 c #Conflicts: 1552000 | #Constraints: 113603 3023.74/3032.27 c #Conflicts: 1553000 | #Constraints: 114603 3086.26/3095.01 c #Conflicts: 1554000 | #Constraints: 115603 3086.26/3095.01 c #Conflicts: 1555000 | #Constraints: 116603 3086.26/3095.01 c #Conflicts: 1556000 | #Constraints: 117603 3086.26/3095.01 c #Conflicts: 1557000 | #Constraints: 118603 3086.26/3095.01 c #Conflicts: 1558000 | #Constraints: 119603 3086.26/3095.01 c #Conflicts: 1559000 | #Constraints: 120603 3086.26/3095.01 c #Conflicts: 1560000 | #Constraints: 121603 3086.26/3095.01 c #Conflicts: 1561000 | #Constraints: 122603 3086.26/3095.01 c #Conflicts: 1562000 | #Constraints: 123603 3086.26/3095.01 c #Conflicts: 1563000 | #Constraints: 124604 3086.26/3095.01 c #Conflicts: 1564000 | #Constraints: 125604 3086.26/3095.01 c #Conflicts: 1565000 | #Constraints: 126604 3086.26/3095.01 c #Conflicts: 1566000 | #Constraints: 127604 3086.26/3095.01 c #Conflicts: 1567000 | #Constraints: 128604 3086.26/3095.01 c #Conflicts: 1568000 | #Constraints: 129604 3086.26/3095.01 c #Conflicts: 1569000 | #Constraints: 130605 3086.26/3095.01 c #Conflicts: 1570000 | #Constraints: 131605 3086.26/3095.01 c INPROCESSING 3086.26/3095.01 c GARBAGE COLLECT 3086.26/3095.01 c rational objective 90 3151.88/3160.74 c #Conflicts: 1571000 | #Constraints: 70048 3151.88/3160.74 c #Conflicts: 1572000 | #Constraints: 71048 3151.88/3160.74 c #Conflicts: 1573000 | #Constraints: 72048 3151.88/3160.74 c #Conflicts: 1574000 | #Constraints: 73048 3151.88/3160.74 c #Conflicts: 1575000 | #Constraints: 74048 3151.88/3160.74 c #Conflicts: 1576000 | #Constraints: 75048 3151.88/3160.74 c #Conflicts: 1577000 | #Constraints: 76048 3151.88/3160.74 c #Conflicts: 1578000 | #Constraints: 77048 3151.88/3160.74 c #Conflicts: 1579000 | #Constraints: 78048 3151.88/3160.74 c #Conflicts: 1580000 | #Constraints: 79048 3151.88/3160.74 c #Conflicts: 1581000 | #Constraints: 80048 3151.88/3160.74 c #Conflicts: 1582000 | #Constraints: 81048 3151.88/3160.74 c #Conflicts: 1583000 | #Constraints: 82048 3151.88/3160.74 c #Conflicts: 1584000 | #Constraints: 83048 3151.88/3160.74 c #Conflicts: 1585000 | #Constraints: 84048 3151.88/3160.74 c #Conflicts: 1586000 | #Constraints: 85048 3151.88/3160.74 c #Conflicts: 1587000 | #Constraints: 86048 3151.88/3160.74 c #Conflicts: 1588000 | #Constraints: 87048 3151.88/3160.74 c #Conflicts: 1589000 | #Constraints: 88048 3151.88/3160.74 c #Conflicts: 1590000 | #Constraints: 89048 3151.88/3160.74 c #Conflicts: 1591000 | #Constraints: 90048 3151.88/3160.74 c #Conflicts: 1592000 | #Constraints: 91048 3151.88/3160.74 c #Conflicts: 1593000 | #Constraints: 92048 3151.88/3160.74 c #Conflicts: 1594000 | #Constraints: 93048 3151.88/3160.74 c #Conflicts: 1595000 | #Constraints: 94048 3151.88/3160.74 c #Conflicts: 1596000 | #Constraints: 95048 3151.88/3160.74 c #Conflicts: 1597000 | #Constraints: 96048 3151.88/3160.74 c #Conflicts: 1598000 | #Constraints: 97048 3151.88/3160.74 c #Conflicts: 1599000 | #Constraints: 98048 3151.88/3160.74 c INPROCESSING 3151.88/3160.74 c GARBAGE COLLECT 3151.88/3160.74 c rational objective 90 3238.52/3247.60 c #Conflicts: 1600000 | #Constraints: 53682 3238.52/3247.60 c #Conflicts: 1601000 | #Constraints: 54682 3238.52/3247.60 c #Conflicts: 1602000 | #Constraints: 55682 3238.52/3247.60 c #Conflicts: 1603000 | #Constraints: 56682 3238.52/3247.60 c #Conflicts: 1604000 | #Constraints: 57682 3238.52/3247.60 c #Conflicts: 1605000 | #Constraints: 58682 3238.52/3247.60 c #Conflicts: 1606000 | #Constraints: 59682 3238.52/3247.60 c #Conflicts: 1607000 | #Constraints: 60682 3238.52/3247.60 c #Conflicts: 1608000 | #Constraints: 61682 3238.52/3247.60 c #Conflicts: 1609000 | #Constraints: 62682 3238.52/3247.60 c #Conflicts: 1610000 | #Constraints: 63682 3238.52/3247.60 c #Conflicts: 1611000 | #Constraints: 64682 3238.52/3247.60 c #Conflicts: 1612000 | #Constraints: 65682 3238.52/3247.60 c #Conflicts: 1613000 | #Constraints: 66682 3238.52/3247.60 c #Conflicts: 1614000 | #Constraints: 67682 3238.52/3247.60 c #Conflicts: 1615000 | #Constraints: 68682 3238.52/3247.60 c #Conflicts: 1616000 | #Constraints: 69682 3238.52/3247.60 c #Conflicts: 1617000 | #Constraints: 70682 3238.52/3247.60 c #Conflicts: 1618000 | #Constraints: 71682 3238.52/3247.60 c #Conflicts: 1619000 | #Constraints: 72682 3238.52/3247.60 c #Conflicts: 1620000 | #Constraints: 73682 3238.52/3247.60 c #Conflicts: 1621000 | #Constraints: 74682 3238.52/3247.60 c #Conflicts: 1622000 | #Constraints: 75683 3238.52/3247.60 c #Conflicts: 1623000 | #Constraints: 76683 3238.52/3247.60 c #Conflicts: 1624000 | #Constraints: 77683 3238.52/3247.60 c #Conflicts: 1625000 | #Constraints: 78683 3238.52/3247.60 c #Conflicts: 1626000 | #Constraints: 79683 3238.52/3247.60 c #Conflicts: 1627000 | #Constraints: 80683 3238.52/3247.60 c INPROCESSING 3238.52/3247.60 c GARBAGE COLLECT 3238.52/3247.60 c rational objective 90 3287.98/3297.23 c #Conflicts: 1628000 | #Constraints: 44826 3287.98/3297.23 c #Conflicts: 1629000 | #Constraints: 45826 3287.98/3297.23 c #Conflicts: 1630000 | #Constraints: 46826 3287.98/3297.23 c #Conflicts: 1631000 | #Constraints: 47826 3287.98/3297.23 c #Conflicts: 1632000 | #Constraints: 48826 3287.98/3297.23 c #Conflicts: 1633000 | #Constraints: 49827 3287.98/3297.23 c #Conflicts: 1634000 | #Constraints: 50827 3287.98/3297.23 c #Conflicts: 1635000 | #Constraints: 51827 3287.98/3297.23 c #Conflicts: 1636000 | #Constraints: 52827 3287.98/3297.23 c #Conflicts: 1637000 | #Constraints: 53827 3287.98/3297.23 c #Conflicts: 1638000 | #Constraints: 54827 3287.98/3297.23 c #Conflicts: 1639000 | #Constraints: 55827 3287.98/3297.23 c #Conflicts: 1640000 | #Constraints: 56827 3287.98/3297.23 c #Conflicts: 1641000 | #Constraints: 57827 3287.98/3297.23 c #Conflicts: 1642000 | #Constraints: 58827 3287.98/3297.23 c #Conflicts: 1643000 | #Constraints: 59827 3287.98/3297.23 c #Conflicts: 1644000 | #Constraints: 60827 3287.98/3297.23 c #Conflicts: 1645000 | #Constraints: 61827 3287.98/3297.23 c #Conflicts: 1646000 | #Constraints: 62827 3287.98/3297.23 c #Conflicts: 1647000 | #Constraints: 63827 3287.98/3297.23 c #Conflicts: 1648000 | #Constraints: 64827 3287.98/3297.23 c #Conflicts: 1649000 | #Constraints: 65827 3287.98/3297.23 c #Conflicts: 1650000 | #Constraints: 66827 3287.98/3297.23 c #Conflicts: 1651000 | #Constraints: 67827 3287.98/3297.23 c #Conflicts: 1652000 | #Constraints: 68827 3287.98/3297.23 c #Conflicts: 1653000 | #Constraints: 69827 3287.98/3297.23 c #Conflicts: 1654000 | #Constraints: 70827 3287.98/3297.23 c #Conflicts: 1655000 | #Constraints: 71827 3287.98/3297.23 c #Conflicts: 1656000 | #Constraints: 72828 3287.98/3297.23 c INPROCESSING 3287.98/3297.23 c GARBAGE COLLECT 3287.98/3297.23 c rational objective 90 3326.07/3335.41 c #Conflicts: 1657000 | #Constraints: 41020 3326.07/3335.41 c #Conflicts: 1658000 | #Constraints: 42020 3326.07/3335.41 c #Conflicts: 1659000 | #Constraints: 43020 3326.07/3335.41 c #Conflicts: 1660000 | #Constraints: 44020 3326.07/3335.41 c #Conflicts: 1661000 | #Constraints: 45020 3326.07/3335.41 c #Conflicts: 1662000 | #Constraints: 46020 3326.07/3335.41 c #Conflicts: 1663000 | #Constraints: 47020 3326.07/3335.41 c #Conflicts: 1664000 | #Constraints: 48020 3326.07/3335.41 c #Conflicts: 1665000 | #Constraints: 49020 3326.07/3335.41 c #Conflicts: 1666000 | #Constraints: 50020 3326.07/3335.41 c #Conflicts: 1667000 | #Constraints: 51020 3326.07/3335.41 c #Conflicts: 1668000 | #Constraints: 52020 3326.07/3335.41 c #Conflicts: 1669000 | #Constraints: 53020 3326.07/3335.41 c #Conflicts: 1670000 | #Constraints: 54020 3326.07/3335.41 c #Conflicts: 1671000 | #Constraints: 55020 3326.07/3335.41 c #Conflicts: 1672000 | #Constraints: 56020 3326.07/3335.41 c #Conflicts: 1673000 | #Constraints: 57020 3326.07/3335.41 c #Conflicts: 1674000 | #Constraints: 58020 3326.07/3335.41 c #Conflicts: 1675000 | #Constraints: 59020 3326.07/3335.41 c #Conflicts: 1676000 | #Constraints: 60020 3326.07/3335.41 c #Conflicts: 1677000 | #Constraints: 61020 3326.07/3335.41 c #Conflicts: 1678000 | #Constraints: 62020 3326.07/3335.41 c #Conflicts: 1679000 | #Constraints: 63020 3326.07/3335.41 c #Conflicts: 1680000 | #Constraints: 64020 3326.07/3335.41 c #Conflicts: 1681000 | #Constraints: 65020 3326.07/3335.41 c #Conflicts: 1682000 | #Constraints: 66020 3326.07/3335.41 c #Conflicts: 1683000 | #Constraints: 67020 3326.07/3335.41 c #Conflicts: 1684000 | #Constraints: 68020 3326.07/3335.41 c INPROCESSING 3326.07/3335.41 c GARBAGE COLLECT 3326.07/3335.41 c rational objective 90 3509.40/3519.29 c #Conflicts: 1685000 | #Constraints: 38226 3509.40/3519.29 c #Conflicts: 1686000 | #Constraints: 39226 3509.40/3519.29 c #Conflicts: 1687000 | #Constraints: 40226 3509.40/3519.29 c #Conflicts: 1688000 | #Constraints: 41226 3509.40/3519.29 c #Conflicts: 1689000 | #Constraints: 42226 3509.40/3519.29 c #Conflicts: 1690000 | #Constraints: 43226 3509.40/3519.29 c #Conflicts: 1691000 | #Constraints: 44226 3509.40/3519.29 c #Conflicts: 1692000 | #Constraints: 45226 3509.40/3519.29 c #Conflicts: 1693000 | #Constraints: 46226 3509.40/3519.29 c #Conflicts: 1694000 | #Constraints: 47226 3509.40/3519.29 c #Conflicts: 1695000 | #Constraints: 48226 3509.40/3519.29 c #Conflicts: 1696000 | #Constraints: 49226 3509.40/3519.29 c #Conflicts: 1697000 | #Constraints: 50226 3509.40/3519.29 c #Conflicts: 1698000 | #Constraints: 51226 3509.40/3519.29 c #Conflicts: 1699000 | #Constraints: 52226 3509.40/3519.29 c #Conflicts: 1700000 | #Constraints: 53226 3509.40/3519.29 c #Conflicts: 1701000 | #Constraints: 54226 3509.40/3519.29 c #Conflicts: 1702000 | #Constraints: 55226 3509.40/3519.29 c #Conflicts: 1703000 | #Constraints: 56226 3509.40/3519.29 c #Conflicts: 1704000 | #Constraints: 57226 3509.40/3519.29 c #Conflicts: 1705000 | #Constraints: 58226 3509.40/3519.29 c #Conflicts: 1706000 | #Constraints: 59227 3509.40/3519.29 c #Conflicts: 1707000 | #Constraints: 60227 3509.40/3519.29 c #Conflicts: 1708000 | #Constraints: 61227 3509.40/3519.29 c #Conflicts: 1709000 | #Constraints: 62227 3509.40/3519.29 c #Conflicts: 1710000 | #Constraints: 63227 3509.40/3519.29 c #Conflicts: 1711000 | #Constraints: 64227 3509.40/3519.29 c #Conflicts: 1712000 | #Constraints: 65227 3509.40/3519.29 c #Conflicts: 1713000 | #Constraints: 66227 3509.40/3519.29 c #Conflicts: 1714000 | #Constraints: 67227 3509.40/3519.29 c #Conflicts: 1715000 | #Constraints: 68227 3509.40/3519.29 c #Conflicts: 1716000 | #Constraints: 69227 3509.40/3519.29 c #Conflicts: 1717000 | #Constraints: 70227 3509.40/3519.29 c #Conflicts: 1718000 | #Constraints: 71227 3509.40/3519.29 c #Conflicts: 1719000 | #Constraints: 72227 3509.40/3519.29 c #Conflicts: 1720000 | #Constraints: 73227 3509.40/3519.29 c #Conflicts: 1721000 | #Constraints: 74227 3509.40/3519.29 c #Conflicts: 1722000 | #Constraints: 75227 3509.40/3519.29 c #Conflicts: 1723000 | #Constraints: 76227 3509.40/3519.29 c #Conflicts: 1724000 | #Constraints: 77227 3509.40/3519.29 c #Conflicts: 1725000 | #Constraints: 78227 3509.40/3519.29 c #Conflicts: 1726000 | #Constraints: 79227 3509.40/3519.29 c #Conflicts: 1727000 | #Constraints: 80227 3509.40/3519.29 c #Conflicts: 1728000 | #Constraints: 81227 3509.40/3519.29 c #Conflicts: 1729000 | #Constraints: 82227 3509.40/3519.29 c #Conflicts: 1730000 | #Constraints: 83227 3509.40/3519.29 c #Conflicts: 1731000 | #Constraints: 84227 3509.40/3519.29 c #Conflicts: 1732000 | #Constraints: 85227 3509.40/3519.29 c #Conflicts: 1733000 | #Constraints: 86227 3509.40/3519.29 c #Conflicts: 1734000 | #Constraints: 87227 3509.40/3519.29 c #Conflicts: 1735000 | #Constraints: 88227 3509.40/3519.29 c #Conflicts: 1736000 | #Constraints: 89227 3509.40/3519.29 c #Conflicts: 1737000 | #Constraints: 90227 3509.40/3519.29 c #Conflicts: 1738000 | #Constraints: 91228 3509.40/3519.29 c #Conflicts: 1739000 | #Constraints: 92228 3509.40/3519.29 c #Conflicts: 1740000 | #Constraints: 93228 3509.40/3519.29 c #Conflicts: 1741000 | #Constraints: 94228 3509.40/3519.29 c #Conflicts: 1742000 | #Constraints: 95228 3509.40/3519.29 c #Conflicts: 1743000 | #Constraints: 96228 3509.40/3519.29 c #Conflicts: 1744000 | #Constraints: 97228 3509.40/3519.29 c #Conflicts: 1745000 | #Constraints: 98228 3509.40/3519.29 c #Conflicts: 1746000 | #Constraints: 99228 3509.40/3519.29 c #Conflicts: 1747000 | #Constraints: 100228 3509.40/3519.29 c #Conflicts: 1748000 | #Constraints: 101228 3509.40/3519.29 c #Conflicts: 1749000 | #Constraints: 102228 3509.40/3519.29 c #Conflicts: 1750000 | #Constraints: 103228 3509.40/3519.29 c #Conflicts: 1751000 | #Constraints: 104228 3509.40/3519.29 c #Conflicts: 1752000 | #Constraints: 105228 3509.40/3519.29 c #Conflicts: 1753000 | #Constraints: 106228 3509.40/3519.29 c #Conflicts: 1754000 | #Constraints: 107228 3509.40/3519.29 c #Conflicts: 1755000 | #Constraints: 108228 3509.40/3519.29 c #Conflicts: 1756000 | #Constraints: 109228 3509.40/3519.29 c #Conflicts: 1757000 | #Constraints: 110228 3509.40/3519.29 c #Conflicts: 1758000 | #Constraints: 111228 3509.40/3519.29 c #Conflicts: 1759000 | #Constraints: 112228 3509.40/3519.29 c #Conflicts: 1760000 | #Constraints: 113228 3509.40/3519.29 c #Conflicts: 1761000 | #Constraints: 114228 3509.40/3519.29 c #Conflicts: 1762000 | #Constraints: 115228 3509.40/3519.29 c #Conflicts: 1763000 | #Constraints: 116229 3600.10/3610.11 c #Conflicts: 1764000 | #Constraints: 117229 3600.10/3610.11 c #Conflicts: 1765000 | #Constraints: 118229 3600.10/3610.11 c #Conflicts: 1766000 | #Constraints: 119229 3600.10/3610.11 c #Conflicts: 1767000 | #Constraints: 120229 3600.10/3610.11 c #Conflicts: 1768000 | #Constraints: 121229 3600.10/3610.11 c #Conflicts: 1769000 | #Constraints: 122229 3600.10/3610.11 c #Conflicts: 1770000 | #Constraints: 123229 3600.10/3610.11 c #Conflicts: 1771000 | #Constraints: 124229 3600.10/3610.11 c #Conflicts: 1772000 | #Constraints: 125229 3600.10/3610.11 c #Conflicts: 1773000 | #Constraints: 126229 3600.10/3610.11 c #Conflicts: 1774000 | #Constraints: 127229 3600.10/3610.11 c #Conflicts: 1775000 | #Constraints: 128230 3600.10/3610.11 c #Conflicts: 1776000 | #Constraints: 129230 3600.10/3610.11 c #Conflicts: 1777000 | #Constraints: 130230 3600.10/3610.11 c #Conflicts: 1778000 | #Constraints: 131230 3600.10/3610.11 c #Conflicts: 1779000 | #Constraints: 132230 3600.10/3610.11 c #Conflicts: 1780000 | #Constraints: 133230 3600.10/3610.11 c #Conflicts: 1781000 | #Constraints: 134230 3600.10/3610.11 c #Conflicts: 1782000 | #Constraints: 135230 3600.10/3610.11 c #Conflicts: 1783000 | #Constraints: 136230 3600.10/3610.11 c Program interrupted by user. 3600.10/3610.12 c cpu time 3560.29 s 3600.10/3610.12 c deterministic time 394187680876 3.94e+11 3600.10/3610.12 c optimization time 271.97 s 3600.10/3610.12 c total solve time 3288.25 s 3600.10/3610.12 c core-guided solve time 0 s 3600.10/3610.12 c propagation time 2474.78 s 3600.10/3610.12 c conflict analysis time 800.199 s 3600.10/3610.12 c propagations 716534425 3600.10/3610.12 c resolve steps 63631252 3600.10/3610.12 c decisions 13551396 3600.10/3610.12 c conflicts 1783040 3600.10/3610.12 c restarts 3451 3600.10/3610.12 c inprocessing phases 81 3600.10/3610.12 c input clauses 6212 3600.10/3610.12 c input cardinalities 90 3600.10/3610.12 c input general constraints 0 3600.10/3610.12 c input average constraint length 6.23 3600.10/3610.12 c input average constraint degree 1.94 3600.10/3610.12 c learned clauses 1230715 3600.10/3610.12 c learned cardinalities 37541 3600.10/3610.12 c learned general constraints 514961 3600.10/3610.12 c learned average constraint length 851.77 3600.10/3610.12 c learned average constraint degree 44683258.70 3600.10/3610.12 c watched constraints 439820 3600.10/3610.12 c counting constraints 75141 3600.10/3610.12 c gcd simplifications 5396 3600.10/3610.12 c detected cardinalities 2110 3600.10/3610.12 c weakened non-implied lits 252464548 3600.10/3610.12 c weakened non-implying lits 598021 3600.10/3610.12 c original variables 6120 3600.10/3610.12 c clausal propagations 262732075 3600.10/3610.12 c cardinality propagations 249901100 3600.10/3610.12 c watched propagations 63686080 3600.10/3610.12 c counting propagations 134255742 3600.10/3610.12 c watch lookups 29833710616 3600.10/3610.12 c watch backjump lookups 23530468777 3600.10/3610.12 c watch checks 283182492866 3600.10/3610.12 c propagation checks 51695578042 3600.10/3610.12 c constraint additions 4481174075 3600.10/3610.12 c trail pops 731863167 3600.10/3610.12 c formula constraints 6302 3600.10/3610.12 c learned constraints 1782861 3600.10/3610.12 c bound constraints 0 3600.10/3610.12 c core-guided constraints 0 3600.10/3610.12 c encountered formula constraints 35925801 3600.10/3610.12 c encountered learned constraints 29485850 3600.10/3610.12 c encountered bound constraints 0 3600.10/3610.12 c encountered core-guided constraints 0 3600.10/3610.12 c LP total time 750.896 s 3600.10/3610.12 c LP solve time 743.53 s 3600.10/3610.12 c LP constraints added 11487 3600.10/3610.12 c LP constraints removed 5109 3600.10/3610.12 c LP pivots internal 1786010 3600.10/3610.12 c LP pivots root 521501 3600.10/3610.12 c LP calls 351 3600.10/3610.12 c LP optimalities 166 3600.10/3610.12 c LP no pivot count 4 3600.10/3610.12 c LP infeasibilities 179 3600.10/3610.12 c LP valid Farkas constraints 178 3600.10/3610.12 c LP learned Farkas constraints 178 3600.10/3610.12 c LP basis resets 1 3600.10/3610.12 c LP cycling count 0 3600.10/3610.12 c LP singular count 0 3600.10/3610.12 c LP no primal count 0 3600.10/3610.12 c LP no farkas count 1 3600.10/3610.12 c LP other issue count 0 3600.10/3610.12 c LP Gomory cuts 0 3600.10/3610.12 c LP learned cuts 5185 3600.10/3610.12 c LP deleted cuts 5109 3600.10/3610.12 c LP encountered Gomory constraints 0 3600.10/3610.12 c LP encountered Farkas constraints 1705 3600.10/3610.12 c LP encountered learned Farkas constraints 758 3600.10/3610.12 c CG auxiliary variables introduced 0 3600.10/3610.12 c CG solutions found 0 3600.10/3610.12 c CG cores constructed 0 3600.10/3610.12 c CG core cardinality constraints returned 0 3600.10/3610.12 c CG unit cores 0 3600.10/3610.12 c CG single cores 0 3600.10/3610.12 c CG blocks removed during cardinality reduction 0 3600.10/3610.12 c CG first core best 0 3600.10/3610.12 c CG decision core best 0 3600.10/3610.12 c CG core reduction tie 0 3600.10/3610.12 c CG core degree average 0.00 3600.10/3610.12 c CG core slack average 0.00 3600.10/3610.12 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: 64096 MiB (36376 MiB free)
memory of node 1: 64473 MiB (63317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463059-1722345371/watcher-4463059-1722345371 -o /tmp/evaluation-result-4463059-1722345371/solver-4463059-1722345371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463059-1722345371 --lp-cut-gomory=0 HOME/instance-4463059-1722345371.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9827, runsolver pid=9824
[startup+0.100366 s]*
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102077932/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=46572 memory=15852 CPUtime=0.1 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 3008 0 0 0 8 2 0 0 20 0 1 0 1134755 47689728 3963 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 11643 3963 1731 992 0 3501 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46572 KiB
Current children cumulated memory: 15852 KiB
[startup+0.212636 s]*
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102075140/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=48488 memory=17172 CPUtime=0.21 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 3375 0 0 0 19 2 0 0 20 0 1 0 1134755 49651712 4293 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 12122 4293 1731 992 0 3980 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 17172 KiB
[startup+0.313343 s]*
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102072452/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=48744 memory=17700 CPUtime=0.31 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 3455 0 0 0 29 2 0 0 20 0 1 0 1134755 49913856 4425 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 12186 4425 1731 992 0 4044 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 17700 KiB
[startup+0.700335 s]
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102071468/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=49784 memory=18756 CPUtime=0.68 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 3719 0 0 0 65 3 0 0 20 0 1 0 1134755 50978816 4689 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 12446 4689 1731 992 0 4304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18756 KiB
[startup+1.50035 s]
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102068468/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=49784 memory=19132 CPUtime=1.48 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 3823 0 0 0 143 5 0 0 20 0 1 0 1134755 50978816 4783 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 12446 4783 1761 992 0 4304 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 19132 KiB
[startup+3.11417 s]
/proc/loadavg: 4.13 4.30 4.24 5/250 9828
/proc/meminfo: memFree=102047464/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=51460 memory=23868 CPUtime=3.08 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 4458 0 0 0 298 10 0 0 20 0 1 0 1134755 52695040 5967 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 12865 5967 1776 992 0 4723 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 23868 KiB
[startup+6.30032 s]
/proc/loadavg: 4.12 4.29 4.24 5/250 9828
/proc/meminfo: memFree=102014864/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=57480 memory=29308 CPUtime=6.26 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 5256 0 0 0 604 22 0 0 20 0 1 0 1134755 58859520 7327 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 14370 7327 1862 992 0 6228 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 29308 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.29 4.24 5/250 9830
/proc/meminfo: memFree=101966000/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=59004 memory=31152 CPUtime=12.65 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 5676 0 0 0 1224 41 0 0 20 0 1 0 1134755 60420096 7788 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 14751 7788 1862 992 0 6609 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59004 KiB
Current children cumulated memory: 31152 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.29 4.24 5/250 9831
/proc/meminfo: memFree=101848676/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=67984 memory=40124 CPUtime=25.41 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 7447 0 0 0 2472 69 0 0 20 0 1 0 1134755 69615616 10031 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 16996 10031 1862 992 0 8854 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67984 KiB
Current children cumulated memory: 40124 KiB
[startup+51.1141 s]
/proc/loadavg: 4.10 4.26 4.23 5/250 9836
/proc/meminfo: memFree=101538152/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=78248 memory=51212 CPUtime=50.95 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 8891 0 0 0 4974 121 0 0 20 0 1 0 1134755 80125952 12803 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 19562 12803 1862 992 0 11420 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 78248 KiB
Current children cumulated memory: 51212 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.24 4.22 5/249 9847
/proc/meminfo: memFree=101053892/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=82772 memory=55544 CPUtime=101.98 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 10184 0 0 0 9971 227 0 0 20 0 1 0 1134755 84758528 13886 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 20693 13886 1862 992 0 12551 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 82772 KiB
Current children cumulated memory: 55544 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.24 4.22 5/250 9858
/proc/meminfo: memFree=100145092/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=206788 memory=161212 CPUtime=161.8 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 15176 0 0 0 15851 329 0 0 20 0 1 0 1134755 211750912 40303 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 51697 40303 1862 992 0 43555 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 206788 KiB
Current children cumulated memory: 161212 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.21 4.21 5/249 9871
/proc/meminfo: memFree=98670980/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=218704 memory=172784 CPUtime=221.62 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 18095 0 0 0 21717 445 0 0 20 0 1 0 1134755 223952896 43196 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 54676 43196 1862 992 0 46534 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 218704 KiB
Current children cumulated memory: 172784 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.20 4.20 5/257 9892
/proc/meminfo: memFree=97131860/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=220396 memory=174632 CPUtime=281.45 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 18531 0 0 0 27601 544 0 0 20 0 1 0 1134755 225685504 43658 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 55099 43658 1862 992 0 46957 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 220396 KiB
Current children cumulated memory: 174632 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.21 4.20 5/257 9902
/proc/meminfo: memFree=94805352/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=311148 memory=208144 CPUtime=341.28 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 21293 0 0 0 33495 633 0 0 20 0 1 0 1134755 318615552 52036 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 77787 52036 1862 992 0 69645 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 311148 KiB
Current children cumulated memory: 208144 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.19 5/256 9915
/proc/meminfo: memFree=93191848/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=311796 memory=208540 CPUtime=401.09 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 21904 0 0 0 39382 727 0 0 20 0 1 0 1134755 319279104 52135 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 77949 52135 1862 992 0 69807 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 311796 KiB
Current children cumulated memory: 208540 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.19 4.19 5/256 9925
/proc/meminfo: memFree=91886812/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=312060 memory=209068 CPUtime=460.92 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 21994 0 0 0 45267 825 0 0 20 0 1 0 1134755 319549440 52267 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
################
# More data... #
################
Current children cumulated memory: 697676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/249 11827
/proc/meminfo: memFree=114706052/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=759884 memory=697744 CPUtime=2914.1 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 57298 0 0 0 287947 3463 0 0 20 0 1 0 1134755 778121216 174436 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 189971 174436 1862 992 0 181829 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 759884 KiB
Current children cumulated memory: 697744 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/248 11839
/proc/meminfo: memFree=114364516/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=760296 memory=698092 CPUtime=2973.96 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 57623 0 0 0 293891 3505 0 0 20 0 1 0 1134755 778543104 174523 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 190074 174523 1862 992 0 181932 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 760296 KiB
Current children cumulated memory: 698092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/245 11849
/proc/meminfo: memFree=114029344/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=764264 memory=701884 CPUtime=3033.81 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 58800 0 0 0 299840 3541 0 0 20 0 1 0 1134755 782606336 175471 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 191066 175471 1862 992 0 182924 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 764264 KiB
Current children cumulated memory: 701884 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/245 11861
/proc/meminfo: memFree=113708468/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=769424 memory=706092 CPUtime=3093.64 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 60762 0 0 0 305787 3577 0 0 20 0 1 0 1134755 787890176 176523 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192356 176523 1862 992 0 184214 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 769424 KiB
Current children cumulated memory: 706092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.13 4.12 5/245 11871
/proc/meminfo: memFree=113350628/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=768816 memory=705836 CPUtime=3153.46 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 61280 0 0 0 311723 3623 0 0 20 0 1 0 1134755 787267584 176459 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192204 176459 1862 992 0 184062 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 768816 KiB
Current children cumulated memory: 705836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.14 4.12 5/245 11883
/proc/meminfo: memFree=113037176/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=769216 memory=705944 CPUtime=3213.3 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 61525 0 0 0 317671 3659 0 0 20 0 1 0 1134755 787677184 176486 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192304 176486 1862 992 0 184162 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 769216 KiB
Current children cumulated memory: 705944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.61 4.26 4.16 5/248 11898
/proc/meminfo: memFree=112708704/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=771264 memory=708200 CPUtime=3273.12 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 62718 0 0 0 323600 3712 0 0 20 0 1 0 1134755 789774336 177050 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192816 177050 1862 992 0 184674 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 771264 KiB
Current children cumulated memory: 708200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.30 4.18 5/248 11909
/proc/meminfo: memFree=112367936/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=771696 memory=708576 CPUtime=3332.95 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 63468 0 0 0 329499 3796 0 0 20 0 1 0 1134755 790216704 177144 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192924 177144 1862 992 0 184782 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 708576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.25 4.18 5/248 11920
/proc/meminfo: memFree=112032612/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=771696 memory=712136 CPUtime=3392.79 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 63637 0 0 0 335411 3868 0 0 20 0 1 0 1134755 790216704 178034 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192924 178034 1862 992 0 184782 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 712136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/248 11931
/proc/meminfo: memFree=111743028/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=771696 memory=712136 CPUtime=3452.65 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 64073 0 0 0 341358 3907 0 0 20 0 1 0 1134755 790216704 178034 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 192924 178034 1862 992 0 184782 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 712136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/247 11941
/proc/meminfo: memFree=111488092/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=774092 memory=713684 CPUtime=3512.5 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 64796 0 0 0 347307 3943 0 0 20 0 1 0 1134755 792670208 178421 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 193523 178421 1862 992 0 185381 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 774092 KiB
Current children cumulated memory: 713684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/245 11954
/proc/meminfo: memFree=111233520/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=777956 memory=717160 CPUtime=3572.35 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 65923 0 0 0 353263 3972 0 0 20 0 1 0 1134755 796626944 179290 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 194489 179290 1862 992 0 186347 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 777956 KiB
Current children cumulated memory: 717160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.16 4.22 4.18 5/245 11959
/proc/meminfo: memFree=111111300/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=780008 memory=718672 CPUtime=3600.1 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 66487 0 0 0 356028 3982 0 0 20 0 1 0 1134755 798728192 179668 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 195002 179668 1862 992 0 186860 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 780008 KiB
Current children cumulated memory: 718672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 9827 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.29 s, system=39.8251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.16 4.22 4.18 5/245 11959
/proc/meminfo: memFree=111111300/131655788 swapFree=131071996/131071996
[pid=9827] ppid=9824 vsize=780008 memory=718672 CPUtime=3600.1 cores=1,3
/proc/9827/stat : 9827 (roundingsat) R 9824 9827 6885 0 -1 4194304 66487 0 0 0 356028 3982 0 0 20 0 1 0 1134755 798728192 179668 134679101440 4194304 8255733 140737184042976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14123008 140737184052062 140737184052324 140737184052324 140737184059337 0
/proc/9827/statm: 195002 179668 1862 992 0 186860 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 780008 KiB
Current children cumulated memory: 718672 KiB
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.12
CPU user time (s): 3560.29
CPU system time (s): 39.8251
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 780008
Max. memory (cumulated for all children) (KiB): 718672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.29
system time used= 39.8251
maximum resident set size= 718672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9320552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 4714
# summary of solver processes directly reported to runsolver:
# pid: 9827
# total CPU time (s): 3600.12
# total CPU user time (s): 3560.29
# total CPU system time (s): 39.8251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6625 second user time and 38.0376 second system time
The end
Begin job on nodeC009 at 2024-07-30 15:16:11 IDJOB=4463059 IDBENCH=158339 IDSOLVER=3089 FILE ID=nodeC009/4463059-1722345371 RUNJOBID= nodeC009-1722340763-6897 SLURM_JOB_ID= 8248989 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.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-4463059-1722345371/watcher-4463059-1722345371 -o /tmp/evaluation-result-4463059-1722345371/solver-4463059-1722345371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463059-1722345371 --lp-cut-gomory=0 HOME/instance-4463059-1722345371.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418 RANDOM SEED=768974306 nodeC009.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 : 0xb00001f cpu MHz : 3665.976 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.261 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.334 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1396.801 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 3617.203 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 3585.019 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.265 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.266 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 102086028 kB MemAvailable: 126798640 kB Buffers: 47072 kB Cached: 25476036 kB SwapCached: 0 kB Active: 158496 kB Inactive: 28923616 kB Active(anon): 1496 kB Inactive(anon): 3578864 kB Active(file): 157000 kB Inactive(file): 25344752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 145500 kB Writeback: 22064 kB AnonPages: 3555220 kB Mapped: 97948 kB Shmem: 21320 kB KReclaimable: 102120 kB Slab: 182208 kB SReclaimable: 102120 kB SUnreclaim: 80088 kB KernelStack: 4032 kB PageTables: 16400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4406920 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 1566720 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: 240456 kB DirectMap2M: 7004160 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723756 MiB End job on nodeC009 at 2024-07-30 16:16:22