0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 601 #constraints 602
0.00/0.05 c rational objective 300.5
0.48/0.54 c #Conflicts: 1000 | #Constraints: 1608
0.48/0.54 c #Conflicts: 2000 | #Constraints: 2610
0.48/0.54 c INPROCESSING
0.48/0.54 c GARBAGE COLLECT
0.48/0.54 c #Conflicts: 3000 | #Constraints: 2643
0.48/0.54 c #Conflicts: 4000 | #Constraints: 3643
0.48/0.54 c INPROCESSING
0.48/0.54 c GARBAGE COLLECT
0.48/0.54 c #Conflicts: 5000 | #Constraints: 3062
0.48/0.54 c #Conflicts: 6000 | #Constraints: 4063
0.48/0.54 c INPROCESSING
0.48/0.54 c GARBAGE COLLECT
0.48/0.54 c rational objective 300.5
0.66/0.72 c #Conflicts: 7000 | #Constraints: 3078
0.66/0.72 c #Conflicts: 8000 | #Constraints: 4079
0.66/0.72 c #Conflicts: 9000 | #Constraints: 5080
0.66/0.72 c INPROCESSING
0.66/0.72 c GARBAGE COLLECT
0.66/0.72 c rational objective 300.5
0.86/0.92 c #Conflicts: 10000 | #Constraints: 3787
0.86/0.92 c #Conflicts: 11000 | #Constraints: 4787
0.86/0.92 c #Conflicts: 12000 | #Constraints: 5787
0.86/0.92 c INPROCESSING
0.86/0.92 c GARBAGE COLLECT
0.86/0.92 c rational objective 300.5
1.07/1.14 c #Conflicts: 13000 | #Constraints: 4239
1.07/1.14 c #Conflicts: 14000 | #Constraints: 5239
1.07/1.14 c #Conflicts: 15000 | #Constraints: 6239
1.07/1.14 c INPROCESSING
1.07/1.14 c GARBAGE COLLECT
1.07/1.14 c rational objective 300.5
1.26/1.32 c #Conflicts: 16000 | #Constraints: 4466
1.26/1.32 c #Conflicts: 17000 | #Constraints: 5466
1.26/1.32 c #Conflicts: 18000 | #Constraints: 6466
1.26/1.32 c INPROCESSING
1.26/1.32 c GARBAGE COLLECT
1.26/1.32 c rational objective 300.5
1.45/1.51 c #Conflicts: 19000 | #Constraints: 4485
1.45/1.51 c #Conflicts: 20000 | #Constraints: 5485
1.45/1.51 c #Conflicts: 21000 | #Constraints: 6485
1.45/1.51 c INPROCESSING
1.45/1.51 c GARBAGE COLLECT
1.45/1.51 c rational objective 300.5
1.55/1.68 c #Conflicts: 22000 | #Constraints: 4289
1.55/1.68 c #Conflicts: 23000 | #Constraints: 5289
1.55/1.68 c #Conflicts: 24000 | #Constraints: 6289
1.55/1.68 c #Conflicts: 25000 | #Constraints: 7289
1.55/1.68 c INPROCESSING
1.55/1.68 c GARBAGE COLLECT
1.55/1.68 c rational objective 300.5
1.75/1.86 c #Conflicts: 26000 | #Constraints: 4891
1.75/1.86 c #Conflicts: 27000 | #Constraints: 5891
1.75/1.86 c #Conflicts: 28000 | #Constraints: 6891
1.75/1.86 c #Conflicts: 29000 | #Constraints: 7891
1.75/1.86 c INPROCESSING
1.75/1.86 c GARBAGE COLLECT
1.75/1.86 c rational objective 300.5
1.96/2.04 c #Conflicts: 30000 | #Constraints: 5294
1.96/2.04 c #Conflicts: 31000 | #Constraints: 6294
1.96/2.04 c #Conflicts: 32000 | #Constraints: 7295
1.96/2.04 c #Conflicts: 33000 | #Constraints: 8295
1.96/2.04 c INPROCESSING
1.96/2.04 c GARBAGE COLLECT
1.96/2.04 c rational objective 300.5
2.15/2.21 c #Conflicts: 34000 | #Constraints: 5499
2.15/2.21 c #Conflicts: 35000 | #Constraints: 6499
2.15/2.21 c #Conflicts: 36000 | #Constraints: 7499
2.15/2.21 c #Conflicts: 37000 | #Constraints: 8500
2.15/2.21 c INPROCESSING
2.15/2.21 c GARBAGE COLLECT
2.15/2.21 c rational objective 300.5
2.25/2.38 c #Conflicts: 38000 | #Constraints: 5507
2.25/2.38 c #Conflicts: 39000 | #Constraints: 6507
2.25/2.38 c #Conflicts: 40000 | #Constraints: 7507
2.25/2.38 c #Conflicts: 41000 | #Constraints: 8507
2.25/2.38 c INPROCESSING
2.25/2.38 c GARBAGE COLLECT
2.25/2.38 c rational objective 300.5
2.45/2.58 c #Conflicts: 42000 | #Constraints: 5308
2.45/2.58 c #Conflicts: 43000 | #Constraints: 6309
2.45/2.58 c #Conflicts: 44000 | #Constraints: 7309
2.45/2.58 c #Conflicts: 45000 | #Constraints: 8309
2.45/2.58 c #Conflicts: 46000 | #Constraints: 9309
2.45/2.58 c INPROCESSING
2.45/2.58 c GARBAGE COLLECT
2.45/2.58 c rational objective 300.5
2.65/2.75 c #Conflicts: 47000 | #Constraints: 5896
2.65/2.75 c #Conflicts: 48000 | #Constraints: 6896
2.65/2.75 c #Conflicts: 49000 | #Constraints: 7896
2.65/2.75 c #Conflicts: 50000 | #Constraints: 8896
2.65/2.75 c #Conflicts: 51000 | #Constraints: 9896
2.65/2.75 c INPROCESSING
2.65/2.75 c GARBAGE COLLECT
2.65/2.75 c rational objective 300.5
2.85/2.93 c #Conflicts: 52000 | #Constraints: 6295
2.85/2.93 c #Conflicts: 53000 | #Constraints: 7295
2.85/2.93 c #Conflicts: 54000 | #Constraints: 8295
2.85/2.93 c #Conflicts: 55000 | #Constraints: 9295
2.85/2.93 c #Conflicts: 56000 | #Constraints: 10295
2.85/2.93 c INPROCESSING
2.85/2.93 c GARBAGE COLLECT
2.85/2.93 c rational objective 300.5
3.06/3.13 c #Conflicts: 57000 | #Constraints: 6491
3.06/3.13 c #Conflicts: 58000 | #Constraints: 7491
3.06/3.13 c #Conflicts: 59000 | #Constraints: 8491
3.06/3.13 c #Conflicts: 60000 | #Constraints: 9491
3.06/3.13 c #Conflicts: 61000 | #Constraints: 10491
3.06/3.13 c INPROCESSING
3.06/3.13 c GARBAGE COLLECT
3.06/3.13 c rational objective 300.5
3.25/3.34 c #Conflicts: 62000 | #Constraints: 6498
3.25/3.34 c #Conflicts: 63000 | #Constraints: 7498
3.25/3.34 c #Conflicts: 64000 | #Constraints: 8498
3.25/3.34 c #Conflicts: 65000 | #Constraints: 9498
3.25/3.34 c #Conflicts: 66000 | #Constraints: 10498
3.25/3.34 c INPROCESSING
3.25/3.34 c GARBAGE COLLECT
3.25/3.34 c rational objective 300.5
3.45/3.54 c #Conflicts: 67000 | #Constraints: 6303
3.45/3.54 c #Conflicts: 68000 | #Constraints: 7303
3.45/3.54 c #Conflicts: 69000 | #Constraints: 8303
3.45/3.54 c #Conflicts: 70000 | #Constraints: 9303
3.45/3.54 c #Conflicts: 71000 | #Constraints: 10303
3.45/3.54 c #Conflicts: 72000 | #Constraints: 11303
3.45/3.54 c INPROCESSING
3.45/3.54 c GARBAGE COLLECT
3.45/3.54 c rational objective 300.5
3.65/3.76 c #Conflicts: 73000 | #Constraints: 6900
3.65/3.76 c #Conflicts: 74000 | #Constraints: 7900
3.65/3.76 c #Conflicts: 75000 | #Constraints: 8900
3.65/3.76 c #Conflicts: 76000 | #Constraints: 9900
3.65/3.76 c #Conflicts: 77000 | #Constraints: 10900
3.65/3.76 c #Conflicts: 78000 | #Constraints: 11900
3.65/3.76 c INPROCESSING
3.65/3.76 c GARBAGE COLLECT
3.65/3.76 c rational objective 300.5
3.85/4.00 c #Conflicts: 79000 | #Constraints: 7309
3.85/4.00 c #Conflicts: 80000 | #Constraints: 8309
3.85/4.00 c #Conflicts: 81000 | #Constraints: 9309
3.85/4.00 c #Conflicts: 82000 | #Constraints: 10309
3.85/4.00 c #Conflicts: 83000 | #Constraints: 11309
3.85/4.00 c #Conflicts: 84000 | #Constraints: 12309
3.85/4.00 c INPROCESSING
3.85/4.00 c GARBAGE COLLECT
3.85/4.00 c rational objective 300.5
4.15/4.23 c #Conflicts: 85000 | #Constraints: 7502
4.15/4.23 c #Conflicts: 86000 | #Constraints: 8502
4.15/4.23 c #Conflicts: 87000 | #Constraints: 9502
4.15/4.23 c #Conflicts: 88000 | #Constraints: 10502
4.15/4.23 c #Conflicts: 89000 | #Constraints: 11502
4.15/4.23 c #Conflicts: 90000 | #Constraints: 12502
4.15/4.23 c INPROCESSING
4.15/4.23 c GARBAGE COLLECT
4.15/4.23 c rational objective 300.5
4.45/4.54 c #Conflicts: 91000 | #Constraints: 7503
4.45/4.54 c #Conflicts: 92000 | #Constraints: 8503
4.45/4.54 c #Conflicts: 93000 | #Constraints: 9503
4.45/4.54 c #Conflicts: 94000 | #Constraints: 10503
4.45/4.54 c #Conflicts: 95000 | #Constraints: 11503
4.45/4.54 c #Conflicts: 96000 | #Constraints: 12504
4.45/4.54 c INPROCESSING
4.45/4.54 c GARBAGE COLLECT
4.45/4.54 c rational objective 300.5
4.64/4.77 c #Conflicts: 97000 | #Constraints: 7305
4.64/4.77 c #Conflicts: 98000 | #Constraints: 8305
4.64/4.77 c #Conflicts: 99000 | #Constraints: 9305
4.64/4.77 c #Conflicts: 100000 | #Constraints: 10305
4.64/4.77 c #Conflicts: 101000 | #Constraints: 11305
4.64/4.77 c #Conflicts: 102000 | #Constraints: 12305
4.64/4.77 c #Conflicts: 103000 | #Constraints: 13306
4.64/4.77 c INPROCESSING
4.64/4.77 c GARBAGE COLLECT
4.64/4.77 c rational objective 300.5
4.95/5.03 c #Conflicts: 104000 | #Constraints: 7908
4.95/5.03 c #Conflicts: 105000 | #Constraints: 8908
4.95/5.03 c #Conflicts: 106000 | #Constraints: 9908
4.95/5.03 c #Conflicts: 107000 | #Constraints: 10908
4.95/5.03 c #Conflicts: 108000 | #Constraints: 11908
4.95/5.03 c #Conflicts: 109000 | #Constraints: 12908
4.95/5.03 c #Conflicts: 110000 | #Constraints: 13908
4.95/5.03 c INPROCESSING
4.95/5.03 c GARBAGE COLLECT
4.95/5.03 c rational objective 300.5
5.14/5.29 c #Conflicts: 111000 | #Constraints: 8310
5.14/5.29 c #Conflicts: 112000 | #Constraints: 9310
5.14/5.29 c #Conflicts: 113000 | #Constraints: 10310
5.14/5.29 c #Conflicts: 114000 | #Constraints: 11310
5.14/5.29 c #Conflicts: 115000 | #Constraints: 12310
5.14/5.29 c #Conflicts: 116000 | #Constraints: 13310
5.14/5.29 c #Conflicts: 117000 | #Constraints: 14310
5.14/5.29 c INPROCESSING
5.14/5.29 c GARBAGE COLLECT
5.14/5.29 c rational objective 300.5
5.45/5.57 c #Conflicts: 118000 | #Constraints: 8501
5.45/5.57 c #Conflicts: 119000 | #Constraints: 9501
5.45/5.57 c #Conflicts: 120000 | #Constraints: 10501
5.45/5.57 c #Conflicts: 121000 | #Constraints: 11501
5.45/5.57 c #Conflicts: 122000 | #Constraints: 12501
5.45/5.57 c #Conflicts: 123000 | #Constraints: 13501
5.45/5.57 c #Conflicts: 124000 | #Constraints: 14501
5.45/5.57 c INPROCESSING
5.45/5.57 c GARBAGE COLLECT
5.45/5.57 c rational objective 300.5
5.74/5.84 c #Conflicts: 125000 | #Constraints: 8495
5.74/5.84 c #Conflicts: 126000 | #Constraints: 9495
5.74/5.84 c #Conflicts: 127000 | #Constraints: 10495
5.74/5.84 c #Conflicts: 128000 | #Constraints: 11496
5.74/5.84 c #Conflicts: 129000 | #Constraints: 12496
5.74/5.84 c #Conflicts: 130000 | #Constraints: 13496
5.74/5.84 c #Conflicts: 131000 | #Constraints: 14496
5.74/5.84 c INPROCESSING
5.74/5.84 c GARBAGE COLLECT
5.74/5.84 c rational objective 300.5
6.05/6.12 c #Conflicts: 132000 | #Constraints: 8299
6.05/6.12 c #Conflicts: 133000 | #Constraints: 9299
6.05/6.12 c #Conflicts: 134000 | #Constraints: 10299
6.05/6.12 c #Conflicts: 135000 | #Constraints: 11299
6.05/6.12 c #Conflicts: 136000 | #Constraints: 12299
6.05/6.12 c #Conflicts: 137000 | #Constraints: 13299
6.05/6.12 c #Conflicts: 138000 | #Constraints: 14299
6.05/6.12 c #Conflicts: 139000 | #Constraints: 15299
6.05/6.12 c INPROCESSING
6.05/6.12 c GARBAGE COLLECT
6.05/6.12 c rational objective 300.5
6.34/6.40 c #Conflicts: 140000 | #Constraints: 8901
6.34/6.40 c #Conflicts: 141000 | #Constraints: 9901
6.34/6.40 c #Conflicts: 142000 | #Constraints: 10901
6.34/6.40 c #Conflicts: 143000 | #Constraints: 11901
6.34/6.40 c #Conflicts: 144000 | #Constraints: 12901
6.34/6.40 c #Conflicts: 145000 | #Constraints: 13901
6.34/6.40 c #Conflicts: 146000 | #Constraints: 14901
6.34/6.40 c #Conflicts: 147000 | #Constraints: 15901
6.34/6.40 c INPROCESSING
6.34/6.40 c GARBAGE COLLECT
6.34/6.40 c rational objective 300.5
6.64/6.70 c #Conflicts: 148000 | #Constraints: 9306
6.64/6.70 c #Conflicts: 149000 | #Constraints: 10306
6.64/6.70 c #Conflicts: 150000 | #Constraints: 11306
6.64/6.70 c #Conflicts: 151000 | #Constraints: 12306
6.64/6.70 c #Conflicts: 152000 | #Constraints: 13306
6.64/6.70 c #Conflicts: 153000 | #Constraints: 14306
6.64/6.70 c #Conflicts: 154000 | #Constraints: 15306
6.64/6.70 c #Conflicts: 155000 | #Constraints: 16306
6.64/6.70 c INPROCESSING
6.64/6.70 c GARBAGE COLLECT
6.64/6.70 c rational objective 300.5
6.84/7.00 c #Conflicts: 156000 | #Constraints: 9506
6.84/7.00 c #Conflicts: 157000 | #Constraints: 10506
6.84/7.00 c #Conflicts: 158000 | #Constraints: 11506
6.84/7.00 c #Conflicts: 159000 | #Constraints: 12506
6.84/7.00 c #Conflicts: 160000 | #Constraints: 13506
6.84/7.00 c #Conflicts: 161000 | #Constraints: 14506
6.84/7.00 c #Conflicts: 162000 | #Constraints: 15506
6.84/7.00 c #Conflicts: 163000 | #Constraints: 16506
6.84/7.00 c INPROCESSING
6.84/7.00 c GARBAGE COLLECT
6.84/7.00 c rational objective 300.5
7.24/7.30 c #Conflicts: 164000 | #Constraints: 9514
7.24/7.30 c #Conflicts: 165000 | #Constraints: 10514
7.24/7.30 c #Conflicts: 166000 | #Constraints: 11514
7.24/7.30 c #Conflicts: 167000 | #Constraints: 12514
7.24/7.30 c #Conflicts: 168000 | #Constraints: 13514
7.24/7.30 c #Conflicts: 169000 | #Constraints: 14514
7.24/7.30 c #Conflicts: 170000 | #Constraints: 15514
7.24/7.30 c #Conflicts: 171000 | #Constraints: 16514
7.24/7.30 c INPROCESSING
7.24/7.30 c GARBAGE COLLECT
7.24/7.30 c rational objective 300.5
7.54/7.62 c #Conflicts: 172000 | #Constraints: 9302
7.54/7.62 c #Conflicts: 173000 | #Constraints: 10302
7.54/7.62 c #Conflicts: 174000 | #Constraints: 11302
7.54/7.62 c #Conflicts: 175000 | #Constraints: 12302
7.54/7.62 c #Conflicts: 176000 | #Constraints: 13302
7.54/7.62 c #Conflicts: 177000 | #Constraints: 14302
7.54/7.62 c #Conflicts: 178000 | #Constraints: 15302
7.54/7.62 c #Conflicts: 179000 | #Constraints: 16302
7.54/7.62 c #Conflicts: 180000 | #Constraints: 17302
7.54/7.62 c INPROCESSING
7.54/7.62 c GARBAGE COLLECT
7.54/7.62 c rational objective 300.5
7.83/7.95 c #Conflicts: 181000 | #Constraints: 9903
7.83/7.95 c #Conflicts: 182000 | #Constraints: 10903
7.83/7.95 c #Conflicts: 183000 | #Constraints: 11903
7.83/7.95 c #Conflicts: 184000 | #Constraints: 12903
7.83/7.95 c #Conflicts: 185000 | #Constraints: 13903
7.83/7.95 c #Conflicts: 186000 | #Constraints: 14903
7.83/7.95 c #Conflicts: 187000 | #Constraints: 15903
7.83/7.95 c #Conflicts: 188000 | #Constraints: 16903
7.83/7.95 c #Conflicts: 189000 | #Constraints: 17903
7.83/7.95 c INPROCESSING
7.83/7.95 c GARBAGE COLLECT
7.83/7.95 c rational objective 300.5
8.14/8.29 c #Conflicts: 190000 | #Constraints: 10307
8.14/8.29 c #Conflicts: 191000 | #Constraints: 11307
8.14/8.29 c #Conflicts: 192000 | #Constraints: 12307
8.14/8.29 c #Conflicts: 193000 | #Constraints: 13307
8.14/8.29 c #Conflicts: 194000 | #Constraints: 14307
8.14/8.29 c #Conflicts: 195000 | #Constraints: 15307
8.14/8.29 c #Conflicts: 196000 | #Constraints: 16307
8.14/8.29 c #Conflicts: 197000 | #Constraints: 17307
8.14/8.29 c #Conflicts: 198000 | #Constraints: 18307
8.14/8.29 c INPROCESSING
8.14/8.29 c GARBAGE COLLECT
8.14/8.29 c rational objective 300.5
8.63/8.73 c #Conflicts: 199000 | #Constraints: 10508
8.63/8.73 c #Conflicts: 200000 | #Constraints: 11508
8.63/8.73 c #Conflicts: 201000 | #Constraints: 12508
8.63/8.73 c #Conflicts: 202000 | #Constraints: 13508
8.63/8.73 c #Conflicts: 203000 | #Constraints: 14508
8.63/8.73 c #Conflicts: 204000 | #Constraints: 15508
8.63/8.73 c #Conflicts: 205000 | #Constraints: 16508
8.63/8.73 c #Conflicts: 206000 | #Constraints: 17508
8.63/8.73 c #Conflicts: 207000 | #Constraints: 18508
8.63/8.73 c INPROCESSING
8.63/8.73 c GARBAGE COLLECT
8.63/8.73 c rational objective 300.5
9.13/9.24 c #Conflicts: 208000 | #Constraints: 10505
9.13/9.24 c #Conflicts: 209000 | #Constraints: 11505
9.13/9.24 c #Conflicts: 210000 | #Constraints: 12505
9.13/9.24 c #Conflicts: 211000 | #Constraints: 13505
9.13/9.24 c #Conflicts: 212000 | #Constraints: 14505
9.13/9.24 c #Conflicts: 213000 | #Constraints: 15505
9.13/9.24 c #Conflicts: 214000 | #Constraints: 16505
9.13/9.24 c #Conflicts: 215000 | #Constraints: 17505
9.13/9.24 c #Conflicts: 216000 | #Constraints: 18505
9.13/9.24 c INPROCESSING
9.13/9.24 c GARBAGE COLLECT
9.13/9.24 c rational objective 300.5
9.53/9.64 c #Conflicts: 217000 | #Constraints: 10303
9.53/9.64 c #Conflicts: 218000 | #Constraints: 11303
9.53/9.64 c #Conflicts: 219000 | #Constraints: 12303
9.53/9.64 c #Conflicts: 220000 | #Constraints: 13303
9.53/9.64 c #Conflicts: 221000 | #Constraints: 14303
9.53/9.64 c #Conflicts: 222000 | #Constraints: 15303
9.53/9.64 c #Conflicts: 223000 | #Constraints: 16303
9.53/9.64 c #Conflicts: 224000 | #Constraints: 17303
9.53/9.64 c #Conflicts: 225000 | #Constraints: 18303
9.53/9.64 c #Conflicts: 226000 | #Constraints: 19303
9.53/9.64 c INPROCESSING
9.53/9.64 c GARBAGE COLLECT
9.53/9.64 c rational objective 300.5
9.94/10.04 c #Conflicts: 227000 | #Constraints: 10904
9.94/10.04 c #Conflicts: 228000 | #Constraints: 11904
9.94/10.04 c #Conflicts: 229000 | #Constraints: 12904
9.94/10.04 c #Conflicts: 230000 | #Constraints: 13904
9.94/10.04 c #Conflicts: 231000 | #Constraints: 14904
9.94/10.04 c #Conflicts: 232000 | #Constraints: 15904
9.94/10.04 c #Conflicts: 233000 | #Constraints: 16904
9.94/10.04 c #Conflicts: 234000 | #Constraints: 17904
9.94/10.04 c #Conflicts: 235000 | #Constraints: 18904
9.94/10.04 c #Conflicts: 236000 | #Constraints: 19904
9.94/10.04 c INPROCESSING
9.94/10.04 c GARBAGE COLLECT
9.94/10.04 c rational objective 300.5
10.33/10.46 c #Conflicts: 237000 | #Constraints: 11300
10.33/10.46 c #Conflicts: 238000 | #Constraints: 12300
10.33/10.46 c #Conflicts: 239000 | #Constraints: 13300
10.33/10.46 c #Conflicts: 240000 | #Constraints: 14300
10.33/10.46 c #Conflicts: 241000 | #Constraints: 15300
10.33/10.46 c #Conflicts: 242000 | #Constraints: 16300
10.33/10.46 c #Conflicts: 243000 | #Constraints: 17300
10.33/10.46 c #Conflicts: 244000 | #Constraints: 18300
10.33/10.46 c #Conflicts: 245000 | #Constraints: 19300
10.33/10.46 c #Conflicts: 246000 | #Constraints: 20300
10.33/10.46 c INPROCESSING
10.33/10.46 c GARBAGE COLLECT
10.33/10.46 c rational objective 300.5
10.83/10.92 c #Conflicts: 247000 | #Constraints: 11511
10.83/10.92 c #Conflicts: 248000 | #Constraints: 12511
10.83/10.92 c #Conflicts: 249000 | #Constraints: 13511
10.83/10.92 c #Conflicts: 250000 | #Constraints: 14511
10.83/10.92 c #Conflicts: 251000 | #Constraints: 15511
10.83/10.92 c #Conflicts: 252000 | #Constraints: 16511
10.83/10.92 c #Conflicts: 253000 | #Constraints: 17511
10.83/10.92 c #Conflicts: 254000 | #Constraints: 18512
10.83/10.92 c #Conflicts: 255000 | #Constraints: 19512
10.83/10.92 c #Conflicts: 256000 | #Constraints: 20512
10.83/10.92 c INPROCESSING
10.83/10.92 c GARBAGE COLLECT
10.83/10.92 c rational objective 300.5
11.23/11.34 c #Conflicts: 257000 | #Constraints: 11509
11.23/11.34 c #Conflicts: 258000 | #Constraints: 12509
11.23/11.34 c #Conflicts: 259000 | #Constraints: 13509
11.23/11.34 c #Conflicts: 260000 | #Constraints: 14509
11.23/11.34 c #Conflicts: 261000 | #Constraints: 15509
11.23/11.34 c #Conflicts: 262000 | #Constraints: 16509
11.23/11.34 c #Conflicts: 263000 | #Constraints: 17509
11.23/11.34 c #Conflicts: 264000 | #Constraints: 18509
11.23/11.34 c #Conflicts: 265000 | #Constraints: 19509
11.23/11.34 c #Conflicts: 266000 | #Constraints: 20509
11.23/11.34 c INPROCESSING
11.23/11.34 c GARBAGE COLLECT
11.23/11.34 c rational objective 300.5
11.62/11.74 c #Conflicts: 267000 | #Constraints: 11310
11.62/11.74 c #Conflicts: 268000 | #Constraints: 12310
11.62/11.74 c #Conflicts: 269000 | #Constraints: 13310
11.62/11.74 c #Conflicts: 270000 | #Constraints: 14310
11.62/11.74 c #Conflicts: 271000 | #Constraints: 15310
11.62/11.74 c #Conflicts: 272000 | #Constraints: 16310
11.62/11.74 c #Conflicts: 273000 | #Constraints: 17310
11.62/11.74 c #Conflicts: 274000 | #Constraints: 18310
11.62/11.74 c #Conflicts: 275000 | #Constraints: 19311
11.62/11.74 c #Conflicts: 276000 | #Constraints: 20311
11.62/11.74 c #Conflicts: 277000 | #Constraints: 21311
11.62/11.74 c INPROCESSING
11.62/11.74 c GARBAGE COLLECT
11.62/11.74 c rational objective 300.5
12.13/12.20 c #Conflicts: 278000 | #Constraints: 11907
12.13/12.20 c #Conflicts: 279000 | #Constraints: 12907
12.13/12.20 c #Conflicts: 280000 | #Constraints: 13907
12.13/12.20 c #Conflicts: 281000 | #Constraints: 14907
12.13/12.20 c #Conflicts: 282000 | #Constraints: 15907
12.13/12.20 c #Conflicts: 283000 | #Constraints: 16907
12.13/12.20 c #Conflicts: 284000 | #Constraints: 17907
12.13/12.20 c #Conflicts: 285000 | #Constraints: 18907
12.13/12.20 c #Conflicts: 286000 | #Constraints: 19907
12.13/12.20 c #Conflicts: 287000 | #Constraints: 20907
12.13/12.20 c #Conflicts: 288000 | #Constraints: 21907
12.13/12.20 c INPROCESSING
12.13/12.20 c GARBAGE COLLECT
12.13/12.20 c rational objective 300.5
12.53/12.65 c #Conflicts: 289000 | #Constraints: 12308
12.53/12.65 c #Conflicts: 290000 | #Constraints: 13308
12.53/12.65 c #Conflicts: 291000 | #Constraints: 14308
12.53/12.65 c #Conflicts: 292000 | #Constraints: 15308
12.53/12.65 c #Conflicts: 293000 | #Constraints: 16308
12.53/12.65 c #Conflicts: 294000 | #Constraints: 17308
12.53/12.65 c #Conflicts: 295000 | #Constraints: 18308
12.53/12.65 c #Conflicts: 296000 | #Constraints: 19308
12.53/12.65 c #Conflicts: 297000 | #Constraints: 20308
12.53/12.65 c #Conflicts: 298000 | #Constraints: 21308
12.53/12.65 c #Conflicts: 299000 | #Constraints: 22308
12.53/12.65 c INPROCESSING
12.53/12.65 c GARBAGE COLLECT
12.53/12.65 c rational objective 300.5
13.04/13.12 c #Conflicts: 300000 | #Constraints: 12512
13.04/13.12 c #Conflicts: 301000 | #Constraints: 13512
13.04/13.12 c #Conflicts: 302000 | #Constraints: 14512
13.04/13.12 c #Conflicts: 303000 | #Constraints: 15512
13.04/13.12 c #Conflicts: 304000 | #Constraints: 16512
13.04/13.12 c #Conflicts: 305000 | #Constraints: 17512
13.04/13.12 c #Conflicts: 306000 | #Constraints: 18512
13.04/13.12 c #Conflicts: 307000 | #Constraints: 19512
13.04/13.12 c #Conflicts: 308000 | #Constraints: 20512
13.04/13.12 c #Conflicts: 309000 | #Constraints: 21512
13.04/13.12 c #Conflicts: 310000 | #Constraints: 22512
13.04/13.12 c INPROCESSING
13.04/13.12 c GARBAGE COLLECT
13.04/13.12 c rational objective 300.5
13.42/13.55 c #Conflicts: 311000 | #Constraints: 12520
13.42/13.55 c #Conflicts: 312000 | #Constraints: 13520
13.42/13.55 c #Conflicts: 313000 | #Constraints: 14520
13.42/13.55 c #Conflicts: 314000 | #Constraints: 15520
13.42/13.55 c #Conflicts: 315000 | #Constraints: 16520
13.42/13.55 c #Conflicts: 316000 | #Constraints: 17520
13.42/13.55 c #Conflicts: 317000 | #Constraints: 18520
13.42/13.55 c #Conflicts: 318000 | #Constraints: 19520
13.42/13.55 c #Conflicts: 319000 | #Constraints: 20520
13.42/13.55 c #Conflicts: 320000 | #Constraints: 21520
13.42/13.55 c #Conflicts: 321000 | #Constraints: 22520
13.42/13.55 c INPROCESSING
13.42/13.55 c GARBAGE COLLECT
13.42/13.55 c rational objective 300.5
14.32/14.44 c #Conflicts: 322000 | #Constraints: 12314
14.32/14.44 c #Conflicts: 323000 | #Constraints: 13314
14.32/14.44 c #Conflicts: 324000 | #Constraints: 14314
14.32/14.44 c #Conflicts: 325000 | #Constraints: 15314
14.32/14.44 c #Conflicts: 326000 | #Constraints: 16314
14.32/14.44 c #Conflicts: 327000 | #Constraints: 17314
14.32/14.44 c #Conflicts: 328000 | #Constraints: 18314
14.32/14.44 c #Conflicts: 329000 | #Constraints: 19314
14.32/14.44 c #Conflicts: 330000 | #Constraints: 20314
14.32/14.44 c #Conflicts: 331000 | #Constraints: 21314
14.32/14.44 c #Conflicts: 332000 | #Constraints: 22314
14.32/14.44 c #Conflicts: 333000 | #Constraints: 23314
14.32/14.44 c INPROCESSING
14.32/14.44 c GARBAGE COLLECT
14.32/14.44 c rational objective 300.5
14.82/14.93 c #Conflicts: 334000 | #Constraints: 12906
14.82/14.93 c #Conflicts: 335000 | #Constraints: 13906
14.82/14.93 c #Conflicts: 336000 | #Constraints: 14906
14.82/14.93 c #Conflicts: 337000 | #Constraints: 15906
14.82/14.93 c #Conflicts: 338000 | #Constraints: 16906
14.82/14.93 c #Conflicts: 339000 | #Constraints: 17906
14.82/14.93 c #Conflicts: 340000 | #Constraints: 18906
14.82/14.93 c #Conflicts: 341000 | #Constraints: 19906
14.82/14.93 c #Conflicts: 342000 | #Constraints: 20906
14.82/14.93 c #Conflicts: 343000 | #Constraints: 21906
14.82/14.93 c #Conflicts: 344000 | #Constraints: 22906
14.82/14.93 c #Conflicts: 345000 | #Constraints: 23906
14.82/14.93 c INPROCESSING
14.82/14.93 c GARBAGE COLLECT
14.82/14.93 c rational objective 300.5
15.31/15.47 c #Conflicts: 346000 | #Constraints: 13310
15.31/15.47 c #Conflicts: 347000 | #Constraints: 14310
15.31/15.47 c #Conflicts: 348000 | #Constraints: 15310
15.31/15.47 c #Conflicts: 349000 | #Constraints: 16310
15.31/15.47 c #Conflicts: 350000 | #Constraints: 17310
15.31/15.47 c #Conflicts: 351000 | #Constraints: 18310
15.31/15.47 c #Conflicts: 352000 | #Constraints: 19310
15.31/15.47 c #Conflicts: 353000 | #Constraints: 20310
15.31/15.47 c #Conflicts: 354000 | #Constraints: 21310
15.31/15.47 c #Conflicts: 355000 | #Constraints: 22310
15.31/15.47 c #Conflicts: 356000 | #Constraints: 23310
15.31/15.47 c #Conflicts: 357000 | #Constraints: 24310
15.31/15.47 c INPROCESSING
15.31/15.47 c GARBAGE COLLECT
15.31/15.47 c rational objective 300.5
15.82/16.00 c #Conflicts: 358000 | #Constraints: 13515
15.82/16.00 c #Conflicts: 359000 | #Constraints: 14515
15.82/16.00 c #Conflicts: 360000 | #Constraints: 15515
15.82/16.00 c #Conflicts: 361000 | #Constraints: 16515
15.82/16.00 c #Conflicts: 362000 | #Constraints: 17515
15.82/16.00 c #Conflicts: 363000 | #Constraints: 18515
15.82/16.00 c #Conflicts: 364000 | #Constraints: 19515
15.82/16.00 c #Conflicts: 365000 | #Constraints: 20515
15.82/16.00 c #Conflicts: 366000 | #Constraints: 21515
15.82/16.00 c #Conflicts: 367000 | #Constraints: 22515
15.82/16.00 c #Conflicts: 368000 | #Constraints: 23515
15.82/16.00 c #Conflicts: 369000 | #Constraints: 24515
15.82/16.00 c INPROCESSING
15.82/16.00 c GARBAGE COLLECT
15.82/16.00 c rational objective 300.5
16.51/16.66 c #Conflicts: 370000 | #Constraints: 13519
16.51/16.66 c #Conflicts: 371000 | #Constraints: 14519
16.51/16.66 c #Conflicts: 372000 | #Constraints: 15519
16.51/16.66 c #Conflicts: 373000 | #Constraints: 16519
16.51/16.66 c #Conflicts: 374000 | #Constraints: 17519
16.51/16.66 c #Conflicts: 375000 | #Constraints: 18519
16.51/16.66 c #Conflicts: 376000 | #Constraints: 19519
16.51/16.66 c #Conflicts: 377000 | #Constraints: 20519
16.51/16.66 c #Conflicts: 378000 | #Constraints: 21519
16.51/16.66 c #Conflicts: 379000 | #Constraints: 22519
16.51/16.66 c #Conflicts: 380000 | #Constraints: 23519
16.51/16.66 c #Conflicts: 381000 | #Constraints: 24519
16.51/16.66 c INPROCESSING
16.51/16.66 c GARBAGE COLLECT
16.51/16.66 c rational objective 300.5
17.11/17.24 c #Conflicts: 382000 | #Constraints: 13317
17.11/17.24 c #Conflicts: 383000 | #Constraints: 14317
17.11/17.24 c #Conflicts: 384000 | #Constraints: 15317
17.11/17.24 c #Conflicts: 385000 | #Constraints: 16317
17.11/17.24 c #Conflicts: 386000 | #Constraints: 17317
17.11/17.24 c #Conflicts: 387000 | #Constraints: 18317
17.11/17.24 c #Conflicts: 388000 | #Constraints: 19317
17.11/17.24 c #Conflicts: 389000 | #Constraints: 20317
17.11/17.24 c #Conflicts: 390000 | #Constraints: 21317
17.11/17.24 c #Conflicts: 391000 | #Constraints: 22317
17.11/17.24 c #Conflicts: 392000 | #Constraints: 23317
17.11/17.24 c #Conflicts: 393000 | #Constraints: 24317
17.11/17.24 c #Conflicts: 394000 | #Constraints: 25317
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c rational objective 300.5
17.61/17.79 c #Conflicts: 395000 | #Constraints: 13919
17.61/17.79 c #Conflicts: 396000 | #Constraints: 14919
17.61/17.79 c #Conflicts: 397000 | #Constraints: 15919
17.61/17.79 c #Conflicts: 398000 | #Constraints: 16919
17.61/17.79 c #Conflicts: 399000 | #Constraints: 17919
17.61/17.79 c #Conflicts: 400000 | #Constraints: 18919
17.61/17.79 c #Conflicts: 401000 | #Constraints: 19919
17.61/17.79 c #Conflicts: 402000 | #Constraints: 20919
17.61/17.79 c #Conflicts: 403000 | #Constraints: 21919
17.61/17.79 c #Conflicts: 404000 | #Constraints: 22919
17.61/17.79 c #Conflicts: 405000 | #Constraints: 23919
17.61/17.79 c #Conflicts: 406000 | #Constraints: 24919
17.61/17.79 c #Conflicts: 407000 | #Constraints: 25919
17.61/17.79 c INPROCESSING
17.61/17.79 c GARBAGE COLLECT
17.61/17.79 c rational objective 300.5
18.31/18.41 c #Conflicts: 408000 | #Constraints: 14310
18.31/18.41 c #Conflicts: 409000 | #Constraints: 15310
18.31/18.41 c #Conflicts: 410000 | #Constraints: 16310
18.31/18.41 c #Conflicts: 411000 | #Constraints: 17310
18.31/18.41 c #Conflicts: 412000 | #Constraints: 18310
18.31/18.41 c #Conflicts: 413000 | #Constraints: 19310
18.31/18.41 c #Conflicts: 414000 | #Constraints: 20310
18.31/18.41 c #Conflicts: 415000 | #Constraints: 21310
18.31/18.41 c #Conflicts: 416000 | #Constraints: 22310
18.31/18.41 c #Conflicts: 417000 | #Constraints: 23310
18.31/18.41 c #Conflicts: 418000 | #Constraints: 24310
18.31/18.41 c #Conflicts: 419000 | #Constraints: 25310
18.31/18.41 c #Conflicts: 420000 | #Constraints: 26310
18.31/18.41 c INPROCESSING
18.31/18.41 c GARBAGE COLLECT
18.31/18.41 c rational objective 300.5
18.92/19.04 c #Conflicts: 421000 | #Constraints: 14522
18.92/19.04 c #Conflicts: 422000 | #Constraints: 15522
18.92/19.04 c #Conflicts: 423000 | #Constraints: 16522
18.92/19.04 c #Conflicts: 424000 | #Constraints: 17522
18.92/19.04 c #Conflicts: 425000 | #Constraints: 18522
18.92/19.04 c #Conflicts: 426000 | #Constraints: 19522
18.92/19.04 c #Conflicts: 427000 | #Constraints: 20522
18.92/19.04 c #Conflicts: 428000 | #Constraints: 21522
18.92/19.04 c #Conflicts: 429000 | #Constraints: 22522
18.92/19.04 c #Conflicts: 430000 | #Constraints: 23522
18.92/19.04 c #Conflicts: 431000 | #Constraints: 24522
18.92/19.04 c #Conflicts: 432000 | #Constraints: 25522
18.92/19.04 c #Conflicts: 433000 | #Constraints: 26522
18.92/19.04 c INPROCESSING
18.92/19.04 c GARBAGE COLLECT
18.92/19.04 c rational objective 300.5
19.60/19.73 c #Conflicts: 434000 | #Constraints: 14516
19.60/19.73 c #Conflicts: 435000 | #Constraints: 15516
19.60/19.73 c #Conflicts: 436000 | #Constraints: 16516
19.60/19.73 c #Conflicts: 437000 | #Constraints: 17516
19.60/19.73 c #Conflicts: 438000 | #Constraints: 18516
19.60/19.73 c #Conflicts: 439000 | #Constraints: 19516
19.60/19.73 c #Conflicts: 440000 | #Constraints: 20516
19.60/19.73 c #Conflicts: 441000 | #Constraints: 21516
19.60/19.73 c #Conflicts: 442000 | #Constraints: 22516
19.60/19.73 c #Conflicts: 443000 | #Constraints: 23516
19.60/19.73 c #Conflicts: 444000 | #Constraints: 24516
19.60/19.73 c #Conflicts: 445000 | #Constraints: 25516
19.60/19.73 c #Conflicts: 446000 | #Constraints: 26516
19.60/19.73 c INPROCESSING
19.60/19.73 c GARBAGE COLLECT
19.60/19.73 c rational objective 300.5
20.10/20.23 c #Conflicts: 447000 | #Constraints: 14316
20.10/20.23 c #Conflicts: 448000 | #Constraints: 15316
20.10/20.23 c #Conflicts: 449000 | #Constraints: 16316
20.10/20.23 c #Conflicts: 450000 | #Constraints: 17316
20.10/20.23 c #Conflicts: 451000 | #Constraints: 18316
20.10/20.23 c #Conflicts: 452000 | #Constraints: 19316
20.10/20.23 c #Conflicts: 453000 | #Constraints: 20316
20.10/20.23 c #Conflicts: 454000 | #Constraints: 21316
20.10/20.23 c #Conflicts: 455000 | #Constraints: 22316
20.10/20.23 c #Conflicts: 456000 | #Constraints: 23316
20.10/20.23 c #Conflicts: 457000 | #Constraints: 24316
20.10/20.23 c #Conflicts: 458000 | #Constraints: 25316
20.10/20.23 c #Conflicts: 459000 | #Constraints: 26316
20.10/20.23 c #Conflicts: 460000 | #Constraints: 27316
20.10/20.23 c INPROCESSING
20.10/20.23 c GARBAGE COLLECT
20.10/20.23 c rational objective 300.5
20.60/20.76 c #Conflicts: 461000 | #Constraints: 14919
20.60/20.76 c #Conflicts: 462000 | #Constraints: 15919
20.60/20.76 c #Conflicts: 463000 | #Constraints: 16919
20.60/20.76 c #Conflicts: 464000 | #Constraints: 17919
20.60/20.76 c #Conflicts: 465000 | #Constraints: 18919
20.60/20.76 c #Conflicts: 466000 | #Constraints: 19919
20.60/20.76 c #Conflicts: 467000 | #Constraints: 20919
20.60/20.76 c #Conflicts: 468000 | #Constraints: 21919
20.60/20.76 c #Conflicts: 469000 | #Constraints: 22919
20.60/20.76 c #Conflicts: 470000 | #Constraints: 23919
20.60/20.76 c #Conflicts: 471000 | #Constraints: 24919
20.60/20.76 c #Conflicts: 472000 | #Constraints: 25919
20.60/20.76 c #Conflicts: 473000 | #Constraints: 26919
20.60/20.76 c #Conflicts: 474000 | #Constraints: 27919
20.60/20.76 c INPROCESSING
20.60/20.76 c GARBAGE COLLECT
20.60/20.76 c rational objective 300.5
21.20/21.35 c #Conflicts: 475000 | #Constraints: 15318
21.20/21.35 c #Conflicts: 476000 | #Constraints: 16318
21.20/21.35 c #Conflicts: 477000 | #Constraints: 17318
21.20/21.35 c #Conflicts: 478000 | #Constraints: 18318
21.20/21.35 c #Conflicts: 479000 | #Constraints: 19318
21.20/21.35 c #Conflicts: 480000 | #Constraints: 20318
21.20/21.35 c #Conflicts: 481000 | #Constraints: 21318
21.20/21.35 c #Conflicts: 482000 | #Constraints: 22318
21.20/21.35 c #Conflicts: 483000 | #Constraints: 23318
21.20/21.35 c #Conflicts: 484000 | #Constraints: 24318
21.20/21.35 c #Conflicts: 485000 | #Constraints: 25318
21.20/21.35 c #Conflicts: 486000 | #Constraints: 26318
21.20/21.35 c #Conflicts: 487000 | #Constraints: 27318
21.20/21.35 c #Conflicts: 488000 | #Constraints: 28318
21.20/21.35 c INPROCESSING
21.20/21.35 c GARBAGE COLLECT
21.20/21.35 c rational objective 300.5
22.30/22.43 c #Conflicts: 489000 | #Constraints: 15523
22.30/22.43 c #Conflicts: 490000 | #Constraints: 16523
22.30/22.43 c #Conflicts: 491000 | #Constraints: 17523
22.30/22.43 c #Conflicts: 492000 | #Constraints: 18523
22.30/22.43 c #Conflicts: 493000 | #Constraints: 19523
22.30/22.43 c #Conflicts: 494000 | #Constraints: 20523
22.30/22.43 c #Conflicts: 495000 | #Constraints: 21523
22.30/22.43 c #Conflicts: 496000 | #Constraints: 22523
22.30/22.43 c #Conflicts: 497000 | #Constraints: 23523
22.30/22.43 c #Conflicts: 498000 | #Constraints: 24523
22.30/22.43 c #Conflicts: 499000 | #Constraints: 25523
22.30/22.43 c #Conflicts: 500000 | #Constraints: 26523
22.30/22.43 c #Conflicts: 501000 | #Constraints: 27523
22.30/22.43 c #Conflicts: 502000 | #Constraints: 28523
22.30/22.43 c INPROCESSING
22.30/22.43 c GARBAGE COLLECT
22.30/22.43 c rational objective 300.5
22.80/22.99 c #Conflicts: 503000 | #Constraints: 15526
22.80/22.99 c #Conflicts: 504000 | #Constraints: 16526
22.80/22.99 c #Conflicts: 505000 | #Constraints: 17526
22.80/22.99 c #Conflicts: 506000 | #Constraints: 18526
22.80/22.99 c #Conflicts: 507000 | #Constraints: 19526
22.80/22.99 c #Conflicts: 508000 | #Constraints: 20526
22.80/22.99 c #Conflicts: 509000 | #Constraints: 21526
22.80/22.99 c #Conflicts: 510000 | #Constraints: 22526
22.80/22.99 c #Conflicts: 511000 | #Constraints: 23526
22.80/22.99 c #Conflicts: 512000 | #Constraints: 24526
22.80/22.99 c #Conflicts: 513000 | #Constraints: 25526
22.80/22.99 c #Conflicts: 514000 | #Constraints: 26526
22.80/22.99 c #Conflicts: 515000 | #Constraints: 27526
22.80/22.99 c #Conflicts: 516000 | #Constraints: 28526
22.80/22.99 c INPROCESSING
22.80/22.99 c GARBAGE COLLECT
22.80/22.99 c rational objective 300.5
23.60/23.74 c #Conflicts: 517000 | #Constraints: 15316
23.60/23.74 c #Conflicts: 518000 | #Constraints: 16316
23.60/23.74 c #Conflicts: 519000 | #Constraints: 17316
23.60/23.74 c #Conflicts: 520000 | #Constraints: 18316
23.60/23.74 c #Conflicts: 521000 | #Constraints: 19316
23.60/23.74 c #Conflicts: 522000 | #Constraints: 20316
23.60/23.74 c #Conflicts: 523000 | #Constraints: 21316
23.60/23.74 c #Conflicts: 524000 | #Constraints: 22316
23.60/23.74 c #Conflicts: 525000 | #Constraints: 23316
23.60/23.74 c #Conflicts: 526000 | #Constraints: 24316
23.60/23.74 c #Conflicts: 527000 | #Constraints: 25316
23.60/23.74 c #Conflicts: 528000 | #Constraints: 26316
23.60/23.74 c #Conflicts: 529000 | #Constraints: 27316
23.60/23.74 c #Conflicts: 530000 | #Constraints: 28316
23.60/23.74 c #Conflicts: 531000 | #Constraints: 29316
23.60/23.74 c INPROCESSING
23.60/23.74 c GARBAGE COLLECT
23.60/23.74 c rational objective 300.5
24.29/24.42 c #Conflicts: 532000 | #Constraints: 15926
24.29/24.42 c #Conflicts: 533000 | #Constraints: 16926
24.29/24.42 c #Conflicts: 534000 | #Constraints: 17926
24.29/24.42 c #Conflicts: 535000 | #Constraints: 18926
24.29/24.42 c #Conflicts: 536000 | #Constraints: 19926
24.29/24.42 c #Conflicts: 537000 | #Constraints: 20926
24.29/24.42 c #Conflicts: 538000 | #Constraints: 21926
24.29/24.42 c #Conflicts: 539000 | #Constraints: 22926
24.29/24.42 c #Conflicts: 540000 | #Constraints: 23926
24.29/24.42 c #Conflicts: 541000 | #Constraints: 24926
24.29/24.42 c #Conflicts: 542000 | #Constraints: 25926
24.29/24.42 c #Conflicts: 543000 | #Constraints: 26926
24.29/24.42 c #Conflicts: 544000 | #Constraints: 27926
24.29/24.42 c #Conflicts: 545000 | #Constraints: 28926
24.29/24.42 c #Conflicts: 546000 | #Constraints: 29926
24.29/24.42 c INPROCESSING
24.29/24.42 c GARBAGE COLLECT
24.29/24.42 c rational objective 300.5
25.19/25.30 c #Conflicts: 547000 | #Constraints: 16323
25.19/25.30 c #Conflicts: 548000 | #Constraints: 17323
25.19/25.30 c #Conflicts: 549000 | #Constraints: 18323
25.19/25.30 c #Conflicts: 550000 | #Constraints: 19323
25.19/25.30 c #Conflicts: 551000 | #Constraints: 20323
25.19/25.30 c #Conflicts: 552000 | #Constraints: 21323
25.19/25.30 c #Conflicts: 553000 | #Constraints: 22323
25.19/25.30 c #Conflicts: 554000 | #Constraints: 23323
25.19/25.30 c #Conflicts: 555000 | #Constraints: 24323
25.19/25.30 c #Conflicts: 556000 | #Constraints: 25323
25.19/25.30 c #Conflicts: 557000 | #Constraints: 26323
25.19/25.30 c #Conflicts: 558000 | #Constraints: 27323
25.19/25.30 c #Conflicts: 559000 | #Constraints: 28323
25.19/25.30 c #Conflicts: 560000 | #Constraints: 29323
25.19/25.30 c #Conflicts: 561000 | #Constraints: 30323
25.19/25.30 c INPROCESSING
25.19/25.30 c GARBAGE COLLECT
25.19/25.30 c rational objective 300.5
25.79/25.99 c #Conflicts: 562000 | #Constraints: 16525
25.79/25.99 c #Conflicts: 563000 | #Constraints: 17525
25.79/25.99 c #Conflicts: 564000 | #Constraints: 18525
25.79/25.99 c #Conflicts: 565000 | #Constraints: 19525
25.79/25.99 c #Conflicts: 566000 | #Constraints: 20525
25.79/25.99 c #Conflicts: 567000 | #Constraints: 21525
25.79/25.99 c #Conflicts: 568000 | #Constraints: 22525
25.79/25.99 c #Conflicts: 569000 | #Constraints: 23525
25.79/25.99 c #Conflicts: 570000 | #Constraints: 24525
25.79/25.99 c #Conflicts: 571000 | #Constraints: 25525
25.79/25.99 c #Conflicts: 572000 | #Constraints: 26525
25.79/25.99 c #Conflicts: 573000 | #Constraints: 27525
25.79/25.99 c #Conflicts: 574000 | #Constraints: 28525
25.79/25.99 c #Conflicts: 575000 | #Constraints: 29525
25.79/25.99 c #Conflicts: 576000 | #Constraints: 30525
25.79/25.99 c INPROCESSING
25.79/25.99 c GARBAGE COLLECT
25.79/25.99 c rational objective 300.5
26.58/26.72 c #Conflicts: 577000 | #Constraints: 16520
26.58/26.72 c #Conflicts: 578000 | #Constraints: 17520
26.58/26.72 c #Conflicts: 579000 | #Constraints: 18520
26.58/26.72 c #Conflicts: 580000 | #Constraints: 19520
26.58/26.72 c #Conflicts: 581000 | #Constraints: 20520
26.58/26.72 c #Conflicts: 582000 | #Constraints: 21520
26.58/26.72 c #Conflicts: 583000 | #Constraints: 22520
26.58/26.72 c #Conflicts: 584000 | #Constraints: 23520
26.58/26.72 c #Conflicts: 585000 | #Constraints: 24520
26.58/26.72 c #Conflicts: 586000 | #Constraints: 25520
26.58/26.72 c #Conflicts: 587000 | #Constraints: 26520
26.58/26.72 c #Conflicts: 588000 | #Constraints: 27520
26.58/26.72 c #Conflicts: 589000 | #Constraints: 28520
26.58/26.72 c #Conflicts: 590000 | #Constraints: 29520
26.58/26.72 c #Conflicts: 591000 | #Constraints: 30520
26.58/26.72 c INPROCESSING
26.58/26.72 c GARBAGE COLLECT
26.58/26.72 c rational objective 300.5
27.28/27.45 c #Conflicts: 592000 | #Constraints: 16325
27.28/27.45 c #Conflicts: 593000 | #Constraints: 17325
27.28/27.45 c #Conflicts: 594000 | #Constraints: 18325
27.28/27.45 c #Conflicts: 595000 | #Constraints: 19325
27.28/27.45 c #Conflicts: 596000 | #Constraints: 20325
27.28/27.45 c #Conflicts: 597000 | #Constraints: 21325
27.28/27.45 c #Conflicts: 598000 | #Constraints: 22325
27.28/27.45 c #Conflicts: 599000 | #Constraints: 23325
27.28/27.45 c #Conflicts: 600000 | #Constraints: 24325
27.28/27.45 c #Conflicts: 601000 | #Constraints: 25325
27.28/27.45 c #Conflicts: 602000 | #Constraints: 26325
27.28/27.45 c #Conflicts: 603000 | #Constraints: 27325
27.28/27.45 c #Conflicts: 604000 | #Constraints: 28325
27.28/27.45 c #Conflicts: 605000 | #Constraints: 29325
27.28/27.45 c #Conflicts: 606000 | #Constraints: 30325
27.28/27.45 c #Conflicts: 607000 | #Constraints: 31325
27.28/27.45 c INPROCESSING
27.28/27.45 c GARBAGE COLLECT
27.28/27.45 c rational objective 300.5
28.08/28.28 c #Conflicts: 608000 | #Constraints: 16930
28.08/28.28 c #Conflicts: 609000 | #Constraints: 17930
28.08/28.28 c #Conflicts: 610000 | #Constraints: 18930
28.08/28.28 c #Conflicts: 611000 | #Constraints: 19930
28.08/28.28 c #Conflicts: 612000 | #Constraints: 20930
28.08/28.28 c #Conflicts: 613000 | #Constraints: 21930
28.08/28.28 c #Conflicts: 614000 | #Constraints: 22930
28.08/28.28 c #Conflicts: 615000 | #Constraints: 23930
28.08/28.28 c #Conflicts: 616000 | #Constraints: 24930
28.08/28.28 c #Conflicts: 617000 | #Constraints: 25930
28.08/28.28 c #Conflicts: 618000 | #Constraints: 26930
28.08/28.28 c #Conflicts: 619000 | #Constraints: 27930
28.08/28.28 c #Conflicts: 620000 | #Constraints: 28930
28.08/28.28 c #Conflicts: 621000 | #Constraints: 29930
28.08/28.28 c #Conflicts: 622000 | #Constraints: 30930
28.08/28.28 c #Conflicts: 623000 | #Constraints: 31930
28.08/28.28 c INPROCESSING
28.08/28.28 c GARBAGE COLLECT
28.08/28.28 c rational objective 300.5
28.89/29.10 c #Conflicts: 624000 | #Constraints: 17327
28.89/29.10 c #Conflicts: 625000 | #Constraints: 18327
28.89/29.10 c #Conflicts: 626000 | #Constraints: 19327
28.89/29.10 c #Conflicts: 627000 | #Constraints: 20327
28.89/29.10 c #Conflicts: 628000 | #Constraints: 21327
28.89/29.10 c #Conflicts: 629000 | #Constraints: 22327
28.89/29.10 c #Conflicts: 630000 | #Constraints: 23327
28.89/29.10 c #Conflicts: 631000 | #Constraints: 24327
28.89/29.10 c #Conflicts: 632000 | #Constraints: 25327
28.89/29.10 c #Conflicts: 633000 | #Constraints: 26327
28.89/29.10 c #Conflicts: 634000 | #Constraints: 27327
28.89/29.10 c #Conflicts: 635000 | #Constraints: 28327
28.89/29.10 c #Conflicts: 636000 | #Constraints: 29327
28.89/29.10 c #Conflicts: 637000 | #Constraints: 30327
28.89/29.10 c #Conflicts: 638000 | #Constraints: 31327
28.89/29.10 c #Conflicts: 639000 | #Constraints: 32327
28.89/29.10 c INPROCESSING
28.89/29.10 c GARBAGE COLLECT
28.89/29.10 c rational objective 300.5
29.68/29.89 c #Conflicts: 640000 | #Constraints: 17519
29.68/29.89 c #Conflicts: 641000 | #Constraints: 18519
29.68/29.89 c #Conflicts: 642000 | #Constraints: 19519
29.68/29.89 c #Conflicts: 643000 | #Constraints: 20519
29.68/29.89 c #Conflicts: 644000 | #Constraints: 21519
29.68/29.89 c #Conflicts: 645000 | #Constraints: 22519
29.68/29.89 c #Conflicts: 646000 | #Constraints: 23519
29.68/29.89 c #Conflicts: 647000 | #Constraints: 24519
29.68/29.89 c #Conflicts: 648000 | #Constraints: 25519
29.68/29.89 c #Conflicts: 649000 | #Constraints: 26519
29.68/29.89 c #Conflicts: 650000 | #Constraints: 27519
29.68/29.89 c #Conflicts: 651000 | #Constraints: 28519
29.68/29.89 c #Conflicts: 652000 | #Constraints: 29519
29.68/29.89 c #Conflicts: 653000 | #Constraints: 30519
29.68/29.89 c #Conflicts: 654000 | #Constraints: 31519
29.68/29.89 c #Conflicts: 655000 | #Constraints: 32519
29.68/29.89 c INPROCESSING
29.68/29.89 c GARBAGE COLLECT
29.68/29.89 c rational objective 300.5
30.58/30.73 c #Conflicts: 656000 | #Constraints: 17532
30.58/30.73 c #Conflicts: 657000 | #Constraints: 18532
30.58/30.73 c #Conflicts: 658000 | #Constraints: 19532
30.58/30.73 c #Conflicts: 659000 | #Constraints: 20532
30.58/30.73 c #Conflicts: 660000 | #Constraints: 21532
30.58/30.73 c #Conflicts: 661000 | #Constraints: 22532
30.58/30.73 c #Conflicts: 662000 | #Constraints: 23532
30.58/30.73 c #Conflicts: 663000 | #Constraints: 24532
30.58/30.73 c #Conflicts: 664000 | #Constraints: 25532
30.58/30.73 c #Conflicts: 665000 | #Constraints: 26532
30.58/30.73 c #Conflicts: 666000 | #Constraints: 27532
30.58/30.73 c #Conflicts: 667000 | #Constraints: 28532
30.58/30.73 c #Conflicts: 668000 | #Constraints: 29532
30.58/30.73 c #Conflicts: 669000 | #Constraints: 30532
30.58/30.73 c #Conflicts: 670000 | #Constraints: 31532
30.58/30.73 c #Conflicts: 671000 | #Constraints: 32532
30.58/30.73 c INPROCESSING
30.58/30.73 c GARBAGE COLLECT
30.58/30.73 c rational objective 300.5
31.37/31.53 c #Conflicts: 672000 | #Constraints: 17329
31.37/31.53 c #Conflicts: 673000 | #Constraints: 18329
31.37/31.53 c #Conflicts: 674000 | #Constraints: 19329
31.37/31.53 c #Conflicts: 675000 | #Constraints: 20329
31.37/31.53 c #Conflicts: 676000 | #Constraints: 21329
31.37/31.53 c #Conflicts: 677000 | #Constraints: 22329
31.37/31.53 c #Conflicts: 678000 | #Constraints: 23329
31.37/31.53 c #Conflicts: 679000 | #Constraints: 24329
31.37/31.53 c #Conflicts: 680000 | #Constraints: 25329
31.37/31.53 c #Conflicts: 681000 | #Constraints: 26329
31.37/31.53 c #Conflicts: 682000 | #Constraints: 27329
31.37/31.53 c #Conflicts: 683000 | #Constraints: 28329
31.37/31.53 c #Conflicts: 684000 | #Constraints: 29329
31.37/31.53 c #Conflicts: 685000 | #Constraints: 30329
31.37/31.53 c #Conflicts: 686000 | #Constraints: 31329
31.37/31.53 c #Conflicts: 687000 | #Constraints: 32329
31.37/31.53 c #Conflicts: 688000 | #Constraints: 33329
31.37/31.53 c INPROCESSING
31.37/31.53 c GARBAGE COLLECT
31.37/31.53 c rational objective 300.5
32.27/32.42 c #Conflicts: 689000 | #Constraints: 17932
32.27/32.42 c #Conflicts: 690000 | #Constraints: 18932
32.27/32.42 c #Conflicts: 691000 | #Constraints: 19932
32.27/32.42 c #Conflicts: 692000 | #Constraints: 20932
32.27/32.42 c #Conflicts: 693000 | #Constraints: 21932
32.27/32.42 c #Conflicts: 694000 | #Constraints: 22932
32.27/32.42 c #Conflicts: 695000 | #Constraints: 23932
32.27/32.42 c #Conflicts: 696000 | #Constraints: 24932
32.27/32.42 c #Conflicts: 697000 | #Constraints: 25932
32.27/32.42 c #Conflicts: 698000 | #Constraints: 26932
32.27/32.42 c #Conflicts: 699000 | #Constraints: 27932
32.27/32.42 c #Conflicts: 700000 | #Constraints: 28932
32.27/32.42 c #Conflicts: 701000 | #Constraints: 29932
32.27/32.42 c #Conflicts: 702000 | #Constraints: 30932
32.27/32.42 c #Conflicts: 703000 | #Constraints: 31932
32.27/32.42 c #Conflicts: 704000 | #Constraints: 32933
32.27/32.42 c #Conflicts: 705000 | #Constraints: 33933
32.27/32.42 c INPROCESSING
32.27/32.42 c GARBAGE COLLECT
32.27/32.42 c rational objective 300.5
33.07/33.24 c #Conflicts: 706000 | #Constraints: 18330
33.07/33.24 c #Conflicts: 707000 | #Constraints: 19330
33.07/33.24 c #Conflicts: 708000 | #Constraints: 20330
33.07/33.24 c #Conflicts: 709000 | #Constraints: 21330
33.07/33.24 c #Conflicts: 710000 | #Constraints: 22330
33.07/33.24 c #Conflicts: 711000 | #Constraints: 23330
33.07/33.24 c #Conflicts: 712000 | #Constraints: 24330
33.07/33.24 c #Conflicts: 713000 | #Constraints: 25330
33.07/33.24 c #Conflicts: 714000 | #Constraints: 26330
33.07/33.24 c #Conflicts: 715000 | #Constraints: 27330
33.07/33.24 c #Conflicts: 716000 | #Constraints: 28330
33.07/33.24 c #Conflicts: 717000 | #Constraints: 29330
33.07/33.24 c #Conflicts: 718000 | #Constraints: 30330
33.07/33.24 c #Conflicts: 719000 | #Constraints: 31330
33.07/33.24 c #Conflicts: 720000 | #Constraints: 32330
33.07/33.24 c #Conflicts: 721000 | #Constraints: 33330
33.07/33.24 c #Conflicts: 722000 | #Constraints: 34330
33.07/33.24 c INPROCESSING
33.07/33.24 c GARBAGE COLLECT
33.07/33.24 c rational objective 300.5
33.76/33.96 c #Conflicts: 723000 | #Constraints: 18539
33.76/33.96 c #Conflicts: 724000 | #Constraints: 19539
33.76/33.96 c #Conflicts: 725000 | #Constraints: 20539
33.76/33.96 c #Conflicts: 726000 | #Constraints: 21539
33.76/33.96 c #Conflicts: 727000 | #Constraints: 22539
33.76/33.96 c #Conflicts: 728000 | #Constraints: 23539
33.76/33.96 c #Conflicts: 729000 | #Constraints: 24539
33.76/33.96 c #Conflicts: 730000 | #Constraints: 25539
33.76/33.96 c #Conflicts: 731000 | #Constraints: 26539
33.76/33.96 c #Conflicts: 732000 | #Constraints: 27539
33.76/33.96 c #Conflicts: 733000 | #Constraints: 28539
33.76/33.96 c #Conflicts: 734000 | #Constraints: 29539
33.76/33.96 c #Conflicts: 735000 | #Constraints: 30539
33.76/33.96 c #Conflicts: 736000 | #Constraints: 31539
33.76/33.96 c #Conflicts: 737000 | #Constraints: 32539
33.76/33.96 c #Conflicts: 738000 | #Constraints: 33539
33.76/33.96 c #Conflicts: 739000 | #Constraints: 34539
33.76/33.96 c INPROCESSING
33.76/33.96 c GARBAGE COLLECT
33.76/33.96 c rational objective 300.5
34.67/34.81 c #Conflicts: 740000 | #Constraints: 18537
34.67/34.81 c #Conflicts: 741000 | #Constraints: 19537
34.67/34.81 c #Conflicts: 742000 | #Constraints: 20537
34.67/34.81 c #Conflicts: 743000 | #Constraints: 21537
34.67/34.81 c #Conflicts: 744000 | #Constraints: 22537
34.67/34.81 c #Conflicts: 745000 | #Constraints: 23537
34.67/34.81 c #Conflicts: 746000 | #Constraints: 24537
34.67/34.81 c #Conflicts: 747000 | #Constraints: 25537
34.67/34.81 c #Conflicts: 748000 | #Constraints: 26537
34.67/34.81 c #Conflicts: 749000 | #Constraints: 27537
34.67/34.81 c #Conflicts: 750000 | #Constraints: 28537
34.67/34.81 c #Conflicts: 751000 | #Constraints: 29537
34.67/34.81 c #Conflicts: 752000 | #Constraints: 30537
34.67/34.81 c #Conflicts: 753000 | #Constraints: 31537
34.67/34.81 c #Conflicts: 754000 | #Constraints: 32537
34.67/34.81 c #Conflicts: 755000 | #Constraints: 33537
34.67/34.81 c #Conflicts: 756000 | #Constraints: 34537
34.67/34.81 c INPROCESSING
34.67/34.81 c GARBAGE COLLECT
34.67/34.81 c rational objective 300.5
35.56/35.74 c #Conflicts: 757000 | #Constraints: 18329
35.56/35.74 c #Conflicts: 758000 | #Constraints: 19329
35.56/35.74 c #Conflicts: 759000 | #Constraints: 20329
35.56/35.74 c #Conflicts: 760000 | #Constraints: 21329
35.56/35.74 c #Conflicts: 761000 | #Constraints: 22329
35.56/35.74 c #Conflicts: 762000 | #Constraints: 23329
35.56/35.74 c #Conflicts: 763000 | #Constraints: 24329
35.56/35.74 c #Conflicts: 764000 | #Constraints: 25329
35.56/35.74 c #Conflicts: 765000 | #Constraints: 26329
35.56/35.74 c #Conflicts: 766000 | #Constraints: 27329
35.56/35.74 c #Conflicts: 767000 | #Constraints: 28329
35.56/35.74 c #Conflicts: 768000 | #Constraints: 29329
35.56/35.74 c #Conflicts: 769000 | #Constraints: 30329
35.56/35.74 c #Conflicts: 770000 | #Constraints: 31329
35.56/35.74 c #Conflicts: 771000 | #Constraints: 32329
35.56/35.74 c #Conflicts: 772000 | #Constraints: 33329
35.56/35.74 c #Conflicts: 773000 | #Constraints: 34329
35.56/35.74 c #Conflicts: 774000 | #Constraints: 35329
35.56/35.74 c INPROCESSING
35.56/35.74 c GARBAGE COLLECT
35.56/35.74 c rational objective 300.5
36.46/36.69 c #Conflicts: 775000 | #Constraints: 18927
36.46/36.69 c #Conflicts: 776000 | #Constraints: 19927
36.46/36.69 c #Conflicts: 777000 | #Constraints: 20927
36.46/36.69 c #Conflicts: 778000 | #Constraints: 21927
36.46/36.69 c #Conflicts: 779000 | #Constraints: 22927
36.46/36.69 c #Conflicts: 780000 | #Constraints: 23927
36.46/36.69 c #Conflicts: 781000 | #Constraints: 24927
36.46/36.69 c #Conflicts: 782000 | #Constraints: 25927
36.46/36.69 c #Conflicts: 783000 | #Constraints: 26927
36.46/36.69 c #Conflicts: 784000 | #Constraints: 27927
36.46/36.69 c #Conflicts: 785000 | #Constraints: 28927
36.46/36.69 c #Conflicts: 786000 | #Constraints: 29927
36.46/36.69 c #Conflicts: 787000 | #Constraints: 30927
36.46/36.69 c #Conflicts: 788000 | #Constraints: 31927
36.46/36.69 c #Conflicts: 789000 | #Constraints: 32927
36.46/36.69 c #Conflicts: 790000 | #Constraints: 33927
36.46/36.69 c #Conflicts: 791000 | #Constraints: 34927
36.46/36.69 c #Conflicts: 792000 | #Constraints: 35927
36.46/36.69 c INPROCESSING
36.46/36.69 c GARBAGE COLLECT
36.46/36.69 c rational objective 300.5
37.36/37.55 c #Conflicts: 793000 | #Constraints: 19323
37.36/37.55 c #Conflicts: 794000 | #Constraints: 20323
37.36/37.55 c #Conflicts: 795000 | #Constraints: 21323
37.36/37.55 c #Conflicts: 796000 | #Constraints: 22323
37.36/37.55 c #Conflicts: 797000 | #Constraints: 23323
37.36/37.55 c #Conflicts: 798000 | #Constraints: 24323
37.36/37.55 c #Conflicts: 799000 | #Constraints: 25323
37.36/37.55 c #Conflicts: 800000 | #Constraints: 26323
37.36/37.55 c #Conflicts: 801000 | #Constraints: 27323
37.36/37.55 c #Conflicts: 802000 | #Constraints: 28323
37.36/37.55 c #Conflicts: 803000 | #Constraints: 29323
37.36/37.55 c #Conflicts: 804000 | #Constraints: 30323
37.36/37.55 c #Conflicts: 805000 | #Constraints: 31323
37.36/37.55 c #Conflicts: 806000 | #Constraints: 32323
37.36/37.55 c #Conflicts: 807000 | #Constraints: 33323
37.36/37.55 c #Conflicts: 808000 | #Constraints: 34323
37.36/37.55 c #Conflicts: 809000 | #Constraints: 35323
37.36/37.55 c #Conflicts: 810000 | #Constraints: 36323
37.36/37.55 c INPROCESSING
37.36/37.55 c GARBAGE COLLECT
37.36/37.55 c rational objective 300.5
38.25/38.42 c #Conflicts: 811000 | #Constraints: 19526
38.25/38.42 c #Conflicts: 812000 | #Constraints: 20526
38.25/38.42 c #Conflicts: 813000 | #Constraints: 21526
38.25/38.42 c #Conflicts: 814000 | #Constraints: 22526
38.25/38.42 c #Conflicts: 815000 | #Constraints: 23526
38.25/38.42 c #Conflicts: 816000 | #Constraints: 24526
38.25/38.42 c #Conflicts: 817000 | #Constraints: 25526
38.25/38.42 c #Conflicts: 818000 | #Constraints: 26526
38.25/38.42 c #Conflicts: 819000 | #Constraints: 27526
38.25/38.42 c #Conflicts: 820000 | #Constraints: 28526
38.25/38.42 c #Conflicts: 821000 | #Constraints: 29526
38.25/38.42 c #Conflicts: 822000 | #Constraints: 30526
38.25/38.42 c #Conflicts: 823000 | #Constraints: 31526
38.25/38.42 c #Conflicts: 824000 | #Constraints: 32526
38.25/38.42 c #Conflicts: 825000 | #Constraints: 33526
38.25/38.42 c #Conflicts: 826000 | #Constraints: 34526
38.25/38.42 c #Conflicts: 827000 | #Constraints: 35526
38.25/38.42 c #Conflicts: 828000 | #Constraints: 36526
38.25/38.42 c INPROCESSING
38.25/38.42 c GARBAGE COLLECT
38.25/38.42 c rational objective 300.5
39.25/39.41 c #Conflicts: 829000 | #Constraints: 19526
39.25/39.41 c #Conflicts: 830000 | #Constraints: 20526
39.25/39.41 c #Conflicts: 831000 | #Constraints: 21526
39.25/39.41 c #Conflicts: 832000 | #Constraints: 22526
39.25/39.41 c #Conflicts: 833000 | #Constraints: 23526
39.25/39.41 c #Conflicts: 834000 | #Constraints: 24526
39.25/39.41 c #Conflicts: 835000 | #Constraints: 25526
39.25/39.41 c #Conflicts: 836000 | #Constraints: 26526
39.25/39.41 c #Conflicts: 837000 | #Constraints: 27526
39.25/39.41 c #Conflicts: 838000 | #Constraints: 28526
39.25/39.41 c #Conflicts: 839000 | #Constraints: 29526
39.25/39.41 c #Conflicts: 840000 | #Constraints: 30526
39.25/39.41 c #Conflicts: 841000 | #Constraints: 31526
39.25/39.41 c #Conflicts: 842000 | #Constraints: 32526
39.25/39.41 c #Conflicts: 843000 | #Constraints: 33526
39.25/39.41 c #Conflicts: 844000 | #Constraints: 34526
39.25/39.41 c #Conflicts: 845000 | #Constraints: 35526
39.25/39.41 c #Conflicts: 846000 | #Constraints: 36526
39.25/39.41 c INPROCESSING
39.25/39.41 c GARBAGE COLLECT
39.25/39.41 c rational objective 300.5
40.25/40.46 c #Conflicts: 847000 | #Constraints: 19323
40.25/40.46 c #Conflicts: 848000 | #Constraints: 20323
40.25/40.46 c #Conflicts: 849000 | #Constraints: 21323
40.25/40.46 c #Conflicts: 850000 | #Constraints: 22323
40.25/40.46 c #Conflicts: 851000 | #Constraints: 23323
40.25/40.46 c #Conflicts: 852000 | #Constraints: 24323
40.25/40.46 c #Conflicts: 853000 | #Constraints: 25323
40.25/40.46 c #Conflicts: 854000 | #Constraints: 26323
40.25/40.46 c #Conflicts: 855000 | #Constraints: 27323
40.25/40.46 c #Conflicts: 856000 | #Constraints: 28323
40.25/40.46 c #Conflicts: 857000 | #Constraints: 29323
40.25/40.46 c #Conflicts: 858000 | #Constraints: 30323
40.25/40.46 c #Conflicts: 859000 | #Constraints: 31323
40.25/40.46 c #Conflicts: 860000 | #Constraints: 32323
40.25/40.46 c #Conflicts: 861000 | #Constraints: 33323
40.25/40.46 c #Conflicts: 862000 | #Constraints: 34323
40.25/40.46 c #Conflicts: 863000 | #Constraints: 35323
40.25/40.46 c #Conflicts: 864000 | #Constraints: 36323
40.25/40.46 c #Conflicts: 865000 | #Constraints: 37323
40.25/40.46 c INPROCESSING
40.25/40.46 c GARBAGE COLLECT
40.25/40.46 c rational objective 300.5
41.15/41.39 c #Conflicts: 866000 | #Constraints: 19918
41.15/41.39 c #Conflicts: 867000 | #Constraints: 20918
41.15/41.39 c #Conflicts: 868000 | #Constraints: 21918
41.15/41.39 c #Conflicts: 869000 | #Constraints: 22918
41.15/41.39 c #Conflicts: 870000 | #Constraints: 23918
41.15/41.39 c #Conflicts: 871000 | #Constraints: 24918
41.15/41.39 c #Conflicts: 872000 | #Constraints: 25918
41.15/41.39 c #Conflicts: 873000 | #Constraints: 26918
41.15/41.39 c #Conflicts: 874000 | #Constraints: 27918
41.15/41.39 c #Conflicts: 875000 | #Constraints: 28918
41.15/41.39 c #Conflicts: 876000 | #Constraints: 29918
41.15/41.39 c #Conflicts: 877000 | #Constraints: 30918
41.15/41.39 c #Conflicts: 878000 | #Constraints: 31918
41.15/41.39 c #Conflicts: 879000 | #Constraints: 32918
41.15/41.39 c #Conflicts: 880000 | #Constraints: 33918
41.15/41.39 c #Conflicts: 881000 | #Constraints: 34918
41.15/41.39 c #Conflicts: 882000 | #Constraints: 35918
41.15/41.39 c #Conflicts: 883000 | #Constraints: 36918
41.15/41.39 c #Conflicts: 884000 | #Constraints: 37918
41.15/41.39 c INPROCESSING
41.15/41.39 c GARBAGE COLLECT
41.15/41.39 c rational objective 300.5
42.24/42.44 c #Conflicts: 885000 | #Constraints: 20330
42.24/42.44 c #Conflicts: 886000 | #Constraints: 21331
42.24/42.44 c #Conflicts: 887000 | #Constraints: 22331
42.24/42.44 c #Conflicts: 888000 | #Constraints: 23331
42.24/42.44 c #Conflicts: 889000 | #Constraints: 24332
42.24/42.44 c #Conflicts: 890000 | #Constraints: 25332
42.24/42.44 c #Conflicts: 891000 | #Constraints: 26332
42.24/42.44 c #Conflicts: 892000 | #Constraints: 27332
42.24/42.44 c #Conflicts: 893000 | #Constraints: 28332
42.24/42.44 c #Conflicts: 894000 | #Constraints: 29332
42.24/42.44 c #Conflicts: 895000 | #Constraints: 30332
42.24/42.44 c #Conflicts: 896000 | #Constraints: 31332
42.24/42.44 c #Conflicts: 897000 | #Constraints: 32332
42.24/42.44 c #Conflicts: 898000 | #Constraints: 33332
42.24/42.44 c #Conflicts: 899000 | #Constraints: 34332
42.24/42.44 c #Conflicts: 900000 | #Constraints: 35332
42.24/42.44 c #Conflicts: 901000 | #Constraints: 36332
42.24/42.44 c #Conflicts: 902000 | #Constraints: 37333
42.24/42.44 c #Conflicts: 903000 | #Constraints: 38333
42.24/42.44 c INPROCESSING
42.24/42.44 c GARBAGE COLLECT
42.24/42.44 c rational objective 300.5
43.24/43.41 c #Conflicts: 904000 | #Constraints: 20528
43.24/43.41 c #Conflicts: 905000 | #Constraints: 21528
43.24/43.41 c #Conflicts: 906000 | #Constraints: 22528
43.24/43.41 c #Conflicts: 907000 | #Constraints: 23528
43.24/43.41 c #Conflicts: 908000 | #Constraints: 24528
43.24/43.41 c #Conflicts: 909000 | #Constraints: 25528
43.24/43.41 c #Conflicts: 910000 | #Constraints: 26528
43.24/43.41 c #Conflicts: 911000 | #Constraints: 27528
43.24/43.41 c #Conflicts: 912000 | #Constraints: 28528
43.24/43.41 c #Conflicts: 913000 | #Constraints: 29528
43.24/43.41 c #Conflicts: 914000 | #Constraints: 30528
43.24/43.41 c #Conflicts: 915000 | #Constraints: 31528
43.24/43.41 c #Conflicts: 916000 | #Constraints: 32528
43.24/43.41 c #Conflicts: 917000 | #Constraints: 33528
43.24/43.41 c #Conflicts: 918000 | #Constraints: 34528
43.24/43.41 c #Conflicts: 919000 | #Constraints: 35528
43.24/43.41 c #Conflicts: 920000 | #Constraints: 36528
43.24/43.41 c #Conflicts: 921000 | #Constraints: 37528
43.24/43.41 c #Conflicts: 922000 | #Constraints: 38528
43.24/43.41 c INPROCESSING
43.24/43.41 c GARBAGE COLLECT
43.24/43.41 c rational objective 300.5
44.34/44.50 c #Conflicts: 923000 | #Constraints: 20532
44.34/44.50 c #Conflicts: 924000 | #Constraints: 21532
44.34/44.50 c #Conflicts: 925000 | #Constraints: 22532
44.34/44.50 c #Conflicts: 926000 | #Constraints: 23532
44.34/44.50 c #Conflicts: 927000 | #Constraints: 24532
44.34/44.50 c #Conflicts: 928000 | #Constraints: 25532
44.34/44.50 c #Conflicts: 929000 | #Constraints: 26532
44.34/44.50 c #Conflicts: 930000 | #Constraints: 27532
44.34/44.50 c #Conflicts: 931000 | #Constraints: 28532
44.34/44.50 c #Conflicts: 932000 | #Constraints: 29532
44.34/44.50 c #Conflicts: 933000 | #Constraints: 30532
44.34/44.50 c #Conflicts: 934000 | #Constraints: 31532
44.34/44.50 c #Conflicts: 935000 | #Constraints: 32532
44.34/44.50 c #Conflicts: 936000 | #Constraints: 33532
44.34/44.50 c #Conflicts: 937000 | #Constraints: 34532
44.34/44.50 c #Conflicts: 938000 | #Constraints: 35532
44.34/44.50 c #Conflicts: 939000 | #Constraints: 36532
44.34/44.50 c #Conflicts: 940000 | #Constraints: 37532
44.34/44.50 c #Conflicts: 941000 | #Constraints: 38532
44.34/44.50 c INPROCESSING
44.34/44.50 c GARBAGE COLLECT
44.34/44.50 c rational objective 300.5
45.43/45.62 c #Conflicts: 942000 | #Constraints: 20335
45.43/45.62 c #Conflicts: 943000 | #Constraints: 21335
45.43/45.62 c #Conflicts: 944000 | #Constraints: 22335
45.43/45.62 c #Conflicts: 945000 | #Constraints: 23335
45.43/45.62 c #Conflicts: 946000 | #Constraints: 24335
45.43/45.62 c #Conflicts: 947000 | #Constraints: 25335
45.43/45.62 c #Conflicts: 948000 | #Constraints: 26335
45.43/45.62 c #Conflicts: 949000 | #Constraints: 27335
45.43/45.62 c #Conflicts: 950000 | #Constraints: 28335
45.43/45.62 c #Conflicts: 951000 | #Constraints: 29335
45.43/45.62 c #Conflicts: 952000 | #Constraints: 30335
45.43/45.62 c #Conflicts: 953000 | #Constraints: 31335
45.43/45.62 c #Conflicts: 954000 | #Constraints: 32335
45.43/45.62 c #Conflicts: 955000 | #Constraints: 33335
45.43/45.62 c #Conflicts: 956000 | #Constraints: 34335
45.43/45.62 c #Conflicts: 957000 | #Constraints: 35335
45.43/45.62 c #Conflicts: 958000 | #Constraints: 36335
45.43/45.62 c #Conflicts: 959000 | #Constraints: 37335
45.43/45.62 c #Conflicts: 960000 | #Constraints: 38335
45.43/45.62 c #Conflicts: 961000 | #Constraints: 39335
45.43/45.62 c INPROCESSING
45.43/45.62 c GARBAGE COLLECT
45.43/45.62 c rational objective 300.5
46.53/46.77 c #Conflicts: 962000 | #Constraints: 20939
46.53/46.77 c #Conflicts: 963000 | #Constraints: 21939
46.53/46.77 c #Conflicts: 964000 | #Constraints: 22939
46.53/46.77 c #Conflicts: 965000 | #Constraints: 23939
46.53/46.77 c #Conflicts: 966000 | #Constraints: 24939
46.53/46.77 c #Conflicts: 967000 | #Constraints: 25939
46.53/46.77 c #Conflicts: 968000 | #Constraints: 26939
46.53/46.77 c #Conflicts: 969000 | #Constraints: 27939
46.53/46.77 c #Conflicts: 970000 | #Constraints: 28939
46.53/46.77 c #Conflicts: 971000 | #Constraints: 29939
46.53/46.77 c #Conflicts: 972000 | #Constraints: 30939
46.53/46.77 c #Conflicts: 973000 | #Constraints: 31939
46.53/46.77 c #Conflicts: 974000 | #Constraints: 32939
46.53/46.77 c #Conflicts: 975000 | #Constraints: 33939
46.53/46.77 c #Conflicts: 976000 | #Constraints: 34939
46.53/46.77 c #Conflicts: 977000 | #Constraints: 35939
46.53/46.77 c #Conflicts: 978000 | #Constraints: 36939
46.53/46.77 c #Conflicts: 979000 | #Constraints: 37939
46.53/46.77 c #Conflicts: 980000 | #Constraints: 38939
46.53/46.77 c #Conflicts: 981000 | #Constraints: 39939
46.53/46.77 c INPROCESSING
46.53/46.77 c GARBAGE COLLECT
46.53/46.77 c rational objective 300.5
47.43/47.63 c #Conflicts: 982000 | #Constraints: 21334
47.43/47.63 c #Conflicts: 983000 | #Constraints: 22334
47.43/47.63 c #Conflicts: 984000 | #Constraints: 23334
47.43/47.63 c #Conflicts: 985000 | #Constraints: 24334
47.43/47.63 c #Conflicts: 986000 | #Constraints: 25334
47.43/47.63 c #Conflicts: 987000 | #Constraints: 26334
47.43/47.63 c #Conflicts: 988000 | #Constraints: 27334
47.43/47.63 c #Conflicts: 989000 | #Constraints: 28334
47.43/47.63 c #Conflicts: 990000 | #Constraints: 29334
47.43/47.63 c #Conflicts: 991000 | #Constraints: 30334
47.43/47.63 c #Conflicts: 992000 | #Constraints: 31334
47.43/47.63 c #Conflicts: 993000 | #Constraints: 32334
47.43/47.63 c #Conflicts: 994000 | #Constraints: 33334
47.43/47.63 c #Conflicts: 995000 | #Constraints: 34334
47.43/47.63 c #Conflicts: 996000 | #Constraints: 35334
47.43/47.63 c #Conflicts: 997000 | #Constraints: 36334
47.43/47.63 c #Conflicts: 998000 | #Constraints: 37334
47.43/47.63 c #Conflicts: 999000 | #Constraints: 38334
47.43/47.63 c #Conflicts: 1000000 | #Constraints: 39334
47.43/47.63 c #Conflicts: 1001000 | #Constraints: 40334
47.43/47.63 c INPROCESSING
47.43/47.63 c GARBAGE COLLECT
47.43/47.63 c rational objective 300.5
48.72/48.95 c #Conflicts: 1002000 | #Constraints: 21537
48.72/48.95 c #Conflicts: 1003000 | #Constraints: 22537
48.72/48.95 c #Conflicts: 1004000 | #Constraints: 23537
48.72/48.95 c #Conflicts: 1005000 | #Constraints: 24537
48.72/48.95 c #Conflicts: 1006000 | #Constraints: 25537
48.72/48.95 c #Conflicts: 1007000 | #Constraints: 26537
48.72/48.95 c #Conflicts: 1008000 | #Constraints: 27537
48.72/48.95 c #Conflicts: 1009000 | #Constraints: 28537
48.72/48.95 c #Conflicts: 1010000 | #Constraints: 29537
48.72/48.95 c #Conflicts: 1011000 | #Constraints: 30537
48.72/48.95 c #Conflicts: 1012000 | #Constraints: 31537
48.72/48.95 c #Conflicts: 1013000 | #Constraints: 32537
48.72/48.95 c #Conflicts: 1014000 | #Constraints: 33537
48.72/48.95 c #Conflicts: 1015000 | #Constraints: 34537
48.72/48.95 c #Conflicts: 1016000 | #Constraints: 35537
48.72/48.95 c #Conflicts: 1017000 | #Constraints: 36537
48.72/48.95 c #Conflicts: 1018000 | #Constraints: 37537
48.72/48.95 c #Conflicts: 1019000 | #Constraints: 38537
48.72/48.95 c #Conflicts: 1020000 | #Constraints: 39537
48.72/48.95 c #Conflicts: 1021000 | #Constraints: 40537
48.72/48.95 c INPROCESSING
48.72/48.95 c GARBAGE COLLECT
48.72/48.95 c rational objective 300.5
50.03/50.22 c #Conflicts: 1022000 | #Constraints: 21539
50.03/50.22 c #Conflicts: 1023000 | #Constraints: 22539
50.03/50.22 c #Conflicts: 1024000 | #Constraints: 23539
50.03/50.22 c #Conflicts: 1025000 | #Constraints: 24539
50.03/50.22 c #Conflicts: 1026000 | #Constraints: 25539
50.03/50.22 c #Conflicts: 1027000 | #Constraints: 26539
50.03/50.22 c #Conflicts: 1028000 | #Constraints: 27539
50.03/50.22 c #Conflicts: 1029000 | #Constraints: 28539
50.03/50.22 c #Conflicts: 1030000 | #Constraints: 29539
50.03/50.22 c #Conflicts: 1031000 | #Constraints: 30539
50.03/50.22 c #Conflicts: 1032000 | #Constraints: 31539
50.03/50.22 c #Conflicts: 1033000 | #Constraints: 32539
50.03/50.22 c #Conflicts: 1034000 | #Constraints: 33539
50.03/50.22 c #Conflicts: 1035000 | #Constraints: 34539
50.03/50.22 c #Conflicts: 1036000 | #Constraints: 35539
50.03/50.22 c #Conflicts: 1037000 | #Constraints: 36539
50.03/50.22 c #Conflicts: 1038000 | #Constraints: 37539
50.03/50.22 c #Conflicts: 1039000 | #Constraints: 38539
50.03/50.22 c #Conflicts: 1040000 | #Constraints: 39539
50.03/50.22 c #Conflicts: 1041000 | #Constraints: 40539
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c rational objective 300.5
51.31/51.54 c #Conflicts: 1042000 | #Constraints: 21343
51.31/51.54 c #Conflicts: 1043000 | #Constraints: 22343
51.31/51.54 c #Conflicts: 1044000 | #Constraints: 23343
51.31/51.54 c #Conflicts: 1045000 | #Constraints: 24343
51.31/51.54 c #Conflicts: 1046000 | #Constraints: 25343
51.31/51.54 c #Conflicts: 1047000 | #Constraints: 26343
51.31/51.54 c #Conflicts: 1048000 | #Constraints: 27343
51.31/51.54 c #Conflicts: 1049000 | #Constraints: 28343
51.31/51.54 c #Conflicts: 1050000 | #Constraints: 29343
51.31/51.54 c #Conflicts: 1051000 | #Constraints: 30343
51.31/51.54 c #Conflicts: 1052000 | #Constraints: 31343
51.31/51.54 c #Conflicts: 1053000 | #Constraints: 32343
51.31/51.54 c #Conflicts: 1054000 | #Constraints: 33343
51.31/51.54 c #Conflicts: 1055000 | #Constraints: 34343
51.31/51.54 c #Conflicts: 1056000 | #Constraints: 35343
51.31/51.54 c #Conflicts: 1057000 | #Constraints: 36343
51.31/51.54 c #Conflicts: 1058000 | #Constraints: 37343
51.31/51.54 c #Conflicts: 1059000 | #Constraints: 38343
51.31/51.54 c #Conflicts: 1060000 | #Constraints: 39343
51.31/51.54 c #Conflicts: 1061000 | #Constraints: 40343
51.31/51.54 c #Conflicts: 1062000 | #Constraints: 41343
51.31/51.54 c INPROCESSING
51.31/51.54 c GARBAGE COLLECT
51.31/51.54 c rational objective 300.5
53.01/53.26 c #Conflicts: 1063000 | #Constraints: 21951
53.01/53.26 c #Conflicts: 1064000 | #Constraints: 22951
53.01/53.26 c #Conflicts: 1065000 | #Constraints: 23951
53.01/53.26 c #Conflicts: 1066000 | #Constraints: 24951
53.01/53.26 c #Conflicts: 1067000 | #Constraints: 25951
53.01/53.26 c #Conflicts: 1068000 | #Constraints: 26951
53.01/53.26 c #Conflicts: 1069000 | #Constraints: 27951
53.01/53.26 c #Conflicts: 1070000 | #Constraints: 28951
53.01/53.26 c #Conflicts: 1071000 | #Constraints: 29951
53.01/53.26 c #Conflicts: 1072000 | #Constraints: 30951
53.01/53.26 c #Conflicts: 1073000 | #Constraints: 31951
53.01/53.26 c #Conflicts: 1074000 | #Constraints: 32951
53.01/53.26 c #Conflicts: 1075000 | #Constraints: 33951
53.01/53.26 c #Conflicts: 1076000 | #Constraints: 34951
53.01/53.26 c #Conflicts: 1077000 | #Constraints: 35951
53.01/53.26 c #Conflicts: 1078000 | #Constraints: 36951
53.01/53.26 c #Conflicts: 1079000 | #Constraints: 37951
53.01/53.26 c #Conflicts: 1080000 | #Constraints: 38951
53.01/53.26 c #Conflicts: 1081000 | #Constraints: 39951
53.01/53.26 c #Conflicts: 1082000 | #Constraints: 40951
53.01/53.26 c #Conflicts: 1083000 | #Constraints: 41951
53.01/53.26 c INPROCESSING
53.01/53.26 c GARBAGE COLLECT
53.01/53.26 c rational objective 300.5
54.01/54.26 c #Conflicts: 1084000 | #Constraints: 22348
54.01/54.26 c #Conflicts: 1085000 | #Constraints: 23348
54.01/54.26 c #Conflicts: 1086000 | #Constraints: 24348
54.01/54.26 c #Conflicts: 1087000 | #Constraints: 25348
54.01/54.26 c #Conflicts: 1088000 | #Constraints: 26348
54.01/54.26 c #Conflicts: 1089000 | #Constraints: 27348
54.01/54.26 c #Conflicts: 1090000 | #Constraints: 28348
54.01/54.26 c #Conflicts: 1091000 | #Constraints: 29348
54.01/54.26 c #Conflicts: 1092000 | #Constraints: 30348
54.01/54.26 c #Conflicts: 1093000 | #Constraints: 31348
54.01/54.26 c #Conflicts: 1094000 | #Constraints: 32348
54.01/54.26 c #Conflicts: 1095000 | #Constraints: 33348
54.01/54.26 c #Conflicts: 1096000 | #Constraints: 34348
54.01/54.26 c #Conflicts: 1097000 | #Constraints: 35348
54.01/54.26 c #Conflicts: 1098000 | #Constraints: 36348
54.01/54.26 c #Conflicts: 1099000 | #Constraints: 37348
54.01/54.26 c #Conflicts: 1100000 | #Constraints: 38348
54.01/54.26 c #Conflicts: 1101000 | #Constraints: 39348
54.01/54.26 c #Conflicts: 1102000 | #Constraints: 40348
54.01/54.26 c #Conflicts: 1103000 | #Constraints: 41348
54.01/54.26 c #Conflicts: 1104000 | #Constraints: 42348
54.01/54.26 c INPROCESSING
54.01/54.26 c GARBAGE COLLECT
54.01/54.26 c rational objective 300.5
55.71/55.93 c #Conflicts: 1105000 | #Constraints: 22542
55.71/55.93 c #Conflicts: 1106000 | #Constraints: 23542
55.71/55.93 c #Conflicts: 1107000 | #Constraints: 24542
55.71/55.93 c #Conflicts: 1108000 | #Constraints: 25542
55.71/55.93 c #Conflicts: 1109000 | #Constraints: 26542
55.71/55.93 c #Conflicts: 1110000 | #Constraints: 27542
55.71/55.93 c #Conflicts: 1111000 | #Constraints: 28542
55.71/55.93 c #Conflicts: 1112000 | #Constraints: 29542
55.71/55.93 c #Conflicts: 1113000 | #Constraints: 30542
55.71/55.93 c #Conflicts: 1114000 | #Constraints: 31542
55.71/55.93 c #Conflicts: 1115000 | #Constraints: 32542
55.71/55.93 c #Conflicts: 1116000 | #Constraints: 33542
55.71/55.93 c #Conflicts: 1117000 | #Constraints: 34542
55.71/55.93 c #Conflicts: 1118000 | #Constraints: 35542
55.71/55.93 c #Conflicts: 1119000 | #Constraints: 36542
55.71/55.93 c #Conflicts: 1120000 | #Constraints: 37542
55.71/55.93 c #Conflicts: 1121000 | #Constraints: 38542
55.71/55.93 c #Conflicts: 1122000 | #Constraints: 39542
55.71/55.93 c #Conflicts: 1123000 | #Constraints: 40542
55.71/55.93 c #Conflicts: 1124000 | #Constraints: 41542
55.71/55.93 c #Conflicts: 1125000 | #Constraints: 42542
55.71/55.93 c INPROCESSING
55.71/55.93 c GARBAGE COLLECT
55.71/55.93 c rational objective 300.5
56.82/57.02 c #Conflicts: 1126000 | #Constraints: 22542
56.82/57.02 c #Conflicts: 1127000 | #Constraints: 23542
56.82/57.02 c #Conflicts: 1128000 | #Constraints: 24542
56.82/57.02 c #Conflicts: 1129000 | #Constraints: 25542
56.82/57.02 c #Conflicts: 1130000 | #Constraints: 26542
56.82/57.02 c #Conflicts: 1131000 | #Constraints: 27542
56.82/57.02 c #Conflicts: 1132000 | #Constraints: 28542
56.82/57.02 c #Conflicts: 1133000 | #Constraints: 29542
56.82/57.02 c #Conflicts: 1134000 | #Constraints: 30542
56.82/57.02 c #Conflicts: 1135000 | #Constraints: 31542
56.82/57.02 c #Conflicts: 1136000 | #Constraints: 32542
56.82/57.02 c #Conflicts: 1137000 | #Constraints: 33542
56.82/57.02 c #Conflicts: 1138000 | #Constraints: 34542
56.82/57.02 c #Conflicts: 1139000 | #Constraints: 35542
56.82/57.02 c #Conflicts: 1140000 | #Constraints: 36542
56.82/57.02 c #Conflicts: 1141000 | #Constraints: 37542
56.82/57.02 c #Conflicts: 1142000 | #Constraints: 38542
56.82/57.02 c #Conflicts: 1143000 | #Constraints: 39542
56.82/57.02 c #Conflicts: 1144000 | #Constraints: 40542
56.82/57.02 c #Conflicts: 1145000 | #Constraints: 41542
56.82/57.02 c #Conflicts: 1146000 | #Constraints: 42542
56.82/57.02 c INPROCESSING
56.82/57.02 c GARBAGE COLLECT
56.82/57.02 c rational objective 300.5
58.01/58.24 c #Conflicts: 1147000 | #Constraints: 22340
58.01/58.24 c #Conflicts: 1148000 | #Constraints: 23340
58.01/58.24 c #Conflicts: 1149000 | #Constraints: 24340
58.01/58.24 c #Conflicts: 1150000 | #Constraints: 25340
58.01/58.24 c #Conflicts: 1151000 | #Constraints: 26340
58.01/58.24 c #Conflicts: 1152000 | #Constraints: 27340
58.01/58.24 c #Conflicts: 1153000 | #Constraints: 28340
58.01/58.24 c #Conflicts: 1154000 | #Constraints: 29340
58.01/58.24 c #Conflicts: 1155000 | #Constraints: 30340
58.01/58.24 c #Conflicts: 1156000 | #Constraints: 31340
58.01/58.24 c #Conflicts: 1157000 | #Constraints: 32340
58.01/58.24 c #Conflicts: 1158000 | #Constraints: 33340
58.01/58.24 c #Conflicts: 1159000 | #Constraints: 34340
58.01/58.24 c #Conflicts: 1160000 | #Constraints: 35340
58.01/58.24 c #Conflicts: 1161000 | #Constraints: 36340
58.01/58.24 c #Conflicts: 1162000 | #Constraints: 37340
58.01/58.24 c #Conflicts: 1163000 | #Constraints: 38340
58.01/58.24 c #Conflicts: 1164000 | #Constraints: 39340
58.01/58.24 c #Conflicts: 1165000 | #Constraints: 40340
58.01/58.24 c #Conflicts: 1166000 | #Constraints: 41340
58.01/58.24 c #Conflicts: 1167000 | #Constraints: 42340
58.01/58.24 c #Conflicts: 1168000 | #Constraints: 43340
58.01/58.24 c INPROCESSING
58.01/58.24 c GARBAGE COLLECT
58.01/58.24 c rational objective 300.5
59.10/59.37 c #Conflicts: 1169000 | #Constraints: 22939
59.10/59.37 c #Conflicts: 1170000 | #Constraints: 23939
59.10/59.37 c #Conflicts: 1171000 | #Constraints: 24939
59.10/59.37 c #Conflicts: 1172000 | #Constraints: 25939
59.10/59.37 c #Conflicts: 1173000 | #Constraints: 26939
59.10/59.37 c #Conflicts: 1174000 | #Constraints: 27939
59.10/59.37 c #Conflicts: 1175000 | #Constraints: 28939
59.10/59.37 c #Conflicts: 1176000 | #Constraints: 29939
59.10/59.37 c #Conflicts: 1177000 | #Constraints: 30939
59.10/59.37 c #Conflicts: 1178000 | #Constraints: 31939
59.10/59.37 c #Conflicts: 1179000 | #Constraints: 32939
59.10/59.37 c #Conflicts: 1180000 | #Constraints: 33939
59.10/59.37 c #Conflicts: 1181000 | #Constraints: 34939
59.10/59.37 c #Conflicts: 1182000 | #Constraints: 35939
59.10/59.37 c #Conflicts: 1183000 | #Constraints: 36939
59.10/59.37 c #Conflicts: 1184000 | #Constraints: 37939
59.10/59.37 c #Conflicts: 1185000 | #Constraints: 38939
59.10/59.37 c #Conflicts: 1186000 | #Constraints: 39939
59.10/59.37 c #Conflicts: 1187000 | #Constraints: 40939
59.10/59.37 c #Conflicts: 1188000 | #Constraints: 41939
59.10/59.37 c #Conflicts: 1189000 | #Constraints: 42939
59.10/59.37 c #Conflicts: 1190000 | #Constraints: 43939
59.10/59.37 c INPROCESSING
59.10/59.37 c GARBAGE COLLECT
59.10/59.37 c rational objective 300.5
60.39/60.61 c #Conflicts: 1191000 | #Constraints: 23345
60.39/60.61 c #Conflicts: 1192000 | #Constraints: 24345
60.39/60.61 c #Conflicts: 1193000 | #Constraints: 25345
60.39/60.61 c #Conflicts: 1194000 | #Constraints: 26345
60.39/60.61 c #Conflicts: 1195000 | #Constraints: 27345
60.39/60.61 c #Conflicts: 1196000 | #Constraints: 28345
60.39/60.61 c #Conflicts: 1197000 | #Constraints: 29345
60.39/60.61 c #Conflicts: 1198000 | #Constraints: 30345
60.39/60.61 c #Conflicts: 1199000 | #Constraints: 31345
60.39/60.61 c #Conflicts: 1200000 | #Constraints: 32345
60.39/60.61 c #Conflicts: 1201000 | #Constraints: 33345
60.39/60.61 c #Conflicts: 1202000 | #Constraints: 34345
60.39/60.61 c #Conflicts: 1203000 | #Constraints: 35345
60.39/60.61 c #Conflicts: 1204000 | #Constraints: 36345
60.39/60.61 c #Conflicts: 1205000 | #Constraints: 37345
60.39/60.61 c #Conflicts: 1206000 | #Constraints: 38345
60.39/60.61 c #Conflicts: 1207000 | #Constraints: 39345
60.39/60.61 c #Conflicts: 1208000 | #Constraints: 40345
60.39/60.61 c #Conflicts: 1209000 | #Constraints: 41345
60.39/60.61 c #Conflicts: 1210000 | #Constraints: 42345
60.39/60.61 c #Conflicts: 1211000 | #Constraints: 43345
60.39/60.61 c #Conflicts: 1212000 | #Constraints: 44345
60.39/60.61 c INPROCESSING
60.39/60.61 c GARBAGE COLLECT
60.39/60.61 c rational objective 300.5
61.80/62.06 c #Conflicts: 1213000 | #Constraints: 23538
61.80/62.06 c #Conflicts: 1214000 | #Constraints: 24538
61.80/62.06 c #Conflicts: 1215000 | #Constraints: 25538
61.80/62.06 c #Conflicts: 1216000 | #Constraints: 26538
61.80/62.06 c #Conflicts: 1217000 | #Constraints: 27538
61.80/62.06 c #Conflicts: 1218000 | #Constraints: 28538
61.80/62.06 c #Conflicts: 1219000 | #Constraints: 29538
61.80/62.06 c #Conflicts: 1220000 | #Constraints: 30538
61.80/62.06 c #Conflicts: 1221000 | #Constraints: 31538
61.80/62.06 c #Conflicts: 1222000 | #Constraints: 32538
61.80/62.06 c #Conflicts: 1223000 | #Constraints: 33538
61.80/62.06 c #Conflicts: 1224000 | #Constraints: 34538
61.80/62.06 c #Conflicts: 1225000 | #Constraints: 35538
61.80/62.06 c #Conflicts: 1226000 | #Constraints: 36538
61.80/62.06 c #Conflicts: 1227000 | #Constraints: 37538
61.80/62.06 c #Conflicts: 1228000 | #Constraints: 38538
61.80/62.06 c #Conflicts: 1229000 | #Constraints: 39538
61.80/62.06 c #Conflicts: 1230000 | #Constraints: 40538
61.80/62.06 c #Conflicts: 1231000 | #Constraints: 41538
61.80/62.06 c #Conflicts: 1232000 | #Constraints: 42538
61.80/62.06 c #Conflicts: 1233000 | #Constraints: 43538
61.80/62.06 c #Conflicts: 1234000 | #Constraints: 44538
61.80/62.06 c INPROCESSING
61.80/62.06 c GARBAGE COLLECT
61.80/62.06 c rational objective 300.5
63.09/63.34 c #Conflicts: 1235000 | #Constraints: 23537
63.09/63.34 c #Conflicts: 1236000 | #Constraints: 24537
63.09/63.34 c #Conflicts: 1237000 | #Constraints: 25537
63.09/63.34 c #Conflicts: 1238000 | #Constraints: 26537
63.09/63.34 c #Conflicts: 1239000 | #Constraints: 27537
63.09/63.34 c #Conflicts: 1240000 | #Constraints: 28537
63.09/63.34 c #Conflicts: 1241000 | #Constraints: 29537
63.09/63.34 c #Conflicts: 1242000 | #Constraints: 30537
63.09/63.34 c #Conflicts: 1243000 | #Constraints: 31537
63.09/63.34 c #Conflicts: 1244000 | #Constraints: 32537
63.09/63.34 c #Conflicts: 1245000 | #Constraints: 33537
63.09/63.34 c #Conflicts: 1246000 | #Constraints: 34537
63.09/63.34 c #Conflicts: 1247000 | #Constraints: 35537
63.09/63.34 c #Conflicts: 1248000 | #Constraints: 36537
63.09/63.34 c #Conflicts: 1249000 | #Constraints: 37537
63.09/63.34 c #Conflicts: 1250000 | #Constraints: 38537
63.09/63.34 c #Conflicts: 1251000 | #Constraints: 39537
63.09/63.34 c #Conflicts: 1252000 | #Constraints: 40537
63.09/63.34 c #Conflicts: 1253000 | #Constraints: 41537
63.09/63.34 c #Conflicts: 1254000 | #Constraints: 42537
63.09/63.34 c #Conflicts: 1255000 | #Constraints: 43537
63.09/63.34 c #Conflicts: 1256000 | #Constraints: 44537
63.09/63.34 c INPROCESSING
63.09/63.34 c GARBAGE COLLECT
63.09/63.34 c rational objective 300.5
64.49/64.76 c #Conflicts: 1257000 | #Constraints: 23342
64.49/64.76 c #Conflicts: 1258000 | #Constraints: 24342
64.49/64.76 c #Conflicts: 1259000 | #Constraints: 25342
64.49/64.76 c #Conflicts: 1260000 | #Constraints: 26342
64.49/64.76 c #Conflicts: 1261000 | #Constraints: 27342
64.49/64.76 c #Conflicts: 1262000 | #Constraints: 28342
64.49/64.76 c #Conflicts: 1263000 | #Constraints: 29342
64.49/64.76 c #Conflicts: 1264000 | #Constraints: 30342
64.49/64.76 c #Conflicts: 1265000 | #Constraints: 31342
64.49/64.76 c #Conflicts: 1266000 | #Constraints: 32342
64.49/64.76 c #Conflicts: 1267000 | #Constraints: 33342
64.49/64.76 c #Conflicts: 1268000 | #Constraints: 34342
64.49/64.76 c #Conflicts: 1269000 | #Constraints: 35342
64.49/64.76 c #Conflicts: 1270000 | #Constraints: 36342
64.49/64.76 c #Conflicts: 1271000 | #Constraints: 37342
64.49/64.76 c #Conflicts: 1272000 | #Constraints: 38342
64.49/64.76 c #Conflicts: 1273000 | #Constraints: 39342
64.49/64.76 c #Conflicts: 1274000 | #Constraints: 40342
64.49/64.76 c #Conflicts: 1275000 | #Constraints: 41342
64.49/64.76 c #Conflicts: 1276000 | #Constraints: 42342
64.49/64.77 c #Conflicts: 1277000 | #Constraints: 43342
64.49/64.77 c #Conflicts: 1278000 | #Constraints: 44342
64.49/64.77 c #Conflicts: 1279000 | #Constraints: 45342
64.49/64.77 c INPROCESSING
64.49/64.77 c GARBAGE COLLECT
64.49/64.77 c rational objective 300.5
65.79/66.06 c #Conflicts: 1280000 | #Constraints: 23934
65.79/66.06 c #Conflicts: 1281000 | #Constraints: 24934
65.79/66.06 c #Conflicts: 1282000 | #Constraints: 25934
65.79/66.06 c #Conflicts: 1283000 | #Constraints: 26934
65.79/66.06 c #Conflicts: 1284000 | #Constraints: 27934
65.79/66.06 c #Conflicts: 1285000 | #Constraints: 28934
65.79/66.06 c #Conflicts: 1286000 | #Constraints: 29934
65.79/66.06 c #Conflicts: 1287000 | #Constraints: 30934
65.79/66.06 c #Conflicts: 1288000 | #Constraints: 31934
65.79/66.06 c #Conflicts: 1289000 | #Constraints: 32934
65.79/66.06 c #Conflicts: 1290000 | #Constraints: 33934
65.79/66.06 c #Conflicts: 1291000 | #Constraints: 34934
65.79/66.06 c #Conflicts: 1292000 | #Constraints: 35934
65.79/66.06 c #Conflicts: 1293000 | #Constraints: 36934
65.79/66.06 c #Conflicts: 1294000 | #Constraints: 37934
65.79/66.06 c #Conflicts: 1295000 | #Constraints: 38934
65.79/66.06 c #Conflicts: 1296000 | #Constraints: 39934
65.79/66.06 c #Conflicts: 1297000 | #Constraints: 40934
65.79/66.06 c #Conflicts: 1298000 | #Constraints: 41934
65.79/66.06 c #Conflicts: 1299000 | #Constraints: 42934
65.79/66.06 c #Conflicts: 1300000 | #Constraints: 43934
65.79/66.06 c #Conflicts: 1301000 | #Constraints: 44934
65.79/66.06 c #Conflicts: 1302000 | #Constraints: 45934
65.79/66.06 c INPROCESSING
65.79/66.06 c GARBAGE COLLECT
65.79/66.06 c rational objective 300.5
67.07/67.34 c #Conflicts: 1303000 | #Constraints: 24344
67.07/67.34 c #Conflicts: 1304000 | #Constraints: 25344
67.07/67.34 c #Conflicts: 1305000 | #Constraints: 26344
67.07/67.34 c #Conflicts: 1306000 | #Constraints: 27344
67.07/67.34 c #Conflicts: 1307000 | #Constraints: 28344
67.07/67.34 c #Conflicts: 1308000 | #Constraints: 29344
67.07/67.34 c #Conflicts: 1309000 | #Constraints: 30344
67.07/67.34 c #Conflicts: 1310000 | #Constraints: 31344
67.07/67.34 c #Conflicts: 1311000 | #Constraints: 32344
67.07/67.34 c #Conflicts: 1312000 | #Constraints: 33344
67.07/67.34 c #Conflicts: 1313000 | #Constraints: 34344
67.07/67.34 c #Conflicts: 1314000 | #Constraints: 35344
67.07/67.34 c #Conflicts: 1315000 | #Constraints: 36344
67.07/67.34 c #Conflicts: 1316000 | #Constraints: 37344
67.07/67.34 c #Conflicts: 1317000 | #Constraints: 38344
67.07/67.34 c #Conflicts: 1318000 | #Constraints: 39344
67.07/67.34 c #Conflicts: 1319000 | #Constraints: 40344
67.07/67.34 c #Conflicts: 1320000 | #Constraints: 41344
67.07/67.34 c #Conflicts: 1321000 | #Constraints: 42344
67.07/67.34 c #Conflicts: 1322000 | #Constraints: 43344
67.07/67.34 c #Conflicts: 1323000 | #Constraints: 44344
67.07/67.34 c #Conflicts: 1324000 | #Constraints: 45344
67.07/67.34 c #Conflicts: 1325000 | #Constraints: 46344
67.07/67.34 c INPROCESSING
67.07/67.34 c GARBAGE COLLECT
67.07/67.34 c rational objective 300.5
68.78/69.11 c #Conflicts: 1326000 | #Constraints: 24558
68.78/69.11 c #Conflicts: 1327000 | #Constraints: 25558
68.78/69.11 c #Conflicts: 1328000 | #Constraints: 26558
68.78/69.11 c #Conflicts: 1329000 | #Constraints: 27558
68.78/69.11 c #Conflicts: 1330000 | #Constraints: 28558
68.78/69.11 c #Conflicts: 1331000 | #Constraints: 29558
68.78/69.11 c #Conflicts: 1332000 | #Constraints: 30558
68.78/69.11 c #Conflicts: 1333000 | #Constraints: 31558
68.78/69.11 c #Conflicts: 1334000 | #Constraints: 32558
68.78/69.11 c #Conflicts: 1335000 | #Constraints: 33558
68.78/69.11 c #Conflicts: 1336000 | #Constraints: 34558
68.78/69.11 c #Conflicts: 1337000 | #Constraints: 35558
68.78/69.11 c #Conflicts: 1338000 | #Constraints: 36558
68.78/69.11 c #Conflicts: 1339000 | #Constraints: 37558
68.78/69.11 c #Conflicts: 1340000 | #Constraints: 38558
68.78/69.11 c #Conflicts: 1341000 | #Constraints: 39558
68.78/69.11 c #Conflicts: 1342000 | #Constraints: 40558
68.78/69.11 c #Conflicts: 1343000 | #Constraints: 41558
68.78/69.11 c #Conflicts: 1344000 | #Constraints: 42558
68.78/69.11 c #Conflicts: 1345000 | #Constraints: 43558
68.78/69.11 c #Conflicts: 1346000 | #Constraints: 44558
68.78/69.11 c #Conflicts: 1347000 | #Constraints: 45558
68.78/69.11 c #Conflicts: 1348000 | #Constraints: 46558
68.78/69.11 c INPROCESSING
68.78/69.11 c GARBAGE COLLECT
68.78/69.11 c rational objective 300.5
70.27/70.50 c #Conflicts: 1349000 | #Constraints: 24549
70.27/70.50 c #Conflicts: 1350000 | #Constraints: 25549
70.27/70.50 c #Conflicts: 1351000 | #Constraints: 26549
70.27/70.50 c #Conflicts: 1352000 | #Constraints: 27549
70.27/70.50 c #Conflicts: 1353000 | #Constraints: 28549
70.27/70.50 c #Conflicts: 1354000 | #Constraints: 29549
70.27/70.50 c #Conflicts: 1355000 | #Constraints: 30549
70.27/70.50 c #Conflicts: 1356000 | #Constraints: 31549
70.27/70.50 c #Conflicts: 1357000 | #Constraints: 32549
70.27/70.50 c #Conflicts: 1358000 | #Constraints: 33549
70.27/70.50 c #Conflicts: 1359000 | #Constraints: 34549
70.27/70.50 c #Conflicts: 1360000 | #Constraints: 35549
70.27/70.50 c #Conflicts: 1361000 | #Constraints: 36549
70.27/70.50 c #Conflicts: 1362000 | #Constraints: 37549
70.27/70.50 c #Conflicts: 1363000 | #Constraints: 38549
70.27/70.50 c #Conflicts: 1364000 | #Constraints: 39549
70.27/70.50 c #Conflicts: 1365000 | #Constraints: 40549
70.27/70.50 c #Conflicts: 1366000 | #Constraints: 41549
70.27/70.50 c #Conflicts: 1367000 | #Constraints: 42549
70.27/70.50 c #Conflicts: 1368000 | #Constraints: 43549
70.27/70.50 c #Conflicts: 1369000 | #Constraints: 44549
70.27/70.50 c #Conflicts: 1370000 | #Constraints: 45549
70.27/70.50 c #Conflicts: 1371000 | #Constraints: 46549
70.27/70.50 c INPROCESSING
70.27/70.50 c GARBAGE COLLECT
70.27/70.50 c rational objective 300.5
71.66/71.91 c #Conflicts: 1372000 | #Constraints: 24346
71.66/71.91 c #Conflicts: 1373000 | #Constraints: 25346
71.66/71.91 c #Conflicts: 1374000 | #Constraints: 26346
71.66/71.91 c #Conflicts: 1375000 | #Constraints: 27346
71.66/71.91 c #Conflicts: 1376000 | #Constraints: 28346
71.66/71.91 c #Conflicts: 1377000 | #Constraints: 29346
71.66/71.91 c #Conflicts: 1378000 | #Constraints: 30346
71.66/71.91 c #Conflicts: 1379000 | #Constraints: 31346
71.66/71.91 c #Conflicts: 1380000 | #Constraints: 32346
71.66/71.91 c #Conflicts: 1381000 | #Constraints: 33346
71.66/71.91 c #Conflicts: 1382000 | #Constraints: 34346
71.66/71.91 c #Conflicts: 1383000 | #Constraints: 35346
71.66/71.91 c #Conflicts: 1384000 | #Constraints: 36346
71.66/71.91 c #Conflicts: 1385000 | #Constraints: 37346
71.66/71.91 c #Conflicts: 1386000 | #Constraints: 38346
71.66/71.91 c #Conflicts: 1387000 | #Constraints: 39346
71.66/71.91 c #Conflicts: 1388000 | #Constraints: 40346
71.66/71.91 c #Conflicts: 1389000 | #Constraints: 41346
71.66/71.91 c #Conflicts: 1390000 | #Constraints: 42346
71.66/71.91 c #Conflicts: 1391000 | #Constraints: 43346
71.66/71.91 c #Conflicts: 1392000 | #Constraints: 44346
71.66/71.91 c #Conflicts: 1393000 | #Constraints: 45346
71.66/71.91 c #Conflicts: 1394000 | #Constraints: 46346
71.66/71.91 c #Conflicts: 1395000 | #Constraints: 47346
71.66/71.91 c INPROCESSING
71.66/71.91 c GARBAGE COLLECT
71.66/71.91 c rational objective 300.5
73.06/73.37 c #Conflicts: 1396000 | #Constraints: 24955
73.06/73.37 c #Conflicts: 1397000 | #Constraints: 25955
73.06/73.37 c #Conflicts: 1398000 | #Constraints: 26955
73.06/73.37 c #Conflicts: 1399000 | #Constraints: 27955
73.06/73.37 c #Conflicts: 1400000 | #Constraints: 28955
73.06/73.37 c #Conflicts: 1401000 | #Constraints: 29955
73.06/73.37 c #Conflicts: 1402000 | #Constraints: 30955
73.06/73.37 c #Conflicts: 1403000 | #Constraints: 31955
73.06/73.37 c #Conflicts: 1404000 | #Constraints: 32955
73.06/73.37 c #Conflicts: 1405000 | #Constraints: 33955
73.06/73.37 c #Conflicts: 1406000 | #Constraints: 34955
73.06/73.37 c #Conflicts: 1407000 | #Constraints: 35955
73.06/73.37 c #Conflicts: 1408000 | #Constraints: 36955
73.06/73.37 c #Conflicts: 1409000 | #Constraints: 37955
73.06/73.37 c #Conflicts: 1410000 | #Constraints: 38955
73.06/73.37 c #Conflicts: 1411000 | #Constraints: 39955
73.06/73.37 c #Conflicts: 1412000 | #Constraints: 40955
73.06/73.37 c #Conflicts: 1413000 | #Constraints: 41955
73.06/73.37 c #Conflicts: 1414000 | #Constraints: 42955
73.06/73.37 c #Conflicts: 1415000 | #Constraints: 43955
73.06/73.37 c #Conflicts: 1416000 | #Constraints: 44955
73.06/73.37 c #Conflicts: 1417000 | #Constraints: 45955
73.06/73.37 c #Conflicts: 1418000 | #Constraints: 46955
73.06/73.37 c #Conflicts: 1419000 | #Constraints: 47955
73.06/73.37 c INPROCESSING
73.06/73.37 c GARBAGE COLLECT
73.06/73.37 c rational objective 300.5
74.46/74.76 c #Conflicts: 1420000 | #Constraints: 25350
74.46/74.76 c #Conflicts: 1421000 | #Constraints: 26350
74.46/74.76 c #Conflicts: 1422000 | #Constraints: 27350
74.46/74.76 c #Conflicts: 1423000 | #Constraints: 28350
74.46/74.76 c #Conflicts: 1424000 | #Constraints: 29350
74.46/74.76 c #Conflicts: 1425000 | #Constraints: 30350
74.46/74.76 c #Conflicts: 1426000 | #Constraints: 31350
74.46/74.76 c #Conflicts: 1427000 | #Constraints: 32350
74.46/74.76 c #Conflicts: 1428000 | #Constraints: 33350
74.46/74.76 c #Conflicts: 1429000 | #Constraints: 34350
74.46/74.76 c #Conflicts: 1430000 | #Constraints: 35350
74.46/74.76 c #Conflicts: 1431000 | #Constraints: 36350
74.46/74.76 c #Conflicts: 1432000 | #Constraints: 37350
74.46/74.76 c #Conflicts: 1433000 | #Constraints: 38350
74.46/74.76 c #Conflicts: 1434000 | #Constraints: 39350
74.46/74.76 c #Conflicts: 1435000 | #Constraints: 40350
74.46/74.76 c #Conflicts: 1436000 | #Constraints: 41350
74.46/74.76 c #Conflicts: 1437000 | #Constraints: 42350
74.46/74.76 c #Conflicts: 1438000 | #Constraints: 43350
74.46/74.76 c #Conflicts: 1439000 | #Constraints: 44350
74.46/74.76 c #Conflicts: 1440000 | #Constraints: 45350
74.46/74.76 c #Conflicts: 1441000 | #Constraints: 46350
74.46/74.76 c #Conflicts: 1442000 | #Constraints: 47350
74.46/74.76 c #Conflicts: 1443000 | #Constraints: 48350
74.46/74.76 c INPROCESSING
74.46/74.76 c GARBAGE COLLECT
74.46/74.76 c rational objective 300.5
75.86/76.18 c #Conflicts: 1444000 | #Constraints: 25554
75.86/76.18 c #Conflicts: 1445000 | #Constraints: 26554
75.86/76.18 c #Conflicts: 1446000 | #Constraints: 27554
75.86/76.18 c #Conflicts: 1447000 | #Constraints: 28554
75.86/76.18 c #Conflicts: 1448000 | #Constraints: 29554
75.86/76.18 c #Conflicts: 1449000 | #Constraints: 30554
75.86/76.18 c #Conflicts: 1450000 | #Constraints: 31554
75.86/76.18 c #Conflicts: 1451000 | #Constraints: 32554
75.86/76.18 c #Conflicts: 1452000 | #Constraints: 33554
75.86/76.18 c #Conflicts: 1453000 | #Constraints: 34554
75.86/76.18 c #Conflicts: 1454000 | #Constraints: 35554
75.86/76.18 c #Conflicts: 1455000 | #Constraints: 36554
75.86/76.18 c #Conflicts: 1456000 | #Constraints: 37554
75.86/76.18 c #Conflicts: 1457000 | #Constraints: 38554
75.86/76.18 c #Conflicts: 1458000 | #Constraints: 39554
75.86/76.18 c #Conflicts: 1459000 | #Constraints: 40554
75.86/76.18 c #Conflicts: 1460000 | #Constraints: 41554
75.86/76.18 c #Conflicts: 1461000 | #Constraints: 42554
75.86/76.18 c #Conflicts: 1462000 | #Constraints: 43554
75.86/76.18 c #Conflicts: 1463000 | #Constraints: 44554
75.86/76.18 c #Conflicts: 1464000 | #Constraints: 45554
75.86/76.18 c #Conflicts: 1465000 | #Constraints: 46554
75.86/76.18 c #Conflicts: 1466000 | #Constraints: 47554
75.86/76.18 c #Conflicts: 1467000 | #Constraints: 48554
75.86/76.18 c INPROCESSING
75.86/76.18 c GARBAGE COLLECT
75.86/76.18 c rational objective 300.5
77.35/77.61 c #Conflicts: 1468000 | #Constraints: 25552
77.35/77.61 c #Conflicts: 1469000 | #Constraints: 26552
77.35/77.61 c #Conflicts: 1470000 | #Constraints: 27552
77.35/77.61 c #Conflicts: 1471000 | #Constraints: 28552
77.35/77.61 c #Conflicts: 1472000 | #Constraints: 29552
77.35/77.61 c #Conflicts: 1473000 | #Constraints: 30552
77.35/77.61 c #Conflicts: 1474000 | #Constraints: 31552
77.35/77.61 c #Conflicts: 1475000 | #Constraints: 32552
77.35/77.61 c #Conflicts: 1476000 | #Constraints: 33552
77.35/77.61 c #Conflicts: 1477000 | #Constraints: 34552
77.35/77.61 c #Conflicts: 1478000 | #Constraints: 35552
77.35/77.61 c #Conflicts: 1479000 | #Constraints: 36552
77.35/77.61 c #Conflicts: 1480000 | #Constraints: 37552
77.35/77.61 c #Conflicts: 1481000 | #Constraints: 38552
77.35/77.61 c #Conflicts: 1482000 | #Constraints: 39552
77.35/77.61 c #Conflicts: 1483000 | #Constraints: 40552
77.35/77.61 c #Conflicts: 1484000 | #Constraints: 41552
77.35/77.61 c #Conflicts: 1485000 | #Constraints: 42552
77.35/77.61 c #Conflicts: 1486000 | #Constraints: 43552
77.35/77.61 c #Conflicts: 1487000 | #Constraints: 44552
77.35/77.61 c #Conflicts: 1488000 | #Constraints: 45552
77.35/77.61 c #Conflicts: 1489000 | #Constraints: 46552
77.35/77.61 c #Conflicts: 1490000 | #Constraints: 47552
77.35/77.61 c #Conflicts: 1491000 | #Constraints: 48552
77.35/77.61 c INPROCESSING
77.35/77.61 c GARBAGE COLLECT
77.35/77.61 c rational objective 300.5
78.65/79.00 c #Conflicts: 1492000 | #Constraints: 25338
78.65/79.00 c #Conflicts: 1493000 | #Constraints: 26338
78.65/79.00 c #Conflicts: 1494000 | #Constraints: 27338
78.65/79.00 c #Conflicts: 1495000 | #Constraints: 28338
78.65/79.00 c #Conflicts: 1496000 | #Constraints: 29338
78.65/79.00 c #Conflicts: 1497000 | #Constraints: 30338
78.65/79.00 c #Conflicts: 1498000 | #Constraints: 31338
78.65/79.00 c #Conflicts: 1499000 | #Constraints: 32338
78.65/79.00 c #Conflicts: 1500000 | #Constraints: 33338
78.65/79.00 c #Conflicts: 1501000 | #Constraints: 34338
78.65/79.00 c #Conflicts: 1502000 | #Constraints: 35338
78.65/79.00 c #Conflicts: 1503000 | #Constraints: 36338
78.65/79.00 c #Conflicts: 1504000 | #Constraints: 37338
78.65/79.00 c #Conflicts: 1505000 | #Constraints: 38338
78.65/79.00 c #Conflicts: 1506000 | #Constraints: 39338
78.65/79.00 c #Conflicts: 1507000 | #Constraints: 40338
78.65/79.00 c #Conflicts: 1508000 | #Constraints: 41338
78.65/79.00 c #Conflicts: 1509000 | #Constraints: 42338
78.65/79.00 c #Conflicts: 1510000 | #Constraints: 43338
78.65/79.00 c #Conflicts: 1511000 | #Constraints: 44338
78.65/79.00 c #Conflicts: 1512000 | #Constraints: 45338
78.65/79.00 c #Conflicts: 1513000 | #Constraints: 46338
78.65/79.00 c #Conflicts: 1514000 | #Constraints: 47338
78.65/79.00 c #Conflicts: 1515000 | #Constraints: 48338
78.65/79.00 c #Conflicts: 1516000 | #Constraints: 49338
78.65/79.00 c INPROCESSING
78.65/79.00 c GARBAGE COLLECT
78.65/79.00 c rational objective 300.5
80.14/80.40 c #Conflicts: 1517000 | #Constraints: 25936
80.14/80.40 c #Conflicts: 1518000 | #Constraints: 26936
80.14/80.40 c #Conflicts: 1519000 | #Constraints: 27936
80.14/80.40 c #Conflicts: 1520000 | #Constraints: 28936
80.14/80.40 c #Conflicts: 1521000 | #Constraints: 29936
80.14/80.40 c #Conflicts: 1522000 | #Constraints: 30936
80.14/80.40 c #Conflicts: 1523000 | #Constraints: 31936
80.14/80.40 c #Conflicts: 1524000 | #Constraints: 32936
80.14/80.40 c #Conflicts: 1525000 | #Constraints: 33936
80.14/80.40 c #Conflicts: 1526000 | #Constraints: 34936
80.14/80.40 c #Conflicts: 1527000 | #Constraints: 35936
80.14/80.40 c #Conflicts: 1528000 | #Constraints: 36936
80.14/80.40 c #Conflicts: 1529000 | #Constraints: 37936
80.14/80.40 c #Conflicts: 1530000 | #Constraints: 38936
80.14/80.40 c #Conflicts: 1531000 | #Constraints: 39936
80.14/80.40 c #Conflicts: 1532000 | #Constraints: 40936
80.14/80.40 c #Conflicts: 1533000 | #Constraints: 41936
80.14/80.40 c #Conflicts: 1534000 | #Constraints: 42936
80.14/80.40 c #Conflicts: 1535000 | #Constraints: 43936
80.14/80.40 c #Conflicts: 1536000 | #Constraints: 44936
80.14/80.40 c #Conflicts: 1537000 | #Constraints: 45936
80.14/80.40 c #Conflicts: 1538000 | #Constraints: 46936
80.14/80.40 c #Conflicts: 1539000 | #Constraints: 47936
80.14/80.40 c #Conflicts: 1540000 | #Constraints: 48936
80.14/80.40 c #Conflicts: 1541000 | #Constraints: 49936
80.14/80.40 c INPROCESSING
80.14/80.40 c GARBAGE COLLECT
80.14/80.40 c rational objective 300.5
81.43/81.78 c #Conflicts: 1542000 | #Constraints: 26349
81.43/81.78 c #Conflicts: 1543000 | #Constraints: 27349
81.43/81.78 c #Conflicts: 1544000 | #Constraints: 28349
81.43/81.78 c #Conflicts: 1545000 | #Constraints: 29349
81.43/81.78 c #Conflicts: 1546000 | #Constraints: 30349
81.43/81.78 c #Conflicts: 1547000 | #Constraints: 31349
81.43/81.78 c #Conflicts: 1548000 | #Constraints: 32349
81.43/81.78 c #Conflicts: 1549000 | #Constraints: 33349
81.43/81.78 c #Conflicts: 1550000 | #Constraints: 34349
81.43/81.78 c #Conflicts: 1551000 | #Constraints: 35349
81.43/81.78 c #Conflicts: 1552000 | #Constraints: 36349
81.43/81.78 c #Conflicts: 1553000 | #Constraints: 37349
81.43/81.78 c #Conflicts: 1554000 | #Constraints: 38349
81.43/81.78 c #Conflicts: 1555000 | #Constraints: 39349
81.43/81.78 c #Conflicts: 1556000 | #Constraints: 40349
81.43/81.78 c #Conflicts: 1557000 | #Constraints: 41349
81.43/81.78 c #Conflicts: 1558000 | #Constraints: 42349
81.43/81.78 c #Conflicts: 1559000 | #Constraints: 43349
81.43/81.78 c #Conflicts: 1560000 | #Constraints: 44349
81.43/81.78 c #Conflicts: 1561000 | #Constraints: 45349
81.43/81.78 c #Conflicts: 1562000 | #Constraints: 46349
81.43/81.78 c #Conflicts: 1563000 | #Constraints: 47349
81.43/81.78 c #Conflicts: 1564000 | #Constraints: 48349
81.43/81.78 c #Conflicts: 1565000 | #Constraints: 49349
81.43/81.78 c #Conflicts: 1566000 | #Constraints: 50349
81.43/81.78 c INPROCESSING
81.43/81.78 c GARBAGE COLLECT
81.43/81.78 c rational objective 300.5
82.75/83.05 c #Conflicts: 1567000 | #Constraints: 26552
82.75/83.05 c #Conflicts: 1568000 | #Constraints: 27552
82.75/83.05 c #Conflicts: 1569000 | #Constraints: 28552
82.75/83.05 c #Conflicts: 1570000 | #Constraints: 29552
82.75/83.05 c #Conflicts: 1571000 | #Constraints: 30552
82.75/83.05 c #Conflicts: 1572000 | #Constraints: 31552
82.75/83.05 c #Conflicts: 1573000 | #Constraints: 32552
82.75/83.05 c #Conflicts: 1574000 | #Constraints: 33552
82.75/83.05 c #Conflicts: 1575000 | #Constraints: 34552
82.75/83.05 c #Conflicts: 1576000 | #Constraints: 35552
82.75/83.05 c #Conflicts: 1577000 | #Constraints: 36552
82.75/83.05 c #Conflicts: 1578000 | #Constraints: 37552
82.75/83.05 c #Conflicts: 1579000 | #Constraints: 38552
82.75/83.05 c #Conflicts: 1580000 | #Constraints: 39552
82.75/83.05 c #Conflicts: 1581000 | #Constraints: 40552
82.75/83.05 c #Conflicts: 1582000 | #Constraints: 41552
82.75/83.05 c #Conflicts: 1583000 | #Constraints: 42552
82.75/83.05 c #Conflicts: 1584000 | #Constraints: 43552
82.75/83.05 c #Conflicts: 1585000 | #Constraints: 44552
82.75/83.05 c #Conflicts: 1586000 | #Constraints: 45552
82.75/83.05 c #Conflicts: 1587000 | #Constraints: 46552
82.75/83.05 c #Conflicts: 1588000 | #Constraints: 47552
82.75/83.05 c #Conflicts: 1589000 | #Constraints: 48552
82.75/83.05 c #Conflicts: 1590000 | #Constraints: 49552
82.75/83.05 c #Conflicts: 1591000 | #Constraints: 50552
82.75/83.05 c INPROCESSING
82.75/83.05 c GARBAGE COLLECT
82.75/83.05 c rational objective 300.5
84.63/84.99 c #Conflicts: 1592000 | #Constraints: 26549
84.63/84.99 c #Conflicts: 1593000 | #Constraints: 27549
84.63/84.99 c #Conflicts: 1594000 | #Constraints: 28549
84.63/84.99 c #Conflicts: 1595000 | #Constraints: 29549
84.63/84.99 c #Conflicts: 1596000 | #Constraints: 30549
84.63/84.99 c #Conflicts: 1597000 | #Constraints: 31549
84.63/84.99 c #Conflicts: 1598000 | #Constraints: 32549
84.63/84.99 c #Conflicts: 1599000 | #Constraints: 33549
84.63/84.99 c #Conflicts: 1600000 | #Constraints: 34549
84.63/84.99 c #Conflicts: 1601000 | #Constraints: 35549
84.63/84.99 c #Conflicts: 1602000 | #Constraints: 36549
84.63/84.99 c #Conflicts: 1603000 | #Constraints: 37549
84.63/84.99 c #Conflicts: 1604000 | #Constraints: 38549
84.63/84.99 c #Conflicts: 1605000 | #Constraints: 39549
84.63/84.99 c #Conflicts: 1606000 | #Constraints: 40549
84.63/84.99 c #Conflicts: 1607000 | #Constraints: 41549
84.63/84.99 c #Conflicts: 1608000 | #Constraints: 42549
84.63/84.99 c #Conflicts: 1609000 | #Constraints: 43549
84.63/84.99 c #Conflicts: 1610000 | #Constraints: 44549
84.63/84.99 c #Conflicts: 1611000 | #Constraints: 45549
84.63/84.99 c #Conflicts: 1612000 | #Constraints: 46549
84.63/84.99 c #Conflicts: 1613000 | #Constraints: 47549
84.63/84.99 c #Conflicts: 1614000 | #Constraints: 48549
84.63/84.99 c #Conflicts: 1615000 | #Constraints: 49549
84.63/84.99 c #Conflicts: 1616000 | #Constraints: 50549
84.63/84.99 c INPROCESSING
84.63/84.99 c GARBAGE COLLECT
84.63/84.99 c rational objective 300.5
85.92/86.26 c #Conflicts: 1617000 | #Constraints: 26356
85.92/86.26 c #Conflicts: 1618000 | #Constraints: 27356
85.92/86.26 c #Conflicts: 1619000 | #Constraints: 28356
85.92/86.26 c #Conflicts: 1620000 | #Constraints: 29356
85.92/86.26 c #Conflicts: 1621000 | #Constraints: 30356
85.92/86.26 c #Conflicts: 1622000 | #Constraints: 31356
85.92/86.26 c #Conflicts: 1623000 | #Constraints: 32356
85.92/86.26 c #Conflicts: 1624000 | #Constraints: 33356
85.92/86.26 c #Conflicts: 1625000 | #Constraints: 34356
85.92/86.26 c #Conflicts: 1626000 | #Constraints: 35356
85.92/86.26 c #Conflicts: 1627000 | #Constraints: 36356
85.92/86.26 c #Conflicts: 1628000 | #Constraints: 37356
85.92/86.26 c #Conflicts: 1629000 | #Constraints: 38356
85.92/86.26 c #Conflicts: 1630000 | #Constraints: 39356
85.92/86.26 c #Conflicts: 1631000 | #Constraints: 40356
85.92/86.26 c #Conflicts: 1632000 | #Constraints: 41356
85.92/86.26 c #Conflicts: 1633000 | #Constraints: 42356
85.92/86.26 c #Conflicts: 1634000 | #Constraints: 43356
85.92/86.26 c #Conflicts: 1635000 | #Constraints: 44356
85.92/86.26 c #Conflicts: 1636000 | #Constraints: 45356
85.92/86.26 c #Conflicts: 1637000 | #Constraints: 46356
85.92/86.26 c #Conflicts: 1638000 | #Constraints: 47356
85.92/86.26 c #Conflicts: 1639000 | #Constraints: 48356
85.92/86.26 c #Conflicts: 1640000 | #Constraints: 49356
85.92/86.26 c #Conflicts: 1641000 | #Constraints: 50356
85.92/86.26 c #Conflicts: 1642000 | #Constraints: 51356
85.92/86.26 c INPROCESSING
85.92/86.26 c GARBAGE COLLECT
85.92/86.26 c rational objective 300.5
87.42/87.77 c #Conflicts: 1643000 | #Constraints: 26948
87.42/87.77 c #Conflicts: 1644000 | #Constraints: 27948
87.42/87.77 c #Conflicts: 1645000 | #Constraints: 28948
87.42/87.77 c #Conflicts: 1646000 | #Constraints: 29948
87.42/87.77 c #Conflicts: 1647000 | #Constraints: 30948
87.42/87.77 c #Conflicts: 1648000 | #Constraints: 31948
87.42/87.77 c #Conflicts: 1649000 | #Constraints: 32948
87.42/87.77 c #Conflicts: 1650000 | #Constraints: 33948
87.42/87.77 c #Conflicts: 1651000 | #Constraints: 34948
87.42/87.77 c #Conflicts: 1652000 | #Constraints: 35948
87.42/87.77 c #Conflicts: 1653000 | #Constraints: 36948
87.42/87.77 c #Conflicts: 1654000 | #Constraints: 37948
87.42/87.77 c #Conflicts: 1655000 | #Constraints: 38948
87.42/87.77 c #Conflicts: 1656000 | #Constraints: 39948
87.42/87.77 c #Conflicts: 1657000 | #Constraints: 40948
87.42/87.77 c #Conflicts: 1658000 | #Constraints: 41948
87.42/87.77 c #Conflicts: 1659000 | #Constraints: 42948
87.42/87.77 c #Conflicts: 1660000 | #Constraints: 43948
87.42/87.77 c #Conflicts: 1661000 | #Constraints: 44948
87.42/87.77 c #Conflicts: 1662000 | #Constraints: 45948
87.42/87.77 c #Conflicts: 1663000 | #Constraints: 46948
87.42/87.77 c #Conflicts: 1664000 | #Constraints: 47948
87.42/87.77 c #Conflicts: 1665000 | #Constraints: 48948
87.42/87.77 c #Conflicts: 1666000 | #Constraints: 49948
87.42/87.77 c #Conflicts: 1667000 | #Constraints: 50948
87.42/87.77 c #Conflicts: 1668000 | #Constraints: 51948
87.42/87.77 c INPROCESSING
87.42/87.77 c GARBAGE COLLECT
87.42/87.77 c rational objective 300.5
88.91/89.27 c #Conflicts: 1669000 | #Constraints: 27345
88.91/89.27 c #Conflicts: 1670000 | #Constraints: 28345
88.91/89.27 c #Conflicts: 1671000 | #Constraints: 29345
88.91/89.27 c #Conflicts: 1672000 | #Constraints: 30345
88.91/89.27 c #Conflicts: 1673000 | #Constraints: 31345
88.91/89.27 c #Conflicts: 1674000 | #Constraints: 32345
88.91/89.27 c #Conflicts: 1675000 | #Constraints: 33345
88.91/89.27 c #Conflicts: 1676000 | #Constraints: 34345
88.91/89.27 c #Conflicts: 1677000 | #Constraints: 35345
88.91/89.27 c #Conflicts: 1678000 | #Constraints: 36345
88.91/89.27 c #Conflicts: 1679000 | #Constraints: 37345
88.91/89.27 c #Conflicts: 1680000 | #Constraints: 38345
88.91/89.27 c #Conflicts: 1681000 | #Constraints: 39345
88.91/89.27 c #Conflicts: 1682000 | #Constraints: 40345
88.91/89.27 c #Conflicts: 1683000 | #Constraints: 41345
88.91/89.27 c #Conflicts: 1684000 | #Constraints: 42345
88.91/89.27 c #Conflicts: 1685000 | #Constraints: 43345
88.91/89.27 c #Conflicts: 1686000 | #Constraints: 44345
88.91/89.27 c #Conflicts: 1687000 | #Constraints: 45345
88.91/89.27 c #Conflicts: 1688000 | #Constraints: 46345
88.91/89.27 c #Conflicts: 1689000 | #Constraints: 47345
88.91/89.27 c #Conflicts: 1690000 | #Constraints: 48345
88.91/89.27 c #Conflicts: 1691000 | #Constraints: 49345
88.91/89.27 c #Conflicts: 1692000 | #Constraints: 50345
88.91/89.27 c #Conflicts: 1693000 | #Constraints: 51345
88.91/89.27 c #Conflicts: 1694000 | #Constraints: 52345
88.91/89.27 c INPROCESSING
88.91/89.27 c GARBAGE COLLECT
88.91/89.27 c rational objective 300.5
90.61/90.90 c #Conflicts: 1695000 | #Constraints: 27545
90.61/90.90 c #Conflicts: 1696000 | #Constraints: 28545
90.61/90.90 c #Conflicts: 1697000 | #Constraints: 29545
90.61/90.90 c #Conflicts: 1698000 | #Constraints: 30545
90.61/90.90 c #Conflicts: 1699000 | #Constraints: 31545
90.61/90.90 c #Conflicts: 1700000 | #Constraints: 32545
90.61/90.90 c #Conflicts: 1701000 | #Constraints: 33545
90.61/90.90 c #Conflicts: 1702000 | #Constraints: 34545
90.61/90.90 c #Conflicts: 1703000 | #Constraints: 35545
90.61/90.90 c #Conflicts: 1704000 | #Constraints: 36545
90.61/90.90 c #Conflicts: 1705000 | #Constraints: 37545
90.61/90.90 c #Conflicts: 1706000 | #Constraints: 38545
90.61/90.90 c #Conflicts: 1707000 | #Constraints: 39545
90.61/90.90 c #Conflicts: 1708000 | #Constraints: 40545
90.61/90.90 c #Conflicts: 1709000 | #Constraints: 41545
90.61/90.90 c #Conflicts: 1710000 | #Constraints: 42545
90.61/90.90 c #Conflicts: 1711000 | #Constraints: 43545
90.61/90.90 c #Conflicts: 1712000 | #Constraints: 44545
90.61/90.90 c #Conflicts: 1713000 | #Constraints: 45545
90.61/90.90 c #Conflicts: 1714000 | #Constraints: 46545
90.61/90.90 c #Conflicts: 1715000 | #Constraints: 47545
90.61/90.90 c #Conflicts: 1716000 | #Constraints: 48545
90.61/90.90 c #Conflicts: 1717000 | #Constraints: 49545
90.61/90.90 c #Conflicts: 1718000 | #Constraints: 50545
90.61/90.90 c #Conflicts: 1719000 | #Constraints: 51545
90.61/90.90 c #Conflicts: 1720000 | #Constraints: 52545
90.61/90.90 c INPROCESSING
90.61/90.90 c GARBAGE COLLECT
90.61/90.90 c rational objective 300.5
92.31/92.61 c #Conflicts: 1721000 | #Constraints: 27538
92.31/92.61 c #Conflicts: 1722000 | #Constraints: 28538
92.31/92.61 c #Conflicts: 1723000 | #Constraints: 29538
92.31/92.61 c #Conflicts: 1724000 | #Constraints: 30538
92.31/92.61 c #Conflicts: 1725000 | #Constraints: 31538
92.31/92.61 c #Conflicts: 1726000 | #Constraints: 32538
92.31/92.61 c #Conflicts: 1727000 | #Constraints: 33538
92.31/92.61 c #Conflicts: 1728000 | #Constraints: 34538
92.31/92.61 c #Conflicts: 1729000 | #Constraints: 35538
92.31/92.61 c #Conflicts: 1730000 | #Constraints: 36538
92.31/92.61 c #Conflicts: 1731000 | #Constraints: 37538
92.31/92.61 c #Conflicts: 1732000 | #Constraints: 38538
92.31/92.61 c #Conflicts: 1733000 | #Constraints: 39538
92.31/92.61 c #Conflicts: 1734000 | #Constraints: 40538
92.31/92.61 c #Conflicts: 1735000 | #Constraints: 41538
92.31/92.61 c #Conflicts: 1736000 | #Constraints: 42538
92.31/92.61 c #Conflicts: 1737000 | #Constraints: 43538
92.31/92.61 c #Conflicts: 1738000 | #Constraints: 44538
92.31/92.61 c #Conflicts: 1739000 | #Constraints: 45538
92.31/92.61 c #Conflicts: 1740000 | #Constraints: 46538
92.31/92.61 c #Conflicts: 1741000 | #Constraints: 47538
92.31/92.61 c #Conflicts: 1742000 | #Constraints: 48538
92.31/92.61 c #Conflicts: 1743000 | #Constraints: 49538
92.31/92.61 c #Conflicts: 1744000 | #Constraints: 50538
92.31/92.61 c #Conflicts: 1745000 | #Constraints: 51538
92.31/92.61 c #Conflicts: 1746000 | #Constraints: 52538
92.31/92.61 c INPROCESSING
92.31/92.61 c GARBAGE COLLECT
92.31/92.61 c rational objective 300.5
93.90/94.20 c #Conflicts: 1747000 | #Constraints: 27343
93.90/94.20 c #Conflicts: 1748000 | #Constraints: 28343
93.90/94.20 c #Conflicts: 1749000 | #Constraints: 29343
93.90/94.20 c #Conflicts: 1750000 | #Constraints: 30343
93.90/94.20 c #Conflicts: 1751000 | #Constraints: 31343
93.90/94.20 c #Conflicts: 1752000 | #Constraints: 32343
93.90/94.20 c #Conflicts: 1753000 | #Constraints: 33343
93.90/94.20 c #Conflicts: 1754000 | #Constraints: 34343
93.90/94.20 c #Conflicts: 1755000 | #Constraints: 35343
93.90/94.20 c #Conflicts: 1756000 | #Constraints: 36343
93.90/94.20 c #Conflicts: 1757000 | #Constraints: 37343
93.90/94.20 c #Conflicts: 1758000 | #Constraints: 38343
93.90/94.20 c #Conflicts: 1759000 | #Constraints: 39343
93.90/94.20 c #Conflicts: 1760000 | #Constraints: 40343
93.90/94.20 c #Conflicts: 1761000 | #Constraints: 41343
93.90/94.20 c #Conflicts: 1762000 | #Constraints: 42343
93.90/94.20 c #Conflicts: 1763000 | #Constraints: 43343
93.90/94.20 c #Conflicts: 1764000 | #Constraints: 44343
93.90/94.20 c #Conflicts: 1765000 | #Constraints: 45343
93.90/94.20 c #Conflicts: 1766000 | #Constraints: 46343
93.90/94.20 c #Conflicts: 1767000 | #Constraints: 47343
93.90/94.20 c #Conflicts: 1768000 | #Constraints: 48343
93.90/94.20 c #Conflicts: 1769000 | #Constraints: 49343
93.90/94.20 c #Conflicts: 1770000 | #Constraints: 50343
93.90/94.20 c #Conflicts: 1771000 | #Constraints: 51343
93.90/94.20 c #Conflicts: 1772000 | #Constraints: 52343
93.90/94.20 c #Conflicts: 1773000 | #Constraints: 53343
93.90/94.20 c INPROCESSING
93.90/94.20 c GARBAGE COLLECT
93.90/94.20 c rational objective 300.5
95.39/95.77 c #Conflicts: 1774000 | #Constraints: 27943
95.39/95.77 c #Conflicts: 1775000 | #Constraints: 28943
95.39/95.77 c #Conflicts: 1776000 | #Constraints: 29943
95.39/95.77 c #Conflicts: 1777000 | #Constraints: 30943
95.39/95.77 c #Conflicts: 1778000 | #Constraints: 31943
95.39/95.77 c #Conflicts: 1779000 | #Constraints: 32943
95.39/95.77 c #Conflicts: 1780000 | #Constraints: 33943
95.39/95.77 c #Conflicts: 1781000 | #Constraints: 34943
95.39/95.77 c #Conflicts: 1782000 | #Constraints: 35943
95.39/95.77 c #Conflicts: 1783000 | #Constraints: 36943
95.39/95.77 c #Conflicts: 1784000 | #Constraints: 37943
95.39/95.77 c #Conflicts: 1785000 | #Constraints: 38943
95.39/95.77 c #Conflicts: 1786000 | #Constraints: 39943
95.39/95.77 c #Conflicts: 1787000 | #Constraints: 40943
95.39/95.77 c #Conflicts: 1788000 | #Constraints: 41943
95.39/95.77 c #Conflicts: 1789000 | #Constraints: 42943
95.39/95.77 c #Conflicts: 1790000 | #Constraints: 43943
95.39/95.77 c #Conflicts: 1791000 | #Constraints: 44943
95.39/95.77 c #Conflicts: 1792000 | #Constraints: 45943
95.39/95.77 c #Conflicts: 1793000 | #Constraints: 46943
95.39/95.77 c #Conflicts: 1794000 | #Constraints: 47943
95.39/95.77 c #Conflicts: 1795000 | #Constraints: 48943
95.39/95.77 c #Conflicts: 1796000 | #Constraints: 49943
95.39/95.77 c #Conflicts: 1797000 | #Constraints: 50943
95.39/95.77 c #Conflicts: 1798000 | #Constraints: 51943
95.39/95.77 c #Conflicts: 1799000 | #Constraints: 52943
95.39/95.77 c #Conflicts: 1800000 | #Constraints: 53943
95.39/95.77 c INPROCESSING
95.39/95.77 c GARBAGE COLLECT
95.39/95.77 c rational objective 300.5
96.99/97.38 c #Conflicts: 1801000 | #Constraints: 28340
96.99/97.38 c #Conflicts: 1802000 | #Constraints: 29340
96.99/97.38 c #Conflicts: 1803000 | #Constraints: 30340
96.99/97.38 c #Conflicts: 1804000 | #Constraints: 31340
96.99/97.38 c #Conflicts: 1805000 | #Constraints: 32340
96.99/97.38 c #Conflicts: 1806000 | #Constraints: 33340
96.99/97.38 c #Conflicts: 1807000 | #Constraints: 34340
96.99/97.38 c #Conflicts: 1808000 | #Constraints: 35340
96.99/97.38 c #Conflicts: 1809000 | #Constraints: 36340
96.99/97.38 c #Conflicts: 1810000 | #Constraints: 37340
96.99/97.38 c #Conflicts: 1811000 | #Constraints: 38340
96.99/97.38 c #Conflicts: 1812000 | #Constraints: 39340
96.99/97.38 c #Conflicts: 1813000 | #Constraints: 40340
96.99/97.38 c #Conflicts: 1814000 | #Constraints: 41340
96.99/97.38 c #Conflicts: 1815000 | #Constraints: 42340
96.99/97.38 c #Conflicts: 1816000 | #Constraints: 43340
96.99/97.38 c #Conflicts: 1817000 | #Constraints: 44340
96.99/97.38 c #Conflicts: 1818000 | #Constraints: 45340
96.99/97.38 c #Conflicts: 1819000 | #Constraints: 46340
96.99/97.38 c #Conflicts: 1820000 | #Constraints: 47340
96.99/97.38 c #Conflicts: 1821000 | #Constraints: 48340
96.99/97.38 c #Conflicts: 1822000 | #Constraints: 49340
96.99/97.38 c #Conflicts: 1823000 | #Constraints: 50340
96.99/97.38 c #Conflicts: 1824000 | #Constraints: 51340
96.99/97.38 c #Conflicts: 1825000 | #Constraints: 52340
96.99/97.38 c #Conflicts: 1826000 | #Constraints: 53340
96.99/97.38 c #Conflicts: 1827000 | #Constraints: 54340
96.99/97.38 c INPROCESSING
96.99/97.38 c GARBAGE COLLECT
96.99/97.38 c rational objective 300.5
98.70/99.08 c #Conflicts: 1828000 | #Constraints: 28546
98.70/99.08 c #Conflicts: 1829000 | #Constraints: 29546
98.70/99.08 c #Conflicts: 1830000 | #Constraints: 30546
98.70/99.08 c #Conflicts: 1831000 | #Constraints: 31546
98.70/99.08 c #Conflicts: 1832000 | #Constraints: 32546
98.70/99.08 c #Conflicts: 1833000 | #Constraints: 33546
98.70/99.08 c #Conflicts: 1834000 | #Constraints: 34546
98.70/99.08 c #Conflicts: 1835000 | #Constraints: 35546
98.70/99.08 c #Conflicts: 1836000 | #Constraints: 36546
98.70/99.08 c #Conflicts: 1837000 | #Constraints: 37546
98.70/99.08 c #Conflicts: 1838000 | #Constraints: 38546
98.70/99.08 c #Conflicts: 1839000 | #Constraints: 39546
98.70/99.08 c #Conflicts: 1840000 | #Constraints: 40546
98.70/99.08 c #Conflicts: 1841000 | #Constraints: 41546
98.70/99.08 c #Conflicts: 1842000 | #Constraints: 42546
98.70/99.08 c #Conflicts: 1843000 | #Constraints: 43546
98.70/99.08 c #Conflicts: 1844000 | #Constraints: 44546
98.70/99.08 c #Conflicts: 1845000 | #Constraints: 45546
98.70/99.08 c #Conflicts: 1846000 | #Constraints: 46546
98.70/99.08 c #Conflicts: 1847000 | #Constraints: 47546
98.70/99.08 c #Conflicts: 1848000 | #Constraints: 48546
98.70/99.08 c #Conflicts: 1849000 | #Constraints: 49546
98.70/99.08 c #Conflicts: 1850000 | #Constraints: 50546
98.70/99.08 c #Conflicts: 1851000 | #Constraints: 51546
98.70/99.08 c #Conflicts: 1852000 | #Constraints: 52546
98.70/99.08 c #Conflicts: 1853000 | #Constraints: 53546
98.70/99.08 c #Conflicts: 1854000 | #Constraints: 54546
98.70/99.08 c INPROCESSING
98.70/99.08 c GARBAGE COLLECT
98.70/99.08 c rational objective 300.5
100.70/101.03 c #Conflicts: 1855000 | #Constraints: 28551
100.70/101.03 c #Conflicts: 1856000 | #Constraints: 29551
100.70/101.03 c #Conflicts: 1857000 | #Constraints: 30551
100.70/101.03 c #Conflicts: 1858000 | #Constraints: 31551
100.70/101.03 c #Conflicts: 1859000 | #Constraints: 32551
100.70/101.03 c #Conflicts: 1860000 | #Constraints: 33551
100.70/101.03 c #Conflicts: 1861000 | #Constraints: 34551
100.70/101.03 c #Conflicts: 1862000 | #Constraints: 35551
100.70/101.03 c #Conflicts: 1863000 | #Constraints: 36551
100.70/101.03 c #Conflicts: 1864000 | #Constraints: 37551
100.70/101.03 c #Conflicts: 1865000 | #Constraints: 38551
100.70/101.03 c #Conflicts: 1866000 | #Constraints: 39551
100.70/101.03 c #Conflicts: 1867000 | #Constraints: 40551
100.70/101.03 c #Conflicts: 1868000 | #Constraints: 41551
100.70/101.03 c #Conflicts: 1869000 | #Constraints: 42551
100.70/101.03 c #Conflicts: 1870000 | #Constraints: 43551
100.70/101.03 c #Conflicts: 1871000 | #Constraints: 44551
100.70/101.03 c #Conflicts: 1872000 | #Constraints: 45551
100.70/101.03 c #Conflicts: 1873000 | #Constraints: 46551
100.70/101.03 c #Conflicts: 1874000 | #Constraints: 47551
100.70/101.03 c #Conflicts: 1875000 | #Constraints: 48551
100.70/101.03 c #Conflicts: 1876000 | #Constraints: 49551
100.70/101.03 c #Conflicts: 1877000 | #Constraints: 50551
100.70/101.03 c #Conflicts: 1878000 | #Constraints: 51551
100.70/101.03 c #Conflicts: 1879000 | #Constraints: 52551
100.70/101.03 c #Conflicts: 1880000 | #Constraints: 53551
100.70/101.03 c #Conflicts: 1881000 | #Constraints: 54551
100.70/101.03 c INPROCESSING
100.70/101.03 c GARBAGE COLLECT
100.70/101.03 c rational objective 300.5
102.38/102.70 c #Conflicts: 1882000 | #Constraints: 28351
102.38/102.70 c #Conflicts: 1883000 | #Constraints: 29351
102.38/102.70 c #Conflicts: 1884000 | #Constraints: 30351
102.38/102.70 c #Conflicts: 1885000 | #Constraints: 31351
102.38/102.70 c #Conflicts: 1886000 | #Constraints: 32351
102.38/102.70 c #Conflicts: 1887000 | #Constraints: 33351
102.38/102.70 c #Conflicts: 1888000 | #Constraints: 34351
102.38/102.70 c #Conflicts: 1889000 | #Constraints: 35351
102.38/102.70 c #Conflicts: 1890000 | #Constraints: 36351
102.38/102.70 c #Conflicts: 1891000 | #Constraints: 37351
102.38/102.70 c #Conflicts: 1892000 | #Constraints: 38351
102.38/102.70 c #Conflicts: 1893000 | #Constraints: 39351
102.38/102.70 c #Conflicts: 1894000 | #Constraints: 40351
102.38/102.70 c #Conflicts: 1895000 | #Constraints: 41351
102.38/102.70 c #Conflicts: 1896000 | #Constraints: 42351
102.38/102.70 c #Conflicts: 1897000 | #Constraints: 43351
102.38/102.70 c #Conflicts: 1898000 | #Constraints: 44351
102.38/102.70 c #Conflicts: 1899000 | #Constraints: 45351
102.38/102.70 c #Conflicts: 1900000 | #Constraints: 46351
102.38/102.70 c #Conflicts: 1901000 | #Constraints: 47351
102.38/102.70 c #Conflicts: 1902000 | #Constraints: 48351
102.38/102.70 c #Conflicts: 1903000 | #Constraints: 49351
102.38/102.70 c #Conflicts: 1904000 | #Constraints: 50351
102.38/102.70 c #Conflicts: 1905000 | #Constraints: 51351
102.38/102.70 c #Conflicts: 1906000 | #Constraints: 52351
102.38/102.70 c #Conflicts: 1907000 | #Constraints: 53351
102.38/102.70 c #Conflicts: 1908000 | #Constraints: 54351
102.38/102.70 c #Conflicts: 1909000 | #Constraints: 55351
102.38/102.70 c INPROCESSING
102.38/102.70 c GARBAGE COLLECT
102.38/102.70 c rational objective 300.5
103.98/104.33 c #Conflicts: 1910000 | #Constraints: 28951
103.98/104.33 c #Conflicts: 1911000 | #Constraints: 29951
103.98/104.33 c #Conflicts: 1912000 | #Constraints: 30951
103.98/104.33 c #Conflicts: 1913000 | #Constraints: 31951
103.98/104.33 c #Conflicts: 1914000 | #Constraints: 32951
103.98/104.33 c #Conflicts: 1915000 | #Constraints: 33951
103.98/104.33 c #Conflicts: 1916000 | #Constraints: 34951
103.98/104.33 c #Conflicts: 1917000 | #Constraints: 35951
103.98/104.33 c #Conflicts: 1918000 | #Constraints: 36951
103.98/104.33 c #Conflicts: 1919000 | #Constraints: 37951
103.98/104.33 c #Conflicts: 1920000 | #Constraints: 38951
103.98/104.33 c #Conflicts: 1921000 | #Constraints: 39951
103.98/104.33 c #Conflicts: 1922000 | #Constraints: 40951
103.98/104.33 c #Conflicts: 1923000 | #Constraints: 41951
103.98/104.33 c #Conflicts: 1924000 | #Constraints: 42951
103.98/104.33 c #Conflicts: 1925000 | #Constraints: 43951
103.98/104.33 c #Conflicts: 1926000 | #Constraints: 44951
103.98/104.33 c #Conflicts: 1927000 | #Constraints: 45951
103.98/104.33 c #Conflicts: 1928000 | #Constraints: 46951
103.98/104.33 c #Conflicts: 1929000 | #Constraints: 47951
103.98/104.33 c #Conflicts: 1930000 | #Constraints: 48951
103.98/104.33 c #Conflicts: 1931000 | #Constraints: 49951
103.98/104.33 c #Conflicts: 1932000 | #Constraints: 50951
103.98/104.33 c #Conflicts: 1933000 | #Constraints: 51951
103.98/104.33 c #Conflicts: 1934000 | #Constraints: 52951
103.98/104.33 c #Conflicts: 1935000 | #Constraints: 53951
103.98/104.33 c #Conflicts: 1936000 | #Constraints: 54951
103.98/104.33 c #Conflicts: 1937000 | #Constraints: 55951
103.98/104.33 c INPROCESSING
103.98/104.33 c GARBAGE COLLECT
103.98/104.33 c rational objective 300.5
105.68/106.10 c #Conflicts: 1938000 | #Constraints: 29352
105.68/106.10 c #Conflicts: 1939000 | #Constraints: 30352
105.68/106.10 c #Conflicts: 1940000 | #Constraints: 31352
105.68/106.10 c #Conflicts: 1941000 | #Constraints: 32352
105.68/106.10 c #Conflicts: 1942000 | #Constraints: 33352
105.68/106.10 c #Conflicts: 1943000 | #Constraints: 34352
105.68/106.10 c #Conflicts: 1944000 | #Constraints: 35352
105.68/106.10 c #Conflicts: 1945000 | #Constraints: 36352
105.68/106.10 c #Conflicts: 1946000 | #Constraints: 37352
105.68/106.10 c #Conflicts: 1947000 | #Constraints: 38352
105.68/106.10 c #Conflicts: 1948000 | #Constraints: 39352
105.68/106.10 c #Conflicts: 1949000 | #Constraints: 40352
105.68/106.10 c #Conflicts: 1950000 | #Constraints: 41352
105.68/106.10 c #Conflicts: 1951000 | #Constraints: 42352
105.68/106.10 c #Conflicts: 1952000 | #Constraints: 43352
105.68/106.10 c #Conflicts: 1953000 | #Constraints: 44352
105.68/106.10 c #Conflicts: 1954000 | #Constraints: 45352
105.68/106.10 c #Conflicts: 1955000 | #Constraints: 46352
105.68/106.10 c #Conflicts: 1956000 | #Constraints: 47352
105.68/106.10 c #Conflicts: 1957000 | #Constraints: 48352
105.68/106.10 c #Conflicts: 1958000 | #Constraints: 49352
105.68/106.10 c #Conflicts: 1959000 | #Constraints: 50352
105.68/106.10 c #Conflicts: 1960000 | #Constraints: 51352
105.68/106.10 c #Conflicts: 1961000 | #Constraints: 52352
105.68/106.10 c #Conflicts: 1962000 | #Constraints: 53352
105.68/106.10 c #Conflicts: 1963000 | #Constraints: 54352
105.68/106.10 c #Conflicts: 1964000 | #Constraints: 55352
105.68/106.10 c #Conflicts: 1965000 | #Constraints: 56352
105.68/106.10 c INPROCESSING
105.68/106.10 c GARBAGE COLLECT
105.68/106.10 c rational objective 300.5
107.36/107.72 c #Conflicts: 1966000 | #Constraints: 29556
107.36/107.72 c #Conflicts: 1967000 | #Constraints: 30556
107.36/107.72 c #Conflicts: 1968000 | #Constraints: 31556
107.36/107.72 c #Conflicts: 1969000 | #Constraints: 32556
107.36/107.72 c #Conflicts: 1970000 | #Constraints: 33556
107.36/107.72 c #Conflicts: 1971000 | #Constraints: 34556
107.36/107.72 c #Conflicts: 1972000 | #Constraints: 35556
107.36/107.72 c #Conflicts: 1973000 | #Constraints: 36556
107.36/107.72 c #Conflicts: 1974000 | #Constraints: 37556
107.36/107.72 c #Conflicts: 1975000 | #Constraints: 38556
107.36/107.72 c #Conflicts: 1976000 | #Constraints: 39556
107.36/107.72 c #Conflicts: 1977000 | #Constraints: 40556
107.36/107.72 c #Conflicts: 1978000 | #Constraints: 41556
107.36/107.72 c #Conflicts: 1979000 | #Constraints: 42556
107.36/107.72 c #Conflicts: 1980000 | #Constraints: 43556
107.36/107.72 c #Conflicts: 1981000 | #Constraints: 44556
107.36/107.72 c #Conflicts: 1982000 | #Constraints: 45556
107.36/107.72 c #Conflicts: 1983000 | #Constraints: 46556
107.36/107.72 c #Conflicts: 1984000 | #Constraints: 47556
107.36/107.72 c #Conflicts: 1985000 | #Constraints: 48556
107.36/107.72 c #Conflicts: 1986000 | #Constraints: 49556
107.36/107.72 c #Conflicts: 1987000 | #Constraints: 50556
107.36/107.72 c #Conflicts: 1988000 | #Constraints: 51556
107.36/107.72 c #Conflicts: 1989000 | #Constraints: 52556
107.36/107.72 c #Conflicts: 1990000 | #Constraints: 53556
107.36/107.72 c #Conflicts: 1991000 | #Constraints: 54556
107.36/107.72 c #Conflicts: 1992000 | #Constraints: 55556
107.36/107.72 c #Conflicts: 1993000 | #Constraints: 56556
107.36/107.72 c INPROCESSING
107.36/107.72 c GARBAGE COLLECT
107.36/107.72 c rational objective 300.5
109.06/109.44 c #Conflicts: 1994000 | #Constraints: 29560
109.06/109.44 c #Conflicts: 1995000 | #Constraints: 30560
109.06/109.44 c #Conflicts: 1996000 | #Constraints: 31560
109.06/109.44 c #Conflicts: 1997000 | #Constraints: 32560
109.06/109.44 c #Conflicts: 1998000 | #Constraints: 33560
109.06/109.44 c #Conflicts: 1999000 | #Constraints: 34560
109.06/109.44 c #Conflicts: 2000000 | #Constraints: 35560
109.06/109.44 c #Conflicts: 2001000 | #Constraints: 36560
109.06/109.44 c #Conflicts: 2002000 | #Constraints: 37560
109.06/109.44 c #Conflicts: 2003000 | #Constraints: 38560
109.06/109.44 c #Conflicts: 2004000 | #Constraints: 39560
109.06/109.44 c #Conflicts: 2005000 | #Constraints: 40560
109.06/109.44 c #Conflicts: 2006000 | #Constraints: 41560
109.06/109.44 c #Conflicts: 2007000 | #Constraints: 42560
109.06/109.44 c #Conflicts: 2008000 | #Constraints: 43560
109.06/109.44 c #Conflicts: 2009000 | #Constraints: 44560
109.06/109.44 c #Conflicts: 2010000 | #Constraints: 45560
109.06/109.44 c #Conflicts: 2011000 | #Constraints: 46560
109.06/109.44 c #Conflicts: 2012000 | #Constraints: 47560
109.06/109.44 c #Conflicts: 2013000 | #Constraints: 48560
109.06/109.44 c #Conflicts: 2014000 | #Constraints: 49560
109.06/109.44 c #Conflicts: 2015000 | #Constraints: 50560
109.06/109.44 c #Conflicts: 2016000 | #Constraints: 51560
109.06/109.44 c #Conflicts: 2017000 | #Constraints: 52560
109.06/109.44 c #Conflicts: 2018000 | #Constraints: 53560
109.06/109.44 c #Conflicts: 2019000 | #Constraints: 54560
109.06/109.44 c #Conflicts: 2020000 | #Constraints: 55560
109.06/109.44 c #Conflicts: 2021000 | #Constraints: 56560
109.06/109.44 c INPROCESSING
109.06/109.44 c GARBAGE COLLECT
109.06/109.44 c rational objective 300.5
110.86/111.28 c #Conflicts: 2022000 | #Constraints: 29356
110.86/111.28 c #Conflicts: 2023000 | #Constraints: 30356
110.86/111.28 c #Conflicts: 2024000 | #Constraints: 31356
110.86/111.28 c #Conflicts: 2025000 | #Constraints: 32356
110.86/111.28 c #Conflicts: 2026000 | #Constraints: 33356
110.86/111.28 c #Conflicts: 2027000 | #Constraints: 34356
110.86/111.28 c #Conflicts: 2028000 | #Constraints: 35356
110.86/111.28 c #Conflicts: 2029000 | #Constraints: 36356
110.86/111.28 c #Conflicts: 2030000 | #Constraints: 37356
110.86/111.28 c #Conflicts: 2031000 | #Constraints: 38356
110.86/111.28 c #Conflicts: 2032000 | #Constraints: 39356
110.86/111.28 c #Conflicts: 2033000 | #Constraints: 40356
110.86/111.28 c #Conflicts: 2034000 | #Constraints: 41356
110.86/111.28 c #Conflicts: 2035000 | #Constraints: 42356
110.86/111.28 c #Conflicts: 2036000 | #Constraints: 43356
110.86/111.28 c #Conflicts: 2037000 | #Constraints: 44356
110.86/111.28 c #Conflicts: 2038000 | #Constraints: 45356
110.86/111.28 c #Conflicts: 2039000 | #Constraints: 46356
110.86/111.28 c #Conflicts: 2040000 | #Constraints: 47356
110.86/111.28 c #Conflicts: 2041000 | #Constraints: 48356
110.86/111.28 c #Conflicts: 2042000 | #Constraints: 49356
110.86/111.28 c #Conflicts: 2043000 | #Constraints: 50356
110.86/111.28 c #Conflicts: 2044000 | #Constraints: 51356
110.86/111.28 c #Conflicts: 2045000 | #Constraints: 52356
110.86/111.28 c #Conflicts: 2046000 | #Constraints: 53356
110.86/111.28 c #Conflicts: 2047000 | #Constraints: 54356
110.86/111.28 c #Conflicts: 2048000 | #Constraints: 55356
110.86/111.28 c #Conflicts: 2049000 | #Constraints: 56356
110.86/111.28 c #Conflicts: 2050000 | #Constraints: 57356
110.86/111.28 c INPROCESSING
110.86/111.28 c GARBAGE COLLECT
110.86/111.28 c rational objective 300.5
112.76/113.11 c #Conflicts: 2051000 | #Constraints: 29947
112.76/113.11 c #Conflicts: 2052000 | #Constraints: 30947
112.76/113.11 c #Conflicts: 2053000 | #Constraints: 31947
112.76/113.11 c #Conflicts: 2054000 | #Constraints: 32947
112.76/113.11 c #Conflicts: 2055000 | #Constraints: 33947
112.76/113.11 c #Conflicts: 2056000 | #Constraints: 34947
112.76/113.11 c #Conflicts: 2057000 | #Constraints: 35947
112.76/113.11 c #Conflicts: 2058000 | #Constraints: 36947
112.76/113.11 c #Conflicts: 2059000 | #Constraints: 37947
112.76/113.11 c #Conflicts: 2060000 | #Constraints: 38947
112.76/113.11 c #Conflicts: 2061000 | #Constraints: 39947
112.76/113.11 c #Conflicts: 2062000 | #Constraints: 40947
112.76/113.11 c #Conflicts: 2063000 | #Constraints: 41947
112.76/113.11 c #Conflicts: 2064000 | #Constraints: 42947
112.76/113.11 c #Conflicts: 2065000 | #Constraints: 43947
112.76/113.11 c #Conflicts: 2066000 | #Constraints: 44947
112.76/113.11 c #Conflicts: 2067000 | #Constraints: 45947
112.76/113.11 c #Conflicts: 2068000 | #Constraints: 46948
112.76/113.11 c #Conflicts: 2069000 | #Constraints: 47948
112.76/113.11 c #Conflicts: 2070000 | #Constraints: 48948
112.76/113.11 c #Conflicts: 2071000 | #Constraints: 49948
112.76/113.11 c #Conflicts: 2072000 | #Constraints: 50948
112.76/113.11 c #Conflicts: 2073000 | #Constraints: 51948
112.76/113.11 c #Conflicts: 2074000 | #Constraints: 52948
112.76/113.11 c #Conflicts: 2075000 | #Constraints: 53948
112.76/113.11 c #Conflicts: 2076000 | #Constraints: 54948
112.76/113.11 c #Conflicts: 2077000 | #Constraints: 55948
112.76/113.11 c #Conflicts: 2078000 | #Constraints: 56948
112.76/113.11 c #Conflicts: 2079000 | #Constraints: 57948
112.76/113.11 c INPROCESSING
112.76/113.11 c GARBAGE COLLECT
112.76/113.11 c rational objective 300.5
114.35/114.71 c #Conflicts: 2080000 | #Constraints: 30339
114.35/114.71 c #Conflicts: 2081000 | #Constraints: 31339
114.35/114.71 c #Conflicts: 2082000 | #Constraints: 32339
114.35/114.71 c #Conflicts: 2083000 | #Constraints: 33339
114.35/114.71 c #Conflicts: 2084000 | #Constraints: 34339
114.35/114.71 c #Conflicts: 2085000 | #Constraints: 35339
114.35/114.71 c #Conflicts: 2086000 | #Constraints: 36339
114.35/114.71 c #Conflicts: 2087000 | #Constraints: 37339
114.35/114.71 c #Conflicts: 2088000 | #Constraints: 38339
114.35/114.71 c #Conflicts: 2089000 | #Constraints: 39339
114.35/114.71 c #Conflicts: 2090000 | #Constraints: 40339
114.35/114.71 c #Conflicts: 2091000 | #Constraints: 41339
114.35/114.71 c #Conflicts: 2092000 | #Constraints: 42339
114.35/114.71 c #Conflicts: 2093000 | #Constraints: 43339
114.35/114.71 c #Conflicts: 2094000 | #Constraints: 44339
114.35/114.71 c #Conflicts: 2095000 | #Constraints: 45339
114.35/114.71 c #Conflicts: 2096000 | #Constraints: 46339
114.35/114.71 c #Conflicts: 2097000 | #Constraints: 47339
114.35/114.71 c #Conflicts: 2098000 | #Constraints: 48339
114.35/114.71 c #Conflicts: 2099000 | #Constraints: 49339
114.35/114.71 c #Conflicts: 2100000 | #Constraints: 50339
114.35/114.71 c #Conflicts: 2101000 | #Constraints: 51339
114.35/114.71 c #Conflicts: 2102000 | #Constraints: 52339
114.35/114.71 c #Conflicts: 2103000 | #Constraints: 53339
114.35/114.71 c #Conflicts: 2104000 | #Constraints: 54339
114.35/114.71 c #Conflicts: 2105000 | #Constraints: 55339
114.35/114.71 c #Conflicts: 2106000 | #Constraints: 56339
114.35/114.71 c #Conflicts: 2107000 | #Constraints: 57339
114.35/114.71 c #Conflicts: 2108000 | #Constraints: 58339
114.35/114.71 c INPROCESSING
114.35/114.71 c GARBAGE COLLECT
114.35/114.71 c rational objective 300.5
116.35/116.73 c #Conflicts: 2109000 | #Constraints: 30550
116.35/116.73 c #Conflicts: 2110000 | #Constraints: 31550
116.35/116.73 c #Conflicts: 2111000 | #Constraints: 32550
116.35/116.73 c #Conflicts: 2112000 | #Constraints: 33550
116.35/116.73 c #Conflicts: 2113000 | #Constraints: 34550
116.35/116.73 c #Conflicts: 2114000 | #Constraints: 35550
116.35/116.73 c #Conflicts: 2115000 | #Constraints: 36550
116.35/116.73 c #Conflicts: 2116000 | #Constraints: 37550
116.35/116.73 c #Conflicts: 2117000 | #Constraints: 38550
116.35/116.73 c #Conflicts: 2118000 | #Constraints: 39550
116.35/116.73 c #Conflicts: 2119000 | #Constraints: 40550
116.35/116.73 c #Conflicts: 2120000 | #Constraints: 41550
116.35/116.73 c #Conflicts: 2121000 | #Constraints: 42550
116.35/116.73 c #Conflicts: 2122000 | #Constraints: 43550
116.35/116.73 c #Conflicts: 2123000 | #Constraints: 44550
116.35/116.73 c #Conflicts: 2124000 | #Constraints: 45550
116.35/116.73 c #Conflicts: 2125000 | #Constraints: 46550
116.35/116.73 c #Conflicts: 2126000 | #Constraints: 47550
116.35/116.73 c #Conflicts: 2127000 | #Constraints: 48550
116.35/116.73 c #Conflicts: 2128000 | #Constraints: 49550
116.35/116.73 c #Conflicts: 2129000 | #Constraints: 50550
116.35/116.73 c #Conflicts: 2130000 | #Constraints: 51550
116.35/116.73 c #Conflicts: 2131000 | #Constraints: 52550
116.35/116.73 c #Conflicts: 2132000 | #Constraints: 53550
116.35/116.73 c #Conflicts: 2133000 | #Constraints: 54550
116.35/116.73 c #Conflicts: 2134000 | #Constraints: 55550
116.35/116.73 c #Conflicts: 2135000 | #Constraints: 56550
116.35/116.73 c #Conflicts: 2136000 | #Constraints: 57550
116.35/116.73 c #Conflicts: 2137000 | #Constraints: 58550
116.35/116.73 c INPROCESSING
116.35/116.73 c GARBAGE COLLECT
116.35/116.73 c rational objective 300.5
118.44/118.89 c #Conflicts: 2138000 | #Constraints: 30562
118.44/118.89 c #Conflicts: 2139000 | #Constraints: 31562
118.44/118.89 c #Conflicts: 2140000 | #Constraints: 32562
118.44/118.89 c #Conflicts: 2141000 | #Constraints: 33562
118.44/118.89 c #Conflicts: 2142000 | #Constraints: 34562
118.44/118.89 c #Conflicts: 2143000 | #Constraints: 35562
118.44/118.89 c #Conflicts: 2144000 | #Constraints: 36562
118.44/118.89 c #Conflicts: 2145000 | #Constraints: 37562
118.44/118.89 c #Conflicts: 2146000 | #Constraints: 38562
118.44/118.89 c #Conflicts: 2147000 | #Constraints: 39562
118.44/118.89 c #Conflicts: 2148000 | #Constraints: 40562
118.44/118.89 c #Conflicts: 2149000 | #Constraints: 41562
118.44/118.89 c #Conflicts: 2150000 | #Constraints: 42562
118.44/118.89 c #Conflicts: 2151000 | #Constraints: 43562
118.44/118.89 c #Conflicts: 2152000 | #Constraints: 44562
118.44/118.89 c #Conflicts: 2153000 | #Constraints: 45562
118.44/118.89 c #Conflicts: 2154000 | #Constraints: 46562
118.44/118.89 c #Conflicts: 2155000 | #Constraints: 47562
118.44/118.89 c #Conflicts: 2156000 | #Constraints: 48562
118.44/118.89 c #Conflicts: 2157000 | #Constraints: 49562
118.44/118.89 c #Conflicts: 2158000 | #Constraints: 50562
118.44/118.89 c #Conflicts: 2159000 | #Constraints: 51562
118.44/118.89 c #Conflicts: 2160000 | #Constraints: 52562
118.44/118.89 c #Conflicts: 2161000 | #Constraints: 53562
118.44/118.89 c #Conflicts: 2162000 | #Constraints: 54562
118.44/118.89 c #Conflicts: 2163000 | #Constraints: 55562
118.44/118.89 c #Conflicts: 2164000 | #Constraints: 56562
118.44/118.89 c #Conflicts: 2165000 | #Constraints: 57562
118.44/118.89 c #Conflicts: 2166000 | #Constraints: 58562
118.44/118.89 c INPROCESSING
118.44/118.89 c GARBAGE COLLECT
118.44/118.89 c rational objective 300.5
120.03/120.49 c #Conflicts: 2167000 | #Constraints: 30358
120.03/120.49 c #Conflicts: 2168000 | #Constraints: 31358
120.03/120.49 c #Conflicts: 2169000 | #Constraints: 32358
120.03/120.49 c #Conflicts: 2170000 | #Constraints: 33358
120.03/120.49 c #Conflicts: 2171000 | #Constraints: 34358
120.03/120.49 c #Conflicts: 2172000 | #Constraints: 35358
120.03/120.49 c #Conflicts: 2173000 | #Constraints: 36358
120.03/120.49 c #Conflicts: 2174000 | #Constraints: 37358
120.03/120.49 c #Conflicts: 2175000 | #Constraints: 38358
120.03/120.49 c #Conflicts: 2176000 | #Constraints: 39358
120.03/120.49 c #Conflicts: 2177000 | #Constraints: 40358
120.03/120.49 c #Conflicts: 2178000 | #Constraints: 41358
120.03/120.49 c #Conflicts: 2179000 | #Constraints: 42358
120.03/120.49 c #Conflicts: 2180000 | #Constraints: 43358
120.03/120.49 c #Conflicts: 2181000 | #Constraints: 44358
120.03/120.49 c #Conflicts: 2182000 | #Constraints: 45358
120.03/120.49 c #Conflicts: 2183000 | #Constraints: 46358
120.03/120.49 c #Conflicts: 2184000 | #Constraints: 47358
120.03/120.49 c #Conflicts: 2185000 | #Constraints: 48358
120.03/120.49 c #Conflicts: 2186000 | #Constraints: 49358
120.03/120.49 c #Conflicts: 2187000 | #Constraints: 50358
120.03/120.49 c #Conflicts: 2188000 | #Constraints: 51358
120.03/120.49 c #Conflicts: 2189000 | #Constraints: 52358
120.03/120.49 c #Conflicts: 2190000 | #Constraints: 53358
120.03/120.49 c #Conflicts: 2191000 | #Constraints: 54358
120.03/120.49 c #Conflicts: 2192000 | #Constraints: 55358
120.03/120.49 c #Conflicts: 2193000 | #Constraints: 56358
120.03/120.49 c #Conflicts: 2194000 | #Constraints: 57358
120.03/120.49 c #Conflicts: 2195000 | #Constraints: 58358
120.03/120.49 c #Conflicts: 2196000 | #Constraints: 59358
120.03/120.49 c INPROCESSING
120.03/120.49 c GARBAGE COLLECT
120.03/120.49 c rational objective 300.5
122.23/122.61 c #Conflicts: 2197000 | #Constraints: 30963
122.23/122.61 c #Conflicts: 2198000 | #Constraints: 31963
122.23/122.61 c #Conflicts: 2199000 | #Constraints: 32963
122.23/122.61 c #Conflicts: 2200000 | #Constraints: 33963
122.23/122.61 c #Conflicts: 2201000 | #Constraints: 34963
122.23/122.61 c #Conflicts: 2202000 | #Constraints: 35963
122.23/122.61 c #Conflicts: 2203000 | #Constraints: 36963
122.23/122.61 c #Conflicts: 2204000 | #Constraints: 37963
122.23/122.61 c #Conflicts: 2205000 | #Constraints: 38963
122.23/122.61 c #Conflicts: 2206000 | #Constraints: 39963
122.23/122.61 c #Conflicts: 2207000 | #Constraints: 40963
122.23/122.61 c #Conflicts: 2208000 | #Constraints: 41963
122.23/122.61 c #Conflicts: 2209000 | #Constraints: 42963
122.23/122.61 c #Conflicts: 2210000 | #Constraints: 43963
122.23/122.61 c #Conflicts: 2211000 | #Constraints: 44963
122.23/122.61 c #Conflicts: 2212000 | #Constraints: 45963
122.23/122.61 c #Conflicts: 2213000 | #Constraints: 46963
122.23/122.61 c #Conflicts: 2214000 | #Constraints: 47963
122.23/122.61 c #Conflicts: 2215000 | #Constraints: 48963
122.23/122.61 c #Conflicts: 2216000 | #Constraints: 49963
122.23/122.61 c #Conflicts: 2217000 | #Constraints: 50963
122.23/122.61 c #Conflicts: 2218000 | #Constraints: 51963
122.23/122.61 c #Conflicts: 2219000 | #Constraints: 52963
122.23/122.61 c #Conflicts: 2220000 | #Constraints: 53963
122.23/122.61 c #Conflicts: 2221000 | #Constraints: 54963
122.23/122.61 c #Conflicts: 2222000 | #Constraints: 55963
122.23/122.61 c #Conflicts: 2223000 | #Constraints: 56963
122.23/122.61 c #Conflicts: 2224000 | #Constraints: 57963
122.23/122.61 c #Conflicts: 2225000 | #Constraints: 58963
122.23/122.61 c #Conflicts: 2226000 | #Constraints: 59963
122.23/122.61 c INPROCESSING
122.23/122.61 c GARBAGE COLLECT
122.23/122.61 c rational objective 300.5
124.32/124.79 c #Conflicts: 2227000 | #Constraints: 31366
124.32/124.79 c #Conflicts: 2228000 | #Constraints: 32366
124.32/124.79 c #Conflicts: 2229000 | #Constraints: 33366
124.32/124.79 c #Conflicts: 2230000 | #Constraints: 34366
124.32/124.79 c #Conflicts: 2231000 | #Constraints: 35366
124.32/124.79 c #Conflicts: 2232000 | #Constraints: 36366
124.32/124.79 c #Conflicts: 2233000 | #Constraints: 37366
124.32/124.79 c #Conflicts: 2234000 | #Constraints: 38366
124.32/124.79 c #Conflicts: 2235000 | #Constraints: 39366
124.32/124.79 c #Conflicts: 2236000 | #Constraints: 40366
124.32/124.79 c #Conflicts: 2237000 | #Constraints: 41366
124.32/124.79 c #Conflicts: 2238000 | #Constraints: 42366
124.32/124.79 c #Conflicts: 2239000 | #Constraints: 43366
124.32/124.79 c #Conflicts: 2240000 | #Constraints: 44366
124.32/124.79 c #Conflicts: 2241000 | #Constraints: 45366
124.32/124.79 c #Conflicts: 2242000 | #Constraints: 46366
124.32/124.79 c #Conflicts: 2243000 | #Constraints: 47366
124.32/124.79 c #Conflicts: 2244000 | #Constraints: 48366
124.32/124.79 c #Conflicts: 2245000 | #Constraints: 49366
124.32/124.79 c #Conflicts: 2246000 | #Constraints: 50366
124.32/124.79 c #Conflicts: 2247000 | #Constraints: 51366
124.32/124.79 c #Conflicts: 2248000 | #Constraints: 52366
124.32/124.79 c #Conflicts: 2249000 | #Constraints: 53366
124.32/124.79 c #Conflicts: 2250000 | #Constraints: 54366
124.32/124.79 c #Conflicts: 2251000 | #Constraints: 55366
124.32/124.79 c #Conflicts: 2252000 | #Constraints: 56366
124.32/124.79 c #Conflicts: 2253000 | #Constraints: 57366
124.32/124.79 c #Conflicts: 2254000 | #Constraints: 58366
124.32/124.79 c #Conflicts: 2255000 | #Constraints: 59366
124.32/124.79 c #Conflicts: 2256000 | #Constraints: 60366
124.32/124.79 c INPROCESSING
124.32/124.79 c GARBAGE COLLECT
124.32/124.79 c rational objective 300.5
126.92/127.40 c #Conflicts: 2257000 | #Constraints: 31562
126.92/127.40 c #Conflicts: 2258000 | #Constraints: 32562
126.92/127.40 c #Conflicts: 2259000 | #Constraints: 33562
126.92/127.40 c #Conflicts: 2260000 | #Constraints: 34562
126.92/127.40 c #Conflicts: 2261000 | #Constraints: 35562
126.92/127.40 c #Conflicts: 2262000 | #Constraints: 36562
126.92/127.40 c #Conflicts: 2263000 | #Constraints: 37562
126.92/127.40 c #Conflicts: 2264000 | #Constraints: 38562
126.92/127.40 c #Conflicts: 2265000 | #Constraints: 39562
126.92/127.40 c #Conflicts: 2266000 | #Constraints: 40562
126.92/127.40 c #Conflicts: 2267000 | #Constraints: 41562
126.92/127.40 c #Conflicts: 2268000 | #Constraints: 42562
126.92/127.40 c #Conflicts: 2269000 | #Constraints: 43562
126.92/127.40 c #Conflicts: 2270000 | #Constraints: 44562
126.92/127.40 c #Conflicts: 2271000 | #Constraints: 45562
126.92/127.40 c #Conflicts: 2272000 | #Constraints: 46562
126.92/127.40 c #Conflicts: 2273000 | #Constraints: 47562
126.92/127.40 c #Conflicts: 2274000 | #Constraints: 48562
126.92/127.40 c #Conflicts: 2275000 | #Constraints: 49562
126.92/127.40 c #Conflicts: 2276000 | #Constraints: 50562
126.92/127.40 c #Conflicts: 2277000 | #Constraints: 51562
126.92/127.40 c #Conflicts: 2278000 | #Constraints: 52562
126.92/127.40 c #Conflicts: 2279000 | #Constraints: 53562
126.92/127.40 c #Conflicts: 2280000 | #Constraints: 54562
126.92/127.40 c #Conflicts: 2281000 | #Constraints: 55562
126.92/127.40 c #Conflicts: 2282000 | #Constraints: 56562
126.92/127.40 c #Conflicts: 2283000 | #Constraints: 57562
126.92/127.40 c #Conflicts: 2284000 | #Constraints: 58562
126.92/127.40 c #Conflicts: 2285000 | #Constraints: 59562
126.92/127.40 c #Conflicts: 2286000 | #Constraints: 60562
126.92/127.40 c INPROCESSING
126.92/127.40 c GARBAGE COLLECT
126.92/127.40 c rational objective 300.5
128.91/129.37 c #Conflicts: 2287000 | #Constraints: 31564
128.91/129.37 c #Conflicts: 2288000 | #Constraints: 32564
128.91/129.37 c #Conflicts: 2289000 | #Constraints: 33564
128.91/129.37 c #Conflicts: 2290000 | #Constraints: 34564
128.91/129.37 c #Conflicts: 2291000 | #Constraints: 35564
128.91/129.37 c #Conflicts: 2292000 | #Constraints: 36564
128.91/129.37 c #Conflicts: 2293000 | #Constraints: 37564
128.91/129.37 c #Conflicts: 2294000 | #Constraints: 38564
128.91/129.37 c #Conflicts: 2295000 | #Constraints: 39564
128.91/129.37 c #Conflicts: 2296000 | #Constraints: 40564
128.91/129.37 c #Conflicts: 2297000 | #Constraints: 41564
128.91/129.37 c #Conflicts: 2298000 | #Constraints: 42564
128.91/129.37 c #Conflicts: 2299000 | #Constraints: 43564
128.91/129.37 c #Conflicts: 2300000 | #Constraints: 44564
128.91/129.37 c #Conflicts: 2301000 | #Constraints: 45564
128.91/129.37 c #Conflicts: 2302000 | #Constraints: 46564
128.91/129.37 c #Conflicts: 2303000 | #Constraints: 47564
128.91/129.37 c #Conflicts: 2304000 | #Constraints: 48564
128.91/129.37 c #Conflicts: 2305000 | #Constraints: 49564
128.91/129.37 c #Conflicts: 2306000 | #Constraints: 50564
128.91/129.37 c #Conflicts: 2307000 | #Constraints: 51564
128.91/129.37 c #Conflicts: 2308000 | #Constraints: 52564
128.91/129.37 c #Conflicts: 2309000 | #Constraints: 53564
128.91/129.37 c #Conflicts: 2310000 | #Constraints: 54564
128.91/129.37 c #Conflicts: 2311000 | #Constraints: 55564
128.91/129.37 c #Conflicts: 2312000 | #Constraints: 56564
128.91/129.37 c #Conflicts: 2313000 | #Constraints: 57564
128.91/129.37 c #Conflicts: 2314000 | #Constraints: 58564
128.91/129.37 c cpu time 121.395 s
128.91/129.37 c deterministic time 5629731839 5.63e+09
128.91/129.37 c optimization time 0.000126 s
128.91/129.37 c total solve time 121.387 s
128.91/129.37 c core-guided solve time 0 s
128.91/129.37 c propagation time 90.8515 s
128.91/129.37 c conflict analysis time 19.2139 s
128.91/129.37 c propagations 13260598
128.91/129.37 c resolve steps 7504121
128.91/129.37 c decisions 3556379
128.91/129.37 c conflicts 2314251
128.91/129.37 c restarts 4094
128.91/129.37 c inprocessing phases 142
128.91/129.37 c garbage collections 142 ,( 100.00 )
128.91/129.37 c input clauses 2 ,( 0.33 )
128.91/129.37 c input cardinalities 600 ,( 99.67 )
128.91/129.37 c input general constraints 0 ,( 0.00 )
128.91/129.37 c input average constraint length 3.99
128.91/129.37 c input average constraint degree 2.00
128.91/129.37 c learned clauses 2246833 ,( 97.06 )
128.91/129.37 c learned cardinalities 6536 ,( 0.28 )
128.91/129.37 c learned general constraints 61567 ,( 2.66 )
128.91/129.37 c learned average constraint length 17.57
128.91/129.37 c learned average constraint degree 3897909.36
128.91/129.37 c watched CF 32, 64, 128, Arb: 35933 , 0 , 0 , 0
128.91/129.37 c counting CF 32, 64, 128, Arb: 25634 , 0 , 0 , 0
128.91/129.37 c watched constraints 35933 ,( 58.36 )
128.91/129.37 c counting constraints 25634 ,( 41.64 )
128.91/129.37 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 825247853 , 87599566 , 59661307 ,( 50236227 , 9425080 )
128.91/129.37 c gcd simplifications 33394
128.91/129.37 c detected cardinalities 909
128.91/129.37 c weakened non-implied lits 826539
128.91/129.37 c weakened non-implying lits 11931
128.91/129.37 c original variables 601
128.91/129.37 c clausal propagations 4931423
128.91/129.37 c cardinality propagations 3456873
128.91/129.37 c watched propagations 646682
128.91/129.37 c counting propagations 1872587
128.91/129.37 c watch lookups 3365319770
128.91/129.37 c watch backjump lookups 0
128.91/129.37 c watch checks 1978142101
128.91/129.37 c propagation checks 120796855
128.91/129.37 c constraint additions 129292858
128.91/129.37 c trail pops 19131192
128.91/129.37 c formula constraints 602
128.91/129.37 c learned constraints 2314228
128.91/129.37 c bound constraints 0
128.91/129.37 c core-guided constraints 0
128.91/129.37 c encountered formula constraints 795989
128.91/129.37 c encountered learned constraints 8995580
128.91/129.37 c encountered bound constraints 0
128.91/129.37 c encountered core-guided constraints 0
128.91/129.37 c LP total time 11.8138 s
128.91/129.37 c LP solve time 7.3 s
128.91/129.37 c LP constraints added 1409
128.91/129.37 c LP constraints removed 797
128.91/129.37 c LP pivots internal 231425
128.91/129.37 c LP pivots root 660
128.91/129.37 c LP calls 21624
128.91/129.37 c LP optimalities 21602
128.91/129.37 c LP no pivot count 1344
128.91/129.37 c LP infeasibilities 22
128.91/129.37 c LP valid Farkas constraints 22
128.91/129.37 c LP learned Farkas constraints 22
128.91/129.37 c LP basis resets 0
128.91/129.37 c LP cycling count 0
128.91/129.37 c LP singular count 0
128.91/129.37 c LP no primal count 0
128.91/129.37 c LP no farkas count 0
128.91/129.37 c LP other issue count 0
128.91/129.37 c LP Gomory cuts 664
128.91/129.37 c LP learned cuts 143
128.91/129.37 c LP deleted cuts 797
128.91/129.37 c LP encountered Gomory constraints 1
128.91/129.37 c LP encountered Farkas constraints 26709
128.91/129.37 c LP encountered learned Farkas constraints 71
128.91/129.37 c CG auxiliary variables introduced 0
128.91/129.37 c CG solutions found 0
128.91/129.37 c CG cores constructed 0
128.91/129.37 c CG core cardinality constraints returned 0
128.91/129.37 c CG unit cores 0
128.91/129.37 c CG single cores 0
128.91/129.37 c CG blocks removed during cardinality reduction 0
128.91/129.37 c CG first core best 0
128.91/129.38 c CG decision core best 0
128.91/129.38 c CG core reduction tie 0
128.91/129.38 c CG core degree average 0.00
128.91/129.38 c CG core slack average 0.00
128.91/129.38 c CG core upper bound improvements 0
128.91/129.38 c STR number of successful calls 0
128.91/129.38 c STR number of unsuccessful calls 0
128.91/129.38 c STR number of inconclusive calls 0
128.91/129.38 c STR number of successful attempts 0
128.91/129.38 c STR number of unsuccessful attempts 0
128.91/129.38 c STR number of inconclusive attempts 0
128.91/129.38 c STR average degree increase per successful call inf
128.91/129.38 c STR average degree increase per successful attempt inf
128.91/129.38 c STR total number of conflicts for successful attempts 0
128.91/129.38 c STR total number of conflicts for unsuccessful attempts 0
128.91/129.38 c STR total number of conflicts for inconclusive attempts 0
128.91/129.38 c STR average number of conflicts per successful attempt inf
128.91/129.38 c STR average number of conflicts per unsuccessful attempt inf
128.91/129.38 c STR average number of conflicts per inconclusive attempt inf
128.91/129.38 c AVG.sumWPerc 37.42
128.91/129.38 c bigint constraints 0
128.91/129.38 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: 63837 MiB (62985 MiB free)
memory of node 1: 64465 MiB (63763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511156-1751200387/watcher-4511156-1751200387 -o /tmp/evaluation-result-4511156-1751200387/solver-4511156-1751200387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760 run-dec.sh HOME/instance-4511156-1751200387.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22923, runsolver pid=22920
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.14 4.15 4.13 6/255 22925
/proc/meminfo: memFree=129786616/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=57452 memory=11764 CPUtime=0.08 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 944 0 0 0 6 2 0 0 20 0 1 0 35717415 58830848 2941 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 14363 2941 2336 1147 0 1790 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61644 KiB
Current children cumulated memory: 14708 KiB
[startup+0.217563 s]*
/proc/loadavg: 4.14 4.15 4.13 5/255 22925
/proc/meminfo: memFree=129785608/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=57720 memory=14220 CPUtime=0.18 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 1052 0 0 0 15 3 0 0 20 0 1 0 35717415 59105280 3555 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 14430 3555 2336 1147 0 1857 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61912 KiB
Current children cumulated memory: 17164 KiB
[startup+0.313256 s]*
/proc/loadavg: 4.14 4.15 4.13 5/255 22925
/proc/meminfo: memFree=129785608/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=57852 memory=14348 CPUtime=0.28 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 1098 0 0 0 23 5 0 0 20 0 1 0 35717415 59240448 3587 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 14463 3587 2336 1147 0 1890 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62044 KiB
Current children cumulated memory: 17292 KiB
[startup+0.700381 s]
/proc/loadavg: 4.14 4.15 4.13 5/255 22925
/proc/meminfo: memFree=129785608/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=58552 memory=14988 CPUtime=0.66 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 1247 0 0 0 55 11 0 0 20 0 1 0 35717415 59957248 3747 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 14638 3747 2336 1147 0 2065 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 62744 KiB
Current children cumulated memory: 17932 KiB
[startup+1.5004 s]
/proc/loadavg: 4.14 4.15 4.13 6/255 22925
/proc/meminfo: memFree=129785608/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=59092 memory=15628 CPUtime=1.45 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 1401 0 0 0 122 23 0 0 20 0 1 0 35717415 60510208 3907 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 14773 3907 2336 1147 0 2200 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 18572 KiB
[startup+3.11269 s]
/proc/loadavg: 4.13 4.15 4.13 6/255 22925
/proc/meminfo: memFree=129785608/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=60380 memory=16908 CPUtime=3.06 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 1722 0 0 0 263 43 0 0 20 0 1 0 35717415 61829120 4227 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 15095 4227 2336 1147 0 2522 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 64572 KiB
Current children cumulated memory: 19852 KiB
[startup+6.30039 s]
/proc/loadavg: 4.13 4.15 4.13 6/255 22925
/proc/meminfo: memFree=129785956/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=61968 memory=18444 CPUtime=6.24 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 2116 0 0 0 544 80 0 0 20 0 1 0 35717415 63455232 4611 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 15492 4611 2336 1147 0 2919 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 66160 KiB
Current children cumulated memory: 21388 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.15 4.13 6/255 22925
/proc/meminfo: memFree=129786244/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=63116 memory=21688 CPUtime=12.62 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 3036 0 0 0 1129 133 0 0 20 0 1 0 35717415 64630784 5422 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 15779 5422 2336 1147 0 3206 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 67308 KiB
Current children cumulated memory: 24632 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.14 4.13 6/255 22925
/proc/meminfo: memFree=129787008/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=66096 memory=24228 CPUtime=25.39 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 5677 0 0 0 2310 229 0 0 20 0 1 0 35717415 67682304 6057 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 16524 6057 2336 1147 0 3951 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70288 KiB
Current children cumulated memory: 27172 KiB
[startup+51.1133 s]
/proc/loadavg: 4.13 4.14 4.13 6/255 22925
/proc/meminfo: memFree=129782512/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=69368 memory=26980 CPUtime=50.94 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 8938 0 0 0 4713 381 0 0 20 0 1 0 35717415 71032832 6745 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 17342 6745 2336 1147 0 4769 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 73560 KiB
Current children cumulated memory: 29924 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/254 22927
/proc/meminfo: memFree=129767408/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=75668 memory=31564 CPUtime=101.99 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 17346 0 0 0 9563 636 0 0 20 0 1 0 35717415 77484032 7891 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 18917 7891 2336 1147 0 6344 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 79860 KiB
Current children cumulated memory: 34508 KiB
[startup+129.382 s]
# the end of solver process 22923 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=121.397 s, system=7.60514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.11 4.14 4.12 6/254 22927
/proc/meminfo: memFree=129767408/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=75668 memory=31564 CPUtime=102.08 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 17346 0 0 0 9572 636 0 0 20 0 1 0 35717415 77484032 7891 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 18917 7891 2336 1147 0 6344 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 79860 KiB
Current children cumulated memory: 34508 KiB
[startup+115.2 s]
/proc/loadavg: 4.08 4.13 4.12 6/254 22927
/proc/meminfo: memFree=129767676/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=76068 memory=32260 CPUtime=114.85 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 18928 0 0 0 10785 700 0 0 20 0 1 0 35717415 77893632 8065 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19017 8065 2336 1147 0 6444 0
Current children cumulated CPU time: 114.85 s
Current children cumulated vsize: 80260 KiB
Current children cumulated memory: 35204 KiB
[startup+121.6 s]
/proc/loadavg: 4.16 4.14 4.13 6/254 22928
/proc/meminfo: memFree=129763084/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=76584 memory=32788 CPUtime=121.22 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 19537 0 0 0 11395 727 0 0 20 0 1 0 35717415 78422016 8197 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19146 8197 2336 1147 0 6573 0
Current children cumulated CPU time: 121.22 s
Current children cumulated vsize: 80776 KiB
Current children cumulated memory: 35732 KiB
[startup+124.8 s]
/proc/loadavg: 4.14 4.14 4.13 6/256 22931
/proc/meminfo: memFree=129763084/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=76372 memory=32804 CPUtime=124.42 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 19884 0 0 0 11700 742 0 0 20 0 1 0 35717415 78204928 8201 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19093 8201 2336 1147 0 6520 0
Current children cumulated CPU time: 124.42 s
Current children cumulated vsize: 80564 KiB
Current children cumulated memory: 35748 KiB
[startup+126.4 s]
/proc/loadavg: 4.14 4.14 4.13 5/256 22931
/proc/meminfo: memFree=129763072/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=76372 memory=32804 CPUtime=126.02 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 19891 0 0 0 11855 747 0 0 20 0 1 0 35717415 78204928 8201 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19093 8201 2336 1147 0 6520 0
Current children cumulated CPU time: 126.02 s
Current children cumulated vsize: 80564 KiB
Current children cumulated memory: 35748 KiB
[startup+128 s]*
/proc/loadavg: 4.13 4.14 4.12 6/256 22931
/proc/meminfo: memFree=129762316/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=77612 memory=33768 CPUtime=127.62 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 20224 0 0 0 12009 753 0 0 20 0 1 0 35717415 79474688 8442 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19403 8442 2336 1147 0 6830 0
Current children cumulated CPU time: 127.62 s
Current children cumulated vsize: 81804 KiB
Current children cumulated memory: 36712 KiB
[startup+128.8 s]
/proc/loadavg: 4.13 4.14 4.12 6/256 22931
/proc/meminfo: memFree=129762316/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=77612 memory=33768 CPUtime=128.41 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 20224 0 0 0 12084 757 0 0 20 0 1 0 35717415 79474688 8442 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19403 8442 2336 1147 0 6830 0
Current children cumulated CPU time: 128.41 s
Current children cumulated vsize: 81804 KiB
Current children cumulated memory: 36712 KiB
[startup+129.2 s]
/proc/loadavg: 4.13 4.14 4.12 6/256 22931
/proc/meminfo: memFree=129762568/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=77612 memory=33768 CPUtime=128.8 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 20224 0 0 0 12122 758 0 0 20 0 1 0 35717415 79474688 8442 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19403 8442 2336 1147 0 6830 0
Current children cumulated CPU time: 128.8 s
Current children cumulated vsize: 81804 KiB
Current children cumulated memory: 36712 KiB
[startup+129.3 s]
/proc/loadavg: 4.13 4.14 4.12 6/256 22931
/proc/meminfo: memFree=129762568/131382120 swapFree=33010684/33010684
[pid=22923] ppid=22920 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22923/stat : 22923 (run-dec.sh) S 22920 22923 21214 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35717414 4292608 736 18446744073709551615 94121175199744 94121176094277 140726414584608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94121176333328 94121176381072 94121201856512 140726414592365 140726414592488 140726414592488 140726414598090 0
/proc/22923/statm: 1048 736 672 219 0 110 0
[pid=22925] ppid=22923 vsize=77612 memory=33768 CPUtime=128.91 cores=0,2
/proc/22925/stat : 22925 (roundingsat) R 22923 22923 21214 0 -1 4194304 20224 0 0 0 12132 759 0 0 20 0 1 0 35717415 79474688 8442 18446744073709551615 4227072 8923433 140726035114272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15278080 140726035122615 140726035122728 140726035122728 140726035128298 0
/proc/22925/statm: 19403 8442 2336 1147 0 6830 0
Current children cumulated CPU time: 128.91 s
Current children cumulated vsize: 81804 KiB
Current children cumulated memory: 36712 KiB
Child status: 0
Real time (s): 129.382
CPU time (s): 129.002
CPU user time (s): 121.397
CPU system time (s): 7.60514
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 81804
Max. memory (cumulated for all children) (KiB): 36712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.397
system time used= 7.60514
maximum resident set size= 34084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20455
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= 304
# summary of solver processes directly reported to runsolver:
# pid: 22923
# total CPU time (s): 129.002
# total CPU user time (s): 121.397
# total CPU system time (s): 7.60514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.675489 second user time and 1.40067 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:33:07
IDJOB=4511156
IDBENCH=160431
IDSOLVER=3349
FILE ID=nodeC003/4511156-1751200387
RUNJOBID= nodeC003-1751196106-21224
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511156-1751200387/watcher-4511156-1751200387 -o /tmp/evaluation-result-4511156-1751200387/solver-4511156-1751200387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760 run-dec.sh HOME/instance-4511156-1751200387.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ae40a270bfcd4ecd9b94334dd86fa6
RANDOM SEED=1587566176
nodeC003 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 : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.028
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.441
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.198
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.416
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.941
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129791136 kB
MemAvailable: 129611292 kB
Buffers: 3280 kB
Cached: 630476 kB
SwapCached: 0 kB
Active: 587596 kB
Inactive: 417260 kB
Active(anon): 389064 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 417260 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7448 kB
Writeback: 0 kB
AnonPages: 369704 kB
Mapped: 111384 kB
Shmem: 17960 kB
KReclaimable: 87980 kB
Slab: 169088 kB
SReclaimable: 87980 kB
SUnreclaim: 81108 kB
KernelStack: 4080 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 746204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 276480 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 14:35:17