0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 601 #constraints 602
0.00/0.02 c rational objective 300.5
0.08/0.19 c #Conflicts: 1000 | #Constraints: 1608
0.08/0.19 c #Conflicts: 2000 | #Constraints: 2610
0.08/0.19 c INPROCESSING
0.08/0.19 c GARBAGE COLLECT
0.08/0.19 c #Conflicts: 3000 | #Constraints: 2643
0.08/0.19 c #Conflicts: 4000 | #Constraints: 3643
0.08/0.19 c INPROCESSING
0.08/0.19 c GARBAGE COLLECT
0.08/0.19 c #Conflicts: 5000 | #Constraints: 3062
0.08/0.19 c #Conflicts: 6000 | #Constraints: 4063
0.08/0.19 c INPROCESSING
0.08/0.19 c GARBAGE COLLECT
0.08/0.19 c rational objective 300.5
0.19/0.26 c #Conflicts: 7000 | #Constraints: 3078
0.19/0.26 c #Conflicts: 8000 | #Constraints: 4079
0.19/0.26 c #Conflicts: 9000 | #Constraints: 5080
0.19/0.26 c INPROCESSING
0.19/0.26 c GARBAGE COLLECT
0.19/0.26 c rational objective 300.5
0.29/0.35 c #Conflicts: 10000 | #Constraints: 3787
0.29/0.35 c #Conflicts: 11000 | #Constraints: 4787
0.29/0.35 c #Conflicts: 12000 | #Constraints: 5787
0.29/0.35 c INPROCESSING
0.29/0.35 c GARBAGE COLLECT
0.29/0.35 c rational objective 300.5
0.38/0.46 c #Conflicts: 13000 | #Constraints: 4239
0.38/0.46 c #Conflicts: 14000 | #Constraints: 5239
0.38/0.46 c #Conflicts: 15000 | #Constraints: 6239
0.38/0.46 c INPROCESSING
0.38/0.46 c GARBAGE COLLECT
0.38/0.46 c rational objective 300.5
0.49/0.56 c #Conflicts: 16000 | #Constraints: 4466
0.49/0.56 c #Conflicts: 17000 | #Constraints: 5466
0.49/0.56 c #Conflicts: 18000 | #Constraints: 6466
0.49/0.56 c INPROCESSING
0.49/0.56 c GARBAGE COLLECT
0.49/0.56 c rational objective 300.5
0.59/0.68 c #Conflicts: 19000 | #Constraints: 4485
0.59/0.68 c #Conflicts: 20000 | #Constraints: 5485
0.59/0.68 c #Conflicts: 21000 | #Constraints: 6485
0.59/0.68 c INPROCESSING
0.59/0.68 c GARBAGE COLLECT
0.59/0.68 c rational objective 300.5
0.78/0.80 c #Conflicts: 22000 | #Constraints: 4289
0.78/0.80 c #Conflicts: 23000 | #Constraints: 5289
0.78/0.80 c #Conflicts: 24000 | #Constraints: 6289
0.78/0.80 c #Conflicts: 25000 | #Constraints: 7289
0.78/0.80 c INPROCESSING
0.78/0.80 c GARBAGE COLLECT
0.78/0.80 c rational objective 300.5
0.87/0.94 c #Conflicts: 26000 | #Constraints: 4891
0.87/0.94 c #Conflicts: 27000 | #Constraints: 5891
0.87/0.94 c #Conflicts: 28000 | #Constraints: 6891
0.87/0.94 c #Conflicts: 29000 | #Constraints: 7891
0.87/0.94 c INPROCESSING
0.87/0.94 c GARBAGE COLLECT
0.87/0.94 c rational objective 300.5
0.98/1.08 c #Conflicts: 30000 | #Constraints: 5294
0.98/1.08 c #Conflicts: 31000 | #Constraints: 6294
0.98/1.08 c #Conflicts: 32000 | #Constraints: 7295
0.98/1.08 c #Conflicts: 33000 | #Constraints: 8295
0.98/1.08 c INPROCESSING
0.98/1.08 c GARBAGE COLLECT
0.98/1.08 c rational objective 300.5
1.18/1.23 c #Conflicts: 34000 | #Constraints: 5499
1.18/1.23 c #Conflicts: 35000 | #Constraints: 6499
1.18/1.23 c #Conflicts: 36000 | #Constraints: 7499
1.18/1.23 c #Conflicts: 37000 | #Constraints: 8500
1.18/1.23 c INPROCESSING
1.18/1.23 c GARBAGE COLLECT
1.18/1.23 c rational objective 300.5
1.28/1.39 c #Conflicts: 38000 | #Constraints: 5507
1.28/1.39 c #Conflicts: 39000 | #Constraints: 6507
1.28/1.39 c #Conflicts: 40000 | #Constraints: 7507
1.28/1.39 c #Conflicts: 41000 | #Constraints: 8507
1.28/1.39 c INPROCESSING
1.28/1.39 c GARBAGE COLLECT
1.28/1.39 c rational objective 300.5
1.48/1.58 c #Conflicts: 42000 | #Constraints: 5308
1.48/1.58 c #Conflicts: 43000 | #Constraints: 6309
1.48/1.58 c #Conflicts: 44000 | #Constraints: 7309
1.48/1.58 c #Conflicts: 45000 | #Constraints: 8309
1.48/1.58 c #Conflicts: 46000 | #Constraints: 9309
1.48/1.58 c INPROCESSING
1.48/1.58 c GARBAGE COLLECT
1.48/1.58 c rational objective 300.5
1.68/1.75 c #Conflicts: 47000 | #Constraints: 5896
1.68/1.75 c #Conflicts: 48000 | #Constraints: 6896
1.68/1.75 c #Conflicts: 49000 | #Constraints: 7896
1.68/1.75 c #Conflicts: 50000 | #Constraints: 8896
1.68/1.75 c #Conflicts: 51000 | #Constraints: 9896
1.68/1.75 c INPROCESSING
1.68/1.75 c GARBAGE COLLECT
1.68/1.75 c rational objective 300.5
1.87/1.93 c #Conflicts: 52000 | #Constraints: 6295
1.87/1.93 c #Conflicts: 53000 | #Constraints: 7295
1.87/1.93 c #Conflicts: 54000 | #Constraints: 8295
1.87/1.93 c #Conflicts: 55000 | #Constraints: 9295
1.87/1.93 c #Conflicts: 56000 | #Constraints: 10295
1.87/1.93 c INPROCESSING
1.87/1.93 c GARBAGE COLLECT
1.87/1.93 c rational objective 300.5
2.08/2.13 c #Conflicts: 57000 | #Constraints: 6491
2.08/2.13 c #Conflicts: 58000 | #Constraints: 7491
2.08/2.13 c #Conflicts: 59000 | #Constraints: 8491
2.08/2.13 c #Conflicts: 60000 | #Constraints: 9491
2.08/2.13 c #Conflicts: 61000 | #Constraints: 10491
2.08/2.13 c INPROCESSING
2.08/2.13 c GARBAGE COLLECT
2.08/2.13 c rational objective 300.5
2.28/2.33 c #Conflicts: 62000 | #Constraints: 6498
2.28/2.33 c #Conflicts: 63000 | #Constraints: 7498
2.28/2.33 c #Conflicts: 64000 | #Constraints: 8498
2.28/2.33 c #Conflicts: 65000 | #Constraints: 9498
2.28/2.33 c #Conflicts: 66000 | #Constraints: 10498
2.28/2.33 c INPROCESSING
2.28/2.33 c GARBAGE COLLECT
2.28/2.33 c rational objective 300.5
2.47/2.54 c #Conflicts: 67000 | #Constraints: 6303
2.47/2.54 c #Conflicts: 68000 | #Constraints: 7303
2.47/2.54 c #Conflicts: 69000 | #Constraints: 8303
2.47/2.54 c #Conflicts: 70000 | #Constraints: 9303
2.47/2.54 c #Conflicts: 71000 | #Constraints: 10303
2.47/2.54 c #Conflicts: 72000 | #Constraints: 11303
2.47/2.54 c INPROCESSING
2.47/2.54 c GARBAGE COLLECT
2.47/2.54 c rational objective 300.5
2.67/2.75 c #Conflicts: 73000 | #Constraints: 6900
2.67/2.75 c #Conflicts: 74000 | #Constraints: 7900
2.67/2.75 c #Conflicts: 75000 | #Constraints: 8900
2.67/2.75 c #Conflicts: 76000 | #Constraints: 9900
2.67/2.75 c #Conflicts: 77000 | #Constraints: 10900
2.67/2.75 c #Conflicts: 78000 | #Constraints: 11900
2.67/2.75 c INPROCESSING
2.67/2.75 c GARBAGE COLLECT
2.67/2.75 c rational objective 300.5
2.87/2.99 c #Conflicts: 79000 | #Constraints: 7309
2.87/2.99 c #Conflicts: 80000 | #Constraints: 8309
2.87/2.99 c #Conflicts: 81000 | #Constraints: 9309
2.87/2.99 c #Conflicts: 82000 | #Constraints: 10309
2.87/2.99 c #Conflicts: 83000 | #Constraints: 11309
2.87/2.99 c #Conflicts: 84000 | #Constraints: 12309
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c rational objective 300.5
3.17/3.22 c #Conflicts: 85000 | #Constraints: 7502
3.17/3.22 c #Conflicts: 86000 | #Constraints: 8502
3.17/3.22 c #Conflicts: 87000 | #Constraints: 9502
3.17/3.22 c #Conflicts: 88000 | #Constraints: 10502
3.17/3.22 c #Conflicts: 89000 | #Constraints: 11502
3.17/3.22 c #Conflicts: 90000 | #Constraints: 12502
3.17/3.22 c INPROCESSING
3.17/3.22 c GARBAGE COLLECT
3.17/3.22 c rational objective 300.5
3.47/3.53 c #Conflicts: 91000 | #Constraints: 7503
3.47/3.53 c #Conflicts: 92000 | #Constraints: 8503
3.47/3.53 c #Conflicts: 93000 | #Constraints: 9503
3.47/3.53 c #Conflicts: 94000 | #Constraints: 10503
3.47/3.53 c #Conflicts: 95000 | #Constraints: 11503
3.47/3.53 c #Conflicts: 96000 | #Constraints: 12504
3.47/3.53 c INPROCESSING
3.47/3.53 c GARBAGE COLLECT
3.47/3.53 c rational objective 300.5
3.67/3.77 c #Conflicts: 97000 | #Constraints: 7305
3.67/3.77 c #Conflicts: 98000 | #Constraints: 8305
3.67/3.77 c #Conflicts: 99000 | #Constraints: 9305
3.67/3.77 c #Conflicts: 100000 | #Constraints: 10305
3.67/3.77 c #Conflicts: 101000 | #Constraints: 11305
3.67/3.77 c #Conflicts: 102000 | #Constraints: 12305
3.67/3.77 c #Conflicts: 103000 | #Constraints: 13306
3.67/3.77 c INPROCESSING
3.67/3.77 c GARBAGE COLLECT
3.67/3.77 c rational objective 300.5
3.98/4.02 c #Conflicts: 104000 | #Constraints: 7908
3.98/4.02 c #Conflicts: 105000 | #Constraints: 8908
3.98/4.02 c #Conflicts: 106000 | #Constraints: 9908
3.98/4.02 c #Conflicts: 107000 | #Constraints: 10908
3.98/4.02 c #Conflicts: 108000 | #Constraints: 11908
3.98/4.02 c #Conflicts: 109000 | #Constraints: 12908
3.98/4.02 c #Conflicts: 110000 | #Constraints: 13908
3.98/4.02 c INPROCESSING
3.98/4.02 c GARBAGE COLLECT
3.98/4.02 c rational objective 300.5
4.17/4.29 c #Conflicts: 111000 | #Constraints: 8310
4.17/4.29 c #Conflicts: 112000 | #Constraints: 9310
4.17/4.29 c #Conflicts: 113000 | #Constraints: 10310
4.17/4.29 c #Conflicts: 114000 | #Constraints: 11310
4.17/4.29 c #Conflicts: 115000 | #Constraints: 12310
4.17/4.29 c #Conflicts: 116000 | #Constraints: 13310
4.17/4.29 c #Conflicts: 117000 | #Constraints: 14310
4.17/4.29 c INPROCESSING
4.17/4.29 c GARBAGE COLLECT
4.17/4.29 c rational objective 300.5
4.47/4.56 c #Conflicts: 118000 | #Constraints: 8501
4.47/4.56 c #Conflicts: 119000 | #Constraints: 9501
4.47/4.56 c #Conflicts: 120000 | #Constraints: 10501
4.47/4.56 c #Conflicts: 121000 | #Constraints: 11501
4.47/4.56 c #Conflicts: 122000 | #Constraints: 12501
4.47/4.56 c #Conflicts: 123000 | #Constraints: 13501
4.47/4.56 c #Conflicts: 124000 | #Constraints: 14501
4.47/4.56 c INPROCESSING
4.47/4.56 c GARBAGE COLLECT
4.47/4.56 c rational objective 300.5
4.77/4.84 c #Conflicts: 125000 | #Constraints: 8495
4.77/4.84 c #Conflicts: 126000 | #Constraints: 9495
4.77/4.84 c #Conflicts: 127000 | #Constraints: 10495
4.77/4.84 c #Conflicts: 128000 | #Constraints: 11496
4.77/4.84 c #Conflicts: 129000 | #Constraints: 12496
4.77/4.84 c #Conflicts: 130000 | #Constraints: 13496
4.77/4.84 c #Conflicts: 131000 | #Constraints: 14496
4.77/4.84 c INPROCESSING
4.77/4.84 c GARBAGE COLLECT
4.77/4.84 c rational objective 300.5
5.07/5.12 c #Conflicts: 132000 | #Constraints: 8299
5.07/5.12 c #Conflicts: 133000 | #Constraints: 9299
5.07/5.12 c #Conflicts: 134000 | #Constraints: 10299
5.07/5.12 c #Conflicts: 135000 | #Constraints: 11299
5.07/5.12 c #Conflicts: 136000 | #Constraints: 12299
5.07/5.12 c #Conflicts: 137000 | #Constraints: 13299
5.07/5.12 c #Conflicts: 138000 | #Constraints: 14299
5.07/5.12 c #Conflicts: 139000 | #Constraints: 15299
5.07/5.12 c INPROCESSING
5.07/5.12 c GARBAGE COLLECT
5.07/5.12 c rational objective 300.5
5.36/5.40 c #Conflicts: 140000 | #Constraints: 8901
5.36/5.40 c #Conflicts: 141000 | #Constraints: 9901
5.36/5.40 c #Conflicts: 142000 | #Constraints: 10901
5.36/5.40 c #Conflicts: 143000 | #Constraints: 11901
5.36/5.40 c #Conflicts: 144000 | #Constraints: 12901
5.36/5.40 c #Conflicts: 145000 | #Constraints: 13901
5.36/5.40 c #Conflicts: 146000 | #Constraints: 14901
5.36/5.40 c #Conflicts: 147000 | #Constraints: 15901
5.36/5.40 c INPROCESSING
5.36/5.40 c GARBAGE COLLECT
5.36/5.40 c rational objective 300.5
5.66/5.70 c #Conflicts: 148000 | #Constraints: 9306
5.66/5.70 c #Conflicts: 149000 | #Constraints: 10306
5.66/5.70 c #Conflicts: 150000 | #Constraints: 11306
5.66/5.70 c #Conflicts: 151000 | #Constraints: 12306
5.66/5.70 c #Conflicts: 152000 | #Constraints: 13306
5.66/5.70 c #Conflicts: 153000 | #Constraints: 14306
5.66/5.70 c #Conflicts: 154000 | #Constraints: 15306
5.66/5.70 c #Conflicts: 155000 | #Constraints: 16306
5.66/5.70 c INPROCESSING
5.66/5.70 c GARBAGE COLLECT
5.66/5.70 c rational objective 300.5
5.87/5.99 c #Conflicts: 156000 | #Constraints: 9506
5.87/5.99 c #Conflicts: 157000 | #Constraints: 10506
5.87/5.99 c #Conflicts: 158000 | #Constraints: 11506
5.87/5.99 c #Conflicts: 159000 | #Constraints: 12506
5.87/5.99 c #Conflicts: 160000 | #Constraints: 13506
5.87/5.99 c #Conflicts: 161000 | #Constraints: 14506
5.87/5.99 c #Conflicts: 162000 | #Constraints: 15506
5.87/5.99 c #Conflicts: 163000 | #Constraints: 16506
5.87/5.99 c INPROCESSING
5.87/5.99 c GARBAGE COLLECT
5.87/5.99 c rational objective 300.5
6.16/6.29 c #Conflicts: 164000 | #Constraints: 9514
6.16/6.29 c #Conflicts: 165000 | #Constraints: 10514
6.16/6.29 c #Conflicts: 166000 | #Constraints: 11514
6.16/6.29 c #Conflicts: 167000 | #Constraints: 12514
6.16/6.29 c #Conflicts: 168000 | #Constraints: 13514
6.16/6.29 c #Conflicts: 169000 | #Constraints: 14514
6.16/6.29 c #Conflicts: 170000 | #Constraints: 15514
6.16/6.29 c #Conflicts: 171000 | #Constraints: 16514
6.16/6.29 c INPROCESSING
6.16/6.29 c GARBAGE COLLECT
6.16/6.29 c rational objective 300.5
6.56/6.60 c #Conflicts: 172000 | #Constraints: 9302
6.56/6.60 c #Conflicts: 173000 | #Constraints: 10302
6.56/6.60 c #Conflicts: 174000 | #Constraints: 11302
6.56/6.60 c #Conflicts: 175000 | #Constraints: 12302
6.56/6.60 c #Conflicts: 176000 | #Constraints: 13302
6.56/6.60 c #Conflicts: 177000 | #Constraints: 14302
6.56/6.60 c #Conflicts: 178000 | #Constraints: 15302
6.56/6.60 c #Conflicts: 179000 | #Constraints: 16302
6.56/6.60 c #Conflicts: 180000 | #Constraints: 17302
6.56/6.60 c INPROCESSING
6.56/6.60 c GARBAGE COLLECT
6.56/6.60 c rational objective 300.5
6.86/6.94 c #Conflicts: 181000 | #Constraints: 9903
6.86/6.94 c #Conflicts: 182000 | #Constraints: 10903
6.86/6.94 c #Conflicts: 183000 | #Constraints: 11903
6.86/6.94 c #Conflicts: 184000 | #Constraints: 12903
6.86/6.94 c #Conflicts: 185000 | #Constraints: 13903
6.86/6.94 c #Conflicts: 186000 | #Constraints: 14903
6.86/6.94 c #Conflicts: 187000 | #Constraints: 15903
6.86/6.94 c #Conflicts: 188000 | #Constraints: 16903
6.86/6.94 c #Conflicts: 189000 | #Constraints: 17903
6.86/6.94 c INPROCESSING
6.86/6.94 c GARBAGE COLLECT
6.86/6.94 c rational objective 300.5
7.16/7.28 c #Conflicts: 190000 | #Constraints: 10307
7.16/7.28 c #Conflicts: 191000 | #Constraints: 11307
7.16/7.28 c #Conflicts: 192000 | #Constraints: 12307
7.16/7.28 c #Conflicts: 193000 | #Constraints: 13307
7.16/7.28 c #Conflicts: 194000 | #Constraints: 14307
7.16/7.28 c #Conflicts: 195000 | #Constraints: 15307
7.16/7.28 c #Conflicts: 196000 | #Constraints: 16307
7.16/7.28 c #Conflicts: 197000 | #Constraints: 17307
7.16/7.28 c #Conflicts: 198000 | #Constraints: 18307
7.16/7.28 c INPROCESSING
7.16/7.28 c GARBAGE COLLECT
7.16/7.28 c rational objective 300.5
7.66/7.72 c #Conflicts: 199000 | #Constraints: 10508
7.66/7.72 c #Conflicts: 200000 | #Constraints: 11508
7.66/7.72 c #Conflicts: 201000 | #Constraints: 12508
7.66/7.72 c #Conflicts: 202000 | #Constraints: 13508
7.66/7.72 c #Conflicts: 203000 | #Constraints: 14508
7.66/7.72 c #Conflicts: 204000 | #Constraints: 15508
7.66/7.72 c #Conflicts: 205000 | #Constraints: 16508
7.66/7.72 c #Conflicts: 206000 | #Constraints: 17508
7.66/7.72 c #Conflicts: 207000 | #Constraints: 18508
7.66/7.72 c INPROCESSING
7.66/7.72 c GARBAGE COLLECT
7.66/7.72 c rational objective 300.5
8.16/8.23 c #Conflicts: 208000 | #Constraints: 10505
8.16/8.23 c #Conflicts: 209000 | #Constraints: 11505
8.16/8.23 c #Conflicts: 210000 | #Constraints: 12505
8.16/8.23 c #Conflicts: 211000 | #Constraints: 13505
8.16/8.23 c #Conflicts: 212000 | #Constraints: 14505
8.16/8.23 c #Conflicts: 213000 | #Constraints: 15505
8.16/8.23 c #Conflicts: 214000 | #Constraints: 16505
8.16/8.23 c #Conflicts: 215000 | #Constraints: 17505
8.16/8.23 c #Conflicts: 216000 | #Constraints: 18505
8.16/8.23 c INPROCESSING
8.16/8.23 c GARBAGE COLLECT
8.16/8.23 c rational objective 300.5
8.56/8.62 c #Conflicts: 217000 | #Constraints: 10303
8.56/8.62 c #Conflicts: 218000 | #Constraints: 11303
8.56/8.62 c #Conflicts: 219000 | #Constraints: 12303
8.56/8.62 c #Conflicts: 220000 | #Constraints: 13303
8.56/8.62 c #Conflicts: 221000 | #Constraints: 14303
8.56/8.62 c #Conflicts: 222000 | #Constraints: 15303
8.56/8.62 c #Conflicts: 223000 | #Constraints: 16303
8.56/8.62 c #Conflicts: 224000 | #Constraints: 17303
8.56/8.62 c #Conflicts: 225000 | #Constraints: 18303
8.56/8.62 c #Conflicts: 226000 | #Constraints: 19303
8.56/8.62 c INPROCESSING
8.56/8.62 c GARBAGE COLLECT
8.56/8.62 c rational objective 300.5
8.97/9.02 c #Conflicts: 227000 | #Constraints: 10904
8.97/9.02 c #Conflicts: 228000 | #Constraints: 11904
8.97/9.02 c #Conflicts: 229000 | #Constraints: 12904
8.97/9.02 c #Conflicts: 230000 | #Constraints: 13904
8.97/9.02 c #Conflicts: 231000 | #Constraints: 14904
8.97/9.02 c #Conflicts: 232000 | #Constraints: 15904
8.97/9.02 c #Conflicts: 233000 | #Constraints: 16904
8.97/9.02 c #Conflicts: 234000 | #Constraints: 17904
8.97/9.02 c #Conflicts: 235000 | #Constraints: 18904
8.97/9.02 c #Conflicts: 236000 | #Constraints: 19904
8.97/9.02 c INPROCESSING
8.97/9.02 c GARBAGE COLLECT
8.97/9.02 c rational objective 300.5
9.35/9.44 c #Conflicts: 237000 | #Constraints: 11300
9.35/9.44 c #Conflicts: 238000 | #Constraints: 12300
9.35/9.44 c #Conflicts: 239000 | #Constraints: 13300
9.35/9.44 c #Conflicts: 240000 | #Constraints: 14300
9.35/9.44 c #Conflicts: 241000 | #Constraints: 15300
9.35/9.44 c #Conflicts: 242000 | #Constraints: 16300
9.35/9.44 c #Conflicts: 243000 | #Constraints: 17300
9.35/9.44 c #Conflicts: 244000 | #Constraints: 18300
9.35/9.44 c #Conflicts: 245000 | #Constraints: 19300
9.35/9.44 c #Conflicts: 246000 | #Constraints: 20300
9.35/9.44 c INPROCESSING
9.35/9.44 c GARBAGE COLLECT
9.35/9.44 c rational objective 300.5
9.85/9.90 c #Conflicts: 247000 | #Constraints: 11511
9.85/9.90 c #Conflicts: 248000 | #Constraints: 12511
9.85/9.90 c #Conflicts: 249000 | #Constraints: 13511
9.85/9.90 c #Conflicts: 250000 | #Constraints: 14511
9.85/9.90 c #Conflicts: 251000 | #Constraints: 15511
9.85/9.90 c #Conflicts: 252000 | #Constraints: 16511
9.85/9.90 c #Conflicts: 253000 | #Constraints: 17511
9.85/9.90 c #Conflicts: 254000 | #Constraints: 18512
9.85/9.90 c #Conflicts: 255000 | #Constraints: 19512
9.85/9.90 c #Conflicts: 256000 | #Constraints: 20512
9.85/9.90 c INPROCESSING
9.85/9.90 c GARBAGE COLLECT
9.85/9.90 c rational objective 300.5
10.25/10.32 c #Conflicts: 257000 | #Constraints: 11509
10.25/10.32 c #Conflicts: 258000 | #Constraints: 12509
10.25/10.32 c #Conflicts: 259000 | #Constraints: 13509
10.25/10.32 c #Conflicts: 260000 | #Constraints: 14509
10.25/10.32 c #Conflicts: 261000 | #Constraints: 15509
10.25/10.32 c #Conflicts: 262000 | #Constraints: 16509
10.25/10.32 c #Conflicts: 263000 | #Constraints: 17509
10.25/10.32 c #Conflicts: 264000 | #Constraints: 18509
10.25/10.32 c #Conflicts: 265000 | #Constraints: 19509
10.25/10.32 c #Conflicts: 266000 | #Constraints: 20509
10.25/10.32 c INPROCESSING
10.25/10.32 c GARBAGE COLLECT
10.25/10.32 c rational objective 300.5
10.65/10.71 c #Conflicts: 267000 | #Constraints: 11310
10.65/10.71 c #Conflicts: 268000 | #Constraints: 12310
10.65/10.71 c #Conflicts: 269000 | #Constraints: 13310
10.65/10.71 c #Conflicts: 270000 | #Constraints: 14310
10.65/10.71 c #Conflicts: 271000 | #Constraints: 15310
10.65/10.71 c #Conflicts: 272000 | #Constraints: 16310
10.65/10.71 c #Conflicts: 273000 | #Constraints: 17310
10.65/10.71 c #Conflicts: 274000 | #Constraints: 18310
10.65/10.71 c #Conflicts: 275000 | #Constraints: 19311
10.65/10.71 c #Conflicts: 276000 | #Constraints: 20311
10.65/10.71 c #Conflicts: 277000 | #Constraints: 21311
10.65/10.71 c INPROCESSING
10.65/10.71 c GARBAGE COLLECT
10.65/10.71 c rational objective 300.5
11.05/11.18 c #Conflicts: 278000 | #Constraints: 11907
11.05/11.18 c #Conflicts: 279000 | #Constraints: 12907
11.05/11.18 c #Conflicts: 280000 | #Constraints: 13907
11.05/11.18 c #Conflicts: 281000 | #Constraints: 14907
11.05/11.18 c #Conflicts: 282000 | #Constraints: 15907
11.05/11.18 c #Conflicts: 283000 | #Constraints: 16907
11.05/11.18 c #Conflicts: 284000 | #Constraints: 17907
11.05/11.18 c #Conflicts: 285000 | #Constraints: 18907
11.05/11.18 c #Conflicts: 286000 | #Constraints: 19907
11.05/11.18 c #Conflicts: 287000 | #Constraints: 20907
11.05/11.18 c #Conflicts: 288000 | #Constraints: 21907
11.05/11.18 c INPROCESSING
11.05/11.18 c GARBAGE COLLECT
11.05/11.18 c rational objective 300.5
11.55/11.62 c #Conflicts: 289000 | #Constraints: 12308
11.55/11.62 c #Conflicts: 290000 | #Constraints: 13308
11.55/11.62 c #Conflicts: 291000 | #Constraints: 14308
11.55/11.62 c #Conflicts: 292000 | #Constraints: 15308
11.55/11.62 c #Conflicts: 293000 | #Constraints: 16308
11.55/11.62 c #Conflicts: 294000 | #Constraints: 17308
11.55/11.62 c #Conflicts: 295000 | #Constraints: 18308
11.55/11.62 c #Conflicts: 296000 | #Constraints: 19308
11.55/11.62 c #Conflicts: 297000 | #Constraints: 20308
11.55/11.62 c #Conflicts: 298000 | #Constraints: 21308
11.55/11.62 c #Conflicts: 299000 | #Constraints: 22308
11.55/11.62 c INPROCESSING
11.55/11.62 c GARBAGE COLLECT
11.55/11.62 c rational objective 300.5
11.95/12.10 c #Conflicts: 300000 | #Constraints: 12512
11.95/12.10 c #Conflicts: 301000 | #Constraints: 13512
11.95/12.10 c #Conflicts: 302000 | #Constraints: 14512
11.95/12.10 c #Conflicts: 303000 | #Constraints: 15512
11.95/12.10 c #Conflicts: 304000 | #Constraints: 16512
11.95/12.10 c #Conflicts: 305000 | #Constraints: 17512
11.95/12.10 c #Conflicts: 306000 | #Constraints: 18512
11.95/12.10 c #Conflicts: 307000 | #Constraints: 19512
11.95/12.10 c #Conflicts: 308000 | #Constraints: 20512
11.95/12.10 c #Conflicts: 309000 | #Constraints: 21512
11.95/12.10 c #Conflicts: 310000 | #Constraints: 22512
11.95/12.10 c INPROCESSING
11.95/12.10 c GARBAGE COLLECT
11.95/12.10 c rational objective 300.5
12.44/12.53 c #Conflicts: 311000 | #Constraints: 12520
12.44/12.53 c #Conflicts: 312000 | #Constraints: 13520
12.44/12.53 c #Conflicts: 313000 | #Constraints: 14520
12.44/12.53 c #Conflicts: 314000 | #Constraints: 15520
12.44/12.53 c #Conflicts: 315000 | #Constraints: 16520
12.44/12.53 c #Conflicts: 316000 | #Constraints: 17520
12.44/12.53 c #Conflicts: 317000 | #Constraints: 18520
12.44/12.53 c #Conflicts: 318000 | #Constraints: 19520
12.44/12.53 c #Conflicts: 319000 | #Constraints: 20520
12.44/12.53 c #Conflicts: 320000 | #Constraints: 21520
12.44/12.53 c #Conflicts: 321000 | #Constraints: 22520
12.44/12.53 c INPROCESSING
12.44/12.53 c GARBAGE COLLECT
12.44/12.53 c rational objective 300.5
13.34/13.41 c #Conflicts: 322000 | #Constraints: 12314
13.34/13.41 c #Conflicts: 323000 | #Constraints: 13314
13.34/13.41 c #Conflicts: 324000 | #Constraints: 14314
13.34/13.41 c #Conflicts: 325000 | #Constraints: 15314
13.34/13.41 c #Conflicts: 326000 | #Constraints: 16314
13.34/13.41 c #Conflicts: 327000 | #Constraints: 17314
13.34/13.41 c #Conflicts: 328000 | #Constraints: 18314
13.34/13.41 c #Conflicts: 329000 | #Constraints: 19314
13.34/13.41 c #Conflicts: 330000 | #Constraints: 20314
13.34/13.41 c #Conflicts: 331000 | #Constraints: 21314
13.34/13.41 c #Conflicts: 332000 | #Constraints: 22314
13.34/13.41 c #Conflicts: 333000 | #Constraints: 23314
13.34/13.41 c INPROCESSING
13.34/13.41 c GARBAGE COLLECT
13.34/13.41 c rational objective 300.5
13.84/13.90 c #Conflicts: 334000 | #Constraints: 12906
13.84/13.90 c #Conflicts: 335000 | #Constraints: 13906
13.84/13.90 c #Conflicts: 336000 | #Constraints: 14906
13.84/13.90 c #Conflicts: 337000 | #Constraints: 15906
13.84/13.90 c #Conflicts: 338000 | #Constraints: 16906
13.84/13.90 c #Conflicts: 339000 | #Constraints: 17906
13.84/13.90 c #Conflicts: 340000 | #Constraints: 18906
13.84/13.90 c #Conflicts: 341000 | #Constraints: 19906
13.84/13.90 c #Conflicts: 342000 | #Constraints: 20906
13.84/13.90 c #Conflicts: 343000 | #Constraints: 21906
13.84/13.90 c #Conflicts: 344000 | #Constraints: 22906
13.84/13.90 c #Conflicts: 345000 | #Constraints: 23906
13.84/13.90 c INPROCESSING
13.84/13.90 c GARBAGE COLLECT
13.84/13.90 c rational objective 300.5
14.35/14.44 c #Conflicts: 346000 | #Constraints: 13310
14.35/14.44 c #Conflicts: 347000 | #Constraints: 14310
14.35/14.44 c #Conflicts: 348000 | #Constraints: 15310
14.35/14.44 c #Conflicts: 349000 | #Constraints: 16310
14.35/14.44 c #Conflicts: 350000 | #Constraints: 17310
14.35/14.44 c #Conflicts: 351000 | #Constraints: 18310
14.35/14.44 c #Conflicts: 352000 | #Constraints: 19310
14.35/14.44 c #Conflicts: 353000 | #Constraints: 20310
14.35/14.44 c #Conflicts: 354000 | #Constraints: 21310
14.35/14.44 c #Conflicts: 355000 | #Constraints: 22310
14.35/14.44 c #Conflicts: 356000 | #Constraints: 23310
14.35/14.44 c #Conflicts: 357000 | #Constraints: 24310
14.35/14.44 c INPROCESSING
14.35/14.44 c GARBAGE COLLECT
14.35/14.44 c rational objective 300.5
14.84/14.97 c #Conflicts: 358000 | #Constraints: 13515
14.84/14.97 c #Conflicts: 359000 | #Constraints: 14515
14.84/14.97 c #Conflicts: 360000 | #Constraints: 15515
14.84/14.97 c #Conflicts: 361000 | #Constraints: 16515
14.84/14.97 c #Conflicts: 362000 | #Constraints: 17515
14.84/14.97 c #Conflicts: 363000 | #Constraints: 18515
14.84/14.97 c #Conflicts: 364000 | #Constraints: 19515
14.84/14.97 c #Conflicts: 365000 | #Constraints: 20515
14.84/14.97 c #Conflicts: 366000 | #Constraints: 21515
14.84/14.97 c #Conflicts: 367000 | #Constraints: 22515
14.84/14.97 c #Conflicts: 368000 | #Constraints: 23515
14.84/14.97 c #Conflicts: 369000 | #Constraints: 24515
14.84/14.97 c INPROCESSING
14.84/14.97 c GARBAGE COLLECT
14.84/14.97 c rational objective 300.5
15.54/15.62 c #Conflicts: 370000 | #Constraints: 13519
15.54/15.62 c #Conflicts: 371000 | #Constraints: 14519
15.54/15.62 c #Conflicts: 372000 | #Constraints: 15519
15.54/15.62 c #Conflicts: 373000 | #Constraints: 16519
15.54/15.62 c #Conflicts: 374000 | #Constraints: 17519
15.54/15.62 c #Conflicts: 375000 | #Constraints: 18519
15.54/15.62 c #Conflicts: 376000 | #Constraints: 19519
15.54/15.62 c #Conflicts: 377000 | #Constraints: 20519
15.54/15.62 c #Conflicts: 378000 | #Constraints: 21519
15.54/15.62 c #Conflicts: 379000 | #Constraints: 22519
15.54/15.62 c #Conflicts: 380000 | #Constraints: 23519
15.54/15.62 c #Conflicts: 381000 | #Constraints: 24519
15.54/15.62 c INPROCESSING
15.54/15.62 c GARBAGE COLLECT
15.54/15.62 c rational objective 300.5
16.05/16.19 c #Conflicts: 382000 | #Constraints: 13317
16.05/16.19 c #Conflicts: 383000 | #Constraints: 14317
16.05/16.19 c #Conflicts: 384000 | #Constraints: 15317
16.05/16.19 c #Conflicts: 385000 | #Constraints: 16317
16.05/16.19 c #Conflicts: 386000 | #Constraints: 17317
16.05/16.19 c #Conflicts: 387000 | #Constraints: 18317
16.05/16.19 c #Conflicts: 388000 | #Constraints: 19317
16.05/16.19 c #Conflicts: 389000 | #Constraints: 20317
16.05/16.19 c #Conflicts: 390000 | #Constraints: 21317
16.05/16.19 c #Conflicts: 391000 | #Constraints: 22317
16.05/16.19 c #Conflicts: 392000 | #Constraints: 23317
16.05/16.19 c #Conflicts: 393000 | #Constraints: 24317
16.05/16.19 c #Conflicts: 394000 | #Constraints: 25317
16.05/16.19 c INPROCESSING
16.05/16.19 c GARBAGE COLLECT
16.05/16.19 c rational objective 300.5
16.64/16.74 c #Conflicts: 395000 | #Constraints: 13919
16.64/16.74 c #Conflicts: 396000 | #Constraints: 14919
16.64/16.74 c #Conflicts: 397000 | #Constraints: 15919
16.64/16.74 c #Conflicts: 398000 | #Constraints: 16919
16.64/16.74 c #Conflicts: 399000 | #Constraints: 17919
16.64/16.74 c #Conflicts: 400000 | #Constraints: 18919
16.64/16.74 c #Conflicts: 401000 | #Constraints: 19919
16.64/16.74 c #Conflicts: 402000 | #Constraints: 20919
16.64/16.74 c #Conflicts: 403000 | #Constraints: 21919
16.64/16.74 c #Conflicts: 404000 | #Constraints: 22919
16.64/16.74 c #Conflicts: 405000 | #Constraints: 23919
16.64/16.74 c #Conflicts: 406000 | #Constraints: 24919
16.64/16.74 c #Conflicts: 407000 | #Constraints: 25919
16.64/16.74 c INPROCESSING
16.64/16.74 c GARBAGE COLLECT
16.64/16.74 c rational objective 300.5
17.24/17.36 c #Conflicts: 408000 | #Constraints: 14310
17.24/17.36 c #Conflicts: 409000 | #Constraints: 15310
17.24/17.36 c #Conflicts: 410000 | #Constraints: 16310
17.24/17.36 c #Conflicts: 411000 | #Constraints: 17310
17.24/17.36 c #Conflicts: 412000 | #Constraints: 18310
17.24/17.36 c #Conflicts: 413000 | #Constraints: 19310
17.24/17.36 c #Conflicts: 414000 | #Constraints: 20310
17.24/17.36 c #Conflicts: 415000 | #Constraints: 21310
17.24/17.36 c #Conflicts: 416000 | #Constraints: 22310
17.24/17.36 c #Conflicts: 417000 | #Constraints: 23310
17.24/17.36 c #Conflicts: 418000 | #Constraints: 24310
17.24/17.36 c #Conflicts: 419000 | #Constraints: 25310
17.24/17.36 c #Conflicts: 420000 | #Constraints: 26310
17.24/17.36 c INPROCESSING
17.24/17.36 c GARBAGE COLLECT
17.24/17.36 c rational objective 300.5
17.84/17.98 c #Conflicts: 421000 | #Constraints: 14522
17.84/17.98 c #Conflicts: 422000 | #Constraints: 15522
17.84/17.98 c #Conflicts: 423000 | #Constraints: 16522
17.84/17.98 c #Conflicts: 424000 | #Constraints: 17522
17.84/17.98 c #Conflicts: 425000 | #Constraints: 18522
17.84/17.98 c #Conflicts: 426000 | #Constraints: 19522
17.84/17.98 c #Conflicts: 427000 | #Constraints: 20522
17.84/17.98 c #Conflicts: 428000 | #Constraints: 21522
17.84/17.98 c #Conflicts: 429000 | #Constraints: 22522
17.84/17.98 c #Conflicts: 430000 | #Constraints: 23522
17.84/17.98 c #Conflicts: 431000 | #Constraints: 24522
17.84/17.98 c #Conflicts: 432000 | #Constraints: 25522
17.84/17.98 c #Conflicts: 433000 | #Constraints: 26522
17.84/17.98 c INPROCESSING
17.84/17.98 c GARBAGE COLLECT
17.84/17.98 c rational objective 300.5
18.53/18.66 c #Conflicts: 434000 | #Constraints: 14516
18.53/18.66 c #Conflicts: 435000 | #Constraints: 15516
18.53/18.66 c #Conflicts: 436000 | #Constraints: 16516
18.53/18.66 c #Conflicts: 437000 | #Constraints: 17516
18.53/18.66 c #Conflicts: 438000 | #Constraints: 18516
18.53/18.66 c #Conflicts: 439000 | #Constraints: 19516
18.53/18.66 c #Conflicts: 440000 | #Constraints: 20516
18.53/18.66 c #Conflicts: 441000 | #Constraints: 21516
18.53/18.66 c #Conflicts: 442000 | #Constraints: 22516
18.53/18.66 c #Conflicts: 443000 | #Constraints: 23516
18.53/18.66 c #Conflicts: 444000 | #Constraints: 24516
18.53/18.66 c #Conflicts: 445000 | #Constraints: 25516
18.53/18.66 c #Conflicts: 446000 | #Constraints: 26516
18.53/18.66 c INPROCESSING
18.53/18.66 c GARBAGE COLLECT
18.53/18.66 c rational objective 300.5
19.04/19.16 c #Conflicts: 447000 | #Constraints: 14316
19.04/19.16 c #Conflicts: 448000 | #Constraints: 15316
19.04/19.16 c #Conflicts: 449000 | #Constraints: 16316
19.04/19.16 c #Conflicts: 450000 | #Constraints: 17316
19.04/19.16 c #Conflicts: 451000 | #Constraints: 18316
19.04/19.16 c #Conflicts: 452000 | #Constraints: 19316
19.04/19.16 c #Conflicts: 453000 | #Constraints: 20316
19.04/19.16 c #Conflicts: 454000 | #Constraints: 21316
19.04/19.16 c #Conflicts: 455000 | #Constraints: 22316
19.04/19.16 c #Conflicts: 456000 | #Constraints: 23316
19.04/19.16 c #Conflicts: 457000 | #Constraints: 24316
19.04/19.16 c #Conflicts: 458000 | #Constraints: 25316
19.04/19.16 c #Conflicts: 459000 | #Constraints: 26316
19.04/19.16 c #Conflicts: 460000 | #Constraints: 27316
19.04/19.16 c INPROCESSING
19.04/19.16 c GARBAGE COLLECT
19.04/19.16 c rational objective 300.5
19.53/19.68 c #Conflicts: 461000 | #Constraints: 14919
19.53/19.68 c #Conflicts: 462000 | #Constraints: 15919
19.53/19.68 c #Conflicts: 463000 | #Constraints: 16919
19.53/19.68 c #Conflicts: 464000 | #Constraints: 17919
19.53/19.68 c #Conflicts: 465000 | #Constraints: 18919
19.53/19.68 c #Conflicts: 466000 | #Constraints: 19919
19.53/19.68 c #Conflicts: 467000 | #Constraints: 20919
19.53/19.68 c #Conflicts: 468000 | #Constraints: 21919
19.53/19.68 c #Conflicts: 469000 | #Constraints: 22919
19.53/19.68 c #Conflicts: 470000 | #Constraints: 23919
19.53/19.68 c #Conflicts: 471000 | #Constraints: 24919
19.53/19.68 c #Conflicts: 472000 | #Constraints: 25919
19.53/19.68 c #Conflicts: 473000 | #Constraints: 26919
19.53/19.68 c #Conflicts: 474000 | #Constraints: 27919
19.53/19.68 c INPROCESSING
19.53/19.68 c GARBAGE COLLECT
19.53/19.68 c rational objective 300.5
20.13/20.26 c #Conflicts: 475000 | #Constraints: 15318
20.13/20.26 c #Conflicts: 476000 | #Constraints: 16318
20.13/20.26 c #Conflicts: 477000 | #Constraints: 17318
20.13/20.26 c #Conflicts: 478000 | #Constraints: 18318
20.13/20.26 c #Conflicts: 479000 | #Constraints: 19318
20.13/20.26 c #Conflicts: 480000 | #Constraints: 20318
20.13/20.26 c #Conflicts: 481000 | #Constraints: 21318
20.13/20.26 c #Conflicts: 482000 | #Constraints: 22318
20.13/20.26 c #Conflicts: 483000 | #Constraints: 23318
20.13/20.26 c #Conflicts: 484000 | #Constraints: 24318
20.13/20.26 c #Conflicts: 485000 | #Constraints: 25318
20.13/20.26 c #Conflicts: 486000 | #Constraints: 26318
20.13/20.26 c #Conflicts: 487000 | #Constraints: 27318
20.13/20.26 c #Conflicts: 488000 | #Constraints: 28318
20.13/20.26 c INPROCESSING
20.13/20.26 c GARBAGE COLLECT
20.13/20.26 c rational objective 300.5
21.23/21.32 c #Conflicts: 489000 | #Constraints: 15523
21.23/21.32 c #Conflicts: 490000 | #Constraints: 16523
21.23/21.32 c #Conflicts: 491000 | #Constraints: 17523
21.23/21.32 c #Conflicts: 492000 | #Constraints: 18523
21.23/21.32 c #Conflicts: 493000 | #Constraints: 19523
21.23/21.32 c #Conflicts: 494000 | #Constraints: 20523
21.23/21.32 c #Conflicts: 495000 | #Constraints: 21523
21.23/21.32 c #Conflicts: 496000 | #Constraints: 22523
21.23/21.32 c #Conflicts: 497000 | #Constraints: 23523
21.23/21.32 c #Conflicts: 498000 | #Constraints: 24523
21.23/21.32 c #Conflicts: 499000 | #Constraints: 25523
21.23/21.32 c #Conflicts: 500000 | #Constraints: 26523
21.23/21.32 c #Conflicts: 501000 | #Constraints: 27523
21.23/21.32 c #Conflicts: 502000 | #Constraints: 28523
21.23/21.32 c INPROCESSING
21.23/21.32 c GARBAGE COLLECT
21.23/21.32 c rational objective 300.5
21.72/21.87 c #Conflicts: 503000 | #Constraints: 15526
21.72/21.87 c #Conflicts: 504000 | #Constraints: 16526
21.72/21.87 c #Conflicts: 505000 | #Constraints: 17526
21.72/21.87 c #Conflicts: 506000 | #Constraints: 18526
21.72/21.87 c #Conflicts: 507000 | #Constraints: 19526
21.72/21.87 c #Conflicts: 508000 | #Constraints: 20526
21.72/21.87 c #Conflicts: 509000 | #Constraints: 21526
21.72/21.87 c #Conflicts: 510000 | #Constraints: 22526
21.72/21.87 c #Conflicts: 511000 | #Constraints: 23526
21.72/21.87 c #Conflicts: 512000 | #Constraints: 24526
21.72/21.87 c #Conflicts: 513000 | #Constraints: 25526
21.72/21.87 c #Conflicts: 514000 | #Constraints: 26526
21.72/21.87 c #Conflicts: 515000 | #Constraints: 27526
21.72/21.87 c #Conflicts: 516000 | #Constraints: 28526
21.72/21.87 c INPROCESSING
21.72/21.87 c GARBAGE COLLECT
21.72/21.87 c rational objective 300.5
22.52/22.61 c #Conflicts: 517000 | #Constraints: 15316
22.52/22.61 c #Conflicts: 518000 | #Constraints: 16316
22.52/22.61 c #Conflicts: 519000 | #Constraints: 17316
22.52/22.61 c #Conflicts: 520000 | #Constraints: 18316
22.52/22.61 c #Conflicts: 521000 | #Constraints: 19316
22.52/22.61 c #Conflicts: 522000 | #Constraints: 20316
22.52/22.61 c #Conflicts: 523000 | #Constraints: 21316
22.52/22.61 c #Conflicts: 524000 | #Constraints: 22316
22.52/22.61 c #Conflicts: 525000 | #Constraints: 23316
22.52/22.61 c #Conflicts: 526000 | #Constraints: 24316
22.52/22.61 c #Conflicts: 527000 | #Constraints: 25316
22.52/22.61 c #Conflicts: 528000 | #Constraints: 26316
22.52/22.61 c #Conflicts: 529000 | #Constraints: 27316
22.52/22.61 c #Conflicts: 530000 | #Constraints: 28316
22.52/22.61 c #Conflicts: 531000 | #Constraints: 29316
22.52/22.61 c INPROCESSING
22.52/22.61 c GARBAGE COLLECT
22.52/22.61 c rational objective 300.5
23.12/23.28 c #Conflicts: 532000 | #Constraints: 15926
23.12/23.28 c #Conflicts: 533000 | #Constraints: 16926
23.12/23.28 c #Conflicts: 534000 | #Constraints: 17926
23.12/23.28 c #Conflicts: 535000 | #Constraints: 18926
23.12/23.28 c #Conflicts: 536000 | #Constraints: 19926
23.12/23.28 c #Conflicts: 537000 | #Constraints: 20926
23.12/23.28 c #Conflicts: 538000 | #Constraints: 21926
23.12/23.28 c #Conflicts: 539000 | #Constraints: 22926
23.12/23.28 c #Conflicts: 540000 | #Constraints: 23926
23.12/23.28 c #Conflicts: 541000 | #Constraints: 24926
23.12/23.28 c #Conflicts: 542000 | #Constraints: 25926
23.12/23.28 c #Conflicts: 543000 | #Constraints: 26926
23.12/23.28 c #Conflicts: 544000 | #Constraints: 27926
23.12/23.28 c #Conflicts: 545000 | #Constraints: 28926
23.12/23.28 c #Conflicts: 546000 | #Constraints: 29926
23.12/23.28 c INPROCESSING
23.12/23.28 c GARBAGE COLLECT
23.12/23.28 c rational objective 300.5
24.02/24.17 c #Conflicts: 547000 | #Constraints: 16323
24.02/24.17 c #Conflicts: 548000 | #Constraints: 17323
24.02/24.17 c #Conflicts: 549000 | #Constraints: 18323
24.02/24.17 c #Conflicts: 550000 | #Constraints: 19323
24.02/24.17 c #Conflicts: 551000 | #Constraints: 20323
24.02/24.17 c #Conflicts: 552000 | #Constraints: 21323
24.02/24.17 c #Conflicts: 553000 | #Constraints: 22323
24.02/24.17 c #Conflicts: 554000 | #Constraints: 23323
24.02/24.17 c #Conflicts: 555000 | #Constraints: 24323
24.02/24.17 c #Conflicts: 556000 | #Constraints: 25323
24.02/24.17 c #Conflicts: 557000 | #Constraints: 26323
24.02/24.17 c #Conflicts: 558000 | #Constraints: 27323
24.02/24.17 c #Conflicts: 559000 | #Constraints: 28323
24.02/24.17 c #Conflicts: 560000 | #Constraints: 29323
24.02/24.17 c #Conflicts: 561000 | #Constraints: 30323
24.02/24.17 c INPROCESSING
24.02/24.17 c GARBAGE COLLECT
24.02/24.17 c rational objective 300.5
24.72/24.86 c #Conflicts: 562000 | #Constraints: 16525
24.72/24.86 c #Conflicts: 563000 | #Constraints: 17525
24.72/24.86 c #Conflicts: 564000 | #Constraints: 18525
24.72/24.86 c #Conflicts: 565000 | #Constraints: 19525
24.72/24.86 c #Conflicts: 566000 | #Constraints: 20525
24.72/24.86 c #Conflicts: 567000 | #Constraints: 21525
24.72/24.86 c #Conflicts: 568000 | #Constraints: 22525
24.72/24.86 c #Conflicts: 569000 | #Constraints: 23525
24.72/24.86 c #Conflicts: 570000 | #Constraints: 24525
24.72/24.86 c #Conflicts: 571000 | #Constraints: 25525
24.72/24.86 c #Conflicts: 572000 | #Constraints: 26525
24.72/24.86 c #Conflicts: 573000 | #Constraints: 27525
24.72/24.86 c #Conflicts: 574000 | #Constraints: 28525
24.72/24.86 c #Conflicts: 575000 | #Constraints: 29525
24.72/24.86 c #Conflicts: 576000 | #Constraints: 30525
24.72/24.86 c INPROCESSING
24.72/24.86 c GARBAGE COLLECT
24.72/24.86 c rational objective 300.5
25.42/25.58 c #Conflicts: 577000 | #Constraints: 16520
25.42/25.58 c #Conflicts: 578000 | #Constraints: 17520
25.42/25.58 c #Conflicts: 579000 | #Constraints: 18520
25.42/25.58 c #Conflicts: 580000 | #Constraints: 19520
25.42/25.58 c #Conflicts: 581000 | #Constraints: 20520
25.42/25.58 c #Conflicts: 582000 | #Constraints: 21520
25.42/25.58 c #Conflicts: 583000 | #Constraints: 22520
25.42/25.58 c #Conflicts: 584000 | #Constraints: 23520
25.42/25.58 c #Conflicts: 585000 | #Constraints: 24520
25.42/25.58 c #Conflicts: 586000 | #Constraints: 25520
25.42/25.58 c #Conflicts: 587000 | #Constraints: 26520
25.42/25.58 c #Conflicts: 588000 | #Constraints: 27520
25.42/25.58 c #Conflicts: 589000 | #Constraints: 28520
25.42/25.58 c #Conflicts: 590000 | #Constraints: 29520
25.42/25.58 c #Conflicts: 591000 | #Constraints: 30520
25.42/25.58 c INPROCESSING
25.42/25.58 c GARBAGE COLLECT
25.42/25.58 c rational objective 300.5
26.21/26.30 c #Conflicts: 592000 | #Constraints: 16325
26.21/26.30 c #Conflicts: 593000 | #Constraints: 17325
26.21/26.30 c #Conflicts: 594000 | #Constraints: 18325
26.21/26.30 c #Conflicts: 595000 | #Constraints: 19325
26.21/26.30 c #Conflicts: 596000 | #Constraints: 20325
26.21/26.30 c #Conflicts: 597000 | #Constraints: 21325
26.21/26.30 c #Conflicts: 598000 | #Constraints: 22325
26.21/26.30 c #Conflicts: 599000 | #Constraints: 23325
26.21/26.30 c #Conflicts: 600000 | #Constraints: 24325
26.21/26.30 c #Conflicts: 601000 | #Constraints: 25325
26.21/26.30 c #Conflicts: 602000 | #Constraints: 26325
26.21/26.30 c #Conflicts: 603000 | #Constraints: 27325
26.21/26.30 c #Conflicts: 604000 | #Constraints: 28325
26.21/26.30 c #Conflicts: 605000 | #Constraints: 29325
26.21/26.30 c #Conflicts: 606000 | #Constraints: 30325
26.21/26.30 c #Conflicts: 607000 | #Constraints: 31325
26.21/26.30 c INPROCESSING
26.21/26.30 c GARBAGE COLLECT
26.21/26.30 c rational objective 300.5
27.02/27.11 c #Conflicts: 608000 | #Constraints: 16930
27.02/27.11 c #Conflicts: 609000 | #Constraints: 17930
27.02/27.11 c #Conflicts: 610000 | #Constraints: 18930
27.02/27.11 c #Conflicts: 611000 | #Constraints: 19930
27.02/27.11 c #Conflicts: 612000 | #Constraints: 20930
27.02/27.11 c #Conflicts: 613000 | #Constraints: 21930
27.02/27.11 c #Conflicts: 614000 | #Constraints: 22930
27.02/27.11 c #Conflicts: 615000 | #Constraints: 23930
27.02/27.11 c #Conflicts: 616000 | #Constraints: 24930
27.02/27.11 c #Conflicts: 617000 | #Constraints: 25930
27.02/27.11 c #Conflicts: 618000 | #Constraints: 26930
27.02/27.11 c #Conflicts: 619000 | #Constraints: 27930
27.02/27.11 c #Conflicts: 620000 | #Constraints: 28930
27.02/27.11 c #Conflicts: 621000 | #Constraints: 29930
27.02/27.11 c #Conflicts: 622000 | #Constraints: 30930
27.02/27.11 c #Conflicts: 623000 | #Constraints: 31930
27.02/27.11 c INPROCESSING
27.02/27.11 c GARBAGE COLLECT
27.02/27.11 c rational objective 300.5
27.80/27.93 c #Conflicts: 624000 | #Constraints: 17327
27.80/27.93 c #Conflicts: 625000 | #Constraints: 18327
27.80/27.93 c #Conflicts: 626000 | #Constraints: 19327
27.80/27.93 c #Conflicts: 627000 | #Constraints: 20327
27.80/27.93 c #Conflicts: 628000 | #Constraints: 21327
27.80/27.93 c #Conflicts: 629000 | #Constraints: 22327
27.80/27.93 c #Conflicts: 630000 | #Constraints: 23327
27.80/27.93 c #Conflicts: 631000 | #Constraints: 24327
27.80/27.93 c #Conflicts: 632000 | #Constraints: 25327
27.80/27.93 c #Conflicts: 633000 | #Constraints: 26327
27.80/27.93 c #Conflicts: 634000 | #Constraints: 27327
27.80/27.93 c #Conflicts: 635000 | #Constraints: 28327
27.80/27.93 c #Conflicts: 636000 | #Constraints: 29327
27.80/27.93 c #Conflicts: 637000 | #Constraints: 30327
27.80/27.93 c #Conflicts: 638000 | #Constraints: 31327
27.80/27.93 c #Conflicts: 639000 | #Constraints: 32327
27.80/27.93 c INPROCESSING
27.80/27.93 c GARBAGE COLLECT
27.80/27.93 c rational objective 300.5
28.61/28.71 c #Conflicts: 640000 | #Constraints: 17519
28.61/28.71 c #Conflicts: 641000 | #Constraints: 18519
28.61/28.71 c #Conflicts: 642000 | #Constraints: 19519
28.61/28.71 c #Conflicts: 643000 | #Constraints: 20519
28.61/28.71 c #Conflicts: 644000 | #Constraints: 21519
28.61/28.71 c #Conflicts: 645000 | #Constraints: 22519
28.61/28.71 c #Conflicts: 646000 | #Constraints: 23519
28.61/28.71 c #Conflicts: 647000 | #Constraints: 24519
28.61/28.71 c #Conflicts: 648000 | #Constraints: 25519
28.61/28.71 c #Conflicts: 649000 | #Constraints: 26519
28.61/28.71 c #Conflicts: 650000 | #Constraints: 27519
28.61/28.71 c #Conflicts: 651000 | #Constraints: 28519
28.61/28.71 c #Conflicts: 652000 | #Constraints: 29519
28.61/28.71 c #Conflicts: 653000 | #Constraints: 30519
28.61/28.71 c #Conflicts: 654000 | #Constraints: 31519
28.61/28.71 c #Conflicts: 655000 | #Constraints: 32519
28.61/28.71 c INPROCESSING
28.61/28.71 c GARBAGE COLLECT
28.61/28.71 c rational objective 300.5
29.40/29.54 c #Conflicts: 656000 | #Constraints: 17532
29.40/29.54 c #Conflicts: 657000 | #Constraints: 18532
29.40/29.54 c #Conflicts: 658000 | #Constraints: 19532
29.40/29.54 c #Conflicts: 659000 | #Constraints: 20532
29.40/29.54 c #Conflicts: 660000 | #Constraints: 21532
29.40/29.54 c #Conflicts: 661000 | #Constraints: 22532
29.40/29.54 c #Conflicts: 662000 | #Constraints: 23532
29.40/29.54 c #Conflicts: 663000 | #Constraints: 24532
29.40/29.54 c #Conflicts: 664000 | #Constraints: 25532
29.40/29.54 c #Conflicts: 665000 | #Constraints: 26532
29.40/29.54 c #Conflicts: 666000 | #Constraints: 27532
29.40/29.54 c #Conflicts: 667000 | #Constraints: 28532
29.40/29.54 c #Conflicts: 668000 | #Constraints: 29532
29.40/29.54 c #Conflicts: 669000 | #Constraints: 30532
29.40/29.54 c #Conflicts: 670000 | #Constraints: 31532
29.40/29.54 c #Conflicts: 671000 | #Constraints: 32532
29.40/29.54 c INPROCESSING
29.40/29.54 c GARBAGE COLLECT
29.40/29.54 c rational objective 300.5
30.20/30.34 c #Conflicts: 672000 | #Constraints: 17329
30.20/30.34 c #Conflicts: 673000 | #Constraints: 18329
30.20/30.34 c #Conflicts: 674000 | #Constraints: 19329
30.20/30.34 c #Conflicts: 675000 | #Constraints: 20329
30.20/30.34 c #Conflicts: 676000 | #Constraints: 21329
30.20/30.34 c #Conflicts: 677000 | #Constraints: 22329
30.20/30.34 c #Conflicts: 678000 | #Constraints: 23329
30.20/30.34 c #Conflicts: 679000 | #Constraints: 24329
30.20/30.34 c #Conflicts: 680000 | #Constraints: 25329
30.20/30.34 c #Conflicts: 681000 | #Constraints: 26329
30.20/30.34 c #Conflicts: 682000 | #Constraints: 27329
30.20/30.34 c #Conflicts: 683000 | #Constraints: 28329
30.20/30.34 c #Conflicts: 684000 | #Constraints: 29329
30.20/30.34 c #Conflicts: 685000 | #Constraints: 30329
30.20/30.34 c #Conflicts: 686000 | #Constraints: 31329
30.20/30.34 c #Conflicts: 687000 | #Constraints: 32329
30.20/30.34 c #Conflicts: 688000 | #Constraints: 33329
30.20/30.34 c INPROCESSING
30.20/30.34 c GARBAGE COLLECT
30.20/30.34 c rational objective 300.5
31.10/31.23 c #Conflicts: 689000 | #Constraints: 17932
31.10/31.23 c #Conflicts: 690000 | #Constraints: 18932
31.10/31.23 c #Conflicts: 691000 | #Constraints: 19932
31.10/31.23 c #Conflicts: 692000 | #Constraints: 20932
31.10/31.23 c #Conflicts: 693000 | #Constraints: 21932
31.10/31.23 c #Conflicts: 694000 | #Constraints: 22932
31.10/31.23 c #Conflicts: 695000 | #Constraints: 23932
31.10/31.23 c #Conflicts: 696000 | #Constraints: 24932
31.10/31.23 c #Conflicts: 697000 | #Constraints: 25932
31.10/31.23 c #Conflicts: 698000 | #Constraints: 26932
31.10/31.23 c #Conflicts: 699000 | #Constraints: 27932
31.10/31.23 c #Conflicts: 700000 | #Constraints: 28932
31.10/31.23 c #Conflicts: 701000 | #Constraints: 29932
31.10/31.23 c #Conflicts: 702000 | #Constraints: 30932
31.10/31.23 c #Conflicts: 703000 | #Constraints: 31932
31.10/31.23 c #Conflicts: 704000 | #Constraints: 32933
31.10/31.23 c #Conflicts: 705000 | #Constraints: 33933
31.10/31.23 c INPROCESSING
31.10/31.23 c GARBAGE COLLECT
31.10/31.23 c rational objective 300.5
31.91/32.03 c #Conflicts: 706000 | #Constraints: 18330
31.91/32.03 c #Conflicts: 707000 | #Constraints: 19330
31.91/32.03 c #Conflicts: 708000 | #Constraints: 20330
31.91/32.03 c #Conflicts: 709000 | #Constraints: 21330
31.91/32.03 c #Conflicts: 710000 | #Constraints: 22330
31.91/32.03 c #Conflicts: 711000 | #Constraints: 23330
31.91/32.03 c #Conflicts: 712000 | #Constraints: 24330
31.91/32.03 c #Conflicts: 713000 | #Constraints: 25330
31.91/32.03 c #Conflicts: 714000 | #Constraints: 26330
31.91/32.03 c #Conflicts: 715000 | #Constraints: 27330
31.91/32.03 c #Conflicts: 716000 | #Constraints: 28330
31.91/32.03 c #Conflicts: 717000 | #Constraints: 29330
31.91/32.03 c #Conflicts: 718000 | #Constraints: 30330
31.91/32.03 c #Conflicts: 719000 | #Constraints: 31330
31.91/32.03 c #Conflicts: 720000 | #Constraints: 32330
31.91/32.03 c #Conflicts: 721000 | #Constraints: 33330
31.91/32.03 c #Conflicts: 722000 | #Constraints: 34330
31.91/32.03 c INPROCESSING
31.91/32.03 c GARBAGE COLLECT
31.91/32.03 c rational objective 300.5
32.60/32.73 c #Conflicts: 723000 | #Constraints: 18539
32.60/32.73 c #Conflicts: 724000 | #Constraints: 19539
32.60/32.73 c #Conflicts: 725000 | #Constraints: 20539
32.60/32.73 c #Conflicts: 726000 | #Constraints: 21539
32.60/32.73 c #Conflicts: 727000 | #Constraints: 22539
32.60/32.73 c #Conflicts: 728000 | #Constraints: 23539
32.60/32.73 c #Conflicts: 729000 | #Constraints: 24539
32.60/32.73 c #Conflicts: 730000 | #Constraints: 25539
32.60/32.73 c #Conflicts: 731000 | #Constraints: 26539
32.60/32.73 c #Conflicts: 732000 | #Constraints: 27539
32.60/32.73 c #Conflicts: 733000 | #Constraints: 28539
32.60/32.73 c #Conflicts: 734000 | #Constraints: 29539
32.60/32.73 c #Conflicts: 735000 | #Constraints: 30539
32.60/32.73 c #Conflicts: 736000 | #Constraints: 31539
32.60/32.73 c #Conflicts: 737000 | #Constraints: 32539
32.60/32.73 c #Conflicts: 738000 | #Constraints: 33539
32.60/32.73 c #Conflicts: 739000 | #Constraints: 34539
32.60/32.73 c INPROCESSING
32.60/32.73 c GARBAGE COLLECT
32.60/32.73 c rational objective 300.5
33.39/33.56 c #Conflicts: 740000 | #Constraints: 18537
33.39/33.56 c #Conflicts: 741000 | #Constraints: 19537
33.39/33.56 c #Conflicts: 742000 | #Constraints: 20537
33.39/33.56 c #Conflicts: 743000 | #Constraints: 21537
33.39/33.56 c #Conflicts: 744000 | #Constraints: 22537
33.39/33.56 c #Conflicts: 745000 | #Constraints: 23537
33.39/33.56 c #Conflicts: 746000 | #Constraints: 24537
33.39/33.56 c #Conflicts: 747000 | #Constraints: 25537
33.39/33.56 c #Conflicts: 748000 | #Constraints: 26537
33.39/33.56 c #Conflicts: 749000 | #Constraints: 27537
33.39/33.56 c #Conflicts: 750000 | #Constraints: 28537
33.39/33.56 c #Conflicts: 751000 | #Constraints: 29537
33.39/33.56 c #Conflicts: 752000 | #Constraints: 30537
33.39/33.56 c #Conflicts: 753000 | #Constraints: 31537
33.39/33.56 c #Conflicts: 754000 | #Constraints: 32537
33.39/33.56 c #Conflicts: 755000 | #Constraints: 33537
33.39/33.56 c #Conflicts: 756000 | #Constraints: 34537
33.39/33.56 c INPROCESSING
33.39/33.56 c GARBAGE COLLECT
33.39/33.56 c rational objective 300.5
34.39/34.50 c #Conflicts: 757000 | #Constraints: 18329
34.39/34.50 c #Conflicts: 758000 | #Constraints: 19329
34.39/34.50 c #Conflicts: 759000 | #Constraints: 20329
34.39/34.50 c #Conflicts: 760000 | #Constraints: 21329
34.39/34.50 c #Conflicts: 761000 | #Constraints: 22329
34.39/34.50 c #Conflicts: 762000 | #Constraints: 23329
34.39/34.50 c #Conflicts: 763000 | #Constraints: 24329
34.39/34.50 c #Conflicts: 764000 | #Constraints: 25329
34.39/34.50 c #Conflicts: 765000 | #Constraints: 26329
34.39/34.50 c #Conflicts: 766000 | #Constraints: 27329
34.39/34.50 c #Conflicts: 767000 | #Constraints: 28329
34.39/34.50 c #Conflicts: 768000 | #Constraints: 29329
34.39/34.50 c #Conflicts: 769000 | #Constraints: 30329
34.39/34.50 c #Conflicts: 770000 | #Constraints: 31329
34.39/34.50 c #Conflicts: 771000 | #Constraints: 32329
34.39/34.50 c #Conflicts: 772000 | #Constraints: 33329
34.39/34.50 c #Conflicts: 773000 | #Constraints: 34329
34.39/34.50 c #Conflicts: 774000 | #Constraints: 35329
34.39/34.50 c INPROCESSING
34.39/34.50 c GARBAGE COLLECT
34.39/34.50 c rational objective 300.5
35.29/35.45 c #Conflicts: 775000 | #Constraints: 18927
35.29/35.45 c #Conflicts: 776000 | #Constraints: 19927
35.29/35.45 c #Conflicts: 777000 | #Constraints: 20927
35.29/35.45 c #Conflicts: 778000 | #Constraints: 21927
35.29/35.45 c #Conflicts: 779000 | #Constraints: 22927
35.29/35.45 c #Conflicts: 780000 | #Constraints: 23927
35.29/35.45 c #Conflicts: 781000 | #Constraints: 24927
35.29/35.45 c #Conflicts: 782000 | #Constraints: 25927
35.29/35.45 c #Conflicts: 783000 | #Constraints: 26927
35.29/35.45 c #Conflicts: 784000 | #Constraints: 27927
35.29/35.45 c #Conflicts: 785000 | #Constraints: 28927
35.29/35.45 c #Conflicts: 786000 | #Constraints: 29927
35.29/35.45 c #Conflicts: 787000 | #Constraints: 30927
35.29/35.45 c #Conflicts: 788000 | #Constraints: 31927
35.29/35.45 c #Conflicts: 789000 | #Constraints: 32927
35.29/35.45 c #Conflicts: 790000 | #Constraints: 33927
35.29/35.45 c #Conflicts: 791000 | #Constraints: 34927
35.29/35.45 c #Conflicts: 792000 | #Constraints: 35927
35.29/35.45 c INPROCESSING
35.29/35.45 c GARBAGE COLLECT
35.29/35.45 c rational objective 300.5
36.19/36.31 c #Conflicts: 793000 | #Constraints: 19323
36.19/36.31 c #Conflicts: 794000 | #Constraints: 20323
36.19/36.31 c #Conflicts: 795000 | #Constraints: 21323
36.19/36.31 c #Conflicts: 796000 | #Constraints: 22323
36.19/36.31 c #Conflicts: 797000 | #Constraints: 23323
36.19/36.31 c #Conflicts: 798000 | #Constraints: 24323
36.19/36.31 c #Conflicts: 799000 | #Constraints: 25323
36.19/36.31 c #Conflicts: 800000 | #Constraints: 26323
36.19/36.31 c #Conflicts: 801000 | #Constraints: 27323
36.19/36.31 c #Conflicts: 802000 | #Constraints: 28323
36.19/36.31 c #Conflicts: 803000 | #Constraints: 29323
36.19/36.31 c #Conflicts: 804000 | #Constraints: 30323
36.19/36.31 c #Conflicts: 805000 | #Constraints: 31323
36.19/36.31 c #Conflicts: 806000 | #Constraints: 32323
36.19/36.31 c #Conflicts: 807000 | #Constraints: 33323
36.19/36.31 c #Conflicts: 808000 | #Constraints: 34323
36.19/36.31 c #Conflicts: 809000 | #Constraints: 35323
36.19/36.31 c #Conflicts: 810000 | #Constraints: 36323
36.19/36.31 c INPROCESSING
36.19/36.31 c GARBAGE COLLECT
36.19/36.31 c rational objective 300.5
36.99/37.18 c #Conflicts: 811000 | #Constraints: 19526
36.99/37.18 c #Conflicts: 812000 | #Constraints: 20526
36.99/37.18 c #Conflicts: 813000 | #Constraints: 21526
36.99/37.18 c #Conflicts: 814000 | #Constraints: 22526
36.99/37.18 c #Conflicts: 815000 | #Constraints: 23526
36.99/37.18 c #Conflicts: 816000 | #Constraints: 24526
36.99/37.18 c #Conflicts: 817000 | #Constraints: 25526
36.99/37.18 c #Conflicts: 818000 | #Constraints: 26526
36.99/37.18 c #Conflicts: 819000 | #Constraints: 27526
36.99/37.18 c #Conflicts: 820000 | #Constraints: 28526
36.99/37.18 c #Conflicts: 821000 | #Constraints: 29526
36.99/37.18 c #Conflicts: 822000 | #Constraints: 30526
36.99/37.18 c #Conflicts: 823000 | #Constraints: 31526
36.99/37.18 c #Conflicts: 824000 | #Constraints: 32526
36.99/37.18 c #Conflicts: 825000 | #Constraints: 33526
36.99/37.18 c #Conflicts: 826000 | #Constraints: 34526
36.99/37.18 c #Conflicts: 827000 | #Constraints: 35526
36.99/37.18 c #Conflicts: 828000 | #Constraints: 36526
36.99/37.18 c INPROCESSING
36.99/37.18 c GARBAGE COLLECT
36.99/37.18 c rational objective 300.5
37.99/38.16 c #Conflicts: 829000 | #Constraints: 19526
37.99/38.16 c #Conflicts: 830000 | #Constraints: 20526
37.99/38.16 c #Conflicts: 831000 | #Constraints: 21526
37.99/38.16 c #Conflicts: 832000 | #Constraints: 22526
37.99/38.16 c #Conflicts: 833000 | #Constraints: 23526
37.99/38.16 c #Conflicts: 834000 | #Constraints: 24526
37.99/38.16 c #Conflicts: 835000 | #Constraints: 25526
37.99/38.16 c #Conflicts: 836000 | #Constraints: 26526
37.99/38.16 c #Conflicts: 837000 | #Constraints: 27526
37.99/38.16 c #Conflicts: 838000 | #Constraints: 28526
37.99/38.16 c #Conflicts: 839000 | #Constraints: 29526
37.99/38.16 c #Conflicts: 840000 | #Constraints: 30526
37.99/38.16 c #Conflicts: 841000 | #Constraints: 31526
37.99/38.16 c #Conflicts: 842000 | #Constraints: 32526
37.99/38.16 c #Conflicts: 843000 | #Constraints: 33526
37.99/38.16 c #Conflicts: 844000 | #Constraints: 34526
37.99/38.16 c #Conflicts: 845000 | #Constraints: 35526
37.99/38.16 c #Conflicts: 846000 | #Constraints: 36526
37.99/38.16 c INPROCESSING
37.99/38.16 c GARBAGE COLLECT
37.99/38.16 c rational objective 300.5
38.98/39.19 c #Conflicts: 847000 | #Constraints: 19323
38.98/39.19 c #Conflicts: 848000 | #Constraints: 20323
38.98/39.19 c #Conflicts: 849000 | #Constraints: 21323
38.98/39.19 c #Conflicts: 850000 | #Constraints: 22323
38.98/39.19 c #Conflicts: 851000 | #Constraints: 23323
38.98/39.19 c #Conflicts: 852000 | #Constraints: 24323
38.98/39.19 c #Conflicts: 853000 | #Constraints: 25323
38.98/39.19 c #Conflicts: 854000 | #Constraints: 26323
38.98/39.19 c #Conflicts: 855000 | #Constraints: 27323
38.98/39.19 c #Conflicts: 856000 | #Constraints: 28323
38.98/39.19 c #Conflicts: 857000 | #Constraints: 29323
38.98/39.19 c #Conflicts: 858000 | #Constraints: 30323
38.98/39.19 c #Conflicts: 859000 | #Constraints: 31323
38.98/39.19 c #Conflicts: 860000 | #Constraints: 32323
38.98/39.19 c #Conflicts: 861000 | #Constraints: 33323
38.98/39.19 c #Conflicts: 862000 | #Constraints: 34323
38.98/39.19 c #Conflicts: 863000 | #Constraints: 35323
38.98/39.19 c #Conflicts: 864000 | #Constraints: 36323
38.98/39.19 c #Conflicts: 865000 | #Constraints: 37323
38.98/39.19 c INPROCESSING
38.98/39.19 c GARBAGE COLLECT
38.98/39.19 c rational objective 300.5
39.98/40.11 c #Conflicts: 866000 | #Constraints: 19918
39.98/40.11 c #Conflicts: 867000 | #Constraints: 20918
39.98/40.11 c #Conflicts: 868000 | #Constraints: 21918
39.98/40.11 c #Conflicts: 869000 | #Constraints: 22918
39.98/40.11 c #Conflicts: 870000 | #Constraints: 23918
39.98/40.11 c #Conflicts: 871000 | #Constraints: 24918
39.98/40.11 c #Conflicts: 872000 | #Constraints: 25918
39.98/40.11 c #Conflicts: 873000 | #Constraints: 26918
39.98/40.11 c #Conflicts: 874000 | #Constraints: 27918
39.98/40.11 c #Conflicts: 875000 | #Constraints: 28918
39.98/40.11 c #Conflicts: 876000 | #Constraints: 29918
39.98/40.11 c #Conflicts: 877000 | #Constraints: 30918
39.98/40.11 c #Conflicts: 878000 | #Constraints: 31918
39.98/40.11 c #Conflicts: 879000 | #Constraints: 32918
39.98/40.11 c #Conflicts: 880000 | #Constraints: 33918
39.98/40.11 c #Conflicts: 881000 | #Constraints: 34918
39.98/40.11 c #Conflicts: 882000 | #Constraints: 35918
39.98/40.11 c #Conflicts: 883000 | #Constraints: 36918
39.98/40.11 c #Conflicts: 884000 | #Constraints: 37918
39.98/40.11 c INPROCESSING
39.98/40.11 c GARBAGE COLLECT
39.98/40.11 c rational objective 300.5
40.98/41.16 c #Conflicts: 885000 | #Constraints: 20330
40.98/41.16 c #Conflicts: 886000 | #Constraints: 21331
40.98/41.16 c #Conflicts: 887000 | #Constraints: 22331
40.98/41.16 c #Conflicts: 888000 | #Constraints: 23331
40.98/41.16 c #Conflicts: 889000 | #Constraints: 24332
40.98/41.16 c #Conflicts: 890000 | #Constraints: 25332
40.98/41.16 c #Conflicts: 891000 | #Constraints: 26332
40.98/41.16 c #Conflicts: 892000 | #Constraints: 27332
40.98/41.16 c #Conflicts: 893000 | #Constraints: 28332
40.98/41.16 c #Conflicts: 894000 | #Constraints: 29332
40.98/41.16 c #Conflicts: 895000 | #Constraints: 30332
40.98/41.16 c #Conflicts: 896000 | #Constraints: 31332
40.98/41.16 c #Conflicts: 897000 | #Constraints: 32332
40.98/41.16 c #Conflicts: 898000 | #Constraints: 33332
40.98/41.16 c #Conflicts: 899000 | #Constraints: 34332
40.98/41.16 c #Conflicts: 900000 | #Constraints: 35332
40.98/41.16 c #Conflicts: 901000 | #Constraints: 36332
40.98/41.16 c #Conflicts: 902000 | #Constraints: 37333
40.98/41.16 c #Conflicts: 903000 | #Constraints: 38333
40.98/41.16 c INPROCESSING
40.98/41.16 c GARBAGE COLLECT
40.98/41.16 c rational objective 300.5
41.98/42.12 c #Conflicts: 904000 | #Constraints: 20528
41.98/42.12 c #Conflicts: 905000 | #Constraints: 21528
41.98/42.12 c #Conflicts: 906000 | #Constraints: 22528
41.98/42.12 c #Conflicts: 907000 | #Constraints: 23528
41.98/42.12 c #Conflicts: 908000 | #Constraints: 24528
41.98/42.12 c #Conflicts: 909000 | #Constraints: 25528
41.98/42.12 c #Conflicts: 910000 | #Constraints: 26528
41.98/42.12 c #Conflicts: 911000 | #Constraints: 27528
41.98/42.12 c #Conflicts: 912000 | #Constraints: 28528
41.98/42.12 c #Conflicts: 913000 | #Constraints: 29528
41.98/42.12 c #Conflicts: 914000 | #Constraints: 30528
41.98/42.12 c #Conflicts: 915000 | #Constraints: 31528
41.98/42.12 c #Conflicts: 916000 | #Constraints: 32528
41.98/42.12 c #Conflicts: 917000 | #Constraints: 33528
41.98/42.12 c #Conflicts: 918000 | #Constraints: 34528
41.98/42.12 c #Conflicts: 919000 | #Constraints: 35528
41.98/42.12 c #Conflicts: 920000 | #Constraints: 36528
41.98/42.12 c #Conflicts: 921000 | #Constraints: 37528
41.98/42.12 c #Conflicts: 922000 | #Constraints: 38528
41.98/42.12 c INPROCESSING
41.98/42.12 c GARBAGE COLLECT
41.98/42.12 c rational objective 300.5
43.07/43.20 c #Conflicts: 923000 | #Constraints: 20532
43.07/43.20 c #Conflicts: 924000 | #Constraints: 21532
43.07/43.20 c #Conflicts: 925000 | #Constraints: 22532
43.07/43.20 c #Conflicts: 926000 | #Constraints: 23532
43.07/43.20 c #Conflicts: 927000 | #Constraints: 24532
43.07/43.20 c #Conflicts: 928000 | #Constraints: 25532
43.07/43.20 c #Conflicts: 929000 | #Constraints: 26532
43.07/43.20 c #Conflicts: 930000 | #Constraints: 27532
43.07/43.20 c #Conflicts: 931000 | #Constraints: 28532
43.07/43.20 c #Conflicts: 932000 | #Constraints: 29532
43.07/43.20 c #Conflicts: 933000 | #Constraints: 30532
43.07/43.20 c #Conflicts: 934000 | #Constraints: 31532
43.07/43.20 c #Conflicts: 935000 | #Constraints: 32532
43.07/43.20 c #Conflicts: 936000 | #Constraints: 33532
43.07/43.20 c #Conflicts: 937000 | #Constraints: 34532
43.07/43.20 c #Conflicts: 938000 | #Constraints: 35532
43.07/43.20 c #Conflicts: 939000 | #Constraints: 36532
43.07/43.20 c #Conflicts: 940000 | #Constraints: 37532
43.07/43.20 c #Conflicts: 941000 | #Constraints: 38532
43.07/43.20 c INPROCESSING
43.07/43.20 c GARBAGE COLLECT
43.07/43.20 c rational objective 300.5
44.17/44.31 c #Conflicts: 942000 | #Constraints: 20335
44.17/44.31 c #Conflicts: 943000 | #Constraints: 21335
44.17/44.31 c #Conflicts: 944000 | #Constraints: 22335
44.17/44.31 c #Conflicts: 945000 | #Constraints: 23335
44.17/44.31 c #Conflicts: 946000 | #Constraints: 24335
44.17/44.31 c #Conflicts: 947000 | #Constraints: 25335
44.17/44.31 c #Conflicts: 948000 | #Constraints: 26335
44.17/44.31 c #Conflicts: 949000 | #Constraints: 27335
44.17/44.31 c #Conflicts: 950000 | #Constraints: 28335
44.17/44.31 c #Conflicts: 951000 | #Constraints: 29335
44.17/44.31 c #Conflicts: 952000 | #Constraints: 30335
44.17/44.31 c #Conflicts: 953000 | #Constraints: 31335
44.17/44.31 c #Conflicts: 954000 | #Constraints: 32335
44.17/44.31 c #Conflicts: 955000 | #Constraints: 33335
44.17/44.31 c #Conflicts: 956000 | #Constraints: 34335
44.17/44.31 c #Conflicts: 957000 | #Constraints: 35335
44.17/44.31 c #Conflicts: 958000 | #Constraints: 36335
44.17/44.31 c #Conflicts: 959000 | #Constraints: 37335
44.17/44.31 c #Conflicts: 960000 | #Constraints: 38335
44.17/44.31 c #Conflicts: 961000 | #Constraints: 39335
44.17/44.31 c INPROCESSING
44.17/44.31 c GARBAGE COLLECT
44.17/44.31 c rational objective 300.5
45.26/45.44 c #Conflicts: 962000 | #Constraints: 20939
45.26/45.44 c #Conflicts: 963000 | #Constraints: 21939
45.26/45.44 c #Conflicts: 964000 | #Constraints: 22939
45.26/45.44 c #Conflicts: 965000 | #Constraints: 23939
45.26/45.44 c #Conflicts: 966000 | #Constraints: 24939
45.26/45.44 c #Conflicts: 967000 | #Constraints: 25939
45.26/45.44 c #Conflicts: 968000 | #Constraints: 26939
45.26/45.44 c #Conflicts: 969000 | #Constraints: 27939
45.26/45.44 c #Conflicts: 970000 | #Constraints: 28939
45.26/45.44 c #Conflicts: 971000 | #Constraints: 29939
45.26/45.44 c #Conflicts: 972000 | #Constraints: 30939
45.26/45.44 c #Conflicts: 973000 | #Constraints: 31939
45.26/45.44 c #Conflicts: 974000 | #Constraints: 32939
45.26/45.44 c #Conflicts: 975000 | #Constraints: 33939
45.26/45.44 c #Conflicts: 976000 | #Constraints: 34939
45.26/45.44 c #Conflicts: 977000 | #Constraints: 35939
45.26/45.44 c #Conflicts: 978000 | #Constraints: 36939
45.26/45.44 c #Conflicts: 979000 | #Constraints: 37939
45.26/45.44 c #Conflicts: 980000 | #Constraints: 38939
45.26/45.44 c #Conflicts: 981000 | #Constraints: 39939
45.26/45.44 c INPROCESSING
45.26/45.44 c GARBAGE COLLECT
45.26/45.44 c rational objective 300.5
46.07/46.29 c #Conflicts: 982000 | #Constraints: 21334
46.07/46.29 c #Conflicts: 983000 | #Constraints: 22334
46.07/46.29 c #Conflicts: 984000 | #Constraints: 23334
46.07/46.29 c #Conflicts: 985000 | #Constraints: 24334
46.07/46.29 c #Conflicts: 986000 | #Constraints: 25334
46.07/46.29 c #Conflicts: 987000 | #Constraints: 26334
46.07/46.29 c #Conflicts: 988000 | #Constraints: 27334
46.07/46.29 c #Conflicts: 989000 | #Constraints: 28334
46.07/46.29 c #Conflicts: 990000 | #Constraints: 29334
46.07/46.29 c #Conflicts: 991000 | #Constraints: 30334
46.07/46.29 c #Conflicts: 992000 | #Constraints: 31334
46.07/46.29 c #Conflicts: 993000 | #Constraints: 32334
46.07/46.29 c #Conflicts: 994000 | #Constraints: 33334
46.07/46.29 c #Conflicts: 995000 | #Constraints: 34334
46.07/46.29 c #Conflicts: 996000 | #Constraints: 35334
46.07/46.29 c #Conflicts: 997000 | #Constraints: 36334
46.07/46.29 c #Conflicts: 998000 | #Constraints: 37334
46.07/46.29 c #Conflicts: 999000 | #Constraints: 38334
46.07/46.29 c #Conflicts: 1000000 | #Constraints: 39334
46.07/46.29 c #Conflicts: 1001000 | #Constraints: 40334
46.07/46.29 c INPROCESSING
46.07/46.29 c GARBAGE COLLECT
46.07/46.29 c rational objective 300.5
47.36/47.57 c #Conflicts: 1002000 | #Constraints: 21537
47.36/47.57 c #Conflicts: 1003000 | #Constraints: 22537
47.36/47.57 c #Conflicts: 1004000 | #Constraints: 23537
47.36/47.57 c #Conflicts: 1005000 | #Constraints: 24537
47.36/47.57 c #Conflicts: 1006000 | #Constraints: 25537
47.36/47.57 c #Conflicts: 1007000 | #Constraints: 26537
47.36/47.57 c #Conflicts: 1008000 | #Constraints: 27537
47.36/47.57 c #Conflicts: 1009000 | #Constraints: 28537
47.36/47.57 c #Conflicts: 1010000 | #Constraints: 29537
47.36/47.57 c #Conflicts: 1011000 | #Constraints: 30537
47.36/47.57 c #Conflicts: 1012000 | #Constraints: 31537
47.36/47.57 c #Conflicts: 1013000 | #Constraints: 32537
47.36/47.57 c #Conflicts: 1014000 | #Constraints: 33537
47.36/47.57 c #Conflicts: 1015000 | #Constraints: 34537
47.36/47.57 c #Conflicts: 1016000 | #Constraints: 35537
47.36/47.57 c #Conflicts: 1017000 | #Constraints: 36537
47.36/47.57 c #Conflicts: 1018000 | #Constraints: 37537
47.36/47.57 c #Conflicts: 1019000 | #Constraints: 38537
47.36/47.57 c #Conflicts: 1020000 | #Constraints: 39537
47.36/47.57 c #Conflicts: 1021000 | #Constraints: 40537
47.36/47.57 c INPROCESSING
47.36/47.57 c GARBAGE COLLECT
47.36/47.57 c rational objective 300.5
48.66/48.81 c #Conflicts: 1022000 | #Constraints: 21539
48.66/48.81 c #Conflicts: 1023000 | #Constraints: 22539
48.66/48.81 c #Conflicts: 1024000 | #Constraints: 23539
48.66/48.81 c #Conflicts: 1025000 | #Constraints: 24539
48.66/48.81 c #Conflicts: 1026000 | #Constraints: 25539
48.66/48.81 c #Conflicts: 1027000 | #Constraints: 26539
48.66/48.81 c #Conflicts: 1028000 | #Constraints: 27539
48.66/48.81 c #Conflicts: 1029000 | #Constraints: 28539
48.66/48.81 c #Conflicts: 1030000 | #Constraints: 29539
48.66/48.81 c #Conflicts: 1031000 | #Constraints: 30539
48.66/48.81 c #Conflicts: 1032000 | #Constraints: 31539
48.66/48.81 c #Conflicts: 1033000 | #Constraints: 32539
48.66/48.81 c #Conflicts: 1034000 | #Constraints: 33539
48.66/48.81 c #Conflicts: 1035000 | #Constraints: 34539
48.66/48.81 c #Conflicts: 1036000 | #Constraints: 35539
48.66/48.81 c #Conflicts: 1037000 | #Constraints: 36539
48.66/48.81 c #Conflicts: 1038000 | #Constraints: 37539
48.66/48.81 c #Conflicts: 1039000 | #Constraints: 38539
48.66/48.81 c #Conflicts: 1040000 | #Constraints: 39539
48.66/48.81 c #Conflicts: 1041000 | #Constraints: 40539
48.66/48.81 c INPROCESSING
48.66/48.81 c GARBAGE COLLECT
48.66/48.81 c rational objective 300.5
49.86/50.09 c #Conflicts: 1042000 | #Constraints: 21343
49.86/50.09 c #Conflicts: 1043000 | #Constraints: 22343
49.86/50.09 c #Conflicts: 1044000 | #Constraints: 23343
49.86/50.09 c #Conflicts: 1045000 | #Constraints: 24343
49.86/50.09 c #Conflicts: 1046000 | #Constraints: 25343
49.86/50.09 c #Conflicts: 1047000 | #Constraints: 26343
49.86/50.09 c #Conflicts: 1048000 | #Constraints: 27343
49.86/50.09 c #Conflicts: 1049000 | #Constraints: 28343
49.86/50.09 c #Conflicts: 1050000 | #Constraints: 29343
49.86/50.09 c #Conflicts: 1051000 | #Constraints: 30343
49.86/50.09 c #Conflicts: 1052000 | #Constraints: 31343
49.86/50.09 c #Conflicts: 1053000 | #Constraints: 32343
49.86/50.09 c #Conflicts: 1054000 | #Constraints: 33343
49.86/50.09 c #Conflicts: 1055000 | #Constraints: 34343
49.86/50.09 c #Conflicts: 1056000 | #Constraints: 35343
49.86/50.09 c #Conflicts: 1057000 | #Constraints: 36343
49.86/50.09 c #Conflicts: 1058000 | #Constraints: 37343
49.86/50.09 c #Conflicts: 1059000 | #Constraints: 38343
49.86/50.09 c #Conflicts: 1060000 | #Constraints: 39343
49.86/50.09 c #Conflicts: 1061000 | #Constraints: 40343
49.86/50.09 c #Conflicts: 1062000 | #Constraints: 41343
49.86/50.09 c INPROCESSING
49.86/50.09 c GARBAGE COLLECT
49.86/50.09 c rational objective 300.5
51.55/51.79 c #Conflicts: 1063000 | #Constraints: 21951
51.55/51.79 c #Conflicts: 1064000 | #Constraints: 22951
51.55/51.79 c #Conflicts: 1065000 | #Constraints: 23951
51.55/51.79 c #Conflicts: 1066000 | #Constraints: 24951
51.55/51.79 c #Conflicts: 1067000 | #Constraints: 25951
51.55/51.79 c #Conflicts: 1068000 | #Constraints: 26951
51.55/51.79 c #Conflicts: 1069000 | #Constraints: 27951
51.55/51.79 c #Conflicts: 1070000 | #Constraints: 28951
51.55/51.79 c #Conflicts: 1071000 | #Constraints: 29951
51.55/51.79 c #Conflicts: 1072000 | #Constraints: 30951
51.55/51.79 c #Conflicts: 1073000 | #Constraints: 31951
51.55/51.79 c #Conflicts: 1074000 | #Constraints: 32951
51.55/51.79 c #Conflicts: 1075000 | #Constraints: 33951
51.55/51.79 c #Conflicts: 1076000 | #Constraints: 34951
51.55/51.79 c #Conflicts: 1077000 | #Constraints: 35951
51.55/51.79 c #Conflicts: 1078000 | #Constraints: 36951
51.55/51.79 c #Conflicts: 1079000 | #Constraints: 37951
51.55/51.79 c #Conflicts: 1080000 | #Constraints: 38951
51.55/51.79 c #Conflicts: 1081000 | #Constraints: 39951
51.55/51.79 c #Conflicts: 1082000 | #Constraints: 40951
51.55/51.79 c #Conflicts: 1083000 | #Constraints: 41951
51.55/51.79 c INPROCESSING
51.55/51.79 c GARBAGE COLLECT
51.55/51.79 c rational objective 300.5
52.54/52.76 c #Conflicts: 1084000 | #Constraints: 22348
52.54/52.76 c #Conflicts: 1085000 | #Constraints: 23348
52.54/52.76 c #Conflicts: 1086000 | #Constraints: 24348
52.54/52.76 c #Conflicts: 1087000 | #Constraints: 25348
52.54/52.76 c #Conflicts: 1088000 | #Constraints: 26348
52.54/52.76 c #Conflicts: 1089000 | #Constraints: 27348
52.54/52.76 c #Conflicts: 1090000 | #Constraints: 28348
52.54/52.76 c #Conflicts: 1091000 | #Constraints: 29348
52.54/52.76 c #Conflicts: 1092000 | #Constraints: 30348
52.54/52.76 c #Conflicts: 1093000 | #Constraints: 31348
52.54/52.76 c #Conflicts: 1094000 | #Constraints: 32348
52.54/52.76 c #Conflicts: 1095000 | #Constraints: 33348
52.54/52.76 c #Conflicts: 1096000 | #Constraints: 34348
52.54/52.76 c #Conflicts: 1097000 | #Constraints: 35348
52.54/52.76 c #Conflicts: 1098000 | #Constraints: 36348
52.54/52.76 c #Conflicts: 1099000 | #Constraints: 37348
52.54/52.76 c #Conflicts: 1100000 | #Constraints: 38348
52.54/52.76 c #Conflicts: 1101000 | #Constraints: 39348
52.54/52.76 c #Conflicts: 1102000 | #Constraints: 40348
52.54/52.76 c #Conflicts: 1103000 | #Constraints: 41348
52.54/52.76 c #Conflicts: 1104000 | #Constraints: 42348
52.54/52.76 c INPROCESSING
52.54/52.76 c GARBAGE COLLECT
52.54/52.76 c rational objective 300.5
54.24/54.40 c #Conflicts: 1105000 | #Constraints: 22542
54.24/54.40 c #Conflicts: 1106000 | #Constraints: 23542
54.24/54.40 c #Conflicts: 1107000 | #Constraints: 24542
54.24/54.40 c #Conflicts: 1108000 | #Constraints: 25542
54.24/54.40 c #Conflicts: 1109000 | #Constraints: 26542
54.24/54.40 c #Conflicts: 1110000 | #Constraints: 27542
54.24/54.40 c #Conflicts: 1111000 | #Constraints: 28542
54.24/54.40 c #Conflicts: 1112000 | #Constraints: 29542
54.24/54.40 c #Conflicts: 1113000 | #Constraints: 30542
54.24/54.40 c #Conflicts: 1114000 | #Constraints: 31542
54.24/54.40 c #Conflicts: 1115000 | #Constraints: 32542
54.24/54.40 c #Conflicts: 1116000 | #Constraints: 33542
54.24/54.40 c #Conflicts: 1117000 | #Constraints: 34542
54.24/54.40 c #Conflicts: 1118000 | #Constraints: 35542
54.24/54.40 c #Conflicts: 1119000 | #Constraints: 36542
54.24/54.40 c #Conflicts: 1120000 | #Constraints: 37542
54.24/54.40 c #Conflicts: 1121000 | #Constraints: 38542
54.24/54.40 c #Conflicts: 1122000 | #Constraints: 39542
54.24/54.40 c #Conflicts: 1123000 | #Constraints: 40542
54.24/54.40 c #Conflicts: 1124000 | #Constraints: 41542
54.24/54.40 c #Conflicts: 1125000 | #Constraints: 42542
54.24/54.40 c INPROCESSING
54.24/54.40 c GARBAGE COLLECT
54.24/54.40 c rational objective 300.5
55.24/55.46 c #Conflicts: 1126000 | #Constraints: 22542
55.24/55.46 c #Conflicts: 1127000 | #Constraints: 23542
55.24/55.46 c #Conflicts: 1128000 | #Constraints: 24542
55.24/55.46 c #Conflicts: 1129000 | #Constraints: 25542
55.24/55.46 c #Conflicts: 1130000 | #Constraints: 26542
55.24/55.46 c #Conflicts: 1131000 | #Constraints: 27542
55.24/55.46 c #Conflicts: 1132000 | #Constraints: 28542
55.24/55.46 c #Conflicts: 1133000 | #Constraints: 29542
55.24/55.46 c #Conflicts: 1134000 | #Constraints: 30542
55.24/55.46 c #Conflicts: 1135000 | #Constraints: 31542
55.24/55.46 c #Conflicts: 1136000 | #Constraints: 32542
55.24/55.46 c #Conflicts: 1137000 | #Constraints: 33542
55.24/55.46 c #Conflicts: 1138000 | #Constraints: 34542
55.24/55.46 c #Conflicts: 1139000 | #Constraints: 35542
55.24/55.46 c #Conflicts: 1140000 | #Constraints: 36542
55.24/55.46 c #Conflicts: 1141000 | #Constraints: 37542
55.24/55.46 c #Conflicts: 1142000 | #Constraints: 38542
55.24/55.46 c #Conflicts: 1143000 | #Constraints: 39542
55.24/55.46 c #Conflicts: 1144000 | #Constraints: 40542
55.24/55.46 c #Conflicts: 1145000 | #Constraints: 41542
55.24/55.46 c #Conflicts: 1146000 | #Constraints: 42542
55.24/55.46 c INPROCESSING
55.24/55.46 c GARBAGE COLLECT
55.24/55.46 c rational objective 300.5
56.44/56.66 c #Conflicts: 1147000 | #Constraints: 22340
56.44/56.66 c #Conflicts: 1148000 | #Constraints: 23340
56.44/56.66 c #Conflicts: 1149000 | #Constraints: 24340
56.44/56.66 c #Conflicts: 1150000 | #Constraints: 25340
56.44/56.66 c #Conflicts: 1151000 | #Constraints: 26340
56.44/56.66 c #Conflicts: 1152000 | #Constraints: 27340
56.44/56.66 c #Conflicts: 1153000 | #Constraints: 28340
56.44/56.66 c #Conflicts: 1154000 | #Constraints: 29340
56.44/56.66 c #Conflicts: 1155000 | #Constraints: 30340
56.44/56.66 c #Conflicts: 1156000 | #Constraints: 31340
56.44/56.66 c #Conflicts: 1157000 | #Constraints: 32340
56.44/56.66 c #Conflicts: 1158000 | #Constraints: 33340
56.44/56.66 c #Conflicts: 1159000 | #Constraints: 34340
56.44/56.66 c #Conflicts: 1160000 | #Constraints: 35340
56.44/56.66 c #Conflicts: 1161000 | #Constraints: 36340
56.44/56.66 c #Conflicts: 1162000 | #Constraints: 37340
56.44/56.66 c #Conflicts: 1163000 | #Constraints: 38340
56.44/56.66 c #Conflicts: 1164000 | #Constraints: 39340
56.44/56.66 c #Conflicts: 1165000 | #Constraints: 40340
56.44/56.66 c #Conflicts: 1166000 | #Constraints: 41340
56.44/56.66 c #Conflicts: 1167000 | #Constraints: 42340
56.44/56.66 c #Conflicts: 1168000 | #Constraints: 43340
56.44/56.66 c INPROCESSING
56.44/56.66 c GARBAGE COLLECT
56.44/56.66 c rational objective 300.5
57.53/57.78 c #Conflicts: 1169000 | #Constraints: 22939
57.53/57.78 c #Conflicts: 1170000 | #Constraints: 23939
57.53/57.78 c #Conflicts: 1171000 | #Constraints: 24939
57.53/57.78 c #Conflicts: 1172000 | #Constraints: 25939
57.53/57.78 c #Conflicts: 1173000 | #Constraints: 26939
57.53/57.78 c #Conflicts: 1174000 | #Constraints: 27939
57.53/57.78 c #Conflicts: 1175000 | #Constraints: 28939
57.53/57.78 c #Conflicts: 1176000 | #Constraints: 29939
57.53/57.78 c #Conflicts: 1177000 | #Constraints: 30939
57.53/57.78 c #Conflicts: 1178000 | #Constraints: 31939
57.53/57.78 c #Conflicts: 1179000 | #Constraints: 32939
57.53/57.78 c #Conflicts: 1180000 | #Constraints: 33939
57.53/57.78 c #Conflicts: 1181000 | #Constraints: 34939
57.53/57.78 c #Conflicts: 1182000 | #Constraints: 35939
57.53/57.78 c #Conflicts: 1183000 | #Constraints: 36939
57.53/57.78 c #Conflicts: 1184000 | #Constraints: 37939
57.53/57.78 c #Conflicts: 1185000 | #Constraints: 38939
57.53/57.78 c #Conflicts: 1186000 | #Constraints: 39939
57.53/57.78 c #Conflicts: 1187000 | #Constraints: 40939
57.53/57.78 c #Conflicts: 1188000 | #Constraints: 41939
57.53/57.78 c #Conflicts: 1189000 | #Constraints: 42939
57.53/57.78 c #Conflicts: 1190000 | #Constraints: 43939
57.53/57.78 c INPROCESSING
57.53/57.78 c GARBAGE COLLECT
57.53/57.78 c rational objective 300.5
58.84/59.02 c #Conflicts: 1191000 | #Constraints: 23345
58.84/59.02 c #Conflicts: 1192000 | #Constraints: 24345
58.84/59.02 c #Conflicts: 1193000 | #Constraints: 25345
58.84/59.02 c #Conflicts: 1194000 | #Constraints: 26345
58.84/59.02 c #Conflicts: 1195000 | #Constraints: 27345
58.84/59.02 c #Conflicts: 1196000 | #Constraints: 28345
58.84/59.02 c #Conflicts: 1197000 | #Constraints: 29345
58.84/59.02 c #Conflicts: 1198000 | #Constraints: 30345
58.84/59.02 c #Conflicts: 1199000 | #Constraints: 31345
58.84/59.02 c #Conflicts: 1200000 | #Constraints: 32345
58.84/59.02 c #Conflicts: 1201000 | #Constraints: 33345
58.84/59.02 c #Conflicts: 1202000 | #Constraints: 34345
58.84/59.02 c #Conflicts: 1203000 | #Constraints: 35345
58.84/59.02 c #Conflicts: 1204000 | #Constraints: 36345
58.84/59.02 c #Conflicts: 1205000 | #Constraints: 37345
58.84/59.02 c #Conflicts: 1206000 | #Constraints: 38345
58.84/59.02 c #Conflicts: 1207000 | #Constraints: 39345
58.84/59.02 c #Conflicts: 1208000 | #Constraints: 40345
58.84/59.02 c #Conflicts: 1209000 | #Constraints: 41345
58.84/59.02 c #Conflicts: 1210000 | #Constraints: 42345
58.84/59.02 c #Conflicts: 1211000 | #Constraints: 43345
58.84/59.02 c #Conflicts: 1212000 | #Constraints: 44345
58.84/59.02 c INPROCESSING
58.84/59.02 c GARBAGE COLLECT
58.84/59.02 c rational objective 300.5
60.23/60.46 c #Conflicts: 1213000 | #Constraints: 23538
60.23/60.46 c #Conflicts: 1214000 | #Constraints: 24538
60.23/60.46 c #Conflicts: 1215000 | #Constraints: 25538
60.23/60.46 c #Conflicts: 1216000 | #Constraints: 26538
60.23/60.46 c #Conflicts: 1217000 | #Constraints: 27538
60.23/60.46 c #Conflicts: 1218000 | #Constraints: 28538
60.23/60.46 c #Conflicts: 1219000 | #Constraints: 29538
60.23/60.46 c #Conflicts: 1220000 | #Constraints: 30538
60.23/60.46 c #Conflicts: 1221000 | #Constraints: 31538
60.23/60.46 c #Conflicts: 1222000 | #Constraints: 32538
60.23/60.46 c #Conflicts: 1223000 | #Constraints: 33538
60.23/60.46 c #Conflicts: 1224000 | #Constraints: 34538
60.23/60.46 c #Conflicts: 1225000 | #Constraints: 35538
60.23/60.46 c #Conflicts: 1226000 | #Constraints: 36538
60.23/60.46 c #Conflicts: 1227000 | #Constraints: 37538
60.23/60.46 c #Conflicts: 1228000 | #Constraints: 38538
60.23/60.46 c #Conflicts: 1229000 | #Constraints: 39538
60.23/60.46 c #Conflicts: 1230000 | #Constraints: 40538
60.23/60.46 c #Conflicts: 1231000 | #Constraints: 41538
60.23/60.46 c #Conflicts: 1232000 | #Constraints: 42538
60.23/60.46 c #Conflicts: 1233000 | #Constraints: 43538
60.23/60.46 c #Conflicts: 1234000 | #Constraints: 44538
60.23/60.46 c INPROCESSING
60.23/60.46 c GARBAGE COLLECT
60.23/60.46 c rational objective 300.5
61.52/61.72 c #Conflicts: 1235000 | #Constraints: 23537
61.52/61.72 c #Conflicts: 1236000 | #Constraints: 24537
61.52/61.72 c #Conflicts: 1237000 | #Constraints: 25537
61.52/61.72 c #Conflicts: 1238000 | #Constraints: 26537
61.52/61.72 c #Conflicts: 1239000 | #Constraints: 27537
61.52/61.72 c #Conflicts: 1240000 | #Constraints: 28537
61.52/61.72 c #Conflicts: 1241000 | #Constraints: 29537
61.52/61.72 c #Conflicts: 1242000 | #Constraints: 30537
61.52/61.72 c #Conflicts: 1243000 | #Constraints: 31537
61.52/61.72 c #Conflicts: 1244000 | #Constraints: 32537
61.52/61.72 c #Conflicts: 1245000 | #Constraints: 33537
61.52/61.72 c #Conflicts: 1246000 | #Constraints: 34537
61.52/61.72 c #Conflicts: 1247000 | #Constraints: 35537
61.52/61.72 c #Conflicts: 1248000 | #Constraints: 36537
61.52/61.72 c #Conflicts: 1249000 | #Constraints: 37537
61.52/61.72 c #Conflicts: 1250000 | #Constraints: 38537
61.52/61.72 c #Conflicts: 1251000 | #Constraints: 39537
61.52/61.72 c #Conflicts: 1252000 | #Constraints: 40537
61.52/61.72 c #Conflicts: 1253000 | #Constraints: 41537
61.52/61.72 c #Conflicts: 1254000 | #Constraints: 42537
61.52/61.72 c #Conflicts: 1255000 | #Constraints: 43537
61.52/61.72 c #Conflicts: 1256000 | #Constraints: 44537
61.52/61.72 c INPROCESSING
61.52/61.72 c GARBAGE COLLECT
61.52/61.72 c rational objective 300.5
62.93/63.11 c #Conflicts: 1257000 | #Constraints: 23342
62.93/63.11 c #Conflicts: 1258000 | #Constraints: 24342
62.93/63.11 c #Conflicts: 1259000 | #Constraints: 25342
62.93/63.11 c #Conflicts: 1260000 | #Constraints: 26342
62.93/63.11 c #Conflicts: 1261000 | #Constraints: 27342
62.93/63.11 c #Conflicts: 1262000 | #Constraints: 28342
62.93/63.11 c #Conflicts: 1263000 | #Constraints: 29342
62.93/63.11 c #Conflicts: 1264000 | #Constraints: 30342
62.93/63.11 c #Conflicts: 1265000 | #Constraints: 31342
62.93/63.11 c #Conflicts: 1266000 | #Constraints: 32342
62.93/63.11 c #Conflicts: 1267000 | #Constraints: 33342
62.93/63.11 c #Conflicts: 1268000 | #Constraints: 34342
62.93/63.11 c #Conflicts: 1269000 | #Constraints: 35342
62.93/63.11 c #Conflicts: 1270000 | #Constraints: 36342
62.93/63.11 c #Conflicts: 1271000 | #Constraints: 37342
62.93/63.11 c #Conflicts: 1272000 | #Constraints: 38342
62.93/63.11 c #Conflicts: 1273000 | #Constraints: 39342
62.93/63.11 c #Conflicts: 1274000 | #Constraints: 40342
62.93/63.11 c #Conflicts: 1275000 | #Constraints: 41342
62.93/63.11 c #Conflicts: 1276000 | #Constraints: 42342
62.93/63.11 c #Conflicts: 1277000 | #Constraints: 43342
62.93/63.11 c #Conflicts: 1278000 | #Constraints: 44342
62.93/63.11 c #Conflicts: 1279000 | #Constraints: 45342
62.93/63.11 c INPROCESSING
62.93/63.11 c GARBAGE COLLECT
62.93/63.11 c rational objective 300.5
64.12/64.37 c #Conflicts: 1280000 | #Constraints: 23934
64.12/64.37 c #Conflicts: 1281000 | #Constraints: 24934
64.12/64.37 c #Conflicts: 1282000 | #Constraints: 25934
64.12/64.37 c #Conflicts: 1283000 | #Constraints: 26934
64.12/64.37 c #Conflicts: 1284000 | #Constraints: 27934
64.12/64.37 c #Conflicts: 1285000 | #Constraints: 28934
64.12/64.37 c #Conflicts: 1286000 | #Constraints: 29934
64.12/64.37 c #Conflicts: 1287000 | #Constraints: 30934
64.12/64.37 c #Conflicts: 1288000 | #Constraints: 31934
64.12/64.37 c #Conflicts: 1289000 | #Constraints: 32934
64.12/64.37 c #Conflicts: 1290000 | #Constraints: 33934
64.12/64.37 c #Conflicts: 1291000 | #Constraints: 34934
64.12/64.37 c #Conflicts: 1292000 | #Constraints: 35934
64.12/64.37 c #Conflicts: 1293000 | #Constraints: 36934
64.12/64.37 c #Conflicts: 1294000 | #Constraints: 37934
64.12/64.37 c #Conflicts: 1295000 | #Constraints: 38934
64.12/64.37 c #Conflicts: 1296000 | #Constraints: 39934
64.12/64.37 c #Conflicts: 1297000 | #Constraints: 40934
64.12/64.37 c #Conflicts: 1298000 | #Constraints: 41934
64.12/64.37 c #Conflicts: 1299000 | #Constraints: 42934
64.12/64.37 c #Conflicts: 1300000 | #Constraints: 43934
64.12/64.37 c #Conflicts: 1301000 | #Constraints: 44934
64.12/64.37 c #Conflicts: 1302000 | #Constraints: 45934
64.12/64.37 c INPROCESSING
64.12/64.37 c GARBAGE COLLECT
64.12/64.37 c rational objective 300.5
65.41/65.63 c #Conflicts: 1303000 | #Constraints: 24344
65.41/65.63 c #Conflicts: 1304000 | #Constraints: 25344
65.41/65.63 c #Conflicts: 1305000 | #Constraints: 26344
65.41/65.63 c #Conflicts: 1306000 | #Constraints: 27344
65.41/65.63 c #Conflicts: 1307000 | #Constraints: 28344
65.41/65.63 c #Conflicts: 1308000 | #Constraints: 29344
65.41/65.63 c #Conflicts: 1309000 | #Constraints: 30344
65.41/65.63 c #Conflicts: 1310000 | #Constraints: 31344
65.41/65.63 c #Conflicts: 1311000 | #Constraints: 32344
65.41/65.63 c #Conflicts: 1312000 | #Constraints: 33344
65.41/65.63 c #Conflicts: 1313000 | #Constraints: 34344
65.41/65.63 c #Conflicts: 1314000 | #Constraints: 35344
65.41/65.63 c #Conflicts: 1315000 | #Constraints: 36344
65.41/65.63 c #Conflicts: 1316000 | #Constraints: 37344
65.41/65.63 c #Conflicts: 1317000 | #Constraints: 38344
65.41/65.63 c #Conflicts: 1318000 | #Constraints: 39344
65.41/65.63 c #Conflicts: 1319000 | #Constraints: 40344
65.41/65.63 c #Conflicts: 1320000 | #Constraints: 41344
65.41/65.63 c #Conflicts: 1321000 | #Constraints: 42344
65.41/65.63 c #Conflicts: 1322000 | #Constraints: 43344
65.41/65.63 c #Conflicts: 1323000 | #Constraints: 44344
65.41/65.63 c #Conflicts: 1324000 | #Constraints: 45344
65.41/65.63 c #Conflicts: 1325000 | #Constraints: 46344
65.41/65.63 c INPROCESSING
65.41/65.63 c GARBAGE COLLECT
65.41/65.63 c rational objective 300.5
67.11/67.37 c #Conflicts: 1326000 | #Constraints: 24558
67.11/67.37 c #Conflicts: 1327000 | #Constraints: 25558
67.11/67.37 c #Conflicts: 1328000 | #Constraints: 26558
67.11/67.37 c #Conflicts: 1329000 | #Constraints: 27558
67.11/67.37 c #Conflicts: 1330000 | #Constraints: 28558
67.11/67.37 c #Conflicts: 1331000 | #Constraints: 29558
67.11/67.37 c #Conflicts: 1332000 | #Constraints: 30558
67.11/67.37 c #Conflicts: 1333000 | #Constraints: 31558
67.11/67.37 c #Conflicts: 1334000 | #Constraints: 32558
67.11/67.37 c #Conflicts: 1335000 | #Constraints: 33558
67.11/67.37 c #Conflicts: 1336000 | #Constraints: 34558
67.11/67.37 c #Conflicts: 1337000 | #Constraints: 35558
67.11/67.37 c #Conflicts: 1338000 | #Constraints: 36558
67.11/67.37 c #Conflicts: 1339000 | #Constraints: 37558
67.11/67.37 c #Conflicts: 1340000 | #Constraints: 38558
67.11/67.37 c #Conflicts: 1341000 | #Constraints: 39558
67.11/67.37 c #Conflicts: 1342000 | #Constraints: 40558
67.11/67.37 c #Conflicts: 1343000 | #Constraints: 41558
67.11/67.37 c #Conflicts: 1344000 | #Constraints: 42558
67.11/67.37 c #Conflicts: 1345000 | #Constraints: 43558
67.11/67.37 c #Conflicts: 1346000 | #Constraints: 44558
67.11/67.37 c #Conflicts: 1347000 | #Constraints: 45558
67.11/67.37 c #Conflicts: 1348000 | #Constraints: 46558
67.11/67.37 c INPROCESSING
67.11/67.37 c GARBAGE COLLECT
67.11/67.37 c rational objective 300.5
68.50/68.75 c #Conflicts: 1349000 | #Constraints: 24549
68.50/68.75 c #Conflicts: 1350000 | #Constraints: 25549
68.50/68.75 c #Conflicts: 1351000 | #Constraints: 26549
68.50/68.75 c #Conflicts: 1352000 | #Constraints: 27549
68.50/68.75 c #Conflicts: 1353000 | #Constraints: 28549
68.50/68.75 c #Conflicts: 1354000 | #Constraints: 29549
68.50/68.75 c #Conflicts: 1355000 | #Constraints: 30549
68.50/68.75 c #Conflicts: 1356000 | #Constraints: 31549
68.50/68.75 c #Conflicts: 1357000 | #Constraints: 32549
68.50/68.75 c #Conflicts: 1358000 | #Constraints: 33549
68.50/68.75 c #Conflicts: 1359000 | #Constraints: 34549
68.50/68.75 c #Conflicts: 1360000 | #Constraints: 35549
68.50/68.75 c #Conflicts: 1361000 | #Constraints: 36549
68.50/68.75 c #Conflicts: 1362000 | #Constraints: 37549
68.50/68.75 c #Conflicts: 1363000 | #Constraints: 38549
68.50/68.75 c #Conflicts: 1364000 | #Constraints: 39549
68.50/68.75 c #Conflicts: 1365000 | #Constraints: 40549
68.50/68.75 c #Conflicts: 1366000 | #Constraints: 41549
68.50/68.75 c #Conflicts: 1367000 | #Constraints: 42549
68.50/68.75 c #Conflicts: 1368000 | #Constraints: 43549
68.50/68.75 c #Conflicts: 1369000 | #Constraints: 44549
68.50/68.75 c #Conflicts: 1370000 | #Constraints: 45549
68.50/68.75 c #Conflicts: 1371000 | #Constraints: 46549
68.50/68.75 c INPROCESSING
68.50/68.75 c GARBAGE COLLECT
68.50/68.75 c rational objective 300.5
69.91/70.14 c #Conflicts: 1372000 | #Constraints: 24346
69.91/70.14 c #Conflicts: 1373000 | #Constraints: 25346
69.91/70.14 c #Conflicts: 1374000 | #Constraints: 26346
69.91/70.14 c #Conflicts: 1375000 | #Constraints: 27346
69.91/70.14 c #Conflicts: 1376000 | #Constraints: 28346
69.91/70.14 c #Conflicts: 1377000 | #Constraints: 29346
69.91/70.14 c #Conflicts: 1378000 | #Constraints: 30346
69.91/70.14 c #Conflicts: 1379000 | #Constraints: 31346
69.91/70.14 c #Conflicts: 1380000 | #Constraints: 32346
69.91/70.14 c #Conflicts: 1381000 | #Constraints: 33346
69.91/70.14 c #Conflicts: 1382000 | #Constraints: 34346
69.91/70.14 c #Conflicts: 1383000 | #Constraints: 35346
69.91/70.14 c #Conflicts: 1384000 | #Constraints: 36346
69.91/70.14 c #Conflicts: 1385000 | #Constraints: 37346
69.91/70.14 c #Conflicts: 1386000 | #Constraints: 38346
69.91/70.14 c #Conflicts: 1387000 | #Constraints: 39346
69.91/70.14 c #Conflicts: 1388000 | #Constraints: 40346
69.91/70.14 c #Conflicts: 1389000 | #Constraints: 41346
69.91/70.14 c #Conflicts: 1390000 | #Constraints: 42346
69.91/70.14 c #Conflicts: 1391000 | #Constraints: 43346
69.91/70.14 c #Conflicts: 1392000 | #Constraints: 44346
69.91/70.14 c #Conflicts: 1393000 | #Constraints: 45346
69.91/70.14 c #Conflicts: 1394000 | #Constraints: 46346
69.91/70.14 c #Conflicts: 1395000 | #Constraints: 47346
69.91/70.14 c INPROCESSING
69.91/70.14 c GARBAGE COLLECT
69.91/70.14 c rational objective 300.5
71.30/71.57 c #Conflicts: 1396000 | #Constraints: 24955
71.30/71.57 c #Conflicts: 1397000 | #Constraints: 25955
71.30/71.57 c #Conflicts: 1398000 | #Constraints: 26955
71.30/71.57 c #Conflicts: 1399000 | #Constraints: 27955
71.30/71.57 c #Conflicts: 1400000 | #Constraints: 28955
71.30/71.57 c #Conflicts: 1401000 | #Constraints: 29955
71.30/71.57 c #Conflicts: 1402000 | #Constraints: 30955
71.30/71.57 c #Conflicts: 1403000 | #Constraints: 31955
71.30/71.57 c #Conflicts: 1404000 | #Constraints: 32955
71.30/71.57 c #Conflicts: 1405000 | #Constraints: 33955
71.30/71.57 c #Conflicts: 1406000 | #Constraints: 34955
71.30/71.57 c #Conflicts: 1407000 | #Constraints: 35955
71.30/71.57 c #Conflicts: 1408000 | #Constraints: 36955
71.30/71.57 c #Conflicts: 1409000 | #Constraints: 37955
71.30/71.57 c #Conflicts: 1410000 | #Constraints: 38955
71.30/71.57 c #Conflicts: 1411000 | #Constraints: 39955
71.30/71.57 c #Conflicts: 1412000 | #Constraints: 40955
71.30/71.57 c #Conflicts: 1413000 | #Constraints: 41955
71.30/71.57 c #Conflicts: 1414000 | #Constraints: 42955
71.30/71.57 c #Conflicts: 1415000 | #Constraints: 43955
71.30/71.57 c #Conflicts: 1416000 | #Constraints: 44955
71.30/71.57 c #Conflicts: 1417000 | #Constraints: 45955
71.30/71.57 c #Conflicts: 1418000 | #Constraints: 46955
71.30/71.57 c #Conflicts: 1419000 | #Constraints: 47955
71.30/71.57 c INPROCESSING
71.30/71.57 c GARBAGE COLLECT
71.30/71.57 c rational objective 300.5
72.69/72.93 c #Conflicts: 1420000 | #Constraints: 25350
72.69/72.93 c #Conflicts: 1421000 | #Constraints: 26350
72.69/72.93 c #Conflicts: 1422000 | #Constraints: 27350
72.69/72.93 c #Conflicts: 1423000 | #Constraints: 28350
72.69/72.93 c #Conflicts: 1424000 | #Constraints: 29350
72.69/72.93 c #Conflicts: 1425000 | #Constraints: 30350
72.69/72.93 c #Conflicts: 1426000 | #Constraints: 31350
72.69/72.93 c #Conflicts: 1427000 | #Constraints: 32350
72.69/72.93 c #Conflicts: 1428000 | #Constraints: 33350
72.69/72.93 c #Conflicts: 1429000 | #Constraints: 34350
72.69/72.93 c #Conflicts: 1430000 | #Constraints: 35350
72.69/72.93 c #Conflicts: 1431000 | #Constraints: 36350
72.69/72.93 c #Conflicts: 1432000 | #Constraints: 37350
72.69/72.93 c #Conflicts: 1433000 | #Constraints: 38350
72.69/72.93 c #Conflicts: 1434000 | #Constraints: 39350
72.69/72.93 c #Conflicts: 1435000 | #Constraints: 40350
72.69/72.93 c #Conflicts: 1436000 | #Constraints: 41350
72.69/72.93 c #Conflicts: 1437000 | #Constraints: 42350
72.69/72.93 c #Conflicts: 1438000 | #Constraints: 43350
72.69/72.93 c #Conflicts: 1439000 | #Constraints: 44350
72.69/72.93 c #Conflicts: 1440000 | #Constraints: 45350
72.69/72.93 c #Conflicts: 1441000 | #Constraints: 46350
72.69/72.93 c #Conflicts: 1442000 | #Constraints: 47350
72.69/72.93 c #Conflicts: 1443000 | #Constraints: 48350
72.69/72.93 c INPROCESSING
72.69/72.93 c GARBAGE COLLECT
72.69/72.93 c rational objective 300.5
74.09/74.35 c #Conflicts: 1444000 | #Constraints: 25554
74.09/74.35 c #Conflicts: 1445000 | #Constraints: 26554
74.09/74.35 c #Conflicts: 1446000 | #Constraints: 27554
74.09/74.35 c #Conflicts: 1447000 | #Constraints: 28554
74.09/74.35 c #Conflicts: 1448000 | #Constraints: 29554
74.09/74.35 c #Conflicts: 1449000 | #Constraints: 30554
74.09/74.35 c #Conflicts: 1450000 | #Constraints: 31554
74.09/74.35 c #Conflicts: 1451000 | #Constraints: 32554
74.09/74.35 c #Conflicts: 1452000 | #Constraints: 33554
74.09/74.35 c #Conflicts: 1453000 | #Constraints: 34554
74.09/74.35 c #Conflicts: 1454000 | #Constraints: 35554
74.09/74.35 c #Conflicts: 1455000 | #Constraints: 36554
74.09/74.35 c #Conflicts: 1456000 | #Constraints: 37554
74.09/74.35 c #Conflicts: 1457000 | #Constraints: 38554
74.09/74.35 c #Conflicts: 1458000 | #Constraints: 39554
74.09/74.35 c #Conflicts: 1459000 | #Constraints: 40554
74.09/74.35 c #Conflicts: 1460000 | #Constraints: 41554
74.09/74.35 c #Conflicts: 1461000 | #Constraints: 42554
74.09/74.35 c #Conflicts: 1462000 | #Constraints: 43554
74.09/74.35 c #Conflicts: 1463000 | #Constraints: 44554
74.09/74.35 c #Conflicts: 1464000 | #Constraints: 45554
74.09/74.35 c #Conflicts: 1465000 | #Constraints: 46554
74.09/74.35 c #Conflicts: 1466000 | #Constraints: 47554
74.09/74.35 c #Conflicts: 1467000 | #Constraints: 48554
74.09/74.35 c INPROCESSING
74.09/74.35 c GARBAGE COLLECT
74.09/74.35 c rational objective 300.5
75.49/75.77 c #Conflicts: 1468000 | #Constraints: 25552
75.49/75.77 c #Conflicts: 1469000 | #Constraints: 26552
75.49/75.77 c #Conflicts: 1470000 | #Constraints: 27552
75.49/75.77 c #Conflicts: 1471000 | #Constraints: 28552
75.49/75.77 c #Conflicts: 1472000 | #Constraints: 29552
75.49/75.77 c #Conflicts: 1473000 | #Constraints: 30552
75.49/75.77 c #Conflicts: 1474000 | #Constraints: 31552
75.49/75.77 c #Conflicts: 1475000 | #Constraints: 32552
75.49/75.77 c #Conflicts: 1476000 | #Constraints: 33552
75.49/75.77 c #Conflicts: 1477000 | #Constraints: 34552
75.49/75.77 c #Conflicts: 1478000 | #Constraints: 35552
75.49/75.77 c #Conflicts: 1479000 | #Constraints: 36552
75.49/75.77 c #Conflicts: 1480000 | #Constraints: 37552
75.49/75.77 c #Conflicts: 1481000 | #Constraints: 38552
75.49/75.77 c #Conflicts: 1482000 | #Constraints: 39552
75.49/75.77 c #Conflicts: 1483000 | #Constraints: 40552
75.49/75.77 c #Conflicts: 1484000 | #Constraints: 41552
75.49/75.77 c #Conflicts: 1485000 | #Constraints: 42552
75.49/75.77 c #Conflicts: 1486000 | #Constraints: 43552
75.49/75.77 c #Conflicts: 1487000 | #Constraints: 44552
75.49/75.77 c #Conflicts: 1488000 | #Constraints: 45552
75.49/75.77 c #Conflicts: 1489000 | #Constraints: 46552
75.49/75.77 c #Conflicts: 1490000 | #Constraints: 47552
75.49/75.77 c #Conflicts: 1491000 | #Constraints: 48552
75.49/75.77 c INPROCESSING
75.49/75.77 c GARBAGE COLLECT
75.49/75.77 c rational objective 300.5
76.89/77.13 c #Conflicts: 1492000 | #Constraints: 25338
76.89/77.13 c #Conflicts: 1493000 | #Constraints: 26338
76.89/77.13 c #Conflicts: 1494000 | #Constraints: 27338
76.89/77.13 c #Conflicts: 1495000 | #Constraints: 28338
76.89/77.13 c #Conflicts: 1496000 | #Constraints: 29338
76.89/77.13 c #Conflicts: 1497000 | #Constraints: 30338
76.89/77.13 c #Conflicts: 1498000 | #Constraints: 31338
76.89/77.13 c #Conflicts: 1499000 | #Constraints: 32338
76.89/77.13 c #Conflicts: 1500000 | #Constraints: 33338
76.89/77.13 c #Conflicts: 1501000 | #Constraints: 34338
76.89/77.13 c #Conflicts: 1502000 | #Constraints: 35338
76.89/77.13 c #Conflicts: 1503000 | #Constraints: 36338
76.89/77.13 c #Conflicts: 1504000 | #Constraints: 37338
76.89/77.13 c #Conflicts: 1505000 | #Constraints: 38338
76.89/77.13 c #Conflicts: 1506000 | #Constraints: 39338
76.89/77.13 c #Conflicts: 1507000 | #Constraints: 40338
76.89/77.13 c #Conflicts: 1508000 | #Constraints: 41338
76.89/77.13 c #Conflicts: 1509000 | #Constraints: 42338
76.89/77.13 c #Conflicts: 1510000 | #Constraints: 43338
76.89/77.13 c #Conflicts: 1511000 | #Constraints: 44338
76.89/77.13 c #Conflicts: 1512000 | #Constraints: 45338
76.89/77.13 c #Conflicts: 1513000 | #Constraints: 46338
76.89/77.13 c #Conflicts: 1514000 | #Constraints: 47338
76.89/77.13 c #Conflicts: 1515000 | #Constraints: 48338
76.89/77.13 c #Conflicts: 1516000 | #Constraints: 49338
76.89/77.13 c INPROCESSING
76.89/77.13 c GARBAGE COLLECT
76.89/77.13 c rational objective 300.5
78.28/78.50 c #Conflicts: 1517000 | #Constraints: 25936
78.28/78.50 c #Conflicts: 1518000 | #Constraints: 26936
78.28/78.50 c #Conflicts: 1519000 | #Constraints: 27936
78.28/78.50 c #Conflicts: 1520000 | #Constraints: 28936
78.28/78.50 c #Conflicts: 1521000 | #Constraints: 29936
78.28/78.50 c #Conflicts: 1522000 | #Constraints: 30936
78.28/78.50 c #Conflicts: 1523000 | #Constraints: 31936
78.28/78.50 c #Conflicts: 1524000 | #Constraints: 32936
78.28/78.50 c #Conflicts: 1525000 | #Constraints: 33936
78.28/78.50 c #Conflicts: 1526000 | #Constraints: 34936
78.28/78.50 c #Conflicts: 1527000 | #Constraints: 35936
78.28/78.50 c #Conflicts: 1528000 | #Constraints: 36936
78.28/78.50 c #Conflicts: 1529000 | #Constraints: 37936
78.28/78.50 c #Conflicts: 1530000 | #Constraints: 38936
78.28/78.50 c #Conflicts: 1531000 | #Constraints: 39936
78.28/78.50 c #Conflicts: 1532000 | #Constraints: 40936
78.28/78.50 c #Conflicts: 1533000 | #Constraints: 41936
78.28/78.50 c #Conflicts: 1534000 | #Constraints: 42936
78.28/78.50 c #Conflicts: 1535000 | #Constraints: 43936
78.28/78.50 c #Conflicts: 1536000 | #Constraints: 44936
78.28/78.50 c #Conflicts: 1537000 | #Constraints: 45936
78.28/78.50 c #Conflicts: 1538000 | #Constraints: 46936
78.28/78.50 c #Conflicts: 1539000 | #Constraints: 47936
78.28/78.50 c #Conflicts: 1540000 | #Constraints: 48936
78.28/78.50 c #Conflicts: 1541000 | #Constraints: 49936
78.28/78.50 c INPROCESSING
78.28/78.50 c GARBAGE COLLECT
78.28/78.50 c rational objective 300.5
79.57/79.87 c #Conflicts: 1542000 | #Constraints: 26349
79.57/79.87 c #Conflicts: 1543000 | #Constraints: 27349
79.57/79.87 c #Conflicts: 1544000 | #Constraints: 28349
79.57/79.87 c #Conflicts: 1545000 | #Constraints: 29349
79.57/79.87 c #Conflicts: 1546000 | #Constraints: 30349
79.57/79.87 c #Conflicts: 1547000 | #Constraints: 31349
79.57/79.87 c #Conflicts: 1548000 | #Constraints: 32349
79.57/79.87 c #Conflicts: 1549000 | #Constraints: 33349
79.57/79.87 c #Conflicts: 1550000 | #Constraints: 34349
79.57/79.87 c #Conflicts: 1551000 | #Constraints: 35349
79.57/79.87 c #Conflicts: 1552000 | #Constraints: 36349
79.57/79.87 c #Conflicts: 1553000 | #Constraints: 37349
79.57/79.87 c #Conflicts: 1554000 | #Constraints: 38349
79.57/79.87 c #Conflicts: 1555000 | #Constraints: 39349
79.57/79.87 c #Conflicts: 1556000 | #Constraints: 40349
79.57/79.87 c #Conflicts: 1557000 | #Constraints: 41349
79.57/79.87 c #Conflicts: 1558000 | #Constraints: 42349
79.57/79.87 c #Conflicts: 1559000 | #Constraints: 43349
79.57/79.87 c #Conflicts: 1560000 | #Constraints: 44349
79.57/79.87 c #Conflicts: 1561000 | #Constraints: 45349
79.57/79.87 c #Conflicts: 1562000 | #Constraints: 46349
79.57/79.87 c #Conflicts: 1563000 | #Constraints: 47349
79.57/79.87 c #Conflicts: 1564000 | #Constraints: 48349
79.57/79.87 c #Conflicts: 1565000 | #Constraints: 49349
79.57/79.87 c #Conflicts: 1566000 | #Constraints: 50349
79.57/79.87 c INPROCESSING
79.57/79.87 c GARBAGE COLLECT
79.57/79.87 c rational objective 300.5
80.87/81.13 c #Conflicts: 1567000 | #Constraints: 26552
80.87/81.13 c #Conflicts: 1568000 | #Constraints: 27552
80.87/81.13 c #Conflicts: 1569000 | #Constraints: 28552
80.87/81.13 c #Conflicts: 1570000 | #Constraints: 29552
80.87/81.13 c #Conflicts: 1571000 | #Constraints: 30552
80.87/81.13 c #Conflicts: 1572000 | #Constraints: 31552
80.87/81.13 c #Conflicts: 1573000 | #Constraints: 32552
80.87/81.13 c #Conflicts: 1574000 | #Constraints: 33552
80.87/81.13 c #Conflicts: 1575000 | #Constraints: 34552
80.87/81.13 c #Conflicts: 1576000 | #Constraints: 35552
80.87/81.13 c #Conflicts: 1577000 | #Constraints: 36552
80.87/81.13 c #Conflicts: 1578000 | #Constraints: 37552
80.87/81.13 c #Conflicts: 1579000 | #Constraints: 38552
80.87/81.13 c #Conflicts: 1580000 | #Constraints: 39552
80.87/81.13 c #Conflicts: 1581000 | #Constraints: 40552
80.87/81.13 c #Conflicts: 1582000 | #Constraints: 41552
80.87/81.13 c #Conflicts: 1583000 | #Constraints: 42552
80.87/81.13 c #Conflicts: 1584000 | #Constraints: 43552
80.87/81.13 c #Conflicts: 1585000 | #Constraints: 44552
80.87/81.13 c #Conflicts: 1586000 | #Constraints: 45552
80.87/81.13 c #Conflicts: 1587000 | #Constraints: 46552
80.87/81.13 c #Conflicts: 1588000 | #Constraints: 47552
80.87/81.13 c #Conflicts: 1589000 | #Constraints: 48552
80.87/81.13 c #Conflicts: 1590000 | #Constraints: 49552
80.87/81.13 c #Conflicts: 1591000 | #Constraints: 50552
80.87/81.13 c INPROCESSING
80.87/81.13 c GARBAGE COLLECT
80.87/81.13 c rational objective 300.5
82.77/83.06 c #Conflicts: 1592000 | #Constraints: 26549
82.77/83.06 c #Conflicts: 1593000 | #Constraints: 27549
82.77/83.06 c #Conflicts: 1594000 | #Constraints: 28549
82.77/83.06 c #Conflicts: 1595000 | #Constraints: 29549
82.77/83.06 c #Conflicts: 1596000 | #Constraints: 30549
82.77/83.06 c #Conflicts: 1597000 | #Constraints: 31549
82.77/83.06 c #Conflicts: 1598000 | #Constraints: 32549
82.77/83.06 c #Conflicts: 1599000 | #Constraints: 33549
82.77/83.06 c #Conflicts: 1600000 | #Constraints: 34549
82.77/83.06 c #Conflicts: 1601000 | #Constraints: 35549
82.77/83.06 c #Conflicts: 1602000 | #Constraints: 36549
82.77/83.06 c #Conflicts: 1603000 | #Constraints: 37549
82.77/83.06 c #Conflicts: 1604000 | #Constraints: 38549
82.77/83.06 c #Conflicts: 1605000 | #Constraints: 39549
82.77/83.06 c #Conflicts: 1606000 | #Constraints: 40549
82.77/83.06 c #Conflicts: 1607000 | #Constraints: 41549
82.77/83.06 c #Conflicts: 1608000 | #Constraints: 42549
82.77/83.06 c #Conflicts: 1609000 | #Constraints: 43549
82.77/83.06 c #Conflicts: 1610000 | #Constraints: 44549
82.77/83.06 c #Conflicts: 1611000 | #Constraints: 45549
82.77/83.06 c #Conflicts: 1612000 | #Constraints: 46549
82.77/83.06 c #Conflicts: 1613000 | #Constraints: 47549
82.77/83.06 c #Conflicts: 1614000 | #Constraints: 48549
82.77/83.06 c #Conflicts: 1615000 | #Constraints: 49549
82.77/83.06 c #Conflicts: 1616000 | #Constraints: 50549
82.77/83.06 c INPROCESSING
82.77/83.06 c GARBAGE COLLECT
82.77/83.06 c rational objective 300.5
84.07/84.33 c #Conflicts: 1617000 | #Constraints: 26356
84.07/84.33 c #Conflicts: 1618000 | #Constraints: 27356
84.07/84.33 c #Conflicts: 1619000 | #Constraints: 28356
84.07/84.33 c #Conflicts: 1620000 | #Constraints: 29356
84.07/84.33 c #Conflicts: 1621000 | #Constraints: 30356
84.07/84.33 c #Conflicts: 1622000 | #Constraints: 31356
84.07/84.33 c #Conflicts: 1623000 | #Constraints: 32356
84.07/84.33 c #Conflicts: 1624000 | #Constraints: 33356
84.07/84.33 c #Conflicts: 1625000 | #Constraints: 34356
84.07/84.33 c #Conflicts: 1626000 | #Constraints: 35356
84.07/84.33 c #Conflicts: 1627000 | #Constraints: 36356
84.07/84.33 c #Conflicts: 1628000 | #Constraints: 37356
84.07/84.33 c #Conflicts: 1629000 | #Constraints: 38356
84.07/84.33 c #Conflicts: 1630000 | #Constraints: 39356
84.07/84.33 c #Conflicts: 1631000 | #Constraints: 40356
84.07/84.33 c #Conflicts: 1632000 | #Constraints: 41356
84.07/84.33 c #Conflicts: 1633000 | #Constraints: 42356
84.07/84.33 c #Conflicts: 1634000 | #Constraints: 43356
84.07/84.33 c #Conflicts: 1635000 | #Constraints: 44356
84.07/84.33 c #Conflicts: 1636000 | #Constraints: 45356
84.07/84.33 c #Conflicts: 1637000 | #Constraints: 46356
84.07/84.33 c #Conflicts: 1638000 | #Constraints: 47356
84.07/84.33 c #Conflicts: 1639000 | #Constraints: 48356
84.07/84.33 c #Conflicts: 1640000 | #Constraints: 49356
84.07/84.33 c #Conflicts: 1641000 | #Constraints: 50356
84.07/84.33 c #Conflicts: 1642000 | #Constraints: 51356
84.07/84.33 c INPROCESSING
84.07/84.33 c GARBAGE COLLECT
84.07/84.33 c rational objective 300.5
85.55/85.84 c #Conflicts: 1643000 | #Constraints: 26948
85.55/85.84 c #Conflicts: 1644000 | #Constraints: 27948
85.55/85.84 c #Conflicts: 1645000 | #Constraints: 28948
85.55/85.84 c #Conflicts: 1646000 | #Constraints: 29948
85.55/85.84 c #Conflicts: 1647000 | #Constraints: 30948
85.55/85.84 c #Conflicts: 1648000 | #Constraints: 31948
85.55/85.84 c #Conflicts: 1649000 | #Constraints: 32948
85.55/85.84 c #Conflicts: 1650000 | #Constraints: 33948
85.55/85.84 c #Conflicts: 1651000 | #Constraints: 34948
85.55/85.84 c #Conflicts: 1652000 | #Constraints: 35948
85.55/85.84 c #Conflicts: 1653000 | #Constraints: 36948
85.55/85.84 c #Conflicts: 1654000 | #Constraints: 37948
85.55/85.84 c #Conflicts: 1655000 | #Constraints: 38948
85.55/85.84 c #Conflicts: 1656000 | #Constraints: 39948
85.55/85.84 c #Conflicts: 1657000 | #Constraints: 40948
85.55/85.84 c #Conflicts: 1658000 | #Constraints: 41948
85.55/85.84 c #Conflicts: 1659000 | #Constraints: 42948
85.55/85.84 c #Conflicts: 1660000 | #Constraints: 43948
85.55/85.84 c #Conflicts: 1661000 | #Constraints: 44948
85.55/85.84 c #Conflicts: 1662000 | #Constraints: 45948
85.55/85.84 c #Conflicts: 1663000 | #Constraints: 46948
85.55/85.84 c #Conflicts: 1664000 | #Constraints: 47948
85.55/85.84 c #Conflicts: 1665000 | #Constraints: 48948
85.55/85.84 c #Conflicts: 1666000 | #Constraints: 49948
85.55/85.84 c #Conflicts: 1667000 | #Constraints: 50948
85.55/85.84 c #Conflicts: 1668000 | #Constraints: 51948
85.55/85.84 c INPROCESSING
85.55/85.84 c GARBAGE COLLECT
85.55/85.84 c rational objective 300.5
87.06/87.32 c #Conflicts: 1669000 | #Constraints: 27345
87.06/87.32 c #Conflicts: 1670000 | #Constraints: 28345
87.06/87.32 c #Conflicts: 1671000 | #Constraints: 29345
87.06/87.32 c #Conflicts: 1672000 | #Constraints: 30345
87.06/87.32 c #Conflicts: 1673000 | #Constraints: 31345
87.06/87.32 c #Conflicts: 1674000 | #Constraints: 32345
87.06/87.32 c #Conflicts: 1675000 | #Constraints: 33345
87.06/87.32 c #Conflicts: 1676000 | #Constraints: 34345
87.06/87.32 c #Conflicts: 1677000 | #Constraints: 35345
87.06/87.32 c #Conflicts: 1678000 | #Constraints: 36345
87.06/87.32 c #Conflicts: 1679000 | #Constraints: 37345
87.06/87.32 c #Conflicts: 1680000 | #Constraints: 38345
87.06/87.32 c #Conflicts: 1681000 | #Constraints: 39345
87.06/87.32 c #Conflicts: 1682000 | #Constraints: 40345
87.06/87.32 c #Conflicts: 1683000 | #Constraints: 41345
87.06/87.32 c #Conflicts: 1684000 | #Constraints: 42345
87.06/87.32 c #Conflicts: 1685000 | #Constraints: 43345
87.06/87.32 c #Conflicts: 1686000 | #Constraints: 44345
87.06/87.32 c #Conflicts: 1687000 | #Constraints: 45345
87.06/87.32 c #Conflicts: 1688000 | #Constraints: 46345
87.06/87.32 c #Conflicts: 1689000 | #Constraints: 47345
87.06/87.32 c #Conflicts: 1690000 | #Constraints: 48345
87.06/87.32 c #Conflicts: 1691000 | #Constraints: 49345
87.06/87.32 c #Conflicts: 1692000 | #Constraints: 50345
87.06/87.32 c #Conflicts: 1693000 | #Constraints: 51345
87.06/87.32 c #Conflicts: 1694000 | #Constraints: 52345
87.06/87.32 c INPROCESSING
87.06/87.32 c GARBAGE COLLECT
87.06/87.32 c rational objective 300.5
88.65/88.90 c #Conflicts: 1695000 | #Constraints: 27545
88.65/88.90 c #Conflicts: 1696000 | #Constraints: 28545
88.65/88.90 c #Conflicts: 1697000 | #Constraints: 29545
88.65/88.90 c #Conflicts: 1698000 | #Constraints: 30545
88.65/88.90 c #Conflicts: 1699000 | #Constraints: 31545
88.65/88.90 c #Conflicts: 1700000 | #Constraints: 32545
88.65/88.90 c #Conflicts: 1701000 | #Constraints: 33545
88.65/88.90 c #Conflicts: 1702000 | #Constraints: 34545
88.65/88.90 c #Conflicts: 1703000 | #Constraints: 35545
88.65/88.90 c #Conflicts: 1704000 | #Constraints: 36545
88.65/88.90 c #Conflicts: 1705000 | #Constraints: 37545
88.65/88.90 c #Conflicts: 1706000 | #Constraints: 38545
88.65/88.90 c #Conflicts: 1707000 | #Constraints: 39545
88.65/88.90 c #Conflicts: 1708000 | #Constraints: 40545
88.65/88.90 c #Conflicts: 1709000 | #Constraints: 41545
88.65/88.90 c #Conflicts: 1710000 | #Constraints: 42545
88.65/88.90 c #Conflicts: 1711000 | #Constraints: 43545
88.65/88.90 c #Conflicts: 1712000 | #Constraints: 44545
88.65/88.90 c #Conflicts: 1713000 | #Constraints: 45545
88.65/88.90 c #Conflicts: 1714000 | #Constraints: 46545
88.65/88.90 c #Conflicts: 1715000 | #Constraints: 47545
88.65/88.90 c #Conflicts: 1716000 | #Constraints: 48545
88.65/88.90 c #Conflicts: 1717000 | #Constraints: 49545
88.65/88.90 c #Conflicts: 1718000 | #Constraints: 50545
88.65/88.90 c #Conflicts: 1719000 | #Constraints: 51545
88.65/88.90 c #Conflicts: 1720000 | #Constraints: 52545
88.65/88.90 c INPROCESSING
88.65/88.90 c GARBAGE COLLECT
88.65/88.90 c rational objective 300.5
90.25/90.57 c #Conflicts: 1721000 | #Constraints: 27538
90.25/90.57 c #Conflicts: 1722000 | #Constraints: 28538
90.25/90.57 c #Conflicts: 1723000 | #Constraints: 29538
90.25/90.57 c #Conflicts: 1724000 | #Constraints: 30538
90.25/90.57 c #Conflicts: 1725000 | #Constraints: 31538
90.25/90.57 c #Conflicts: 1726000 | #Constraints: 32538
90.25/90.57 c #Conflicts: 1727000 | #Constraints: 33538
90.25/90.57 c #Conflicts: 1728000 | #Constraints: 34538
90.25/90.57 c #Conflicts: 1729000 | #Constraints: 35538
90.25/90.57 c #Conflicts: 1730000 | #Constraints: 36538
90.25/90.57 c #Conflicts: 1731000 | #Constraints: 37538
90.25/90.57 c #Conflicts: 1732000 | #Constraints: 38538
90.25/90.57 c #Conflicts: 1733000 | #Constraints: 39538
90.25/90.57 c #Conflicts: 1734000 | #Constraints: 40538
90.25/90.57 c #Conflicts: 1735000 | #Constraints: 41538
90.25/90.57 c #Conflicts: 1736000 | #Constraints: 42538
90.25/90.57 c #Conflicts: 1737000 | #Constraints: 43538
90.25/90.57 c #Conflicts: 1738000 | #Constraints: 44538
90.25/90.57 c #Conflicts: 1739000 | #Constraints: 45538
90.25/90.57 c #Conflicts: 1740000 | #Constraints: 46538
90.25/90.57 c #Conflicts: 1741000 | #Constraints: 47538
90.25/90.57 c #Conflicts: 1742000 | #Constraints: 48538
90.25/90.57 c #Conflicts: 1743000 | #Constraints: 49538
90.25/90.57 c #Conflicts: 1744000 | #Constraints: 50538
90.25/90.57 c #Conflicts: 1745000 | #Constraints: 51538
90.25/90.57 c #Conflicts: 1746000 | #Constraints: 52538
90.25/90.57 c INPROCESSING
90.25/90.57 c GARBAGE COLLECT
90.25/90.57 c rational objective 300.5
91.85/92.11 c #Conflicts: 1747000 | #Constraints: 27343
91.85/92.11 c #Conflicts: 1748000 | #Constraints: 28343
91.85/92.11 c #Conflicts: 1749000 | #Constraints: 29343
91.85/92.11 c #Conflicts: 1750000 | #Constraints: 30343
91.85/92.11 c #Conflicts: 1751000 | #Constraints: 31343
91.85/92.11 c #Conflicts: 1752000 | #Constraints: 32343
91.85/92.11 c #Conflicts: 1753000 | #Constraints: 33343
91.85/92.11 c #Conflicts: 1754000 | #Constraints: 34343
91.85/92.11 c #Conflicts: 1755000 | #Constraints: 35343
91.85/92.11 c #Conflicts: 1756000 | #Constraints: 36343
91.85/92.11 c #Conflicts: 1757000 | #Constraints: 37343
91.85/92.11 c #Conflicts: 1758000 | #Constraints: 38343
91.85/92.11 c #Conflicts: 1759000 | #Constraints: 39343
91.85/92.11 c #Conflicts: 1760000 | #Constraints: 40343
91.85/92.11 c #Conflicts: 1761000 | #Constraints: 41343
91.85/92.11 c #Conflicts: 1762000 | #Constraints: 42343
91.85/92.11 c #Conflicts: 1763000 | #Constraints: 43343
91.85/92.11 c #Conflicts: 1764000 | #Constraints: 44343
91.85/92.11 c #Conflicts: 1765000 | #Constraints: 45343
91.85/92.11 c #Conflicts: 1766000 | #Constraints: 46343
91.85/92.11 c #Conflicts: 1767000 | #Constraints: 47343
91.85/92.11 c #Conflicts: 1768000 | #Constraints: 48343
91.85/92.11 c #Conflicts: 1769000 | #Constraints: 49343
91.85/92.11 c #Conflicts: 1770000 | #Constraints: 50343
91.85/92.11 c #Conflicts: 1771000 | #Constraints: 51343
91.85/92.11 c #Conflicts: 1772000 | #Constraints: 52343
91.85/92.11 c #Conflicts: 1773000 | #Constraints: 53343
91.85/92.11 c INPROCESSING
91.85/92.11 c GARBAGE COLLECT
91.85/92.11 c rational objective 300.5
93.33/93.65 c #Conflicts: 1774000 | #Constraints: 27943
93.33/93.65 c #Conflicts: 1775000 | #Constraints: 28943
93.33/93.65 c #Conflicts: 1776000 | #Constraints: 29943
93.33/93.65 c #Conflicts: 1777000 | #Constraints: 30943
93.33/93.65 c #Conflicts: 1778000 | #Constraints: 31943
93.33/93.65 c #Conflicts: 1779000 | #Constraints: 32943
93.33/93.65 c #Conflicts: 1780000 | #Constraints: 33943
93.33/93.65 c #Conflicts: 1781000 | #Constraints: 34943
93.33/93.65 c #Conflicts: 1782000 | #Constraints: 35943
93.33/93.65 c #Conflicts: 1783000 | #Constraints: 36943
93.33/93.65 c #Conflicts: 1784000 | #Constraints: 37943
93.33/93.65 c #Conflicts: 1785000 | #Constraints: 38943
93.33/93.65 c #Conflicts: 1786000 | #Constraints: 39943
93.33/93.65 c #Conflicts: 1787000 | #Constraints: 40943
93.33/93.65 c #Conflicts: 1788000 | #Constraints: 41943
93.33/93.65 c #Conflicts: 1789000 | #Constraints: 42943
93.33/93.65 c #Conflicts: 1790000 | #Constraints: 43943
93.33/93.65 c #Conflicts: 1791000 | #Constraints: 44943
93.33/93.65 c #Conflicts: 1792000 | #Constraints: 45943
93.33/93.65 c #Conflicts: 1793000 | #Constraints: 46943
93.33/93.65 c #Conflicts: 1794000 | #Constraints: 47943
93.33/93.65 c #Conflicts: 1795000 | #Constraints: 48943
93.33/93.65 c #Conflicts: 1796000 | #Constraints: 49943
93.33/93.65 c #Conflicts: 1797000 | #Constraints: 50943
93.33/93.65 c #Conflicts: 1798000 | #Constraints: 51943
93.33/93.65 c #Conflicts: 1799000 | #Constraints: 52943
93.33/93.65 c #Conflicts: 1800000 | #Constraints: 53943
93.33/93.65 c INPROCESSING
93.33/93.65 c GARBAGE COLLECT
93.33/93.65 c rational objective 300.5
94.94/95.23 c #Conflicts: 1801000 | #Constraints: 28340
94.94/95.23 c #Conflicts: 1802000 | #Constraints: 29340
94.94/95.23 c #Conflicts: 1803000 | #Constraints: 30340
94.94/95.23 c #Conflicts: 1804000 | #Constraints: 31340
94.94/95.23 c #Conflicts: 1805000 | #Constraints: 32340
94.94/95.23 c #Conflicts: 1806000 | #Constraints: 33340
94.94/95.23 c #Conflicts: 1807000 | #Constraints: 34340
94.94/95.23 c #Conflicts: 1808000 | #Constraints: 35340
94.94/95.23 c #Conflicts: 1809000 | #Constraints: 36340
94.94/95.23 c #Conflicts: 1810000 | #Constraints: 37340
94.94/95.23 c #Conflicts: 1811000 | #Constraints: 38340
94.94/95.23 c #Conflicts: 1812000 | #Constraints: 39340
94.94/95.23 c #Conflicts: 1813000 | #Constraints: 40340
94.94/95.23 c #Conflicts: 1814000 | #Constraints: 41340
94.94/95.23 c #Conflicts: 1815000 | #Constraints: 42340
94.94/95.23 c #Conflicts: 1816000 | #Constraints: 43340
94.94/95.23 c #Conflicts: 1817000 | #Constraints: 44340
94.94/95.23 c #Conflicts: 1818000 | #Constraints: 45340
94.94/95.23 c #Conflicts: 1819000 | #Constraints: 46340
94.94/95.23 c #Conflicts: 1820000 | #Constraints: 47340
94.94/95.23 c #Conflicts: 1821000 | #Constraints: 48340
94.94/95.23 c #Conflicts: 1822000 | #Constraints: 49340
94.94/95.23 c #Conflicts: 1823000 | #Constraints: 50340
94.94/95.23 c #Conflicts: 1824000 | #Constraints: 51340
94.94/95.23 c #Conflicts: 1825000 | #Constraints: 52340
94.94/95.23 c #Conflicts: 1826000 | #Constraints: 53340
94.94/95.23 c #Conflicts: 1827000 | #Constraints: 54340
94.94/95.23 c INPROCESSING
94.94/95.23 c GARBAGE COLLECT
94.94/95.23 c rational objective 300.5
96.63/96.92 c #Conflicts: 1828000 | #Constraints: 28546
96.63/96.92 c #Conflicts: 1829000 | #Constraints: 29546
96.63/96.92 c #Conflicts: 1830000 | #Constraints: 30546
96.63/96.92 c #Conflicts: 1831000 | #Constraints: 31546
96.63/96.92 c #Conflicts: 1832000 | #Constraints: 32546
96.63/96.92 c #Conflicts: 1833000 | #Constraints: 33546
96.63/96.92 c #Conflicts: 1834000 | #Constraints: 34546
96.63/96.92 c #Conflicts: 1835000 | #Constraints: 35546
96.63/96.92 c #Conflicts: 1836000 | #Constraints: 36546
96.63/96.92 c #Conflicts: 1837000 | #Constraints: 37546
96.63/96.92 c #Conflicts: 1838000 | #Constraints: 38546
96.63/96.92 c #Conflicts: 1839000 | #Constraints: 39546
96.63/96.92 c #Conflicts: 1840000 | #Constraints: 40546
96.63/96.92 c #Conflicts: 1841000 | #Constraints: 41546
96.63/96.92 c #Conflicts: 1842000 | #Constraints: 42546
96.63/96.92 c #Conflicts: 1843000 | #Constraints: 43546
96.63/96.92 c #Conflicts: 1844000 | #Constraints: 44546
96.63/96.92 c #Conflicts: 1845000 | #Constraints: 45546
96.63/96.92 c #Conflicts: 1846000 | #Constraints: 46546
96.63/96.92 c #Conflicts: 1847000 | #Constraints: 47546
96.63/96.92 c #Conflicts: 1848000 | #Constraints: 48546
96.63/96.92 c #Conflicts: 1849000 | #Constraints: 49546
96.63/96.92 c #Conflicts: 1850000 | #Constraints: 50546
96.63/96.92 c #Conflicts: 1851000 | #Constraints: 51546
96.63/96.92 c #Conflicts: 1852000 | #Constraints: 52546
96.63/96.92 c #Conflicts: 1853000 | #Constraints: 53546
96.63/96.92 c #Conflicts: 1854000 | #Constraints: 54546
96.63/96.92 c INPROCESSING
96.63/96.92 c GARBAGE COLLECT
96.63/96.92 c rational objective 300.5
98.52/98.84 c #Conflicts: 1855000 | #Constraints: 28551
98.52/98.84 c #Conflicts: 1856000 | #Constraints: 29551
98.52/98.84 c #Conflicts: 1857000 | #Constraints: 30551
98.52/98.84 c #Conflicts: 1858000 | #Constraints: 31551
98.52/98.84 c #Conflicts: 1859000 | #Constraints: 32551
98.52/98.84 c #Conflicts: 1860000 | #Constraints: 33551
98.52/98.84 c #Conflicts: 1861000 | #Constraints: 34551
98.52/98.84 c #Conflicts: 1862000 | #Constraints: 35551
98.52/98.84 c #Conflicts: 1863000 | #Constraints: 36551
98.52/98.84 c #Conflicts: 1864000 | #Constraints: 37551
98.52/98.84 c #Conflicts: 1865000 | #Constraints: 38551
98.52/98.84 c #Conflicts: 1866000 | #Constraints: 39551
98.52/98.84 c #Conflicts: 1867000 | #Constraints: 40551
98.52/98.84 c #Conflicts: 1868000 | #Constraints: 41551
98.52/98.84 c #Conflicts: 1869000 | #Constraints: 42551
98.52/98.84 c #Conflicts: 1870000 | #Constraints: 43551
98.52/98.84 c #Conflicts: 1871000 | #Constraints: 44551
98.52/98.84 c #Conflicts: 1872000 | #Constraints: 45551
98.52/98.84 c #Conflicts: 1873000 | #Constraints: 46551
98.52/98.84 c #Conflicts: 1874000 | #Constraints: 47551
98.52/98.84 c #Conflicts: 1875000 | #Constraints: 48551
98.52/98.84 c #Conflicts: 1876000 | #Constraints: 49551
98.52/98.84 c #Conflicts: 1877000 | #Constraints: 50551
98.52/98.84 c #Conflicts: 1878000 | #Constraints: 51551
98.52/98.84 c #Conflicts: 1879000 | #Constraints: 52551
98.52/98.84 c #Conflicts: 1880000 | #Constraints: 53551
98.52/98.84 c #Conflicts: 1881000 | #Constraints: 54551
98.52/98.84 c INPROCESSING
98.52/98.84 c GARBAGE COLLECT
98.52/98.84 c rational objective 300.5
100.22/100.51 c #Conflicts: 1882000 | #Constraints: 28351
100.22/100.51 c #Conflicts: 1883000 | #Constraints: 29351
100.22/100.51 c #Conflicts: 1884000 | #Constraints: 30351
100.22/100.51 c #Conflicts: 1885000 | #Constraints: 31351
100.22/100.51 c #Conflicts: 1886000 | #Constraints: 32351
100.22/100.51 c #Conflicts: 1887000 | #Constraints: 33351
100.22/100.51 c #Conflicts: 1888000 | #Constraints: 34351
100.22/100.51 c #Conflicts: 1889000 | #Constraints: 35351
100.22/100.51 c #Conflicts: 1890000 | #Constraints: 36351
100.22/100.51 c #Conflicts: 1891000 | #Constraints: 37351
100.22/100.51 c #Conflicts: 1892000 | #Constraints: 38351
100.22/100.51 c #Conflicts: 1893000 | #Constraints: 39351
100.22/100.51 c #Conflicts: 1894000 | #Constraints: 40351
100.22/100.51 c #Conflicts: 1895000 | #Constraints: 41351
100.22/100.51 c #Conflicts: 1896000 | #Constraints: 42351
100.22/100.51 c #Conflicts: 1897000 | #Constraints: 43351
100.22/100.51 c #Conflicts: 1898000 | #Constraints: 44351
100.22/100.51 c #Conflicts: 1899000 | #Constraints: 45351
100.22/100.51 c #Conflicts: 1900000 | #Constraints: 46351
100.22/100.51 c #Conflicts: 1901000 | #Constraints: 47351
100.22/100.51 c #Conflicts: 1902000 | #Constraints: 48351
100.22/100.51 c #Conflicts: 1903000 | #Constraints: 49351
100.22/100.51 c #Conflicts: 1904000 | #Constraints: 50351
100.22/100.51 c #Conflicts: 1905000 | #Constraints: 51351
100.22/100.51 c #Conflicts: 1906000 | #Constraints: 52351
100.22/100.51 c #Conflicts: 1907000 | #Constraints: 53351
100.22/100.51 c #Conflicts: 1908000 | #Constraints: 54351
100.22/100.51 c #Conflicts: 1909000 | #Constraints: 55351
100.22/100.51 c INPROCESSING
100.22/100.51 c GARBAGE COLLECT
100.22/100.51 c rational objective 300.5
101.82/102.12 c #Conflicts: 1910000 | #Constraints: 28951
101.82/102.12 c #Conflicts: 1911000 | #Constraints: 29951
101.82/102.12 c #Conflicts: 1912000 | #Constraints: 30951
101.82/102.12 c #Conflicts: 1913000 | #Constraints: 31951
101.82/102.12 c #Conflicts: 1914000 | #Constraints: 32951
101.82/102.12 c #Conflicts: 1915000 | #Constraints: 33951
101.82/102.12 c #Conflicts: 1916000 | #Constraints: 34951
101.82/102.12 c #Conflicts: 1917000 | #Constraints: 35951
101.82/102.12 c #Conflicts: 1918000 | #Constraints: 36951
101.82/102.12 c #Conflicts: 1919000 | #Constraints: 37951
101.82/102.12 c #Conflicts: 1920000 | #Constraints: 38951
101.82/102.12 c #Conflicts: 1921000 | #Constraints: 39951
101.82/102.12 c #Conflicts: 1922000 | #Constraints: 40951
101.82/102.12 c #Conflicts: 1923000 | #Constraints: 41951
101.82/102.12 c #Conflicts: 1924000 | #Constraints: 42951
101.82/102.12 c #Conflicts: 1925000 | #Constraints: 43951
101.82/102.12 c #Conflicts: 1926000 | #Constraints: 44951
101.82/102.12 c #Conflicts: 1927000 | #Constraints: 45951
101.82/102.12 c #Conflicts: 1928000 | #Constraints: 46951
101.82/102.12 c #Conflicts: 1929000 | #Constraints: 47951
101.82/102.12 c #Conflicts: 1930000 | #Constraints: 48951
101.82/102.12 c #Conflicts: 1931000 | #Constraints: 49951
101.82/102.12 c #Conflicts: 1932000 | #Constraints: 50951
101.82/102.12 c #Conflicts: 1933000 | #Constraints: 51951
101.82/102.12 c #Conflicts: 1934000 | #Constraints: 52951
101.82/102.12 c #Conflicts: 1935000 | #Constraints: 53951
101.82/102.12 c #Conflicts: 1936000 | #Constraints: 54951
101.82/102.12 c #Conflicts: 1937000 | #Constraints: 55951
101.82/102.12 c INPROCESSING
101.82/102.12 c GARBAGE COLLECT
101.82/102.12 c rational objective 300.5
103.51/103.85 c #Conflicts: 1938000 | #Constraints: 29352
103.51/103.85 c #Conflicts: 1939000 | #Constraints: 30352
103.51/103.85 c #Conflicts: 1940000 | #Constraints: 31352
103.51/103.85 c #Conflicts: 1941000 | #Constraints: 32352
103.51/103.85 c #Conflicts: 1942000 | #Constraints: 33352
103.51/103.85 c #Conflicts: 1943000 | #Constraints: 34352
103.51/103.85 c #Conflicts: 1944000 | #Constraints: 35352
103.51/103.85 c #Conflicts: 1945000 | #Constraints: 36352
103.51/103.85 c #Conflicts: 1946000 | #Constraints: 37352
103.51/103.85 c #Conflicts: 1947000 | #Constraints: 38352
103.51/103.85 c #Conflicts: 1948000 | #Constraints: 39352
103.51/103.85 c #Conflicts: 1949000 | #Constraints: 40352
103.51/103.85 c #Conflicts: 1950000 | #Constraints: 41352
103.51/103.85 c #Conflicts: 1951000 | #Constraints: 42352
103.51/103.85 c #Conflicts: 1952000 | #Constraints: 43352
103.51/103.85 c #Conflicts: 1953000 | #Constraints: 44352
103.51/103.85 c #Conflicts: 1954000 | #Constraints: 45352
103.51/103.85 c #Conflicts: 1955000 | #Constraints: 46352
103.51/103.85 c #Conflicts: 1956000 | #Constraints: 47352
103.51/103.85 c #Conflicts: 1957000 | #Constraints: 48352
103.51/103.85 c #Conflicts: 1958000 | #Constraints: 49352
103.51/103.85 c #Conflicts: 1959000 | #Constraints: 50352
103.51/103.85 c #Conflicts: 1960000 | #Constraints: 51352
103.51/103.85 c #Conflicts: 1961000 | #Constraints: 52352
103.51/103.85 c #Conflicts: 1962000 | #Constraints: 53352
103.51/103.85 c #Conflicts: 1963000 | #Constraints: 54352
103.51/103.85 c #Conflicts: 1964000 | #Constraints: 55352
103.51/103.85 c #Conflicts: 1965000 | #Constraints: 56352
103.51/103.85 c INPROCESSING
103.51/103.85 c GARBAGE COLLECT
103.51/103.85 c rational objective 300.5
105.11/105.47 c #Conflicts: 1966000 | #Constraints: 29556
105.11/105.47 c #Conflicts: 1967000 | #Constraints: 30556
105.11/105.47 c #Conflicts: 1968000 | #Constraints: 31556
105.11/105.47 c #Conflicts: 1969000 | #Constraints: 32556
105.11/105.47 c #Conflicts: 1970000 | #Constraints: 33556
105.11/105.47 c #Conflicts: 1971000 | #Constraints: 34556
105.11/105.47 c #Conflicts: 1972000 | #Constraints: 35556
105.11/105.47 c #Conflicts: 1973000 | #Constraints: 36556
105.11/105.47 c #Conflicts: 1974000 | #Constraints: 37556
105.11/105.47 c #Conflicts: 1975000 | #Constraints: 38556
105.11/105.47 c #Conflicts: 1976000 | #Constraints: 39556
105.11/105.47 c #Conflicts: 1977000 | #Constraints: 40556
105.11/105.47 c #Conflicts: 1978000 | #Constraints: 41556
105.11/105.47 c #Conflicts: 1979000 | #Constraints: 42556
105.11/105.47 c #Conflicts: 1980000 | #Constraints: 43556
105.11/105.47 c #Conflicts: 1981000 | #Constraints: 44556
105.11/105.47 c #Conflicts: 1982000 | #Constraints: 45556
105.11/105.47 c #Conflicts: 1983000 | #Constraints: 46556
105.11/105.47 c #Conflicts: 1984000 | #Constraints: 47556
105.11/105.47 c #Conflicts: 1985000 | #Constraints: 48556
105.11/105.47 c #Conflicts: 1986000 | #Constraints: 49556
105.11/105.47 c #Conflicts: 1987000 | #Constraints: 50556
105.11/105.47 c #Conflicts: 1988000 | #Constraints: 51556
105.11/105.47 c #Conflicts: 1989000 | #Constraints: 52556
105.11/105.47 c #Conflicts: 1990000 | #Constraints: 53556
105.11/105.47 c #Conflicts: 1991000 | #Constraints: 54556
105.11/105.47 c #Conflicts: 1992000 | #Constraints: 55556
105.11/105.47 c #Conflicts: 1993000 | #Constraints: 56556
105.11/105.47 c INPROCESSING
105.11/105.47 c GARBAGE COLLECT
105.11/105.47 c rational objective 300.5
106.90/107.21 c #Conflicts: 1994000 | #Constraints: 29560
106.90/107.21 c #Conflicts: 1995000 | #Constraints: 30560
106.90/107.21 c #Conflicts: 1996000 | #Constraints: 31560
106.90/107.21 c #Conflicts: 1997000 | #Constraints: 32560
106.90/107.21 c #Conflicts: 1998000 | #Constraints: 33560
106.90/107.21 c #Conflicts: 1999000 | #Constraints: 34560
106.90/107.21 c #Conflicts: 2000000 | #Constraints: 35560
106.90/107.21 c #Conflicts: 2001000 | #Constraints: 36560
106.90/107.21 c #Conflicts: 2002000 | #Constraints: 37560
106.90/107.21 c #Conflicts: 2003000 | #Constraints: 38560
106.90/107.21 c #Conflicts: 2004000 | #Constraints: 39560
106.90/107.21 c #Conflicts: 2005000 | #Constraints: 40560
106.90/107.21 c #Conflicts: 2006000 | #Constraints: 41560
106.90/107.21 c #Conflicts: 2007000 | #Constraints: 42560
106.90/107.21 c #Conflicts: 2008000 | #Constraints: 43560
106.90/107.21 c #Conflicts: 2009000 | #Constraints: 44560
106.90/107.21 c #Conflicts: 2010000 | #Constraints: 45560
106.90/107.21 c #Conflicts: 2011000 | #Constraints: 46560
106.90/107.21 c #Conflicts: 2012000 | #Constraints: 47560
106.90/107.21 c #Conflicts: 2013000 | #Constraints: 48560
106.90/107.21 c #Conflicts: 2014000 | #Constraints: 49560
106.90/107.21 c #Conflicts: 2015000 | #Constraints: 50560
106.90/107.21 c #Conflicts: 2016000 | #Constraints: 51560
106.90/107.21 c #Conflicts: 2017000 | #Constraints: 52560
106.90/107.21 c #Conflicts: 2018000 | #Constraints: 53560
106.90/107.21 c #Conflicts: 2019000 | #Constraints: 54560
106.90/107.21 c #Conflicts: 2020000 | #Constraints: 55560
106.90/107.21 c #Conflicts: 2021000 | #Constraints: 56560
106.90/107.21 c INPROCESSING
106.90/107.21 c GARBAGE COLLECT
106.90/107.21 c rational objective 300.5
108.70/109.06 c #Conflicts: 2022000 | #Constraints: 29356
108.70/109.06 c #Conflicts: 2023000 | #Constraints: 30356
108.70/109.06 c #Conflicts: 2024000 | #Constraints: 31356
108.70/109.06 c #Conflicts: 2025000 | #Constraints: 32356
108.70/109.06 c #Conflicts: 2026000 | #Constraints: 33356
108.70/109.06 c #Conflicts: 2027000 | #Constraints: 34356
108.70/109.06 c #Conflicts: 2028000 | #Constraints: 35356
108.70/109.06 c #Conflicts: 2029000 | #Constraints: 36356
108.70/109.06 c #Conflicts: 2030000 | #Constraints: 37356
108.70/109.06 c #Conflicts: 2031000 | #Constraints: 38356
108.70/109.06 c #Conflicts: 2032000 | #Constraints: 39356
108.70/109.06 c #Conflicts: 2033000 | #Constraints: 40356
108.70/109.06 c #Conflicts: 2034000 | #Constraints: 41356
108.70/109.06 c #Conflicts: 2035000 | #Constraints: 42356
108.70/109.06 c #Conflicts: 2036000 | #Constraints: 43356
108.70/109.06 c #Conflicts: 2037000 | #Constraints: 44356
108.70/109.06 c #Conflicts: 2038000 | #Constraints: 45356
108.70/109.06 c #Conflicts: 2039000 | #Constraints: 46356
108.70/109.06 c #Conflicts: 2040000 | #Constraints: 47356
108.70/109.06 c #Conflicts: 2041000 | #Constraints: 48356
108.70/109.06 c #Conflicts: 2042000 | #Constraints: 49356
108.70/109.06 c #Conflicts: 2043000 | #Constraints: 50356
108.70/109.06 c #Conflicts: 2044000 | #Constraints: 51356
108.70/109.06 c #Conflicts: 2045000 | #Constraints: 52356
108.70/109.06 c #Conflicts: 2046000 | #Constraints: 53356
108.70/109.06 c #Conflicts: 2047000 | #Constraints: 54356
108.70/109.06 c #Conflicts: 2048000 | #Constraints: 55356
108.70/109.06 c #Conflicts: 2049000 | #Constraints: 56356
108.70/109.06 c #Conflicts: 2050000 | #Constraints: 57356
108.70/109.06 c INPROCESSING
108.70/109.06 c GARBAGE COLLECT
108.70/109.06 c rational objective 300.5
110.49/110.88 c #Conflicts: 2051000 | #Constraints: 29947
110.49/110.88 c #Conflicts: 2052000 | #Constraints: 30947
110.49/110.88 c #Conflicts: 2053000 | #Constraints: 31947
110.49/110.88 c #Conflicts: 2054000 | #Constraints: 32947
110.49/110.88 c #Conflicts: 2055000 | #Constraints: 33947
110.49/110.88 c #Conflicts: 2056000 | #Constraints: 34947
110.49/110.88 c #Conflicts: 2057000 | #Constraints: 35947
110.49/110.88 c #Conflicts: 2058000 | #Constraints: 36947
110.49/110.88 c #Conflicts: 2059000 | #Constraints: 37947
110.49/110.88 c #Conflicts: 2060000 | #Constraints: 38947
110.49/110.88 c #Conflicts: 2061000 | #Constraints: 39947
110.49/110.88 c #Conflicts: 2062000 | #Constraints: 40947
110.49/110.88 c #Conflicts: 2063000 | #Constraints: 41947
110.49/110.88 c #Conflicts: 2064000 | #Constraints: 42947
110.49/110.88 c #Conflicts: 2065000 | #Constraints: 43947
110.49/110.88 c #Conflicts: 2066000 | #Constraints: 44947
110.49/110.88 c #Conflicts: 2067000 | #Constraints: 45947
110.49/110.88 c #Conflicts: 2068000 | #Constraints: 46948
110.49/110.88 c #Conflicts: 2069000 | #Constraints: 47948
110.49/110.88 c #Conflicts: 2070000 | #Constraints: 48948
110.49/110.88 c #Conflicts: 2071000 | #Constraints: 49948
110.49/110.88 c #Conflicts: 2072000 | #Constraints: 50948
110.49/110.88 c #Conflicts: 2073000 | #Constraints: 51948
110.49/110.88 c #Conflicts: 2074000 | #Constraints: 52948
110.49/110.88 c #Conflicts: 2075000 | #Constraints: 53948
110.49/110.88 c #Conflicts: 2076000 | #Constraints: 54948
110.49/110.88 c #Conflicts: 2077000 | #Constraints: 55948
110.49/110.88 c #Conflicts: 2078000 | #Constraints: 56948
110.49/110.88 c #Conflicts: 2079000 | #Constraints: 57948
110.49/110.88 c INPROCESSING
110.49/110.88 c GARBAGE COLLECT
110.49/110.88 c rational objective 300.5
112.09/112.47 c #Conflicts: 2080000 | #Constraints: 30339
112.09/112.47 c #Conflicts: 2081000 | #Constraints: 31339
112.09/112.47 c #Conflicts: 2082000 | #Constraints: 32339
112.09/112.47 c #Conflicts: 2083000 | #Constraints: 33339
112.09/112.47 c #Conflicts: 2084000 | #Constraints: 34339
112.09/112.47 c #Conflicts: 2085000 | #Constraints: 35339
112.09/112.47 c #Conflicts: 2086000 | #Constraints: 36339
112.09/112.47 c #Conflicts: 2087000 | #Constraints: 37339
112.09/112.47 c #Conflicts: 2088000 | #Constraints: 38339
112.09/112.47 c #Conflicts: 2089000 | #Constraints: 39339
112.09/112.47 c #Conflicts: 2090000 | #Constraints: 40339
112.09/112.47 c #Conflicts: 2091000 | #Constraints: 41339
112.09/112.47 c #Conflicts: 2092000 | #Constraints: 42339
112.09/112.47 c #Conflicts: 2093000 | #Constraints: 43339
112.09/112.47 c #Conflicts: 2094000 | #Constraints: 44339
112.09/112.47 c #Conflicts: 2095000 | #Constraints: 45339
112.09/112.47 c #Conflicts: 2096000 | #Constraints: 46339
112.09/112.47 c #Conflicts: 2097000 | #Constraints: 47339
112.09/112.47 c #Conflicts: 2098000 | #Constraints: 48339
112.09/112.47 c #Conflicts: 2099000 | #Constraints: 49339
112.09/112.47 c #Conflicts: 2100000 | #Constraints: 50339
112.09/112.47 c #Conflicts: 2101000 | #Constraints: 51339
112.09/112.47 c #Conflicts: 2102000 | #Constraints: 52339
112.09/112.47 c #Conflicts: 2103000 | #Constraints: 53339
112.09/112.47 c #Conflicts: 2104000 | #Constraints: 54339
112.09/112.47 c #Conflicts: 2105000 | #Constraints: 55339
112.09/112.47 c #Conflicts: 2106000 | #Constraints: 56339
112.09/112.47 c #Conflicts: 2107000 | #Constraints: 57339
112.09/112.47 c #Conflicts: 2108000 | #Constraints: 58339
112.09/112.47 c INPROCESSING
112.09/112.47 c GARBAGE COLLECT
112.09/112.47 c rational objective 300.5
114.09/114.49 c #Conflicts: 2109000 | #Constraints: 30550
114.09/114.49 c #Conflicts: 2110000 | #Constraints: 31550
114.09/114.49 c #Conflicts: 2111000 | #Constraints: 32550
114.09/114.49 c #Conflicts: 2112000 | #Constraints: 33550
114.09/114.49 c #Conflicts: 2113000 | #Constraints: 34550
114.09/114.49 c #Conflicts: 2114000 | #Constraints: 35550
114.09/114.49 c #Conflicts: 2115000 | #Constraints: 36550
114.09/114.49 c #Conflicts: 2116000 | #Constraints: 37550
114.09/114.49 c #Conflicts: 2117000 | #Constraints: 38550
114.09/114.49 c #Conflicts: 2118000 | #Constraints: 39550
114.09/114.49 c #Conflicts: 2119000 | #Constraints: 40550
114.09/114.49 c #Conflicts: 2120000 | #Constraints: 41550
114.09/114.49 c #Conflicts: 2121000 | #Constraints: 42550
114.09/114.49 c #Conflicts: 2122000 | #Constraints: 43550
114.09/114.49 c #Conflicts: 2123000 | #Constraints: 44550
114.09/114.49 c #Conflicts: 2124000 | #Constraints: 45550
114.09/114.49 c #Conflicts: 2125000 | #Constraints: 46550
114.09/114.49 c #Conflicts: 2126000 | #Constraints: 47550
114.09/114.49 c #Conflicts: 2127000 | #Constraints: 48550
114.09/114.49 c #Conflicts: 2128000 | #Constraints: 49550
114.09/114.49 c #Conflicts: 2129000 | #Constraints: 50550
114.09/114.49 c #Conflicts: 2130000 | #Constraints: 51550
114.09/114.49 c #Conflicts: 2131000 | #Constraints: 52550
114.09/114.49 c #Conflicts: 2132000 | #Constraints: 53550
114.09/114.49 c #Conflicts: 2133000 | #Constraints: 54550
114.09/114.49 c #Conflicts: 2134000 | #Constraints: 55550
114.09/114.49 c #Conflicts: 2135000 | #Constraints: 56550
114.09/114.49 c #Conflicts: 2136000 | #Constraints: 57550
114.09/114.49 c #Conflicts: 2137000 | #Constraints: 58550
114.09/114.49 c INPROCESSING
114.09/114.49 c GARBAGE COLLECT
114.09/114.49 c rational objective 300.5
116.28/116.62 c #Conflicts: 2138000 | #Constraints: 30562
116.28/116.62 c #Conflicts: 2139000 | #Constraints: 31562
116.28/116.62 c #Conflicts: 2140000 | #Constraints: 32562
116.28/116.62 c #Conflicts: 2141000 | #Constraints: 33562
116.28/116.62 c #Conflicts: 2142000 | #Constraints: 34562
116.28/116.62 c #Conflicts: 2143000 | #Constraints: 35562
116.28/116.62 c #Conflicts: 2144000 | #Constraints: 36562
116.28/116.62 c #Conflicts: 2145000 | #Constraints: 37562
116.28/116.62 c #Conflicts: 2146000 | #Constraints: 38562
116.28/116.62 c #Conflicts: 2147000 | #Constraints: 39562
116.28/116.62 c #Conflicts: 2148000 | #Constraints: 40562
116.28/116.62 c #Conflicts: 2149000 | #Constraints: 41562
116.28/116.62 c #Conflicts: 2150000 | #Constraints: 42562
116.28/116.62 c #Conflicts: 2151000 | #Constraints: 43562
116.28/116.62 c #Conflicts: 2152000 | #Constraints: 44562
116.28/116.62 c #Conflicts: 2153000 | #Constraints: 45562
116.28/116.62 c #Conflicts: 2154000 | #Constraints: 46562
116.28/116.62 c #Conflicts: 2155000 | #Constraints: 47562
116.28/116.62 c #Conflicts: 2156000 | #Constraints: 48562
116.28/116.62 c #Conflicts: 2157000 | #Constraints: 49562
116.28/116.62 c #Conflicts: 2158000 | #Constraints: 50562
116.28/116.62 c #Conflicts: 2159000 | #Constraints: 51562
116.28/116.62 c #Conflicts: 2160000 | #Constraints: 52562
116.28/116.62 c #Conflicts: 2161000 | #Constraints: 53562
116.28/116.62 c #Conflicts: 2162000 | #Constraints: 54562
116.28/116.62 c #Conflicts: 2163000 | #Constraints: 55562
116.28/116.62 c #Conflicts: 2164000 | #Constraints: 56562
116.28/116.62 c #Conflicts: 2165000 | #Constraints: 57562
116.28/116.62 c #Conflicts: 2166000 | #Constraints: 58562
116.28/116.62 c INPROCESSING
116.28/116.62 c GARBAGE COLLECT
116.28/116.62 c rational objective 300.5
117.78/118.19 c #Conflicts: 2167000 | #Constraints: 30358
117.78/118.19 c #Conflicts: 2168000 | #Constraints: 31358
117.78/118.19 c #Conflicts: 2169000 | #Constraints: 32358
117.78/118.19 c #Conflicts: 2170000 | #Constraints: 33358
117.78/118.19 c #Conflicts: 2171000 | #Constraints: 34358
117.78/118.19 c #Conflicts: 2172000 | #Constraints: 35358
117.78/118.19 c #Conflicts: 2173000 | #Constraints: 36358
117.78/118.19 c #Conflicts: 2174000 | #Constraints: 37358
117.78/118.19 c #Conflicts: 2175000 | #Constraints: 38358
117.78/118.19 c #Conflicts: 2176000 | #Constraints: 39358
117.78/118.19 c #Conflicts: 2177000 | #Constraints: 40358
117.78/118.19 c #Conflicts: 2178000 | #Constraints: 41358
117.78/118.19 c #Conflicts: 2179000 | #Constraints: 42358
117.78/118.19 c #Conflicts: 2180000 | #Constraints: 43358
117.78/118.19 c #Conflicts: 2181000 | #Constraints: 44358
117.78/118.19 c #Conflicts: 2182000 | #Constraints: 45358
117.78/118.19 c #Conflicts: 2183000 | #Constraints: 46358
117.78/118.19 c #Conflicts: 2184000 | #Constraints: 47358
117.78/118.19 c #Conflicts: 2185000 | #Constraints: 48358
117.78/118.19 c #Conflicts: 2186000 | #Constraints: 49358
117.78/118.19 c #Conflicts: 2187000 | #Constraints: 50358
117.78/118.19 c #Conflicts: 2188000 | #Constraints: 51358
117.78/118.19 c #Conflicts: 2189000 | #Constraints: 52358
117.78/118.19 c #Conflicts: 2190000 | #Constraints: 53358
117.78/118.19 c #Conflicts: 2191000 | #Constraints: 54358
117.78/118.19 c #Conflicts: 2192000 | #Constraints: 55358
117.78/118.19 c #Conflicts: 2193000 | #Constraints: 56358
117.78/118.19 c #Conflicts: 2194000 | #Constraints: 57358
117.78/118.19 c #Conflicts: 2195000 | #Constraints: 58358
117.78/118.19 c #Conflicts: 2196000 | #Constraints: 59358
117.78/118.19 c INPROCESSING
117.78/118.19 c GARBAGE COLLECT
117.78/118.19 c rational objective 300.5
119.87/120.28 c #Conflicts: 2197000 | #Constraints: 30963
119.87/120.28 c #Conflicts: 2198000 | #Constraints: 31963
119.87/120.28 c #Conflicts: 2199000 | #Constraints: 32963
119.87/120.28 c #Conflicts: 2200000 | #Constraints: 33963
119.87/120.28 c #Conflicts: 2201000 | #Constraints: 34963
119.87/120.28 c #Conflicts: 2202000 | #Constraints: 35963
119.87/120.28 c #Conflicts: 2203000 | #Constraints: 36963
119.87/120.28 c #Conflicts: 2204000 | #Constraints: 37963
119.87/120.28 c #Conflicts: 2205000 | #Constraints: 38963
119.87/120.28 c #Conflicts: 2206000 | #Constraints: 39963
119.87/120.28 c #Conflicts: 2207000 | #Constraints: 40963
119.87/120.28 c #Conflicts: 2208000 | #Constraints: 41963
119.87/120.28 c #Conflicts: 2209000 | #Constraints: 42963
119.87/120.28 c #Conflicts: 2210000 | #Constraints: 43963
119.87/120.28 c #Conflicts: 2211000 | #Constraints: 44963
119.87/120.28 c #Conflicts: 2212000 | #Constraints: 45963
119.87/120.28 c #Conflicts: 2213000 | #Constraints: 46963
119.87/120.28 c #Conflicts: 2214000 | #Constraints: 47963
119.87/120.28 c #Conflicts: 2215000 | #Constraints: 48963
119.87/120.28 c #Conflicts: 2216000 | #Constraints: 49963
119.87/120.28 c #Conflicts: 2217000 | #Constraints: 50963
119.87/120.28 c #Conflicts: 2218000 | #Constraints: 51963
119.87/120.28 c #Conflicts: 2219000 | #Constraints: 52963
119.87/120.28 c #Conflicts: 2220000 | #Constraints: 53963
119.87/120.28 c #Conflicts: 2221000 | #Constraints: 54963
119.87/120.28 c #Conflicts: 2222000 | #Constraints: 55963
119.87/120.28 c #Conflicts: 2223000 | #Constraints: 56963
119.87/120.28 c #Conflicts: 2224000 | #Constraints: 57963
119.87/120.28 c #Conflicts: 2225000 | #Constraints: 58963
119.87/120.28 c #Conflicts: 2226000 | #Constraints: 59963
119.87/120.28 c INPROCESSING
119.87/120.28 c GARBAGE COLLECT
119.87/120.28 c rational objective 300.5
122.07/122.42 c #Conflicts: 2227000 | #Constraints: 31366
122.07/122.42 c #Conflicts: 2228000 | #Constraints: 32366
122.07/122.42 c #Conflicts: 2229000 | #Constraints: 33366
122.07/122.42 c #Conflicts: 2230000 | #Constraints: 34366
122.07/122.42 c #Conflicts: 2231000 | #Constraints: 35366
122.07/122.42 c #Conflicts: 2232000 | #Constraints: 36366
122.07/122.42 c #Conflicts: 2233000 | #Constraints: 37366
122.07/122.42 c #Conflicts: 2234000 | #Constraints: 38366
122.07/122.42 c #Conflicts: 2235000 | #Constraints: 39366
122.07/122.42 c #Conflicts: 2236000 | #Constraints: 40366
122.07/122.42 c #Conflicts: 2237000 | #Constraints: 41366
122.07/122.42 c #Conflicts: 2238000 | #Constraints: 42366
122.07/122.42 c #Conflicts: 2239000 | #Constraints: 43366
122.07/122.42 c #Conflicts: 2240000 | #Constraints: 44366
122.07/122.42 c #Conflicts: 2241000 | #Constraints: 45366
122.07/122.42 c #Conflicts: 2242000 | #Constraints: 46366
122.07/122.42 c #Conflicts: 2243000 | #Constraints: 47366
122.07/122.42 c #Conflicts: 2244000 | #Constraints: 48366
122.07/122.42 c #Conflicts: 2245000 | #Constraints: 49366
122.07/122.42 c #Conflicts: 2246000 | #Constraints: 50366
122.07/122.42 c #Conflicts: 2247000 | #Constraints: 51366
122.07/122.42 c #Conflicts: 2248000 | #Constraints: 52366
122.07/122.42 c #Conflicts: 2249000 | #Constraints: 53366
122.07/122.42 c #Conflicts: 2250000 | #Constraints: 54366
122.07/122.42 c #Conflicts: 2251000 | #Constraints: 55366
122.07/122.42 c #Conflicts: 2252000 | #Constraints: 56366
122.07/122.42 c #Conflicts: 2253000 | #Constraints: 57366
122.07/122.42 c #Conflicts: 2254000 | #Constraints: 58366
122.07/122.42 c #Conflicts: 2255000 | #Constraints: 59366
122.07/122.42 c #Conflicts: 2256000 | #Constraints: 60366
122.07/122.42 c INPROCESSING
122.07/122.42 c GARBAGE COLLECT
122.07/122.42 c rational objective 300.5
124.56/124.98 c #Conflicts: 2257000 | #Constraints: 31562
124.56/124.98 c #Conflicts: 2258000 | #Constraints: 32562
124.56/124.98 c #Conflicts: 2259000 | #Constraints: 33562
124.56/124.98 c #Conflicts: 2260000 | #Constraints: 34562
124.56/124.98 c #Conflicts: 2261000 | #Constraints: 35562
124.56/124.98 c #Conflicts: 2262000 | #Constraints: 36562
124.56/124.98 c #Conflicts: 2263000 | #Constraints: 37562
124.56/124.98 c #Conflicts: 2264000 | #Constraints: 38562
124.56/124.98 c #Conflicts: 2265000 | #Constraints: 39562
124.56/124.98 c #Conflicts: 2266000 | #Constraints: 40562
124.56/124.98 c #Conflicts: 2267000 | #Constraints: 41562
124.56/124.98 c #Conflicts: 2268000 | #Constraints: 42562
124.56/124.98 c #Conflicts: 2269000 | #Constraints: 43562
124.56/124.98 c #Conflicts: 2270000 | #Constraints: 44562
124.56/124.98 c #Conflicts: 2271000 | #Constraints: 45562
124.56/124.98 c #Conflicts: 2272000 | #Constraints: 46562
124.56/124.98 c #Conflicts: 2273000 | #Constraints: 47562
124.56/124.98 c #Conflicts: 2274000 | #Constraints: 48562
124.56/124.98 c #Conflicts: 2275000 | #Constraints: 49562
124.56/124.98 c #Conflicts: 2276000 | #Constraints: 50562
124.56/124.98 c #Conflicts: 2277000 | #Constraints: 51562
124.56/124.98 c #Conflicts: 2278000 | #Constraints: 52562
124.56/124.98 c #Conflicts: 2279000 | #Constraints: 53562
124.56/124.98 c #Conflicts: 2280000 | #Constraints: 54562
124.56/124.98 c #Conflicts: 2281000 | #Constraints: 55562
124.56/124.98 c #Conflicts: 2282000 | #Constraints: 56562
124.56/124.98 c #Conflicts: 2283000 | #Constraints: 57562
124.56/124.98 c #Conflicts: 2284000 | #Constraints: 58562
124.56/124.98 c #Conflicts: 2285000 | #Constraints: 59562
124.56/124.98 c #Conflicts: 2286000 | #Constraints: 60562
124.56/124.98 c INPROCESSING
124.56/124.98 c GARBAGE COLLECT
124.56/124.98 c rational objective 300.5
126.55/126.94 c #Conflicts: 2287000 | #Constraints: 31564
126.55/126.94 c #Conflicts: 2288000 | #Constraints: 32564
126.55/126.94 c #Conflicts: 2289000 | #Constraints: 33564
126.55/126.94 c #Conflicts: 2290000 | #Constraints: 34564
126.55/126.94 c #Conflicts: 2291000 | #Constraints: 35564
126.55/126.94 c #Conflicts: 2292000 | #Constraints: 36564
126.55/126.94 c #Conflicts: 2293000 | #Constraints: 37564
126.55/126.94 c #Conflicts: 2294000 | #Constraints: 38564
126.55/126.94 c #Conflicts: 2295000 | #Constraints: 39564
126.55/126.94 c #Conflicts: 2296000 | #Constraints: 40564
126.55/126.94 c #Conflicts: 2297000 | #Constraints: 41564
126.55/126.94 c #Conflicts: 2298000 | #Constraints: 42564
126.55/126.94 c #Conflicts: 2299000 | #Constraints: 43564
126.55/126.94 c #Conflicts: 2300000 | #Constraints: 44564
126.55/126.94 c #Conflicts: 2301000 | #Constraints: 45564
126.55/126.94 c #Conflicts: 2302000 | #Constraints: 46564
126.55/126.94 c #Conflicts: 2303000 | #Constraints: 47564
126.55/126.94 c #Conflicts: 2304000 | #Constraints: 48564
126.55/126.94 c #Conflicts: 2305000 | #Constraints: 49564
126.55/126.94 c #Conflicts: 2306000 | #Constraints: 50564
126.55/126.94 c #Conflicts: 2307000 | #Constraints: 51564
126.55/126.94 c #Conflicts: 2308000 | #Constraints: 52564
126.55/126.94 c #Conflicts: 2309000 | #Constraints: 53564
126.55/126.94 c #Conflicts: 2310000 | #Constraints: 54564
126.55/126.94 c #Conflicts: 2311000 | #Constraints: 55564
126.55/126.94 c #Conflicts: 2312000 | #Constraints: 56564
126.55/126.94 c #Conflicts: 2313000 | #Constraints: 57564
126.55/126.94 c #Conflicts: 2314000 | #Constraints: 58564
126.55/126.94 c cpu time 119.46 s
126.55/126.94 c deterministic time 5629731839 5.63e+09
126.55/126.94 c optimization time 0.000115 s
126.55/126.94 c total solve time 119.458 s
126.55/126.94 c core-guided solve time 0 s
126.55/126.94 c propagation time 89.2966 s
126.55/126.94 c conflict analysis time 18.7575 s
126.55/126.94 c propagations 13260598
126.55/126.94 c resolve steps 7504121
126.55/126.94 c decisions 3556379
126.55/126.94 c conflicts 2314251
126.55/126.94 c restarts 4094
126.55/126.94 c inprocessing phases 142
126.55/126.94 c garbage collections 142 ,( 100.00 )
126.55/126.94 c input clauses 2 ,( 0.33 )
126.55/126.94 c input cardinalities 600 ,( 99.67 )
126.55/126.94 c input general constraints 0 ,( 0.00 )
126.55/126.94 c input average constraint length 3.99
126.55/126.94 c input average constraint degree 2.00
126.55/126.94 c learned clauses 2246833 ,( 97.06 )
126.55/126.94 c learned cardinalities 6536 ,( 0.28 )
126.55/126.94 c learned general constraints 61567 ,( 2.66 )
126.55/126.94 c learned average constraint length 17.57
126.55/126.94 c learned average constraint degree 3897909.36
126.55/126.94 c watched CF 32, 64, 128, Arb: 35933 , 0 , 0 , 0
126.55/126.94 c counting CF 32, 64, 128, Arb: 25634 , 0 , 0 , 0
126.55/126.94 c watched constraints 35933 ,( 58.36 )
126.55/126.94 c counting constraints 25634 ,( 41.64 )
126.55/126.94 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 825247853 , 87599566 , 59661307 ,( 50236227 , 9425080 )
126.55/126.94 c gcd simplifications 33394
126.55/126.94 c detected cardinalities 909
126.55/126.94 c weakened non-implied lits 826539
126.55/126.94 c weakened non-implying lits 11931
126.55/126.94 c original variables 601
126.55/126.94 c clausal propagations 4931423
126.55/126.94 c cardinality propagations 3456873
126.55/126.94 c watched propagations 646682
126.55/126.94 c counting propagations 1872587
126.55/126.94 c watch lookups 3365319770
126.55/126.94 c watch backjump lookups 0
126.55/126.94 c watch checks 1978142101
126.55/126.94 c propagation checks 120796855
126.55/126.94 c constraint additions 129292858
126.55/126.94 c trail pops 19131192
126.55/126.94 c formula constraints 602
126.55/126.94 c learned constraints 2314228
126.55/126.94 c bound constraints 0
126.55/126.94 c core-guided constraints 0
126.55/126.94 c encountered formula constraints 795989
126.55/126.94 c encountered learned constraints 8995580
126.55/126.94 c encountered bound constraints 0
126.55/126.94 c encountered core-guided constraints 0
126.55/126.94 c LP total time 11.5451 s
126.55/126.94 c LP solve time 7.26 s
126.55/126.94 c LP constraints added 1409
126.55/126.94 c LP constraints removed 797
126.55/126.94 c LP pivots internal 231425
126.55/126.94 c LP pivots root 660
126.55/126.94 c LP calls 21624
126.55/126.94 c LP optimalities 21602
126.55/126.94 c LP no pivot count 1344
126.55/126.94 c LP infeasibilities 22
126.55/126.94 c LP valid Farkas constraints 22
126.55/126.94 c LP learned Farkas constraints 22
126.55/126.94 c LP basis resets 0
126.55/126.94 c LP cycling count 0
126.55/126.94 c LP singular count 0
126.55/126.94 c LP no primal count 0
126.55/126.94 c LP no farkas count 0
126.55/126.94 c LP other issue count 0
126.55/126.94 c LP Gomory cuts 664
126.55/126.94 c LP learned cuts 143
126.55/126.94 c LP deleted cuts 797
126.55/126.94 c LP encountered Gomory constraints 1
126.55/126.94 c LP encountered Farkas constraints 26709
126.55/126.94 c LP encountered learned Farkas constraints 71
126.55/126.94 c CG auxiliary variables introduced 0
126.55/126.94 c CG solutions found 0
126.55/126.94 c CG cores constructed 0
126.55/126.94 c CG core cardinality constraints returned 0
126.55/126.94 c CG unit cores 0
126.55/126.94 c CG single cores 0
126.55/126.94 c CG blocks removed during cardinality reduction 0
126.55/126.94 c CG first core best 0
126.55/126.94 c CG decision core best 0
126.55/126.94 c CG core reduction tie 0
126.55/126.94 c CG core degree average 0.00
126.55/126.94 c CG core slack average 0.00
126.55/126.94 c CG core upper bound improvements 0
126.55/126.94 c STR number of successful calls 0
126.55/126.94 c STR number of unsuccessful calls 0
126.55/126.94 c STR number of inconclusive calls 0
126.55/126.94 c STR number of successful attempts 0
126.55/126.94 c STR number of unsuccessful attempts 0
126.55/126.94 c STR number of inconclusive attempts 0
126.55/126.94 c STR average degree increase per successful call inf
126.55/126.94 c STR average degree increase per successful attempt inf
126.55/126.94 c STR total number of conflicts for successful attempts 0
126.55/126.94 c STR total number of conflicts for unsuccessful attempts 0
126.55/126.94 c STR total number of conflicts for inconclusive attempts 0
126.55/126.94 c STR average number of conflicts per successful attempt inf
126.55/126.94 c STR average number of conflicts per unsuccessful attempt inf
126.55/126.94 c STR average number of conflicts per inconclusive attempt inf
126.55/126.94 c AVG.sumWPerc 37.42
126.55/126.94 c bigint constraints 0
126.55/126.94 s UNSATISFIABLE
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 (62934 MiB free)
memory of node 1: 64465 MiB (63665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511158-1751197842/watcher-4511158-1751197842 -o /tmp/evaluation-result-4511158-1751197842/solver-4511158-1751197842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4511158-1751197842.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24708, runsolver pid=24705
[startup+0.100057 s]*
/proc/loadavg: 4.18 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638684/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=58000 memory=14640 CPUtime=0.08 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1117 0 0 0 7 1 0 0 20 0 1 0 35462820 59392000 3660 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 14500 3660 2368 1147 0 1927 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 17712 KiB
[startup+0.205492 s]*
/proc/loadavg: 4.18 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638684/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=58572 memory=15280 CPUtime=0.19 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1263 0 0 0 16 3 0 0 20 0 1 0 35462820 59977728 3820 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 14643 3820 2368 1147 0 2070 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62764 KiB
Current children cumulated memory: 18352 KiB
[startup+0.304584 s]*
/proc/loadavg: 4.18 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638684/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=58704 memory=15408 CPUtime=0.29 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1314 0 0 0 25 4 0 0 20 0 1 0 35462820 60112896 3852 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 14676 3852 2368 1147 0 2103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62896 KiB
Current children cumulated memory: 18480 KiB
[startup+0.700159 s]
/proc/loadavg: 4.18 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638684/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=59392 memory=16048 CPUtime=0.68 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1474 0 0 0 60 8 0 0 20 0 1 0 35462820 60817408 4012 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 14848 4012 2368 1147 0 2275 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63584 KiB
Current children cumulated memory: 19120 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638780/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=60124 memory=16816 CPUtime=1.48 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1664 0 0 0 130 18 0 0 20 0 1 0 35462820 61566976 4204 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 15031 4204 2368 1147 0 2458 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64316 KiB
Current children cumulated memory: 19888 KiB
[startup+3.10541 s]
/proc/loadavg: 4.17 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638828/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=60996 memory=17712 CPUtime=3.08 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 1879 0 0 0 273 35 0 0 20 0 1 0 35462820 62459904 4428 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 15249 4428 2368 1147 0 2676 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 20784 KiB
[startup+6.30016 s]
/proc/loadavg: 4.17 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129638852/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=62760 memory=19376 CPUtime=6.26 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 2305 0 0 0 559 67 0 0 20 0 1 0 35462820 64266240 4844 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 15690 4844 2368 1147 0 3117 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66952 KiB
Current children cumulated memory: 22448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.03 5/267 24710
/proc/meminfo: memFree=129637428/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=63408 memory=22196 CPUtime=12.65 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 3362 0 0 0 1147 118 0 0 20 0 1 0 35462820 64929792 5549 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 15852 5549 2368 1147 0 3279 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67600 KiB
Current children cumulated memory: 25268 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.02 5/267 24710
/proc/meminfo: memFree=129634672/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=66292 memory=24656 CPUtime=25.42 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 5991 0 0 0 2342 200 0 0 20 0 1 0 35462820 67883008 6164 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 16573 6164 2368 1147 0 4000 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 70484 KiB
Current children cumulated memory: 27728 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.03 5/267 24711
/proc/meminfo: memFree=129627680/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=69304 memory=27372 CPUtime=50.96 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 9286 0 0 0 4747 349 0 0 20 0 1 0 35462820 70967296 6843 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 17326 6843 2368 1147 0 4753 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 73496 KiB
Current children cumulated memory: 30444 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.03 5/267 24713
/proc/meminfo: memFree=129622580/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=75548 memory=31736 CPUtime=102.02 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 17747 0 0 0 9602 600 0 0 20 0 1 0 35462820 77361152 7934 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 18887 7934 2368 1147 0 6314 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 34808 KiB
[startup+126.951 s]
# the end of solver process 24708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=119.462 s, system=7.15263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.18 4.14 4.03 5/267 24713
/proc/meminfo: memFree=129622580/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=75548 memory=31736 CPUtime=102.12 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 17747 0 0 0 9611 601 0 0 20 0 1 0 35462820 77361152 7934 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 18887 7934 2368 1147 0 6314 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 34808 KiB
[startup+115.2 s]
/proc/loadavg: 4.14 4.13 4.03 5/267 24713
/proc/meminfo: memFree=129620856/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=75352 memory=31932 CPUtime=114.88 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 19139 0 0 0 10826 662 0 0 20 0 1 0 35462820 77160448 7983 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 18838 7983 2368 1147 0 6265 0
Current children cumulated CPU time: 114.88 s
Current children cumulated vsize: 79544 KiB
Current children cumulated memory: 35004 KiB
[startup+121.6 s]
/proc/loadavg: 4.21 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619408/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=76844 memory=33364 CPUtime=121.27 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 19791 0 0 0 11434 693 0 0 20 0 1 0 35462820 78688256 8341 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19211 8341 2368 1147 0 6638 0
Current children cumulated CPU time: 121.27 s
Current children cumulated vsize: 81036 KiB
Current children cumulated memory: 36436 KiB
[startup+124.8 s]
/proc/loadavg: 4.19 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619736/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=76888 memory=33160 CPUtime=124.45 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 19994 0 0 0 11741 704 0 0 20 0 1 0 35462820 78733312 8290 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19222 8290 2368 1147 0 6649 0
Current children cumulated CPU time: 124.45 s
Current children cumulated vsize: 81080 KiB
Current children cumulated memory: 36232 KiB
[startup+125.6 s]
/proc/loadavg: 4.19 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619736/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=77616 memory=33940 CPUtime=125.25 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 20280 0 0 0 11817 708 0 0 20 0 1 0 35462820 79478784 8485 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19404 8485 2368 1147 0 6831 0
Current children cumulated CPU time: 125.25 s
Current children cumulated vsize: 81808 KiB
Current children cumulated memory: 37012 KiB
[startup+126.4 s]
/proc/loadavg: 4.19 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619492/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=77616 memory=33940 CPUtime=126.06 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 20280 0 0 0 11894 712 0 0 20 0 1 0 35462820 79478784 8485 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19404 8485 2368 1147 0 6831 0
Current children cumulated CPU time: 126.06 s
Current children cumulated vsize: 81808 KiB
Current children cumulated memory: 37012 KiB
[startup+126.8 s]
/proc/loadavg: 4.19 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619492/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=77616 memory=33940 CPUtime=126.45 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 20280 0 0 0 11931 714 0 0 20 0 1 0 35462820 79478784 8485 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19404 8485 2368 1147 0 6831 0
Current children cumulated CPU time: 126.45 s
Current children cumulated vsize: 81808 KiB
Current children cumulated memory: 37012 KiB
[startup+126.9 s]
/proc/loadavg: 4.19 4.14 4.04 5/267 24714
/proc/meminfo: memFree=129619492/131249996 swapFree=33010684/33010684
[pid=24708] ppid=24705 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24708/stat : 24708 (run-dec-ls.sh) S 24705 24708 23826 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35462820 4292608 768 18446744073709551615 94641053585408 94641054479941 140735771815456 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94641054718992 94641054766736 94641070223360 140735771818343 140735771818469 140735771818469 140735771824071 0
/proc/24708/statm: 1048 768 704 219 0 110 0
[pid=24710] ppid=24708 vsize=77616 memory=33940 CPUtime=126.55 cores=5,7
/proc/24710/stat : 24710 (roundingsat) R 24708 24708 23826 0 -1 4194304 20280 0 0 0 11941 714 0 0 20 0 1 0 35462820 79478784 8485 18446744073709551615 4227072 8923433 140723171602864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10723328 140723171608992 140723171609128 140723171609128 140723171614698 0
/proc/24710/statm: 19404 8485 2368 1147 0 6831 0
Current children cumulated CPU time: 126.55 s
Current children cumulated vsize: 81808 KiB
Current children cumulated memory: 37012 KiB
Child status: 0
Real time (s): 126.951
CPU time (s): 126.614
CPU user time (s): 119.462
CPU system time (s): 7.15263
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 81808
Max. memory (cumulated for all children) (KiB): 37012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.462
system time used= 7.15262
maximum resident set size= 34312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 788
# summary of solver processes directly reported to runsolver:
# pid: 24708
# total CPU time (s): 126.614
# total CPU user time (s): 119.462
# total CPU system time (s): 7.15263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288876 second user time and 0.556263 second system time
The end
Begin job on nodeC032 at 2025-06-29 13:50:42
IDJOB=4511158
IDBENCH=160431
IDSOLVER=3353
FILE ID=nodeC032/4511158-1751197842
RUNJOBID= nodeC032-1751195386-23839
SLURM_JOB_ID= 9587604
Free space on /tmp= 432036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511158-1751197842/watcher-4511158-1751197842 -o /tmp/evaluation-result-4511158-1751197842/solver-4511158-1751197842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4511158-1751197842.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ae40a270bfcd4ecd9b94334dd86fa6
RANDOM SEED=284298958
nodeC032 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 : 3599.824
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.69
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.845
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.69
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 : 3601.998
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.864
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.69
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.848
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.69
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.680
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.69
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.643
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.819
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129638828 kB
MemAvailable: 129304852 kB
Buffers: 3280 kB
Cached: 476604 kB
SwapCached: 0 kB
Active: 814000 kB
Inactive: 223508 kB
Active(anon): 575708 kB
Inactive(anon): 0 kB
Active(file): 238292 kB
Inactive(file): 223508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7292 kB
Writeback: 4 kB
AnonPages: 555228 kB
Mapped: 112604 kB
Shmem: 18068 kB
KReclaimable: 86924 kB
Slab: 170600 kB
SReclaimable: 86924 kB
SUnreclaim: 83676 kB
KernelStack: 4288 kB
PageTables: 4232 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 934776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432032 MiB
End job on nodeC032 at 2025-06-29 13:52:49