0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 9632 #constraints 29620
0.08/0.14 c objective is ce32
0.08/0.14 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.08/0.14 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.098173
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.099395
0.48/0.56 c GLOBAL bounds - >= 0 @ 0.492724
0.48/0.56 c GLOBAL bounds - >= 0 @ 0.497325
0.48/0.57 c GLOBAL bounds - >= 0 @ 0.497325
0.48/0.57 c GLOBAL bounds - >= 0 @ 0.498319
0.48/0.57 c GLOBAL bounds - >= 0 @ 0.498319
0.48/0.58 c GLOBAL bounds - >= 0 @ 0.501915
0.48/0.58 c GLOBAL bounds - >= 0 @ 0.502219
0.48/0.59 c GLOBAL bounds - >= 0 @ 0.505289
0.58/0.62 c GLOBAL bounds - >= 0 @ 0.529579
0.58/0.63 c GLOBAL bounds - >= 0 @ 0.533222
8.85/8.92 c #Conflicts: 1000 | #Constraints: 30624
8.85/8.92 c #Conflicts: 2000 | #Constraints: 31624
8.85/8.92 c INPROCESSING
8.85/8.92 c #Conflicts: 3000 | #Constraints: 31631
8.85/8.92 c #Conflicts: 4000 | #Constraints: 32631
8.85/8.92 c INPROCESSING
8.85/8.92 c GARBAGE COLLECT
8.85/8.92 c #Conflicts: 5000 | #Constraints: 32037
8.85/8.92 c #Conflicts: 6000 | #Constraints: 33037
8.85/8.92 c INPROCESSING
8.85/8.92 c GARBAGE COLLECT
8.85/8.92 c #Conflicts: 7000 | #Constraints: 32039
8.85/8.92 c #Conflicts: 8000 | #Constraints: 33039
8.85/8.92 c #Conflicts: 9000 | #Constraints: 34039
8.85/8.92 c INPROCESSING
8.85/8.92 c GARBAGE COLLECT
8.85/8.92 c rational objective 21.5
10.95/11.09 c #Conflicts: 10000 | #Constraints: 32833
10.95/11.09 c #Conflicts: 11000 | #Constraints: 33833
10.95/11.09 c #Conflicts: 12000 | #Constraints: 34833
10.95/11.09 c INPROCESSING
10.95/11.09 c GARBAGE COLLECT
10.95/11.09 c #Conflicts: 13000 | #Constraints: 33238
10.95/11.09 c #Conflicts: 14000 | #Constraints: 34238
10.95/11.09 c #Conflicts: 15000 | #Constraints: 35238
10.95/11.09 c INPROCESSING
10.95/11.09 c GARBAGE COLLECT
10.95/11.09 c GLOBAL bounds - >= 0 @ 10.8285
11.05/11.10 c GLOBAL bounds - >= 0 @ 10.8296
15.53/15.65 c #Conflicts: 16000 | #Constraints: 33446
15.53/15.65 c #Conflicts: 17000 | #Constraints: 34446
15.53/15.65 c #Conflicts: 18000 | #Constraints: 35446
15.53/15.65 c INPROCESSING
15.53/15.65 c GARBAGE COLLECT
15.53/15.65 c rational objective 24
29.50/29.60 c #Conflicts: 19000 | #Constraints: 33538
29.50/29.60 c #Conflicts: 20000 | #Constraints: 34538
29.50/29.60 c #Conflicts: 21000 | #Constraints: 35538
29.50/29.60 c INPROCESSING
29.50/29.60 c GARBAGE COLLECT
29.50/29.60 c #Conflicts: 22000 | #Constraints: 33296
29.50/29.60 c #Conflicts: 23000 | #Constraints: 34296
29.50/29.60 c #Conflicts: 24000 | #Constraints: 35296
29.50/29.60 c #Conflicts: 25000 | #Constraints: 36296
29.50/29.60 c INPROCESSING
29.50/29.60 c GARBAGE COLLECT
29.50/29.60 c #Conflicts: 26000 | #Constraints: 33873
29.50/29.60 c #Conflicts: 27000 | #Constraints: 34873
29.50/29.60 c #Conflicts: 28000 | #Constraints: 35873
29.50/29.60 c #Conflicts: 29000 | #Constraints: 36873
29.50/29.60 c INPROCESSING
29.50/29.60 c GARBAGE COLLECT
29.50/29.60 c rational objective 24
48.75/48.93 c #Conflicts: 30000 | #Constraints: 34340
48.75/48.93 c #Conflicts: 31000 | #Constraints: 35340
48.75/48.93 c #Conflicts: 32000 | #Constraints: 36340
48.75/48.93 c #Conflicts: 33000 | #Constraints: 37340
48.75/48.93 c INPROCESSING
48.75/48.93 c GARBAGE COLLECT
48.75/48.93 c #Conflicts: 34000 | #Constraints: 34491
48.75/48.93 c #Conflicts: 35000 | #Constraints: 35491
48.75/48.93 c #Conflicts: 36000 | #Constraints: 36491
48.75/48.93 c #Conflicts: 37000 | #Constraints: 37491
48.75/48.93 c INPROCESSING
48.75/48.93 c GARBAGE COLLECT
48.75/48.93 c #Conflicts: 38000 | #Constraints: 34470
48.75/48.93 c #Conflicts: 39000 | #Constraints: 35470
48.75/48.93 c #Conflicts: 40000 | #Constraints: 36470
48.75/48.93 c #Conflicts: 41000 | #Constraints: 37470
48.75/48.93 c INPROCESSING
48.75/48.93 c GARBAGE COLLECT
48.75/48.93 c rational objective 25
65.51/65.71 c #Conflicts: 42000 | #Constraints: 34326
65.51/65.71 c #Conflicts: 43000 | #Constraints: 35326
65.51/65.71 c #Conflicts: 44000 | #Constraints: 36326
65.51/65.71 c #Conflicts: 45000 | #Constraints: 37326
65.51/65.71 c #Conflicts: 46000 | #Constraints: 38326
65.51/65.71 c INPROCESSING
65.51/65.71 c GARBAGE COLLECT
65.51/65.71 c #Conflicts: 47000 | #Constraints: 34891
65.51/65.71 c #Conflicts: 48000 | #Constraints: 35891
65.51/65.71 c #Conflicts: 49000 | #Constraints: 36891
65.51/65.71 c #Conflicts: 50000 | #Constraints: 37891
65.51/65.71 c #Conflicts: 51000 | #Constraints: 38891
65.51/65.71 c INPROCESSING
65.51/65.71 c GARBAGE COLLECT
65.51/65.71 c rational objective 30
82.96/83.27 c #Conflicts: 52000 | #Constraints: 35347
82.96/83.27 c #Conflicts: 53000 | #Constraints: 36347
82.96/83.27 c #Conflicts: 54000 | #Constraints: 37347
82.96/83.27 c #Conflicts: 55000 | #Constraints: 38347
82.96/83.27 c #Conflicts: 56000 | #Constraints: 39347
82.96/83.27 c INPROCESSING
82.96/83.27 c GARBAGE COLLECT
82.96/83.27 c #Conflicts: 57000 | #Constraints: 35495
82.96/83.27 c #Conflicts: 58000 | #Constraints: 36495
82.96/83.27 c #Conflicts: 59000 | #Constraints: 37495
82.96/83.27 c #Conflicts: 60000 | #Constraints: 38495
82.96/83.27 c #Conflicts: 61000 | #Constraints: 39495
82.96/83.27 c INPROCESSING
82.96/83.27 c GARBAGE COLLECT
82.96/83.27 c #Conflicts: 62000 | #Constraints: 35480
82.96/83.27 c #Conflicts: 63000 | #Constraints: 36480
82.96/83.27 c #Conflicts: 64000 | #Constraints: 37480
82.96/83.27 c #Conflicts: 65000 | #Constraints: 38480
82.96/83.27 c #Conflicts: 66000 | #Constraints: 39480
82.96/83.27 c INPROCESSING
82.96/83.27 c GARBAGE COLLECT
82.96/83.27 c #Conflicts: 67000 | #Constraints: 35268
82.96/83.27 c #Conflicts: 68000 | #Constraints: 36268
82.96/83.27 c #Conflicts: 69000 | #Constraints: 37268
82.96/83.27 c #Conflicts: 70000 | #Constraints: 38268
82.96/83.27 c #Conflicts: 71000 | #Constraints: 39268
82.96/83.27 c #Conflicts: 72000 | #Constraints: 40268
82.96/83.27 c INPROCESSING
82.96/83.27 c GARBAGE COLLECT
82.96/83.27 c #Conflicts: 73000 | #Constraints: 35861
82.96/83.27 c #Conflicts: 74000 | #Constraints: 36861
82.96/83.27 c #Conflicts: 75000 | #Constraints: 37861
82.96/83.27 c #Conflicts: 76000 | #Constraints: 38861
82.96/83.27 c #Conflicts: 77000 | #Constraints: 39861
82.96/83.27 c #Conflicts: 78000 | #Constraints: 40861
82.96/83.27 c INPROCESSING
82.96/83.27 c GARBAGE COLLECT
82.96/83.27 c rational objective 40
97.32/97.60 c #Conflicts: 79000 | #Constraints: 36332
97.32/97.60 c #Conflicts: 80000 | #Constraints: 37332
97.32/97.60 c #Conflicts: 81000 | #Constraints: 38332
97.32/97.60 c #Conflicts: 82000 | #Constraints: 39332
97.32/97.60 c #Conflicts: 83000 | #Constraints: 40332
97.32/97.60 c #Conflicts: 84000 | #Constraints: 41332
97.32/97.60 c INPROCESSING
97.32/97.60 c GARBAGE COLLECT
97.32/97.60 c rational objective 40
113.49/113.85 c #Conflicts: 85000 | #Constraints: 36526
113.49/113.85 c #Conflicts: 86000 | #Constraints: 37526
113.49/113.85 c #Conflicts: 87000 | #Constraints: 38526
113.49/113.85 c #Conflicts: 88000 | #Constraints: 39526
113.49/113.85 c #Conflicts: 89000 | #Constraints: 40526
113.49/113.85 c #Conflicts: 90000 | #Constraints: 41526
113.49/113.85 c INPROCESSING
113.49/113.85 c GARBAGE COLLECT
113.49/113.85 c #Conflicts: 91000 | #Constraints: 36490
113.49/113.85 c #Conflicts: 92000 | #Constraints: 37490
113.49/113.85 c #Conflicts: 93000 | #Constraints: 38490
113.49/113.85 c #Conflicts: 94000 | #Constraints: 39490
113.49/113.85 c #Conflicts: 95000 | #Constraints: 40490
113.49/113.85 c #Conflicts: 96000 | #Constraints: 41490
113.49/113.85 c INPROCESSING
113.49/113.85 c GARBAGE COLLECT
113.49/113.85 c rational objective 40
135.93/136.37 c #Conflicts: 97000 | #Constraints: 36341
135.93/136.37 c #Conflicts: 98000 | #Constraints: 37341
135.93/136.37 c #Conflicts: 99000 | #Constraints: 38341
135.93/136.37 c #Conflicts: 100000 | #Constraints: 39341
135.93/136.37 c #Conflicts: 101000 | #Constraints: 40341
135.93/136.37 c #Conflicts: 102000 | #Constraints: 41341
135.93/136.37 c #Conflicts: 103000 | #Constraints: 42341
135.93/136.37 c INPROCESSING
135.93/136.37 c GARBAGE COLLECT
135.93/136.37 c rational objective 40
150.60/151.02 c #Conflicts: 104000 | #Constraints: 36955
150.60/151.02 c #Conflicts: 105000 | #Constraints: 37955
150.60/151.02 c #Conflicts: 106000 | #Constraints: 38955
150.60/151.02 c #Conflicts: 107000 | #Constraints: 39955
150.60/151.02 c #Conflicts: 108000 | #Constraints: 40955
150.60/151.02 c #Conflicts: 109000 | #Constraints: 41955
150.60/151.02 c #Conflicts: 110000 | #Constraints: 42955
150.60/151.02 c INPROCESSING
150.60/151.02 c GARBAGE COLLECT
150.60/151.02 c #Conflicts: 111000 | #Constraints: 37299
150.60/151.02 c #Conflicts: 112000 | #Constraints: 38299
150.60/151.02 c #Conflicts: 113000 | #Constraints: 39299
150.60/151.02 c #Conflicts: 114000 | #Constraints: 40299
150.60/151.02 c #Conflicts: 115000 | #Constraints: 41300
150.60/151.02 c #Conflicts: 116000 | #Constraints: 42300
150.60/151.02 c #Conflicts: 117000 | #Constraints: 43300
150.60/151.02 c INPROCESSING
150.60/151.02 c GARBAGE COLLECT
150.60/151.02 c #Conflicts: 118000 | #Constraints: 37479
150.60/151.02 c #Conflicts: 119000 | #Constraints: 38479
150.60/151.02 c #Conflicts: 120000 | #Constraints: 39479
150.60/151.02 c #Conflicts: 121000 | #Constraints: 40479
150.60/151.02 c #Conflicts: 122000 | #Constraints: 41479
150.60/151.02 c #Conflicts: 123000 | #Constraints: 42479
150.60/151.02 c #Conflicts: 124000 | #Constraints: 43479
150.60/151.02 c INPROCESSING
150.60/151.02 c GARBAGE COLLECT
150.60/151.02 c #Conflicts: 125000 | #Constraints: 37465
150.60/151.02 c #Conflicts: 126000 | #Constraints: 38465
150.60/151.02 c #Conflicts: 127000 | #Constraints: 39465
150.60/151.02 c #Conflicts: 128000 | #Constraints: 40465
150.60/151.02 c #Conflicts: 129000 | #Constraints: 41465
150.60/151.02 c #Conflicts: 130000 | #Constraints: 42465
150.60/151.02 c #Conflicts: 131000 | #Constraints: 43465
150.60/151.02 c INPROCESSING
150.60/151.02 c GARBAGE COLLECT
150.60/151.02 c rational objective 41
164.75/165.20 c #Conflicts: 132000 | #Constraints: 37317
164.75/165.20 c #Conflicts: 133000 | #Constraints: 38317
164.75/165.20 c #Conflicts: 134000 | #Constraints: 39317
164.75/165.20 c #Conflicts: 135000 | #Constraints: 40317
164.75/165.20 c #Conflicts: 136000 | #Constraints: 41317
164.75/165.20 c #Conflicts: 137000 | #Constraints: 42317
164.75/165.20 c #Conflicts: 138000 | #Constraints: 43317
164.75/165.20 c #Conflicts: 139000 | #Constraints: 44317
164.75/165.20 c INPROCESSING
164.75/165.20 c GARBAGE COLLECT
164.75/165.20 c rational objective 43
201.56/202.16 c #Conflicts: 140000 | #Constraints: 37955
201.56/202.16 c #Conflicts: 141000 | #Constraints: 38955
201.56/202.16 c #Conflicts: 142000 | #Constraints: 39955
201.56/202.16 c #Conflicts: 143000 | #Constraints: 40955
201.56/202.16 c #Conflicts: 144000 | #Constraints: 41955
201.56/202.16 c #Conflicts: 145000 | #Constraints: 42955
201.56/202.16 c #Conflicts: 146000 | #Constraints: 43955
201.56/202.16 c #Conflicts: 147000 | #Constraints: 44955
201.56/202.16 c INPROCESSING
201.56/202.16 c GARBAGE COLLECT
201.56/202.16 c #Conflicts: 148000 | #Constraints: 38306
201.56/202.16 c #Conflicts: 149000 | #Constraints: 39306
201.56/202.16 c #Conflicts: 150000 | #Constraints: 40306
201.56/202.16 c #Conflicts: 151000 | #Constraints: 41306
201.56/202.16 c #Conflicts: 152000 | #Constraints: 42306
201.56/202.16 c #Conflicts: 153000 | #Constraints: 43306
201.56/202.16 c #Conflicts: 154000 | #Constraints: 44306
201.56/202.16 c #Conflicts: 155000 | #Constraints: 45306
201.56/202.16 c INPROCESSING
201.56/202.16 c GARBAGE COLLECT
201.56/202.16 c #Conflicts: 156000 | #Constraints: 38482
201.56/202.16 c #Conflicts: 157000 | #Constraints: 39483
201.56/202.16 c #Conflicts: 158000 | #Constraints: 40483
201.56/202.16 c #Conflicts: 159000 | #Constraints: 41483
201.56/202.16 c #Conflicts: 160000 | #Constraints: 42484
201.56/202.16 c #Conflicts: 161000 | #Constraints: 43485
201.56/202.16 c #Conflicts: 162000 | #Constraints: 44485
201.56/202.16 c #Conflicts: 163000 | #Constraints: 45486
201.56/202.16 c INPROCESSING
201.56/202.16 c GARBAGE COLLECT
201.56/202.16 c #Conflicts: 164000 | #Constraints: 38476
201.56/202.16 c #Conflicts: 165000 | #Constraints: 39476
201.56/202.16 c #Conflicts: 166000 | #Constraints: 40476
201.56/202.16 c GLOBAL bounds - >= 0 @ 199.772
201.56/202.16 c GLOBAL bounds - >= 0 @ 199.775
211.22/211.87 c #Conflicts: 167000 | #Constraints: 41477
211.22/211.87 c #Conflicts: 168000 | #Constraints: 42477
211.22/211.87 c #Conflicts: 169000 | #Constraints: 43478
211.22/211.87 c #Conflicts: 170000 | #Constraints: 44478
211.22/211.87 c #Conflicts: 171000 | #Constraints: 45478
211.22/211.87 c INPROCESSING
211.22/211.87 c GARBAGE COLLECT
211.22/211.87 c #Conflicts: 172000 | #Constraints: 38343
211.22/211.87 c #Conflicts: 173000 | #Constraints: 39343
211.22/211.87 c #Conflicts: 174000 | #Constraints: 40343
211.22/211.87 c #Conflicts: 175000 | #Constraints: 41343
211.22/211.87 c #Conflicts: 176000 | #Constraints: 42343
211.22/211.87 c #Conflicts: 177000 | #Constraints: 43343
211.22/211.87 c #Conflicts: 178000 | #Constraints: 44343
211.22/211.87 c #Conflicts: 179000 | #Constraints: 45343
211.22/211.87 c #Conflicts: 180000 | #Constraints: 46343
211.22/211.87 c INPROCESSING
211.22/211.87 c GARBAGE COLLECT
211.22/211.87 c rational objective 43
225.39/226.07 c #Conflicts: 181000 | #Constraints: 39063
225.39/226.07 c #Conflicts: 182000 | #Constraints: 40063
225.39/226.07 c #Conflicts: 183000 | #Constraints: 41063
225.39/226.07 c #Conflicts: 184000 | #Constraints: 42063
225.39/226.07 c #Conflicts: 185000 | #Constraints: 43063
225.39/226.07 c #Conflicts: 186000 | #Constraints: 44063
225.39/226.07 c #Conflicts: 187000 | #Constraints: 45063
225.39/226.07 c #Conflicts: 188000 | #Constraints: 46063
225.39/226.07 c #Conflicts: 189000 | #Constraints: 47063
225.39/226.07 c INPROCESSING
225.39/226.07 c GARBAGE COLLECT
225.39/226.07 c rational objective 43
239.66/240.35 c #Conflicts: 190000 | #Constraints: 39514
239.66/240.35 c #Conflicts: 191000 | #Constraints: 40514
239.66/240.35 c #Conflicts: 192000 | #Constraints: 41514
239.66/240.35 c #Conflicts: 193000 | #Constraints: 42514
239.66/240.35 c #Conflicts: 194000 | #Constraints: 43514
239.66/240.35 c #Conflicts: 195000 | #Constraints: 44514
239.66/240.35 c #Conflicts: 196000 | #Constraints: 45514
239.66/240.35 c #Conflicts: 197000 | #Constraints: 46514
239.66/240.35 c #Conflicts: 198000 | #Constraints: 47514
239.66/240.35 c INPROCESSING
239.66/240.35 c GARBAGE COLLECT
239.66/240.35 c #Conflicts: 199000 | #Constraints: 39672
239.66/240.35 c #Conflicts: 200000 | #Constraints: 40672
239.66/240.35 c #Conflicts: 201000 | #Constraints: 41672
239.66/240.35 c #Conflicts: 202000 | #Constraints: 42672
239.66/240.35 c #Conflicts: 203000 | #Constraints: 43672
239.66/240.35 c #Conflicts: 204000 | #Constraints: 44672
239.66/240.35 c #Conflicts: 205000 | #Constraints: 45672
239.66/240.35 c #Conflicts: 206000 | #Constraints: 46672
239.66/240.35 c #Conflicts: 207000 | #Constraints: 47672
239.66/240.35 c INPROCESSING
239.66/240.35 c GARBAGE COLLECT
239.66/240.35 c rational objective 43
254.12/254.86 c #Conflicts: 208000 | #Constraints: 39716
254.12/254.86 c #Conflicts: 209000 | #Constraints: 40716
254.12/254.86 c #Conflicts: 210000 | #Constraints: 41716
254.12/254.86 c #Conflicts: 211000 | #Constraints: 42716
254.12/254.86 c #Conflicts: 212000 | #Constraints: 43716
254.12/254.86 c #Conflicts: 213000 | #Constraints: 44716
254.12/254.86 c #Conflicts: 214000 | #Constraints: 45716
254.12/254.86 c #Conflicts: 215000 | #Constraints: 46716
254.12/254.86 c #Conflicts: 216000 | #Constraints: 47716
254.12/254.86 c INPROCESSING
254.12/254.86 c GARBAGE COLLECT
254.12/254.86 c rational objective 43
278.76/279.57 c #Conflicts: 217000 | #Constraints: 39553
278.76/279.57 c #Conflicts: 218000 | #Constraints: 40553
278.76/279.57 c #Conflicts: 219000 | #Constraints: 41553
278.76/279.57 c #Conflicts: 220000 | #Constraints: 42553
278.76/279.57 c #Conflicts: 221000 | #Constraints: 43553
278.76/279.57 c #Conflicts: 222000 | #Constraints: 44553
278.76/279.57 c #Conflicts: 223000 | #Constraints: 45553
278.76/279.57 c #Conflicts: 224000 | #Constraints: 46553
278.76/279.57 c #Conflicts: 225000 | #Constraints: 47553
278.76/279.57 c #Conflicts: 226000 | #Constraints: 48553
278.76/279.57 c INPROCESSING
278.76/279.57 c GARBAGE COLLECT
278.76/279.57 c rational objective 43
295.93/296.74 c #Conflicts: 227000 | #Constraints: 40127
295.93/296.74 c #Conflicts: 228000 | #Constraints: 41127
295.93/296.74 c #Conflicts: 229000 | #Constraints: 42127
295.93/296.74 c #Conflicts: 230000 | #Constraints: 43127
295.93/296.74 c #Conflicts: 231000 | #Constraints: 44127
295.93/296.74 c #Conflicts: 232000 | #Constraints: 45127
295.93/296.74 c #Conflicts: 233000 | #Constraints: 46127
295.93/296.74 c #Conflicts: 234000 | #Constraints: 47127
295.93/296.74 c #Conflicts: 235000 | #Constraints: 48127
295.93/296.74 c #Conflicts: 236000 | #Constraints: 49127
295.93/296.74 c INPROCESSING
295.93/296.74 c GARBAGE COLLECT
295.93/296.74 c #Conflicts: 237000 | #Constraints: 40476
295.93/296.74 c #Conflicts: 238000 | #Constraints: 41476
295.93/296.74 c #Conflicts: 239000 | #Constraints: 42476
295.93/296.74 c #Conflicts: 240000 | #Constraints: 43476
295.93/296.74 c #Conflicts: 241000 | #Constraints: 44476
295.93/296.74 c #Conflicts: 242000 | #Constraints: 45476
295.93/296.74 c #Conflicts: 243000 | #Constraints: 46476
295.93/296.74 c #Conflicts: 244000 | #Constraints: 47476
295.93/296.74 c #Conflicts: 245000 | #Constraints: 48476
295.93/296.74 c #Conflicts: 246000 | #Constraints: 49476
295.93/296.74 c INPROCESSING
295.93/296.74 c GARBAGE COLLECT
295.93/296.74 c #Conflicts: 247000 | #Constraints: 40652
295.93/296.74 c #Conflicts: 248000 | #Constraints: 41652
295.93/296.74 c #Conflicts: 249000 | #Constraints: 42652
295.93/296.74 c #Conflicts: 250000 | #Constraints: 43652
295.93/296.74 c #Conflicts: 251000 | #Constraints: 44652
295.93/296.74 c #Conflicts: 252000 | #Constraints: 45652
295.93/296.74 c #Conflicts: 253000 | #Constraints: 46653
295.93/296.74 c #Conflicts: 254000 | #Constraints: 47653
295.93/296.74 c #Conflicts: 255000 | #Constraints: 48653
295.93/296.74 c #Conflicts: 256000 | #Constraints: 49653
295.93/296.74 c INPROCESSING
295.93/296.74 c GARBAGE COLLECT
295.93/296.74 c rational objective 43
308.80/309.66 c #Conflicts: 257000 | #Constraints: 40710
308.80/309.66 c #Conflicts: 258000 | #Constraints: 41710
308.80/309.66 c #Conflicts: 259000 | #Constraints: 42710
308.80/309.66 c #Conflicts: 260000 | #Constraints: 43710
308.80/309.66 c #Conflicts: 261000 | #Constraints: 44710
308.80/309.66 c #Conflicts: 262000 | #Constraints: 45710
308.80/309.66 c #Conflicts: 263000 | #Constraints: 46710
308.80/309.66 c #Conflicts: 264000 | #Constraints: 47710
308.80/309.66 c #Conflicts: 265000 | #Constraints: 48710
308.80/309.66 c #Conflicts: 266000 | #Constraints: 49710
308.80/309.66 c INPROCESSING
308.80/309.66 c GARBAGE COLLECT
308.80/309.66 c rational objective 43
321.36/322.29 c #Conflicts: 267000 | #Constraints: 40530
321.36/322.29 c #Conflicts: 268000 | #Constraints: 41530
321.36/322.29 c #Conflicts: 269000 | #Constraints: 42530
321.36/322.29 c #Conflicts: 270000 | #Constraints: 43530
321.36/322.29 c #Conflicts: 271000 | #Constraints: 44530
321.36/322.29 c #Conflicts: 272000 | #Constraints: 45530
321.36/322.29 c #Conflicts: 273000 | #Constraints: 46530
321.36/322.29 c #Conflicts: 274000 | #Constraints: 47531
321.36/322.29 c #Conflicts: 275000 | #Constraints: 48531
321.36/322.29 c #Conflicts: 276000 | #Constraints: 49531
321.36/322.29 c #Conflicts: 277000 | #Constraints: 50531
321.36/322.29 c INPROCESSING
321.36/322.29 c GARBAGE COLLECT
321.36/322.29 c rational objective 43
336.43/337.35 c #Conflicts: 278000 | #Constraints: 41153
336.43/337.35 c #Conflicts: 279000 | #Constraints: 42153
336.43/337.35 c #Conflicts: 280000 | #Constraints: 43153
336.43/337.35 c #Conflicts: 281000 | #Constraints: 44153
336.43/337.35 c #Conflicts: 282000 | #Constraints: 45153
336.43/337.35 c #Conflicts: 283000 | #Constraints: 46153
336.43/337.35 c #Conflicts: 284000 | #Constraints: 47153
336.43/337.35 c #Conflicts: 285000 | #Constraints: 48153
336.43/337.35 c #Conflicts: 286000 | #Constraints: 49153
336.43/337.35 c #Conflicts: 287000 | #Constraints: 50153
336.43/337.35 c #Conflicts: 288000 | #Constraints: 51153
336.43/337.35 c INPROCESSING
336.43/337.35 c GARBAGE COLLECT
336.43/337.35 c rational objective 43
363.46/364.42 c #Conflicts: 289000 | #Constraints: 41558
363.46/364.42 c #Conflicts: 290000 | #Constraints: 42558
363.46/364.42 c #Conflicts: 291000 | #Constraints: 43558
363.46/364.42 c #Conflicts: 292000 | #Constraints: 44558
363.46/364.42 c #Conflicts: 293000 | #Constraints: 45558
363.46/364.42 c #Conflicts: 294000 | #Constraints: 46558
363.46/364.42 c #Conflicts: 295000 | #Constraints: 47558
363.46/364.42 c #Conflicts: 296000 | #Constraints: 48558
363.46/364.42 c #Conflicts: 297000 | #Constraints: 49558
363.46/364.42 c #Conflicts: 298000 | #Constraints: 50558
363.46/364.42 c #Conflicts: 299000 | #Constraints: 51558
363.46/364.42 c INPROCESSING
363.46/364.42 c GARBAGE COLLECT
363.46/364.42 c rational objective 43
390.69/391.74 c #Conflicts: 300000 | #Constraints: 41750
390.69/391.74 c #Conflicts: 301000 | #Constraints: 42750
390.69/391.74 c #Conflicts: 302000 | #Constraints: 43750
390.69/391.74 c #Conflicts: 303000 | #Constraints: 44750
390.69/391.74 c #Conflicts: 304000 | #Constraints: 45750
390.69/391.74 c #Conflicts: 305000 | #Constraints: 46750
390.69/391.74 c #Conflicts: 306000 | #Constraints: 47750
390.69/391.74 c #Conflicts: 307000 | #Constraints: 48750
390.69/391.74 c #Conflicts: 308000 | #Constraints: 49750
390.69/391.74 c #Conflicts: 309000 | #Constraints: 50750
390.69/391.74 c #Conflicts: 310000 | #Constraints: 51750
390.69/391.74 c INPROCESSING
390.69/391.74 c GARBAGE COLLECT
390.69/391.74 c #Conflicts: 311000 | #Constraints: 41686
390.69/391.74 c #Conflicts: 312000 | #Constraints: 42686
390.69/391.74 c #Conflicts: 313000 | #Constraints: 43686
390.69/391.74 c #Conflicts: 314000 | #Constraints: 44686
390.69/391.74 c #Conflicts: 315000 | #Constraints: 45686
390.69/391.74 c #Conflicts: 316000 | #Constraints: 46686
390.69/391.74 c #Conflicts: 317000 | #Constraints: 47686
390.69/391.74 c #Conflicts: 318000 | #Constraints: 48686
390.69/391.74 c #Conflicts: 319000 | #Constraints: 49686
390.69/391.74 c #Conflicts: 320000 | #Constraints: 50686
390.69/391.74 c #Conflicts: 321000 | #Constraints: 51686
390.69/391.74 c INPROCESSING
390.69/391.74 c GARBAGE COLLECT
390.69/391.74 c #Conflicts: 322000 | #Constraints: 41457
390.69/391.74 c #Conflicts: 323000 | #Constraints: 42457
390.69/391.74 c #Conflicts: 324000 | #Constraints: 43457
390.69/391.74 c #Conflicts: 325000 | #Constraints: 44457
390.69/391.74 c #Conflicts: 326000 | #Constraints: 45457
390.69/391.74 c #Conflicts: 327000 | #Constraints: 46457
390.69/391.74 c #Conflicts: 328000 | #Constraints: 47457
390.69/391.74 c #Conflicts: 329000 | #Constraints: 48457
390.69/391.74 c #Conflicts: 330000 | #Constraints: 49457
390.69/391.74 c #Conflicts: 331000 | #Constraints: 50457
390.69/391.74 c #Conflicts: 332000 | #Constraints: 51458
390.69/391.74 c #Conflicts: 333000 | #Constraints: 52458
390.69/391.74 c INPROCESSING
390.69/391.74 c GARBAGE COLLECT
390.69/391.74 c rational objective 43
411.95/413.03 c #Conflicts: 334000 | #Constraints: 42108
411.95/413.03 c #Conflicts: 335000 | #Constraints: 43108
411.95/413.03 c #Conflicts: 336000 | #Constraints: 44108
411.95/413.03 c #Conflicts: 337000 | #Constraints: 45108
411.95/413.03 c #Conflicts: 338000 | #Constraints: 46108
411.95/413.03 c #Conflicts: 339000 | #Constraints: 47108
411.95/413.03 c #Conflicts: 340000 | #Constraints: 48108
411.95/413.03 c #Conflicts: 341000 | #Constraints: 49108
411.95/413.03 c #Conflicts: 342000 | #Constraints: 50108
411.95/413.03 c #Conflicts: 343000 | #Constraints: 51108
411.95/413.03 c #Conflicts: 344000 | #Constraints: 52108
411.95/413.03 c #Conflicts: 345000 | #Constraints: 53108
411.95/413.03 c INPROCESSING
411.95/413.03 c GARBAGE COLLECT
411.95/413.03 c rational objective 43
434.29/435.48 c #Conflicts: 346000 | #Constraints: 42506
434.29/435.48 c #Conflicts: 347000 | #Constraints: 43506
434.29/435.48 c #Conflicts: 348000 | #Constraints: 44506
434.29/435.48 c #Conflicts: 349000 | #Constraints: 45506
434.29/435.48 c #Conflicts: 350000 | #Constraints: 46506
434.29/435.48 c #Conflicts: 351000 | #Constraints: 47506
434.29/435.48 c #Conflicts: 352000 | #Constraints: 48506
434.29/435.48 c #Conflicts: 353000 | #Constraints: 49506
434.29/435.48 c #Conflicts: 354000 | #Constraints: 50506
434.29/435.48 c #Conflicts: 355000 | #Constraints: 51506
434.29/435.48 c #Conflicts: 356000 | #Constraints: 52506
434.29/435.48 c #Conflicts: 357000 | #Constraints: 53506
434.29/435.48 c INPROCESSING
434.29/435.48 c GARBAGE COLLECT
434.29/435.48 c rational objective 43
453.34/454.52 c #Conflicts: 358000 | #Constraints: 42706
453.34/454.52 c #Conflicts: 359000 | #Constraints: 43706
453.34/454.52 c #Conflicts: 360000 | #Constraints: 44706
453.34/454.52 c #Conflicts: 361000 | #Constraints: 45706
453.34/454.52 c #Conflicts: 362000 | #Constraints: 46706
453.34/454.52 c #Conflicts: 363000 | #Constraints: 47706
453.34/454.52 c #Conflicts: 364000 | #Constraints: 48706
453.34/454.52 c #Conflicts: 365000 | #Constraints: 49706
453.34/454.52 c #Conflicts: 366000 | #Constraints: 50706
453.34/454.52 c #Conflicts: 367000 | #Constraints: 51706
453.34/454.52 c #Conflicts: 368000 | #Constraints: 52706
453.34/454.52 c #Conflicts: 369000 | #Constraints: 53706
453.34/454.52 c INPROCESSING
453.34/454.52 c GARBAGE COLLECT
453.34/454.52 c #Conflicts: 370000 | #Constraints: 42669
453.34/454.52 c #Conflicts: 371000 | #Constraints: 43669
453.34/454.52 c #Conflicts: 372000 | #Constraints: 44669
453.34/454.52 c #Conflicts: 373000 | #Constraints: 45669
453.34/454.52 c #Conflicts: 374000 | #Constraints: 46669
453.34/454.52 c #Conflicts: 375000 | #Constraints: 47669
453.34/454.52 c #Conflicts: 376000 | #Constraints: 48669
453.34/454.52 c #Conflicts: 377000 | #Constraints: 49669
453.34/454.52 c #Conflicts: 378000 | #Constraints: 50669
453.34/454.52 c #Conflicts: 379000 | #Constraints: 51669
453.34/454.52 c #Conflicts: 380000 | #Constraints: 52669
453.34/454.52 c #Conflicts: 381000 | #Constraints: 53669
453.34/454.52 c INPROCESSING
453.34/454.52 c GARBAGE COLLECT
453.34/454.52 c rational objective 43
473.59/474.81 c #Conflicts: 382000 | #Constraints: 42510
473.59/474.81 c #Conflicts: 383000 | #Constraints: 43510
473.59/474.81 c #Conflicts: 384000 | #Constraints: 44510
473.59/474.81 c #Conflicts: 385000 | #Constraints: 45510
473.59/474.81 c #Conflicts: 386000 | #Constraints: 46510
473.59/474.81 c #Conflicts: 387000 | #Constraints: 47510
473.59/474.81 c #Conflicts: 388000 | #Constraints: 48510
473.59/474.81 c #Conflicts: 389000 | #Constraints: 49510
473.59/474.81 c #Conflicts: 390000 | #Constraints: 50510
473.59/474.81 c #Conflicts: 391000 | #Constraints: 51510
473.59/474.81 c #Conflicts: 392000 | #Constraints: 52510
473.59/474.81 c #Conflicts: 393000 | #Constraints: 53510
473.59/474.81 c #Conflicts: 394000 | #Constraints: 54510
473.59/474.81 c INPROCESSING
473.59/474.81 c GARBAGE COLLECT
473.59/474.81 c rational objective 43
487.56/488.81 c #Conflicts: 395000 | #Constraints: 43131
487.56/488.81 c #Conflicts: 396000 | #Constraints: 44131
487.56/488.81 c #Conflicts: 397000 | #Constraints: 45131
487.56/488.81 c #Conflicts: 398000 | #Constraints: 46131
487.56/488.81 c #Conflicts: 399000 | #Constraints: 47131
487.56/488.81 c #Conflicts: 400000 | #Constraints: 48131
487.56/488.81 c #Conflicts: 401000 | #Constraints: 49131
487.56/488.81 c #Conflicts: 402000 | #Constraints: 50131
487.56/488.81 c #Conflicts: 403000 | #Constraints: 51131
487.56/488.81 c #Conflicts: 404000 | #Constraints: 52131
487.56/488.81 c #Conflicts: 405000 | #Constraints: 53131
487.56/488.81 c #Conflicts: 406000 | #Constraints: 54131
487.56/488.81 c #Conflicts: 407000 | #Constraints: 55131
487.56/488.81 c INPROCESSING
487.56/488.81 c GARBAGE COLLECT
487.56/488.81 c rational objective 43
501.73/503.01 c #Conflicts: 408000 | #Constraints: 43525
501.73/503.01 c #Conflicts: 409000 | #Constraints: 44525
501.73/503.01 c #Conflicts: 410000 | #Constraints: 45525
501.73/503.01 c #Conflicts: 411000 | #Constraints: 46525
501.73/503.01 c #Conflicts: 412000 | #Constraints: 47525
501.73/503.01 c #Conflicts: 413000 | #Constraints: 48525
501.73/503.01 c #Conflicts: 414000 | #Constraints: 49525
501.73/503.01 c #Conflicts: 415000 | #Constraints: 50525
501.73/503.01 c #Conflicts: 416000 | #Constraints: 51525
501.73/503.01 c #Conflicts: 417000 | #Constraints: 52525
501.73/503.01 c #Conflicts: 418000 | #Constraints: 53525
501.73/503.01 c #Conflicts: 419000 | #Constraints: 54525
501.73/503.01 c #Conflicts: 420000 | #Constraints: 55525
501.73/503.01 c INPROCESSING
501.73/503.01 c GARBAGE COLLECT
501.73/503.01 c rational objective 43
527.96/529.34 c #Conflicts: 421000 | #Constraints: 43741
527.96/529.34 c #Conflicts: 422000 | #Constraints: 44741
527.96/529.34 c #Conflicts: 423000 | #Constraints: 45741
527.96/529.34 c #Conflicts: 424000 | #Constraints: 46741
527.96/529.34 c #Conflicts: 425000 | #Constraints: 47741
527.96/529.34 c #Conflicts: 426000 | #Constraints: 48741
527.96/529.34 c #Conflicts: 427000 | #Constraints: 49741
527.96/529.34 c #Conflicts: 428000 | #Constraints: 50741
527.96/529.34 c #Conflicts: 429000 | #Constraints: 51741
527.96/529.34 c #Conflicts: 430000 | #Constraints: 52741
527.96/529.34 c #Conflicts: 431000 | #Constraints: 53741
527.96/529.34 c #Conflicts: 432000 | #Constraints: 54741
527.96/529.34 c #Conflicts: 433000 | #Constraints: 55741
527.96/529.34 c INPROCESSING
527.96/529.34 c GARBAGE COLLECT
527.96/529.34 c rational objective 43
554.70/556.16 c #Conflicts: 434000 | #Constraints: 43730
554.70/556.16 c #Conflicts: 435000 | #Constraints: 44730
554.70/556.16 c #Conflicts: 436000 | #Constraints: 45730
554.70/556.16 c #Conflicts: 437000 | #Constraints: 46730
554.70/556.16 c #Conflicts: 438000 | #Constraints: 47730
554.70/556.16 c #Conflicts: 439000 | #Constraints: 48730
554.70/556.16 c #Conflicts: 440000 | #Constraints: 49730
554.70/556.16 c #Conflicts: 441000 | #Constraints: 50730
554.70/556.16 c #Conflicts: 442000 | #Constraints: 51730
554.70/556.16 c #Conflicts: 443000 | #Constraints: 52730
554.70/556.16 c #Conflicts: 444000 | #Constraints: 53730
554.70/556.16 c #Conflicts: 445000 | #Constraints: 54730
554.70/556.16 c #Conflicts: 446000 | #Constraints: 55730
554.70/556.16 c INPROCESSING
554.70/556.16 c GARBAGE COLLECT
554.70/556.16 c #Conflicts: 447000 | #Constraints: 43479
554.70/556.16 c #Conflicts: 448000 | #Constraints: 44479
554.70/556.16 c #Conflicts: 449000 | #Constraints: 45479
554.70/556.16 c #Conflicts: 450000 | #Constraints: 46479
554.70/556.16 c #Conflicts: 451000 | #Constraints: 47479
554.70/556.16 c #Conflicts: 452000 | #Constraints: 48479
554.70/556.16 c #Conflicts: 453000 | #Constraints: 49479
554.70/556.16 c #Conflicts: 454000 | #Constraints: 50479
554.70/556.16 c #Conflicts: 455000 | #Constraints: 51479
554.70/556.16 c #Conflicts: 456000 | #Constraints: 52479
554.70/556.16 c #Conflicts: 457000 | #Constraints: 53479
554.70/556.16 c #Conflicts: 458000 | #Constraints: 54479
554.70/556.16 c #Conflicts: 459000 | #Constraints: 55479
554.70/556.16 c #Conflicts: 460000 | #Constraints: 56479
554.70/556.16 c INPROCESSING
554.70/556.16 c GARBAGE COLLECT
554.70/556.16 c rational objective 43
571.36/572.82 c #Conflicts: 461000 | #Constraints: 44120
571.36/572.82 c #Conflicts: 462000 | #Constraints: 45120
571.36/572.82 c #Conflicts: 463000 | #Constraints: 46120
571.36/572.82 c #Conflicts: 464000 | #Constraints: 47120
571.36/572.82 c #Conflicts: 465000 | #Constraints: 48120
571.36/572.82 c #Conflicts: 466000 | #Constraints: 49120
571.36/572.82 c #Conflicts: 467000 | #Constraints: 50120
571.36/572.82 c #Conflicts: 468000 | #Constraints: 51120
571.36/572.82 c #Conflicts: 469000 | #Constraints: 52120
571.36/572.82 c #Conflicts: 470000 | #Constraints: 53120
571.36/572.82 c #Conflicts: 471000 | #Constraints: 54120
571.36/572.82 c #Conflicts: 472000 | #Constraints: 55120
571.36/572.82 c #Conflicts: 473000 | #Constraints: 56120
571.36/572.82 c #Conflicts: 474000 | #Constraints: 57120
571.36/572.82 c INPROCESSING
571.36/572.82 c GARBAGE COLLECT
571.36/572.82 c rational objective 43
587.42/588.91 c #Conflicts: 475000 | #Constraints: 44518
587.42/588.91 c #Conflicts: 476000 | #Constraints: 45518
587.42/588.91 c #Conflicts: 477000 | #Constraints: 46518
587.42/588.91 c #Conflicts: 478000 | #Constraints: 47518
587.42/588.91 c #Conflicts: 479000 | #Constraints: 48518
587.42/588.91 c #Conflicts: 480000 | #Constraints: 49518
587.42/588.91 c #Conflicts: 481000 | #Constraints: 50518
587.42/588.91 c #Conflicts: 482000 | #Constraints: 51518
587.42/588.91 c #Conflicts: 483000 | #Constraints: 52518
587.42/588.91 c GLOBAL bounds - >= 0 @ 582.254
587.42/588.92 c GLOBAL bounds - >= 0 @ 582.259
592.41/593.92 c #Conflicts: 484000 | #Constraints: 53519
592.41/593.92 c #Conflicts: 485000 | #Constraints: 54519
592.41/593.92 c #Conflicts: 486000 | #Constraints: 55519
592.41/593.92 c #Conflicts: 487000 | #Constraints: 56519
592.41/593.92 c #Conflicts: 488000 | #Constraints: 57519
592.41/593.92 c INPROCESSING
592.41/593.92 c GARBAGE COLLECT
592.41/593.92 c rational objective 43
610.47/612.06 c #Conflicts: 489000 | #Constraints: 44743
610.47/612.06 c #Conflicts: 490000 | #Constraints: 45743
610.47/612.06 c #Conflicts: 491000 | #Constraints: 46743
610.47/612.06 c #Conflicts: 492000 | #Constraints: 47743
610.47/612.06 c #Conflicts: 493000 | #Constraints: 48743
610.47/612.06 c #Conflicts: 494000 | #Constraints: 49743
610.47/612.06 c #Conflicts: 495000 | #Constraints: 50743
610.47/612.06 c #Conflicts: 496000 | #Constraints: 51743
610.47/612.06 c #Conflicts: 497000 | #Constraints: 52743
610.47/612.06 c #Conflicts: 498000 | #Constraints: 53743
610.47/612.06 c #Conflicts: 499000 | #Constraints: 54743
610.47/612.06 c #Conflicts: 500000 | #Constraints: 55743
610.47/612.06 c #Conflicts: 501000 | #Constraints: 56743
610.47/612.06 c #Conflicts: 502000 | #Constraints: 57743
610.47/612.06 c INPROCESSING
610.47/612.06 c GARBAGE COLLECT
610.47/612.06 c rational objective 43
632.21/633.83 c #Conflicts: 503000 | #Constraints: 44749
632.21/633.83 c #Conflicts: 504000 | #Constraints: 45749
632.21/633.83 c #Conflicts: 505000 | #Constraints: 46749
632.21/633.83 c #Conflicts: 506000 | #Constraints: 47749
632.21/633.83 c #Conflicts: 507000 | #Constraints: 48749
632.21/633.83 c #Conflicts: 508000 | #Constraints: 49749
632.21/633.83 c #Conflicts: 509000 | #Constraints: 50749
632.21/633.83 c #Conflicts: 510000 | #Constraints: 51749
632.21/633.83 c #Conflicts: 511000 | #Constraints: 52749
632.21/633.83 c #Conflicts: 512000 | #Constraints: 53749
632.21/633.83 c #Conflicts: 513000 | #Constraints: 54749
632.21/633.83 c #Conflicts: 514000 | #Constraints: 55749
632.21/633.83 c #Conflicts: 515000 | #Constraints: 56749
632.21/633.83 c #Conflicts: 516000 | #Constraints: 57749
632.21/633.83 c INPROCESSING
632.21/633.83 c GARBAGE COLLECT
632.21/633.83 c rational objective 43
649.57/651.27 c #Conflicts: 517000 | #Constraints: 44551
649.57/651.27 c #Conflicts: 518000 | #Constraints: 45551
649.57/651.27 c #Conflicts: 519000 | #Constraints: 46551
649.57/651.27 c #Conflicts: 520000 | #Constraints: 47551
649.57/651.27 c #Conflicts: 521000 | #Constraints: 48551
649.57/651.27 c #Conflicts: 522000 | #Constraints: 49551
649.57/651.27 c #Conflicts: 523000 | #Constraints: 50551
649.57/651.27 c #Conflicts: 524000 | #Constraints: 51551
649.57/651.27 c #Conflicts: 525000 | #Constraints: 52551
649.57/651.27 c #Conflicts: 526000 | #Constraints: 53551
649.57/651.27 c #Conflicts: 527000 | #Constraints: 54551
649.57/651.27 c #Conflicts: 528000 | #Constraints: 55551
649.57/651.27 c #Conflicts: 529000 | #Constraints: 56551
649.57/651.27 c #Conflicts: 530000 | #Constraints: 57551
649.57/651.27 c #Conflicts: 531000 | #Constraints: 58551
649.57/651.27 c INPROCESSING
649.57/651.27 c GARBAGE COLLECT
649.57/651.27 c rational objective 43
666.23/667.92 c #Conflicts: 532000 | #Constraints: 45149
666.23/667.92 c #Conflicts: 533000 | #Constraints: 46149
666.23/667.92 c #Conflicts: 534000 | #Constraints: 47149
666.23/667.92 c #Conflicts: 535000 | #Constraints: 48149
666.23/667.92 c #Conflicts: 536000 | #Constraints: 49149
666.23/667.92 c #Conflicts: 537000 | #Constraints: 50149
666.23/667.92 c #Conflicts: 538000 | #Constraints: 51149
666.23/667.92 c #Conflicts: 539000 | #Constraints: 52149
666.23/667.92 c #Conflicts: 540000 | #Constraints: 53149
666.23/667.92 c #Conflicts: 541000 | #Constraints: 54149
666.23/667.92 c #Conflicts: 542000 | #Constraints: 55149
666.23/667.92 c #Conflicts: 543000 | #Constraints: 56149
666.23/667.92 c #Conflicts: 544000 | #Constraints: 57149
666.23/667.92 c #Conflicts: 545000 | #Constraints: 58149
666.23/667.92 c #Conflicts: 546000 | #Constraints: 59149
666.23/667.92 c INPROCESSING
666.23/667.92 c GARBAGE COLLECT
666.23/667.92 c rational objective 43
681.10/682.83 c #Conflicts: 547000 | #Constraints: 45533
681.10/682.83 c #Conflicts: 548000 | #Constraints: 46533
681.10/682.83 c #Conflicts: 549000 | #Constraints: 47533
681.10/682.83 c #Conflicts: 550000 | #Constraints: 48533
681.10/682.83 c #Conflicts: 551000 | #Constraints: 49533
681.10/682.83 c #Conflicts: 552000 | #Constraints: 50533
681.10/682.83 c #Conflicts: 553000 | #Constraints: 51533
681.10/682.83 c #Conflicts: 554000 | #Constraints: 52533
681.10/682.83 c #Conflicts: 555000 | #Constraints: 53533
681.10/682.83 c #Conflicts: 556000 | #Constraints: 54533
681.10/682.83 c #Conflicts: 557000 | #Constraints: 55533
681.10/682.83 c #Conflicts: 558000 | #Constraints: 56533
681.10/682.83 c #Conflicts: 559000 | #Constraints: 57533
681.10/682.83 c #Conflicts: 560000 | #Constraints: 58533
681.10/682.83 c #Conflicts: 561000 | #Constraints: 59533
681.10/682.83 c INPROCESSING
681.10/682.83 c GARBAGE COLLECT
681.10/682.83 c rational objective 43
695.37/697.13 c #Conflicts: 562000 | #Constraints: 45743
695.37/697.13 c #Conflicts: 563000 | #Constraints: 46743
695.37/697.13 c #Conflicts: 564000 | #Constraints: 47743
695.37/697.13 c #Conflicts: 565000 | #Constraints: 48743
695.37/697.13 c #Conflicts: 566000 | #Constraints: 49743
695.37/697.13 c #Conflicts: 567000 | #Constraints: 50743
695.37/697.13 c #Conflicts: 568000 | #Constraints: 51743
695.37/697.13 c #Conflicts: 569000 | #Constraints: 52743
695.37/697.13 c #Conflicts: 570000 | #Constraints: 53743
695.37/697.13 c #Conflicts: 571000 | #Constraints: 54743
695.37/697.13 c #Conflicts: 572000 | #Constraints: 55743
695.37/697.13 c #Conflicts: 573000 | #Constraints: 56743
695.37/697.13 c #Conflicts: 574000 | #Constraints: 57743
695.37/697.13 c #Conflicts: 575000 | #Constraints: 58743
695.37/697.13 c #Conflicts: 576000 | #Constraints: 59743
695.37/697.13 c INPROCESSING
695.37/697.13 c GARBAGE COLLECT
695.37/697.13 c rational objective 43
711.92/713.73 c #Conflicts: 577000 | #Constraints: 45734
711.92/713.73 c #Conflicts: 578000 | #Constraints: 46734
711.92/713.73 c #Conflicts: 579000 | #Constraints: 47734
711.92/713.73 c #Conflicts: 580000 | #Constraints: 48734
711.92/713.73 c #Conflicts: 581000 | #Constraints: 49734
711.92/713.73 c #Conflicts: 582000 | #Constraints: 50734
711.92/713.73 c #Conflicts: 583000 | #Constraints: 51734
711.92/713.73 c #Conflicts: 584000 | #Constraints: 52734
711.92/713.73 c #Conflicts: 585000 | #Constraints: 53734
711.92/713.73 c #Conflicts: 586000 | #Constraints: 54734
711.92/713.73 c #Conflicts: 587000 | #Constraints: 55734
711.92/713.73 c #Conflicts: 588000 | #Constraints: 56734
711.92/713.73 c #Conflicts: 589000 | #Constraints: 57734
711.92/713.73 c #Conflicts: 590000 | #Constraints: 58734
711.92/713.73 c #Conflicts: 591000 | #Constraints: 59734
711.92/713.73 c INPROCESSING
711.92/713.73 c GARBAGE COLLECT
711.92/713.73 c rational objective 43
726.78/728.63 c #Conflicts: 592000 | #Constraints: 45530
726.78/728.63 c #Conflicts: 593000 | #Constraints: 46530
726.78/728.63 c #Conflicts: 594000 | #Constraints: 47530
726.78/728.63 c #Conflicts: 595000 | #Constraints: 48530
726.78/728.63 c #Conflicts: 596000 | #Constraints: 49530
726.78/728.63 c #Conflicts: 597000 | #Constraints: 50530
726.78/728.63 c #Conflicts: 598000 | #Constraints: 51530
726.78/728.63 c #Conflicts: 599000 | #Constraints: 52530
726.78/728.63 c #Conflicts: 600000 | #Constraints: 53530
726.78/728.63 c #Conflicts: 601000 | #Constraints: 54530
726.78/728.63 c #Conflicts: 602000 | #Constraints: 55530
726.78/728.63 c #Conflicts: 603000 | #Constraints: 56530
726.78/728.63 c #Conflicts: 604000 | #Constraints: 57530
726.78/728.63 c #Conflicts: 605000 | #Constraints: 58530
726.78/728.63 c #Conflicts: 606000 | #Constraints: 59530
726.78/728.63 c #Conflicts: 607000 | #Constraints: 60530
726.78/728.63 c INPROCESSING
726.78/728.63 c GARBAGE COLLECT
726.78/728.63 c rational objective 43
744.14/746.08 c #Conflicts: 608000 | #Constraints: 46116
744.14/746.08 c #Conflicts: 609000 | #Constraints: 47116
744.14/746.08 c #Conflicts: 610000 | #Constraints: 48116
744.14/746.08 c #Conflicts: 611000 | #Constraints: 49116
744.14/746.08 c #Conflicts: 612000 | #Constraints: 50116
744.14/746.08 c #Conflicts: 613000 | #Constraints: 51116
744.14/746.08 c #Conflicts: 614000 | #Constraints: 52116
744.14/746.08 c #Conflicts: 615000 | #Constraints: 53116
744.14/746.08 c #Conflicts: 616000 | #Constraints: 54116
744.14/746.08 c #Conflicts: 617000 | #Constraints: 55116
744.14/746.08 c #Conflicts: 618000 | #Constraints: 56116
744.14/746.08 c #Conflicts: 619000 | #Constraints: 57116
744.14/746.08 c #Conflicts: 620000 | #Constraints: 58116
744.14/746.08 c #Conflicts: 621000 | #Constraints: 59116
744.14/746.08 c #Conflicts: 622000 | #Constraints: 60116
744.14/746.08 c #Conflicts: 623000 | #Constraints: 61116
744.14/746.08 c INPROCESSING
744.14/746.08 c GARBAGE COLLECT
744.14/746.08 c rational objective 43
759.31/761.22 c #Conflicts: 624000 | #Constraints: 46515
759.31/761.22 c #Conflicts: 625000 | #Constraints: 47515
759.31/761.22 c #Conflicts: 626000 | #Constraints: 48515
759.31/761.22 c #Conflicts: 627000 | #Constraints: 49515
759.31/761.22 c #Conflicts: 628000 | #Constraints: 50515
759.31/761.22 c #Conflicts: 629000 | #Constraints: 51515
759.31/761.22 c #Conflicts: 630000 | #Constraints: 52515
759.31/761.22 c #Conflicts: 631000 | #Constraints: 53515
759.31/761.22 c #Conflicts: 632000 | #Constraints: 54515
759.31/761.22 c #Conflicts: 633000 | #Constraints: 55515
759.31/761.22 c #Conflicts: 634000 | #Constraints: 56515
759.31/761.22 c #Conflicts: 635000 | #Constraints: 57515
759.31/761.22 c #Conflicts: 636000 | #Constraints: 58515
759.31/761.22 c #Conflicts: 637000 | #Constraints: 59515
759.31/761.22 c #Conflicts: 638000 | #Constraints: 60515
759.31/761.22 c #Conflicts: 639000 | #Constraints: 61515
759.31/761.22 c INPROCESSING
759.31/761.22 c GARBAGE COLLECT
759.31/761.22 c rational objective 43
774.77/776.77 c #Conflicts: 640000 | #Constraints: 46717
774.77/776.77 c #Conflicts: 641000 | #Constraints: 47717
774.77/776.77 c #Conflicts: 642000 | #Constraints: 48717
774.77/776.77 c #Conflicts: 643000 | #Constraints: 49717
774.77/776.77 c #Conflicts: 644000 | #Constraints: 50717
774.77/776.77 c #Conflicts: 645000 | #Constraints: 51717
774.77/776.77 c #Conflicts: 646000 | #Constraints: 52717
774.77/776.77 c #Conflicts: 647000 | #Constraints: 53717
774.77/776.77 c #Conflicts: 648000 | #Constraints: 54717
774.77/776.77 c #Conflicts: 649000 | #Constraints: 55717
774.77/776.77 c #Conflicts: 650000 | #Constraints: 56717
774.77/776.77 c #Conflicts: 651000 | #Constraints: 57717
774.77/776.77 c #Conflicts: 652000 | #Constraints: 58717
774.77/776.77 c #Conflicts: 653000 | #Constraints: 59717
774.77/776.77 c #Conflicts: 654000 | #Constraints: 60717
774.77/776.77 c #Conflicts: 655000 | #Constraints: 61717
774.77/776.77 c INPROCESSING
774.77/776.77 c GARBAGE COLLECT
774.77/776.77 c rational objective 43
789.94/791.93 c #Conflicts: 656000 | #Constraints: 46730
789.94/791.93 c #Conflicts: 657000 | #Constraints: 47730
789.94/791.93 c #Conflicts: 658000 | #Constraints: 48730
789.94/791.93 c #Conflicts: 659000 | #Constraints: 49730
789.94/791.93 c #Conflicts: 660000 | #Constraints: 50730
789.94/791.93 c #Conflicts: 661000 | #Constraints: 51730
789.94/791.93 c #Conflicts: 662000 | #Constraints: 52730
789.94/791.93 c #Conflicts: 663000 | #Constraints: 53730
789.94/791.93 c #Conflicts: 664000 | #Constraints: 54730
789.94/791.93 c #Conflicts: 665000 | #Constraints: 55730
789.94/791.93 c #Conflicts: 666000 | #Constraints: 56730
789.94/791.93 c #Conflicts: 667000 | #Constraints: 57730
789.94/791.93 c #Conflicts: 668000 | #Constraints: 58730
789.94/791.93 c #Conflicts: 669000 | #Constraints: 59730
789.94/791.93 c #Conflicts: 670000 | #Constraints: 60730
789.94/791.93 c #Conflicts: 671000 | #Constraints: 61730
789.94/791.93 c INPROCESSING
789.94/791.93 c GARBAGE COLLECT
789.94/791.93 c rational objective 43
806.19/808.20 c #Conflicts: 672000 | #Constraints: 46531
806.19/808.20 c #Conflicts: 673000 | #Constraints: 47531
806.19/808.20 c #Conflicts: 674000 | #Constraints: 48531
806.19/808.20 c #Conflicts: 675000 | #Constraints: 49531
806.19/808.20 c #Conflicts: 676000 | #Constraints: 50531
806.19/808.20 c #Conflicts: 677000 | #Constraints: 51531
806.19/808.20 c #Conflicts: 678000 | #Constraints: 52531
806.19/808.20 c #Conflicts: 679000 | #Constraints: 53531
806.19/808.20 c #Conflicts: 680000 | #Constraints: 54531
806.19/808.20 c #Conflicts: 681000 | #Constraints: 55531
806.19/808.20 c #Conflicts: 682000 | #Constraints: 56531
806.19/808.20 c #Conflicts: 683000 | #Constraints: 57531
806.19/808.20 c #Conflicts: 684000 | #Constraints: 58531
806.19/808.20 c #Conflicts: 685000 | #Constraints: 59531
806.19/808.20 c #Conflicts: 686000 | #Constraints: 60531
806.19/808.20 c #Conflicts: 687000 | #Constraints: 61531
806.19/808.20 c #Conflicts: 688000 | #Constraints: 62531
806.19/808.20 c INPROCESSING
806.19/808.20 c GARBAGE COLLECT
806.19/808.20 c rational objective 43
822.46/824.51 c #Conflicts: 689000 | #Constraints: 47135
822.46/824.51 c #Conflicts: 690000 | #Constraints: 48135
822.46/824.51 c #Conflicts: 691000 | #Constraints: 49135
822.46/824.51 c #Conflicts: 692000 | #Constraints: 50135
822.46/824.51 c #Conflicts: 693000 | #Constraints: 51135
822.46/824.51 c #Conflicts: 694000 | #Constraints: 52135
822.46/824.51 c #Conflicts: 695000 | #Constraints: 53135
822.46/824.51 c #Conflicts: 696000 | #Constraints: 54135
822.46/824.51 c #Conflicts: 697000 | #Constraints: 55135
822.46/824.51 c #Conflicts: 698000 | #Constraints: 56135
822.46/824.51 c #Conflicts: 699000 | #Constraints: 57135
822.46/824.51 c #Conflicts: 700000 | #Constraints: 58135
822.46/824.51 c #Conflicts: 701000 | #Constraints: 59135
822.46/824.51 c #Conflicts: 702000 | #Constraints: 60135
822.46/824.51 c #Conflicts: 703000 | #Constraints: 61135
822.46/824.51 c #Conflicts: 704000 | #Constraints: 62135
822.46/824.51 c #Conflicts: 705000 | #Constraints: 63135
822.46/824.51 c INPROCESSING
822.46/824.51 c GARBAGE COLLECT
822.46/824.51 c rational objective 43
840.71/842.81 c #Conflicts: 706000 | #Constraints: 47523
840.71/842.81 c #Conflicts: 707000 | #Constraints: 48523
840.71/842.81 c #Conflicts: 708000 | #Constraints: 49523
840.71/842.81 c #Conflicts: 709000 | #Constraints: 50523
840.71/842.81 c #Conflicts: 710000 | #Constraints: 51523
840.71/842.81 c #Conflicts: 711000 | #Constraints: 52523
840.71/842.81 c #Conflicts: 712000 | #Constraints: 53523
840.71/842.81 c #Conflicts: 713000 | #Constraints: 54523
840.71/842.81 c #Conflicts: 714000 | #Constraints: 55523
840.71/842.81 c #Conflicts: 715000 | #Constraints: 56523
840.71/842.81 c #Conflicts: 716000 | #Constraints: 57523
840.71/842.81 c #Conflicts: 717000 | #Constraints: 58523
840.71/842.81 c #Conflicts: 718000 | #Constraints: 59523
840.71/842.81 c #Conflicts: 719000 | #Constraints: 60523
840.71/842.81 c #Conflicts: 720000 | #Constraints: 61523
840.71/842.81 c #Conflicts: 721000 | #Constraints: 62523
840.71/842.81 c #Conflicts: 722000 | #Constraints: 63523
840.71/842.81 c INPROCESSING
840.71/842.81 c GARBAGE COLLECT
840.71/842.81 c rational objective 43
854.08/856.21 c #Conflicts: 723000 | #Constraints: 47719
854.08/856.21 c #Conflicts: 724000 | #Constraints: 48719
854.08/856.21 c #Conflicts: 725000 | #Constraints: 49719
854.08/856.21 c #Conflicts: 726000 | #Constraints: 50719
854.08/856.21 c #Conflicts: 727000 | #Constraints: 51719
854.08/856.21 c #Conflicts: 728000 | #Constraints: 52719
854.08/856.21 c #Conflicts: 729000 | #Constraints: 53719
854.08/856.21 c #Conflicts: 730000 | #Constraints: 54719
854.08/856.21 c #Conflicts: 731000 | #Constraints: 55719
854.08/856.21 c #Conflicts: 732000 | #Constraints: 56719
854.08/856.21 c #Conflicts: 733000 | #Constraints: 57719
854.08/856.21 c #Conflicts: 734000 | #Constraints: 58719
854.08/856.21 c #Conflicts: 735000 | #Constraints: 59719
854.08/856.21 c #Conflicts: 736000 | #Constraints: 60719
854.08/856.21 c #Conflicts: 737000 | #Constraints: 61719
854.08/856.21 c #Conflicts: 738000 | #Constraints: 62719
854.08/856.21 c #Conflicts: 739000 | #Constraints: 63719
854.08/856.21 c INPROCESSING
854.08/856.21 c GARBAGE COLLECT
854.08/856.21 c rational objective 43
871.43/873.63 c #Conflicts: 740000 | #Constraints: 47709
871.43/873.63 c #Conflicts: 741000 | #Constraints: 48709
871.43/873.63 c #Conflicts: 742000 | #Constraints: 49709
871.43/873.63 c #Conflicts: 743000 | #Constraints: 50709
871.43/873.63 c #Conflicts: 744000 | #Constraints: 51709
871.43/873.63 c #Conflicts: 745000 | #Constraints: 52709
871.43/873.63 c #Conflicts: 746000 | #Constraints: 53709
871.43/873.63 c #Conflicts: 747000 | #Constraints: 54709
871.43/873.63 c #Conflicts: 748000 | #Constraints: 55709
871.43/873.63 c #Conflicts: 749000 | #Constraints: 56709
871.43/873.63 c #Conflicts: 750000 | #Constraints: 57709
871.43/873.63 c #Conflicts: 751000 | #Constraints: 58709
871.43/873.63 c #Conflicts: 752000 | #Constraints: 59709
871.43/873.63 c #Conflicts: 753000 | #Constraints: 60709
871.43/873.63 c #Conflicts: 754000 | #Constraints: 61709
871.43/873.63 c #Conflicts: 755000 | #Constraints: 62709
871.43/873.63 c #Conflicts: 756000 | #Constraints: 63709
871.43/873.63 c INPROCESSING
871.43/873.63 c GARBAGE COLLECT
871.43/873.63 c rational objective 43
886.80/889.09 c #Conflicts: 757000 | #Constraints: 47525
886.80/889.09 c #Conflicts: 758000 | #Constraints: 48525
886.80/889.09 c #Conflicts: 759000 | #Constraints: 49525
886.80/889.09 c #Conflicts: 760000 | #Constraints: 50525
886.80/889.09 c #Conflicts: 761000 | #Constraints: 51525
886.80/889.09 c #Conflicts: 762000 | #Constraints: 52525
886.80/889.09 c #Conflicts: 763000 | #Constraints: 53525
886.80/889.09 c #Conflicts: 764000 | #Constraints: 54525
886.80/889.09 c #Conflicts: 765000 | #Constraints: 55525
886.80/889.09 c #Conflicts: 766000 | #Constraints: 56525
886.80/889.09 c #Conflicts: 767000 | #Constraints: 57525
886.80/889.09 c #Conflicts: 768000 | #Constraints: 58525
886.80/889.09 c #Conflicts: 769000 | #Constraints: 59525
886.80/889.09 c #Conflicts: 770000 | #Constraints: 60525
886.80/889.09 c #Conflicts: 771000 | #Constraints: 61525
886.80/889.09 c #Conflicts: 772000 | #Constraints: 62525
886.80/889.09 c #Conflicts: 773000 | #Constraints: 63525
886.80/889.09 c #Conflicts: 774000 | #Constraints: 64525
886.80/889.09 c INPROCESSING
886.80/889.09 c GARBAGE COLLECT
886.80/889.09 c rational objective 43
904.95/907.23 c #Conflicts: 775000 | #Constraints: 48139
904.95/907.23 c #Conflicts: 776000 | #Constraints: 49139
904.95/907.23 c #Conflicts: 777000 | #Constraints: 50139
904.95/907.23 c #Conflicts: 778000 | #Constraints: 51139
904.95/907.23 c #Conflicts: 779000 | #Constraints: 52139
904.95/907.23 c #Conflicts: 780000 | #Constraints: 53139
904.95/907.23 c #Conflicts: 781000 | #Constraints: 54139
904.95/907.23 c #Conflicts: 782000 | #Constraints: 55139
904.95/907.23 c #Conflicts: 783000 | #Constraints: 56139
904.95/907.23 c #Conflicts: 784000 | #Constraints: 57139
904.95/907.23 c #Conflicts: 785000 | #Constraints: 58139
904.95/907.23 c #Conflicts: 786000 | #Constraints: 59139
904.95/907.23 c #Conflicts: 787000 | #Constraints: 60139
904.95/907.23 c #Conflicts: 788000 | #Constraints: 61139
904.95/907.23 c #Conflicts: 789000 | #Constraints: 62139
904.95/907.23 c #Conflicts: 790000 | #Constraints: 63139
904.95/907.23 c #Conflicts: 791000 | #Constraints: 64139
904.95/907.23 c #Conflicts: 792000 | #Constraints: 65139
904.95/907.23 c INPROCESSING
904.95/907.23 c GARBAGE COLLECT
904.95/907.23 c rational objective 43
921.82/924.19 c #Conflicts: 793000 | #Constraints: 48530
921.82/924.19 c #Conflicts: 794000 | #Constraints: 49530
921.82/924.19 c #Conflicts: 795000 | #Constraints: 50530
921.82/924.19 c #Conflicts: 796000 | #Constraints: 51530
921.82/924.19 c #Conflicts: 797000 | #Constraints: 52530
921.82/924.19 c #Conflicts: 798000 | #Constraints: 53530
921.82/924.19 c #Conflicts: 799000 | #Constraints: 54530
921.82/924.19 c #Conflicts: 800000 | #Constraints: 55530
921.82/924.19 c #Conflicts: 801000 | #Constraints: 56530
921.82/924.19 c #Conflicts: 802000 | #Constraints: 57530
921.82/924.19 c #Conflicts: 803000 | #Constraints: 58530
921.82/924.19 c #Conflicts: 804000 | #Constraints: 59530
921.82/924.19 c #Conflicts: 805000 | #Constraints: 60530
921.82/924.19 c #Conflicts: 806000 | #Constraints: 61530
921.82/924.19 c #Conflicts: 807000 | #Constraints: 62530
921.82/924.19 c #Conflicts: 808000 | #Constraints: 63530
921.82/924.19 c #Conflicts: 809000 | #Constraints: 64530
921.82/924.19 c #Conflicts: 810000 | #Constraints: 65530
921.82/924.19 c INPROCESSING
921.82/924.19 c GARBAGE COLLECT
921.82/924.19 c rational objective 43
941.97/944.38 c #Conflicts: 811000 | #Constraints: 48721
941.97/944.38 c #Conflicts: 812000 | #Constraints: 49721
941.97/944.38 c #Conflicts: 813000 | #Constraints: 50721
941.97/944.38 c #Conflicts: 814000 | #Constraints: 51721
941.97/944.38 c #Conflicts: 815000 | #Constraints: 52721
941.97/944.38 c #Conflicts: 816000 | #Constraints: 53721
941.97/944.38 c #Conflicts: 817000 | #Constraints: 54721
941.97/944.38 c #Conflicts: 818000 | #Constraints: 55721
941.97/944.38 c #Conflicts: 819000 | #Constraints: 56721
941.97/944.38 c #Conflicts: 820000 | #Constraints: 57721
941.97/944.38 c #Conflicts: 821000 | #Constraints: 58721
941.97/944.38 c #Conflicts: 822000 | #Constraints: 59721
941.97/944.38 c #Conflicts: 823000 | #Constraints: 60721
941.97/944.38 c #Conflicts: 824000 | #Constraints: 61721
941.97/944.38 c #Conflicts: 825000 | #Constraints: 62721
941.97/944.38 c #Conflicts: 826000 | #Constraints: 63721
941.97/944.38 c #Conflicts: 827000 | #Constraints: 64721
941.97/944.38 c #Conflicts: 828000 | #Constraints: 65721
941.97/944.38 c INPROCESSING
941.97/944.38 c GARBAGE COLLECT
941.97/944.38 c rational objective 43
958.13/960.52 c #Conflicts: 829000 | #Constraints: 48714
958.13/960.52 c #Conflicts: 830000 | #Constraints: 49714
958.13/960.52 c #Conflicts: 831000 | #Constraints: 50714
958.13/960.52 c #Conflicts: 832000 | #Constraints: 51714
958.13/960.52 c #Conflicts: 833000 | #Constraints: 52714
958.13/960.52 c #Conflicts: 834000 | #Constraints: 53714
958.13/960.52 c #Conflicts: 835000 | #Constraints: 54714
958.13/960.52 c #Conflicts: 836000 | #Constraints: 55714
958.13/960.52 c #Conflicts: 837000 | #Constraints: 56714
958.13/960.52 c #Conflicts: 838000 | #Constraints: 57714
958.13/960.52 c #Conflicts: 839000 | #Constraints: 58714
958.13/960.52 c #Conflicts: 840000 | #Constraints: 59714
958.13/960.52 c #Conflicts: 841000 | #Constraints: 60714
958.13/960.52 c #Conflicts: 842000 | #Constraints: 61714
958.13/960.52 c #Conflicts: 843000 | #Constraints: 62714
958.13/960.52 c #Conflicts: 844000 | #Constraints: 63714
958.13/960.52 c #Conflicts: 845000 | #Constraints: 64714
958.13/960.52 c #Conflicts: 846000 | #Constraints: 65714
958.13/960.52 c INPROCESSING
958.13/960.52 c GARBAGE COLLECT
958.13/960.52 c rational objective 43
980.47/982.91 c #Conflicts: 847000 | #Constraints: 48526
980.47/982.91 c #Conflicts: 848000 | #Constraints: 49526
980.47/982.91 c #Conflicts: 849000 | #Constraints: 50526
980.47/982.91 c #Conflicts: 850000 | #Constraints: 51526
980.47/982.91 c #Conflicts: 851000 | #Constraints: 52526
980.47/982.91 c #Conflicts: 852000 | #Constraints: 53526
980.47/982.91 c #Conflicts: 853000 | #Constraints: 54526
980.47/982.91 c #Conflicts: 854000 | #Constraints: 55526
980.47/982.91 c #Conflicts: 855000 | #Constraints: 56526
980.47/982.91 c #Conflicts: 856000 | #Constraints: 57526
980.47/982.91 c #Conflicts: 857000 | #Constraints: 58526
980.47/982.91 c #Conflicts: 858000 | #Constraints: 59526
980.47/982.91 c #Conflicts: 859000 | #Constraints: 60526
980.47/982.91 c #Conflicts: 860000 | #Constraints: 61526
980.47/982.91 c #Conflicts: 861000 | #Constraints: 62526
980.47/982.91 c #Conflicts: 862000 | #Constraints: 63526
980.47/982.91 c #Conflicts: 863000 | #Constraints: 64526
980.47/982.91 c #Conflicts: 864000 | #Constraints: 65526
980.47/982.91 c #Conflicts: 865000 | #Constraints: 66526
980.47/982.91 c INPROCESSING
980.47/982.91 c GARBAGE COLLECT
980.47/982.91 c rational objective 43
996.33/998.83 c #Conflicts: 866000 | #Constraints: 49128
996.33/998.83 c #Conflicts: 867000 | #Constraints: 50128
996.33/998.83 c #Conflicts: 868000 | #Constraints: 51128
996.33/998.83 c #Conflicts: 869000 | #Constraints: 52128
996.33/998.83 c #Conflicts: 870000 | #Constraints: 53128
996.33/998.83 c #Conflicts: 871000 | #Constraints: 54128
996.33/998.83 c #Conflicts: 872000 | #Constraints: 55128
996.33/998.83 c #Conflicts: 873000 | #Constraints: 56128
996.33/998.83 c #Conflicts: 874000 | #Constraints: 57128
996.33/998.83 c #Conflicts: 875000 | #Constraints: 58128
996.33/998.83 c #Conflicts: 876000 | #Constraints: 59128
996.33/998.83 c #Conflicts: 877000 | #Constraints: 60128
996.33/998.83 c #Conflicts: 878000 | #Constraints: 61128
996.33/998.83 c #Conflicts: 879000 | #Constraints: 62128
996.33/998.83 c #Conflicts: 880000 | #Constraints: 63128
996.33/998.83 c #Conflicts: 881000 | #Constraints: 64128
996.33/998.83 c #Conflicts: 882000 | #Constraints: 65128
996.33/998.83 c #Conflicts: 883000 | #Constraints: 66128
996.33/998.83 c #Conflicts: 884000 | #Constraints: 67128
996.33/998.83 c INPROCESSING
996.33/998.83 c GARBAGE COLLECT
996.33/998.83 c rational objective 43
1012.51/1015.03 c #Conflicts: 885000 | #Constraints: 49528
1012.51/1015.03 c #Conflicts: 886000 | #Constraints: 50528
1012.51/1015.03 c #Conflicts: 887000 | #Constraints: 51528
1012.51/1015.03 c #Conflicts: 888000 | #Constraints: 52528
1012.51/1015.03 c #Conflicts: 889000 | #Constraints: 53528
1012.51/1015.03 c #Conflicts: 890000 | #Constraints: 54528
1012.51/1015.03 c #Conflicts: 891000 | #Constraints: 55528
1012.51/1015.03 c #Conflicts: 892000 | #Constraints: 56528
1012.51/1015.03 c #Conflicts: 893000 | #Constraints: 57528
1012.51/1015.03 c #Conflicts: 894000 | #Constraints: 58528
1012.51/1015.03 c #Conflicts: 895000 | #Constraints: 59528
1012.51/1015.03 c #Conflicts: 896000 | #Constraints: 60528
1012.51/1015.03 c #Conflicts: 897000 | #Constraints: 61528
1012.51/1015.03 c #Conflicts: 898000 | #Constraints: 62528
1012.51/1015.03 c #Conflicts: 899000 | #Constraints: 63528
1012.51/1015.03 c #Conflicts: 900000 | #Constraints: 64528
1012.51/1015.03 c #Conflicts: 901000 | #Constraints: 65528
1012.51/1015.03 c #Conflicts: 902000 | #Constraints: 66528
1012.51/1015.03 c #Conflicts: 903000 | #Constraints: 67528
1012.51/1015.03 c INPROCESSING
1012.51/1015.03 c GARBAGE COLLECT
1012.51/1015.03 c rational objective 43
1033.34/1035.92 c #Conflicts: 904000 | #Constraints: 49728
1033.34/1035.92 c #Conflicts: 905000 | #Constraints: 50728
1033.34/1035.92 c #Conflicts: 906000 | #Constraints: 51728
1033.34/1035.92 c #Conflicts: 907000 | #Constraints: 52728
1033.34/1035.92 c #Conflicts: 908000 | #Constraints: 53728
1033.34/1035.92 c #Conflicts: 909000 | #Constraints: 54728
1033.34/1035.92 c #Conflicts: 910000 | #Constraints: 55728
1033.34/1035.92 c #Conflicts: 911000 | #Constraints: 56728
1033.34/1035.92 c #Conflicts: 912000 | #Constraints: 57728
1033.34/1035.92 c #Conflicts: 913000 | #Constraints: 58728
1033.34/1035.92 c #Conflicts: 914000 | #Constraints: 59728
1033.34/1035.92 c #Conflicts: 915000 | #Constraints: 60728
1033.34/1035.92 c #Conflicts: 916000 | #Constraints: 61728
1033.34/1035.92 c #Conflicts: 917000 | #Constraints: 62728
1033.34/1035.92 c #Conflicts: 918000 | #Constraints: 63728
1033.34/1035.92 c #Conflicts: 919000 | #Constraints: 64728
1033.34/1035.92 c #Conflicts: 920000 | #Constraints: 65728
1033.34/1035.92 c #Conflicts: 921000 | #Constraints: 66728
1033.34/1035.92 c #Conflicts: 922000 | #Constraints: 67728
1033.34/1035.92 c INPROCESSING
1033.34/1035.92 c GARBAGE COLLECT
1033.34/1035.92 c rational objective 43
1048.41/1051.10 c #Conflicts: 923000 | #Constraints: 49719
1048.41/1051.10 c #Conflicts: 924000 | #Constraints: 50719
1048.41/1051.10 c #Conflicts: 925000 | #Constraints: 51719
1048.41/1051.10 c #Conflicts: 926000 | #Constraints: 52719
1048.41/1051.10 c #Conflicts: 927000 | #Constraints: 53719
1048.41/1051.10 c #Conflicts: 928000 | #Constraints: 54719
1048.41/1051.10 c #Conflicts: 929000 | #Constraints: 55719
1048.41/1051.10 c #Conflicts: 930000 | #Constraints: 56719
1048.41/1051.10 c #Conflicts: 931000 | #Constraints: 57719
1048.41/1051.10 c #Conflicts: 932000 | #Constraints: 58719
1048.41/1051.10 c #Conflicts: 933000 | #Constraints: 59719
1048.41/1051.10 c #Conflicts: 934000 | #Constraints: 60719
1048.41/1051.10 c #Conflicts: 935000 | #Constraints: 61719
1048.41/1051.10 c #Conflicts: 936000 | #Constraints: 62719
1048.41/1051.10 c #Conflicts: 937000 | #Constraints: 63719
1048.41/1051.10 c #Conflicts: 938000 | #Constraints: 64719
1048.41/1051.10 c #Conflicts: 939000 | #Constraints: 65719
1048.41/1051.10 c #Conflicts: 940000 | #Constraints: 66719
1048.41/1051.10 c #Conflicts: 941000 | #Constraints: 67719
1048.41/1051.10 c INPROCESSING
1048.41/1051.10 c GARBAGE COLLECT
1048.41/1051.10 c rational objective 43
1069.36/1072.01 c #Conflicts: 942000 | #Constraints: 49525
1069.36/1072.01 c #Conflicts: 943000 | #Constraints: 50525
1069.36/1072.01 c #Conflicts: 944000 | #Constraints: 51525
1069.36/1072.01 c #Conflicts: 945000 | #Constraints: 52525
1069.36/1072.01 c #Conflicts: 946000 | #Constraints: 53525
1069.36/1072.01 c #Conflicts: 947000 | #Constraints: 54525
1069.36/1072.01 c #Conflicts: 948000 | #Constraints: 55525
1069.36/1072.01 c #Conflicts: 949000 | #Constraints: 56525
1069.36/1072.01 c #Conflicts: 950000 | #Constraints: 57525
1069.36/1072.01 c #Conflicts: 951000 | #Constraints: 58525
1069.36/1072.01 c #Conflicts: 952000 | #Constraints: 59525
1069.36/1072.01 c #Conflicts: 953000 | #Constraints: 60525
1069.36/1072.01 c #Conflicts: 954000 | #Constraints: 61525
1069.36/1072.01 c #Conflicts: 955000 | #Constraints: 62525
1069.36/1072.01 c #Conflicts: 956000 | #Constraints: 63525
1069.36/1072.01 c #Conflicts: 957000 | #Constraints: 64525
1069.36/1072.01 c #Conflicts: 958000 | #Constraints: 65525
1069.36/1072.01 c #Conflicts: 959000 | #Constraints: 66525
1069.36/1072.01 c #Conflicts: 960000 | #Constraints: 67525
1069.36/1072.01 c #Conflicts: 961000 | #Constraints: 68525
1069.36/1072.01 c INPROCESSING
1069.36/1072.01 c GARBAGE COLLECT
1069.36/1072.01 c rational objective 43
1092.50/1095.25 c #Conflicts: 962000 | #Constraints: 50121
1092.50/1095.25 c #Conflicts: 963000 | #Constraints: 51121
1092.50/1095.25 c #Conflicts: 964000 | #Constraints: 52121
1092.50/1095.25 c #Conflicts: 965000 | #Constraints: 53121
1092.50/1095.25 c #Conflicts: 966000 | #Constraints: 54121
1092.50/1095.25 c #Conflicts: 967000 | #Constraints: 55121
1092.50/1095.25 c #Conflicts: 968000 | #Constraints: 56121
1092.50/1095.25 c #Conflicts: 969000 | #Constraints: 57121
1092.50/1095.25 c #Conflicts: 970000 | #Constraints: 58121
1092.50/1095.25 c #Conflicts: 971000 | #Constraints: 59121
1092.50/1095.25 c #Conflicts: 972000 | #Constraints: 60121
1092.50/1095.25 c #Conflicts: 973000 | #Constraints: 61121
1092.50/1095.25 c #Conflicts: 974000 | #Constraints: 62121
1092.50/1095.25 c #Conflicts: 975000 | #Constraints: 63121
1092.50/1095.25 c #Conflicts: 976000 | #Constraints: 64121
1092.50/1095.25 c #Conflicts: 977000 | #Constraints: 65121
1092.50/1095.25 c #Conflicts: 978000 | #Constraints: 66121
1092.50/1095.25 c #Conflicts: 979000 | #Constraints: 67121
1092.50/1095.25 c #Conflicts: 980000 | #Constraints: 68121
1092.50/1095.25 c #Conflicts: 981000 | #Constraints: 69121
1092.50/1095.25 c INPROCESSING
1092.50/1095.25 c GARBAGE COLLECT
1092.50/1095.25 c rational objective 43
1108.47/1111.27 c #Conflicts: 982000 | #Constraints: 50513
1108.47/1111.27 c #Conflicts: 983000 | #Constraints: 51513
1108.47/1111.27 c #Conflicts: 984000 | #Constraints: 52513
1108.47/1111.27 c #Conflicts: 985000 | #Constraints: 53513
1108.47/1111.27 c #Conflicts: 986000 | #Constraints: 54513
1108.47/1111.27 c #Conflicts: 987000 | #Constraints: 55513
1108.47/1111.27 c #Conflicts: 988000 | #Constraints: 56513
1108.47/1111.27 c #Conflicts: 989000 | #Constraints: 57513
1108.47/1111.27 c #Conflicts: 990000 | #Constraints: 58513
1108.47/1111.27 c #Conflicts: 991000 | #Constraints: 59513
1108.47/1111.27 c #Conflicts: 992000 | #Constraints: 60513
1108.47/1111.27 c #Conflicts: 993000 | #Constraints: 61513
1108.47/1111.27 c #Conflicts: 994000 | #Constraints: 62513
1108.47/1111.27 c #Conflicts: 995000 | #Constraints: 63513
1108.47/1111.27 c #Conflicts: 996000 | #Constraints: 64513
1108.47/1111.27 c #Conflicts: 997000 | #Constraints: 65513
1108.47/1111.27 c #Conflicts: 998000 | #Constraints: 66513
1108.47/1111.27 c #Conflicts: 999000 | #Constraints: 67513
1108.47/1111.27 c #Conflicts: 1000000 | #Constraints: 68513
1108.47/1111.27 c #Conflicts: 1001000 | #Constraints: 69513
1108.47/1111.27 c INPROCESSING
1108.47/1111.27 c GARBAGE COLLECT
1108.47/1111.27 c rational objective 43
1126.62/1129.46 c #Conflicts: 1002000 | #Constraints: 50715
1126.62/1129.46 c #Conflicts: 1003000 | #Constraints: 51715
1126.62/1129.46 c #Conflicts: 1004000 | #Constraints: 52715
1126.62/1129.46 c #Conflicts: 1005000 | #Constraints: 53715
1126.62/1129.46 c #Conflicts: 1006000 | #Constraints: 54715
1126.62/1129.46 c #Conflicts: 1007000 | #Constraints: 55715
1126.62/1129.46 c #Conflicts: 1008000 | #Constraints: 56715
1126.62/1129.46 c #Conflicts: 1009000 | #Constraints: 57715
1126.62/1129.46 c #Conflicts: 1010000 | #Constraints: 58715
1126.62/1129.46 c #Conflicts: 1011000 | #Constraints: 59715
1126.62/1129.46 c #Conflicts: 1012000 | #Constraints: 60715
1126.62/1129.46 c #Conflicts: 1013000 | #Constraints: 61715
1126.62/1129.46 c #Conflicts: 1014000 | #Constraints: 62715
1126.62/1129.46 c #Conflicts: 1015000 | #Constraints: 63715
1126.62/1129.46 c #Conflicts: 1016000 | #Constraints: 64715
1126.62/1129.46 c #Conflicts: 1017000 | #Constraints: 65715
1126.62/1129.46 c #Conflicts: 1018000 | #Constraints: 66715
1126.62/1129.46 c #Conflicts: 1019000 | #Constraints: 67715
1126.62/1129.46 c #Conflicts: 1020000 | #Constraints: 68715
1126.62/1129.46 c #Conflicts: 1021000 | #Constraints: 69715
1126.62/1129.46 c INPROCESSING
1126.62/1129.46 c GARBAGE COLLECT
1126.62/1129.46 c rational objective 43
1150.06/1152.99 c #Conflicts: 1022000 | #Constraints: 50720
1150.06/1152.99 c #Conflicts: 1023000 | #Constraints: 51720
1150.06/1152.99 c #Conflicts: 1024000 | #Constraints: 52720
1150.06/1152.99 c #Conflicts: 1025000 | #Constraints: 53720
1150.06/1152.99 c #Conflicts: 1026000 | #Constraints: 54720
1150.06/1152.99 c #Conflicts: 1027000 | #Constraints: 55720
1150.06/1152.99 c #Conflicts: 1028000 | #Constraints: 56720
1150.06/1152.99 c #Conflicts: 1029000 | #Constraints: 57720
1150.06/1152.99 c #Conflicts: 1030000 | #Constraints: 58720
1150.06/1152.99 c #Conflicts: 1031000 | #Constraints: 59720
1150.06/1152.99 c #Conflicts: 1032000 | #Constraints: 60720
1150.06/1152.99 c #Conflicts: 1033000 | #Constraints: 61720
1150.06/1152.99 c #Conflicts: 1034000 | #Constraints: 62720
1150.06/1152.99 c #Conflicts: 1035000 | #Constraints: 63720
1150.06/1152.99 c #Conflicts: 1036000 | #Constraints: 64720
1150.06/1152.99 c #Conflicts: 1037000 | #Constraints: 65720
1150.06/1152.99 c #Conflicts: 1038000 | #Constraints: 66720
1150.06/1152.99 c #Conflicts: 1039000 | #Constraints: 67720
1150.06/1152.99 c #Conflicts: 1040000 | #Constraints: 68720
1150.06/1152.99 c #Conflicts: 1041000 | #Constraints: 69720
1150.06/1152.99 c INPROCESSING
1150.06/1152.99 c GARBAGE COLLECT
1150.06/1152.99 c rational objective 43
1165.72/1168.63 c #Conflicts: 1042000 | #Constraints: 50531
1165.72/1168.63 c #Conflicts: 1043000 | #Constraints: 51531
1165.72/1168.63 c #Conflicts: 1044000 | #Constraints: 52531
1165.72/1168.63 c #Conflicts: 1045000 | #Constraints: 53531
1165.72/1168.63 c #Conflicts: 1046000 | #Constraints: 54531
1165.72/1168.63 c #Conflicts: 1047000 | #Constraints: 55531
1165.72/1168.63 c #Conflicts: 1048000 | #Constraints: 56531
1165.72/1168.63 c #Conflicts: 1049000 | #Constraints: 57531
1165.72/1168.63 c #Conflicts: 1050000 | #Constraints: 58531
1165.72/1168.63 c #Conflicts: 1051000 | #Constraints: 59531
1165.72/1168.63 c #Conflicts: 1052000 | #Constraints: 60531
1165.72/1168.63 c #Conflicts: 1053000 | #Constraints: 61531
1165.72/1168.63 c #Conflicts: 1054000 | #Constraints: 62531
1165.72/1168.63 c #Conflicts: 1055000 | #Constraints: 63531
1165.72/1168.63 c #Conflicts: 1056000 | #Constraints: 64531
1165.72/1168.63 c #Conflicts: 1057000 | #Constraints: 65531
1165.72/1168.63 c #Conflicts: 1058000 | #Constraints: 66531
1165.72/1168.63 c #Conflicts: 1059000 | #Constraints: 67531
1165.72/1168.63 c #Conflicts: 1060000 | #Constraints: 68531
1165.72/1168.63 c #Conflicts: 1061000 | #Constraints: 69531
1165.72/1168.63 c #Conflicts: 1062000 | #Constraints: 70531
1165.72/1168.63 c INPROCESSING
1165.72/1168.63 c GARBAGE COLLECT
1165.72/1168.63 c rational objective 43
1199.15/1202.10 c #Conflicts: 1063000 | #Constraints: 51120
1199.15/1202.10 c #Conflicts: 1064000 | #Constraints: 52120
1199.15/1202.10 c #Conflicts: 1065000 | #Constraints: 53120
1199.15/1202.10 c #Conflicts: 1066000 | #Constraints: 54120
1199.15/1202.10 c #Conflicts: 1067000 | #Constraints: 55120
1199.15/1202.10 c #Conflicts: 1068000 | #Constraints: 56120
1199.15/1202.10 c #Conflicts: 1069000 | #Constraints: 57120
1199.15/1202.10 c #Conflicts: 1070000 | #Constraints: 58120
1199.15/1202.10 c #Conflicts: 1071000 | #Constraints: 59120
1199.15/1202.10 c #Conflicts: 1072000 | #Constraints: 60120
1199.15/1202.10 c #Conflicts: 1073000 | #Constraints: 61120
1199.15/1202.10 c #Conflicts: 1074000 | #Constraints: 62120
1199.15/1202.10 c #Conflicts: 1075000 | #Constraints: 63120
1199.15/1202.10 c #Conflicts: 1076000 | #Constraints: 64120
1199.15/1202.10 c #Conflicts: 1077000 | #Constraints: 65120
1199.15/1202.10 c #Conflicts: 1078000 | #Constraints: 66120
1199.15/1202.10 c #Conflicts: 1079000 | #Constraints: 67120
1199.15/1202.10 c #Conflicts: 1080000 | #Constraints: 68120
1199.15/1202.10 c #Conflicts: 1081000 | #Constraints: 69120
1199.15/1202.10 c #Conflicts: 1082000 | #Constraints: 70120
1199.15/1202.10 c #Conflicts: 1083000 | #Constraints: 71120
1199.15/1202.10 c INPROCESSING
1199.15/1202.10 c GARBAGE COLLECT
1199.15/1202.10 c rational objective 43
1222.39/1225.44 c #Conflicts: 1084000 | #Constraints: 51508
1222.39/1225.44 c #Conflicts: 1085000 | #Constraints: 52508
1222.39/1225.44 c #Conflicts: 1086000 | #Constraints: 53508
1222.39/1225.44 c #Conflicts: 1087000 | #Constraints: 54508
1222.39/1225.44 c #Conflicts: 1088000 | #Constraints: 55508
1222.39/1225.44 c #Conflicts: 1089000 | #Constraints: 56508
1222.39/1225.44 c #Conflicts: 1090000 | #Constraints: 57508
1222.39/1225.44 c #Conflicts: 1091000 | #Constraints: 58508
1222.39/1225.44 c #Conflicts: 1092000 | #Constraints: 59508
1222.39/1225.44 c #Conflicts: 1093000 | #Constraints: 60508
1222.39/1225.44 c #Conflicts: 1094000 | #Constraints: 61508
1222.39/1225.44 c #Conflicts: 1095000 | #Constraints: 62508
1222.39/1225.44 c #Conflicts: 1096000 | #Constraints: 63508
1222.39/1225.44 c #Conflicts: 1097000 | #Constraints: 64508
1222.39/1225.44 c #Conflicts: 1098000 | #Constraints: 65508
1222.39/1225.44 c #Conflicts: 1099000 | #Constraints: 66508
1222.39/1225.44 c #Conflicts: 1100000 | #Constraints: 67508
1222.39/1225.44 c #Conflicts: 1101000 | #Constraints: 68508
1222.39/1225.44 c #Conflicts: 1102000 | #Constraints: 69508
1222.39/1225.44 c #Conflicts: 1103000 | #Constraints: 70508
1222.39/1225.44 c #Conflicts: 1104000 | #Constraints: 71508
1222.39/1225.44 c INPROCESSING
1222.39/1225.44 c GARBAGE COLLECT
1222.39/1225.44 c rational objective 43
1237.85/1240.95 c #Conflicts: 1105000 | #Constraints: 51727
1237.85/1240.95 c #Conflicts: 1106000 | #Constraints: 52727
1237.85/1240.95 c #Conflicts: 1107000 | #Constraints: 53727
1237.85/1240.95 c #Conflicts: 1108000 | #Constraints: 54727
1237.85/1240.95 c #Conflicts: 1109000 | #Constraints: 55727
1237.85/1240.95 c #Conflicts: 1110000 | #Constraints: 56727
1237.85/1240.95 c #Conflicts: 1111000 | #Constraints: 57727
1237.85/1240.95 c #Conflicts: 1112000 | #Constraints: 58727
1237.85/1240.95 c #Conflicts: 1113000 | #Constraints: 59727
1237.85/1240.95 c #Conflicts: 1114000 | #Constraints: 60727
1237.85/1240.95 c #Conflicts: 1115000 | #Constraints: 61727
1237.85/1240.95 c #Conflicts: 1116000 | #Constraints: 62727
1237.85/1240.95 c #Conflicts: 1117000 | #Constraints: 63727
1237.85/1240.95 c #Conflicts: 1118000 | #Constraints: 64727
1237.85/1240.95 c #Conflicts: 1119000 | #Constraints: 65727
1237.85/1240.95 c #Conflicts: 1120000 | #Constraints: 66727
1237.85/1240.95 c #Conflicts: 1121000 | #Constraints: 67727
1237.85/1240.95 c #Conflicts: 1122000 | #Constraints: 68727
1237.85/1240.95 c #Conflicts: 1123000 | #Constraints: 69727
1237.85/1240.95 c #Conflicts: 1124000 | #Constraints: 70727
1237.85/1240.95 c #Conflicts: 1125000 | #Constraints: 71727
1237.85/1240.95 c INPROCESSING
1237.85/1240.95 c GARBAGE COLLECT
1237.85/1240.95 c rational objective 43
1259.10/1262.21 c #Conflicts: 1126000 | #Constraints: 51728
1259.10/1262.21 c #Conflicts: 1127000 | #Constraints: 52728
1259.10/1262.21 c #Conflicts: 1128000 | #Constraints: 53728
1259.10/1262.21 c #Conflicts: 1129000 | #Constraints: 54728
1259.10/1262.21 c #Conflicts: 1130000 | #Constraints: 55728
1259.10/1262.21 c #Conflicts: 1131000 | #Constraints: 56728
1259.10/1262.21 c #Conflicts: 1132000 | #Constraints: 57728
1259.10/1262.21 c #Conflicts: 1133000 | #Constraints: 58728
1259.10/1262.21 c #Conflicts: 1134000 | #Constraints: 59728
1259.10/1262.21 c #Conflicts: 1135000 | #Constraints: 60728
1259.10/1262.21 c #Conflicts: 1136000 | #Constraints: 61728
1259.10/1262.21 c #Conflicts: 1137000 | #Constraints: 62728
1259.10/1262.21 c #Conflicts: 1138000 | #Constraints: 63728
1259.10/1262.21 c #Conflicts: 1139000 | #Constraints: 64728
1259.10/1262.21 c #Conflicts: 1140000 | #Constraints: 65728
1259.10/1262.21 c #Conflicts: 1141000 | #Constraints: 66728
1259.10/1262.21 c #Conflicts: 1142000 | #Constraints: 67728
1259.10/1262.21 c #Conflicts: 1143000 | #Constraints: 68728
1259.10/1262.21 c #Conflicts: 1144000 | #Constraints: 69728
1259.10/1262.21 c #Conflicts: 1145000 | #Constraints: 70728
1259.10/1262.21 c #Conflicts: 1146000 | #Constraints: 71728
1259.10/1262.21 c INPROCESSING
1259.10/1262.21 c GARBAGE COLLECT
1259.10/1262.21 c rational objective 43
1283.24/1286.44 c #Conflicts: 1147000 | #Constraints: 51523
1283.24/1286.44 c #Conflicts: 1148000 | #Constraints: 52523
1283.24/1286.44 c #Conflicts: 1149000 | #Constraints: 53523
1283.24/1286.44 c #Conflicts: 1150000 | #Constraints: 54523
1283.24/1286.44 c #Conflicts: 1151000 | #Constraints: 55523
1283.24/1286.44 c #Conflicts: 1152000 | #Constraints: 56523
1283.24/1286.44 c #Conflicts: 1153000 | #Constraints: 57523
1283.24/1286.44 c #Conflicts: 1154000 | #Constraints: 58523
1283.24/1286.44 c #Conflicts: 1155000 | #Constraints: 59523
1283.24/1286.44 c #Conflicts: 1156000 | #Constraints: 60523
1283.24/1286.44 c #Conflicts: 1157000 | #Constraints: 61523
1283.24/1286.44 c #Conflicts: 1158000 | #Constraints: 62523
1283.24/1286.44 c #Conflicts: 1159000 | #Constraints: 63523
1283.24/1286.44 c #Conflicts: 1160000 | #Constraints: 64523
1283.24/1286.44 c #Conflicts: 1161000 | #Constraints: 65523
1283.24/1286.44 c #Conflicts: 1162000 | #Constraints: 66523
1283.24/1286.44 c #Conflicts: 1163000 | #Constraints: 67523
1283.24/1286.44 c #Conflicts: 1164000 | #Constraints: 68523
1283.24/1286.44 c #Conflicts: 1165000 | #Constraints: 69523
1283.24/1286.44 c #Conflicts: 1166000 | #Constraints: 70523
1283.24/1286.44 c #Conflicts: 1167000 | #Constraints: 71523
1283.24/1286.44 c #Conflicts: 1168000 | #Constraints: 72523
1283.24/1286.44 c INPROCESSING
1283.24/1286.44 c GARBAGE COLLECT
1283.24/1286.44 c rational objective 43
1304.69/1307.97 c #Conflicts: 1169000 | #Constraints: 52132
1304.69/1307.97 c #Conflicts: 1170000 | #Constraints: 53132
1304.69/1307.97 c #Conflicts: 1171000 | #Constraints: 54132
1304.69/1307.97 c #Conflicts: 1172000 | #Constraints: 55132
1304.69/1307.97 c #Conflicts: 1173000 | #Constraints: 56132
1304.69/1307.97 c #Conflicts: 1174000 | #Constraints: 57132
1304.69/1307.97 c #Conflicts: 1175000 | #Constraints: 58132
1304.69/1307.97 c #Conflicts: 1176000 | #Constraints: 59132
1304.69/1307.97 c #Conflicts: 1177000 | #Constraints: 60132
1304.69/1307.97 c #Conflicts: 1178000 | #Constraints: 61132
1304.69/1307.97 c #Conflicts: 1179000 | #Constraints: 62132
1304.69/1307.97 c #Conflicts: 1180000 | #Constraints: 63132
1304.69/1307.97 c #Conflicts: 1181000 | #Constraints: 64132
1304.69/1307.97 c #Conflicts: 1182000 | #Constraints: 65132
1304.69/1307.97 c #Conflicts: 1183000 | #Constraints: 66132
1304.69/1307.97 c #Conflicts: 1184000 | #Constraints: 67132
1304.69/1307.97 c #Conflicts: 1185000 | #Constraints: 68132
1304.69/1307.97 c #Conflicts: 1186000 | #Constraints: 69132
1304.69/1307.97 c #Conflicts: 1187000 | #Constraints: 70132
1304.69/1307.97 c #Conflicts: 1188000 | #Constraints: 71132
1304.69/1307.97 c #Conflicts: 1189000 | #Constraints: 72132
1304.69/1307.97 c #Conflicts: 1190000 | #Constraints: 73132
1304.69/1307.97 c INPROCESSING
1304.69/1307.97 c GARBAGE COLLECT
1304.69/1307.97 c rational objective 43
1321.55/1324.85 c #Conflicts: 1191000 | #Constraints: 52525
1321.55/1324.85 c #Conflicts: 1192000 | #Constraints: 53525
1321.55/1324.85 c #Conflicts: 1193000 | #Constraints: 54525
1321.55/1324.85 c #Conflicts: 1194000 | #Constraints: 55525
1321.55/1324.85 c #Conflicts: 1195000 | #Constraints: 56525
1321.55/1324.85 c #Conflicts: 1196000 | #Constraints: 57525
1321.55/1324.85 c #Conflicts: 1197000 | #Constraints: 58525
1321.55/1324.85 c #Conflicts: 1198000 | #Constraints: 59525
1321.55/1324.85 c #Conflicts: 1199000 | #Constraints: 60525
1321.55/1324.85 c #Conflicts: 1200000 | #Constraints: 61525
1321.55/1324.85 c #Conflicts: 1201000 | #Constraints: 62525
1321.55/1324.85 c #Conflicts: 1202000 | #Constraints: 63525
1321.55/1324.85 c #Conflicts: 1203000 | #Constraints: 64525
1321.55/1324.85 c #Conflicts: 1204000 | #Constraints: 65525
1321.55/1324.85 c #Conflicts: 1205000 | #Constraints: 66525
1321.55/1324.85 c #Conflicts: 1206000 | #Constraints: 67525
1321.55/1324.85 c #Conflicts: 1207000 | #Constraints: 68525
1321.55/1324.85 c #Conflicts: 1208000 | #Constraints: 69525
1321.55/1324.85 c #Conflicts: 1209000 | #Constraints: 70525
1321.55/1324.85 c #Conflicts: 1210000 | #Constraints: 71525
1321.55/1324.85 c #Conflicts: 1211000 | #Constraints: 72525
1321.55/1324.85 c #Conflicts: 1212000 | #Constraints: 73525
1321.55/1324.85 c INPROCESSING
1321.55/1324.85 c GARBAGE COLLECT
1321.55/1324.85 c rational objective 43
1341.10/1344.41 c #Conflicts: 1213000 | #Constraints: 52722
1341.10/1344.41 c #Conflicts: 1214000 | #Constraints: 53722
1341.10/1344.41 c #Conflicts: 1215000 | #Constraints: 54722
1341.10/1344.41 c #Conflicts: 1216000 | #Constraints: 55722
1341.10/1344.41 c #Conflicts: 1217000 | #Constraints: 56722
1341.10/1344.41 c #Conflicts: 1218000 | #Constraints: 57722
1341.10/1344.41 c #Conflicts: 1219000 | #Constraints: 58722
1341.10/1344.41 c #Conflicts: 1220000 | #Constraints: 59722
1341.10/1344.41 c #Conflicts: 1221000 | #Constraints: 60722
1341.10/1344.41 c #Conflicts: 1222000 | #Constraints: 61722
1341.10/1344.41 c #Conflicts: 1223000 | #Constraints: 62722
1341.10/1344.41 c #Conflicts: 1224000 | #Constraints: 63722
1341.10/1344.41 c #Conflicts: 1225000 | #Constraints: 64722
1341.10/1344.41 c #Conflicts: 1226000 | #Constraints: 65722
1341.10/1344.41 c #Conflicts: 1227000 | #Constraints: 66722
1341.10/1344.41 c #Conflicts: 1228000 | #Constraints: 67722
1341.10/1344.41 c #Conflicts: 1229000 | #Constraints: 68722
1341.10/1344.41 c #Conflicts: 1230000 | #Constraints: 69722
1341.10/1344.41 c #Conflicts: 1231000 | #Constraints: 70722
1341.10/1344.41 c #Conflicts: 1232000 | #Constraints: 71722
1341.10/1344.41 c #Conflicts: 1233000 | #Constraints: 72722
1341.10/1344.41 c #Conflicts: 1234000 | #Constraints: 73722
1341.10/1344.41 c INPROCESSING
1341.10/1344.41 c GARBAGE COLLECT
1341.10/1344.41 c rational objective 43
1362.25/1365.65 c #Conflicts: 1235000 | #Constraints: 52717
1362.25/1365.65 c #Conflicts: 1236000 | #Constraints: 53717
1362.25/1365.65 c #Conflicts: 1237000 | #Constraints: 54717
1362.25/1365.65 c #Conflicts: 1238000 | #Constraints: 55717
1362.25/1365.65 c #Conflicts: 1239000 | #Constraints: 56717
1362.25/1365.65 c #Conflicts: 1240000 | #Constraints: 57717
1362.25/1365.65 c #Conflicts: 1241000 | #Constraints: 58717
1362.25/1365.65 c #Conflicts: 1242000 | #Constraints: 59717
1362.25/1365.65 c #Conflicts: 1243000 | #Constraints: 60717
1362.25/1365.65 c #Conflicts: 1244000 | #Constraints: 61717
1362.25/1365.65 c #Conflicts: 1245000 | #Constraints: 62717
1362.25/1365.65 c #Conflicts: 1246000 | #Constraints: 63717
1362.25/1365.65 c #Conflicts: 1247000 | #Constraints: 64717
1362.25/1365.65 c #Conflicts: 1248000 | #Constraints: 65717
1362.25/1365.65 c #Conflicts: 1249000 | #Constraints: 66717
1362.25/1365.65 c #Conflicts: 1250000 | #Constraints: 67717
1362.25/1365.65 c #Conflicts: 1251000 | #Constraints: 68717
1362.25/1365.65 c #Conflicts: 1252000 | #Constraints: 69717
1362.25/1365.65 c #Conflicts: 1253000 | #Constraints: 70717
1362.25/1365.65 c #Conflicts: 1254000 | #Constraints: 71717
1362.25/1365.65 c #Conflicts: 1255000 | #Constraints: 72717
1362.25/1365.65 c #Conflicts: 1256000 | #Constraints: 73717
1362.25/1365.65 c INPROCESSING
1362.25/1365.65 c GARBAGE COLLECT
1362.25/1365.65 c rational objective 43
1389.78/1393.24 c #Conflicts: 1257000 | #Constraints: 52528
1389.78/1393.24 c #Conflicts: 1258000 | #Constraints: 53528
1389.78/1393.24 c #Conflicts: 1259000 | #Constraints: 54529
1389.78/1393.24 c #Conflicts: 1260000 | #Constraints: 55529
1389.78/1393.24 c #Conflicts: 1261000 | #Constraints: 56529
1389.78/1393.24 c #Conflicts: 1262000 | #Constraints: 57529
1389.78/1393.24 c #Conflicts: 1263000 | #Constraints: 58529
1389.78/1393.24 c #Conflicts: 1264000 | #Constraints: 59529
1389.78/1393.24 c #Conflicts: 1265000 | #Constraints: 60529
1389.78/1393.24 c #Conflicts: 1266000 | #Constraints: 61529
1389.78/1393.24 c #Conflicts: 1267000 | #Constraints: 62529
1389.78/1393.24 c #Conflicts: 1268000 | #Constraints: 63529
1389.78/1393.24 c #Conflicts: 1269000 | #Constraints: 64529
1389.78/1393.24 c #Conflicts: 1270000 | #Constraints: 65529
1389.78/1393.24 c #Conflicts: 1271000 | #Constraints: 66529
1389.78/1393.24 c #Conflicts: 1272000 | #Constraints: 67529
1389.78/1393.24 c #Conflicts: 1273000 | #Constraints: 68529
1389.78/1393.24 c #Conflicts: 1274000 | #Constraints: 69529
1389.78/1393.24 c #Conflicts: 1275000 | #Constraints: 70529
1389.78/1393.24 c #Conflicts: 1276000 | #Constraints: 71529
1389.78/1393.24 c #Conflicts: 1277000 | #Constraints: 72529
1389.78/1393.24 c #Conflicts: 1278000 | #Constraints: 73529
1389.78/1393.24 c #Conflicts: 1279000 | #Constraints: 74529
1389.78/1393.24 c INPROCESSING
1389.78/1393.24 c GARBAGE COLLECT
1389.78/1393.24 c rational objective 43
1434.28/1437.82 c #Conflicts: 1280000 | #Constraints: 53123
1434.28/1437.82 c #Conflicts: 1281000 | #Constraints: 54123
1434.28/1437.82 c #Conflicts: 1282000 | #Constraints: 55123
1434.28/1437.82 c #Conflicts: 1283000 | #Constraints: 56123
1434.28/1437.82 c #Conflicts: 1284000 | #Constraints: 57123
1434.28/1437.82 c #Conflicts: 1285000 | #Constraints: 58123
1434.28/1437.82 c #Conflicts: 1286000 | #Constraints: 59123
1434.28/1437.82 c #Conflicts: 1287000 | #Constraints: 60123
1434.28/1437.82 c #Conflicts: 1288000 | #Constraints: 61123
1434.28/1437.82 c #Conflicts: 1289000 | #Constraints: 62123
1434.28/1437.82 c #Conflicts: 1290000 | #Constraints: 63123
1434.28/1437.82 c #Conflicts: 1291000 | #Constraints: 64123
1434.28/1437.82 c #Conflicts: 1292000 | #Constraints: 65123
1434.28/1437.82 c #Conflicts: 1293000 | #Constraints: 66123
1434.28/1437.82 c #Conflicts: 1294000 | #Constraints: 67123
1434.28/1437.82 c #Conflicts: 1295000 | #Constraints: 68123
1434.28/1437.82 c #Conflicts: 1296000 | #Constraints: 69123
1434.28/1437.82 c #Conflicts: 1297000 | #Constraints: 70123
1434.28/1437.82 c #Conflicts: 1298000 | #Constraints: 71123
1434.28/1437.82 c #Conflicts: 1299000 | #Constraints: 72123
1434.28/1437.82 c #Conflicts: 1300000 | #Constraints: 73123
1434.28/1437.82 c #Conflicts: 1301000 | #Constraints: 74123
1434.28/1437.82 c #Conflicts: 1302000 | #Constraints: 75123
1434.28/1437.82 c INPROCESSING
1434.28/1437.82 c GARBAGE COLLECT
1434.28/1437.82 c rational objective 43
1501.91/1505.61 c #Conflicts: 1303000 | #Constraints: 53517
1501.91/1505.61 c #Conflicts: 1304000 | #Constraints: 54517
1501.91/1505.61 c #Conflicts: 1305000 | #Constraints: 55517
1501.91/1505.61 c #Conflicts: 1306000 | #Constraints: 56517
1501.91/1505.61 c #Conflicts: 1307000 | #Constraints: 57517
1501.91/1505.61 c #Conflicts: 1308000 | #Constraints: 58517
1501.91/1505.61 c #Conflicts: 1309000 | #Constraints: 59517
1501.91/1505.61 c #Conflicts: 1310000 | #Constraints: 60517
1501.91/1505.61 c #Conflicts: 1311000 | #Constraints: 61517
1501.91/1505.61 c #Conflicts: 1312000 | #Constraints: 62517
1501.91/1505.61 c #Conflicts: 1313000 | #Constraints: 63517
1501.91/1505.61 c #Conflicts: 1314000 | #Constraints: 64517
1501.91/1505.61 c #Conflicts: 1315000 | #Constraints: 65517
1501.91/1505.61 c #Conflicts: 1316000 | #Constraints: 66517
1501.91/1505.61 c #Conflicts: 1317000 | #Constraints: 67517
1501.91/1505.61 c #Conflicts: 1318000 | #Constraints: 68517
1501.91/1505.61 c #Conflicts: 1319000 | #Constraints: 69517
1501.91/1505.61 c #Conflicts: 1320000 | #Constraints: 70517
1501.91/1505.61 c #Conflicts: 1321000 | #Constraints: 71517
1501.91/1505.61 c #Conflicts: 1322000 | #Constraints: 72517
1501.91/1505.61 c #Conflicts: 1323000 | #Constraints: 73517
1501.91/1505.61 c #Conflicts: 1324000 | #Constraints: 74517
1501.91/1505.61 c #Conflicts: 1325000 | #Constraints: 75517
1501.91/1505.61 c INPROCESSING
1501.91/1505.61 c GARBAGE COLLECT
1501.91/1505.61 c #Conflicts: 1326000 | #Constraints: 53676
1501.91/1505.61 c #Conflicts: 1327000 | #Constraints: 54676
1501.91/1505.61 c #Conflicts: 1328000 | #Constraints: 55676
1501.91/1505.61 c #Conflicts: 1329000 | #Constraints: 56676
1501.91/1505.61 c #Conflicts: 1330000 | #Constraints: 57676
1501.91/1505.61 c #Conflicts: 1331000 | #Constraints: 58676
1501.91/1505.61 c #Conflicts: 1332000 | #Constraints: 59676
1501.91/1505.61 c #Conflicts: 1333000 | #Constraints: 60676
1501.91/1505.61 c #Conflicts: 1334000 | #Constraints: 61676
1501.91/1505.61 c #Conflicts: 1335000 | #Constraints: 62676
1501.91/1505.61 c #Conflicts: 1336000 | #Constraints: 63676
1501.91/1505.61 c #Conflicts: 1337000 | #Constraints: 64676
1501.91/1505.61 c #Conflicts: 1338000 | #Constraints: 65676
1501.91/1505.61 c #Conflicts: 1339000 | #Constraints: 66676
1501.91/1505.61 c #Conflicts: 1340000 | #Constraints: 67676
1501.91/1505.61 c #Conflicts: 1341000 | #Constraints: 68676
1501.91/1505.61 c #Conflicts: 1342000 | #Constraints: 69676
1501.91/1505.61 c #Conflicts: 1343000 | #Constraints: 70676
1501.91/1505.61 c #Conflicts: 1344000 | #Constraints: 71676
1501.91/1505.61 c #Conflicts: 1345000 | #Constraints: 72676
1501.91/1505.61 c #Conflicts: 1346000 | #Constraints: 73676
1501.91/1505.61 c #Conflicts: 1347000 | #Constraints: 74676
1501.91/1505.61 c #Conflicts: 1348000 | #Constraints: 75676
1501.91/1505.61 c INPROCESSING
1501.91/1505.61 c GARBAGE COLLECT
1501.91/1505.61 c rational objective 43
1529.94/1533.74 c #Conflicts: 1349000 | #Constraints: 53721
1529.94/1533.74 c #Conflicts: 1350000 | #Constraints: 54721
1529.94/1533.74 c #Conflicts: 1351000 | #Constraints: 55721
1529.94/1533.74 c #Conflicts: 1352000 | #Constraints: 56721
1529.94/1533.74 c #Conflicts: 1353000 | #Constraints: 57721
1529.94/1533.74 c #Conflicts: 1354000 | #Constraints: 58721
1529.94/1533.74 c #Conflicts: 1355000 | #Constraints: 59721
1529.94/1533.74 c #Conflicts: 1356000 | #Constraints: 60721
1529.94/1533.74 c #Conflicts: 1357000 | #Constraints: 61721
1529.94/1533.74 c #Conflicts: 1358000 | #Constraints: 62721
1529.94/1533.74 c #Conflicts: 1359000 | #Constraints: 63721
1529.94/1533.74 c #Conflicts: 1360000 | #Constraints: 64721
1529.94/1533.74 c #Conflicts: 1361000 | #Constraints: 65721
1529.94/1533.74 c #Conflicts: 1362000 | #Constraints: 66721
1529.94/1533.74 c #Conflicts: 1363000 | #Constraints: 67721
1529.94/1533.74 c #Conflicts: 1364000 | #Constraints: 68721
1529.94/1533.74 c #Conflicts: 1365000 | #Constraints: 69721
1529.94/1533.74 c #Conflicts: 1366000 | #Constraints: 70721
1529.94/1533.74 c #Conflicts: 1367000 | #Constraints: 71721
1529.94/1533.74 c #Conflicts: 1368000 | #Constraints: 72721
1529.94/1533.74 c #Conflicts: 1369000 | #Constraints: 73721
1529.94/1533.74 c #Conflicts: 1370000 | #Constraints: 74721
1529.94/1533.74 c #Conflicts: 1371000 | #Constraints: 75721
1529.94/1533.74 c INPROCESSING
1529.94/1533.74 c GARBAGE COLLECT
1529.94/1533.74 c rational objective 43
1582.31/1586.25 c #Conflicts: 1372000 | #Constraints: 53533
1582.31/1586.25 c #Conflicts: 1373000 | #Constraints: 54533
1582.31/1586.25 c #Conflicts: 1374000 | #Constraints: 55533
1582.31/1586.25 c #Conflicts: 1375000 | #Constraints: 56533
1582.31/1586.25 c #Conflicts: 1376000 | #Constraints: 57533
1582.31/1586.25 c #Conflicts: 1377000 | #Constraints: 58533
1582.31/1586.25 c #Conflicts: 1378000 | #Constraints: 59533
1582.31/1586.25 c #Conflicts: 1379000 | #Constraints: 60533
1582.31/1586.25 c #Conflicts: 1380000 | #Constraints: 61533
1582.31/1586.25 c #Conflicts: 1381000 | #Constraints: 62533
1582.31/1586.25 c #Conflicts: 1382000 | #Constraints: 63533
1582.31/1586.25 c #Conflicts: 1383000 | #Constraints: 64533
1582.31/1586.25 c #Conflicts: 1384000 | #Constraints: 65533
1582.31/1586.25 c #Conflicts: 1385000 | #Constraints: 66533
1582.31/1586.25 c #Conflicts: 1386000 | #Constraints: 67533
1582.31/1586.25 c #Conflicts: 1387000 | #Constraints: 68533
1582.31/1586.25 c #Conflicts: 1388000 | #Constraints: 69533
1582.31/1586.25 c #Conflicts: 1389000 | #Constraints: 70533
1582.31/1586.25 c #Conflicts: 1390000 | #Constraints: 71533
1582.31/1586.25 c #Conflicts: 1391000 | #Constraints: 72533
1582.31/1586.25 c #Conflicts: 1392000 | #Constraints: 73533
1582.31/1586.25 c #Conflicts: 1393000 | #Constraints: 74533
1582.31/1586.25 c #Conflicts: 1394000 | #Constraints: 75533
1582.31/1586.25 c #Conflicts: 1395000 | #Constraints: 76533
1582.31/1586.25 c INPROCESSING
1582.31/1586.25 c GARBAGE COLLECT
1582.31/1586.25 c rational objective 43
1644.96/1649.02 c #Conflicts: 1396000 | #Constraints: 54117
1644.96/1649.02 c #Conflicts: 1397000 | #Constraints: 55117
1644.96/1649.02 c #Conflicts: 1398000 | #Constraints: 56117
1644.96/1649.02 c #Conflicts: 1399000 | #Constraints: 57117
1644.96/1649.02 c #Conflicts: 1400000 | #Constraints: 58117
1644.96/1649.02 c #Conflicts: 1401000 | #Constraints: 59117
1644.96/1649.02 c #Conflicts: 1402000 | #Constraints: 60117
1644.96/1649.02 c #Conflicts: 1403000 | #Constraints: 61117
1644.96/1649.02 c #Conflicts: 1404000 | #Constraints: 62117
1644.96/1649.02 c #Conflicts: 1405000 | #Constraints: 63117
1644.96/1649.02 c #Conflicts: 1406000 | #Constraints: 64117
1644.96/1649.02 c #Conflicts: 1407000 | #Constraints: 65117
1644.96/1649.02 c #Conflicts: 1408000 | #Constraints: 66117
1644.96/1649.02 c #Conflicts: 1409000 | #Constraints: 67117
1644.96/1649.02 c #Conflicts: 1410000 | #Constraints: 68117
1644.96/1649.02 c #Conflicts: 1411000 | #Constraints: 69117
1644.96/1649.02 c #Conflicts: 1412000 | #Constraints: 70117
1644.96/1649.02 c #Conflicts: 1413000 | #Constraints: 71117
1644.96/1649.02 c #Conflicts: 1414000 | #Constraints: 72117
1644.96/1649.02 c #Conflicts: 1415000 | #Constraints: 73117
1644.96/1649.02 c #Conflicts: 1416000 | #Constraints: 74117
1644.96/1649.02 c #Conflicts: 1417000 | #Constraints: 75117
1644.96/1649.02 c #Conflicts: 1418000 | #Constraints: 76117
1644.96/1649.02 c #Conflicts: 1419000 | #Constraints: 77117
1644.96/1649.02 c INPROCESSING
1644.96/1649.02 c GARBAGE COLLECT
1644.96/1649.02 c rational objective 43
1683.76/1687.99 c #Conflicts: 1420000 | #Constraints: 54506
1683.76/1687.99 c #Conflicts: 1421000 | #Constraints: 55506
1683.76/1687.99 c #Conflicts: 1422000 | #Constraints: 56506
1683.76/1687.99 c #Conflicts: 1423000 | #Constraints: 57506
1683.76/1687.99 c #Conflicts: 1424000 | #Constraints: 58506
1683.76/1687.99 c #Conflicts: 1425000 | #Constraints: 59506
1683.76/1687.99 c #Conflicts: 1426000 | #Constraints: 60506
1683.76/1687.99 c #Conflicts: 1427000 | #Constraints: 61506
1683.76/1687.99 c #Conflicts: 1428000 | #Constraints: 62506
1683.76/1687.99 c #Conflicts: 1429000 | #Constraints: 63506
1683.76/1687.99 c #Conflicts: 1430000 | #Constraints: 64506
1683.76/1687.99 c #Conflicts: 1431000 | #Constraints: 65506
1683.76/1687.99 c #Conflicts: 1432000 | #Constraints: 66506
1683.76/1687.99 c #Conflicts: 1433000 | #Constraints: 67506
1683.76/1687.99 c #Conflicts: 1434000 | #Constraints: 68506
1683.76/1687.99 c #Conflicts: 1435000 | #Constraints: 69507
1683.76/1687.99 c #Conflicts: 1436000 | #Constraints: 70507
1683.76/1687.99 c #Conflicts: 1437000 | #Constraints: 71507
1683.76/1687.99 c #Conflicts: 1438000 | #Constraints: 72507
1683.76/1687.99 c #Conflicts: 1439000 | #Constraints: 73507
1683.76/1687.99 c #Conflicts: 1440000 | #Constraints: 74507
1683.76/1687.99 c #Conflicts: 1441000 | #Constraints: 75507
1683.76/1687.99 c #Conflicts: 1442000 | #Constraints: 76507
1683.76/1687.99 c #Conflicts: 1443000 | #Constraints: 77507
1683.76/1687.99 c INPROCESSING
1683.76/1687.99 c GARBAGE COLLECT
1683.76/1687.99 WSVECS04 Frhs2[250]: 6 0 10 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[252]: 6 0 10 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[1492]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[1986]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[3228]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[3722]: 6 0 10 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[4714]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[4716]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5210]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5212]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5706]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5708]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5954]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[5956]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[6202]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[6204]: 6 0 10.0001 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1683.76/1687.99 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1743.90/1748.27 WSVECS04 Frhs2[3722]: 6 0 10 shouldn't be
1743.90/1748.27 WSVECS04 Frhs2[3724]: 6 0 10 shouldn't be
1743.90/1748.27 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1743.90/1748.27 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1743.90/1748.27 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
1778.63/1783.02 WSVECS04 Frhs2[4716]: 6 0 10 shouldn't be
1778.63/1783.02 WSVECS04 Frhs2[5708]: 6 0 10 shouldn't be
1799.76/1804.29 WSVECS04 Frhs2[1492]: 6 0 10 shouldn't be
1878.57/1883.27 c #Conflicts: 1444000 | #Constraints: 54673
1878.57/1883.27 c #Conflicts: 1445000 | #Constraints: 55673
1878.57/1883.27 c #Conflicts: 1446000 | #Constraints: 56673
1878.57/1883.27 c #Conflicts: 1447000 | #Constraints: 57673
1878.57/1883.27 c #Conflicts: 1448000 | #Constraints: 58673
1878.57/1883.27 c #Conflicts: 1449000 | #Constraints: 59673
1878.57/1883.27 c #Conflicts: 1450000 | #Constraints: 60673
1878.57/1883.27 c #Conflicts: 1451000 | #Constraints: 61673
1878.57/1883.27 c #Conflicts: 1452000 | #Constraints: 62673
1878.57/1883.27 c #Conflicts: 1453000 | #Constraints: 63673
1878.57/1883.27 c #Conflicts: 1454000 | #Constraints: 64673
1878.57/1883.27 c #Conflicts: 1455000 | #Constraints: 65673
1878.57/1883.27 c #Conflicts: 1456000 | #Constraints: 66673
1878.57/1883.27 c #Conflicts: 1457000 | #Constraints: 67673
1878.57/1883.27 c #Conflicts: 1458000 | #Constraints: 68673
1878.57/1883.27 c #Conflicts: 1459000 | #Constraints: 69673
1878.57/1883.27 c #Conflicts: 1460000 | #Constraints: 70673
1878.57/1883.27 c #Conflicts: 1461000 | #Constraints: 71673
1878.57/1883.27 c #Conflicts: 1462000 | #Constraints: 72673
1878.57/1883.27 c #Conflicts: 1463000 | #Constraints: 73673
1878.57/1883.27 c #Conflicts: 1464000 | #Constraints: 74673
1878.57/1883.27 c #Conflicts: 1465000 | #Constraints: 75673
1878.57/1883.27 c #Conflicts: 1466000 | #Constraints: 76673
1878.57/1883.27 c #Conflicts: 1467000 | #Constraints: 77673
1878.57/1883.27 c INPROCESSING
1878.57/1883.27 c GARBAGE COLLECT
1878.57/1883.27 c rational objective 43
1896.53/1901.21 c #Conflicts: 1468000 | #Constraints: 54688
1896.53/1901.21 c #Conflicts: 1469000 | #Constraints: 55688
1896.53/1901.21 c #Conflicts: 1470000 | #Constraints: 56688
1896.53/1901.21 c #Conflicts: 1471000 | #Constraints: 57688
1896.53/1901.21 c #Conflicts: 1472000 | #Constraints: 58688
1896.53/1901.21 c #Conflicts: 1473000 | #Constraints: 59688
1896.53/1901.21 c #Conflicts: 1474000 | #Constraints: 60688
1896.53/1901.21 c #Conflicts: 1475000 | #Constraints: 61688
1896.53/1901.21 c #Conflicts: 1476000 | #Constraints: 62688
1896.53/1901.21 c #Conflicts: 1477000 | #Constraints: 63688
1896.53/1901.21 c #Conflicts: 1478000 | #Constraints: 64688
1896.53/1901.21 c #Conflicts: 1479000 | #Constraints: 65689
1896.53/1901.21 c #Conflicts: 1480000 | #Constraints: 66689
1896.53/1901.21 c #Conflicts: 1481000 | #Constraints: 67689
1896.53/1901.21 c #Conflicts: 1482000 | #Constraints: 68689
1896.53/1901.21 c #Conflicts: 1483000 | #Constraints: 69689
1896.53/1901.21 c #Conflicts: 1484000 | #Constraints: 70689
1896.53/1901.21 c #Conflicts: 1485000 | #Constraints: 71689
1896.53/1901.21 c #Conflicts: 1486000 | #Constraints: 72689
1896.53/1901.21 c #Conflicts: 1487000 | #Constraints: 73689
1896.53/1901.21 c #Conflicts: 1488000 | #Constraints: 74689
1896.53/1901.21 c #Conflicts: 1489000 | #Constraints: 75689
1896.53/1901.21 c #Conflicts: 1490000 | #Constraints: 76689
1896.53/1901.21 c #Conflicts: 1491000 | #Constraints: 77689
1896.53/1901.21 c INPROCESSING
1896.53/1901.21 c GARBAGE COLLECT
1896.53/1901.21 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7829]: 6 -20.0001 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7831]: 6 -20.0001 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7839]: 6 -10.0001 0 shouldn't be
1896.53/1901.21 WSVECS04 Frhs2[7840]: 6 -5.00009 0 shouldn't be
1910.39/1915.19 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
1919.17/1923.94 WSVECS04 Frhs2[7840]: 6 -5 0 shouldn't be
1934.02/1938.83 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
1980.32/1985.28 c #Conflicts: 1492000 | #Constraints: 54465
1980.32/1985.28 c #Conflicts: 1493000 | #Constraints: 55465
1980.32/1985.28 c #Conflicts: 1494000 | #Constraints: 56465
1980.32/1985.28 c #Conflicts: 1495000 | #Constraints: 57465
1980.32/1985.28 c #Conflicts: 1496000 | #Constraints: 58465
1980.32/1985.28 c #Conflicts: 1497000 | #Constraints: 59465
1980.32/1985.28 c #Conflicts: 1498000 | #Constraints: 60465
1980.32/1985.28 c #Conflicts: 1499000 | #Constraints: 61465
1980.32/1985.28 c #Conflicts: 1500000 | #Constraints: 62465
1980.32/1985.28 c #Conflicts: 1501000 | #Constraints: 63465
1980.32/1985.28 c #Conflicts: 1502000 | #Constraints: 64465
1980.32/1985.28 c #Conflicts: 1503000 | #Constraints: 65465
1980.32/1985.28 c #Conflicts: 1504000 | #Constraints: 66466
1980.32/1985.28 c #Conflicts: 1505000 | #Constraints: 67466
1980.32/1985.28 c #Conflicts: 1506000 | #Constraints: 68466
1980.32/1985.28 c #Conflicts: 1507000 | #Constraints: 69466
1980.32/1985.28 c #Conflicts: 1508000 | #Constraints: 70466
1980.32/1985.28 c #Conflicts: 1509000 | #Constraints: 71466
1980.32/1985.28 c #Conflicts: 1510000 | #Constraints: 72466
1980.32/1985.28 c #Conflicts: 1511000 | #Constraints: 73466
1980.32/1985.28 c #Conflicts: 1512000 | #Constraints: 74466
1980.32/1985.28 c #Conflicts: 1513000 | #Constraints: 75466
1980.32/1985.28 c #Conflicts: 1514000 | #Constraints: 76466
1980.32/1985.28 c #Conflicts: 1515000 | #Constraints: 77466
1980.32/1985.28 c #Conflicts: 1516000 | #Constraints: 78466
1980.32/1985.28 c INPROCESSING
1980.32/1985.28 c GARBAGE COLLECT
1980.32/1985.28 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7829]: 6 -20.0001 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7830]: 6 -20.0001 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1980.32/1985.28 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
1992.39/1997.31 WSVECS04 Frhs2[7840]: 6 -5.00008 0 shouldn't be
2033.10/2038.10 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
2033.10/2038.10 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
2033.10/2038.10 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
2033.10/2038.10 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
2033.10/2038.10 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
2042.47/2047.55 WSVECS04 Frhs2[7840]: 6 -5 0 shouldn't be
2056.44/2061.56 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
2056.44/2061.56 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
2156.00/2161.38 c #Conflicts: 1517000 | #Constraints: 55047
2156.00/2161.38 c #Conflicts: 1518000 | #Constraints: 56047
2156.00/2161.38 c #Conflicts: 1519000 | #Constraints: 57047
2156.00/2161.38 c #Conflicts: 1520000 | #Constraints: 58047
2156.00/2161.38 c #Conflicts: 1521000 | #Constraints: 59047
2156.00/2161.38 c #Conflicts: 1522000 | #Constraints: 60047
2156.00/2161.38 c #Conflicts: 1523000 | #Constraints: 61047
2156.00/2161.38 c #Conflicts: 1524000 | #Constraints: 62047
2156.00/2161.38 c #Conflicts: 1525000 | #Constraints: 63047
2156.00/2161.38 c #Conflicts: 1526000 | #Constraints: 64047
2156.00/2161.38 c #Conflicts: 1527000 | #Constraints: 65047
2156.00/2161.38 c #Conflicts: 1528000 | #Constraints: 66047
2156.00/2161.38 c #Conflicts: 1529000 | #Constraints: 67049
2156.00/2161.38 c #Conflicts: 1530000 | #Constraints: 68052
2156.00/2161.38 c #Conflicts: 1531000 | #Constraints: 69053
2156.00/2161.38 c #Conflicts: 1532000 | #Constraints: 70053
2156.00/2161.38 c #Conflicts: 1533000 | #Constraints: 71147
2156.00/2161.38 c #Conflicts: 1534000 | #Constraints: 72147
2156.00/2161.38 c #Conflicts: 1535000 | #Constraints: 73147
2156.00/2161.38 c #Conflicts: 1536000 | #Constraints: 74147
2156.00/2161.38 c #Conflicts: 1537000 | #Constraints: 75147
2156.00/2161.38 c #Conflicts: 1538000 | #Constraints: 76154
2156.00/2161.38 c #Conflicts: 1539000 | #Constraints: 77155
2156.00/2161.38 c #Conflicts: 1540000 | #Constraints: 78157
2156.00/2161.38 c #Conflicts: 1541000 | #Constraints: 79157
2156.00/2161.38 c INPROCESSING
2156.00/2161.38 c GARBAGE COLLECT
2156.00/2161.38 c #Conflicts: 1542000 | #Constraints: 55499
2156.00/2161.38 c #Conflicts: 1543000 | #Constraints: 56499
2156.00/2161.38 c #Conflicts: 1544000 | #Constraints: 57499
2156.00/2161.38 c #Conflicts: 1545000 | #Constraints: 58499
2156.00/2161.38 c #Conflicts: 1546000 | #Constraints: 59499
2156.00/2161.38 c #Conflicts: 1547000 | #Constraints: 60499
2156.00/2161.38 c #Conflicts: 1548000 | #Constraints: 61499
2156.00/2161.38 c #Conflicts: 1549000 | #Constraints: 62499
2156.00/2161.38 c #Conflicts: 1550000 | #Constraints: 63499
2156.00/2161.38 c #Conflicts: 1551000 | #Constraints: 64501
2156.00/2161.38 c #Conflicts: 1552000 | #Constraints: 65509
2156.00/2161.38 c #Conflicts: 1553000 | #Constraints: 66983
2156.00/2161.38 c #Conflicts: 1554000 | #Constraints: 68496
2156.00/2161.38 c #Conflicts: 1555000 | #Constraints: 70005
2156.00/2161.38 c #Conflicts: 1556000 | #Constraints: 71523
2156.00/2161.38 c #Conflicts: 1557000 | #Constraints: 73029
2156.00/2161.38 c #Conflicts: 1558000 | #Constraints: 74558
2156.00/2161.38 c #Conflicts: 1559000 | #Constraints: 76075
2156.00/2161.38 c #Conflicts: 1560000 | #Constraints: 77621
2156.00/2161.38 c #Conflicts: 1561000 | #Constraints: 79136
2156.00/2161.38 c #Conflicts: 1562000 | #Constraints: 80644
2156.00/2161.38 c #Conflicts: 1563000 | #Constraints: 82169
2156.00/2161.38 c #Conflicts: 1564000 | #Constraints: 83690
2156.00/2161.38 c #Conflicts: 1565000 | #Constraints: 85202
2156.00/2161.38 c #Conflicts: 1566000 | #Constraints: 86728
2156.00/2161.38 c INPROCESSING
2156.00/2161.38 c GARBAGE COLLECT
2156.00/2161.38 WSVECS04 Frhs2[5460]: 6 -5.00009 0 shouldn't be
2156.00/2161.38 WSVECS04 Frhs2[5956]: 6 0 5.00006 shouldn't be
2156.00/2161.38 WSVECS04 Frhs2[6969]: 6 0 5.00008 shouldn't be
2156.00/2161.38 WSVECS04 Frhs2[7831]: 6 -10 0 shouldn't be
2156.00/2161.38 WSVECS04 Frhs2[7833]: 6 -10.0001 0 shouldn't be
2156.00/2161.38 WSVECS04 Frhs2[7840]: 6 -5.00007 0 shouldn't be
2172.07/2177.41 c rational objective 43
2195.72/2201.13 c #Conflicts: 1567000 | #Constraints: 59337
2195.72/2201.13 c #Conflicts: 1568000 | #Constraints: 60337
2195.72/2201.13 c #Conflicts: 1569000 | #Constraints: 61337
2195.72/2201.13 c #Conflicts: 1570000 | #Constraints: 62337
2195.72/2201.13 c #Conflicts: 1571000 | #Constraints: 63337
2195.72/2201.13 c #Conflicts: 1572000 | #Constraints: 64337
2195.72/2201.13 c #Conflicts: 1573000 | #Constraints: 65337
2195.72/2201.13 c #Conflicts: 1574000 | #Constraints: 66337
2195.72/2201.13 c #Conflicts: 1575000 | #Constraints: 67337
2195.72/2201.13 c #Conflicts: 1576000 | #Constraints: 68337
2195.72/2201.13 c #Conflicts: 1577000 | #Constraints: 69337
2195.72/2201.13 c #Conflicts: 1578000 | #Constraints: 70337
2195.72/2201.13 c #Conflicts: 1579000 | #Constraints: 71337
2195.72/2201.13 c #Conflicts: 1580000 | #Constraints: 72337
2195.72/2201.13 c #Conflicts: 1581000 | #Constraints: 73337
2195.72/2201.13 c #Conflicts: 1582000 | #Constraints: 74337
2195.72/2201.13 c #Conflicts: 1583000 | #Constraints: 75337
2195.72/2201.13 c #Conflicts: 1584000 | #Constraints: 76337
2195.72/2201.13 c #Conflicts: 1585000 | #Constraints: 77337
2195.72/2201.13 c #Conflicts: 1586000 | #Constraints: 78337
2195.72/2201.13 c #Conflicts: 1587000 | #Constraints: 79337
2195.72/2201.13 c #Conflicts: 1588000 | #Constraints: 80337
2195.72/2201.13 c #Conflicts: 1589000 | #Constraints: 81337
2195.72/2201.13 c #Conflicts: 1590000 | #Constraints: 82337
2195.72/2201.13 c #Conflicts: 1591000 | #Constraints: 83337
2195.72/2201.13 c INPROCESSING
2195.72/2201.13 c GARBAGE COLLECT
2195.72/2201.13 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7830]: 6 -20.0001 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7835]: 6 -10.0001 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
2195.72/2201.13 WSVECS04 Frhs2[7840]: 6 -5.00005 0 shouldn't be
2364.11/2370.00 c #Conflicts: 1592000 | #Constraints: 57494
2364.11/2370.00 c #Conflicts: 1593000 | #Constraints: 58494
2364.11/2370.00 c #Conflicts: 1594000 | #Constraints: 59494
2364.11/2370.00 c #Conflicts: 1595000 | #Constraints: 60494
2364.11/2370.00 c #Conflicts: 1596000 | #Constraints: 61495
2364.11/2370.00 c #Conflicts: 1597000 | #Constraints: 62495
2364.11/2370.00 c #Conflicts: 1598000 | #Constraints: 63495
2364.11/2370.00 c #Conflicts: 1599000 | #Constraints: 64497
2364.11/2370.00 c #Conflicts: 1600000 | #Constraints: 65501
2364.11/2370.00 c #Conflicts: 1601000 | #Constraints: 66501
2364.11/2370.00 c #Conflicts: 1602000 | #Constraints: 67501
2364.11/2370.00 c #Conflicts: 1603000 | #Constraints: 68516
2364.11/2370.00 c #Conflicts: 1604000 | #Constraints: 69516
2364.11/2370.00 c #Conflicts: 1605000 | #Constraints: 70516
2364.11/2370.00 c #Conflicts: 1606000 | #Constraints: 71516
2364.11/2370.00 c #Conflicts: 1607000 | #Constraints: 72516
2364.11/2370.00 c #Conflicts: 1608000 | #Constraints: 73516
2364.11/2370.00 c #Conflicts: 1609000 | #Constraints: 74517
2364.11/2370.00 c #Conflicts: 1610000 | #Constraints: 75517
2364.11/2370.00 c #Conflicts: 1611000 | #Constraints: 76517
2364.11/2370.00 c #Conflicts: 1612000 | #Constraints: 77517
2364.11/2370.00 c #Conflicts: 1613000 | #Constraints: 78517
2364.11/2370.00 c #Conflicts: 1614000 | #Constraints: 79517
2364.11/2370.00 c #Conflicts: 1615000 | #Constraints: 80517
2364.11/2370.00 c #Conflicts: 1616000 | #Constraints: 81517
2364.11/2370.00 c INPROCESSING
2364.11/2370.00 c GARBAGE COLLECT
2364.11/2370.00 c #Conflicts: 1617000 | #Constraints: 56377
2364.11/2370.00 c #Conflicts: 1618000 | #Constraints: 57377
2364.11/2370.00 c #Conflicts: 1619000 | #Constraints: 58377
2364.11/2370.00 c #Conflicts: 1620000 | #Constraints: 59377
2364.11/2370.00 c #Conflicts: 1621000 | #Constraints: 60377
2364.11/2370.00 c #Conflicts: 1622000 | #Constraints: 61377
2364.11/2370.00 c #Conflicts: 1623000 | #Constraints: 62377
2364.11/2370.00 c #Conflicts: 1624000 | #Constraints: 63377
2364.11/2370.00 c #Conflicts: 1625000 | #Constraints: 64377
2364.11/2370.00 c #Conflicts: 1626000 | #Constraints: 65377
2364.11/2370.00 c #Conflicts: 1627000 | #Constraints: 66377
2364.11/2370.00 c #Conflicts: 1628000 | #Constraints: 67377
2364.11/2370.00 c #Conflicts: 1629000 | #Constraints: 68377
2364.11/2370.00 c #Conflicts: 1630000 | #Constraints: 69377
2364.11/2370.00 c #Conflicts: 1631000 | #Constraints: 70377
2364.11/2370.00 c #Conflicts: 1632000 | #Constraints: 71377
2364.11/2370.00 c #Conflicts: 1633000 | #Constraints: 72377
2364.11/2370.00 c #Conflicts: 1634000 | #Constraints: 73377
2364.11/2370.00 c #Conflicts: 1635000 | #Constraints: 74377
2364.11/2370.00 c #Conflicts: 1636000 | #Constraints: 75377
2364.11/2370.00 c #Conflicts: 1637000 | #Constraints: 76377
2364.11/2370.00 c #Conflicts: 1638000 | #Constraints: 77377
2364.11/2370.00 c #Conflicts: 1639000 | #Constraints: 78377
2364.11/2370.00 c #Conflicts: 1640000 | #Constraints: 79377
2364.11/2370.00 c #Conflicts: 1641000 | #Constraints: 80377
2364.11/2370.00 c #Conflicts: 1642000 | #Constraints: 81379
2364.11/2370.00 c INPROCESSING
2364.11/2370.00 c GARBAGE COLLECT
2364.11/2370.00 c #Conflicts: 1643000 | #Constraints: 56510
2364.11/2370.00 c #Conflicts: 1644000 | #Constraints: 57512
2364.11/2370.00 c #Conflicts: 1645000 | #Constraints: 58512
2364.11/2370.00 c #Conflicts: 1646000 | #Constraints: 59512
2364.11/2370.00 c #Conflicts: 1647000 | #Constraints: 60512
2364.11/2370.00 c #Conflicts: 1648000 | #Constraints: 61512
2364.11/2370.00 c #Conflicts: 1649000 | #Constraints: 62515
2364.11/2370.00 c #Conflicts: 1650000 | #Constraints: 63517
2364.11/2370.00 c #Conflicts: 1651000 | #Constraints: 64518
2364.11/2370.00 c #Conflicts: 1652000 | #Constraints: 65525
2364.11/2370.00 c #Conflicts: 1653000 | #Constraints: 66525
2364.11/2370.00 c #Conflicts: 1654000 | #Constraints: 67525
2364.11/2370.00 c #Conflicts: 1655000 | #Constraints: 68530
2364.11/2370.00 c #Conflicts: 1656000 | #Constraints: 70020
2364.11/2370.00 c #Conflicts: 1657000 | #Constraints: 71514
2364.11/2370.00 c #Conflicts: 1658000 | #Constraints: 73020
2364.11/2370.00 c #Conflicts: 1659000 | #Constraints: 74524
2364.11/2370.00 c #Conflicts: 1660000 | #Constraints: 76056
2364.11/2370.00 c #Conflicts: 1661000 | #Constraints: 77591
2364.11/2370.00 c #Conflicts: 1662000 | #Constraints: 79201
2364.11/2370.00 c #Conflicts: 1663000 | #Constraints: 80783
2364.11/2370.00 c #Conflicts: 1664000 | #Constraints: 82282
2364.11/2370.00 c #Conflicts: 1665000 | #Constraints: 83812
2364.11/2370.00 c #Conflicts: 1666000 | #Constraints: 85333
2364.11/2370.00 c #Conflicts: 1667000 | #Constraints: 86843
2364.11/2370.00 c #Conflicts: 1668000 | #Constraints: 88348
2364.11/2370.00 c INPROCESSING
2364.11/2370.00 c GARBAGE COLLECT
2551.63/2557.92 c #Conflicts: 1669000 | #Constraints: 60687
2551.63/2557.92 c #Conflicts: 1670000 | #Constraints: 62239
2551.63/2557.92 c #Conflicts: 1671000 | #Constraints: 63833
2551.63/2557.92 c #Conflicts: 1672000 | #Constraints: 65418
2551.63/2557.92 c #Conflicts: 1673000 | #Constraints: 67006
2551.63/2557.92 c #Conflicts: 1674000 | #Constraints: 68547
2551.63/2557.92 c #Conflicts: 1675000 | #Constraints: 70099
2551.63/2557.92 c #Conflicts: 1676000 | #Constraints: 71660
2551.63/2557.92 c #Conflicts: 1677000 | #Constraints: 73284
2551.63/2557.92 c #Conflicts: 1678000 | #Constraints: 74923
2551.63/2557.92 c #Conflicts: 1679000 | #Constraints: 76504
2551.63/2557.92 c #Conflicts: 1680000 | #Constraints: 78035
2551.63/2557.92 c #Conflicts: 1681000 | #Constraints: 79559
2551.63/2557.92 c #Conflicts: 1682000 | #Constraints: 81072
2551.63/2557.92 c #Conflicts: 1683000 | #Constraints: 82606
2551.63/2557.92 c #Conflicts: 1684000 | #Constraints: 84154
2551.63/2557.92 c #Conflicts: 1685000 | #Constraints: 85699
2551.63/2557.92 c #Conflicts: 1686000 | #Constraints: 87310
2551.63/2557.92 c #Conflicts: 1687000 | #Constraints: 88931
2551.63/2557.92 c #Conflicts: 1688000 | #Constraints: 90507
2551.63/2557.92 c #Conflicts: 1689000 | #Constraints: 92073
2551.63/2557.92 c #Conflicts: 1690000 | #Constraints: 93612
2551.63/2557.92 c #Conflicts: 1691000 | #Constraints: 95193
2551.63/2557.92 c #Conflicts: 1692000 | #Constraints: 96774
2551.63/2557.92 c #Conflicts: 1693000 | #Constraints: 98359
2551.63/2557.92 c #Conflicts: 1694000 | #Constraints: 99885
2551.63/2557.92 c INPROCESSING
2551.63/2557.92 c GARBAGE COLLECT
2551.63/2557.92 c #Conflicts: 1695000 | #Constraints: 66466
2551.63/2557.92 c #Conflicts: 1696000 | #Constraints: 68064
2551.63/2557.92 c #Conflicts: 1697000 | #Constraints: 69645
2551.63/2557.92 c #Conflicts: 1698000 | #Constraints: 71242
2551.63/2557.92 c #Conflicts: 1699000 | #Constraints: 72890
2551.63/2557.92 c #Conflicts: 1700000 | #Constraints: 74452
2551.63/2557.92 c #Conflicts: 1701000 | #Constraints: 75981
2551.63/2557.92 c #Conflicts: 1702000 | #Constraints: 77462
2551.63/2557.92 c #Conflicts: 1703000 | #Constraints: 78974
2551.63/2557.92 c #Conflicts: 1704000 | #Constraints: 80472
2551.63/2557.92 c #Conflicts: 1705000 | #Constraints: 81982
2551.63/2557.92 c #Conflicts: 1706000 | #Constraints: 83493
2551.63/2557.92 c #Conflicts: 1707000 | #Constraints: 85025
2551.63/2557.92 c #Conflicts: 1708000 | #Constraints: 86582
2551.63/2557.92 c #Conflicts: 1709000 | #Constraints: 88158
2551.63/2557.92 c #Conflicts: 1710000 | #Constraints: 89682
2551.63/2557.92 c #Conflicts: 1711000 | #Constraints: 91221
2551.63/2557.92 c #Conflicts: 1712000 | #Constraints: 92763
2551.63/2557.92 c #Conflicts: 1713000 | #Constraints: 94291
2551.63/2557.92 c #Conflicts: 1714000 | #Constraints: 95831
2551.63/2557.92 c #Conflicts: 1715000 | #Constraints: 97441
2551.63/2557.92 c #Conflicts: 1716000 | #Constraints: 99007
2551.63/2557.92 c #Conflicts: 1717000 | #Constraints: 100617
2551.63/2557.92 c #Conflicts: 1718000 | #Constraints: 102183
2551.63/2557.92 c #Conflicts: 1719000 | #Constraints: 103820
2551.63/2557.92 c #Conflicts: 1720000 | #Constraints: 105386
2551.63/2557.92 c INPROCESSING
2551.63/2557.92 c GARBAGE COLLECT
2551.63/2557.92 c #Conflicts: 1721000 | #Constraints: 69073
2551.63/2557.92 c #Conflicts: 1722000 | #Constraints: 70650
2551.63/2557.92 c #Conflicts: 1723000 | #Constraints: 72229
2551.63/2557.92 c #Conflicts: 1724000 | #Constraints: 73783
2551.63/2557.92 c #Conflicts: 1725000 | #Constraints: 75399
2551.63/2557.92 c #Conflicts: 1726000 | #Constraints: 76972
2551.63/2557.92 c #Conflicts: 1727000 | #Constraints: 78559
2551.63/2557.92 c #Conflicts: 1728000 | #Constraints: 80152
2551.63/2557.92 c #Conflicts: 1729000 | #Constraints: 81672
2551.63/2557.92 c #Conflicts: 1730000 | #Constraints: 83246
2551.63/2557.92 c #Conflicts: 1731000 | #Constraints: 84803
2551.63/2557.92 c #Conflicts: 1732000 | #Constraints: 86394
2551.63/2557.92 c #Conflicts: 1733000 | #Constraints: 87914
2551.63/2557.92 c #Conflicts: 1734000 | #Constraints: 89430
2551.63/2557.92 c #Conflicts: 1735000 | #Constraints: 91021
2551.63/2557.92 c #Conflicts: 1736000 | #Constraints: 92587
2551.63/2557.92 c #Conflicts: 1737000 | #Constraints: 94149
2551.63/2557.92 c #Conflicts: 1738000 | #Constraints: 95704
2551.63/2557.92 c #Conflicts: 1739000 | #Constraints: 97234
2551.63/2557.92 c #Conflicts: 1740000 | #Constraints: 98799
2551.63/2557.92 c #Conflicts: 1741000 | #Constraints: 100356
2551.63/2557.92 c #Conflicts: 1742000 | #Constraints: 101869
2551.63/2557.92 c #Conflicts: 1743000 | #Constraints: 103409
2551.63/2557.92 c #Conflicts: 1744000 | #Constraints: 104939
2551.63/2557.92 c #Conflicts: 1745000 | #Constraints: 106504
2551.63/2557.92 c #Conflicts: 1746000 | #Constraints: 108075
2758.10/2764.92 c INPROCESSING
2758.10/2764.92 c GARBAGE COLLECT
2758.10/2764.92 c #Conflicts: 1747000 | #Constraints: 70030
2758.10/2764.92 c #Conflicts: 1748000 | #Constraints: 71549
2758.10/2764.92 c #Conflicts: 1749000 | #Constraints: 73068
2758.10/2764.92 c #Conflicts: 1750000 | #Constraints: 74577
2758.10/2764.92 c #Conflicts: 1751000 | #Constraints: 76115
2758.10/2764.92 c #Conflicts: 1752000 | #Constraints: 77724
2758.10/2764.92 c #Conflicts: 1753000 | #Constraints: 79294
2758.10/2764.92 c #Conflicts: 1754000 | #Constraints: 80934
2758.10/2764.92 c #Conflicts: 1755000 | #Constraints: 82577
2758.10/2764.92 c #Conflicts: 1756000 | #Constraints: 84177
2758.10/2764.92 c #Conflicts: 1757000 | #Constraints: 85742
2758.10/2764.92 c #Conflicts: 1758000 | #Constraints: 87355
2758.10/2764.92 c #Conflicts: 1759000 | #Constraints: 88998
2758.10/2764.92 c #Conflicts: 1760000 | #Constraints: 90578
2758.10/2764.92 c #Conflicts: 1761000 | #Constraints: 92135
2758.10/2764.92 c #Conflicts: 1762000 | #Constraints: 93687
2758.10/2764.92 c #Conflicts: 1763000 | #Constraints: 95312
2758.10/2764.92 c #Conflicts: 1764000 | #Constraints: 96894
2758.10/2764.92 c #Conflicts: 1765000 | #Constraints: 98490
2758.10/2764.92 c #Conflicts: 1766000 | #Constraints: 100087
2758.10/2764.92 c #Conflicts: 1767000 | #Constraints: 101687
2758.10/2764.92 c #Conflicts: 1768000 | #Constraints: 103290
2758.10/2764.92 c #Conflicts: 1769000 | #Constraints: 104876
2758.10/2764.92 c #Conflicts: 1770000 | #Constraints: 106495
2758.10/2764.92 c #Conflicts: 1771000 | #Constraints: 108100
2758.10/2764.92 c #Conflicts: 1772000 | #Constraints: 109693
2758.10/2764.92 c #Conflicts: 1773000 | #Constraints: 111204
2758.10/2764.92 c INPROCESSING
2758.10/2764.92 c GARBAGE COLLECT
2758.10/2764.92 c #Conflicts: 1774000 | #Constraints: 71933
2758.10/2764.92 c #Conflicts: 1775000 | #Constraints: 73541
2758.10/2764.92 c #Conflicts: 1776000 | #Constraints: 75079
2758.10/2764.92 c #Conflicts: 1777000 | #Constraints: 76663
2758.10/2764.92 c #Conflicts: 1778000 | #Constraints: 78262
2758.10/2764.92 c #Conflicts: 1779000 | #Constraints: 79853
2758.10/2764.92 c #Conflicts: 1780000 | #Constraints: 81471
2758.10/2764.92 c #Conflicts: 1781000 | #Constraints: 83080
2758.10/2764.92 c #Conflicts: 1782000 | #Constraints: 84683
2758.10/2764.92 c #Conflicts: 1783000 | #Constraints: 86275
2758.10/2764.92 c #Conflicts: 1784000 | #Constraints: 87870
2758.10/2764.92 c #Conflicts: 1785000 | #Constraints: 89469
2758.10/2764.92 c #Conflicts: 1786000 | #Constraints: 91042
2758.10/2764.92 c #Conflicts: 1787000 | #Constraints: 92633
2758.10/2764.92 c #Conflicts: 1788000 | #Constraints: 94201
2758.10/2764.92 c #Conflicts: 1789000 | #Constraints: 95765
2758.10/2764.92 c #Conflicts: 1790000 | #Constraints: 97288
2758.10/2764.92 c #Conflicts: 1791000 | #Constraints: 98835
2758.10/2764.92 c #Conflicts: 1792000 | #Constraints: 100415
2758.10/2764.92 c #Conflicts: 1793000 | #Constraints: 102018
2758.10/2764.92 c #Conflicts: 1794000 | #Constraints: 103574
2758.10/2764.92 c #Conflicts: 1795000 | #Constraints: 105116
2758.10/2764.92 c #Conflicts: 1796000 | #Constraints: 106655
2758.10/2764.92 c #Conflicts: 1797000 | #Constraints: 108251
2758.10/2764.92 c #Conflicts: 1798000 | #Constraints: 109833
2758.10/2764.92 c #Conflicts: 1799000 | #Constraints: 111408
2758.10/2764.92 c #Conflicts: 1800000 | #Constraints: 112996
2758.10/2764.92 c INPROCESSING
2758.10/2764.92 c GARBAGE COLLECT
2758.10/2764.92 c #Conflicts: 1801000 | #Constraints: 72987
2758.10/2764.92 c #Conflicts: 1802000 | #Constraints: 74513
2758.10/2764.92 c #Conflicts: 1803000 | #Constraints: 76043
2758.10/2764.92 c #Conflicts: 1804000 | #Constraints: 77559
2758.10/2764.92 c #Conflicts: 1805000 | #Constraints: 79078
2758.10/2764.92 c #Conflicts: 1806000 | #Constraints: 80582
2758.10/2764.92 c #Conflicts: 1807000 | #Constraints: 82147
2758.10/2764.92 c #Conflicts: 1808000 | #Constraints: 83774
2758.10/2764.92 c #Conflicts: 1809000 | #Constraints: 85369
2758.10/2764.92 c #Conflicts: 1810000 | #Constraints: 86995
2758.10/2764.92 c #Conflicts: 1811000 | #Constraints: 88557
2758.10/2764.92 c #Conflicts: 1812000 | #Constraints: 90128
2758.10/2764.92 c #Conflicts: 1813000 | #Constraints: 91706
2758.10/2764.92 c #Conflicts: 1814000 | #Constraints: 93262
2758.10/2764.92 c #Conflicts: 1815000 | #Constraints: 94789
2758.10/2764.92 c #Conflicts: 1816000 | #Constraints: 96309
2758.10/2764.92 c #Conflicts: 1817000 | #Constraints: 97899
2758.10/2764.92 c #Conflicts: 1818000 | #Constraints: 99528
2758.10/2764.92 c #Conflicts: 1819000 | #Constraints: 101089
2758.10/2764.92 c #Conflicts: 1820000 | #Constraints: 102610
2758.10/2764.92 c #Conflicts: 1821000 | #Constraints: 104178
2758.10/2764.92 c #Conflicts: 1822000 | #Constraints: 105740
2758.10/2764.92 c #Conflicts: 1823000 | #Constraints: 107323
2956.79/2964.17 c #Conflicts: 1824000 | #Constraints: 108882
2956.79/2964.17 c #Conflicts: 1825000 | #Constraints: 110435
2956.79/2964.17 c #Conflicts: 1826000 | #Constraints: 111963
2956.79/2964.17 c #Conflicts: 1827000 | #Constraints: 113527
2956.79/2964.17 c INPROCESSING
2956.79/2964.17 c GARBAGE COLLECT
2956.79/2964.17 c #Conflicts: 1828000 | #Constraints: 73256
2956.79/2964.17 c #Conflicts: 1829000 | #Constraints: 74840
2956.79/2964.17 c #Conflicts: 1830000 | #Constraints: 76362
2956.79/2964.17 c #Conflicts: 1831000 | #Constraints: 77880
2956.79/2964.17 c #Conflicts: 1832000 | #Constraints: 79439
2956.79/2964.17 c #Conflicts: 1833000 | #Constraints: 80986
2956.79/2964.17 c #Conflicts: 1834000 | #Constraints: 82531
2956.79/2964.17 c #Conflicts: 1835000 | #Constraints: 84103
2956.79/2964.17 c #Conflicts: 1836000 | #Constraints: 85687
2956.79/2964.17 c #Conflicts: 1837000 | #Constraints: 87223
2956.79/2964.17 c #Conflicts: 1838000 | #Constraints: 88761
2956.79/2964.17 c #Conflicts: 1839000 | #Constraints: 90290
2956.79/2964.17 c #Conflicts: 1840000 | #Constraints: 91849
2956.79/2964.17 c #Conflicts: 1841000 | #Constraints: 93429
2956.79/2964.17 c #Conflicts: 1842000 | #Constraints: 95030
2956.79/2964.17 c #Conflicts: 1843000 | #Constraints: 96586
2956.79/2964.17 c #Conflicts: 1844000 | #Constraints: 98133
2956.79/2964.17 c #Conflicts: 1845000 | #Constraints: 99702
2956.79/2964.17 c #Conflicts: 1846000 | #Constraints: 101252
2956.79/2964.17 c #Conflicts: 1847000 | #Constraints: 102777
2956.79/2964.17 c #Conflicts: 1848000 | #Constraints: 104362
2956.79/2964.17 c #Conflicts: 1849000 | #Constraints: 105938
2956.79/2964.17 c #Conflicts: 1850000 | #Constraints: 107476
2956.79/2964.17 c #Conflicts: 1851000 | #Constraints: 109009
2956.79/2964.17 c #Conflicts: 1852000 | #Constraints: 110547
2956.79/2964.17 c #Conflicts: 1853000 | #Constraints: 112130
2956.79/2964.17 c #Conflicts: 1854000 | #Constraints: 113690
2956.79/2964.17 c INPROCESSING
2956.79/2964.17 c GARBAGE COLLECT
2956.79/2964.17 c #Conflicts: 1855000 | #Constraints: 73156
2956.79/2964.17 c #Conflicts: 1856000 | #Constraints: 74698
2956.79/2964.17 c #Conflicts: 1857000 | #Constraints: 76233
2956.79/2964.17 c #Conflicts: 1858000 | #Constraints: 77773
2956.79/2964.17 c #Conflicts: 1859000 | #Constraints: 79347
2956.79/2964.17 c #Conflicts: 1860000 | #Constraints: 80870
2956.79/2964.17 c #Conflicts: 1861000 | #Constraints: 82386
2956.79/2964.17 c #Conflicts: 1862000 | #Constraints: 83949
2956.79/2964.17 c #Conflicts: 1863000 | #Constraints: 85491
2956.79/2964.17 c #Conflicts: 1864000 | #Constraints: 87032
2956.79/2964.17 c #Conflicts: 1865000 | #Constraints: 88567
2956.79/2964.17 c #Conflicts: 1866000 | #Constraints: 90108
2956.79/2964.17 c #Conflicts: 1867000 | #Constraints: 91686
2956.79/2964.17 c #Conflicts: 1868000 | #Constraints: 93254
2956.79/2964.17 c #Conflicts: 1869000 | #Constraints: 94832
2956.79/2964.17 c #Conflicts: 1870000 | #Constraints: 96380
2956.79/2964.17 c #Conflicts: 1871000 | #Constraints: 97958
2956.79/2964.17 c #Conflicts: 1872000 | #Constraints: 99535
2956.79/2964.17 c #Conflicts: 1873000 | #Constraints: 101127
2956.79/2964.17 c #Conflicts: 1874000 | #Constraints: 102671
2956.79/2964.17 c #Conflicts: 1875000 | #Constraints: 104245
2956.79/2964.17 c #Conflicts: 1876000 | #Constraints: 105850
2956.79/2964.17 c #Conflicts: 1877000 | #Constraints: 107450
2956.79/2964.17 c #Conflicts: 1878000 | #Constraints: 108992
2956.79/2964.17 c #Conflicts: 1879000 | #Constraints: 110519
2956.79/2964.17 c #Conflicts: 1880000 | #Constraints: 112065
2956.79/2964.17 c #Conflicts: 1881000 | #Constraints: 113660
2956.79/2964.17 c INPROCESSING
2956.79/2964.17 c GARBAGE COLLECT
2956.79/2964.17 c #Conflicts: 1882000 | #Constraints: 72845
2956.79/2964.17 c #Conflicts: 1883000 | #Constraints: 74397
2956.79/2964.17 c #Conflicts: 1884000 | #Constraints: 75928
2956.79/2964.17 c #Conflicts: 1885000 | #Constraints: 77467
2956.79/2964.17 c #Conflicts: 1886000 | #Constraints: 78989
2956.79/2964.17 c #Conflicts: 1887000 | #Constraints: 80530
2956.79/2964.17 c #Conflicts: 1888000 | #Constraints: 82038
2956.79/2964.17 c #Conflicts: 1889000 | #Constraints: 83580
2956.79/2964.17 c #Conflicts: 1890000 | #Constraints: 85115
2956.79/2964.17 c #Conflicts: 1891000 | #Constraints: 86628
2956.79/2964.17 c #Conflicts: 1892000 | #Constraints: 88175
2956.79/2964.17 c #Conflicts: 1893000 | #Constraints: 89752
2956.79/2964.17 c #Conflicts: 1894000 | #Constraints: 91317
2956.79/2964.17 c #Conflicts: 1895000 | #Constraints: 92873
2956.79/2964.17 c #Conflicts: 1896000 | #Constraints: 94456
2956.79/2964.17 c #Conflicts: 1897000 | #Constraints: 96019
2956.79/2964.17 c #Conflicts: 1898000 | #Constraints: 97571
2956.79/2964.17 c #Conflicts: 1899000 | #Constraints: 99126
2956.79/2964.17 c #Conflicts: 1900000 | #Constraints: 100701
3142.70/3150.57 c #Conflicts: 1901000 | #Constraints: 102266
3142.70/3150.57 c #Conflicts: 1902000 | #Constraints: 103819
3142.70/3150.57 c #Conflicts: 1903000 | #Constraints: 105379
3142.70/3150.57 c #Conflicts: 1904000 | #Constraints: 106976
3142.70/3150.57 c #Conflicts: 1905000 | #Constraints: 108583
3142.70/3150.57 c #Conflicts: 1906000 | #Constraints: 110154
3142.70/3150.57 c #Conflicts: 1907000 | #Constraints: 111712
3142.70/3150.57 c #Conflicts: 1908000 | #Constraints: 113250
3142.70/3150.57 c #Conflicts: 1909000 | #Constraints: 114775
3142.70/3150.57 c INPROCESSING
3142.70/3150.57 c GARBAGE COLLECT
3142.70/3150.57 c #Conflicts: 1910000 | #Constraints: 73759
3142.70/3150.57 c #Conflicts: 1911000 | #Constraints: 75360
3142.70/3150.57 c #Conflicts: 1912000 | #Constraints: 76977
3142.70/3150.57 c #Conflicts: 1913000 | #Constraints: 78576
3142.70/3150.57 c #Conflicts: 1914000 | #Constraints: 80150
3142.70/3150.57 c #Conflicts: 1915000 | #Constraints: 81720
3142.70/3150.57 c #Conflicts: 1916000 | #Constraints: 83320
3142.70/3150.57 c #Conflicts: 1917000 | #Constraints: 84846
3142.70/3150.57 c #Conflicts: 1918000 | #Constraints: 86391
3142.70/3150.57 c #Conflicts: 1919000 | #Constraints: 87886
3142.70/3150.57 c #Conflicts: 1920000 | #Constraints: 89431
3142.70/3150.57 c #Conflicts: 1921000 | #Constraints: 90976
3142.70/3150.57 c #Conflicts: 1922000 | #Constraints: 92512
3142.70/3150.57 c #Conflicts: 1923000 | #Constraints: 94070
3142.70/3150.57 c #Conflicts: 1924000 | #Constraints: 95621
3142.70/3150.57 c #Conflicts: 1925000 | #Constraints: 97199
3142.70/3150.57 c #Conflicts: 1926000 | #Constraints: 98758
3142.70/3150.57 c #Conflicts: 1927000 | #Constraints: 100350
3142.70/3150.57 c #Conflicts: 1928000 | #Constraints: 101904
3142.70/3150.57 c #Conflicts: 1929000 | #Constraints: 103467
3142.70/3150.57 c #Conflicts: 1930000 | #Constraints: 105035
3142.70/3150.57 c #Conflicts: 1931000 | #Constraints: 106579
3142.70/3150.57 c #Conflicts: 1932000 | #Constraints: 108106
3142.70/3150.57 c #Conflicts: 1933000 | #Constraints: 109641
3142.70/3150.57 c #Conflicts: 1934000 | #Constraints: 111173
3142.70/3150.57 c #Conflicts: 1935000 | #Constraints: 112715
3142.70/3150.57 c #Conflicts: 1936000 | #Constraints: 114310
3142.70/3150.57 c #Conflicts: 1937000 | #Constraints: 115886
3142.70/3150.57 c INPROCESSING
3142.70/3150.57 c GARBAGE COLLECT
3142.70/3150.57 c #Conflicts: 1938000 | #Constraints: 74411
3142.70/3150.57 c #Conflicts: 1939000 | #Constraints: 75973
3142.70/3150.57 c #Conflicts: 1940000 | #Constraints: 77533
3142.70/3150.57 c #Conflicts: 1941000 | #Constraints: 79074
3142.70/3150.57 c #Conflicts: 1942000 | #Constraints: 80610
3142.70/3150.57 c #Conflicts: 1943000 | #Constraints: 82177
3142.70/3150.57 c #Conflicts: 1944000 | #Constraints: 83709
3142.70/3150.57 c #Conflicts: 1945000 | #Constraints: 85261
3142.70/3150.57 c #Conflicts: 1946000 | #Constraints: 86804
3142.70/3150.57 c #Conflicts: 1947000 | #Constraints: 88341
3142.70/3150.57 c #Conflicts: 1948000 | #Constraints: 89864
3142.70/3150.57 c #Conflicts: 1949000 | #Constraints: 91402
3142.70/3150.57 c #Conflicts: 1950000 | #Constraints: 92928
3142.70/3150.57 c #Conflicts: 1951000 | #Constraints: 94471
3142.70/3150.57 c #Conflicts: 1952000 | #Constraints: 96027
3142.70/3150.57 c #Conflicts: 1953000 | #Constraints: 97566
3142.70/3150.57 c #Conflicts: 1954000 | #Constraints: 99075
3142.70/3150.57 c #Conflicts: 1955000 | #Constraints: 100615
3142.70/3150.57 c #Conflicts: 1956000 | #Constraints: 102122
3142.70/3150.57 c #Conflicts: 1957000 | #Constraints: 103685
3142.70/3150.57 c #Conflicts: 1958000 | #Constraints: 105228
3142.70/3150.57 c #Conflicts: 1959000 | #Constraints: 106772
3142.70/3150.57 c #Conflicts: 1960000 | #Constraints: 108331
3142.70/3150.57 c #Conflicts: 1961000 | #Constraints: 109869
3142.70/3150.57 c #Conflicts: 1962000 | #Constraints: 111434
3142.70/3150.57 c #Conflicts: 1963000 | #Constraints: 112957
3142.70/3150.57 c #Conflicts: 1964000 | #Constraints: 114456
3142.70/3150.57 c #Conflicts: 1965000 | #Constraints: 115994
3142.70/3150.57 c INPROCESSING
3142.70/3150.57 c GARBAGE COLLECT
3142.70/3150.57 c #Conflicts: 1966000 | #Constraints: 74470
3142.70/3150.57 c #Conflicts: 1967000 | #Constraints: 76009
3142.70/3150.57 c #Conflicts: 1968000 | #Constraints: 77543
3142.70/3150.57 c #Conflicts: 1969000 | #Constraints: 79078
3142.70/3150.57 c #Conflicts: 1970000 | #Constraints: 80612
3142.70/3150.57 c #Conflicts: 1971000 | #Constraints: 82144
3142.70/3150.57 c #Conflicts: 1972000 | #Constraints: 83675
3142.70/3150.57 c #Conflicts: 1973000 | #Constraints: 85165
3142.70/3150.57 c #Conflicts: 1974000 | #Constraints: 86698
3142.70/3150.57 c #Conflicts: 1975000 | #Constraints: 88208
3142.70/3150.57 c #Conflicts: 1976000 | #Constraints: 89721
3152.48/3160.38 c #Conflicts: 1977000 | #Constraints: 91248
3152.48/3160.38 c #Conflicts: 1978000 | #Constraints: 92764
3152.48/3160.38 c #Conflicts: 1979000 | #Constraints: 94298
3152.48/3160.38 c #Conflicts: 1980000 | #Constraints: 95796
3152.48/3160.38 c GLOBAL bounds - >= 0 @ 3132.01
3152.48/3160.39 c GLOBAL bounds - >= 0 @ 3132.02
3348.26/3356.65 c #Conflicts: 1981000 | #Constraints: 97303
3348.26/3356.65 c #Conflicts: 1982000 | #Constraints: 98856
3348.26/3356.65 c #Conflicts: 1983000 | #Constraints: 100425
3348.26/3356.65 c #Conflicts: 1984000 | #Constraints: 101992
3348.26/3356.65 c #Conflicts: 1985000 | #Constraints: 103608
3348.26/3356.65 c #Conflicts: 1986000 | #Constraints: 105242
3348.26/3356.65 c #Conflicts: 1987000 | #Constraints: 106858
3348.26/3356.65 c #Conflicts: 1988000 | #Constraints: 108400
3348.26/3356.65 c #Conflicts: 1989000 | #Constraints: 110017
3348.26/3356.65 c #Conflicts: 1990000 | #Constraints: 111634
3348.26/3356.65 c #Conflicts: 1991000 | #Constraints: 113231
3348.26/3356.65 c #Conflicts: 1992000 | #Constraints: 114844
3348.26/3356.65 c #Conflicts: 1993000 | #Constraints: 116482
3348.26/3356.65 c INPROCESSING
3348.26/3356.65 c GARBAGE COLLECT
3348.26/3356.65 c #Conflicts: 1994000 | #Constraints: 74614
3348.26/3356.65 c #Conflicts: 1995000 | #Constraints: 76269
3348.26/3356.65 c #Conflicts: 1996000 | #Constraints: 77914
3348.26/3356.65 c #Conflicts: 1997000 | #Constraints: 79573
3348.26/3356.65 c #Conflicts: 1998000 | #Constraints: 81222
3348.26/3356.65 c #Conflicts: 1999000 | #Constraints: 82772
3348.26/3356.65 c #Conflicts: 2000000 | #Constraints: 84387
3348.26/3356.65 c #Conflicts: 2001000 | #Constraints: 86008
3348.26/3356.65 c #Conflicts: 2002000 | #Constraints: 87679
3348.26/3356.65 c #Conflicts: 2003000 | #Constraints: 89346
3348.26/3356.65 c #Conflicts: 2004000 | #Constraints: 90986
3348.26/3356.65 c #Conflicts: 2005000 | #Constraints: 92586
3348.26/3356.65 c #Conflicts: 2006000 | #Constraints: 94226
3348.26/3356.65 c #Conflicts: 2007000 | #Constraints: 95785
3348.26/3356.65 c #Conflicts: 2008000 | #Constraints: 97356
3348.26/3356.65 c #Conflicts: 2009000 | #Constraints: 98909
3348.26/3356.65 c #Conflicts: 2010000 | #Constraints: 100471
3348.26/3356.65 c #Conflicts: 2011000 | #Constraints: 102118
3348.26/3356.65 c #Conflicts: 2012000 | #Constraints: 103778
3348.26/3356.65 c #Conflicts: 2013000 | #Constraints: 105398
3348.26/3356.65 c #Conflicts: 2014000 | #Constraints: 106990
3348.26/3356.65 c #Conflicts: 2015000 | #Constraints: 108581
3348.26/3356.65 c #Conflicts: 2016000 | #Constraints: 110119
3348.26/3356.65 c #Conflicts: 2017000 | #Constraints: 111706
3348.26/3356.65 c #Conflicts: 2018000 | #Constraints: 113290
3348.26/3356.65 c #Conflicts: 2019000 | #Constraints: 114929
3348.26/3356.65 c #Conflicts: 2020000 | #Constraints: 116516
3348.26/3356.65 c #Conflicts: 2021000 | #Constraints: 118140
3348.26/3356.65 c INPROCESSING
3348.26/3356.65 c GARBAGE COLLECT
3348.26/3356.65 c #Conflicts: 2022000 | #Constraints: 75131
3348.26/3356.65 c #Conflicts: 2023000 | #Constraints: 76709
3348.26/3356.65 c #Conflicts: 2024000 | #Constraints: 78317
3348.26/3356.65 c #Conflicts: 2025000 | #Constraints: 79877
3348.26/3356.65 c #Conflicts: 2026000 | #Constraints: 81367
3348.26/3356.65 c #Conflicts: 2027000 | #Constraints: 82916
3348.26/3356.65 c #Conflicts: 2028000 | #Constraints: 84541
3348.26/3356.65 c #Conflicts: 2029000 | #Constraints: 86155
3348.26/3356.65 c #Conflicts: 2030000 | #Constraints: 87713
3348.26/3356.65 c #Conflicts: 2031000 | #Constraints: 89340
3348.26/3356.65 c #Conflicts: 2032000 | #Constraints: 90964
3348.26/3356.65 c #Conflicts: 2033000 | #Constraints: 92605
3348.26/3356.65 c #Conflicts: 2034000 | #Constraints: 94204
3348.26/3356.65 c #Conflicts: 2035000 | #Constraints: 95848
3348.26/3356.65 c #Conflicts: 2036000 | #Constraints: 97465
3348.26/3356.65 c #Conflicts: 2037000 | #Constraints: 99053
3348.26/3356.65 c #Conflicts: 2038000 | #Constraints: 100668
3348.26/3356.65 c #Conflicts: 2039000 | #Constraints: 102334
3348.26/3356.65 c #Conflicts: 2040000 | #Constraints: 103964
3348.26/3356.65 c #Conflicts: 2041000 | #Constraints: 105563
3348.26/3356.65 c #Conflicts: 2042000 | #Constraints: 107138
3348.26/3356.65 c #Conflicts: 2043000 | #Constraints: 108770
3348.26/3356.65 c #Conflicts: 2044000 | #Constraints: 110426
3348.26/3356.65 c #Conflicts: 2045000 | #Constraints: 112060
3348.26/3356.65 c #Conflicts: 2046000 | #Constraints: 113686
3348.26/3356.65 c #Conflicts: 2047000 | #Constraints: 115315
3348.26/3356.65 c #Conflicts: 2048000 | #Constraints: 116943
3348.26/3356.65 c #Conflicts: 2049000 | #Constraints: 118564
3348.26/3356.65 c #Conflicts: 2050000 | #Constraints: 120194
3348.26/3356.65 c INPROCESSING
3348.26/3356.65 c GARBAGE COLLECT
3348.26/3356.65 c #Conflicts: 2051000 | #Constraints: 76439
3348.26/3356.65 c #Conflicts: 2052000 | #Constraints: 78037
3348.26/3356.65 c #Conflicts: 2053000 | #Constraints: 79653
3348.26/3356.65 c #Conflicts: 2054000 | #Constraints: 81254
3348.26/3356.65 c #Conflicts: 2055000 | #Constraints: 82886
3348.26/3356.65 c #Conflicts: 2056000 | #Constraints: 84507
3348.26/3356.65 c #Conflicts: 2057000 | #Constraints: 86118
3542.29/3551.19 c #Conflicts: 2058000 | #Constraints: 87709
3542.29/3551.19 c #Conflicts: 2059000 | #Constraints: 89302
3542.29/3551.19 c #Conflicts: 2060000 | #Constraints: 90853
3542.29/3551.19 c #Conflicts: 2061000 | #Constraints: 92433
3542.29/3551.19 c #Conflicts: 2062000 | #Constraints: 94034
3542.29/3551.19 c #Conflicts: 2063000 | #Constraints: 95642
3542.29/3551.19 c #Conflicts: 2064000 | #Constraints: 97260
3542.29/3551.19 c #Conflicts: 2065000 | #Constraints: 98876
3542.29/3551.19 c #Conflicts: 2066000 | #Constraints: 100470
3542.29/3551.19 c #Conflicts: 2067000 | #Constraints: 102066
3542.29/3551.19 c #Conflicts: 2068000 | #Constraints: 103638
3542.29/3551.19 c #Conflicts: 2069000 | #Constraints: 105211
3542.29/3551.19 c #Conflicts: 2070000 | #Constraints: 106804
3542.29/3551.19 c #Conflicts: 2071000 | #Constraints: 108390
3542.29/3551.19 c #Conflicts: 2072000 | #Constraints: 109965
3542.29/3551.19 c #Conflicts: 2073000 | #Constraints: 111549
3542.29/3551.19 c #Conflicts: 2074000 | #Constraints: 113163
3542.29/3551.19 c #Conflicts: 2075000 | #Constraints: 114824
3542.29/3551.19 c #Conflicts: 2076000 | #Constraints: 116418
3542.29/3551.19 c #Conflicts: 2077000 | #Constraints: 118026
3542.29/3551.19 c #Conflicts: 2078000 | #Constraints: 119629
3542.29/3551.19 c #Conflicts: 2079000 | #Constraints: 121243
3542.29/3551.19 c INPROCESSING
3542.29/3551.19 c GARBAGE COLLECT
3542.29/3551.19 c #Conflicts: 2080000 | #Constraints: 77147
3542.29/3551.19 c #Conflicts: 2081000 | #Constraints: 78747
3542.29/3551.19 c #Conflicts: 2082000 | #Constraints: 80371
3542.29/3551.19 c #Conflicts: 2083000 | #Constraints: 81952
3542.29/3551.19 c #Conflicts: 2084000 | #Constraints: 83532
3542.29/3551.19 c #Conflicts: 2085000 | #Constraints: 85091
3542.29/3551.19 c #Conflicts: 2086000 | #Constraints: 86673
3542.29/3551.19 c #Conflicts: 2087000 | #Constraints: 88229
3542.29/3551.19 c #Conflicts: 2088000 | #Constraints: 89769
3542.29/3551.19 c #Conflicts: 2089000 | #Constraints: 91319
3542.29/3551.19 c #Conflicts: 2090000 | #Constraints: 92855
3542.29/3551.19 c #Conflicts: 2091000 | #Constraints: 94420
3542.29/3551.19 c #Conflicts: 2092000 | #Constraints: 95980
3542.29/3551.19 c #Conflicts: 2093000 | #Constraints: 97543
3542.29/3551.19 c #Conflicts: 2094000 | #Constraints: 99130
3542.29/3551.19 c #Conflicts: 2095000 | #Constraints: 100731
3542.29/3551.19 c #Conflicts: 2096000 | #Constraints: 102340
3542.29/3551.19 c #Conflicts: 2097000 | #Constraints: 103911
3542.29/3551.19 c #Conflicts: 2098000 | #Constraints: 105458
3542.29/3551.19 c #Conflicts: 2099000 | #Constraints: 107042
3542.29/3551.19 c #Conflicts: 2100000 | #Constraints: 108633
3542.29/3551.19 c #Conflicts: 2101000 | #Constraints: 110222
3542.29/3551.19 c #Conflicts: 2102000 | #Constraints: 111803
3542.29/3551.19 c #Conflicts: 2103000 | #Constraints: 113337
3542.29/3551.19 c #Conflicts: 2104000 | #Constraints: 114912
3542.29/3551.19 c #Conflicts: 2105000 | #Constraints: 116529
3542.29/3551.19 c #Conflicts: 2106000 | #Constraints: 118082
3542.29/3551.19 c #Conflicts: 2107000 | #Constraints: 119658
3542.29/3551.19 c #Conflicts: 2108000 | #Constraints: 121251
3542.29/3551.19 c INPROCESSING
3542.29/3551.19 c GARBAGE COLLECT
3542.29/3551.19 c #Conflicts: 2109000 | #Constraints: 77153
3542.29/3551.19 c #Conflicts: 2110000 | #Constraints: 78736
3542.29/3551.19 c #Conflicts: 2111000 | #Constraints: 80330
3542.29/3551.19 c #Conflicts: 2112000 | #Constraints: 81900
3542.29/3551.19 c #Conflicts: 2113000 | #Constraints: 83457
3542.29/3551.19 c #Conflicts: 2114000 | #Constraints: 85005
3542.29/3551.19 c #Conflicts: 2115000 | #Constraints: 86598
3542.29/3551.19 c #Conflicts: 2116000 | #Constraints: 88191
3542.29/3551.19 c #Conflicts: 2117000 | #Constraints: 89764
3542.29/3551.19 c #Conflicts: 2118000 | #Constraints: 91347
3542.29/3551.19 c #Conflicts: 2119000 | #Constraints: 92930
3542.29/3551.19 c #Conflicts: 2120000 | #Constraints: 94484
3542.29/3551.19 c #Conflicts: 2121000 | #Constraints: 96069
3542.29/3551.19 c #Conflicts: 2122000 | #Constraints: 97582
3542.29/3551.19 c #Conflicts: 2123000 | #Constraints: 99145
3542.29/3551.19 c #Conflicts: 2124000 | #Constraints: 100752
3542.29/3551.19 c #Conflicts: 2125000 | #Constraints: 102352
3542.29/3551.19 c #Conflicts: 2126000 | #Constraints: 103890
3542.29/3551.19 c #Conflicts: 2127000 | #Constraints: 105446
3542.29/3551.19 c #Conflicts: 2128000 | #Constraints: 106992
3542.29/3551.19 c #Conflicts: 2129000 | #Constraints: 108585
3542.29/3551.19 c #Conflicts: 2130000 | #Constraints: 110146
3542.29/3551.19 c #Conflicts: 2131000 | #Constraints: 111669
3542.29/3551.19 c #Conflicts: 2132000 | #Constraints: 113223
3542.29/3551.19 c #Conflicts: 2133000 | #Constraints: 114798
3542.29/3551.19 c #Conflicts: 2134000 | #Constraints: 116359
3542.29/3551.19 c #Conflicts: 2135000 | #Constraints: 117920
3600.05/3609.00 c #Conflicts: 2136000 | #Constraints: 119471
3600.05/3609.00 c #Conflicts: 2137000 | #Constraints: 121030
3600.05/3609.00 c INPROCESSING
3600.05/3609.00 c GARBAGE COLLECT
3600.05/3609.00 c #Conflicts: 2138000 | #Constraints: 76877
3600.05/3609.00 c #Conflicts: 2139000 | #Constraints: 78510
3600.05/3609.00 c #Conflicts: 2140000 | #Constraints: 80147
3600.05/3609.00 c #Conflicts: 2141000 | #Constraints: 81685
3600.05/3609.00 c #Conflicts: 2142000 | #Constraints: 83304
3600.05/3609.00 c #Conflicts: 2143000 | #Constraints: 84903
3600.05/3609.00 c #Conflicts: 2144000 | #Constraints: 86454
3600.05/3609.00 c #Conflicts: 2145000 | #Constraints: 87984
3600.05/3609.00 c #Conflicts: 2146000 | #Constraints: 89528
3600.05/3609.00 c #Conflicts: 2147000 | #Constraints: 91093
3600.05/3609.00 c #Conflicts: 2148000 | #Constraints: 92701
3600.05/3609.00 c #Conflicts: 2149000 | #Constraints: 94225
3600.05/3609.00 c #Conflicts: 2150000 | #Constraints: 95761
3600.05/3609.00 c #Conflicts: 2151000 | #Constraints: 97310
3600.05/3609.00 c #Conflicts: 2152000 | #Constraints: 98894
3600.05/3609.00 c #Conflicts: 2153000 | #Constraints: 100476
3600.05/3609.00 c #Conflicts: 2154000 | #Constraints: 102034
3600.05/3609.00 c #Conflicts: 2155000 | #Constraints: 103529
3600.05/3609.00 c #Conflicts: 2156000 | #Constraints: 105074
3600.05/3609.00 c #Conflicts: 2157000 | #Constraints: 106644
3600.05/3609.00 c #Conflicts: 2158000 | #Constraints: 108213
3600.05/3609.00 c Disabling crashed LP
3600.05/3609.00 c cpu time 3578.01 s
3600.05/3609.00 c deterministic time 18291270150 1.83e+10
3600.05/3609.00 c optimization time 52.0197 s
3600.05/3609.00 c total solve time 3525.9 s
3600.05/3609.00 c core-guided solve time 0 s
3600.05/3609.00 c propagation time 2331.99 s
3600.05/3609.00 c conflict analysis time 52.5788 s
3600.05/3609.00 c propagations 93188491
3600.05/3609.00 c resolve steps 20485396
3600.05/3609.00 c decisions 3199761
3600.05/3609.00 c conflicts 2158636
3600.05/3609.00 c restarts 4093
3600.05/3609.00 c inprocessing phases 137
3600.05/3609.00 c garbage collections 136 ,( 99.27 )
3600.05/3609.00 c input clauses 28445 ,( 96.00 )
3600.05/3609.00 c input cardinalities 288 ,( 0.97 )
3600.05/3609.00 c input general constraints 896 ,( 3.02 )
3600.05/3609.00 c input average constraint length 3.52
3600.05/3609.00 c input average constraint degree 1.54
3600.05/3609.00 c learned clauses 1795014 ,( 73.05 )
3600.05/3609.00 c learned cardinalities 79859 ,( 3.25 )
3600.05/3609.00 c learned general constraints 582393 ,( 23.70 )
3600.05/3609.00 c learned average constraint length 45.70
3600.05/3609.00 c learned average constraint degree 1170787678.82
3600.05/3609.00 c watched CF 32, 64, 128, Arb: 283898 , 0 , 0 , 0
3600.05/3609.00 c counting CF 32, 64, 128, Arb: 299392 , 0 , 0 , 0
3600.05/3609.00 c watched constraints 283898 ,( 48.67 )
3600.05/3609.00 c counting constraints 299391 ,( 51.33 )
3600.05/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1243996261 , 1642726445 , 204633822 ,( 201963594 , 2670228 )
3600.05/3609.00 c gcd simplifications 18849
3600.05/3609.00 c detected cardinalities 2134
3600.05/3609.00 c weakened non-implied lits 23776215
3600.05/3609.00 c weakened non-implying lits 4127
3600.05/3609.00 c original variables 9632
3600.05/3609.00 c clausal propagations 73280350
3600.05/3609.00 c cardinality propagations 12998241
3600.05/3609.00 c watched propagations 3180197
3600.05/3609.00 c counting propagations 1052124
3600.05/3609.00 c watch lookups 7323436090
3600.05/3609.00 c watch backjump lookups 0
3600.05/3609.00 c watch checks 9314418282
3600.05/3609.00 c propagation checks 1156508819
3600.05/3609.00 c constraint additions 298607614
3600.05/3609.00 c trail pops 98545573
3600.05/3609.00 c formula constraints 29620
3600.05/3609.00 c learned constraints 2158626
3600.05/3609.00 c bound constraints 0
3600.05/3609.00 c core-guided constraints 0
3600.05/3609.00 c encountered formula constraints 11704862
3600.05/3609.00 c encountered learned constraints 9381965
3600.05/3609.00 c encountered bound constraints 0
3600.05/3609.00 c encountered core-guided constraints 0
3600.05/3609.00 c LP total time 3226.57 s
3600.05/3609.00 c LP solve time 2859.98 s
3600.05/3609.00 c LP constraints added 47242
3600.05/3609.00 c LP constraints removed 17193
3600.05/3609.00 c LP pivots internal 1671365
3600.05/3609.00 c LP pivots root 1694154
3600.05/3609.00 c LP calls 294465
3600.05/3609.00 c LP optimalities 200
3600.05/3609.00 c LP no pivot count 0
3600.05/3609.00 c LP infeasibilities 294254
3600.05/3609.00 c LP valid Farkas constraints 294254
3600.05/3609.00 c LP learned Farkas constraints 10
3600.05/3609.00 c LP basis resets 3
3600.05/3609.00 c LP cycling count 0
3600.05/3609.00 c LP singular count 3
3600.05/3609.00 c LP no primal count 0
3600.05/3609.00 c LP no farkas count 0
3600.05/3609.00 c LP other issue count 0
3600.05/3609.00 c LP Gomory cuts 4376
3600.05/3609.00 c LP learned cuts 13246
3600.05/3609.00 c LP deleted cuts 17193
3600.05/3609.00 c LP encountered Gomory constraints 1555817
3600.05/3609.00 c LP encountered Farkas constraints 1369
3600.05/3609.00 c LP encountered learned Farkas constraints 9
3600.05/3609.00 c CG auxiliary variables introduced 10
3600.05/3609.00 c CG solutions found 0
3600.05/3609.00 c CG cores constructed 9
3600.05/3609.00 c CG core cardinality constraints returned 0
3600.05/3609.00 c CG unit cores 0
3600.05/3609.00 c CG single cores 0
3600.05/3609.00 c CG blocks removed during cardinality reduction 0
3600.05/3609.00 c CG first core best 0
3600.05/3609.00 c CG decision core best 0
3600.05/3609.00 c CG core reduction tie 0
3600.05/3609.00 c CG core degree average 0.00
3600.05/3609.00 c CG core slack average 0.00
3600.05/3609.00 c CG core upper bound improvements 0
3600.05/3609.00 c STR number of successful calls 0
3600.05/3609.00 c STR number of unsuccessful calls 0
3600.05/3609.00 c STR number of inconclusive calls 0
3600.05/3609.00 c STR number of successful attempts 0
3600.05/3609.00 c STR number of unsuccessful attempts 0
3600.05/3609.00 c STR number of inconclusive attempts 0
3600.05/3609.00 c STR average degree increase per successful call inf
3600.05/3609.00 c STR average degree increase per successful attempt inf
3600.05/3609.00 c STR total number of conflicts for successful attempts 0
3600.05/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.00 c STR average number of conflicts per successful attempt inf
3600.05/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.00 c AVG.sumWPerc 37.20
3600.05/3609.00 c bigint constraints 0
3600.05/3609.00 s UNKNOWN
3600.05/3609.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62148 MiB free)
memory of node 1: 64465 MiB (63819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508182-1751514133/watcher-4508182-1751514133 -o /tmp/evaluation-result-4508182-1751514133/solver-4508182-1751514133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81230 --watchdog 3760 run-opt.sh HOME/instance-4508182-1751514133.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81649, runsolver pid=81645
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128971536/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=69664 memory=20868 CPUtime=0.08 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 3655 0 0 0 6 2 0 0 20 0 1 0 67092081 71335936 5217 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 17416 5217 2240 1147 0 4843 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73856 KiB
Current children cumulated memory: 23940 KiB
[startup+0.205543 s]*
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128907080/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=103948 memory=52352 CPUtime=0.19 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 9260 0 0 0 15 4 0 0 20 0 1 0 67092081 106442752 13088 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 25987 13088 2336 1147 0 13414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 55424 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128907080/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=103948 memory=52480 CPUtime=0.28 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 9261 0 0 0 24 4 0 0 20 0 1 0 67092081 106442752 13120 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 25987 13120 2368 1147 0 13414 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 55552 KiB
[startup+0.700171 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128907080/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=107200 memory=55040 CPUtime=0.67 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 9914 0 0 0 59 8 0 0 20 0 1 0 67092081 109772800 13760 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 26800 13760 2368 1147 0 14227 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111392 KiB
Current children cumulated memory: 58112 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128899016/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=109292 memory=57600 CPUtime=1.47 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 10575 0 0 0 137 10 0 0 20 0 1 0 67092081 111915008 14400 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 27323 14400 2368 1147 0 14750 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 113484 KiB
Current children cumulated memory: 60672 KiB
[startup+3.10556 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128891268/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=112884 memory=61056 CPUtime=3.07 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 11417 0 0 0 295 12 0 0 20 0 1 0 67092081 115593216 15264 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 28221 15264 2368 1147 0 15648 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117076 KiB
Current children cumulated memory: 64128 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 81656
/proc/meminfo: memFree=128887876/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=112768 memory=63336 CPUtime=6.26 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 11556 0 0 0 609 17 0 0 20 0 1 0 67092081 115474432 15834 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 28192 15834 2368 1147 0 15619 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 116960 KiB
Current children cumulated memory: 66408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.03 5/268 81657
/proc/meminfo: memFree=128882392/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=119272 memory=69480 CPUtime=12.64 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 13122 0 0 0 1238 26 0 0 20 0 1 0 67092081 122134528 17370 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 29818 17370 2400 1147 0 17245 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123464 KiB
Current children cumulated memory: 72552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.03 5/268 81658
/proc/meminfo: memFree=128868640/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=119272 memory=69480 CPUtime=25.41 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 13124 0 0 0 2505 36 0 0 20 0 1 0 67092081 122134528 17370 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 29818 17370 2400 1147 0 17245 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 123464 KiB
Current children cumulated memory: 72552 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 81658
/proc/meminfo: memFree=128865320/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=122492 memory=72680 CPUtime=50.95 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 13929 0 0 0 5033 62 0 0 20 0 1 0 67092081 125431808 18170 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 30623 18170 2400 1147 0 18050 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 126684 KiB
Current children cumulated memory: 75752 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/269 81665
/proc/meminfo: memFree=128857596/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=125488 memory=75752 CPUtime=102.01 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 14680 0 0 0 10092 109 0 0 20 0 1 0 67092081 128499712 18938 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 31372 18938 2400 1147 0 18799 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 129680 KiB
Current children cumulated memory: 78824 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 81667
/proc/meminfo: memFree=128841844/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=126496 memory=75752 CPUtime=161.86 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 14688 0 0 0 16026 160 0 0 20 0 1 0 67092081 129531904 18938 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 31624 18938 2400 1147 0 19051 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 130688 KiB
Current children cumulated memory: 78824 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/269 81669
/proc/meminfo: memFree=128800424/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=129216 memory=82024 CPUtime=221.7 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 14845 0 0 0 21961 209 0 0 20 0 1 0 67092081 132317184 20506 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 32304 20506 2400 1147 0 19731 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/81655/statm: 51558 39558 2528 1147 0 38985 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 210424 KiB
Current children cumulated memory: 161304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.20 4.14 5/267 82325
/proc/meminfo: memFree=123497216/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=207140 memory=159128 CPUtime=3094.63 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 30345 0 0 0 307427 2036 0 0 20 0 1 0 67092081 212111360 39782 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 51785 39782 2528 1147 0 39212 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 211332 KiB
Current children cumulated memory: 162200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/268 82328
/proc/meminfo: memFree=123214972/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=207388 memory=159384 CPUtime=3154.47 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 30408 0 0 0 313391 2056 0 0 20 0 1 0 67092081 212365312 39846 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 51847 39846 2528 1147 0 39274 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 211580 KiB
Current children cumulated memory: 162456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/268 82330
/proc/meminfo: memFree=122751464/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=207604 memory=159640 CPUtime=3214.32 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 30519 0 0 0 319354 2078 0 0 20 0 1 0 67092081 212586496 39910 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 51901 39910 2528 1147 0 39328 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 211796 KiB
Current children cumulated memory: 162712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/268 82332
/proc/meminfo: memFree=122475136/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=236124 memory=177952 CPUtime=3274.16 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 34580 0 0 0 325313 2103 0 0 20 0 1 0 67092081 241790976 44488 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59031 44488 2528 1147 0 46458 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 240316 KiB
Current children cumulated memory: 181024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/268 82334
/proc/meminfo: memFree=122261272/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238140 memory=179872 CPUtime=3334 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35053 0 0 0 331280 2120 0 0 20 0 1 0 67092081 243855360 44968 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59535 44968 2528 1147 0 46962 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 242332 KiB
Current children cumulated memory: 182944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/268 82336
/proc/meminfo: memFree=122128252/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238140 memory=192544 CPUtime=3393.85 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35057 0 0 0 337245 2140 0 0 20 0 1 0 67092081 243855360 48136 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59535 48136 2528 1147 0 46962 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 242332 KiB
Current children cumulated memory: 195616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/267 82339
/proc/meminfo: memFree=122088640/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238140 memory=192672 CPUtime=3453.71 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35060 0 0 0 343214 2157 0 0 20 0 1 0 67092081 243855360 48168 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59535 48168 2528 1147 0 46962 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 242332 KiB
Current children cumulated memory: 195744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/268 82342
/proc/meminfo: memFree=122044824/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238140 memory=192672 CPUtime=3513.55 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35060 0 0 0 349179 2176 0 0 20 0 1 0 67092081 243855360 48168 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59535 48168 2528 1147 0 46962 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 242332 KiB
Current children cumulated memory: 195744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/268 82344
/proc/meminfo: memFree=122011980/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238664 memory=193184 CPUtime=3573.4 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35188 0 0 0 355144 2196 0 0 20 0 1 0 67092081 244391936 48296 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59666 48296 2528 1147 0 47093 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 242856 KiB
Current children cumulated memory: 196256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.12 4.12 5/268 82344
/proc/meminfo: memFree=122001080/131249992 swapFree=33010160/33010684
[pid=81649] ppid=81645 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81649/stat : 81649 (run-opt.sh) S 81645 81649 81217 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67092080 4292608 768 18446744073709551615 94888193699840 94888194594373 140732452760112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94888194833424 94888194881168 94888219332608 140732452768109 140732452768232 140732452768232 140732452773834 0
/proc/81649/statm: 1048 768 704 219 0 110 0
[pid=81655] ppid=81649 vsize=238664 memory=193184 CPUtime=3600.05 cores=5,7
/proc/81655/stat : 81655 (roundingsat) R 81649 81649 81217 0 -1 4194304 35188 0 0 0 357801 2204 0 0 20 0 1 0 67092081 244391936 48296 18446744073709551615 4227072 8923433 140729945783872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17612800 140729945786786 140729945786920 140729945786920 140729945792490 0
/proc/81655/statm: 59666 48296 2528 1147 0 47093 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 242856 KiB
Current children cumulated memory: 196256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 81649 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002216 s
[startup+3609.01 s]
# the end of solver process 81655 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.02 s, system=22.0429 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3578.02
CPU system time (s): 22.0429
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 242856
Max. memory (cumulated for all children) (KiB): 196256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.02
system time used= 22.0429
maximum resident set size= 193312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188
involuntary context switches= 1434
# summary of solver processes directly reported to runsolver:
# pid: 81649,81655
# total CPU time (s): 3600.06
# total CPU user time (s): 3578.02
# total CPU system time (s): 22.0429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38351 second user time and 15.9819 second system time
The end
Begin job on nodeC025 at 2025-07-03 05:42:13
IDJOB=4508182
IDBENCH=158398
IDSOLVER=3350
FILE ID=nodeC025/4508182-1751514133
RUNJOBID= nodeC025-1751510521-81230
SLURM_JOB_ID= 9598611
Free space on /tmp= 432960 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct5.5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508182-1751514133/watcher-4508182-1751514133 -o /tmp/evaluation-result-4508182-1751514133/solver-4508182-1751514133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81230 --watchdog 3760 run-opt.sh HOME/instance-4508182-1751514133.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 26f8151eeea3bfac35ea53df0172ab44
RANDOM SEED=2064845611
nodeC025 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.840
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
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.67
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.044
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.689
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.67
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.834
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.67
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.435
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.67
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 : 3661.284
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.403
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 128992580 kB
MemAvailable: 129462876 kB
Buffers: 2128 kB
Cached: 1262164 kB
SwapCached: 200 kB
Active: 637820 kB
Inactive: 1015588 kB
Active(anon): 385348 kB
Inactive(anon): 21624 kB
Active(file): 252472 kB
Inactive(file): 993964 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16376 kB
Writeback: 72 kB
AnonPages: 388704 kB
Mapped: 113416 kB
Shmem: 17856 kB
KReclaimable: 126200 kB
Slab: 215600 kB
SReclaimable: 126200 kB
SUnreclaim: 89400 kB
KernelStack: 4272 kB
PageTables: 3760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 706636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 311296 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC025 at 2025-07-03 06:42:22