| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.05 | 3612.01 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb |
| MD5SUM | a76247625d06f26dbfcd47fe69513f4b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5508 |
| Total number of constraints | 5672 |
| Number of constraints which are clauses | 5591 |
| Number of constraints which are cardinality constraints (but not clauses) | 81 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| 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 | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 5508 #constraints 5672 31.08/31.22 c #Conflicts: 1000 | #Constraints: 6671 31.08/31.22 c #Conflicts: 2000 | #Constraints: 7671 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 3000 | #Constraints: 7249 31.08/31.22 c #Conflicts: 4000 | #Constraints: 8249 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 5000 | #Constraints: 7712 31.08/31.22 c #Conflicts: 6000 | #Constraints: 8713 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 7000 | #Constraints: 7748 31.08/31.22 c #Conflicts: 8000 | #Constraints: 8748 31.08/31.22 c #Conflicts: 9000 | #Constraints: 9748 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 10000 | #Constraints: 8496 31.08/31.22 c #Conflicts: 11000 | #Constraints: 9496 31.08/31.22 c #Conflicts: 12000 | #Constraints: 10496 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 13000 | #Constraints: 8984 31.08/31.22 c #Conflicts: 14000 | #Constraints: 9984 31.08/31.22 c #Conflicts: 15000 | #Constraints: 10984 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 16000 | #Constraints: 9258 31.08/31.22 c #Conflicts: 17000 | #Constraints: 10258 31.08/31.22 c #Conflicts: 18000 | #Constraints: 11258 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 19000 | #Constraints: 9293 31.08/31.22 c #Conflicts: 20000 | #Constraints: 10293 31.08/31.22 c #Conflicts: 21000 | #Constraints: 11294 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 22000 | #Constraints: 9129 31.08/31.22 c #Conflicts: 23000 | #Constraints: 10129 31.08/31.22 c #Conflicts: 24000 | #Constraints: 11129 31.08/31.22 c #Conflicts: 25000 | #Constraints: 12129 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c #Conflicts: 26000 | #Constraints: 9740 31.08/31.22 c #Conflicts: 27000 | #Constraints: 10740 31.08/31.22 c #Conflicts: 28000 | #Constraints: 11740 31.08/31.22 c #Conflicts: 29000 | #Constraints: 12740 31.08/31.22 c INPROCESSING 31.08/31.22 c GARBAGE COLLECT 31.08/31.22 c rational objective 81 33.68/33.88 c #Conflicts: 30000 | #Constraints: 10148 33.68/33.88 c #Conflicts: 31000 | #Constraints: 11148 33.68/33.88 c #Conflicts: 32000 | #Constraints: 12148 33.68/33.88 c #Conflicts: 33000 | #Constraints: 13148 33.68/33.88 c INPROCESSING 33.68/33.88 c GARBAGE COLLECT 33.68/33.88 c rational objective 81 38.15/38.37 c #Conflicts: 34000 | #Constraints: 10379 38.15/38.37 c #Conflicts: 35000 | #Constraints: 11379 38.15/38.37 c #Conflicts: 36000 | #Constraints: 12379 38.15/38.37 c #Conflicts: 37000 | #Constraints: 13379 38.15/38.37 c INPROCESSING 38.15/38.37 c GARBAGE COLLECT 38.15/38.37 c rational objective 81 152.78/153.37 c #Conflicts: 38000 | #Constraints: 10417 152.78/153.37 c #Conflicts: 39000 | #Constraints: 11417 152.78/153.37 c #Conflicts: 40000 | #Constraints: 12418 152.78/153.37 c #Conflicts: 41000 | #Constraints: 13418 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 42000 | #Constraints: 10217 152.78/153.37 c #Conflicts: 43000 | #Constraints: 11217 152.78/153.37 c #Conflicts: 44000 | #Constraints: 12217 152.78/153.37 c #Conflicts: 45000 | #Constraints: 13217 152.78/153.37 c #Conflicts: 46000 | #Constraints: 14217 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 47000 | #Constraints: 10811 152.78/153.37 c #Conflicts: 48000 | #Constraints: 11811 152.78/153.37 c #Conflicts: 49000 | #Constraints: 12811 152.78/153.37 c #Conflicts: 50000 | #Constraints: 13811 152.78/153.37 c #Conflicts: 51000 | #Constraints: 14811 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 52000 | #Constraints: 11219 152.78/153.37 c #Conflicts: 53000 | #Constraints: 12219 152.78/153.37 c #Conflicts: 54000 | #Constraints: 13219 152.78/153.37 c #Conflicts: 55000 | #Constraints: 14219 152.78/153.37 c #Conflicts: 56000 | #Constraints: 15220 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 57000 | #Constraints: 11425 152.78/153.37 c #Conflicts: 58000 | #Constraints: 12425 152.78/153.37 c #Conflicts: 59000 | #Constraints: 13425 152.78/153.37 c #Conflicts: 60000 | #Constraints: 14426 152.78/153.37 c #Conflicts: 61000 | #Constraints: 15426 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 62000 | #Constraints: 11449 152.78/153.37 c #Conflicts: 63000 | #Constraints: 12449 152.78/153.37 c #Conflicts: 64000 | #Constraints: 13449 152.78/153.37 c #Conflicts: 65000 | #Constraints: 14449 152.78/153.37 c #Conflicts: 66000 | #Constraints: 15450 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 67000 | #Constraints: 11269 152.78/153.37 c #Conflicts: 68000 | #Constraints: 12269 152.78/153.37 c #Conflicts: 69000 | #Constraints: 13269 152.78/153.37 c #Conflicts: 70000 | #Constraints: 14270 152.78/153.37 c #Conflicts: 71000 | #Constraints: 15272 152.78/153.37 c #Conflicts: 72000 | #Constraints: 16274 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 73000 | #Constraints: 11905 152.78/153.37 c #Conflicts: 74000 | #Constraints: 12905 152.78/153.37 c #Conflicts: 75000 | #Constraints: 13906 152.78/153.37 c #Conflicts: 76000 | #Constraints: 14908 152.78/153.37 c #Conflicts: 77000 | #Constraints: 15910 152.78/153.37 c #Conflicts: 78000 | #Constraints: 16913 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 79000 | #Constraints: 12352 152.78/153.37 c #Conflicts: 80000 | #Constraints: 13356 152.78/153.37 c #Conflicts: 81000 | #Constraints: 14356 152.78/153.37 c #Conflicts: 82000 | #Constraints: 15358 152.78/153.37 c #Conflicts: 83000 | #Constraints: 16358 152.78/153.37 c #Conflicts: 84000 | #Constraints: 17358 152.78/153.37 c INPROCESSING 152.78/153.37 c GARBAGE COLLECT 152.78/153.37 c #Conflicts: 85000 | #Constraints: 12554 152.78/153.37 c #Conflicts: 86000 | #Constraints: 13554 152.78/153.37 c #Conflicts: 87000 | #Constraints: 14554 152.78/153.37 c #Conflicts: 88000 | #Constraints: 15555 152.78/153.37 c #Conflicts: 89000 | #Constraints: 16559 152.78/153.37 c #Conflicts: 90000 | #Constraints: 17561 152.78/153.37 c #Conflicts: 91000 | #Constraints: 18562 152.78/153.37 c #Conflicts: 92000 | #Constraints: 19562 152.78/153.37 c #Conflicts: 93000 | #Constraints: 20562 152.78/153.37 c #Conflicts: 94000 | #Constraints: 21562 152.78/153.37 c #Conflicts: 95000 | #Constraints: 22562 152.78/153.37 c #Conflicts: 96000 | #Constraints: 23562 152.78/153.37 c #Conflicts: 97000 | #Constraints: 24562 152.78/153.37 c #Conflicts: 98000 | #Constraints: 25562 152.78/153.37 c #Conflicts: 99000 | #Constraints: 26562 152.78/153.37 c #Conflicts: 100000 | #Constraints: 27562 152.78/153.37 c #Conflicts: 101000 | #Constraints: 28562 152.78/153.37 c #Conflicts: 102000 | #Constraints: 29563 152.78/153.37 c #Conflicts: 103000 | #Constraints: 30563 152.78/153.37 c #Conflicts: 104000 | #Constraints: 31563 152.78/153.37 c #Conflicts: 105000 | #Constraints: 32563 152.78/153.37 c #Conflicts: 106000 | #Constraints: 33563 152.78/153.37 c #Conflicts: 107000 | #Constraints: 34564 152.78/153.37 c #Conflicts: 108000 | #Constraints: 35565 152.78/153.37 c #Conflicts: 109000 | #Constraints: 36566 152.78/153.37 c #Conflicts: 110000 | #Constraints: 37566 152.78/153.37 c INPROCESSING 192.75/193.41 c GARBAGE COLLECT 192.75/193.41 c #Conflicts: 111000 | #Constraints: 22672 192.75/193.41 c #Conflicts: 112000 | #Constraints: 23672 192.75/193.41 c #Conflicts: 113000 | #Constraints: 24672 192.75/193.41 c #Conflicts: 114000 | #Constraints: 25672 192.75/193.41 c #Conflicts: 115000 | #Constraints: 26672 192.75/193.41 c #Conflicts: 116000 | #Constraints: 27672 192.75/193.41 c #Conflicts: 117000 | #Constraints: 28672 192.75/193.41 c INPROCESSING 192.75/193.41 c GARBAGE COLLECT 192.75/193.41 c #Conflicts: 118000 | #Constraints: 18064 192.75/193.41 c #Conflicts: 119000 | #Constraints: 19064 192.75/193.41 c #Conflicts: 120000 | #Constraints: 20064 192.75/193.41 c #Conflicts: 121000 | #Constraints: 21065 192.75/193.41 c #Conflicts: 122000 | #Constraints: 22066 192.75/193.41 c #Conflicts: 123000 | #Constraints: 23066 192.75/193.41 c #Conflicts: 124000 | #Constraints: 24066 192.75/193.41 c INPROCESSING 192.75/193.41 c GARBAGE COLLECT 192.75/193.41 c #Conflicts: 125000 | #Constraints: 15532 192.75/193.41 c #Conflicts: 126000 | #Constraints: 16532 192.75/193.41 c #Conflicts: 127000 | #Constraints: 17532 192.75/193.41 c #Conflicts: 128000 | #Constraints: 18534 192.75/193.41 c #Conflicts: 129000 | #Constraints: 19534 192.75/193.41 c #Conflicts: 130000 | #Constraints: 20534 192.75/193.41 c #Conflicts: 131000 | #Constraints: 21534 192.75/193.41 c #Conflicts: 132000 | #Constraints: 22534 192.75/193.41 c INPROCESSING 192.75/193.41 c GARBAGE COLLECT 192.75/193.41 c rational objective 81 341.26/342.41 c #Conflicts: 133000 | #Constraints: 14921 341.26/342.41 c #Conflicts: 134000 | #Constraints: 15921 341.26/342.41 c #Conflicts: 135000 | #Constraints: 16921 341.26/342.41 c #Conflicts: 136000 | #Constraints: 17921 341.26/342.41 c #Conflicts: 137000 | #Constraints: 18921 341.26/342.41 c #Conflicts: 138000 | #Constraints: 19921 341.26/342.41 c #Conflicts: 139000 | #Constraints: 20922 341.26/342.41 c #Conflicts: 140000 | #Constraints: 21922 341.26/342.41 c INPROCESSING 341.26/342.41 c GARBAGE COLLECT 341.26/342.41 c #Conflicts: 141000 | #Constraints: 14684 341.26/342.41 c #Conflicts: 142000 | #Constraints: 15684 341.26/342.41 c #Conflicts: 143000 | #Constraints: 16684 341.26/342.41 c #Conflicts: 144000 | #Constraints: 17685 341.26/342.41 c #Conflicts: 145000 | #Constraints: 18693 341.26/342.41 c #Conflicts: 146000 | #Constraints: 19702 341.26/342.41 c #Conflicts: 147000 | #Constraints: 20718 341.26/342.41 c #Conflicts: 148000 | #Constraints: 21718 341.26/342.41 c INPROCESSING 341.26/342.41 c GARBAGE COLLECT 341.26/342.41 c #Conflicts: 149000 | #Constraints: 14585 341.26/342.41 c #Conflicts: 150000 | #Constraints: 15585 341.26/342.41 c #Conflicts: 151000 | #Constraints: 16585 341.26/342.41 c #Conflicts: 152000 | #Constraints: 17585 341.26/342.41 c #Conflicts: 153000 | #Constraints: 18585 341.26/342.41 c #Conflicts: 154000 | #Constraints: 19586 341.26/342.41 c #Conflicts: 155000 | #Constraints: 20586 341.26/342.41 c #Conflicts: 156000 | #Constraints: 21586 341.26/342.41 c #Conflicts: 157000 | #Constraints: 22586 341.26/342.41 c #Conflicts: 158000 | #Constraints: 23586 341.26/342.41 c #Conflicts: 159000 | #Constraints: 24588 341.26/342.41 c #Conflicts: 160000 | #Constraints: 25589 341.26/342.41 c #Conflicts: 161000 | #Constraints: 26590 341.26/342.41 c #Conflicts: 162000 | #Constraints: 27592 341.26/342.41 c #Conflicts: 163000 | #Constraints: 28592 341.26/342.41 c #Conflicts: 164000 | #Constraints: 29592 341.26/342.41 c #Conflicts: 165000 | #Constraints: 30592 341.26/342.41 c #Conflicts: 166000 | #Constraints: 31592 341.26/342.41 c #Conflicts: 167000 | #Constraints: 32592 341.26/342.41 c #Conflicts: 168000 | #Constraints: 33593 341.26/342.41 c #Conflicts: 169000 | #Constraints: 34594 341.26/342.41 c #Conflicts: 170000 | #Constraints: 35595 341.26/342.41 c #Conflicts: 171000 | #Constraints: 36595 341.26/342.41 c #Conflicts: 172000 | #Constraints: 37595 341.26/342.41 c #Conflicts: 173000 | #Constraints: 38595 341.26/342.41 c #Conflicts: 174000 | #Constraints: 39596 341.26/342.41 c #Conflicts: 175000 | #Constraints: 40596 341.26/342.41 c #Conflicts: 176000 | #Constraints: 41596 341.26/342.41 c #Conflicts: 177000 | #Constraints: 42596 341.26/342.41 c #Conflicts: 178000 | #Constraints: 43596 341.26/342.41 c #Conflicts: 179000 | #Constraints: 44596 341.26/342.41 c #Conflicts: 180000 | #Constraints: 45596 341.26/342.41 c #Conflicts: 181000 | #Constraints: 46596 341.26/342.41 c #Conflicts: 182000 | #Constraints: 47597 341.26/342.41 c INPROCESSING 341.26/342.41 c GARBAGE COLLECT 341.26/342.41 c #Conflicts: 183000 | #Constraints: 27770 341.26/342.41 c #Conflicts: 184000 | #Constraints: 28770 341.26/342.41 c #Conflicts: 185000 | #Constraints: 29770 341.26/342.41 c #Conflicts: 186000 | #Constraints: 30770 341.26/342.41 c #Conflicts: 187000 | #Constraints: 31770 341.26/342.41 c #Conflicts: 188000 | #Constraints: 32770 341.26/342.41 c #Conflicts: 189000 | #Constraints: 33771 341.26/342.41 c #Conflicts: 190000 | #Constraints: 34771 341.26/342.41 c #Conflicts: 191000 | #Constraints: 35771 341.26/342.41 c INPROCESSING 341.26/342.41 c GARBAGE COLLECT 341.26/342.41 c #Conflicts: 192000 | #Constraints: 21633 341.26/342.41 c #Conflicts: 193000 | #Constraints: 22633 341.26/342.41 c #Conflicts: 194000 | #Constraints: 23633 341.26/342.41 c #Conflicts: 195000 | #Constraints: 24634 341.26/342.41 c #Conflicts: 196000 | #Constraints: 25634 341.26/342.41 c #Conflicts: 197000 | #Constraints: 26635 341.26/342.41 c #Conflicts: 198000 | #Constraints: 27636 341.26/342.41 c #Conflicts: 199000 | #Constraints: 28638 341.26/342.41 c #Conflicts: 200000 | #Constraints: 29638 341.26/342.41 c #Conflicts: 201000 | #Constraints: 30638 341.26/342.41 c INPROCESSING 341.26/342.41 c GARBAGE COLLECT 341.26/342.41 c #Conflicts: 202000 | #Constraints: 19269 341.26/342.41 c #Conflicts: 203000 | #Constraints: 20269 341.26/342.41 c #Conflicts: 204000 | #Constraints: 21269 341.26/342.41 c #Conflicts: 205000 | #Constraints: 22269 341.26/342.41 c #Conflicts: 206000 | #Constraints: 23269 341.26/342.41 c #Conflicts: 207000 | #Constraints: 24269 341.26/342.41 c #Conflicts: 208000 | #Constraints: 25269 434.34/435.87 c #Conflicts: 209000 | #Constraints: 26269 434.34/435.87 c #Conflicts: 210000 | #Constraints: 27269 434.34/435.87 c INPROCESSING 434.34/435.87 c GARBAGE COLLECT 434.34/435.87 c #Conflicts: 211000 | #Constraints: 17205 434.34/435.87 c #Conflicts: 212000 | #Constraints: 18205 434.34/435.87 c #Conflicts: 213000 | #Constraints: 19206 434.34/435.87 c #Conflicts: 214000 | #Constraints: 20207 434.34/435.87 c #Conflicts: 215000 | #Constraints: 21208 434.34/435.87 c #Conflicts: 216000 | #Constraints: 22213 434.34/435.87 c #Conflicts: 217000 | #Constraints: 23213 434.34/435.87 c #Conflicts: 218000 | #Constraints: 24213 434.34/435.87 c #Conflicts: 219000 | #Constraints: 25213 434.34/435.87 c #Conflicts: 220000 | #Constraints: 26213 434.34/435.87 c INPROCESSING 434.34/435.87 c GARBAGE COLLECT 434.34/435.87 c #Conflicts: 221000 | #Constraints: 16711 434.34/435.87 c #Conflicts: 222000 | #Constraints: 17712 434.34/435.87 c #Conflicts: 223000 | #Constraints: 18712 434.34/435.87 c #Conflicts: 224000 | #Constraints: 19712 434.34/435.87 c #Conflicts: 225000 | #Constraints: 20712 434.34/435.87 c #Conflicts: 226000 | #Constraints: 21713 434.34/435.87 c #Conflicts: 227000 | #Constraints: 22714 434.34/435.87 c #Conflicts: 228000 | #Constraints: 23715 434.34/435.87 c #Conflicts: 229000 | #Constraints: 24715 434.34/435.87 c #Conflicts: 230000 | #Constraints: 25715 434.34/435.87 c #Conflicts: 231000 | #Constraints: 26715 434.34/435.87 c #Conflicts: 232000 | #Constraints: 27715 434.34/435.87 c #Conflicts: 233000 | #Constraints: 28715 434.34/435.87 c #Conflicts: 234000 | #Constraints: 29715 434.34/435.87 c #Conflicts: 235000 | #Constraints: 30715 434.34/435.87 c #Conflicts: 236000 | #Constraints: 31715 434.34/435.87 c #Conflicts: 237000 | #Constraints: 32715 434.34/435.87 c #Conflicts: 238000 | #Constraints: 33716 434.34/435.87 c #Conflicts: 239000 | #Constraints: 34716 434.34/435.87 c #Conflicts: 240000 | #Constraints: 35716 434.34/435.87 c #Conflicts: 241000 | #Constraints: 36716 434.34/435.87 c #Conflicts: 242000 | #Constraints: 37716 434.34/435.87 c #Conflicts: 243000 | #Constraints: 38716 434.34/435.87 c #Conflicts: 244000 | #Constraints: 39716 434.34/435.87 c #Conflicts: 245000 | #Constraints: 40717 434.34/435.87 c #Conflicts: 246000 | #Constraints: 41718 434.34/435.87 c #Conflicts: 247000 | #Constraints: 42718 434.34/435.87 c #Conflicts: 248000 | #Constraints: 43718 434.34/435.87 c #Conflicts: 249000 | #Constraints: 44718 434.34/435.87 c #Conflicts: 250000 | #Constraints: 45718 434.34/435.87 c #Conflicts: 251000 | #Constraints: 46718 434.34/435.87 c #Conflicts: 252000 | #Constraints: 47718 434.34/435.87 c #Conflicts: 253000 | #Constraints: 48718 434.34/435.87 c #Conflicts: 254000 | #Constraints: 49718 434.34/435.87 c #Conflicts: 255000 | #Constraints: 50718 434.34/435.87 c #Conflicts: 256000 | #Constraints: 51718 434.34/435.87 c #Conflicts: 257000 | #Constraints: 52718 434.34/435.87 c #Conflicts: 258000 | #Constraints: 53718 434.34/435.87 c #Conflicts: 259000 | #Constraints: 54718 434.34/435.87 c #Conflicts: 260000 | #Constraints: 55718 434.34/435.87 c INPROCESSING 434.34/435.87 c GARBAGE COLLECT 434.34/435.87 c #Conflicts: 261000 | #Constraints: 31480 434.34/435.87 c #Conflicts: 262000 | #Constraints: 32480 434.34/435.87 c #Conflicts: 263000 | #Constraints: 33481 434.34/435.87 c #Conflicts: 264000 | #Constraints: 34481 434.34/435.87 c #Conflicts: 265000 | #Constraints: 35481 434.34/435.87 c #Conflicts: 266000 | #Constraints: 36481 434.34/435.87 c #Conflicts: 267000 | #Constraints: 37481 434.34/435.87 c #Conflicts: 268000 | #Constraints: 38481 434.34/435.87 c #Conflicts: 269000 | #Constraints: 39481 434.34/435.87 c #Conflicts: 270000 | #Constraints: 40482 434.34/435.87 c #Conflicts: 271000 | #Constraints: 41482 434.34/435.87 c #Conflicts: 272000 | #Constraints: 42482 434.34/435.87 c INPROCESSING 434.34/435.87 c GARBAGE COLLECT 434.34/435.87 c #Conflicts: 273000 | #Constraints: 25276 434.34/435.87 c #Conflicts: 274000 | #Constraints: 26276 434.34/435.87 c #Conflicts: 275000 | #Constraints: 27276 434.34/435.87 c #Conflicts: 276000 | #Constraints: 28276 434.34/435.87 c #Conflicts: 277000 | #Constraints: 29276 434.34/435.87 c #Conflicts: 278000 | #Constraints: 30276 434.34/435.87 c #Conflicts: 279000 | #Constraints: 31276 434.34/435.87 c #Conflicts: 280000 | #Constraints: 32276 434.34/435.87 c #Conflicts: 281000 | #Constraints: 33276 434.34/435.87 c #Conflicts: 282000 | #Constraints: 34276 434.34/435.87 c #Conflicts: 283000 | #Constraints: 35276 434.34/435.87 c INPROCESSING 434.34/435.87 c GARBAGE COLLECT 434.34/435.87 c #Conflicts: 284000 | #Constraints: 21384 461.95/463.52 c #Conflicts: 285000 | #Constraints: 22384 461.95/463.52 c #Conflicts: 286000 | #Constraints: 23385 461.95/463.52 c #Conflicts: 287000 | #Constraints: 24385 461.95/463.52 c #Conflicts: 288000 | #Constraints: 25385 461.95/463.52 c #Conflicts: 289000 | #Constraints: 26385 461.95/463.52 c #Conflicts: 290000 | #Constraints: 27385 461.95/463.52 c #Conflicts: 291000 | #Constraints: 28386 461.95/463.52 c #Conflicts: 292000 | #Constraints: 29386 461.95/463.52 c #Conflicts: 293000 | #Constraints: 30386 461.95/463.52 c #Conflicts: 294000 | #Constraints: 31386 461.95/463.52 c #Conflicts: 295000 | #Constraints: 32386 461.95/463.52 c INPROCESSING 461.95/463.52 c GARBAGE COLLECT 461.95/463.52 c #Conflicts: 296000 | #Constraints: 20147 461.95/463.52 c #Conflicts: 297000 | #Constraints: 21147 461.95/463.52 c #Conflicts: 298000 | #Constraints: 22147 461.95/463.52 c #Conflicts: 299000 | #Constraints: 23147 461.95/463.52 c #Conflicts: 300000 | #Constraints: 24147 461.95/463.52 c #Conflicts: 301000 | #Constraints: 25147 461.95/463.52 c #Conflicts: 302000 | #Constraints: 26148 461.95/463.52 c #Conflicts: 303000 | #Constraints: 27148 461.95/463.52 c #Conflicts: 304000 | #Constraints: 28149 461.95/463.52 c #Conflicts: 305000 | #Constraints: 29149 461.95/463.52 c #Conflicts: 306000 | #Constraints: 30150 461.95/463.52 c #Conflicts: 307000 | #Constraints: 31150 461.95/463.52 c INPROCESSING 461.95/463.52 c GARBAGE COLLECT 461.95/463.52 c rational objective 81 541.67/543.53 c #Conflicts: 308000 | #Constraints: 19548 541.67/543.53 c #Conflicts: 309000 | #Constraints: 20548 541.67/543.53 c #Conflicts: 310000 | #Constraints: 21548 541.67/543.53 c #Conflicts: 311000 | #Constraints: 22548 541.67/543.53 c #Conflicts: 312000 | #Constraints: 23548 541.67/543.53 c #Conflicts: 313000 | #Constraints: 24548 541.67/543.53 c #Conflicts: 314000 | #Constraints: 25549 541.67/543.53 c #Conflicts: 315000 | #Constraints: 26549 541.67/543.53 c #Conflicts: 316000 | #Constraints: 27549 541.67/543.53 c #Conflicts: 317000 | #Constraints: 28549 541.67/543.53 c #Conflicts: 318000 | #Constraints: 29549 541.67/543.53 c #Conflicts: 319000 | #Constraints: 30549 541.67/543.53 c #Conflicts: 320000 | #Constraints: 31549 541.67/543.53 c #Conflicts: 321000 | #Constraints: 32549 541.67/543.53 c #Conflicts: 322000 | #Constraints: 33549 541.67/543.53 c #Conflicts: 323000 | #Constraints: 34550 541.67/543.53 c #Conflicts: 324000 | #Constraints: 35550 541.67/543.53 c #Conflicts: 325000 | #Constraints: 36550 541.67/543.53 c #Conflicts: 326000 | #Constraints: 37550 541.67/543.53 c #Conflicts: 327000 | #Constraints: 38550 541.67/543.53 c #Conflicts: 328000 | #Constraints: 39550 541.67/543.53 c #Conflicts: 329000 | #Constraints: 40550 541.67/543.53 c #Conflicts: 330000 | #Constraints: 41550 541.67/543.53 c #Conflicts: 331000 | #Constraints: 42550 541.67/543.53 c #Conflicts: 332000 | #Constraints: 43550 541.67/543.53 c #Conflicts: 333000 | #Constraints: 44550 541.67/543.53 c #Conflicts: 334000 | #Constraints: 45551 541.67/543.53 c #Conflicts: 335000 | #Constraints: 46551 541.67/543.53 c #Conflicts: 336000 | #Constraints: 47551 541.67/543.53 c #Conflicts: 337000 | #Constraints: 48551 541.67/543.53 c #Conflicts: 338000 | #Constraints: 49551 541.67/543.53 c #Conflicts: 339000 | #Constraints: 50551 541.67/543.53 c #Conflicts: 340000 | #Constraints: 51551 541.67/543.53 c #Conflicts: 341000 | #Constraints: 52552 541.67/543.53 c #Conflicts: 342000 | #Constraints: 53552 541.67/543.53 c #Conflicts: 343000 | #Constraints: 54552 541.67/543.53 c #Conflicts: 344000 | #Constraints: 55552 541.67/543.53 c #Conflicts: 345000 | #Constraints: 56552 541.67/543.53 c #Conflicts: 346000 | #Constraints: 57552 541.67/543.53 c #Conflicts: 347000 | #Constraints: 58552 541.67/543.53 c #Conflicts: 348000 | #Constraints: 59552 541.67/543.53 c #Conflicts: 349000 | #Constraints: 60553 541.67/543.53 c #Conflicts: 350000 | #Constraints: 61553 541.67/543.53 c #Conflicts: 351000 | #Constraints: 62553 541.67/543.53 c #Conflicts: 352000 | #Constraints: 63553 541.67/543.53 c #Conflicts: 353000 | #Constraints: 64553 541.67/543.53 c INPROCESSING 541.67/543.53 c GARBAGE COLLECT 541.67/543.53 c rational objective 81 562.80/564.76 c #Conflicts: 354000 | #Constraints: 36117 562.80/564.76 c #Conflicts: 355000 | #Constraints: 37117 562.80/564.76 c #Conflicts: 356000 | #Constraints: 38117 562.80/564.76 c #Conflicts: 357000 | #Constraints: 39117 562.80/564.76 c #Conflicts: 358000 | #Constraints: 40117 562.80/564.76 c #Conflicts: 359000 | #Constraints: 41117 562.80/564.76 c #Conflicts: 360000 | #Constraints: 42117 562.80/564.76 c #Conflicts: 361000 | #Constraints: 43118 562.80/564.76 c #Conflicts: 362000 | #Constraints: 44118 562.80/564.76 c #Conflicts: 363000 | #Constraints: 45119 562.80/564.76 c #Conflicts: 364000 | #Constraints: 46119 562.80/564.76 c #Conflicts: 365000 | #Constraints: 47120 562.80/564.76 c #Conflicts: 366000 | #Constraints: 48120 562.80/564.76 c INPROCESSING 562.80/564.76 c GARBAGE COLLECT 562.80/564.76 c rational objective 81 583.93/585.98 c #Conflicts: 367000 | #Constraints: 27817 583.93/585.98 c #Conflicts: 368000 | #Constraints: 28817 583.93/585.98 c #Conflicts: 369000 | #Constraints: 29817 583.93/585.98 c #Conflicts: 370000 | #Constraints: 30817 583.93/585.98 c #Conflicts: 371000 | #Constraints: 31817 583.93/585.98 c #Conflicts: 372000 | #Constraints: 32817 583.93/585.98 c #Conflicts: 373000 | #Constraints: 33817 583.93/585.98 c #Conflicts: 374000 | #Constraints: 34817 583.93/585.98 c #Conflicts: 375000 | #Constraints: 35817 583.93/585.98 c #Conflicts: 376000 | #Constraints: 36819 583.93/585.98 c #Conflicts: 377000 | #Constraints: 37819 583.93/585.98 c #Conflicts: 378000 | #Constraints: 38819 583.93/585.98 c #Conflicts: 379000 | #Constraints: 39819 583.93/585.98 c #Conflicts: 380000 | #Constraints: 40820 583.93/585.98 c INPROCESSING 583.93/585.98 c GARBAGE COLLECT 583.93/585.98 c rational objective 81 613.33/615.44 c #Conflicts: 381000 | #Constraints: 24431 613.33/615.44 c #Conflicts: 382000 | #Constraints: 25431 613.33/615.44 c #Conflicts: 383000 | #Constraints: 26431 613.33/615.44 c #Conflicts: 384000 | #Constraints: 27431 613.33/615.44 c #Conflicts: 385000 | #Constraints: 28431 613.33/615.44 c #Conflicts: 386000 | #Constraints: 29432 613.33/615.44 c #Conflicts: 387000 | #Constraints: 30433 613.33/615.44 c #Conflicts: 388000 | #Constraints: 31433 613.33/615.44 c #Conflicts: 389000 | #Constraints: 32434 613.33/615.44 c #Conflicts: 390000 | #Constraints: 33434 613.33/615.44 c #Conflicts: 391000 | #Constraints: 34434 613.33/615.44 c #Conflicts: 392000 | #Constraints: 35434 613.33/615.44 c #Conflicts: 393000 | #Constraints: 36435 613.33/615.44 c INPROCESSING 613.33/615.44 c GARBAGE COLLECT 613.33/615.44 c rational objective 81 632.57/634.78 c #Conflicts: 394000 | #Constraints: 21917 632.57/634.78 c #Conflicts: 395000 | #Constraints: 22917 632.57/634.78 c #Conflicts: 396000 | #Constraints: 23917 632.57/634.78 c #Conflicts: 397000 | #Constraints: 24917 632.57/634.78 c #Conflicts: 398000 | #Constraints: 25917 632.57/634.78 c #Conflicts: 399000 | #Constraints: 26917 632.57/634.78 c #Conflicts: 400000 | #Constraints: 27917 632.57/634.78 c #Conflicts: 401000 | #Constraints: 28918 632.57/634.78 c #Conflicts: 402000 | #Constraints: 29918 632.57/634.78 c #Conflicts: 403000 | #Constraints: 30918 632.57/634.78 c #Conflicts: 404000 | #Constraints: 31919 632.57/634.78 c #Conflicts: 405000 | #Constraints: 32919 632.57/634.78 c #Conflicts: 406000 | #Constraints: 33919 632.57/634.78 c #Conflicts: 407000 | #Constraints: 34919 632.57/634.78 c INPROCESSING 632.57/634.78 c GARBAGE COLLECT 632.57/634.78 c rational objective 81 717.87/720.38 c #Conflicts: 408000 | #Constraints: 21286 717.87/720.38 c #Conflicts: 409000 | #Constraints: 22286 717.87/720.38 c #Conflicts: 410000 | #Constraints: 23286 717.87/720.38 c #Conflicts: 411000 | #Constraints: 24287 717.87/720.38 c #Conflicts: 412000 | #Constraints: 25287 717.87/720.38 c #Conflicts: 413000 | #Constraints: 26287 717.87/720.38 c #Conflicts: 414000 | #Constraints: 27287 717.87/720.38 c #Conflicts: 415000 | #Constraints: 28287 717.87/720.38 c #Conflicts: 416000 | #Constraints: 29287 717.87/720.38 c #Conflicts: 417000 | #Constraints: 30287 717.87/720.38 c #Conflicts: 418000 | #Constraints: 31287 717.87/720.38 c #Conflicts: 419000 | #Constraints: 32287 717.87/720.38 c #Conflicts: 420000 | #Constraints: 33287 717.87/720.38 c #Conflicts: 421000 | #Constraints: 34287 717.87/720.38 c #Conflicts: 422000 | #Constraints: 35287 717.87/720.38 c #Conflicts: 423000 | #Constraints: 36287 717.87/720.38 c #Conflicts: 424000 | #Constraints: 37287 717.87/720.38 c #Conflicts: 425000 | #Constraints: 38288 717.87/720.38 c #Conflicts: 426000 | #Constraints: 39289 717.87/720.38 c #Conflicts: 427000 | #Constraints: 40290 717.87/720.38 c #Conflicts: 428000 | #Constraints: 41290 717.87/720.38 c #Conflicts: 429000 | #Constraints: 42291 717.87/720.38 c #Conflicts: 430000 | #Constraints: 43291 717.87/720.38 c #Conflicts: 431000 | #Constraints: 44292 717.87/720.38 c #Conflicts: 432000 | #Constraints: 45293 717.87/720.38 c #Conflicts: 433000 | #Constraints: 46294 717.87/720.38 c #Conflicts: 434000 | #Constraints: 47294 717.87/720.38 c #Conflicts: 435000 | #Constraints: 48294 717.87/720.38 c #Conflicts: 436000 | #Constraints: 49294 717.87/720.38 c #Conflicts: 437000 | #Constraints: 50294 717.87/720.38 c #Conflicts: 438000 | #Constraints: 51294 717.87/720.38 c #Conflicts: 439000 | #Constraints: 52294 717.87/720.38 c #Conflicts: 440000 | #Constraints: 53295 717.87/720.38 c #Conflicts: 441000 | #Constraints: 54295 717.87/720.38 c #Conflicts: 442000 | #Constraints: 55295 717.87/720.38 c #Conflicts: 443000 | #Constraints: 56295 717.87/720.38 c #Conflicts: 444000 | #Constraints: 57295 717.87/720.38 c #Conflicts: 445000 | #Constraints: 58295 717.87/720.38 c #Conflicts: 446000 | #Constraints: 59295 717.87/720.38 c #Conflicts: 447000 | #Constraints: 60295 717.87/720.38 c #Conflicts: 448000 | #Constraints: 61295 717.87/720.38 c #Conflicts: 449000 | #Constraints: 62295 717.87/720.38 c #Conflicts: 450000 | #Constraints: 63296 717.87/720.38 c #Conflicts: 451000 | #Constraints: 64296 717.87/720.38 c #Conflicts: 452000 | #Constraints: 65296 717.87/720.38 c #Conflicts: 453000 | #Constraints: 66296 717.87/720.38 c #Conflicts: 454000 | #Constraints: 67296 717.87/720.38 c #Conflicts: 455000 | #Constraints: 68296 717.87/720.38 c #Conflicts: 456000 | #Constraints: 69296 717.87/720.38 c #Conflicts: 457000 | #Constraints: 70296 717.87/720.38 c #Conflicts: 458000 | #Constraints: 71296 717.87/720.38 c #Conflicts: 459000 | #Constraints: 72296 717.87/720.38 c #Conflicts: 460000 | #Constraints: 73296 717.87/720.38 c INPROCESSING 717.87/720.38 c GARBAGE COLLECT 717.87/720.38 c rational objective 81 754.74/757.39 c #Conflicts: 461000 | #Constraints: 40666 754.74/757.39 c #Conflicts: 462000 | #Constraints: 41666 754.74/757.39 c #Conflicts: 463000 | #Constraints: 42667 754.74/757.39 c #Conflicts: 464000 | #Constraints: 43667 754.74/757.39 c #Conflicts: 465000 | #Constraints: 44667 754.74/757.39 c #Conflicts: 466000 | #Constraints: 45667 754.74/757.39 c #Conflicts: 467000 | #Constraints: 46667 754.74/757.39 c #Conflicts: 468000 | #Constraints: 47667 754.74/757.39 c #Conflicts: 469000 | #Constraints: 48667 754.74/757.39 c #Conflicts: 470000 | #Constraints: 49668 754.74/757.39 c #Conflicts: 471000 | #Constraints: 50668 754.74/757.39 c #Conflicts: 472000 | #Constraints: 51668 754.74/757.39 c #Conflicts: 473000 | #Constraints: 52668 754.74/757.39 c #Conflicts: 474000 | #Constraints: 53668 754.74/757.39 c #Conflicts: 475000 | #Constraints: 54668 754.74/757.39 c INPROCESSING 754.74/757.39 c GARBAGE COLLECT 754.74/757.39 c rational objective 81 781.55/784.22 c #Conflicts: 476000 | #Constraints: 31315 781.55/784.22 c #Conflicts: 477000 | #Constraints: 32315 781.55/784.22 c #Conflicts: 478000 | #Constraints: 33315 781.55/784.22 c #Conflicts: 479000 | #Constraints: 34315 781.55/784.22 c #Conflicts: 480000 | #Constraints: 35315 781.55/784.22 c #Conflicts: 481000 | #Constraints: 36316 781.55/784.22 c #Conflicts: 482000 | #Constraints: 37316 781.55/784.22 c #Conflicts: 483000 | #Constraints: 38316 781.55/784.22 c #Conflicts: 484000 | #Constraints: 39316 781.55/784.22 c #Conflicts: 485000 | #Constraints: 40316 781.55/784.22 c #Conflicts: 486000 | #Constraints: 41316 781.55/784.22 c #Conflicts: 487000 | #Constraints: 42316 781.55/784.22 c #Conflicts: 488000 | #Constraints: 43316 781.55/784.22 c #Conflicts: 489000 | #Constraints: 44316 781.55/784.22 c #Conflicts: 490000 | #Constraints: 45318 781.55/784.22 c INPROCESSING 781.55/784.22 c GARBAGE COLLECT 781.55/784.22 c rational objective 81 810.74/813.51 c #Conflicts: 491000 | #Constraints: 26425 810.74/813.51 c #Conflicts: 492000 | #Constraints: 27426 810.74/813.51 c #Conflicts: 493000 | #Constraints: 28426 810.74/813.51 c #Conflicts: 494000 | #Constraints: 29426 810.74/813.51 c #Conflicts: 495000 | #Constraints: 30426 810.74/813.51 c #Conflicts: 496000 | #Constraints: 31426 810.74/813.51 c #Conflicts: 497000 | #Constraints: 32426 810.74/813.51 c #Conflicts: 498000 | #Constraints: 33426 810.74/813.51 c #Conflicts: 499000 | #Constraints: 34427 810.74/813.51 c #Conflicts: 500000 | #Constraints: 35427 810.74/813.51 c #Conflicts: 501000 | #Constraints: 36427 810.74/813.51 c #Conflicts: 502000 | #Constraints: 37427 810.74/813.51 c #Conflicts: 503000 | #Constraints: 38427 810.74/813.51 c #Conflicts: 504000 | #Constraints: 39427 810.74/813.51 c #Conflicts: 505000 | #Constraints: 40427 810.74/813.51 c #Conflicts: 506000 | #Constraints: 41427 810.74/813.51 c INPROCESSING 810.74/813.51 c GARBAGE COLLECT 810.74/813.51 c rational objective 81 835.37/838.21 c #Conflicts: 507000 | #Constraints: 24868 835.37/838.21 c #Conflicts: 508000 | #Constraints: 25868 835.37/838.21 c #Conflicts: 509000 | #Constraints: 26868 835.37/838.21 c #Conflicts: 510000 | #Constraints: 27869 835.37/838.21 c #Conflicts: 511000 | #Constraints: 28869 835.37/838.21 c #Conflicts: 512000 | #Constraints: 29869 835.37/838.21 c #Conflicts: 513000 | #Constraints: 30869 835.37/838.21 c #Conflicts: 514000 | #Constraints: 31870 835.37/838.21 c #Conflicts: 515000 | #Constraints: 32871 835.37/838.21 c #Conflicts: 516000 | #Constraints: 33871 835.37/838.21 c #Conflicts: 517000 | #Constraints: 34871 835.37/838.21 c #Conflicts: 518000 | #Constraints: 35871 835.37/838.21 c #Conflicts: 519000 | #Constraints: 36871 835.37/838.21 c #Conflicts: 520000 | #Constraints: 37871 835.37/838.21 c #Conflicts: 521000 | #Constraints: 38872 835.37/838.21 c INPROCESSING 835.37/838.21 c GARBAGE COLLECT 835.37/838.21 c rational objective 81 955.75/959.02 c #Conflicts: 522000 | #Constraints: 23172 955.75/959.02 c #Conflicts: 523000 | #Constraints: 24172 955.75/959.02 c #Conflicts: 524000 | #Constraints: 25172 955.75/959.02 c #Conflicts: 525000 | #Constraints: 26172 955.75/959.02 c #Conflicts: 526000 | #Constraints: 27172 955.75/959.02 c #Conflicts: 527000 | #Constraints: 28173 955.75/959.02 c #Conflicts: 528000 | #Constraints: 29173 955.75/959.02 c #Conflicts: 529000 | #Constraints: 30173 955.75/959.02 c #Conflicts: 530000 | #Constraints: 31173 955.75/959.02 c #Conflicts: 531000 | #Constraints: 32173 955.75/959.02 c #Conflicts: 532000 | #Constraints: 33173 955.75/959.02 c #Conflicts: 533000 | #Constraints: 34173 955.75/959.02 c #Conflicts: 534000 | #Constraints: 35173 955.75/959.02 c #Conflicts: 535000 | #Constraints: 36173 955.75/959.02 c #Conflicts: 536000 | #Constraints: 37173 955.75/959.02 c #Conflicts: 537000 | #Constraints: 38173 955.75/959.02 c #Conflicts: 538000 | #Constraints: 39173 955.75/959.02 c #Conflicts: 539000 | #Constraints: 40173 955.75/959.02 c #Conflicts: 540000 | #Constraints: 41173 955.75/959.02 c #Conflicts: 541000 | #Constraints: 42173 955.75/959.02 c #Conflicts: 542000 | #Constraints: 43173 955.75/959.02 c #Conflicts: 543000 | #Constraints: 44173 955.75/959.02 c #Conflicts: 544000 | #Constraints: 45173 955.75/959.02 c #Conflicts: 545000 | #Constraints: 46174 955.75/959.02 c #Conflicts: 546000 | #Constraints: 47174 955.75/959.02 c #Conflicts: 547000 | #Constraints: 48174 955.75/959.02 c #Conflicts: 548000 | #Constraints: 49174 955.75/959.02 c #Conflicts: 549000 | #Constraints: 50174 955.75/959.02 c #Conflicts: 550000 | #Constraints: 51174 955.75/959.02 c #Conflicts: 551000 | #Constraints: 52174 955.75/959.02 c #Conflicts: 552000 | #Constraints: 53174 955.75/959.02 c #Conflicts: 553000 | #Constraints: 54174 955.75/959.02 c #Conflicts: 554000 | #Constraints: 55174 955.75/959.02 c #Conflicts: 555000 | #Constraints: 56174 955.75/959.02 c #Conflicts: 556000 | #Constraints: 57174 955.75/959.02 c #Conflicts: 557000 | #Constraints: 58174 955.75/959.02 c #Conflicts: 558000 | #Constraints: 59174 955.75/959.02 c #Conflicts: 559000 | #Constraints: 60174 955.75/959.02 c #Conflicts: 560000 | #Constraints: 61174 955.75/959.02 c #Conflicts: 561000 | #Constraints: 62174 955.75/959.02 c #Conflicts: 562000 | #Constraints: 63174 955.75/959.02 c #Conflicts: 563000 | #Constraints: 64174 955.75/959.02 c #Conflicts: 564000 | #Constraints: 65174 955.75/959.02 c #Conflicts: 565000 | #Constraints: 66174 955.75/959.02 c #Conflicts: 566000 | #Constraints: 67174 955.75/959.02 c #Conflicts: 567000 | #Constraints: 68174 955.75/959.02 c #Conflicts: 568000 | #Constraints: 69174 955.75/959.02 c #Conflicts: 569000 | #Constraints: 70174 955.75/959.02 c #Conflicts: 570000 | #Constraints: 71174 955.75/959.02 c #Conflicts: 571000 | #Constraints: 72174 955.75/959.02 c #Conflicts: 572000 | #Constraints: 73174 955.75/959.02 c #Conflicts: 573000 | #Constraints: 74175 955.75/959.02 c #Conflicts: 574000 | #Constraints: 75175 955.75/959.02 c #Conflicts: 575000 | #Constraints: 76175 955.75/959.02 c #Conflicts: 576000 | #Constraints: 77175 955.75/959.02 c #Conflicts: 577000 | #Constraints: 78175 955.75/959.02 c #Conflicts: 578000 | #Constraints: 79175 955.75/959.02 c #Conflicts: 579000 | #Constraints: 80175 955.75/959.02 c #Conflicts: 580000 | #Constraints: 81175 955.75/959.02 c INPROCESSING 955.75/959.02 c GARBAGE COLLECT 955.75/959.02 c rational objective 81 990.92/994.35 c #Conflicts: 581000 | #Constraints: 44260 990.92/994.35 c #Conflicts: 582000 | #Constraints: 45260 990.92/994.35 c #Conflicts: 583000 | #Constraints: 46260 990.92/994.35 c #Conflicts: 584000 | #Constraints: 47260 990.92/994.35 c #Conflicts: 585000 | #Constraints: 48260 990.92/994.35 c #Conflicts: 586000 | #Constraints: 49260 990.92/994.35 c #Conflicts: 587000 | #Constraints: 50260 990.92/994.35 c #Conflicts: 588000 | #Constraints: 51260 990.92/994.35 c #Conflicts: 589000 | #Constraints: 52260 990.92/994.35 c #Conflicts: 590000 | #Constraints: 53260 990.92/994.35 c #Conflicts: 591000 | #Constraints: 54260 990.92/994.35 c #Conflicts: 592000 | #Constraints: 55260 990.92/994.35 c #Conflicts: 593000 | #Constraints: 56261 990.92/994.35 c #Conflicts: 594000 | #Constraints: 57261 990.92/994.35 c #Conflicts: 595000 | #Constraints: 58261 990.92/994.35 c #Conflicts: 596000 | #Constraints: 59261 990.92/994.35 c #Conflicts: 597000 | #Constraints: 60261 990.92/994.35 c INPROCESSING 990.92/994.35 c GARBAGE COLLECT 990.92/994.35 c rational objective 81 1017.23/1020.77 c #Conflicts: 598000 | #Constraints: 33810 1017.23/1020.77 c #Conflicts: 599000 | #Constraints: 34810 1017.23/1020.77 c #Conflicts: 600000 | #Constraints: 35810 1017.23/1020.77 c #Conflicts: 601000 | #Constraints: 36810 1017.23/1020.77 c #Conflicts: 602000 | #Constraints: 37810 1017.23/1020.77 c #Conflicts: 603000 | #Constraints: 38810 1017.23/1020.77 c #Conflicts: 604000 | #Constraints: 39810 1017.23/1020.77 c #Conflicts: 605000 | #Constraints: 40810 1017.23/1020.77 c #Conflicts: 606000 | #Constraints: 41810 1017.23/1020.77 c #Conflicts: 607000 | #Constraints: 42811 1017.23/1020.77 c #Conflicts: 608000 | #Constraints: 43811 1017.23/1020.77 c #Conflicts: 609000 | #Constraints: 44811 1017.23/1020.77 c #Conflicts: 610000 | #Constraints: 45811 1017.23/1020.77 c #Conflicts: 611000 | #Constraints: 46811 1017.23/1020.77 c #Conflicts: 612000 | #Constraints: 47811 1017.23/1020.77 c #Conflicts: 613000 | #Constraints: 48811 1017.23/1020.77 c #Conflicts: 614000 | #Constraints: 49811 1017.23/1020.77 c #Conflicts: 615000 | #Constraints: 50811 1017.23/1020.77 c INPROCESSING 1017.23/1020.77 c GARBAGE COLLECT 1017.23/1020.77 c rational objective 81 1039.15/1042.73 c #Conflicts: 616000 | #Constraints: 29468 1039.15/1042.73 c #Conflicts: 617000 | #Constraints: 30468 1039.15/1042.73 c #Conflicts: 618000 | #Constraints: 31468 1039.15/1042.73 c #Conflicts: 619000 | #Constraints: 32468 1039.15/1042.73 c #Conflicts: 620000 | #Constraints: 33468 1039.15/1042.73 c #Conflicts: 621000 | #Constraints: 34468 1039.15/1042.73 c #Conflicts: 622000 | #Constraints: 35468 1039.15/1042.73 c #Conflicts: 623000 | #Constraints: 36468 1039.15/1042.73 c #Conflicts: 624000 | #Constraints: 37468 1039.15/1042.73 c #Conflicts: 625000 | #Constraints: 38468 1039.15/1042.73 c #Conflicts: 626000 | #Constraints: 39468 1039.15/1042.73 c #Conflicts: 627000 | #Constraints: 40468 1039.15/1042.73 c #Conflicts: 628000 | #Constraints: 41468 1039.15/1042.73 c #Conflicts: 629000 | #Constraints: 42468 1039.15/1042.73 c #Conflicts: 630000 | #Constraints: 43468 1039.15/1042.73 c #Conflicts: 631000 | #Constraints: 44468 1039.15/1042.73 c #Conflicts: 632000 | #Constraints: 45468 1039.15/1042.73 c INPROCESSING 1039.15/1042.73 c GARBAGE COLLECT 1039.15/1042.73 c rational objective 81 1063.87/1067.51 c #Conflicts: 633000 | #Constraints: 26677 1063.87/1067.51 c #Conflicts: 634000 | #Constraints: 27677 1063.87/1067.51 c #Conflicts: 635000 | #Constraints: 28677 1063.87/1067.51 c #Conflicts: 636000 | #Constraints: 29678 1063.87/1067.51 c #Conflicts: 637000 | #Constraints: 30678 1063.87/1067.51 c #Conflicts: 638000 | #Constraints: 31678 1063.87/1067.51 c #Conflicts: 639000 | #Constraints: 32678 1063.87/1067.51 c #Conflicts: 640000 | #Constraints: 33678 1063.87/1067.51 c #Conflicts: 641000 | #Constraints: 34678 1063.87/1067.51 c #Conflicts: 642000 | #Constraints: 35678 1063.87/1067.51 c #Conflicts: 643000 | #Constraints: 36678 1063.87/1067.51 c #Conflicts: 644000 | #Constraints: 37678 1063.87/1067.51 c #Conflicts: 645000 | #Constraints: 38679 1063.87/1067.51 c #Conflicts: 646000 | #Constraints: 39679 1063.87/1067.51 c #Conflicts: 647000 | #Constraints: 40679 1063.87/1067.51 c #Conflicts: 648000 | #Constraints: 41679 1063.87/1067.51 c #Conflicts: 649000 | #Constraints: 42679 1063.87/1067.51 c #Conflicts: 650000 | #Constraints: 43679 1063.87/1067.51 c INPROCESSING 1063.87/1067.51 c GARBAGE COLLECT 1063.87/1067.51 c rational objective 81 1199.30/1203.44 c #Conflicts: 651000 | #Constraints: 25962 1199.30/1203.44 c #Conflicts: 652000 | #Constraints: 26962 1199.30/1203.44 c #Conflicts: 653000 | #Constraints: 27962 1199.30/1203.44 c #Conflicts: 654000 | #Constraints: 28962 1199.30/1203.44 c #Conflicts: 655000 | #Constraints: 29962 1199.30/1203.44 c #Conflicts: 656000 | #Constraints: 30962 1199.30/1203.44 c #Conflicts: 657000 | #Constraints: 31962 1199.30/1203.44 c #Conflicts: 658000 | #Constraints: 32962 1199.30/1203.44 c #Conflicts: 659000 | #Constraints: 33963 1199.30/1203.44 c #Conflicts: 660000 | #Constraints: 34963 1199.30/1203.44 c #Conflicts: 661000 | #Constraints: 35964 1199.30/1203.44 c #Conflicts: 662000 | #Constraints: 36964 1199.30/1203.44 c #Conflicts: 663000 | #Constraints: 37964 1199.30/1203.44 c #Conflicts: 664000 | #Constraints: 38964 1199.30/1203.44 c #Conflicts: 665000 | #Constraints: 39964 1199.30/1203.44 c #Conflicts: 666000 | #Constraints: 40964 1199.30/1203.44 c #Conflicts: 667000 | #Constraints: 41964 1199.30/1203.44 c #Conflicts: 668000 | #Constraints: 42964 1199.30/1203.44 c #Conflicts: 669000 | #Constraints: 43964 1199.30/1203.44 c #Conflicts: 670000 | #Constraints: 44964 1199.30/1203.44 c #Conflicts: 671000 | #Constraints: 45964 1199.30/1203.44 c #Conflicts: 672000 | #Constraints: 46965 1199.30/1203.44 c #Conflicts: 673000 | #Constraints: 47965 1199.30/1203.44 c #Conflicts: 674000 | #Constraints: 48965 1199.30/1203.44 c #Conflicts: 675000 | #Constraints: 49965 1199.30/1203.44 c #Conflicts: 676000 | #Constraints: 50965 1199.30/1203.44 c #Conflicts: 677000 | #Constraints: 51965 1199.30/1203.44 c #Conflicts: 678000 | #Constraints: 52965 1199.30/1203.44 c #Conflicts: 679000 | #Constraints: 53965 1199.30/1203.44 c #Conflicts: 680000 | #Constraints: 54965 1199.30/1203.44 c #Conflicts: 681000 | #Constraints: 55965 1199.30/1203.44 c #Conflicts: 682000 | #Constraints: 56965 1199.30/1203.44 c #Conflicts: 683000 | #Constraints: 57965 1199.30/1203.44 c #Conflicts: 684000 | #Constraints: 58965 1199.30/1203.44 c #Conflicts: 685000 | #Constraints: 59965 1199.30/1203.44 c #Conflicts: 686000 | #Constraints: 60965 1199.30/1203.44 c #Conflicts: 687000 | #Constraints: 61965 1199.30/1203.44 c #Conflicts: 688000 | #Constraints: 62965 1199.30/1203.44 c #Conflicts: 689000 | #Constraints: 63965 1199.30/1203.44 c #Conflicts: 690000 | #Constraints: 64965 1199.30/1203.44 c #Conflicts: 691000 | #Constraints: 65965 1199.30/1203.44 c #Conflicts: 692000 | #Constraints: 66965 1199.30/1203.44 c #Conflicts: 693000 | #Constraints: 67965 1199.30/1203.44 c #Conflicts: 694000 | #Constraints: 68965 1199.30/1203.44 c #Conflicts: 695000 | #Constraints: 69965 1199.30/1203.44 c #Conflicts: 696000 | #Constraints: 70965 1199.30/1203.44 c #Conflicts: 697000 | #Constraints: 71965 1199.30/1203.44 c #Conflicts: 698000 | #Constraints: 72965 1199.30/1203.44 c #Conflicts: 699000 | #Constraints: 73965 1199.30/1203.44 c #Conflicts: 700000 | #Constraints: 74965 1199.30/1203.44 c #Conflicts: 701000 | #Constraints: 75965 1199.30/1203.44 c #Conflicts: 702000 | #Constraints: 76966 1199.30/1203.44 c #Conflicts: 703000 | #Constraints: 77966 1199.30/1203.44 c #Conflicts: 704000 | #Constraints: 78966 1199.30/1203.44 c #Conflicts: 705000 | #Constraints: 79966 1199.30/1203.44 c #Conflicts: 706000 | #Constraints: 80966 1199.30/1203.44 c #Conflicts: 707000 | #Constraints: 81967 1199.30/1203.44 c #Conflicts: 708000 | #Constraints: 82967 1199.30/1203.44 c #Conflicts: 709000 | #Constraints: 83968 1199.30/1203.44 c #Conflicts: 710000 | #Constraints: 84968 1199.30/1203.44 c #Conflicts: 711000 | #Constraints: 85968 1199.30/1203.44 c #Conflicts: 712000 | #Constraints: 86968 1199.30/1203.44 c #Conflicts: 713000 | #Constraints: 87968 1199.30/1203.44 c #Conflicts: 714000 | #Constraints: 88968 1199.30/1203.44 c #Conflicts: 715000 | #Constraints: 89968 1199.30/1203.44 c INPROCESSING 1199.30/1203.44 c GARBAGE COLLECT 1199.30/1203.44 c rational objective 81 1236.87/1241.12 c #Conflicts: 716000 | #Constraints: 48837 1236.87/1241.12 c #Conflicts: 717000 | #Constraints: 49837 1236.87/1241.12 c #Conflicts: 718000 | #Constraints: 50837 1236.87/1241.12 c #Conflicts: 719000 | #Constraints: 51837 1236.87/1241.12 c #Conflicts: 720000 | #Constraints: 52837 1236.87/1241.12 c #Conflicts: 721000 | #Constraints: 53837 1236.87/1241.12 c #Conflicts: 722000 | #Constraints: 54837 1236.87/1241.12 c #Conflicts: 723000 | #Constraints: 55837 1236.87/1241.12 c #Conflicts: 724000 | #Constraints: 56837 1236.87/1241.12 c #Conflicts: 725000 | #Constraints: 57837 1236.87/1241.12 c #Conflicts: 726000 | #Constraints: 58837 1236.87/1241.12 c #Conflicts: 727000 | #Constraints: 59837 1236.87/1241.12 c #Conflicts: 728000 | #Constraints: 60837 1236.87/1241.12 c #Conflicts: 729000 | #Constraints: 61837 1236.87/1241.12 c #Conflicts: 730000 | #Constraints: 62837 1236.87/1241.12 c #Conflicts: 731000 | #Constraints: 63837 1236.87/1241.12 c #Conflicts: 732000 | #Constraints: 64837 1236.87/1241.12 c #Conflicts: 733000 | #Constraints: 65837 1236.87/1241.12 c #Conflicts: 734000 | #Constraints: 66837 1236.87/1241.12 c INPROCESSING 1236.87/1241.12 c GARBAGE COLLECT 1236.87/1241.12 c rational objective 81 1272.75/1277.18 c #Conflicts: 735000 | #Constraints: 37392 1272.75/1277.18 c #Conflicts: 736000 | #Constraints: 38392 1272.75/1277.18 c #Conflicts: 737000 | #Constraints: 39392 1272.75/1277.18 c #Conflicts: 738000 | #Constraints: 40392 1272.75/1277.18 c #Conflicts: 739000 | #Constraints: 41393 1272.75/1277.18 c #Conflicts: 740000 | #Constraints: 42394 1272.75/1277.18 c #Conflicts: 741000 | #Constraints: 43394 1272.75/1277.18 c #Conflicts: 742000 | #Constraints: 44394 1272.75/1277.18 c #Conflicts: 743000 | #Constraints: 45394 1272.75/1277.18 c #Conflicts: 744000 | #Constraints: 46394 1272.75/1277.18 c #Conflicts: 745000 | #Constraints: 47394 1272.75/1277.18 c #Conflicts: 746000 | #Constraints: 48394 1272.75/1277.18 c #Conflicts: 747000 | #Constraints: 49394 1272.75/1277.18 c #Conflicts: 748000 | #Constraints: 50394 1272.75/1277.18 c #Conflicts: 749000 | #Constraints: 51394 1272.75/1277.18 c #Conflicts: 750000 | #Constraints: 52394 1272.75/1277.18 c #Conflicts: 751000 | #Constraints: 53394 1272.75/1277.18 c #Conflicts: 752000 | #Constraints: 54394 1272.75/1277.18 c #Conflicts: 753000 | #Constraints: 55395 1272.75/1277.18 c INPROCESSING 1272.75/1277.18 c GARBAGE COLLECT 1272.75/1277.18 c rational objective 81 1299.57/1304.05 c #Conflicts: 754000 | #Constraints: 31539 1299.57/1304.05 c #Conflicts: 755000 | #Constraints: 32539 1299.57/1304.05 c #Conflicts: 756000 | #Constraints: 33539 1299.57/1304.05 c #Conflicts: 757000 | #Constraints: 34539 1299.57/1304.05 c #Conflicts: 758000 | #Constraints: 35539 1299.57/1304.05 c #Conflicts: 759000 | #Constraints: 36539 1299.57/1304.05 c #Conflicts: 760000 | #Constraints: 37539 1299.57/1304.05 c #Conflicts: 761000 | #Constraints: 38539 1299.57/1304.05 c #Conflicts: 762000 | #Constraints: 39540 1299.57/1304.05 c #Conflicts: 763000 | #Constraints: 40540 1299.57/1304.05 c #Conflicts: 764000 | #Constraints: 41540 1299.57/1304.05 c #Conflicts: 765000 | #Constraints: 42540 1299.57/1304.05 c #Conflicts: 766000 | #Constraints: 43540 1299.57/1304.05 c #Conflicts: 767000 | #Constraints: 44540 1299.57/1304.05 c #Conflicts: 768000 | #Constraints: 45540 1299.57/1304.05 c #Conflicts: 769000 | #Constraints: 46540 1299.57/1304.05 c #Conflicts: 770000 | #Constraints: 47541 1299.57/1304.05 c #Conflicts: 771000 | #Constraints: 48541 1299.57/1304.05 c #Conflicts: 772000 | #Constraints: 49541 1299.57/1304.05 c INPROCESSING 1299.57/1304.05 c GARBAGE COLLECT 1299.57/1304.05 c rational objective 81 1327.17/1331.75 c #Conflicts: 773000 | #Constraints: 28451 1327.17/1331.75 c #Conflicts: 774000 | #Constraints: 29451 1327.17/1331.75 c #Conflicts: 775000 | #Constraints: 30451 1327.17/1331.75 c #Conflicts: 776000 | #Constraints: 31451 1327.17/1331.75 c #Conflicts: 777000 | #Constraints: 32451 1327.17/1331.75 c #Conflicts: 778000 | #Constraints: 33451 1327.17/1331.75 c #Conflicts: 779000 | #Constraints: 34451 1327.17/1331.75 c #Conflicts: 780000 | #Constraints: 35451 1327.17/1331.75 c #Conflicts: 781000 | #Constraints: 36451 1327.17/1331.75 c #Conflicts: 782000 | #Constraints: 37452 1327.17/1331.75 c #Conflicts: 783000 | #Constraints: 38452 1327.17/1331.75 c #Conflicts: 784000 | #Constraints: 39452 1327.17/1331.75 c #Conflicts: 785000 | #Constraints: 40452 1327.17/1331.75 c #Conflicts: 786000 | #Constraints: 41452 1327.17/1331.75 c #Conflicts: 787000 | #Constraints: 42452 1327.17/1331.75 c #Conflicts: 788000 | #Constraints: 43452 1327.17/1331.75 c #Conflicts: 789000 | #Constraints: 44453 1327.17/1331.75 c #Conflicts: 790000 | #Constraints: 45454 1327.17/1331.75 c #Conflicts: 791000 | #Constraints: 46454 1327.17/1331.75 c #Conflicts: 792000 | #Constraints: 47454 1327.17/1331.75 c INPROCESSING 1327.17/1331.75 c GARBAGE COLLECT 1327.17/1331.75 c rational objective 81 1491.39/1496.56 c #Conflicts: 793000 | #Constraints: 27685 1491.39/1496.56 c #Conflicts: 794000 | #Constraints: 28685 1491.39/1496.56 c #Conflicts: 795000 | #Constraints: 29685 1491.39/1496.56 c #Conflicts: 796000 | #Constraints: 30685 1491.39/1496.56 c #Conflicts: 797000 | #Constraints: 31685 1491.39/1496.56 c #Conflicts: 798000 | #Constraints: 32685 1491.39/1496.56 c #Conflicts: 799000 | #Constraints: 33686 1491.39/1496.56 c #Conflicts: 800000 | #Constraints: 34688 1491.39/1496.56 c #Conflicts: 801000 | #Constraints: 35689 1491.39/1496.56 c #Conflicts: 802000 | #Constraints: 36689 1491.39/1496.56 c #Conflicts: 803000 | #Constraints: 37689 1491.39/1496.56 c #Conflicts: 804000 | #Constraints: 38689 1491.39/1496.56 c #Conflicts: 805000 | #Constraints: 39689 1491.39/1496.56 c #Conflicts: 806000 | #Constraints: 40689 1491.39/1496.56 c #Conflicts: 807000 | #Constraints: 41689 1491.39/1496.56 c #Conflicts: 808000 | #Constraints: 42689 1491.39/1496.56 c #Conflicts: 809000 | #Constraints: 43689 1491.39/1496.56 c #Conflicts: 810000 | #Constraints: 44690 1491.39/1496.56 c #Conflicts: 811000 | #Constraints: 45690 1491.39/1496.56 c #Conflicts: 812000 | #Constraints: 46690 1491.39/1496.56 c #Conflicts: 813000 | #Constraints: 47690 1491.39/1496.56 c #Conflicts: 814000 | #Constraints: 48691 1491.39/1496.56 c #Conflicts: 815000 | #Constraints: 49691 1491.39/1496.56 c #Conflicts: 816000 | #Constraints: 50691 1491.39/1496.56 c #Conflicts: 817000 | #Constraints: 51691 1491.39/1496.56 c #Conflicts: 818000 | #Constraints: 52691 1491.39/1496.56 c #Conflicts: 819000 | #Constraints: 53691 1491.39/1496.56 c #Conflicts: 820000 | #Constraints: 54691 1491.39/1496.56 c #Conflicts: 821000 | #Constraints: 55691 1491.39/1496.56 c #Conflicts: 822000 | #Constraints: 56691 1491.39/1496.56 c #Conflicts: 823000 | #Constraints: 57691 1491.39/1496.56 c #Conflicts: 824000 | #Constraints: 58691 1491.39/1496.56 c #Conflicts: 825000 | #Constraints: 59691 1491.39/1496.56 c #Conflicts: 826000 | #Constraints: 60691 1491.39/1496.56 c #Conflicts: 827000 | #Constraints: 61691 1491.39/1496.56 c #Conflicts: 828000 | #Constraints: 62692 1491.39/1496.56 c #Conflicts: 829000 | #Constraints: 63692 1491.39/1496.56 c #Conflicts: 830000 | #Constraints: 64692 1491.39/1496.56 c #Conflicts: 831000 | #Constraints: 65692 1491.39/1496.56 c #Conflicts: 832000 | #Constraints: 66692 1491.39/1496.56 c #Conflicts: 833000 | #Constraints: 67692 1491.39/1496.56 c #Conflicts: 834000 | #Constraints: 68692 1491.39/1496.56 c #Conflicts: 835000 | #Constraints: 69692 1491.39/1496.56 c #Conflicts: 836000 | #Constraints: 70692 1491.39/1496.56 c #Conflicts: 837000 | #Constraints: 71692 1491.39/1496.56 c #Conflicts: 838000 | #Constraints: 72692 1491.39/1496.56 c #Conflicts: 839000 | #Constraints: 73692 1491.39/1496.56 c #Conflicts: 840000 | #Constraints: 74692 1491.39/1496.56 c #Conflicts: 841000 | #Constraints: 75692 1491.39/1496.56 c #Conflicts: 842000 | #Constraints: 76692 1491.39/1496.56 c #Conflicts: 843000 | #Constraints: 77692 1491.39/1496.56 c #Conflicts: 844000 | #Constraints: 78692 1491.39/1496.56 c #Conflicts: 845000 | #Constraints: 79692 1491.39/1496.56 c #Conflicts: 846000 | #Constraints: 80692 1491.39/1496.56 c #Conflicts: 847000 | #Constraints: 81692 1491.39/1496.56 c #Conflicts: 848000 | #Constraints: 82692 1491.39/1496.56 c #Conflicts: 849000 | #Constraints: 83692 1491.39/1496.56 c #Conflicts: 850000 | #Constraints: 84692 1491.39/1496.56 c #Conflicts: 851000 | #Constraints: 85692 1491.39/1496.56 c #Conflicts: 852000 | #Constraints: 86692 1491.39/1496.56 c #Conflicts: 853000 | #Constraints: 87692 1491.39/1496.56 c #Conflicts: 854000 | #Constraints: 88692 1491.39/1496.56 c #Conflicts: 855000 | #Constraints: 89692 1491.39/1496.56 c #Conflicts: 856000 | #Constraints: 90692 1491.39/1496.56 c #Conflicts: 857000 | #Constraints: 91692 1491.39/1496.56 c #Conflicts: 858000 | #Constraints: 92692 1491.39/1496.56 c #Conflicts: 859000 | #Constraints: 93692 1491.39/1496.56 c #Conflicts: 860000 | #Constraints: 94693 1491.39/1496.56 c #Conflicts: 861000 | #Constraints: 95693 1491.39/1496.56 c #Conflicts: 862000 | #Constraints: 96694 1491.39/1496.56 c #Conflicts: 863000 | #Constraints: 97694 1491.39/1496.56 c #Conflicts: 864000 | #Constraints: 98694 1491.39/1496.56 c INPROCESSING 1491.39/1496.56 c GARBAGE COLLECT 1491.39/1496.56 c rational objective 81 1540.61/1545.92 c #Conflicts: 865000 | #Constraints: 53319 1540.61/1545.92 c #Conflicts: 866000 | #Constraints: 54319 1540.61/1545.92 c #Conflicts: 867000 | #Constraints: 55319 1540.61/1545.92 c #Conflicts: 868000 | #Constraints: 56319 1540.61/1545.92 c #Conflicts: 869000 | #Constraints: 57319 1540.61/1545.92 c #Conflicts: 870000 | #Constraints: 58320 1540.61/1545.92 c #Conflicts: 871000 | #Constraints: 59320 1540.61/1545.92 c #Conflicts: 872000 | #Constraints: 60321 1540.61/1545.92 c #Conflicts: 873000 | #Constraints: 61321 1540.61/1545.92 c #Conflicts: 874000 | #Constraints: 62321 1540.61/1545.92 c #Conflicts: 875000 | #Constraints: 63321 1540.61/1545.92 c #Conflicts: 876000 | #Constraints: 64321 1540.61/1545.92 c #Conflicts: 877000 | #Constraints: 65322 1540.61/1545.92 c #Conflicts: 878000 | #Constraints: 66322 1540.61/1545.92 c #Conflicts: 879000 | #Constraints: 67322 1540.61/1545.92 c #Conflicts: 880000 | #Constraints: 68322 1540.61/1545.92 c #Conflicts: 881000 | #Constraints: 69323 1540.61/1545.92 c #Conflicts: 882000 | #Constraints: 70323 1540.61/1545.92 c #Conflicts: 883000 | #Constraints: 71323 1540.61/1545.92 c #Conflicts: 884000 | #Constraints: 72323 1540.61/1545.92 c #Conflicts: 885000 | #Constraints: 73323 1540.61/1545.92 c INPROCESSING 1540.61/1545.92 c GARBAGE COLLECT 1540.61/1545.92 c rational objective 81 1582.07/1587.53 c #Conflicts: 886000 | #Constraints: 40864 1582.07/1587.53 c #Conflicts: 887000 | #Constraints: 41864 1582.07/1587.53 c #Conflicts: 888000 | #Constraints: 42864 1582.07/1587.53 c #Conflicts: 889000 | #Constraints: 43864 1582.07/1587.53 c #Conflicts: 890000 | #Constraints: 44864 1582.07/1587.53 c #Conflicts: 891000 | #Constraints: 45864 1582.07/1587.53 c #Conflicts: 892000 | #Constraints: 46864 1582.07/1587.53 c #Conflicts: 893000 | #Constraints: 47864 1582.07/1587.53 c #Conflicts: 894000 | #Constraints: 48864 1582.07/1587.53 c #Conflicts: 895000 | #Constraints: 49864 1582.07/1587.53 c #Conflicts: 896000 | #Constraints: 50864 1582.07/1587.53 c #Conflicts: 897000 | #Constraints: 51864 1582.07/1587.53 c #Conflicts: 898000 | #Constraints: 52864 1582.07/1587.53 c #Conflicts: 899000 | #Constraints: 53864 1582.07/1587.53 c #Conflicts: 900000 | #Constraints: 54865 1582.07/1587.53 c #Conflicts: 901000 | #Constraints: 55865 1582.07/1587.53 c #Conflicts: 902000 | #Constraints: 56865 1582.07/1587.53 c #Conflicts: 903000 | #Constraints: 57865 1582.07/1587.53 c #Conflicts: 904000 | #Constraints: 58865 1582.07/1587.53 c #Conflicts: 905000 | #Constraints: 59865 1582.07/1587.53 c #Conflicts: 906000 | #Constraints: 60865 1582.07/1587.53 c INPROCESSING 1582.07/1587.53 c GARBAGE COLLECT 1582.07/1587.53 c rational objective 81 1617.64/1623.24 c #Conflicts: 907000 | #Constraints: 34554 1617.64/1623.24 c #Conflicts: 908000 | #Constraints: 35554 1617.64/1623.24 c #Conflicts: 909000 | #Constraints: 36554 1617.64/1623.24 c #Conflicts: 910000 | #Constraints: 37554 1617.64/1623.24 c #Conflicts: 911000 | #Constraints: 38554 1617.64/1623.24 c #Conflicts: 912000 | #Constraints: 39554 1617.64/1623.24 c #Conflicts: 913000 | #Constraints: 40554 1617.64/1623.24 c #Conflicts: 914000 | #Constraints: 41555 1617.64/1623.24 c #Conflicts: 915000 | #Constraints: 42555 1617.64/1623.24 c #Conflicts: 916000 | #Constraints: 43555 1617.64/1623.24 c #Conflicts: 917000 | #Constraints: 44555 1617.64/1623.24 c #Conflicts: 918000 | #Constraints: 45555 1617.64/1623.24 c #Conflicts: 919000 | #Constraints: 46555 1617.64/1623.24 c #Conflicts: 920000 | #Constraints: 47555 1617.64/1623.24 c #Conflicts: 921000 | #Constraints: 48555 1617.64/1623.24 c #Conflicts: 922000 | #Constraints: 49555 1617.64/1623.24 c #Conflicts: 923000 | #Constraints: 50555 1617.64/1623.24 c #Conflicts: 924000 | #Constraints: 51555 1617.64/1623.24 c #Conflicts: 925000 | #Constraints: 52555 1617.64/1623.24 c #Conflicts: 926000 | #Constraints: 53555 1617.64/1623.24 c #Conflicts: 927000 | #Constraints: 54555 1617.64/1623.24 c INPROCESSING 1617.64/1623.24 c GARBAGE COLLECT 1617.64/1623.24 c rational objective 81 1649.34/1655.06 c #Conflicts: 928000 | #Constraints: 31312 1649.34/1655.06 c #Conflicts: 929000 | #Constraints: 32312 1649.34/1655.06 c #Conflicts: 930000 | #Constraints: 33312 1649.34/1655.06 c #Conflicts: 931000 | #Constraints: 34312 1649.34/1655.06 c #Conflicts: 932000 | #Constraints: 35312 1649.34/1655.06 c #Conflicts: 933000 | #Constraints: 36312 1649.34/1655.06 c #Conflicts: 934000 | #Constraints: 37312 1649.34/1655.06 c #Conflicts: 935000 | #Constraints: 38312 1649.34/1655.06 c #Conflicts: 936000 | #Constraints: 39313 1649.34/1655.06 c #Conflicts: 937000 | #Constraints: 40313 1649.34/1655.06 c #Conflicts: 938000 | #Constraints: 41313 1649.34/1655.06 c #Conflicts: 939000 | #Constraints: 42313 1649.34/1655.06 c #Conflicts: 940000 | #Constraints: 43313 1649.34/1655.06 c #Conflicts: 941000 | #Constraints: 44314 1649.34/1655.06 c #Conflicts: 942000 | #Constraints: 45314 1649.34/1655.06 c #Conflicts: 943000 | #Constraints: 46314 1649.34/1655.06 c #Conflicts: 944000 | #Constraints: 47314 1649.34/1655.06 c #Conflicts: 945000 | #Constraints: 48314 1649.34/1655.06 c #Conflicts: 946000 | #Constraints: 49314 1649.34/1655.06 c #Conflicts: 947000 | #Constraints: 50314 1649.34/1655.06 c #Conflicts: 948000 | #Constraints: 51314 1649.34/1655.06 c INPROCESSING 1649.34/1655.06 c GARBAGE COLLECT 1649.34/1655.06 c rational objective 81 1906.43/1913.06 c #Conflicts: 949000 | #Constraints: 29530 1906.43/1913.06 c #Conflicts: 950000 | #Constraints: 30530 1906.43/1913.06 c #Conflicts: 951000 | #Constraints: 31530 1906.43/1913.06 c #Conflicts: 952000 | #Constraints: 32530 1906.43/1913.06 c #Conflicts: 953000 | #Constraints: 33531 1906.43/1913.06 c #Conflicts: 954000 | #Constraints: 34532 1906.43/1913.06 c #Conflicts: 955000 | #Constraints: 35532 1906.43/1913.06 c #Conflicts: 956000 | #Constraints: 36532 1906.43/1913.06 c #Conflicts: 957000 | #Constraints: 37532 1906.43/1913.06 c #Conflicts: 958000 | #Constraints: 38533 1906.43/1913.06 c #Conflicts: 959000 | #Constraints: 39533 1906.43/1913.06 c #Conflicts: 960000 | #Constraints: 40533 1906.43/1913.06 c #Conflicts: 961000 | #Constraints: 41533 1906.43/1913.06 c #Conflicts: 962000 | #Constraints: 42533 1906.43/1913.06 c #Conflicts: 963000 | #Constraints: 43533 1906.43/1913.06 c #Conflicts: 964000 | #Constraints: 44533 1906.43/1913.06 c #Conflicts: 965000 | #Constraints: 45533 1906.43/1913.06 c #Conflicts: 966000 | #Constraints: 46534 1906.43/1913.06 c #Conflicts: 967000 | #Constraints: 47534 1906.43/1913.06 c #Conflicts: 968000 | #Constraints: 48534 1906.43/1913.06 c #Conflicts: 969000 | #Constraints: 49534 1906.43/1913.06 c #Conflicts: 970000 | #Constraints: 50534 1906.43/1913.06 c #Conflicts: 971000 | #Constraints: 51534 1906.43/1913.06 c #Conflicts: 972000 | #Constraints: 52535 1906.43/1913.06 c #Conflicts: 973000 | #Constraints: 53536 1906.43/1913.06 c #Conflicts: 974000 | #Constraints: 54536 1906.43/1913.06 c #Conflicts: 975000 | #Constraints: 55536 1906.43/1913.06 c #Conflicts: 976000 | #Constraints: 56536 1906.43/1913.06 c #Conflicts: 977000 | #Constraints: 57536 1906.43/1913.06 c #Conflicts: 978000 | #Constraints: 58537 1906.43/1913.06 c #Conflicts: 979000 | #Constraints: 59537 1906.43/1913.06 c #Conflicts: 980000 | #Constraints: 60537 1906.43/1913.06 c #Conflicts: 981000 | #Constraints: 61537 1906.43/1913.06 c #Conflicts: 982000 | #Constraints: 62537 1906.43/1913.06 c #Conflicts: 983000 | #Constraints: 63537 1906.43/1913.06 c #Conflicts: 984000 | #Constraints: 64537 1906.43/1913.06 c #Conflicts: 985000 | #Constraints: 65537 1906.43/1913.06 c #Conflicts: 986000 | #Constraints: 66537 1906.43/1913.06 c #Conflicts: 987000 | #Constraints: 67537 1906.43/1913.06 c #Conflicts: 988000 | #Constraints: 68537 1906.43/1913.06 c #Conflicts: 989000 | #Constraints: 69537 1906.43/1913.06 c #Conflicts: 990000 | #Constraints: 70537 1906.43/1913.06 c #Conflicts: 991000 | #Constraints: 71539 1906.43/1913.06 c #Conflicts: 992000 | #Constraints: 72543 1906.43/1913.06 c #Conflicts: 993000 | #Constraints: 73543 1906.43/1913.06 c #Conflicts: 994000 | #Constraints: 74543 1906.43/1913.06 c #Conflicts: 995000 | #Constraints: 75543 1906.43/1913.06 c #Conflicts: 996000 | #Constraints: 76543 1906.43/1913.06 c #Conflicts: 997000 | #Constraints: 77543 1906.43/1913.06 c #Conflicts: 998000 | #Constraints: 78543 1906.43/1913.06 c #Conflicts: 999000 | #Constraints: 79543 1906.43/1913.06 c #Conflicts: 1000000 | #Constraints: 80543 1906.43/1913.06 c #Conflicts: 1001000 | #Constraints: 81543 1906.43/1913.06 c #Conflicts: 1002000 | #Constraints: 82543 1906.43/1913.06 c #Conflicts: 1003000 | #Constraints: 83543 1906.43/1913.06 c #Conflicts: 1004000 | #Constraints: 84543 1906.43/1913.06 c #Conflicts: 1005000 | #Constraints: 85543 1906.43/1913.06 c #Conflicts: 1006000 | #Constraints: 86543 1906.43/1913.06 c #Conflicts: 1007000 | #Constraints: 87543 1906.43/1913.06 c #Conflicts: 1008000 | #Constraints: 88544 1906.43/1913.06 c #Conflicts: 1009000 | #Constraints: 89544 1906.43/1913.06 c #Conflicts: 1010000 | #Constraints: 90544 1906.43/1913.06 c #Conflicts: 1011000 | #Constraints: 91544 1906.43/1913.06 c #Conflicts: 1012000 | #Constraints: 92544 1906.43/1913.06 c #Conflicts: 1013000 | #Constraints: 93544 1906.43/1913.06 c #Conflicts: 1014000 | #Constraints: 94544 1906.43/1913.06 c #Conflicts: 1015000 | #Constraints: 95545 1906.43/1913.06 c #Conflicts: 1016000 | #Constraints: 96545 1906.43/1913.06 c #Conflicts: 1017000 | #Constraints: 97545 1906.43/1913.06 c #Conflicts: 1018000 | #Constraints: 98545 1906.43/1913.06 c #Conflicts: 1019000 | #Constraints: 99545 1906.43/1913.06 c #Conflicts: 1020000 | #Constraints: 100545 1906.43/1913.06 c #Conflicts: 1021000 | #Constraints: 101545 1906.43/1913.06 c #Conflicts: 1022000 | #Constraints: 102545 1906.43/1913.06 c #Conflicts: 1023000 | #Constraints: 103545 1906.43/1913.06 c #Conflicts: 1024000 | #Constraints: 104545 1906.43/1913.06 c #Conflicts: 1025000 | #Constraints: 105545 1906.43/1913.06 c #Conflicts: 1026000 | #Constraints: 106545 1906.43/1913.06 c INPROCESSING 1906.43/1913.06 c GARBAGE COLLECT 1906.43/1913.06 c rational objective 81 1969.71/1976.59 c #Conflicts: 1027000 | #Constraints: 57043 1969.71/1976.59 c #Conflicts: 1028000 | #Constraints: 58043 1969.71/1976.59 c #Conflicts: 1029000 | #Constraints: 59043 1969.71/1976.59 c #Conflicts: 1030000 | #Constraints: 60043 1969.71/1976.59 c #Conflicts: 1031000 | #Constraints: 61043 1969.71/1976.59 c #Conflicts: 1032000 | #Constraints: 62043 1969.71/1976.59 c #Conflicts: 1033000 | #Constraints: 63043 1969.71/1976.59 c #Conflicts: 1034000 | #Constraints: 64043 1969.71/1976.59 c #Conflicts: 1035000 | #Constraints: 65043 1969.71/1976.59 c #Conflicts: 1036000 | #Constraints: 66043 1969.71/1976.59 c #Conflicts: 1037000 | #Constraints: 67043 1969.71/1976.59 c #Conflicts: 1038000 | #Constraints: 68044 1969.71/1976.59 c #Conflicts: 1039000 | #Constraints: 69044 1969.71/1976.59 c #Conflicts: 1040000 | #Constraints: 70044 1969.71/1976.59 c #Conflicts: 1041000 | #Constraints: 71044 1969.71/1976.59 c #Conflicts: 1042000 | #Constraints: 72044 1969.71/1976.59 c #Conflicts: 1043000 | #Constraints: 73044 1969.71/1976.59 c #Conflicts: 1044000 | #Constraints: 74044 1969.71/1976.59 c #Conflicts: 1045000 | #Constraints: 75044 1969.71/1976.59 c #Conflicts: 1046000 | #Constraints: 76044 1969.71/1976.59 c #Conflicts: 1047000 | #Constraints: 77044 1969.71/1976.59 c #Conflicts: 1048000 | #Constraints: 78044 1969.71/1976.59 c #Conflicts: 1049000 | #Constraints: 79044 1969.71/1976.59 c INPROCESSING 1969.71/1976.59 c GARBAGE COLLECT 1969.71/1976.59 c rational objective 81 2012.86/2019.84 c #Conflicts: 1050000 | #Constraints: 43391 2012.86/2019.84 c #Conflicts: 1051000 | #Constraints: 44391 2012.86/2019.84 c #Conflicts: 1052000 | #Constraints: 45391 2012.86/2019.84 c #Conflicts: 1053000 | #Constraints: 46391 2012.86/2019.84 c #Conflicts: 1054000 | #Constraints: 47391 2012.86/2019.84 c #Conflicts: 1055000 | #Constraints: 48391 2012.86/2019.84 c #Conflicts: 1056000 | #Constraints: 49391 2012.86/2019.84 c #Conflicts: 1057000 | #Constraints: 50391 2012.86/2019.84 c #Conflicts: 1058000 | #Constraints: 51392 2012.86/2019.84 c #Conflicts: 1059000 | #Constraints: 52392 2012.86/2019.84 c #Conflicts: 1060000 | #Constraints: 53392 2012.86/2019.84 c #Conflicts: 1061000 | #Constraints: 54393 2012.86/2019.84 c #Conflicts: 1062000 | #Constraints: 55393 2012.86/2019.84 c #Conflicts: 1063000 | #Constraints: 56395 2012.86/2019.84 c #Conflicts: 1064000 | #Constraints: 57395 2012.86/2019.84 c #Conflicts: 1065000 | #Constraints: 58395 2012.86/2019.84 c #Conflicts: 1066000 | #Constraints: 59395 2012.86/2019.84 c #Conflicts: 1067000 | #Constraints: 60395 2012.86/2019.84 c #Conflicts: 1068000 | #Constraints: 61395 2012.86/2019.84 c #Conflicts: 1069000 | #Constraints: 62395 2012.86/2019.84 c #Conflicts: 1070000 | #Constraints: 63395 2012.86/2019.84 c #Conflicts: 1071000 | #Constraints: 64395 2012.86/2019.84 c #Conflicts: 1072000 | #Constraints: 65395 2012.86/2019.84 c INPROCESSING 2012.86/2019.84 c GARBAGE COLLECT 2012.86/2019.84 c rational objective 81 2054.30/2061.47 c #Conflicts: 1073000 | #Constraints: 36624 2054.30/2061.47 c #Conflicts: 1074000 | #Constraints: 37625 2054.30/2061.47 c #Conflicts: 1075000 | #Constraints: 38625 2054.30/2061.47 c #Conflicts: 1076000 | #Constraints: 39625 2054.30/2061.47 c #Conflicts: 1077000 | #Constraints: 40625 2054.30/2061.47 c #Conflicts: 1078000 | #Constraints: 41625 2054.30/2061.47 c #Conflicts: 1079000 | #Constraints: 42625 2054.30/2061.47 c #Conflicts: 1080000 | #Constraints: 43625 2054.30/2061.47 c #Conflicts: 1081000 | #Constraints: 44625 2054.30/2061.47 c #Conflicts: 1082000 | #Constraints: 45625 2054.30/2061.47 c #Conflicts: 1083000 | #Constraints: 46625 2054.30/2061.47 c #Conflicts: 1084000 | #Constraints: 47625 2054.30/2061.47 c #Conflicts: 1085000 | #Constraints: 48625 2054.30/2061.47 c #Conflicts: 1086000 | #Constraints: 49625 2054.30/2061.47 c #Conflicts: 1087000 | #Constraints: 50625 2054.30/2061.47 c #Conflicts: 1088000 | #Constraints: 51625 2054.30/2061.47 c #Conflicts: 1089000 | #Constraints: 52625 2054.30/2061.47 c #Conflicts: 1090000 | #Constraints: 53625 2054.30/2061.47 c #Conflicts: 1091000 | #Constraints: 54625 2054.30/2061.47 c #Conflicts: 1092000 | #Constraints: 55625 2054.30/2061.47 c #Conflicts: 1093000 | #Constraints: 56626 2054.30/2061.47 c #Conflicts: 1094000 | #Constraints: 57626 2054.30/2061.47 c #Conflicts: 1095000 | #Constraints: 58626 2054.30/2061.47 c INPROCESSING 2054.30/2061.47 c GARBAGE COLLECT 2054.30/2061.47 c rational objective 81 2095.77/2103.06 c #Conflicts: 1096000 | #Constraints: 33154 2095.77/2103.06 c #Conflicts: 1097000 | #Constraints: 34154 2095.77/2103.06 c #Conflicts: 1098000 | #Constraints: 35154 2095.77/2103.06 c #Conflicts: 1099000 | #Constraints: 36154 2095.77/2103.06 c #Conflicts: 1100000 | #Constraints: 37154 2095.77/2103.06 c #Conflicts: 1101000 | #Constraints: 38154 2095.77/2103.06 c #Conflicts: 1102000 | #Constraints: 39154 2095.77/2103.06 c #Conflicts: 1103000 | #Constraints: 40154 2095.77/2103.06 c #Conflicts: 1104000 | #Constraints: 41154 2095.77/2103.06 c #Conflicts: 1105000 | #Constraints: 42154 2095.77/2103.06 c #Conflicts: 1106000 | #Constraints: 43154 2095.77/2103.06 c #Conflicts: 1107000 | #Constraints: 44154 2095.77/2103.06 c #Conflicts: 1108000 | #Constraints: 45154 2095.77/2103.06 c #Conflicts: 1109000 | #Constraints: 46154 2095.77/2103.06 c #Conflicts: 1110000 | #Constraints: 47154 2095.77/2103.06 c #Conflicts: 1111000 | #Constraints: 48154 2095.77/2103.06 c #Conflicts: 1112000 | #Constraints: 49154 2095.77/2103.06 c #Conflicts: 1113000 | #Constraints: 50154 2095.77/2103.06 c #Conflicts: 1114000 | #Constraints: 51154 2095.77/2103.06 c #Conflicts: 1115000 | #Constraints: 52154 2095.77/2103.06 c #Conflicts: 1116000 | #Constraints: 53154 2095.77/2103.06 c #Conflicts: 1117000 | #Constraints: 54154 2095.77/2103.06 c #Conflicts: 1118000 | #Constraints: 55154 2095.77/2103.06 c INPROCESSING 2095.77/2103.06 c GARBAGE COLLECT 2095.77/2103.06 c rational objective 81 2132.34/2139.70 c #Conflicts: 1119000 | #Constraints: 31282 2132.34/2139.70 c #Conflicts: 1120000 | #Constraints: 32282 2132.34/2139.70 c #Conflicts: 1121000 | #Constraints: 33282 2132.34/2139.70 c #Conflicts: 1122000 | #Constraints: 34282 2132.34/2139.70 c #Conflicts: 1123000 | #Constraints: 35283 2132.34/2139.70 c #Conflicts: 1124000 | #Constraints: 36284 2132.34/2139.70 c #Conflicts: 1125000 | #Constraints: 37284 2132.34/2139.70 c #Conflicts: 1126000 | #Constraints: 38284 2132.34/2139.70 c #Conflicts: 1127000 | #Constraints: 39284 2132.34/2139.70 c #Conflicts: 1128000 | #Constraints: 40284 2132.34/2139.70 c #Conflicts: 1129000 | #Constraints: 41284 2132.34/2139.70 c #Conflicts: 1130000 | #Constraints: 42284 2132.34/2139.70 c #Conflicts: 1131000 | #Constraints: 43284 2132.34/2139.70 c #Conflicts: 1132000 | #Constraints: 44284 2132.34/2139.70 c #Conflicts: 1133000 | #Constraints: 45284 2132.34/2139.70 c #Conflicts: 1134000 | #Constraints: 46284 2132.34/2139.70 c #Conflicts: 1135000 | #Constraints: 47284 2132.34/2139.70 c #Conflicts: 1136000 | #Constraints: 48284 2132.34/2139.70 c #Conflicts: 1137000 | #Constraints: 49284 2132.34/2139.70 c #Conflicts: 1138000 | #Constraints: 50285 2132.34/2139.70 c #Conflicts: 1139000 | #Constraints: 51286 2132.34/2139.70 c #Conflicts: 1140000 | #Constraints: 52287 2132.34/2139.70 c #Conflicts: 1141000 | #Constraints: 53287 2132.34/2139.70 c #Conflicts: 1142000 | #Constraints: 54287 2132.34/2139.70 c INPROCESSING 2132.34/2139.70 c GARBAGE COLLECT 2132.34/2139.70 c rational objective 81 2300.87/2308.83 c #Conflicts: 1143000 | #Constraints: 31041 2300.87/2308.83 c #Conflicts: 1144000 | #Constraints: 32041 2300.87/2308.83 c #Conflicts: 1145000 | #Constraints: 33041 2300.87/2308.83 c #Conflicts: 1146000 | #Constraints: 34042 2300.87/2308.83 c #Conflicts: 1147000 | #Constraints: 35042 2300.87/2308.83 c #Conflicts: 1148000 | #Constraints: 36042 2300.87/2308.83 c #Conflicts: 1149000 | #Constraints: 37043 2300.87/2308.83 c #Conflicts: 1150000 | #Constraints: 38043 2300.87/2308.83 c #Conflicts: 1151000 | #Constraints: 39044 2300.87/2308.83 c #Conflicts: 1152000 | #Constraints: 40044 2300.87/2308.83 c #Conflicts: 1153000 | #Constraints: 41044 2300.87/2308.83 c #Conflicts: 1154000 | #Constraints: 42044 2300.87/2308.83 c #Conflicts: 1155000 | #Constraints: 43044 2300.87/2308.83 c #Conflicts: 1156000 | #Constraints: 44044 2300.87/2308.83 c #Conflicts: 1157000 | #Constraints: 45044 2300.87/2308.83 c #Conflicts: 1158000 | #Constraints: 46044 2300.87/2308.83 c #Conflicts: 1159000 | #Constraints: 47045 2300.87/2308.83 c #Conflicts: 1160000 | #Constraints: 48045 2300.87/2308.83 c #Conflicts: 1161000 | #Constraints: 49045 2300.87/2308.83 c #Conflicts: 1162000 | #Constraints: 50045 2300.87/2308.83 c #Conflicts: 1163000 | #Constraints: 51045 2300.87/2308.83 c #Conflicts: 1164000 | #Constraints: 52045 2300.87/2308.83 c #Conflicts: 1165000 | #Constraints: 53045 2300.87/2308.83 c #Conflicts: 1166000 | #Constraints: 54045 2300.87/2308.83 c #Conflicts: 1167000 | #Constraints: 55045 2300.87/2308.83 c #Conflicts: 1168000 | #Constraints: 56045 2300.87/2308.83 c #Conflicts: 1169000 | #Constraints: 57045 2300.87/2308.83 c #Conflicts: 1170000 | #Constraints: 58046 2300.87/2308.83 c #Conflicts: 1171000 | #Constraints: 59046 2300.87/2308.83 c #Conflicts: 1172000 | #Constraints: 60046 2300.87/2308.83 c #Conflicts: 1173000 | #Constraints: 61046 2300.87/2308.83 c #Conflicts: 1174000 | #Constraints: 62046 2300.87/2308.83 c #Conflicts: 1175000 | #Constraints: 63046 2300.87/2308.83 c #Conflicts: 1176000 | #Constraints: 64046 2300.87/2308.83 c #Conflicts: 1177000 | #Constraints: 65046 2300.87/2308.83 c #Conflicts: 1178000 | #Constraints: 66046 2300.87/2308.83 c #Conflicts: 1179000 | #Constraints: 67046 2300.87/2308.83 c #Conflicts: 1180000 | #Constraints: 68047 2300.87/2308.83 c #Conflicts: 1181000 | #Constraints: 69047 2300.87/2308.83 c #Conflicts: 1182000 | #Constraints: 70048 2300.87/2308.83 c #Conflicts: 1183000 | #Constraints: 71048 2300.87/2308.83 c #Conflicts: 1184000 | #Constraints: 72048 2300.87/2308.83 c #Conflicts: 1185000 | #Constraints: 73048 2300.87/2308.83 c #Conflicts: 1186000 | #Constraints: 74048 2300.87/2308.83 c #Conflicts: 1187000 | #Constraints: 75048 2300.87/2308.83 c #Conflicts: 1188000 | #Constraints: 76048 2300.87/2308.83 c #Conflicts: 1189000 | #Constraints: 77048 2300.87/2308.83 c #Conflicts: 1190000 | #Constraints: 78049 2300.87/2308.83 c #Conflicts: 1191000 | #Constraints: 79049 2300.87/2308.83 c #Conflicts: 1192000 | #Constraints: 80049 2300.87/2308.83 c #Conflicts: 1193000 | #Constraints: 81050 2300.87/2308.83 c #Conflicts: 1194000 | #Constraints: 82050 2300.87/2308.83 c #Conflicts: 1195000 | #Constraints: 83050 2300.87/2308.83 c #Conflicts: 1196000 | #Constraints: 84050 2300.87/2308.83 c #Conflicts: 1197000 | #Constraints: 85050 2300.87/2308.83 c #Conflicts: 1198000 | #Constraints: 86050 2300.87/2308.83 c #Conflicts: 1199000 | #Constraints: 87050 2300.87/2308.83 c #Conflicts: 1200000 | #Constraints: 88050 2300.87/2308.83 c #Conflicts: 1201000 | #Constraints: 89050 2300.87/2308.83 c #Conflicts: 1202000 | #Constraints: 90050 2300.87/2308.83 c #Conflicts: 1203000 | #Constraints: 91050 2300.87/2308.83 c #Conflicts: 1204000 | #Constraints: 92051 2300.87/2308.83 c #Conflicts: 1205000 | #Constraints: 93051 2300.87/2308.83 c #Conflicts: 1206000 | #Constraints: 94052 2300.87/2308.83 c #Conflicts: 1207000 | #Constraints: 95053 2300.87/2308.83 c #Conflicts: 1208000 | #Constraints: 96053 2300.87/2308.83 c #Conflicts: 1209000 | #Constraints: 97053 2300.87/2308.83 c #Conflicts: 1210000 | #Constraints: 98053 2300.87/2308.83 c #Conflicts: 1211000 | #Constraints: 99053 2300.87/2308.83 c #Conflicts: 1212000 | #Constraints: 100053 2300.87/2308.83 c #Conflicts: 1213000 | #Constraints: 101053 2300.87/2308.83 c #Conflicts: 1214000 | #Constraints: 102053 2300.87/2308.83 c #Conflicts: 1215000 | #Constraints: 103053 2300.87/2308.83 c #Conflicts: 1216000 | #Constraints: 104053 2300.87/2308.83 c #Conflicts: 1217000 | #Constraints: 105053 2300.87/2308.83 c #Conflicts: 1218000 | #Constraints: 106053 2300.87/2308.83 c #Conflicts: 1219000 | #Constraints: 107053 2300.87/2308.83 c #Conflicts: 1220000 | #Constraints: 108053 2300.87/2308.83 c #Conflicts: 1221000 | #Constraints: 109053 2329.78/2337.80 c #Conflicts: 1222000 | #Constraints: 110053 2329.78/2337.80 c #Conflicts: 1223000 | #Constraints: 111053 2329.78/2337.80 c #Conflicts: 1224000 | #Constraints: 112053 2329.78/2337.80 c #Conflicts: 1225000 | #Constraints: 113054 2329.78/2337.80 c #Conflicts: 1226000 | #Constraints: 114054 2329.78/2337.80 c #Conflicts: 1227000 | #Constraints: 115054 2329.78/2337.80 c #Conflicts: 1228000 | #Constraints: 116055 2329.78/2337.80 c INPROCESSING 2329.78/2337.80 c GARBAGE COLLECT 2329.78/2337.80 c rational objective 81 2399.63/2407.96 c #Conflicts: 1229000 | #Constraints: 62083 2399.63/2407.96 c #Conflicts: 1230000 | #Constraints: 63083 2399.63/2407.96 c #Conflicts: 1231000 | #Constraints: 64083 2399.63/2407.96 c #Conflicts: 1232000 | #Constraints: 65083 2399.63/2407.96 c #Conflicts: 1233000 | #Constraints: 66083 2399.63/2407.96 c #Conflicts: 1234000 | #Constraints: 67084 2399.63/2407.96 c #Conflicts: 1235000 | #Constraints: 68084 2399.63/2407.96 c #Conflicts: 1236000 | #Constraints: 69084 2399.63/2407.96 c #Conflicts: 1237000 | #Constraints: 70084 2399.63/2407.96 c #Conflicts: 1238000 | #Constraints: 71085 2399.63/2407.96 c #Conflicts: 1239000 | #Constraints: 72086 2399.63/2407.96 c #Conflicts: 1240000 | #Constraints: 73086 2399.63/2407.96 c #Conflicts: 1241000 | #Constraints: 74086 2399.63/2407.96 c #Conflicts: 1242000 | #Constraints: 75086 2399.63/2407.96 c #Conflicts: 1243000 | #Constraints: 76087 2399.63/2407.96 c #Conflicts: 1244000 | #Constraints: 77087 2399.63/2407.96 c #Conflicts: 1245000 | #Constraints: 78087 2399.63/2407.96 c #Conflicts: 1246000 | #Constraints: 79088 2399.63/2407.96 c #Conflicts: 1247000 | #Constraints: 80088 2399.63/2407.96 c #Conflicts: 1248000 | #Constraints: 81089 2399.63/2407.96 c #Conflicts: 1249000 | #Constraints: 82090 2399.63/2407.96 c #Conflicts: 1250000 | #Constraints: 83090 2399.63/2407.96 c #Conflicts: 1251000 | #Constraints: 84090 2399.63/2407.96 c #Conflicts: 1252000 | #Constraints: 85090 2399.63/2407.96 c #Conflicts: 1253000 | #Constraints: 86090 2399.63/2407.96 c INPROCESSING 2399.63/2407.96 c GARBAGE COLLECT 2399.63/2407.96 c rational objective 81 2442.19/2450.66 c #Conflicts: 1254000 | #Constraints: 47175 2442.19/2450.66 c #Conflicts: 1255000 | #Constraints: 48175 2442.19/2450.66 c #Conflicts: 1256000 | #Constraints: 49175 2442.19/2450.66 c #Conflicts: 1257000 | #Constraints: 50175 2442.19/2450.66 c #Conflicts: 1258000 | #Constraints: 51175 2442.19/2450.66 c #Conflicts: 1259000 | #Constraints: 52175 2442.19/2450.66 c #Conflicts: 1260000 | #Constraints: 53175 2442.19/2450.66 c #Conflicts: 1261000 | #Constraints: 54175 2442.19/2450.66 c #Conflicts: 1262000 | #Constraints: 55175 2442.19/2450.66 c #Conflicts: 1263000 | #Constraints: 56175 2442.19/2450.66 c #Conflicts: 1264000 | #Constraints: 57175 2442.19/2450.66 c #Conflicts: 1265000 | #Constraints: 58175 2442.19/2450.66 c #Conflicts: 1266000 | #Constraints: 59175 2442.19/2450.66 c #Conflicts: 1267000 | #Constraints: 60175 2442.19/2450.66 c #Conflicts: 1268000 | #Constraints: 61175 2442.19/2450.66 c #Conflicts: 1269000 | #Constraints: 62175 2442.19/2450.66 c #Conflicts: 1270000 | #Constraints: 63175 2442.19/2450.66 c #Conflicts: 1271000 | #Constraints: 64175 2442.19/2450.66 c #Conflicts: 1272000 | #Constraints: 65175 2442.19/2450.66 c #Conflicts: 1273000 | #Constraints: 66175 2442.19/2450.66 c #Conflicts: 1274000 | #Constraints: 67175 2442.19/2450.66 c #Conflicts: 1275000 | #Constraints: 68175 2442.19/2450.66 c #Conflicts: 1276000 | #Constraints: 69175 2442.19/2450.66 c #Conflicts: 1277000 | #Constraints: 70175 2442.19/2450.66 c #Conflicts: 1278000 | #Constraints: 71175 2442.19/2450.66 c INPROCESSING 2442.19/2450.66 c GARBAGE COLLECT 2442.19/2450.66 c rational objective 81 2482.25/2490.88 c #Conflicts: 1279000 | #Constraints: 39696 2482.25/2490.88 c #Conflicts: 1280000 | #Constraints: 40696 2482.25/2490.88 c #Conflicts: 1281000 | #Constraints: 41696 2482.25/2490.88 c #Conflicts: 1282000 | #Constraints: 42696 2482.25/2490.88 c #Conflicts: 1283000 | #Constraints: 43696 2482.25/2490.88 c #Conflicts: 1284000 | #Constraints: 44696 2482.25/2490.88 c #Conflicts: 1285000 | #Constraints: 45696 2482.25/2490.88 c #Conflicts: 1286000 | #Constraints: 46697 2482.25/2490.88 c #Conflicts: 1287000 | #Constraints: 47697 2482.25/2490.88 c #Conflicts: 1288000 | #Constraints: 48698 2482.25/2490.88 c #Conflicts: 1289000 | #Constraints: 49698 2482.25/2490.88 c #Conflicts: 1290000 | #Constraints: 50698 2482.25/2490.88 c #Conflicts: 1291000 | #Constraints: 51698 2482.25/2490.88 c #Conflicts: 1292000 | #Constraints: 52698 2482.25/2490.88 c #Conflicts: 1293000 | #Constraints: 53698 2482.25/2490.88 c #Conflicts: 1294000 | #Constraints: 54698 2482.25/2490.88 c #Conflicts: 1295000 | #Constraints: 55698 2482.25/2490.88 c #Conflicts: 1296000 | #Constraints: 56698 2482.25/2490.88 c #Conflicts: 1297000 | #Constraints: 57698 2482.25/2490.88 c #Conflicts: 1298000 | #Constraints: 58698 2482.25/2490.88 c #Conflicts: 1299000 | #Constraints: 59699 2482.25/2490.88 c #Conflicts: 1300000 | #Constraints: 60699 2482.25/2490.88 c #Conflicts: 1301000 | #Constraints: 61699 2482.25/2490.88 c #Conflicts: 1302000 | #Constraints: 62699 2482.25/2490.88 c #Conflicts: 1303000 | #Constraints: 63699 2482.25/2490.88 c INPROCESSING 2482.25/2490.88 c GARBAGE COLLECT 2482.25/2490.88 c rational objective 81 2521.13/2529.81 c #Conflicts: 1304000 | #Constraints: 35884 2521.13/2529.81 c #Conflicts: 1305000 | #Constraints: 36884 2521.13/2529.81 c #Conflicts: 1306000 | #Constraints: 37885 2521.13/2529.81 c #Conflicts: 1307000 | #Constraints: 38885 2521.13/2529.81 c #Conflicts: 1308000 | #Constraints: 39885 2521.13/2529.81 c #Conflicts: 1309000 | #Constraints: 40885 2521.13/2529.81 c #Conflicts: 1310000 | #Constraints: 41885 2521.13/2529.81 c #Conflicts: 1311000 | #Constraints: 42885 2521.13/2529.81 c #Conflicts: 1312000 | #Constraints: 43885 2521.13/2529.81 c #Conflicts: 1313000 | #Constraints: 44885 2521.13/2529.81 c #Conflicts: 1314000 | #Constraints: 45885 2521.13/2529.81 c #Conflicts: 1315000 | #Constraints: 46885 2521.13/2529.81 c #Conflicts: 1316000 | #Constraints: 47885 2521.13/2529.81 c #Conflicts: 1317000 | #Constraints: 48885 2521.13/2529.81 c #Conflicts: 1318000 | #Constraints: 49885 2521.13/2529.81 c #Conflicts: 1319000 | #Constraints: 50885 2521.13/2529.81 c #Conflicts: 1320000 | #Constraints: 51885 2521.13/2529.81 c #Conflicts: 1321000 | #Constraints: 52885 2521.13/2529.81 c #Conflicts: 1322000 | #Constraints: 53885 2521.13/2529.81 c #Conflicts: 1323000 | #Constraints: 54885 2521.13/2529.81 c #Conflicts: 1324000 | #Constraints: 55885 2521.13/2529.81 c #Conflicts: 1325000 | #Constraints: 56885 2521.13/2529.81 c #Conflicts: 1326000 | #Constraints: 57885 2521.13/2529.81 c #Conflicts: 1327000 | #Constraints: 58885 2521.13/2529.81 c #Conflicts: 1328000 | #Constraints: 59885 2521.13/2529.81 c INPROCESSING 2521.13/2529.81 c GARBAGE COLLECT 2521.13/2529.81 c rational objective 81 2573.48/2582.32 c #Conflicts: 1329000 | #Constraints: 33839 2573.48/2582.32 c #Conflicts: 1330000 | #Constraints: 34839 2573.48/2582.32 c #Conflicts: 1331000 | #Constraints: 35839 2573.48/2582.32 c #Conflicts: 1332000 | #Constraints: 36839 2573.48/2582.32 c #Conflicts: 1333000 | #Constraints: 37839 2573.48/2582.32 c #Conflicts: 1334000 | #Constraints: 38839 2573.48/2582.32 c #Conflicts: 1335000 | #Constraints: 39839 2573.48/2582.32 c #Conflicts: 1336000 | #Constraints: 40839 2573.48/2582.32 c #Conflicts: 1337000 | #Constraints: 41839 2573.48/2582.32 c #Conflicts: 1338000 | #Constraints: 42839 2573.48/2582.32 c #Conflicts: 1339000 | #Constraints: 43839 2573.48/2582.32 c #Conflicts: 1340000 | #Constraints: 44839 2573.48/2582.32 c #Conflicts: 1341000 | #Constraints: 45839 2573.48/2582.32 c #Conflicts: 1342000 | #Constraints: 46839 2573.48/2582.32 c #Conflicts: 1343000 | #Constraints: 47839 2573.48/2582.32 c #Conflicts: 1344000 | #Constraints: 48839 2573.48/2582.32 c #Conflicts: 1345000 | #Constraints: 49839 2573.48/2582.32 c #Conflicts: 1346000 | #Constraints: 50839 2573.48/2582.32 c #Conflicts: 1347000 | #Constraints: 51840 2573.48/2582.32 c #Conflicts: 1348000 | #Constraints: 52840 2573.48/2582.32 c #Conflicts: 1349000 | #Constraints: 53840 2573.48/2582.32 c #Conflicts: 1350000 | #Constraints: 54840 2573.48/2582.32 c #Conflicts: 1351000 | #Constraints: 55840 2573.48/2582.32 c #Conflicts: 1352000 | #Constraints: 56840 2573.48/2582.32 c #Conflicts: 1353000 | #Constraints: 57840 2573.48/2582.32 c #Conflicts: 1354000 | #Constraints: 58840 2573.48/2582.32 c INPROCESSING 2573.48/2582.32 c GARBAGE COLLECT 2573.48/2582.32 c rational objective 81 2745.71/2755.13 c #Conflicts: 1355000 | #Constraints: 33486 2745.71/2755.13 c #Conflicts: 1356000 | #Constraints: 34486 2745.71/2755.13 c #Conflicts: 1357000 | #Constraints: 35486 2745.71/2755.13 c #Conflicts: 1358000 | #Constraints: 36486 2745.71/2755.13 c #Conflicts: 1359000 | #Constraints: 37486 2745.71/2755.13 c #Conflicts: 1360000 | #Constraints: 38486 2745.71/2755.13 c #Conflicts: 1361000 | #Constraints: 39486 2745.71/2755.13 c #Conflicts: 1362000 | #Constraints: 40486 2745.71/2755.13 c #Conflicts: 1363000 | #Constraints: 41486 2745.71/2755.13 c #Conflicts: 1364000 | #Constraints: 42486 2745.71/2755.13 c #Conflicts: 1365000 | #Constraints: 43486 2745.71/2755.13 c #Conflicts: 1366000 | #Constraints: 44486 2745.71/2755.13 c #Conflicts: 1367000 | #Constraints: 45486 2745.71/2755.13 c #Conflicts: 1368000 | #Constraints: 46486 2745.71/2755.13 c #Conflicts: 1369000 | #Constraints: 47486 2745.71/2755.13 c #Conflicts: 1370000 | #Constraints: 48486 2745.71/2755.13 c #Conflicts: 1371000 | #Constraints: 49486 2745.71/2755.13 c #Conflicts: 1372000 | #Constraints: 50486 2745.71/2755.13 c #Conflicts: 1373000 | #Constraints: 51487 2745.71/2755.13 c #Conflicts: 1374000 | #Constraints: 52487 2745.71/2755.13 c #Conflicts: 1375000 | #Constraints: 53487 2745.71/2755.13 c #Conflicts: 1376000 | #Constraints: 54487 2745.71/2755.13 c #Conflicts: 1377000 | #Constraints: 55487 2745.71/2755.13 c #Conflicts: 1378000 | #Constraints: 56487 2745.71/2755.13 c #Conflicts: 1379000 | #Constraints: 57487 2745.71/2755.13 c #Conflicts: 1380000 | #Constraints: 58487 2745.71/2755.13 c #Conflicts: 1381000 | #Constraints: 59487 2745.71/2755.13 c #Conflicts: 1382000 | #Constraints: 60487 2745.71/2755.13 c #Conflicts: 1383000 | #Constraints: 61488 2745.71/2755.13 c #Conflicts: 1384000 | #Constraints: 62489 2745.71/2755.13 c #Conflicts: 1385000 | #Constraints: 63489 2745.71/2755.13 c #Conflicts: 1386000 | #Constraints: 64489 2745.71/2755.13 c #Conflicts: 1387000 | #Constraints: 65489 2745.71/2755.13 c #Conflicts: 1388000 | #Constraints: 66489 2745.71/2755.13 c #Conflicts: 1389000 | #Constraints: 67489 2745.71/2755.13 c #Conflicts: 1390000 | #Constraints: 68489 2745.71/2755.13 c #Conflicts: 1391000 | #Constraints: 69489 2745.71/2755.13 c #Conflicts: 1392000 | #Constraints: 70489 2745.71/2755.13 c #Conflicts: 1393000 | #Constraints: 71489 2745.71/2755.13 c #Conflicts: 1394000 | #Constraints: 72489 2745.71/2755.13 c #Conflicts: 1395000 | #Constraints: 73489 2745.71/2755.13 c #Conflicts: 1396000 | #Constraints: 74489 2745.71/2755.13 c #Conflicts: 1397000 | #Constraints: 75490 2745.71/2755.13 c #Conflicts: 1398000 | #Constraints: 76490 2745.71/2755.13 c #Conflicts: 1399000 | #Constraints: 77490 2745.71/2755.13 c #Conflicts: 1400000 | #Constraints: 78490 2745.71/2755.13 c #Conflicts: 1401000 | #Constraints: 79490 2745.71/2755.13 c #Conflicts: 1402000 | #Constraints: 80490 2745.71/2755.13 c #Conflicts: 1403000 | #Constraints: 81490 2745.71/2755.13 c #Conflicts: 1404000 | #Constraints: 82490 2745.71/2755.13 c #Conflicts: 1405000 | #Constraints: 83490 2745.71/2755.13 c #Conflicts: 1406000 | #Constraints: 84490 2745.71/2755.13 c #Conflicts: 1407000 | #Constraints: 85490 2745.71/2755.13 c #Conflicts: 1408000 | #Constraints: 86490 2745.71/2755.13 c #Conflicts: 1409000 | #Constraints: 87491 2745.71/2755.13 c #Conflicts: 1410000 | #Constraints: 88491 2745.71/2755.13 c #Conflicts: 1411000 | #Constraints: 89491 2745.71/2755.13 c #Conflicts: 1412000 | #Constraints: 90491 2745.71/2755.13 c #Conflicts: 1413000 | #Constraints: 91491 2745.71/2755.13 c #Conflicts: 1414000 | #Constraints: 92491 2745.71/2755.13 c #Conflicts: 1415000 | #Constraints: 93491 2745.71/2755.13 c #Conflicts: 1416000 | #Constraints: 94491 2745.71/2755.13 c #Conflicts: 1417000 | #Constraints: 95491 2745.71/2755.13 c #Conflicts: 1418000 | #Constraints: 96491 2745.71/2755.13 c #Conflicts: 1419000 | #Constraints: 97491 2745.71/2755.13 c #Conflicts: 1420000 | #Constraints: 98491 2745.71/2755.13 c #Conflicts: 1421000 | #Constraints: 99491 2745.71/2755.13 c #Conflicts: 1422000 | #Constraints: 100491 2745.71/2755.13 c #Conflicts: 1423000 | #Constraints: 101491 2745.71/2755.13 c #Conflicts: 1424000 | #Constraints: 102491 2745.71/2755.13 c #Conflicts: 1425000 | #Constraints: 103491 2745.71/2755.13 c #Conflicts: 1426000 | #Constraints: 104491 2745.71/2755.13 c #Conflicts: 1427000 | #Constraints: 105491 2745.71/2755.13 c #Conflicts: 1428000 | #Constraints: 106491 2745.71/2755.13 c #Conflicts: 1429000 | #Constraints: 107491 2745.71/2755.13 c #Conflicts: 1430000 | #Constraints: 108492 2745.71/2755.13 c #Conflicts: 1431000 | #Constraints: 109492 2745.71/2755.13 c #Conflicts: 1432000 | #Constraints: 110492 2745.71/2755.13 c #Conflicts: 1433000 | #Constraints: 111492 2804.42/2814.03 c #Conflicts: 1434000 | #Constraints: 112492 2804.42/2814.03 c #Conflicts: 1435000 | #Constraints: 113492 2804.42/2814.03 c #Conflicts: 1436000 | #Constraints: 114492 2804.42/2814.03 c #Conflicts: 1437000 | #Constraints: 115492 2804.42/2814.03 c #Conflicts: 1438000 | #Constraints: 116492 2804.42/2814.03 c #Conflicts: 1439000 | #Constraints: 117492 2804.42/2814.03 c #Conflicts: 1440000 | #Constraints: 118492 2804.42/2814.03 c #Conflicts: 1441000 | #Constraints: 119492 2804.42/2814.03 c #Conflicts: 1442000 | #Constraints: 120492 2804.42/2814.03 c #Conflicts: 1443000 | #Constraints: 121492 2804.42/2814.03 c #Conflicts: 1444000 | #Constraints: 122492 2804.42/2814.03 c #Conflicts: 1445000 | #Constraints: 123492 2804.42/2814.03 c #Conflicts: 1446000 | #Constraints: 124492 2804.42/2814.03 c #Conflicts: 1447000 | #Constraints: 125492 2804.42/2814.03 c INPROCESSING 2804.42/2814.03 c GARBAGE COLLECT 2804.42/2814.03 c rational objective 81 2864.10/2873.99 c #Conflicts: 1448000 | #Constraints: 66640 2864.10/2873.99 c #Conflicts: 1449000 | #Constraints: 67640 2864.10/2873.99 c #Conflicts: 1450000 | #Constraints: 68640 2864.10/2873.99 c #Conflicts: 1451000 | #Constraints: 69640 2864.10/2873.99 c #Conflicts: 1452000 | #Constraints: 70640 2864.10/2873.99 c #Conflicts: 1453000 | #Constraints: 71640 2864.10/2873.99 c #Conflicts: 1454000 | #Constraints: 72640 2864.10/2873.99 c #Conflicts: 1455000 | #Constraints: 73640 2864.10/2873.99 c #Conflicts: 1456000 | #Constraints: 74640 2864.10/2873.99 c #Conflicts: 1457000 | #Constraints: 75640 2864.10/2873.99 c #Conflicts: 1458000 | #Constraints: 76640 2864.10/2873.99 c #Conflicts: 1459000 | #Constraints: 77640 2864.10/2873.99 c #Conflicts: 1460000 | #Constraints: 78640 2864.10/2873.99 c #Conflicts: 1461000 | #Constraints: 79640 2864.10/2873.99 c #Conflicts: 1462000 | #Constraints: 80640 2864.10/2873.99 c #Conflicts: 1463000 | #Constraints: 81640 2864.10/2873.99 c #Conflicts: 1464000 | #Constraints: 82640 2864.10/2873.99 c #Conflicts: 1465000 | #Constraints: 83640 2864.10/2873.99 c #Conflicts: 1466000 | #Constraints: 84640 2864.10/2873.99 c #Conflicts: 1467000 | #Constraints: 85640 2864.10/2873.99 c #Conflicts: 1468000 | #Constraints: 86640 2864.10/2873.99 c #Conflicts: 1469000 | #Constraints: 87640 2864.10/2873.99 c #Conflicts: 1470000 | #Constraints: 88640 2864.10/2873.99 c #Conflicts: 1471000 | #Constraints: 89640 2864.10/2873.99 c #Conflicts: 1472000 | #Constraints: 90640 2864.10/2873.99 c #Conflicts: 1473000 | #Constraints: 91640 2864.10/2873.99 c #Conflicts: 1474000 | #Constraints: 92640 2864.10/2873.99 c INPROCESSING 2864.10/2873.99 c GARBAGE COLLECT 2864.10/2873.99 c rational objective 81 2920.21/2930.28 c #Conflicts: 1475000 | #Constraints: 50315 2920.21/2930.28 c #Conflicts: 1476000 | #Constraints: 51315 2920.21/2930.28 c #Conflicts: 1477000 | #Constraints: 52315 2920.21/2930.28 c #Conflicts: 1478000 | #Constraints: 53315 2920.21/2930.28 c #Conflicts: 1479000 | #Constraints: 54317 2920.21/2930.28 c #Conflicts: 1480000 | #Constraints: 55318 2920.21/2930.28 c #Conflicts: 1481000 | #Constraints: 56318 2920.21/2930.28 c #Conflicts: 1482000 | #Constraints: 57318 2920.21/2930.28 c #Conflicts: 1483000 | #Constraints: 58318 2920.21/2930.28 c #Conflicts: 1484000 | #Constraints: 59318 2920.21/2930.28 c #Conflicts: 1485000 | #Constraints: 60318 2920.21/2930.28 c #Conflicts: 1486000 | #Constraints: 61318 2920.21/2930.28 c #Conflicts: 1487000 | #Constraints: 62318 2920.21/2930.28 c #Conflicts: 1488000 | #Constraints: 63318 2920.21/2930.28 c #Conflicts: 1489000 | #Constraints: 64318 2920.21/2930.28 c #Conflicts: 1490000 | #Constraints: 65318 2920.21/2930.28 c #Conflicts: 1491000 | #Constraints: 66318 2920.21/2930.28 c #Conflicts: 1492000 | #Constraints: 67319 2920.21/2930.28 c #Conflicts: 1493000 | #Constraints: 68319 2920.21/2930.28 c #Conflicts: 1494000 | #Constraints: 69319 2920.21/2930.28 c #Conflicts: 1495000 | #Constraints: 70319 2920.21/2930.28 c #Conflicts: 1496000 | #Constraints: 71319 2920.21/2930.28 c #Conflicts: 1497000 | #Constraints: 72319 2920.21/2930.28 c #Conflicts: 1498000 | #Constraints: 73319 2920.21/2930.28 c #Conflicts: 1499000 | #Constraints: 74319 2920.21/2930.28 c #Conflicts: 1500000 | #Constraints: 75319 2920.21/2930.28 c #Conflicts: 1501000 | #Constraints: 76319 2920.21/2930.28 c INPROCESSING 2920.21/2930.28 c GARBAGE COLLECT 2920.21/2930.28 c rational objective 81 2964.36/2974.59 c #Conflicts: 1502000 | #Constraints: 42109 2964.36/2974.59 c #Conflicts: 1503000 | #Constraints: 43110 2964.36/2974.59 c #Conflicts: 1504000 | #Constraints: 44111 2964.36/2974.59 c #Conflicts: 1505000 | #Constraints: 45112 2964.36/2974.59 c #Conflicts: 1506000 | #Constraints: 46112 2964.36/2974.59 c #Conflicts: 1507000 | #Constraints: 47112 2964.36/2974.59 c #Conflicts: 1508000 | #Constraints: 48112 2964.36/2974.59 c #Conflicts: 1509000 | #Constraints: 49112 2964.36/2974.59 c #Conflicts: 1510000 | #Constraints: 50112 2964.36/2974.59 c #Conflicts: 1511000 | #Constraints: 51112 2964.36/2974.59 c #Conflicts: 1512000 | #Constraints: 52112 2964.36/2974.59 c #Conflicts: 1513000 | #Constraints: 53112 2964.36/2974.59 c #Conflicts: 1514000 | #Constraints: 54112 2964.36/2974.59 c #Conflicts: 1515000 | #Constraints: 55112 2964.36/2974.59 c #Conflicts: 1516000 | #Constraints: 56112 2964.36/2974.59 c #Conflicts: 1517000 | #Constraints: 57112 2964.36/2974.59 c #Conflicts: 1518000 | #Constraints: 58112 2964.36/2974.59 c #Conflicts: 1519000 | #Constraints: 59112 2964.36/2974.59 c #Conflicts: 1520000 | #Constraints: 60112 2964.36/2974.59 c #Conflicts: 1521000 | #Constraints: 61112 2964.36/2974.59 c #Conflicts: 1522000 | #Constraints: 62112 2964.36/2974.59 c #Conflicts: 1523000 | #Constraints: 63112 2964.36/2974.59 c #Conflicts: 1524000 | #Constraints: 64112 2964.36/2974.59 c #Conflicts: 1525000 | #Constraints: 65112 2964.36/2974.59 c #Conflicts: 1526000 | #Constraints: 66112 2964.36/2974.59 c #Conflicts: 1527000 | #Constraints: 67112 2964.36/2974.59 c #Conflicts: 1528000 | #Constraints: 68112 2964.36/2974.59 c INPROCESSING 2964.36/2974.59 c GARBAGE COLLECT 2964.36/2974.59 c rational objective 81 3003.66/3014.00 c #Conflicts: 1529000 | #Constraints: 37837 3003.66/3014.00 c #Conflicts: 1530000 | #Constraints: 38837 3003.66/3014.00 c #Conflicts: 1531000 | #Constraints: 39837 3003.66/3014.00 c #Conflicts: 1532000 | #Constraints: 40839 3003.66/3014.00 c #Conflicts: 1533000 | #Constraints: 41840 3003.66/3014.00 c #Conflicts: 1534000 | #Constraints: 42841 3003.66/3014.00 c #Conflicts: 1535000 | #Constraints: 43841 3003.66/3014.00 c #Conflicts: 1536000 | #Constraints: 44841 3003.66/3014.00 c #Conflicts: 1537000 | #Constraints: 45841 3003.66/3014.00 c #Conflicts: 1538000 | #Constraints: 46841 3003.66/3014.00 c #Conflicts: 1539000 | #Constraints: 47842 3003.66/3014.00 c #Conflicts: 1540000 | #Constraints: 48843 3003.66/3014.00 c #Conflicts: 1541000 | #Constraints: 49843 3003.66/3014.00 c #Conflicts: 1542000 | #Constraints: 50843 3003.66/3014.00 c #Conflicts: 1543000 | #Constraints: 51843 3003.66/3014.00 c #Conflicts: 1544000 | #Constraints: 52843 3003.66/3014.00 c #Conflicts: 1545000 | #Constraints: 53843 3003.66/3014.00 c #Conflicts: 1546000 | #Constraints: 54843 3003.66/3014.00 c #Conflicts: 1547000 | #Constraints: 55843 3003.66/3014.00 c #Conflicts: 1548000 | #Constraints: 56843 3003.66/3014.00 c #Conflicts: 1549000 | #Constraints: 57843 3003.66/3014.00 c #Conflicts: 1550000 | #Constraints: 58843 3003.66/3014.00 c #Conflicts: 1551000 | #Constraints: 59843 3003.66/3014.00 c #Conflicts: 1552000 | #Constraints: 60843 3003.66/3014.00 c #Conflicts: 1553000 | #Constraints: 61843 3003.66/3014.00 c #Conflicts: 1554000 | #Constraints: 62843 3003.66/3014.00 c #Conflicts: 1555000 | #Constraints: 63843 3003.66/3014.00 c #Conflicts: 1556000 | #Constraints: 64843 3003.66/3014.00 c INPROCESSING 3003.66/3014.00 c GARBAGE COLLECT 3003.66/3014.00 c rational objective 81 3193.38/3204.20 c #Conflicts: 1557000 | #Constraints: 36432 3193.38/3204.20 c #Conflicts: 1558000 | #Constraints: 37432 3193.38/3204.20 c #Conflicts: 1559000 | #Constraints: 38432 3193.38/3204.20 c #Conflicts: 1560000 | #Constraints: 39432 3193.38/3204.20 c #Conflicts: 1561000 | #Constraints: 40432 3193.38/3204.20 c #Conflicts: 1562000 | #Constraints: 41432 3193.38/3204.20 c #Conflicts: 1563000 | #Constraints: 42432 3193.38/3204.20 c #Conflicts: 1564000 | #Constraints: 43432 3193.38/3204.20 c #Conflicts: 1565000 | #Constraints: 44432 3193.38/3204.20 c #Conflicts: 1566000 | #Constraints: 45433 3193.38/3204.20 c #Conflicts: 1567000 | #Constraints: 46433 3193.38/3204.20 c #Conflicts: 1568000 | #Constraints: 47433 3193.38/3204.20 c #Conflicts: 1569000 | #Constraints: 48433 3193.38/3204.20 c #Conflicts: 1570000 | #Constraints: 49434 3193.38/3204.20 c #Conflicts: 1571000 | #Constraints: 50434 3193.38/3204.20 c #Conflicts: 1572000 | #Constraints: 51434 3193.38/3204.20 c #Conflicts: 1573000 | #Constraints: 52434 3193.38/3204.20 c #Conflicts: 1574000 | #Constraints: 53434 3193.38/3204.20 c #Conflicts: 1575000 | #Constraints: 54435 3193.38/3204.20 c #Conflicts: 1576000 | #Constraints: 55435 3193.38/3204.20 c #Conflicts: 1577000 | #Constraints: 56435 3193.38/3204.20 c #Conflicts: 1578000 | #Constraints: 57435 3193.38/3204.20 c #Conflicts: 1579000 | #Constraints: 58435 3193.38/3204.20 c #Conflicts: 1580000 | #Constraints: 59435 3193.38/3204.20 c #Conflicts: 1581000 | #Constraints: 60435 3193.38/3204.20 c #Conflicts: 1582000 | #Constraints: 61435 3193.38/3204.20 c #Conflicts: 1583000 | #Constraints: 62435 3193.38/3204.20 c #Conflicts: 1584000 | #Constraints: 63435 3193.38/3204.20 c #Conflicts: 1585000 | #Constraints: 64435 3193.38/3204.20 c #Conflicts: 1586000 | #Constraints: 65435 3193.38/3204.20 c #Conflicts: 1587000 | #Constraints: 66435 3193.38/3204.20 c #Conflicts: 1588000 | #Constraints: 67436 3193.38/3204.20 c #Conflicts: 1589000 | #Constraints: 68436 3193.38/3204.20 c #Conflicts: 1590000 | #Constraints: 69436 3193.38/3204.20 c #Conflicts: 1591000 | #Constraints: 70437 3193.38/3204.20 c #Conflicts: 1592000 | #Constraints: 71437 3193.38/3204.20 c #Conflicts: 1593000 | #Constraints: 72437 3193.38/3204.20 c #Conflicts: 1594000 | #Constraints: 73437 3193.38/3204.20 c #Conflicts: 1595000 | #Constraints: 74437 3193.38/3204.20 c #Conflicts: 1596000 | #Constraints: 75437 3193.38/3204.20 c #Conflicts: 1597000 | #Constraints: 76437 3193.38/3204.20 c #Conflicts: 1598000 | #Constraints: 77437 3193.38/3204.20 c #Conflicts: 1599000 | #Constraints: 78437 3193.38/3204.20 c #Conflicts: 1600000 | #Constraints: 79437 3193.38/3204.20 c #Conflicts: 1601000 | #Constraints: 80437 3193.38/3204.20 c #Conflicts: 1602000 | #Constraints: 81438 3193.38/3204.20 c #Conflicts: 1603000 | #Constraints: 82438 3193.38/3204.20 c #Conflicts: 1604000 | #Constraints: 83438 3193.38/3204.20 c #Conflicts: 1605000 | #Constraints: 84438 3193.38/3204.20 c #Conflicts: 1606000 | #Constraints: 85438 3193.38/3204.20 c #Conflicts: 1607000 | #Constraints: 86438 3193.38/3204.20 c #Conflicts: 1608000 | #Constraints: 87438 3193.38/3204.20 c #Conflicts: 1609000 | #Constraints: 88439 3193.38/3204.20 c #Conflicts: 1610000 | #Constraints: 89439 3193.38/3204.20 c #Conflicts: 1611000 | #Constraints: 90439 3193.38/3204.20 c #Conflicts: 1612000 | #Constraints: 91439 3193.38/3204.20 c #Conflicts: 1613000 | #Constraints: 92439 3193.38/3204.20 c #Conflicts: 1614000 | #Constraints: 93439 3193.38/3204.20 c #Conflicts: 1615000 | #Constraints: 94439 3193.38/3204.20 c #Conflicts: 1616000 | #Constraints: 95439 3193.38/3204.20 c #Conflicts: 1617000 | #Constraints: 96439 3193.38/3204.20 c #Conflicts: 1618000 | #Constraints: 97439 3193.38/3204.20 c #Conflicts: 1619000 | #Constraints: 98439 3193.38/3204.20 c #Conflicts: 1620000 | #Constraints: 99439 3193.38/3204.20 c #Conflicts: 1621000 | #Constraints: 100439 3193.38/3204.20 c #Conflicts: 1622000 | #Constraints: 101439 3193.38/3204.20 c #Conflicts: 1623000 | #Constraints: 102439 3193.38/3204.20 c #Conflicts: 1624000 | #Constraints: 103439 3193.38/3204.20 c #Conflicts: 1625000 | #Constraints: 104439 3193.38/3204.20 c #Conflicts: 1626000 | #Constraints: 105439 3193.38/3204.20 c #Conflicts: 1627000 | #Constraints: 106439 3193.38/3204.20 c #Conflicts: 1628000 | #Constraints: 107439 3193.38/3204.20 c #Conflicts: 1629000 | #Constraints: 108439 3193.38/3204.20 c #Conflicts: 1630000 | #Constraints: 109439 3193.38/3204.20 c #Conflicts: 1631000 | #Constraints: 110439 3193.38/3204.20 c #Conflicts: 1632000 | #Constraints: 111439 3193.38/3204.20 c #Conflicts: 1633000 | #Constraints: 112439 3193.38/3204.20 c #Conflicts: 1634000 | #Constraints: 113439 3193.38/3204.20 c #Conflicts: 1635000 | #Constraints: 114439 3278.62/3289.74 c #Conflicts: 1636000 | #Constraints: 115440 3278.62/3289.74 c #Conflicts: 1637000 | #Constraints: 116440 3278.62/3289.74 c #Conflicts: 1638000 | #Constraints: 117440 3278.62/3289.74 c #Conflicts: 1639000 | #Constraints: 118441 3278.62/3289.74 c #Conflicts: 1640000 | #Constraints: 119442 3278.62/3289.74 c #Conflicts: 1641000 | #Constraints: 120443 3278.62/3289.74 c #Conflicts: 1642000 | #Constraints: 121443 3278.62/3289.74 c #Conflicts: 1643000 | #Constraints: 122443 3278.62/3289.74 c #Conflicts: 1644000 | #Constraints: 123443 3278.62/3289.74 c #Conflicts: 1645000 | #Constraints: 124443 3278.62/3289.74 c #Conflicts: 1646000 | #Constraints: 125443 3278.62/3289.74 c #Conflicts: 1647000 | #Constraints: 126443 3278.62/3289.74 c #Conflicts: 1648000 | #Constraints: 127443 3278.62/3289.74 c #Conflicts: 1649000 | #Constraints: 128443 3278.62/3289.74 c #Conflicts: 1650000 | #Constraints: 129444 3278.62/3289.74 c #Conflicts: 1651000 | #Constraints: 130444 3278.62/3289.74 c #Conflicts: 1652000 | #Constraints: 131444 3278.62/3289.74 c #Conflicts: 1653000 | #Constraints: 132444 3278.62/3289.74 c #Conflicts: 1654000 | #Constraints: 133444 3278.62/3289.74 c #Conflicts: 1655000 | #Constraints: 134444 3278.62/3289.74 c #Conflicts: 1656000 | #Constraints: 135444 3278.62/3289.74 c INPROCESSING 3278.62/3289.74 c GARBAGE COLLECT 3278.62/3289.74 c rational objective 81 3344.04/3355.38 c #Conflicts: 1657000 | #Constraints: 71833 3344.04/3355.38 c #Conflicts: 1658000 | #Constraints: 72834 3344.04/3355.38 c #Conflicts: 1659000 | #Constraints: 73834 3344.04/3355.38 c #Conflicts: 1660000 | #Constraints: 74834 3344.04/3355.38 c #Conflicts: 1661000 | #Constraints: 75834 3344.04/3355.38 c #Conflicts: 1662000 | #Constraints: 76834 3344.04/3355.38 c #Conflicts: 1663000 | #Constraints: 77835 3344.04/3355.38 c #Conflicts: 1664000 | #Constraints: 78835 3344.04/3355.38 c #Conflicts: 1665000 | #Constraints: 79835 3344.04/3355.38 c #Conflicts: 1666000 | #Constraints: 80835 3344.04/3355.38 c #Conflicts: 1667000 | #Constraints: 81835 3344.04/3355.38 c #Conflicts: 1668000 | #Constraints: 82835 3344.04/3355.38 c #Conflicts: 1669000 | #Constraints: 83835 3344.04/3355.38 c #Conflicts: 1670000 | #Constraints: 84835 3344.04/3355.38 c #Conflicts: 1671000 | #Constraints: 85835 3344.04/3355.38 c #Conflicts: 1672000 | #Constraints: 86835 3344.04/3355.38 c #Conflicts: 1673000 | #Constraints: 87835 3344.04/3355.38 c #Conflicts: 1674000 | #Constraints: 88835 3344.04/3355.38 c #Conflicts: 1675000 | #Constraints: 89835 3344.04/3355.38 c #Conflicts: 1676000 | #Constraints: 90835 3344.04/3355.38 c #Conflicts: 1677000 | #Constraints: 91836 3344.04/3355.38 c #Conflicts: 1678000 | #Constraints: 92836 3344.04/3355.38 c #Conflicts: 1679000 | #Constraints: 93836 3344.04/3355.38 c #Conflicts: 1680000 | #Constraints: 94836 3344.04/3355.38 c #Conflicts: 1681000 | #Constraints: 95836 3344.04/3355.38 c #Conflicts: 1682000 | #Constraints: 96836 3344.04/3355.38 c #Conflicts: 1683000 | #Constraints: 97836 3344.04/3355.38 c #Conflicts: 1684000 | #Constraints: 98836 3344.04/3355.38 c INPROCESSING 3344.04/3355.38 c GARBAGE COLLECT 3344.04/3355.38 c rational objective 81 3396.09/3407.59 c #Conflicts: 1685000 | #Constraints: 53269 3396.09/3407.59 c #Conflicts: 1686000 | #Constraints: 54269 3396.09/3407.59 c #Conflicts: 1687000 | #Constraints: 55269 3396.09/3407.59 c #Conflicts: 1688000 | #Constraints: 56269 3396.09/3407.59 c #Conflicts: 1689000 | #Constraints: 57269 3396.09/3407.59 c #Conflicts: 1690000 | #Constraints: 58269 3396.09/3407.59 c #Conflicts: 1691000 | #Constraints: 59269 3396.09/3407.59 c #Conflicts: 1692000 | #Constraints: 60269 3396.09/3407.59 c #Conflicts: 1693000 | #Constraints: 61269 3396.09/3407.59 c #Conflicts: 1694000 | #Constraints: 62269 3396.09/3407.59 c #Conflicts: 1695000 | #Constraints: 63269 3396.09/3407.59 c #Conflicts: 1696000 | #Constraints: 64270 3396.09/3407.59 c #Conflicts: 1697000 | #Constraints: 65270 3396.09/3407.59 c #Conflicts: 1698000 | #Constraints: 66270 3396.09/3407.59 c #Conflicts: 1699000 | #Constraints: 67270 3396.09/3407.59 c #Conflicts: 1700000 | #Constraints: 68270 3396.09/3407.59 c #Conflicts: 1701000 | #Constraints: 69270 3396.09/3407.59 c #Conflicts: 1702000 | #Constraints: 70270 3396.09/3407.59 c #Conflicts: 1703000 | #Constraints: 71270 3396.09/3407.59 c #Conflicts: 1704000 | #Constraints: 72270 3396.09/3407.59 c #Conflicts: 1705000 | #Constraints: 73270 3396.09/3407.59 c #Conflicts: 1706000 | #Constraints: 74270 3396.09/3407.59 c #Conflicts: 1707000 | #Constraints: 75270 3396.09/3407.59 c #Conflicts: 1708000 | #Constraints: 76271 3396.09/3407.59 c #Conflicts: 1709000 | #Constraints: 77271 3396.09/3407.59 c #Conflicts: 1710000 | #Constraints: 78271 3396.09/3407.59 c #Conflicts: 1711000 | #Constraints: 79271 3396.09/3407.59 c #Conflicts: 1712000 | #Constraints: 80271 3396.09/3407.59 c #Conflicts: 1713000 | #Constraints: 81271 3396.09/3407.59 c INPROCESSING 3396.09/3407.59 c GARBAGE COLLECT 3396.09/3407.59 c rational objective 81 3443.16/3454.72 c #Conflicts: 1714000 | #Constraints: 44431 3443.16/3454.72 c #Conflicts: 1715000 | #Constraints: 45431 3443.16/3454.72 c #Conflicts: 1716000 | #Constraints: 46431 3443.16/3454.72 c #Conflicts: 1717000 | #Constraints: 47431 3443.16/3454.72 c #Conflicts: 1718000 | #Constraints: 48431 3443.16/3454.72 c #Conflicts: 1719000 | #Constraints: 49431 3443.16/3454.72 c #Conflicts: 1720000 | #Constraints: 50431 3443.16/3454.72 c #Conflicts: 1721000 | #Constraints: 51431 3443.16/3454.72 c #Conflicts: 1722000 | #Constraints: 52431 3443.16/3454.72 c #Conflicts: 1723000 | #Constraints: 53431 3443.16/3454.72 c #Conflicts: 1724000 | #Constraints: 54432 3443.16/3454.72 c #Conflicts: 1725000 | #Constraints: 55432 3443.16/3454.72 c #Conflicts: 1726000 | #Constraints: 56432 3443.16/3454.72 c #Conflicts: 1727000 | #Constraints: 57432 3443.16/3454.72 c #Conflicts: 1728000 | #Constraints: 58432 3443.16/3454.72 c #Conflicts: 1729000 | #Constraints: 59432 3443.16/3454.72 c #Conflicts: 1730000 | #Constraints: 60433 3443.16/3454.72 c #Conflicts: 1731000 | #Constraints: 61433 3443.16/3454.72 c #Conflicts: 1732000 | #Constraints: 62433 3443.16/3454.72 c #Conflicts: 1733000 | #Constraints: 63433 3443.16/3454.72 c #Conflicts: 1734000 | #Constraints: 64433 3443.16/3454.72 c #Conflicts: 1735000 | #Constraints: 65433 3443.16/3454.72 c #Conflicts: 1736000 | #Constraints: 66433 3443.16/3454.72 c #Conflicts: 1737000 | #Constraints: 67433 3443.16/3454.72 c #Conflicts: 1738000 | #Constraints: 68433 3443.16/3454.72 c #Conflicts: 1739000 | #Constraints: 69433 3443.16/3454.72 c #Conflicts: 1740000 | #Constraints: 70433 3443.16/3454.72 c #Conflicts: 1741000 | #Constraints: 71433 3443.16/3454.72 c #Conflicts: 1742000 | #Constraints: 72433 3443.16/3454.72 c #Conflicts: 1743000 | #Constraints: 73433 3443.16/3454.72 c INPROCESSING 3443.16/3454.72 c GARBAGE COLLECT 3443.16/3454.72 c rational objective 81 3487.84/3499.57 c #Conflicts: 1744000 | #Constraints: 40941 3487.84/3499.57 c #Conflicts: 1745000 | #Constraints: 41941 3487.84/3499.57 c #Conflicts: 1746000 | #Constraints: 42941 3487.84/3499.57 c #Conflicts: 1747000 | #Constraints: 43941 3487.84/3499.57 c #Conflicts: 1748000 | #Constraints: 44941 3487.84/3499.57 c #Conflicts: 1749000 | #Constraints: 45941 3487.84/3499.57 c #Conflicts: 1750000 | #Constraints: 46941 3487.84/3499.57 c #Conflicts: 1751000 | #Constraints: 47941 3487.84/3499.57 c #Conflicts: 1752000 | #Constraints: 48941 3487.84/3499.57 c #Conflicts: 1753000 | #Constraints: 49941 3487.84/3499.57 c #Conflicts: 1754000 | #Constraints: 50941 3487.84/3499.57 c #Conflicts: 1755000 | #Constraints: 51942 3487.84/3499.57 c #Conflicts: 1756000 | #Constraints: 52942 3487.84/3499.57 c #Conflicts: 1757000 | #Constraints: 53942 3487.84/3499.57 c #Conflicts: 1758000 | #Constraints: 54942 3487.84/3499.57 c #Conflicts: 1759000 | #Constraints: 55942 3487.84/3499.57 c #Conflicts: 1760000 | #Constraints: 56942 3487.84/3499.57 c #Conflicts: 1761000 | #Constraints: 57942 3487.84/3499.57 c #Conflicts: 1762000 | #Constraints: 58942 3487.84/3499.57 c #Conflicts: 1763000 | #Constraints: 59942 3487.84/3499.57 c #Conflicts: 1764000 | #Constraints: 60943 3487.84/3499.57 c #Conflicts: 1765000 | #Constraints: 61943 3487.84/3499.57 c #Conflicts: 1766000 | #Constraints: 62943 3487.84/3499.57 c #Conflicts: 1767000 | #Constraints: 63943 3487.84/3499.57 c #Conflicts: 1768000 | #Constraints: 64943 3487.84/3499.57 c #Conflicts: 1769000 | #Constraints: 65943 3487.84/3499.57 c #Conflicts: 1770000 | #Constraints: 66943 3487.84/3499.57 c #Conflicts: 1771000 | #Constraints: 67943 3487.84/3499.57 c #Conflicts: 1772000 | #Constraints: 68943 3487.84/3499.57 c INPROCESSING 3487.84/3499.57 c GARBAGE COLLECT 3487.84/3499.57 c rational objective 81 3600.03/3612.00 c #Conflicts: 1773000 | #Constraints: 38469 3600.03/3612.00 c #Conflicts: 1774000 | #Constraints: 39469 3600.03/3612.00 c #Conflicts: 1775000 | #Constraints: 40469 3600.03/3612.00 c #Conflicts: 1776000 | #Constraints: 41470 3600.03/3612.00 c #Conflicts: 1777000 | #Constraints: 42470 3600.03/3612.00 c #Conflicts: 1778000 | #Constraints: 43470 3600.03/3612.00 c #Conflicts: 1779000 | #Constraints: 44470 3600.03/3612.00 c #Conflicts: 1780000 | #Constraints: 45470 3600.03/3612.00 c #Conflicts: 1781000 | #Constraints: 46470 3600.03/3612.00 c #Conflicts: 1782000 | #Constraints: 47470 3600.03/3612.00 c #Conflicts: 1783000 | #Constraints: 48470 3600.03/3612.00 c #Conflicts: 1784000 | #Constraints: 49470 3600.03/3612.00 c #Conflicts: 1785000 | #Constraints: 50470 3600.03/3612.00 c #Conflicts: 1786000 | #Constraints: 51470 3600.03/3612.00 c #Conflicts: 1787000 | #Constraints: 52470 3600.03/3612.00 c #Conflicts: 1788000 | #Constraints: 53470 3600.03/3612.00 c #Conflicts: 1789000 | #Constraints: 54470 3600.03/3612.00 c #Conflicts: 1790000 | #Constraints: 55470 3600.03/3612.00 c #Conflicts: 1791000 | #Constraints: 56470 3600.03/3612.00 c #Conflicts: 1792000 | #Constraints: 57470 3600.03/3612.00 c #Conflicts: 1793000 | #Constraints: 58470 3600.03/3612.00 c #Conflicts: 1794000 | #Constraints: 59470 3600.03/3612.00 c #Conflicts: 1795000 | #Constraints: 60470 3600.03/3612.00 c #Conflicts: 1796000 | #Constraints: 61470 3600.03/3612.00 c #Conflicts: 1797000 | #Constraints: 62471 3600.03/3612.00 c #Conflicts: 1798000 | #Constraints: 63472 3600.03/3612.00 c #Conflicts: 1799000 | #Constraints: 64472 3600.03/3612.00 c #Conflicts: 1800000 | #Constraints: 65472 3600.03/3612.00 c #Conflicts: 1801000 | #Constraints: 66472 3600.03/3612.00 c #Conflicts: 1802000 | #Constraints: 67472 3600.03/3612.00 c #Conflicts: 1803000 | #Constraints: 68472 3600.03/3612.00 c #Conflicts: 1804000 | #Constraints: 69472 3600.03/3612.00 c #Conflicts: 1805000 | #Constraints: 70472 3600.03/3612.00 c #Conflicts: 1806000 | #Constraints: 71472 3600.03/3612.00 c #Conflicts: 1807000 | #Constraints: 72472 3600.03/3612.00 c #Conflicts: 1808000 | #Constraints: 73472 3600.03/3612.00 c #Conflicts: 1809000 | #Constraints: 74472 3600.03/3612.00 c #Conflicts: 1810000 | #Constraints: 75472 3600.03/3612.00 c #Conflicts: 1811000 | #Constraints: 76473 3600.03/3612.00 c #Conflicts: 1812000 | #Constraints: 77473 3600.03/3612.00 c #Conflicts: 1813000 | #Constraints: 78473 3600.03/3612.00 c #Conflicts: 1814000 | #Constraints: 79473 3600.03/3612.00 c #Conflicts: 1815000 | #Constraints: 80473 3600.03/3612.00 c #Conflicts: 1816000 | #Constraints: 81473 3600.03/3612.00 c #Conflicts: 1817000 | #Constraints: 82473 3600.03/3612.00 c #Conflicts: 1818000 | #Constraints: 83473 3600.03/3612.00 c #Conflicts: 1819000 | #Constraints: 84473 3600.03/3612.00 c #Conflicts: 1820000 | #Constraints: 85473 3600.03/3612.00 c #Conflicts: 1821000 | #Constraints: 86473 3600.03/3612.00 c #Conflicts: 1822000 | #Constraints: 87473 3600.03/3612.00 c #Conflicts: 1823000 | #Constraints: 88474 3600.03/3612.00 c #Conflicts: 1824000 | #Constraints: 89474 3600.03/3612.00 c #Conflicts: 1825000 | #Constraints: 90474 3600.03/3612.00 c #Conflicts: 1826000 | #Constraints: 91475 3600.03/3612.00 c #Conflicts: 1827000 | #Constraints: 92475 3600.03/3612.00 c #Conflicts: 1828000 | #Constraints: 93475 3600.03/3612.00 c #Conflicts: 1829000 | #Constraints: 94475 3600.03/3612.00 c #Conflicts: 1830000 | #Constraints: 95475 3600.03/3612.00 c #Conflicts: 1831000 | #Constraints: 96475 3600.03/3612.00 c #Conflicts: 1832000 | #Constraints: 97475 3600.03/3612.00 c #Conflicts: 1833000 | #Constraints: 98475 3600.03/3612.00 c #Conflicts: 1834000 | #Constraints: 99475 3600.03/3612.00 c #Conflicts: 1835000 | #Constraints: 100477 3600.03/3612.00 c Program interrupted by user. 3600.03/3612.00 c cpu time 3567.36 s 3600.03/3612.00 c deterministic time 401287487844 4.01e+11 3600.03/3612.00 c optimization time 110.332 s 3600.03/3612.00 c total solve time 3457.02 s 3600.03/3612.00 c core-guided solve time 0 s 3600.03/3612.00 c propagation time 2374.37 s 3600.03/3612.00 c conflict analysis time 792.515 s 3600.03/3612.00 c propagations 769614544 3600.03/3612.00 c resolve steps 69354353 3600.03/3612.00 c decisions 12796601 3600.03/3612.00 c conflicts 1835937 3600.03/3612.00 c restarts 3579 3600.03/3612.00 c inprocessing phases 84 3600.03/3612.00 c input clauses 5591 3600.03/3612.00 c input cardinalities 81 3600.03/3612.00 c input general constraints 0 3600.03/3612.00 c input average constraint length 6.23 3600.03/3612.00 c input average constraint degree 1.94 3600.03/3612.00 c learned clauses 1282560 3600.03/3612.00 c learned cardinalities 35684 3600.03/3612.00 c learned general constraints 518025 3600.03/3612.00 c learned average constraint length 821.67 3600.03/3612.00 c learned average constraint degree 67813053.99 3600.03/3612.00 c watched constraints 448229 3600.03/3612.00 c counting constraints 69796 3600.03/3612.00 c gcd simplifications 7255 3600.03/3612.00 c detected cardinalities 1814 3600.03/3612.00 c weakened non-implied lits 263593186 3600.03/3612.00 c weakened non-implying lits 649433 3600.03/3612.00 c original variables 5508 3600.03/3612.00 c clausal propagations 283384799 3600.03/3612.00 c cardinality propagations 256532782 3600.03/3612.00 c watched propagations 68764315 3600.03/3612.00 c counting propagations 155192370 3600.03/3612.00 c watch lookups 34866368660 3600.03/3612.00 c watch backjump lookups 27818122352 3600.03/3612.00 c watch checks 280419176510 3600.03/3612.00 c propagation checks 51983725456 3600.03/3612.00 c constraint additions 4630934387 3600.03/3612.00 c trail pops 784242245 3600.03/3612.00 c formula constraints 5672 3600.03/3612.00 c learned constraints 1835737 3600.03/3612.00 c bound constraints 0 3600.03/3612.00 c core-guided constraints 0 3600.03/3612.00 c encountered formula constraints 38954470 3600.03/3612.00 c encountered learned constraints 32231109 3600.03/3612.00 c encountered bound constraints 0 3600.03/3612.00 c encountered core-guided constraints 0 3600.03/3612.00 c LP total time 873.042 s 3600.03/3612.00 c LP solve time 827.59 s 3600.03/3612.00 c LP constraints added 10134 3600.03/3612.00 c LP constraints removed 4301 3600.03/3612.00 c LP pivots internal 1838885 3600.03/3612.00 c LP pivots root 668203 3600.03/3612.00 c LP calls 431 3600.03/3612.00 c LP optimalities 112 3600.03/3612.00 c LP no pivot count 3 3600.03/3612.00 c LP infeasibilities 309 3600.03/3612.00 c LP valid Farkas constraints 308 3600.03/3612.00 c LP learned Farkas constraints 199 3600.03/3612.00 c LP basis resets 3 3600.03/3612.00 c LP cycling count 2 3600.03/3612.00 c LP singular count 0 3600.03/3612.00 c LP no primal count 0 3600.03/3612.00 c LP no farkas count 1 3600.03/3612.00 c LP other issue count 0 3600.03/3612.00 c LP Gomory cuts 25 3600.03/3612.00 c LP learned cuts 4437 3600.03/3612.00 c LP deleted cuts 4301 3600.03/3612.00 c LP encountered Gomory constraints 3 3600.03/3612.00 c LP encountered Farkas constraints 3069 3600.03/3612.00 c LP encountered learned Farkas constraints 1440 3600.03/3612.00 c CG auxiliary variables introduced 0 3600.03/3612.00 c CG solutions found 0 3600.03/3612.00 c CG cores constructed 0 3600.03/3612.00 c CG core cardinality constraints returned 0 3600.03/3612.00 c CG unit cores 0 3600.03/3612.00 c CG single cores 0 3600.03/3612.00 c CG blocks removed during cardinality reduction 0 3600.03/3612.00 c CG first core best 0 3600.03/3612.00 c CG decision core best 0 3600.03/3612.00 c CG core reduction tie 0 3600.03/3612.00 c CG core degree average 0.00 3600.03/3612.00 c CG core slack average 0.00 3600.03/3612.00 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (57901 MiB free)
memory of node 1: 64510 MiB (57230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455621-1721464810/watcher-4455621-1721464810 -o /tmp/evaluation-result-4455621-1721464810/solver-4455621-1721464810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455621-1721464810.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1073802, runsolver pid=1073799
[startup+0.100732 s]*
/proc/loadavg: 4.19 4.17 4.12 5/254 1073803
/proc/meminfo: memFree=117885660/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=47088 memory=16176 CPUtime=0.09 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3044 0 0 0 8 1 0 0 20 0 1 0 198650751 48218112 4044 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 11772 4044 1676 922 0 3724 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 16176 KiB
[startup+0.205502 s]*
/proc/loadavg: 4.19 4.17 4.12 5/254 1073803
/proc/meminfo: memFree=117884652/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=48140 memory=16968 CPUtime=0.2 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3278 0 0 0 19 1 0 0 20 0 1 0 198650751 49295360 4242 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 12035 4242 1676 922 0 3987 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48140 KiB
Current children cumulated memory: 16968 KiB
[startup+0.305453 s]*
/proc/loadavg: 4.19 4.17 4.12 5/254 1073803
/proc/meminfo: memFree=117884384/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=48436 memory=17232 CPUtime=0.29 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3301 0 0 0 28 1 0 0 20 0 1 0 198650751 49598464 4308 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 12109 4308 1676 922 0 4061 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48436 KiB
Current children cumulated memory: 17232 KiB
[startup+0.700226 s]
/proc/loadavg: 4.19 4.17 4.12 5/254 1073803
/proc/meminfo: memFree=117884244/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=48436 memory=19280 CPUtime=0.69 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3341 0 0 0 66 3 0 0 20 0 1 0 198650751 49598464 4820 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 12109 4820 1676 922 0 4061 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48436 KiB
Current children cumulated memory: 19280 KiB
[startup+1.50023 s]
/proc/loadavg: 4.19 4.17 4.12 5/254 1073803
/proc/meminfo: memFree=117881608/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=49688 memory=20504 CPUtime=1.48 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3625 0 0 0 142 6 0 0 20 0 1 0 198650751 50880512 5126 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 12422 5126 1722 922 0 4374 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49688 KiB
Current children cumulated memory: 20504 KiB
[startup+3.10543 s]
/proc/loadavg: 4.19 4.17 4.12 5/254 1073804
/proc/meminfo: memFree=117880052/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=50012 memory=22096 CPUtime=3.08 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 3923 0 0 0 299 9 0 0 20 0 1 0 198650751 51212288 5524 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 12503 5524 1796 922 0 4455 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50012 KiB
Current children cumulated memory: 22096 KiB
[startup+6.3002 s]
/proc/loadavg: 4.18 4.17 4.12 5/254 1073804
/proc/meminfo: memFree=117875108/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=54648 memory=26600 CPUtime=6.27 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 5059 0 0 0 608 19 0 0 20 0 1 0 198650751 55959552 6650 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 13662 6650 1796 922 0 5614 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54648 KiB
Current children cumulated memory: 26600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 1073804
/proc/meminfo: memFree=117871616/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=55660 memory=28448 CPUtime=12.65 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 5490 0 0 0 1227 38 0 0 20 0 1 0 198650751 56995840 7112 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 13915 7112 1796 922 0 5867 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55660 KiB
Current children cumulated memory: 28448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 1073815
/proc/meminfo: memFree=117800148/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=63168 memory=36264 CPUtime=25.4 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 6415 0 0 0 2482 58 0 0 20 0 1 0 198650751 64684032 9066 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 15792 9066 1796 922 0 7744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 63168 KiB
Current children cumulated memory: 36264 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.16 4.12 5/258 1073819
/proc/meminfo: memFree=117778792/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=87728 memory=54608 CPUtime=50.92 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 11219 0 0 0 4991 101 0 0 20 0 1 0 198650751 89833472 13652 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 21932 13652 1812 922 0 13884 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 87728 KiB
Current children cumulated memory: 54608 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 1073828
/proc/meminfo: memFree=117767436/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=87728 memory=60288 CPUtime=101.95 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 11632 0 0 0 10013 182 0 0 20 0 1 0 198650751 89833472 15072 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 21932 15072 1812 922 0 13884 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 87728 KiB
Current children cumulated memory: 60288 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/259 1073840
/proc/meminfo: memFree=117631152/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=206160 memory=150024 CPUtime=161.75 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 15164 0 0 0 15906 269 0 0 20 0 1 0 198650751 211107840 37506 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 51540 37506 1812 922 0 43492 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 206160 KiB
Current children cumulated memory: 150024 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/259 1073850
/proc/meminfo: memFree=116476828/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=208620 memory=152552 CPUtime=221.55 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 16292 0 0 0 21798 357 0 0 20 0 1 0 198650751 213626880 38138 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 52155 38138 1812 922 0 44107 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 208620 KiB
Current children cumulated memory: 152552 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 1073861
/proc/meminfo: memFree=114880812/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=217780 memory=161232 CPUtime=281.35 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 18534 0 0 0 27708 427 0 0 20 0 1 0 198650751 223006720 40308 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 54445 40308 1812 922 0 46397 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 217780 KiB
Current children cumulated memory: 161232 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 1073871
/proc/meminfo: memFree=114849228/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=218028 memory=161948 CPUtime=341.15 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 18583 0 0 0 33622 493 0 0 20 0 1 0 198650751 223260672 40487 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 54507 40487 1933 922 0 46459 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 218028 KiB
Current children cumulated memory: 161948 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/255 1073881
/proc/meminfo: memFree=114469456/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=227164 memory=191352 CPUtime=400.95 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 21116 0 0 0 39524 571 0 0 20 0 1 0 198650751 232615936 47838 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 56791 47838 1933 922 0 48743 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 227164 KiB
Current children cumulated memory: 191352 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 1073892
/proc/meminfo: memFree=113488884/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=312096 memory=203920 CPUtime=460.75 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 22194 0 0 0 45413 662 0 0 20 0 1 0 198650751 319586304 50980 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 78024 50980 1933 922 0 69976 0
################
# More data... #
################
Current children cumulated memory: 771288 KiB
[startup+2862.3 s]
/proc/loadavg: 1.76 2.76 3.51 2/236 1075379
/proc/meminfo: memFree=127782000/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1116156 memory=774324 CPUtime=2852.55 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 55388 0 0 0 282563 2692 0 0 20 0 1 0 198650751 1142943744 193581 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279039 193581 1933 922 0 270991 0
Current children cumulated CPU time: 2852.55 s
Current children cumulated vsize: 1116156 KiB
Current children cumulated memory: 774324 KiB
[startup+2922.3 s]
/proc/loadavg: 1.31 2.45 3.35 2/238 1075559
/proc/meminfo: memFree=127776652/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1116156 memory=779532 CPUtime=2912.32 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 55550 0 0 0 288491 2741 0 0 20 0 1 0 198650751 1142943744 194883 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279039 194883 1933 922 0 270991 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 1116156 KiB
Current children cumulated memory: 779532 KiB
[startup+2982.3 s]
/proc/loadavg: 1.17 2.20 3.21 2/238 1075570
/proc/meminfo: memFree=127770496/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1116156 memory=782432 CPUtime=2972.14 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 55766 0 0 0 294407 2807 0 0 20 0 1 0 198650751 1142943744 195608 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279039 195608 1933 922 0 270991 0
Current children cumulated CPU time: 2972.14 s
Current children cumulated vsize: 1116156 KiB
Current children cumulated memory: 782432 KiB
[startup+3042.3 s]
/proc/loadavg: 1.10 1.99 3.07 2/239 1075639
/proc/meminfo: memFree=127767940/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1119708 memory=785536 CPUtime=3031.98 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 56699 0 0 0 300333 2865 0 0 20 0 1 0 198650751 1146580992 196384 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279927 196384 1933 922 0 271879 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 1119708 KiB
Current children cumulated memory: 785536 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.84 2.95 2/237 1075649
/proc/meminfo: memFree=127767340/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1119708 memory=785668 CPUtime=3091.8 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 57941 0 0 0 306281 2899 0 0 20 0 1 0 198650751 1146580992 196417 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279927 196417 1933 922 0 271879 0
Current children cumulated CPU time: 3091.8 s
Current children cumulated vsize: 1119708 KiB
Current children cumulated memory: 785668 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.70 2.83 2/237 1075660
/proc/meminfo: memFree=127767004/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1119964 memory=785912 CPUtime=3151.61 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 58259 0 0 0 312231 2930 0 0 20 0 1 0 198650751 1146843136 196478 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 279991 196478 1933 922 0 271943 0
Current children cumulated CPU time: 3151.61 s
Current children cumulated vsize: 1119964 KiB
Current children cumulated memory: 785912 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.60 2.72 2/237 1075671
/proc/meminfo: memFree=127763040/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1123808 memory=789128 CPUtime=3211.43 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 59423 0 0 0 318182 2961 0 0 20 0 1 0 198650751 1150779392 197282 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 280952 197282 1933 922 0 272904 0
Current children cumulated CPU time: 3211.43 s
Current children cumulated vsize: 1123808 KiB
Current children cumulated memory: 789128 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.50 2.62 2/237 1075682
/proc/meminfo: memFree=127730212/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1138512 memory=821752 CPUtime=3271.23 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 62263 0 0 0 324139 2984 0 0 20 0 1 0 198650751 1165836288 205438 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 284628 205438 1933 922 0 276580 0
Current children cumulated CPU time: 3271.23 s
Current children cumulated vsize: 1138512 KiB
Current children cumulated memory: 821752 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.42 2.52 2/234 1075692
/proc/meminfo: memFree=127726240/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1140812 memory=826036 CPUtime=3331.07 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 62892 0 0 0 330075 3032 0 0 20 0 1 0 198650751 1168191488 206509 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285203 206509 1933 922 0 277155 0
Current children cumulated CPU time: 3331.07 s
Current children cumulated vsize: 1140812 KiB
Current children cumulated memory: 826036 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.37 2.43 2/234 1075702
/proc/meminfo: memFree=127725040/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1141840 memory=826792 CPUtime=3390.9 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 63258 0 0 0 336009 3081 0 0 20 0 1 0 198650751 1169244160 206698 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285460 206698 1933 922 0 277412 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 1141840 KiB
Current children cumulated memory: 826792 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.32 2.34 2/234 1075713
/proc/meminfo: memFree=127723612/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1142620 memory=827844 CPUtime=3450.73 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 63743 0 0 0 341940 3133 0 0 20 0 1 0 198650751 1170042880 206961 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285655 206961 1933 922 0 277607 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 1142620 KiB
Current children cumulated memory: 827844 KiB
[startup+3522.3 s]
/proc/loadavg: 1.20 1.31 2.27 2/233 1075723
/proc/meminfo: memFree=127723196/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1142620 memory=827844 CPUtime=3510.57 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 63882 0 0 0 347855 3202 0 0 20 0 1 0 198650751 1170042880 206961 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285655 206961 1933 922 0 277607 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 1142620 KiB
Current children cumulated memory: 827844 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.26 2.20 2/233 1075733
/proc/meminfo: memFree=127722804/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1142620 memory=827848 CPUtime=3570.41 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 64171 0 0 0 353792 3249 0 0 20 0 1 0 198650751 1170042880 206962 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285655 206962 1933 922 0 277607 0
Current children cumulated CPU time: 3570.41 s
Current children cumulated vsize: 1142620 KiB
Current children cumulated memory: 827848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 1.15 1.25 2.16 2/234 1075739
/proc/meminfo: memFree=127722692/131524600 swapFree=131071996/131071996
[pid=1073802] ppid=1073799 vsize=1142620 memory=827848 CPUtime=3600.03 cores=0,2
/proc/1073802/stat : 1073802 (roundingsat) R 1073799 1073802 1067942 0 -1 4194304 64266 0 0 0 356736 3267 0 0 20 0 1 0 198650751 1170042880 206962 134679101440 4194304 7968373 140729346644976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10170368 140729346646972 140729346647136 140729346647136 140729346654153 0
/proc/1073802/statm: 285655 206962 1933 922 0 277607 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1142620 KiB
Current children cumulated memory: 827848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 1073802 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.37 s, system=32.6821 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.01
CPU time (s): 3600.05
CPU user time (s): 3567.37
CPU system time (s): 32.6821
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (KiB): 1142620
Max. memory (cumulated for all children) (KiB): 827848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.37
system time used= 32.6821
maximum resident set size= 827848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 25467
# summary of solver processes directly reported to runsolver:
# pid: 1073802
# total CPU time (s): 3600.05
# total CPU user time (s): 3567.37
# total CPU system time (s): 32.6821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54926 second user time and 15.8765 second system time
The end
Begin job on nodeC033 at 2024-07-20 10:40:23 IDJOB=4455621 IDBENCH=158357 IDSOLVER=3084 FILE ID=nodeC033/4455621-1721464810 RUNJOBID= nodeC033-1721456537-1067952 SLURM_JOB_ID= 7545693 Free space on /tmp= 889980 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455621-1721464810/watcher-4455621-1721464810 -o /tmp/evaluation-result-4455621-1721464810/solver-4455621-1721464810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455621-1721464810.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=1222684808 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.139 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.926 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3645.116 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.003 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.127 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.033 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3626.800 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.772 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117895872 kB MemAvailable: 122356900 kB Buffers: 607964 kB Cached: 4644728 kB SwapCached: 0 kB Active: 1185552 kB Inactive: 11698276 kB Active(anon): 1580 kB Inactive(anon): 7675164 kB Active(file): 1183972 kB Inactive(file): 4023112 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5648 kB Writeback: 0 kB AnonPages: 7627140 kB Mapped: 117236 kB Shmem: 45908 kB KReclaimable: 187180 kB Slab: 311204 kB SReclaimable: 187180 kB SUnreclaim: 124024 kB KernelStack: 4088 kB PageTables: 24608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9454404 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72736 kB HardwareCorrupted: 0 kB AnonHugePages: 2646016 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890076 MiB End job on nodeC033 at 2024-07-20 11:40:35