0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.35/0.50 c #variables 9632 #constraints 29620
0.35/0.50 c objective is ce32
0.35/0.52 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.35/0.52 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.35/0.52 c GLOBAL bounds - >= 0 @ 0.371974
0.45/0.54 c GLOBAL bounds - >= 0 @ 0.379996
1.21/1.31 c GLOBAL bounds - >= 0 @ 1.09322
1.21/1.32 c GLOBAL bounds - >= 0 @ 1.09679
1.21/1.32 c GLOBAL bounds - >= 0 @ 1.09741
1.21/1.34 c GLOBAL bounds - >= 0 @ 1.10468
1.21/1.34 c GLOBAL bounds - >= 0 @ 1.10502
1.21/1.35 c GLOBAL bounds - >= 0 @ 1.11057
1.21/1.35 c GLOBAL bounds - >= 0 @ 1.11057
1.21/1.37 c GLOBAL bounds - >= 0 @ 1.11648
1.32/1.42 c GLOBAL bounds - >= 0 @ 1.15994
1.32/1.44 c GLOBAL bounds - >= 0 @ 1.16654
9.89/10.04 c #Conflicts: 1000 | #Constraints: 30624
9.89/10.04 c #Conflicts: 2000 | #Constraints: 31624
9.89/10.04 c INPROCESSING
9.89/10.04 c #Conflicts: 3000 | #Constraints: 31631
9.89/10.04 c #Conflicts: 4000 | #Constraints: 32631
9.89/10.04 c INPROCESSING
9.89/10.04 c GARBAGE COLLECT
9.89/10.04 c #Conflicts: 5000 | #Constraints: 32037
9.89/10.04 c #Conflicts: 6000 | #Constraints: 33037
9.89/10.04 c INPROCESSING
9.89/10.04 c GARBAGE COLLECT
9.89/10.04 c #Conflicts: 7000 | #Constraints: 32039
9.89/10.04 c #Conflicts: 8000 | #Constraints: 33039
9.89/10.04 c #Conflicts: 9000 | #Constraints: 34039
9.89/10.04 c INPROCESSING
9.89/10.04 c GARBAGE COLLECT
9.89/10.04 c rational objective 21.5
12.07/12.27 c #Conflicts: 10000 | #Constraints: 32833
12.07/12.27 c #Conflicts: 11000 | #Constraints: 33833
12.07/12.27 c #Conflicts: 12000 | #Constraints: 34833
12.07/12.27 c INPROCESSING
12.07/12.27 c GARBAGE COLLECT
12.07/12.27 c #Conflicts: 13000 | #Constraints: 33238
12.07/12.27 c #Conflicts: 14000 | #Constraints: 34238
12.07/12.27 c #Conflicts: 15000 | #Constraints: 35238
12.07/12.27 c INPROCESSING
12.07/12.27 c GARBAGE COLLECT
12.07/12.27 c GLOBAL bounds - >= 0 @ 11.7979
12.07/12.28 c GLOBAL bounds - >= 0 @ 11.8019
16.66/16.82 c #Conflicts: 16000 | #Constraints: 33446
16.66/16.82 c #Conflicts: 17000 | #Constraints: 34446
16.66/16.82 c #Conflicts: 18000 | #Constraints: 35446
16.66/16.82 c INPROCESSING
16.66/16.82 c GARBAGE COLLECT
16.66/16.82 c rational objective 24
30.52/30.71 c #Conflicts: 19000 | #Constraints: 33538
30.52/30.71 c #Conflicts: 20000 | #Constraints: 34538
30.52/30.71 c #Conflicts: 21000 | #Constraints: 35538
30.52/30.71 c INPROCESSING
30.52/30.71 c GARBAGE COLLECT
30.52/30.71 c #Conflicts: 22000 | #Constraints: 33296
30.52/30.71 c #Conflicts: 23000 | #Constraints: 34296
30.52/30.71 c #Conflicts: 24000 | #Constraints: 35296
30.52/30.71 c #Conflicts: 25000 | #Constraints: 36296
30.52/30.71 c INPROCESSING
30.52/30.71 c GARBAGE COLLECT
30.52/30.71 c #Conflicts: 26000 | #Constraints: 33873
30.52/30.71 c #Conflicts: 27000 | #Constraints: 34873
30.52/30.71 c #Conflicts: 28000 | #Constraints: 35873
30.52/30.71 c #Conflicts: 29000 | #Constraints: 36873
30.52/30.71 c INPROCESSING
30.52/30.71 c GARBAGE COLLECT
30.52/30.71 c rational objective 24
49.77/50.02 c #Conflicts: 30000 | #Constraints: 34340
49.77/50.02 c #Conflicts: 31000 | #Constraints: 35340
49.77/50.02 c #Conflicts: 32000 | #Constraints: 36340
49.77/50.02 c #Conflicts: 33000 | #Constraints: 37340
49.77/50.02 c INPROCESSING
49.77/50.02 c GARBAGE COLLECT
49.77/50.02 c #Conflicts: 34000 | #Constraints: 34491
49.77/50.02 c #Conflicts: 35000 | #Constraints: 35491
49.77/50.02 c #Conflicts: 36000 | #Constraints: 36491
49.77/50.02 c #Conflicts: 37000 | #Constraints: 37491
49.77/50.02 c INPROCESSING
49.77/50.02 c GARBAGE COLLECT
49.77/50.02 c #Conflicts: 38000 | #Constraints: 34470
49.77/50.02 c #Conflicts: 39000 | #Constraints: 35470
49.77/50.02 c #Conflicts: 40000 | #Constraints: 36470
49.77/50.02 c #Conflicts: 41000 | #Constraints: 37470
49.77/50.02 c INPROCESSING
49.77/50.02 c GARBAGE COLLECT
49.77/50.02 c rational objective 25
66.31/66.69 c #Conflicts: 42000 | #Constraints: 34326
66.31/66.69 c #Conflicts: 43000 | #Constraints: 35326
66.31/66.69 c #Conflicts: 44000 | #Constraints: 36326
66.31/66.69 c #Conflicts: 45000 | #Constraints: 37326
66.31/66.69 c #Conflicts: 46000 | #Constraints: 38326
66.31/66.69 c INPROCESSING
66.31/66.69 c GARBAGE COLLECT
66.31/66.69 c #Conflicts: 47000 | #Constraints: 34891
66.31/66.69 c #Conflicts: 48000 | #Constraints: 35891
66.31/66.69 c #Conflicts: 49000 | #Constraints: 36891
66.31/66.69 c #Conflicts: 50000 | #Constraints: 37891
66.31/66.69 c #Conflicts: 51000 | #Constraints: 38891
66.31/66.69 c INPROCESSING
66.31/66.69 c GARBAGE COLLECT
66.31/66.69 c rational objective 30
83.54/83.91 c #Conflicts: 52000 | #Constraints: 35347
83.54/83.91 c #Conflicts: 53000 | #Constraints: 36347
83.54/83.91 c #Conflicts: 54000 | #Constraints: 37347
83.54/83.91 c #Conflicts: 55000 | #Constraints: 38347
83.54/83.91 c #Conflicts: 56000 | #Constraints: 39347
83.54/83.91 c INPROCESSING
83.54/83.91 c GARBAGE COLLECT
83.54/83.91 c #Conflicts: 57000 | #Constraints: 35495
83.54/83.91 c #Conflicts: 58000 | #Constraints: 36495
83.54/83.91 c #Conflicts: 59000 | #Constraints: 37495
83.54/83.91 c #Conflicts: 60000 | #Constraints: 38495
83.54/83.91 c #Conflicts: 61000 | #Constraints: 39495
83.54/83.91 c INPROCESSING
83.54/83.91 c GARBAGE COLLECT
83.54/83.91 c #Conflicts: 62000 | #Constraints: 35480
83.54/83.91 c #Conflicts: 63000 | #Constraints: 36480
83.54/83.91 c #Conflicts: 64000 | #Constraints: 37480
83.54/83.91 c #Conflicts: 65000 | #Constraints: 38480
83.54/83.91 c #Conflicts: 66000 | #Constraints: 39480
83.54/83.91 c INPROCESSING
83.54/83.91 c GARBAGE COLLECT
83.54/83.91 c #Conflicts: 67000 | #Constraints: 35268
83.54/83.91 c #Conflicts: 68000 | #Constraints: 36268
83.54/83.91 c #Conflicts: 69000 | #Constraints: 37268
83.54/83.91 c #Conflicts: 70000 | #Constraints: 38268
83.54/83.91 c #Conflicts: 71000 | #Constraints: 39268
83.54/83.91 c #Conflicts: 72000 | #Constraints: 40268
83.54/83.91 c INPROCESSING
83.54/83.91 c GARBAGE COLLECT
83.54/83.91 c #Conflicts: 73000 | #Constraints: 35861
83.54/83.91 c #Conflicts: 74000 | #Constraints: 36861
83.54/83.91 c #Conflicts: 75000 | #Constraints: 37861
83.54/83.91 c #Conflicts: 76000 | #Constraints: 38861
83.54/83.91 c #Conflicts: 77000 | #Constraints: 39861
83.54/83.91 c #Conflicts: 78000 | #Constraints: 40861
83.54/83.91 c INPROCESSING
83.54/83.91 c GARBAGE COLLECT
83.54/83.91 c rational objective 40
97.41/97.82 c #Conflicts: 79000 | #Constraints: 36332
97.41/97.82 c #Conflicts: 80000 | #Constraints: 37332
97.41/97.82 c #Conflicts: 81000 | #Constraints: 38332
97.41/97.82 c #Conflicts: 82000 | #Constraints: 39332
97.41/97.82 c #Conflicts: 83000 | #Constraints: 40332
97.41/97.82 c #Conflicts: 84000 | #Constraints: 41332
97.41/97.82 c INPROCESSING
97.41/97.82 c GARBAGE COLLECT
97.41/97.82 c rational objective 40
113.07/113.52 c #Conflicts: 85000 | #Constraints: 36526
113.07/113.52 c #Conflicts: 86000 | #Constraints: 37526
113.07/113.52 c #Conflicts: 87000 | #Constraints: 38526
113.07/113.52 c #Conflicts: 88000 | #Constraints: 39526
113.07/113.52 c #Conflicts: 89000 | #Constraints: 40526
113.07/113.52 c #Conflicts: 90000 | #Constraints: 41526
113.07/113.52 c INPROCESSING
113.07/113.52 c GARBAGE COLLECT
113.07/113.52 c #Conflicts: 91000 | #Constraints: 36490
113.07/113.52 c #Conflicts: 92000 | #Constraints: 37490
113.07/113.52 c #Conflicts: 93000 | #Constraints: 38490
113.07/113.52 c #Conflicts: 94000 | #Constraints: 39490
113.07/113.52 c #Conflicts: 95000 | #Constraints: 40490
113.07/113.52 c #Conflicts: 96000 | #Constraints: 41490
113.07/113.52 c INPROCESSING
113.07/113.52 c GARBAGE COLLECT
113.07/113.52 c rational objective 40
134.71/135.25 c #Conflicts: 97000 | #Constraints: 36341
134.71/135.25 c #Conflicts: 98000 | #Constraints: 37341
134.71/135.25 c #Conflicts: 99000 | #Constraints: 38341
134.71/135.25 c #Conflicts: 100000 | #Constraints: 39341
134.71/135.25 c #Conflicts: 101000 | #Constraints: 40341
134.71/135.25 c #Conflicts: 102000 | #Constraints: 41341
134.71/135.25 c #Conflicts: 103000 | #Constraints: 42341
134.71/135.25 c INPROCESSING
134.71/135.25 c GARBAGE COLLECT
134.71/135.25 c rational objective 40
149.16/149.78 c #Conflicts: 104000 | #Constraints: 36955
149.16/149.78 c #Conflicts: 105000 | #Constraints: 37955
149.16/149.78 c #Conflicts: 106000 | #Constraints: 38955
149.16/149.78 c #Conflicts: 107000 | #Constraints: 39955
149.16/149.78 c #Conflicts: 108000 | #Constraints: 40955
149.16/149.78 c #Conflicts: 109000 | #Constraints: 41955
149.16/149.78 c #Conflicts: 110000 | #Constraints: 42955
149.16/149.78 c INPROCESSING
149.16/149.78 c GARBAGE COLLECT
149.16/149.78 c #Conflicts: 111000 | #Constraints: 37299
149.16/149.78 c #Conflicts: 112000 | #Constraints: 38299
149.16/149.78 c #Conflicts: 113000 | #Constraints: 39299
149.16/149.78 c #Conflicts: 114000 | #Constraints: 40299
149.16/149.78 c #Conflicts: 115000 | #Constraints: 41300
149.16/149.78 c #Conflicts: 116000 | #Constraints: 42300
149.16/149.78 c #Conflicts: 117000 | #Constraints: 43300
149.16/149.78 c INPROCESSING
149.16/149.78 c GARBAGE COLLECT
149.16/149.78 c #Conflicts: 118000 | #Constraints: 37479
149.16/149.78 c #Conflicts: 119000 | #Constraints: 38479
149.16/149.78 c #Conflicts: 120000 | #Constraints: 39479
149.16/149.78 c #Conflicts: 121000 | #Constraints: 40479
149.16/149.78 c #Conflicts: 122000 | #Constraints: 41479
149.16/149.78 c #Conflicts: 123000 | #Constraints: 42479
149.16/149.78 c #Conflicts: 124000 | #Constraints: 43479
149.16/149.78 c INPROCESSING
149.16/149.78 c GARBAGE COLLECT
149.16/149.78 c #Conflicts: 125000 | #Constraints: 37465
149.16/149.78 c #Conflicts: 126000 | #Constraints: 38465
149.16/149.78 c #Conflicts: 127000 | #Constraints: 39465
149.16/149.78 c #Conflicts: 128000 | #Constraints: 40465
149.16/149.78 c #Conflicts: 129000 | #Constraints: 41465
149.16/149.78 c #Conflicts: 130000 | #Constraints: 42465
149.16/149.78 c #Conflicts: 131000 | #Constraints: 43465
149.16/149.78 c INPROCESSING
149.16/149.78 c GARBAGE COLLECT
149.16/149.78 c rational objective 41
163.03/163.69 c #Conflicts: 132000 | #Constraints: 37317
163.03/163.69 c #Conflicts: 133000 | #Constraints: 38317
163.03/163.69 c #Conflicts: 134000 | #Constraints: 39317
163.03/163.69 c #Conflicts: 135000 | #Constraints: 40317
163.03/163.69 c #Conflicts: 136000 | #Constraints: 41317
163.03/163.69 c #Conflicts: 137000 | #Constraints: 42317
163.03/163.69 c #Conflicts: 138000 | #Constraints: 43317
163.03/163.69 c #Conflicts: 139000 | #Constraints: 44317
163.03/163.69 c INPROCESSING
163.03/163.69 c GARBAGE COLLECT
163.03/163.69 c rational objective 43
199.34/200.06 c #Conflicts: 140000 | #Constraints: 37955
199.34/200.06 c #Conflicts: 141000 | #Constraints: 38955
199.34/200.06 c #Conflicts: 142000 | #Constraints: 39955
199.34/200.06 c #Conflicts: 143000 | #Constraints: 40955
199.34/200.06 c #Conflicts: 144000 | #Constraints: 41955
199.34/200.06 c #Conflicts: 145000 | #Constraints: 42955
199.34/200.06 c #Conflicts: 146000 | #Constraints: 43955
199.34/200.06 c #Conflicts: 147000 | #Constraints: 44955
199.34/200.06 c INPROCESSING
199.34/200.06 c GARBAGE COLLECT
199.34/200.06 c #Conflicts: 148000 | #Constraints: 38306
199.34/200.06 c #Conflicts: 149000 | #Constraints: 39306
199.34/200.06 c #Conflicts: 150000 | #Constraints: 40306
199.34/200.06 c #Conflicts: 151000 | #Constraints: 41306
199.34/200.06 c #Conflicts: 152000 | #Constraints: 42306
199.34/200.06 c #Conflicts: 153000 | #Constraints: 43306
199.34/200.06 c #Conflicts: 154000 | #Constraints: 44306
199.34/200.06 c #Conflicts: 155000 | #Constraints: 45306
199.34/200.06 c INPROCESSING
199.34/200.06 c GARBAGE COLLECT
199.34/200.06 c #Conflicts: 156000 | #Constraints: 38482
199.34/200.06 c #Conflicts: 157000 | #Constraints: 39483
199.34/200.06 c #Conflicts: 158000 | #Constraints: 40483
199.34/200.07 c #Conflicts: 159000 | #Constraints: 41483
199.34/200.07 c #Conflicts: 160000 | #Constraints: 42484
199.34/200.07 c #Conflicts: 161000 | #Constraints: 43485
199.34/200.07 c #Conflicts: 162000 | #Constraints: 44485
199.34/200.07 c #Conflicts: 163000 | #Constraints: 45486
199.34/200.07 c INPROCESSING
199.34/200.07 c GARBAGE COLLECT
199.34/200.07 c #Conflicts: 164000 | #Constraints: 38476
199.34/200.07 c #Conflicts: 165000 | #Constraints: 39476
199.34/200.07 c #Conflicts: 166000 | #Constraints: 40476
199.34/200.07 c GLOBAL bounds - >= 0 @ 197.45
199.34/200.07 c GLOBAL bounds - >= 0 @ 197.456
209.01/209.77 c #Conflicts: 167000 | #Constraints: 41477
209.01/209.77 c #Conflicts: 168000 | #Constraints: 42477
209.01/209.77 c #Conflicts: 169000 | #Constraints: 43478
209.01/209.77 c #Conflicts: 170000 | #Constraints: 44478
209.01/209.77 c #Conflicts: 171000 | #Constraints: 45478
209.01/209.77 c INPROCESSING
209.01/209.77 c GARBAGE COLLECT
209.01/209.77 c #Conflicts: 172000 | #Constraints: 38343
209.01/209.77 c #Conflicts: 173000 | #Constraints: 39343
209.01/209.77 c #Conflicts: 174000 | #Constraints: 40343
209.01/209.77 c #Conflicts: 175000 | #Constraints: 41343
209.01/209.77 c #Conflicts: 176000 | #Constraints: 42343
209.01/209.77 c #Conflicts: 177000 | #Constraints: 43343
209.01/209.77 c #Conflicts: 178000 | #Constraints: 44343
209.01/209.77 c #Conflicts: 179000 | #Constraints: 45343
209.01/209.77 c #Conflicts: 180000 | #Constraints: 46343
209.01/209.77 c INPROCESSING
209.01/209.77 c GARBAGE COLLECT
209.01/209.77 c rational objective 43
222.97/223.78 c #Conflicts: 181000 | #Constraints: 39063
222.97/223.78 c #Conflicts: 182000 | #Constraints: 40063
222.97/223.78 c #Conflicts: 183000 | #Constraints: 41063
222.97/223.78 c #Conflicts: 184000 | #Constraints: 42063
222.97/223.78 c #Conflicts: 185000 | #Constraints: 43063
222.97/223.78 c #Conflicts: 186000 | #Constraints: 44063
222.97/223.78 c #Conflicts: 187000 | #Constraints: 45063
222.97/223.78 c #Conflicts: 188000 | #Constraints: 46063
222.97/223.78 c #Conflicts: 189000 | #Constraints: 47063
222.97/223.78 c INPROCESSING
222.97/223.78 c GARBAGE COLLECT
222.97/223.78 c rational objective 43
237.25/238.06 c #Conflicts: 190000 | #Constraints: 39514
237.25/238.06 c #Conflicts: 191000 | #Constraints: 40514
237.25/238.06 c #Conflicts: 192000 | #Constraints: 41514
237.25/238.06 c #Conflicts: 193000 | #Constraints: 42514
237.25/238.06 c #Conflicts: 194000 | #Constraints: 43514
237.25/238.06 c #Conflicts: 195000 | #Constraints: 44514
237.25/238.06 c #Conflicts: 196000 | #Constraints: 45514
237.25/238.06 c #Conflicts: 197000 | #Constraints: 46514
237.25/238.06 c #Conflicts: 198000 | #Constraints: 47514
237.25/238.06 c INPROCESSING
237.25/238.06 c GARBAGE COLLECT
237.25/238.06 c #Conflicts: 199000 | #Constraints: 39672
237.25/238.06 c #Conflicts: 200000 | #Constraints: 40672
237.25/238.06 c #Conflicts: 201000 | #Constraints: 41672
237.25/238.06 c #Conflicts: 202000 | #Constraints: 42672
237.25/238.06 c #Conflicts: 203000 | #Constraints: 43672
237.25/238.06 c #Conflicts: 204000 | #Constraints: 44672
237.25/238.06 c #Conflicts: 205000 | #Constraints: 45672
237.25/238.06 c #Conflicts: 206000 | #Constraints: 46672
237.25/238.06 c #Conflicts: 207000 | #Constraints: 47672
237.25/238.06 c INPROCESSING
237.25/238.06 c GARBAGE COLLECT
237.25/238.06 c rational objective 43
251.69/252.50 c #Conflicts: 208000 | #Constraints: 39716
251.69/252.50 c #Conflicts: 209000 | #Constraints: 40716
251.69/252.50 c #Conflicts: 210000 | #Constraints: 41716
251.69/252.50 c #Conflicts: 211000 | #Constraints: 42716
251.69/252.50 c #Conflicts: 212000 | #Constraints: 43716
251.69/252.50 c #Conflicts: 213000 | #Constraints: 44716
251.69/252.50 c #Conflicts: 214000 | #Constraints: 45716
251.69/252.50 c #Conflicts: 215000 | #Constraints: 46716
251.69/252.50 c #Conflicts: 216000 | #Constraints: 47716
251.69/252.50 c INPROCESSING
251.69/252.50 c GARBAGE COLLECT
251.69/252.50 c rational objective 43
276.33/277.29 c #Conflicts: 217000 | #Constraints: 39553
276.33/277.29 c #Conflicts: 218000 | #Constraints: 40553
276.33/277.29 c #Conflicts: 219000 | #Constraints: 41553
276.33/277.29 c #Conflicts: 220000 | #Constraints: 42553
276.33/277.29 c #Conflicts: 221000 | #Constraints: 43553
276.33/277.29 c #Conflicts: 222000 | #Constraints: 44553
276.33/277.29 c #Conflicts: 223000 | #Constraints: 45553
276.33/277.29 c #Conflicts: 224000 | #Constraints: 46553
276.33/277.29 c #Conflicts: 225000 | #Constraints: 47553
276.33/277.29 c #Conflicts: 226000 | #Constraints: 48553
276.33/277.29 c INPROCESSING
276.33/277.29 c GARBAGE COLLECT
276.33/277.29 c rational objective 43
293.59/294.55 c #Conflicts: 227000 | #Constraints: 40127
293.59/294.55 c #Conflicts: 228000 | #Constraints: 41127
293.59/294.55 c #Conflicts: 229000 | #Constraints: 42127
293.59/294.55 c #Conflicts: 230000 | #Constraints: 43127
293.59/294.55 c #Conflicts: 231000 | #Constraints: 44127
293.59/294.55 c #Conflicts: 232000 | #Constraints: 45127
293.59/294.55 c #Conflicts: 233000 | #Constraints: 46127
293.59/294.55 c #Conflicts: 234000 | #Constraints: 47127
293.59/294.55 c #Conflicts: 235000 | #Constraints: 48127
293.59/294.55 c #Conflicts: 236000 | #Constraints: 49127
293.59/294.55 c INPROCESSING
293.59/294.55 c GARBAGE COLLECT
293.59/294.55 c #Conflicts: 237000 | #Constraints: 40476
293.59/294.55 c #Conflicts: 238000 | #Constraints: 41476
293.59/294.55 c #Conflicts: 239000 | #Constraints: 42476
293.59/294.55 c #Conflicts: 240000 | #Constraints: 43476
293.59/294.55 c #Conflicts: 241000 | #Constraints: 44476
293.59/294.55 c #Conflicts: 242000 | #Constraints: 45476
293.59/294.55 c #Conflicts: 243000 | #Constraints: 46476
293.59/294.55 c #Conflicts: 244000 | #Constraints: 47476
293.59/294.55 c #Conflicts: 245000 | #Constraints: 48476
293.59/294.55 c #Conflicts: 246000 | #Constraints: 49476
293.59/294.55 c INPROCESSING
293.59/294.55 c GARBAGE COLLECT
293.59/294.55 c #Conflicts: 247000 | #Constraints: 40652
293.59/294.55 c #Conflicts: 248000 | #Constraints: 41652
293.59/294.55 c #Conflicts: 249000 | #Constraints: 42652
293.59/294.55 c #Conflicts: 250000 | #Constraints: 43652
293.59/294.55 c #Conflicts: 251000 | #Constraints: 44652
293.59/294.55 c #Conflicts: 252000 | #Constraints: 45652
293.59/294.55 c #Conflicts: 253000 | #Constraints: 46653
293.59/294.55 c #Conflicts: 254000 | #Constraints: 47653
293.59/294.55 c #Conflicts: 255000 | #Constraints: 48653
293.59/294.55 c #Conflicts: 256000 | #Constraints: 49653
293.59/294.55 c INPROCESSING
293.59/294.55 c GARBAGE COLLECT
293.59/294.55 c rational objective 43
306.55/307.55 c #Conflicts: 257000 | #Constraints: 40710
306.55/307.55 c #Conflicts: 258000 | #Constraints: 41710
306.55/307.55 c #Conflicts: 259000 | #Constraints: 42710
306.55/307.55 c #Conflicts: 260000 | #Constraints: 43710
306.55/307.55 c #Conflicts: 261000 | #Constraints: 44710
306.55/307.55 c #Conflicts: 262000 | #Constraints: 45710
306.55/307.55 c #Conflicts: 263000 | #Constraints: 46710
306.55/307.55 c #Conflicts: 264000 | #Constraints: 47710
306.55/307.55 c #Conflicts: 265000 | #Constraints: 48710
306.55/307.55 c #Conflicts: 266000 | #Constraints: 49710
306.55/307.55 c INPROCESSING
306.55/307.55 c GARBAGE COLLECT
306.55/307.55 c rational objective 43
319.14/320.14 c #Conflicts: 267000 | #Constraints: 40530
319.14/320.14 c #Conflicts: 268000 | #Constraints: 41530
319.14/320.14 c #Conflicts: 269000 | #Constraints: 42530
319.14/320.14 c #Conflicts: 270000 | #Constraints: 43530
319.14/320.14 c #Conflicts: 271000 | #Constraints: 44530
319.14/320.14 c #Conflicts: 272000 | #Constraints: 45530
319.14/320.14 c #Conflicts: 273000 | #Constraints: 46530
319.14/320.14 c #Conflicts: 274000 | #Constraints: 47531
319.14/320.14 c #Conflicts: 275000 | #Constraints: 48531
319.14/320.14 c #Conflicts: 276000 | #Constraints: 49531
319.14/320.14 c #Conflicts: 277000 | #Constraints: 50531
319.14/320.14 c INPROCESSING
319.14/320.14 c GARBAGE COLLECT
319.14/320.14 c rational objective 43
333.99/335.07 c #Conflicts: 278000 | #Constraints: 41153
333.99/335.07 c #Conflicts: 279000 | #Constraints: 42153
333.99/335.07 c #Conflicts: 280000 | #Constraints: 43153
333.99/335.07 c #Conflicts: 281000 | #Constraints: 44153
333.99/335.07 c #Conflicts: 282000 | #Constraints: 45153
333.99/335.07 c #Conflicts: 283000 | #Constraints: 46153
333.99/335.07 c #Conflicts: 284000 | #Constraints: 47153
333.99/335.07 c #Conflicts: 285000 | #Constraints: 48153
333.99/335.07 c #Conflicts: 286000 | #Constraints: 49153
333.99/335.07 c #Conflicts: 287000 | #Constraints: 50153
333.99/335.07 c #Conflicts: 288000 | #Constraints: 51153
333.99/335.07 c INPROCESSING
333.99/335.07 c GARBAGE COLLECT
333.99/335.07 c rational objective 43
360.93/362.01 c #Conflicts: 289000 | #Constraints: 41558
360.93/362.01 c #Conflicts: 290000 | #Constraints: 42558
360.93/362.01 c #Conflicts: 291000 | #Constraints: 43558
360.93/362.01 c #Conflicts: 292000 | #Constraints: 44558
360.93/362.01 c #Conflicts: 293000 | #Constraints: 45558
360.93/362.01 c #Conflicts: 294000 | #Constraints: 46558
360.93/362.01 c #Conflicts: 295000 | #Constraints: 47558
360.93/362.01 c #Conflicts: 296000 | #Constraints: 48558
360.93/362.01 c #Conflicts: 297000 | #Constraints: 49558
360.93/362.01 c #Conflicts: 298000 | #Constraints: 50558
360.93/362.01 c #Conflicts: 299000 | #Constraints: 51558
360.93/362.01 c INPROCESSING
360.93/362.01 c GARBAGE COLLECT
360.93/362.01 c rational objective 43
388.14/389.30 c #Conflicts: 300000 | #Constraints: 41750
388.14/389.30 c #Conflicts: 301000 | #Constraints: 42750
388.14/389.30 c #Conflicts: 302000 | #Constraints: 43750
388.14/389.30 c #Conflicts: 303000 | #Constraints: 44750
388.14/389.30 c #Conflicts: 304000 | #Constraints: 45750
388.14/389.30 c #Conflicts: 305000 | #Constraints: 46750
388.14/389.30 c #Conflicts: 306000 | #Constraints: 47750
388.14/389.30 c #Conflicts: 307000 | #Constraints: 48750
388.14/389.30 c #Conflicts: 308000 | #Constraints: 49750
388.14/389.30 c #Conflicts: 309000 | #Constraints: 50750
388.14/389.30 c #Conflicts: 310000 | #Constraints: 51750
388.14/389.30 c INPROCESSING
388.14/389.30 c GARBAGE COLLECT
388.14/389.30 c #Conflicts: 311000 | #Constraints: 41686
388.14/389.30 c #Conflicts: 312000 | #Constraints: 42686
388.14/389.30 c #Conflicts: 313000 | #Constraints: 43686
388.14/389.30 c #Conflicts: 314000 | #Constraints: 44686
388.14/389.30 c #Conflicts: 315000 | #Constraints: 45686
388.14/389.30 c #Conflicts: 316000 | #Constraints: 46686
388.14/389.30 c #Conflicts: 317000 | #Constraints: 47686
388.14/389.30 c #Conflicts: 318000 | #Constraints: 48686
388.14/389.30 c #Conflicts: 319000 | #Constraints: 49686
388.14/389.30 c #Conflicts: 320000 | #Constraints: 50686
388.14/389.30 c #Conflicts: 321000 | #Constraints: 51686
388.14/389.30 c INPROCESSING
388.14/389.30 c GARBAGE COLLECT
388.14/389.30 c #Conflicts: 322000 | #Constraints: 41457
388.14/389.30 c #Conflicts: 323000 | #Constraints: 42457
388.14/389.30 c #Conflicts: 324000 | #Constraints: 43457
388.14/389.30 c #Conflicts: 325000 | #Constraints: 44457
388.14/389.30 c #Conflicts: 326000 | #Constraints: 45457
388.14/389.30 c #Conflicts: 327000 | #Constraints: 46457
388.14/389.30 c #Conflicts: 328000 | #Constraints: 47457
388.14/389.30 c #Conflicts: 329000 | #Constraints: 48457
388.14/389.30 c #Conflicts: 330000 | #Constraints: 49457
388.14/389.30 c #Conflicts: 331000 | #Constraints: 50457
388.14/389.30 c #Conflicts: 332000 | #Constraints: 51458
388.14/389.30 c #Conflicts: 333000 | #Constraints: 52458
388.14/389.30 c INPROCESSING
388.14/389.30 c GARBAGE COLLECT
388.14/389.30 c rational objective 43
409.39/410.63 c #Conflicts: 334000 | #Constraints: 42108
409.39/410.63 c #Conflicts: 335000 | #Constraints: 43108
409.39/410.63 c #Conflicts: 336000 | #Constraints: 44108
409.39/410.63 c #Conflicts: 337000 | #Constraints: 45108
409.39/410.63 c #Conflicts: 338000 | #Constraints: 46108
409.39/410.63 c #Conflicts: 339000 | #Constraints: 47108
409.39/410.63 c #Conflicts: 340000 | #Constraints: 48108
409.39/410.63 c #Conflicts: 341000 | #Constraints: 49108
409.39/410.63 c #Conflicts: 342000 | #Constraints: 50108
409.39/410.63 c #Conflicts: 343000 | #Constraints: 51108
409.39/410.63 c #Conflicts: 344000 | #Constraints: 52108
409.39/410.63 c #Conflicts: 345000 | #Constraints: 53108
409.39/410.63 c INPROCESSING
409.39/410.63 c GARBAGE COLLECT
409.39/410.63 c rational objective 43
431.85/433.19 c #Conflicts: 346000 | #Constraints: 42506
431.85/433.19 c #Conflicts: 347000 | #Constraints: 43506
431.85/433.19 c #Conflicts: 348000 | #Constraints: 44506
431.85/433.19 c #Conflicts: 349000 | #Constraints: 45506
431.85/433.19 c #Conflicts: 350000 | #Constraints: 46506
431.85/433.19 c #Conflicts: 351000 | #Constraints: 47506
431.85/433.19 c #Conflicts: 352000 | #Constraints: 48506
431.85/433.19 c #Conflicts: 353000 | #Constraints: 49506
431.85/433.19 c #Conflicts: 354000 | #Constraints: 50506
431.85/433.19 c #Conflicts: 355000 | #Constraints: 51506
431.85/433.19 c #Conflicts: 356000 | #Constraints: 52506
431.85/433.19 c #Conflicts: 357000 | #Constraints: 53506
431.85/433.19 c INPROCESSING
431.85/433.19 c GARBAGE COLLECT
431.85/433.19 c rational objective 43
450.89/452.22 c #Conflicts: 358000 | #Constraints: 42706
450.89/452.22 c #Conflicts: 359000 | #Constraints: 43706
450.89/452.22 c #Conflicts: 360000 | #Constraints: 44706
450.89/452.22 c #Conflicts: 361000 | #Constraints: 45706
450.89/452.22 c #Conflicts: 362000 | #Constraints: 46706
450.89/452.22 c #Conflicts: 363000 | #Constraints: 47706
450.89/452.22 c #Conflicts: 364000 | #Constraints: 48706
450.89/452.22 c #Conflicts: 365000 | #Constraints: 49706
450.89/452.22 c #Conflicts: 366000 | #Constraints: 50706
450.89/452.22 c #Conflicts: 367000 | #Constraints: 51706
450.89/452.22 c #Conflicts: 368000 | #Constraints: 52706
450.89/452.22 c #Conflicts: 369000 | #Constraints: 53706
450.89/452.22 c INPROCESSING
450.89/452.22 c GARBAGE COLLECT
450.89/452.22 c #Conflicts: 370000 | #Constraints: 42669
450.89/452.22 c #Conflicts: 371000 | #Constraints: 43669
450.89/452.22 c #Conflicts: 372000 | #Constraints: 44669
450.89/452.22 c #Conflicts: 373000 | #Constraints: 45669
450.89/452.22 c #Conflicts: 374000 | #Constraints: 46669
450.89/452.22 c #Conflicts: 375000 | #Constraints: 47669
450.89/452.22 c #Conflicts: 376000 | #Constraints: 48669
450.89/452.22 c #Conflicts: 377000 | #Constraints: 49669
450.89/452.22 c #Conflicts: 378000 | #Constraints: 50669
450.89/452.22 c #Conflicts: 379000 | #Constraints: 51669
450.89/452.22 c #Conflicts: 380000 | #Constraints: 52669
450.89/452.22 c #Conflicts: 381000 | #Constraints: 53669
450.89/452.22 c INPROCESSING
450.89/452.22 c GARBAGE COLLECT
450.89/452.22 c rational objective 43
471.33/472.72 c #Conflicts: 382000 | #Constraints: 42510
471.33/472.72 c #Conflicts: 383000 | #Constraints: 43510
471.33/472.72 c #Conflicts: 384000 | #Constraints: 44510
471.33/472.72 c #Conflicts: 385000 | #Constraints: 45510
471.33/472.72 c #Conflicts: 386000 | #Constraints: 46510
471.33/472.72 c #Conflicts: 387000 | #Constraints: 47510
471.33/472.72 c #Conflicts: 388000 | #Constraints: 48510
471.33/472.72 c #Conflicts: 389000 | #Constraints: 49510
471.33/472.72 c #Conflicts: 390000 | #Constraints: 50510
471.33/472.72 c #Conflicts: 391000 | #Constraints: 51510
471.33/472.72 c #Conflicts: 392000 | #Constraints: 52510
471.33/472.72 c #Conflicts: 393000 | #Constraints: 53510
471.33/472.72 c #Conflicts: 394000 | #Constraints: 54510
471.33/472.72 c INPROCESSING
471.33/472.72 c GARBAGE COLLECT
471.33/472.72 c rational objective 43
485.20/486.66 c #Conflicts: 395000 | #Constraints: 43131
485.20/486.66 c #Conflicts: 396000 | #Constraints: 44131
485.20/486.66 c #Conflicts: 397000 | #Constraints: 45131
485.20/486.66 c #Conflicts: 398000 | #Constraints: 46131
485.20/486.66 c #Conflicts: 399000 | #Constraints: 47131
485.20/486.66 c #Conflicts: 400000 | #Constraints: 48131
485.20/486.66 c #Conflicts: 401000 | #Constraints: 49131
485.20/486.66 c #Conflicts: 402000 | #Constraints: 50131
485.20/486.66 c #Conflicts: 403000 | #Constraints: 51131
485.20/486.66 c #Conflicts: 404000 | #Constraints: 52131
485.20/486.66 c #Conflicts: 405000 | #Constraints: 53131
485.20/486.66 c #Conflicts: 406000 | #Constraints: 54131
485.20/486.66 c #Conflicts: 407000 | #Constraints: 55131
485.20/486.66 c INPROCESSING
485.20/486.66 c GARBAGE COLLECT
485.20/486.66 c rational objective 43
499.35/500.85 c #Conflicts: 408000 | #Constraints: 43525
499.35/500.85 c #Conflicts: 409000 | #Constraints: 44525
499.35/500.85 c #Conflicts: 410000 | #Constraints: 45525
499.35/500.85 c #Conflicts: 411000 | #Constraints: 46525
499.35/500.85 c #Conflicts: 412000 | #Constraints: 47525
499.35/500.85 c #Conflicts: 413000 | #Constraints: 48525
499.35/500.85 c #Conflicts: 414000 | #Constraints: 49525
499.35/500.85 c #Conflicts: 415000 | #Constraints: 50525
499.35/500.85 c #Conflicts: 416000 | #Constraints: 51525
499.35/500.85 c #Conflicts: 417000 | #Constraints: 52525
499.35/500.85 c #Conflicts: 418000 | #Constraints: 53525
499.35/500.85 c #Conflicts: 419000 | #Constraints: 54525
499.35/500.85 c #Conflicts: 420000 | #Constraints: 55525
499.35/500.85 c INPROCESSING
499.35/500.85 c GARBAGE COLLECT
499.35/500.85 c rational objective 43
525.68/527.24 c #Conflicts: 421000 | #Constraints: 43741
525.68/527.24 c #Conflicts: 422000 | #Constraints: 44741
525.68/527.24 c #Conflicts: 423000 | #Constraints: 45741
525.68/527.24 c #Conflicts: 424000 | #Constraints: 46741
525.68/527.24 c #Conflicts: 425000 | #Constraints: 47741
525.68/527.24 c #Conflicts: 426000 | #Constraints: 48741
525.68/527.24 c #Conflicts: 427000 | #Constraints: 49741
525.68/527.24 c #Conflicts: 428000 | #Constraints: 50741
525.68/527.24 c #Conflicts: 429000 | #Constraints: 51741
525.68/527.24 c #Conflicts: 430000 | #Constraints: 52741
525.68/527.24 c #Conflicts: 431000 | #Constraints: 53741
525.68/527.24 c #Conflicts: 432000 | #Constraints: 54741
525.68/527.24 c #Conflicts: 433000 | #Constraints: 55741
525.68/527.24 c INPROCESSING
525.68/527.24 c GARBAGE COLLECT
525.68/527.24 c rational objective 43
552.31/553.99 c #Conflicts: 434000 | #Constraints: 43730
552.31/553.99 c #Conflicts: 435000 | #Constraints: 44730
552.31/553.99 c #Conflicts: 436000 | #Constraints: 45730
552.31/553.99 c #Conflicts: 437000 | #Constraints: 46730
552.31/553.99 c #Conflicts: 438000 | #Constraints: 47730
552.31/553.99 c #Conflicts: 439000 | #Constraints: 48730
552.31/553.99 c #Conflicts: 440000 | #Constraints: 49730
552.31/553.99 c #Conflicts: 441000 | #Constraints: 50730
552.31/553.99 c #Conflicts: 442000 | #Constraints: 51730
552.31/553.99 c #Conflicts: 443000 | #Constraints: 52730
552.31/553.99 c #Conflicts: 444000 | #Constraints: 53730
552.31/553.99 c #Conflicts: 445000 | #Constraints: 54730
552.31/553.99 c #Conflicts: 446000 | #Constraints: 55730
552.31/553.99 c INPROCESSING
552.31/553.99 c GARBAGE COLLECT
552.31/553.99 c #Conflicts: 447000 | #Constraints: 43479
552.31/553.99 c #Conflicts: 448000 | #Constraints: 44479
552.31/553.99 c #Conflicts: 449000 | #Constraints: 45479
552.31/553.99 c #Conflicts: 450000 | #Constraints: 46479
552.31/553.99 c #Conflicts: 451000 | #Constraints: 47479
552.31/553.99 c #Conflicts: 452000 | #Constraints: 48479
552.31/553.99 c #Conflicts: 453000 | #Constraints: 49479
552.31/553.99 c #Conflicts: 454000 | #Constraints: 50479
552.31/553.99 c #Conflicts: 455000 | #Constraints: 51479
552.31/553.99 c #Conflicts: 456000 | #Constraints: 52479
552.31/553.99 c #Conflicts: 457000 | #Constraints: 53479
552.31/553.99 c #Conflicts: 458000 | #Constraints: 54479
552.31/553.99 c #Conflicts: 459000 | #Constraints: 55479
552.31/553.99 c #Conflicts: 460000 | #Constraints: 56479
552.31/553.99 c INPROCESSING
552.31/553.99 c GARBAGE COLLECT
552.31/553.99 c rational objective 43
568.88/570.56 c #Conflicts: 461000 | #Constraints: 44120
568.88/570.56 c #Conflicts: 462000 | #Constraints: 45120
568.88/570.56 c #Conflicts: 463000 | #Constraints: 46120
568.88/570.56 c #Conflicts: 464000 | #Constraints: 47120
568.88/570.56 c #Conflicts: 465000 | #Constraints: 48120
568.88/570.56 c #Conflicts: 466000 | #Constraints: 49120
568.88/570.56 c #Conflicts: 467000 | #Constraints: 50120
568.88/570.56 c #Conflicts: 468000 | #Constraints: 51120
568.88/570.56 c #Conflicts: 469000 | #Constraints: 52120
568.88/570.56 c #Conflicts: 470000 | #Constraints: 53120
568.88/570.56 c #Conflicts: 471000 | #Constraints: 54120
568.88/570.56 c #Conflicts: 472000 | #Constraints: 55120
568.88/570.56 c #Conflicts: 473000 | #Constraints: 56120
568.88/570.56 c #Conflicts: 474000 | #Constraints: 57120
568.88/570.56 c INPROCESSING
568.88/570.56 c GARBAGE COLLECT
568.88/570.56 c rational objective 43
584.84/586.50 c #Conflicts: 475000 | #Constraints: 44518
584.84/586.50 c #Conflicts: 476000 | #Constraints: 45518
584.84/586.50 c #Conflicts: 477000 | #Constraints: 46518
584.84/586.50 c #Conflicts: 478000 | #Constraints: 47518
584.84/586.50 c #Conflicts: 479000 | #Constraints: 48518
584.84/586.50 c #Conflicts: 480000 | #Constraints: 49518
584.84/586.50 c #Conflicts: 481000 | #Constraints: 50518
584.84/586.50 c #Conflicts: 482000 | #Constraints: 51518
584.84/586.50 c #Conflicts: 483000 | #Constraints: 52518
584.84/586.50 c GLOBAL bounds - >= 0 @ 579.434
584.84/586.51 c GLOBAL bounds - >= 0 @ 579.435
589.82/591.53 c #Conflicts: 484000 | #Constraints: 53519
589.82/591.53 c #Conflicts: 485000 | #Constraints: 54519
589.82/591.53 c #Conflicts: 486000 | #Constraints: 55519
589.82/591.53 c #Conflicts: 487000 | #Constraints: 56519
589.82/591.53 c #Conflicts: 488000 | #Constraints: 57519
589.82/591.53 c INPROCESSING
589.82/591.53 c GARBAGE COLLECT
589.82/591.53 c rational objective 43
608.29/610.10 c #Conflicts: 489000 | #Constraints: 44743
608.29/610.10 c #Conflicts: 490000 | #Constraints: 45743
608.29/610.10 c #Conflicts: 491000 | #Constraints: 46743
608.29/610.10 c #Conflicts: 492000 | #Constraints: 47743
608.29/610.10 c #Conflicts: 493000 | #Constraints: 48743
608.29/610.10 c #Conflicts: 494000 | #Constraints: 49743
608.29/610.10 c #Conflicts: 495000 | #Constraints: 50743
608.29/610.10 c #Conflicts: 496000 | #Constraints: 51743
608.29/610.10 c #Conflicts: 497000 | #Constraints: 52743
608.29/610.10 c #Conflicts: 498000 | #Constraints: 53743
608.29/610.10 c #Conflicts: 499000 | #Constraints: 54743
608.29/610.10 c #Conflicts: 500000 | #Constraints: 55743
608.29/610.10 c #Conflicts: 501000 | #Constraints: 56743
608.29/610.10 c #Conflicts: 502000 | #Constraints: 57743
608.29/610.10 c INPROCESSING
608.29/610.10 c GARBAGE COLLECT
608.29/610.10 c rational objective 43
630.52/632.39 c #Conflicts: 503000 | #Constraints: 44749
630.52/632.39 c #Conflicts: 504000 | #Constraints: 45749
630.52/632.39 c #Conflicts: 505000 | #Constraints: 46749
630.52/632.39 c #Conflicts: 506000 | #Constraints: 47749
630.52/632.39 c #Conflicts: 507000 | #Constraints: 48749
630.52/632.39 c #Conflicts: 508000 | #Constraints: 49749
630.52/632.39 c #Conflicts: 509000 | #Constraints: 50749
630.52/632.39 c #Conflicts: 510000 | #Constraints: 51749
630.52/632.39 c #Conflicts: 511000 | #Constraints: 52749
630.52/632.39 c #Conflicts: 512000 | #Constraints: 53749
630.52/632.39 c #Conflicts: 513000 | #Constraints: 54749
630.52/632.39 c #Conflicts: 514000 | #Constraints: 55749
630.52/632.39 c #Conflicts: 515000 | #Constraints: 56749
630.52/632.39 c #Conflicts: 516000 | #Constraints: 57749
630.52/632.39 c INPROCESSING
630.52/632.39 c GARBAGE COLLECT
630.52/632.39 c rational objective 43
648.28/650.19 c #Conflicts: 517000 | #Constraints: 44551
648.28/650.19 c #Conflicts: 518000 | #Constraints: 45551
648.28/650.19 c #Conflicts: 519000 | #Constraints: 46551
648.28/650.19 c #Conflicts: 520000 | #Constraints: 47551
648.28/650.19 c #Conflicts: 521000 | #Constraints: 48551
648.28/650.19 c #Conflicts: 522000 | #Constraints: 49551
648.28/650.19 c #Conflicts: 523000 | #Constraints: 50551
648.28/650.19 c #Conflicts: 524000 | #Constraints: 51551
648.28/650.19 c #Conflicts: 525000 | #Constraints: 52551
648.28/650.19 c #Conflicts: 526000 | #Constraints: 53551
648.28/650.19 c #Conflicts: 527000 | #Constraints: 54551
648.28/650.19 c #Conflicts: 528000 | #Constraints: 55551
648.28/650.19 c #Conflicts: 529000 | #Constraints: 56551
648.28/650.19 c #Conflicts: 530000 | #Constraints: 57551
648.28/650.19 c #Conflicts: 531000 | #Constraints: 58551
648.28/650.19 c INPROCESSING
648.28/650.19 c GARBAGE COLLECT
648.28/650.19 c rational objective 43
664.83/666.73 c #Conflicts: 532000 | #Constraints: 45149
664.83/666.73 c #Conflicts: 533000 | #Constraints: 46149
664.83/666.73 c #Conflicts: 534000 | #Constraints: 47149
664.83/666.73 c #Conflicts: 535000 | #Constraints: 48149
664.83/666.73 c #Conflicts: 536000 | #Constraints: 49149
664.83/666.73 c #Conflicts: 537000 | #Constraints: 50149
664.83/666.73 c #Conflicts: 538000 | #Constraints: 51149
664.83/666.73 c #Conflicts: 539000 | #Constraints: 52149
664.83/666.73 c #Conflicts: 540000 | #Constraints: 53149
664.83/666.73 c #Conflicts: 541000 | #Constraints: 54149
664.83/666.73 c #Conflicts: 542000 | #Constraints: 55149
664.83/666.73 c #Conflicts: 543000 | #Constraints: 56149
664.83/666.73 c #Conflicts: 544000 | #Constraints: 57149
664.83/666.73 c #Conflicts: 545000 | #Constraints: 58149
664.83/666.73 c #Conflicts: 546000 | #Constraints: 59149
664.83/666.73 c INPROCESSING
664.83/666.73 c GARBAGE COLLECT
664.83/666.73 c rational objective 43
679.88/681.87 c #Conflicts: 547000 | #Constraints: 45533
679.88/681.87 c #Conflicts: 548000 | #Constraints: 46533
679.88/681.87 c #Conflicts: 549000 | #Constraints: 47533
679.88/681.87 c #Conflicts: 550000 | #Constraints: 48533
679.88/681.87 c #Conflicts: 551000 | #Constraints: 49533
679.88/681.87 c #Conflicts: 552000 | #Constraints: 50533
679.88/681.87 c #Conflicts: 553000 | #Constraints: 51533
679.88/681.87 c #Conflicts: 554000 | #Constraints: 52533
679.88/681.87 c #Conflicts: 555000 | #Constraints: 53533
679.88/681.87 c #Conflicts: 556000 | #Constraints: 54533
679.88/681.87 c #Conflicts: 557000 | #Constraints: 55533
679.88/681.87 c #Conflicts: 558000 | #Constraints: 56533
679.88/681.87 c #Conflicts: 559000 | #Constraints: 57533
679.88/681.87 c #Conflicts: 560000 | #Constraints: 58533
679.88/681.87 c #Conflicts: 561000 | #Constraints: 59533
679.88/681.87 c INPROCESSING
679.88/681.87 c GARBAGE COLLECT
679.88/681.87 c rational objective 43
694.24/696.25 c #Conflicts: 562000 | #Constraints: 45743
694.24/696.25 c #Conflicts: 563000 | #Constraints: 46743
694.24/696.25 c #Conflicts: 564000 | #Constraints: 47743
694.24/696.25 c #Conflicts: 565000 | #Constraints: 48743
694.24/696.25 c #Conflicts: 566000 | #Constraints: 49743
694.24/696.25 c #Conflicts: 567000 | #Constraints: 50743
694.24/696.25 c #Conflicts: 568000 | #Constraints: 51743
694.24/696.25 c #Conflicts: 569000 | #Constraints: 52743
694.24/696.25 c #Conflicts: 570000 | #Constraints: 53743
694.24/696.25 c #Conflicts: 571000 | #Constraints: 54743
694.24/696.25 c #Conflicts: 572000 | #Constraints: 55743
694.24/696.25 c #Conflicts: 573000 | #Constraints: 56743
694.24/696.25 c #Conflicts: 574000 | #Constraints: 57743
694.24/696.25 c #Conflicts: 575000 | #Constraints: 58743
694.24/696.25 c #Conflicts: 576000 | #Constraints: 59743
694.24/696.25 c INPROCESSING
694.24/696.25 c GARBAGE COLLECT
694.24/696.25 c rational objective 43
710.70/712.75 c #Conflicts: 577000 | #Constraints: 45734
710.70/712.75 c #Conflicts: 578000 | #Constraints: 46734
710.70/712.75 c #Conflicts: 579000 | #Constraints: 47734
710.70/712.75 c #Conflicts: 580000 | #Constraints: 48734
710.70/712.75 c #Conflicts: 581000 | #Constraints: 49734
710.70/712.75 c #Conflicts: 582000 | #Constraints: 50734
710.70/712.75 c #Conflicts: 583000 | #Constraints: 51734
710.70/712.75 c #Conflicts: 584000 | #Constraints: 52734
710.70/712.75 c #Conflicts: 585000 | #Constraints: 53734
710.70/712.75 c #Conflicts: 586000 | #Constraints: 54734
710.70/712.75 c #Conflicts: 587000 | #Constraints: 55734
710.70/712.75 c #Conflicts: 588000 | #Constraints: 56734
710.70/712.75 c #Conflicts: 589000 | #Constraints: 57734
710.70/712.75 c #Conflicts: 590000 | #Constraints: 58734
710.70/712.75 c #Conflicts: 591000 | #Constraints: 59734
710.70/712.75 c INPROCESSING
710.70/712.75 c GARBAGE COLLECT
710.70/712.75 c rational objective 43
725.46/727.54 c #Conflicts: 592000 | #Constraints: 45530
725.46/727.54 c #Conflicts: 593000 | #Constraints: 46530
725.46/727.54 c #Conflicts: 594000 | #Constraints: 47530
725.46/727.54 c #Conflicts: 595000 | #Constraints: 48530
725.46/727.54 c #Conflicts: 596000 | #Constraints: 49530
725.46/727.54 c #Conflicts: 597000 | #Constraints: 50530
725.46/727.54 c #Conflicts: 598000 | #Constraints: 51530
725.46/727.54 c #Conflicts: 599000 | #Constraints: 52530
725.46/727.54 c #Conflicts: 600000 | #Constraints: 53530
725.46/727.54 c #Conflicts: 601000 | #Constraints: 54530
725.46/727.54 c #Conflicts: 602000 | #Constraints: 55530
725.46/727.54 c #Conflicts: 603000 | #Constraints: 56530
725.46/727.54 c #Conflicts: 604000 | #Constraints: 57530
725.46/727.54 c #Conflicts: 605000 | #Constraints: 58530
725.46/727.54 c #Conflicts: 606000 | #Constraints: 59530
725.46/727.54 c #Conflicts: 607000 | #Constraints: 60530
725.46/727.54 c INPROCESSING
725.46/727.54 c GARBAGE COLLECT
725.46/727.54 c rational objective 43
742.71/744.86 c #Conflicts: 608000 | #Constraints: 46116
742.71/744.86 c #Conflicts: 609000 | #Constraints: 47116
742.71/744.86 c #Conflicts: 610000 | #Constraints: 48116
742.71/744.86 c #Conflicts: 611000 | #Constraints: 49116
742.71/744.86 c #Conflicts: 612000 | #Constraints: 50116
742.71/744.86 c #Conflicts: 613000 | #Constraints: 51116
742.71/744.86 c #Conflicts: 614000 | #Constraints: 52116
742.71/744.86 c #Conflicts: 615000 | #Constraints: 53116
742.71/744.86 c #Conflicts: 616000 | #Constraints: 54116
742.71/744.86 c #Conflicts: 617000 | #Constraints: 55116
742.71/744.86 c #Conflicts: 618000 | #Constraints: 56116
742.71/744.86 c #Conflicts: 619000 | #Constraints: 57116
742.71/744.86 c #Conflicts: 620000 | #Constraints: 58116
742.71/744.86 c #Conflicts: 621000 | #Constraints: 59116
742.71/744.86 c #Conflicts: 622000 | #Constraints: 60116
742.71/744.86 c #Conflicts: 623000 | #Constraints: 61116
742.71/744.86 c INPROCESSING
742.71/744.86 c GARBAGE COLLECT
742.71/744.86 c rational objective 43
757.66/759.87 c #Conflicts: 624000 | #Constraints: 46515
757.66/759.87 c #Conflicts: 625000 | #Constraints: 47515
757.66/759.87 c #Conflicts: 626000 | #Constraints: 48515
757.66/759.87 c #Conflicts: 627000 | #Constraints: 49515
757.66/759.87 c #Conflicts: 628000 | #Constraints: 50515
757.66/759.87 c #Conflicts: 629000 | #Constraints: 51515
757.66/759.87 c #Conflicts: 630000 | #Constraints: 52515
757.66/759.87 c #Conflicts: 631000 | #Constraints: 53515
757.66/759.87 c #Conflicts: 632000 | #Constraints: 54515
757.66/759.87 c #Conflicts: 633000 | #Constraints: 55515
757.66/759.87 c #Conflicts: 634000 | #Constraints: 56515
757.66/759.87 c #Conflicts: 635000 | #Constraints: 57515
757.66/759.87 c #Conflicts: 636000 | #Constraints: 58515
757.66/759.87 c #Conflicts: 637000 | #Constraints: 59515
757.66/759.87 c #Conflicts: 638000 | #Constraints: 60515
757.66/759.87 c #Conflicts: 639000 | #Constraints: 61515
757.66/759.87 c INPROCESSING
757.66/759.87 c GARBAGE COLLECT
757.66/759.87 c rational objective 43
773.12/775.38 c #Conflicts: 640000 | #Constraints: 46717
773.12/775.38 c #Conflicts: 641000 | #Constraints: 47717
773.12/775.38 c #Conflicts: 642000 | #Constraints: 48717
773.12/775.38 c #Conflicts: 643000 | #Constraints: 49717
773.12/775.38 c #Conflicts: 644000 | #Constraints: 50717
773.12/775.38 c #Conflicts: 645000 | #Constraints: 51717
773.12/775.38 c #Conflicts: 646000 | #Constraints: 52717
773.12/775.38 c #Conflicts: 647000 | #Constraints: 53717
773.12/775.38 c #Conflicts: 648000 | #Constraints: 54717
773.12/775.38 c #Conflicts: 649000 | #Constraints: 55717
773.12/775.38 c #Conflicts: 650000 | #Constraints: 56717
773.12/775.38 c #Conflicts: 651000 | #Constraints: 57717
773.12/775.38 c #Conflicts: 652000 | #Constraints: 58717
773.12/775.38 c #Conflicts: 653000 | #Constraints: 59717
773.12/775.38 c #Conflicts: 654000 | #Constraints: 60717
773.12/775.38 c #Conflicts: 655000 | #Constraints: 61717
773.12/775.38 c INPROCESSING
773.12/775.38 c GARBAGE COLLECT
773.12/775.38 c rational objective 43
788.17/790.42 c #Conflicts: 656000 | #Constraints: 46730
788.17/790.42 c #Conflicts: 657000 | #Constraints: 47730
788.17/790.42 c #Conflicts: 658000 | #Constraints: 48730
788.17/790.42 c #Conflicts: 659000 | #Constraints: 49730
788.17/790.42 c #Conflicts: 660000 | #Constraints: 50730
788.17/790.42 c #Conflicts: 661000 | #Constraints: 51730
788.17/790.42 c #Conflicts: 662000 | #Constraints: 52730
788.17/790.42 c #Conflicts: 663000 | #Constraints: 53730
788.17/790.42 c #Conflicts: 664000 | #Constraints: 54730
788.17/790.42 c #Conflicts: 665000 | #Constraints: 55730
788.17/790.42 c #Conflicts: 666000 | #Constraints: 56730
788.17/790.42 c #Conflicts: 667000 | #Constraints: 57730
788.17/790.42 c #Conflicts: 668000 | #Constraints: 58730
788.17/790.42 c #Conflicts: 669000 | #Constraints: 59730
788.17/790.42 c #Conflicts: 670000 | #Constraints: 60730
788.17/790.42 c #Conflicts: 671000 | #Constraints: 61730
788.17/790.42 c INPROCESSING
788.17/790.42 c GARBAGE COLLECT
788.17/790.42 c rational objective 43
804.32/806.60 c #Conflicts: 672000 | #Constraints: 46531
804.32/806.60 c #Conflicts: 673000 | #Constraints: 47531
804.32/806.60 c #Conflicts: 674000 | #Constraints: 48531
804.32/806.60 c #Conflicts: 675000 | #Constraints: 49531
804.32/806.60 c #Conflicts: 676000 | #Constraints: 50531
804.32/806.60 c #Conflicts: 677000 | #Constraints: 51531
804.32/806.60 c #Conflicts: 678000 | #Constraints: 52531
804.32/806.60 c #Conflicts: 679000 | #Constraints: 53531
804.32/806.60 c #Conflicts: 680000 | #Constraints: 54531
804.32/806.60 c #Conflicts: 681000 | #Constraints: 55531
804.32/806.60 c #Conflicts: 682000 | #Constraints: 56531
804.32/806.60 c #Conflicts: 683000 | #Constraints: 57531
804.32/806.60 c #Conflicts: 684000 | #Constraints: 58531
804.32/806.60 c #Conflicts: 685000 | #Constraints: 59531
804.32/806.60 c #Conflicts: 686000 | #Constraints: 60531
804.32/806.60 c #Conflicts: 687000 | #Constraints: 61531
804.32/806.60 c #Conflicts: 688000 | #Constraints: 62531
804.32/806.60 c INPROCESSING
804.32/806.60 c GARBAGE COLLECT
804.32/806.60 c rational objective 43
820.58/822.91 c #Conflicts: 689000 | #Constraints: 47135
820.58/822.91 c #Conflicts: 690000 | #Constraints: 48135
820.58/822.91 c #Conflicts: 691000 | #Constraints: 49135
820.58/822.91 c #Conflicts: 692000 | #Constraints: 50135
820.58/822.91 c #Conflicts: 693000 | #Constraints: 51135
820.58/822.91 c #Conflicts: 694000 | #Constraints: 52135
820.58/822.91 c #Conflicts: 695000 | #Constraints: 53135
820.58/822.91 c #Conflicts: 696000 | #Constraints: 54135
820.58/822.91 c #Conflicts: 697000 | #Constraints: 55135
820.58/822.91 c #Conflicts: 698000 | #Constraints: 56135
820.58/822.91 c #Conflicts: 699000 | #Constraints: 57135
820.58/822.91 c #Conflicts: 700000 | #Constraints: 58135
820.58/822.91 c #Conflicts: 701000 | #Constraints: 59135
820.58/822.91 c #Conflicts: 702000 | #Constraints: 60135
820.58/822.91 c #Conflicts: 703000 | #Constraints: 61135
820.58/822.91 c #Conflicts: 704000 | #Constraints: 62135
820.58/822.91 c #Conflicts: 705000 | #Constraints: 63135
820.58/822.91 c INPROCESSING
820.58/822.91 c GARBAGE COLLECT
820.58/822.91 c rational objective 43
838.74/841.19 c #Conflicts: 706000 | #Constraints: 47523
838.74/841.19 c #Conflicts: 707000 | #Constraints: 48523
838.74/841.19 c #Conflicts: 708000 | #Constraints: 49523
838.74/841.19 c #Conflicts: 709000 | #Constraints: 50523
838.74/841.19 c #Conflicts: 710000 | #Constraints: 51523
838.74/841.19 c #Conflicts: 711000 | #Constraints: 52523
838.74/841.19 c #Conflicts: 712000 | #Constraints: 53523
838.74/841.19 c #Conflicts: 713000 | #Constraints: 54523
838.74/841.19 c #Conflicts: 714000 | #Constraints: 55523
838.74/841.19 c #Conflicts: 715000 | #Constraints: 56523
838.74/841.19 c #Conflicts: 716000 | #Constraints: 57523
838.74/841.19 c #Conflicts: 717000 | #Constraints: 58523
838.74/841.19 c #Conflicts: 718000 | #Constraints: 59523
838.74/841.19 c #Conflicts: 719000 | #Constraints: 60523
838.74/841.19 c #Conflicts: 720000 | #Constraints: 61523
838.74/841.19 c #Conflicts: 721000 | #Constraints: 62523
838.74/841.19 c #Conflicts: 722000 | #Constraints: 63523
838.74/841.19 c INPROCESSING
838.74/841.19 c GARBAGE COLLECT
838.74/841.19 c rational objective 43
852.08/854.58 c #Conflicts: 723000 | #Constraints: 47719
852.08/854.58 c #Conflicts: 724000 | #Constraints: 48719
852.08/854.58 c #Conflicts: 725000 | #Constraints: 49719
852.08/854.58 c #Conflicts: 726000 | #Constraints: 50719
852.08/854.58 c #Conflicts: 727000 | #Constraints: 51719
852.08/854.58 c #Conflicts: 728000 | #Constraints: 52719
852.08/854.58 c #Conflicts: 729000 | #Constraints: 53719
852.08/854.58 c #Conflicts: 730000 | #Constraints: 54719
852.08/854.58 c #Conflicts: 731000 | #Constraints: 55719
852.08/854.58 c #Conflicts: 732000 | #Constraints: 56719
852.08/854.58 c #Conflicts: 733000 | #Constraints: 57719
852.08/854.58 c #Conflicts: 734000 | #Constraints: 58719
852.08/854.58 c #Conflicts: 735000 | #Constraints: 59719
852.08/854.58 c #Conflicts: 736000 | #Constraints: 60719
852.08/854.58 c #Conflicts: 737000 | #Constraints: 61719
852.08/854.58 c #Conflicts: 738000 | #Constraints: 62719
852.08/854.58 c #Conflicts: 739000 | #Constraints: 63719
852.08/854.58 c INPROCESSING
852.08/854.58 c GARBAGE COLLECT
852.08/854.58 c rational objective 43
869.32/871.86 c #Conflicts: 740000 | #Constraints: 47709
869.32/871.86 c #Conflicts: 741000 | #Constraints: 48709
869.32/871.86 c #Conflicts: 742000 | #Constraints: 49709
869.32/871.86 c #Conflicts: 743000 | #Constraints: 50709
869.32/871.86 c #Conflicts: 744000 | #Constraints: 51709
869.32/871.86 c #Conflicts: 745000 | #Constraints: 52709
869.32/871.86 c #Conflicts: 746000 | #Constraints: 53709
869.32/871.86 c #Conflicts: 747000 | #Constraints: 54709
869.32/871.86 c #Conflicts: 748000 | #Constraints: 55709
869.32/871.86 c #Conflicts: 749000 | #Constraints: 56709
869.32/871.86 c #Conflicts: 750000 | #Constraints: 57709
869.32/871.86 c #Conflicts: 751000 | #Constraints: 58709
869.32/871.86 c #Conflicts: 752000 | #Constraints: 59709
869.32/871.86 c #Conflicts: 753000 | #Constraints: 60709
869.32/871.86 c #Conflicts: 754000 | #Constraints: 61709
869.32/871.86 c #Conflicts: 755000 | #Constraints: 62709
869.32/871.86 c #Conflicts: 756000 | #Constraints: 63709
869.32/871.86 c INPROCESSING
869.32/871.86 c GARBAGE COLLECT
869.32/871.86 c rational objective 43
884.78/887.35 c #Conflicts: 757000 | #Constraints: 47525
884.78/887.35 c #Conflicts: 758000 | #Constraints: 48525
884.78/887.35 c #Conflicts: 759000 | #Constraints: 49525
884.78/887.35 c #Conflicts: 760000 | #Constraints: 50525
884.78/887.35 c #Conflicts: 761000 | #Constraints: 51525
884.78/887.35 c #Conflicts: 762000 | #Constraints: 52525
884.78/887.35 c #Conflicts: 763000 | #Constraints: 53525
884.78/887.35 c #Conflicts: 764000 | #Constraints: 54525
884.78/887.35 c #Conflicts: 765000 | #Constraints: 55525
884.78/887.35 c #Conflicts: 766000 | #Constraints: 56525
884.78/887.35 c #Conflicts: 767000 | #Constraints: 57525
884.78/887.35 c #Conflicts: 768000 | #Constraints: 58525
884.78/887.35 c #Conflicts: 769000 | #Constraints: 59525
884.78/887.35 c #Conflicts: 770000 | #Constraints: 60525
884.78/887.35 c #Conflicts: 771000 | #Constraints: 61525
884.78/887.35 c #Conflicts: 772000 | #Constraints: 62525
884.78/887.35 c #Conflicts: 773000 | #Constraints: 63525
884.78/887.35 c #Conflicts: 774000 | #Constraints: 64525
884.78/887.35 c INPROCESSING
884.78/887.35 c GARBAGE COLLECT
884.78/887.35 c rational objective 43
902.72/905.35 c #Conflicts: 775000 | #Constraints: 48139
902.72/905.35 c #Conflicts: 776000 | #Constraints: 49139
902.72/905.35 c #Conflicts: 777000 | #Constraints: 50139
902.72/905.35 c #Conflicts: 778000 | #Constraints: 51139
902.72/905.35 c #Conflicts: 779000 | #Constraints: 52139
902.72/905.35 c #Conflicts: 780000 | #Constraints: 53139
902.72/905.35 c #Conflicts: 781000 | #Constraints: 54139
902.72/905.35 c #Conflicts: 782000 | #Constraints: 55139
902.72/905.35 c #Conflicts: 783000 | #Constraints: 56139
902.72/905.35 c #Conflicts: 784000 | #Constraints: 57139
902.72/905.35 c #Conflicts: 785000 | #Constraints: 58139
902.72/905.35 c #Conflicts: 786000 | #Constraints: 59139
902.72/905.35 c #Conflicts: 787000 | #Constraints: 60139
902.72/905.35 c #Conflicts: 788000 | #Constraints: 61139
902.72/905.35 c #Conflicts: 789000 | #Constraints: 62139
902.72/905.35 c #Conflicts: 790000 | #Constraints: 63139
902.72/905.35 c #Conflicts: 791000 | #Constraints: 64139
902.72/905.35 c #Conflicts: 792000 | #Constraints: 65139
902.72/905.35 c INPROCESSING
902.72/905.35 c GARBAGE COLLECT
902.72/905.35 c rational objective 43
919.48/922.18 c #Conflicts: 793000 | #Constraints: 48530
919.48/922.18 c #Conflicts: 794000 | #Constraints: 49530
919.48/922.18 c #Conflicts: 795000 | #Constraints: 50530
919.48/922.18 c #Conflicts: 796000 | #Constraints: 51530
919.48/922.18 c #Conflicts: 797000 | #Constraints: 52530
919.48/922.18 c #Conflicts: 798000 | #Constraints: 53530
919.48/922.18 c #Conflicts: 799000 | #Constraints: 54530
919.48/922.18 c #Conflicts: 800000 | #Constraints: 55530
919.48/922.18 c #Conflicts: 801000 | #Constraints: 56530
919.48/922.18 c #Conflicts: 802000 | #Constraints: 57530
919.48/922.18 c #Conflicts: 803000 | #Constraints: 58530
919.48/922.18 c #Conflicts: 804000 | #Constraints: 59530
919.48/922.18 c #Conflicts: 805000 | #Constraints: 60530
919.48/922.18 c #Conflicts: 806000 | #Constraints: 61530
919.48/922.18 c #Conflicts: 807000 | #Constraints: 62530
919.48/922.18 c #Conflicts: 808000 | #Constraints: 63530
919.48/922.18 c #Conflicts: 809000 | #Constraints: 64530
919.48/922.18 c #Conflicts: 810000 | #Constraints: 65530
919.48/922.18 c INPROCESSING
919.48/922.18 c GARBAGE COLLECT
919.48/922.18 c rational objective 43
939.51/942.26 c #Conflicts: 811000 | #Constraints: 48721
939.51/942.26 c #Conflicts: 812000 | #Constraints: 49721
939.51/942.26 c #Conflicts: 813000 | #Constraints: 50721
939.51/942.26 c #Conflicts: 814000 | #Constraints: 51721
939.51/942.26 c #Conflicts: 815000 | #Constraints: 52721
939.51/942.26 c #Conflicts: 816000 | #Constraints: 53721
939.51/942.26 c #Conflicts: 817000 | #Constraints: 54721
939.51/942.26 c #Conflicts: 818000 | #Constraints: 55721
939.51/942.26 c #Conflicts: 819000 | #Constraints: 56721
939.51/942.26 c #Conflicts: 820000 | #Constraints: 57721
939.51/942.26 c #Conflicts: 821000 | #Constraints: 58721
939.51/942.26 c #Conflicts: 822000 | #Constraints: 59721
939.51/942.26 c #Conflicts: 823000 | #Constraints: 60721
939.51/942.26 c #Conflicts: 824000 | #Constraints: 61721
939.51/942.26 c #Conflicts: 825000 | #Constraints: 62721
939.51/942.26 c #Conflicts: 826000 | #Constraints: 63721
939.51/942.26 c #Conflicts: 827000 | #Constraints: 64721
939.51/942.26 c #Conflicts: 828000 | #Constraints: 65721
939.51/942.26 c INPROCESSING
939.51/942.26 c GARBAGE COLLECT
939.51/942.26 c rational objective 43
955.56/958.32 c #Conflicts: 829000 | #Constraints: 48714
955.56/958.32 c #Conflicts: 830000 | #Constraints: 49714
955.56/958.32 c #Conflicts: 831000 | #Constraints: 50714
955.56/958.32 c #Conflicts: 832000 | #Constraints: 51714
955.56/958.32 c #Conflicts: 833000 | #Constraints: 52714
955.56/958.32 c #Conflicts: 834000 | #Constraints: 53714
955.56/958.32 c #Conflicts: 835000 | #Constraints: 54714
955.56/958.32 c #Conflicts: 836000 | #Constraints: 55714
955.56/958.32 c #Conflicts: 837000 | #Constraints: 56714
955.56/958.32 c #Conflicts: 838000 | #Constraints: 57714
955.56/958.32 c #Conflicts: 839000 | #Constraints: 58714
955.56/958.32 c #Conflicts: 840000 | #Constraints: 59714
955.56/958.32 c #Conflicts: 841000 | #Constraints: 60714
955.56/958.32 c #Conflicts: 842000 | #Constraints: 61714
955.56/958.32 c #Conflicts: 843000 | #Constraints: 62714
955.56/958.32 c #Conflicts: 844000 | #Constraints: 63714
955.56/958.32 c #Conflicts: 845000 | #Constraints: 64714
955.56/958.32 c #Conflicts: 846000 | #Constraints: 65714
955.56/958.32 c INPROCESSING
955.56/958.32 c GARBAGE COLLECT
955.56/958.32 c rational objective 43
977.89/980.72 c #Conflicts: 847000 | #Constraints: 48526
977.89/980.72 c #Conflicts: 848000 | #Constraints: 49526
977.89/980.72 c #Conflicts: 849000 | #Constraints: 50526
977.89/980.72 c #Conflicts: 850000 | #Constraints: 51526
977.89/980.72 c #Conflicts: 851000 | #Constraints: 52526
977.89/980.72 c #Conflicts: 852000 | #Constraints: 53526
977.89/980.72 c #Conflicts: 853000 | #Constraints: 54526
977.89/980.72 c #Conflicts: 854000 | #Constraints: 55526
977.89/980.72 c #Conflicts: 855000 | #Constraints: 56526
977.89/980.72 c #Conflicts: 856000 | #Constraints: 57526
977.89/980.72 c #Conflicts: 857000 | #Constraints: 58526
977.89/980.72 c #Conflicts: 858000 | #Constraints: 59526
977.89/980.72 c #Conflicts: 859000 | #Constraints: 60526
977.89/980.72 c #Conflicts: 860000 | #Constraints: 61526
977.89/980.72 c #Conflicts: 861000 | #Constraints: 62526
977.89/980.72 c #Conflicts: 862000 | #Constraints: 63526
977.89/980.72 c #Conflicts: 863000 | #Constraints: 64526
977.89/980.72 c #Conflicts: 864000 | #Constraints: 65526
977.89/980.72 c #Conflicts: 865000 | #Constraints: 66526
977.89/980.72 c INPROCESSING
977.89/980.72 c GARBAGE COLLECT
977.89/980.72 c rational objective 43
993.74/996.69 c #Conflicts: 866000 | #Constraints: 49128
993.74/996.69 c #Conflicts: 867000 | #Constraints: 50128
993.74/996.69 c #Conflicts: 868000 | #Constraints: 51128
993.74/996.69 c #Conflicts: 869000 | #Constraints: 52128
993.74/996.69 c #Conflicts: 870000 | #Constraints: 53128
993.74/996.69 c #Conflicts: 871000 | #Constraints: 54128
993.74/996.69 c #Conflicts: 872000 | #Constraints: 55128
993.74/996.69 c #Conflicts: 873000 | #Constraints: 56128
993.74/996.69 c #Conflicts: 874000 | #Constraints: 57128
993.74/996.69 c #Conflicts: 875000 | #Constraints: 58128
993.74/996.69 c #Conflicts: 876000 | #Constraints: 59128
993.74/996.69 c #Conflicts: 877000 | #Constraints: 60128
993.74/996.69 c #Conflicts: 878000 | #Constraints: 61128
993.74/996.69 c #Conflicts: 879000 | #Constraints: 62128
993.74/996.69 c #Conflicts: 880000 | #Constraints: 63128
993.74/996.69 c #Conflicts: 881000 | #Constraints: 64128
993.74/996.69 c #Conflicts: 882000 | #Constraints: 65128
993.74/996.69 c #Conflicts: 883000 | #Constraints: 66128
993.74/996.69 c #Conflicts: 884000 | #Constraints: 67128
993.74/996.69 c INPROCESSING
993.74/996.69 c GARBAGE COLLECT
993.74/996.69 c rational objective 43
1009.99/1012.98 c #Conflicts: 885000 | #Constraints: 49528
1009.99/1012.98 c #Conflicts: 886000 | #Constraints: 50528
1009.99/1012.98 c #Conflicts: 887000 | #Constraints: 51528
1009.99/1012.98 c #Conflicts: 888000 | #Constraints: 52528
1009.99/1012.98 c #Conflicts: 889000 | #Constraints: 53528
1009.99/1012.98 c #Conflicts: 890000 | #Constraints: 54528
1009.99/1012.98 c #Conflicts: 891000 | #Constraints: 55528
1009.99/1012.98 c #Conflicts: 892000 | #Constraints: 56528
1009.99/1012.98 c #Conflicts: 893000 | #Constraints: 57528
1009.99/1012.98 c #Conflicts: 894000 | #Constraints: 58528
1009.99/1012.98 c #Conflicts: 895000 | #Constraints: 59528
1009.99/1012.98 c #Conflicts: 896000 | #Constraints: 60528
1009.99/1012.98 c #Conflicts: 897000 | #Constraints: 61528
1009.99/1012.98 c #Conflicts: 898000 | #Constraints: 62528
1009.99/1012.98 c #Conflicts: 899000 | #Constraints: 63528
1009.99/1012.98 c #Conflicts: 900000 | #Constraints: 64528
1009.99/1012.98 c #Conflicts: 901000 | #Constraints: 65528
1009.99/1012.98 c #Conflicts: 902000 | #Constraints: 66528
1009.99/1012.98 c #Conflicts: 903000 | #Constraints: 67528
1009.99/1012.98 c INPROCESSING
1009.99/1012.98 c GARBAGE COLLECT
1009.99/1012.98 c rational objective 43
1031.04/1034.09 c #Conflicts: 904000 | #Constraints: 49728
1031.04/1034.09 c #Conflicts: 905000 | #Constraints: 50728
1031.04/1034.09 c #Conflicts: 906000 | #Constraints: 51728
1031.04/1034.09 c #Conflicts: 907000 | #Constraints: 52728
1031.04/1034.09 c #Conflicts: 908000 | #Constraints: 53728
1031.04/1034.09 c #Conflicts: 909000 | #Constraints: 54728
1031.04/1034.09 c #Conflicts: 910000 | #Constraints: 55728
1031.04/1034.09 c #Conflicts: 911000 | #Constraints: 56728
1031.04/1034.09 c #Conflicts: 912000 | #Constraints: 57728
1031.04/1034.09 c #Conflicts: 913000 | #Constraints: 58728
1031.04/1034.09 c #Conflicts: 914000 | #Constraints: 59728
1031.04/1034.09 c #Conflicts: 915000 | #Constraints: 60728
1031.04/1034.09 c #Conflicts: 916000 | #Constraints: 61728
1031.04/1034.09 c #Conflicts: 917000 | #Constraints: 62728
1031.04/1034.09 c #Conflicts: 918000 | #Constraints: 63728
1031.04/1034.09 c #Conflicts: 919000 | #Constraints: 64728
1031.04/1034.09 c #Conflicts: 920000 | #Constraints: 65728
1031.04/1034.09 c #Conflicts: 921000 | #Constraints: 66728
1031.04/1034.09 c #Conflicts: 922000 | #Constraints: 67728
1031.04/1034.09 c INPROCESSING
1031.04/1034.09 c GARBAGE COLLECT
1031.04/1034.09 c rational objective 43
1046.18/1049.29 c #Conflicts: 923000 | #Constraints: 49719
1046.18/1049.29 c #Conflicts: 924000 | #Constraints: 50719
1046.18/1049.29 c #Conflicts: 925000 | #Constraints: 51719
1046.18/1049.29 c #Conflicts: 926000 | #Constraints: 52719
1046.18/1049.29 c #Conflicts: 927000 | #Constraints: 53719
1046.18/1049.29 c #Conflicts: 928000 | #Constraints: 54719
1046.18/1049.29 c #Conflicts: 929000 | #Constraints: 55719
1046.18/1049.29 c #Conflicts: 930000 | #Constraints: 56719
1046.18/1049.29 c #Conflicts: 931000 | #Constraints: 57719
1046.18/1049.29 c #Conflicts: 932000 | #Constraints: 58719
1046.18/1049.29 c #Conflicts: 933000 | #Constraints: 59719
1046.18/1049.29 c #Conflicts: 934000 | #Constraints: 60719
1046.18/1049.29 c #Conflicts: 935000 | #Constraints: 61719
1046.18/1049.29 c #Conflicts: 936000 | #Constraints: 62719
1046.18/1049.29 c #Conflicts: 937000 | #Constraints: 63719
1046.18/1049.29 c #Conflicts: 938000 | #Constraints: 64719
1046.18/1049.29 c #Conflicts: 939000 | #Constraints: 65719
1046.18/1049.29 c #Conflicts: 940000 | #Constraints: 66719
1046.18/1049.29 c #Conflicts: 941000 | #Constraints: 67719
1046.18/1049.29 c INPROCESSING
1046.18/1049.29 c GARBAGE COLLECT
1046.18/1049.29 c rational objective 43
1067.21/1070.30 c #Conflicts: 942000 | #Constraints: 49525
1067.21/1070.30 c #Conflicts: 943000 | #Constraints: 50525
1067.21/1070.30 c #Conflicts: 944000 | #Constraints: 51525
1067.21/1070.30 c #Conflicts: 945000 | #Constraints: 52525
1067.21/1070.30 c #Conflicts: 946000 | #Constraints: 53525
1067.21/1070.30 c #Conflicts: 947000 | #Constraints: 54525
1067.21/1070.30 c #Conflicts: 948000 | #Constraints: 55525
1067.21/1070.30 c #Conflicts: 949000 | #Constraints: 56525
1067.21/1070.30 c #Conflicts: 950000 | #Constraints: 57525
1067.21/1070.30 c #Conflicts: 951000 | #Constraints: 58525
1067.21/1070.30 c #Conflicts: 952000 | #Constraints: 59525
1067.21/1070.30 c #Conflicts: 953000 | #Constraints: 60525
1067.21/1070.30 c #Conflicts: 954000 | #Constraints: 61525
1067.21/1070.30 c #Conflicts: 955000 | #Constraints: 62525
1067.21/1070.30 c #Conflicts: 956000 | #Constraints: 63525
1067.21/1070.30 c #Conflicts: 957000 | #Constraints: 64525
1067.21/1070.30 c #Conflicts: 958000 | #Constraints: 65525
1067.21/1070.30 c #Conflicts: 959000 | #Constraints: 66525
1067.21/1070.30 c #Conflicts: 960000 | #Constraints: 67525
1067.21/1070.30 c #Conflicts: 961000 | #Constraints: 68525
1067.21/1070.30 c INPROCESSING
1067.21/1070.30 c GARBAGE COLLECT
1067.21/1070.30 c rational objective 43
1090.73/1093.92 c #Conflicts: 962000 | #Constraints: 50121
1090.73/1093.92 c #Conflicts: 963000 | #Constraints: 51121
1090.73/1093.92 c #Conflicts: 964000 | #Constraints: 52121
1090.73/1093.92 c #Conflicts: 965000 | #Constraints: 53121
1090.73/1093.92 c #Conflicts: 966000 | #Constraints: 54121
1090.73/1093.92 c #Conflicts: 967000 | #Constraints: 55121
1090.73/1093.92 c #Conflicts: 968000 | #Constraints: 56121
1090.73/1093.92 c #Conflicts: 969000 | #Constraints: 57121
1090.73/1093.92 c #Conflicts: 970000 | #Constraints: 58121
1090.73/1093.92 c #Conflicts: 971000 | #Constraints: 59121
1090.73/1093.92 c #Conflicts: 972000 | #Constraints: 60121
1090.73/1093.92 c #Conflicts: 973000 | #Constraints: 61121
1090.73/1093.92 c #Conflicts: 974000 | #Constraints: 62121
1090.73/1093.92 c #Conflicts: 975000 | #Constraints: 63121
1090.73/1093.92 c #Conflicts: 976000 | #Constraints: 64121
1090.73/1093.92 c #Conflicts: 977000 | #Constraints: 65121
1090.73/1093.92 c #Conflicts: 978000 | #Constraints: 66121
1090.73/1093.92 c #Conflicts: 979000 | #Constraints: 67121
1090.73/1093.92 c #Conflicts: 980000 | #Constraints: 68121
1090.73/1093.92 c #Conflicts: 981000 | #Constraints: 69121
1090.73/1093.92 c INPROCESSING
1090.73/1093.92 c GARBAGE COLLECT
1090.73/1093.92 c rational objective 43
1107.06/1110.35 c #Conflicts: 982000 | #Constraints: 50513
1107.06/1110.35 c #Conflicts: 983000 | #Constraints: 51513
1107.06/1110.35 c #Conflicts: 984000 | #Constraints: 52513
1107.06/1110.35 c #Conflicts: 985000 | #Constraints: 53513
1107.06/1110.35 c #Conflicts: 986000 | #Constraints: 54513
1107.06/1110.35 c #Conflicts: 987000 | #Constraints: 55513
1107.06/1110.35 c #Conflicts: 988000 | #Constraints: 56513
1107.06/1110.35 c #Conflicts: 989000 | #Constraints: 57513
1107.06/1110.35 c #Conflicts: 990000 | #Constraints: 58513
1107.06/1110.35 c #Conflicts: 991000 | #Constraints: 59513
1107.06/1110.35 c #Conflicts: 992000 | #Constraints: 60513
1107.06/1110.35 c #Conflicts: 993000 | #Constraints: 61513
1107.06/1110.35 c #Conflicts: 994000 | #Constraints: 62513
1107.06/1110.35 c #Conflicts: 995000 | #Constraints: 63513
1107.06/1110.35 c #Conflicts: 996000 | #Constraints: 64513
1107.06/1110.35 c #Conflicts: 997000 | #Constraints: 65513
1107.06/1110.35 c #Conflicts: 998000 | #Constraints: 66513
1107.06/1110.35 c #Conflicts: 999000 | #Constraints: 67513
1107.06/1110.35 c #Conflicts: 1000000 | #Constraints: 68513
1107.06/1110.35 c #Conflicts: 1001000 | #Constraints: 69513
1107.06/1110.35 c INPROCESSING
1107.06/1110.35 c GARBAGE COLLECT
1107.06/1110.35 c rational objective 43
1125.59/1128.95 c #Conflicts: 1002000 | #Constraints: 50715
1125.59/1128.95 c #Conflicts: 1003000 | #Constraints: 51715
1125.59/1128.95 c #Conflicts: 1004000 | #Constraints: 52715
1125.59/1128.95 c #Conflicts: 1005000 | #Constraints: 53715
1125.59/1128.95 c #Conflicts: 1006000 | #Constraints: 54715
1125.59/1128.95 c #Conflicts: 1007000 | #Constraints: 55715
1125.59/1128.95 c #Conflicts: 1008000 | #Constraints: 56715
1125.59/1128.95 c #Conflicts: 1009000 | #Constraints: 57715
1125.59/1128.95 c #Conflicts: 1010000 | #Constraints: 58715
1125.59/1128.95 c #Conflicts: 1011000 | #Constraints: 59715
1125.59/1128.95 c #Conflicts: 1012000 | #Constraints: 60715
1125.59/1128.95 c #Conflicts: 1013000 | #Constraints: 61715
1125.59/1128.95 c #Conflicts: 1014000 | #Constraints: 62715
1125.59/1128.95 c #Conflicts: 1015000 | #Constraints: 63715
1125.59/1128.95 c #Conflicts: 1016000 | #Constraints: 64715
1125.59/1128.95 c #Conflicts: 1017000 | #Constraints: 65715
1125.59/1128.95 c #Conflicts: 1018000 | #Constraints: 66715
1125.59/1128.95 c #Conflicts: 1019000 | #Constraints: 67715
1125.59/1128.95 c #Conflicts: 1020000 | #Constraints: 68715
1125.59/1128.95 c #Conflicts: 1021000 | #Constraints: 69715
1125.59/1128.95 c INPROCESSING
1125.59/1128.95 c GARBAGE COLLECT
1125.59/1128.95 c rational objective 43
1149.51/1152.96 c #Conflicts: 1022000 | #Constraints: 50720
1149.51/1152.96 c #Conflicts: 1023000 | #Constraints: 51720
1149.51/1152.96 c #Conflicts: 1024000 | #Constraints: 52720
1149.51/1152.96 c #Conflicts: 1025000 | #Constraints: 53720
1149.51/1152.96 c #Conflicts: 1026000 | #Constraints: 54720
1149.51/1152.96 c #Conflicts: 1027000 | #Constraints: 55720
1149.51/1152.96 c #Conflicts: 1028000 | #Constraints: 56720
1149.51/1152.96 c #Conflicts: 1029000 | #Constraints: 57720
1149.51/1152.96 c #Conflicts: 1030000 | #Constraints: 58720
1149.51/1152.96 c #Conflicts: 1031000 | #Constraints: 59720
1149.51/1152.96 c #Conflicts: 1032000 | #Constraints: 60720
1149.51/1152.96 c #Conflicts: 1033000 | #Constraints: 61720
1149.51/1152.96 c #Conflicts: 1034000 | #Constraints: 62720
1149.51/1152.96 c #Conflicts: 1035000 | #Constraints: 63720
1149.51/1152.96 c #Conflicts: 1036000 | #Constraints: 64720
1149.51/1152.96 c #Conflicts: 1037000 | #Constraints: 65720
1149.51/1152.96 c #Conflicts: 1038000 | #Constraints: 66720
1149.51/1152.96 c #Conflicts: 1039000 | #Constraints: 67720
1149.51/1152.96 c #Conflicts: 1040000 | #Constraints: 68720
1149.51/1152.96 c #Conflicts: 1041000 | #Constraints: 69720
1149.51/1152.96 c INPROCESSING
1149.51/1152.96 c GARBAGE COLLECT
1149.51/1152.96 c rational objective 43
1165.44/1168.97 c #Conflicts: 1042000 | #Constraints: 50531
1165.44/1168.97 c #Conflicts: 1043000 | #Constraints: 51531
1165.44/1168.97 c #Conflicts: 1044000 | #Constraints: 52531
1165.44/1168.97 c #Conflicts: 1045000 | #Constraints: 53531
1165.44/1168.97 c #Conflicts: 1046000 | #Constraints: 54531
1165.44/1168.97 c #Conflicts: 1047000 | #Constraints: 55531
1165.44/1168.97 c #Conflicts: 1048000 | #Constraints: 56531
1165.44/1168.97 c #Conflicts: 1049000 | #Constraints: 57531
1165.44/1168.97 c #Conflicts: 1050000 | #Constraints: 58531
1165.44/1168.97 c #Conflicts: 1051000 | #Constraints: 59531
1165.44/1168.97 c #Conflicts: 1052000 | #Constraints: 60531
1165.44/1168.97 c #Conflicts: 1053000 | #Constraints: 61531
1165.44/1168.97 c #Conflicts: 1054000 | #Constraints: 62531
1165.44/1168.97 c #Conflicts: 1055000 | #Constraints: 63531
1165.44/1168.97 c #Conflicts: 1056000 | #Constraints: 64531
1165.44/1168.97 c #Conflicts: 1057000 | #Constraints: 65531
1165.44/1168.97 c #Conflicts: 1058000 | #Constraints: 66531
1165.44/1168.97 c #Conflicts: 1059000 | #Constraints: 67531
1165.44/1168.97 c #Conflicts: 1060000 | #Constraints: 68531
1165.44/1168.97 c #Conflicts: 1061000 | #Constraints: 69531
1165.44/1168.97 c #Conflicts: 1062000 | #Constraints: 70531
1165.44/1168.97 c INPROCESSING
1165.44/1168.97 c GARBAGE COLLECT
1165.44/1168.97 c rational objective 43
1199.40/1203.02 c #Conflicts: 1063000 | #Constraints: 51120
1199.40/1203.02 c #Conflicts: 1064000 | #Constraints: 52120
1199.40/1203.02 c #Conflicts: 1065000 | #Constraints: 53120
1199.40/1203.02 c #Conflicts: 1066000 | #Constraints: 54120
1199.40/1203.02 c #Conflicts: 1067000 | #Constraints: 55120
1199.40/1203.02 c #Conflicts: 1068000 | #Constraints: 56120
1199.40/1203.02 c #Conflicts: 1069000 | #Constraints: 57120
1199.40/1203.02 c #Conflicts: 1070000 | #Constraints: 58120
1199.40/1203.02 c #Conflicts: 1071000 | #Constraints: 59120
1199.40/1203.02 c #Conflicts: 1072000 | #Constraints: 60120
1199.40/1203.02 c #Conflicts: 1073000 | #Constraints: 61120
1199.40/1203.02 c #Conflicts: 1074000 | #Constraints: 62120
1199.40/1203.02 c #Conflicts: 1075000 | #Constraints: 63120
1199.40/1203.02 c #Conflicts: 1076000 | #Constraints: 64120
1199.40/1203.02 c #Conflicts: 1077000 | #Constraints: 65120
1199.40/1203.02 c #Conflicts: 1078000 | #Constraints: 66120
1199.40/1203.02 c #Conflicts: 1079000 | #Constraints: 67120
1199.40/1203.02 c #Conflicts: 1080000 | #Constraints: 68120
1199.40/1203.02 c #Conflicts: 1081000 | #Constraints: 69120
1199.40/1203.02 c #Conflicts: 1082000 | #Constraints: 70120
1199.40/1203.02 c #Conflicts: 1083000 | #Constraints: 71120
1199.40/1203.02 c INPROCESSING
1199.40/1203.02 c GARBAGE COLLECT
1199.40/1203.02 c rational objective 43
1222.69/1226.42 c #Conflicts: 1084000 | #Constraints: 51508
1222.69/1226.42 c #Conflicts: 1085000 | #Constraints: 52508
1222.69/1226.42 c #Conflicts: 1086000 | #Constraints: 53508
1222.69/1226.42 c #Conflicts: 1087000 | #Constraints: 54508
1222.69/1226.42 c #Conflicts: 1088000 | #Constraints: 55508
1222.69/1226.42 c #Conflicts: 1089000 | #Constraints: 56508
1222.69/1226.42 c #Conflicts: 1090000 | #Constraints: 57508
1222.69/1226.42 c #Conflicts: 1091000 | #Constraints: 58508
1222.69/1226.42 c #Conflicts: 1092000 | #Constraints: 59508
1222.69/1226.42 c #Conflicts: 1093000 | #Constraints: 60508
1222.69/1226.42 c #Conflicts: 1094000 | #Constraints: 61508
1222.69/1226.42 c #Conflicts: 1095000 | #Constraints: 62508
1222.69/1226.42 c #Conflicts: 1096000 | #Constraints: 63508
1222.69/1226.42 c #Conflicts: 1097000 | #Constraints: 64508
1222.69/1226.42 c #Conflicts: 1098000 | #Constraints: 65508
1222.69/1226.42 c #Conflicts: 1099000 | #Constraints: 66508
1222.69/1226.42 c #Conflicts: 1100000 | #Constraints: 67508
1222.69/1226.42 c #Conflicts: 1101000 | #Constraints: 68508
1222.69/1226.42 c #Conflicts: 1102000 | #Constraints: 69508
1222.69/1226.42 c #Conflicts: 1103000 | #Constraints: 70508
1222.69/1226.42 c #Conflicts: 1104000 | #Constraints: 71508
1222.69/1226.42 c INPROCESSING
1222.69/1226.42 c GARBAGE COLLECT
1222.69/1226.42 c rational objective 43
1238.16/1241.93 c #Conflicts: 1105000 | #Constraints: 51727
1238.16/1241.93 c #Conflicts: 1106000 | #Constraints: 52727
1238.16/1241.93 c #Conflicts: 1107000 | #Constraints: 53727
1238.16/1241.93 c #Conflicts: 1108000 | #Constraints: 54727
1238.16/1241.93 c #Conflicts: 1109000 | #Constraints: 55727
1238.16/1241.93 c #Conflicts: 1110000 | #Constraints: 56727
1238.16/1241.93 c #Conflicts: 1111000 | #Constraints: 57727
1238.16/1241.93 c #Conflicts: 1112000 | #Constraints: 58727
1238.16/1241.93 c #Conflicts: 1113000 | #Constraints: 59727
1238.16/1241.93 c #Conflicts: 1114000 | #Constraints: 60727
1238.16/1241.93 c #Conflicts: 1115000 | #Constraints: 61727
1238.16/1241.93 c #Conflicts: 1116000 | #Constraints: 62727
1238.16/1241.93 c #Conflicts: 1117000 | #Constraints: 63727
1238.16/1241.93 c #Conflicts: 1118000 | #Constraints: 64727
1238.16/1241.93 c #Conflicts: 1119000 | #Constraints: 65727
1238.16/1241.93 c #Conflicts: 1120000 | #Constraints: 66727
1238.16/1241.93 c #Conflicts: 1121000 | #Constraints: 67727
1238.16/1241.93 c #Conflicts: 1122000 | #Constraints: 68727
1238.16/1241.93 c #Conflicts: 1123000 | #Constraints: 69727
1238.16/1241.93 c #Conflicts: 1124000 | #Constraints: 70727
1238.16/1241.93 c #Conflicts: 1125000 | #Constraints: 71727
1238.16/1241.93 c INPROCESSING
1238.16/1241.93 c GARBAGE COLLECT
1238.16/1241.93 c rational objective 43
1259.32/1263.12 c #Conflicts: 1126000 | #Constraints: 51728
1259.32/1263.12 c #Conflicts: 1127000 | #Constraints: 52728
1259.32/1263.12 c #Conflicts: 1128000 | #Constraints: 53728
1259.32/1263.12 c #Conflicts: 1129000 | #Constraints: 54728
1259.32/1263.12 c #Conflicts: 1130000 | #Constraints: 55728
1259.32/1263.12 c #Conflicts: 1131000 | #Constraints: 56728
1259.32/1263.12 c #Conflicts: 1132000 | #Constraints: 57728
1259.32/1263.12 c #Conflicts: 1133000 | #Constraints: 58728
1259.32/1263.12 c #Conflicts: 1134000 | #Constraints: 59728
1259.32/1263.12 c #Conflicts: 1135000 | #Constraints: 60728
1259.32/1263.12 c #Conflicts: 1136000 | #Constraints: 61728
1259.32/1263.12 c #Conflicts: 1137000 | #Constraints: 62728
1259.32/1263.12 c #Conflicts: 1138000 | #Constraints: 63728
1259.32/1263.12 c #Conflicts: 1139000 | #Constraints: 64728
1259.32/1263.12 c #Conflicts: 1140000 | #Constraints: 65728
1259.32/1263.12 c #Conflicts: 1141000 | #Constraints: 66728
1259.32/1263.12 c #Conflicts: 1142000 | #Constraints: 67728
1259.32/1263.12 c #Conflicts: 1143000 | #Constraints: 68728
1259.32/1263.12 c #Conflicts: 1144000 | #Constraints: 69728
1259.32/1263.12 c #Conflicts: 1145000 | #Constraints: 70728
1259.32/1263.12 c #Conflicts: 1146000 | #Constraints: 71728
1259.32/1263.12 c INPROCESSING
1259.32/1263.12 c GARBAGE COLLECT
1259.32/1263.12 c rational objective 43
1283.25/1287.13 c #Conflicts: 1147000 | #Constraints: 51523
1283.25/1287.13 c #Conflicts: 1148000 | #Constraints: 52523
1283.25/1287.13 c #Conflicts: 1149000 | #Constraints: 53523
1283.25/1287.13 c #Conflicts: 1150000 | #Constraints: 54523
1283.25/1287.13 c #Conflicts: 1151000 | #Constraints: 55523
1283.25/1287.13 c #Conflicts: 1152000 | #Constraints: 56523
1283.25/1287.13 c #Conflicts: 1153000 | #Constraints: 57523
1283.25/1287.13 c #Conflicts: 1154000 | #Constraints: 58523
1283.25/1287.13 c #Conflicts: 1155000 | #Constraints: 59523
1283.25/1287.13 c #Conflicts: 1156000 | #Constraints: 60523
1283.25/1287.13 c #Conflicts: 1157000 | #Constraints: 61523
1283.25/1287.13 c #Conflicts: 1158000 | #Constraints: 62523
1283.25/1287.13 c #Conflicts: 1159000 | #Constraints: 63523
1283.25/1287.13 c #Conflicts: 1160000 | #Constraints: 64523
1283.25/1287.13 c #Conflicts: 1161000 | #Constraints: 65523
1283.25/1287.13 c #Conflicts: 1162000 | #Constraints: 66523
1283.25/1287.13 c #Conflicts: 1163000 | #Constraints: 67523
1283.25/1287.13 c #Conflicts: 1164000 | #Constraints: 68523
1283.25/1287.13 c #Conflicts: 1165000 | #Constraints: 69523
1283.25/1287.13 c #Conflicts: 1166000 | #Constraints: 70523
1283.25/1287.13 c #Conflicts: 1167000 | #Constraints: 71523
1283.25/1287.13 c #Conflicts: 1168000 | #Constraints: 72523
1283.25/1287.13 c INPROCESSING
1283.25/1287.13 c GARBAGE COLLECT
1283.25/1287.13 c rational objective 43
1304.59/1308.51 c #Conflicts: 1169000 | #Constraints: 52132
1304.59/1308.51 c #Conflicts: 1170000 | #Constraints: 53132
1304.59/1308.51 c #Conflicts: 1171000 | #Constraints: 54132
1304.59/1308.51 c #Conflicts: 1172000 | #Constraints: 55132
1304.59/1308.51 c #Conflicts: 1173000 | #Constraints: 56132
1304.59/1308.51 c #Conflicts: 1174000 | #Constraints: 57132
1304.59/1308.51 c #Conflicts: 1175000 | #Constraints: 58132
1304.59/1308.51 c #Conflicts: 1176000 | #Constraints: 59132
1304.59/1308.51 c #Conflicts: 1177000 | #Constraints: 60132
1304.59/1308.51 c #Conflicts: 1178000 | #Constraints: 61132
1304.59/1308.51 c #Conflicts: 1179000 | #Constraints: 62132
1304.59/1308.51 c #Conflicts: 1180000 | #Constraints: 63132
1304.59/1308.51 c #Conflicts: 1181000 | #Constraints: 64132
1304.59/1308.51 c #Conflicts: 1182000 | #Constraints: 65132
1304.59/1308.51 c #Conflicts: 1183000 | #Constraints: 66132
1304.59/1308.51 c #Conflicts: 1184000 | #Constraints: 67132
1304.59/1308.51 c #Conflicts: 1185000 | #Constraints: 68132
1304.59/1308.51 c #Conflicts: 1186000 | #Constraints: 69132
1304.59/1308.51 c #Conflicts: 1187000 | #Constraints: 70132
1304.59/1308.51 c #Conflicts: 1188000 | #Constraints: 71132
1304.59/1308.51 c #Conflicts: 1189000 | #Constraints: 72132
1304.59/1308.51 c #Conflicts: 1190000 | #Constraints: 73132
1304.59/1308.51 c INPROCESSING
1304.59/1308.51 c GARBAGE COLLECT
1304.59/1308.51 c rational objective 43
1321.44/1325.43 c #Conflicts: 1191000 | #Constraints: 52525
1321.44/1325.43 c #Conflicts: 1192000 | #Constraints: 53525
1321.44/1325.43 c #Conflicts: 1193000 | #Constraints: 54525
1321.44/1325.43 c #Conflicts: 1194000 | #Constraints: 55525
1321.44/1325.43 c #Conflicts: 1195000 | #Constraints: 56525
1321.44/1325.43 c #Conflicts: 1196000 | #Constraints: 57525
1321.44/1325.43 c #Conflicts: 1197000 | #Constraints: 58525
1321.44/1325.43 c #Conflicts: 1198000 | #Constraints: 59525
1321.44/1325.43 c #Conflicts: 1199000 | #Constraints: 60525
1321.44/1325.43 c #Conflicts: 1200000 | #Constraints: 61525
1321.44/1325.43 c #Conflicts: 1201000 | #Constraints: 62525
1321.44/1325.43 c #Conflicts: 1202000 | #Constraints: 63525
1321.44/1325.43 c #Conflicts: 1203000 | #Constraints: 64525
1321.44/1325.43 c #Conflicts: 1204000 | #Constraints: 65525
1321.44/1325.43 c #Conflicts: 1205000 | #Constraints: 66525
1321.44/1325.43 c #Conflicts: 1206000 | #Constraints: 67525
1321.44/1325.43 c #Conflicts: 1207000 | #Constraints: 68525
1321.44/1325.43 c #Conflicts: 1208000 | #Constraints: 69525
1321.44/1325.43 c #Conflicts: 1209000 | #Constraints: 70525
1321.44/1325.43 c #Conflicts: 1210000 | #Constraints: 71525
1321.44/1325.43 c #Conflicts: 1211000 | #Constraints: 72525
1321.44/1325.43 c #Conflicts: 1212000 | #Constraints: 73525
1321.44/1325.43 c INPROCESSING
1321.44/1325.43 c GARBAGE COLLECT
1321.44/1325.43 c rational objective 43
1340.90/1344.93 c #Conflicts: 1213000 | #Constraints: 52722
1340.90/1344.93 c #Conflicts: 1214000 | #Constraints: 53722
1340.90/1344.93 c #Conflicts: 1215000 | #Constraints: 54722
1340.90/1344.93 c #Conflicts: 1216000 | #Constraints: 55722
1340.90/1344.93 c #Conflicts: 1217000 | #Constraints: 56722
1340.90/1344.93 c #Conflicts: 1218000 | #Constraints: 57722
1340.90/1344.93 c #Conflicts: 1219000 | #Constraints: 58722
1340.90/1344.93 c #Conflicts: 1220000 | #Constraints: 59722
1340.90/1344.93 c #Conflicts: 1221000 | #Constraints: 60722
1340.90/1344.93 c #Conflicts: 1222000 | #Constraints: 61722
1340.90/1344.93 c #Conflicts: 1223000 | #Constraints: 62722
1340.90/1344.93 c #Conflicts: 1224000 | #Constraints: 63722
1340.90/1344.93 c #Conflicts: 1225000 | #Constraints: 64722
1340.90/1344.93 c #Conflicts: 1226000 | #Constraints: 65722
1340.90/1344.93 c #Conflicts: 1227000 | #Constraints: 66722
1340.90/1344.93 c #Conflicts: 1228000 | #Constraints: 67722
1340.90/1344.93 c #Conflicts: 1229000 | #Constraints: 68722
1340.90/1344.93 c #Conflicts: 1230000 | #Constraints: 69722
1340.90/1344.93 c #Conflicts: 1231000 | #Constraints: 70722
1340.90/1344.93 c #Conflicts: 1232000 | #Constraints: 71722
1340.90/1344.93 c #Conflicts: 1233000 | #Constraints: 72722
1340.90/1344.93 c #Conflicts: 1234000 | #Constraints: 73722
1340.90/1344.93 c INPROCESSING
1340.90/1344.93 c GARBAGE COLLECT
1340.90/1344.93 c rational objective 43
1362.06/1366.11 c #Conflicts: 1235000 | #Constraints: 52717
1362.06/1366.11 c #Conflicts: 1236000 | #Constraints: 53717
1362.06/1366.11 c #Conflicts: 1237000 | #Constraints: 54717
1362.06/1366.11 c #Conflicts: 1238000 | #Constraints: 55717
1362.06/1366.11 c #Conflicts: 1239000 | #Constraints: 56717
1362.06/1366.11 c #Conflicts: 1240000 | #Constraints: 57717
1362.06/1366.11 c #Conflicts: 1241000 | #Constraints: 58717
1362.06/1366.11 c #Conflicts: 1242000 | #Constraints: 59717
1362.06/1366.11 c #Conflicts: 1243000 | #Constraints: 60717
1362.06/1366.11 c #Conflicts: 1244000 | #Constraints: 61717
1362.06/1366.11 c #Conflicts: 1245000 | #Constraints: 62717
1362.06/1366.11 c #Conflicts: 1246000 | #Constraints: 63717
1362.06/1366.11 c #Conflicts: 1247000 | #Constraints: 64717
1362.06/1366.11 c #Conflicts: 1248000 | #Constraints: 65717
1362.06/1366.11 c #Conflicts: 1249000 | #Constraints: 66717
1362.06/1366.11 c #Conflicts: 1250000 | #Constraints: 67717
1362.06/1366.11 c #Conflicts: 1251000 | #Constraints: 68717
1362.06/1366.11 c #Conflicts: 1252000 | #Constraints: 69717
1362.06/1366.11 c #Conflicts: 1253000 | #Constraints: 70717
1362.06/1366.11 c #Conflicts: 1254000 | #Constraints: 71717
1362.06/1366.11 c #Conflicts: 1255000 | #Constraints: 72717
1362.06/1366.11 c #Conflicts: 1256000 | #Constraints: 73717
1362.06/1366.11 c INPROCESSING
1362.06/1366.11 c GARBAGE COLLECT
1362.06/1366.11 c rational objective 43
1389.37/1393.52 c #Conflicts: 1257000 | #Constraints: 52528
1389.37/1393.52 c #Conflicts: 1258000 | #Constraints: 53528
1389.37/1393.52 c #Conflicts: 1259000 | #Constraints: 54529
1389.37/1393.52 c #Conflicts: 1260000 | #Constraints: 55529
1389.37/1393.52 c #Conflicts: 1261000 | #Constraints: 56529
1389.37/1393.52 c #Conflicts: 1262000 | #Constraints: 57529
1389.37/1393.52 c #Conflicts: 1263000 | #Constraints: 58529
1389.37/1393.52 c #Conflicts: 1264000 | #Constraints: 59529
1389.37/1393.52 c #Conflicts: 1265000 | #Constraints: 60529
1389.37/1393.52 c #Conflicts: 1266000 | #Constraints: 61529
1389.37/1393.52 c #Conflicts: 1267000 | #Constraints: 62529
1389.37/1393.52 c #Conflicts: 1268000 | #Constraints: 63529
1389.37/1393.52 c #Conflicts: 1269000 | #Constraints: 64529
1389.37/1393.52 c #Conflicts: 1270000 | #Constraints: 65529
1389.37/1393.52 c #Conflicts: 1271000 | #Constraints: 66529
1389.37/1393.52 c #Conflicts: 1272000 | #Constraints: 67529
1389.37/1393.52 c #Conflicts: 1273000 | #Constraints: 68529
1389.37/1393.52 c #Conflicts: 1274000 | #Constraints: 69529
1389.37/1393.52 c #Conflicts: 1275000 | #Constraints: 70529
1389.37/1393.52 c #Conflicts: 1276000 | #Constraints: 71529
1389.37/1393.52 c #Conflicts: 1277000 | #Constraints: 72529
1389.37/1393.52 c #Conflicts: 1278000 | #Constraints: 73529
1389.37/1393.52 c #Conflicts: 1279000 | #Constraints: 74529
1389.37/1393.52 c INPROCESSING
1389.37/1393.52 c GARBAGE COLLECT
1389.37/1393.52 c rational objective 43
1433.36/1437.60 c #Conflicts: 1280000 | #Constraints: 53123
1433.36/1437.60 c #Conflicts: 1281000 | #Constraints: 54123
1433.36/1437.60 c #Conflicts: 1282000 | #Constraints: 55123
1433.36/1437.60 c #Conflicts: 1283000 | #Constraints: 56123
1433.36/1437.60 c #Conflicts: 1284000 | #Constraints: 57123
1433.36/1437.60 c #Conflicts: 1285000 | #Constraints: 58123
1433.36/1437.60 c #Conflicts: 1286000 | #Constraints: 59123
1433.36/1437.60 c #Conflicts: 1287000 | #Constraints: 60123
1433.36/1437.60 c #Conflicts: 1288000 | #Constraints: 61123
1433.36/1437.60 c #Conflicts: 1289000 | #Constraints: 62123
1433.36/1437.60 c #Conflicts: 1290000 | #Constraints: 63123
1433.36/1437.60 c #Conflicts: 1291000 | #Constraints: 64123
1433.36/1437.60 c #Conflicts: 1292000 | #Constraints: 65123
1433.36/1437.60 c #Conflicts: 1293000 | #Constraints: 66123
1433.36/1437.60 c #Conflicts: 1294000 | #Constraints: 67123
1433.36/1437.60 c #Conflicts: 1295000 | #Constraints: 68123
1433.36/1437.60 c #Conflicts: 1296000 | #Constraints: 69123
1433.36/1437.60 c #Conflicts: 1297000 | #Constraints: 70123
1433.36/1437.60 c #Conflicts: 1298000 | #Constraints: 71123
1433.36/1437.60 c #Conflicts: 1299000 | #Constraints: 72123
1433.36/1437.60 c #Conflicts: 1300000 | #Constraints: 73123
1433.36/1437.60 c #Conflicts: 1301000 | #Constraints: 74123
1433.36/1437.60 c #Conflicts: 1302000 | #Constraints: 75123
1433.36/1437.60 c INPROCESSING
1433.36/1437.60 c GARBAGE COLLECT
1433.36/1437.60 c rational objective 43
1500.39/1504.82 c #Conflicts: 1303000 | #Constraints: 53517
1500.39/1504.82 c #Conflicts: 1304000 | #Constraints: 54517
1500.39/1504.82 c #Conflicts: 1305000 | #Constraints: 55517
1500.39/1504.82 c #Conflicts: 1306000 | #Constraints: 56517
1500.39/1504.82 c #Conflicts: 1307000 | #Constraints: 57517
1500.39/1504.82 c #Conflicts: 1308000 | #Constraints: 58517
1500.39/1504.82 c #Conflicts: 1309000 | #Constraints: 59517
1500.39/1504.82 c #Conflicts: 1310000 | #Constraints: 60517
1500.39/1504.82 c #Conflicts: 1311000 | #Constraints: 61517
1500.39/1504.82 c #Conflicts: 1312000 | #Constraints: 62517
1500.39/1504.82 c #Conflicts: 1313000 | #Constraints: 63517
1500.39/1504.82 c #Conflicts: 1314000 | #Constraints: 64517
1500.39/1504.82 c #Conflicts: 1315000 | #Constraints: 65517
1500.39/1504.82 c #Conflicts: 1316000 | #Constraints: 66517
1500.39/1504.82 c #Conflicts: 1317000 | #Constraints: 67517
1500.39/1504.82 c #Conflicts: 1318000 | #Constraints: 68517
1500.39/1504.82 c #Conflicts: 1319000 | #Constraints: 69517
1500.39/1504.82 c #Conflicts: 1320000 | #Constraints: 70517
1500.39/1504.82 c #Conflicts: 1321000 | #Constraints: 71517
1500.39/1504.82 c #Conflicts: 1322000 | #Constraints: 72517
1500.39/1504.82 c #Conflicts: 1323000 | #Constraints: 73517
1500.39/1504.82 c #Conflicts: 1324000 | #Constraints: 74517
1500.39/1504.82 c #Conflicts: 1325000 | #Constraints: 75517
1500.39/1504.82 c INPROCESSING
1500.39/1504.82 c GARBAGE COLLECT
1500.39/1504.82 c #Conflicts: 1326000 | #Constraints: 53676
1500.39/1504.82 c #Conflicts: 1327000 | #Constraints: 54676
1500.39/1504.82 c #Conflicts: 1328000 | #Constraints: 55676
1500.39/1504.82 c #Conflicts: 1329000 | #Constraints: 56676
1500.39/1504.82 c #Conflicts: 1330000 | #Constraints: 57676
1500.39/1504.82 c #Conflicts: 1331000 | #Constraints: 58676
1500.39/1504.82 c #Conflicts: 1332000 | #Constraints: 59676
1500.39/1504.82 c #Conflicts: 1333000 | #Constraints: 60676
1500.39/1504.82 c #Conflicts: 1334000 | #Constraints: 61676
1500.39/1504.82 c #Conflicts: 1335000 | #Constraints: 62676
1500.39/1504.82 c #Conflicts: 1336000 | #Constraints: 63676
1500.39/1504.82 c #Conflicts: 1337000 | #Constraints: 64676
1500.39/1504.82 c #Conflicts: 1338000 | #Constraints: 65676
1500.39/1504.82 c #Conflicts: 1339000 | #Constraints: 66676
1500.39/1504.82 c #Conflicts: 1340000 | #Constraints: 67676
1500.39/1504.82 c #Conflicts: 1341000 | #Constraints: 68676
1500.39/1504.82 c #Conflicts: 1342000 | #Constraints: 69676
1500.39/1504.82 c #Conflicts: 1343000 | #Constraints: 70676
1500.39/1504.82 c #Conflicts: 1344000 | #Constraints: 71676
1500.39/1504.82 c #Conflicts: 1345000 | #Constraints: 72676
1500.39/1504.82 c #Conflicts: 1346000 | #Constraints: 73676
1500.39/1504.82 c #Conflicts: 1347000 | #Constraints: 74676
1500.39/1504.82 c #Conflicts: 1348000 | #Constraints: 75676
1500.39/1504.82 c INPROCESSING
1500.39/1504.82 c GARBAGE COLLECT
1500.39/1504.82 c rational objective 43
1528.31/1532.89 c #Conflicts: 1349000 | #Constraints: 53721
1528.31/1532.89 c #Conflicts: 1350000 | #Constraints: 54721
1528.31/1532.89 c #Conflicts: 1351000 | #Constraints: 55721
1528.31/1532.89 c #Conflicts: 1352000 | #Constraints: 56721
1528.31/1532.89 c #Conflicts: 1353000 | #Constraints: 57721
1528.31/1532.89 c #Conflicts: 1354000 | #Constraints: 58721
1528.31/1532.89 c #Conflicts: 1355000 | #Constraints: 59721
1528.31/1532.89 c #Conflicts: 1356000 | #Constraints: 60721
1528.31/1532.89 c #Conflicts: 1357000 | #Constraints: 61721
1528.31/1532.89 c #Conflicts: 1358000 | #Constraints: 62721
1528.31/1532.89 c #Conflicts: 1359000 | #Constraints: 63721
1528.31/1532.89 c #Conflicts: 1360000 | #Constraints: 64721
1528.31/1532.89 c #Conflicts: 1361000 | #Constraints: 65721
1528.31/1532.89 c #Conflicts: 1362000 | #Constraints: 66721
1528.31/1532.89 c #Conflicts: 1363000 | #Constraints: 67721
1528.31/1532.89 c #Conflicts: 1364000 | #Constraints: 68721
1528.31/1532.89 c #Conflicts: 1365000 | #Constraints: 69721
1528.31/1532.89 c #Conflicts: 1366000 | #Constraints: 70721
1528.31/1532.89 c #Conflicts: 1367000 | #Constraints: 71721
1528.31/1532.89 c #Conflicts: 1368000 | #Constraints: 72721
1528.31/1532.89 c #Conflicts: 1369000 | #Constraints: 73721
1528.31/1532.89 c #Conflicts: 1370000 | #Constraints: 74721
1528.31/1532.89 c #Conflicts: 1371000 | #Constraints: 75721
1528.31/1532.89 c INPROCESSING
1528.31/1532.89 c GARBAGE COLLECT
1528.31/1532.89 c rational objective 43
1580.18/1584.89 c #Conflicts: 1372000 | #Constraints: 53533
1580.18/1584.89 c #Conflicts: 1373000 | #Constraints: 54533
1580.18/1584.89 c #Conflicts: 1374000 | #Constraints: 55533
1580.18/1584.89 c #Conflicts: 1375000 | #Constraints: 56533
1580.18/1584.89 c #Conflicts: 1376000 | #Constraints: 57533
1580.18/1584.89 c #Conflicts: 1377000 | #Constraints: 58533
1580.18/1584.89 c #Conflicts: 1378000 | #Constraints: 59533
1580.18/1584.89 c #Conflicts: 1379000 | #Constraints: 60533
1580.18/1584.89 c #Conflicts: 1380000 | #Constraints: 61533
1580.18/1584.89 c #Conflicts: 1381000 | #Constraints: 62533
1580.18/1584.89 c #Conflicts: 1382000 | #Constraints: 63533
1580.18/1584.89 c #Conflicts: 1383000 | #Constraints: 64533
1580.18/1584.89 c #Conflicts: 1384000 | #Constraints: 65533
1580.18/1584.89 c #Conflicts: 1385000 | #Constraints: 66533
1580.18/1584.89 c #Conflicts: 1386000 | #Constraints: 67533
1580.18/1584.89 c #Conflicts: 1387000 | #Constraints: 68533
1580.18/1584.89 c #Conflicts: 1388000 | #Constraints: 69533
1580.18/1584.89 c #Conflicts: 1389000 | #Constraints: 70533
1580.18/1584.89 c #Conflicts: 1390000 | #Constraints: 71533
1580.18/1584.89 c #Conflicts: 1391000 | #Constraints: 72533
1580.18/1584.89 c #Conflicts: 1392000 | #Constraints: 73533
1580.18/1584.89 c #Conflicts: 1393000 | #Constraints: 74533
1580.18/1584.89 c #Conflicts: 1394000 | #Constraints: 75533
1580.18/1584.89 c #Conflicts: 1395000 | #Constraints: 76533
1580.18/1584.89 c INPROCESSING
1580.18/1584.89 c GARBAGE COLLECT
1580.18/1584.89 c rational objective 43
1642.83/1647.63 c #Conflicts: 1396000 | #Constraints: 54117
1642.83/1647.63 c #Conflicts: 1397000 | #Constraints: 55117
1642.83/1647.63 c #Conflicts: 1398000 | #Constraints: 56117
1642.83/1647.63 c #Conflicts: 1399000 | #Constraints: 57117
1642.83/1647.63 c #Conflicts: 1400000 | #Constraints: 58117
1642.83/1647.63 c #Conflicts: 1401000 | #Constraints: 59117
1642.83/1647.63 c #Conflicts: 1402000 | #Constraints: 60117
1642.83/1647.63 c #Conflicts: 1403000 | #Constraints: 61117
1642.83/1647.63 c #Conflicts: 1404000 | #Constraints: 62117
1642.83/1647.63 c #Conflicts: 1405000 | #Constraints: 63117
1642.83/1647.63 c #Conflicts: 1406000 | #Constraints: 64117
1642.83/1647.63 c #Conflicts: 1407000 | #Constraints: 65117
1642.83/1647.63 c #Conflicts: 1408000 | #Constraints: 66117
1642.83/1647.63 c #Conflicts: 1409000 | #Constraints: 67117
1642.83/1647.63 c #Conflicts: 1410000 | #Constraints: 68117
1642.83/1647.63 c #Conflicts: 1411000 | #Constraints: 69117
1642.83/1647.63 c #Conflicts: 1412000 | #Constraints: 70117
1642.83/1647.63 c #Conflicts: 1413000 | #Constraints: 71117
1642.83/1647.63 c #Conflicts: 1414000 | #Constraints: 72117
1642.83/1647.63 c #Conflicts: 1415000 | #Constraints: 73117
1642.83/1647.63 c #Conflicts: 1416000 | #Constraints: 74117
1642.83/1647.63 c #Conflicts: 1417000 | #Constraints: 75117
1642.83/1647.63 c #Conflicts: 1418000 | #Constraints: 76117
1642.83/1647.63 c #Conflicts: 1419000 | #Constraints: 77117
1642.83/1647.63 c INPROCESSING
1642.83/1647.63 c GARBAGE COLLECT
1642.83/1647.63 c rational objective 43
1681.42/1686.37 c #Conflicts: 1420000 | #Constraints: 54506
1681.42/1686.37 c #Conflicts: 1421000 | #Constraints: 55506
1681.42/1686.37 c #Conflicts: 1422000 | #Constraints: 56506
1681.42/1686.37 c #Conflicts: 1423000 | #Constraints: 57506
1681.42/1686.37 c #Conflicts: 1424000 | #Constraints: 58506
1681.42/1686.37 c #Conflicts: 1425000 | #Constraints: 59506
1681.42/1686.37 c #Conflicts: 1426000 | #Constraints: 60506
1681.42/1686.37 c #Conflicts: 1427000 | #Constraints: 61506
1681.42/1686.37 c #Conflicts: 1428000 | #Constraints: 62506
1681.42/1686.37 c #Conflicts: 1429000 | #Constraints: 63506
1681.42/1686.37 c #Conflicts: 1430000 | #Constraints: 64506
1681.42/1686.37 c #Conflicts: 1431000 | #Constraints: 65506
1681.42/1686.37 c #Conflicts: 1432000 | #Constraints: 66506
1681.42/1686.37 c #Conflicts: 1433000 | #Constraints: 67506
1681.42/1686.37 c #Conflicts: 1434000 | #Constraints: 68506
1681.42/1686.37 c #Conflicts: 1435000 | #Constraints: 69507
1681.42/1686.37 c #Conflicts: 1436000 | #Constraints: 70507
1681.42/1686.37 c #Conflicts: 1437000 | #Constraints: 71507
1681.42/1686.37 c #Conflicts: 1438000 | #Constraints: 72507
1681.42/1686.37 c #Conflicts: 1439000 | #Constraints: 73507
1681.42/1686.37 c #Conflicts: 1440000 | #Constraints: 74507
1681.42/1686.37 c #Conflicts: 1441000 | #Constraints: 75507
1681.42/1686.37 c #Conflicts: 1442000 | #Constraints: 76507
1681.42/1686.37 c #Conflicts: 1443000 | #Constraints: 77507
1681.42/1686.37 c INPROCESSING
1681.42/1686.37 c GARBAGE COLLECT
1681.42/1686.37 WSVECS04 Frhs2[250]: 6 0 10 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[252]: 6 0 10 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[1492]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[1986]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[3228]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[3722]: 6 0 10 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[4714]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[4716]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5210]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5212]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5706]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5708]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5954]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[5956]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[6202]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[6204]: 6 0 10.0001 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1681.42/1686.37 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1740.77/1745.83 WSVECS04 Frhs2[3722]: 6 0 10 shouldn't be
1740.77/1745.83 WSVECS04 Frhs2[3724]: 6 0 10 shouldn't be
1740.77/1745.83 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1740.77/1745.83 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1740.77/1745.83 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
1774.78/1779.97 WSVECS04 Frhs2[4716]: 6 0 10 shouldn't be
1774.78/1779.97 WSVECS04 Frhs2[5708]: 6 0 10 shouldn't be
1795.73/1800.98 WSVECS04 Frhs2[1492]: 6 0 10 shouldn't be
1872.93/1878.33 c #Conflicts: 1444000 | #Constraints: 54673
1872.93/1878.33 c #Conflicts: 1445000 | #Constraints: 55673
1872.93/1878.33 c #Conflicts: 1446000 | #Constraints: 56673
1872.93/1878.33 c #Conflicts: 1447000 | #Constraints: 57673
1872.93/1878.33 c #Conflicts: 1448000 | #Constraints: 58673
1872.93/1878.33 c #Conflicts: 1449000 | #Constraints: 59673
1872.93/1878.33 c #Conflicts: 1450000 | #Constraints: 60673
1872.93/1878.33 c #Conflicts: 1451000 | #Constraints: 61673
1872.93/1878.33 c #Conflicts: 1452000 | #Constraints: 62673
1872.93/1878.33 c #Conflicts: 1453000 | #Constraints: 63673
1872.93/1878.33 c #Conflicts: 1454000 | #Constraints: 64673
1872.93/1878.33 c #Conflicts: 1455000 | #Constraints: 65673
1872.93/1878.33 c #Conflicts: 1456000 | #Constraints: 66673
1872.93/1878.33 c #Conflicts: 1457000 | #Constraints: 67673
1872.93/1878.33 c #Conflicts: 1458000 | #Constraints: 68673
1872.93/1878.33 c #Conflicts: 1459000 | #Constraints: 69673
1872.93/1878.33 c #Conflicts: 1460000 | #Constraints: 70673
1872.93/1878.33 c #Conflicts: 1461000 | #Constraints: 71673
1872.93/1878.33 c #Conflicts: 1462000 | #Constraints: 72673
1872.93/1878.33 c #Conflicts: 1463000 | #Constraints: 73673
1872.93/1878.33 c #Conflicts: 1464000 | #Constraints: 74673
1872.93/1878.33 c #Conflicts: 1465000 | #Constraints: 75673
1872.93/1878.33 c #Conflicts: 1466000 | #Constraints: 76673
1872.93/1878.33 c #Conflicts: 1467000 | #Constraints: 77673
1872.93/1878.33 c INPROCESSING
1872.93/1878.33 c GARBAGE COLLECT
1872.93/1878.33 c rational objective 43
1890.71/1896.14 c #Conflicts: 1468000 | #Constraints: 54688
1890.71/1896.14 c #Conflicts: 1469000 | #Constraints: 55688
1890.71/1896.14 c #Conflicts: 1470000 | #Constraints: 56688
1890.71/1896.14 c #Conflicts: 1471000 | #Constraints: 57688
1890.71/1896.14 c #Conflicts: 1472000 | #Constraints: 58688
1890.71/1896.14 c #Conflicts: 1473000 | #Constraints: 59688
1890.71/1896.14 c #Conflicts: 1474000 | #Constraints: 60688
1890.71/1896.14 c #Conflicts: 1475000 | #Constraints: 61688
1890.71/1896.14 c #Conflicts: 1476000 | #Constraints: 62688
1890.71/1896.14 c #Conflicts: 1477000 | #Constraints: 63688
1890.71/1896.14 c #Conflicts: 1478000 | #Constraints: 64688
1890.71/1896.14 c #Conflicts: 1479000 | #Constraints: 65689
1890.71/1896.14 c #Conflicts: 1480000 | #Constraints: 66689
1890.71/1896.14 c #Conflicts: 1481000 | #Constraints: 67689
1890.71/1896.14 c #Conflicts: 1482000 | #Constraints: 68689
1890.71/1896.14 c #Conflicts: 1483000 | #Constraints: 69689
1890.71/1896.14 c #Conflicts: 1484000 | #Constraints: 70689
1890.71/1896.14 c #Conflicts: 1485000 | #Constraints: 71689
1890.71/1896.14 c #Conflicts: 1486000 | #Constraints: 72689
1890.71/1896.14 c #Conflicts: 1487000 | #Constraints: 73689
1890.71/1896.14 c #Conflicts: 1488000 | #Constraints: 74689
1890.71/1896.14 c #Conflicts: 1489000 | #Constraints: 75689
1890.71/1896.14 c #Conflicts: 1490000 | #Constraints: 76689
1890.71/1896.14 c #Conflicts: 1491000 | #Constraints: 77689
1890.71/1896.14 c INPROCESSING
1890.71/1896.14 c GARBAGE COLLECT
1890.71/1896.14 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7829]: 6 -20.0001 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7831]: 6 -20.0001 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7839]: 6 -10.0001 0 shouldn't be
1890.71/1896.14 WSVECS04 Frhs2[7840]: 6 -5.00009 0 shouldn't be
1904.06/1909.59 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
1912.64/1918.11 WSVECS04 Frhs2[7840]: 6 -5 0 shouldn't be
1927.00/1932.58 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
1973.18/1978.84 c #Conflicts: 1492000 | #Constraints: 54465
1973.18/1978.84 c #Conflicts: 1493000 | #Constraints: 55465
1973.18/1978.84 c #Conflicts: 1494000 | #Constraints: 56465
1973.18/1978.84 c #Conflicts: 1495000 | #Constraints: 57465
1973.18/1978.84 c #Conflicts: 1496000 | #Constraints: 58465
1973.18/1978.84 c #Conflicts: 1497000 | #Constraints: 59465
1973.18/1978.84 c #Conflicts: 1498000 | #Constraints: 60465
1973.18/1978.84 c #Conflicts: 1499000 | #Constraints: 61465
1973.18/1978.84 c #Conflicts: 1500000 | #Constraints: 62465
1973.18/1978.84 c #Conflicts: 1501000 | #Constraints: 63465
1973.18/1978.84 c #Conflicts: 1502000 | #Constraints: 64465
1973.18/1978.84 c #Conflicts: 1503000 | #Constraints: 65465
1973.18/1978.84 c #Conflicts: 1504000 | #Constraints: 66466
1973.18/1978.84 c #Conflicts: 1505000 | #Constraints: 67466
1973.18/1978.84 c #Conflicts: 1506000 | #Constraints: 68466
1973.18/1978.84 c #Conflicts: 1507000 | #Constraints: 69466
1973.18/1978.84 c #Conflicts: 1508000 | #Constraints: 70466
1973.18/1978.84 c #Conflicts: 1509000 | #Constraints: 71466
1973.18/1978.84 c #Conflicts: 1510000 | #Constraints: 72466
1973.18/1978.84 c #Conflicts: 1511000 | #Constraints: 73466
1973.18/1978.84 c #Conflicts: 1512000 | #Constraints: 74466
1973.18/1978.84 c #Conflicts: 1513000 | #Constraints: 75466
1973.18/1978.84 c #Conflicts: 1514000 | #Constraints: 76466
1973.18/1978.84 c #Conflicts: 1515000 | #Constraints: 77466
1973.18/1978.84 c #Conflicts: 1516000 | #Constraints: 78466
1973.18/1978.84 c INPROCESSING
1973.18/1978.84 c GARBAGE COLLECT
1973.18/1978.84 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7829]: 6 -20.0001 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7830]: 6 -20.0001 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
1973.18/1978.84 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
1985.15/1990.81 WSVECS04 Frhs2[7840]: 6 -5.00008 0 shouldn't be
2025.54/2031.38 WSVECS04 Frhs2[7830]: 6 -20 0 shouldn't be
2025.54/2031.38 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
2025.54/2031.38 WSVECS04 Frhs2[7833]: 6 -20 0 shouldn't be
2025.54/2031.38 WSVECS04 Frhs2[7835]: 6 -10 0 shouldn't be
2025.54/2031.38 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
2034.92/2040.71 WSVECS04 Frhs2[7840]: 6 -5 0 shouldn't be
2048.77/2054.64 WSVECS04 Frhs2[7828]: 6 -20 0 shouldn't be
2048.77/2054.64 WSVECS04 Frhs2[7829]: 6 -20 0 shouldn't be
2148.96/2155.15 c #Conflicts: 1517000 | #Constraints: 55047
2148.96/2155.15 c #Conflicts: 1518000 | #Constraints: 56047
2148.96/2155.15 c #Conflicts: 1519000 | #Constraints: 57047
2148.96/2155.15 c #Conflicts: 1520000 | #Constraints: 58047
2148.96/2155.15 c #Conflicts: 1521000 | #Constraints: 59047
2148.96/2155.15 c #Conflicts: 1522000 | #Constraints: 60047
2148.96/2155.15 c #Conflicts: 1523000 | #Constraints: 61047
2148.96/2155.15 c #Conflicts: 1524000 | #Constraints: 62047
2148.96/2155.15 c #Conflicts: 1525000 | #Constraints: 63047
2148.96/2155.15 c #Conflicts: 1526000 | #Constraints: 64047
2148.96/2155.15 c #Conflicts: 1527000 | #Constraints: 65047
2148.96/2155.15 c #Conflicts: 1528000 | #Constraints: 66047
2148.96/2155.15 c #Conflicts: 1529000 | #Constraints: 67049
2148.96/2155.15 c #Conflicts: 1530000 | #Constraints: 68052
2148.96/2155.15 c #Conflicts: 1531000 | #Constraints: 69053
2148.96/2155.15 c #Conflicts: 1532000 | #Constraints: 70053
2148.96/2155.15 c #Conflicts: 1533000 | #Constraints: 71147
2148.96/2155.15 c #Conflicts: 1534000 | #Constraints: 72147
2148.96/2155.15 c #Conflicts: 1535000 | #Constraints: 73147
2148.96/2155.15 c #Conflicts: 1536000 | #Constraints: 74147
2148.96/2155.15 c #Conflicts: 1537000 | #Constraints: 75147
2148.96/2155.15 c #Conflicts: 1538000 | #Constraints: 76154
2148.96/2155.15 c #Conflicts: 1539000 | #Constraints: 77155
2148.96/2155.15 c #Conflicts: 1540000 | #Constraints: 78157
2148.96/2155.15 c #Conflicts: 1541000 | #Constraints: 79157
2148.96/2155.15 c INPROCESSING
2148.96/2155.15 c GARBAGE COLLECT
2148.96/2155.15 c #Conflicts: 1542000 | #Constraints: 55499
2148.96/2155.15 c #Conflicts: 1543000 | #Constraints: 56499
2148.96/2155.15 c #Conflicts: 1544000 | #Constraints: 57499
2148.96/2155.15 c #Conflicts: 1545000 | #Constraints: 58499
2148.96/2155.15 c #Conflicts: 1546000 | #Constraints: 59499
2148.96/2155.15 c #Conflicts: 1547000 | #Constraints: 60499
2148.96/2155.15 c #Conflicts: 1548000 | #Constraints: 61499
2148.96/2155.15 c #Conflicts: 1549000 | #Constraints: 62499
2148.96/2155.15 c #Conflicts: 1550000 | #Constraints: 63499
2148.96/2155.15 c #Conflicts: 1551000 | #Constraints: 64501
2148.96/2155.15 c #Conflicts: 1552000 | #Constraints: 65509
2148.96/2155.15 c #Conflicts: 1553000 | #Constraints: 66983
2148.96/2155.15 c #Conflicts: 1554000 | #Constraints: 68496
2148.96/2155.15 c #Conflicts: 1555000 | #Constraints: 70005
2148.96/2155.15 c #Conflicts: 1556000 | #Constraints: 71523
2148.96/2155.15 c #Conflicts: 1557000 | #Constraints: 73029
2148.96/2155.15 c #Conflicts: 1558000 | #Constraints: 74558
2148.96/2155.15 c #Conflicts: 1559000 | #Constraints: 76075
2148.96/2155.15 c #Conflicts: 1560000 | #Constraints: 77621
2148.96/2155.15 c #Conflicts: 1561000 | #Constraints: 79136
2148.96/2155.15 c #Conflicts: 1562000 | #Constraints: 80644
2148.96/2155.15 c #Conflicts: 1563000 | #Constraints: 82169
2148.96/2155.15 c #Conflicts: 1564000 | #Constraints: 83690
2148.96/2155.15 c #Conflicts: 1565000 | #Constraints: 85202
2148.96/2155.15 c #Conflicts: 1566000 | #Constraints: 86728
2148.96/2155.15 c INPROCESSING
2148.96/2155.15 c GARBAGE COLLECT
2148.96/2155.15 WSVECS04 Frhs2[5460]: 6 -5.00009 0 shouldn't be
2148.96/2155.15 WSVECS04 Frhs2[5956]: 6 0 5.00006 shouldn't be
2148.96/2155.15 WSVECS04 Frhs2[6969]: 6 0 5.00008 shouldn't be
2148.96/2155.15 WSVECS04 Frhs2[7831]: 6 -10 0 shouldn't be
2148.96/2155.15 WSVECS04 Frhs2[7833]: 6 -10.0001 0 shouldn't be
2148.96/2155.15 WSVECS04 Frhs2[7840]: 6 -5.00007 0 shouldn't be
2164.81/2171.08 c rational objective 43
2188.33/2194.61 c #Conflicts: 1567000 | #Constraints: 59337
2188.33/2194.61 c #Conflicts: 1568000 | #Constraints: 60337
2188.33/2194.61 c #Conflicts: 1569000 | #Constraints: 61337
2188.33/2194.61 c #Conflicts: 1570000 | #Constraints: 62337
2188.33/2194.61 c #Conflicts: 1571000 | #Constraints: 63337
2188.33/2194.61 c #Conflicts: 1572000 | #Constraints: 64337
2188.33/2194.61 c #Conflicts: 1573000 | #Constraints: 65337
2188.33/2194.61 c #Conflicts: 1574000 | #Constraints: 66337
2188.33/2194.61 c #Conflicts: 1575000 | #Constraints: 67337
2188.33/2194.61 c #Conflicts: 1576000 | #Constraints: 68337
2188.33/2194.61 c #Conflicts: 1577000 | #Constraints: 69337
2188.33/2194.61 c #Conflicts: 1578000 | #Constraints: 70337
2188.33/2194.61 c #Conflicts: 1579000 | #Constraints: 71337
2188.33/2194.61 c #Conflicts: 1580000 | #Constraints: 72337
2188.33/2194.61 c #Conflicts: 1581000 | #Constraints: 73337
2188.33/2194.61 c #Conflicts: 1582000 | #Constraints: 74337
2188.33/2194.61 c #Conflicts: 1583000 | #Constraints: 75337
2188.33/2194.61 c #Conflicts: 1584000 | #Constraints: 76337
2188.33/2194.61 c #Conflicts: 1585000 | #Constraints: 77337
2188.33/2194.61 c #Conflicts: 1586000 | #Constraints: 78337
2188.33/2194.61 c #Conflicts: 1587000 | #Constraints: 79337
2188.33/2194.61 c #Conflicts: 1588000 | #Constraints: 80337
2188.33/2194.61 c #Conflicts: 1589000 | #Constraints: 81337
2188.33/2194.61 c #Conflicts: 1590000 | #Constraints: 82337
2188.33/2194.61 c #Conflicts: 1591000 | #Constraints: 83337
2188.33/2194.61 c INPROCESSING
2188.33/2194.61 c GARBAGE COLLECT
2188.33/2194.61 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7830]: 6 -20.0001 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7831]: 6 -20 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7833]: 6 -20.0001 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7835]: 6 -10.0001 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7839]: 6 -10 0 shouldn't be
2188.33/2194.61 WSVECS04 Frhs2[7840]: 6 -5.00005 0 shouldn't be
2357.31/2364.15 c #Conflicts: 1592000 | #Constraints: 57494
2357.31/2364.15 c #Conflicts: 1593000 | #Constraints: 58494
2357.31/2364.15 c #Conflicts: 1594000 | #Constraints: 59494
2357.31/2364.15 c #Conflicts: 1595000 | #Constraints: 60494
2357.31/2364.15 c #Conflicts: 1596000 | #Constraints: 61495
2357.31/2364.15 c #Conflicts: 1597000 | #Constraints: 62495
2357.31/2364.15 c #Conflicts: 1598000 | #Constraints: 63495
2357.31/2364.15 c #Conflicts: 1599000 | #Constraints: 64497
2357.31/2364.15 c #Conflicts: 1600000 | #Constraints: 65501
2357.31/2364.15 c #Conflicts: 1601000 | #Constraints: 66501
2357.31/2364.15 c #Conflicts: 1602000 | #Constraints: 67501
2357.31/2364.15 c #Conflicts: 1603000 | #Constraints: 68516
2357.31/2364.15 c #Conflicts: 1604000 | #Constraints: 69516
2357.31/2364.15 c #Conflicts: 1605000 | #Constraints: 70516
2357.31/2364.15 c #Conflicts: 1606000 | #Constraints: 71516
2357.31/2364.15 c #Conflicts: 1607000 | #Constraints: 72516
2357.31/2364.15 c #Conflicts: 1608000 | #Constraints: 73516
2357.31/2364.15 c #Conflicts: 1609000 | #Constraints: 74517
2357.31/2364.15 c #Conflicts: 1610000 | #Constraints: 75517
2357.31/2364.15 c #Conflicts: 1611000 | #Constraints: 76517
2357.31/2364.15 c #Conflicts: 1612000 | #Constraints: 77517
2357.31/2364.15 c #Conflicts: 1613000 | #Constraints: 78517
2357.31/2364.15 c #Conflicts: 1614000 | #Constraints: 79517
2357.31/2364.15 c #Conflicts: 1615000 | #Constraints: 80517
2357.31/2364.15 c #Conflicts: 1616000 | #Constraints: 81517
2357.31/2364.15 c INPROCESSING
2357.31/2364.15 c GARBAGE COLLECT
2357.31/2364.15 c #Conflicts: 1617000 | #Constraints: 56377
2357.31/2364.15 c #Conflicts: 1618000 | #Constraints: 57377
2357.31/2364.15 c #Conflicts: 1619000 | #Constraints: 58377
2357.31/2364.15 c #Conflicts: 1620000 | #Constraints: 59377
2357.31/2364.15 c #Conflicts: 1621000 | #Constraints: 60377
2357.31/2364.15 c #Conflicts: 1622000 | #Constraints: 61377
2357.31/2364.15 c #Conflicts: 1623000 | #Constraints: 62377
2357.31/2364.15 c #Conflicts: 1624000 | #Constraints: 63377
2357.31/2364.15 c #Conflicts: 1625000 | #Constraints: 64377
2357.31/2364.15 c #Conflicts: 1626000 | #Constraints: 65377
2357.31/2364.15 c #Conflicts: 1627000 | #Constraints: 66377
2357.31/2364.15 c #Conflicts: 1628000 | #Constraints: 67377
2357.31/2364.15 c #Conflicts: 1629000 | #Constraints: 68377
2357.31/2364.15 c #Conflicts: 1630000 | #Constraints: 69377
2357.31/2364.15 c #Conflicts: 1631000 | #Constraints: 70377
2357.31/2364.15 c #Conflicts: 1632000 | #Constraints: 71377
2357.31/2364.15 c #Conflicts: 1633000 | #Constraints: 72377
2357.31/2364.15 c #Conflicts: 1634000 | #Constraints: 73377
2357.31/2364.15 c #Conflicts: 1635000 | #Constraints: 74377
2357.31/2364.15 c #Conflicts: 1636000 | #Constraints: 75377
2357.31/2364.15 c #Conflicts: 1637000 | #Constraints: 76377
2357.31/2364.15 c #Conflicts: 1638000 | #Constraints: 77377
2357.31/2364.15 c #Conflicts: 1639000 | #Constraints: 78377
2357.31/2364.15 c #Conflicts: 1640000 | #Constraints: 79377
2357.31/2364.15 c #Conflicts: 1641000 | #Constraints: 80377
2357.31/2364.15 c #Conflicts: 1642000 | #Constraints: 81379
2357.31/2364.15 c INPROCESSING
2357.31/2364.15 c GARBAGE COLLECT
2357.31/2364.15 c #Conflicts: 1643000 | #Constraints: 56510
2357.31/2364.15 c #Conflicts: 1644000 | #Constraints: 57512
2357.31/2364.15 c #Conflicts: 1645000 | #Constraints: 58512
2357.31/2364.15 c #Conflicts: 1646000 | #Constraints: 59512
2357.31/2364.15 c #Conflicts: 1647000 | #Constraints: 60512
2357.31/2364.15 c #Conflicts: 1648000 | #Constraints: 61512
2357.31/2364.15 c #Conflicts: 1649000 | #Constraints: 62515
2357.31/2364.15 c #Conflicts: 1650000 | #Constraints: 63517
2357.31/2364.15 c #Conflicts: 1651000 | #Constraints: 64518
2357.31/2364.15 c #Conflicts: 1652000 | #Constraints: 65525
2357.31/2364.15 c #Conflicts: 1653000 | #Constraints: 66525
2357.31/2364.15 c #Conflicts: 1654000 | #Constraints: 67525
2357.31/2364.15 c #Conflicts: 1655000 | #Constraints: 68530
2357.31/2364.15 c #Conflicts: 1656000 | #Constraints: 70020
2357.31/2364.15 c #Conflicts: 1657000 | #Constraints: 71514
2357.31/2364.15 c #Conflicts: 1658000 | #Constraints: 73020
2357.31/2364.15 c #Conflicts: 1659000 | #Constraints: 74524
2357.31/2364.15 c #Conflicts: 1660000 | #Constraints: 76056
2357.31/2364.15 c #Conflicts: 1661000 | #Constraints: 77591
2357.31/2364.15 c #Conflicts: 1662000 | #Constraints: 79201
2357.31/2364.15 c #Conflicts: 1663000 | #Constraints: 80783
2357.31/2364.15 c #Conflicts: 1664000 | #Constraints: 82282
2357.31/2364.15 c #Conflicts: 1665000 | #Constraints: 83812
2357.31/2364.15 c #Conflicts: 1666000 | #Constraints: 85333
2357.31/2364.15 c #Conflicts: 1667000 | #Constraints: 86843
2357.31/2364.15 c #Conflicts: 1668000 | #Constraints: 88348
2357.31/2364.15 c INPROCESSING
2357.31/2364.15 c GARBAGE COLLECT
2557.68/2565.23 c #Conflicts: 1669000 | #Constraints: 60687
2557.68/2565.23 c #Conflicts: 1670000 | #Constraints: 62239
2557.68/2565.23 c #Conflicts: 1671000 | #Constraints: 63833
2557.68/2565.23 c #Conflicts: 1672000 | #Constraints: 65418
2557.68/2565.23 c #Conflicts: 1673000 | #Constraints: 67006
2557.68/2565.23 c #Conflicts: 1674000 | #Constraints: 68547
2557.68/2565.23 c #Conflicts: 1675000 | #Constraints: 70099
2557.68/2565.23 c #Conflicts: 1676000 | #Constraints: 71660
2557.68/2565.23 c #Conflicts: 1677000 | #Constraints: 73284
2557.68/2565.23 c #Conflicts: 1678000 | #Constraints: 74923
2557.68/2565.23 c #Conflicts: 1679000 | #Constraints: 76504
2557.68/2565.23 c #Conflicts: 1680000 | #Constraints: 78035
2557.68/2565.23 c #Conflicts: 1681000 | #Constraints: 79559
2557.68/2565.23 c #Conflicts: 1682000 | #Constraints: 81072
2557.68/2565.23 c #Conflicts: 1683000 | #Constraints: 82606
2557.68/2565.23 c #Conflicts: 1684000 | #Constraints: 84154
2557.68/2565.23 c #Conflicts: 1685000 | #Constraints: 85699
2557.68/2565.23 c #Conflicts: 1686000 | #Constraints: 87310
2557.68/2565.23 c #Conflicts: 1687000 | #Constraints: 88931
2557.68/2565.23 c #Conflicts: 1688000 | #Constraints: 90507
2557.68/2565.23 c #Conflicts: 1689000 | #Constraints: 92073
2557.68/2565.23 c #Conflicts: 1690000 | #Constraints: 93612
2557.68/2565.23 c #Conflicts: 1691000 | #Constraints: 95193
2557.68/2565.23 c #Conflicts: 1692000 | #Constraints: 96774
2557.68/2565.23 c #Conflicts: 1693000 | #Constraints: 98359
2557.68/2565.23 c #Conflicts: 1694000 | #Constraints: 99885
2557.68/2565.23 c INPROCESSING
2557.68/2565.23 c GARBAGE COLLECT
2557.68/2565.23 c #Conflicts: 1695000 | #Constraints: 66466
2557.68/2565.23 c #Conflicts: 1696000 | #Constraints: 68064
2557.68/2565.23 c #Conflicts: 1697000 | #Constraints: 69645
2557.68/2565.23 c #Conflicts: 1698000 | #Constraints: 71242
2557.68/2565.23 c #Conflicts: 1699000 | #Constraints: 72890
2557.68/2565.23 c #Conflicts: 1700000 | #Constraints: 74452
2557.68/2565.23 c #Conflicts: 1701000 | #Constraints: 75981
2557.68/2565.23 c #Conflicts: 1702000 | #Constraints: 77462
2557.68/2565.23 c #Conflicts: 1703000 | #Constraints: 78974
2557.68/2565.23 c #Conflicts: 1704000 | #Constraints: 80472
2557.68/2565.23 c #Conflicts: 1705000 | #Constraints: 81982
2557.68/2565.23 c #Conflicts: 1706000 | #Constraints: 83493
2557.68/2565.23 c #Conflicts: 1707000 | #Constraints: 85025
2557.68/2565.23 c #Conflicts: 1708000 | #Constraints: 86582
2557.68/2565.23 c #Conflicts: 1709000 | #Constraints: 88158
2557.68/2565.23 c #Conflicts: 1710000 | #Constraints: 89682
2557.68/2565.23 c #Conflicts: 1711000 | #Constraints: 91221
2557.68/2565.23 c #Conflicts: 1712000 | #Constraints: 92763
2557.68/2565.23 c #Conflicts: 1713000 | #Constraints: 94291
2557.68/2565.23 c #Conflicts: 1714000 | #Constraints: 95831
2557.68/2565.23 c #Conflicts: 1715000 | #Constraints: 97441
2557.68/2565.23 c #Conflicts: 1716000 | #Constraints: 99007
2557.68/2565.23 c #Conflicts: 1717000 | #Constraints: 100617
2557.68/2565.23 c #Conflicts: 1718000 | #Constraints: 102183
2557.68/2565.23 c #Conflicts: 1719000 | #Constraints: 103820
2557.68/2565.23 c #Conflicts: 1720000 | #Constraints: 105386
2557.68/2565.23 c INPROCESSING
2557.68/2565.23 c GARBAGE COLLECT
2557.68/2565.23 c #Conflicts: 1721000 | #Constraints: 69073
2557.68/2565.23 c #Conflicts: 1722000 | #Constraints: 70650
2557.68/2565.23 c #Conflicts: 1723000 | #Constraints: 72229
2557.68/2565.23 c #Conflicts: 1724000 | #Constraints: 73783
2557.68/2565.23 c #Conflicts: 1725000 | #Constraints: 75399
2557.68/2565.23 c #Conflicts: 1726000 | #Constraints: 76972
2557.68/2565.23 c #Conflicts: 1727000 | #Constraints: 78559
2557.68/2565.23 c #Conflicts: 1728000 | #Constraints: 80152
2557.68/2565.23 c #Conflicts: 1729000 | #Constraints: 81672
2557.68/2565.23 c #Conflicts: 1730000 | #Constraints: 83246
2557.68/2565.23 c #Conflicts: 1731000 | #Constraints: 84803
2557.68/2565.23 c #Conflicts: 1732000 | #Constraints: 86394
2557.68/2565.23 c #Conflicts: 1733000 | #Constraints: 87914
2557.68/2565.23 c #Conflicts: 1734000 | #Constraints: 89430
2557.68/2565.23 c #Conflicts: 1735000 | #Constraints: 91021
2557.68/2565.23 c #Conflicts: 1736000 | #Constraints: 92587
2557.68/2565.23 c #Conflicts: 1737000 | #Constraints: 94149
2557.68/2565.23 c #Conflicts: 1738000 | #Constraints: 95704
2557.68/2565.23 c #Conflicts: 1739000 | #Constraints: 97234
2557.68/2565.23 c #Conflicts: 1740000 | #Constraints: 98799
2557.68/2565.23 c #Conflicts: 1741000 | #Constraints: 100356
2557.68/2565.23 c #Conflicts: 1742000 | #Constraints: 101869
2557.68/2565.23 c #Conflicts: 1743000 | #Constraints: 103409
2557.68/2565.23 c #Conflicts: 1744000 | #Constraints: 104939
2557.68/2565.23 c #Conflicts: 1745000 | #Constraints: 106504
2557.68/2565.23 c #Conflicts: 1746000 | #Constraints: 108075
2775.01/2783.29 c INPROCESSING
2775.01/2783.29 c GARBAGE COLLECT
2775.01/2783.29 c #Conflicts: 1747000 | #Constraints: 70030
2775.01/2783.29 c #Conflicts: 1748000 | #Constraints: 71549
2775.01/2783.29 c #Conflicts: 1749000 | #Constraints: 73068
2775.01/2783.29 c #Conflicts: 1750000 | #Constraints: 74577
2775.01/2783.29 c #Conflicts: 1751000 | #Constraints: 76115
2775.01/2783.29 c #Conflicts: 1752000 | #Constraints: 77724
2775.01/2783.29 c #Conflicts: 1753000 | #Constraints: 79294
2775.01/2783.29 c #Conflicts: 1754000 | #Constraints: 80934
2775.01/2783.29 c #Conflicts: 1755000 | #Constraints: 82577
2775.01/2783.29 c #Conflicts: 1756000 | #Constraints: 84177
2775.01/2783.29 c #Conflicts: 1757000 | #Constraints: 85742
2775.01/2783.29 c #Conflicts: 1758000 | #Constraints: 87355
2775.01/2783.29 c #Conflicts: 1759000 | #Constraints: 88998
2775.01/2783.29 c #Conflicts: 1760000 | #Constraints: 90578
2775.01/2783.29 c #Conflicts: 1761000 | #Constraints: 92135
2775.01/2783.29 c #Conflicts: 1762000 | #Constraints: 93687
2775.01/2783.29 c #Conflicts: 1763000 | #Constraints: 95312
2775.01/2783.29 c #Conflicts: 1764000 | #Constraints: 96894
2775.01/2783.29 c #Conflicts: 1765000 | #Constraints: 98490
2775.01/2783.29 c #Conflicts: 1766000 | #Constraints: 100087
2775.01/2783.29 c #Conflicts: 1767000 | #Constraints: 101687
2775.01/2783.29 c #Conflicts: 1768000 | #Constraints: 103290
2775.01/2783.29 c #Conflicts: 1769000 | #Constraints: 104876
2775.01/2783.29 c #Conflicts: 1770000 | #Constraints: 106495
2775.01/2783.29 c #Conflicts: 1771000 | #Constraints: 108100
2775.01/2783.29 c #Conflicts: 1772000 | #Constraints: 109693
2775.01/2783.29 c #Conflicts: 1773000 | #Constraints: 111204
2775.01/2783.29 c INPROCESSING
2775.01/2783.29 c GARBAGE COLLECT
2775.01/2783.29 c #Conflicts: 1774000 | #Constraints: 71933
2775.01/2783.29 c #Conflicts: 1775000 | #Constraints: 73541
2775.01/2783.29 c #Conflicts: 1776000 | #Constraints: 75079
2775.01/2783.29 c #Conflicts: 1777000 | #Constraints: 76663
2775.01/2783.29 c #Conflicts: 1778000 | #Constraints: 78262
2775.01/2783.29 c #Conflicts: 1779000 | #Constraints: 79853
2775.01/2783.29 c #Conflicts: 1780000 | #Constraints: 81471
2775.01/2783.29 c #Conflicts: 1781000 | #Constraints: 83080
2775.01/2783.29 c #Conflicts: 1782000 | #Constraints: 84683
2775.01/2783.29 c #Conflicts: 1783000 | #Constraints: 86275
2775.01/2783.29 c #Conflicts: 1784000 | #Constraints: 87870
2775.01/2783.29 c #Conflicts: 1785000 | #Constraints: 89469
2775.01/2783.29 c #Conflicts: 1786000 | #Constraints: 91042
2775.01/2783.29 c #Conflicts: 1787000 | #Constraints: 92633
2775.01/2783.29 c #Conflicts: 1788000 | #Constraints: 94201
2775.01/2783.29 c #Conflicts: 1789000 | #Constraints: 95765
2775.01/2783.29 c #Conflicts: 1790000 | #Constraints: 97288
2775.01/2783.29 c #Conflicts: 1791000 | #Constraints: 98835
2775.01/2783.29 c #Conflicts: 1792000 | #Constraints: 100415
2775.01/2783.29 c #Conflicts: 1793000 | #Constraints: 102018
2775.01/2783.29 c #Conflicts: 1794000 | #Constraints: 103574
2775.01/2783.29 c #Conflicts: 1795000 | #Constraints: 105116
2775.01/2783.29 c #Conflicts: 1796000 | #Constraints: 106655
2775.01/2783.29 c #Conflicts: 1797000 | #Constraints: 108251
2775.01/2783.29 c #Conflicts: 1798000 | #Constraints: 109833
2775.01/2783.29 c #Conflicts: 1799000 | #Constraints: 111408
2775.01/2783.29 c #Conflicts: 1800000 | #Constraints: 112996
2775.01/2783.29 c INPROCESSING
2775.01/2783.29 c GARBAGE COLLECT
2775.01/2783.29 c #Conflicts: 1801000 | #Constraints: 72987
2775.01/2783.29 c #Conflicts: 1802000 | #Constraints: 74513
2775.01/2783.29 c #Conflicts: 1803000 | #Constraints: 76043
2775.01/2783.29 c #Conflicts: 1804000 | #Constraints: 77559
2775.01/2783.29 c #Conflicts: 1805000 | #Constraints: 79078
2775.01/2783.29 c #Conflicts: 1806000 | #Constraints: 80582
2775.01/2783.29 c #Conflicts: 1807000 | #Constraints: 82147
2775.01/2783.29 c #Conflicts: 1808000 | #Constraints: 83774
2775.01/2783.29 c #Conflicts: 1809000 | #Constraints: 85369
2775.01/2783.29 c #Conflicts: 1810000 | #Constraints: 86995
2775.01/2783.29 c #Conflicts: 1811000 | #Constraints: 88557
2775.01/2783.29 c #Conflicts: 1812000 | #Constraints: 90128
2775.01/2783.29 c #Conflicts: 1813000 | #Constraints: 91706
2775.01/2783.29 c #Conflicts: 1814000 | #Constraints: 93262
2775.01/2783.29 c #Conflicts: 1815000 | #Constraints: 94789
2775.01/2783.29 c #Conflicts: 1816000 | #Constraints: 96309
2775.01/2783.29 c #Conflicts: 1817000 | #Constraints: 97899
2775.01/2783.29 c #Conflicts: 1818000 | #Constraints: 99528
2775.01/2783.29 c #Conflicts: 1819000 | #Constraints: 101089
2775.01/2783.29 c #Conflicts: 1820000 | #Constraints: 102610
2775.01/2783.29 c #Conflicts: 1821000 | #Constraints: 104178
2775.01/2783.29 c #Conflicts: 1822000 | #Constraints: 105740
2775.01/2783.29 c #Conflicts: 1823000 | #Constraints: 107323
2981.63/2990.44 c #Conflicts: 1824000 | #Constraints: 108882
2981.63/2990.44 c #Conflicts: 1825000 | #Constraints: 110435
2981.63/2990.44 c #Conflicts: 1826000 | #Constraints: 111963
2981.63/2990.44 c #Conflicts: 1827000 | #Constraints: 113527
2981.63/2990.44 c INPROCESSING
2981.63/2990.44 c GARBAGE COLLECT
2981.63/2990.44 c #Conflicts: 1828000 | #Constraints: 73256
2981.63/2990.44 c #Conflicts: 1829000 | #Constraints: 74840
2981.63/2990.44 c #Conflicts: 1830000 | #Constraints: 76362
2981.63/2990.44 c #Conflicts: 1831000 | #Constraints: 77880
2981.63/2990.44 c #Conflicts: 1832000 | #Constraints: 79439
2981.63/2990.44 c #Conflicts: 1833000 | #Constraints: 80986
2981.63/2990.44 c #Conflicts: 1834000 | #Constraints: 82531
2981.63/2990.44 c #Conflicts: 1835000 | #Constraints: 84103
2981.63/2990.44 c #Conflicts: 1836000 | #Constraints: 85687
2981.63/2990.44 c #Conflicts: 1837000 | #Constraints: 87223
2981.63/2990.44 c #Conflicts: 1838000 | #Constraints: 88761
2981.63/2990.44 c #Conflicts: 1839000 | #Constraints: 90290
2981.63/2990.44 c #Conflicts: 1840000 | #Constraints: 91849
2981.63/2990.44 c #Conflicts: 1841000 | #Constraints: 93429
2981.63/2990.44 c #Conflicts: 1842000 | #Constraints: 95030
2981.63/2990.44 c #Conflicts: 1843000 | #Constraints: 96586
2981.63/2990.44 c #Conflicts: 1844000 | #Constraints: 98133
2981.63/2990.44 c #Conflicts: 1845000 | #Constraints: 99702
2981.63/2990.44 c #Conflicts: 1846000 | #Constraints: 101252
2981.63/2990.44 c #Conflicts: 1847000 | #Constraints: 102777
2981.63/2990.44 c #Conflicts: 1848000 | #Constraints: 104362
2981.63/2990.44 c #Conflicts: 1849000 | #Constraints: 105938
2981.63/2990.44 c #Conflicts: 1850000 | #Constraints: 107476
2981.63/2990.44 c #Conflicts: 1851000 | #Constraints: 109009
2981.63/2990.44 c #Conflicts: 1852000 | #Constraints: 110547
2981.63/2990.44 c #Conflicts: 1853000 | #Constraints: 112130
2981.63/2990.44 c #Conflicts: 1854000 | #Constraints: 113690
2981.63/2990.44 c INPROCESSING
2981.63/2990.44 c GARBAGE COLLECT
2981.63/2990.44 c #Conflicts: 1855000 | #Constraints: 73156
2981.63/2990.44 c #Conflicts: 1856000 | #Constraints: 74698
2981.63/2990.44 c #Conflicts: 1857000 | #Constraints: 76233
2981.63/2990.44 c #Conflicts: 1858000 | #Constraints: 77773
2981.63/2990.44 c #Conflicts: 1859000 | #Constraints: 79347
2981.63/2990.44 c #Conflicts: 1860000 | #Constraints: 80870
2981.63/2990.44 c #Conflicts: 1861000 | #Constraints: 82386
2981.63/2990.44 c #Conflicts: 1862000 | #Constraints: 83949
2981.63/2990.44 c #Conflicts: 1863000 | #Constraints: 85491
2981.63/2990.44 c #Conflicts: 1864000 | #Constraints: 87032
2981.63/2990.44 c #Conflicts: 1865000 | #Constraints: 88567
2981.63/2990.44 c #Conflicts: 1866000 | #Constraints: 90108
2981.63/2990.44 c #Conflicts: 1867000 | #Constraints: 91686
2981.63/2990.44 c #Conflicts: 1868000 | #Constraints: 93254
2981.63/2990.44 c #Conflicts: 1869000 | #Constraints: 94832
2981.63/2990.44 c #Conflicts: 1870000 | #Constraints: 96380
2981.63/2990.44 c #Conflicts: 1871000 | #Constraints: 97958
2981.63/2990.44 c #Conflicts: 1872000 | #Constraints: 99535
2981.63/2990.44 c #Conflicts: 1873000 | #Constraints: 101127
2981.63/2990.44 c #Conflicts: 1874000 | #Constraints: 102671
2981.63/2990.44 c #Conflicts: 1875000 | #Constraints: 104245
2981.63/2990.44 c #Conflicts: 1876000 | #Constraints: 105850
2981.63/2990.44 c #Conflicts: 1877000 | #Constraints: 107450
2981.63/2990.44 c #Conflicts: 1878000 | #Constraints: 108992
2981.63/2990.44 c #Conflicts: 1879000 | #Constraints: 110519
2981.63/2990.44 c #Conflicts: 1880000 | #Constraints: 112065
2981.63/2990.44 c #Conflicts: 1881000 | #Constraints: 113660
2981.63/2990.44 c INPROCESSING
2981.63/2990.44 c GARBAGE COLLECT
2981.63/2990.44 c #Conflicts: 1882000 | #Constraints: 72845
2981.63/2990.44 c #Conflicts: 1883000 | #Constraints: 74397
2981.63/2990.44 c #Conflicts: 1884000 | #Constraints: 75928
2981.63/2990.44 c #Conflicts: 1885000 | #Constraints: 77467
2981.63/2990.44 c #Conflicts: 1886000 | #Constraints: 78989
2981.63/2990.44 c #Conflicts: 1887000 | #Constraints: 80530
2981.63/2990.44 c #Conflicts: 1888000 | #Constraints: 82038
2981.63/2990.44 c #Conflicts: 1889000 | #Constraints: 83580
2981.63/2990.44 c #Conflicts: 1890000 | #Constraints: 85115
2981.63/2990.44 c #Conflicts: 1891000 | #Constraints: 86628
2981.63/2990.44 c #Conflicts: 1892000 | #Constraints: 88175
2981.63/2990.44 c #Conflicts: 1893000 | #Constraints: 89752
2981.63/2990.44 c #Conflicts: 1894000 | #Constraints: 91317
2981.63/2990.44 c #Conflicts: 1895000 | #Constraints: 92873
2981.63/2990.44 c #Conflicts: 1896000 | #Constraints: 94456
2981.63/2990.44 c #Conflicts: 1897000 | #Constraints: 96019
2981.63/2990.44 c #Conflicts: 1898000 | #Constraints: 97571
2981.63/2990.44 c #Conflicts: 1899000 | #Constraints: 99126
2981.63/2990.44 c #Conflicts: 1900000 | #Constraints: 100701
3178.08/3187.48 c #Conflicts: 1901000 | #Constraints: 102266
3178.08/3187.48 c #Conflicts: 1902000 | #Constraints: 103819
3178.08/3187.48 c #Conflicts: 1903000 | #Constraints: 105379
3178.08/3187.48 c #Conflicts: 1904000 | #Constraints: 106976
3178.08/3187.48 c #Conflicts: 1905000 | #Constraints: 108583
3178.08/3187.48 c #Conflicts: 1906000 | #Constraints: 110154
3178.08/3187.48 c #Conflicts: 1907000 | #Constraints: 111712
3178.08/3187.48 c #Conflicts: 1908000 | #Constraints: 113250
3178.08/3187.48 c #Conflicts: 1909000 | #Constraints: 114775
3178.08/3187.48 c INPROCESSING
3178.08/3187.48 c GARBAGE COLLECT
3178.08/3187.48 c #Conflicts: 1910000 | #Constraints: 73759
3178.08/3187.48 c #Conflicts: 1911000 | #Constraints: 75360
3178.08/3187.48 c #Conflicts: 1912000 | #Constraints: 76977
3178.08/3187.48 c #Conflicts: 1913000 | #Constraints: 78576
3178.08/3187.48 c #Conflicts: 1914000 | #Constraints: 80150
3178.08/3187.48 c #Conflicts: 1915000 | #Constraints: 81720
3178.08/3187.48 c #Conflicts: 1916000 | #Constraints: 83320
3178.08/3187.48 c #Conflicts: 1917000 | #Constraints: 84846
3178.08/3187.48 c #Conflicts: 1918000 | #Constraints: 86391
3178.08/3187.48 c #Conflicts: 1919000 | #Constraints: 87886
3178.08/3187.48 c #Conflicts: 1920000 | #Constraints: 89431
3178.08/3187.48 c #Conflicts: 1921000 | #Constraints: 90976
3178.08/3187.48 c #Conflicts: 1922000 | #Constraints: 92512
3178.08/3187.48 c #Conflicts: 1923000 | #Constraints: 94070
3178.08/3187.48 c #Conflicts: 1924000 | #Constraints: 95621
3178.08/3187.48 c #Conflicts: 1925000 | #Constraints: 97199
3178.08/3187.48 c #Conflicts: 1926000 | #Constraints: 98758
3178.08/3187.48 c #Conflicts: 1927000 | #Constraints: 100350
3178.08/3187.48 c #Conflicts: 1928000 | #Constraints: 101904
3178.08/3187.48 c #Conflicts: 1929000 | #Constraints: 103467
3178.08/3187.48 c #Conflicts: 1930000 | #Constraints: 105035
3178.08/3187.48 c #Conflicts: 1931000 | #Constraints: 106579
3178.08/3187.48 c #Conflicts: 1932000 | #Constraints: 108106
3178.08/3187.48 c #Conflicts: 1933000 | #Constraints: 109641
3178.08/3187.48 c #Conflicts: 1934000 | #Constraints: 111173
3178.08/3187.48 c #Conflicts: 1935000 | #Constraints: 112715
3178.08/3187.48 c #Conflicts: 1936000 | #Constraints: 114310
3178.08/3187.48 c #Conflicts: 1937000 | #Constraints: 115886
3178.08/3187.48 c INPROCESSING
3178.08/3187.48 c GARBAGE COLLECT
3178.08/3187.48 c #Conflicts: 1938000 | #Constraints: 74411
3178.08/3187.48 c #Conflicts: 1939000 | #Constraints: 75973
3178.08/3187.48 c #Conflicts: 1940000 | #Constraints: 77533
3178.08/3187.48 c #Conflicts: 1941000 | #Constraints: 79074
3178.08/3187.48 c #Conflicts: 1942000 | #Constraints: 80610
3178.08/3187.48 c #Conflicts: 1943000 | #Constraints: 82177
3178.08/3187.48 c #Conflicts: 1944000 | #Constraints: 83709
3178.08/3187.48 c #Conflicts: 1945000 | #Constraints: 85261
3178.08/3187.48 c #Conflicts: 1946000 | #Constraints: 86804
3178.08/3187.48 c #Conflicts: 1947000 | #Constraints: 88341
3178.08/3187.48 c #Conflicts: 1948000 | #Constraints: 89864
3178.08/3187.48 c #Conflicts: 1949000 | #Constraints: 91402
3178.08/3187.48 c #Conflicts: 1950000 | #Constraints: 92928
3178.08/3187.48 c #Conflicts: 1951000 | #Constraints: 94471
3178.08/3187.48 c #Conflicts: 1952000 | #Constraints: 96027
3178.08/3187.48 c #Conflicts: 1953000 | #Constraints: 97566
3178.08/3187.48 c #Conflicts: 1954000 | #Constraints: 99075
3178.08/3187.48 c #Conflicts: 1955000 | #Constraints: 100615
3178.08/3187.48 c #Conflicts: 1956000 | #Constraints: 102122
3178.08/3187.48 c #Conflicts: 1957000 | #Constraints: 103685
3178.08/3187.48 c #Conflicts: 1958000 | #Constraints: 105228
3178.08/3187.48 c #Conflicts: 1959000 | #Constraints: 106772
3178.08/3187.48 c #Conflicts: 1960000 | #Constraints: 108331
3178.08/3187.48 c #Conflicts: 1961000 | #Constraints: 109869
3178.08/3187.48 c #Conflicts: 1962000 | #Constraints: 111434
3178.08/3187.48 c #Conflicts: 1963000 | #Constraints: 112957
3178.08/3187.48 c #Conflicts: 1964000 | #Constraints: 114456
3178.08/3187.48 c #Conflicts: 1965000 | #Constraints: 115994
3178.08/3187.48 c INPROCESSING
3178.08/3187.48 c GARBAGE COLLECT
3178.08/3187.48 c #Conflicts: 1966000 | #Constraints: 74470
3178.08/3187.48 c #Conflicts: 1967000 | #Constraints: 76009
3178.08/3187.48 c #Conflicts: 1968000 | #Constraints: 77543
3178.08/3187.48 c #Conflicts: 1969000 | #Constraints: 79078
3178.08/3187.48 c #Conflicts: 1970000 | #Constraints: 80612
3178.08/3187.48 c #Conflicts: 1971000 | #Constraints: 82144
3178.08/3187.48 c #Conflicts: 1972000 | #Constraints: 83675
3178.08/3187.48 c #Conflicts: 1973000 | #Constraints: 85165
3178.08/3187.48 c #Conflicts: 1974000 | #Constraints: 86698
3178.08/3187.48 c #Conflicts: 1975000 | #Constraints: 88208
3178.08/3187.48 c #Conflicts: 1976000 | #Constraints: 89721
3188.54/3197.96 c #Conflicts: 1977000 | #Constraints: 91248
3188.54/3197.96 c #Conflicts: 1978000 | #Constraints: 92764
3188.54/3197.96 c #Conflicts: 1979000 | #Constraints: 94298
3188.54/3197.96 c #Conflicts: 1980000 | #Constraints: 95796
3188.54/3197.96 c GLOBAL bounds - >= 0 @ 3164.64
3188.54/3197.97 c GLOBAL bounds - >= 0 @ 3164.64
3396.86/3406.82 c #Conflicts: 1981000 | #Constraints: 97303
3396.86/3406.82 c #Conflicts: 1982000 | #Constraints: 98856
3396.86/3406.82 c #Conflicts: 1983000 | #Constraints: 100425
3396.86/3406.82 c #Conflicts: 1984000 | #Constraints: 101992
3396.86/3406.82 c #Conflicts: 1985000 | #Constraints: 103608
3396.86/3406.82 c #Conflicts: 1986000 | #Constraints: 105242
3396.86/3406.82 c #Conflicts: 1987000 | #Constraints: 106858
3396.86/3406.82 c #Conflicts: 1988000 | #Constraints: 108400
3396.86/3406.82 c #Conflicts: 1989000 | #Constraints: 110017
3396.86/3406.82 c #Conflicts: 1990000 | #Constraints: 111634
3396.86/3406.82 c #Conflicts: 1991000 | #Constraints: 113231
3396.86/3406.82 c #Conflicts: 1992000 | #Constraints: 114844
3396.86/3406.82 c #Conflicts: 1993000 | #Constraints: 116482
3396.86/3406.82 c INPROCESSING
3396.86/3406.82 c GARBAGE COLLECT
3396.86/3406.82 c #Conflicts: 1994000 | #Constraints: 74614
3396.86/3406.82 c #Conflicts: 1995000 | #Constraints: 76269
3396.86/3406.82 c #Conflicts: 1996000 | #Constraints: 77914
3396.86/3406.82 c #Conflicts: 1997000 | #Constraints: 79573
3396.86/3406.82 c #Conflicts: 1998000 | #Constraints: 81222
3396.86/3406.82 c #Conflicts: 1999000 | #Constraints: 82772
3396.86/3406.82 c #Conflicts: 2000000 | #Constraints: 84387
3396.86/3406.82 c #Conflicts: 2001000 | #Constraints: 86008
3396.86/3406.82 c #Conflicts: 2002000 | #Constraints: 87679
3396.86/3406.82 c #Conflicts: 2003000 | #Constraints: 89346
3396.86/3406.82 c #Conflicts: 2004000 | #Constraints: 90986
3396.86/3406.82 c #Conflicts: 2005000 | #Constraints: 92586
3396.86/3406.82 c #Conflicts: 2006000 | #Constraints: 94226
3396.86/3406.82 c #Conflicts: 2007000 | #Constraints: 95785
3396.86/3406.82 c #Conflicts: 2008000 | #Constraints: 97356
3396.86/3406.82 c #Conflicts: 2009000 | #Constraints: 98909
3396.86/3406.82 c #Conflicts: 2010000 | #Constraints: 100471
3396.86/3406.82 c #Conflicts: 2011000 | #Constraints: 102118
3396.86/3406.82 c #Conflicts: 2012000 | #Constraints: 103778
3396.86/3406.82 c #Conflicts: 2013000 | #Constraints: 105398
3396.86/3406.82 c #Conflicts: 2014000 | #Constraints: 106990
3396.86/3406.82 c #Conflicts: 2015000 | #Constraints: 108581
3396.86/3406.82 c #Conflicts: 2016000 | #Constraints: 110119
3396.86/3406.82 c #Conflicts: 2017000 | #Constraints: 111706
3396.86/3406.82 c #Conflicts: 2018000 | #Constraints: 113290
3396.86/3406.82 c #Conflicts: 2019000 | #Constraints: 114929
3396.86/3406.82 c #Conflicts: 2020000 | #Constraints: 116516
3396.86/3406.82 c #Conflicts: 2021000 | #Constraints: 118140
3396.86/3406.82 c INPROCESSING
3396.86/3406.82 c GARBAGE COLLECT
3396.86/3406.82 c #Conflicts: 2022000 | #Constraints: 75131
3396.86/3406.82 c #Conflicts: 2023000 | #Constraints: 76709
3396.86/3406.82 c #Conflicts: 2024000 | #Constraints: 78317
3396.86/3406.82 c #Conflicts: 2025000 | #Constraints: 79877
3396.86/3406.82 c #Conflicts: 2026000 | #Constraints: 81367
3396.86/3406.82 c #Conflicts: 2027000 | #Constraints: 82916
3396.86/3406.82 c #Conflicts: 2028000 | #Constraints: 84541
3396.86/3406.82 c #Conflicts: 2029000 | #Constraints: 86155
3396.86/3406.82 c #Conflicts: 2030000 | #Constraints: 87713
3396.86/3406.82 c #Conflicts: 2031000 | #Constraints: 89340
3396.86/3406.82 c #Conflicts: 2032000 | #Constraints: 90964
3396.86/3406.82 c #Conflicts: 2033000 | #Constraints: 92605
3396.86/3406.82 c #Conflicts: 2034000 | #Constraints: 94204
3396.86/3406.82 c #Conflicts: 2035000 | #Constraints: 95848
3396.86/3406.82 c #Conflicts: 2036000 | #Constraints: 97465
3396.86/3406.82 c #Conflicts: 2037000 | #Constraints: 99053
3396.86/3406.82 c #Conflicts: 2038000 | #Constraints: 100668
3396.86/3406.82 c #Conflicts: 2039000 | #Constraints: 102334
3396.86/3406.82 c #Conflicts: 2040000 | #Constraints: 103964
3396.86/3406.82 c #Conflicts: 2041000 | #Constraints: 105563
3396.86/3406.82 c #Conflicts: 2042000 | #Constraints: 107138
3396.86/3406.82 c #Conflicts: 2043000 | #Constraints: 108770
3396.86/3406.82 c #Conflicts: 2044000 | #Constraints: 110426
3396.86/3406.82 c #Conflicts: 2045000 | #Constraints: 112060
3396.86/3406.82 c #Conflicts: 2046000 | #Constraints: 113686
3396.86/3406.82 c #Conflicts: 2047000 | #Constraints: 115315
3396.86/3406.82 c #Conflicts: 2048000 | #Constraints: 116943
3396.86/3406.82 c #Conflicts: 2049000 | #Constraints: 118564
3396.86/3406.82 c #Conflicts: 2050000 | #Constraints: 120194
3396.86/3406.82 c INPROCESSING
3396.86/3406.82 c GARBAGE COLLECT
3396.86/3406.82 c #Conflicts: 2051000 | #Constraints: 76439
3396.86/3406.82 c #Conflicts: 2052000 | #Constraints: 78037
3396.86/3406.82 c #Conflicts: 2053000 | #Constraints: 79653
3396.86/3406.82 c #Conflicts: 2054000 | #Constraints: 81254
3396.86/3406.82 c #Conflicts: 2055000 | #Constraints: 82886
3396.86/3406.82 c #Conflicts: 2056000 | #Constraints: 84507
3396.86/3406.82 c #Conflicts: 2057000 | #Constraints: 86118
3600.08/3610.60 c #Conflicts: 2058000 | #Constraints: 87709
3600.08/3610.60 c #Conflicts: 2059000 | #Constraints: 89302
3600.08/3610.60 c #Conflicts: 2060000 | #Constraints: 90853
3600.08/3610.60 c #Conflicts: 2061000 | #Constraints: 92433
3600.08/3610.60 c #Conflicts: 2062000 | #Constraints: 94034
3600.08/3610.60 c #Conflicts: 2063000 | #Constraints: 95642
3600.08/3610.60 c #Conflicts: 2064000 | #Constraints: 97260
3600.08/3610.60 c #Conflicts: 2065000 | #Constraints: 98876
3600.08/3610.60 c #Conflicts: 2066000 | #Constraints: 100470
3600.08/3610.60 c #Conflicts: 2067000 | #Constraints: 102066
3600.08/3610.60 c #Conflicts: 2068000 | #Constraints: 103638
3600.08/3610.60 c #Conflicts: 2069000 | #Constraints: 105211
3600.08/3610.60 c #Conflicts: 2070000 | #Constraints: 106804
3600.08/3610.60 c #Conflicts: 2071000 | #Constraints: 108390
3600.08/3610.60 c #Conflicts: 2072000 | #Constraints: 109965
3600.08/3610.60 c #Conflicts: 2073000 | #Constraints: 111549
3600.08/3610.60 c #Conflicts: 2074000 | #Constraints: 113163
3600.08/3610.60 c #Conflicts: 2075000 | #Constraints: 114824
3600.08/3610.60 c #Conflicts: 2076000 | #Constraints: 116418
3600.08/3610.60 c #Conflicts: 2077000 | #Constraints: 118026
3600.08/3610.60 c #Conflicts: 2078000 | #Constraints: 119629
3600.08/3610.60 c #Conflicts: 2079000 | #Constraints: 121243
3600.08/3610.60 c INPROCESSING
3600.08/3610.60 c GARBAGE COLLECT
3600.08/3610.60 c #Conflicts: 2080000 | #Constraints: 77147
3600.08/3610.60 c #Conflicts: 2081000 | #Constraints: 78747
3600.08/3610.60 c #Conflicts: 2082000 | #Constraints: 80371
3600.08/3610.60 c #Conflicts: 2083000 | #Constraints: 81952
3600.08/3610.60 c #Conflicts: 2084000 | #Constraints: 83532
3600.08/3610.60 c #Conflicts: 2085000 | #Constraints: 85091
3600.08/3610.60 c #Conflicts: 2086000 | #Constraints: 86673
3600.08/3610.60 c #Conflicts: 2087000 | #Constraints: 88229
3600.08/3610.60 c #Conflicts: 2088000 | #Constraints: 89769
3600.08/3610.60 c #Conflicts: 2089000 | #Constraints: 91319
3600.08/3610.60 c #Conflicts: 2090000 | #Constraints: 92855
3600.08/3610.60 c #Conflicts: 2091000 | #Constraints: 94420
3600.08/3610.60 c #Conflicts: 2092000 | #Constraints: 95980
3600.08/3610.60 c #Conflicts: 2093000 | #Constraints: 97543
3600.08/3610.60 c #Conflicts: 2094000 | #Constraints: 99130
3600.08/3610.60 c #Conflicts: 2095000 | #Constraints: 100731
3600.08/3610.60 c #Conflicts: 2096000 | #Constraints: 102340
3600.08/3610.60 c #Conflicts: 2097000 | #Constraints: 103911
3600.08/3610.60 c #Conflicts: 2098000 | #Constraints: 105458
3600.08/3610.60 c #Conflicts: 2099000 | #Constraints: 107042
3600.08/3610.60 c #Conflicts: 2100000 | #Constraints: 108633
3600.08/3610.60 c #Conflicts: 2101000 | #Constraints: 110222
3600.08/3610.60 c #Conflicts: 2102000 | #Constraints: 111803
3600.08/3610.60 c #Conflicts: 2103000 | #Constraints: 113337
3600.08/3610.60 c #Conflicts: 2104000 | #Constraints: 114912
3600.08/3610.60 c #Conflicts: 2105000 | #Constraints: 116529
3600.08/3610.60 c #Conflicts: 2106000 | #Constraints: 118082
3600.08/3610.60 c #Conflicts: 2107000 | #Constraints: 119658
3600.08/3610.60 c #Conflicts: 2108000 | #Constraints: 121251
3600.08/3610.60 c INPROCESSING
3600.08/3610.60 c GARBAGE COLLECT
3600.08/3610.60 c #Conflicts: 2109000 | #Constraints: 77153
3600.08/3610.60 c #Conflicts: 2110000 | #Constraints: 78736
3600.08/3610.60 c #Conflicts: 2111000 | #Constraints: 80330
3600.08/3610.60 c #Conflicts: 2112000 | #Constraints: 81900
3600.08/3610.60 c #Conflicts: 2113000 | #Constraints: 83457
3600.08/3610.60 c #Conflicts: 2114000 | #Constraints: 85005
3600.08/3610.60 c #Conflicts: 2115000 | #Constraints: 86598
3600.08/3610.60 c #Conflicts: 2116000 | #Constraints: 88191
3600.08/3610.60 c #Conflicts: 2117000 | #Constraints: 89764
3600.08/3610.60 c #Conflicts: 2118000 | #Constraints: 91347
3600.08/3610.60 c #Conflicts: 2119000 | #Constraints: 92930
3600.08/3610.60 c #Conflicts: 2120000 | #Constraints: 94484
3600.08/3610.60 c #Conflicts: 2121000 | #Constraints: 96069
3600.08/3610.60 c #Conflicts: 2122000 | #Constraints: 97582
3600.08/3610.60 c #Conflicts: 2123000 | #Constraints: 99145
3600.08/3610.60 c #Conflicts: 2124000 | #Constraints: 100752
3600.08/3610.60 c #Conflicts: 2125000 | #Constraints: 102352
3600.08/3610.60 c #Conflicts: 2126000 | #Constraints: 103890
3600.08/3610.60 c #Conflicts: 2127000 | #Constraints: 105446
3600.08/3610.60 c #Conflicts: 2128000 | #Constraints: 106992
3600.08/3610.60 c #Conflicts: 2129000 | #Constraints: 108585
3600.08/3610.60 c #Conflicts: 2130000 | #Constraints: 110146
3600.08/3610.60 c #Conflicts: 2131000 | #Constraints: 111669
3600.08/3610.60 c #Conflicts: 2132000 | #Constraints: 113223
3600.08/3610.60 c Disabling crashed LP
3600.08/3610.60 c cpu time 3573.4 s
3600.08/3610.60 c deterministic time 18010615816 1.80e+10
3600.08/3610.60 c optimization time 65.0668 s
3600.08/3610.60 c total solve time 3507.98 s
3600.08/3610.60 c core-guided solve time 0 s
3600.08/3610.60 c propagation time 2330.75 s
3600.08/3610.60 c conflict analysis time 60.1719 s
3600.08/3610.60 c propagations 92102485
3600.08/3610.60 c resolve steps 20239715
3600.08/3610.60 c decisions 3160839
3600.08/3610.60 c conflicts 2132697
3600.08/3610.60 c restarts 4092
3600.08/3610.60 c inprocessing phases 136
3600.08/3610.60 c garbage collections 135 ,( 99.26 )
3600.08/3610.60 c input clauses 28445 ,( 96.00 )
3600.08/3610.60 c input cardinalities 288 ,( 0.97 )
3600.08/3610.60 c input general constraints 896 ,( 3.02 )
3600.08/3610.60 c input average constraint length 3.52
3600.08/3610.60 c input average constraint degree 1.54
3600.08/3610.60 c learned clauses 1772351 ,( 73.34 )
3600.08/3610.60 c learned cardinalities 79188 ,( 3.28 )
3600.08/3610.60 c learned general constraints 565085 ,( 23.38 )
3600.08/3610.60 c learned average constraint length 45.48
3600.08/3610.60 c learned average constraint degree 1129742503.87
3600.08/3610.60 c watched CF 32, 64, 128, Arb: 281314 , 0 , 0 , 0
3600.08/3610.60 c counting CF 32, 64, 128, Arb: 284668 , 0 , 0 , 0
3600.08/3610.60 c watched constraints 281314 ,( 49.70 )
3600.08/3610.60 c counting constraints 284667 ,( 50.30 )
3600.08/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1219772983 , 1617477466 , 200653051 ,( 197992631 , 2660420 )
3600.08/3610.60 c gcd simplifications 18747
3600.08/3610.60 c detected cardinalities 2128
3600.08/3610.60 c weakened non-implied lits 23480808
3600.08/3610.60 c weakened non-implying lits 4111
3600.08/3610.60 c original variables 9632
3600.08/3610.60 c clausal propagations 72452538
3600.08/3610.60 c cardinality propagations 12835754
3600.08/3610.60 c watched propagations 3122195
3600.08/3610.60 c counting propagations 1047999
3600.08/3610.60 c watch lookups 7207840355
3600.08/3610.60 c watch backjump lookups 0
3600.08/3610.60 c watch checks 9167687462
3600.08/3610.60 c propagation checks 1143838448
3600.08/3610.60 c constraint additions 295225962
3600.08/3610.60 c trail pops 97394745
3600.08/3610.60 c formula constraints 29620
3600.08/3610.60 c learned constraints 2132687
3600.08/3610.60 c bound constraints 0
3600.08/3610.60 c core-guided constraints 0
3600.08/3610.60 c encountered formula constraints 11570572
3600.08/3610.60 c encountered learned constraints 9260152
3600.08/3610.60 c encountered bound constraints 0
3600.08/3610.60 c encountered core-guided constraints 0
3600.08/3610.60 c LP total time 3205.85 s
3600.08/3610.60 c LP solve time 2821.94 s
3600.08/3610.60 c LP constraints added 47242
3600.08/3610.60 c LP constraints removed 17193
3600.08/3610.60 c LP pivots internal 1671365
3600.08/3610.60 c LP pivots root 1694154
3600.08/3610.60 c LP calls 279762
3600.08/3610.60 c LP optimalities 200
3600.08/3610.60 c LP no pivot count 0
3600.08/3610.60 c LP infeasibilities 279551
3600.08/3610.60 c LP valid Farkas constraints 279551
3600.08/3610.60 c LP learned Farkas constraints 10
3600.08/3610.60 c LP basis resets 3
3600.08/3610.60 c LP cycling count 0
3600.08/3610.60 c LP singular count 3
3600.08/3610.60 c LP no primal count 0
3600.08/3610.60 c LP no farkas count 0
3600.08/3610.60 c LP other issue count 0
3600.08/3610.60 c LP Gomory cuts 4376
3600.08/3610.60 c LP learned cuts 13246
3600.08/3610.60 c LP deleted cuts 17193
3600.08/3610.60 c LP encountered Gomory constraints 1540322
3600.08/3610.60 c LP encountered Farkas constraints 1347
3600.08/3610.60 c LP encountered learned Farkas constraints 9
3600.08/3610.60 c CG auxiliary variables introduced 10
3600.08/3610.60 c CG solutions found 0
3600.08/3610.60 c CG cores constructed 9
3600.08/3610.60 c CG core cardinality constraints returned 0
3600.08/3610.60 c CG unit cores 0
3600.08/3610.60 c CG single cores 0
3600.08/3610.60 c CG blocks removed during cardinality reduction 0
3600.08/3610.60 c CG first core best 0
3600.08/3610.60 c CG decision core best 0
3600.08/3610.60 c CG core reduction tie 0
3600.08/3610.60 c CG core degree average 0.00
3600.08/3610.60 c CG core slack average 0.00
3600.08/3610.60 c CG core upper bound improvements 0
3600.08/3610.60 c STR number of successful calls 0
3600.08/3610.60 c STR number of unsuccessful calls 0
3600.08/3610.60 c STR number of inconclusive calls 0
3600.08/3610.60 c STR number of successful attempts 0
3600.08/3610.60 c STR number of unsuccessful attempts 0
3600.08/3610.60 c STR number of inconclusive attempts 0
3600.08/3610.60 c STR average degree increase per successful call inf
3600.08/3610.60 c STR average degree increase per successful attempt inf
3600.08/3610.60 c STR total number of conflicts for successful attempts 0
3600.08/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.60 c STR average number of conflicts per successful attempt inf
3600.08/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.60 c AVG.sumWPerc 36.81
3600.08/3610.60 c bigint constraints 0
3600.08/3610.60 s UNKNOWN
3600.08/3610.60 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: 63837 MiB (63038 MiB free)
memory of node 1: 64465 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508183-1751514781/watcher-4508183-1751514781 -o /tmp/evaluation-result-4508183-1751514781/solver-4508183-1751514781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508183-1751514781.opb PROOFDIR/proof-4508183-1751514781
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82301, runsolver pid=82286
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.41 3.47 3.91 8/258 82307
/proc/meminfo: memFree=129900292/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=57832 memory=11008 CPUtime=0.05 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 1026 0 0 0 4 1 0 0 20 0 1 0 67157309 59219968 2752 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 14458 2752 1952 1147 0 1885 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 62024 KiB
Current children cumulated memory: 14080 KiB
[startup+0.214649 s]*
/proc/loadavg: 1.41 3.47 3.91 8/258 82307
/proc/meminfo: memFree=129896012/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=59452 memory=12924 CPUtime=0.16 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 1543 0 0 0 12 4 0 0 20 0 1 0 67157309 60878848 3231 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 14863 3231 1952 1147 0 2290 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63644 KiB
Current children cumulated memory: 15996 KiB
[startup+0.313521 s]*
/proc/loadavg: 1.41 3.47 3.91 7/255 82307
/proc/meminfo: memFree=129894100/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=60280 memory=14460 CPUtime=0.25 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 1978 0 0 0 20 5 0 0 20 0 1 0 67157309 61726720 3615 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 15070 3615 1952 1147 0 2497 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 64472 KiB
Current children cumulated memory: 17532 KiB
[startup+0.700359 s]
/proc/loadavg: 1.41 3.47 3.91 6/253 82315
/proc/meminfo: memFree=129847048/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=106952 memory=56612 CPUtime=0.63 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 9869 0 0 0 51 12 0 0 20 0 1 0 67157309 109518848 14153 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 26738 14153 2336 1147 0 14165 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 59684 KiB
[startup+1.50036 s]
/proc/loadavg: 1.41 3.47 3.91 6/253 82315
/proc/meminfo: memFree=129808952/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=106952 memory=57380 CPUtime=1.41 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 9980 0 0 0 122 19 0 0 20 0 1 0 67157309 109518848 14345 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 26738 14345 2400 1147 0 14165 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 60452 KiB
[startup+3.11356 s]
/proc/loadavg: 1.61 3.48 3.91 7/256 82368
/proc/meminfo: memFree=129764160/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=112036 memory=61988 CPUtime=3.01 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 11159 0 0 0 278 23 0 0 20 0 1 0 67157309 114724864 15497 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 28009 15497 2400 1147 0 15436 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 116228 KiB
Current children cumulated memory: 65060 KiB
[startup+6.30038 s]
/proc/loadavg: 1.61 3.48 3.91 7/258 82448
/proc/meminfo: memFree=129754952/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=113704 memory=65748 CPUtime=6.18 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 11641 0 0 0 590 28 0 0 20 0 1 0 67157309 116432896 16437 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 28426 16437 2400 1147 0 15853 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 117896 KiB
Current children cumulated memory: 68820 KiB
[startup+12.7004 s]
/proc/loadavg: 1.98 3.50 3.91 7/258 82448
/proc/meminfo: memFree=129667716/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=121844 memory=73812 CPUtime=12.57 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 13730 0 0 0 1221 36 0 0 20 0 1 0 67157309 124768256 18453 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 30461 18453 2400 1147 0 17888 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 126036 KiB
Current children cumulated memory: 76884 KiB
[startup+25.5004 s]
/proc/loadavg: 2.29 3.51 3.91 7/258 82448
/proc/meminfo: memFree=129546292/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=122836 memory=74836 CPUtime=25.33 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 13979 0 0 0 2484 49 0 0 20 0 1 0 67157309 125784064 18709 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 30709 18709 2400 1147 0 18136 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 127028 KiB
Current children cumulated memory: 77908 KiB
[startup+51.1135 s]
/proc/loadavg: 2.88 3.55 3.91 7/257 82448
/proc/meminfo: memFree=129351812/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=126128 memory=77652 CPUtime=50.87 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 14684 0 0 0 5015 72 0 0 20 0 1 0 67157309 129155072 19413 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 31532 19413 2400 1147 0 18959 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 130320 KiB
Current children cumulated memory: 80724 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 3.69 3.94 7/259 82455
/proc/meminfo: memFree=128996972/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=127292 memory=84104 CPUtime=101.9 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 15082 0 0 0 10070 120 0 0 20 0 1 0 67157309 130347008 21026 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 31823 21026 2400 1147 0 19250 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 131484 KiB
Current children cumulated memory: 87176 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.78 3.96 7/260 82458
/proc/meminfo: memFree=128628740/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=129292 memory=85128 CPUtime=161.73 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 15338 0 0 0 16003 170 0 0 20 0 1 0 67157309 132395008 21282 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 32323 21282 2400 1147 0 19750 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 133484 KiB
Current children cumulated memory: 88200 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.84 3.97 7/260 82460
/proc/meminfo: memFree=128330344/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=132312 memory=85640 CPUtime=221.58 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 15527 0 0 0 21935 223 0 0 20 0 1 0 67157309 135487488 21410 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 33078 21410 2400 1147 0 20505 0
################
# More data... #
################
/proc/82307/statm: 52947 41163 2528 1147 0 40374 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 215980 KiB
Current children cumulated memory: 167724 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/258 82896
/proc/meminfo: memFree=110325180/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=212180 memory=165036 CPUtime=3093.21 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 30591 0 0 0 306985 2336 0 0 20 0 1 0 67157309 217272320 41259 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 53045 41259 2528 1147 0 40472 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 216372 KiB
Current children cumulated memory: 168108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/258 82898
/proc/meminfo: memFree=110051780/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=212180 memory=165036 CPUtime=3153.05 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 30591 0 0 0 312934 2371 0 0 20 0 1 0 67157309 217272320 41259 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 53045 41259 2528 1147 0 40472 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 216372 KiB
Current children cumulated memory: 168108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/259 82901
/proc/meminfo: memFree=109801728/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=212424 memory=165292 CPUtime=3212.88 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 30653 0 0 0 318874 2414 0 0 20 0 1 0 67157309 217522176 41323 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 53106 41323 2528 1147 0 40533 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 216616 KiB
Current children cumulated memory: 168364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/259 82903
/proc/meminfo: memFree=109529552/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=212644 memory=165548 CPUtime=3272.71 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 30708 0 0 0 324816 2455 0 0 20 0 1 0 67157309 217747456 41387 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 53161 41387 2528 1147 0 40588 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 168620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/259 82905
/proc/meminfo: memFree=109297800/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=239848 memory=183232 CPUtime=3332.54 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 34615 0 0 0 330756 2498 0 0 20 0 1 0 67157309 245604352 45808 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 59962 45808 2528 1147 0 47389 0
Current children cumulated CPU time: 3332.54 s
Current children cumulated vsize: 244040 KiB
Current children cumulated memory: 186304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/259 82912
/proc/meminfo: memFree=109058444/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=241864 memory=185152 CPUtime=3392.37 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 35087 0 0 0 336703 2534 0 0 20 0 1 0 67157309 247668736 46288 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 60466 46288 2528 1147 0 47893 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 246056 KiB
Current children cumulated memory: 188224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/259 82914
/proc/meminfo: memFree=108737532/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=241864 memory=185152 CPUtime=3452.2 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 35087 0 0 0 342644 2576 0 0 20 0 1 0 67157309 247668736 46288 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 60466 46288 2528 1147 0 47893 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 246056 KiB
Current children cumulated memory: 188224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/258 82916
/proc/meminfo: memFree=108464544/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=241864 memory=185152 CPUtime=3512.03 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 35091 0 0 0 348586 2617 0 0 20 0 1 0 67157309 247668736 46288 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 60466 46288 2528 1147 0 47893 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 246056 KiB
Current children cumulated memory: 188224 KiB
[startup+3582.3 s]
/proc/loadavg: 5.05 4.35 4.17 6/259 82919
/proc/meminfo: memFree=108189116/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=241864 memory=185152 CPUtime=3571.86 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 35091 0 0 0 354534 2652 0 0 20 0 1 0 67157309 247668736 46288 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 60466 46288 2528 1147 0 47893 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 246056 KiB
Current children cumulated memory: 188224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 5.34 4.49 4.23 6/259 82919
/proc/meminfo: memFree=108032112/131382112 swapFree=33005784/33010684
[pid=82301] ppid=82286 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82301/stat : 82301 (run-opt-log.sh) S 82286 82301 82234 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67157307 4292608 768 18446744073709551615 94210517684224 94210518578757 140728285253168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94210518817808 94210518865552 94210524594176 140728285260065 140728285260260 140728285260260 140728285265862 0
/proc/82301/statm: 1048 768 704 219 0 110 0
[pid=82307] ppid=82301 vsize=241864 memory=185152 CPUtime=3600.08 cores=1,3
/proc/82307/stat : 82307 (roundingsat) R 82301 82301 82234 0 -1 4194304 35091 0 0 0 357339 2669 0 0 20 0 1 0 67157309 247668736 46288 18446744073709551615 4227072 8923433 140728904997728 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28315648 140728905001298 140728905001512 140728905001512 140728905007082 0
/proc/82307/statm: 60466 46288 2528 1147 0 47893 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 246056 KiB
Current children cumulated memory: 188224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 82301 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002997 s, system=0.003183 s
[startup+3610.63 s]
# the end of solver process 82307 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.42 s, system=26.7031 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): 3610.63
CPU time (s): 3600.12
CPU user time (s): 3573.42
CPU system time (s): 26.7031
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 246056
Max. memory (cumulated for all children) (KiB): 188224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.42
system time used= 26.7031
maximum resident set size= 185152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5217928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 475
involuntary context switches= 3758
# summary of solver processes directly reported to runsolver:
# pid: 82301,82307
# total CPU time (s): 3600.12
# total CPU user time (s): 3573.42
# total CPU system time (s): 26.7031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8388 second user time and 37.3596 second system time
The end
Begin job on nodeC007 at 2025-07-03 05:53:02
IDJOB=4508183
IDBENCH=158398
IDSOLVER=3351
FILE ID=nodeC007/4508183-1751514781
RUNJOBID= nodeC007-1751514781-82246
SLURM_JOB_ID= 9598624
Free space on /tmp= 431040 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct5.5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508183-1751514781/watcher-4508183-1751514781 -o /tmp/evaluation-result-4508183-1751514781/solver-4508183-1751514781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508183-1751514781.opb PROOFDIR/proof-4508183-1751514781
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 26f8151eeea3bfac35ea53df0172ab44
RANDOM SEED=1060576108
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.190
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129914408 kB
MemAvailable: 129826328 kB
Buffers: 16 kB
Cached: 581488 kB
SwapCached: 252 kB
Active: 291668 kB
Inactive: 356152 kB
Active(anon): 31916 kB
Inactive(anon): 47904 kB
Active(file): 259752 kB
Inactive(file): 308248 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31736 kB
Writeback: 8 kB
AnonPages: 69128 kB
Mapped: 98160 kB
Shmem: 13504 kB
KReclaimable: 367096 kB
Slab: 457368 kB
SReclaimable: 367096 kB
SUnreclaim: 90272 kB
KernelStack: 3888 kB
PageTables: 2788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 340372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431000 MiB
End job on nodeC007 at 2025-07-03 06:53:13