0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.37/1.42 c #variables 103760 #constraints 99558
106.16/106.53 c #Conflicts: 1000 | #Constraints: 100557
106.16/106.53 c #Conflicts: 2000 | #Constraints: 101557
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 3000 | #Constraints: 81628
106.16/106.53 c #Conflicts: 4000 | #Constraints: 82628
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 5000 | #Constraints: 82132
106.16/106.53 c #Conflicts: 6000 | #Constraints: 83132
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 7000 | #Constraints: 82227
106.16/106.53 c #Conflicts: 8000 | #Constraints: 83227
106.16/106.53 c #Conflicts: 9000 | #Constraints: 84227
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 10000 | #Constraints: 82984
106.16/106.53 c #Conflicts: 11000 | #Constraints: 83984
106.16/106.53 c #Conflicts: 12000 | #Constraints: 84984
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 13000 | #Constraints: 83507
106.16/106.53 c #Conflicts: 14000 | #Constraints: 84507
106.16/106.53 c #Conflicts: 15000 | #Constraints: 85507
106.16/106.53 c INPROCESSING
106.16/106.53 c GARBAGE COLLECT
106.16/106.53 c #Conflicts: 16000 | #Constraints: 83797
106.16/106.53 c #Conflicts: 17000 | #Constraints: 84797
106.16/106.53 c #Conflicts: 18000 | #Constraints: 85797
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 19000 | #Constraints: 83826
106.16/106.53 c #Conflicts: 20000 | #Constraints: 84826
106.16/106.53 c #Conflicts: 21000 | #Constraints: 85826
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 22000 | #Constraints: 83659
106.16/106.53 c #Conflicts: 23000 | #Constraints: 84659
106.16/106.53 c #Conflicts: 24000 | #Constraints: 85659
106.16/106.53 c #Conflicts: 25000 | #Constraints: 86659
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 26000 | #Constraints: 84307
106.16/106.53 c #Conflicts: 27000 | #Constraints: 85307
106.16/106.53 c #Conflicts: 28000 | #Constraints: 86307
106.16/106.53 c #Conflicts: 29000 | #Constraints: 87307
106.16/106.53 c #Conflicts: 30000 | #Constraints: 88307
106.16/106.53 c #Conflicts: 31000 | #Constraints: 89307
106.16/106.53 c #Conflicts: 32000 | #Constraints: 90307
106.16/106.53 c #Conflicts: 33000 | #Constraints: 91307
106.16/106.53 c #Conflicts: 34000 | #Constraints: 92307
106.16/106.53 c #Conflicts: 35000 | #Constraints: 93307
106.16/106.53 c #Conflicts: 36000 | #Constraints: 94307
106.16/106.53 c #Conflicts: 37000 | #Constraints: 95307
106.16/106.53 c #Conflicts: 38000 | #Constraints: 96307
106.16/106.53 c INPROCESSING
106.16/106.53 c GARBAGE COLLECT
106.16/106.53 c #Conflicts: 39000 | #Constraints: 89348
106.16/106.53 c #Conflicts: 40000 | #Constraints: 90348
106.16/106.53 c #Conflicts: 41000 | #Constraints: 91348
106.16/106.53 c #Conflicts: 42000 | #Constraints: 92348
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 43000 | #Constraints: 86993
106.16/106.53 c #Conflicts: 44000 | #Constraints: 87993
106.16/106.53 c #Conflicts: 45000 | #Constraints: 88993
106.16/106.53 c #Conflicts: 46000 | #Constraints: 89993
106.16/106.53 c #Conflicts: 47000 | #Constraints: 90993
106.16/106.53 c #Conflicts: 48000 | #Constraints: 91993
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 49000 | #Constraints: 87223
106.16/106.53 c #Conflicts: 50000 | #Constraints: 88223
106.16/106.53 c #Conflicts: 51000 | #Constraints: 89223
106.16/106.53 c #Conflicts: 52000 | #Constraints: 90223
106.16/106.53 c #Conflicts: 53000 | #Constraints: 91223
106.16/106.53 c #Conflicts: 54000 | #Constraints: 92223
106.16/106.53 c #Conflicts: 55000 | #Constraints: 93223
106.16/106.53 c #Conflicts: 56000 | #Constraints: 94223
106.16/106.53 c #Conflicts: 57000 | #Constraints: 95223
106.16/106.53 c #Conflicts: 58000 | #Constraints: 96223
106.16/106.53 c #Conflicts: 59000 | #Constraints: 97223
106.16/106.53 c #Conflicts: 60000 | #Constraints: 98223
106.16/106.53 c #Conflicts: 61000 | #Constraints: 99223
106.16/106.53 c #Conflicts: 62000 | #Constraints: 100223
106.16/106.53 c #Conflicts: 63000 | #Constraints: 101223
106.16/106.53 c #Conflicts: 64000 | #Constraints: 102223
106.16/106.53 c #Conflicts: 65000 | #Constraints: 103223
106.16/106.53 c INPROCESSING
106.16/106.53 c GARBAGE COLLECT
106.16/106.53 c #Conflicts: 66000 | #Constraints: 92975
106.16/106.53 c #Conflicts: 67000 | #Constraints: 93975
106.16/106.53 c #Conflicts: 68000 | #Constraints: 94975
106.16/106.53 c #Conflicts: 69000 | #Constraints: 95975
106.16/106.53 c #Conflicts: 70000 | #Constraints: 96975
106.16/106.53 c #Conflicts: 71000 | #Constraints: 97975
106.16/106.53 c INPROCESSING
106.16/106.53 c #Conflicts: 72000 | #Constraints: 90167
106.16/106.53 c #Conflicts: 73000 | #Constraints: 91167
106.16/106.53 c #Conflicts: 74000 | #Constraints: 92167
245.68/246.41 c #Conflicts: 75000 | #Constraints: 93167
245.68/246.41 c #Conflicts: 76000 | #Constraints: 94167
245.68/246.41 c #Conflicts: 77000 | #Constraints: 95167
245.68/246.41 c #Conflicts: 78000 | #Constraints: 96167
245.68/246.41 c #Conflicts: 79000 | #Constraints: 97167
245.68/246.41 c #Conflicts: 80000 | #Constraints: 98167
245.68/246.41 c #Conflicts: 81000 | #Constraints: 99167
245.68/246.41 c #Conflicts: 82000 | #Constraints: 100167
245.68/246.41 c #Conflicts: 83000 | #Constraints: 101167
245.68/246.41 c #Conflicts: 84000 | #Constraints: 102167
245.68/246.41 c #Conflicts: 85000 | #Constraints: 103167
245.68/246.41 c #Conflicts: 86000 | #Constraints: 104167
245.68/246.41 c #Conflicts: 87000 | #Constraints: 105167
245.68/246.41 c #Conflicts: 88000 | #Constraints: 106167
245.68/246.41 c #Conflicts: 89000 | #Constraints: 107167
245.68/246.41 c #Conflicts: 90000 | #Constraints: 108167
245.68/246.41 c #Conflicts: 91000 | #Constraints: 109167
245.68/246.41 c INPROCESSING
245.68/246.41 c GARBAGE COLLECT
245.68/246.41 c #Conflicts: 92000 | #Constraints: 95802
245.68/246.41 c #Conflicts: 93000 | #Constraints: 96802
245.68/246.41 c #Conflicts: 94000 | #Constraints: 97802
245.68/246.41 c #Conflicts: 95000 | #Constraints: 98802
245.68/246.41 c #Conflicts: 96000 | #Constraints: 99802
245.68/246.41 c #Conflicts: 97000 | #Constraints: 100802
245.68/246.41 c #Conflicts: 98000 | #Constraints: 101802
245.68/246.41 c #Conflicts: 99000 | #Constraints: 102802
245.68/246.41 c INPROCESSING
245.68/246.41 c #Conflicts: 100000 | #Constraints: 92753
245.68/246.41 c #Conflicts: 101000 | #Constraints: 93753
245.68/246.41 c #Conflicts: 102000 | #Constraints: 94753
245.68/246.41 c #Conflicts: 103000 | #Constraints: 95753
245.68/246.41 c #Conflicts: 104000 | #Constraints: 96753
245.68/246.41 c #Conflicts: 105000 | #Constraints: 97753
245.68/246.41 c #Conflicts: 106000 | #Constraints: 98753
245.68/246.41 c #Conflicts: 107000 | #Constraints: 99753
245.68/246.41 c #Conflicts: 108000 | #Constraints: 100753
245.68/246.41 c #Conflicts: 109000 | #Constraints: 101753
245.68/246.41 c #Conflicts: 110000 | #Constraints: 102753
245.68/246.41 c #Conflicts: 111000 | #Constraints: 103753
245.68/246.41 c #Conflicts: 112000 | #Constraints: 104753
245.68/246.41 c #Conflicts: 113000 | #Constraints: 105753
245.68/246.41 c #Conflicts: 114000 | #Constraints: 106753
245.68/246.41 c #Conflicts: 115000 | #Constraints: 107753
245.68/246.41 c #Conflicts: 116000 | #Constraints: 108753
245.68/246.41 c #Conflicts: 117000 | #Constraints: 109753
245.68/246.41 c #Conflicts: 118000 | #Constraints: 110753
245.68/246.41 c #Conflicts: 119000 | #Constraints: 111753
245.68/246.41 c #Conflicts: 120000 | #Constraints: 112753
245.68/246.41 c #Conflicts: 121000 | #Constraints: 113753
245.68/246.41 c #Conflicts: 122000 | #Constraints: 114753
245.68/246.41 c INPROCESSING
245.68/246.41 c GARBAGE COLLECT
245.68/246.41 c #Conflicts: 123000 | #Constraints: 98733
245.68/246.41 c #Conflicts: 124000 | #Constraints: 99733
245.68/246.41 c #Conflicts: 125000 | #Constraints: 100733
245.68/246.41 c #Conflicts: 126000 | #Constraints: 101733
245.68/246.41 c #Conflicts: 127000 | #Constraints: 102733
245.68/246.41 c #Conflicts: 128000 | #Constraints: 103733
245.68/246.41 c #Conflicts: 129000 | #Constraints: 104733
245.68/246.41 c #Conflicts: 130000 | #Constraints: 105733
245.68/246.41 c #Conflicts: 131000 | #Constraints: 106733
245.68/246.41 c INPROCESSING
245.68/246.41 c #Conflicts: 132000 | #Constraints: 95332
245.68/246.41 c #Conflicts: 133000 | #Constraints: 96332
245.68/246.41 c #Conflicts: 134000 | #Constraints: 97332
245.68/246.41 c #Conflicts: 135000 | #Constraints: 98332
245.68/246.41 c #Conflicts: 136000 | #Constraints: 99332
245.68/246.41 c #Conflicts: 137000 | #Constraints: 100332
245.68/246.41 c #Conflicts: 138000 | #Constraints: 101332
245.68/246.41 c #Conflicts: 139000 | #Constraints: 102332
245.68/246.41 c #Conflicts: 140000 | #Constraints: 103332
245.68/246.41 c #Conflicts: 141000 | #Constraints: 104332
245.68/246.41 c #Conflicts: 142000 | #Constraints: 105332
245.68/246.41 c #Conflicts: 143000 | #Constraints: 106332
245.68/246.41 c #Conflicts: 144000 | #Constraints: 107332
245.68/246.41 c #Conflicts: 145000 | #Constraints: 108332
245.68/246.41 c #Conflicts: 146000 | #Constraints: 109332
245.68/246.41 c #Conflicts: 147000 | #Constraints: 110332
245.68/246.41 c #Conflicts: 148000 | #Constraints: 111332
245.68/246.41 c #Conflicts: 149000 | #Constraints: 112332
245.68/246.41 c #Conflicts: 150000 | #Constraints: 113332
245.68/246.41 c #Conflicts: 151000 | #Constraints: 114332
339.23/340.28 c #Conflicts: 152000 | #Constraints: 115332
339.23/340.28 c #Conflicts: 153000 | #Constraints: 116332
339.23/340.28 c #Conflicts: 154000 | #Constraints: 117332
339.23/340.28 c #Conflicts: 155000 | #Constraints: 118332
339.23/340.28 c #Conflicts: 156000 | #Constraints: 119332
339.23/340.28 c #Conflicts: 157000 | #Constraints: 120332
339.23/340.28 c INPROCESSING
339.23/340.28 c GARBAGE COLLECT
339.23/340.28 c #Conflicts: 158000 | #Constraints: 101491
339.23/340.28 c #Conflicts: 159000 | #Constraints: 102491
339.23/340.28 c #Conflicts: 160000 | #Constraints: 103491
339.23/340.28 c #Conflicts: 161000 | #Constraints: 104491
339.23/340.28 c #Conflicts: 162000 | #Constraints: 105491
339.23/340.28 c #Conflicts: 163000 | #Constraints: 106491
339.23/340.28 c #Conflicts: 164000 | #Constraints: 107491
339.23/340.28 c #Conflicts: 165000 | #Constraints: 108491
339.23/340.28 c #Conflicts: 166000 | #Constraints: 109491
339.23/340.28 c #Conflicts: 167000 | #Constraints: 110491
339.23/340.28 c #Conflicts: 168000 | #Constraints: 111491
339.23/340.28 c INPROCESSING
339.23/340.28 c #Conflicts: 169000 | #Constraints: 99355
339.23/340.28 c #Conflicts: 170000 | #Constraints: 100355
339.23/340.28 c #Conflicts: 171000 | #Constraints: 101355
339.23/340.28 c #Conflicts: 172000 | #Constraints: 102355
339.23/340.28 c #Conflicts: 173000 | #Constraints: 103355
339.23/340.28 c #Conflicts: 174000 | #Constraints: 104355
339.23/340.28 c #Conflicts: 175000 | #Constraints: 105355
339.23/340.28 c #Conflicts: 176000 | #Constraints: 106355
339.23/340.28 c #Conflicts: 177000 | #Constraints: 107355
339.23/340.28 c #Conflicts: 178000 | #Constraints: 108355
339.23/340.28 c #Conflicts: 179000 | #Constraints: 109355
339.23/340.28 c #Conflicts: 180000 | #Constraints: 110355
339.23/340.28 c #Conflicts: 181000 | #Constraints: 111355
339.23/340.28 c #Conflicts: 182000 | #Constraints: 112355
339.23/340.28 c #Conflicts: 183000 | #Constraints: 113355
339.23/340.28 c #Conflicts: 184000 | #Constraints: 114355
339.23/340.28 c #Conflicts: 185000 | #Constraints: 115355
339.23/340.28 c #Conflicts: 186000 | #Constraints: 116355
339.23/340.28 c #Conflicts: 187000 | #Constraints: 117355
339.23/340.28 c #Conflicts: 188000 | #Constraints: 118355
339.23/340.28 c #Conflicts: 189000 | #Constraints: 119355
339.23/340.28 c #Conflicts: 190000 | #Constraints: 120355
339.23/340.28 c #Conflicts: 191000 | #Constraints: 121355
339.23/340.28 c #Conflicts: 192000 | #Constraints: 122355
339.23/340.28 c #Conflicts: 193000 | #Constraints: 123355
339.23/340.28 c #Conflicts: 194000 | #Constraints: 124355
339.23/340.28 c #Conflicts: 195000 | #Constraints: 125355
339.23/340.28 c #Conflicts: 196000 | #Constraints: 126355
339.23/340.28 c #Conflicts: 197000 | #Constraints: 127355
339.23/340.28 c INPROCESSING
339.23/340.28 c GARBAGE COLLECT
339.23/340.28 c #Conflicts: 198000 | #Constraints: 105285
339.23/340.28 c #Conflicts: 199000 | #Constraints: 106285
339.23/340.28 c #Conflicts: 200000 | #Constraints: 107285
339.23/340.28 c #Conflicts: 201000 | #Constraints: 108285
339.23/340.28 c #Conflicts: 202000 | #Constraints: 109285
339.23/340.28 c #Conflicts: 203000 | #Constraints: 110285
339.23/340.28 c #Conflicts: 204000 | #Constraints: 111285
339.23/340.28 c #Conflicts: 205000 | #Constraints: 112285
339.23/340.28 c #Conflicts: 206000 | #Constraints: 113285
339.23/340.28 c #Conflicts: 207000 | #Constraints: 114285
339.23/340.28 c #Conflicts: 208000 | #Constraints: 115285
339.23/340.28 c #Conflicts: 209000 | #Constraints: 116285
339.23/340.28 c INPROCESSING
339.23/340.28 c #Conflicts: 210000 | #Constraints: 103760
339.23/340.28 c #Conflicts: 211000 | #Constraints: 104760
339.23/340.28 c #Conflicts: 212000 | #Constraints: 105760
339.23/340.28 c #Conflicts: 213000 | #Constraints: 106760
339.23/340.28 c #Conflicts: 214000 | #Constraints: 107760
339.23/340.28 c #Conflicts: 215000 | #Constraints: 108760
339.23/340.28 c #Conflicts: 216000 | #Constraints: 109760
339.23/340.28 c #Conflicts: 217000 | #Constraints: 110760
339.23/340.28 c #Conflicts: 218000 | #Constraints: 111760
339.23/340.28 c #Conflicts: 219000 | #Constraints: 112760
339.23/340.28 c #Conflicts: 220000 | #Constraints: 113760
339.23/340.28 c #Conflicts: 221000 | #Constraints: 114760
339.23/340.28 c #Conflicts: 222000 | #Constraints: 115760
339.23/340.28 c #Conflicts: 223000 | #Constraints: 116760
339.23/340.28 c #Conflicts: 224000 | #Constraints: 117760
339.23/340.28 c #Conflicts: 225000 | #Constraints: 118760
339.23/340.28 c #Conflicts: 226000 | #Constraints: 119760
339.23/340.28 c #Conflicts: 227000 | #Constraints: 120760
339.23/340.28 c #Conflicts: 228000 | #Constraints: 121760
445.14/446.43 c #Conflicts: 229000 | #Constraints: 122760
445.14/446.43 c #Conflicts: 230000 | #Constraints: 123760
445.14/446.43 c #Conflicts: 231000 | #Constraints: 124760
445.14/446.43 c #Conflicts: 232000 | #Constraints: 125760
445.14/446.43 c #Conflicts: 233000 | #Constraints: 126760
445.14/446.43 c #Conflicts: 234000 | #Constraints: 127760
445.14/446.43 c #Conflicts: 235000 | #Constraints: 128760
445.14/446.43 c #Conflicts: 236000 | #Constraints: 129760
445.14/446.43 c #Conflicts: 237000 | #Constraints: 130760
445.14/446.43 c #Conflicts: 238000 | #Constraints: 131760
445.14/446.43 c #Conflicts: 239000 | #Constraints: 132760
445.14/446.43 c #Conflicts: 240000 | #Constraints: 133760
445.14/446.43 c #Conflicts: 241000 | #Constraints: 134760
445.14/446.43 c INPROCESSING
445.14/446.43 c GARBAGE COLLECT
445.14/446.43 c rational objective 25237.3
540.29/541.80 c #Conflicts: 242000 | #Constraints: 109189
540.29/541.80 c #Conflicts: 243000 | #Constraints: 110189
540.29/541.80 c #Conflicts: 244000 | #Constraints: 111189
540.29/541.80 c #Conflicts: 245000 | #Constraints: 112189
540.29/541.80 c #Conflicts: 246000 | #Constraints: 113189
540.29/541.80 c #Conflicts: 247000 | #Constraints: 114189
540.29/541.80 c #Conflicts: 248000 | #Constraints: 115189
540.29/541.80 c #Conflicts: 249000 | #Constraints: 116189
540.29/541.80 c #Conflicts: 250000 | #Constraints: 117189
540.29/541.80 c #Conflicts: 251000 | #Constraints: 118189
540.29/541.80 c #Conflicts: 252000 | #Constraints: 119189
540.29/541.80 c #Conflicts: 253000 | #Constraints: 120189
540.29/541.80 c #Conflicts: 254000 | #Constraints: 121189
540.29/541.80 c INPROCESSING
540.29/541.80 c #Conflicts: 255000 | #Constraints: 108585
540.29/541.80 c #Conflicts: 256000 | #Constraints: 109585
540.29/541.80 c #Conflicts: 257000 | #Constraints: 110585
540.29/541.80 c #Conflicts: 258000 | #Constraints: 111585
540.29/541.80 c #Conflicts: 259000 | #Constraints: 112585
540.29/541.80 c #Conflicts: 260000 | #Constraints: 113585
540.29/541.80 c #Conflicts: 261000 | #Constraints: 114585
540.29/541.80 c #Conflicts: 262000 | #Constraints: 115585
540.29/541.80 c #Conflicts: 263000 | #Constraints: 116585
540.29/541.80 c #Conflicts: 264000 | #Constraints: 117585
540.29/541.80 c #Conflicts: 265000 | #Constraints: 118585
540.29/541.80 c #Conflicts: 266000 | #Constraints: 119585
540.29/541.80 c #Conflicts: 267000 | #Constraints: 120585
540.29/541.80 c #Conflicts: 268000 | #Constraints: 121585
540.29/541.80 c #Conflicts: 269000 | #Constraints: 122585
540.29/541.80 c #Conflicts: 270000 | #Constraints: 123585
540.29/541.80 c #Conflicts: 271000 | #Constraints: 124585
540.29/541.80 c #Conflicts: 272000 | #Constraints: 125585
540.29/541.80 c #Conflicts: 273000 | #Constraints: 126585
540.29/541.80 c #Conflicts: 274000 | #Constraints: 127585
540.29/541.80 c #Conflicts: 275000 | #Constraints: 128585
540.29/541.80 c #Conflicts: 276000 | #Constraints: 129585
540.29/541.80 c #Conflicts: 277000 | #Constraints: 130585
540.29/541.80 c #Conflicts: 278000 | #Constraints: 131585
540.29/541.80 c #Conflicts: 279000 | #Constraints: 132585
540.29/541.80 c #Conflicts: 280000 | #Constraints: 133585
540.29/541.80 c #Conflicts: 281000 | #Constraints: 134585
540.29/541.80 c #Conflicts: 282000 | #Constraints: 135585
540.29/541.80 c #Conflicts: 283000 | #Constraints: 136585
540.29/541.80 c #Conflicts: 284000 | #Constraints: 137585
540.29/541.80 c #Conflicts: 285000 | #Constraints: 138585
540.29/541.80 c #Conflicts: 286000 | #Constraints: 139585
540.29/541.80 c #Conflicts: 287000 | #Constraints: 140585
540.29/541.80 c #Conflicts: 288000 | #Constraints: 141585
540.29/541.80 c #Conflicts: 289000 | #Constraints: 142585
540.29/541.80 c #Conflicts: 290000 | #Constraints: 143585
540.29/541.80 c INPROCESSING
540.29/541.80 c GARBAGE COLLECT
540.29/541.80 c #Conflicts: 291000 | #Constraints: 114080
540.29/541.80 c #Conflicts: 292000 | #Constraints: 115080
540.29/541.80 c #Conflicts: 293000 | #Constraints: 116080
540.29/541.80 c #Conflicts: 294000 | #Constraints: 117080
540.29/541.80 c #Conflicts: 295000 | #Constraints: 118080
540.29/541.80 c #Conflicts: 296000 | #Constraints: 119080
540.29/541.80 c #Conflicts: 297000 | #Constraints: 120080
540.29/541.80 c #Conflicts: 298000 | #Constraints: 121080
540.29/541.80 c #Conflicts: 299000 | #Constraints: 122080
540.29/541.80 c #Conflicts: 300000 | #Constraints: 123080
540.29/541.80 c #Conflicts: 301000 | #Constraints: 124080
540.29/541.80 c #Conflicts: 302000 | #Constraints: 125080
540.29/541.80 c #Conflicts: 303000 | #Constraints: 126080
540.29/541.80 c #Conflicts: 304000 | #Constraints: 127080
540.29/541.80 c INPROCESSING
540.29/541.80 c #Conflicts: 305000 | #Constraints: 114120
540.29/541.80 c #Conflicts: 306000 | #Constraints: 115120
540.29/541.80 c #Conflicts: 307000 | #Constraints: 116120
540.29/541.80 c #Conflicts: 308000 | #Constraints: 117120
540.29/541.80 c #Conflicts: 309000 | #Constraints: 118120
540.29/541.80 c #Conflicts: 310000 | #Constraints: 119120
540.29/541.80 c #Conflicts: 311000 | #Constraints: 120120
540.29/541.80 c #Conflicts: 312000 | #Constraints: 121120
540.29/541.80 c #Conflicts: 313000 | #Constraints: 122120
540.29/541.80 c #Conflicts: 314000 | #Constraints: 123120
540.29/541.80 c #Conflicts: 315000 | #Constraints: 124120
540.29/541.80 c #Conflicts: 316000 | #Constraints: 125120
540.29/541.80 c #Conflicts: 317000 | #Constraints: 126120
540.29/541.80 c #Conflicts: 318000 | #Constraints: 127120
540.29/541.80 c #Conflicts: 319000 | #Constraints: 128120
653.49/655.36 c #Conflicts: 320000 | #Constraints: 129120
653.49/655.36 c #Conflicts: 321000 | #Constraints: 130120
653.49/655.36 c #Conflicts: 322000 | #Constraints: 131120
653.49/655.36 c #Conflicts: 323000 | #Constraints: 132120
653.49/655.36 c #Conflicts: 324000 | #Constraints: 133120
653.49/655.36 c #Conflicts: 325000 | #Constraints: 134120
653.49/655.36 c #Conflicts: 326000 | #Constraints: 135120
653.49/655.36 c #Conflicts: 327000 | #Constraints: 136120
653.49/655.36 c #Conflicts: 328000 | #Constraints: 137120
653.49/655.36 c #Conflicts: 329000 | #Constraints: 138120
653.49/655.36 c #Conflicts: 330000 | #Constraints: 139120
653.49/655.36 c #Conflicts: 331000 | #Constraints: 140120
653.49/655.36 c #Conflicts: 332000 | #Constraints: 141120
653.49/655.36 c #Conflicts: 333000 | #Constraints: 142120
653.49/655.36 c #Conflicts: 334000 | #Constraints: 143120
653.49/655.36 c #Conflicts: 335000 | #Constraints: 144120
653.49/655.36 c #Conflicts: 336000 | #Constraints: 145120
653.49/655.36 c #Conflicts: 337000 | #Constraints: 146120
653.49/655.36 c #Conflicts: 338000 | #Constraints: 147120
653.49/655.36 c #Conflicts: 339000 | #Constraints: 148120
653.49/655.36 c #Conflicts: 340000 | #Constraints: 149120
653.49/655.36 c #Conflicts: 341000 | #Constraints: 150120
653.49/655.36 c #Conflicts: 342000 | #Constraints: 151120
653.49/655.36 c INPROCESSING
653.49/655.36 c GARBAGE COLLECT
653.49/655.36 c #Conflicts: 343000 | #Constraints: 117652
653.49/655.36 c #Conflicts: 344000 | #Constraints: 118652
653.49/655.36 c #Conflicts: 345000 | #Constraints: 119652
653.49/655.36 c #Conflicts: 346000 | #Constraints: 120652
653.49/655.36 c #Conflicts: 347000 | #Constraints: 121652
653.49/655.36 c #Conflicts: 348000 | #Constraints: 122652
653.49/655.36 c #Conflicts: 349000 | #Constraints: 123652
653.49/655.36 c #Conflicts: 350000 | #Constraints: 124652
653.49/655.36 c #Conflicts: 351000 | #Constraints: 125652
653.49/655.36 c #Conflicts: 352000 | #Constraints: 126652
653.49/655.36 c #Conflicts: 353000 | #Constraints: 127652
653.49/655.36 c #Conflicts: 354000 | #Constraints: 128652
653.49/655.36 c #Conflicts: 355000 | #Constraints: 129652
653.49/655.36 c #Conflicts: 356000 | #Constraints: 130652
653.49/655.36 c #Conflicts: 357000 | #Constraints: 131652
653.49/655.36 c #Conflicts: 358000 | #Constraints: 132652
653.49/655.36 c #Conflicts: 359000 | #Constraints: 133652
653.49/655.36 c #Conflicts: 360000 | #Constraints: 134652
653.49/655.36 c #Conflicts: 361000 | #Constraints: 135652
653.49/655.36 c #Conflicts: 362000 | #Constraints: 136652
653.49/655.36 c #Conflicts: 363000 | #Constraints: 137652
653.49/655.36 c #Conflicts: 364000 | #Constraints: 138652
653.49/655.36 c #Conflicts: 365000 | #Constraints: 139652
653.49/655.36 c #Conflicts: 366000 | #Constraints: 140652
653.49/655.36 c #Conflicts: 367000 | #Constraints: 141652
653.49/655.36 c #Conflicts: 368000 | #Constraints: 142652
653.49/655.36 c #Conflicts: 369000 | #Constraints: 143652
653.49/655.36 c #Conflicts: 370000 | #Constraints: 144652
653.49/655.36 c #Conflicts: 371000 | #Constraints: 145652
653.49/655.36 c #Conflicts: 372000 | #Constraints: 146652
653.49/655.36 c #Conflicts: 373000 | #Constraints: 147652
653.49/655.36 c #Conflicts: 374000 | #Constraints: 148652
653.49/655.36 c #Conflicts: 375000 | #Constraints: 149652
653.49/655.36 c #Conflicts: 376000 | #Constraints: 150652
653.49/655.36 c #Conflicts: 377000 | #Constraints: 151652
653.49/655.36 c #Conflicts: 378000 | #Constraints: 152652
653.49/655.36 c #Conflicts: 379000 | #Constraints: 153652
653.49/655.36 c #Conflicts: 380000 | #Constraints: 154652
653.49/655.36 c #Conflicts: 381000 | #Constraints: 155652
653.49/655.36 c #Conflicts: 382000 | #Constraints: 156652
653.49/655.36 c #Conflicts: 383000 | #Constraints: 157652
653.49/655.36 c INPROCESSING
653.49/655.36 c GARBAGE COLLECT
653.49/655.36 c #Conflicts: 384000 | #Constraints: 122124
653.49/655.36 c #Conflicts: 385000 | #Constraints: 123124
653.49/655.36 c #Conflicts: 386000 | #Constraints: 124124
653.49/655.36 c #Conflicts: 387000 | #Constraints: 125124
653.49/655.36 c #Conflicts: 388000 | #Constraints: 126124
653.49/655.36 c #Conflicts: 389000 | #Constraints: 127124
653.49/655.36 c #Conflicts: 390000 | #Constraints: 128124
653.49/655.36 c #Conflicts: 391000 | #Constraints: 129124
653.49/655.36 c #Conflicts: 392000 | #Constraints: 130124
653.49/655.36 c #Conflicts: 393000 | #Constraints: 131124
653.49/655.36 c #Conflicts: 394000 | #Constraints: 132124
653.49/655.36 c #Conflicts: 395000 | #Constraints: 133124
653.49/655.36 c #Conflicts: 396000 | #Constraints: 134124
653.49/655.36 c #Conflicts: 397000 | #Constraints: 135124
783.02/785.20 c #Conflicts: 398000 | #Constraints: 136124
783.02/785.20 c #Conflicts: 399000 | #Constraints: 137124
783.02/785.20 c #Conflicts: 400000 | #Constraints: 138124
783.02/785.20 c #Conflicts: 401000 | #Constraints: 139124
783.02/785.20 c #Conflicts: 402000 | #Constraints: 140124
783.02/785.20 c #Conflicts: 403000 | #Constraints: 141124
783.02/785.20 c #Conflicts: 404000 | #Constraints: 142124
783.02/785.20 c #Conflicts: 405000 | #Constraints: 143124
783.02/785.20 c #Conflicts: 406000 | #Constraints: 144124
783.02/785.20 c #Conflicts: 407000 | #Constraints: 145124
783.02/785.20 c #Conflicts: 408000 | #Constraints: 146124
783.02/785.20 c #Conflicts: 409000 | #Constraints: 147124
783.02/785.20 c #Conflicts: 410000 | #Constraints: 148124
783.02/785.20 c #Conflicts: 411000 | #Constraints: 149124
783.02/785.20 c #Conflicts: 412000 | #Constraints: 150124
783.02/785.20 c #Conflicts: 413000 | #Constraints: 151124
783.02/785.20 c #Conflicts: 414000 | #Constraints: 152124
783.02/785.20 c #Conflicts: 415000 | #Constraints: 153124
783.02/785.20 c #Conflicts: 416000 | #Constraints: 154124
783.02/785.20 c #Conflicts: 417000 | #Constraints: 155124
783.02/785.20 c #Conflicts: 418000 | #Constraints: 156124
783.02/785.20 c #Conflicts: 419000 | #Constraints: 157124
783.02/785.20 c #Conflicts: 420000 | #Constraints: 158124
783.02/785.20 c #Conflicts: 421000 | #Constraints: 159124
783.02/785.20 c #Conflicts: 422000 | #Constraints: 160124
783.02/785.20 c #Conflicts: 423000 | #Constraints: 161124
783.02/785.20 c #Conflicts: 424000 | #Constraints: 162124
783.02/785.20 c #Conflicts: 425000 | #Constraints: 163124
783.02/785.20 c #Conflicts: 426000 | #Constraints: 164124
783.02/785.20 c INPROCESSING
783.02/785.20 c GARBAGE COLLECT
783.02/785.20 c rational objective 25240.4
954.86/957.52 c #Conflicts: 427000 | #Constraints: 127074
954.86/957.52 c #Conflicts: 428000 | #Constraints: 128074
954.86/957.52 c #Conflicts: 429000 | #Constraints: 129074
954.86/957.52 c #Conflicts: 430000 | #Constraints: 130074
954.86/957.52 c #Conflicts: 431000 | #Constraints: 131074
954.86/957.52 c #Conflicts: 432000 | #Constraints: 132074
954.86/957.52 c #Conflicts: 433000 | #Constraints: 133074
954.86/957.52 c #Conflicts: 434000 | #Constraints: 134074
954.86/957.52 c #Conflicts: 435000 | #Constraints: 135074
954.86/957.52 c #Conflicts: 436000 | #Constraints: 136074
954.86/957.52 c #Conflicts: 437000 | #Constraints: 137074
954.86/957.52 c #Conflicts: 438000 | #Constraints: 138074
954.86/957.52 c #Conflicts: 439000 | #Constraints: 139074
954.86/957.52 c #Conflicts: 440000 | #Constraints: 140074
954.86/957.52 c #Conflicts: 441000 | #Constraints: 141074
954.86/957.52 c #Conflicts: 442000 | #Constraints: 142074
954.86/957.52 c #Conflicts: 443000 | #Constraints: 143074
954.86/957.52 c #Conflicts: 444000 | #Constraints: 144074
954.86/957.52 c #Conflicts: 445000 | #Constraints: 145074
954.86/957.52 c #Conflicts: 446000 | #Constraints: 146074
954.86/957.52 c #Conflicts: 447000 | #Constraints: 147074
954.86/957.52 c #Conflicts: 448000 | #Constraints: 148074
954.86/957.52 c #Conflicts: 449000 | #Constraints: 149074
954.86/957.52 c #Conflicts: 450000 | #Constraints: 150074
954.86/957.52 c #Conflicts: 451000 | #Constraints: 151074
954.86/957.52 c #Conflicts: 452000 | #Constraints: 152074
954.86/957.52 c #Conflicts: 453000 | #Constraints: 153074
954.86/957.52 c #Conflicts: 454000 | #Constraints: 154074
954.86/957.52 c #Conflicts: 455000 | #Constraints: 155074
954.86/957.52 c #Conflicts: 456000 | #Constraints: 156074
954.86/957.52 c #Conflicts: 457000 | #Constraints: 157074
954.86/957.52 c #Conflicts: 458000 | #Constraints: 158074
954.86/957.52 c #Conflicts: 459000 | #Constraints: 159074
954.86/957.52 c #Conflicts: 460000 | #Constraints: 160074
954.86/957.52 c #Conflicts: 461000 | #Constraints: 161074
954.86/957.52 c #Conflicts: 462000 | #Constraints: 162074
954.86/957.52 c #Conflicts: 463000 | #Constraints: 163074
954.86/957.52 c #Conflicts: 464000 | #Constraints: 164074
954.86/957.52 c #Conflicts: 465000 | #Constraints: 165074
954.86/957.52 c #Conflicts: 466000 | #Constraints: 166074
954.86/957.52 c #Conflicts: 467000 | #Constraints: 167074
954.86/957.52 c #Conflicts: 468000 | #Constraints: 168074
954.86/957.52 c #Conflicts: 469000 | #Constraints: 169074
954.86/957.52 c #Conflicts: 470000 | #Constraints: 170074
954.86/957.52 c #Conflicts: 471000 | #Constraints: 171074
954.86/957.52 c INPROCESSING
954.86/957.52 c GARBAGE COLLECT
954.86/957.52 c #Conflicts: 472000 | #Constraints: 132247
954.86/957.52 c #Conflicts: 473000 | #Constraints: 133247
954.86/957.52 c #Conflicts: 474000 | #Constraints: 134247
954.86/957.52 c #Conflicts: 475000 | #Constraints: 135247
954.86/957.52 c #Conflicts: 476000 | #Constraints: 136247
954.86/957.52 c #Conflicts: 477000 | #Constraints: 137247
954.86/957.52 c #Conflicts: 478000 | #Constraints: 138247
954.86/957.52 c #Conflicts: 479000 | #Constraints: 139247
954.86/957.52 c #Conflicts: 480000 | #Constraints: 140247
954.86/957.52 c #Conflicts: 481000 | #Constraints: 141247
954.86/957.52 c #Conflicts: 482000 | #Constraints: 142247
954.86/957.52 c #Conflicts: 483000 | #Constraints: 143247
954.86/957.52 c #Conflicts: 484000 | #Constraints: 144247
954.86/957.52 c #Conflicts: 485000 | #Constraints: 145247
954.86/957.52 c #Conflicts: 486000 | #Constraints: 146247
954.86/957.52 c #Conflicts: 487000 | #Constraints: 147247
954.86/957.52 c #Conflicts: 488000 | #Constraints: 148247
954.86/957.52 c #Conflicts: 489000 | #Constraints: 149247
954.86/957.52 c #Conflicts: 490000 | #Constraints: 150247
954.86/957.52 c #Conflicts: 491000 | #Constraints: 151247
954.86/957.52 c #Conflicts: 492000 | #Constraints: 152247
954.86/957.52 c #Conflicts: 493000 | #Constraints: 153247
954.86/957.52 c #Conflicts: 494000 | #Constraints: 154247
954.86/957.52 c #Conflicts: 495000 | #Constraints: 155247
954.86/957.52 c #Conflicts: 496000 | #Constraints: 156247
954.86/957.52 c #Conflicts: 497000 | #Constraints: 157247
954.86/957.52 c #Conflicts: 498000 | #Constraints: 158247
954.86/957.52 c #Conflicts: 499000 | #Constraints: 159247
954.86/957.52 c #Conflicts: 500000 | #Constraints: 160247
954.86/957.52 c #Conflicts: 501000 | #Constraints: 161247
954.86/957.52 c #Conflicts: 502000 | #Constraints: 162247
954.86/957.52 c #Conflicts: 503000 | #Constraints: 163247
954.86/957.52 c #Conflicts: 504000 | #Constraints: 164247
954.86/957.52 c #Conflicts: 505000 | #Constraints: 165247
1146.83/1150.05 c #Conflicts: 506000 | #Constraints: 166247
1146.83/1150.05 c #Conflicts: 507000 | #Constraints: 167247
1146.83/1150.05 c #Conflicts: 508000 | #Constraints: 168247
1146.83/1150.05 c #Conflicts: 509000 | #Constraints: 169247
1146.83/1150.05 c #Conflicts: 510000 | #Constraints: 170247
1146.83/1150.05 c #Conflicts: 511000 | #Constraints: 171247
1146.83/1150.05 c #Conflicts: 512000 | #Constraints: 172247
1146.83/1150.05 c #Conflicts: 513000 | #Constraints: 173247
1146.83/1150.05 c #Conflicts: 514000 | #Constraints: 174247
1146.83/1150.05 c #Conflicts: 515000 | #Constraints: 175247
1146.83/1150.05 c #Conflicts: 516000 | #Constraints: 176247
1146.83/1150.05 c #Conflicts: 517000 | #Constraints: 177247
1146.83/1150.05 c INPROCESSING
1146.83/1150.05 c GARBAGE COLLECT
1146.83/1150.05 c #Conflicts: 518000 | #Constraints: 136327
1146.83/1150.05 c #Conflicts: 519000 | #Constraints: 137327
1146.83/1150.05 c #Conflicts: 520000 | #Constraints: 138327
1146.83/1150.05 c #Conflicts: 521000 | #Constraints: 139327
1146.83/1150.05 c #Conflicts: 522000 | #Constraints: 140327
1146.83/1150.05 c #Conflicts: 523000 | #Constraints: 141327
1146.83/1150.05 c #Conflicts: 524000 | #Constraints: 142327
1146.83/1150.05 c #Conflicts: 525000 | #Constraints: 143327
1146.83/1150.05 c #Conflicts: 526000 | #Constraints: 144327
1146.83/1150.05 c #Conflicts: 527000 | #Constraints: 145327
1146.83/1150.05 c #Conflicts: 528000 | #Constraints: 146327
1146.83/1150.05 c #Conflicts: 529000 | #Constraints: 147327
1146.83/1150.05 c #Conflicts: 530000 | #Constraints: 148327
1146.83/1150.05 c #Conflicts: 531000 | #Constraints: 149327
1146.83/1150.05 c #Conflicts: 532000 | #Constraints: 150327
1146.83/1150.05 c #Conflicts: 533000 | #Constraints: 151327
1146.83/1150.05 c #Conflicts: 534000 | #Constraints: 152327
1146.83/1150.05 c #Conflicts: 535000 | #Constraints: 153327
1146.83/1150.05 c #Conflicts: 536000 | #Constraints: 154327
1146.83/1150.05 c #Conflicts: 537000 | #Constraints: 155327
1146.83/1150.05 c #Conflicts: 538000 | #Constraints: 156327
1146.83/1150.05 c #Conflicts: 539000 | #Constraints: 157327
1146.83/1150.05 c #Conflicts: 540000 | #Constraints: 158327
1146.83/1150.05 c #Conflicts: 541000 | #Constraints: 159327
1146.83/1150.05 c #Conflicts: 542000 | #Constraints: 160327
1146.83/1150.05 c #Conflicts: 543000 | #Constraints: 161327
1146.83/1150.05 c #Conflicts: 544000 | #Constraints: 162327
1146.83/1150.05 c #Conflicts: 545000 | #Constraints: 163327
1146.83/1150.05 c #Conflicts: 546000 | #Constraints: 164327
1146.83/1150.05 c #Conflicts: 547000 | #Constraints: 165327
1146.83/1150.05 c #Conflicts: 548000 | #Constraints: 166327
1146.83/1150.05 c #Conflicts: 549000 | #Constraints: 167327
1146.83/1150.05 c #Conflicts: 550000 | #Constraints: 168327
1146.83/1150.05 c #Conflicts: 551000 | #Constraints: 169327
1146.83/1150.05 c #Conflicts: 552000 | #Constraints: 170327
1146.83/1150.05 c #Conflicts: 553000 | #Constraints: 171327
1146.83/1150.05 c #Conflicts: 554000 | #Constraints: 172327
1146.83/1150.05 c #Conflicts: 555000 | #Constraints: 173327
1146.83/1150.05 c #Conflicts: 556000 | #Constraints: 174327
1146.83/1150.05 c #Conflicts: 557000 | #Constraints: 175327
1146.83/1150.05 c #Conflicts: 558000 | #Constraints: 176327
1146.83/1150.05 c #Conflicts: 559000 | #Constraints: 177327
1146.83/1150.05 c #Conflicts: 560000 | #Constraints: 178327
1146.83/1150.05 c #Conflicts: 561000 | #Constraints: 179327
1146.83/1150.05 c #Conflicts: 562000 | #Constraints: 180327
1146.83/1150.05 c #Conflicts: 563000 | #Constraints: 181327
1146.83/1150.05 c #Conflicts: 564000 | #Constraints: 182327
1146.83/1150.05 c #Conflicts: 565000 | #Constraints: 183327
1146.83/1150.05 c #Conflicts: 566000 | #Constraints: 184327
1146.83/1150.05 c INPROCESSING
1146.83/1150.05 c GARBAGE COLLECT
1146.83/1150.05 c rational objective 25241.9
1266.61/1270.16 c #Conflicts: 567000 | #Constraints: 141432
1266.61/1270.16 c #Conflicts: 568000 | #Constraints: 142432
1266.61/1270.16 c #Conflicts: 569000 | #Constraints: 143432
1266.61/1270.16 c #Conflicts: 570000 | #Constraints: 144432
1266.61/1270.16 c #Conflicts: 571000 | #Constraints: 145432
1266.61/1270.16 c #Conflicts: 572000 | #Constraints: 146432
1266.61/1270.16 c #Conflicts: 573000 | #Constraints: 147432
1266.61/1270.16 c #Conflicts: 574000 | #Constraints: 148432
1266.61/1270.16 c #Conflicts: 575000 | #Constraints: 149432
1266.61/1270.16 c #Conflicts: 576000 | #Constraints: 150432
1266.61/1270.16 c #Conflicts: 577000 | #Constraints: 151432
1266.61/1270.16 c #Conflicts: 578000 | #Constraints: 152432
1266.61/1270.16 c #Conflicts: 579000 | #Constraints: 153432
1266.61/1270.16 c #Conflicts: 580000 | #Constraints: 154432
1266.61/1270.16 c #Conflicts: 581000 | #Constraints: 155432
1266.61/1270.16 c #Conflicts: 582000 | #Constraints: 156432
1266.61/1270.16 c #Conflicts: 583000 | #Constraints: 157432
1266.61/1270.16 c #Conflicts: 584000 | #Constraints: 158432
1266.61/1270.16 c #Conflicts: 585000 | #Constraints: 159432
1266.61/1270.16 c #Conflicts: 586000 | #Constraints: 160432
1266.61/1270.16 c #Conflicts: 587000 | #Constraints: 161432
1266.61/1270.16 c #Conflicts: 588000 | #Constraints: 162432
1266.61/1270.16 c #Conflicts: 589000 | #Constraints: 163432
1266.61/1270.16 c #Conflicts: 590000 | #Constraints: 164432
1266.61/1270.16 c #Conflicts: 591000 | #Constraints: 165432
1266.61/1270.16 c #Conflicts: 592000 | #Constraints: 166432
1266.61/1270.16 c #Conflicts: 593000 | #Constraints: 167432
1266.61/1270.16 c #Conflicts: 594000 | #Constraints: 168432
1266.61/1270.16 c #Conflicts: 595000 | #Constraints: 169432
1266.61/1270.16 c #Conflicts: 596000 | #Constraints: 170432
1266.61/1270.16 c #Conflicts: 597000 | #Constraints: 171432
1266.61/1270.16 c #Conflicts: 598000 | #Constraints: 172432
1266.61/1270.16 c #Conflicts: 599000 | #Constraints: 173432
1266.61/1270.16 c #Conflicts: 600000 | #Constraints: 174432
1266.61/1270.16 c #Conflicts: 601000 | #Constraints: 175432
1266.61/1270.16 c #Conflicts: 602000 | #Constraints: 176432
1266.61/1270.16 c #Conflicts: 603000 | #Constraints: 177432
1266.61/1270.16 c #Conflicts: 604000 | #Constraints: 178432
1266.61/1270.16 c #Conflicts: 605000 | #Constraints: 179432
1266.61/1270.16 c #Conflicts: 606000 | #Constraints: 180432
1266.61/1270.16 c #Conflicts: 607000 | #Constraints: 181432
1266.61/1270.16 c #Conflicts: 608000 | #Constraints: 182432
1266.61/1270.16 c #Conflicts: 609000 | #Constraints: 183432
1266.61/1270.16 c #Conflicts: 610000 | #Constraints: 184432
1266.61/1270.16 c #Conflicts: 611000 | #Constraints: 185432
1266.61/1270.16 c #Conflicts: 612000 | #Constraints: 186432
1266.61/1270.16 c #Conflicts: 613000 | #Constraints: 187432
1266.61/1270.16 c #Conflicts: 614000 | #Constraints: 188432
1266.61/1270.16 c #Conflicts: 615000 | #Constraints: 189432
1266.61/1270.16 c #Conflicts: 616000 | #Constraints: 190432
1266.61/1270.16 c #Conflicts: 617000 | #Constraints: 191432
1266.61/1270.16 c INPROCESSING
1266.61/1270.16 c GARBAGE COLLECT
1266.61/1270.16 c #Conflicts: 618000 | #Constraints: 146894
1266.61/1270.16 c #Conflicts: 619000 | #Constraints: 147894
1266.61/1270.16 c #Conflicts: 620000 | #Constraints: 148894
1266.61/1270.16 c #Conflicts: 621000 | #Constraints: 149894
1266.61/1270.16 c #Conflicts: 622000 | #Constraints: 150894
1266.61/1270.16 c #Conflicts: 623000 | #Constraints: 151894
1266.61/1270.16 c #Conflicts: 624000 | #Constraints: 152894
1266.61/1270.16 c #Conflicts: 625000 | #Constraints: 153894
1266.61/1270.16 c #Conflicts: 626000 | #Constraints: 154894
1266.61/1270.16 c #Conflicts: 627000 | #Constraints: 155894
1266.61/1270.16 c #Conflicts: 628000 | #Constraints: 156894
1266.61/1270.16 c #Conflicts: 629000 | #Constraints: 157894
1266.61/1270.16 c #Conflicts: 630000 | #Constraints: 158894
1266.61/1270.16 c #Conflicts: 631000 | #Constraints: 159894
1266.61/1270.16 c #Conflicts: 632000 | #Constraints: 160894
1266.61/1270.16 c #Conflicts: 633000 | #Constraints: 161894
1266.61/1270.16 c #Conflicts: 634000 | #Constraints: 162894
1266.61/1270.16 c #Conflicts: 635000 | #Constraints: 163894
1266.61/1270.16 c #Conflicts: 636000 | #Constraints: 164894
1266.61/1270.16 c #Conflicts: 637000 | #Constraints: 165894
1266.61/1270.16 c #Conflicts: 638000 | #Constraints: 166894
1266.61/1270.16 c #Conflicts: 639000 | #Constraints: 167894
1266.61/1270.16 c #Conflicts: 640000 | #Constraints: 168894
1266.61/1270.16 c #Conflicts: 641000 | #Constraints: 169894
1266.61/1270.16 c #Conflicts: 642000 | #Constraints: 170894
1266.61/1270.16 c #Conflicts: 643000 | #Constraints: 171894
1266.61/1270.16 c #Conflicts: 644000 | #Constraints: 172894
1266.61/1270.16 c #Conflicts: 645000 | #Constraints: 173894
1401.65/1405.54 c #Conflicts: 646000 | #Constraints: 174894
1401.65/1405.54 c #Conflicts: 647000 | #Constraints: 175894
1401.65/1405.54 c #Conflicts: 648000 | #Constraints: 176894
1401.65/1405.54 c #Conflicts: 649000 | #Constraints: 177894
1401.65/1405.54 c #Conflicts: 650000 | #Constraints: 178894
1401.65/1405.54 c #Conflicts: 651000 | #Constraints: 179894
1401.65/1405.54 c #Conflicts: 652000 | #Constraints: 180894
1401.65/1405.54 c #Conflicts: 653000 | #Constraints: 181894
1401.65/1405.54 c #Conflicts: 654000 | #Constraints: 182894
1401.65/1405.54 c #Conflicts: 655000 | #Constraints: 183894
1401.65/1405.54 c #Conflicts: 656000 | #Constraints: 184894
1401.65/1405.54 c #Conflicts: 657000 | #Constraints: 185894
1401.65/1405.54 c #Conflicts: 658000 | #Constraints: 186894
1401.65/1405.54 c #Conflicts: 659000 | #Constraints: 187894
1401.65/1405.54 c #Conflicts: 660000 | #Constraints: 188894
1401.65/1405.54 c #Conflicts: 661000 | #Constraints: 189894
1401.65/1405.54 c #Conflicts: 662000 | #Constraints: 190894
1401.65/1405.54 c #Conflicts: 663000 | #Constraints: 191894
1401.65/1405.54 c #Conflicts: 664000 | #Constraints: 192894
1401.65/1405.54 c #Conflicts: 665000 | #Constraints: 193894
1401.65/1405.54 c #Conflicts: 666000 | #Constraints: 194894
1401.65/1405.54 c #Conflicts: 667000 | #Constraints: 195894
1401.65/1405.54 c #Conflicts: 668000 | #Constraints: 196894
1401.65/1405.54 c #Conflicts: 669000 | #Constraints: 197894
1401.65/1405.54 c INPROCESSING
1401.65/1405.54 c GARBAGE COLLECT
1401.65/1405.54 c #Conflicts: 670000 | #Constraints: 151073
1401.65/1405.54 c #Conflicts: 671000 | #Constraints: 152073
1401.65/1405.54 c #Conflicts: 672000 | #Constraints: 153073
1401.65/1405.54 c #Conflicts: 673000 | #Constraints: 154073
1401.65/1405.54 c #Conflicts: 674000 | #Constraints: 155073
1401.65/1405.54 c #Conflicts: 675000 | #Constraints: 156073
1401.65/1405.54 c #Conflicts: 676000 | #Constraints: 157073
1401.65/1405.54 c #Conflicts: 677000 | #Constraints: 158073
1401.65/1405.54 c #Conflicts: 678000 | #Constraints: 159073
1401.65/1405.54 c #Conflicts: 679000 | #Constraints: 160073
1401.65/1405.54 c #Conflicts: 680000 | #Constraints: 161073
1401.65/1405.54 c #Conflicts: 681000 | #Constraints: 162073
1401.65/1405.54 c #Conflicts: 682000 | #Constraints: 163073
1401.65/1405.54 c #Conflicts: 683000 | #Constraints: 164073
1401.65/1405.54 c #Conflicts: 684000 | #Constraints: 165073
1401.65/1405.54 c #Conflicts: 685000 | #Constraints: 166073
1401.65/1405.54 c #Conflicts: 686000 | #Constraints: 167073
1401.65/1405.54 c #Conflicts: 687000 | #Constraints: 168073
1401.65/1405.54 c #Conflicts: 688000 | #Constraints: 169073
1401.65/1405.54 c #Conflicts: 689000 | #Constraints: 170073
1401.65/1405.54 c #Conflicts: 690000 | #Constraints: 171073
1401.65/1405.54 c #Conflicts: 691000 | #Constraints: 172073
1401.65/1405.54 c #Conflicts: 692000 | #Constraints: 173073
1401.65/1405.54 c #Conflicts: 693000 | #Constraints: 174073
1401.65/1405.54 c #Conflicts: 694000 | #Constraints: 175073
1401.65/1405.54 c #Conflicts: 695000 | #Constraints: 176073
1401.65/1405.54 c #Conflicts: 696000 | #Constraints: 177073
1401.65/1405.54 c #Conflicts: 697000 | #Constraints: 178073
1401.65/1405.54 c #Conflicts: 698000 | #Constraints: 179073
1401.65/1405.54 c #Conflicts: 699000 | #Constraints: 180073
1401.65/1405.54 c #Conflicts: 700000 | #Constraints: 181073
1401.65/1405.54 c #Conflicts: 701000 | #Constraints: 182073
1401.65/1405.54 c #Conflicts: 702000 | #Constraints: 183073
1401.65/1405.54 c #Conflicts: 703000 | #Constraints: 184073
1401.65/1405.54 c #Conflicts: 704000 | #Constraints: 185073
1401.65/1405.54 c #Conflicts: 705000 | #Constraints: 186073
1401.65/1405.54 c #Conflicts: 706000 | #Constraints: 187073
1401.65/1405.54 c #Conflicts: 707000 | #Constraints: 188073
1401.65/1405.54 c #Conflicts: 708000 | #Constraints: 189073
1401.65/1405.54 c #Conflicts: 709000 | #Constraints: 190073
1401.65/1405.54 c #Conflicts: 710000 | #Constraints: 191073
1401.65/1405.54 c #Conflicts: 711000 | #Constraints: 192073
1401.65/1405.54 c #Conflicts: 712000 | #Constraints: 193073
1401.65/1405.54 c #Conflicts: 713000 | #Constraints: 194073
1401.65/1405.54 c #Conflicts: 714000 | #Constraints: 195073
1401.65/1405.54 c #Conflicts: 715000 | #Constraints: 196073
1401.65/1405.54 c #Conflicts: 716000 | #Constraints: 197073
1401.65/1405.54 c #Conflicts: 717000 | #Constraints: 198073
1401.65/1405.54 c #Conflicts: 718000 | #Constraints: 199073
1401.65/1405.54 c #Conflicts: 719000 | #Constraints: 200073
1401.65/1405.54 c #Conflicts: 720000 | #Constraints: 201073
1401.65/1405.54 c #Conflicts: 721000 | #Constraints: 202073
1401.65/1405.54 c #Conflicts: 722000 | #Constraints: 203073
1401.65/1405.54 c #Conflicts: 723000 | #Constraints: 204073
1527.62/1531.84 c #Conflicts: 724000 | #Constraints: 205073
1527.62/1531.84 c INPROCESSING
1527.62/1531.84 c GARBAGE COLLECT
1527.62/1531.84 c #Conflicts: 725000 | #Constraints: 156127
1527.62/1531.84 c #Conflicts: 726000 | #Constraints: 157127
1527.62/1531.84 c #Conflicts: 727000 | #Constraints: 158127
1527.62/1531.84 c #Conflicts: 728000 | #Constraints: 159127
1527.62/1531.84 c #Conflicts: 729000 | #Constraints: 160127
1527.62/1531.84 c #Conflicts: 730000 | #Constraints: 161127
1527.62/1531.84 c #Conflicts: 731000 | #Constraints: 162127
1527.62/1531.84 c #Conflicts: 732000 | #Constraints: 163127
1527.62/1531.84 c #Conflicts: 733000 | #Constraints: 164127
1527.62/1531.84 c #Conflicts: 734000 | #Constraints: 165127
1527.62/1531.84 c #Conflicts: 735000 | #Constraints: 166127
1527.62/1531.84 c #Conflicts: 736000 | #Constraints: 167127
1527.62/1531.84 c #Conflicts: 737000 | #Constraints: 168127
1527.62/1531.84 c #Conflicts: 738000 | #Constraints: 169127
1527.62/1531.84 c #Conflicts: 739000 | #Constraints: 170127
1527.62/1531.84 c #Conflicts: 740000 | #Constraints: 171127
1527.62/1531.84 c #Conflicts: 741000 | #Constraints: 172127
1527.62/1531.84 c #Conflicts: 742000 | #Constraints: 173127
1527.62/1531.84 c #Conflicts: 743000 | #Constraints: 174127
1527.62/1531.84 c #Conflicts: 744000 | #Constraints: 175127
1527.62/1531.84 c #Conflicts: 745000 | #Constraints: 176127
1527.62/1531.84 c #Conflicts: 746000 | #Constraints: 177127
1527.62/1531.84 c #Conflicts: 747000 | #Constraints: 178127
1527.62/1531.84 c #Conflicts: 748000 | #Constraints: 179127
1527.62/1531.84 c #Conflicts: 749000 | #Constraints: 180127
1527.62/1531.84 c #Conflicts: 750000 | #Constraints: 181127
1527.62/1531.84 c #Conflicts: 751000 | #Constraints: 182127
1527.62/1531.84 c #Conflicts: 752000 | #Constraints: 183127
1527.62/1531.84 c #Conflicts: 753000 | #Constraints: 184127
1527.62/1531.84 c #Conflicts: 754000 | #Constraints: 185127
1527.62/1531.84 c #Conflicts: 755000 | #Constraints: 186127
1527.62/1531.84 c #Conflicts: 756000 | #Constraints: 187127
1527.62/1531.84 c #Conflicts: 757000 | #Constraints: 188127
1527.62/1531.84 c #Conflicts: 758000 | #Constraints: 189127
1527.62/1531.84 c #Conflicts: 759000 | #Constraints: 190127
1527.62/1531.84 c #Conflicts: 760000 | #Constraints: 191127
1527.62/1531.84 c #Conflicts: 761000 | #Constraints: 192127
1527.62/1531.84 c #Conflicts: 762000 | #Constraints: 193127
1527.62/1531.84 c #Conflicts: 763000 | #Constraints: 194127
1527.62/1531.84 c #Conflicts: 764000 | #Constraints: 195127
1527.62/1531.84 c #Conflicts: 765000 | #Constraints: 196127
1527.62/1531.84 c #Conflicts: 766000 | #Constraints: 197127
1527.62/1531.84 c #Conflicts: 767000 | #Constraints: 198127
1527.62/1531.84 c #Conflicts: 768000 | #Constraints: 199127
1527.62/1531.84 c #Conflicts: 769000 | #Constraints: 200127
1527.62/1531.84 c #Conflicts: 770000 | #Constraints: 201127
1527.62/1531.84 c #Conflicts: 771000 | #Constraints: 202127
1527.62/1531.84 c #Conflicts: 772000 | #Constraints: 203127
1527.62/1531.84 c #Conflicts: 773000 | #Constraints: 204127
1527.62/1531.84 c #Conflicts: 774000 | #Constraints: 205127
1527.62/1531.84 c #Conflicts: 775000 | #Constraints: 206127
1527.62/1531.84 c #Conflicts: 776000 | #Constraints: 207127
1527.62/1531.84 c #Conflicts: 777000 | #Constraints: 208127
1527.62/1531.84 c #Conflicts: 778000 | #Constraints: 209127
1527.62/1531.84 c #Conflicts: 779000 | #Constraints: 210127
1527.62/1531.84 c #Conflicts: 780000 | #Constraints: 211127
1527.62/1531.84 c #Conflicts: 781000 | #Constraints: 212127
1527.62/1531.84 c INPROCESSING
1527.62/1531.84 c GARBAGE COLLECT
1527.62/1531.84 c #Conflicts: 782000 | #Constraints: 161437
1527.62/1531.84 c #Conflicts: 783000 | #Constraints: 162437
1527.62/1531.84 c #Conflicts: 784000 | #Constraints: 163437
1527.62/1531.84 c #Conflicts: 785000 | #Constraints: 164437
1527.62/1531.84 c #Conflicts: 786000 | #Constraints: 165437
1527.62/1531.84 c #Conflicts: 787000 | #Constraints: 166437
1527.62/1531.84 c #Conflicts: 788000 | #Constraints: 167437
1527.62/1531.84 c #Conflicts: 789000 | #Constraints: 168437
1527.62/1531.84 c #Conflicts: 790000 | #Constraints: 169437
1527.62/1531.84 c #Conflicts: 791000 | #Constraints: 170437
1527.62/1531.84 c #Conflicts: 792000 | #Constraints: 171437
1527.62/1531.84 c #Conflicts: 793000 | #Constraints: 172437
1527.62/1531.84 c #Conflicts: 794000 | #Constraints: 173437
1527.62/1531.84 c #Conflicts: 795000 | #Constraints: 174437
1527.62/1531.84 c #Conflicts: 796000 | #Constraints: 175437
1527.62/1531.84 c #Conflicts: 797000 | #Constraints: 176437
1527.62/1531.84 c #Conflicts: 798000 | #Constraints: 177437
1527.62/1531.84 c #Conflicts: 799000 | #Constraints: 178437
1527.62/1531.84 c #Conflicts: 800000 | #Constraints: 179437
1746.93/1751.78 c #Conflicts: 801000 | #Constraints: 180437
1746.93/1751.78 c #Conflicts: 802000 | #Constraints: 181437
1746.93/1751.78 c #Conflicts: 803000 | #Constraints: 182437
1746.93/1751.78 c #Conflicts: 804000 | #Constraints: 183437
1746.93/1751.78 c #Conflicts: 805000 | #Constraints: 184437
1746.93/1751.78 c #Conflicts: 806000 | #Constraints: 185437
1746.93/1751.78 c #Conflicts: 807000 | #Constraints: 186437
1746.93/1751.78 c #Conflicts: 808000 | #Constraints: 187437
1746.93/1751.78 c #Conflicts: 809000 | #Constraints: 188437
1746.93/1751.78 c #Conflicts: 810000 | #Constraints: 189437
1746.93/1751.78 c #Conflicts: 811000 | #Constraints: 190437
1746.93/1751.78 c #Conflicts: 812000 | #Constraints: 191437
1746.93/1751.78 c #Conflicts: 813000 | #Constraints: 192437
1746.93/1751.78 c #Conflicts: 814000 | #Constraints: 193437
1746.93/1751.78 c #Conflicts: 815000 | #Constraints: 194437
1746.93/1751.78 c #Conflicts: 816000 | #Constraints: 195437
1746.93/1751.78 c #Conflicts: 817000 | #Constraints: 196437
1746.93/1751.78 c #Conflicts: 818000 | #Constraints: 197437
1746.93/1751.78 c #Conflicts: 819000 | #Constraints: 198437
1746.93/1751.78 c #Conflicts: 820000 | #Constraints: 199437
1746.93/1751.78 c #Conflicts: 821000 | #Constraints: 200437
1746.93/1751.78 c #Conflicts: 822000 | #Constraints: 201437
1746.93/1751.78 c #Conflicts: 823000 | #Constraints: 202437
1746.93/1751.78 c #Conflicts: 824000 | #Constraints: 203437
1746.93/1751.78 c #Conflicts: 825000 | #Constraints: 204437
1746.93/1751.78 c #Conflicts: 826000 | #Constraints: 205437
1746.93/1751.78 c #Conflicts: 827000 | #Constraints: 206437
1746.93/1751.78 c #Conflicts: 828000 | #Constraints: 207437
1746.93/1751.78 c #Conflicts: 829000 | #Constraints: 208437
1746.93/1751.78 c #Conflicts: 830000 | #Constraints: 209437
1746.93/1751.78 c #Conflicts: 831000 | #Constraints: 210437
1746.93/1751.78 c #Conflicts: 832000 | #Constraints: 211437
1746.93/1751.78 c #Conflicts: 833000 | #Constraints: 212437
1746.93/1751.78 c #Conflicts: 834000 | #Constraints: 213437
1746.93/1751.78 c #Conflicts: 835000 | #Constraints: 214437
1746.93/1751.78 c #Conflicts: 836000 | #Constraints: 215437
1746.93/1751.78 c #Conflicts: 837000 | #Constraints: 216437
1746.93/1751.78 c #Conflicts: 838000 | #Constraints: 217437
1746.93/1751.78 c #Conflicts: 839000 | #Constraints: 218437
1746.93/1751.78 c INPROCESSING
1746.93/1751.78 c GARBAGE COLLECT
1746.93/1751.78 c #Conflicts: 840000 | #Constraints: 165790
1746.93/1751.78 c #Conflicts: 841000 | #Constraints: 166790
1746.93/1751.78 c #Conflicts: 842000 | #Constraints: 167790
1746.93/1751.78 c #Conflicts: 843000 | #Constraints: 168790
1746.93/1751.78 c #Conflicts: 844000 | #Constraints: 169790
1746.93/1751.78 c #Conflicts: 845000 | #Constraints: 170790
1746.93/1751.78 c #Conflicts: 846000 | #Constraints: 171790
1746.93/1751.78 c #Conflicts: 847000 | #Constraints: 172790
1746.93/1751.78 c #Conflicts: 848000 | #Constraints: 173790
1746.93/1751.78 c #Conflicts: 849000 | #Constraints: 174790
1746.93/1751.78 c #Conflicts: 850000 | #Constraints: 175790
1746.93/1751.78 c #Conflicts: 851000 | #Constraints: 176790
1746.93/1751.78 c #Conflicts: 852000 | #Constraints: 177790
1746.93/1751.78 c #Conflicts: 853000 | #Constraints: 178790
1746.93/1751.78 c #Conflicts: 854000 | #Constraints: 179790
1746.93/1751.78 c #Conflicts: 855000 | #Constraints: 180790
1746.93/1751.78 c #Conflicts: 856000 | #Constraints: 181790
1746.93/1751.78 c #Conflicts: 857000 | #Constraints: 182790
1746.93/1751.78 c #Conflicts: 858000 | #Constraints: 183790
1746.93/1751.78 c #Conflicts: 859000 | #Constraints: 184790
1746.93/1751.78 c #Conflicts: 860000 | #Constraints: 185790
1746.93/1751.78 c #Conflicts: 861000 | #Constraints: 186790
1746.93/1751.78 c #Conflicts: 862000 | #Constraints: 187790
1746.93/1751.78 c #Conflicts: 863000 | #Constraints: 188790
1746.93/1751.78 c #Conflicts: 864000 | #Constraints: 189790
1746.93/1751.78 c #Conflicts: 865000 | #Constraints: 190790
1746.93/1751.78 c #Conflicts: 866000 | #Constraints: 191790
1746.93/1751.78 c #Conflicts: 867000 | #Constraints: 192790
1746.93/1751.78 c #Conflicts: 868000 | #Constraints: 193790
1746.93/1751.78 c #Conflicts: 869000 | #Constraints: 194790
1746.93/1751.78 c #Conflicts: 870000 | #Constraints: 195790
1746.93/1751.78 c #Conflicts: 871000 | #Constraints: 196790
1746.93/1751.78 c #Conflicts: 872000 | #Constraints: 197790
1746.93/1751.78 c #Conflicts: 873000 | #Constraints: 198790
1746.93/1751.78 c #Conflicts: 874000 | #Constraints: 199790
1746.93/1751.78 c #Conflicts: 875000 | #Constraints: 200790
1746.93/1751.78 c #Conflicts: 876000 | #Constraints: 201790
1746.93/1751.78 c #Conflicts: 877000 | #Constraints: 202790
1746.93/1751.78 c #Conflicts: 878000 | #Constraints: 203790
1883.27/1888.43 c #Conflicts: 879000 | #Constraints: 204790
1883.27/1888.43 c #Conflicts: 880000 | #Constraints: 205790
1883.27/1888.43 c #Conflicts: 881000 | #Constraints: 206790
1883.27/1888.43 c #Conflicts: 882000 | #Constraints: 207790
1883.27/1888.43 c #Conflicts: 883000 | #Constraints: 208790
1883.27/1888.43 c #Conflicts: 884000 | #Constraints: 209790
1883.27/1888.43 c #Conflicts: 885000 | #Constraints: 210790
1883.27/1888.43 c #Conflicts: 886000 | #Constraints: 211790
1883.27/1888.43 c #Conflicts: 887000 | #Constraints: 212790
1883.27/1888.43 c #Conflicts: 888000 | #Constraints: 213790
1883.27/1888.43 c #Conflicts: 889000 | #Constraints: 214790
1883.27/1888.43 c #Conflicts: 890000 | #Constraints: 215790
1883.27/1888.43 c #Conflicts: 891000 | #Constraints: 216790
1883.27/1888.43 c #Conflicts: 892000 | #Constraints: 217790
1883.27/1888.43 c #Conflicts: 893000 | #Constraints: 218790
1883.27/1888.43 c #Conflicts: 894000 | #Constraints: 219790
1883.27/1888.43 c #Conflicts: 895000 | #Constraints: 220790
1883.27/1888.43 c #Conflicts: 896000 | #Constraints: 221790
1883.27/1888.43 c #Conflicts: 897000 | #Constraints: 222790
1883.27/1888.43 c #Conflicts: 898000 | #Constraints: 223790
1883.27/1888.43 c #Conflicts: 899000 | #Constraints: 224790
1883.27/1888.43 c #Conflicts: 900000 | #Constraints: 225790
1883.27/1888.43 c INPROCESSING
1883.27/1888.43 c GARBAGE COLLECT
1883.27/1888.43 c #Conflicts: 901000 | #Constraints: 170873
1883.27/1888.43 c #Conflicts: 902000 | #Constraints: 171873
1883.27/1888.43 c #Conflicts: 903000 | #Constraints: 172873
1883.27/1888.43 c #Conflicts: 904000 | #Constraints: 173873
1883.27/1888.43 c #Conflicts: 905000 | #Constraints: 174873
1883.27/1888.43 c #Conflicts: 906000 | #Constraints: 175873
1883.27/1888.43 c #Conflicts: 907000 | #Constraints: 176873
1883.27/1888.43 c #Conflicts: 908000 | #Constraints: 177873
1883.27/1888.43 c #Conflicts: 909000 | #Constraints: 178873
1883.27/1888.43 c #Conflicts: 910000 | #Constraints: 179873
1883.27/1888.43 c #Conflicts: 911000 | #Constraints: 180873
1883.27/1888.43 c #Conflicts: 912000 | #Constraints: 181873
1883.27/1888.43 c #Conflicts: 913000 | #Constraints: 182873
1883.27/1888.43 c #Conflicts: 914000 | #Constraints: 183873
1883.27/1888.43 c #Conflicts: 915000 | #Constraints: 184873
1883.27/1888.43 c #Conflicts: 916000 | #Constraints: 185873
1883.27/1888.43 c #Conflicts: 917000 | #Constraints: 186873
1883.27/1888.43 c #Conflicts: 918000 | #Constraints: 187873
1883.27/1888.43 c #Conflicts: 919000 | #Constraints: 188873
1883.27/1888.43 c #Conflicts: 920000 | #Constraints: 189873
1883.27/1888.43 c #Conflicts: 921000 | #Constraints: 190873
1883.27/1888.43 c #Conflicts: 922000 | #Constraints: 191873
1883.27/1888.43 c #Conflicts: 923000 | #Constraints: 192873
1883.27/1888.43 c #Conflicts: 924000 | #Constraints: 193873
1883.27/1888.43 c #Conflicts: 925000 | #Constraints: 194873
1883.27/1888.43 c #Conflicts: 926000 | #Constraints: 195873
1883.27/1888.43 c #Conflicts: 927000 | #Constraints: 196873
1883.27/1888.43 c #Conflicts: 928000 | #Constraints: 197873
1883.27/1888.43 c #Conflicts: 929000 | #Constraints: 198873
1883.27/1888.43 c #Conflicts: 930000 | #Constraints: 199873
1883.27/1888.43 c #Conflicts: 931000 | #Constraints: 200873
1883.27/1888.43 c #Conflicts: 932000 | #Constraints: 201873
1883.27/1888.43 c #Conflicts: 933000 | #Constraints: 202873
1883.27/1888.43 c #Conflicts: 934000 | #Constraints: 203873
1883.27/1888.43 c #Conflicts: 935000 | #Constraints: 204873
1883.27/1888.43 c #Conflicts: 936000 | #Constraints: 205873
1883.27/1888.43 c #Conflicts: 937000 | #Constraints: 206873
1883.27/1888.43 c #Conflicts: 938000 | #Constraints: 207873
1883.27/1888.43 c #Conflicts: 939000 | #Constraints: 208873
1883.27/1888.43 c #Conflicts: 940000 | #Constraints: 209873
1883.27/1888.43 c #Conflicts: 941000 | #Constraints: 210873
1883.27/1888.43 c #Conflicts: 942000 | #Constraints: 211873
1883.27/1888.43 c #Conflicts: 943000 | #Constraints: 212873
1883.27/1888.43 c #Conflicts: 944000 | #Constraints: 213873
1883.27/1888.43 c #Conflicts: 945000 | #Constraints: 214873
1883.27/1888.43 c #Conflicts: 946000 | #Constraints: 215873
1883.27/1888.43 c #Conflicts: 947000 | #Constraints: 216873
1883.27/1888.43 c #Conflicts: 948000 | #Constraints: 217873
1883.27/1888.43 c #Conflicts: 949000 | #Constraints: 218873
1883.27/1888.43 c #Conflicts: 950000 | #Constraints: 219873
1883.27/1888.43 c #Conflicts: 951000 | #Constraints: 220873
1883.27/1888.43 c #Conflicts: 952000 | #Constraints: 221873
1883.27/1888.43 c #Conflicts: 953000 | #Constraints: 222873
1883.27/1888.43 c #Conflicts: 954000 | #Constraints: 223873
1883.27/1888.43 c #Conflicts: 955000 | #Constraints: 224873
1883.27/1888.43 c #Conflicts: 956000 | #Constraints: 225873
1883.27/1888.43 c #Conflicts: 957000 | #Constraints: 226873
2214.62/2220.66 c #Conflicts: 958000 | #Constraints: 227873
2214.62/2220.66 c #Conflicts: 959000 | #Constraints: 228873
2214.62/2220.66 c #Conflicts: 960000 | #Constraints: 229873
2214.62/2220.66 c #Conflicts: 961000 | #Constraints: 230873
2214.62/2220.66 c #Conflicts: 962000 | #Constraints: 231873
2214.62/2220.66 c #Conflicts: 963000 | #Constraints: 232873
2214.62/2220.66 c INPROCESSING
2214.62/2220.66 c GARBAGE COLLECT
2214.62/2220.66 c #Conflicts: 964000 | #Constraints: 176723
2214.62/2220.66 c #Conflicts: 965000 | #Constraints: 177723
2214.62/2220.66 c #Conflicts: 966000 | #Constraints: 178723
2214.62/2220.66 c #Conflicts: 967000 | #Constraints: 179723
2214.62/2220.66 c #Conflicts: 968000 | #Constraints: 180723
2214.62/2220.66 c #Conflicts: 969000 | #Constraints: 181723
2214.62/2220.66 c #Conflicts: 970000 | #Constraints: 182723
2214.62/2220.66 c #Conflicts: 971000 | #Constraints: 183723
2214.62/2220.66 c #Conflicts: 972000 | #Constraints: 184723
2214.62/2220.66 c #Conflicts: 973000 | #Constraints: 185723
2214.62/2220.66 c #Conflicts: 974000 | #Constraints: 186723
2214.62/2220.66 c #Conflicts: 975000 | #Constraints: 187723
2214.62/2220.66 c #Conflicts: 976000 | #Constraints: 188723
2214.62/2220.66 c #Conflicts: 977000 | #Constraints: 189723
2214.62/2220.66 c #Conflicts: 978000 | #Constraints: 190723
2214.62/2220.66 c #Conflicts: 979000 | #Constraints: 191723
2214.62/2220.66 c #Conflicts: 980000 | #Constraints: 192723
2214.62/2220.66 c #Conflicts: 981000 | #Constraints: 193723
2214.62/2220.66 c #Conflicts: 982000 | #Constraints: 194723
2214.62/2220.66 c #Conflicts: 983000 | #Constraints: 195723
2214.62/2220.66 c #Conflicts: 984000 | #Constraints: 196723
2214.62/2220.66 c #Conflicts: 985000 | #Constraints: 197723
2214.62/2220.66 c #Conflicts: 986000 | #Constraints: 198723
2214.62/2220.66 c #Conflicts: 987000 | #Constraints: 199723
2214.62/2220.66 c #Conflicts: 988000 | #Constraints: 200723
2214.62/2220.66 c #Conflicts: 989000 | #Constraints: 201723
2214.62/2220.66 c #Conflicts: 990000 | #Constraints: 202723
2214.62/2220.66 c #Conflicts: 991000 | #Constraints: 203723
2214.62/2220.66 c #Conflicts: 992000 | #Constraints: 204723
2214.62/2220.66 c #Conflicts: 993000 | #Constraints: 205723
2214.62/2220.66 c #Conflicts: 994000 | #Constraints: 206723
2214.62/2220.66 c #Conflicts: 995000 | #Constraints: 207723
2214.62/2220.66 c #Conflicts: 996000 | #Constraints: 208723
2214.62/2220.66 c #Conflicts: 997000 | #Constraints: 209723
2214.62/2220.66 c #Conflicts: 998000 | #Constraints: 210723
2214.62/2220.66 c #Conflicts: 999000 | #Constraints: 211723
2214.62/2220.66 c #Conflicts: 1000000 | #Constraints: 212723
2214.62/2220.66 c #Conflicts: 1001000 | #Constraints: 213723
2214.62/2220.66 c #Conflicts: 1002000 | #Constraints: 214723
2214.62/2220.66 c #Conflicts: 1003000 | #Constraints: 215723
2214.62/2220.66 c #Conflicts: 1004000 | #Constraints: 216723
2214.62/2220.66 c #Conflicts: 1005000 | #Constraints: 217723
2214.62/2220.66 c #Conflicts: 1006000 | #Constraints: 218723
2214.62/2220.66 c #Conflicts: 1007000 | #Constraints: 219723
2214.62/2220.66 c #Conflicts: 1008000 | #Constraints: 220723
2214.62/2220.66 c #Conflicts: 1009000 | #Constraints: 221723
2214.62/2220.66 c #Conflicts: 1010000 | #Constraints: 222723
2214.62/2220.66 c #Conflicts: 1011000 | #Constraints: 223723
2214.62/2220.66 c #Conflicts: 1012000 | #Constraints: 224723
2214.62/2220.66 c #Conflicts: 1013000 | #Constraints: 225723
2214.62/2220.66 c #Conflicts: 1014000 | #Constraints: 226723
2214.62/2220.66 c #Conflicts: 1015000 | #Constraints: 227723
2214.62/2220.66 c #Conflicts: 1016000 | #Constraints: 228723
2214.62/2220.66 c #Conflicts: 1017000 | #Constraints: 229723
2214.62/2220.66 c #Conflicts: 1018000 | #Constraints: 230723
2214.62/2220.66 c #Conflicts: 1019000 | #Constraints: 231723
2214.62/2220.66 c #Conflicts: 1020000 | #Constraints: 232723
2214.62/2220.66 c #Conflicts: 1021000 | #Constraints: 233723
2214.62/2220.66 c #Conflicts: 1022000 | #Constraints: 234723
2214.62/2220.66 c #Conflicts: 1023000 | #Constraints: 235723
2214.62/2220.66 c #Conflicts: 1024000 | #Constraints: 236723
2214.62/2220.66 c #Conflicts: 1025000 | #Constraints: 237723
2214.62/2220.66 c #Conflicts: 1026000 | #Constraints: 238723
2214.62/2220.66 c #Conflicts: 1027000 | #Constraints: 239723
2214.62/2220.66 c #Conflicts: 1028000 | #Constraints: 240723
2214.62/2220.66 c INPROCESSING
2214.62/2220.66 c GARBAGE COLLECT
2214.62/2220.66 c #Conflicts: 1029000 | #Constraints: 182557
2214.62/2220.66 c #Conflicts: 1030000 | #Constraints: 183557
2214.62/2220.66 c #Conflicts: 1031000 | #Constraints: 184557
2214.62/2220.66 c #Conflicts: 1032000 | #Constraints: 185557
2214.62/2220.66 c #Conflicts: 1033000 | #Constraints: 186557
2214.62/2220.66 c #Conflicts: 1034000 | #Constraints: 187557
2351.76/2358.12 c #Conflicts: 1035000 | #Constraints: 188557
2351.76/2358.12 c #Conflicts: 1036000 | #Constraints: 189557
2351.76/2358.12 c #Conflicts: 1037000 | #Constraints: 190557
2351.76/2358.12 c #Conflicts: 1038000 | #Constraints: 191557
2351.76/2358.12 c #Conflicts: 1039000 | #Constraints: 192557
2351.76/2358.12 c #Conflicts: 1040000 | #Constraints: 193557
2351.76/2358.12 c #Conflicts: 1041000 | #Constraints: 194557
2351.76/2358.12 c #Conflicts: 1042000 | #Constraints: 195557
2351.76/2358.12 c #Conflicts: 1043000 | #Constraints: 196557
2351.76/2358.12 c #Conflicts: 1044000 | #Constraints: 197557
2351.76/2358.12 c #Conflicts: 1045000 | #Constraints: 198557
2351.76/2358.12 c #Conflicts: 1046000 | #Constraints: 199557
2351.76/2358.12 c #Conflicts: 1047000 | #Constraints: 200557
2351.76/2358.12 c #Conflicts: 1048000 | #Constraints: 201557
2351.76/2358.12 c #Conflicts: 1049000 | #Constraints: 202557
2351.76/2358.12 c #Conflicts: 1050000 | #Constraints: 203557
2351.76/2358.12 c #Conflicts: 1051000 | #Constraints: 204557
2351.76/2358.12 c #Conflicts: 1052000 | #Constraints: 205557
2351.76/2358.12 c #Conflicts: 1053000 | #Constraints: 206557
2351.76/2358.12 c #Conflicts: 1054000 | #Constraints: 207557
2351.76/2358.12 c #Conflicts: 1055000 | #Constraints: 208557
2351.76/2358.12 c #Conflicts: 1056000 | #Constraints: 209557
2351.76/2358.12 c #Conflicts: 1057000 | #Constraints: 210557
2351.76/2358.12 c #Conflicts: 1058000 | #Constraints: 211557
2351.76/2358.12 c #Conflicts: 1059000 | #Constraints: 212557
2351.76/2358.12 c #Conflicts: 1060000 | #Constraints: 213557
2351.76/2358.12 c #Conflicts: 1061000 | #Constraints: 214557
2351.76/2358.12 c #Conflicts: 1062000 | #Constraints: 215557
2351.76/2358.12 c #Conflicts: 1063000 | #Constraints: 216557
2351.76/2358.12 c #Conflicts: 1064000 | #Constraints: 217557
2351.76/2358.12 c #Conflicts: 1065000 | #Constraints: 218557
2351.76/2358.12 c #Conflicts: 1066000 | #Constraints: 219557
2351.76/2358.12 c #Conflicts: 1067000 | #Constraints: 220557
2351.76/2358.12 c #Conflicts: 1068000 | #Constraints: 221557
2351.76/2358.12 c #Conflicts: 1069000 | #Constraints: 222557
2351.76/2358.12 c #Conflicts: 1070000 | #Constraints: 223557
2351.76/2358.12 c #Conflicts: 1071000 | #Constraints: 224557
2351.76/2358.12 c #Conflicts: 1072000 | #Constraints: 225557
2351.76/2358.12 c #Conflicts: 1073000 | #Constraints: 226557
2351.76/2358.12 c #Conflicts: 1074000 | #Constraints: 227557
2351.76/2358.12 c #Conflicts: 1075000 | #Constraints: 228557
2351.76/2358.12 c #Conflicts: 1076000 | #Constraints: 229557
2351.76/2358.12 c #Conflicts: 1077000 | #Constraints: 230557
2351.76/2358.12 c #Conflicts: 1078000 | #Constraints: 231557
2351.76/2358.12 c #Conflicts: 1079000 | #Constraints: 232557
2351.76/2358.12 c #Conflicts: 1080000 | #Constraints: 233557
2351.76/2358.12 c #Conflicts: 1081000 | #Constraints: 234557
2351.76/2358.12 c #Conflicts: 1082000 | #Constraints: 235557
2351.76/2358.12 c #Conflicts: 1083000 | #Constraints: 236557
2351.76/2358.12 c #Conflicts: 1084000 | #Constraints: 237557
2351.76/2358.12 c #Conflicts: 1085000 | #Constraints: 238557
2351.76/2358.12 c #Conflicts: 1086000 | #Constraints: 239557
2351.76/2358.12 c #Conflicts: 1087000 | #Constraints: 240557
2351.76/2358.12 c #Conflicts: 1088000 | #Constraints: 241557
2351.76/2358.12 c #Conflicts: 1089000 | #Constraints: 242557
2351.76/2358.12 c #Conflicts: 1090000 | #Constraints: 243557
2351.76/2358.12 c #Conflicts: 1091000 | #Constraints: 244557
2351.76/2358.12 c #Conflicts: 1092000 | #Constraints: 245557
2351.76/2358.12 c #Conflicts: 1093000 | #Constraints: 246557
2351.76/2358.12 c #Conflicts: 1094000 | #Constraints: 247557
2351.76/2358.12 c INPROCESSING
2351.76/2358.12 c GARBAGE COLLECT
2351.76/2358.12 c #Conflicts: 1095000 | #Constraints: 187670
2351.76/2358.12 c #Conflicts: 1096000 | #Constraints: 188670
2351.76/2358.12 c #Conflicts: 1097000 | #Constraints: 189670
2351.76/2358.12 c #Conflicts: 1098000 | #Constraints: 190670
2351.76/2358.12 c #Conflicts: 1099000 | #Constraints: 191670
2351.76/2358.12 c #Conflicts: 1100000 | #Constraints: 192670
2351.76/2358.12 c #Conflicts: 1101000 | #Constraints: 193670
2351.76/2358.12 c #Conflicts: 1102000 | #Constraints: 194670
2351.76/2358.12 c #Conflicts: 1103000 | #Constraints: 195670
2351.76/2358.12 c #Conflicts: 1104000 | #Constraints: 196670
2351.76/2358.12 c #Conflicts: 1105000 | #Constraints: 197670
2351.76/2358.12 c #Conflicts: 1106000 | #Constraints: 198670
2351.76/2358.12 c #Conflicts: 1107000 | #Constraints: 199670
2351.76/2358.12 c #Conflicts: 1108000 | #Constraints: 200670
2351.76/2358.12 c #Conflicts: 1109000 | #Constraints: 201670
2351.76/2358.12 c #Conflicts: 1110000 | #Constraints: 202670
2351.76/2358.12 c #Conflicts: 1111000 | #Constraints: 203670
2351.76/2358.12 c #Conflicts: 1112000 | #Constraints: 204670
2493.36/2500.18 c #Conflicts: 1113000 | #Constraints: 205670
2493.36/2500.18 c #Conflicts: 1114000 | #Constraints: 206670
2493.36/2500.18 c #Conflicts: 1115000 | #Constraints: 207670
2493.36/2500.18 c #Conflicts: 1116000 | #Constraints: 208670
2493.36/2500.18 c #Conflicts: 1117000 | #Constraints: 209670
2493.36/2500.18 c #Conflicts: 1118000 | #Constraints: 210670
2493.36/2500.18 c #Conflicts: 1119000 | #Constraints: 211670
2493.36/2500.18 c #Conflicts: 1120000 | #Constraints: 212670
2493.36/2500.18 c #Conflicts: 1121000 | #Constraints: 213670
2493.36/2500.18 c #Conflicts: 1122000 | #Constraints: 214670
2493.36/2500.18 c #Conflicts: 1123000 | #Constraints: 215670
2493.36/2500.18 c #Conflicts: 1124000 | #Constraints: 216670
2493.36/2500.18 c #Conflicts: 1125000 | #Constraints: 217670
2493.36/2500.18 c #Conflicts: 1126000 | #Constraints: 218670
2493.36/2500.18 c #Conflicts: 1127000 | #Constraints: 219670
2493.36/2500.18 c #Conflicts: 1128000 | #Constraints: 220670
2493.36/2500.18 c #Conflicts: 1129000 | #Constraints: 221670
2493.36/2500.18 c #Conflicts: 1130000 | #Constraints: 222670
2493.36/2500.18 c #Conflicts: 1131000 | #Constraints: 223670
2493.36/2500.18 c #Conflicts: 1132000 | #Constraints: 224670
2493.36/2500.18 c #Conflicts: 1133000 | #Constraints: 225670
2493.36/2500.18 c #Conflicts: 1134000 | #Constraints: 226670
2493.36/2500.18 c #Conflicts: 1135000 | #Constraints: 227670
2493.36/2500.18 c #Conflicts: 1136000 | #Constraints: 228670
2493.36/2500.18 c #Conflicts: 1137000 | #Constraints: 229670
2493.36/2500.18 c #Conflicts: 1138000 | #Constraints: 230670
2493.36/2500.18 c #Conflicts: 1139000 | #Constraints: 231670
2493.36/2500.18 c #Conflicts: 1140000 | #Constraints: 232670
2493.36/2500.18 c #Conflicts: 1141000 | #Constraints: 233670
2493.36/2500.18 c #Conflicts: 1142000 | #Constraints: 234670
2493.36/2500.18 c #Conflicts: 1143000 | #Constraints: 235670
2493.36/2500.18 c #Conflicts: 1144000 | #Constraints: 236670
2493.36/2500.18 c #Conflicts: 1145000 | #Constraints: 237670
2493.36/2500.18 c #Conflicts: 1146000 | #Constraints: 238670
2493.36/2500.18 c #Conflicts: 1147000 | #Constraints: 239670
2493.36/2500.18 c #Conflicts: 1148000 | #Constraints: 240670
2493.36/2500.18 c #Conflicts: 1149000 | #Constraints: 241670
2493.36/2500.18 c #Conflicts: 1150000 | #Constraints: 242670
2493.36/2500.18 c #Conflicts: 1151000 | #Constraints: 243670
2493.36/2500.18 c #Conflicts: 1152000 | #Constraints: 244670
2493.36/2500.18 c #Conflicts: 1153000 | #Constraints: 245670
2493.36/2500.18 c #Conflicts: 1154000 | #Constraints: 246670
2493.36/2500.18 c #Conflicts: 1155000 | #Constraints: 247670
2493.36/2500.18 c #Conflicts: 1156000 | #Constraints: 248670
2493.36/2500.18 c #Conflicts: 1157000 | #Constraints: 249670
2493.36/2500.18 c #Conflicts: 1158000 | #Constraints: 250670
2493.36/2500.18 c #Conflicts: 1159000 | #Constraints: 251670
2493.36/2500.18 c #Conflicts: 1160000 | #Constraints: 252670
2493.36/2500.18 c #Conflicts: 1161000 | #Constraints: 253670
2493.36/2500.18 c #Conflicts: 1162000 | #Constraints: 254670
2493.36/2500.18 c #Conflicts: 1163000 | #Constraints: 255670
2493.36/2500.18 c INPROCESSING
2493.36/2500.18 c GARBAGE COLLECT
2493.36/2500.18 c #Conflicts: 1164000 | #Constraints: 193378
2493.36/2500.18 c #Conflicts: 1165000 | #Constraints: 194378
2493.36/2500.18 c #Conflicts: 1166000 | #Constraints: 195378
2493.36/2500.18 c #Conflicts: 1167000 | #Constraints: 196378
2493.36/2500.18 c #Conflicts: 1168000 | #Constraints: 197378
2493.36/2500.18 c #Conflicts: 1169000 | #Constraints: 198378
2493.36/2500.18 c #Conflicts: 1170000 | #Constraints: 199378
2493.36/2500.18 c #Conflicts: 1171000 | #Constraints: 200378
2493.36/2500.18 c #Conflicts: 1172000 | #Constraints: 201378
2493.36/2500.18 c #Conflicts: 1173000 | #Constraints: 202378
2493.36/2500.18 c #Conflicts: 1174000 | #Constraints: 203378
2493.36/2500.18 c #Conflicts: 1175000 | #Constraints: 204378
2493.36/2500.18 c #Conflicts: 1176000 | #Constraints: 205378
2493.36/2500.18 c #Conflicts: 1177000 | #Constraints: 206378
2493.36/2500.18 c #Conflicts: 1178000 | #Constraints: 207378
2493.36/2500.18 c #Conflicts: 1179000 | #Constraints: 208378
2493.36/2500.18 c #Conflicts: 1180000 | #Constraints: 209378
2493.36/2500.18 c #Conflicts: 1181000 | #Constraints: 210378
2493.36/2500.18 c #Conflicts: 1182000 | #Constraints: 211378
2493.36/2500.18 c #Conflicts: 1183000 | #Constraints: 212378
2493.36/2500.18 c #Conflicts: 1184000 | #Constraints: 213378
2493.36/2500.18 c #Conflicts: 1185000 | #Constraints: 214378
2493.36/2500.18 c #Conflicts: 1186000 | #Constraints: 215378
2493.36/2500.18 c #Conflicts: 1187000 | #Constraints: 216378
2493.36/2500.18 c #Conflicts: 1188000 | #Constraints: 217378
2493.36/2500.18 c #Conflicts: 1189000 | #Constraints: 218378
2493.36/2500.18 c #Conflicts: 1190000 | #Constraints: 219378
2627.91/2635.08 c #Conflicts: 1191000 | #Constraints: 220378
2627.91/2635.08 c #Conflicts: 1192000 | #Constraints: 221378
2627.91/2635.08 c #Conflicts: 1193000 | #Constraints: 222378
2627.91/2635.08 c #Conflicts: 1194000 | #Constraints: 223378
2627.91/2635.08 c #Conflicts: 1195000 | #Constraints: 224378
2627.91/2635.08 c #Conflicts: 1196000 | #Constraints: 225378
2627.91/2635.08 c #Conflicts: 1197000 | #Constraints: 226378
2627.91/2635.08 c #Conflicts: 1198000 | #Constraints: 227378
2627.91/2635.08 c #Conflicts: 1199000 | #Constraints: 228378
2627.91/2635.08 c #Conflicts: 1200000 | #Constraints: 229378
2627.91/2635.08 c #Conflicts: 1201000 | #Constraints: 230378
2627.91/2635.08 c #Conflicts: 1202000 | #Constraints: 231378
2627.91/2635.08 c #Conflicts: 1203000 | #Constraints: 232378
2627.91/2635.08 c #Conflicts: 1204000 | #Constraints: 233378
2627.91/2635.08 c #Conflicts: 1205000 | #Constraints: 234378
2627.91/2635.08 c #Conflicts: 1206000 | #Constraints: 235378
2627.91/2635.08 c #Conflicts: 1207000 | #Constraints: 236378
2627.91/2635.08 c #Conflicts: 1208000 | #Constraints: 237378
2627.91/2635.08 c #Conflicts: 1209000 | #Constraints: 238378
2627.91/2635.08 c #Conflicts: 1210000 | #Constraints: 239378
2627.91/2635.08 c #Conflicts: 1211000 | #Constraints: 240378
2627.91/2635.08 c #Conflicts: 1212000 | #Constraints: 241378
2627.91/2635.08 c #Conflicts: 1213000 | #Constraints: 242378
2627.91/2635.08 c #Conflicts: 1214000 | #Constraints: 243378
2627.91/2635.08 c #Conflicts: 1215000 | #Constraints: 244378
2627.91/2635.08 c #Conflicts: 1216000 | #Constraints: 245378
2627.91/2635.08 c #Conflicts: 1217000 | #Constraints: 246378
2627.91/2635.08 c #Conflicts: 1218000 | #Constraints: 247378
2627.91/2635.08 c #Conflicts: 1219000 | #Constraints: 248378
2627.91/2635.08 c #Conflicts: 1220000 | #Constraints: 249378
2627.91/2635.08 c #Conflicts: 1221000 | #Constraints: 250378
2627.91/2635.08 c #Conflicts: 1222000 | #Constraints: 251378
2627.91/2635.08 c #Conflicts: 1223000 | #Constraints: 252378
2627.91/2635.08 c #Conflicts: 1224000 | #Constraints: 253378
2627.91/2635.08 c #Conflicts: 1225000 | #Constraints: 254378
2627.91/2635.08 c #Conflicts: 1226000 | #Constraints: 255378
2627.91/2635.08 c #Conflicts: 1227000 | #Constraints: 256378
2627.91/2635.08 c #Conflicts: 1228000 | #Constraints: 257378
2627.91/2635.08 c #Conflicts: 1229000 | #Constraints: 258378
2627.91/2635.08 c #Conflicts: 1230000 | #Constraints: 259378
2627.91/2635.08 c #Conflicts: 1231000 | #Constraints: 260378
2627.91/2635.08 c #Conflicts: 1232000 | #Constraints: 261378
2627.91/2635.08 c #Conflicts: 1233000 | #Constraints: 262378
2627.91/2635.08 c #Conflicts: 1234000 | #Constraints: 263378
2627.91/2635.08 c INPROCESSING
2627.91/2635.08 c GARBAGE COLLECT
2627.91/2635.08 c #Conflicts: 1235000 | #Constraints: 198928
2627.91/2635.08 c #Conflicts: 1236000 | #Constraints: 199928
2627.91/2635.08 c #Conflicts: 1237000 | #Constraints: 200928
2627.91/2635.08 c #Conflicts: 1238000 | #Constraints: 201928
2627.91/2635.08 c #Conflicts: 1239000 | #Constraints: 202928
2627.91/2635.08 c #Conflicts: 1240000 | #Constraints: 203928
2627.91/2635.08 c #Conflicts: 1241000 | #Constraints: 204928
2627.91/2635.08 c #Conflicts: 1242000 | #Constraints: 205928
2627.91/2635.08 c #Conflicts: 1243000 | #Constraints: 206928
2627.91/2635.08 c #Conflicts: 1244000 | #Constraints: 207928
2627.91/2635.08 c #Conflicts: 1245000 | #Constraints: 208928
2627.91/2635.08 c #Conflicts: 1246000 | #Constraints: 209928
2627.91/2635.08 c #Conflicts: 1247000 | #Constraints: 210928
2627.91/2635.08 c #Conflicts: 1248000 | #Constraints: 211928
2627.91/2635.08 c #Conflicts: 1249000 | #Constraints: 212928
2627.91/2635.08 c #Conflicts: 1250000 | #Constraints: 213928
2627.91/2635.08 c #Conflicts: 1251000 | #Constraints: 214928
2627.91/2635.08 c #Conflicts: 1252000 | #Constraints: 215928
2627.91/2635.08 c #Conflicts: 1253000 | #Constraints: 216928
2627.91/2635.08 c #Conflicts: 1254000 | #Constraints: 217928
2627.91/2635.08 c #Conflicts: 1255000 | #Constraints: 218928
2627.91/2635.08 c #Conflicts: 1256000 | #Constraints: 219928
2627.91/2635.08 c #Conflicts: 1257000 | #Constraints: 220928
2627.91/2635.08 c #Conflicts: 1258000 | #Constraints: 221928
2627.91/2635.08 c #Conflicts: 1259000 | #Constraints: 222928
2627.91/2635.08 c #Conflicts: 1260000 | #Constraints: 223928
2627.91/2635.08 c #Conflicts: 1261000 | #Constraints: 224928
2627.91/2635.08 c #Conflicts: 1262000 | #Constraints: 225928
2627.91/2635.08 c #Conflicts: 1263000 | #Constraints: 226928
2627.91/2635.08 c #Conflicts: 1264000 | #Constraints: 227928
2627.91/2635.08 c #Conflicts: 1265000 | #Constraints: 228928
2627.91/2635.08 c #Conflicts: 1266000 | #Constraints: 229928
2627.91/2635.08 c #Conflicts: 1267000 | #Constraints: 230928
2627.91/2635.08 c #Conflicts: 1268000 | #Constraints: 231928
2766.82/2774.33 c #Conflicts: 1269000 | #Constraints: 232928
2766.82/2774.33 c #Conflicts: 1270000 | #Constraints: 233928
2766.82/2774.33 c #Conflicts: 1271000 | #Constraints: 234928
2766.82/2774.33 c #Conflicts: 1272000 | #Constraints: 235928
2766.82/2774.33 c #Conflicts: 1273000 | #Constraints: 236928
2766.82/2774.33 c #Conflicts: 1274000 | #Constraints: 237928
2766.82/2774.33 c #Conflicts: 1275000 | #Constraints: 238928
2766.82/2774.33 c #Conflicts: 1276000 | #Constraints: 239928
2766.82/2774.33 c #Conflicts: 1277000 | #Constraints: 240928
2766.82/2774.33 c #Conflicts: 1278000 | #Constraints: 241928
2766.82/2774.33 c #Conflicts: 1279000 | #Constraints: 242928
2766.82/2774.33 c #Conflicts: 1280000 | #Constraints: 243928
2766.82/2774.33 c #Conflicts: 1281000 | #Constraints: 244928
2766.82/2774.33 c #Conflicts: 1282000 | #Constraints: 245928
2766.82/2774.33 c #Conflicts: 1283000 | #Constraints: 246928
2766.82/2774.33 c #Conflicts: 1284000 | #Constraints: 247928
2766.82/2774.33 c #Conflicts: 1285000 | #Constraints: 248928
2766.82/2774.33 c #Conflicts: 1286000 | #Constraints: 249928
2766.82/2774.33 c #Conflicts: 1287000 | #Constraints: 250928
2766.82/2774.33 c #Conflicts: 1288000 | #Constraints: 251928
2766.82/2774.33 c #Conflicts: 1289000 | #Constraints: 252928
2766.82/2774.33 c #Conflicts: 1290000 | #Constraints: 253928
2766.82/2774.33 c #Conflicts: 1291000 | #Constraints: 254928
2766.82/2774.33 c #Conflicts: 1292000 | #Constraints: 255928
2766.82/2774.33 c #Conflicts: 1293000 | #Constraints: 256928
2766.82/2774.33 c #Conflicts: 1294000 | #Constraints: 257928
2766.82/2774.33 c #Conflicts: 1295000 | #Constraints: 258928
2766.82/2774.33 c #Conflicts: 1296000 | #Constraints: 259928
2766.82/2774.33 c #Conflicts: 1297000 | #Constraints: 260928
2766.82/2774.33 c #Conflicts: 1298000 | #Constraints: 261928
2766.82/2774.33 c #Conflicts: 1299000 | #Constraints: 262928
2766.82/2774.33 c #Conflicts: 1300000 | #Constraints: 263928
2766.82/2774.33 c #Conflicts: 1301000 | #Constraints: 264928
2766.82/2774.33 c #Conflicts: 1302000 | #Constraints: 265928
2766.82/2774.33 c #Conflicts: 1303000 | #Constraints: 266928
2766.82/2774.33 c #Conflicts: 1304000 | #Constraints: 267928
2766.82/2774.33 c #Conflicts: 1305000 | #Constraints: 268928
2766.82/2774.33 c #Conflicts: 1306000 | #Constraints: 269928
2766.82/2774.33 c INPROCESSING
2766.82/2774.33 c GARBAGE COLLECT
2766.82/2774.33 c #Conflicts: 1307000 | #Constraints: 202973
2766.82/2774.33 c #Conflicts: 1308000 | #Constraints: 203973
2766.82/2774.33 c #Conflicts: 1309000 | #Constraints: 204973
2766.82/2774.33 c #Conflicts: 1310000 | #Constraints: 205973
2766.82/2774.33 c #Conflicts: 1311000 | #Constraints: 206973
2766.82/2774.33 c #Conflicts: 1312000 | #Constraints: 207973
2766.82/2774.33 c #Conflicts: 1313000 | #Constraints: 208973
2766.82/2774.33 c #Conflicts: 1314000 | #Constraints: 209973
2766.82/2774.33 c #Conflicts: 1315000 | #Constraints: 210973
2766.82/2774.33 c #Conflicts: 1316000 | #Constraints: 211973
2766.82/2774.33 c #Conflicts: 1317000 | #Constraints: 212973
2766.82/2774.33 c #Conflicts: 1318000 | #Constraints: 213973
2766.82/2774.33 c #Conflicts: 1319000 | #Constraints: 214973
2766.82/2774.33 c #Conflicts: 1320000 | #Constraints: 215973
2766.82/2774.33 c #Conflicts: 1321000 | #Constraints: 216973
2766.82/2774.33 c #Conflicts: 1322000 | #Constraints: 217973
2766.82/2774.33 c #Conflicts: 1323000 | #Constraints: 218973
2766.82/2774.33 c #Conflicts: 1324000 | #Constraints: 219973
2766.82/2774.33 c #Conflicts: 1325000 | #Constraints: 220973
2766.82/2774.33 c #Conflicts: 1326000 | #Constraints: 221973
2766.82/2774.33 c #Conflicts: 1327000 | #Constraints: 222973
2766.82/2774.33 c #Conflicts: 1328000 | #Constraints: 223973
2766.82/2774.33 c #Conflicts: 1329000 | #Constraints: 224973
2766.82/2774.33 c #Conflicts: 1330000 | #Constraints: 225973
2766.82/2774.33 c #Conflicts: 1331000 | #Constraints: 226973
2766.82/2774.33 c #Conflicts: 1332000 | #Constraints: 227973
2766.82/2774.33 c #Conflicts: 1333000 | #Constraints: 228973
2766.82/2774.33 c #Conflicts: 1334000 | #Constraints: 229973
2766.82/2774.33 c #Conflicts: 1335000 | #Constraints: 230973
2766.82/2774.33 c #Conflicts: 1336000 | #Constraints: 231973
2766.82/2774.33 c #Conflicts: 1337000 | #Constraints: 232973
2766.82/2774.33 c #Conflicts: 1338000 | #Constraints: 233973
2766.82/2774.33 c #Conflicts: 1339000 | #Constraints: 234973
2766.82/2774.33 c #Conflicts: 1340000 | #Constraints: 235973
2766.82/2774.33 c #Conflicts: 1341000 | #Constraints: 236973
2766.82/2774.33 c #Conflicts: 1342000 | #Constraints: 237973
2766.82/2774.33 c #Conflicts: 1343000 | #Constraints: 238973
2766.82/2774.33 c #Conflicts: 1344000 | #Constraints: 239973
2766.82/2774.33 c #Conflicts: 1345000 | #Constraints: 240973
2766.82/2774.33 c #Conflicts: 1346000 | #Constraints: 241973
2766.82/2774.33 c #Conflicts: 1347000 | #Constraints: 242973
2914.56/2922.55 c #Conflicts: 1348000 | #Constraints: 243973
2914.56/2922.55 c #Conflicts: 1349000 | #Constraints: 244973
2914.56/2922.55 c #Conflicts: 1350000 | #Constraints: 245973
2914.56/2922.55 c #Conflicts: 1351000 | #Constraints: 246973
2914.56/2922.55 c #Conflicts: 1352000 | #Constraints: 247973
2914.56/2922.55 c #Conflicts: 1353000 | #Constraints: 248973
2914.56/2922.55 c #Conflicts: 1354000 | #Constraints: 249973
2914.56/2922.55 c #Conflicts: 1355000 | #Constraints: 250973
2914.56/2922.55 c #Conflicts: 1356000 | #Constraints: 251973
2914.56/2922.55 c #Conflicts: 1357000 | #Constraints: 252973
2914.56/2922.55 c #Conflicts: 1358000 | #Constraints: 253973
2914.56/2922.55 c #Conflicts: 1359000 | #Constraints: 254973
2914.56/2922.55 c #Conflicts: 1360000 | #Constraints: 255973
2914.56/2922.55 c #Conflicts: 1361000 | #Constraints: 256973
2914.56/2922.55 c #Conflicts: 1362000 | #Constraints: 257973
2914.56/2922.55 c #Conflicts: 1363000 | #Constraints: 258973
2914.56/2922.55 c #Conflicts: 1364000 | #Constraints: 259973
2914.56/2922.55 c #Conflicts: 1365000 | #Constraints: 260973
2914.56/2922.55 c #Conflicts: 1366000 | #Constraints: 261973
2914.56/2922.55 c #Conflicts: 1367000 | #Constraints: 262973
2914.56/2922.55 c #Conflicts: 1368000 | #Constraints: 263973
2914.56/2922.55 c #Conflicts: 1369000 | #Constraints: 264973
2914.56/2922.55 c #Conflicts: 1370000 | #Constraints: 265973
2914.56/2922.55 c #Conflicts: 1371000 | #Constraints: 266973
2914.56/2922.55 c #Conflicts: 1372000 | #Constraints: 267973
2914.56/2922.55 c #Conflicts: 1373000 | #Constraints: 268973
2914.56/2922.55 c #Conflicts: 1374000 | #Constraints: 269973
2914.56/2922.55 c #Conflicts: 1375000 | #Constraints: 270973
2914.56/2922.55 c #Conflicts: 1376000 | #Constraints: 271973
2914.56/2922.55 c #Conflicts: 1377000 | #Constraints: 272973
2914.56/2922.55 c #Conflicts: 1378000 | #Constraints: 273973
2914.56/2922.55 c #Conflicts: 1379000 | #Constraints: 274973
2914.56/2922.55 c #Conflicts: 1380000 | #Constraints: 275973
2914.56/2922.55 c #Conflicts: 1381000 | #Constraints: 276973
2914.56/2922.55 c INPROCESSING
2914.56/2922.55 c GARBAGE COLLECT
2914.56/2922.55 c #Conflicts: 1382000 | #Constraints: 210639
2914.56/2922.55 c #Conflicts: 1383000 | #Constraints: 211639
2914.56/2922.55 c #Conflicts: 1384000 | #Constraints: 212639
2914.56/2922.55 c #Conflicts: 1385000 | #Constraints: 213639
2914.56/2922.55 c #Conflicts: 1386000 | #Constraints: 214639
2914.56/2922.55 c #Conflicts: 1387000 | #Constraints: 215639
2914.56/2922.55 c #Conflicts: 1388000 | #Constraints: 216639
2914.56/2922.55 c #Conflicts: 1389000 | #Constraints: 217639
2914.56/2922.55 c #Conflicts: 1390000 | #Constraints: 218639
2914.56/2922.55 c #Conflicts: 1391000 | #Constraints: 219639
2914.56/2922.55 c #Conflicts: 1392000 | #Constraints: 220639
2914.56/2922.55 c #Conflicts: 1393000 | #Constraints: 221639
2914.56/2922.55 c #Conflicts: 1394000 | #Constraints: 222639
2914.56/2922.55 c #Conflicts: 1395000 | #Constraints: 223639
2914.56/2922.55 c #Conflicts: 1396000 | #Constraints: 224639
2914.56/2922.55 c #Conflicts: 1397000 | #Constraints: 225639
2914.56/2922.55 c #Conflicts: 1398000 | #Constraints: 226639
2914.56/2922.55 c #Conflicts: 1399000 | #Constraints: 227639
2914.56/2922.55 c #Conflicts: 1400000 | #Constraints: 228639
2914.56/2922.55 c #Conflicts: 1401000 | #Constraints: 229639
2914.56/2922.55 c #Conflicts: 1402000 | #Constraints: 230639
2914.56/2922.55 c #Conflicts: 1403000 | #Constraints: 231639
2914.56/2922.55 c #Conflicts: 1404000 | #Constraints: 232639
2914.56/2922.55 c #Conflicts: 1405000 | #Constraints: 233639
2914.56/2922.55 c #Conflicts: 1406000 | #Constraints: 234639
2914.56/2922.55 c #Conflicts: 1407000 | #Constraints: 235639
2914.56/2922.55 c #Conflicts: 1408000 | #Constraints: 236639
2914.56/2922.55 c #Conflicts: 1409000 | #Constraints: 237639
2914.56/2922.55 c #Conflicts: 1410000 | #Constraints: 238639
2914.56/2922.55 c #Conflicts: 1411000 | #Constraints: 239639
2914.56/2922.55 c #Conflicts: 1412000 | #Constraints: 240639
2914.56/2922.55 c #Conflicts: 1413000 | #Constraints: 241639
2914.56/2922.55 c #Conflicts: 1414000 | #Constraints: 242639
2914.56/2922.55 c #Conflicts: 1415000 | #Constraints: 243639
2914.56/2922.55 c #Conflicts: 1416000 | #Constraints: 244639
2914.56/2922.55 c #Conflicts: 1417000 | #Constraints: 245639
2914.56/2922.55 c #Conflicts: 1418000 | #Constraints: 246639
2914.56/2922.55 c #Conflicts: 1419000 | #Constraints: 247639
2914.56/2922.55 c #Conflicts: 1420000 | #Constraints: 248639
2914.56/2922.55 c #Conflicts: 1421000 | #Constraints: 249639
2914.56/2922.55 c #Conflicts: 1422000 | #Constraints: 250639
2914.56/2922.55 c #Conflicts: 1423000 | #Constraints: 251639
2914.56/2922.55 c #Conflicts: 1424000 | #Constraints: 252639
2914.56/2922.55 c #Conflicts: 1425000 | #Constraints: 253639
3473.95/3483.35 c #Conflicts: 1426000 | #Constraints: 254639
3473.95/3483.35 c #Conflicts: 1427000 | #Constraints: 255639
3473.95/3483.35 c #Conflicts: 1428000 | #Constraints: 256639
3473.95/3483.35 c #Conflicts: 1429000 | #Constraints: 257639
3473.95/3483.35 c #Conflicts: 1430000 | #Constraints: 258639
3473.95/3483.35 c #Conflicts: 1431000 | #Constraints: 259639
3473.95/3483.35 c #Conflicts: 1432000 | #Constraints: 260639
3473.95/3483.35 c #Conflicts: 1433000 | #Constraints: 261639
3473.95/3483.35 c #Conflicts: 1434000 | #Constraints: 262639
3473.95/3483.35 c #Conflicts: 1435000 | #Constraints: 263639
3473.95/3483.35 c #Conflicts: 1436000 | #Constraints: 264639
3473.95/3483.35 c #Conflicts: 1437000 | #Constraints: 265639
3473.95/3483.35 c #Conflicts: 1438000 | #Constraints: 266639
3473.95/3483.35 c #Conflicts: 1439000 | #Constraints: 267639
3473.95/3483.35 c #Conflicts: 1440000 | #Constraints: 268639
3473.95/3483.35 c #Conflicts: 1441000 | #Constraints: 269639
3473.95/3483.35 c #Conflicts: 1442000 | #Constraints: 270639
3473.95/3483.35 c #Conflicts: 1443000 | #Constraints: 271639
3473.95/3483.35 c #Conflicts: 1444000 | #Constraints: 272639
3473.95/3483.35 c #Conflicts: 1445000 | #Constraints: 273639
3473.95/3483.35 c #Conflicts: 1446000 | #Constraints: 274639
3473.95/3483.35 c #Conflicts: 1447000 | #Constraints: 275639
3473.95/3483.35 c #Conflicts: 1448000 | #Constraints: 276639
3473.95/3483.35 c #Conflicts: 1449000 | #Constraints: 277639
3473.95/3483.35 c #Conflicts: 1450000 | #Constraints: 278639
3473.95/3483.35 c #Conflicts: 1451000 | #Constraints: 279639
3473.95/3483.35 c #Conflicts: 1452000 | #Constraints: 280639
3473.95/3483.35 c #Conflicts: 1453000 | #Constraints: 281639
3473.95/3483.35 c #Conflicts: 1454000 | #Constraints: 282639
3473.95/3483.35 c #Conflicts: 1455000 | #Constraints: 283639
3473.95/3483.35 c #Conflicts: 1456000 | #Constraints: 284639
3473.95/3483.35 c #Conflicts: 1457000 | #Constraints: 285639
3473.95/3483.35 c #Conflicts: 1458000 | #Constraints: 286639
3473.95/3483.35 c INPROCESSING
3473.95/3483.35 c GARBAGE COLLECT
3473.95/3483.35 c #Conflicts: 1459000 | #Constraints: 216995
3473.95/3483.35 c #Conflicts: 1460000 | #Constraints: 217995
3473.95/3483.35 c #Conflicts: 1461000 | #Constraints: 218995
3473.95/3483.35 c #Conflicts: 1462000 | #Constraints: 219995
3473.95/3483.35 c #Conflicts: 1463000 | #Constraints: 220995
3473.95/3483.35 c #Conflicts: 1464000 | #Constraints: 221995
3473.95/3483.35 c #Conflicts: 1465000 | #Constraints: 222995
3473.95/3483.35 c #Conflicts: 1466000 | #Constraints: 223995
3473.95/3483.35 c #Conflicts: 1467000 | #Constraints: 224995
3473.95/3483.35 c #Conflicts: 1468000 | #Constraints: 225995
3473.95/3483.35 c #Conflicts: 1469000 | #Constraints: 226995
3473.95/3483.35 c #Conflicts: 1470000 | #Constraints: 227995
3473.95/3483.35 c #Conflicts: 1471000 | #Constraints: 228995
3473.95/3483.35 c #Conflicts: 1472000 | #Constraints: 229995
3473.95/3483.35 c #Conflicts: 1473000 | #Constraints: 230995
3473.95/3483.35 c #Conflicts: 1474000 | #Constraints: 231995
3473.95/3483.35 c #Conflicts: 1475000 | #Constraints: 232995
3473.95/3483.35 c #Conflicts: 1476000 | #Constraints: 233995
3473.95/3483.35 c #Conflicts: 1477000 | #Constraints: 234995
3473.95/3483.35 c #Conflicts: 1478000 | #Constraints: 235995
3473.95/3483.35 c #Conflicts: 1479000 | #Constraints: 236995
3473.95/3483.35 c #Conflicts: 1480000 | #Constraints: 237995
3473.95/3483.35 c #Conflicts: 1481000 | #Constraints: 238995
3473.95/3483.35 c #Conflicts: 1482000 | #Constraints: 239995
3473.95/3483.35 c #Conflicts: 1483000 | #Constraints: 240995
3473.95/3483.35 c #Conflicts: 1484000 | #Constraints: 241995
3473.95/3483.35 c #Conflicts: 1485000 | #Constraints: 242995
3473.95/3483.35 c #Conflicts: 1486000 | #Constraints: 243995
3473.95/3483.35 c #Conflicts: 1487000 | #Constraints: 244995
3473.95/3483.35 c #Conflicts: 1488000 | #Constraints: 245995
3473.95/3483.35 c #Conflicts: 1489000 | #Constraints: 246995
3473.95/3483.35 c #Conflicts: 1490000 | #Constraints: 247995
3473.95/3483.35 c #Conflicts: 1491000 | #Constraints: 248995
3473.95/3483.35 c #Conflicts: 1492000 | #Constraints: 249995
3473.95/3483.35 c #Conflicts: 1493000 | #Constraints: 250995
3473.95/3483.35 c #Conflicts: 1494000 | #Constraints: 251995
3473.95/3483.35 c #Conflicts: 1495000 | #Constraints: 252995
3473.95/3483.35 c #Conflicts: 1496000 | #Constraints: 253995
3473.95/3483.35 c #Conflicts: 1497000 | #Constraints: 254995
3473.95/3483.35 c #Conflicts: 1498000 | #Constraints: 255995
3473.95/3483.35 c #Conflicts: 1499000 | #Constraints: 256995
3473.95/3483.35 c #Conflicts: 1500000 | #Constraints: 257995
3473.95/3483.35 c #Conflicts: 1501000 | #Constraints: 258995
3473.95/3483.35 c #Conflicts: 1502000 | #Constraints: 259995
3473.95/3483.35 c #Conflicts: 1503000 | #Constraints: 260995
3600.05/3609.70 c #Conflicts: 1504000 | #Constraints: 261995
3600.05/3609.70 c #Conflicts: 1505000 | #Constraints: 262995
3600.05/3609.70 c #Conflicts: 1506000 | #Constraints: 263995
3600.05/3609.70 c #Conflicts: 1507000 | #Constraints: 264995
3600.05/3609.70 c #Conflicts: 1508000 | #Constraints: 265995
3600.05/3609.70 c #Conflicts: 1509000 | #Constraints: 266995
3600.05/3609.70 c #Conflicts: 1510000 | #Constraints: 267995
3600.05/3609.70 c #Conflicts: 1511000 | #Constraints: 268995
3600.05/3609.70 c #Conflicts: 1512000 | #Constraints: 269995
3600.05/3609.70 c #Conflicts: 1513000 | #Constraints: 270995
3600.05/3609.70 c #Conflicts: 1514000 | #Constraints: 271995
3600.05/3609.70 c #Conflicts: 1515000 | #Constraints: 272995
3600.05/3609.70 c #Conflicts: 1516000 | #Constraints: 273995
3600.05/3609.70 c #Conflicts: 1517000 | #Constraints: 274995
3600.05/3609.70 c #Conflicts: 1518000 | #Constraints: 275995
3600.05/3609.70 c #Conflicts: 1519000 | #Constraints: 276995
3600.05/3609.70 c #Conflicts: 1520000 | #Constraints: 277995
3600.05/3609.70 c #Conflicts: 1521000 | #Constraints: 278995
3600.05/3609.70 c #Conflicts: 1522000 | #Constraints: 279995
3600.05/3609.70 c #Conflicts: 1523000 | #Constraints: 280995
3600.05/3609.70 c #Conflicts: 1524000 | #Constraints: 281995
3600.05/3609.70 c #Conflicts: 1525000 | #Constraints: 282995
3600.05/3609.70 c #Conflicts: 1526000 | #Constraints: 283995
3600.05/3609.70 c #Conflicts: 1527000 | #Constraints: 284995
3600.05/3609.70 c #Conflicts: 1528000 | #Constraints: 285995
3600.05/3609.70 c #Conflicts: 1529000 | #Constraints: 286995
3600.05/3609.70 c #Conflicts: 1530000 | #Constraints: 287995
3600.05/3609.70 c #Conflicts: 1531000 | #Constraints: 288995
3600.05/3609.70 c #Conflicts: 1532000 | #Constraints: 289995
3600.05/3609.70 c #Conflicts: 1533000 | #Constraints: 290995
3600.05/3609.70 c #Conflicts: 1534000 | #Constraints: 291995
3600.05/3609.70 c #Conflicts: 1535000 | #Constraints: 292995
3600.05/3609.70 c #Conflicts: 1536000 | #Constraints: 293995
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 1537000 | #Constraints: 222355
3600.05/3609.70 c #Conflicts: 1538000 | #Constraints: 223355
3600.05/3609.70 c #Conflicts: 1539000 | #Constraints: 224355
3600.05/3609.70 c #Conflicts: 1540000 | #Constraints: 225355
3600.05/3609.70 c #Conflicts: 1541000 | #Constraints: 226355
3600.05/3609.70 c #Conflicts: 1542000 | #Constraints: 227355
3600.05/3609.70 c #Conflicts: 1543000 | #Constraints: 228355
3600.05/3609.70 c #Conflicts: 1544000 | #Constraints: 229355
3600.05/3609.70 c #Conflicts: 1545000 | #Constraints: 230355
3600.05/3609.70 c #Conflicts: 1546000 | #Constraints: 231355
3600.05/3609.70 c #Conflicts: 1547000 | #Constraints: 232355
3600.05/3609.70 c #Conflicts: 1548000 | #Constraints: 233355
3600.05/3609.70 c #Conflicts: 1549000 | #Constraints: 234355
3600.05/3609.70 c #Conflicts: 1550000 | #Constraints: 235355
3600.05/3609.70 c #Conflicts: 1551000 | #Constraints: 236355
3600.05/3609.70 c #Conflicts: 1552000 | #Constraints: 237355
3600.05/3609.70 c #Conflicts: 1553000 | #Constraints: 238355
3600.05/3609.70 c #Conflicts: 1554000 | #Constraints: 239355
3600.05/3609.70 c #Conflicts: 1555000 | #Constraints: 240355
3600.05/3609.70 c #Conflicts: 1556000 | #Constraints: 241355
3600.05/3609.70 c #Conflicts: 1557000 | #Constraints: 242355
3600.05/3609.70 c #Conflicts: 1558000 | #Constraints: 243355
3600.05/3609.70 c #Conflicts: 1559000 | #Constraints: 244355
3600.05/3609.70 c #Conflicts: 1560000 | #Constraints: 245355
3600.05/3609.70 c #Conflicts: 1561000 | #Constraints: 246355
3600.05/3609.70 c #Conflicts: 1562000 | #Constraints: 247355
3600.05/3609.70 c #Conflicts: 1563000 | #Constraints: 248355
3600.05/3609.70 c #Conflicts: 1564000 | #Constraints: 249355
3600.05/3609.70 c #Conflicts: 1565000 | #Constraints: 250355
3600.05/3609.70 c #Conflicts: 1566000 | #Constraints: 251355
3600.05/3609.70 c #Conflicts: 1567000 | #Constraints: 252355
3600.05/3609.70 c #Conflicts: 1568000 | #Constraints: 253355
3600.05/3609.70 c #Conflicts: 1569000 | #Constraints: 254355
3600.05/3609.70 c #Conflicts: 1570000 | #Constraints: 255355
3600.05/3609.70 c cpu time 3561.87 s
3600.05/3609.70 c deterministic time 273001169410 2.73e+11
3600.05/3609.70 c optimization time 48.8925 s
3600.05/3609.70 c total solve time 3511.75 s
3600.05/3609.70 c core-guided solve time 0 s
3600.05/3609.70 c propagation time 2792.29 s
3600.05/3609.70 c conflict analysis time 214.254 s
3600.05/3609.70 c propagations 2978001368
3600.05/3609.70 c resolve steps 8864741
3600.05/3609.70 c decisions 31798164
3600.05/3609.70 c conflicts 1570581
3600.05/3609.70 c restarts 3068
3600.05/3609.70 c inprocessing phases 47
3600.05/3609.70 c garbage collections 30 ,( 63.83 )
3600.05/3609.70 c input clauses 20000 ,( 20.09 )
3600.05/3609.70 c input cardinalities 160 ,( 0.16 )
3600.05/3609.70 c input general constraints 79398 ,( 79.75 )
3600.05/3609.70 c input average constraint length 37.28
3600.05/3609.70 c input average constraint degree 510.89
3600.05/3609.70 c learned clauses 1112769 ,( 70.85 )
3600.05/3609.70 c learned cardinalities 17836 ,( 1.14 )
3600.05/3609.70 c learned general constraints 439988 ,( 28.01 )
3600.05/3609.70 c learned average constraint length 91.60
3600.05/3609.70 c learned average constraint degree 89269.32
3600.05/3609.70 c watched CF 32, 64, 128, Arb: 207285 , 0 , 0 , 0
3600.05/3609.70 c counting CF 32, 64, 128, Arb: 312101 , 0 , 0 , 0
3600.05/3609.70 c watched constraints 207285 ,( 39.91 )
3600.05/3609.70 c counting constraints 312101 ,( 60.09 )
3600.05/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 635776854 , 45032729 , 9045494432 ,( 3491459547 , 5554034885 )
3600.05/3609.70 c gcd simplifications 29403
3600.05/3609.70 c detected cardinalities 142
3600.05/3609.70 c weakened non-implied lits 31525779
3600.05/3609.70 c weakened non-implying lits 255975
3600.05/3609.70 c original variables 103760
3600.05/3609.70 c clausal propagations 104446450
3600.05/3609.70 c cardinality propagations 88948061
3600.05/3609.70 c watched propagations 1300343924
3600.05/3609.70 c counting propagations 1482201837
3600.05/3609.70 c watch lookups 105714208984
3600.05/3609.70 c watch backjump lookups 0
3600.05/3609.70 c watch checks 64021677149
3600.05/3609.70 c propagation checks 96660032950
3600.05/3609.70 c constraint additions 583474914
3600.05/3609.70 c trail pops 3011348164
3600.05/3609.70 c formula constraints 99558
3600.05/3609.70 c learned constraints 1570581
3600.05/3609.70 c bound constraints 0
3600.05/3609.70 c core-guided constraints 0
3600.05/3609.70 c encountered formula constraints 6422233
3600.05/3609.70 c encountered learned constraints 4013076
3600.05/3609.70 c encountered bound constraints 0
3600.05/3609.70 c encountered core-guided constraints 0
3600.05/3609.70 c LP total time 1108.44 s
3600.05/3609.70 c LP solve time 1105.01 s
3600.05/3609.70 c LP constraints added 99804
3600.05/3609.70 c LP constraints removed 128
3600.05/3609.70 c LP pivots internal 400077
3600.05/3609.70 c LP pivots root 227639
3600.05/3609.70 c LP calls 15
3600.05/3609.70 c LP optimalities 6
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 12
3600.05/3609.70 c LP learned cuts 234
3600.05/3609.70 c LP deleted cuts 128
3600.05/3609.70 c LP encountered Gomory constraints 13
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 0
3600.05/3609.70 c CG solutions found 0
3600.05/3609.70 c CG cores constructed 0
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 0
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 0.00
3600.05/3609.70 c CG core slack average 0.00
3600.05/3609.70 c CG core upper bound improvements 0
3600.05/3609.70 c STR number of successful calls 0
3600.05/3609.70 c STR number of unsuccessful calls 0
3600.05/3609.70 c STR number of inconclusive calls 0
3600.05/3609.70 c STR number of successful attempts 0
3600.05/3609.70 c STR number of unsuccessful attempts 0
3600.05/3609.70 c STR number of inconclusive attempts 0
3600.05/3609.70 c STR average degree increase per successful call inf
3600.05/3609.70 c STR average degree increase per successful attempt inf
3600.05/3609.70 c STR total number of conflicts for successful attempts 0
3600.05/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.70 c STR average number of conflicts per successful attempt inf
3600.05/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.70 c AVG.sumWPerc 52.31
3600.05/3609.70 c bigint constraints 0
3600.05/3609.70 s UNKNOWN
3600.05/3609.70 c Program interrupted by user.
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: 63708 MiB (57956 MiB free)
memory of node 1: 64465 MiB (56811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545116-1753208815/watcher-4545116-1753208815 -o /tmp/evaluation-result-4545116-1753208815/solver-4545116-1753208815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545116-1753208815.opb /tmp/proof-4545116-1753208815
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=151139, runsolver pid=151136
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.13 4.16 5/270 151141
/proc/meminfo: memFree=117505364/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=79456 memory=36624 CPUtime=0.08 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 4849 0 0 0 7 1 0 0 20 0 1 0 236560183 81362944 9156 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 19864 9156 1952 1147 0 7291 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83648 KiB
Current children cumulated memory: 39568 KiB
[startup+0.205219 s]*
/proc/loadavg: 4.08 4.13 4.16 5/270 151141
/proc/meminfo: memFree=117497052/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=88624 memory=44560 CPUtime=0.19 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 6860 0 0 0 16 3 0 0 20 0 1 0 236560183 90750976 11140 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 22156 11140 1952 1147 0 9583 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92816 KiB
Current children cumulated memory: 47504 KiB
[startup+0.305494 s]*
/proc/loadavg: 4.08 4.13 4.16 5/270 151141
/proc/meminfo: memFree=117487412/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=98664 memory=53600 CPUtime=0.29 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 8653 0 0 0 26 3 0 0 20 0 1 0 236560183 101031936 13400 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 24666 13400 1952 1147 0 12093 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102856 KiB
Current children cumulated memory: 56544 KiB
[startup+0.700176 s]
/proc/loadavg: 4.08 4.13 4.16 5/270 151141
/proc/meminfo: memFree=117471220/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=142796 memory=90120 CPUtime=0.68 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 15399 0 0 0 61 7 0 0 20 0 1 0 236560183 146223104 22530 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 35699 22530 1952 1147 0 23126 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146988 KiB
Current children cumulated memory: 93064 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.13 4.16 5/270 151141
/proc/meminfo: memFree=117427180/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=458396 memory=380336 CPUtime=1.47 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 48550 0 0 0 126 21 0 0 20 0 1 0 236560183 469397504 95084 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 114599 95084 2240 1147 0 102026 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 462588 KiB
Current children cumulated memory: 383280 KiB
[startup+3.10548 s]
/proc/loadavg: 4.16 4.14 4.16 5/270 151141
/proc/meminfo: memFree=117016724/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=496812 memory=419756 CPUtime=3.08 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 57202 0 0 0 275 33 0 0 20 0 1 0 236560183 508735488 104939 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 124203 104939 2304 1147 0 111630 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 501004 KiB
Current children cumulated memory: 422700 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.14 4.16 5/270 151141
/proc/meminfo: memFree=116994296/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=496812 memory=422112 CPUtime=6.26 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 57293 0 0 0 584 42 0 0 20 0 1 0 236560183 508735488 105528 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 124203 105528 2304 1147 0 111630 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 501004 KiB
Current children cumulated memory: 425056 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.16 5/270 151141
/proc/meminfo: memFree=116969696/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=519152 memory=448308 CPUtime=12.64 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 61440 0 0 0 1205 59 0 0 20 0 1 0 236560183 531611648 112077 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 129788 112077 2304 1147 0 117215 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 523344 KiB
Current children cumulated memory: 451252 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.16 5/270 151141
/proc/meminfo: memFree=116933220/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=529308 memory=463072 CPUtime=25.41 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 64626 0 0 0 2461 80 0 0 20 0 1 0 236560183 542011392 115768 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 132327 115768 2304 1147 0 119754 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 533500 KiB
Current children cumulated memory: 466016 KiB
[startup+51.1056 s]
/proc/loadavg: 4.23 4.16 4.17 5/270 151142
/proc/meminfo: memFree=116868432/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=529308 memory=467420 CPUtime=50.93 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 64690 0 0 0 4947 146 0 0 20 0 1 0 236560183 542011392 116855 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 132327 116855 2304 1147 0 119754 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 533500 KiB
Current children cumulated memory: 470364 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 4.08 4.14 4/262 151178
/proc/meminfo: memFree=120589736/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=549772 memory=489984 CPUtime=101.98 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 67339 0 0 0 9998 200 0 0 20 0 1 0 236560183 562966528 122496 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 137443 122496 2304 1147 0 124870 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 553964 KiB
Current children cumulated memory: 492928 KiB
[startup+162.3 s]
/proc/loadavg: 3.32 3.88 4.07 4/262 151180
/proc/meminfo: memFree=120451792/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=555716 memory=496148 CPUtime=161.81 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 67946 0 0 0 15896 285 0 0 20 0 1 0 236560183 569053184 124037 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 138929 124037 2304 1147 0 126356 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 559908 KiB
Current children cumulated memory: 499092 KiB
[startup+222.3 s]
/proc/loadavg: 3.22 3.75 4.01 4/261 151182
/proc/meminfo: memFree=120329320/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=591072 memory=504208 CPUtime=221.65 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 69446 0 0 0 21797 368 0 0 20 0 1 0 236560183 605257728 126052 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
################
# More data... #
################
/proc/151141/statm: 205805 177509 2336 1147 0 193232 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 712980 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.38 2.78 3/253 151357
/proc/meminfo: memFree=116872736/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=710036 CPUtime=3153.68 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94505 0 0 0 311862 3506 0 0 20 0 1 0 236560183 842977280 177509 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 177509 2336 1147 0 193232 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 712980 KiB
[startup+3222.3 s]
/proc/loadavg: 1.52 2.17 2.68 2/246 151389
/proc/meminfo: memFree=121959712/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=710036 CPUtime=3213.55 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94505 0 0 0 317837 3518 0 0 20 0 1 0 236560183 842977280 177509 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 177509 2336 1147 0 193232 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 712980 KiB
[startup+3282.3 s]
/proc/loadavg: 1.29 1.98 2.58 2/245 151391
/proc/meminfo: memFree=121960200/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=710036 CPUtime=3273.42 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94505 0 0 0 323811 3531 0 0 20 0 1 0 236560183 842977280 177509 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 177509 2336 1147 0 193232 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 712980 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.82 2.49 2/245 151393
/proc/meminfo: memFree=121960244/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=710036 CPUtime=3333.29 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94505 0 0 0 329787 3542 0 0 20 0 1 0 236560183 842977280 177509 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 177509 2336 1147 0 193232 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 712980 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.68 2.39 2/245 151395
/proc/meminfo: memFree=121943108/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=710164 CPUtime=3393.15 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94652 0 0 0 335737 3578 0 0 20 0 1 0 236560183 842977280 177541 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 177541 2336 1147 0 193232 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 713108 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.57 2.31 2/245 151397
/proc/meminfo: memFree=121891348/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=717264 CPUtime=3453.01 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94949 0 0 0 341640 3661 0 0 20 0 1 0 236560183 842977280 179316 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 179316 2336 1147 0 193232 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 720208 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.48 2.23 2/245 151400
/proc/meminfo: memFree=121850368/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=717264 CPUtime=3512.85 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94976 0 0 0 347563 3722 0 0 20 0 1 0 236560183 842977280 179316 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 179316 2336 1147 0 193232 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 720208 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.42 2.16 2/246 151409
/proc/meminfo: memFree=121817744/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=721360 CPUtime=3572.72 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94978 0 0 0 353484 3788 0 0 20 0 1 0 236560183 842977280 180340 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 180340 2336 1147 0 193232 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 724304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.09 1.38 2.13 2/246 151411
/proc/meminfo: memFree=121793584/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=721360 CPUtime=3600.05 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94978 0 0 0 356187 3818 0 0 20 0 1 0 236560183 842977280 180340 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 180340 2336 1147 0 193232 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 724304 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 151139 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001927 s
Sleeping 2 seconds
[startup+3609.75 s]
# the end of solver process 151141 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.92 s, system=38.1967 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 1.09 1.38 2.13 2/246 151411
/proc/meminfo: memFree=121793584/131250000 swapFree=33010672/33010684
[pid=151139] ppid=151136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/151139/stat : 151139 (run-dec-log.sh) S 151136 151139 149629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236560183 4292608 736 18446744073709551615 94626398183424 94626399077957 140737338492928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94626399317008 94626399364752 94626411544576 140737338497349 140737338497506 140737338497506 140737338503110 0
/proc/151139/statm: 1048 736 672 219 0 110 0
[pid=151141] ppid=151139 vsize=823220 memory=721360 CPUtime=3600.05 cores=0,2
/proc/151141/stat : 151141 (roundingsat) R 151139 151139 149629 0 -1 4194304 94978 0 0 0 356187 3818 0 0 20 0 1 0 236560183 842977280 180340 18446744073709551615 4227072 8923433 140721258256160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16756736 140721258260875 140721258261030 140721258261030 140721258266602 0
/proc/151141/statm: 205805 180340 2336 1147 0 193232 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 827412 KiB
Current children cumulated memory: 724304 KiB
Child status: 2
Real time (s): 3609.75
CPU time (s): 3600.12
CPU user time (s): 3561.92
CPU system time (s): 38.1967
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 923060
Max. memory (cumulated for all children) (KiB): 847924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.92
system time used= 38.1967
maximum resident set size= 847416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4477600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267
involuntary context switches= 8056
# summary of solver processes directly reported to runsolver:
# pid: 151139,151141
# total CPU time (s): 3600.12
# total CPU user time (s): 3561.92
# total CPU system time (s): 38.1967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22171 second user time and 15.7068 second system time
The end
Begin job on nodeC026 at 2025-07-22 20:26:55
IDJOB=4545116
IDBENCH=180714
IDSOLVER=3352
FILE ID=nodeC026/4545116-1753208815
RUNJOBID= nodeC026-1753198973-149646
SLURM_JOB_ID= 9687759
Free space on /tmp= 431820 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545116-1753208815/watcher-4545116-1753208815 -o /tmp/evaluation-result-4545116-1753208815/solver-4545116-1753208815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545116-1753208815.opb /tmp/proof-4545116-1753208815
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=1385049241
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3601.634
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.781
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.806
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.051
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.791
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.781
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.451
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3600.818
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117522296 kB
MemAvailable: 123305576 kB
Buffers: 2128 kB
Cached: 6409316 kB
SwapCached: 4 kB
Active: 7407708 kB
Inactive: 5266824 kB
Active(anon): 6284368 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 5261480 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69048 kB
Writeback: 0 kB
AnonPages: 6259292 kB
Mapped: 122284 kB
Shmem: 26268 kB
KReclaimable: 459260 kB
Slab: 563512 kB
SReclaimable: 459260 kB
SUnreclaim: 104252 kB
KernelStack: 4352 kB
PageTables: 15612 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7320132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4915200 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430804 MiB
End job on nodeC026 at 2025-07-22 21:27:05