0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 601 #constraints 602
0.00/0.02 c rational objective 300.5
0.19/0.23 c #Conflicts: 1000 | #Constraints: 1608
0.19/0.23 c #Conflicts: 2000 | #Constraints: 2610
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c #Conflicts: 3000 | #Constraints: 2643
0.19/0.23 c #Conflicts: 4000 | #Constraints: 3643
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c #Conflicts: 5000 | #Constraints: 3062
0.19/0.23 c #Conflicts: 6000 | #Constraints: 4063
0.19/0.23 c INPROCESSING
0.19/0.23 c GARBAGE COLLECT
0.19/0.23 c rational objective 300.5
0.29/0.33 c #Conflicts: 7000 | #Constraints: 3078
0.29/0.33 c #Conflicts: 8000 | #Constraints: 4079
0.29/0.33 c #Conflicts: 9000 | #Constraints: 5080
0.29/0.33 c INPROCESSING
0.29/0.33 c GARBAGE COLLECT
0.29/0.33 c rational objective 300.5
0.39/0.44 c #Conflicts: 10000 | #Constraints: 3787
0.39/0.44 c #Conflicts: 11000 | #Constraints: 4787
0.39/0.44 c #Conflicts: 12000 | #Constraints: 5787
0.39/0.44 c INPROCESSING
0.39/0.44 c GARBAGE COLLECT
0.39/0.44 c rational objective 300.5
0.49/0.56 c #Conflicts: 13000 | #Constraints: 4239
0.49/0.56 c #Conflicts: 14000 | #Constraints: 5239
0.49/0.56 c #Conflicts: 15000 | #Constraints: 6239
0.49/0.56 c INPROCESSING
0.49/0.56 c GARBAGE COLLECT
0.49/0.56 c rational objective 300.5
0.67/0.70 c #Conflicts: 16000 | #Constraints: 4466
0.67/0.70 c #Conflicts: 17000 | #Constraints: 5466
0.67/0.70 c #Conflicts: 18000 | #Constraints: 6466
0.67/0.70 c INPROCESSING
0.67/0.70 c GARBAGE COLLECT
0.67/0.70 c rational objective 300.5
0.77/0.83 c #Conflicts: 19000 | #Constraints: 4485
0.77/0.83 c #Conflicts: 20000 | #Constraints: 5485
0.77/0.83 c #Conflicts: 21000 | #Constraints: 6485
0.77/0.83 c INPROCESSING
0.77/0.83 c GARBAGE COLLECT
0.77/0.83 c rational objective 300.5
0.87/0.99 c #Conflicts: 22000 | #Constraints: 4289
0.87/0.99 c #Conflicts: 23000 | #Constraints: 5289
0.87/0.99 c #Conflicts: 24000 | #Constraints: 6289
0.87/0.99 c #Conflicts: 25000 | #Constraints: 7289
0.87/0.99 c INPROCESSING
0.87/0.99 c GARBAGE COLLECT
0.87/0.99 c rational objective 300.5
1.08/1.15 c #Conflicts: 26000 | #Constraints: 4891
1.08/1.15 c #Conflicts: 27000 | #Constraints: 5891
1.08/1.15 c #Conflicts: 28000 | #Constraints: 6891
1.08/1.15 c #Conflicts: 29000 | #Constraints: 7891
1.08/1.15 c INPROCESSING
1.08/1.15 c GARBAGE COLLECT
1.08/1.15 c rational objective 300.5
1.28/1.32 c #Conflicts: 30000 | #Constraints: 5294
1.28/1.32 c #Conflicts: 31000 | #Constraints: 6294
1.28/1.32 c #Conflicts: 32000 | #Constraints: 7295
1.28/1.32 c #Conflicts: 33000 | #Constraints: 8295
1.28/1.32 c INPROCESSING
1.28/1.32 c GARBAGE COLLECT
1.28/1.32 c rational objective 300.5
1.48/1.50 c #Conflicts: 34000 | #Constraints: 5499
1.48/1.50 c #Conflicts: 35000 | #Constraints: 6499
1.48/1.50 c #Conflicts: 36000 | #Constraints: 7499
1.48/1.50 c #Conflicts: 37000 | #Constraints: 8500
1.48/1.50 c INPROCESSING
1.48/1.50 c GARBAGE COLLECT
1.48/1.50 c rational objective 300.5
1.58/1.68 c #Conflicts: 38000 | #Constraints: 5507
1.58/1.68 c #Conflicts: 39000 | #Constraints: 6507
1.58/1.68 c #Conflicts: 40000 | #Constraints: 7507
1.58/1.68 c #Conflicts: 41000 | #Constraints: 8507
1.58/1.68 c INPROCESSING
1.58/1.68 c GARBAGE COLLECT
1.58/1.68 c rational objective 300.5
1.87/1.91 c #Conflicts: 42000 | #Constraints: 5308
1.87/1.91 c #Conflicts: 43000 | #Constraints: 6309
1.87/1.91 c #Conflicts: 44000 | #Constraints: 7309
1.87/1.91 c #Conflicts: 45000 | #Constraints: 8309
1.87/1.91 c #Conflicts: 46000 | #Constraints: 9309
1.87/1.91 c INPROCESSING
1.87/1.91 c GARBAGE COLLECT
1.87/1.91 c rational objective 300.5
2.08/2.11 c #Conflicts: 47000 | #Constraints: 5896
2.08/2.11 c #Conflicts: 48000 | #Constraints: 6896
2.08/2.11 c #Conflicts: 49000 | #Constraints: 7896
2.08/2.11 c #Conflicts: 50000 | #Constraints: 8896
2.08/2.11 c #Conflicts: 51000 | #Constraints: 9896
2.08/2.11 c INPROCESSING
2.08/2.11 c GARBAGE COLLECT
2.08/2.11 c rational objective 300.5
2.27/2.32 c #Conflicts: 52000 | #Constraints: 6295
2.27/2.32 c #Conflicts: 53000 | #Constraints: 7295
2.27/2.32 c #Conflicts: 54000 | #Constraints: 8295
2.27/2.32 c #Conflicts: 55000 | #Constraints: 9295
2.27/2.32 c #Conflicts: 56000 | #Constraints: 10295
2.27/2.32 c INPROCESSING
2.27/2.32 c GARBAGE COLLECT
2.27/2.32 c rational objective 300.5
2.48/2.56 c #Conflicts: 57000 | #Constraints: 6491
2.48/2.56 c #Conflicts: 58000 | #Constraints: 7491
2.48/2.56 c #Conflicts: 59000 | #Constraints: 8491
2.48/2.56 c #Conflicts: 60000 | #Constraints: 9491
2.48/2.56 c #Conflicts: 61000 | #Constraints: 10491
2.48/2.56 c INPROCESSING
2.48/2.56 c GARBAGE COLLECT
2.48/2.56 c rational objective 300.5
2.67/2.79 c #Conflicts: 62000 | #Constraints: 6498
2.67/2.79 c #Conflicts: 63000 | #Constraints: 7498
2.67/2.79 c #Conflicts: 64000 | #Constraints: 8498
2.67/2.79 c #Conflicts: 65000 | #Constraints: 9498
2.67/2.79 c #Conflicts: 66000 | #Constraints: 10498
2.67/2.79 c INPROCESSING
2.67/2.79 c GARBAGE COLLECT
2.67/2.79 c rational objective 300.5
2.97/3.03 c #Conflicts: 67000 | #Constraints: 6303
2.97/3.03 c #Conflicts: 68000 | #Constraints: 7303
2.97/3.03 c #Conflicts: 69000 | #Constraints: 8303
2.97/3.03 c #Conflicts: 70000 | #Constraints: 9303
2.97/3.03 c #Conflicts: 71000 | #Constraints: 10303
2.97/3.03 c #Conflicts: 72000 | #Constraints: 11303
2.97/3.03 c INPROCESSING
2.97/3.03 c GARBAGE COLLECT
2.97/3.03 c rational objective 300.5
3.17/3.29 c #Conflicts: 73000 | #Constraints: 6900
3.17/3.29 c #Conflicts: 74000 | #Constraints: 7900
3.17/3.29 c #Conflicts: 75000 | #Constraints: 8900
3.17/3.29 c #Conflicts: 76000 | #Constraints: 9900
3.17/3.29 c #Conflicts: 77000 | #Constraints: 10900
3.17/3.29 c #Conflicts: 78000 | #Constraints: 11900
3.17/3.29 c INPROCESSING
3.17/3.29 c GARBAGE COLLECT
3.17/3.29 c rational objective 300.5
3.47/3.57 c #Conflicts: 79000 | #Constraints: 7309
3.47/3.57 c #Conflicts: 80000 | #Constraints: 8309
3.47/3.57 c #Conflicts: 81000 | #Constraints: 9309
3.47/3.57 c #Conflicts: 82000 | #Constraints: 10309
3.47/3.57 c #Conflicts: 83000 | #Constraints: 11309
3.47/3.57 c #Conflicts: 84000 | #Constraints: 12309
3.47/3.57 c INPROCESSING
3.47/3.57 c GARBAGE COLLECT
3.47/3.57 c rational objective 300.5
3.77/3.83 c #Conflicts: 85000 | #Constraints: 7502
3.77/3.83 c #Conflicts: 86000 | #Constraints: 8502
3.77/3.83 c #Conflicts: 87000 | #Constraints: 9502
3.77/3.83 c #Conflicts: 88000 | #Constraints: 10502
3.77/3.83 c #Conflicts: 89000 | #Constraints: 11502
3.77/3.83 c #Conflicts: 90000 | #Constraints: 12502
3.77/3.83 c INPROCESSING
3.77/3.83 c GARBAGE COLLECT
3.77/3.83 c rational objective 300.5
4.07/4.19 c #Conflicts: 91000 | #Constraints: 7503
4.07/4.19 c #Conflicts: 92000 | #Constraints: 8503
4.07/4.19 c #Conflicts: 93000 | #Constraints: 9503
4.07/4.19 c #Conflicts: 94000 | #Constraints: 10503
4.07/4.19 c #Conflicts: 95000 | #Constraints: 11503
4.07/4.19 c #Conflicts: 96000 | #Constraints: 12504
4.07/4.19 c INPROCESSING
4.07/4.19 c GARBAGE COLLECT
4.07/4.19 c rational objective 300.5
4.37/4.46 c #Conflicts: 97000 | #Constraints: 7305
4.37/4.46 c #Conflicts: 98000 | #Constraints: 8305
4.37/4.46 c #Conflicts: 99000 | #Constraints: 9305
4.37/4.46 c #Conflicts: 100000 | #Constraints: 10305
4.37/4.46 c #Conflicts: 101000 | #Constraints: 11305
4.37/4.46 c #Conflicts: 102000 | #Constraints: 12305
4.37/4.46 c #Conflicts: 103000 | #Constraints: 13306
4.37/4.46 c INPROCESSING
4.37/4.46 c GARBAGE COLLECT
4.37/4.46 c rational objective 300.5
4.67/4.76 c #Conflicts: 104000 | #Constraints: 7908
4.67/4.76 c #Conflicts: 105000 | #Constraints: 8908
4.67/4.76 c #Conflicts: 106000 | #Constraints: 9908
4.67/4.76 c #Conflicts: 107000 | #Constraints: 10908
4.67/4.76 c #Conflicts: 108000 | #Constraints: 11908
4.67/4.76 c #Conflicts: 109000 | #Constraints: 12908
4.67/4.76 c #Conflicts: 110000 | #Constraints: 13908
4.67/4.76 c INPROCESSING
4.67/4.76 c GARBAGE COLLECT
4.67/4.76 c rational objective 300.5
4.97/5.07 c #Conflicts: 111000 | #Constraints: 8310
4.97/5.07 c #Conflicts: 112000 | #Constraints: 9310
4.97/5.07 c #Conflicts: 113000 | #Constraints: 10310
4.97/5.07 c #Conflicts: 114000 | #Constraints: 11310
4.97/5.07 c #Conflicts: 115000 | #Constraints: 12310
4.97/5.07 c #Conflicts: 116000 | #Constraints: 13310
4.97/5.07 c #Conflicts: 117000 | #Constraints: 14310
4.97/5.07 c INPROCESSING
4.97/5.07 c GARBAGE COLLECT
4.97/5.07 c rational objective 300.5
5.26/5.38 c #Conflicts: 118000 | #Constraints: 8501
5.26/5.38 c #Conflicts: 119000 | #Constraints: 9501
5.26/5.38 c #Conflicts: 120000 | #Constraints: 10501
5.26/5.38 c #Conflicts: 121000 | #Constraints: 11501
5.26/5.38 c #Conflicts: 122000 | #Constraints: 12501
5.26/5.38 c #Conflicts: 123000 | #Constraints: 13501
5.26/5.38 c #Conflicts: 124000 | #Constraints: 14501
5.26/5.38 c INPROCESSING
5.26/5.38 c GARBAGE COLLECT
5.26/5.38 c rational objective 300.5
5.66/5.70 c #Conflicts: 125000 | #Constraints: 8495
5.66/5.70 c #Conflicts: 126000 | #Constraints: 9495
5.66/5.70 c #Conflicts: 127000 | #Constraints: 10495
5.66/5.70 c #Conflicts: 128000 | #Constraints: 11496
5.66/5.70 c #Conflicts: 129000 | #Constraints: 12496
5.66/5.70 c #Conflicts: 130000 | #Constraints: 13496
5.66/5.70 c #Conflicts: 131000 | #Constraints: 14496
5.66/5.70 c INPROCESSING
5.66/5.70 c GARBAGE COLLECT
5.66/5.70 c rational objective 300.5
5.97/6.02 c #Conflicts: 132000 | #Constraints: 8299
5.97/6.02 c #Conflicts: 133000 | #Constraints: 9299
5.97/6.02 c #Conflicts: 134000 | #Constraints: 10299
5.97/6.02 c #Conflicts: 135000 | #Constraints: 11299
5.97/6.02 c #Conflicts: 136000 | #Constraints: 12299
5.97/6.02 c #Conflicts: 137000 | #Constraints: 13299
5.97/6.02 c #Conflicts: 138000 | #Constraints: 14299
5.97/6.02 c #Conflicts: 139000 | #Constraints: 15299
5.97/6.02 c INPROCESSING
5.97/6.02 c GARBAGE COLLECT
5.97/6.02 c rational objective 300.5
6.26/6.34 c #Conflicts: 140000 | #Constraints: 8901
6.26/6.34 c #Conflicts: 141000 | #Constraints: 9901
6.26/6.34 c #Conflicts: 142000 | #Constraints: 10901
6.26/6.34 c #Conflicts: 143000 | #Constraints: 11901
6.26/6.34 c #Conflicts: 144000 | #Constraints: 12901
6.26/6.34 c #Conflicts: 145000 | #Constraints: 13901
6.26/6.34 c #Conflicts: 146000 | #Constraints: 14901
6.26/6.34 c #Conflicts: 147000 | #Constraints: 15901
6.26/6.34 c INPROCESSING
6.26/6.34 c GARBAGE COLLECT
6.26/6.34 c rational objective 300.5
6.57/6.68 c #Conflicts: 148000 | #Constraints: 9306
6.57/6.68 c #Conflicts: 149000 | #Constraints: 10306
6.57/6.68 c #Conflicts: 150000 | #Constraints: 11306
6.57/6.68 c #Conflicts: 151000 | #Constraints: 12306
6.57/6.68 c #Conflicts: 152000 | #Constraints: 13306
6.57/6.68 c #Conflicts: 153000 | #Constraints: 14306
6.57/6.68 c #Conflicts: 154000 | #Constraints: 15306
6.57/6.68 c #Conflicts: 155000 | #Constraints: 16306
6.57/6.68 c INPROCESSING
6.57/6.68 c GARBAGE COLLECT
6.57/6.68 c rational objective 300.5
6.97/7.03 c #Conflicts: 156000 | #Constraints: 9506
6.97/7.03 c #Conflicts: 157000 | #Constraints: 10506
6.97/7.03 c #Conflicts: 158000 | #Constraints: 11506
6.97/7.03 c #Conflicts: 159000 | #Constraints: 12506
6.97/7.03 c #Conflicts: 160000 | #Constraints: 13506
6.97/7.03 c #Conflicts: 161000 | #Constraints: 14506
6.97/7.03 c #Conflicts: 162000 | #Constraints: 15506
6.97/7.03 c #Conflicts: 163000 | #Constraints: 16506
6.97/7.03 c INPROCESSING
6.97/7.03 c GARBAGE COLLECT
6.97/7.03 c rational objective 300.5
7.26/7.37 c #Conflicts: 164000 | #Constraints: 9514
7.26/7.37 c #Conflicts: 165000 | #Constraints: 10514
7.26/7.37 c #Conflicts: 166000 | #Constraints: 11514
7.26/7.37 c #Conflicts: 167000 | #Constraints: 12514
7.26/7.37 c #Conflicts: 168000 | #Constraints: 13514
7.26/7.37 c #Conflicts: 169000 | #Constraints: 14514
7.26/7.37 c #Conflicts: 170000 | #Constraints: 15514
7.26/7.37 c #Conflicts: 171000 | #Constraints: 16514
7.26/7.37 c INPROCESSING
7.26/7.37 c GARBAGE COLLECT
7.26/7.37 c rational objective 300.5
7.66/7.73 c #Conflicts: 172000 | #Constraints: 9302
7.66/7.73 c #Conflicts: 173000 | #Constraints: 10302
7.66/7.73 c #Conflicts: 174000 | #Constraints: 11302
7.66/7.73 c #Conflicts: 175000 | #Constraints: 12302
7.66/7.73 c #Conflicts: 176000 | #Constraints: 13302
7.66/7.73 c #Conflicts: 177000 | #Constraints: 14302
7.66/7.73 c #Conflicts: 178000 | #Constraints: 15302
7.66/7.73 c #Conflicts: 179000 | #Constraints: 16302
7.66/7.73 c #Conflicts: 180000 | #Constraints: 17302
7.66/7.73 c INPROCESSING
7.66/7.73 c GARBAGE COLLECT
7.66/7.73 c rational objective 300.5
8.07/8.12 c #Conflicts: 181000 | #Constraints: 9903
8.07/8.12 c #Conflicts: 182000 | #Constraints: 10903
8.07/8.12 c #Conflicts: 183000 | #Constraints: 11903
8.07/8.12 c #Conflicts: 184000 | #Constraints: 12903
8.07/8.12 c #Conflicts: 185000 | #Constraints: 13903
8.07/8.12 c #Conflicts: 186000 | #Constraints: 14903
8.07/8.12 c #Conflicts: 187000 | #Constraints: 15903
8.07/8.12 c #Conflicts: 188000 | #Constraints: 16903
8.07/8.12 c #Conflicts: 189000 | #Constraints: 17903
8.07/8.12 c INPROCESSING
8.07/8.12 c GARBAGE COLLECT
8.07/8.12 c rational objective 300.5
8.46/8.51 c #Conflicts: 190000 | #Constraints: 10307
8.46/8.51 c #Conflicts: 191000 | #Constraints: 11307
8.46/8.51 c #Conflicts: 192000 | #Constraints: 12307
8.46/8.51 c #Conflicts: 193000 | #Constraints: 13307
8.46/8.51 c #Conflicts: 194000 | #Constraints: 14307
8.46/8.51 c #Conflicts: 195000 | #Constraints: 15307
8.46/8.51 c #Conflicts: 196000 | #Constraints: 16307
8.46/8.51 c #Conflicts: 197000 | #Constraints: 17307
8.46/8.51 c #Conflicts: 198000 | #Constraints: 18307
8.46/8.51 c INPROCESSING
8.46/8.51 c GARBAGE COLLECT
8.46/8.51 c rational objective 300.5
8.96/9.01 c #Conflicts: 199000 | #Constraints: 10508
8.96/9.01 c #Conflicts: 200000 | #Constraints: 11508
8.96/9.01 c #Conflicts: 201000 | #Constraints: 12508
8.96/9.01 c #Conflicts: 202000 | #Constraints: 13508
8.96/9.01 c #Conflicts: 203000 | #Constraints: 14508
8.96/9.01 c #Conflicts: 204000 | #Constraints: 15508
8.96/9.01 c #Conflicts: 205000 | #Constraints: 16508
8.96/9.01 c #Conflicts: 206000 | #Constraints: 17508
8.96/9.01 c #Conflicts: 207000 | #Constraints: 18508
8.96/9.01 c INPROCESSING
8.96/9.01 c GARBAGE COLLECT
8.96/9.01 c rational objective 300.5
9.45/9.57 c #Conflicts: 208000 | #Constraints: 10505
9.45/9.57 c #Conflicts: 209000 | #Constraints: 11505
9.45/9.57 c #Conflicts: 210000 | #Constraints: 12505
9.45/9.57 c #Conflicts: 211000 | #Constraints: 13505
9.45/9.57 c #Conflicts: 212000 | #Constraints: 14505
9.45/9.57 c #Conflicts: 213000 | #Constraints: 15505
9.45/9.57 c #Conflicts: 214000 | #Constraints: 16505
9.45/9.57 c #Conflicts: 215000 | #Constraints: 17505
9.45/9.57 c #Conflicts: 216000 | #Constraints: 18505
9.45/9.57 c INPROCESSING
9.45/9.57 c GARBAGE COLLECT
9.45/9.57 c rational objective 300.5
9.96/10.03 c #Conflicts: 217000 | #Constraints: 10303
9.96/10.03 c #Conflicts: 218000 | #Constraints: 11303
9.96/10.03 c #Conflicts: 219000 | #Constraints: 12303
9.96/10.03 c #Conflicts: 220000 | #Constraints: 13303
9.96/10.03 c #Conflicts: 221000 | #Constraints: 14303
9.96/10.03 c #Conflicts: 222000 | #Constraints: 15303
9.96/10.03 c #Conflicts: 223000 | #Constraints: 16303
9.96/10.03 c #Conflicts: 224000 | #Constraints: 17303
9.96/10.03 c #Conflicts: 225000 | #Constraints: 18303
9.96/10.03 c #Conflicts: 226000 | #Constraints: 19303
9.96/10.03 c INPROCESSING
9.96/10.03 c GARBAGE COLLECT
9.96/10.03 c rational objective 300.5
10.35/10.48 c #Conflicts: 227000 | #Constraints: 10904
10.35/10.48 c #Conflicts: 228000 | #Constraints: 11904
10.35/10.48 c #Conflicts: 229000 | #Constraints: 12904
10.35/10.48 c #Conflicts: 230000 | #Constraints: 13904
10.35/10.48 c #Conflicts: 231000 | #Constraints: 14904
10.35/10.48 c #Conflicts: 232000 | #Constraints: 15904
10.35/10.48 c #Conflicts: 233000 | #Constraints: 16904
10.35/10.48 c #Conflicts: 234000 | #Constraints: 17904
10.35/10.48 c #Conflicts: 235000 | #Constraints: 18904
10.35/10.48 c #Conflicts: 236000 | #Constraints: 19904
10.35/10.48 c INPROCESSING
10.35/10.48 c GARBAGE COLLECT
10.35/10.48 c rational objective 300.5
10.85/10.96 c #Conflicts: 237000 | #Constraints: 11300
10.85/10.96 c #Conflicts: 238000 | #Constraints: 12300
10.85/10.96 c #Conflicts: 239000 | #Constraints: 13300
10.85/10.96 c #Conflicts: 240000 | #Constraints: 14300
10.85/10.96 c #Conflicts: 241000 | #Constraints: 15300
10.85/10.96 c #Conflicts: 242000 | #Constraints: 16300
10.85/10.96 c #Conflicts: 243000 | #Constraints: 17300
10.85/10.96 c #Conflicts: 244000 | #Constraints: 18300
10.85/10.96 c #Conflicts: 245000 | #Constraints: 19300
10.85/10.96 c #Conflicts: 246000 | #Constraints: 20300
10.85/10.96 c INPROCESSING
10.85/10.96 c GARBAGE COLLECT
10.85/10.96 c rational objective 300.5
11.35/11.49 c #Conflicts: 247000 | #Constraints: 11511
11.35/11.49 c #Conflicts: 248000 | #Constraints: 12511
11.35/11.49 c #Conflicts: 249000 | #Constraints: 13511
11.35/11.49 c #Conflicts: 250000 | #Constraints: 14511
11.35/11.49 c #Conflicts: 251000 | #Constraints: 15511
11.35/11.49 c #Conflicts: 252000 | #Constraints: 16511
11.35/11.49 c #Conflicts: 253000 | #Constraints: 17511
11.35/11.49 c #Conflicts: 254000 | #Constraints: 18512
11.35/11.49 c #Conflicts: 255000 | #Constraints: 19512
11.35/11.49 c #Conflicts: 256000 | #Constraints: 20512
11.35/11.49 c INPROCESSING
11.35/11.49 c GARBAGE COLLECT
11.35/11.49 c rational objective 300.5
11.85/11.97 c #Conflicts: 257000 | #Constraints: 11509
11.85/11.97 c #Conflicts: 258000 | #Constraints: 12509
11.85/11.97 c #Conflicts: 259000 | #Constraints: 13509
11.85/11.97 c #Conflicts: 260000 | #Constraints: 14509
11.85/11.97 c #Conflicts: 261000 | #Constraints: 15509
11.85/11.97 c #Conflicts: 262000 | #Constraints: 16509
11.85/11.97 c #Conflicts: 263000 | #Constraints: 17509
11.85/11.97 c #Conflicts: 264000 | #Constraints: 18509
11.85/11.97 c #Conflicts: 265000 | #Constraints: 19509
11.85/11.97 c #Conflicts: 266000 | #Constraints: 20509
11.85/11.97 c INPROCESSING
11.85/11.97 c GARBAGE COLLECT
11.85/11.97 c rational objective 300.5
12.35/12.44 c #Conflicts: 267000 | #Constraints: 11310
12.35/12.44 c #Conflicts: 268000 | #Constraints: 12310
12.35/12.44 c #Conflicts: 269000 | #Constraints: 13310
12.35/12.44 c #Conflicts: 270000 | #Constraints: 14310
12.35/12.44 c #Conflicts: 271000 | #Constraints: 15310
12.35/12.44 c #Conflicts: 272000 | #Constraints: 16310
12.35/12.44 c #Conflicts: 273000 | #Constraints: 17310
12.35/12.44 c #Conflicts: 274000 | #Constraints: 18310
12.35/12.44 c #Conflicts: 275000 | #Constraints: 19311
12.35/12.44 c #Conflicts: 276000 | #Constraints: 20311
12.35/12.44 c #Conflicts: 277000 | #Constraints: 21311
12.35/12.44 c INPROCESSING
12.35/12.44 c GARBAGE COLLECT
12.35/12.44 c rational objective 300.5
12.84/12.96 c #Conflicts: 278000 | #Constraints: 11907
12.84/12.96 c #Conflicts: 279000 | #Constraints: 12907
12.84/12.96 c #Conflicts: 280000 | #Constraints: 13907
12.84/12.96 c #Conflicts: 281000 | #Constraints: 14907
12.84/12.96 c #Conflicts: 282000 | #Constraints: 15907
12.84/12.96 c #Conflicts: 283000 | #Constraints: 16907
12.84/12.96 c #Conflicts: 284000 | #Constraints: 17907
12.84/12.96 c #Conflicts: 285000 | #Constraints: 18907
12.84/12.96 c #Conflicts: 286000 | #Constraints: 19907
12.84/12.96 c #Conflicts: 287000 | #Constraints: 20907
12.84/12.96 c #Conflicts: 288000 | #Constraints: 21907
12.84/12.96 c INPROCESSING
12.84/12.96 c GARBAGE COLLECT
12.84/12.96 c rational objective 300.5
13.34/13.45 c #Conflicts: 289000 | #Constraints: 12308
13.34/13.45 c #Conflicts: 290000 | #Constraints: 13308
13.34/13.45 c #Conflicts: 291000 | #Constraints: 14308
13.34/13.45 c #Conflicts: 292000 | #Constraints: 15308
13.34/13.45 c #Conflicts: 293000 | #Constraints: 16308
13.34/13.45 c #Conflicts: 294000 | #Constraints: 17308
13.34/13.45 c #Conflicts: 295000 | #Constraints: 18308
13.34/13.45 c #Conflicts: 296000 | #Constraints: 19308
13.34/13.45 c #Conflicts: 297000 | #Constraints: 20308
13.34/13.45 c #Conflicts: 298000 | #Constraints: 21308
13.34/13.45 c #Conflicts: 299000 | #Constraints: 22308
13.34/13.45 c INPROCESSING
13.34/13.45 c GARBAGE COLLECT
13.34/13.45 c rational objective 300.5
13.95/14.00 c #Conflicts: 300000 | #Constraints: 12512
13.95/14.00 c #Conflicts: 301000 | #Constraints: 13512
13.95/14.00 c #Conflicts: 302000 | #Constraints: 14512
13.95/14.00 c #Conflicts: 303000 | #Constraints: 15512
13.95/14.00 c #Conflicts: 304000 | #Constraints: 16512
13.95/14.00 c #Conflicts: 305000 | #Constraints: 17512
13.95/14.00 c #Conflicts: 306000 | #Constraints: 18512
13.95/14.00 c #Conflicts: 307000 | #Constraints: 19512
13.95/14.00 c #Conflicts: 308000 | #Constraints: 20512
13.95/14.00 c #Conflicts: 309000 | #Constraints: 21512
13.95/14.00 c #Conflicts: 310000 | #Constraints: 22512
13.95/14.00 c INPROCESSING
13.95/14.00 c GARBAGE COLLECT
13.95/14.00 c rational objective 300.5
14.35/14.49 c #Conflicts: 311000 | #Constraints: 12520
14.35/14.49 c #Conflicts: 312000 | #Constraints: 13520
14.35/14.49 c #Conflicts: 313000 | #Constraints: 14520
14.35/14.49 c #Conflicts: 314000 | #Constraints: 15520
14.35/14.49 c #Conflicts: 315000 | #Constraints: 16520
14.35/14.49 c #Conflicts: 316000 | #Constraints: 17520
14.35/14.49 c #Conflicts: 317000 | #Constraints: 18520
14.35/14.49 c #Conflicts: 318000 | #Constraints: 19520
14.35/14.49 c #Conflicts: 319000 | #Constraints: 20520
14.35/14.49 c #Conflicts: 320000 | #Constraints: 21520
14.35/14.49 c #Conflicts: 321000 | #Constraints: 22520
14.35/14.49 c INPROCESSING
14.35/14.49 c GARBAGE COLLECT
14.35/14.49 c rational objective 300.5
15.34/15.49 c #Conflicts: 322000 | #Constraints: 12314
15.34/15.49 c #Conflicts: 323000 | #Constraints: 13314
15.34/15.49 c #Conflicts: 324000 | #Constraints: 14314
15.34/15.49 c #Conflicts: 325000 | #Constraints: 15314
15.34/15.49 c #Conflicts: 326000 | #Constraints: 16314
15.34/15.49 c #Conflicts: 327000 | #Constraints: 17314
15.34/15.49 c #Conflicts: 328000 | #Constraints: 18314
15.34/15.49 c #Conflicts: 329000 | #Constraints: 19314
15.34/15.49 c #Conflicts: 330000 | #Constraints: 20314
15.34/15.49 c #Conflicts: 331000 | #Constraints: 21314
15.34/15.49 c #Conflicts: 332000 | #Constraints: 22314
15.34/15.49 c #Conflicts: 333000 | #Constraints: 23314
15.34/15.49 c INPROCESSING
15.34/15.49 c GARBAGE COLLECT
15.34/15.49 c rational objective 300.5
15.94/16.04 c #Conflicts: 334000 | #Constraints: 12906
15.94/16.04 c #Conflicts: 335000 | #Constraints: 13906
15.94/16.04 c #Conflicts: 336000 | #Constraints: 14906
15.94/16.04 c #Conflicts: 337000 | #Constraints: 15906
15.94/16.04 c #Conflicts: 338000 | #Constraints: 16906
15.94/16.04 c #Conflicts: 339000 | #Constraints: 17906
15.94/16.04 c #Conflicts: 340000 | #Constraints: 18906
15.94/16.04 c #Conflicts: 341000 | #Constraints: 19906
15.94/16.04 c #Conflicts: 342000 | #Constraints: 20906
15.94/16.04 c #Conflicts: 343000 | #Constraints: 21906
15.94/16.04 c #Conflicts: 344000 | #Constraints: 22906
15.94/16.04 c #Conflicts: 345000 | #Constraints: 23906
15.94/16.04 c INPROCESSING
15.94/16.04 c GARBAGE COLLECT
15.94/16.04 c rational objective 300.5
16.53/16.65 c #Conflicts: 346000 | #Constraints: 13310
16.53/16.65 c #Conflicts: 347000 | #Constraints: 14310
16.53/16.65 c #Conflicts: 348000 | #Constraints: 15310
16.53/16.65 c #Conflicts: 349000 | #Constraints: 16310
16.53/16.65 c #Conflicts: 350000 | #Constraints: 17310
16.53/16.65 c #Conflicts: 351000 | #Constraints: 18310
16.53/16.65 c #Conflicts: 352000 | #Constraints: 19310
16.53/16.65 c #Conflicts: 353000 | #Constraints: 20310
16.53/16.65 c #Conflicts: 354000 | #Constraints: 21310
16.53/16.65 c #Conflicts: 355000 | #Constraints: 22310
16.53/16.65 c #Conflicts: 356000 | #Constraints: 23310
16.53/16.65 c #Conflicts: 357000 | #Constraints: 24310
16.53/16.65 c INPROCESSING
16.53/16.65 c GARBAGE COLLECT
16.53/16.65 c rational objective 300.5
17.14/17.25 c #Conflicts: 358000 | #Constraints: 13515
17.14/17.25 c #Conflicts: 359000 | #Constraints: 14515
17.14/17.25 c #Conflicts: 360000 | #Constraints: 15515
17.14/17.25 c #Conflicts: 361000 | #Constraints: 16515
17.14/17.25 c #Conflicts: 362000 | #Constraints: 17515
17.14/17.25 c #Conflicts: 363000 | #Constraints: 18515
17.14/17.25 c #Conflicts: 364000 | #Constraints: 19515
17.14/17.25 c #Conflicts: 365000 | #Constraints: 20515
17.14/17.25 c #Conflicts: 366000 | #Constraints: 21515
17.14/17.25 c #Conflicts: 367000 | #Constraints: 22515
17.14/17.25 c #Conflicts: 368000 | #Constraints: 23515
17.14/17.25 c #Conflicts: 369000 | #Constraints: 24515
17.14/17.25 c INPROCESSING
17.14/17.25 c GARBAGE COLLECT
17.14/17.25 c rational objective 300.5
17.83/17.97 c #Conflicts: 370000 | #Constraints: 13519
17.83/17.97 c #Conflicts: 371000 | #Constraints: 14519
17.83/17.97 c #Conflicts: 372000 | #Constraints: 15519
17.83/17.97 c #Conflicts: 373000 | #Constraints: 16519
17.83/17.97 c #Conflicts: 374000 | #Constraints: 17519
17.83/17.97 c #Conflicts: 375000 | #Constraints: 18519
17.83/17.97 c #Conflicts: 376000 | #Constraints: 19519
17.83/17.97 c #Conflicts: 377000 | #Constraints: 20519
17.83/17.97 c #Conflicts: 378000 | #Constraints: 21519
17.83/17.97 c #Conflicts: 379000 | #Constraints: 22519
17.83/17.97 c #Conflicts: 380000 | #Constraints: 23519
17.83/17.97 c #Conflicts: 381000 | #Constraints: 24519
17.83/17.97 c INPROCESSING
17.83/17.97 c GARBAGE COLLECT
17.83/17.97 c rational objective 300.5
18.53/18.60 c #Conflicts: 382000 | #Constraints: 13317
18.53/18.60 c #Conflicts: 383000 | #Constraints: 14317
18.53/18.60 c #Conflicts: 384000 | #Constraints: 15317
18.53/18.60 c #Conflicts: 385000 | #Constraints: 16317
18.53/18.60 c #Conflicts: 386000 | #Constraints: 17317
18.53/18.60 c #Conflicts: 387000 | #Constraints: 18317
18.53/18.60 c #Conflicts: 388000 | #Constraints: 19317
18.53/18.60 c #Conflicts: 389000 | #Constraints: 20317
18.53/18.60 c #Conflicts: 390000 | #Constraints: 21317
18.53/18.60 c #Conflicts: 391000 | #Constraints: 22317
18.53/18.60 c #Conflicts: 392000 | #Constraints: 23317
18.53/18.60 c #Conflicts: 393000 | #Constraints: 24317
18.53/18.60 c #Conflicts: 394000 | #Constraints: 25317
18.53/18.60 c INPROCESSING
18.53/18.60 c GARBAGE COLLECT
18.53/18.60 c rational objective 300.5
19.12/19.21 c #Conflicts: 395000 | #Constraints: 13919
19.12/19.21 c #Conflicts: 396000 | #Constraints: 14919
19.12/19.21 c #Conflicts: 397000 | #Constraints: 15919
19.12/19.21 c #Conflicts: 398000 | #Constraints: 16919
19.12/19.21 c #Conflicts: 399000 | #Constraints: 17919
19.12/19.21 c #Conflicts: 400000 | #Constraints: 18919
19.12/19.21 c #Conflicts: 401000 | #Constraints: 19919
19.12/19.21 c #Conflicts: 402000 | #Constraints: 20919
19.12/19.21 c #Conflicts: 403000 | #Constraints: 21919
19.12/19.21 c #Conflicts: 404000 | #Constraints: 22919
19.12/19.21 c #Conflicts: 405000 | #Constraints: 23919
19.12/19.21 c #Conflicts: 406000 | #Constraints: 24919
19.12/19.21 c #Conflicts: 407000 | #Constraints: 25919
19.12/19.21 c INPROCESSING
19.12/19.21 c GARBAGE COLLECT
19.12/19.21 c rational objective 300.5
19.83/19.90 c #Conflicts: 408000 | #Constraints: 14310
19.83/19.90 c #Conflicts: 409000 | #Constraints: 15310
19.83/19.90 c #Conflicts: 410000 | #Constraints: 16310
19.83/19.90 c #Conflicts: 411000 | #Constraints: 17310
19.83/19.90 c #Conflicts: 412000 | #Constraints: 18310
19.83/19.90 c #Conflicts: 413000 | #Constraints: 19310
19.83/19.90 c #Conflicts: 414000 | #Constraints: 20310
19.83/19.90 c #Conflicts: 415000 | #Constraints: 21310
19.83/19.90 c #Conflicts: 416000 | #Constraints: 22310
19.83/19.90 c #Conflicts: 417000 | #Constraints: 23310
19.83/19.90 c #Conflicts: 418000 | #Constraints: 24310
19.83/19.90 c #Conflicts: 419000 | #Constraints: 25310
19.83/19.90 c #Conflicts: 420000 | #Constraints: 26310
19.83/19.90 c INPROCESSING
19.83/19.90 c GARBAGE COLLECT
19.83/19.90 c rational objective 300.5
20.52/20.60 c #Conflicts: 421000 | #Constraints: 14522
20.52/20.60 c #Conflicts: 422000 | #Constraints: 15522
20.52/20.60 c #Conflicts: 423000 | #Constraints: 16522
20.52/20.60 c #Conflicts: 424000 | #Constraints: 17522
20.52/20.60 c #Conflicts: 425000 | #Constraints: 18522
20.52/20.60 c #Conflicts: 426000 | #Constraints: 19522
20.52/20.60 c #Conflicts: 427000 | #Constraints: 20522
20.52/20.60 c #Conflicts: 428000 | #Constraints: 21522
20.52/20.60 c #Conflicts: 429000 | #Constraints: 22522
20.52/20.60 c #Conflicts: 430000 | #Constraints: 23522
20.52/20.60 c #Conflicts: 431000 | #Constraints: 24522
20.52/20.60 c #Conflicts: 432000 | #Constraints: 25522
20.52/20.60 c #Conflicts: 433000 | #Constraints: 26522
20.52/20.60 c INPROCESSING
20.52/20.60 c GARBAGE COLLECT
20.52/20.60 c rational objective 300.5
21.22/21.35 c #Conflicts: 434000 | #Constraints: 14516
21.22/21.35 c #Conflicts: 435000 | #Constraints: 15516
21.22/21.35 c #Conflicts: 436000 | #Constraints: 16516
21.22/21.35 c #Conflicts: 437000 | #Constraints: 17516
21.22/21.35 c #Conflicts: 438000 | #Constraints: 18516
21.22/21.35 c #Conflicts: 439000 | #Constraints: 19516
21.22/21.35 c #Conflicts: 440000 | #Constraints: 20516
21.22/21.35 c #Conflicts: 441000 | #Constraints: 21516
21.22/21.35 c #Conflicts: 442000 | #Constraints: 22516
21.22/21.35 c #Conflicts: 443000 | #Constraints: 23516
21.22/21.35 c #Conflicts: 444000 | #Constraints: 24516
21.22/21.35 c #Conflicts: 445000 | #Constraints: 25516
21.22/21.35 c #Conflicts: 446000 | #Constraints: 26516
21.22/21.35 c INPROCESSING
21.22/21.35 c GARBAGE COLLECT
21.22/21.35 c rational objective 300.5
21.82/21.91 c #Conflicts: 447000 | #Constraints: 14316
21.82/21.91 c #Conflicts: 448000 | #Constraints: 15316
21.82/21.91 c #Conflicts: 449000 | #Constraints: 16316
21.82/21.91 c #Conflicts: 450000 | #Constraints: 17316
21.82/21.91 c #Conflicts: 451000 | #Constraints: 18316
21.82/21.91 c #Conflicts: 452000 | #Constraints: 19316
21.82/21.91 c #Conflicts: 453000 | #Constraints: 20316
21.82/21.91 c #Conflicts: 454000 | #Constraints: 21316
21.82/21.91 c #Conflicts: 455000 | #Constraints: 22316
21.82/21.91 c #Conflicts: 456000 | #Constraints: 23316
21.82/21.91 c #Conflicts: 457000 | #Constraints: 24316
21.82/21.91 c #Conflicts: 458000 | #Constraints: 25316
21.82/21.91 c #Conflicts: 459000 | #Constraints: 26316
21.82/21.91 c #Conflicts: 460000 | #Constraints: 27316
21.82/21.91 c INPROCESSING
21.82/21.91 c GARBAGE COLLECT
21.82/21.91 c rational objective 300.5
22.42/22.50 c #Conflicts: 461000 | #Constraints: 14919
22.42/22.50 c #Conflicts: 462000 | #Constraints: 15919
22.42/22.50 c #Conflicts: 463000 | #Constraints: 16919
22.42/22.50 c #Conflicts: 464000 | #Constraints: 17919
22.42/22.50 c #Conflicts: 465000 | #Constraints: 18919
22.42/22.50 c #Conflicts: 466000 | #Constraints: 19919
22.42/22.50 c #Conflicts: 467000 | #Constraints: 20919
22.42/22.50 c #Conflicts: 468000 | #Constraints: 21919
22.42/22.50 c #Conflicts: 469000 | #Constraints: 22919
22.42/22.50 c #Conflicts: 470000 | #Constraints: 23919
22.42/22.50 c #Conflicts: 471000 | #Constraints: 24919
22.42/22.50 c #Conflicts: 472000 | #Constraints: 25919
22.42/22.50 c #Conflicts: 473000 | #Constraints: 26919
22.42/22.50 c #Conflicts: 474000 | #Constraints: 27919
22.42/22.50 c INPROCESSING
22.42/22.50 c GARBAGE COLLECT
22.42/22.50 c rational objective 300.5
23.02/23.15 c #Conflicts: 475000 | #Constraints: 15318
23.02/23.15 c #Conflicts: 476000 | #Constraints: 16318
23.02/23.15 c #Conflicts: 477000 | #Constraints: 17318
23.02/23.15 c #Conflicts: 478000 | #Constraints: 18318
23.02/23.15 c #Conflicts: 479000 | #Constraints: 19318
23.02/23.15 c #Conflicts: 480000 | #Constraints: 20318
23.02/23.15 c #Conflicts: 481000 | #Constraints: 21318
23.02/23.15 c #Conflicts: 482000 | #Constraints: 22318
23.02/23.15 c #Conflicts: 483000 | #Constraints: 23318
23.02/23.15 c #Conflicts: 484000 | #Constraints: 24318
23.02/23.15 c #Conflicts: 485000 | #Constraints: 25318
23.02/23.15 c #Conflicts: 486000 | #Constraints: 26318
23.02/23.15 c #Conflicts: 487000 | #Constraints: 27318
23.02/23.15 c #Conflicts: 488000 | #Constraints: 28318
23.02/23.15 c INPROCESSING
23.02/23.15 c GARBAGE COLLECT
23.02/23.15 c rational objective 300.5
24.21/24.31 c #Conflicts: 489000 | #Constraints: 15523
24.21/24.31 c #Conflicts: 490000 | #Constraints: 16523
24.21/24.31 c #Conflicts: 491000 | #Constraints: 17523
24.21/24.31 c #Conflicts: 492000 | #Constraints: 18523
24.21/24.31 c #Conflicts: 493000 | #Constraints: 19523
24.21/24.31 c #Conflicts: 494000 | #Constraints: 20523
24.21/24.31 c #Conflicts: 495000 | #Constraints: 21523
24.21/24.31 c #Conflicts: 496000 | #Constraints: 22523
24.21/24.31 c #Conflicts: 497000 | #Constraints: 23523
24.21/24.31 c #Conflicts: 498000 | #Constraints: 24523
24.21/24.31 c #Conflicts: 499000 | #Constraints: 25523
24.21/24.31 c #Conflicts: 500000 | #Constraints: 26523
24.21/24.31 c #Conflicts: 501000 | #Constraints: 27523
24.21/24.31 c #Conflicts: 502000 | #Constraints: 28523
24.21/24.31 c INPROCESSING
24.21/24.31 c GARBAGE COLLECT
24.21/24.31 c rational objective 300.5
24.82/24.93 c #Conflicts: 503000 | #Constraints: 15526
24.82/24.93 c #Conflicts: 504000 | #Constraints: 16526
24.82/24.93 c #Conflicts: 505000 | #Constraints: 17526
24.82/24.93 c #Conflicts: 506000 | #Constraints: 18526
24.82/24.93 c #Conflicts: 507000 | #Constraints: 19526
24.82/24.93 c #Conflicts: 508000 | #Constraints: 20526
24.82/24.93 c #Conflicts: 509000 | #Constraints: 21526
24.82/24.93 c #Conflicts: 510000 | #Constraints: 22526
24.82/24.93 c #Conflicts: 511000 | #Constraints: 23526
24.82/24.93 c #Conflicts: 512000 | #Constraints: 24526
24.82/24.93 c #Conflicts: 513000 | #Constraints: 25526
24.82/24.93 c #Conflicts: 514000 | #Constraints: 26526
24.82/24.93 c #Conflicts: 515000 | #Constraints: 27526
24.82/24.93 c #Conflicts: 516000 | #Constraints: 28526
24.82/24.93 c INPROCESSING
24.82/24.93 c GARBAGE COLLECT
24.82/24.93 c rational objective 300.5
25.61/25.75 c #Conflicts: 517000 | #Constraints: 15316
25.61/25.75 c #Conflicts: 518000 | #Constraints: 16316
25.61/25.75 c #Conflicts: 519000 | #Constraints: 17316
25.61/25.75 c #Conflicts: 520000 | #Constraints: 18316
25.61/25.75 c #Conflicts: 521000 | #Constraints: 19316
25.61/25.75 c #Conflicts: 522000 | #Constraints: 20316
25.61/25.75 c #Conflicts: 523000 | #Constraints: 21316
25.61/25.75 c #Conflicts: 524000 | #Constraints: 22316
25.61/25.75 c #Conflicts: 525000 | #Constraints: 23316
25.61/25.75 c #Conflicts: 526000 | #Constraints: 24316
25.61/25.75 c #Conflicts: 527000 | #Constraints: 25316
25.61/25.75 c #Conflicts: 528000 | #Constraints: 26316
25.61/25.75 c #Conflicts: 529000 | #Constraints: 27316
25.61/25.75 c #Conflicts: 530000 | #Constraints: 28316
25.61/25.75 c #Conflicts: 531000 | #Constraints: 29316
25.61/25.75 c INPROCESSING
25.61/25.75 c GARBAGE COLLECT
25.61/25.75 c rational objective 300.5
26.31/26.49 c #Conflicts: 532000 | #Constraints: 15926
26.31/26.49 c #Conflicts: 533000 | #Constraints: 16926
26.31/26.49 c #Conflicts: 534000 | #Constraints: 17926
26.31/26.49 c #Conflicts: 535000 | #Constraints: 18926
26.31/26.49 c #Conflicts: 536000 | #Constraints: 19926
26.31/26.49 c #Conflicts: 537000 | #Constraints: 20926
26.31/26.49 c #Conflicts: 538000 | #Constraints: 21926
26.31/26.49 c #Conflicts: 539000 | #Constraints: 22926
26.31/26.49 c #Conflicts: 540000 | #Constraints: 23926
26.31/26.49 c #Conflicts: 541000 | #Constraints: 24926
26.31/26.49 c #Conflicts: 542000 | #Constraints: 25926
26.31/26.49 c #Conflicts: 543000 | #Constraints: 26926
26.31/26.49 c #Conflicts: 544000 | #Constraints: 27926
26.31/26.49 c #Conflicts: 545000 | #Constraints: 28926
26.31/26.49 c #Conflicts: 546000 | #Constraints: 29926
26.31/26.49 c INPROCESSING
26.31/26.49 c GARBAGE COLLECT
26.31/26.49 c rational objective 300.5
27.31/27.48 c #Conflicts: 547000 | #Constraints: 16323
27.31/27.48 c #Conflicts: 548000 | #Constraints: 17323
27.31/27.48 c #Conflicts: 549000 | #Constraints: 18323
27.31/27.48 c #Conflicts: 550000 | #Constraints: 19323
27.31/27.48 c #Conflicts: 551000 | #Constraints: 20323
27.31/27.48 c #Conflicts: 552000 | #Constraints: 21323
27.31/27.48 c #Conflicts: 553000 | #Constraints: 22323
27.31/27.48 c #Conflicts: 554000 | #Constraints: 23323
27.31/27.48 c #Conflicts: 555000 | #Constraints: 24323
27.31/27.48 c #Conflicts: 556000 | #Constraints: 25323
27.31/27.48 c #Conflicts: 557000 | #Constraints: 26323
27.31/27.48 c #Conflicts: 558000 | #Constraints: 27323
27.31/27.48 c #Conflicts: 559000 | #Constraints: 28323
27.31/27.48 c #Conflicts: 560000 | #Constraints: 29323
27.31/27.48 c #Conflicts: 561000 | #Constraints: 30323
27.31/27.48 c INPROCESSING
27.31/27.48 c GARBAGE COLLECT
27.31/27.48 c rational objective 300.5
28.11/28.25 c #Conflicts: 562000 | #Constraints: 16525
28.11/28.25 c #Conflicts: 563000 | #Constraints: 17525
28.11/28.25 c #Conflicts: 564000 | #Constraints: 18525
28.11/28.25 c #Conflicts: 565000 | #Constraints: 19525
28.11/28.25 c #Conflicts: 566000 | #Constraints: 20525
28.11/28.25 c #Conflicts: 567000 | #Constraints: 21525
28.11/28.25 c #Conflicts: 568000 | #Constraints: 22525
28.11/28.25 c #Conflicts: 569000 | #Constraints: 23525
28.11/28.25 c #Conflicts: 570000 | #Constraints: 24525
28.11/28.25 c #Conflicts: 571000 | #Constraints: 25525
28.11/28.25 c #Conflicts: 572000 | #Constraints: 26525
28.11/28.25 c #Conflicts: 573000 | #Constraints: 27525
28.11/28.25 c #Conflicts: 574000 | #Constraints: 28525
28.11/28.25 c #Conflicts: 575000 | #Constraints: 29525
28.11/28.25 c #Conflicts: 576000 | #Constraints: 30525
28.11/28.25 c INPROCESSING
28.11/28.25 c GARBAGE COLLECT
28.11/28.25 c rational objective 300.5
28.91/29.03 c #Conflicts: 577000 | #Constraints: 16520
28.91/29.03 c #Conflicts: 578000 | #Constraints: 17520
28.91/29.03 c #Conflicts: 579000 | #Constraints: 18520
28.91/29.03 c #Conflicts: 580000 | #Constraints: 19520
28.91/29.03 c #Conflicts: 581000 | #Constraints: 20520
28.91/29.03 c #Conflicts: 582000 | #Constraints: 21520
28.91/29.03 c #Conflicts: 583000 | #Constraints: 22520
28.91/29.03 c #Conflicts: 584000 | #Constraints: 23520
28.91/29.03 c #Conflicts: 585000 | #Constraints: 24520
28.91/29.03 c #Conflicts: 586000 | #Constraints: 25520
28.91/29.03 c #Conflicts: 587000 | #Constraints: 26520
28.91/29.03 c #Conflicts: 588000 | #Constraints: 27520
28.91/29.03 c #Conflicts: 589000 | #Constraints: 28520
28.91/29.03 c #Conflicts: 590000 | #Constraints: 29520
28.91/29.03 c #Conflicts: 591000 | #Constraints: 30520
28.91/29.03 c INPROCESSING
28.91/29.03 c GARBAGE COLLECT
28.91/29.03 c rational objective 300.5
29.70/29.83 c #Conflicts: 592000 | #Constraints: 16325
29.70/29.83 c #Conflicts: 593000 | #Constraints: 17325
29.70/29.83 c #Conflicts: 594000 | #Constraints: 18325
29.70/29.83 c #Conflicts: 595000 | #Constraints: 19325
29.70/29.83 c #Conflicts: 596000 | #Constraints: 20325
29.70/29.83 c #Conflicts: 597000 | #Constraints: 21325
29.70/29.83 c #Conflicts: 598000 | #Constraints: 22325
29.70/29.83 c #Conflicts: 599000 | #Constraints: 23325
29.70/29.83 c #Conflicts: 600000 | #Constraints: 24325
29.70/29.83 c #Conflicts: 601000 | #Constraints: 25325
29.70/29.83 c #Conflicts: 602000 | #Constraints: 26325
29.70/29.83 c #Conflicts: 603000 | #Constraints: 27325
29.70/29.83 c #Conflicts: 604000 | #Constraints: 28325
29.70/29.83 c #Conflicts: 605000 | #Constraints: 29325
29.70/29.83 c #Conflicts: 606000 | #Constraints: 30325
29.70/29.83 c #Conflicts: 607000 | #Constraints: 31325
29.70/29.83 c INPROCESSING
29.70/29.83 c GARBAGE COLLECT
29.70/29.83 c rational objective 300.5
30.60/30.72 c #Conflicts: 608000 | #Constraints: 16930
30.60/30.72 c #Conflicts: 609000 | #Constraints: 17930
30.60/30.72 c #Conflicts: 610000 | #Constraints: 18930
30.60/30.72 c #Conflicts: 611000 | #Constraints: 19930
30.60/30.72 c #Conflicts: 612000 | #Constraints: 20930
30.60/30.72 c #Conflicts: 613000 | #Constraints: 21930
30.60/30.72 c #Conflicts: 614000 | #Constraints: 22930
30.60/30.72 c #Conflicts: 615000 | #Constraints: 23930
30.60/30.72 c #Conflicts: 616000 | #Constraints: 24930
30.60/30.72 c #Conflicts: 617000 | #Constraints: 25930
30.60/30.72 c #Conflicts: 618000 | #Constraints: 26930
30.60/30.72 c #Conflicts: 619000 | #Constraints: 27930
30.60/30.72 c #Conflicts: 620000 | #Constraints: 28930
30.60/30.72 c #Conflicts: 621000 | #Constraints: 29930
30.60/30.72 c #Conflicts: 622000 | #Constraints: 30930
30.60/30.72 c #Conflicts: 623000 | #Constraints: 31930
30.60/30.72 c INPROCESSING
30.60/30.72 c GARBAGE COLLECT
30.60/30.72 c rational objective 300.5
31.50/31.61 c #Conflicts: 624000 | #Constraints: 17327
31.50/31.61 c #Conflicts: 625000 | #Constraints: 18327
31.50/31.61 c #Conflicts: 626000 | #Constraints: 19327
31.50/31.61 c #Conflicts: 627000 | #Constraints: 20327
31.50/31.61 c #Conflicts: 628000 | #Constraints: 21327
31.50/31.61 c #Conflicts: 629000 | #Constraints: 22327
31.50/31.61 c #Conflicts: 630000 | #Constraints: 23327
31.50/31.61 c #Conflicts: 631000 | #Constraints: 24327
31.50/31.61 c #Conflicts: 632000 | #Constraints: 25327
31.50/31.61 c #Conflicts: 633000 | #Constraints: 26327
31.50/31.61 c #Conflicts: 634000 | #Constraints: 27327
31.50/31.61 c #Conflicts: 635000 | #Constraints: 28327
31.50/31.61 c #Conflicts: 636000 | #Constraints: 29327
31.50/31.61 c #Conflicts: 637000 | #Constraints: 30327
31.50/31.61 c #Conflicts: 638000 | #Constraints: 31327
31.50/31.61 c #Conflicts: 639000 | #Constraints: 32327
31.50/31.61 c INPROCESSING
31.50/31.61 c GARBAGE COLLECT
31.50/31.61 c rational objective 300.5
32.30/32.46 c #Conflicts: 640000 | #Constraints: 17519
32.30/32.46 c #Conflicts: 641000 | #Constraints: 18519
32.30/32.46 c #Conflicts: 642000 | #Constraints: 19519
32.30/32.46 c #Conflicts: 643000 | #Constraints: 20519
32.30/32.46 c #Conflicts: 644000 | #Constraints: 21519
32.30/32.46 c #Conflicts: 645000 | #Constraints: 22519
32.30/32.46 c #Conflicts: 646000 | #Constraints: 23519
32.30/32.46 c #Conflicts: 647000 | #Constraints: 24519
32.30/32.46 c #Conflicts: 648000 | #Constraints: 25519
32.30/32.46 c #Conflicts: 649000 | #Constraints: 26519
32.30/32.46 c #Conflicts: 650000 | #Constraints: 27519
32.30/32.46 c #Conflicts: 651000 | #Constraints: 28519
32.30/32.46 c #Conflicts: 652000 | #Constraints: 29519
32.30/32.46 c #Conflicts: 653000 | #Constraints: 30519
32.30/32.46 c #Conflicts: 654000 | #Constraints: 31519
32.30/32.46 c #Conflicts: 655000 | #Constraints: 32519
32.30/32.46 c INPROCESSING
32.30/32.46 c GARBAGE COLLECT
32.30/32.46 c rational objective 300.5
33.19/33.37 c #Conflicts: 656000 | #Constraints: 17532
33.19/33.37 c #Conflicts: 657000 | #Constraints: 18532
33.19/33.37 c #Conflicts: 658000 | #Constraints: 19532
33.19/33.37 c #Conflicts: 659000 | #Constraints: 20532
33.19/33.37 c #Conflicts: 660000 | #Constraints: 21532
33.19/33.37 c #Conflicts: 661000 | #Constraints: 22532
33.19/33.37 c #Conflicts: 662000 | #Constraints: 23532
33.19/33.37 c #Conflicts: 663000 | #Constraints: 24532
33.19/33.37 c #Conflicts: 664000 | #Constraints: 25532
33.19/33.37 c #Conflicts: 665000 | #Constraints: 26532
33.19/33.37 c #Conflicts: 666000 | #Constraints: 27532
33.19/33.37 c #Conflicts: 667000 | #Constraints: 28532
33.19/33.37 c #Conflicts: 668000 | #Constraints: 29532
33.19/33.37 c #Conflicts: 669000 | #Constraints: 30532
33.19/33.37 c #Conflicts: 670000 | #Constraints: 31532
33.19/33.37 c #Conflicts: 671000 | #Constraints: 32532
33.19/33.37 c INPROCESSING
33.19/33.37 c GARBAGE COLLECT
33.19/33.37 c rational objective 300.5
34.09/34.25 c #Conflicts: 672000 | #Constraints: 17329
34.09/34.25 c #Conflicts: 673000 | #Constraints: 18329
34.09/34.25 c #Conflicts: 674000 | #Constraints: 19329
34.09/34.25 c #Conflicts: 675000 | #Constraints: 20329
34.09/34.25 c #Conflicts: 676000 | #Constraints: 21329
34.09/34.25 c #Conflicts: 677000 | #Constraints: 22329
34.09/34.25 c #Conflicts: 678000 | #Constraints: 23329
34.09/34.25 c #Conflicts: 679000 | #Constraints: 24329
34.09/34.25 c #Conflicts: 680000 | #Constraints: 25329
34.09/34.25 c #Conflicts: 681000 | #Constraints: 26329
34.09/34.25 c #Conflicts: 682000 | #Constraints: 27329
34.09/34.25 c #Conflicts: 683000 | #Constraints: 28329
34.09/34.25 c #Conflicts: 684000 | #Constraints: 29329
34.09/34.25 c #Conflicts: 685000 | #Constraints: 30329
34.09/34.25 c #Conflicts: 686000 | #Constraints: 31329
34.09/34.25 c #Conflicts: 687000 | #Constraints: 32329
34.09/34.25 c #Conflicts: 688000 | #Constraints: 33329
34.09/34.25 c INPROCESSING
34.09/34.25 c GARBAGE COLLECT
34.09/34.25 c rational objective 300.5
35.09/35.22 c #Conflicts: 689000 | #Constraints: 17932
35.09/35.22 c #Conflicts: 690000 | #Constraints: 18932
35.09/35.22 c #Conflicts: 691000 | #Constraints: 19932
35.09/35.22 c #Conflicts: 692000 | #Constraints: 20932
35.09/35.22 c #Conflicts: 693000 | #Constraints: 21932
35.09/35.22 c #Conflicts: 694000 | #Constraints: 22932
35.09/35.22 c #Conflicts: 695000 | #Constraints: 23932
35.09/35.22 c #Conflicts: 696000 | #Constraints: 24932
35.09/35.22 c #Conflicts: 697000 | #Constraints: 25932
35.09/35.22 c #Conflicts: 698000 | #Constraints: 26932
35.09/35.22 c #Conflicts: 699000 | #Constraints: 27932
35.09/35.22 c #Conflicts: 700000 | #Constraints: 28932
35.09/35.22 c #Conflicts: 701000 | #Constraints: 29932
35.09/35.22 c #Conflicts: 702000 | #Constraints: 30932
35.09/35.22 c #Conflicts: 703000 | #Constraints: 31932
35.09/35.22 c #Conflicts: 704000 | #Constraints: 32933
35.09/35.22 c #Conflicts: 705000 | #Constraints: 33933
35.09/35.22 c INPROCESSING
35.09/35.22 c GARBAGE COLLECT
35.09/35.22 c rational objective 300.5
35.99/36.11 c #Conflicts: 706000 | #Constraints: 18330
35.99/36.11 c #Conflicts: 707000 | #Constraints: 19330
35.99/36.11 c #Conflicts: 708000 | #Constraints: 20330
35.99/36.11 c #Conflicts: 709000 | #Constraints: 21330
35.99/36.11 c #Conflicts: 710000 | #Constraints: 22330
35.99/36.11 c #Conflicts: 711000 | #Constraints: 23330
35.99/36.11 c #Conflicts: 712000 | #Constraints: 24330
35.99/36.11 c #Conflicts: 713000 | #Constraints: 25330
35.99/36.11 c #Conflicts: 714000 | #Constraints: 26330
35.99/36.11 c #Conflicts: 715000 | #Constraints: 27330
35.99/36.11 c #Conflicts: 716000 | #Constraints: 28330
35.99/36.11 c #Conflicts: 717000 | #Constraints: 29330
35.99/36.11 c #Conflicts: 718000 | #Constraints: 30330
35.99/36.11 c #Conflicts: 719000 | #Constraints: 31330
35.99/36.11 c #Conflicts: 720000 | #Constraints: 32330
35.99/36.11 c #Conflicts: 721000 | #Constraints: 33330
35.99/36.11 c #Conflicts: 722000 | #Constraints: 34330
35.99/36.11 c INPROCESSING
35.99/36.11 c GARBAGE COLLECT
35.99/36.11 c rational objective 300.5
36.78/36.91 c #Conflicts: 723000 | #Constraints: 18539
36.78/36.91 c #Conflicts: 724000 | #Constraints: 19539
36.78/36.91 c #Conflicts: 725000 | #Constraints: 20539
36.78/36.91 c #Conflicts: 726000 | #Constraints: 21539
36.78/36.91 c #Conflicts: 727000 | #Constraints: 22539
36.78/36.91 c #Conflicts: 728000 | #Constraints: 23539
36.78/36.91 c #Conflicts: 729000 | #Constraints: 24539
36.78/36.91 c #Conflicts: 730000 | #Constraints: 25539
36.78/36.91 c #Conflicts: 731000 | #Constraints: 26539
36.78/36.91 c #Conflicts: 732000 | #Constraints: 27539
36.78/36.91 c #Conflicts: 733000 | #Constraints: 28539
36.78/36.91 c #Conflicts: 734000 | #Constraints: 29539
36.78/36.91 c #Conflicts: 735000 | #Constraints: 30539
36.78/36.91 c #Conflicts: 736000 | #Constraints: 31539
36.78/36.91 c #Conflicts: 737000 | #Constraints: 32539
36.78/36.91 c #Conflicts: 738000 | #Constraints: 33539
36.78/36.91 c #Conflicts: 739000 | #Constraints: 34539
36.78/36.91 c INPROCESSING
36.78/36.91 c GARBAGE COLLECT
36.78/36.91 c rational objective 300.5
37.68/37.82 c #Conflicts: 740000 | #Constraints: 18537
37.68/37.82 c #Conflicts: 741000 | #Constraints: 19537
37.68/37.82 c #Conflicts: 742000 | #Constraints: 20537
37.68/37.82 c #Conflicts: 743000 | #Constraints: 21537
37.68/37.82 c #Conflicts: 744000 | #Constraints: 22537
37.68/37.82 c #Conflicts: 745000 | #Constraints: 23537
37.68/37.82 c #Conflicts: 746000 | #Constraints: 24537
37.68/37.82 c #Conflicts: 747000 | #Constraints: 25537
37.68/37.82 c #Conflicts: 748000 | #Constraints: 26537
37.68/37.82 c #Conflicts: 749000 | #Constraints: 27537
37.68/37.82 c #Conflicts: 750000 | #Constraints: 28537
37.68/37.82 c #Conflicts: 751000 | #Constraints: 29537
37.68/37.82 c #Conflicts: 752000 | #Constraints: 30537
37.68/37.82 c #Conflicts: 753000 | #Constraints: 31537
37.68/37.82 c #Conflicts: 754000 | #Constraints: 32537
37.68/37.82 c #Conflicts: 755000 | #Constraints: 33537
37.68/37.82 c #Conflicts: 756000 | #Constraints: 34537
37.68/37.82 c INPROCESSING
37.68/37.82 c GARBAGE COLLECT
37.68/37.82 c rational objective 300.5
38.67/38.85 c #Conflicts: 757000 | #Constraints: 18329
38.67/38.85 c #Conflicts: 758000 | #Constraints: 19329
38.67/38.85 c #Conflicts: 759000 | #Constraints: 20329
38.67/38.85 c #Conflicts: 760000 | #Constraints: 21329
38.67/38.85 c #Conflicts: 761000 | #Constraints: 22329
38.67/38.85 c #Conflicts: 762000 | #Constraints: 23329
38.67/38.85 c #Conflicts: 763000 | #Constraints: 24329
38.67/38.85 c #Conflicts: 764000 | #Constraints: 25329
38.67/38.85 c #Conflicts: 765000 | #Constraints: 26329
38.67/38.85 c #Conflicts: 766000 | #Constraints: 27329
38.67/38.85 c #Conflicts: 767000 | #Constraints: 28329
38.67/38.85 c #Conflicts: 768000 | #Constraints: 29329
38.67/38.85 c #Conflicts: 769000 | #Constraints: 30329
38.67/38.85 c #Conflicts: 770000 | #Constraints: 31329
38.67/38.85 c #Conflicts: 771000 | #Constraints: 32329
38.67/38.85 c #Conflicts: 772000 | #Constraints: 33329
38.67/38.85 c #Conflicts: 773000 | #Constraints: 34329
38.67/38.85 c #Conflicts: 774000 | #Constraints: 35329
38.67/38.85 c INPROCESSING
38.67/38.85 c GARBAGE COLLECT
38.67/38.85 c rational objective 300.5
39.68/39.90 c #Conflicts: 775000 | #Constraints: 18927
39.68/39.90 c #Conflicts: 776000 | #Constraints: 19927
39.68/39.90 c #Conflicts: 777000 | #Constraints: 20927
39.68/39.90 c #Conflicts: 778000 | #Constraints: 21927
39.68/39.90 c #Conflicts: 779000 | #Constraints: 22927
39.68/39.90 c #Conflicts: 780000 | #Constraints: 23927
39.68/39.90 c #Conflicts: 781000 | #Constraints: 24927
39.68/39.90 c #Conflicts: 782000 | #Constraints: 25927
39.68/39.90 c #Conflicts: 783000 | #Constraints: 26927
39.68/39.90 c #Conflicts: 784000 | #Constraints: 27927
39.68/39.90 c #Conflicts: 785000 | #Constraints: 28927
39.68/39.90 c #Conflicts: 786000 | #Constraints: 29927
39.68/39.90 c #Conflicts: 787000 | #Constraints: 30927
39.68/39.90 c #Conflicts: 788000 | #Constraints: 31927
39.68/39.90 c #Conflicts: 789000 | #Constraints: 32927
39.68/39.90 c #Conflicts: 790000 | #Constraints: 33927
39.68/39.90 c #Conflicts: 791000 | #Constraints: 34927
39.68/39.90 c #Conflicts: 792000 | #Constraints: 35927
39.68/39.90 c INPROCESSING
39.68/39.90 c GARBAGE COLLECT
39.68/39.90 c rational objective 300.5
40.67/40.85 c #Conflicts: 793000 | #Constraints: 19323
40.67/40.85 c #Conflicts: 794000 | #Constraints: 20323
40.67/40.85 c #Conflicts: 795000 | #Constraints: 21323
40.67/40.85 c #Conflicts: 796000 | #Constraints: 22323
40.67/40.85 c #Conflicts: 797000 | #Constraints: 23323
40.67/40.85 c #Conflicts: 798000 | #Constraints: 24323
40.67/40.85 c #Conflicts: 799000 | #Constraints: 25323
40.67/40.85 c #Conflicts: 800000 | #Constraints: 26323
40.67/40.85 c #Conflicts: 801000 | #Constraints: 27323
40.67/40.85 c #Conflicts: 802000 | #Constraints: 28323
40.67/40.85 c #Conflicts: 803000 | #Constraints: 29323
40.67/40.85 c #Conflicts: 804000 | #Constraints: 30323
40.67/40.85 c #Conflicts: 805000 | #Constraints: 31323
40.67/40.85 c #Conflicts: 806000 | #Constraints: 32323
40.67/40.85 c #Conflicts: 807000 | #Constraints: 33323
40.67/40.85 c #Conflicts: 808000 | #Constraints: 34323
40.67/40.85 c #Conflicts: 809000 | #Constraints: 35323
40.67/40.85 c #Conflicts: 810000 | #Constraints: 36323
40.67/40.85 c INPROCESSING
40.67/40.85 c GARBAGE COLLECT
40.67/40.85 c rational objective 300.5
41.67/41.80 c #Conflicts: 811000 | #Constraints: 19526
41.67/41.80 c #Conflicts: 812000 | #Constraints: 20526
41.67/41.80 c #Conflicts: 813000 | #Constraints: 21526
41.67/41.80 c #Conflicts: 814000 | #Constraints: 22526
41.67/41.80 c #Conflicts: 815000 | #Constraints: 23526
41.67/41.80 c #Conflicts: 816000 | #Constraints: 24526
41.67/41.80 c #Conflicts: 817000 | #Constraints: 25526
41.67/41.80 c #Conflicts: 818000 | #Constraints: 26526
41.67/41.80 c #Conflicts: 819000 | #Constraints: 27526
41.67/41.80 c #Conflicts: 820000 | #Constraints: 28526
41.67/41.80 c #Conflicts: 821000 | #Constraints: 29526
41.67/41.80 c #Conflicts: 822000 | #Constraints: 30526
41.67/41.80 c #Conflicts: 823000 | #Constraints: 31526
41.67/41.80 c #Conflicts: 824000 | #Constraints: 32526
41.67/41.80 c #Conflicts: 825000 | #Constraints: 33526
41.67/41.80 c #Conflicts: 826000 | #Constraints: 34526
41.67/41.80 c #Conflicts: 827000 | #Constraints: 35526
41.67/41.80 c #Conflicts: 828000 | #Constraints: 36526
41.67/41.80 c INPROCESSING
41.67/41.80 c GARBAGE COLLECT
41.67/41.80 c rational objective 300.5
42.67/42.87 c #Conflicts: 829000 | #Constraints: 19526
42.67/42.87 c #Conflicts: 830000 | #Constraints: 20526
42.67/42.87 c #Conflicts: 831000 | #Constraints: 21526
42.67/42.87 c #Conflicts: 832000 | #Constraints: 22526
42.67/42.87 c #Conflicts: 833000 | #Constraints: 23526
42.67/42.87 c #Conflicts: 834000 | #Constraints: 24526
42.67/42.87 c #Conflicts: 835000 | #Constraints: 25526
42.67/42.87 c #Conflicts: 836000 | #Constraints: 26526
42.67/42.87 c #Conflicts: 837000 | #Constraints: 27526
42.67/42.87 c #Conflicts: 838000 | #Constraints: 28526
42.67/42.87 c #Conflicts: 839000 | #Constraints: 29526
42.67/42.87 c #Conflicts: 840000 | #Constraints: 30526
42.67/42.87 c #Conflicts: 841000 | #Constraints: 31526
42.67/42.87 c #Conflicts: 842000 | #Constraints: 32526
42.67/42.87 c #Conflicts: 843000 | #Constraints: 33526
42.67/42.87 c #Conflicts: 844000 | #Constraints: 34526
42.67/42.87 c #Conflicts: 845000 | #Constraints: 35526
42.67/42.87 c #Conflicts: 846000 | #Constraints: 36526
42.67/42.87 c INPROCESSING
42.67/42.87 c GARBAGE COLLECT
42.67/42.87 c rational objective 300.5
43.87/44.01 c #Conflicts: 847000 | #Constraints: 19323
43.87/44.01 c #Conflicts: 848000 | #Constraints: 20323
43.87/44.01 c #Conflicts: 849000 | #Constraints: 21323
43.87/44.01 c #Conflicts: 850000 | #Constraints: 22323
43.87/44.01 c #Conflicts: 851000 | #Constraints: 23323
43.87/44.01 c #Conflicts: 852000 | #Constraints: 24323
43.87/44.01 c #Conflicts: 853000 | #Constraints: 25323
43.87/44.01 c #Conflicts: 854000 | #Constraints: 26323
43.87/44.01 c #Conflicts: 855000 | #Constraints: 27323
43.87/44.01 c #Conflicts: 856000 | #Constraints: 28323
43.87/44.01 c #Conflicts: 857000 | #Constraints: 29323
43.87/44.01 c #Conflicts: 858000 | #Constraints: 30323
43.87/44.01 c #Conflicts: 859000 | #Constraints: 31323
43.87/44.01 c #Conflicts: 860000 | #Constraints: 32323
43.87/44.01 c #Conflicts: 861000 | #Constraints: 33323
43.87/44.01 c #Conflicts: 862000 | #Constraints: 34323
43.87/44.01 c #Conflicts: 863000 | #Constraints: 35323
43.87/44.01 c #Conflicts: 864000 | #Constraints: 36323
43.87/44.01 c #Conflicts: 865000 | #Constraints: 37323
43.87/44.01 c INPROCESSING
43.87/44.01 c GARBAGE COLLECT
43.87/44.01 c rational objective 300.5
44.87/45.03 c #Conflicts: 866000 | #Constraints: 19918
44.87/45.03 c #Conflicts: 867000 | #Constraints: 20918
44.87/45.03 c #Conflicts: 868000 | #Constraints: 21918
44.87/45.03 c #Conflicts: 869000 | #Constraints: 22918
44.87/45.03 c #Conflicts: 870000 | #Constraints: 23918
44.87/45.03 c #Conflicts: 871000 | #Constraints: 24918
44.87/45.03 c #Conflicts: 872000 | #Constraints: 25918
44.87/45.03 c #Conflicts: 873000 | #Constraints: 26918
44.87/45.03 c #Conflicts: 874000 | #Constraints: 27918
44.87/45.03 c #Conflicts: 875000 | #Constraints: 28918
44.87/45.03 c #Conflicts: 876000 | #Constraints: 29918
44.87/45.03 c #Conflicts: 877000 | #Constraints: 30918
44.87/45.03 c #Conflicts: 878000 | #Constraints: 31918
44.87/45.03 c #Conflicts: 879000 | #Constraints: 32918
44.87/45.03 c #Conflicts: 880000 | #Constraints: 33918
44.87/45.03 c #Conflicts: 881000 | #Constraints: 34918
44.87/45.03 c #Conflicts: 882000 | #Constraints: 35918
44.87/45.03 c #Conflicts: 883000 | #Constraints: 36918
44.87/45.03 c #Conflicts: 884000 | #Constraints: 37918
44.87/45.03 c INPROCESSING
44.87/45.03 c GARBAGE COLLECT
44.87/45.03 c rational objective 300.5
45.96/46.17 c #Conflicts: 885000 | #Constraints: 20330
45.96/46.17 c #Conflicts: 886000 | #Constraints: 21331
45.96/46.17 c #Conflicts: 887000 | #Constraints: 22331
45.96/46.17 c #Conflicts: 888000 | #Constraints: 23331
45.96/46.17 c #Conflicts: 889000 | #Constraints: 24332
45.96/46.17 c #Conflicts: 890000 | #Constraints: 25332
45.96/46.17 c #Conflicts: 891000 | #Constraints: 26332
45.96/46.17 c #Conflicts: 892000 | #Constraints: 27332
45.96/46.17 c #Conflicts: 893000 | #Constraints: 28332
45.96/46.17 c #Conflicts: 894000 | #Constraints: 29332
45.96/46.17 c #Conflicts: 895000 | #Constraints: 30332
45.96/46.17 c #Conflicts: 896000 | #Constraints: 31332
45.96/46.17 c #Conflicts: 897000 | #Constraints: 32332
45.96/46.17 c #Conflicts: 898000 | #Constraints: 33332
45.96/46.17 c #Conflicts: 899000 | #Constraints: 34332
45.96/46.17 c #Conflicts: 900000 | #Constraints: 35332
45.96/46.17 c #Conflicts: 901000 | #Constraints: 36332
45.96/46.17 c #Conflicts: 902000 | #Constraints: 37333
45.96/46.17 c #Conflicts: 903000 | #Constraints: 38333
45.96/46.17 c INPROCESSING
45.96/46.17 c GARBAGE COLLECT
45.96/46.17 c rational objective 300.5
47.05/47.20 c #Conflicts: 904000 | #Constraints: 20528
47.05/47.20 c #Conflicts: 905000 | #Constraints: 21528
47.05/47.20 c #Conflicts: 906000 | #Constraints: 22528
47.05/47.20 c #Conflicts: 907000 | #Constraints: 23528
47.05/47.20 c #Conflicts: 908000 | #Constraints: 24528
47.05/47.20 c #Conflicts: 909000 | #Constraints: 25528
47.05/47.20 c #Conflicts: 910000 | #Constraints: 26528
47.05/47.20 c #Conflicts: 911000 | #Constraints: 27528
47.05/47.20 c #Conflicts: 912000 | #Constraints: 28528
47.05/47.20 c #Conflicts: 913000 | #Constraints: 29528
47.05/47.20 c #Conflicts: 914000 | #Constraints: 30528
47.05/47.20 c #Conflicts: 915000 | #Constraints: 31528
47.05/47.20 c #Conflicts: 916000 | #Constraints: 32528
47.05/47.20 c #Conflicts: 917000 | #Constraints: 33528
47.05/47.20 c #Conflicts: 918000 | #Constraints: 34528
47.05/47.20 c #Conflicts: 919000 | #Constraints: 35528
47.05/47.20 c #Conflicts: 920000 | #Constraints: 36528
47.05/47.20 c #Conflicts: 921000 | #Constraints: 37528
47.05/47.20 c #Conflicts: 922000 | #Constraints: 38528
47.05/47.20 c INPROCESSING
47.05/47.20 c GARBAGE COLLECT
47.05/47.20 c rational objective 300.5
48.15/48.38 c #Conflicts: 923000 | #Constraints: 20532
48.15/48.38 c #Conflicts: 924000 | #Constraints: 21532
48.15/48.38 c #Conflicts: 925000 | #Constraints: 22532
48.15/48.38 c #Conflicts: 926000 | #Constraints: 23532
48.15/48.38 c #Conflicts: 927000 | #Constraints: 24532
48.15/48.38 c #Conflicts: 928000 | #Constraints: 25532
48.15/48.38 c #Conflicts: 929000 | #Constraints: 26532
48.15/48.38 c #Conflicts: 930000 | #Constraints: 27532
48.15/48.38 c #Conflicts: 931000 | #Constraints: 28532
48.15/48.38 c #Conflicts: 932000 | #Constraints: 29532
48.15/48.38 c #Conflicts: 933000 | #Constraints: 30532
48.15/48.38 c #Conflicts: 934000 | #Constraints: 31532
48.15/48.38 c #Conflicts: 935000 | #Constraints: 32532
48.15/48.38 c #Conflicts: 936000 | #Constraints: 33532
48.15/48.38 c #Conflicts: 937000 | #Constraints: 34532
48.15/48.38 c #Conflicts: 938000 | #Constraints: 35532
48.15/48.38 c #Conflicts: 939000 | #Constraints: 36532
48.15/48.38 c #Conflicts: 940000 | #Constraints: 37532
48.15/48.38 c #Conflicts: 941000 | #Constraints: 38532
48.15/48.38 c INPROCESSING
48.15/48.38 c GARBAGE COLLECT
48.15/48.38 c rational objective 300.5
49.35/49.59 c #Conflicts: 942000 | #Constraints: 20335
49.35/49.59 c #Conflicts: 943000 | #Constraints: 21335
49.35/49.59 c #Conflicts: 944000 | #Constraints: 22335
49.35/49.59 c #Conflicts: 945000 | #Constraints: 23335
49.35/49.59 c #Conflicts: 946000 | #Constraints: 24335
49.35/49.59 c #Conflicts: 947000 | #Constraints: 25335
49.35/49.59 c #Conflicts: 948000 | #Constraints: 26335
49.35/49.59 c #Conflicts: 949000 | #Constraints: 27335
49.35/49.59 c #Conflicts: 950000 | #Constraints: 28335
49.35/49.59 c #Conflicts: 951000 | #Constraints: 29335
49.35/49.59 c #Conflicts: 952000 | #Constraints: 30335
49.35/49.59 c #Conflicts: 953000 | #Constraints: 31335
49.35/49.59 c #Conflicts: 954000 | #Constraints: 32335
49.35/49.59 c #Conflicts: 955000 | #Constraints: 33335
49.35/49.59 c #Conflicts: 956000 | #Constraints: 34335
49.35/49.59 c #Conflicts: 957000 | #Constraints: 35335
49.35/49.59 c #Conflicts: 958000 | #Constraints: 36335
49.35/49.59 c #Conflicts: 959000 | #Constraints: 37335
49.35/49.59 c #Conflicts: 960000 | #Constraints: 38335
49.35/49.59 c #Conflicts: 961000 | #Constraints: 39335
49.35/49.59 c INPROCESSING
49.35/49.59 c GARBAGE COLLECT
49.35/49.59 c rational objective 300.5
50.65/50.83 c #Conflicts: 962000 | #Constraints: 20939
50.65/50.83 c #Conflicts: 963000 | #Constraints: 21939
50.65/50.83 c #Conflicts: 964000 | #Constraints: 22939
50.65/50.83 c #Conflicts: 965000 | #Constraints: 23939
50.65/50.83 c #Conflicts: 966000 | #Constraints: 24939
50.65/50.83 c #Conflicts: 967000 | #Constraints: 25939
50.65/50.83 c #Conflicts: 968000 | #Constraints: 26939
50.65/50.83 c #Conflicts: 969000 | #Constraints: 27939
50.65/50.83 c #Conflicts: 970000 | #Constraints: 28939
50.65/50.83 c #Conflicts: 971000 | #Constraints: 29939
50.65/50.83 c #Conflicts: 972000 | #Constraints: 30939
50.65/50.83 c #Conflicts: 973000 | #Constraints: 31939
50.65/50.83 c #Conflicts: 974000 | #Constraints: 32939
50.65/50.83 c #Conflicts: 975000 | #Constraints: 33939
50.65/50.83 c #Conflicts: 976000 | #Constraints: 34939
50.65/50.83 c #Conflicts: 977000 | #Constraints: 35939
50.65/50.83 c #Conflicts: 978000 | #Constraints: 36939
50.65/50.83 c #Conflicts: 979000 | #Constraints: 37939
50.65/50.83 c #Conflicts: 980000 | #Constraints: 38939
50.65/50.83 c #Conflicts: 981000 | #Constraints: 39939
50.65/50.83 c INPROCESSING
50.65/50.83 c GARBAGE COLLECT
50.65/50.83 c rational objective 300.5
51.55/51.78 c #Conflicts: 982000 | #Constraints: 21334
51.55/51.78 c #Conflicts: 983000 | #Constraints: 22334
51.55/51.78 c #Conflicts: 984000 | #Constraints: 23334
51.55/51.78 c #Conflicts: 985000 | #Constraints: 24334
51.55/51.78 c #Conflicts: 986000 | #Constraints: 25334
51.55/51.78 c #Conflicts: 987000 | #Constraints: 26334
51.55/51.78 c #Conflicts: 988000 | #Constraints: 27334
51.55/51.78 c #Conflicts: 989000 | #Constraints: 28334
51.55/51.78 c #Conflicts: 990000 | #Constraints: 29334
51.55/51.78 c #Conflicts: 991000 | #Constraints: 30334
51.55/51.78 c #Conflicts: 992000 | #Constraints: 31334
51.55/51.78 c #Conflicts: 993000 | #Constraints: 32334
51.55/51.78 c #Conflicts: 994000 | #Constraints: 33334
51.55/51.78 c #Conflicts: 995000 | #Constraints: 34334
51.55/51.78 c #Conflicts: 996000 | #Constraints: 35334
51.55/51.78 c #Conflicts: 997000 | #Constraints: 36334
51.55/51.78 c #Conflicts: 998000 | #Constraints: 37334
51.55/51.78 c #Conflicts: 999000 | #Constraints: 38334
51.55/51.78 c #Conflicts: 1000000 | #Constraints: 39334
51.55/51.78 c #Conflicts: 1001000 | #Constraints: 40334
51.55/51.78 c INPROCESSING
51.55/51.78 c GARBAGE COLLECT
51.55/51.78 c rational objective 300.5
52.94/53.19 c #Conflicts: 1002000 | #Constraints: 21537
52.94/53.19 c #Conflicts: 1003000 | #Constraints: 22537
52.94/53.19 c #Conflicts: 1004000 | #Constraints: 23537
52.94/53.19 c #Conflicts: 1005000 | #Constraints: 24537
52.94/53.19 c #Conflicts: 1006000 | #Constraints: 25537
52.94/53.19 c #Conflicts: 1007000 | #Constraints: 26537
52.94/53.19 c #Conflicts: 1008000 | #Constraints: 27537
52.94/53.19 c #Conflicts: 1009000 | #Constraints: 28537
52.94/53.19 c #Conflicts: 1010000 | #Constraints: 29537
52.94/53.19 c #Conflicts: 1011000 | #Constraints: 30537
52.94/53.19 c #Conflicts: 1012000 | #Constraints: 31537
52.94/53.19 c #Conflicts: 1013000 | #Constraints: 32537
52.94/53.19 c #Conflicts: 1014000 | #Constraints: 33537
52.94/53.19 c #Conflicts: 1015000 | #Constraints: 34537
52.94/53.19 c #Conflicts: 1016000 | #Constraints: 35537
52.94/53.19 c #Conflicts: 1017000 | #Constraints: 36537
52.94/53.19 c #Conflicts: 1018000 | #Constraints: 37537
52.94/53.19 c #Conflicts: 1019000 | #Constraints: 38537
52.94/53.19 c #Conflicts: 1020000 | #Constraints: 39537
52.94/53.19 c #Conflicts: 1021000 | #Constraints: 40537
52.94/53.19 c INPROCESSING
52.94/53.19 c GARBAGE COLLECT
52.94/53.19 c rational objective 300.5
54.34/54.54 c #Conflicts: 1022000 | #Constraints: 21539
54.34/54.54 c #Conflicts: 1023000 | #Constraints: 22539
54.34/54.54 c #Conflicts: 1024000 | #Constraints: 23539
54.34/54.54 c #Conflicts: 1025000 | #Constraints: 24539
54.34/54.54 c #Conflicts: 1026000 | #Constraints: 25539
54.34/54.54 c #Conflicts: 1027000 | #Constraints: 26539
54.34/54.54 c #Conflicts: 1028000 | #Constraints: 27539
54.34/54.54 c #Conflicts: 1029000 | #Constraints: 28539
54.34/54.54 c #Conflicts: 1030000 | #Constraints: 29539
54.34/54.54 c #Conflicts: 1031000 | #Constraints: 30539
54.34/54.54 c #Conflicts: 1032000 | #Constraints: 31539
54.34/54.54 c #Conflicts: 1033000 | #Constraints: 32539
54.34/54.54 c #Conflicts: 1034000 | #Constraints: 33539
54.34/54.54 c #Conflicts: 1035000 | #Constraints: 34539
54.34/54.54 c #Conflicts: 1036000 | #Constraints: 35539
54.34/54.54 c #Conflicts: 1037000 | #Constraints: 36539
54.34/54.54 c #Conflicts: 1038000 | #Constraints: 37539
54.34/54.54 c #Conflicts: 1039000 | #Constraints: 38539
54.34/54.54 c #Conflicts: 1040000 | #Constraints: 39539
54.34/54.54 c #Conflicts: 1041000 | #Constraints: 40539
54.34/54.54 c INPROCESSING
54.34/54.54 c GARBAGE COLLECT
54.34/54.54 c rational objective 300.5
55.73/55.94 c #Conflicts: 1042000 | #Constraints: 21343
55.73/55.94 c #Conflicts: 1043000 | #Constraints: 22343
55.73/55.94 c #Conflicts: 1044000 | #Constraints: 23343
55.73/55.94 c #Conflicts: 1045000 | #Constraints: 24343
55.73/55.94 c #Conflicts: 1046000 | #Constraints: 25343
55.73/55.94 c #Conflicts: 1047000 | #Constraints: 26343
55.73/55.94 c #Conflicts: 1048000 | #Constraints: 27343
55.73/55.94 c #Conflicts: 1049000 | #Constraints: 28343
55.73/55.94 c #Conflicts: 1050000 | #Constraints: 29343
55.73/55.94 c #Conflicts: 1051000 | #Constraints: 30343
55.73/55.94 c #Conflicts: 1052000 | #Constraints: 31343
55.73/55.94 c #Conflicts: 1053000 | #Constraints: 32343
55.73/55.94 c #Conflicts: 1054000 | #Constraints: 33343
55.73/55.94 c #Conflicts: 1055000 | #Constraints: 34343
55.73/55.94 c #Conflicts: 1056000 | #Constraints: 35343
55.73/55.94 c #Conflicts: 1057000 | #Constraints: 36343
55.73/55.94 c #Conflicts: 1058000 | #Constraints: 37343
55.73/55.94 c #Conflicts: 1059000 | #Constraints: 38343
55.73/55.94 c #Conflicts: 1060000 | #Constraints: 39343
55.73/55.94 c #Conflicts: 1061000 | #Constraints: 40343
55.73/55.94 c #Conflicts: 1062000 | #Constraints: 41343
55.73/55.94 c INPROCESSING
55.73/55.94 c GARBAGE COLLECT
55.73/55.94 c rational objective 300.5
57.53/57.76 c #Conflicts: 1063000 | #Constraints: 21951
57.53/57.76 c #Conflicts: 1064000 | #Constraints: 22951
57.53/57.76 c #Conflicts: 1065000 | #Constraints: 23951
57.53/57.76 c #Conflicts: 1066000 | #Constraints: 24951
57.53/57.76 c #Conflicts: 1067000 | #Constraints: 25951
57.53/57.76 c #Conflicts: 1068000 | #Constraints: 26951
57.53/57.76 c #Conflicts: 1069000 | #Constraints: 27951
57.53/57.76 c #Conflicts: 1070000 | #Constraints: 28951
57.53/57.76 c #Conflicts: 1071000 | #Constraints: 29951
57.53/57.76 c #Conflicts: 1072000 | #Constraints: 30951
57.53/57.76 c #Conflicts: 1073000 | #Constraints: 31951
57.53/57.76 c #Conflicts: 1074000 | #Constraints: 32951
57.53/57.76 c #Conflicts: 1075000 | #Constraints: 33951
57.53/57.76 c #Conflicts: 1076000 | #Constraints: 34951
57.53/57.76 c #Conflicts: 1077000 | #Constraints: 35951
57.53/57.76 c #Conflicts: 1078000 | #Constraints: 36951
57.53/57.76 c #Conflicts: 1079000 | #Constraints: 37951
57.53/57.76 c #Conflicts: 1080000 | #Constraints: 38951
57.53/57.76 c #Conflicts: 1081000 | #Constraints: 39951
57.53/57.76 c #Conflicts: 1082000 | #Constraints: 40951
57.53/57.76 c #Conflicts: 1083000 | #Constraints: 41951
57.53/57.76 c INPROCESSING
57.53/57.76 c GARBAGE COLLECT
57.53/57.76 c rational objective 300.5
58.63/58.83 c #Conflicts: 1084000 | #Constraints: 22348
58.63/58.83 c #Conflicts: 1085000 | #Constraints: 23348
58.63/58.83 c #Conflicts: 1086000 | #Constraints: 24348
58.63/58.83 c #Conflicts: 1087000 | #Constraints: 25348
58.63/58.83 c #Conflicts: 1088000 | #Constraints: 26348
58.63/58.83 c #Conflicts: 1089000 | #Constraints: 27348
58.63/58.83 c #Conflicts: 1090000 | #Constraints: 28348
58.63/58.83 c #Conflicts: 1091000 | #Constraints: 29348
58.63/58.83 c #Conflicts: 1092000 | #Constraints: 30348
58.63/58.83 c #Conflicts: 1093000 | #Constraints: 31348
58.63/58.83 c #Conflicts: 1094000 | #Constraints: 32348
58.63/58.83 c #Conflicts: 1095000 | #Constraints: 33348
58.63/58.83 c #Conflicts: 1096000 | #Constraints: 34348
58.63/58.83 c #Conflicts: 1097000 | #Constraints: 35348
58.63/58.83 c #Conflicts: 1098000 | #Constraints: 36348
58.63/58.83 c #Conflicts: 1099000 | #Constraints: 37348
58.63/58.83 c #Conflicts: 1100000 | #Constraints: 38348
58.63/58.83 c #Conflicts: 1101000 | #Constraints: 39348
58.63/58.83 c #Conflicts: 1102000 | #Constraints: 40348
58.63/58.83 c #Conflicts: 1103000 | #Constraints: 41348
58.63/58.83 c #Conflicts: 1104000 | #Constraints: 42348
58.63/58.83 c INPROCESSING
58.63/58.83 c GARBAGE COLLECT
58.63/58.83 c rational objective 300.5
60.32/60.58 c #Conflicts: 1105000 | #Constraints: 22542
60.32/60.58 c #Conflicts: 1106000 | #Constraints: 23542
60.32/60.58 c #Conflicts: 1107000 | #Constraints: 24542
60.32/60.58 c #Conflicts: 1108000 | #Constraints: 25542
60.32/60.58 c #Conflicts: 1109000 | #Constraints: 26542
60.32/60.58 c #Conflicts: 1110000 | #Constraints: 27542
60.32/60.58 c #Conflicts: 1111000 | #Constraints: 28542
60.32/60.58 c #Conflicts: 1112000 | #Constraints: 29542
60.32/60.58 c #Conflicts: 1113000 | #Constraints: 30542
60.32/60.58 c #Conflicts: 1114000 | #Constraints: 31542
60.32/60.58 c #Conflicts: 1115000 | #Constraints: 32542
60.32/60.58 c #Conflicts: 1116000 | #Constraints: 33542
60.32/60.58 c #Conflicts: 1117000 | #Constraints: 34542
60.32/60.58 c #Conflicts: 1118000 | #Constraints: 35542
60.32/60.58 c #Conflicts: 1119000 | #Constraints: 36542
60.32/60.58 c #Conflicts: 1120000 | #Constraints: 37542
60.32/60.58 c #Conflicts: 1121000 | #Constraints: 38542
60.32/60.58 c #Conflicts: 1122000 | #Constraints: 39542
60.32/60.58 c #Conflicts: 1123000 | #Constraints: 40542
60.32/60.58 c #Conflicts: 1124000 | #Constraints: 41542
60.32/60.58 c #Conflicts: 1125000 | #Constraints: 42542
60.32/60.58 c INPROCESSING
60.32/60.58 c GARBAGE COLLECT
60.32/60.58 c rational objective 300.5
61.52/61.77 c #Conflicts: 1126000 | #Constraints: 22542
61.52/61.77 c #Conflicts: 1127000 | #Constraints: 23542
61.52/61.77 c #Conflicts: 1128000 | #Constraints: 24542
61.52/61.77 c #Conflicts: 1129000 | #Constraints: 25542
61.52/61.77 c #Conflicts: 1130000 | #Constraints: 26542
61.52/61.77 c #Conflicts: 1131000 | #Constraints: 27542
61.52/61.77 c #Conflicts: 1132000 | #Constraints: 28542
61.52/61.77 c #Conflicts: 1133000 | #Constraints: 29542
61.52/61.77 c #Conflicts: 1134000 | #Constraints: 30542
61.52/61.77 c #Conflicts: 1135000 | #Constraints: 31542
61.52/61.77 c #Conflicts: 1136000 | #Constraints: 32542
61.52/61.77 c #Conflicts: 1137000 | #Constraints: 33542
61.52/61.77 c #Conflicts: 1138000 | #Constraints: 34542
61.52/61.77 c #Conflicts: 1139000 | #Constraints: 35542
61.52/61.77 c #Conflicts: 1140000 | #Constraints: 36542
61.52/61.77 c #Conflicts: 1141000 | #Constraints: 37542
61.52/61.77 c #Conflicts: 1142000 | #Constraints: 38542
61.52/61.77 c #Conflicts: 1143000 | #Constraints: 39542
61.52/61.77 c #Conflicts: 1144000 | #Constraints: 40542
61.52/61.77 c #Conflicts: 1145000 | #Constraints: 41542
61.52/61.77 c #Conflicts: 1146000 | #Constraints: 42542
61.52/61.77 c INPROCESSING
61.52/61.77 c GARBAGE COLLECT
61.52/61.77 c rational objective 300.5
62.82/63.08 c #Conflicts: 1147000 | #Constraints: 22340
62.82/63.08 c #Conflicts: 1148000 | #Constraints: 23340
62.82/63.08 c #Conflicts: 1149000 | #Constraints: 24340
62.82/63.08 c #Conflicts: 1150000 | #Constraints: 25340
62.82/63.08 c #Conflicts: 1151000 | #Constraints: 26340
62.82/63.08 c #Conflicts: 1152000 | #Constraints: 27340
62.82/63.08 c #Conflicts: 1153000 | #Constraints: 28340
62.82/63.08 c #Conflicts: 1154000 | #Constraints: 29340
62.82/63.08 c #Conflicts: 1155000 | #Constraints: 30340
62.82/63.08 c #Conflicts: 1156000 | #Constraints: 31340
62.82/63.08 c #Conflicts: 1157000 | #Constraints: 32340
62.82/63.08 c #Conflicts: 1158000 | #Constraints: 33340
62.82/63.08 c #Conflicts: 1159000 | #Constraints: 34340
62.82/63.08 c #Conflicts: 1160000 | #Constraints: 35340
62.82/63.08 c #Conflicts: 1161000 | #Constraints: 36340
62.82/63.08 c #Conflicts: 1162000 | #Constraints: 37340
62.82/63.08 c #Conflicts: 1163000 | #Constraints: 38340
62.82/63.08 c #Conflicts: 1164000 | #Constraints: 39340
62.82/63.08 c #Conflicts: 1165000 | #Constraints: 40340
62.82/63.08 c #Conflicts: 1166000 | #Constraints: 41340
62.82/63.08 c #Conflicts: 1167000 | #Constraints: 42340
62.82/63.08 c #Conflicts: 1168000 | #Constraints: 43340
62.82/63.08 c INPROCESSING
62.82/63.08 c GARBAGE COLLECT
62.82/63.08 c rational objective 300.5
64.12/64.31 c #Conflicts: 1169000 | #Constraints: 22939
64.12/64.31 c #Conflicts: 1170000 | #Constraints: 23939
64.12/64.31 c #Conflicts: 1171000 | #Constraints: 24939
64.12/64.31 c #Conflicts: 1172000 | #Constraints: 25939
64.12/64.31 c #Conflicts: 1173000 | #Constraints: 26939
64.12/64.31 c #Conflicts: 1174000 | #Constraints: 27939
64.12/64.31 c #Conflicts: 1175000 | #Constraints: 28939
64.12/64.31 c #Conflicts: 1176000 | #Constraints: 29939
64.12/64.31 c #Conflicts: 1177000 | #Constraints: 30939
64.12/64.31 c #Conflicts: 1178000 | #Constraints: 31939
64.12/64.31 c #Conflicts: 1179000 | #Constraints: 32939
64.12/64.31 c #Conflicts: 1180000 | #Constraints: 33939
64.12/64.31 c #Conflicts: 1181000 | #Constraints: 34939
64.12/64.31 c #Conflicts: 1182000 | #Constraints: 35939
64.12/64.31 c #Conflicts: 1183000 | #Constraints: 36939
64.12/64.31 c #Conflicts: 1184000 | #Constraints: 37939
64.12/64.31 c #Conflicts: 1185000 | #Constraints: 38939
64.12/64.31 c #Conflicts: 1186000 | #Constraints: 39939
64.12/64.31 c #Conflicts: 1187000 | #Constraints: 40939
64.12/64.31 c #Conflicts: 1188000 | #Constraints: 41939
64.12/64.31 c #Conflicts: 1189000 | #Constraints: 42939
64.12/64.31 c #Conflicts: 1190000 | #Constraints: 43939
64.12/64.31 c INPROCESSING
64.12/64.31 c GARBAGE COLLECT
64.12/64.31 c rational objective 300.5
65.41/65.66 c #Conflicts: 1191000 | #Constraints: 23345
65.41/65.66 c #Conflicts: 1192000 | #Constraints: 24345
65.41/65.66 c #Conflicts: 1193000 | #Constraints: 25345
65.41/65.66 c #Conflicts: 1194000 | #Constraints: 26345
65.41/65.66 c #Conflicts: 1195000 | #Constraints: 27345
65.41/65.66 c #Conflicts: 1196000 | #Constraints: 28345
65.41/65.66 c #Conflicts: 1197000 | #Constraints: 29345
65.41/65.66 c #Conflicts: 1198000 | #Constraints: 30345
65.41/65.66 c #Conflicts: 1199000 | #Constraints: 31345
65.41/65.66 c #Conflicts: 1200000 | #Constraints: 32345
65.41/65.66 c #Conflicts: 1201000 | #Constraints: 33345
65.41/65.66 c #Conflicts: 1202000 | #Constraints: 34345
65.41/65.66 c #Conflicts: 1203000 | #Constraints: 35345
65.41/65.66 c #Conflicts: 1204000 | #Constraints: 36345
65.41/65.66 c #Conflicts: 1205000 | #Constraints: 37345
65.41/65.66 c #Conflicts: 1206000 | #Constraints: 38345
65.41/65.66 c #Conflicts: 1207000 | #Constraints: 39345
65.41/65.66 c #Conflicts: 1208000 | #Constraints: 40345
65.41/65.66 c #Conflicts: 1209000 | #Constraints: 41345
65.41/65.66 c #Conflicts: 1210000 | #Constraints: 42345
65.41/65.66 c #Conflicts: 1211000 | #Constraints: 43345
65.41/65.66 c #Conflicts: 1212000 | #Constraints: 44345
65.41/65.66 c INPROCESSING
65.41/65.66 c GARBAGE COLLECT
65.41/65.66 c rational objective 300.5
67.00/67.21 c #Conflicts: 1213000 | #Constraints: 23538
67.00/67.21 c #Conflicts: 1214000 | #Constraints: 24538
67.00/67.21 c #Conflicts: 1215000 | #Constraints: 25538
67.00/67.21 c #Conflicts: 1216000 | #Constraints: 26538
67.00/67.21 c #Conflicts: 1217000 | #Constraints: 27538
67.00/67.21 c #Conflicts: 1218000 | #Constraints: 28538
67.00/67.21 c #Conflicts: 1219000 | #Constraints: 29538
67.00/67.21 c #Conflicts: 1220000 | #Constraints: 30538
67.00/67.21 c #Conflicts: 1221000 | #Constraints: 31538
67.00/67.21 c #Conflicts: 1222000 | #Constraints: 32538
67.00/67.21 c #Conflicts: 1223000 | #Constraints: 33538
67.00/67.21 c #Conflicts: 1224000 | #Constraints: 34538
67.00/67.21 c #Conflicts: 1225000 | #Constraints: 35538
67.00/67.21 c #Conflicts: 1226000 | #Constraints: 36538
67.00/67.21 c #Conflicts: 1227000 | #Constraints: 37538
67.00/67.21 c #Conflicts: 1228000 | #Constraints: 38538
67.00/67.21 c #Conflicts: 1229000 | #Constraints: 39538
67.00/67.21 c #Conflicts: 1230000 | #Constraints: 40538
67.00/67.21 c #Conflicts: 1231000 | #Constraints: 41538
67.00/67.21 c #Conflicts: 1232000 | #Constraints: 42538
67.00/67.21 c #Conflicts: 1233000 | #Constraints: 43538
67.00/67.21 c #Conflicts: 1234000 | #Constraints: 44538
67.00/67.21 c INPROCESSING
67.00/67.21 c GARBAGE COLLECT
67.00/67.21 c rational objective 300.5
68.40/68.60 c #Conflicts: 1235000 | #Constraints: 23537
68.40/68.60 c #Conflicts: 1236000 | #Constraints: 24537
68.40/68.60 c #Conflicts: 1237000 | #Constraints: 25537
68.40/68.60 c #Conflicts: 1238000 | #Constraints: 26537
68.40/68.60 c #Conflicts: 1239000 | #Constraints: 27537
68.40/68.60 c #Conflicts: 1240000 | #Constraints: 28537
68.40/68.60 c #Conflicts: 1241000 | #Constraints: 29537
68.40/68.60 c #Conflicts: 1242000 | #Constraints: 30537
68.40/68.60 c #Conflicts: 1243000 | #Constraints: 31537
68.40/68.60 c #Conflicts: 1244000 | #Constraints: 32537
68.40/68.60 c #Conflicts: 1245000 | #Constraints: 33537
68.40/68.60 c #Conflicts: 1246000 | #Constraints: 34537
68.40/68.60 c #Conflicts: 1247000 | #Constraints: 35537
68.40/68.60 c #Conflicts: 1248000 | #Constraints: 36537
68.40/68.60 c #Conflicts: 1249000 | #Constraints: 37537
68.40/68.60 c #Conflicts: 1250000 | #Constraints: 38537
68.40/68.60 c #Conflicts: 1251000 | #Constraints: 39537
68.40/68.60 c #Conflicts: 1252000 | #Constraints: 40537
68.40/68.60 c #Conflicts: 1253000 | #Constraints: 41537
68.40/68.60 c #Conflicts: 1254000 | #Constraints: 42537
68.40/68.60 c #Conflicts: 1255000 | #Constraints: 43537
68.40/68.60 c #Conflicts: 1256000 | #Constraints: 44537
68.40/68.60 c INPROCESSING
68.40/68.60 c GARBAGE COLLECT
68.40/68.60 c rational objective 300.5
69.90/70.12 c #Conflicts: 1257000 | #Constraints: 23342
69.90/70.12 c #Conflicts: 1258000 | #Constraints: 24342
69.90/70.12 c #Conflicts: 1259000 | #Constraints: 25342
69.90/70.12 c #Conflicts: 1260000 | #Constraints: 26342
69.90/70.12 c #Conflicts: 1261000 | #Constraints: 27342
69.90/70.12 c #Conflicts: 1262000 | #Constraints: 28342
69.90/70.12 c #Conflicts: 1263000 | #Constraints: 29342
69.90/70.12 c #Conflicts: 1264000 | #Constraints: 30342
69.90/70.12 c #Conflicts: 1265000 | #Constraints: 31342
69.90/70.12 c #Conflicts: 1266000 | #Constraints: 32342
69.90/70.12 c #Conflicts: 1267000 | #Constraints: 33342
69.90/70.12 c #Conflicts: 1268000 | #Constraints: 34342
69.90/70.12 c #Conflicts: 1269000 | #Constraints: 35342
69.90/70.12 c #Conflicts: 1270000 | #Constraints: 36342
69.90/70.12 c #Conflicts: 1271000 | #Constraints: 37342
69.90/70.12 c #Conflicts: 1272000 | #Constraints: 38342
69.90/70.12 c #Conflicts: 1273000 | #Constraints: 39342
69.90/70.12 c #Conflicts: 1274000 | #Constraints: 40342
69.90/70.12 c #Conflicts: 1275000 | #Constraints: 41342
69.90/70.12 c #Conflicts: 1276000 | #Constraints: 42342
69.90/70.12 c #Conflicts: 1277000 | #Constraints: 43342
69.90/70.12 c #Conflicts: 1278000 | #Constraints: 44342
69.90/70.12 c #Conflicts: 1279000 | #Constraints: 45342
69.90/70.12 c INPROCESSING
69.90/70.12 c GARBAGE COLLECT
69.90/70.12 c rational objective 300.5
71.19/71.48 c #Conflicts: 1280000 | #Constraints: 23934
71.19/71.48 c #Conflicts: 1281000 | #Constraints: 24934
71.19/71.48 c #Conflicts: 1282000 | #Constraints: 25934
71.19/71.48 c #Conflicts: 1283000 | #Constraints: 26934
71.19/71.48 c #Conflicts: 1284000 | #Constraints: 27934
71.19/71.48 c #Conflicts: 1285000 | #Constraints: 28934
71.19/71.48 c #Conflicts: 1286000 | #Constraints: 29934
71.19/71.48 c #Conflicts: 1287000 | #Constraints: 30934
71.19/71.48 c #Conflicts: 1288000 | #Constraints: 31934
71.19/71.48 c #Conflicts: 1289000 | #Constraints: 32934
71.19/71.48 c #Conflicts: 1290000 | #Constraints: 33934
71.19/71.48 c #Conflicts: 1291000 | #Constraints: 34934
71.19/71.48 c #Conflicts: 1292000 | #Constraints: 35934
71.19/71.48 c #Conflicts: 1293000 | #Constraints: 36934
71.19/71.48 c #Conflicts: 1294000 | #Constraints: 37934
71.19/71.48 c #Conflicts: 1295000 | #Constraints: 38934
71.19/71.48 c #Conflicts: 1296000 | #Constraints: 39934
71.19/71.48 c #Conflicts: 1297000 | #Constraints: 40934
71.19/71.48 c #Conflicts: 1298000 | #Constraints: 41934
71.19/71.48 c #Conflicts: 1299000 | #Constraints: 42934
71.19/71.48 c #Conflicts: 1300000 | #Constraints: 43934
71.19/71.48 c #Conflicts: 1301000 | #Constraints: 44934
71.19/71.48 c #Conflicts: 1302000 | #Constraints: 45934
71.19/71.48 c INPROCESSING
71.19/71.48 c GARBAGE COLLECT
71.19/71.48 c rational objective 300.5
72.58/72.85 c #Conflicts: 1303000 | #Constraints: 24344
72.58/72.85 c #Conflicts: 1304000 | #Constraints: 25344
72.58/72.85 c #Conflicts: 1305000 | #Constraints: 26344
72.58/72.85 c #Conflicts: 1306000 | #Constraints: 27344
72.58/72.85 c #Conflicts: 1307000 | #Constraints: 28344
72.58/72.85 c #Conflicts: 1308000 | #Constraints: 29344
72.58/72.85 c #Conflicts: 1309000 | #Constraints: 30344
72.58/72.85 c #Conflicts: 1310000 | #Constraints: 31344
72.58/72.85 c #Conflicts: 1311000 | #Constraints: 32344
72.58/72.85 c #Conflicts: 1312000 | #Constraints: 33344
72.58/72.85 c #Conflicts: 1313000 | #Constraints: 34344
72.58/72.85 c #Conflicts: 1314000 | #Constraints: 35344
72.58/72.85 c #Conflicts: 1315000 | #Constraints: 36344
72.58/72.85 c #Conflicts: 1316000 | #Constraints: 37344
72.58/72.85 c #Conflicts: 1317000 | #Constraints: 38344
72.58/72.85 c #Conflicts: 1318000 | #Constraints: 39344
72.58/72.85 c #Conflicts: 1319000 | #Constraints: 40344
72.58/72.85 c #Conflicts: 1320000 | #Constraints: 41344
72.58/72.85 c #Conflicts: 1321000 | #Constraints: 42344
72.58/72.85 c #Conflicts: 1322000 | #Constraints: 43344
72.58/72.85 c #Conflicts: 1323000 | #Constraints: 44344
72.58/72.85 c #Conflicts: 1324000 | #Constraints: 45344
72.58/72.85 c #Conflicts: 1325000 | #Constraints: 46344
72.58/72.85 c INPROCESSING
72.58/72.85 c GARBAGE COLLECT
72.58/72.85 c rational objective 300.5
74.48/74.71 c #Conflicts: 1326000 | #Constraints: 24558
74.48/74.71 c #Conflicts: 1327000 | #Constraints: 25558
74.48/74.71 c #Conflicts: 1328000 | #Constraints: 26558
74.48/74.71 c #Conflicts: 1329000 | #Constraints: 27558
74.48/74.71 c #Conflicts: 1330000 | #Constraints: 28558
74.48/74.71 c #Conflicts: 1331000 | #Constraints: 29558
74.48/74.71 c #Conflicts: 1332000 | #Constraints: 30558
74.48/74.71 c #Conflicts: 1333000 | #Constraints: 31558
74.48/74.71 c #Conflicts: 1334000 | #Constraints: 32558
74.48/74.71 c #Conflicts: 1335000 | #Constraints: 33558
74.48/74.71 c #Conflicts: 1336000 | #Constraints: 34558
74.48/74.71 c #Conflicts: 1337000 | #Constraints: 35558
74.48/74.71 c #Conflicts: 1338000 | #Constraints: 36558
74.48/74.71 c #Conflicts: 1339000 | #Constraints: 37558
74.48/74.71 c #Conflicts: 1340000 | #Constraints: 38558
74.48/74.71 c #Conflicts: 1341000 | #Constraints: 39558
74.48/74.71 c #Conflicts: 1342000 | #Constraints: 40558
74.48/74.71 c #Conflicts: 1343000 | #Constraints: 41558
74.48/74.71 c #Conflicts: 1344000 | #Constraints: 42558
74.48/74.71 c #Conflicts: 1345000 | #Constraints: 43558
74.48/74.71 c #Conflicts: 1346000 | #Constraints: 44558
74.48/74.71 c #Conflicts: 1347000 | #Constraints: 45558
74.48/74.71 c #Conflicts: 1348000 | #Constraints: 46558
74.48/74.71 c INPROCESSING
74.48/74.71 c GARBAGE COLLECT
74.48/74.71 c rational objective 300.5
75.89/76.18 c #Conflicts: 1349000 | #Constraints: 24549
75.89/76.18 c #Conflicts: 1350000 | #Constraints: 25549
75.89/76.18 c #Conflicts: 1351000 | #Constraints: 26549
75.89/76.18 c #Conflicts: 1352000 | #Constraints: 27549
75.89/76.18 c #Conflicts: 1353000 | #Constraints: 28549
75.89/76.18 c #Conflicts: 1354000 | #Constraints: 29549
75.89/76.18 c #Conflicts: 1355000 | #Constraints: 30549
75.89/76.18 c #Conflicts: 1356000 | #Constraints: 31549
75.89/76.18 c #Conflicts: 1357000 | #Constraints: 32549
75.89/76.18 c #Conflicts: 1358000 | #Constraints: 33549
75.89/76.18 c #Conflicts: 1359000 | #Constraints: 34549
75.89/76.18 c #Conflicts: 1360000 | #Constraints: 35549
75.89/76.18 c #Conflicts: 1361000 | #Constraints: 36549
75.89/76.18 c #Conflicts: 1362000 | #Constraints: 37549
75.89/76.18 c #Conflicts: 1363000 | #Constraints: 38549
75.89/76.18 c #Conflicts: 1364000 | #Constraints: 39549
75.89/76.18 c #Conflicts: 1365000 | #Constraints: 40549
75.89/76.18 c #Conflicts: 1366000 | #Constraints: 41549
75.89/76.18 c #Conflicts: 1367000 | #Constraints: 42549
75.89/76.18 c #Conflicts: 1368000 | #Constraints: 43549
75.89/76.18 c #Conflicts: 1369000 | #Constraints: 44549
75.89/76.18 c #Conflicts: 1370000 | #Constraints: 45549
75.89/76.18 c #Conflicts: 1371000 | #Constraints: 46549
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c rational objective 300.5
77.38/77.68 c #Conflicts: 1372000 | #Constraints: 24346
77.38/77.68 c #Conflicts: 1373000 | #Constraints: 25346
77.38/77.68 c #Conflicts: 1374000 | #Constraints: 26346
77.38/77.68 c #Conflicts: 1375000 | #Constraints: 27346
77.38/77.68 c #Conflicts: 1376000 | #Constraints: 28346
77.38/77.68 c #Conflicts: 1377000 | #Constraints: 29346
77.38/77.68 c #Conflicts: 1378000 | #Constraints: 30346
77.38/77.68 c #Conflicts: 1379000 | #Constraints: 31346
77.38/77.68 c #Conflicts: 1380000 | #Constraints: 32346
77.38/77.68 c #Conflicts: 1381000 | #Constraints: 33346
77.38/77.68 c #Conflicts: 1382000 | #Constraints: 34346
77.38/77.68 c #Conflicts: 1383000 | #Constraints: 35346
77.38/77.68 c #Conflicts: 1384000 | #Constraints: 36346
77.38/77.68 c #Conflicts: 1385000 | #Constraints: 37346
77.38/77.68 c #Conflicts: 1386000 | #Constraints: 38346
77.38/77.68 c #Conflicts: 1387000 | #Constraints: 39346
77.38/77.68 c #Conflicts: 1388000 | #Constraints: 40346
77.38/77.68 c #Conflicts: 1389000 | #Constraints: 41346
77.38/77.68 c #Conflicts: 1390000 | #Constraints: 42346
77.38/77.68 c #Conflicts: 1391000 | #Constraints: 43346
77.38/77.68 c #Conflicts: 1392000 | #Constraints: 44346
77.38/77.68 c #Conflicts: 1393000 | #Constraints: 45346
77.38/77.68 c #Conflicts: 1394000 | #Constraints: 46346
77.38/77.68 c #Conflicts: 1395000 | #Constraints: 47346
77.38/77.68 c INPROCESSING
77.38/77.68 c GARBAGE COLLECT
77.38/77.68 c rational objective 300.5
78.97/79.23 c #Conflicts: 1396000 | #Constraints: 24955
78.97/79.23 c #Conflicts: 1397000 | #Constraints: 25955
78.97/79.23 c #Conflicts: 1398000 | #Constraints: 26955
78.97/79.23 c #Conflicts: 1399000 | #Constraints: 27955
78.97/79.23 c #Conflicts: 1400000 | #Constraints: 28955
78.97/79.23 c #Conflicts: 1401000 | #Constraints: 29955
78.97/79.23 c #Conflicts: 1402000 | #Constraints: 30955
78.97/79.23 c #Conflicts: 1403000 | #Constraints: 31955
78.97/79.23 c #Conflicts: 1404000 | #Constraints: 32955
78.97/79.23 c #Conflicts: 1405000 | #Constraints: 33955
78.97/79.23 c #Conflicts: 1406000 | #Constraints: 34955
78.97/79.23 c #Conflicts: 1407000 | #Constraints: 35955
78.97/79.23 c #Conflicts: 1408000 | #Constraints: 36955
78.97/79.23 c #Conflicts: 1409000 | #Constraints: 37955
78.97/79.23 c #Conflicts: 1410000 | #Constraints: 38955
78.97/79.23 c #Conflicts: 1411000 | #Constraints: 39955
78.97/79.23 c #Conflicts: 1412000 | #Constraints: 40955
78.97/79.23 c #Conflicts: 1413000 | #Constraints: 41955
78.97/79.23 c #Conflicts: 1414000 | #Constraints: 42955
78.97/79.23 c #Conflicts: 1415000 | #Constraints: 43955
78.97/79.23 c #Conflicts: 1416000 | #Constraints: 44955
78.97/79.23 c #Conflicts: 1417000 | #Constraints: 45955
78.97/79.23 c #Conflicts: 1418000 | #Constraints: 46955
78.97/79.23 c #Conflicts: 1419000 | #Constraints: 47955
78.97/79.23 c INPROCESSING
78.97/79.23 c GARBAGE COLLECT
78.97/79.23 c rational objective 300.5
80.37/80.69 c #Conflicts: 1420000 | #Constraints: 25350
80.37/80.69 c #Conflicts: 1421000 | #Constraints: 26350
80.37/80.69 c #Conflicts: 1422000 | #Constraints: 27350
80.37/80.69 c #Conflicts: 1423000 | #Constraints: 28350
80.37/80.69 c #Conflicts: 1424000 | #Constraints: 29350
80.37/80.69 c #Conflicts: 1425000 | #Constraints: 30350
80.37/80.69 c #Conflicts: 1426000 | #Constraints: 31350
80.37/80.69 c #Conflicts: 1427000 | #Constraints: 32350
80.37/80.69 c #Conflicts: 1428000 | #Constraints: 33350
80.37/80.69 c #Conflicts: 1429000 | #Constraints: 34350
80.37/80.69 c #Conflicts: 1430000 | #Constraints: 35350
80.37/80.69 c #Conflicts: 1431000 | #Constraints: 36350
80.37/80.69 c #Conflicts: 1432000 | #Constraints: 37350
80.37/80.69 c #Conflicts: 1433000 | #Constraints: 38350
80.37/80.69 c #Conflicts: 1434000 | #Constraints: 39350
80.37/80.69 c #Conflicts: 1435000 | #Constraints: 40350
80.37/80.69 c #Conflicts: 1436000 | #Constraints: 41350
80.37/80.69 c #Conflicts: 1437000 | #Constraints: 42350
80.37/80.69 c #Conflicts: 1438000 | #Constraints: 43350
80.37/80.69 c #Conflicts: 1439000 | #Constraints: 44350
80.37/80.69 c #Conflicts: 1440000 | #Constraints: 45350
80.37/80.69 c #Conflicts: 1441000 | #Constraints: 46350
80.37/80.69 c #Conflicts: 1442000 | #Constraints: 47350
80.37/80.69 c #Conflicts: 1443000 | #Constraints: 48350
80.37/80.69 c INPROCESSING
80.37/80.69 c GARBAGE COLLECT
80.37/80.69 c rational objective 300.5
81.96/82.21 c #Conflicts: 1444000 | #Constraints: 25554
81.96/82.21 c #Conflicts: 1445000 | #Constraints: 26554
81.96/82.21 c #Conflicts: 1446000 | #Constraints: 27554
81.96/82.21 c #Conflicts: 1447000 | #Constraints: 28554
81.96/82.21 c #Conflicts: 1448000 | #Constraints: 29554
81.96/82.21 c #Conflicts: 1449000 | #Constraints: 30554
81.96/82.21 c #Conflicts: 1450000 | #Constraints: 31554
81.96/82.21 c #Conflicts: 1451000 | #Constraints: 32554
81.96/82.21 c #Conflicts: 1452000 | #Constraints: 33554
81.96/82.21 c #Conflicts: 1453000 | #Constraints: 34554
81.96/82.21 c #Conflicts: 1454000 | #Constraints: 35554
81.96/82.21 c #Conflicts: 1455000 | #Constraints: 36554
81.96/82.21 c #Conflicts: 1456000 | #Constraints: 37554
81.96/82.21 c #Conflicts: 1457000 | #Constraints: 38554
81.96/82.21 c #Conflicts: 1458000 | #Constraints: 39554
81.96/82.21 c #Conflicts: 1459000 | #Constraints: 40554
81.96/82.21 c #Conflicts: 1460000 | #Constraints: 41554
81.96/82.21 c #Conflicts: 1461000 | #Constraints: 42554
81.96/82.21 c #Conflicts: 1462000 | #Constraints: 43554
81.96/82.21 c #Conflicts: 1463000 | #Constraints: 44554
81.96/82.21 c #Conflicts: 1464000 | #Constraints: 45554
81.96/82.21 c #Conflicts: 1465000 | #Constraints: 46554
81.96/82.21 c #Conflicts: 1466000 | #Constraints: 47554
81.96/82.21 c #Conflicts: 1467000 | #Constraints: 48554
81.96/82.21 c INPROCESSING
81.96/82.21 c GARBAGE COLLECT
81.96/82.21 c rational objective 300.5
83.46/83.71 c #Conflicts: 1468000 | #Constraints: 25552
83.46/83.71 c #Conflicts: 1469000 | #Constraints: 26552
83.46/83.71 c #Conflicts: 1470000 | #Constraints: 27552
83.46/83.71 c #Conflicts: 1471000 | #Constraints: 28552
83.46/83.71 c #Conflicts: 1472000 | #Constraints: 29552
83.46/83.71 c #Conflicts: 1473000 | #Constraints: 30552
83.46/83.71 c #Conflicts: 1474000 | #Constraints: 31552
83.46/83.71 c #Conflicts: 1475000 | #Constraints: 32552
83.46/83.71 c #Conflicts: 1476000 | #Constraints: 33552
83.46/83.71 c #Conflicts: 1477000 | #Constraints: 34552
83.46/83.71 c #Conflicts: 1478000 | #Constraints: 35552
83.46/83.71 c #Conflicts: 1479000 | #Constraints: 36552
83.46/83.71 c #Conflicts: 1480000 | #Constraints: 37552
83.46/83.71 c #Conflicts: 1481000 | #Constraints: 38552
83.46/83.71 c #Conflicts: 1482000 | #Constraints: 39552
83.46/83.71 c #Conflicts: 1483000 | #Constraints: 40552
83.46/83.71 c #Conflicts: 1484000 | #Constraints: 41552
83.46/83.71 c #Conflicts: 1485000 | #Constraints: 42552
83.46/83.71 c #Conflicts: 1486000 | #Constraints: 43552
83.46/83.71 c #Conflicts: 1487000 | #Constraints: 44552
83.46/83.71 c #Conflicts: 1488000 | #Constraints: 45552
83.46/83.71 c #Conflicts: 1489000 | #Constraints: 46552
83.46/83.71 c #Conflicts: 1490000 | #Constraints: 47552
83.46/83.71 c #Conflicts: 1491000 | #Constraints: 48552
83.46/83.71 c INPROCESSING
83.46/83.71 c GARBAGE COLLECT
83.46/83.71 c rational objective 300.5
84.87/85.17 c #Conflicts: 1492000 | #Constraints: 25338
84.87/85.17 c #Conflicts: 1493000 | #Constraints: 26338
84.87/85.17 c #Conflicts: 1494000 | #Constraints: 27338
84.87/85.17 c #Conflicts: 1495000 | #Constraints: 28338
84.87/85.17 c #Conflicts: 1496000 | #Constraints: 29338
84.87/85.17 c #Conflicts: 1497000 | #Constraints: 30338
84.87/85.17 c #Conflicts: 1498000 | #Constraints: 31338
84.87/85.17 c #Conflicts: 1499000 | #Constraints: 32338
84.87/85.17 c #Conflicts: 1500000 | #Constraints: 33338
84.87/85.17 c #Conflicts: 1501000 | #Constraints: 34338
84.87/85.17 c #Conflicts: 1502000 | #Constraints: 35338
84.87/85.17 c #Conflicts: 1503000 | #Constraints: 36338
84.87/85.17 c #Conflicts: 1504000 | #Constraints: 37338
84.87/85.17 c #Conflicts: 1505000 | #Constraints: 38338
84.87/85.17 c #Conflicts: 1506000 | #Constraints: 39338
84.87/85.17 c #Conflicts: 1507000 | #Constraints: 40338
84.87/85.17 c #Conflicts: 1508000 | #Constraints: 41338
84.87/85.17 c #Conflicts: 1509000 | #Constraints: 42338
84.87/85.17 c #Conflicts: 1510000 | #Constraints: 43338
84.87/85.17 c #Conflicts: 1511000 | #Constraints: 44338
84.87/85.17 c #Conflicts: 1512000 | #Constraints: 45338
84.87/85.17 c #Conflicts: 1513000 | #Constraints: 46338
84.87/85.17 c #Conflicts: 1514000 | #Constraints: 47338
84.87/85.17 c #Conflicts: 1515000 | #Constraints: 48338
84.87/85.17 c #Conflicts: 1516000 | #Constraints: 49338
84.87/85.17 c INPROCESSING
84.87/85.17 c GARBAGE COLLECT
84.87/85.17 c rational objective 300.5
86.35/86.65 c #Conflicts: 1517000 | #Constraints: 25936
86.35/86.65 c #Conflicts: 1518000 | #Constraints: 26936
86.35/86.65 c #Conflicts: 1519000 | #Constraints: 27936
86.35/86.65 c #Conflicts: 1520000 | #Constraints: 28936
86.35/86.65 c #Conflicts: 1521000 | #Constraints: 29936
86.35/86.65 c #Conflicts: 1522000 | #Constraints: 30936
86.35/86.65 c #Conflicts: 1523000 | #Constraints: 31936
86.35/86.65 c #Conflicts: 1524000 | #Constraints: 32936
86.35/86.65 c #Conflicts: 1525000 | #Constraints: 33936
86.35/86.65 c #Conflicts: 1526000 | #Constraints: 34936
86.35/86.65 c #Conflicts: 1527000 | #Constraints: 35936
86.35/86.65 c #Conflicts: 1528000 | #Constraints: 36936
86.35/86.65 c #Conflicts: 1529000 | #Constraints: 37936
86.35/86.65 c #Conflicts: 1530000 | #Constraints: 38936
86.35/86.65 c #Conflicts: 1531000 | #Constraints: 39936
86.35/86.65 c #Conflicts: 1532000 | #Constraints: 40936
86.35/86.65 c #Conflicts: 1533000 | #Constraints: 41936
86.35/86.65 c #Conflicts: 1534000 | #Constraints: 42936
86.35/86.65 c #Conflicts: 1535000 | #Constraints: 43936
86.35/86.65 c #Conflicts: 1536000 | #Constraints: 44936
86.35/86.65 c #Conflicts: 1537000 | #Constraints: 45936
86.35/86.65 c #Conflicts: 1538000 | #Constraints: 46936
86.35/86.65 c #Conflicts: 1539000 | #Constraints: 47936
86.35/86.65 c #Conflicts: 1540000 | #Constraints: 48936
86.35/86.65 c #Conflicts: 1541000 | #Constraints: 49936
86.35/86.65 c INPROCESSING
86.35/86.65 c GARBAGE COLLECT
86.35/86.65 c rational objective 300.5
87.85/88.12 c #Conflicts: 1542000 | #Constraints: 26349
87.85/88.12 c #Conflicts: 1543000 | #Constraints: 27349
87.85/88.12 c #Conflicts: 1544000 | #Constraints: 28349
87.85/88.12 c #Conflicts: 1545000 | #Constraints: 29349
87.85/88.12 c #Conflicts: 1546000 | #Constraints: 30349
87.85/88.12 c #Conflicts: 1547000 | #Constraints: 31349
87.85/88.12 c #Conflicts: 1548000 | #Constraints: 32349
87.85/88.12 c #Conflicts: 1549000 | #Constraints: 33349
87.85/88.12 c #Conflicts: 1550000 | #Constraints: 34349
87.85/88.12 c #Conflicts: 1551000 | #Constraints: 35349
87.85/88.12 c #Conflicts: 1552000 | #Constraints: 36349
87.85/88.12 c #Conflicts: 1553000 | #Constraints: 37349
87.85/88.12 c #Conflicts: 1554000 | #Constraints: 38349
87.85/88.12 c #Conflicts: 1555000 | #Constraints: 39349
87.85/88.12 c #Conflicts: 1556000 | #Constraints: 40349
87.85/88.12 c #Conflicts: 1557000 | #Constraints: 41349
87.85/88.12 c #Conflicts: 1558000 | #Constraints: 42349
87.85/88.12 c #Conflicts: 1559000 | #Constraints: 43349
87.85/88.12 c #Conflicts: 1560000 | #Constraints: 44349
87.85/88.12 c #Conflicts: 1561000 | #Constraints: 45349
87.85/88.12 c #Conflicts: 1562000 | #Constraints: 46349
87.85/88.12 c #Conflicts: 1563000 | #Constraints: 47349
87.85/88.12 c #Conflicts: 1564000 | #Constraints: 48349
87.85/88.12 c #Conflicts: 1565000 | #Constraints: 49349
87.85/88.12 c #Conflicts: 1566000 | #Constraints: 50349
87.85/88.12 c INPROCESSING
87.85/88.12 c GARBAGE COLLECT
87.85/88.12 c rational objective 300.5
89.15/89.48 c #Conflicts: 1567000 | #Constraints: 26552
89.15/89.48 c #Conflicts: 1568000 | #Constraints: 27552
89.15/89.48 c #Conflicts: 1569000 | #Constraints: 28552
89.15/89.48 c #Conflicts: 1570000 | #Constraints: 29552
89.15/89.48 c #Conflicts: 1571000 | #Constraints: 30552
89.15/89.48 c #Conflicts: 1572000 | #Constraints: 31552
89.15/89.48 c #Conflicts: 1573000 | #Constraints: 32552
89.15/89.48 c #Conflicts: 1574000 | #Constraints: 33552
89.15/89.48 c #Conflicts: 1575000 | #Constraints: 34552
89.15/89.48 c #Conflicts: 1576000 | #Constraints: 35552
89.15/89.48 c #Conflicts: 1577000 | #Constraints: 36552
89.15/89.48 c #Conflicts: 1578000 | #Constraints: 37552
89.15/89.48 c #Conflicts: 1579000 | #Constraints: 38552
89.15/89.48 c #Conflicts: 1580000 | #Constraints: 39552
89.15/89.48 c #Conflicts: 1581000 | #Constraints: 40552
89.15/89.48 c #Conflicts: 1582000 | #Constraints: 41552
89.15/89.48 c #Conflicts: 1583000 | #Constraints: 42552
89.15/89.48 c #Conflicts: 1584000 | #Constraints: 43552
89.15/89.48 c #Conflicts: 1585000 | #Constraints: 44552
89.15/89.48 c #Conflicts: 1586000 | #Constraints: 45552
89.15/89.48 c #Conflicts: 1587000 | #Constraints: 46552
89.15/89.48 c #Conflicts: 1588000 | #Constraints: 47552
89.15/89.48 c #Conflicts: 1589000 | #Constraints: 48552
89.15/89.48 c #Conflicts: 1590000 | #Constraints: 49552
89.15/89.48 c #Conflicts: 1591000 | #Constraints: 50552
89.15/89.48 c INPROCESSING
89.15/89.48 c GARBAGE COLLECT
89.15/89.48 c rational objective 300.5
91.24/91.53 c #Conflicts: 1592000 | #Constraints: 26549
91.24/91.53 c #Conflicts: 1593000 | #Constraints: 27549
91.24/91.53 c #Conflicts: 1594000 | #Constraints: 28549
91.24/91.53 c #Conflicts: 1595000 | #Constraints: 29549
91.24/91.53 c #Conflicts: 1596000 | #Constraints: 30549
91.24/91.53 c #Conflicts: 1597000 | #Constraints: 31549
91.24/91.53 c #Conflicts: 1598000 | #Constraints: 32549
91.24/91.53 c #Conflicts: 1599000 | #Constraints: 33549
91.24/91.53 c #Conflicts: 1600000 | #Constraints: 34549
91.24/91.53 c #Conflicts: 1601000 | #Constraints: 35549
91.24/91.53 c #Conflicts: 1602000 | #Constraints: 36549
91.24/91.53 c #Conflicts: 1603000 | #Constraints: 37549
91.24/91.53 c #Conflicts: 1604000 | #Constraints: 38549
91.24/91.53 c #Conflicts: 1605000 | #Constraints: 39549
91.24/91.53 c #Conflicts: 1606000 | #Constraints: 40549
91.24/91.53 c #Conflicts: 1607000 | #Constraints: 41549
91.24/91.53 c #Conflicts: 1608000 | #Constraints: 42549
91.24/91.53 c #Conflicts: 1609000 | #Constraints: 43549
91.24/91.53 c #Conflicts: 1610000 | #Constraints: 44549
91.24/91.53 c #Conflicts: 1611000 | #Constraints: 45549
91.24/91.53 c #Conflicts: 1612000 | #Constraints: 46549
91.24/91.53 c #Conflicts: 1613000 | #Constraints: 47549
91.24/91.53 c #Conflicts: 1614000 | #Constraints: 48549
91.24/91.53 c #Conflicts: 1615000 | #Constraints: 49549
91.24/91.53 c #Conflicts: 1616000 | #Constraints: 50549
91.24/91.53 c INPROCESSING
91.24/91.53 c GARBAGE COLLECT
91.24/91.53 c rational objective 300.5
92.54/92.89 c #Conflicts: 1617000 | #Constraints: 26356
92.54/92.89 c #Conflicts: 1618000 | #Constraints: 27356
92.54/92.89 c #Conflicts: 1619000 | #Constraints: 28356
92.54/92.89 c #Conflicts: 1620000 | #Constraints: 29356
92.54/92.89 c #Conflicts: 1621000 | #Constraints: 30356
92.54/92.89 c #Conflicts: 1622000 | #Constraints: 31356
92.54/92.89 c #Conflicts: 1623000 | #Constraints: 32356
92.54/92.89 c #Conflicts: 1624000 | #Constraints: 33356
92.54/92.89 c #Conflicts: 1625000 | #Constraints: 34356
92.54/92.89 c #Conflicts: 1626000 | #Constraints: 35356
92.54/92.89 c #Conflicts: 1627000 | #Constraints: 36356
92.54/92.89 c #Conflicts: 1628000 | #Constraints: 37356
92.54/92.89 c #Conflicts: 1629000 | #Constraints: 38356
92.54/92.89 c #Conflicts: 1630000 | #Constraints: 39356
92.54/92.89 c #Conflicts: 1631000 | #Constraints: 40356
92.54/92.89 c #Conflicts: 1632000 | #Constraints: 41356
92.54/92.89 c #Conflicts: 1633000 | #Constraints: 42356
92.54/92.89 c #Conflicts: 1634000 | #Constraints: 43356
92.54/92.89 c #Conflicts: 1635000 | #Constraints: 44356
92.54/92.89 c #Conflicts: 1636000 | #Constraints: 45356
92.54/92.89 c #Conflicts: 1637000 | #Constraints: 46356
92.54/92.89 c #Conflicts: 1638000 | #Constraints: 47356
92.54/92.89 c #Conflicts: 1639000 | #Constraints: 48356
92.54/92.89 c #Conflicts: 1640000 | #Constraints: 49356
92.54/92.89 c #Conflicts: 1641000 | #Constraints: 50356
92.54/92.89 c #Conflicts: 1642000 | #Constraints: 51356
92.54/92.89 c INPROCESSING
92.54/92.89 c GARBAGE COLLECT
92.54/92.89 c rational objective 300.5
94.23/94.50 c #Conflicts: 1643000 | #Constraints: 26948
94.23/94.50 c #Conflicts: 1644000 | #Constraints: 27948
94.23/94.50 c #Conflicts: 1645000 | #Constraints: 28948
94.23/94.50 c #Conflicts: 1646000 | #Constraints: 29948
94.23/94.50 c #Conflicts: 1647000 | #Constraints: 30948
94.23/94.50 c #Conflicts: 1648000 | #Constraints: 31948
94.23/94.50 c #Conflicts: 1649000 | #Constraints: 32948
94.23/94.50 c #Conflicts: 1650000 | #Constraints: 33948
94.23/94.50 c #Conflicts: 1651000 | #Constraints: 34948
94.23/94.50 c #Conflicts: 1652000 | #Constraints: 35948
94.23/94.50 c #Conflicts: 1653000 | #Constraints: 36948
94.23/94.50 c #Conflicts: 1654000 | #Constraints: 37948
94.23/94.50 c #Conflicts: 1655000 | #Constraints: 38948
94.23/94.50 c #Conflicts: 1656000 | #Constraints: 39948
94.23/94.50 c #Conflicts: 1657000 | #Constraints: 40948
94.23/94.50 c #Conflicts: 1658000 | #Constraints: 41948
94.23/94.50 c #Conflicts: 1659000 | #Constraints: 42948
94.23/94.50 c #Conflicts: 1660000 | #Constraints: 43948
94.23/94.50 c #Conflicts: 1661000 | #Constraints: 44948
94.23/94.50 c #Conflicts: 1662000 | #Constraints: 45948
94.23/94.50 c #Conflicts: 1663000 | #Constraints: 46948
94.23/94.50 c #Conflicts: 1664000 | #Constraints: 47948
94.23/94.50 c #Conflicts: 1665000 | #Constraints: 48948
94.23/94.50 c #Conflicts: 1666000 | #Constraints: 49948
94.23/94.50 c #Conflicts: 1667000 | #Constraints: 50948
94.23/94.50 c #Conflicts: 1668000 | #Constraints: 51948
94.23/94.50 c INPROCESSING
94.23/94.50 c GARBAGE COLLECT
94.23/94.50 c rational objective 300.5
95.73/96.09 c #Conflicts: 1669000 | #Constraints: 27345
95.73/96.09 c #Conflicts: 1670000 | #Constraints: 28345
95.73/96.09 c #Conflicts: 1671000 | #Constraints: 29345
95.73/96.09 c #Conflicts: 1672000 | #Constraints: 30345
95.73/96.09 c #Conflicts: 1673000 | #Constraints: 31345
95.73/96.09 c #Conflicts: 1674000 | #Constraints: 32345
95.73/96.09 c #Conflicts: 1675000 | #Constraints: 33345
95.73/96.09 c #Conflicts: 1676000 | #Constraints: 34345
95.73/96.09 c #Conflicts: 1677000 | #Constraints: 35345
95.73/96.09 c #Conflicts: 1678000 | #Constraints: 36345
95.73/96.09 c #Conflicts: 1679000 | #Constraints: 37345
95.73/96.09 c #Conflicts: 1680000 | #Constraints: 38345
95.73/96.09 c #Conflicts: 1681000 | #Constraints: 39345
95.73/96.09 c #Conflicts: 1682000 | #Constraints: 40345
95.73/96.09 c #Conflicts: 1683000 | #Constraints: 41345
95.73/96.09 c #Conflicts: 1684000 | #Constraints: 42345
95.73/96.09 c #Conflicts: 1685000 | #Constraints: 43345
95.73/96.09 c #Conflicts: 1686000 | #Constraints: 44345
95.73/96.09 c #Conflicts: 1687000 | #Constraints: 45345
95.73/96.09 c #Conflicts: 1688000 | #Constraints: 46345
95.73/96.09 c #Conflicts: 1689000 | #Constraints: 47345
95.73/96.09 c #Conflicts: 1690000 | #Constraints: 48345
95.73/96.09 c #Conflicts: 1691000 | #Constraints: 49345
95.73/96.09 c #Conflicts: 1692000 | #Constraints: 50345
95.73/96.09 c #Conflicts: 1693000 | #Constraints: 51345
95.73/96.09 c #Conflicts: 1694000 | #Constraints: 52345
95.73/96.09 c INPROCESSING
95.73/96.09 c GARBAGE COLLECT
95.73/96.09 c rational objective 300.5
97.53/97.80 c #Conflicts: 1695000 | #Constraints: 27545
97.53/97.80 c #Conflicts: 1696000 | #Constraints: 28545
97.53/97.80 c #Conflicts: 1697000 | #Constraints: 29545
97.53/97.80 c #Conflicts: 1698000 | #Constraints: 30545
97.53/97.80 c #Conflicts: 1699000 | #Constraints: 31545
97.53/97.80 c #Conflicts: 1700000 | #Constraints: 32545
97.53/97.80 c #Conflicts: 1701000 | #Constraints: 33545
97.53/97.80 c #Conflicts: 1702000 | #Constraints: 34545
97.53/97.80 c #Conflicts: 1703000 | #Constraints: 35545
97.53/97.80 c #Conflicts: 1704000 | #Constraints: 36545
97.53/97.80 c #Conflicts: 1705000 | #Constraints: 37545
97.53/97.80 c #Conflicts: 1706000 | #Constraints: 38545
97.53/97.80 c #Conflicts: 1707000 | #Constraints: 39545
97.53/97.80 c #Conflicts: 1708000 | #Constraints: 40545
97.53/97.80 c #Conflicts: 1709000 | #Constraints: 41545
97.53/97.80 c #Conflicts: 1710000 | #Constraints: 42545
97.53/97.80 c #Conflicts: 1711000 | #Constraints: 43545
97.53/97.80 c #Conflicts: 1712000 | #Constraints: 44545
97.53/97.80 c #Conflicts: 1713000 | #Constraints: 45545
97.53/97.80 c #Conflicts: 1714000 | #Constraints: 46545
97.53/97.80 c #Conflicts: 1715000 | #Constraints: 47545
97.53/97.80 c #Conflicts: 1716000 | #Constraints: 48545
97.53/97.80 c #Conflicts: 1717000 | #Constraints: 49545
97.53/97.80 c #Conflicts: 1718000 | #Constraints: 50545
97.53/97.80 c #Conflicts: 1719000 | #Constraints: 51545
97.53/97.80 c #Conflicts: 1720000 | #Constraints: 52545
97.53/97.80 c INPROCESSING
97.53/97.80 c GARBAGE COLLECT
97.53/97.80 c rational objective 300.5
99.32/99.60 c #Conflicts: 1721000 | #Constraints: 27538
99.32/99.60 c #Conflicts: 1722000 | #Constraints: 28538
99.32/99.60 c #Conflicts: 1723000 | #Constraints: 29538
99.32/99.60 c #Conflicts: 1724000 | #Constraints: 30538
99.32/99.60 c #Conflicts: 1725000 | #Constraints: 31538
99.32/99.60 c #Conflicts: 1726000 | #Constraints: 32538
99.32/99.60 c #Conflicts: 1727000 | #Constraints: 33538
99.32/99.60 c #Conflicts: 1728000 | #Constraints: 34538
99.32/99.60 c #Conflicts: 1729000 | #Constraints: 35538
99.32/99.60 c #Conflicts: 1730000 | #Constraints: 36538
99.32/99.60 c #Conflicts: 1731000 | #Constraints: 37538
99.32/99.60 c #Conflicts: 1732000 | #Constraints: 38538
99.32/99.60 c #Conflicts: 1733000 | #Constraints: 39538
99.32/99.60 c #Conflicts: 1734000 | #Constraints: 40538
99.32/99.60 c #Conflicts: 1735000 | #Constraints: 41538
99.32/99.60 c #Conflicts: 1736000 | #Constraints: 42538
99.32/99.60 c #Conflicts: 1737000 | #Constraints: 43538
99.32/99.60 c #Conflicts: 1738000 | #Constraints: 44538
99.32/99.60 c #Conflicts: 1739000 | #Constraints: 45538
99.32/99.60 c #Conflicts: 1740000 | #Constraints: 46538
99.32/99.60 c #Conflicts: 1741000 | #Constraints: 47538
99.32/99.60 c #Conflicts: 1742000 | #Constraints: 48538
99.32/99.60 c #Conflicts: 1743000 | #Constraints: 49538
99.32/99.60 c #Conflicts: 1744000 | #Constraints: 50538
99.32/99.60 c #Conflicts: 1745000 | #Constraints: 51538
99.32/99.60 c #Conflicts: 1746000 | #Constraints: 52538
99.32/99.60 c INPROCESSING
99.32/99.60 c GARBAGE COLLECT
99.32/99.60 c rational objective 300.5
100.92/101.24 c #Conflicts: 1747000 | #Constraints: 27343
100.92/101.24 c #Conflicts: 1748000 | #Constraints: 28343
100.92/101.24 c #Conflicts: 1749000 | #Constraints: 29343
100.92/101.24 c #Conflicts: 1750000 | #Constraints: 30343
100.92/101.24 c #Conflicts: 1751000 | #Constraints: 31343
100.92/101.24 c #Conflicts: 1752000 | #Constraints: 32343
100.92/101.24 c #Conflicts: 1753000 | #Constraints: 33343
100.92/101.24 c #Conflicts: 1754000 | #Constraints: 34343
100.92/101.24 c #Conflicts: 1755000 | #Constraints: 35343
100.92/101.24 c #Conflicts: 1756000 | #Constraints: 36343
100.92/101.24 c #Conflicts: 1757000 | #Constraints: 37343
100.92/101.24 c #Conflicts: 1758000 | #Constraints: 38343
100.92/101.24 c #Conflicts: 1759000 | #Constraints: 39343
100.92/101.24 c #Conflicts: 1760000 | #Constraints: 40343
100.92/101.24 c #Conflicts: 1761000 | #Constraints: 41343
100.92/101.24 c #Conflicts: 1762000 | #Constraints: 42343
100.92/101.24 c #Conflicts: 1763000 | #Constraints: 43343
100.92/101.24 c #Conflicts: 1764000 | #Constraints: 44343
100.92/101.24 c #Conflicts: 1765000 | #Constraints: 45343
100.92/101.24 c #Conflicts: 1766000 | #Constraints: 46343
100.92/101.24 c #Conflicts: 1767000 | #Constraints: 47343
100.92/101.24 c #Conflicts: 1768000 | #Constraints: 48343
100.92/101.24 c #Conflicts: 1769000 | #Constraints: 49343
100.92/101.24 c #Conflicts: 1770000 | #Constraints: 50343
100.92/101.24 c #Conflicts: 1771000 | #Constraints: 51343
100.92/101.24 c #Conflicts: 1772000 | #Constraints: 52343
100.92/101.24 c #Conflicts: 1773000 | #Constraints: 53343
100.92/101.24 c INPROCESSING
100.92/101.24 c GARBAGE COLLECT
100.92/101.24 c rational objective 300.5
102.51/102.89 c #Conflicts: 1774000 | #Constraints: 27943
102.51/102.89 c #Conflicts: 1775000 | #Constraints: 28943
102.51/102.89 c #Conflicts: 1776000 | #Constraints: 29943
102.51/102.89 c #Conflicts: 1777000 | #Constraints: 30943
102.51/102.89 c #Conflicts: 1778000 | #Constraints: 31943
102.51/102.89 c #Conflicts: 1779000 | #Constraints: 32943
102.51/102.89 c #Conflicts: 1780000 | #Constraints: 33943
102.51/102.89 c #Conflicts: 1781000 | #Constraints: 34943
102.51/102.89 c #Conflicts: 1782000 | #Constraints: 35943
102.51/102.89 c #Conflicts: 1783000 | #Constraints: 36943
102.51/102.89 c #Conflicts: 1784000 | #Constraints: 37943
102.51/102.89 c #Conflicts: 1785000 | #Constraints: 38943
102.51/102.89 c #Conflicts: 1786000 | #Constraints: 39943
102.51/102.89 c #Conflicts: 1787000 | #Constraints: 40943
102.51/102.89 c #Conflicts: 1788000 | #Constraints: 41943
102.51/102.89 c #Conflicts: 1789000 | #Constraints: 42943
102.51/102.89 c #Conflicts: 1790000 | #Constraints: 43943
102.51/102.89 c #Conflicts: 1791000 | #Constraints: 44943
102.51/102.89 c #Conflicts: 1792000 | #Constraints: 45943
102.51/102.89 c #Conflicts: 1793000 | #Constraints: 46943
102.51/102.89 c #Conflicts: 1794000 | #Constraints: 47943
102.51/102.89 c #Conflicts: 1795000 | #Constraints: 48943
102.51/102.89 c #Conflicts: 1796000 | #Constraints: 49943
102.51/102.89 c #Conflicts: 1797000 | #Constraints: 50943
102.51/102.89 c #Conflicts: 1798000 | #Constraints: 51943
102.51/102.89 c #Conflicts: 1799000 | #Constraints: 52943
102.51/102.89 c #Conflicts: 1800000 | #Constraints: 53943
102.51/102.89 c INPROCESSING
102.51/102.89 c GARBAGE COLLECT
102.51/102.89 c rational objective 300.5
104.20/104.58 c #Conflicts: 1801000 | #Constraints: 28340
104.20/104.58 c #Conflicts: 1802000 | #Constraints: 29340
104.20/104.58 c #Conflicts: 1803000 | #Constraints: 30340
104.20/104.58 c #Conflicts: 1804000 | #Constraints: 31340
104.20/104.58 c #Conflicts: 1805000 | #Constraints: 32340
104.20/104.58 c #Conflicts: 1806000 | #Constraints: 33340
104.20/104.58 c #Conflicts: 1807000 | #Constraints: 34340
104.20/104.58 c #Conflicts: 1808000 | #Constraints: 35340
104.20/104.58 c #Conflicts: 1809000 | #Constraints: 36340
104.20/104.58 c #Conflicts: 1810000 | #Constraints: 37340
104.20/104.58 c #Conflicts: 1811000 | #Constraints: 38340
104.20/104.58 c #Conflicts: 1812000 | #Constraints: 39340
104.20/104.58 c #Conflicts: 1813000 | #Constraints: 40340
104.20/104.58 c #Conflicts: 1814000 | #Constraints: 41340
104.20/104.58 c #Conflicts: 1815000 | #Constraints: 42340
104.20/104.58 c #Conflicts: 1816000 | #Constraints: 43340
104.20/104.58 c #Conflicts: 1817000 | #Constraints: 44340
104.20/104.58 c #Conflicts: 1818000 | #Constraints: 45340
104.20/104.58 c #Conflicts: 1819000 | #Constraints: 46340
104.20/104.58 c #Conflicts: 1820000 | #Constraints: 47340
104.20/104.58 c #Conflicts: 1821000 | #Constraints: 48340
104.20/104.58 c #Conflicts: 1822000 | #Constraints: 49340
104.20/104.58 c #Conflicts: 1823000 | #Constraints: 50340
104.20/104.58 c #Conflicts: 1824000 | #Constraints: 51340
104.20/104.58 c #Conflicts: 1825000 | #Constraints: 52340
104.20/104.58 c #Conflicts: 1826000 | #Constraints: 53340
104.20/104.58 c #Conflicts: 1827000 | #Constraints: 54340
104.20/104.58 c INPROCESSING
104.20/104.58 c GARBAGE COLLECT
104.20/104.58 c rational objective 300.5
106.00/106.39 c #Conflicts: 1828000 | #Constraints: 28546
106.00/106.39 c #Conflicts: 1829000 | #Constraints: 29546
106.00/106.39 c #Conflicts: 1830000 | #Constraints: 30546
106.00/106.39 c #Conflicts: 1831000 | #Constraints: 31546
106.00/106.39 c #Conflicts: 1832000 | #Constraints: 32546
106.00/106.39 c #Conflicts: 1833000 | #Constraints: 33546
106.00/106.39 c #Conflicts: 1834000 | #Constraints: 34546
106.00/106.39 c #Conflicts: 1835000 | #Constraints: 35546
106.00/106.39 c #Conflicts: 1836000 | #Constraints: 36546
106.00/106.39 c #Conflicts: 1837000 | #Constraints: 37546
106.00/106.39 c #Conflicts: 1838000 | #Constraints: 38546
106.00/106.39 c #Conflicts: 1839000 | #Constraints: 39546
106.00/106.39 c #Conflicts: 1840000 | #Constraints: 40546
106.00/106.39 c #Conflicts: 1841000 | #Constraints: 41546
106.00/106.39 c #Conflicts: 1842000 | #Constraints: 42546
106.00/106.39 c #Conflicts: 1843000 | #Constraints: 43546
106.00/106.39 c #Conflicts: 1844000 | #Constraints: 44546
106.00/106.39 c #Conflicts: 1845000 | #Constraints: 45546
106.00/106.39 c #Conflicts: 1846000 | #Constraints: 46546
106.00/106.39 c #Conflicts: 1847000 | #Constraints: 47546
106.00/106.39 c #Conflicts: 1848000 | #Constraints: 48546
106.00/106.39 c #Conflicts: 1849000 | #Constraints: 49546
106.00/106.39 c #Conflicts: 1850000 | #Constraints: 50546
106.00/106.39 c #Conflicts: 1851000 | #Constraints: 51546
106.00/106.39 c #Conflicts: 1852000 | #Constraints: 52546
106.00/106.39 c #Conflicts: 1853000 | #Constraints: 53546
106.00/106.39 c #Conflicts: 1854000 | #Constraints: 54546
106.00/106.39 c INPROCESSING
106.00/106.39 c GARBAGE COLLECT
106.00/106.39 c rational objective 300.5
108.10/108.43 c #Conflicts: 1855000 | #Constraints: 28551
108.10/108.43 c #Conflicts: 1856000 | #Constraints: 29551
108.10/108.43 c #Conflicts: 1857000 | #Constraints: 30551
108.10/108.43 c #Conflicts: 1858000 | #Constraints: 31551
108.10/108.43 c #Conflicts: 1859000 | #Constraints: 32551
108.10/108.43 c #Conflicts: 1860000 | #Constraints: 33551
108.10/108.43 c #Conflicts: 1861000 | #Constraints: 34551
108.10/108.43 c #Conflicts: 1862000 | #Constraints: 35551
108.10/108.43 c #Conflicts: 1863000 | #Constraints: 36551
108.10/108.43 c #Conflicts: 1864000 | #Constraints: 37551
108.10/108.43 c #Conflicts: 1865000 | #Constraints: 38551
108.10/108.43 c #Conflicts: 1866000 | #Constraints: 39551
108.10/108.43 c #Conflicts: 1867000 | #Constraints: 40551
108.10/108.43 c #Conflicts: 1868000 | #Constraints: 41551
108.10/108.43 c #Conflicts: 1869000 | #Constraints: 42551
108.10/108.43 c #Conflicts: 1870000 | #Constraints: 43551
108.10/108.43 c #Conflicts: 1871000 | #Constraints: 44551
108.10/108.43 c #Conflicts: 1872000 | #Constraints: 45551
108.10/108.43 c #Conflicts: 1873000 | #Constraints: 46551
108.10/108.43 c #Conflicts: 1874000 | #Constraints: 47551
108.10/108.43 c #Conflicts: 1875000 | #Constraints: 48551
108.10/108.43 c #Conflicts: 1876000 | #Constraints: 49551
108.10/108.43 c #Conflicts: 1877000 | #Constraints: 50551
108.10/108.43 c #Conflicts: 1878000 | #Constraints: 51551
108.10/108.43 c #Conflicts: 1879000 | #Constraints: 52551
108.10/108.43 c #Conflicts: 1880000 | #Constraints: 53551
108.10/108.43 c #Conflicts: 1881000 | #Constraints: 54551
108.10/108.43 c INPROCESSING
108.10/108.43 c GARBAGE COLLECT
108.10/108.43 c rational objective 300.5
109.80/110.18 c #Conflicts: 1882000 | #Constraints: 28351
109.80/110.18 c #Conflicts: 1883000 | #Constraints: 29351
109.80/110.18 c #Conflicts: 1884000 | #Constraints: 30351
109.80/110.18 c #Conflicts: 1885000 | #Constraints: 31351
109.80/110.18 c #Conflicts: 1886000 | #Constraints: 32351
109.80/110.18 c #Conflicts: 1887000 | #Constraints: 33351
109.80/110.18 c #Conflicts: 1888000 | #Constraints: 34351
109.80/110.18 c #Conflicts: 1889000 | #Constraints: 35351
109.80/110.18 c #Conflicts: 1890000 | #Constraints: 36351
109.80/110.18 c #Conflicts: 1891000 | #Constraints: 37351
109.80/110.18 c #Conflicts: 1892000 | #Constraints: 38351
109.80/110.18 c #Conflicts: 1893000 | #Constraints: 39351
109.80/110.18 c #Conflicts: 1894000 | #Constraints: 40351
109.80/110.18 c #Conflicts: 1895000 | #Constraints: 41351
109.80/110.18 c #Conflicts: 1896000 | #Constraints: 42351
109.80/110.18 c #Conflicts: 1897000 | #Constraints: 43351
109.80/110.18 c #Conflicts: 1898000 | #Constraints: 44351
109.80/110.18 c #Conflicts: 1899000 | #Constraints: 45351
109.80/110.18 c #Conflicts: 1900000 | #Constraints: 46351
109.80/110.18 c #Conflicts: 1901000 | #Constraints: 47351
109.80/110.18 c #Conflicts: 1902000 | #Constraints: 48351
109.80/110.18 c #Conflicts: 1903000 | #Constraints: 49351
109.80/110.18 c #Conflicts: 1904000 | #Constraints: 50351
109.80/110.18 c #Conflicts: 1905000 | #Constraints: 51351
109.80/110.18 c #Conflicts: 1906000 | #Constraints: 52351
109.80/110.18 c #Conflicts: 1907000 | #Constraints: 53351
109.80/110.18 c #Conflicts: 1908000 | #Constraints: 54351
109.80/110.18 c #Conflicts: 1909000 | #Constraints: 55351
109.80/110.18 c INPROCESSING
109.80/110.18 c GARBAGE COLLECT
109.80/110.18 c rational objective 300.5
111.58/111.91 c #Conflicts: 1910000 | #Constraints: 28951
111.58/111.91 c #Conflicts: 1911000 | #Constraints: 29951
111.58/111.91 c #Conflicts: 1912000 | #Constraints: 30951
111.58/111.91 c #Conflicts: 1913000 | #Constraints: 31951
111.58/111.91 c #Conflicts: 1914000 | #Constraints: 32951
111.58/111.91 c #Conflicts: 1915000 | #Constraints: 33951
111.58/111.91 c #Conflicts: 1916000 | #Constraints: 34951
111.58/111.91 c #Conflicts: 1917000 | #Constraints: 35951
111.58/111.91 c #Conflicts: 1918000 | #Constraints: 36951
111.58/111.91 c #Conflicts: 1919000 | #Constraints: 37951
111.58/111.91 c #Conflicts: 1920000 | #Constraints: 38951
111.58/111.91 c #Conflicts: 1921000 | #Constraints: 39951
111.58/111.91 c #Conflicts: 1922000 | #Constraints: 40951
111.58/111.91 c #Conflicts: 1923000 | #Constraints: 41951
111.58/111.91 c #Conflicts: 1924000 | #Constraints: 42951
111.58/111.91 c #Conflicts: 1925000 | #Constraints: 43951
111.58/111.91 c #Conflicts: 1926000 | #Constraints: 44951
111.58/111.91 c #Conflicts: 1927000 | #Constraints: 45951
111.58/111.91 c #Conflicts: 1928000 | #Constraints: 46951
111.58/111.91 c #Conflicts: 1929000 | #Constraints: 47951
111.58/111.91 c #Conflicts: 1930000 | #Constraints: 48951
111.58/111.91 c #Conflicts: 1931000 | #Constraints: 49951
111.58/111.91 c #Conflicts: 1932000 | #Constraints: 50951
111.58/111.91 c #Conflicts: 1933000 | #Constraints: 51951
111.58/111.91 c #Conflicts: 1934000 | #Constraints: 52951
111.58/111.91 c #Conflicts: 1935000 | #Constraints: 53951
111.58/111.91 c #Conflicts: 1936000 | #Constraints: 54951
111.58/111.91 c #Conflicts: 1937000 | #Constraints: 55951
111.58/111.91 c INPROCESSING
111.58/111.91 c GARBAGE COLLECT
111.58/111.91 c rational objective 300.5
113.38/113.77 c #Conflicts: 1938000 | #Constraints: 29352
113.38/113.77 c #Conflicts: 1939000 | #Constraints: 30352
113.38/113.77 c #Conflicts: 1940000 | #Constraints: 31352
113.38/113.77 c #Conflicts: 1941000 | #Constraints: 32352
113.38/113.77 c #Conflicts: 1942000 | #Constraints: 33352
113.38/113.77 c #Conflicts: 1943000 | #Constraints: 34352
113.38/113.77 c #Conflicts: 1944000 | #Constraints: 35352
113.38/113.77 c #Conflicts: 1945000 | #Constraints: 36352
113.38/113.77 c #Conflicts: 1946000 | #Constraints: 37352
113.38/113.77 c #Conflicts: 1947000 | #Constraints: 38352
113.38/113.77 c #Conflicts: 1948000 | #Constraints: 39352
113.38/113.77 c #Conflicts: 1949000 | #Constraints: 40352
113.38/113.77 c #Conflicts: 1950000 | #Constraints: 41352
113.38/113.77 c #Conflicts: 1951000 | #Constraints: 42352
113.38/113.77 c #Conflicts: 1952000 | #Constraints: 43352
113.38/113.77 c #Conflicts: 1953000 | #Constraints: 44352
113.38/113.77 c #Conflicts: 1954000 | #Constraints: 45352
113.38/113.77 c #Conflicts: 1955000 | #Constraints: 46352
113.38/113.77 c #Conflicts: 1956000 | #Constraints: 47352
113.38/113.77 c #Conflicts: 1957000 | #Constraints: 48352
113.38/113.77 c #Conflicts: 1958000 | #Constraints: 49352
113.38/113.77 c #Conflicts: 1959000 | #Constraints: 50352
113.38/113.77 c #Conflicts: 1960000 | #Constraints: 51352
113.38/113.77 c #Conflicts: 1961000 | #Constraints: 52352
113.38/113.77 c #Conflicts: 1962000 | #Constraints: 53352
113.38/113.77 c #Conflicts: 1963000 | #Constraints: 54352
113.38/113.77 c #Conflicts: 1964000 | #Constraints: 55352
113.38/113.77 c #Conflicts: 1965000 | #Constraints: 56352
113.38/113.77 c INPROCESSING
113.38/113.77 c GARBAGE COLLECT
113.38/113.77 c rational objective 300.5
115.08/115.50 c #Conflicts: 1966000 | #Constraints: 29556
115.08/115.50 c #Conflicts: 1967000 | #Constraints: 30556
115.08/115.50 c #Conflicts: 1968000 | #Constraints: 31556
115.08/115.50 c #Conflicts: 1969000 | #Constraints: 32556
115.08/115.50 c #Conflicts: 1970000 | #Constraints: 33556
115.08/115.50 c #Conflicts: 1971000 | #Constraints: 34556
115.08/115.50 c #Conflicts: 1972000 | #Constraints: 35556
115.08/115.50 c #Conflicts: 1973000 | #Constraints: 36556
115.08/115.50 c #Conflicts: 1974000 | #Constraints: 37556
115.08/115.50 c #Conflicts: 1975000 | #Constraints: 38556
115.08/115.50 c #Conflicts: 1976000 | #Constraints: 39556
115.08/115.50 c #Conflicts: 1977000 | #Constraints: 40556
115.08/115.50 c #Conflicts: 1978000 | #Constraints: 41556
115.08/115.50 c #Conflicts: 1979000 | #Constraints: 42556
115.08/115.50 c #Conflicts: 1980000 | #Constraints: 43556
115.08/115.50 c #Conflicts: 1981000 | #Constraints: 44556
115.08/115.50 c #Conflicts: 1982000 | #Constraints: 45556
115.08/115.50 c #Conflicts: 1983000 | #Constraints: 46556
115.08/115.50 c #Conflicts: 1984000 | #Constraints: 47556
115.08/115.50 c #Conflicts: 1985000 | #Constraints: 48556
115.08/115.50 c #Conflicts: 1986000 | #Constraints: 49556
115.08/115.50 c #Conflicts: 1987000 | #Constraints: 50556
115.08/115.50 c #Conflicts: 1988000 | #Constraints: 51556
115.08/115.50 c #Conflicts: 1989000 | #Constraints: 52556
115.08/115.50 c #Conflicts: 1990000 | #Constraints: 53556
115.08/115.50 c #Conflicts: 1991000 | #Constraints: 54556
115.08/115.50 c #Conflicts: 1992000 | #Constraints: 55556
115.08/115.50 c #Conflicts: 1993000 | #Constraints: 56556
115.08/115.50 c INPROCESSING
115.08/115.50 c GARBAGE COLLECT
115.08/115.50 c rational objective 300.5
116.97/117.34 c #Conflicts: 1994000 | #Constraints: 29560
116.97/117.34 c #Conflicts: 1995000 | #Constraints: 30560
116.97/117.34 c #Conflicts: 1996000 | #Constraints: 31560
116.97/117.34 c #Conflicts: 1997000 | #Constraints: 32560
116.97/117.34 c #Conflicts: 1998000 | #Constraints: 33560
116.97/117.34 c #Conflicts: 1999000 | #Constraints: 34560
116.97/117.34 c #Conflicts: 2000000 | #Constraints: 35560
116.97/117.34 c #Conflicts: 2001000 | #Constraints: 36560
116.97/117.34 c #Conflicts: 2002000 | #Constraints: 37560
116.97/117.34 c #Conflicts: 2003000 | #Constraints: 38560
116.97/117.34 c #Conflicts: 2004000 | #Constraints: 39560
116.97/117.34 c #Conflicts: 2005000 | #Constraints: 40560
116.97/117.34 c #Conflicts: 2006000 | #Constraints: 41560
116.97/117.34 c #Conflicts: 2007000 | #Constraints: 42560
116.97/117.34 c #Conflicts: 2008000 | #Constraints: 43560
116.97/117.34 c #Conflicts: 2009000 | #Constraints: 44560
116.97/117.34 c #Conflicts: 2010000 | #Constraints: 45560
116.97/117.34 c #Conflicts: 2011000 | #Constraints: 46560
116.97/117.34 c #Conflicts: 2012000 | #Constraints: 47560
116.97/117.34 c #Conflicts: 2013000 | #Constraints: 48560
116.97/117.34 c #Conflicts: 2014000 | #Constraints: 49560
116.97/117.34 c #Conflicts: 2015000 | #Constraints: 50560
116.97/117.34 c #Conflicts: 2016000 | #Constraints: 51560
116.97/117.34 c #Conflicts: 2017000 | #Constraints: 52560
116.97/117.34 c #Conflicts: 2018000 | #Constraints: 53560
116.97/117.34 c #Conflicts: 2019000 | #Constraints: 54560
116.97/117.34 c #Conflicts: 2020000 | #Constraints: 55560
116.97/117.34 c #Conflicts: 2021000 | #Constraints: 56560
116.97/117.34 c INPROCESSING
116.97/117.34 c GARBAGE COLLECT
116.97/117.34 c rational objective 300.5
118.97/119.33 c #Conflicts: 2022000 | #Constraints: 29356
118.97/119.33 c #Conflicts: 2023000 | #Constraints: 30356
118.97/119.33 c #Conflicts: 2024000 | #Constraints: 31356
118.97/119.33 c #Conflicts: 2025000 | #Constraints: 32356
118.97/119.33 c #Conflicts: 2026000 | #Constraints: 33356
118.97/119.33 c #Conflicts: 2027000 | #Constraints: 34356
118.97/119.33 c #Conflicts: 2028000 | #Constraints: 35356
118.97/119.33 c #Conflicts: 2029000 | #Constraints: 36356
118.97/119.33 c #Conflicts: 2030000 | #Constraints: 37356
118.97/119.33 c #Conflicts: 2031000 | #Constraints: 38356
118.97/119.33 c #Conflicts: 2032000 | #Constraints: 39356
118.97/119.33 c #Conflicts: 2033000 | #Constraints: 40356
118.97/119.33 c #Conflicts: 2034000 | #Constraints: 41356
118.97/119.33 c #Conflicts: 2035000 | #Constraints: 42356
118.97/119.33 c #Conflicts: 2036000 | #Constraints: 43356
118.97/119.33 c #Conflicts: 2037000 | #Constraints: 44356
118.97/119.33 c #Conflicts: 2038000 | #Constraints: 45356
118.97/119.33 c #Conflicts: 2039000 | #Constraints: 46356
118.97/119.33 c #Conflicts: 2040000 | #Constraints: 47356
118.97/119.33 c #Conflicts: 2041000 | #Constraints: 48356
118.97/119.33 c #Conflicts: 2042000 | #Constraints: 49356
118.97/119.33 c #Conflicts: 2043000 | #Constraints: 50356
118.97/119.33 c #Conflicts: 2044000 | #Constraints: 51356
118.97/119.33 c #Conflicts: 2045000 | #Constraints: 52356
118.97/119.33 c #Conflicts: 2046000 | #Constraints: 53356
118.97/119.33 c #Conflicts: 2047000 | #Constraints: 54356
118.97/119.33 c #Conflicts: 2048000 | #Constraints: 55356
118.97/119.33 c #Conflicts: 2049000 | #Constraints: 56356
118.97/119.33 c #Conflicts: 2050000 | #Constraints: 57356
118.97/119.33 c INPROCESSING
118.97/119.33 c GARBAGE COLLECT
118.97/119.33 c rational objective 300.5
120.87/121.27 c #Conflicts: 2051000 | #Constraints: 29947
120.87/121.27 c #Conflicts: 2052000 | #Constraints: 30947
120.87/121.27 c #Conflicts: 2053000 | #Constraints: 31947
120.87/121.27 c #Conflicts: 2054000 | #Constraints: 32947
120.87/121.27 c #Conflicts: 2055000 | #Constraints: 33947
120.87/121.27 c #Conflicts: 2056000 | #Constraints: 34947
120.87/121.27 c #Conflicts: 2057000 | #Constraints: 35947
120.87/121.27 c #Conflicts: 2058000 | #Constraints: 36947
120.87/121.27 c #Conflicts: 2059000 | #Constraints: 37947
120.87/121.27 c #Conflicts: 2060000 | #Constraints: 38947
120.87/121.27 c #Conflicts: 2061000 | #Constraints: 39947
120.87/121.27 c #Conflicts: 2062000 | #Constraints: 40947
120.87/121.27 c #Conflicts: 2063000 | #Constraints: 41947
120.87/121.27 c #Conflicts: 2064000 | #Constraints: 42947
120.87/121.27 c #Conflicts: 2065000 | #Constraints: 43947
120.87/121.27 c #Conflicts: 2066000 | #Constraints: 44947
120.87/121.27 c #Conflicts: 2067000 | #Constraints: 45947
120.87/121.27 c #Conflicts: 2068000 | #Constraints: 46948
120.87/121.27 c #Conflicts: 2069000 | #Constraints: 47948
120.87/121.27 c #Conflicts: 2070000 | #Constraints: 48948
120.87/121.27 c #Conflicts: 2071000 | #Constraints: 49948
120.87/121.27 c #Conflicts: 2072000 | #Constraints: 50948
120.87/121.27 c #Conflicts: 2073000 | #Constraints: 51948
120.87/121.27 c #Conflicts: 2074000 | #Constraints: 52948
120.87/121.27 c #Conflicts: 2075000 | #Constraints: 53948
120.87/121.27 c #Conflicts: 2076000 | #Constraints: 54948
120.87/121.27 c #Conflicts: 2077000 | #Constraints: 55948
120.87/121.27 c #Conflicts: 2078000 | #Constraints: 56948
120.87/121.27 c #Conflicts: 2079000 | #Constraints: 57948
120.87/121.27 c INPROCESSING
120.87/121.27 c GARBAGE COLLECT
120.87/121.27 c rational objective 300.5
122.56/122.98 c #Conflicts: 2080000 | #Constraints: 30339
122.56/122.98 c #Conflicts: 2081000 | #Constraints: 31339
122.56/122.98 c #Conflicts: 2082000 | #Constraints: 32339
122.56/122.98 c #Conflicts: 2083000 | #Constraints: 33339
122.56/122.98 c #Conflicts: 2084000 | #Constraints: 34339
122.56/122.98 c #Conflicts: 2085000 | #Constraints: 35339
122.56/122.98 c #Conflicts: 2086000 | #Constraints: 36339
122.56/122.98 c #Conflicts: 2087000 | #Constraints: 37339
122.56/122.98 c #Conflicts: 2088000 | #Constraints: 38339
122.56/122.98 c #Conflicts: 2089000 | #Constraints: 39339
122.56/122.98 c #Conflicts: 2090000 | #Constraints: 40339
122.56/122.98 c #Conflicts: 2091000 | #Constraints: 41339
122.56/122.98 c #Conflicts: 2092000 | #Constraints: 42339
122.56/122.98 c #Conflicts: 2093000 | #Constraints: 43339
122.56/122.98 c #Conflicts: 2094000 | #Constraints: 44339
122.56/122.98 c #Conflicts: 2095000 | #Constraints: 45339
122.56/122.98 c #Conflicts: 2096000 | #Constraints: 46339
122.56/122.98 c #Conflicts: 2097000 | #Constraints: 47339
122.56/122.98 c #Conflicts: 2098000 | #Constraints: 48339
122.56/122.98 c #Conflicts: 2099000 | #Constraints: 49339
122.56/122.98 c #Conflicts: 2100000 | #Constraints: 50339
122.56/122.98 c #Conflicts: 2101000 | #Constraints: 51339
122.56/122.98 c #Conflicts: 2102000 | #Constraints: 52339
122.56/122.98 c #Conflicts: 2103000 | #Constraints: 53339
122.56/122.98 c #Conflicts: 2104000 | #Constraints: 54339
122.56/122.98 c #Conflicts: 2105000 | #Constraints: 55339
122.56/122.98 c #Conflicts: 2106000 | #Constraints: 56339
122.56/122.98 c #Conflicts: 2107000 | #Constraints: 57339
122.56/122.98 c #Conflicts: 2108000 | #Constraints: 58339
122.56/122.98 c INPROCESSING
122.56/122.98 c GARBAGE COLLECT
122.56/122.98 c rational objective 300.5
124.76/125.10 c #Conflicts: 2109000 | #Constraints: 30550
124.76/125.10 c #Conflicts: 2110000 | #Constraints: 31550
124.76/125.10 c #Conflicts: 2111000 | #Constraints: 32550
124.76/125.10 c #Conflicts: 2112000 | #Constraints: 33550
124.76/125.10 c #Conflicts: 2113000 | #Constraints: 34550
124.76/125.10 c #Conflicts: 2114000 | #Constraints: 35550
124.76/125.10 c #Conflicts: 2115000 | #Constraints: 36550
124.76/125.10 c #Conflicts: 2116000 | #Constraints: 37550
124.76/125.10 c #Conflicts: 2117000 | #Constraints: 38550
124.76/125.10 c #Conflicts: 2118000 | #Constraints: 39550
124.76/125.10 c #Conflicts: 2119000 | #Constraints: 40550
124.76/125.10 c #Conflicts: 2120000 | #Constraints: 41550
124.76/125.10 c #Conflicts: 2121000 | #Constraints: 42550
124.76/125.10 c #Conflicts: 2122000 | #Constraints: 43550
124.76/125.10 c #Conflicts: 2123000 | #Constraints: 44550
124.76/125.10 c #Conflicts: 2124000 | #Constraints: 45550
124.76/125.10 c #Conflicts: 2125000 | #Constraints: 46550
124.76/125.10 c #Conflicts: 2126000 | #Constraints: 47550
124.76/125.10 c #Conflicts: 2127000 | #Constraints: 48550
124.76/125.10 c #Conflicts: 2128000 | #Constraints: 49550
124.76/125.11 c #Conflicts: 2129000 | #Constraints: 50550
124.76/125.11 c #Conflicts: 2130000 | #Constraints: 51550
124.76/125.11 c #Conflicts: 2131000 | #Constraints: 52550
124.76/125.11 c #Conflicts: 2132000 | #Constraints: 53550
124.76/125.11 c #Conflicts: 2133000 | #Constraints: 54550
124.76/125.11 c #Conflicts: 2134000 | #Constraints: 55550
124.76/125.11 c #Conflicts: 2135000 | #Constraints: 56550
124.76/125.11 c #Conflicts: 2136000 | #Constraints: 57550
124.76/125.11 c #Conflicts: 2137000 | #Constraints: 58550
124.76/125.11 c INPROCESSING
124.76/125.11 c GARBAGE COLLECT
124.76/125.11 c rational objective 300.5
126.95/127.38 c #Conflicts: 2138000 | #Constraints: 30562
126.95/127.38 c #Conflicts: 2139000 | #Constraints: 31562
126.95/127.38 c #Conflicts: 2140000 | #Constraints: 32562
126.95/127.38 c #Conflicts: 2141000 | #Constraints: 33562
126.95/127.38 c #Conflicts: 2142000 | #Constraints: 34562
126.95/127.38 c #Conflicts: 2143000 | #Constraints: 35562
126.95/127.38 c #Conflicts: 2144000 | #Constraints: 36562
126.95/127.38 c #Conflicts: 2145000 | #Constraints: 37562
126.95/127.38 c #Conflicts: 2146000 | #Constraints: 38562
126.95/127.38 c #Conflicts: 2147000 | #Constraints: 39562
126.95/127.38 c #Conflicts: 2148000 | #Constraints: 40562
126.95/127.38 c #Conflicts: 2149000 | #Constraints: 41562
126.95/127.38 c #Conflicts: 2150000 | #Constraints: 42562
126.95/127.38 c #Conflicts: 2151000 | #Constraints: 43562
126.95/127.38 c #Conflicts: 2152000 | #Constraints: 44562
126.95/127.38 c #Conflicts: 2153000 | #Constraints: 45562
126.95/127.38 c #Conflicts: 2154000 | #Constraints: 46562
126.95/127.38 c #Conflicts: 2155000 | #Constraints: 47562
126.95/127.38 c #Conflicts: 2156000 | #Constraints: 48562
126.95/127.38 c #Conflicts: 2157000 | #Constraints: 49562
126.95/127.38 c #Conflicts: 2158000 | #Constraints: 50562
126.95/127.38 c #Conflicts: 2159000 | #Constraints: 51562
126.95/127.38 c #Conflicts: 2160000 | #Constraints: 52562
126.95/127.38 c #Conflicts: 2161000 | #Constraints: 53562
126.95/127.38 c #Conflicts: 2162000 | #Constraints: 54562
126.95/127.38 c #Conflicts: 2163000 | #Constraints: 55562
126.95/127.38 c #Conflicts: 2164000 | #Constraints: 56562
126.95/127.38 c #Conflicts: 2165000 | #Constraints: 57562
126.95/127.38 c #Conflicts: 2166000 | #Constraints: 58562
126.95/127.38 c INPROCESSING
126.95/127.38 c GARBAGE COLLECT
126.95/127.38 c rational objective 300.5
128.65/129.09 c #Conflicts: 2167000 | #Constraints: 30358
128.65/129.09 c #Conflicts: 2168000 | #Constraints: 31358
128.65/129.09 c #Conflicts: 2169000 | #Constraints: 32358
128.65/129.09 c #Conflicts: 2170000 | #Constraints: 33358
128.65/129.09 c #Conflicts: 2171000 | #Constraints: 34358
128.65/129.09 c #Conflicts: 2172000 | #Constraints: 35358
128.65/129.09 c #Conflicts: 2173000 | #Constraints: 36358
128.65/129.09 c #Conflicts: 2174000 | #Constraints: 37358
128.65/129.09 c #Conflicts: 2175000 | #Constraints: 38358
128.65/129.09 c #Conflicts: 2176000 | #Constraints: 39358
128.65/129.09 c #Conflicts: 2177000 | #Constraints: 40358
128.65/129.09 c #Conflicts: 2178000 | #Constraints: 41358
128.65/129.09 c #Conflicts: 2179000 | #Constraints: 42358
128.65/129.09 c #Conflicts: 2180000 | #Constraints: 43358
128.65/129.09 c #Conflicts: 2181000 | #Constraints: 44358
128.65/129.09 c #Conflicts: 2182000 | #Constraints: 45358
128.65/129.09 c #Conflicts: 2183000 | #Constraints: 46358
128.65/129.09 c #Conflicts: 2184000 | #Constraints: 47358
128.65/129.09 c #Conflicts: 2185000 | #Constraints: 48358
128.65/129.09 c #Conflicts: 2186000 | #Constraints: 49358
128.65/129.09 c #Conflicts: 2187000 | #Constraints: 50358
128.65/129.09 c #Conflicts: 2188000 | #Constraints: 51358
128.65/129.09 c #Conflicts: 2189000 | #Constraints: 52358
128.65/129.09 c #Conflicts: 2190000 | #Constraints: 53358
128.65/129.09 c #Conflicts: 2191000 | #Constraints: 54358
128.65/129.09 c #Conflicts: 2192000 | #Constraints: 55358
128.65/129.09 c #Conflicts: 2193000 | #Constraints: 56358
128.65/129.09 c #Conflicts: 2194000 | #Constraints: 57358
128.65/129.09 c #Conflicts: 2195000 | #Constraints: 58358
128.65/129.09 c #Conflicts: 2196000 | #Constraints: 59358
128.65/129.09 c INPROCESSING
128.65/129.09 c GARBAGE COLLECT
128.65/129.09 c rational objective 300.5
130.94/131.33 c #Conflicts: 2197000 | #Constraints: 30963
130.94/131.33 c #Conflicts: 2198000 | #Constraints: 31963
130.94/131.33 c #Conflicts: 2199000 | #Constraints: 32963
130.94/131.33 c #Conflicts: 2200000 | #Constraints: 33963
130.94/131.33 c #Conflicts: 2201000 | #Constraints: 34963
130.94/131.33 c #Conflicts: 2202000 | #Constraints: 35963
130.94/131.33 c #Conflicts: 2203000 | #Constraints: 36963
130.94/131.33 c #Conflicts: 2204000 | #Constraints: 37963
130.94/131.33 c #Conflicts: 2205000 | #Constraints: 38963
130.94/131.33 c #Conflicts: 2206000 | #Constraints: 39963
130.94/131.33 c #Conflicts: 2207000 | #Constraints: 40963
130.94/131.33 c #Conflicts: 2208000 | #Constraints: 41963
130.94/131.33 c #Conflicts: 2209000 | #Constraints: 42963
130.94/131.33 c #Conflicts: 2210000 | #Constraints: 43963
130.94/131.33 c #Conflicts: 2211000 | #Constraints: 44963
130.94/131.33 c #Conflicts: 2212000 | #Constraints: 45963
130.94/131.33 c #Conflicts: 2213000 | #Constraints: 46963
130.94/131.33 c #Conflicts: 2214000 | #Constraints: 47963
130.94/131.33 c #Conflicts: 2215000 | #Constraints: 48963
130.94/131.33 c #Conflicts: 2216000 | #Constraints: 49963
130.94/131.33 c #Conflicts: 2217000 | #Constraints: 50963
130.94/131.33 c #Conflicts: 2218000 | #Constraints: 51963
130.94/131.33 c #Conflicts: 2219000 | #Constraints: 52963
130.94/131.33 c #Conflicts: 2220000 | #Constraints: 53963
130.94/131.33 c #Conflicts: 2221000 | #Constraints: 54963
130.94/131.33 c #Conflicts: 2222000 | #Constraints: 55963
130.94/131.33 c #Conflicts: 2223000 | #Constraints: 56963
130.94/131.33 c #Conflicts: 2224000 | #Constraints: 57963
130.94/131.33 c #Conflicts: 2225000 | #Constraints: 58963
130.94/131.33 c #Conflicts: 2226000 | #Constraints: 59963
130.94/131.33 c INPROCESSING
130.94/131.33 c GARBAGE COLLECT
130.94/131.33 c rational objective 300.5
133.23/133.63 c #Conflicts: 2227000 | #Constraints: 31366
133.23/133.63 c #Conflicts: 2228000 | #Constraints: 32366
133.23/133.63 c #Conflicts: 2229000 | #Constraints: 33366
133.23/133.63 c #Conflicts: 2230000 | #Constraints: 34366
133.23/133.63 c #Conflicts: 2231000 | #Constraints: 35366
133.23/133.63 c #Conflicts: 2232000 | #Constraints: 36366
133.23/133.63 c #Conflicts: 2233000 | #Constraints: 37366
133.23/133.63 c #Conflicts: 2234000 | #Constraints: 38366
133.23/133.63 c #Conflicts: 2235000 | #Constraints: 39366
133.23/133.63 c #Conflicts: 2236000 | #Constraints: 40366
133.23/133.63 c #Conflicts: 2237000 | #Constraints: 41366
133.23/133.63 c #Conflicts: 2238000 | #Constraints: 42366
133.23/133.63 c #Conflicts: 2239000 | #Constraints: 43366
133.23/133.63 c #Conflicts: 2240000 | #Constraints: 44366
133.23/133.63 c #Conflicts: 2241000 | #Constraints: 45366
133.23/133.63 c #Conflicts: 2242000 | #Constraints: 46366
133.23/133.63 c #Conflicts: 2243000 | #Constraints: 47366
133.23/133.63 c #Conflicts: 2244000 | #Constraints: 48366
133.23/133.63 c #Conflicts: 2245000 | #Constraints: 49366
133.23/133.63 c #Conflicts: 2246000 | #Constraints: 50366
133.23/133.63 c #Conflicts: 2247000 | #Constraints: 51366
133.23/133.63 c #Conflicts: 2248000 | #Constraints: 52366
133.23/133.63 c #Conflicts: 2249000 | #Constraints: 53366
133.23/133.63 c #Conflicts: 2250000 | #Constraints: 54366
133.23/133.63 c #Conflicts: 2251000 | #Constraints: 55366
133.23/133.63 c #Conflicts: 2252000 | #Constraints: 56366
133.23/133.63 c #Conflicts: 2253000 | #Constraints: 57366
133.23/133.63 c #Conflicts: 2254000 | #Constraints: 58366
133.23/133.63 c #Conflicts: 2255000 | #Constraints: 59366
133.23/133.63 c #Conflicts: 2256000 | #Constraints: 60366
133.23/133.63 c INPROCESSING
133.23/133.63 c GARBAGE COLLECT
133.23/133.63 c rational objective 300.5
135.92/136.33 c #Conflicts: 2257000 | #Constraints: 31562
135.92/136.33 c #Conflicts: 2258000 | #Constraints: 32562
135.92/136.33 c #Conflicts: 2259000 | #Constraints: 33562
135.92/136.33 c #Conflicts: 2260000 | #Constraints: 34562
135.92/136.33 c #Conflicts: 2261000 | #Constraints: 35562
135.92/136.33 c #Conflicts: 2262000 | #Constraints: 36562
135.92/136.33 c #Conflicts: 2263000 | #Constraints: 37562
135.92/136.33 c #Conflicts: 2264000 | #Constraints: 38562
135.92/136.33 c #Conflicts: 2265000 | #Constraints: 39562
135.92/136.33 c #Conflicts: 2266000 | #Constraints: 40562
135.92/136.33 c #Conflicts: 2267000 | #Constraints: 41562
135.92/136.33 c #Conflicts: 2268000 | #Constraints: 42562
135.92/136.33 c #Conflicts: 2269000 | #Constraints: 43562
135.92/136.33 c #Conflicts: 2270000 | #Constraints: 44562
135.92/136.33 c #Conflicts: 2271000 | #Constraints: 45562
135.92/136.33 c #Conflicts: 2272000 | #Constraints: 46562
135.92/136.33 c #Conflicts: 2273000 | #Constraints: 47562
135.92/136.33 c #Conflicts: 2274000 | #Constraints: 48562
135.92/136.33 c #Conflicts: 2275000 | #Constraints: 49562
135.92/136.33 c #Conflicts: 2276000 | #Constraints: 50562
135.92/136.33 c #Conflicts: 2277000 | #Constraints: 51562
135.92/136.33 c #Conflicts: 2278000 | #Constraints: 52562
135.92/136.33 c #Conflicts: 2279000 | #Constraints: 53562
135.92/136.33 c #Conflicts: 2280000 | #Constraints: 54562
135.92/136.33 c #Conflicts: 2281000 | #Constraints: 55562
135.92/136.33 c #Conflicts: 2282000 | #Constraints: 56562
135.92/136.33 c #Conflicts: 2283000 | #Constraints: 57562
135.92/136.33 c #Conflicts: 2284000 | #Constraints: 58562
135.92/136.33 c #Conflicts: 2285000 | #Constraints: 59562
135.92/136.33 c #Conflicts: 2286000 | #Constraints: 60562
135.92/136.33 c INPROCESSING
135.92/136.33 c GARBAGE COLLECT
135.92/136.33 c rational objective 300.5
138.02/138.41 c #Conflicts: 2287000 | #Constraints: 31564
138.02/138.41 c #Conflicts: 2288000 | #Constraints: 32564
138.02/138.41 c #Conflicts: 2289000 | #Constraints: 33564
138.02/138.41 c #Conflicts: 2290000 | #Constraints: 34564
138.02/138.41 c #Conflicts: 2291000 | #Constraints: 35564
138.02/138.41 c #Conflicts: 2292000 | #Constraints: 36564
138.02/138.41 c #Conflicts: 2293000 | #Constraints: 37564
138.02/138.41 c #Conflicts: 2294000 | #Constraints: 38564
138.02/138.41 c #Conflicts: 2295000 | #Constraints: 39564
138.02/138.41 c #Conflicts: 2296000 | #Constraints: 40564
138.02/138.41 c #Conflicts: 2297000 | #Constraints: 41564
138.02/138.41 c #Conflicts: 2298000 | #Constraints: 42564
138.02/138.41 c #Conflicts: 2299000 | #Constraints: 43564
138.02/138.41 c #Conflicts: 2300000 | #Constraints: 44564
138.02/138.41 c #Conflicts: 2301000 | #Constraints: 45564
138.02/138.41 c #Conflicts: 2302000 | #Constraints: 46564
138.02/138.41 c #Conflicts: 2303000 | #Constraints: 47564
138.02/138.41 c #Conflicts: 2304000 | #Constraints: 48564
138.02/138.41 c #Conflicts: 2305000 | #Constraints: 49564
138.02/138.41 c #Conflicts: 2306000 | #Constraints: 50564
138.02/138.41 c #Conflicts: 2307000 | #Constraints: 51564
138.02/138.41 c #Conflicts: 2308000 | #Constraints: 52564
138.02/138.41 c #Conflicts: 2309000 | #Constraints: 53564
138.02/138.41 c #Conflicts: 2310000 | #Constraints: 54564
138.02/138.41 c #Conflicts: 2311000 | #Constraints: 55564
138.02/138.41 c #Conflicts: 2312000 | #Constraints: 56564
138.02/138.41 c #Conflicts: 2313000 | #Constraints: 57564
138.02/138.41 c #Conflicts: 2314000 | #Constraints: 58564
138.02/138.41 c cpu time 130.175 s
138.02/138.41 c deterministic time 5629731839 5.63e+09
138.02/138.41 c optimization time 0.000101 s
138.02/138.41 c total solve time 130.173 s
138.02/138.41 c core-guided solve time 0 s
138.02/138.41 c propagation time 92.9047 s
138.02/138.41 c conflict analysis time 22.8985 s
138.02/138.41 c propagations 13260598
138.02/138.41 c resolve steps 7504121
138.02/138.41 c decisions 3556379
138.02/138.41 c conflicts 2314251
138.02/138.41 c restarts 4094
138.02/138.41 c inprocessing phases 142
138.02/138.41 c garbage collections 142 ,( 100.00 )
138.02/138.41 c input clauses 2 ,( 0.33 )
138.02/138.41 c input cardinalities 600 ,( 99.67 )
138.02/138.41 c input general constraints 0 ,( 0.00 )
138.02/138.41 c input average constraint length 3.99
138.02/138.41 c input average constraint degree 2.00
138.02/138.41 c learned clauses 2246833 ,( 97.06 )
138.02/138.41 c learned cardinalities 6536 ,( 0.28 )
138.02/138.41 c learned general constraints 61567 ,( 2.66 )
138.02/138.41 c learned average constraint length 17.57
138.02/138.41 c learned average constraint degree 3897909.36
138.02/138.41 c watched CF 32, 64, 128, Arb: 35933 , 0 , 0 , 0
138.02/138.41 c counting CF 32, 64, 128, Arb: 25634 , 0 , 0 , 0
138.02/138.41 c watched constraints 35933 ,( 58.36 )
138.02/138.41 c counting constraints 25634 ,( 41.64 )
138.02/138.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 825247853 , 87599566 , 59661307 ,( 50236227 , 9425080 )
138.02/138.41 c gcd simplifications 33394
138.02/138.41 c detected cardinalities 909
138.02/138.41 c weakened non-implied lits 826539
138.02/138.41 c weakened non-implying lits 11931
138.02/138.41 c original variables 601
138.02/138.41 c clausal propagations 4931423
138.02/138.41 c cardinality propagations 3456873
138.02/138.41 c watched propagations 646682
138.02/138.41 c counting propagations 1872587
138.02/138.41 c watch lookups 3365319770
138.02/138.41 c watch backjump lookups 0
138.02/138.41 c watch checks 1978142101
138.02/138.41 c propagation checks 120796855
138.02/138.41 c constraint additions 129292858
138.02/138.41 c trail pops 19131192
138.02/138.41 c formula constraints 602
138.02/138.41 c learned constraints 2314228
138.02/138.41 c bound constraints 0
138.02/138.41 c core-guided constraints 0
138.02/138.41 c encountered formula constraints 795989
138.02/138.41 c encountered learned constraints 8995580
138.02/138.41 c encountered bound constraints 0
138.02/138.41 c encountered core-guided constraints 0
138.02/138.41 c LP total time 12.8792 s
138.02/138.41 c LP solve time 6.94 s
138.02/138.41 c LP constraints added 1409
138.02/138.41 c LP constraints removed 797
138.02/138.41 c LP pivots internal 231425
138.02/138.41 c LP pivots root 660
138.02/138.41 c LP calls 21624
138.02/138.41 c LP optimalities 21602
138.02/138.41 c LP no pivot count 1344
138.02/138.41 c LP infeasibilities 22
138.02/138.41 c LP valid Farkas constraints 22
138.02/138.41 c LP learned Farkas constraints 22
138.02/138.41 c LP basis resets 0
138.02/138.41 c LP cycling count 0
138.02/138.41 c LP singular count 0
138.02/138.41 c LP no primal count 0
138.02/138.41 c LP no farkas count 0
138.02/138.41 c LP other issue count 0
138.02/138.41 c LP Gomory cuts 664
138.02/138.41 c LP learned cuts 143
138.02/138.41 c LP deleted cuts 797
138.02/138.41 c LP encountered Gomory constraints 1
138.02/138.41 c LP encountered Farkas constraints 26709
138.02/138.41 c LP encountered learned Farkas constraints 71
138.02/138.41 c CG auxiliary variables introduced 0
138.02/138.41 c CG solutions found 0
138.02/138.41 c CG cores constructed 0
138.02/138.41 c CG core cardinality constraints returned 0
138.02/138.41 c CG unit cores 0
138.02/138.41 c CG single cores 0
138.02/138.41 c CG blocks removed during cardinality reduction 0
138.02/138.41 c CG first core best 0
138.02/138.45 c CG decision core best 0
138.02/138.45 c CG core reduction tie 0
138.02/138.45 c CG core degree average 0.00
138.02/138.45 c CG core slack average 0.00
138.02/138.45 c CG core upper bound improvements 0
138.02/138.45 c STR number of successful calls 0
138.02/138.45 c STR number of unsuccessful calls 0
138.02/138.45 c STR number of inconclusive calls 0
138.02/138.45 c STR number of successful attempts 0
138.02/138.45 c STR number of unsuccessful attempts 0
138.02/138.45 c STR number of inconclusive attempts 0
138.02/138.45 c STR average degree increase per successful call inf
138.02/138.45 c STR average degree increase per successful attempt inf
138.02/138.45 c STR total number of conflicts for successful attempts 0
138.02/138.45 c STR total number of conflicts for unsuccessful attempts 0
138.02/138.45 c STR total number of conflicts for inconclusive attempts 0
138.02/138.45 c STR average number of conflicts per successful attempt inf
138.02/138.45 c STR average number of conflicts per unsuccessful attempt inf
138.02/138.45 c STR average number of conflicts per inconclusive attempt inf
138.02/138.45 c AVG.sumWPerc 37.42
138.02/138.45 c bigint constraints 0
138.02/138.45 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61266 MiB free)
memory of node 1: 64465 MiB (61998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511159-1751196017/watcher-4511159-1751196017 -o /tmp/evaluation-result-4511159-1751196017/solver-4511159-1751196017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22313 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4511159-1751196017.opb PROOFDIR/proof-4511159-1751196017
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23217, runsolver pid=23214
[startup+0.100059 s]*
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126221768/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=58124 memory=14964 CPUtime=0.08 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1156 0 0 0 7 1 0 0 20 0 1 0 35279566 59518976 3741 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 14531 3741 2400 1147 0 1958 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62316 KiB
Current children cumulated memory: 18036 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126225360/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=58544 memory=15348 CPUtime=0.19 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1267 0 0 0 16 3 0 0 20 0 1 0 35279566 59949056 3837 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 14636 3837 2400 1147 0 2063 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62736 KiB
Current children cumulated memory: 18420 KiB
[startup+0.305093 s]*
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126225360/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=58960 memory=15732 CPUtime=0.29 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1352 0 0 0 25 4 0 0 20 0 1 0 35279566 60375040 3933 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 14740 3933 2400 1147 0 2167 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63152 KiB
Current children cumulated memory: 18804 KiB
[startup+0.700133 s]
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126221328/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=59632 memory=16372 CPUtime=0.67 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1531 0 0 0 59 8 0 0 20 0 1 0 35279566 61063168 4093 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 14908 4093 2400 1147 0 2335 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63824 KiB
Current children cumulated memory: 19444 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126213264/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=60344 memory=17140 CPUtime=1.48 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1697 0 0 0 130 18 0 0 20 0 1 0 35279566 61792256 4285 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 15086 4285 2400 1147 0 2513 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64536 KiB
Current children cumulated memory: 20212 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126205668/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=61464 memory=18292 CPUtime=3.07 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 1988 0 0 0 272 35 0 0 20 0 1 0 35279566 62939136 4573 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 15366 4573 2400 1147 0 2793 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65656 KiB
Current children cumulated memory: 21364 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126182304/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=62900 memory=19700 CPUtime=6.26 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 2345 0 0 0 559 67 0 0 20 0 1 0 35279566 64409600 4925 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 15725 4925 2400 1147 0 3152 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67092 KiB
Current children cumulated memory: 22772 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 3.99 3.68 5/273 23219
/proc/meminfo: memFree=126157552/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=64784 memory=23560 CPUtime=12.65 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 2998 0 0 0 1148 117 0 0 20 0 1 0 35279566 66338816 5890 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 16196 5890 2400 1147 0 3623 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68976 KiB
Current children cumulated memory: 26632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 3.99 3.68 5/273 23220
/proc/meminfo: memFree=126056284/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=67800 memory=26216 CPUtime=25.42 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 5371 0 0 0 2343 199 0 0 20 0 1 0 35279566 69427200 6554 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 16950 6554 2400 1147 0 4377 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71992 KiB
Current children cumulated memory: 29288 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.01 3.70 5/273 23267
/proc/meminfo: memFree=125997816/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=70112 memory=28312 CPUtime=50.95 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 8081 0 0 0 4742 353 0 0 20 0 1 0 35279566 71794688 7078 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 17528 7078 2400 1147 0 4955 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74304 KiB
Current children cumulated memory: 31384 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.04 3.73 5/273 23503
/proc/meminfo: memFree=125676328/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=77712 memory=33956 CPUtime=102.01 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 16460 0 0 0 9588 613 0 0 20 0 1 0 35279566 79577088 8489 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19428 8489 2400 1147 0 6855 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 37028 KiB
[startup+138.451 s]
# the end of solver process 23217 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=130.182 s, system=7.87652 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.16 4.04 3.73 5/273 23503
/proc/meminfo: memFree=125676328/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=77712 memory=33956 CPUtime=102.12 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 16461 0 0 0 9598 614 0 0 20 0 1 0 35279566 79577088 8489 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19428 8489 2400 1147 0 6855 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 37028 KiB
[startup+115.2 s]
/proc/loadavg: 4.13 4.03 3.73 5/272 23503
/proc/meminfo: memFree=125596432/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=77272 memory=33868 CPUtime=114.88 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 18038 0 0 0 10809 679 0 0 20 0 1 0 35279566 79126528 8467 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19318 8467 2400 1147 0 6745 0
Current children cumulated CPU time: 114.88 s
Current children cumulated vsize: 81464 KiB
Current children cumulated memory: 36940 KiB
[startup+128 s]*
/proc/loadavg: 4.19 4.05 3.74 5/272 23503
/proc/meminfo: memFree=125519644/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=77912 memory=34716 CPUtime=127.65 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 19790 0 0 0 12022 743 0 0 20 0 1 0 35279566 79781888 8679 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19478 8679 2400 1147 0 6905 0
Current children cumulated CPU time: 127.65 s
Current children cumulated vsize: 82104 KiB
Current children cumulated memory: 37788 KiB
[startup+134.4 s]
/proc/loadavg: 4.17 4.05 3.74 5/273 23505
/proc/meminfo: memFree=125480588/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=78936 memory=35632 CPUtime=134.03 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 20462 0 0 0 12631 772 0 0 20 0 1 0 35279566 80830464 8908 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19734 8908 2400 1147 0 7161 0
Current children cumulated CPU time: 134.03 s
Current children cumulated vsize: 83128 KiB
Current children cumulated memory: 38704 KiB
[startup+136 s]*
/proc/loadavg: 4.16 4.05 3.74 5/273 23505
/proc/meminfo: memFree=125468524/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=79448 memory=35760 CPUtime=135.64 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 20509 0 0 0 12786 778 0 0 20 0 1 0 35279566 81354752 8940 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 19862 8940 2400 1147 0 7289 0
Current children cumulated CPU time: 135.64 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 38832 KiB
[startup+137.6 s]
/proc/loadavg: 4.16 4.05 3.74 5/273 23505
/proc/meminfo: memFree=125463988/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=80176 memory=36580 CPUtime=137.22 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 20797 0 0 0 12938 784 0 0 20 0 1 0 35279566 82100224 9145 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 20044 9145 2400 1147 0 7471 0
Current children cumulated CPU time: 137.22 s
Current children cumulated vsize: 84368 KiB
Current children cumulated memory: 39652 KiB
[startup+138 s]*
/proc/loadavg: 4.16 4.05 3.74 5/273 23506
/proc/meminfo: memFree=125460240/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=80176 memory=36580 CPUtime=137.62 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 20812 0 0 0 12977 785 0 0 20 0 1 0 35279566 82100224 9145 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 20044 9145 2400 1147 0 7471 0
Current children cumulated CPU time: 137.62 s
Current children cumulated vsize: 84368 KiB
Current children cumulated memory: 39652 KiB
[startup+138.4 s]
/proc/loadavg: 4.16 4.05 3.74 5/273 23506
/proc/meminfo: memFree=125460240/131249996 swapFree=33010684/33010684
[pid=23217] ppid=23214 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23217/stat : 23217 (run-dec-ls-log.) S 23214 23217 22301 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35279565 4292608 768 18446744073709551615 94395467444224 94395468338757 140737061533072 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94395468577808 94395468625552 94395488575488 140737061538075 140737061538273 140737061538273 140737061543875 0
/proc/23217/statm: 1048 768 704 219 0 110 0
[pid=23219] ppid=23217 vsize=80176 memory=36580 CPUtime=138.02 cores=1,3
/proc/23219/stat : 23219 (roundingsat) R 23217 23217 22301 0 -1 4194304 20827 0 0 0 13015 787 0 0 20 0 1 0 35279566 82100224 9145 18446744073709551615 4227072 8923433 140723975499088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12464128 140723975506256 140723975506472 140723975506472 140723975512042 0
/proc/23219/statm: 20044 9145 2400 1147 0 7471 0
Current children cumulated CPU time: 138.02 s
Current children cumulated vsize: 84368 KiB
Current children cumulated memory: 39652 KiB
Child status: 0
Real time (s): 138.452
CPU time (s): 138.058
CPU user time (s): 130.182
CPU system time (s): 7.87652
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 84368
Max. memory (cumulated for all children) (KiB): 39652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.182
system time used= 7.87652
maximum resident set size= 36912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 373736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 481
involuntary context switches= 243
# summary of solver processes directly reported to runsolver:
# pid: 23217
# total CPU time (s): 138.058
# total CPU user time (s): 130.182
# total CPU system time (s): 7.87652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.234436 second user time and 0.686382 second system time
The end
Begin job on nodeC023 at 2025-06-29 13:20:17
IDJOB=4511159
IDBENCH=160431
IDSOLVER=3354
FILE ID=nodeC023/4511159-1751196017
RUNJOBID= nodeC023-1751195206-22313
SLURM_JOB_ID= 9587603
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511159-1751196017/watcher-4511159-1751196017 -o /tmp/evaluation-result-4511159-1751196017/solver-4511159-1751196017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22313 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4511159-1751196017.opb PROOFDIR/proof-4511159-1751196017
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ae40a270bfcd4ecd9b94334dd86fa6
RANDOM SEED=1164647074
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.372
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.875
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.880
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126223512 kB
MemAvailable: 129454132 kB
Buffers: 3280 kB
Cached: 4036204 kB
SwapCached: 0 kB
Active: 630292 kB
Inactive: 3731040 kB
Active(anon): 340028 kB
Inactive(anon): 0 kB
Active(file): 290264 kB
Inactive(file): 3731040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61420 kB
Writeback: 0 kB
AnonPages: 320292 kB
Mapped: 114492 kB
Shmem: 18064 kB
KReclaimable: 97112 kB
Slab: 184648 kB
SReclaimable: 97112 kB
SUnreclaim: 87536 kB
KernelStack: 4400 kB
PageTables: 3856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 661784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 13:22:36