0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 126 #constraints 788
0.00/0.05 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= -125 @ 0.013665
0.00/0.05 c GLOBAL bounds - >= -125 @ 0.014284
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.014809
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.015093
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.015093
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.015257
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.015843
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.016077
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.016077
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.016234
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.016611
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.016967
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.017085
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.017085
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.017085
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.017645
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.018371
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.018931
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.019074
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.019074
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.019516
0.00/0.06 c GLOBAL bounds - >= -125 @ 0.020045
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.020635
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.021063
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.021405
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.022621
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.023226
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.023776
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.024266
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.024699
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.027032
0.00/0.08 c GLOBAL bounds - >= -125 @ 0.029416
0.00/0.08 c GLOBAL bounds - >= -125 @ 0.031672
0.00/0.08 c GLOBAL bounds - >= -125 @ 0.033352
0.00/0.10 c GLOBAL bounds - >= -125 @ 0.049556
0.19/0.23 c GLOBAL bounds - >= -125 @ 0.177426
36.95/37.20 c #Conflicts: 1000 | #Constraints: 1855
36.95/37.20 c #Conflicts: 2000 | #Constraints: 2855
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 3000 | #Constraints: 2860
36.95/37.20 c #Conflicts: 4000 | #Constraints: 3860
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 5000 | #Constraints: 3263
36.95/37.20 c #Conflicts: 6000 | #Constraints: 4263
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 7000 | #Constraints: 3267
36.95/37.20 c #Conflicts: 8000 | #Constraints: 4267
36.95/37.20 c #Conflicts: 9000 | #Constraints: 5267
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 10000 | #Constraints: 3970
36.95/37.20 c #Conflicts: 11000 | #Constraints: 4970
36.95/37.20 c #Conflicts: 12000 | #Constraints: 5970
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 13000 | #Constraints: 4420
36.95/37.20 c #Conflicts: 14000 | #Constraints: 5420
36.95/37.20 c #Conflicts: 15000 | #Constraints: 6420
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 16000 | #Constraints: 4643
36.95/37.20 c #Conflicts: 17000 | #Constraints: 5643
36.95/37.20 c #Conflicts: 18000 | #Constraints: 6643
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 19000 | #Constraints: 4657
36.95/37.20 c #Conflicts: 20000 | #Constraints: 5657
36.95/37.20 c #Conflicts: 21000 | #Constraints: 6657
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 22000 | #Constraints: 4463
36.95/37.20 c #Conflicts: 23000 | #Constraints: 5463
36.95/37.20 c #Conflicts: 24000 | #Constraints: 6463
36.95/37.20 c #Conflicts: 25000 | #Constraints: 7463
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 26000 | #Constraints: 5068
36.95/37.20 c #Conflicts: 27000 | #Constraints: 6068
36.95/37.20 c #Conflicts: 28000 | #Constraints: 7068
36.95/37.20 c #Conflicts: 29000 | #Constraints: 8068
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 30000 | #Constraints: 5474
36.95/37.20 c #Conflicts: 31000 | #Constraints: 6474
36.95/37.20 c #Conflicts: 32000 | #Constraints: 7474
36.95/37.20 c #Conflicts: 33000 | #Constraints: 8474
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 34000 | #Constraints: 5674
36.95/37.20 c #Conflicts: 35000 | #Constraints: 6674
36.95/37.20 c #Conflicts: 36000 | #Constraints: 7674
36.95/37.20 c #Conflicts: 37000 | #Constraints: 8674
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 38000 | #Constraints: 5672
36.95/37.20 c #Conflicts: 39000 | #Constraints: 6672
36.95/37.20 c #Conflicts: 40000 | #Constraints: 7672
36.95/37.20 c #Conflicts: 41000 | #Constraints: 8672
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 42000 | #Constraints: 5474
36.95/37.20 c #Conflicts: 43000 | #Constraints: 6474
36.95/37.20 c #Conflicts: 44000 | #Constraints: 7474
36.95/37.20 c #Conflicts: 45000 | #Constraints: 8474
36.95/37.20 c #Conflicts: 46000 | #Constraints: 9474
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 47000 | #Constraints: 6069
36.95/37.20 c #Conflicts: 48000 | #Constraints: 7069
36.95/37.20 c #Conflicts: 49000 | #Constraints: 8069
36.95/37.20 c #Conflicts: 50000 | #Constraints: 9069
36.95/37.20 c #Conflicts: 51000 | #Constraints: 10069
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 52000 | #Constraints: 6470
36.95/37.20 c #Conflicts: 53000 | #Constraints: 7470
36.95/37.20 c #Conflicts: 54000 | #Constraints: 8470
36.95/37.20 c #Conflicts: 55000 | #Constraints: 9470
36.95/37.20 c #Conflicts: 56000 | #Constraints: 10470
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 57000 | #Constraints: 6669
36.95/37.20 c #Conflicts: 58000 | #Constraints: 7669
36.95/37.20 c #Conflicts: 59000 | #Constraints: 8669
36.95/37.20 c #Conflicts: 60000 | #Constraints: 9669
36.95/37.20 c #Conflicts: 61000 | #Constraints: 10669
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 62000 | #Constraints: 6675
36.95/37.20 c #Conflicts: 63000 | #Constraints: 7675
36.95/37.20 c #Conflicts: 64000 | #Constraints: 8675
36.95/37.20 c #Conflicts: 65000 | #Constraints: 9675
36.95/37.20 c #Conflicts: 66000 | #Constraints: 10675
36.95/37.20 c INPROCESSING
36.95/37.20 c GARBAGE COLLECT
36.95/37.20 c #Conflicts: 67000 | #Constraints: 6475
36.95/37.20 c #Conflicts: 68000 | #Constraints: 7475
99.12/99.59 c #Conflicts: 69000 | #Constraints: 8475
99.12/99.59 c #Conflicts: 70000 | #Constraints: 9475
99.12/99.59 c #Conflicts: 71000 | #Constraints: 10475
99.12/99.59 c #Conflicts: 72000 | #Constraints: 11475
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 73000 | #Constraints: 7074
99.12/99.59 c #Conflicts: 74000 | #Constraints: 8074
99.12/99.59 c #Conflicts: 75000 | #Constraints: 9074
99.12/99.59 c #Conflicts: 76000 | #Constraints: 10074
99.12/99.59 c #Conflicts: 77000 | #Constraints: 11074
99.12/99.59 c #Conflicts: 78000 | #Constraints: 12074
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 79000 | #Constraints: 7471
99.12/99.59 c #Conflicts: 80000 | #Constraints: 8471
99.12/99.59 c #Conflicts: 81000 | #Constraints: 9471
99.12/99.59 c #Conflicts: 82000 | #Constraints: 10471
99.12/99.59 c #Conflicts: 83000 | #Constraints: 11471
99.12/99.59 c #Conflicts: 84000 | #Constraints: 12471
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 85000 | #Constraints: 7670
99.12/99.59 c #Conflicts: 86000 | #Constraints: 8670
99.12/99.59 c #Conflicts: 87000 | #Constraints: 9670
99.12/99.59 c #Conflicts: 88000 | #Constraints: 10670
99.12/99.59 c #Conflicts: 89000 | #Constraints: 11670
99.12/99.59 c #Conflicts: 90000 | #Constraints: 12670
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 91000 | #Constraints: 7673
99.12/99.59 c #Conflicts: 92000 | #Constraints: 8673
99.12/99.59 c #Conflicts: 93000 | #Constraints: 9673
99.12/99.59 c #Conflicts: 94000 | #Constraints: 10673
99.12/99.59 c #Conflicts: 95000 | #Constraints: 11673
99.12/99.59 c #Conflicts: 96000 | #Constraints: 12673
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 97000 | #Constraints: 7472
99.12/99.59 c #Conflicts: 98000 | #Constraints: 8472
99.12/99.59 c #Conflicts: 99000 | #Constraints: 9472
99.12/99.59 c #Conflicts: 100000 | #Constraints: 10472
99.12/99.59 c #Conflicts: 101000 | #Constraints: 11472
99.12/99.59 c #Conflicts: 102000 | #Constraints: 12472
99.12/99.59 c #Conflicts: 103000 | #Constraints: 13472
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 104000 | #Constraints: 8070
99.12/99.59 c #Conflicts: 105000 | #Constraints: 9070
99.12/99.59 c #Conflicts: 106000 | #Constraints: 10070
99.12/99.59 c #Conflicts: 107000 | #Constraints: 11070
99.12/99.59 c #Conflicts: 108000 | #Constraints: 12070
99.12/99.59 c #Conflicts: 109000 | #Constraints: 13070
99.12/99.59 c #Conflicts: 110000 | #Constraints: 14070
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 111000 | #Constraints: 8471
99.12/99.59 c #Conflicts: 112000 | #Constraints: 9471
99.12/99.59 c #Conflicts: 113000 | #Constraints: 10471
99.12/99.59 c #Conflicts: 114000 | #Constraints: 11471
99.12/99.59 c #Conflicts: 115000 | #Constraints: 12471
99.12/99.59 c #Conflicts: 116000 | #Constraints: 13471
99.12/99.59 c #Conflicts: 117000 | #Constraints: 14471
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 118000 | #Constraints: 8670
99.12/99.59 c #Conflicts: 119000 | #Constraints: 9670
99.12/99.59 c #Conflicts: 120000 | #Constraints: 10670
99.12/99.59 c #Conflicts: 121000 | #Constraints: 11670
99.12/99.59 c #Conflicts: 122000 | #Constraints: 12670
99.12/99.59 c #Conflicts: 123000 | #Constraints: 13670
99.12/99.59 c #Conflicts: 124000 | #Constraints: 14670
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 125000 | #Constraints: 8672
99.12/99.59 c #Conflicts: 126000 | #Constraints: 9672
99.12/99.59 c #Conflicts: 127000 | #Constraints: 10672
99.12/99.59 c #Conflicts: 128000 | #Constraints: 11672
99.12/99.59 c #Conflicts: 129000 | #Constraints: 12672
99.12/99.59 c #Conflicts: 130000 | #Constraints: 13672
99.12/99.59 c #Conflicts: 131000 | #Constraints: 14672
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 132000 | #Constraints: 8473
99.12/99.59 c #Conflicts: 133000 | #Constraints: 9473
99.12/99.59 c #Conflicts: 134000 | #Constraints: 10473
99.12/99.59 c #Conflicts: 135000 | #Constraints: 11473
99.12/99.59 c #Conflicts: 136000 | #Constraints: 12473
99.12/99.59 c #Conflicts: 137000 | #Constraints: 13473
99.12/99.59 c #Conflicts: 138000 | #Constraints: 14473
99.12/99.59 c #Conflicts: 139000 | #Constraints: 15473
99.12/99.59 c INPROCESSING
99.12/99.59 c GARBAGE COLLECT
99.12/99.59 c #Conflicts: 140000 | #Constraints: 9071
179.36/180.10 c #Conflicts: 141000 | #Constraints: 10071
179.36/180.10 c #Conflicts: 142000 | #Constraints: 11071
179.36/180.10 c #Conflicts: 143000 | #Constraints: 12071
179.36/180.10 c #Conflicts: 144000 | #Constraints: 13071
179.36/180.10 c #Conflicts: 145000 | #Constraints: 14071
179.36/180.10 c #Conflicts: 146000 | #Constraints: 15071
179.36/180.10 c #Conflicts: 147000 | #Constraints: 16071
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 148000 | #Constraints: 9471
179.36/180.10 c #Conflicts: 149000 | #Constraints: 10471
179.36/180.10 c #Conflicts: 150000 | #Constraints: 11471
179.36/180.10 c #Conflicts: 151000 | #Constraints: 12471
179.36/180.10 c #Conflicts: 152000 | #Constraints: 13471
179.36/180.10 c #Conflicts: 153000 | #Constraints: 14471
179.36/180.10 c #Conflicts: 154000 | #Constraints: 15471
179.36/180.10 c #Conflicts: 155000 | #Constraints: 16471
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 156000 | #Constraints: 9675
179.36/180.10 c #Conflicts: 157000 | #Constraints: 10675
179.36/180.10 c #Conflicts: 158000 | #Constraints: 11675
179.36/180.10 c #Conflicts: 159000 | #Constraints: 12675
179.36/180.10 c #Conflicts: 160000 | #Constraints: 13675
179.36/180.10 c #Conflicts: 161000 | #Constraints: 14675
179.36/180.10 c #Conflicts: 162000 | #Constraints: 15675
179.36/180.10 c #Conflicts: 163000 | #Constraints: 16675
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 164000 | #Constraints: 9674
179.36/180.10 c #Conflicts: 165000 | #Constraints: 10674
179.36/180.10 c #Conflicts: 166000 | #Constraints: 11674
179.36/180.10 c #Conflicts: 167000 | #Constraints: 12674
179.36/180.10 c #Conflicts: 168000 | #Constraints: 13674
179.36/180.10 c #Conflicts: 169000 | #Constraints: 14674
179.36/180.10 c #Conflicts: 170000 | #Constraints: 15674
179.36/180.10 c #Conflicts: 171000 | #Constraints: 16674
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 172000 | #Constraints: 9471
179.36/180.10 c #Conflicts: 173000 | #Constraints: 10471
179.36/180.10 c #Conflicts: 174000 | #Constraints: 11471
179.36/180.10 c #Conflicts: 175000 | #Constraints: 12471
179.36/180.10 c #Conflicts: 176000 | #Constraints: 13471
179.36/180.10 c #Conflicts: 177000 | #Constraints: 14471
179.36/180.10 c #Conflicts: 178000 | #Constraints: 15471
179.36/180.10 c #Conflicts: 179000 | #Constraints: 16471
179.36/180.10 c #Conflicts: 180000 | #Constraints: 17471
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 181000 | #Constraints: 10070
179.36/180.10 c #Conflicts: 182000 | #Constraints: 11070
179.36/180.10 c #Conflicts: 183000 | #Constraints: 12070
179.36/180.10 c #Conflicts: 184000 | #Constraints: 13070
179.36/180.10 c #Conflicts: 185000 | #Constraints: 14070
179.36/180.10 c #Conflicts: 186000 | #Constraints: 15070
179.36/180.10 c #Conflicts: 187000 | #Constraints: 16070
179.36/180.10 c #Conflicts: 188000 | #Constraints: 17070
179.36/180.10 c #Conflicts: 189000 | #Constraints: 18070
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 190000 | #Constraints: 10469
179.36/180.10 c #Conflicts: 191000 | #Constraints: 11469
179.36/180.10 c #Conflicts: 192000 | #Constraints: 12469
179.36/180.10 c #Conflicts: 193000 | #Constraints: 13469
179.36/180.10 c #Conflicts: 194000 | #Constraints: 14469
179.36/180.10 c #Conflicts: 195000 | #Constraints: 15469
179.36/180.10 c #Conflicts: 196000 | #Constraints: 16469
179.36/180.10 c #Conflicts: 197000 | #Constraints: 17469
179.36/180.10 c #Conflicts: 198000 | #Constraints: 18469
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 199000 | #Constraints: 10670
179.36/180.10 c #Conflicts: 200000 | #Constraints: 11670
179.36/180.10 c #Conflicts: 201000 | #Constraints: 12670
179.36/180.10 c #Conflicts: 202000 | #Constraints: 13670
179.36/180.10 c #Conflicts: 203000 | #Constraints: 14670
179.36/180.10 c #Conflicts: 204000 | #Constraints: 15670
179.36/180.10 c #Conflicts: 205000 | #Constraints: 16670
179.36/180.10 c #Conflicts: 206000 | #Constraints: 17670
179.36/180.10 c #Conflicts: 207000 | #Constraints: 18670
179.36/180.10 c INPROCESSING
179.36/180.10 c GARBAGE COLLECT
179.36/180.10 c #Conflicts: 208000 | #Constraints: 10672
179.36/180.10 c #Conflicts: 209000 | #Constraints: 11672
179.36/180.10 c #Conflicts: 210000 | #Constraints: 12672
179.36/180.10 c #Conflicts: 211000 | #Constraints: 13672
179.36/180.10 c #Conflicts: 212000 | #Constraints: 14672
179.36/180.10 c #Conflicts: 213000 | #Constraints: 15672
282.10/283.15 c #Conflicts: 214000 | #Constraints: 16672
282.10/283.15 c #Conflicts: 215000 | #Constraints: 17672
282.10/283.15 c #Conflicts: 216000 | #Constraints: 18672
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 217000 | #Constraints: 10474
282.10/283.15 c #Conflicts: 218000 | #Constraints: 11474
282.10/283.15 c #Conflicts: 219000 | #Constraints: 12474
282.10/283.15 c #Conflicts: 220000 | #Constraints: 13474
282.10/283.15 c #Conflicts: 221000 | #Constraints: 14474
282.10/283.15 c #Conflicts: 222000 | #Constraints: 15474
282.10/283.15 c #Conflicts: 223000 | #Constraints: 16474
282.10/283.15 c #Conflicts: 224000 | #Constraints: 17474
282.10/283.15 c #Conflicts: 225000 | #Constraints: 18474
282.10/283.15 c #Conflicts: 226000 | #Constraints: 19474
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 227000 | #Constraints: 11075
282.10/283.15 c #Conflicts: 228000 | #Constraints: 12075
282.10/283.15 c #Conflicts: 229000 | #Constraints: 13075
282.10/283.15 c #Conflicts: 230000 | #Constraints: 14075
282.10/283.15 c #Conflicts: 231000 | #Constraints: 15075
282.10/283.15 c #Conflicts: 232000 | #Constraints: 16075
282.10/283.15 c #Conflicts: 233000 | #Constraints: 17075
282.10/283.15 c #Conflicts: 234000 | #Constraints: 18075
282.10/283.15 c #Conflicts: 235000 | #Constraints: 19075
282.10/283.15 c #Conflicts: 236000 | #Constraints: 20075
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 237000 | #Constraints: 11476
282.10/283.15 c #Conflicts: 238000 | #Constraints: 12476
282.10/283.15 c #Conflicts: 239000 | #Constraints: 13476
282.10/283.15 c #Conflicts: 240000 | #Constraints: 14476
282.10/283.15 c #Conflicts: 241000 | #Constraints: 15476
282.10/283.15 c #Conflicts: 242000 | #Constraints: 16476
282.10/283.15 c #Conflicts: 243000 | #Constraints: 17476
282.10/283.15 c #Conflicts: 244000 | #Constraints: 18476
282.10/283.15 c #Conflicts: 245000 | #Constraints: 19476
282.10/283.15 c #Conflicts: 246000 | #Constraints: 20476
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 247000 | #Constraints: 11675
282.10/283.15 c #Conflicts: 248000 | #Constraints: 12675
282.10/283.15 c #Conflicts: 249000 | #Constraints: 13675
282.10/283.15 c #Conflicts: 250000 | #Constraints: 14675
282.10/283.15 c #Conflicts: 251000 | #Constraints: 15675
282.10/283.15 c #Conflicts: 252000 | #Constraints: 16675
282.10/283.15 c #Conflicts: 253000 | #Constraints: 17675
282.10/283.15 c #Conflicts: 254000 | #Constraints: 18675
282.10/283.15 c #Conflicts: 255000 | #Constraints: 19675
282.10/283.15 c #Conflicts: 256000 | #Constraints: 20675
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 257000 | #Constraints: 11674
282.10/283.15 c #Conflicts: 258000 | #Constraints: 12674
282.10/283.15 c #Conflicts: 259000 | #Constraints: 13674
282.10/283.15 c #Conflicts: 260000 | #Constraints: 14674
282.10/283.15 c #Conflicts: 261000 | #Constraints: 15674
282.10/283.15 c #Conflicts: 262000 | #Constraints: 16674
282.10/283.15 c #Conflicts: 263000 | #Constraints: 17674
282.10/283.15 c #Conflicts: 264000 | #Constraints: 18674
282.10/283.15 c #Conflicts: 265000 | #Constraints: 19674
282.10/283.15 c #Conflicts: 266000 | #Constraints: 20674
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 267000 | #Constraints: 11475
282.10/283.15 c #Conflicts: 268000 | #Constraints: 12475
282.10/283.15 c #Conflicts: 269000 | #Constraints: 13475
282.10/283.15 c #Conflicts: 270000 | #Constraints: 14475
282.10/283.15 c #Conflicts: 271000 | #Constraints: 15475
282.10/283.15 c #Conflicts: 272000 | #Constraints: 16475
282.10/283.15 c #Conflicts: 273000 | #Constraints: 17475
282.10/283.15 c #Conflicts: 274000 | #Constraints: 18475
282.10/283.15 c #Conflicts: 275000 | #Constraints: 19475
282.10/283.15 c #Conflicts: 276000 | #Constraints: 20475
282.10/283.15 c #Conflicts: 277000 | #Constraints: 21475
282.10/283.15 c INPROCESSING
282.10/283.15 c GARBAGE COLLECT
282.10/283.15 c #Conflicts: 278000 | #Constraints: 12075
282.10/283.15 c #Conflicts: 279000 | #Constraints: 13075
282.10/283.15 c #Conflicts: 280000 | #Constraints: 14075
282.10/283.15 c #Conflicts: 281000 | #Constraints: 15075
282.10/283.15 c #Conflicts: 282000 | #Constraints: 16075
282.10/283.15 c #Conflicts: 283000 | #Constraints: 17075
282.10/283.15 c #Conflicts: 284000 | #Constraints: 18075
282.10/283.15 c #Conflicts: 285000 | #Constraints: 19075
282.10/283.15 c #Conflicts: 286000 | #Constraints: 20075
282.10/283.15 c #Conflicts: 287000 | #Constraints: 21075
282.10/283.15 c #Conflicts: 288000 | #Constraints: 22075
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 289000 | #Constraints: 12473
390.90/392.33 c #Conflicts: 290000 | #Constraints: 13473
390.90/392.33 c #Conflicts: 291000 | #Constraints: 14473
390.90/392.33 c #Conflicts: 292000 | #Constraints: 15473
390.90/392.33 c #Conflicts: 293000 | #Constraints: 16473
390.90/392.33 c #Conflicts: 294000 | #Constraints: 17473
390.90/392.33 c #Conflicts: 295000 | #Constraints: 18473
390.90/392.33 c #Conflicts: 296000 | #Constraints: 19473
390.90/392.33 c #Conflicts: 297000 | #Constraints: 20473
390.90/392.33 c #Conflicts: 298000 | #Constraints: 21473
390.90/392.33 c #Conflicts: 299000 | #Constraints: 22473
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 300000 | #Constraints: 12677
390.90/392.33 c #Conflicts: 301000 | #Constraints: 13677
390.90/392.33 c #Conflicts: 302000 | #Constraints: 14677
390.90/392.33 c #Conflicts: 303000 | #Constraints: 15677
390.90/392.33 c #Conflicts: 304000 | #Constraints: 16677
390.90/392.33 c #Conflicts: 305000 | #Constraints: 17677
390.90/392.33 c #Conflicts: 306000 | #Constraints: 18677
390.90/392.33 c #Conflicts: 307000 | #Constraints: 19677
390.90/392.33 c #Conflicts: 308000 | #Constraints: 20677
390.90/392.33 c #Conflicts: 309000 | #Constraints: 21677
390.90/392.33 c #Conflicts: 310000 | #Constraints: 22677
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 311000 | #Constraints: 12677
390.90/392.33 c #Conflicts: 312000 | #Constraints: 13677
390.90/392.33 c #Conflicts: 313000 | #Constraints: 14677
390.90/392.33 c #Conflicts: 314000 | #Constraints: 15677
390.90/392.33 c #Conflicts: 315000 | #Constraints: 16677
390.90/392.33 c #Conflicts: 316000 | #Constraints: 17677
390.90/392.33 c #Conflicts: 317000 | #Constraints: 18677
390.90/392.33 c #Conflicts: 318000 | #Constraints: 19677
390.90/392.33 c #Conflicts: 319000 | #Constraints: 20677
390.90/392.33 c #Conflicts: 320000 | #Constraints: 21677
390.90/392.33 c #Conflicts: 321000 | #Constraints: 22677
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 322000 | #Constraints: 12476
390.90/392.33 c #Conflicts: 323000 | #Constraints: 13476
390.90/392.33 c #Conflicts: 324000 | #Constraints: 14476
390.90/392.33 c #Conflicts: 325000 | #Constraints: 15476
390.90/392.33 c #Conflicts: 326000 | #Constraints: 16476
390.90/392.33 c #Conflicts: 327000 | #Constraints: 17476
390.90/392.33 c #Conflicts: 328000 | #Constraints: 18476
390.90/392.33 c #Conflicts: 329000 | #Constraints: 19476
390.90/392.33 c #Conflicts: 330000 | #Constraints: 20476
390.90/392.33 c #Conflicts: 331000 | #Constraints: 21476
390.90/392.33 c #Conflicts: 332000 | #Constraints: 22476
390.90/392.33 c #Conflicts: 333000 | #Constraints: 23476
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 334000 | #Constraints: 13074
390.90/392.33 c #Conflicts: 335000 | #Constraints: 14074
390.90/392.33 c #Conflicts: 336000 | #Constraints: 15074
390.90/392.33 c #Conflicts: 337000 | #Constraints: 16074
390.90/392.33 c #Conflicts: 338000 | #Constraints: 17074
390.90/392.33 c #Conflicts: 339000 | #Constraints: 18074
390.90/392.33 c #Conflicts: 340000 | #Constraints: 19074
390.90/392.33 c #Conflicts: 341000 | #Constraints: 20074
390.90/392.33 c #Conflicts: 342000 | #Constraints: 21074
390.90/392.33 c #Conflicts: 343000 | #Constraints: 22074
390.90/392.33 c #Conflicts: 344000 | #Constraints: 23074
390.90/392.33 c #Conflicts: 345000 | #Constraints: 24074
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 346000 | #Constraints: 13473
390.90/392.33 c #Conflicts: 347000 | #Constraints: 14473
390.90/392.33 c #Conflicts: 348000 | #Constraints: 15473
390.90/392.33 c #Conflicts: 349000 | #Constraints: 16473
390.90/392.33 c #Conflicts: 350000 | #Constraints: 17473
390.90/392.33 c #Conflicts: 351000 | #Constraints: 18473
390.90/392.33 c #Conflicts: 352000 | #Constraints: 19473
390.90/392.33 c #Conflicts: 353000 | #Constraints: 20473
390.90/392.33 c #Conflicts: 354000 | #Constraints: 21473
390.90/392.33 c #Conflicts: 355000 | #Constraints: 22473
390.90/392.33 c #Conflicts: 356000 | #Constraints: 23473
390.90/392.33 c #Conflicts: 357000 | #Constraints: 24473
390.90/392.33 c INPROCESSING
390.90/392.33 c GARBAGE COLLECT
390.90/392.33 c #Conflicts: 358000 | #Constraints: 13673
390.90/392.33 c #Conflicts: 359000 | #Constraints: 14673
390.90/392.33 c #Conflicts: 360000 | #Constraints: 15673
390.90/392.33 c #Conflicts: 361000 | #Constraints: 16673
390.90/392.33 c #Conflicts: 362000 | #Constraints: 17673
512.19/514.06 c #Conflicts: 363000 | #Constraints: 18673
512.19/514.06 c #Conflicts: 364000 | #Constraints: 19673
512.19/514.06 c #Conflicts: 365000 | #Constraints: 20673
512.19/514.06 c #Conflicts: 366000 | #Constraints: 21673
512.19/514.06 c #Conflicts: 367000 | #Constraints: 22673
512.19/514.06 c #Conflicts: 368000 | #Constraints: 23673
512.19/514.06 c #Conflicts: 369000 | #Constraints: 24673
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 370000 | #Constraints: 13675
512.19/514.06 c #Conflicts: 371000 | #Constraints: 14675
512.19/514.06 c #Conflicts: 372000 | #Constraints: 15675
512.19/514.06 c #Conflicts: 373000 | #Constraints: 16675
512.19/514.06 c #Conflicts: 374000 | #Constraints: 17675
512.19/514.06 c #Conflicts: 375000 | #Constraints: 18675
512.19/514.06 c #Conflicts: 376000 | #Constraints: 19675
512.19/514.06 c #Conflicts: 377000 | #Constraints: 20675
512.19/514.06 c #Conflicts: 378000 | #Constraints: 21675
512.19/514.06 c #Conflicts: 379000 | #Constraints: 22675
512.19/514.06 c #Conflicts: 380000 | #Constraints: 23675
512.19/514.06 c #Conflicts: 381000 | #Constraints: 24675
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 382000 | #Constraints: 13474
512.19/514.06 c #Conflicts: 383000 | #Constraints: 14474
512.19/514.06 c #Conflicts: 384000 | #Constraints: 15474
512.19/514.06 c #Conflicts: 385000 | #Constraints: 16474
512.19/514.06 c #Conflicts: 386000 | #Constraints: 17474
512.19/514.06 c #Conflicts: 387000 | #Constraints: 18474
512.19/514.06 c #Conflicts: 388000 | #Constraints: 19474
512.19/514.06 c #Conflicts: 389000 | #Constraints: 20474
512.19/514.06 c #Conflicts: 390000 | #Constraints: 21474
512.19/514.06 c #Conflicts: 391000 | #Constraints: 22474
512.19/514.06 c #Conflicts: 392000 | #Constraints: 23474
512.19/514.06 c #Conflicts: 393000 | #Constraints: 24474
512.19/514.06 c #Conflicts: 394000 | #Constraints: 25474
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 395000 | #Constraints: 14073
512.19/514.06 c #Conflicts: 396000 | #Constraints: 15073
512.19/514.06 c #Conflicts: 397000 | #Constraints: 16073
512.19/514.06 c #Conflicts: 398000 | #Constraints: 17073
512.19/514.06 c #Conflicts: 399000 | #Constraints: 18073
512.19/514.06 c #Conflicts: 400000 | #Constraints: 19073
512.19/514.06 c #Conflicts: 401000 | #Constraints: 20073
512.19/514.06 c #Conflicts: 402000 | #Constraints: 21073
512.19/514.06 c #Conflicts: 403000 | #Constraints: 22073
512.19/514.06 c #Conflicts: 404000 | #Constraints: 23073
512.19/514.06 c #Conflicts: 405000 | #Constraints: 24073
512.19/514.06 c #Conflicts: 406000 | #Constraints: 25073
512.19/514.06 c #Conflicts: 407000 | #Constraints: 26073
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 408000 | #Constraints: 14472
512.19/514.06 c #Conflicts: 409000 | #Constraints: 15472
512.19/514.06 c #Conflicts: 410000 | #Constraints: 16472
512.19/514.06 c #Conflicts: 411000 | #Constraints: 17472
512.19/514.06 c #Conflicts: 412000 | #Constraints: 18472
512.19/514.06 c #Conflicts: 413000 | #Constraints: 19472
512.19/514.06 c #Conflicts: 414000 | #Constraints: 20472
512.19/514.06 c #Conflicts: 415000 | #Constraints: 21472
512.19/514.06 c #Conflicts: 416000 | #Constraints: 22472
512.19/514.06 c #Conflicts: 417000 | #Constraints: 23472
512.19/514.06 c #Conflicts: 418000 | #Constraints: 24472
512.19/514.06 c #Conflicts: 419000 | #Constraints: 25472
512.19/514.06 c #Conflicts: 420000 | #Constraints: 26472
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 421000 | #Constraints: 14674
512.19/514.06 c #Conflicts: 422000 | #Constraints: 15674
512.19/514.06 c #Conflicts: 423000 | #Constraints: 16674
512.19/514.06 c #Conflicts: 424000 | #Constraints: 17674
512.19/514.06 c #Conflicts: 425000 | #Constraints: 18674
512.19/514.06 c #Conflicts: 426000 | #Constraints: 19674
512.19/514.06 c #Conflicts: 427000 | #Constraints: 20674
512.19/514.06 c #Conflicts: 428000 | #Constraints: 21674
512.19/514.06 c #Conflicts: 429000 | #Constraints: 22674
512.19/514.06 c #Conflicts: 430000 | #Constraints: 23674
512.19/514.06 c #Conflicts: 431000 | #Constraints: 24674
512.19/514.06 c #Conflicts: 432000 | #Constraints: 25674
512.19/514.06 c #Conflicts: 433000 | #Constraints: 26674
512.19/514.06 c INPROCESSING
512.19/514.06 c GARBAGE COLLECT
512.19/514.06 c #Conflicts: 434000 | #Constraints: 14676
512.19/514.06 c #Conflicts: 435000 | #Constraints: 15676
512.19/514.06 c #Conflicts: 436000 | #Constraints: 16676
512.19/514.06 c #Conflicts: 437000 | #Constraints: 17676
650.90/653.24 c #Conflicts: 438000 | #Constraints: 18676
650.90/653.24 c #Conflicts: 439000 | #Constraints: 19676
650.90/653.24 c #Conflicts: 440000 | #Constraints: 20676
650.90/653.24 c #Conflicts: 441000 | #Constraints: 21676
650.90/653.24 c #Conflicts: 442000 | #Constraints: 22676
650.90/653.24 c #Conflicts: 443000 | #Constraints: 23676
650.90/653.24 c #Conflicts: 444000 | #Constraints: 24676
650.90/653.24 c #Conflicts: 445000 | #Constraints: 25676
650.90/653.24 c #Conflicts: 446000 | #Constraints: 26676
650.90/653.24 c INPROCESSING
650.90/653.24 c GARBAGE COLLECT
650.90/653.24 c #Conflicts: 447000 | #Constraints: 14475
650.90/653.24 c #Conflicts: 448000 | #Constraints: 15475
650.90/653.24 c #Conflicts: 449000 | #Constraints: 16475
650.90/653.24 c #Conflicts: 450000 | #Constraints: 17475
650.90/653.24 c #Conflicts: 451000 | #Constraints: 18475
650.90/653.24 c #Conflicts: 452000 | #Constraints: 19475
650.90/653.24 c #Conflicts: 453000 | #Constraints: 20475
650.90/653.24 c #Conflicts: 454000 | #Constraints: 21475
650.90/653.24 c #Conflicts: 455000 | #Constraints: 22475
650.90/653.24 c #Conflicts: 456000 | #Constraints: 23475
650.90/653.24 c #Conflicts: 457000 | #Constraints: 24475
650.90/653.24 c #Conflicts: 458000 | #Constraints: 25475
650.90/653.24 c #Conflicts: 459000 | #Constraints: 26475
650.90/653.24 c #Conflicts: 460000 | #Constraints: 27475
650.90/653.24 c INPROCESSING
650.90/653.24 c GARBAGE COLLECT
650.90/653.24 c #Conflicts: 461000 | #Constraints: 15075
650.90/653.24 c #Conflicts: 462000 | #Constraints: 16075
650.90/653.24 c #Conflicts: 463000 | #Constraints: 17075
650.90/653.24 c #Conflicts: 464000 | #Constraints: 18075
650.90/653.24 c #Conflicts: 465000 | #Constraints: 19075
650.90/653.24 c #Conflicts: 466000 | #Constraints: 20075
650.90/653.24 c #Conflicts: 467000 | #Constraints: 21075
650.90/653.24 c #Conflicts: 468000 | #Constraints: 22075
650.90/653.24 c #Conflicts: 469000 | #Constraints: 23075
650.90/653.24 c #Conflicts: 470000 | #Constraints: 24075
650.90/653.24 c #Conflicts: 471000 | #Constraints: 25075
650.90/653.24 c #Conflicts: 472000 | #Constraints: 26075
650.90/653.24 c #Conflicts: 473000 | #Constraints: 27075
650.90/653.24 c #Conflicts: 474000 | #Constraints: 28075
650.90/653.24 c INPROCESSING
650.90/653.24 c GARBAGE COLLECT
650.90/653.24 c #Conflicts: 475000 | #Constraints: 15475
650.90/653.24 c #Conflicts: 476000 | #Constraints: 16475
650.90/653.24 c #Conflicts: 477000 | #Constraints: 17475
650.90/653.24 c #Conflicts: 478000 | #Constraints: 18475
650.90/653.24 c #Conflicts: 479000 | #Constraints: 19475
650.90/653.24 c #Conflicts: 480000 | #Constraints: 20475
650.90/653.24 c #Conflicts: 481000 | #Constraints: 21475
650.90/653.24 c #Conflicts: 482000 | #Constraints: 22475
650.90/653.24 c #Conflicts: 483000 | #Constraints: 23475
650.90/653.24 c #Conflicts: 484000 | #Constraints: 24475
650.90/653.24 c #Conflicts: 485000 | #Constraints: 25475
650.90/653.24 c #Conflicts: 486000 | #Constraints: 26475
650.90/653.24 c #Conflicts: 487000 | #Constraints: 27475
650.90/653.24 c #Conflicts: 488000 | #Constraints: 28475
650.90/653.24 c INPROCESSING
650.90/653.24 c GARBAGE COLLECT
650.90/653.24 c #Conflicts: 489000 | #Constraints: 15671
650.90/653.24 c #Conflicts: 490000 | #Constraints: 16671
650.90/653.24 c #Conflicts: 491000 | #Constraints: 17671
650.90/653.24 c #Conflicts: 492000 | #Constraints: 18671
650.90/653.24 c #Conflicts: 493000 | #Constraints: 19671
650.90/653.24 c #Conflicts: 494000 | #Constraints: 20671
650.90/653.24 c #Conflicts: 495000 | #Constraints: 21671
650.90/653.24 c #Conflicts: 496000 | #Constraints: 22671
650.90/653.24 c #Conflicts: 497000 | #Constraints: 23671
650.90/653.24 c #Conflicts: 498000 | #Constraints: 24671
650.90/653.24 c #Conflicts: 499000 | #Constraints: 25671
650.90/653.24 c #Conflicts: 500000 | #Constraints: 26671
650.90/653.24 c #Conflicts: 501000 | #Constraints: 27671
650.90/653.24 c #Conflicts: 502000 | #Constraints: 28671
650.90/653.24 c INPROCESSING
650.90/653.24 c GARBAGE COLLECT
650.90/653.24 c #Conflicts: 503000 | #Constraints: 15673
650.90/653.24 c #Conflicts: 504000 | #Constraints: 16673
650.90/653.24 c #Conflicts: 505000 | #Constraints: 17673
650.90/653.24 c #Conflicts: 506000 | #Constraints: 18673
650.90/653.24 c #Conflicts: 507000 | #Constraints: 19673
650.90/653.24 c #Conflicts: 508000 | #Constraints: 20673
650.90/653.24 c #Conflicts: 509000 | #Constraints: 21673
650.90/653.24 c #Conflicts: 510000 | #Constraints: 22673
650.90/653.24 c #Conflicts: 511000 | #Constraints: 23673
650.90/653.24 c #Conflicts: 512000 | #Constraints: 24673
650.90/653.24 c #Conflicts: 513000 | #Constraints: 25673
805.67/808.59 c #Conflicts: 514000 | #Constraints: 26673
805.67/808.59 c #Conflicts: 515000 | #Constraints: 27673
805.67/808.59 c #Conflicts: 516000 | #Constraints: 28673
805.67/808.59 c INPROCESSING
805.67/808.59 c GARBAGE COLLECT
805.67/808.59 c #Conflicts: 517000 | #Constraints: 15474
805.67/808.59 c #Conflicts: 518000 | #Constraints: 16474
805.67/808.59 c #Conflicts: 519000 | #Constraints: 17474
805.67/808.59 c #Conflicts: 520000 | #Constraints: 18474
805.67/808.59 c #Conflicts: 521000 | #Constraints: 19474
805.67/808.59 c #Conflicts: 522000 | #Constraints: 20474
805.67/808.59 c #Conflicts: 523000 | #Constraints: 21474
805.67/808.59 c #Conflicts: 524000 | #Constraints: 22474
805.67/808.59 c #Conflicts: 525000 | #Constraints: 23474
805.67/808.59 c #Conflicts: 526000 | #Constraints: 24474
805.67/808.59 c #Conflicts: 527000 | #Constraints: 25474
805.67/808.59 c #Conflicts: 528000 | #Constraints: 26474
805.67/808.59 c #Conflicts: 529000 | #Constraints: 27474
805.67/808.59 c #Conflicts: 530000 | #Constraints: 28474
805.67/808.59 c #Conflicts: 531000 | #Constraints: 29474
805.67/808.59 c INPROCESSING
805.67/808.59 c GARBAGE COLLECT
805.67/808.59 c #Conflicts: 532000 | #Constraints: 16074
805.67/808.59 c #Conflicts: 533000 | #Constraints: 17074
805.67/808.59 c #Conflicts: 534000 | #Constraints: 18074
805.67/808.59 c #Conflicts: 535000 | #Constraints: 19074
805.67/808.59 c #Conflicts: 536000 | #Constraints: 20074
805.67/808.59 c #Conflicts: 537000 | #Constraints: 21074
805.67/808.59 c #Conflicts: 538000 | #Constraints: 22074
805.67/808.59 c #Conflicts: 539000 | #Constraints: 23074
805.67/808.59 c #Conflicts: 540000 | #Constraints: 24074
805.67/808.59 c #Conflicts: 541000 | #Constraints: 25074
805.67/808.59 c #Conflicts: 542000 | #Constraints: 26074
805.67/808.59 c #Conflicts: 543000 | #Constraints: 27074
805.67/808.59 c #Conflicts: 544000 | #Constraints: 28074
805.67/808.59 c #Conflicts: 545000 | #Constraints: 29074
805.67/808.59 c #Conflicts: 546000 | #Constraints: 30074
805.67/808.59 c INPROCESSING
805.67/808.59 c GARBAGE COLLECT
805.67/808.59 c #Conflicts: 547000 | #Constraints: 16477
805.67/808.59 c #Conflicts: 548000 | #Constraints: 17477
805.67/808.59 c #Conflicts: 549000 | #Constraints: 18477
805.67/808.59 c #Conflicts: 550000 | #Constraints: 19477
805.67/808.59 c #Conflicts: 551000 | #Constraints: 20477
805.67/808.59 c #Conflicts: 552000 | #Constraints: 21477
805.67/808.59 c #Conflicts: 553000 | #Constraints: 22477
805.67/808.59 c #Conflicts: 554000 | #Constraints: 23477
805.67/808.59 c #Conflicts: 555000 | #Constraints: 24477
805.67/808.59 c #Conflicts: 556000 | #Constraints: 25477
805.67/808.59 c #Conflicts: 557000 | #Constraints: 26477
805.67/808.59 c #Conflicts: 558000 | #Constraints: 27477
805.67/808.59 c #Conflicts: 559000 | #Constraints: 28477
805.67/808.59 c #Conflicts: 560000 | #Constraints: 29477
805.67/808.59 c #Conflicts: 561000 | #Constraints: 30477
805.67/808.59 c INPROCESSING
805.67/808.59 c GARBAGE COLLECT
805.67/808.59 c #Conflicts: 562000 | #Constraints: 16675
805.67/808.59 c #Conflicts: 563000 | #Constraints: 17675
805.67/808.59 c #Conflicts: 564000 | #Constraints: 18675
805.67/808.59 c #Conflicts: 565000 | #Constraints: 19675
805.67/808.59 c #Conflicts: 566000 | #Constraints: 20675
805.67/808.59 c #Conflicts: 567000 | #Constraints: 21675
805.67/808.59 c #Conflicts: 568000 | #Constraints: 22675
805.67/808.59 c #Conflicts: 569000 | #Constraints: 23675
805.67/808.59 c #Conflicts: 570000 | #Constraints: 24675
805.67/808.59 c #Conflicts: 571000 | #Constraints: 25675
805.67/808.59 c #Conflicts: 572000 | #Constraints: 26675
805.67/808.59 c #Conflicts: 573000 | #Constraints: 27675
805.67/808.59 c #Conflicts: 574000 | #Constraints: 28675
805.67/808.59 c #Conflicts: 575000 | #Constraints: 29675
805.67/808.59 c #Conflicts: 576000 | #Constraints: 30675
805.67/808.59 c INPROCESSING
805.67/808.59 c GARBAGE COLLECT
805.67/808.59 c #Conflicts: 577000 | #Constraints: 16678
805.67/808.59 c #Conflicts: 578000 | #Constraints: 17678
805.67/808.59 c #Conflicts: 579000 | #Constraints: 18678
805.67/808.59 c #Conflicts: 580000 | #Constraints: 19678
805.67/808.59 c #Conflicts: 581000 | #Constraints: 20678
805.67/808.59 c #Conflicts: 582000 | #Constraints: 21678
805.67/808.59 c #Conflicts: 583000 | #Constraints: 22678
805.67/808.59 c #Conflicts: 584000 | #Constraints: 23678
805.67/808.59 c #Conflicts: 585000 | #Constraints: 24678
805.67/808.59 c #Conflicts: 586000 | #Constraints: 25678
805.67/808.59 c #Conflicts: 587000 | #Constraints: 26678
805.67/808.59 c #Conflicts: 588000 | #Constraints: 27678
981.69/985.12 c #Conflicts: 589000 | #Constraints: 28678
981.69/985.12 c #Conflicts: 590000 | #Constraints: 29678
981.69/985.12 c #Conflicts: 591000 | #Constraints: 30678
981.69/985.12 c INPROCESSING
981.69/985.12 c GARBAGE COLLECT
981.69/985.12 c #Conflicts: 592000 | #Constraints: 16478
981.69/985.12 c #Conflicts: 593000 | #Constraints: 17478
981.69/985.12 c #Conflicts: 594000 | #Constraints: 18478
981.69/985.12 c #Conflicts: 595000 | #Constraints: 19478
981.69/985.12 c #Conflicts: 596000 | #Constraints: 20478
981.69/985.12 c #Conflicts: 597000 | #Constraints: 21478
981.69/985.12 c #Conflicts: 598000 | #Constraints: 22478
981.69/985.12 c #Conflicts: 599000 | #Constraints: 23478
981.69/985.12 c #Conflicts: 600000 | #Constraints: 24478
981.69/985.12 c #Conflicts: 601000 | #Constraints: 25478
981.69/985.12 c #Conflicts: 602000 | #Constraints: 26478
981.69/985.12 c #Conflicts: 603000 | #Constraints: 27478
981.69/985.12 c #Conflicts: 604000 | #Constraints: 28478
981.69/985.12 c #Conflicts: 605000 | #Constraints: 29478
981.69/985.12 c #Conflicts: 606000 | #Constraints: 30478
981.69/985.12 c #Conflicts: 607000 | #Constraints: 31478
981.69/985.12 c INPROCESSING
981.69/985.12 c GARBAGE COLLECT
981.69/985.12 c #Conflicts: 608000 | #Constraints: 17077
981.69/985.12 c #Conflicts: 609000 | #Constraints: 18077
981.69/985.12 c #Conflicts: 610000 | #Constraints: 19077
981.69/985.12 c #Conflicts: 611000 | #Constraints: 20077
981.69/985.12 c #Conflicts: 612000 | #Constraints: 21077
981.69/985.12 c #Conflicts: 613000 | #Constraints: 22077
981.69/985.12 c #Conflicts: 614000 | #Constraints: 23077
981.69/985.12 c #Conflicts: 615000 | #Constraints: 24077
981.69/985.12 c #Conflicts: 616000 | #Constraints: 25077
981.69/985.12 c #Conflicts: 617000 | #Constraints: 26077
981.69/985.12 c #Conflicts: 618000 | #Constraints: 27077
981.69/985.12 c #Conflicts: 619000 | #Constraints: 28077
981.69/985.12 c #Conflicts: 620000 | #Constraints: 29077
981.69/985.12 c #Conflicts: 621000 | #Constraints: 30077
981.69/985.12 c #Conflicts: 622000 | #Constraints: 31077
981.69/985.12 c #Conflicts: 623000 | #Constraints: 32077
981.69/985.12 c INPROCESSING
981.69/985.12 c GARBAGE COLLECT
981.69/985.12 c #Conflicts: 624000 | #Constraints: 17475
981.69/985.12 c #Conflicts: 625000 | #Constraints: 18475
981.69/985.12 c #Conflicts: 626000 | #Constraints: 19475
981.69/985.12 c #Conflicts: 627000 | #Constraints: 20475
981.69/985.12 c #Conflicts: 628000 | #Constraints: 21475
981.69/985.12 c #Conflicts: 629000 | #Constraints: 22475
981.69/985.12 c #Conflicts: 630000 | #Constraints: 23475
981.69/985.12 c #Conflicts: 631000 | #Constraints: 24475
981.69/985.12 c #Conflicts: 632000 | #Constraints: 25475
981.69/985.12 c #Conflicts: 633000 | #Constraints: 26475
981.69/985.12 c #Conflicts: 634000 | #Constraints: 27475
981.69/985.12 c #Conflicts: 635000 | #Constraints: 28475
981.69/985.12 c #Conflicts: 636000 | #Constraints: 29475
981.69/985.12 c #Conflicts: 637000 | #Constraints: 30475
981.69/985.12 c #Conflicts: 638000 | #Constraints: 31475
981.69/985.12 c #Conflicts: 639000 | #Constraints: 32475
981.69/985.12 c INPROCESSING
981.69/985.12 c GARBAGE COLLECT
981.69/985.12 c #Conflicts: 640000 | #Constraints: 17675
981.69/985.12 c #Conflicts: 641000 | #Constraints: 18675
981.69/985.12 c #Conflicts: 642000 | #Constraints: 19675
981.69/985.12 c #Conflicts: 643000 | #Constraints: 20675
981.69/985.12 c #Conflicts: 644000 | #Constraints: 21675
981.69/985.12 c #Conflicts: 645000 | #Constraints: 22675
981.69/985.12 c #Conflicts: 646000 | #Constraints: 23675
981.69/985.12 c #Conflicts: 647000 | #Constraints: 24675
981.69/985.12 c #Conflicts: 648000 | #Constraints: 25675
981.69/985.12 c #Conflicts: 649000 | #Constraints: 26675
981.69/985.12 c #Conflicts: 650000 | #Constraints: 27675
981.69/985.12 c #Conflicts: 651000 | #Constraints: 28675
981.69/985.12 c #Conflicts: 652000 | #Constraints: 29675
981.69/985.12 c #Conflicts: 653000 | #Constraints: 30675
981.69/985.12 c #Conflicts: 654000 | #Constraints: 31675
981.69/985.12 c #Conflicts: 655000 | #Constraints: 32675
981.69/985.12 c INPROCESSING
981.69/985.12 c GARBAGE COLLECT
981.69/985.12 c #Conflicts: 656000 | #Constraints: 17674
981.69/985.12 c #Conflicts: 657000 | #Constraints: 18674
981.69/985.12 c #Conflicts: 658000 | #Constraints: 19674
981.69/985.12 c #Conflicts: 659000 | #Constraints: 20674
981.69/985.12 c #Conflicts: 660000 | #Constraints: 21674
981.69/985.12 c #Conflicts: 661000 | #Constraints: 22674
981.69/985.12 c #Conflicts: 662000 | #Constraints: 23674
981.69/985.12 c #Conflicts: 663000 | #Constraints: 24674
981.69/985.12 c #Conflicts: 664000 | #Constraints: 25674
1173.42/1177.46 c #Conflicts: 665000 | #Constraints: 26674
1173.42/1177.46 c #Conflicts: 666000 | #Constraints: 27674
1173.42/1177.46 c #Conflicts: 667000 | #Constraints: 28674
1173.42/1177.46 c #Conflicts: 668000 | #Constraints: 29674
1173.42/1177.46 c #Conflicts: 669000 | #Constraints: 30674
1173.42/1177.46 c #Conflicts: 670000 | #Constraints: 31674
1173.42/1177.46 c #Conflicts: 671000 | #Constraints: 32674
1173.42/1177.46 c INPROCESSING
1173.42/1177.46 c GARBAGE COLLECT
1173.42/1177.46 c #Conflicts: 672000 | #Constraints: 17474
1173.42/1177.46 c #Conflicts: 673000 | #Constraints: 18474
1173.42/1177.46 c #Conflicts: 674000 | #Constraints: 19474
1173.42/1177.46 c #Conflicts: 675000 | #Constraints: 20474
1173.42/1177.46 c #Conflicts: 676000 | #Constraints: 21474
1173.42/1177.46 c #Conflicts: 677000 | #Constraints: 22474
1173.42/1177.46 c #Conflicts: 678000 | #Constraints: 23474
1173.42/1177.46 c #Conflicts: 679000 | #Constraints: 24474
1173.42/1177.46 c #Conflicts: 680000 | #Constraints: 25474
1173.42/1177.46 c #Conflicts: 681000 | #Constraints: 26474
1173.42/1177.46 c #Conflicts: 682000 | #Constraints: 27474
1173.42/1177.46 c #Conflicts: 683000 | #Constraints: 28474
1173.42/1177.46 c #Conflicts: 684000 | #Constraints: 29474
1173.42/1177.46 c #Conflicts: 685000 | #Constraints: 30474
1173.42/1177.46 c #Conflicts: 686000 | #Constraints: 31474
1173.42/1177.46 c #Conflicts: 687000 | #Constraints: 32474
1173.42/1177.46 c #Conflicts: 688000 | #Constraints: 33474
1173.42/1177.46 c INPROCESSING
1173.42/1177.46 c GARBAGE COLLECT
1173.42/1177.46 c #Conflicts: 689000 | #Constraints: 18075
1173.42/1177.46 c #Conflicts: 690000 | #Constraints: 19075
1173.42/1177.46 c #Conflicts: 691000 | #Constraints: 20075
1173.42/1177.46 c #Conflicts: 692000 | #Constraints: 21075
1173.42/1177.46 c #Conflicts: 693000 | #Constraints: 22075
1173.42/1177.46 c #Conflicts: 694000 | #Constraints: 23075
1173.42/1177.46 c #Conflicts: 695000 | #Constraints: 24075
1173.42/1177.46 c #Conflicts: 696000 | #Constraints: 25075
1173.42/1177.46 c #Conflicts: 697000 | #Constraints: 26075
1173.42/1177.46 c #Conflicts: 698000 | #Constraints: 27075
1173.42/1177.46 c #Conflicts: 699000 | #Constraints: 28075
1173.42/1177.46 c #Conflicts: 700000 | #Constraints: 29075
1173.42/1177.46 c #Conflicts: 701000 | #Constraints: 30075
1173.42/1177.46 c #Conflicts: 702000 | #Constraints: 31075
1173.42/1177.46 c #Conflicts: 703000 | #Constraints: 32075
1173.42/1177.46 c #Conflicts: 704000 | #Constraints: 33075
1173.42/1177.46 c #Conflicts: 705000 | #Constraints: 34075
1173.42/1177.46 c INPROCESSING
1173.42/1177.46 c GARBAGE COLLECT
1173.42/1177.46 c #Conflicts: 706000 | #Constraints: 18475
1173.42/1177.46 c #Conflicts: 707000 | #Constraints: 19475
1173.42/1177.46 c #Conflicts: 708000 | #Constraints: 20475
1173.42/1177.46 c #Conflicts: 709000 | #Constraints: 21475
1173.42/1177.46 c #Conflicts: 710000 | #Constraints: 22475
1173.42/1177.46 c #Conflicts: 711000 | #Constraints: 23475
1173.42/1177.46 c #Conflicts: 712000 | #Constraints: 24475
1173.42/1177.46 c #Conflicts: 713000 | #Constraints: 25475
1173.42/1177.46 c #Conflicts: 714000 | #Constraints: 26475
1173.42/1177.46 c #Conflicts: 715000 | #Constraints: 27475
1173.42/1177.46 c #Conflicts: 716000 | #Constraints: 28475
1173.42/1177.46 c #Conflicts: 717000 | #Constraints: 29475
1173.42/1177.46 c #Conflicts: 718000 | #Constraints: 30475
1173.42/1177.46 c #Conflicts: 719000 | #Constraints: 31475
1173.42/1177.46 c #Conflicts: 720000 | #Constraints: 32475
1173.42/1177.46 c #Conflicts: 721000 | #Constraints: 33475
1173.42/1177.46 c #Conflicts: 722000 | #Constraints: 34475
1173.42/1177.46 c INPROCESSING
1173.42/1177.46 c GARBAGE COLLECT
1173.42/1177.46 c #Conflicts: 723000 | #Constraints: 18676
1173.42/1177.46 c #Conflicts: 724000 | #Constraints: 19676
1173.42/1177.46 c #Conflicts: 725000 | #Constraints: 20676
1173.42/1177.46 c #Conflicts: 726000 | #Constraints: 21676
1173.42/1177.46 c #Conflicts: 727000 | #Constraints: 22676
1173.42/1177.46 c #Conflicts: 728000 | #Constraints: 23676
1173.42/1177.46 c #Conflicts: 729000 | #Constraints: 24676
1173.42/1177.46 c #Conflicts: 730000 | #Constraints: 25676
1173.42/1177.46 c #Conflicts: 731000 | #Constraints: 26676
1173.42/1177.46 c #Conflicts: 732000 | #Constraints: 27676
1173.42/1177.46 c #Conflicts: 733000 | #Constraints: 28676
1173.42/1177.46 c #Conflicts: 734000 | #Constraints: 29676
1173.42/1177.46 c #Conflicts: 735000 | #Constraints: 30676
1173.42/1177.46 c #Conflicts: 736000 | #Constraints: 31676
1173.42/1177.46 c #Conflicts: 737000 | #Constraints: 32676
1173.42/1177.46 c #Conflicts: 738000 | #Constraints: 33676
1173.42/1177.46 c #Conflicts: 739000 | #Constraints: 34676
1173.42/1177.46 c INPROCESSING
1173.42/1177.46 c GARBAGE COLLECT
1365.56/1370.08 c #Conflicts: 740000 | #Constraints: 18679
1365.56/1370.08 c #Conflicts: 741000 | #Constraints: 19679
1365.56/1370.08 c #Conflicts: 742000 | #Constraints: 20679
1365.56/1370.08 c #Conflicts: 743000 | #Constraints: 21679
1365.56/1370.08 c #Conflicts: 744000 | #Constraints: 22679
1365.56/1370.08 c #Conflicts: 745000 | #Constraints: 23679
1365.56/1370.08 c #Conflicts: 746000 | #Constraints: 24679
1365.56/1370.08 c #Conflicts: 747000 | #Constraints: 25679
1365.56/1370.08 c #Conflicts: 748000 | #Constraints: 26679
1365.56/1370.08 c #Conflicts: 749000 | #Constraints: 27679
1365.56/1370.08 c #Conflicts: 750000 | #Constraints: 28679
1365.56/1370.08 c #Conflicts: 751000 | #Constraints: 29679
1365.56/1370.08 c #Conflicts: 752000 | #Constraints: 30679
1365.56/1370.08 c #Conflicts: 753000 | #Constraints: 31679
1365.56/1370.08 c #Conflicts: 754000 | #Constraints: 32679
1365.56/1370.08 c #Conflicts: 755000 | #Constraints: 33679
1365.56/1370.08 c #Conflicts: 756000 | #Constraints: 34679
1365.56/1370.08 c INPROCESSING
1365.56/1370.08 c GARBAGE COLLECT
1365.56/1370.08 c #Conflicts: 757000 | #Constraints: 18479
1365.56/1370.08 c #Conflicts: 758000 | #Constraints: 19479
1365.56/1370.08 c #Conflicts: 759000 | #Constraints: 20479
1365.56/1370.08 c #Conflicts: 760000 | #Constraints: 21479
1365.56/1370.08 c #Conflicts: 761000 | #Constraints: 22479
1365.56/1370.08 c #Conflicts: 762000 | #Constraints: 23479
1365.56/1370.08 c #Conflicts: 763000 | #Constraints: 24479
1365.56/1370.08 c #Conflicts: 764000 | #Constraints: 25479
1365.56/1370.08 c #Conflicts: 765000 | #Constraints: 26479
1365.56/1370.08 c #Conflicts: 766000 | #Constraints: 27479
1365.56/1370.08 c #Conflicts: 767000 | #Constraints: 28479
1365.56/1370.08 c #Conflicts: 768000 | #Constraints: 29479
1365.56/1370.08 c #Conflicts: 769000 | #Constraints: 30479
1365.56/1370.08 c #Conflicts: 770000 | #Constraints: 31479
1365.56/1370.08 c #Conflicts: 771000 | #Constraints: 32479
1365.56/1370.08 c #Conflicts: 772000 | #Constraints: 33479
1365.56/1370.08 c #Conflicts: 773000 | #Constraints: 34479
1365.56/1370.08 c #Conflicts: 774000 | #Constraints: 35479
1365.56/1370.08 c INPROCESSING
1365.56/1370.08 c GARBAGE COLLECT
1365.56/1370.08 c #Conflicts: 775000 | #Constraints: 19081
1365.56/1370.08 c #Conflicts: 776000 | #Constraints: 20081
1365.56/1370.08 c #Conflicts: 777000 | #Constraints: 21081
1365.56/1370.08 c #Conflicts: 778000 | #Constraints: 22081
1365.56/1370.08 c #Conflicts: 779000 | #Constraints: 23081
1365.56/1370.08 c #Conflicts: 780000 | #Constraints: 24081
1365.56/1370.08 c #Conflicts: 781000 | #Constraints: 25081
1365.56/1370.08 c #Conflicts: 782000 | #Constraints: 26081
1365.56/1370.08 c #Conflicts: 783000 | #Constraints: 27081
1365.56/1370.08 c #Conflicts: 784000 | #Constraints: 28081
1365.56/1370.08 c #Conflicts: 785000 | #Constraints: 29081
1365.56/1370.08 c #Conflicts: 786000 | #Constraints: 30081
1365.56/1370.08 c #Conflicts: 787000 | #Constraints: 31081
1365.56/1370.08 c #Conflicts: 788000 | #Constraints: 32081
1365.56/1370.08 c #Conflicts: 789000 | #Constraints: 33081
1365.56/1370.08 c #Conflicts: 790000 | #Constraints: 34081
1365.56/1370.08 c #Conflicts: 791000 | #Constraints: 35081
1365.56/1370.08 c #Conflicts: 792000 | #Constraints: 36081
1365.56/1370.08 c INPROCESSING
1365.56/1370.08 c GARBAGE COLLECT
1365.56/1370.08 c #Conflicts: 793000 | #Constraints: 19479
1365.56/1370.08 c #Conflicts: 794000 | #Constraints: 20479
1365.56/1370.08 c #Conflicts: 795000 | #Constraints: 21479
1365.56/1370.08 c #Conflicts: 796000 | #Constraints: 22479
1365.56/1370.08 c #Conflicts: 797000 | #Constraints: 23479
1365.56/1370.08 c #Conflicts: 798000 | #Constraints: 24479
1365.56/1370.08 c #Conflicts: 799000 | #Constraints: 25479
1365.56/1370.08 c #Conflicts: 800000 | #Constraints: 26479
1365.56/1370.08 c #Conflicts: 801000 | #Constraints: 27479
1365.56/1370.08 c #Conflicts: 802000 | #Constraints: 28479
1365.56/1370.08 c #Conflicts: 803000 | #Constraints: 29479
1365.56/1370.08 c #Conflicts: 804000 | #Constraints: 30479
1365.56/1370.08 c #Conflicts: 805000 | #Constraints: 31479
1365.56/1370.08 c #Conflicts: 806000 | #Constraints: 32479
1365.56/1370.08 c #Conflicts: 807000 | #Constraints: 33479
1365.56/1370.08 c #Conflicts: 808000 | #Constraints: 34479
1365.56/1370.08 c #Conflicts: 809000 | #Constraints: 35479
1365.56/1370.08 c #Conflicts: 810000 | #Constraints: 36479
1365.56/1370.08 c INPROCESSING
1365.56/1370.08 c GARBAGE COLLECT
1365.56/1370.08 c #Conflicts: 811000 | #Constraints: 19680
1365.56/1370.08 c #Conflicts: 812000 | #Constraints: 20680
1365.56/1370.08 c #Conflicts: 813000 | #Constraints: 21680
1365.56/1370.08 c #Conflicts: 814000 | #Constraints: 22680
1365.56/1370.08 c #Conflicts: 815000 | #Constraints: 23680
1365.56/1370.08 c #Conflicts: 816000 | #Constraints: 24680
1542.12/1547.05 c #Conflicts: 817000 | #Constraints: 25680
1542.12/1547.05 c #Conflicts: 818000 | #Constraints: 26680
1542.12/1547.05 c #Conflicts: 819000 | #Constraints: 27680
1542.12/1547.05 c #Conflicts: 820000 | #Constraints: 28680
1542.12/1547.05 c #Conflicts: 821000 | #Constraints: 29680
1542.12/1547.05 c #Conflicts: 822000 | #Constraints: 30680
1542.12/1547.05 c #Conflicts: 823000 | #Constraints: 31680
1542.12/1547.05 c #Conflicts: 824000 | #Constraints: 32680
1542.12/1547.05 c #Conflicts: 825000 | #Constraints: 33680
1542.12/1547.05 c #Conflicts: 826000 | #Constraints: 34680
1542.12/1547.05 c #Conflicts: 827000 | #Constraints: 35680
1542.12/1547.05 c #Conflicts: 828000 | #Constraints: 36680
1542.12/1547.05 c INPROCESSING
1542.12/1547.05 c GARBAGE COLLECT
1542.12/1547.05 c #Conflicts: 829000 | #Constraints: 19675
1542.12/1547.05 c #Conflicts: 830000 | #Constraints: 20675
1542.12/1547.05 c #Conflicts: 831000 | #Constraints: 21675
1542.12/1547.05 c #Conflicts: 832000 | #Constraints: 22675
1542.12/1547.05 c #Conflicts: 833000 | #Constraints: 23675
1542.12/1547.05 c #Conflicts: 834000 | #Constraints: 24675
1542.12/1547.05 c #Conflicts: 835000 | #Constraints: 25675
1542.12/1547.05 c #Conflicts: 836000 | #Constraints: 26675
1542.12/1547.05 c #Conflicts: 837000 | #Constraints: 27675
1542.12/1547.05 c #Conflicts: 838000 | #Constraints: 28675
1542.12/1547.05 c #Conflicts: 839000 | #Constraints: 29675
1542.12/1547.05 c #Conflicts: 840000 | #Constraints: 30675
1542.12/1547.05 c #Conflicts: 841000 | #Constraints: 31675
1542.12/1547.05 c #Conflicts: 842000 | #Constraints: 32675
1542.12/1547.05 c #Conflicts: 843000 | #Constraints: 33675
1542.12/1547.05 c #Conflicts: 844000 | #Constraints: 34675
1542.12/1547.05 c #Conflicts: 845000 | #Constraints: 35675
1542.12/1547.05 c #Conflicts: 846000 | #Constraints: 36675
1542.12/1547.05 c INPROCESSING
1542.12/1547.05 c GARBAGE COLLECT
1542.12/1547.05 c #Conflicts: 847000 | #Constraints: 19474
1542.12/1547.05 c #Conflicts: 848000 | #Constraints: 20474
1542.12/1547.05 c #Conflicts: 849000 | #Constraints: 21474
1542.12/1547.05 c #Conflicts: 850000 | #Constraints: 22474
1542.12/1547.05 c #Conflicts: 851000 | #Constraints: 23474
1542.12/1547.05 c #Conflicts: 852000 | #Constraints: 24474
1542.12/1547.05 c #Conflicts: 853000 | #Constraints: 25474
1542.12/1547.05 c #Conflicts: 854000 | #Constraints: 26474
1542.12/1547.05 c #Conflicts: 855000 | #Constraints: 27474
1542.12/1547.05 c #Conflicts: 856000 | #Constraints: 28474
1542.12/1547.05 c #Conflicts: 857000 | #Constraints: 29474
1542.12/1547.05 c #Conflicts: 858000 | #Constraints: 30474
1542.12/1547.05 c #Conflicts: 859000 | #Constraints: 31474
1542.12/1547.05 c #Conflicts: 860000 | #Constraints: 32474
1542.12/1547.05 c #Conflicts: 861000 | #Constraints: 33474
1542.12/1547.05 c #Conflicts: 862000 | #Constraints: 34474
1542.12/1547.05 c #Conflicts: 863000 | #Constraints: 35474
1542.12/1547.05 c #Conflicts: 864000 | #Constraints: 36474
1542.12/1547.05 c #Conflicts: 865000 | #Constraints: 37474
1542.12/1547.05 c INPROCESSING
1542.12/1547.05 c GARBAGE COLLECT
1542.12/1547.05 c #Conflicts: 866000 | #Constraints: 20072
1542.12/1547.05 c #Conflicts: 867000 | #Constraints: 21072
1542.12/1547.05 c #Conflicts: 868000 | #Constraints: 22072
1542.12/1547.05 c #Conflicts: 869000 | #Constraints: 23072
1542.12/1547.05 c #Conflicts: 870000 | #Constraints: 24072
1542.12/1547.05 c #Conflicts: 871000 | #Constraints: 25072
1542.12/1547.05 c #Conflicts: 872000 | #Constraints: 26072
1542.12/1547.05 c #Conflicts: 873000 | #Constraints: 27072
1542.12/1547.05 c #Conflicts: 874000 | #Constraints: 28072
1542.12/1547.05 c #Conflicts: 875000 | #Constraints: 29072
1542.12/1547.05 c #Conflicts: 876000 | #Constraints: 30072
1542.12/1547.05 c #Conflicts: 877000 | #Constraints: 31072
1542.12/1547.05 c #Conflicts: 878000 | #Constraints: 32072
1542.12/1547.05 c #Conflicts: 879000 | #Constraints: 33072
1542.12/1547.05 c #Conflicts: 880000 | #Constraints: 34072
1542.12/1547.05 c #Conflicts: 881000 | #Constraints: 35072
1542.12/1547.05 c #Conflicts: 882000 | #Constraints: 36072
1542.12/1547.05 c #Conflicts: 883000 | #Constraints: 37072
1542.12/1547.05 c #Conflicts: 884000 | #Constraints: 38072
1542.12/1547.05 c INPROCESSING
1542.12/1547.05 c GARBAGE COLLECT
1542.12/1547.05 c #Conflicts: 885000 | #Constraints: 20472
1542.12/1547.05 c #Conflicts: 886000 | #Constraints: 21472
1542.12/1547.05 c #Conflicts: 887000 | #Constraints: 22472
1542.12/1547.05 c #Conflicts: 888000 | #Constraints: 23472
1542.12/1547.05 c #Conflicts: 889000 | #Constraints: 24472
1542.12/1547.05 c #Conflicts: 890000 | #Constraints: 25472
1542.12/1547.05 c #Conflicts: 891000 | #Constraints: 26472
1542.12/1547.05 c #Conflicts: 892000 | #Constraints: 27472
1706.45/1711.74 c #Conflicts: 893000 | #Constraints: 28472
1706.45/1711.74 c #Conflicts: 894000 | #Constraints: 29472
1706.45/1711.74 c #Conflicts: 895000 | #Constraints: 30472
1706.45/1711.74 c #Conflicts: 896000 | #Constraints: 31472
1706.45/1711.74 c #Conflicts: 897000 | #Constraints: 32472
1706.45/1711.74 c #Conflicts: 898000 | #Constraints: 33472
1706.45/1711.74 c #Conflicts: 899000 | #Constraints: 34472
1706.45/1711.74 c #Conflicts: 900000 | #Constraints: 35472
1706.45/1711.74 c #Conflicts: 901000 | #Constraints: 36472
1706.45/1711.74 c #Conflicts: 902000 | #Constraints: 37472
1706.45/1711.74 c #Conflicts: 903000 | #Constraints: 38472
1706.45/1711.74 c INPROCESSING
1706.45/1711.74 c GARBAGE COLLECT
1706.45/1711.74 c #Conflicts: 904000 | #Constraints: 20674
1706.45/1711.74 c #Conflicts: 905000 | #Constraints: 21674
1706.45/1711.74 c #Conflicts: 906000 | #Constraints: 22674
1706.45/1711.74 c #Conflicts: 907000 | #Constraints: 23674
1706.45/1711.74 c #Conflicts: 908000 | #Constraints: 24674
1706.45/1711.74 c #Conflicts: 909000 | #Constraints: 25674
1706.45/1711.74 c #Conflicts: 910000 | #Constraints: 26674
1706.45/1711.74 c #Conflicts: 911000 | #Constraints: 27674
1706.45/1711.74 c #Conflicts: 912000 | #Constraints: 28674
1706.45/1711.74 c #Conflicts: 913000 | #Constraints: 29674
1706.45/1711.74 c #Conflicts: 914000 | #Constraints: 30674
1706.45/1711.74 c #Conflicts: 915000 | #Constraints: 31674
1706.45/1711.74 c #Conflicts: 916000 | #Constraints: 32674
1706.45/1711.74 c #Conflicts: 917000 | #Constraints: 33674
1706.45/1711.74 c #Conflicts: 918000 | #Constraints: 34674
1706.45/1711.74 c #Conflicts: 919000 | #Constraints: 35674
1706.45/1711.74 c #Conflicts: 920000 | #Constraints: 36674
1706.45/1711.74 c #Conflicts: 921000 | #Constraints: 37674
1706.45/1711.74 c #Conflicts: 922000 | #Constraints: 38674
1706.45/1711.74 c INPROCESSING
1706.45/1711.74 c GARBAGE COLLECT
1706.45/1711.74 c #Conflicts: 923000 | #Constraints: 20675
1706.45/1711.74 c #Conflicts: 924000 | #Constraints: 21675
1706.45/1711.74 c #Conflicts: 925000 | #Constraints: 22675
1706.45/1711.74 c #Conflicts: 926000 | #Constraints: 23675
1706.45/1711.74 c #Conflicts: 927000 | #Constraints: 24675
1706.45/1711.74 c #Conflicts: 928000 | #Constraints: 25675
1706.45/1711.74 c #Conflicts: 929000 | #Constraints: 26675
1706.45/1711.74 c #Conflicts: 930000 | #Constraints: 27675
1706.45/1711.75 c #Conflicts: 931000 | #Constraints: 28675
1706.45/1711.75 c #Conflicts: 932000 | #Constraints: 29675
1706.45/1711.75 c #Conflicts: 933000 | #Constraints: 30675
1706.45/1711.75 c #Conflicts: 934000 | #Constraints: 31675
1706.45/1711.75 c #Conflicts: 935000 | #Constraints: 32675
1706.45/1711.75 c #Conflicts: 936000 | #Constraints: 33675
1706.45/1711.75 c #Conflicts: 937000 | #Constraints: 34675
1706.45/1711.75 c #Conflicts: 938000 | #Constraints: 35675
1706.45/1711.75 c #Conflicts: 939000 | #Constraints: 36675
1706.45/1711.75 c #Conflicts: 940000 | #Constraints: 37675
1706.45/1711.75 c #Conflicts: 941000 | #Constraints: 38675
1706.45/1711.75 c INPROCESSING
1706.45/1711.75 c GARBAGE COLLECT
1706.45/1711.75 c #Conflicts: 942000 | #Constraints: 20475
1706.45/1711.75 c #Conflicts: 943000 | #Constraints: 21475
1706.45/1711.75 c #Conflicts: 944000 | #Constraints: 22475
1706.45/1711.75 c #Conflicts: 945000 | #Constraints: 23475
1706.45/1711.75 c #Conflicts: 946000 | #Constraints: 24475
1706.45/1711.75 c #Conflicts: 947000 | #Constraints: 25475
1706.45/1711.75 c #Conflicts: 948000 | #Constraints: 26475
1706.45/1711.75 c #Conflicts: 949000 | #Constraints: 27475
1706.45/1711.75 c #Conflicts: 950000 | #Constraints: 28475
1706.45/1711.75 c #Conflicts: 951000 | #Constraints: 29475
1706.45/1711.75 c #Conflicts: 952000 | #Constraints: 30475
1706.45/1711.75 c #Conflicts: 953000 | #Constraints: 31475
1706.45/1711.75 c #Conflicts: 954000 | #Constraints: 32475
1706.45/1711.75 c #Conflicts: 955000 | #Constraints: 33475
1706.45/1711.75 c #Conflicts: 956000 | #Constraints: 34475
1706.45/1711.75 c #Conflicts: 957000 | #Constraints: 35475
1706.45/1711.75 c #Conflicts: 958000 | #Constraints: 36475
1706.45/1711.75 c #Conflicts: 959000 | #Constraints: 37475
1706.45/1711.75 c #Conflicts: 960000 | #Constraints: 38475
1706.45/1711.75 c #Conflicts: 961000 | #Constraints: 39475
1706.45/1711.75 c INPROCESSING
1706.45/1711.75 c GARBAGE COLLECT
1706.45/1711.75 c #Conflicts: 962000 | #Constraints: 21077
1706.45/1711.75 c #Conflicts: 963000 | #Constraints: 22077
1706.45/1711.75 c #Conflicts: 964000 | #Constraints: 23077
1706.45/1711.75 c #Conflicts: 965000 | #Constraints: 24077
1706.45/1711.75 c #Conflicts: 966000 | #Constraints: 25077
1706.45/1711.75 c #Conflicts: 967000 | #Constraints: 26077
1706.45/1711.75 c #Conflicts: 968000 | #Constraints: 27077
1875.41/1881.13 c #Conflicts: 969000 | #Constraints: 28077
1875.41/1881.13 c #Conflicts: 970000 | #Constraints: 29077
1875.41/1881.13 c #Conflicts: 971000 | #Constraints: 30077
1875.41/1881.13 c #Conflicts: 972000 | #Constraints: 31077
1875.41/1881.13 c #Conflicts: 973000 | #Constraints: 32077
1875.41/1881.13 c #Conflicts: 974000 | #Constraints: 33077
1875.41/1881.13 c #Conflicts: 975000 | #Constraints: 34077
1875.41/1881.13 c #Conflicts: 976000 | #Constraints: 35077
1875.41/1881.13 c #Conflicts: 977000 | #Constraints: 36077
1875.41/1881.13 c #Conflicts: 978000 | #Constraints: 37077
1875.41/1881.13 c #Conflicts: 979000 | #Constraints: 38077
1875.41/1881.13 c #Conflicts: 980000 | #Constraints: 39077
1875.41/1881.13 c #Conflicts: 981000 | #Constraints: 40077
1875.41/1881.13 c INPROCESSING
1875.41/1881.13 c GARBAGE COLLECT
1875.41/1881.13 c #Conflicts: 982000 | #Constraints: 21475
1875.41/1881.13 c #Conflicts: 983000 | #Constraints: 22475
1875.41/1881.13 c #Conflicts: 984000 | #Constraints: 23475
1875.41/1881.13 c #Conflicts: 985000 | #Constraints: 24475
1875.41/1881.13 c #Conflicts: 986000 | #Constraints: 25475
1875.41/1881.13 c #Conflicts: 987000 | #Constraints: 26475
1875.41/1881.13 c #Conflicts: 988000 | #Constraints: 27475
1875.41/1881.13 c #Conflicts: 989000 | #Constraints: 28475
1875.41/1881.13 c #Conflicts: 990000 | #Constraints: 29475
1875.41/1881.13 c #Conflicts: 991000 | #Constraints: 30475
1875.41/1881.13 c #Conflicts: 992000 | #Constraints: 31475
1875.41/1881.13 c #Conflicts: 993000 | #Constraints: 32475
1875.41/1881.13 c #Conflicts: 994000 | #Constraints: 33475
1875.41/1881.13 c #Conflicts: 995000 | #Constraints: 34475
1875.41/1881.13 c #Conflicts: 996000 | #Constraints: 35475
1875.41/1881.13 c #Conflicts: 997000 | #Constraints: 36475
1875.41/1881.13 c #Conflicts: 998000 | #Constraints: 37475
1875.41/1881.13 c #Conflicts: 999000 | #Constraints: 38475
1875.41/1881.13 c #Conflicts: 1000000 | #Constraints: 39475
1875.41/1881.13 c #Conflicts: 1001000 | #Constraints: 40475
1875.41/1881.13 c INPROCESSING
1875.41/1881.13 c GARBAGE COLLECT
1875.41/1881.13 c #Conflicts: 1002000 | #Constraints: 21674
1875.41/1881.13 c #Conflicts: 1003000 | #Constraints: 22674
1875.41/1881.13 c #Conflicts: 1004000 | #Constraints: 23674
1875.41/1881.13 c #Conflicts: 1005000 | #Constraints: 24674
1875.41/1881.13 c #Conflicts: 1006000 | #Constraints: 25674
1875.41/1881.13 c #Conflicts: 1007000 | #Constraints: 26674
1875.41/1881.13 c #Conflicts: 1008000 | #Constraints: 27674
1875.41/1881.13 c #Conflicts: 1009000 | #Constraints: 28674
1875.41/1881.13 c #Conflicts: 1010000 | #Constraints: 29674
1875.41/1881.13 c #Conflicts: 1011000 | #Constraints: 30674
1875.41/1881.13 c #Conflicts: 1012000 | #Constraints: 31674
1875.41/1881.13 c #Conflicts: 1013000 | #Constraints: 32674
1875.41/1881.13 c #Conflicts: 1014000 | #Constraints: 33674
1875.41/1881.13 c #Conflicts: 1015000 | #Constraints: 34674
1875.41/1881.13 c #Conflicts: 1016000 | #Constraints: 35674
1875.41/1881.13 c #Conflicts: 1017000 | #Constraints: 36674
1875.41/1881.13 c #Conflicts: 1018000 | #Constraints: 37674
1875.41/1881.13 c #Conflicts: 1019000 | #Constraints: 38674
1875.41/1881.13 c #Conflicts: 1020000 | #Constraints: 39674
1875.41/1881.13 c #Conflicts: 1021000 | #Constraints: 40674
1875.41/1881.13 c INPROCESSING
1875.41/1881.13 c GARBAGE COLLECT
1875.41/1881.13 c #Conflicts: 1022000 | #Constraints: 21676
1875.41/1881.13 c #Conflicts: 1023000 | #Constraints: 22676
1875.41/1881.13 c #Conflicts: 1024000 | #Constraints: 23676
1875.41/1881.13 c #Conflicts: 1025000 | #Constraints: 24676
1875.41/1881.13 c #Conflicts: 1026000 | #Constraints: 25676
1875.41/1881.13 c #Conflicts: 1027000 | #Constraints: 26676
1875.41/1881.13 c #Conflicts: 1028000 | #Constraints: 27676
1875.41/1881.13 c #Conflicts: 1029000 | #Constraints: 28676
1875.41/1881.13 c #Conflicts: 1030000 | #Constraints: 29676
1875.41/1881.13 c #Conflicts: 1031000 | #Constraints: 30676
1875.41/1881.13 c #Conflicts: 1032000 | #Constraints: 31676
1875.41/1881.13 c #Conflicts: 1033000 | #Constraints: 32676
1875.41/1881.13 c #Conflicts: 1034000 | #Constraints: 33676
1875.41/1881.13 c #Conflicts: 1035000 | #Constraints: 34676
1875.41/1881.13 c #Conflicts: 1036000 | #Constraints: 35676
1875.41/1881.13 c #Conflicts: 1037000 | #Constraints: 36676
1875.41/1881.13 c #Conflicts: 1038000 | #Constraints: 37676
1875.41/1881.13 c #Conflicts: 1039000 | #Constraints: 38676
1875.41/1881.13 c #Conflicts: 1040000 | #Constraints: 39676
1875.41/1881.13 c #Conflicts: 1041000 | #Constraints: 40676
1875.41/1881.13 c INPROCESSING
1875.41/1881.13 c GARBAGE COLLECT
1875.41/1881.13 c #Conflicts: 1042000 | #Constraints: 21474
1875.41/1881.13 c #Conflicts: 1043000 | #Constraints: 22474
1875.41/1881.13 c #Conflicts: 1044000 | #Constraints: 23474
2046.49/2052.63 c #Conflicts: 1045000 | #Constraints: 24474
2046.49/2052.63 c #Conflicts: 1046000 | #Constraints: 25474
2046.49/2052.63 c #Conflicts: 1047000 | #Constraints: 26474
2046.49/2052.63 c #Conflicts: 1048000 | #Constraints: 27474
2046.49/2052.63 c #Conflicts: 1049000 | #Constraints: 28474
2046.49/2052.63 c #Conflicts: 1050000 | #Constraints: 29474
2046.49/2052.63 c #Conflicts: 1051000 | #Constraints: 30474
2046.49/2052.63 c #Conflicts: 1052000 | #Constraints: 31474
2046.49/2052.63 c #Conflicts: 1053000 | #Constraints: 32474
2046.49/2052.63 c #Conflicts: 1054000 | #Constraints: 33474
2046.49/2052.63 c #Conflicts: 1055000 | #Constraints: 34474
2046.49/2052.63 c #Conflicts: 1056000 | #Constraints: 35474
2046.49/2052.63 c #Conflicts: 1057000 | #Constraints: 36474
2046.49/2052.63 c #Conflicts: 1058000 | #Constraints: 37474
2046.49/2052.63 c #Conflicts: 1059000 | #Constraints: 38474
2046.49/2052.63 c #Conflicts: 1060000 | #Constraints: 39474
2046.49/2052.63 c #Conflicts: 1061000 | #Constraints: 40474
2046.49/2052.63 c #Conflicts: 1062000 | #Constraints: 41474
2046.49/2052.63 c INPROCESSING
2046.49/2052.63 c GARBAGE COLLECT
2046.49/2052.63 c #Conflicts: 1063000 | #Constraints: 22072
2046.49/2052.63 c #Conflicts: 1064000 | #Constraints: 23072
2046.49/2052.63 c #Conflicts: 1065000 | #Constraints: 24072
2046.49/2052.63 c #Conflicts: 1066000 | #Constraints: 25072
2046.49/2052.63 c #Conflicts: 1067000 | #Constraints: 26072
2046.49/2052.63 c #Conflicts: 1068000 | #Constraints: 27072
2046.49/2052.63 c #Conflicts: 1069000 | #Constraints: 28072
2046.49/2052.63 c #Conflicts: 1070000 | #Constraints: 29072
2046.49/2052.63 c #Conflicts: 1071000 | #Constraints: 30072
2046.49/2052.63 c #Conflicts: 1072000 | #Constraints: 31072
2046.49/2052.63 c #Conflicts: 1073000 | #Constraints: 32072
2046.49/2052.63 c #Conflicts: 1074000 | #Constraints: 33072
2046.49/2052.63 c #Conflicts: 1075000 | #Constraints: 34072
2046.49/2052.63 c #Conflicts: 1076000 | #Constraints: 35072
2046.49/2052.63 c #Conflicts: 1077000 | #Constraints: 36072
2046.49/2052.63 c #Conflicts: 1078000 | #Constraints: 37072
2046.49/2052.63 c #Conflicts: 1079000 | #Constraints: 38072
2046.49/2052.63 c #Conflicts: 1080000 | #Constraints: 39072
2046.49/2052.63 c #Conflicts: 1081000 | #Constraints: 40072
2046.49/2052.63 c #Conflicts: 1082000 | #Constraints: 41072
2046.49/2052.63 c #Conflicts: 1083000 | #Constraints: 42072
2046.49/2052.63 c INPROCESSING
2046.49/2052.63 c GARBAGE COLLECT
2046.49/2052.63 c #Conflicts: 1084000 | #Constraints: 22475
2046.49/2052.63 c #Conflicts: 1085000 | #Constraints: 23475
2046.49/2052.63 c #Conflicts: 1086000 | #Constraints: 24475
2046.49/2052.63 c #Conflicts: 1087000 | #Constraints: 25475
2046.49/2052.63 c #Conflicts: 1088000 | #Constraints: 26475
2046.49/2052.63 c #Conflicts: 1089000 | #Constraints: 27475
2046.49/2052.63 c #Conflicts: 1090000 | #Constraints: 28475
2046.49/2052.63 c #Conflicts: 1091000 | #Constraints: 29475
2046.49/2052.63 c #Conflicts: 1092000 | #Constraints: 30475
2046.49/2052.63 c #Conflicts: 1093000 | #Constraints: 31475
2046.49/2052.63 c #Conflicts: 1094000 | #Constraints: 32475
2046.49/2052.63 c #Conflicts: 1095000 | #Constraints: 33475
2046.49/2052.63 c #Conflicts: 1096000 | #Constraints: 34475
2046.49/2052.63 c #Conflicts: 1097000 | #Constraints: 35475
2046.49/2052.63 c #Conflicts: 1098000 | #Constraints: 36475
2046.49/2052.63 c #Conflicts: 1099000 | #Constraints: 37475
2046.49/2052.63 c #Conflicts: 1100000 | #Constraints: 38475
2046.49/2052.63 c #Conflicts: 1101000 | #Constraints: 39475
2046.49/2052.63 c #Conflicts: 1102000 | #Constraints: 40475
2046.49/2052.63 c #Conflicts: 1103000 | #Constraints: 41475
2046.49/2052.63 c #Conflicts: 1104000 | #Constraints: 42475
2046.49/2052.63 c INPROCESSING
2046.49/2052.63 c GARBAGE COLLECT
2046.49/2052.63 c #Conflicts: 1105000 | #Constraints: 22676
2046.49/2052.63 c #Conflicts: 1106000 | #Constraints: 23676
2046.49/2052.63 c #Conflicts: 1107000 | #Constraints: 24676
2046.49/2052.63 c #Conflicts: 1108000 | #Constraints: 25676
2046.49/2052.63 c #Conflicts: 1109000 | #Constraints: 26676
2046.49/2052.63 c #Conflicts: 1110000 | #Constraints: 27676
2046.49/2052.63 c #Conflicts: 1111000 | #Constraints: 28676
2046.49/2052.63 c #Conflicts: 1112000 | #Constraints: 29676
2046.49/2052.63 c #Conflicts: 1113000 | #Constraints: 30676
2046.49/2052.63 c #Conflicts: 1114000 | #Constraints: 31676
2046.49/2052.63 c #Conflicts: 1115000 | #Constraints: 32676
2046.49/2052.63 c #Conflicts: 1116000 | #Constraints: 33676
2046.49/2052.63 c #Conflicts: 1117000 | #Constraints: 34676
2046.49/2052.63 c #Conflicts: 1118000 | #Constraints: 35676
2046.49/2052.63 c #Conflicts: 1119000 | #Constraints: 36676
2046.49/2052.63 c #Conflicts: 1120000 | #Constraints: 37676
2046.49/2052.63 c #Conflicts: 1121000 | #Constraints: 38676
2230.52/2237.05 c #Conflicts: 1122000 | #Constraints: 39676
2230.52/2237.05 c #Conflicts: 1123000 | #Constraints: 40676
2230.52/2237.05 c #Conflicts: 1124000 | #Constraints: 41676
2230.52/2237.05 c #Conflicts: 1125000 | #Constraints: 42676
2230.52/2237.05 c INPROCESSING
2230.52/2237.05 c GARBAGE COLLECT
2230.52/2237.05 c #Conflicts: 1126000 | #Constraints: 22678
2230.52/2237.05 c #Conflicts: 1127000 | #Constraints: 23678
2230.52/2237.05 c #Conflicts: 1128000 | #Constraints: 24678
2230.52/2237.05 c #Conflicts: 1129000 | #Constraints: 25678
2230.52/2237.05 c #Conflicts: 1130000 | #Constraints: 26678
2230.52/2237.05 c #Conflicts: 1131000 | #Constraints: 27678
2230.52/2237.05 c #Conflicts: 1132000 | #Constraints: 28678
2230.52/2237.05 c #Conflicts: 1133000 | #Constraints: 29678
2230.52/2237.05 c #Conflicts: 1134000 | #Constraints: 30678
2230.52/2237.05 c #Conflicts: 1135000 | #Constraints: 31678
2230.52/2237.05 c #Conflicts: 1136000 | #Constraints: 32678
2230.52/2237.05 c #Conflicts: 1137000 | #Constraints: 33678
2230.52/2237.05 c #Conflicts: 1138000 | #Constraints: 34678
2230.52/2237.05 c #Conflicts: 1139000 | #Constraints: 35678
2230.52/2237.05 c #Conflicts: 1140000 | #Constraints: 36678
2230.52/2237.05 c #Conflicts: 1141000 | #Constraints: 37678
2230.52/2237.05 c #Conflicts: 1142000 | #Constraints: 38678
2230.52/2237.05 c #Conflicts: 1143000 | #Constraints: 39678
2230.52/2237.05 c #Conflicts: 1144000 | #Constraints: 40678
2230.52/2237.05 c #Conflicts: 1145000 | #Constraints: 41678
2230.52/2237.05 c #Conflicts: 1146000 | #Constraints: 42678
2230.52/2237.05 c INPROCESSING
2230.52/2237.05 c GARBAGE COLLECT
2230.52/2237.05 c #Conflicts: 1147000 | #Constraints: 22480
2230.52/2237.05 c #Conflicts: 1148000 | #Constraints: 23480
2230.52/2237.05 c #Conflicts: 1149000 | #Constraints: 24480
2230.52/2237.05 c #Conflicts: 1150000 | #Constraints: 25480
2230.52/2237.05 c #Conflicts: 1151000 | #Constraints: 26480
2230.52/2237.05 c #Conflicts: 1152000 | #Constraints: 27480
2230.52/2237.05 c #Conflicts: 1153000 | #Constraints: 28480
2230.52/2237.05 c #Conflicts: 1154000 | #Constraints: 29480
2230.52/2237.05 c #Conflicts: 1155000 | #Constraints: 30480
2230.52/2237.05 c #Conflicts: 1156000 | #Constraints: 31480
2230.52/2237.05 c #Conflicts: 1157000 | #Constraints: 32480
2230.52/2237.05 c #Conflicts: 1158000 | #Constraints: 33480
2230.52/2237.05 c #Conflicts: 1159000 | #Constraints: 34480
2230.52/2237.05 c #Conflicts: 1160000 | #Constraints: 35480
2230.52/2237.05 c #Conflicts: 1161000 | #Constraints: 36480
2230.52/2237.05 c #Conflicts: 1162000 | #Constraints: 37480
2230.52/2237.05 c #Conflicts: 1163000 | #Constraints: 38480
2230.52/2237.05 c #Conflicts: 1164000 | #Constraints: 39480
2230.52/2237.05 c #Conflicts: 1165000 | #Constraints: 40480
2230.52/2237.05 c #Conflicts: 1166000 | #Constraints: 41480
2230.52/2237.05 c #Conflicts: 1167000 | #Constraints: 42480
2230.52/2237.05 c #Conflicts: 1168000 | #Constraints: 43480
2230.52/2237.05 c INPROCESSING
2230.52/2237.05 c GARBAGE COLLECT
2230.52/2237.05 c #Conflicts: 1169000 | #Constraints: 23080
2230.52/2237.05 c #Conflicts: 1170000 | #Constraints: 24080
2230.52/2237.05 c #Conflicts: 1171000 | #Constraints: 25080
2230.52/2237.05 c #Conflicts: 1172000 | #Constraints: 26080
2230.52/2237.05 c #Conflicts: 1173000 | #Constraints: 27080
2230.52/2237.05 c #Conflicts: 1174000 | #Constraints: 28080
2230.52/2237.05 c #Conflicts: 1175000 | #Constraints: 29080
2230.52/2237.05 c #Conflicts: 1176000 | #Constraints: 30080
2230.52/2237.05 c #Conflicts: 1177000 | #Constraints: 31080
2230.52/2237.05 c #Conflicts: 1178000 | #Constraints: 32080
2230.52/2237.05 c #Conflicts: 1179000 | #Constraints: 33080
2230.52/2237.05 c #Conflicts: 1180000 | #Constraints: 34080
2230.52/2237.05 c #Conflicts: 1181000 | #Constraints: 35080
2230.52/2237.05 c #Conflicts: 1182000 | #Constraints: 36080
2230.52/2237.05 c #Conflicts: 1183000 | #Constraints: 37080
2230.52/2237.05 c #Conflicts: 1184000 | #Constraints: 38080
2230.52/2237.05 c #Conflicts: 1185000 | #Constraints: 39080
2230.52/2237.05 c #Conflicts: 1186000 | #Constraints: 40080
2230.52/2237.05 c #Conflicts: 1187000 | #Constraints: 41080
2230.52/2237.05 c #Conflicts: 1188000 | #Constraints: 42080
2230.52/2237.05 c #Conflicts: 1189000 | #Constraints: 43080
2230.52/2237.05 c #Conflicts: 1190000 | #Constraints: 44080
2230.52/2237.05 c INPROCESSING
2230.52/2237.05 c GARBAGE COLLECT
2230.52/2237.05 c #Conflicts: 1191000 | #Constraints: 23482
2230.52/2237.05 c #Conflicts: 1192000 | #Constraints: 24482
2230.52/2237.05 c #Conflicts: 1193000 | #Constraints: 25482
2230.52/2237.05 c #Conflicts: 1194000 | #Constraints: 26482
2230.52/2237.05 c #Conflicts: 1195000 | #Constraints: 27482
2230.52/2237.05 c #Conflicts: 1196000 | #Constraints: 28482
2230.52/2237.05 c #Conflicts: 1197000 | #Constraints: 29482
2422.31/2429.27 c #Conflicts: 1198000 | #Constraints: 30482
2422.31/2429.27 c #Conflicts: 1199000 | #Constraints: 31482
2422.31/2429.27 c #Conflicts: 1200000 | #Constraints: 32482
2422.31/2429.27 c #Conflicts: 1201000 | #Constraints: 33482
2422.31/2429.27 c #Conflicts: 1202000 | #Constraints: 34482
2422.31/2429.27 c #Conflicts: 1203000 | #Constraints: 35482
2422.31/2429.27 c #Conflicts: 1204000 | #Constraints: 36482
2422.31/2429.27 c #Conflicts: 1205000 | #Constraints: 37482
2422.31/2429.27 c #Conflicts: 1206000 | #Constraints: 38482
2422.31/2429.27 c #Conflicts: 1207000 | #Constraints: 39482
2422.31/2429.27 c #Conflicts: 1208000 | #Constraints: 40482
2422.31/2429.27 c #Conflicts: 1209000 | #Constraints: 41482
2422.31/2429.27 c #Conflicts: 1210000 | #Constraints: 42482
2422.31/2429.27 c #Conflicts: 1211000 | #Constraints: 43482
2422.31/2429.27 c #Conflicts: 1212000 | #Constraints: 44482
2422.31/2429.27 c INPROCESSING
2422.31/2429.27 c GARBAGE COLLECT
2422.31/2429.27 c #Conflicts: 1213000 | #Constraints: 23680
2422.31/2429.27 c #Conflicts: 1214000 | #Constraints: 24680
2422.31/2429.27 c #Conflicts: 1215000 | #Constraints: 25680
2422.31/2429.27 c #Conflicts: 1216000 | #Constraints: 26680
2422.31/2429.27 c #Conflicts: 1217000 | #Constraints: 27680
2422.31/2429.27 c #Conflicts: 1218000 | #Constraints: 28680
2422.31/2429.27 c #Conflicts: 1219000 | #Constraints: 29680
2422.31/2429.27 c #Conflicts: 1220000 | #Constraints: 30680
2422.31/2429.27 c #Conflicts: 1221000 | #Constraints: 31680
2422.31/2429.27 c #Conflicts: 1222000 | #Constraints: 32680
2422.31/2429.27 c #Conflicts: 1223000 | #Constraints: 33680
2422.31/2429.27 c #Conflicts: 1224000 | #Constraints: 34680
2422.31/2429.27 c #Conflicts: 1225000 | #Constraints: 35680
2422.31/2429.27 c #Conflicts: 1226000 | #Constraints: 36680
2422.31/2429.27 c #Conflicts: 1227000 | #Constraints: 37680
2422.31/2429.27 c #Conflicts: 1228000 | #Constraints: 38680
2422.31/2429.27 c #Conflicts: 1229000 | #Constraints: 39680
2422.31/2429.27 c #Conflicts: 1230000 | #Constraints: 40680
2422.31/2429.27 c #Conflicts: 1231000 | #Constraints: 41680
2422.31/2429.27 c #Conflicts: 1232000 | #Constraints: 42680
2422.31/2429.27 c #Conflicts: 1233000 | #Constraints: 43680
2422.31/2429.27 c #Conflicts: 1234000 | #Constraints: 44680
2422.31/2429.27 c INPROCESSING
2422.31/2429.27 c GARBAGE COLLECT
2422.31/2429.27 c #Conflicts: 1235000 | #Constraints: 23679
2422.31/2429.27 c #Conflicts: 1236000 | #Constraints: 24679
2422.31/2429.27 c #Conflicts: 1237000 | #Constraints: 25679
2422.31/2429.27 c #Conflicts: 1238000 | #Constraints: 26679
2422.31/2429.27 c #Conflicts: 1239000 | #Constraints: 27679
2422.31/2429.27 c #Conflicts: 1240000 | #Constraints: 28679
2422.31/2429.27 c #Conflicts: 1241000 | #Constraints: 29679
2422.31/2429.27 c #Conflicts: 1242000 | #Constraints: 30679
2422.31/2429.27 c #Conflicts: 1243000 | #Constraints: 31679
2422.31/2429.27 c #Conflicts: 1244000 | #Constraints: 32679
2422.31/2429.27 c #Conflicts: 1245000 | #Constraints: 33679
2422.31/2429.27 c #Conflicts: 1246000 | #Constraints: 34679
2422.31/2429.27 c #Conflicts: 1247000 | #Constraints: 35679
2422.31/2429.27 c #Conflicts: 1248000 | #Constraints: 36679
2422.31/2429.27 c #Conflicts: 1249000 | #Constraints: 37679
2422.31/2429.27 c #Conflicts: 1250000 | #Constraints: 38679
2422.31/2429.27 c #Conflicts: 1251000 | #Constraints: 39679
2422.31/2429.27 c #Conflicts: 1252000 | #Constraints: 40679
2422.31/2429.27 c #Conflicts: 1253000 | #Constraints: 41679
2422.31/2429.27 c #Conflicts: 1254000 | #Constraints: 42679
2422.31/2429.27 c #Conflicts: 1255000 | #Constraints: 43679
2422.31/2429.27 c #Conflicts: 1256000 | #Constraints: 44679
2422.31/2429.27 c INPROCESSING
2422.31/2429.27 c GARBAGE COLLECT
2422.31/2429.27 c #Conflicts: 1257000 | #Constraints: 23481
2422.31/2429.27 c #Conflicts: 1258000 | #Constraints: 24481
2422.31/2429.27 c #Conflicts: 1259000 | #Constraints: 25481
2422.31/2429.27 c #Conflicts: 1260000 | #Constraints: 26481
2422.31/2429.27 c #Conflicts: 1261000 | #Constraints: 27481
2422.31/2429.27 c #Conflicts: 1262000 | #Constraints: 28481
2422.31/2429.27 c #Conflicts: 1263000 | #Constraints: 29481
2422.31/2429.27 c #Conflicts: 1264000 | #Constraints: 30481
2422.31/2429.27 c #Conflicts: 1265000 | #Constraints: 31481
2422.31/2429.27 c #Conflicts: 1266000 | #Constraints: 32481
2422.31/2429.27 c #Conflicts: 1267000 | #Constraints: 33481
2422.31/2429.27 c #Conflicts: 1268000 | #Constraints: 34481
2422.31/2429.27 c #Conflicts: 1269000 | #Constraints: 35481
2422.31/2429.27 c #Conflicts: 1270000 | #Constraints: 36481
2422.31/2429.27 c #Conflicts: 1271000 | #Constraints: 37481
2422.31/2429.27 c #Conflicts: 1272000 | #Constraints: 38481
2422.31/2429.27 c #Conflicts: 1273000 | #Constraints: 39481
2422.31/2429.27 c #Conflicts: 1274000 | #Constraints: 40481
2616.10/2623.46 c #Conflicts: 1275000 | #Constraints: 41481
2616.10/2623.46 c #Conflicts: 1276000 | #Constraints: 42481
2616.10/2623.46 c #Conflicts: 1277000 | #Constraints: 43481
2616.10/2623.46 c #Conflicts: 1278000 | #Constraints: 44481
2616.10/2623.46 c #Conflicts: 1279000 | #Constraints: 45481
2616.10/2623.46 c INPROCESSING
2616.10/2623.46 c GARBAGE COLLECT
2616.10/2623.46 c #Conflicts: 1280000 | #Constraints: 24080
2616.10/2623.46 c #Conflicts: 1281000 | #Constraints: 25080
2616.10/2623.46 c #Conflicts: 1282000 | #Constraints: 26080
2616.10/2623.46 c #Conflicts: 1283000 | #Constraints: 27080
2616.10/2623.46 c #Conflicts: 1284000 | #Constraints: 28080
2616.10/2623.46 c #Conflicts: 1285000 | #Constraints: 29080
2616.10/2623.46 c #Conflicts: 1286000 | #Constraints: 30080
2616.10/2623.46 c #Conflicts: 1287000 | #Constraints: 31080
2616.10/2623.46 c #Conflicts: 1288000 | #Constraints: 32080
2616.10/2623.46 c #Conflicts: 1289000 | #Constraints: 33080
2616.10/2623.46 c #Conflicts: 1290000 | #Constraints: 34080
2616.10/2623.46 c #Conflicts: 1291000 | #Constraints: 35080
2616.10/2623.46 c #Conflicts: 1292000 | #Constraints: 36080
2616.10/2623.46 c #Conflicts: 1293000 | #Constraints: 37080
2616.10/2623.46 c #Conflicts: 1294000 | #Constraints: 38080
2616.10/2623.46 c #Conflicts: 1295000 | #Constraints: 39080
2616.10/2623.46 c #Conflicts: 1296000 | #Constraints: 40080
2616.10/2623.46 c #Conflicts: 1297000 | #Constraints: 41080
2616.10/2623.46 c #Conflicts: 1298000 | #Constraints: 42080
2616.10/2623.46 c #Conflicts: 1299000 | #Constraints: 43080
2616.10/2623.46 c #Conflicts: 1300000 | #Constraints: 44080
2616.10/2623.46 c #Conflicts: 1301000 | #Constraints: 45080
2616.10/2623.46 c #Conflicts: 1302000 | #Constraints: 46080
2616.10/2623.46 c INPROCESSING
2616.10/2623.46 c GARBAGE COLLECT
2616.10/2623.46 c #Conflicts: 1303000 | #Constraints: 24480
2616.10/2623.46 c #Conflicts: 1304000 | #Constraints: 25480
2616.10/2623.46 c #Conflicts: 1305000 | #Constraints: 26480
2616.10/2623.46 c #Conflicts: 1306000 | #Constraints: 27480
2616.10/2623.46 c #Conflicts: 1307000 | #Constraints: 28480
2616.10/2623.46 c #Conflicts: 1308000 | #Constraints: 29480
2616.10/2623.46 c #Conflicts: 1309000 | #Constraints: 30480
2616.10/2623.46 c #Conflicts: 1310000 | #Constraints: 31480
2616.10/2623.46 c #Conflicts: 1311000 | #Constraints: 32480
2616.10/2623.46 c #Conflicts: 1312000 | #Constraints: 33480
2616.10/2623.46 c #Conflicts: 1313000 | #Constraints: 34480
2616.10/2623.46 c #Conflicts: 1314000 | #Constraints: 35480
2616.10/2623.46 c #Conflicts: 1315000 | #Constraints: 36480
2616.10/2623.46 c #Conflicts: 1316000 | #Constraints: 37480
2616.10/2623.46 c #Conflicts: 1317000 | #Constraints: 38480
2616.10/2623.46 c #Conflicts: 1318000 | #Constraints: 39480
2616.10/2623.46 c #Conflicts: 1319000 | #Constraints: 40480
2616.10/2623.46 c #Conflicts: 1320000 | #Constraints: 41480
2616.10/2623.46 c #Conflicts: 1321000 | #Constraints: 42480
2616.10/2623.46 c #Conflicts: 1322000 | #Constraints: 43480
2616.10/2623.46 c #Conflicts: 1323000 | #Constraints: 44480
2616.10/2623.46 c #Conflicts: 1324000 | #Constraints: 45480
2616.10/2623.46 c #Conflicts: 1325000 | #Constraints: 46480
2616.10/2623.46 c INPROCESSING
2616.10/2623.46 c GARBAGE COLLECT
2616.10/2623.46 c #Conflicts: 1326000 | #Constraints: 24679
2616.10/2623.46 c #Conflicts: 1327000 | #Constraints: 25679
2616.10/2623.46 c #Conflicts: 1328000 | #Constraints: 26679
2616.10/2623.46 c #Conflicts: 1329000 | #Constraints: 27679
2616.10/2623.46 c #Conflicts: 1330000 | #Constraints: 28679
2616.10/2623.46 c #Conflicts: 1331000 | #Constraints: 29679
2616.10/2623.46 c #Conflicts: 1332000 | #Constraints: 30679
2616.10/2623.46 c #Conflicts: 1333000 | #Constraints: 31679
2616.10/2623.46 c #Conflicts: 1334000 | #Constraints: 32679
2616.10/2623.46 c #Conflicts: 1335000 | #Constraints: 33679
2616.10/2623.46 c #Conflicts: 1336000 | #Constraints: 34679
2616.10/2623.46 c #Conflicts: 1337000 | #Constraints: 35679
2616.10/2623.46 c #Conflicts: 1338000 | #Constraints: 36679
2616.10/2623.46 c #Conflicts: 1339000 | #Constraints: 37679
2616.10/2623.46 c #Conflicts: 1340000 | #Constraints: 38679
2616.10/2623.46 c #Conflicts: 1341000 | #Constraints: 39679
2616.10/2623.46 c #Conflicts: 1342000 | #Constraints: 40679
2616.10/2623.46 c #Conflicts: 1343000 | #Constraints: 41679
2616.10/2623.46 c #Conflicts: 1344000 | #Constraints: 42679
2616.10/2623.46 c #Conflicts: 1345000 | #Constraints: 43679
2616.10/2623.46 c #Conflicts: 1346000 | #Constraints: 44679
2616.10/2623.46 c #Conflicts: 1347000 | #Constraints: 45679
2616.10/2623.46 c #Conflicts: 1348000 | #Constraints: 46679
2616.10/2623.46 c INPROCESSING
2616.10/2623.46 c GARBAGE COLLECT
2616.10/2623.46 c #Conflicts: 1349000 | #Constraints: 24676
2616.10/2623.46 c #Conflicts: 1350000 | #Constraints: 25676
2818.52/2826.45 c #Conflicts: 1351000 | #Constraints: 26676
2818.52/2826.45 c #Conflicts: 1352000 | #Constraints: 27676
2818.52/2826.45 c #Conflicts: 1353000 | #Constraints: 28676
2818.52/2826.45 c #Conflicts: 1354000 | #Constraints: 29676
2818.52/2826.45 c #Conflicts: 1355000 | #Constraints: 30676
2818.52/2826.45 c #Conflicts: 1356000 | #Constraints: 31676
2818.52/2826.45 c #Conflicts: 1357000 | #Constraints: 32676
2818.52/2826.45 c #Conflicts: 1358000 | #Constraints: 33676
2818.52/2826.45 c #Conflicts: 1359000 | #Constraints: 34676
2818.52/2826.45 c #Conflicts: 1360000 | #Constraints: 35676
2818.52/2826.45 c #Conflicts: 1361000 | #Constraints: 36676
2818.52/2826.45 c #Conflicts: 1362000 | #Constraints: 37676
2818.52/2826.45 c #Conflicts: 1363000 | #Constraints: 38676
2818.52/2826.45 c #Conflicts: 1364000 | #Constraints: 39676
2818.52/2826.45 c #Conflicts: 1365000 | #Constraints: 40676
2818.52/2826.45 c #Conflicts: 1366000 | #Constraints: 41676
2818.52/2826.45 c #Conflicts: 1367000 | #Constraints: 42676
2818.52/2826.45 c #Conflicts: 1368000 | #Constraints: 43676
2818.52/2826.45 c #Conflicts: 1369000 | #Constraints: 44676
2818.52/2826.45 c #Conflicts: 1370000 | #Constraints: 45676
2818.52/2826.45 c #Conflicts: 1371000 | #Constraints: 46676
2818.52/2826.45 c INPROCESSING
2818.52/2826.45 c GARBAGE COLLECT
2818.52/2826.45 c #Conflicts: 1372000 | #Constraints: 24476
2818.52/2826.45 c #Conflicts: 1373000 | #Constraints: 25476
2818.52/2826.45 c #Conflicts: 1374000 | #Constraints: 26476
2818.52/2826.45 c #Conflicts: 1375000 | #Constraints: 27476
2818.52/2826.45 c #Conflicts: 1376000 | #Constraints: 28476
2818.52/2826.45 c #Conflicts: 1377000 | #Constraints: 29476
2818.52/2826.45 c #Conflicts: 1378000 | #Constraints: 30476
2818.52/2826.45 c #Conflicts: 1379000 | #Constraints: 31476
2818.52/2826.45 c #Conflicts: 1380000 | #Constraints: 32476
2818.52/2826.45 c #Conflicts: 1381000 | #Constraints: 33476
2818.52/2826.45 c #Conflicts: 1382000 | #Constraints: 34476
2818.52/2826.45 c #Conflicts: 1383000 | #Constraints: 35476
2818.52/2826.45 c #Conflicts: 1384000 | #Constraints: 36476
2818.52/2826.45 c #Conflicts: 1385000 | #Constraints: 37476
2818.52/2826.45 c #Conflicts: 1386000 | #Constraints: 38476
2818.52/2826.45 c #Conflicts: 1387000 | #Constraints: 39476
2818.52/2826.45 c #Conflicts: 1388000 | #Constraints: 40476
2818.52/2826.45 c #Conflicts: 1389000 | #Constraints: 41476
2818.52/2826.45 c #Conflicts: 1390000 | #Constraints: 42476
2818.52/2826.45 c #Conflicts: 1391000 | #Constraints: 43476
2818.52/2826.45 c #Conflicts: 1392000 | #Constraints: 44476
2818.52/2826.45 c #Conflicts: 1393000 | #Constraints: 45476
2818.52/2826.45 c #Conflicts: 1394000 | #Constraints: 46476
2818.52/2826.45 c #Conflicts: 1395000 | #Constraints: 47476
2818.52/2826.45 c INPROCESSING
2818.52/2826.45 c GARBAGE COLLECT
2818.52/2826.45 c #Conflicts: 1396000 | #Constraints: 25072
2818.52/2826.45 c #Conflicts: 1397000 | #Constraints: 26072
2818.52/2826.45 c #Conflicts: 1398000 | #Constraints: 27072
2818.52/2826.45 c #Conflicts: 1399000 | #Constraints: 28072
2818.52/2826.45 c #Conflicts: 1400000 | #Constraints: 29072
2818.52/2826.45 c #Conflicts: 1401000 | #Constraints: 30072
2818.52/2826.45 c #Conflicts: 1402000 | #Constraints: 31072
2818.52/2826.45 c #Conflicts: 1403000 | #Constraints: 32072
2818.52/2826.45 c #Conflicts: 1404000 | #Constraints: 33072
2818.52/2826.45 c #Conflicts: 1405000 | #Constraints: 34072
2818.52/2826.45 c #Conflicts: 1406000 | #Constraints: 35072
2818.52/2826.45 c #Conflicts: 1407000 | #Constraints: 36072
2818.52/2826.45 c #Conflicts: 1408000 | #Constraints: 37072
2818.52/2826.45 c #Conflicts: 1409000 | #Constraints: 38072
2818.52/2826.45 c #Conflicts: 1410000 | #Constraints: 39072
2818.52/2826.45 c #Conflicts: 1411000 | #Constraints: 40072
2818.52/2826.45 c #Conflicts: 1412000 | #Constraints: 41072
2818.52/2826.45 c #Conflicts: 1413000 | #Constraints: 42072
2818.52/2826.45 c #Conflicts: 1414000 | #Constraints: 43072
2818.52/2826.45 c #Conflicts: 1415000 | #Constraints: 44072
2818.52/2826.45 c #Conflicts: 1416000 | #Constraints: 45072
2818.52/2826.45 c #Conflicts: 1417000 | #Constraints: 46072
2818.52/2826.45 c #Conflicts: 1418000 | #Constraints: 47072
2818.52/2826.45 c #Conflicts: 1419000 | #Constraints: 48072
2818.52/2826.45 c INPROCESSING
2818.52/2826.45 c GARBAGE COLLECT
2818.52/2826.45 c #Conflicts: 1420000 | #Constraints: 25474
2818.52/2826.45 c #Conflicts: 1421000 | #Constraints: 26474
2818.52/2826.45 c #Conflicts: 1422000 | #Constraints: 27474
2818.52/2826.45 c #Conflicts: 1423000 | #Constraints: 28474
2818.52/2826.45 c #Conflicts: 1424000 | #Constraints: 29474
2818.52/2826.45 c #Conflicts: 1425000 | #Constraints: 30474
2818.52/2826.45 c #Conflicts: 1426000 | #Constraints: 31474
2818.52/2826.45 c #Conflicts: 1427000 | #Constraints: 32474
3027.87/3036.22 c #Conflicts: 1428000 | #Constraints: 33474
3027.87/3036.22 c #Conflicts: 1429000 | #Constraints: 34474
3027.87/3036.22 c #Conflicts: 1430000 | #Constraints: 35474
3027.87/3036.22 c #Conflicts: 1431000 | #Constraints: 36474
3027.87/3036.22 c #Conflicts: 1432000 | #Constraints: 37474
3027.87/3036.22 c #Conflicts: 1433000 | #Constraints: 38474
3027.87/3036.22 c #Conflicts: 1434000 | #Constraints: 39474
3027.87/3036.22 c #Conflicts: 1435000 | #Constraints: 40474
3027.87/3036.22 c #Conflicts: 1436000 | #Constraints: 41474
3027.87/3036.22 c #Conflicts: 1437000 | #Constraints: 42474
3027.87/3036.22 c #Conflicts: 1438000 | #Constraints: 43474
3027.87/3036.22 c #Conflicts: 1439000 | #Constraints: 44474
3027.87/3036.22 c #Conflicts: 1440000 | #Constraints: 45474
3027.87/3036.22 c #Conflicts: 1441000 | #Constraints: 46474
3027.87/3036.22 c #Conflicts: 1442000 | #Constraints: 47474
3027.87/3036.22 c #Conflicts: 1443000 | #Constraints: 48474
3027.87/3036.22 c INPROCESSING
3027.87/3036.22 c GARBAGE COLLECT
3027.87/3036.22 c #Conflicts: 1444000 | #Constraints: 25675
3027.87/3036.22 c #Conflicts: 1445000 | #Constraints: 26675
3027.87/3036.22 c #Conflicts: 1446000 | #Constraints: 27675
3027.87/3036.22 c #Conflicts: 1447000 | #Constraints: 28675
3027.87/3036.22 c #Conflicts: 1448000 | #Constraints: 29675
3027.87/3036.22 c #Conflicts: 1449000 | #Constraints: 30675
3027.87/3036.22 c #Conflicts: 1450000 | #Constraints: 31675
3027.87/3036.22 c #Conflicts: 1451000 | #Constraints: 32675
3027.87/3036.22 c #Conflicts: 1452000 | #Constraints: 33675
3027.87/3036.22 c #Conflicts: 1453000 | #Constraints: 34675
3027.87/3036.22 c #Conflicts: 1454000 | #Constraints: 35675
3027.87/3036.22 c #Conflicts: 1455000 | #Constraints: 36675
3027.87/3036.22 c #Conflicts: 1456000 | #Constraints: 37675
3027.87/3036.22 c #Conflicts: 1457000 | #Constraints: 38675
3027.87/3036.22 c #Conflicts: 1458000 | #Constraints: 39675
3027.87/3036.22 c #Conflicts: 1459000 | #Constraints: 40675
3027.87/3036.22 c #Conflicts: 1460000 | #Constraints: 41675
3027.87/3036.22 c #Conflicts: 1461000 | #Constraints: 42675
3027.87/3036.22 c #Conflicts: 1462000 | #Constraints: 43675
3027.87/3036.22 c #Conflicts: 1463000 | #Constraints: 44675
3027.87/3036.22 c #Conflicts: 1464000 | #Constraints: 45675
3027.87/3036.22 c #Conflicts: 1465000 | #Constraints: 46675
3027.87/3036.22 c #Conflicts: 1466000 | #Constraints: 47675
3027.87/3036.22 c #Conflicts: 1467000 | #Constraints: 48675
3027.87/3036.22 c INPROCESSING
3027.87/3036.22 c GARBAGE COLLECT
3027.87/3036.22 c #Conflicts: 1468000 | #Constraints: 25679
3027.87/3036.22 c #Conflicts: 1469000 | #Constraints: 26679
3027.87/3036.22 c #Conflicts: 1470000 | #Constraints: 27679
3027.87/3036.22 c #Conflicts: 1471000 | #Constraints: 28679
3027.87/3036.22 c #Conflicts: 1472000 | #Constraints: 29679
3027.87/3036.22 c #Conflicts: 1473000 | #Constraints: 30679
3027.87/3036.22 c #Conflicts: 1474000 | #Constraints: 31679
3027.87/3036.22 c #Conflicts: 1475000 | #Constraints: 32679
3027.87/3036.22 c #Conflicts: 1476000 | #Constraints: 33679
3027.87/3036.22 c #Conflicts: 1477000 | #Constraints: 34679
3027.87/3036.22 c #Conflicts: 1478000 | #Constraints: 35679
3027.87/3036.22 c #Conflicts: 1479000 | #Constraints: 36679
3027.87/3036.22 c #Conflicts: 1480000 | #Constraints: 37679
3027.87/3036.22 c #Conflicts: 1481000 | #Constraints: 38679
3027.87/3036.22 c #Conflicts: 1482000 | #Constraints: 39679
3027.87/3036.22 c #Conflicts: 1483000 | #Constraints: 40679
3027.87/3036.22 c #Conflicts: 1484000 | #Constraints: 41679
3027.87/3036.22 c #Conflicts: 1485000 | #Constraints: 42679
3027.87/3036.22 c #Conflicts: 1486000 | #Constraints: 43679
3027.87/3036.22 c #Conflicts: 1487000 | #Constraints: 44679
3027.87/3036.22 c #Conflicts: 1488000 | #Constraints: 45679
3027.87/3036.22 c #Conflicts: 1489000 | #Constraints: 46679
3027.87/3036.22 c #Conflicts: 1490000 | #Constraints: 47679
3027.87/3036.22 c #Conflicts: 1491000 | #Constraints: 48679
3027.87/3036.22 c INPROCESSING
3027.87/3036.22 c GARBAGE COLLECT
3027.87/3036.22 c #Conflicts: 1492000 | #Constraints: 25477
3027.87/3036.22 c #Conflicts: 1493000 | #Constraints: 26477
3027.87/3036.22 c #Conflicts: 1494000 | #Constraints: 27477
3027.87/3036.22 c #Conflicts: 1495000 | #Constraints: 28477
3027.87/3036.22 c #Conflicts: 1496000 | #Constraints: 29477
3027.87/3036.22 c #Conflicts: 1497000 | #Constraints: 30477
3027.87/3036.22 c #Conflicts: 1498000 | #Constraints: 31477
3027.87/3036.22 c #Conflicts: 1499000 | #Constraints: 32477
3027.87/3036.22 c #Conflicts: 1500000 | #Constraints: 33477
3027.87/3036.22 c #Conflicts: 1501000 | #Constraints: 34477
3027.87/3036.22 c #Conflicts: 1502000 | #Constraints: 35477
3027.87/3036.22 c #Conflicts: 1503000 | #Constraints: 36477
3027.87/3036.22 c #Conflicts: 1504000 | #Constraints: 37477
3234.84/3243.69 c #Conflicts: 1505000 | #Constraints: 38477
3234.84/3243.69 c #Conflicts: 1506000 | #Constraints: 39477
3234.84/3243.69 c #Conflicts: 1507000 | #Constraints: 40477
3234.84/3243.69 c #Conflicts: 1508000 | #Constraints: 41477
3234.84/3243.69 c #Conflicts: 1509000 | #Constraints: 42477
3234.84/3243.69 c #Conflicts: 1510000 | #Constraints: 43477
3234.84/3243.69 c #Conflicts: 1511000 | #Constraints: 44477
3234.84/3243.69 c #Conflicts: 1512000 | #Constraints: 45477
3234.84/3243.69 c #Conflicts: 1513000 | #Constraints: 46477
3234.84/3243.69 c #Conflicts: 1514000 | #Constraints: 47477
3234.84/3243.69 c #Conflicts: 1515000 | #Constraints: 48477
3234.84/3243.69 c #Conflicts: 1516000 | #Constraints: 49477
3234.84/3243.69 c INPROCESSING
3234.84/3243.69 c GARBAGE COLLECT
3234.84/3243.69 c #Conflicts: 1517000 | #Constraints: 26078
3234.84/3243.69 c #Conflicts: 1518000 | #Constraints: 27078
3234.84/3243.69 c #Conflicts: 1519000 | #Constraints: 28078
3234.84/3243.69 c #Conflicts: 1520000 | #Constraints: 29078
3234.84/3243.69 c #Conflicts: 1521000 | #Constraints: 30078
3234.84/3243.69 c #Conflicts: 1522000 | #Constraints: 31078
3234.84/3243.69 c #Conflicts: 1523000 | #Constraints: 32078
3234.84/3243.69 c #Conflicts: 1524000 | #Constraints: 33078
3234.84/3243.69 c #Conflicts: 1525000 | #Constraints: 34078
3234.84/3243.69 c #Conflicts: 1526000 | #Constraints: 35078
3234.84/3243.69 c #Conflicts: 1527000 | #Constraints: 36078
3234.84/3243.69 c #Conflicts: 1528000 | #Constraints: 37078
3234.84/3243.69 c #Conflicts: 1529000 | #Constraints: 38078
3234.84/3243.69 c #Conflicts: 1530000 | #Constraints: 39078
3234.84/3243.69 c #Conflicts: 1531000 | #Constraints: 40078
3234.84/3243.69 c #Conflicts: 1532000 | #Constraints: 41078
3234.84/3243.69 c #Conflicts: 1533000 | #Constraints: 42078
3234.84/3243.69 c #Conflicts: 1534000 | #Constraints: 43078
3234.84/3243.69 c #Conflicts: 1535000 | #Constraints: 44078
3234.84/3243.69 c #Conflicts: 1536000 | #Constraints: 45078
3234.84/3243.69 c #Conflicts: 1537000 | #Constraints: 46078
3234.84/3243.69 c #Conflicts: 1538000 | #Constraints: 47078
3234.84/3243.69 c #Conflicts: 1539000 | #Constraints: 48078
3234.84/3243.69 c #Conflicts: 1540000 | #Constraints: 49078
3234.84/3243.69 c #Conflicts: 1541000 | #Constraints: 50078
3234.84/3243.69 c INPROCESSING
3234.84/3243.69 c GARBAGE COLLECT
3234.84/3243.69 c #Conflicts: 1542000 | #Constraints: 26478
3234.84/3243.69 c #Conflicts: 1543000 | #Constraints: 27478
3234.84/3243.69 c #Conflicts: 1544000 | #Constraints: 28478
3234.84/3243.69 c #Conflicts: 1545000 | #Constraints: 29478
3234.84/3243.69 c #Conflicts: 1546000 | #Constraints: 30478
3234.84/3243.69 c #Conflicts: 1547000 | #Constraints: 31478
3234.84/3243.69 c #Conflicts: 1548000 | #Constraints: 32478
3234.84/3243.69 c #Conflicts: 1549000 | #Constraints: 33478
3234.84/3243.69 c #Conflicts: 1550000 | #Constraints: 34478
3234.84/3243.69 c #Conflicts: 1551000 | #Constraints: 35478
3234.84/3243.69 c #Conflicts: 1552000 | #Constraints: 36478
3234.84/3243.69 c #Conflicts: 1553000 | #Constraints: 37478
3234.84/3243.69 c #Conflicts: 1554000 | #Constraints: 38478
3234.84/3243.69 c #Conflicts: 1555000 | #Constraints: 39478
3234.84/3243.69 c #Conflicts: 1556000 | #Constraints: 40478
3234.84/3243.69 c #Conflicts: 1557000 | #Constraints: 41478
3234.84/3243.69 c #Conflicts: 1558000 | #Constraints: 42478
3234.84/3243.69 c #Conflicts: 1559000 | #Constraints: 43478
3234.84/3243.69 c #Conflicts: 1560000 | #Constraints: 44478
3234.84/3243.69 c #Conflicts: 1561000 | #Constraints: 45478
3234.84/3243.69 c #Conflicts: 1562000 | #Constraints: 46478
3234.84/3243.69 c #Conflicts: 1563000 | #Constraints: 47478
3234.84/3243.69 c #Conflicts: 1564000 | #Constraints: 48478
3234.84/3243.69 c #Conflicts: 1565000 | #Constraints: 49478
3234.84/3243.69 c #Conflicts: 1566000 | #Constraints: 50478
3234.84/3243.69 c INPROCESSING
3234.84/3243.69 c GARBAGE COLLECT
3234.84/3243.69 c #Conflicts: 1567000 | #Constraints: 26677
3234.84/3243.69 c #Conflicts: 1568000 | #Constraints: 27677
3234.84/3243.69 c #Conflicts: 1569000 | #Constraints: 28677
3234.84/3243.69 c #Conflicts: 1570000 | #Constraints: 29677
3234.84/3243.69 c #Conflicts: 1571000 | #Constraints: 30677
3234.84/3243.69 c #Conflicts: 1572000 | #Constraints: 31677
3234.84/3243.69 c #Conflicts: 1573000 | #Constraints: 32677
3234.84/3243.69 c #Conflicts: 1574000 | #Constraints: 33677
3234.84/3243.69 c #Conflicts: 1575000 | #Constraints: 34677
3234.84/3243.69 c #Conflicts: 1576000 | #Constraints: 35677
3234.84/3243.69 c #Conflicts: 1577000 | #Constraints: 36677
3234.84/3243.69 c #Conflicts: 1578000 | #Constraints: 37677
3234.84/3243.69 c #Conflicts: 1579000 | #Constraints: 38677
3234.84/3243.69 c #Conflicts: 1580000 | #Constraints: 39677
3234.84/3243.69 c #Conflicts: 1581000 | #Constraints: 40677
3453.58/3462.82 c #Conflicts: 1582000 | #Constraints: 41677
3453.58/3462.82 c #Conflicts: 1583000 | #Constraints: 42677
3453.58/3462.82 c #Conflicts: 1584000 | #Constraints: 43677
3453.58/3462.82 c #Conflicts: 1585000 | #Constraints: 44677
3453.58/3462.82 c #Conflicts: 1586000 | #Constraints: 45677
3453.58/3462.82 c #Conflicts: 1587000 | #Constraints: 46677
3453.58/3462.82 c #Conflicts: 1588000 | #Constraints: 47677
3453.58/3462.82 c #Conflicts: 1589000 | #Constraints: 48677
3453.58/3462.82 c #Conflicts: 1590000 | #Constraints: 49677
3453.58/3462.82 c #Conflicts: 1591000 | #Constraints: 50677
3453.58/3462.82 c INPROCESSING
3453.58/3462.82 c GARBAGE COLLECT
3453.58/3462.82 c #Conflicts: 1592000 | #Constraints: 26677
3453.58/3462.82 c #Conflicts: 1593000 | #Constraints: 27677
3453.58/3462.82 c #Conflicts: 1594000 | #Constraints: 28677
3453.58/3462.82 c #Conflicts: 1595000 | #Constraints: 29677
3453.58/3462.82 c #Conflicts: 1596000 | #Constraints: 30677
3453.58/3462.82 c #Conflicts: 1597000 | #Constraints: 31677
3453.58/3462.82 c #Conflicts: 1598000 | #Constraints: 32677
3453.58/3462.82 c #Conflicts: 1599000 | #Constraints: 33677
3453.58/3462.82 c #Conflicts: 1600000 | #Constraints: 34677
3453.58/3462.82 c #Conflicts: 1601000 | #Constraints: 35677
3453.58/3462.82 c #Conflicts: 1602000 | #Constraints: 36677
3453.58/3462.82 c #Conflicts: 1603000 | #Constraints: 37677
3453.58/3462.82 c #Conflicts: 1604000 | #Constraints: 38677
3453.58/3462.82 c #Conflicts: 1605000 | #Constraints: 39677
3453.58/3462.82 c #Conflicts: 1606000 | #Constraints: 40677
3453.58/3462.82 c #Conflicts: 1607000 | #Constraints: 41677
3453.58/3462.82 c #Conflicts: 1608000 | #Constraints: 42677
3453.58/3462.82 c #Conflicts: 1609000 | #Constraints: 43677
3453.58/3462.82 c #Conflicts: 1610000 | #Constraints: 44677
3453.58/3462.82 c #Conflicts: 1611000 | #Constraints: 45677
3453.58/3462.82 c #Conflicts: 1612000 | #Constraints: 46677
3453.58/3462.82 c #Conflicts: 1613000 | #Constraints: 47677
3453.58/3462.82 c #Conflicts: 1614000 | #Constraints: 48677
3453.58/3462.82 c #Conflicts: 1615000 | #Constraints: 49677
3453.58/3462.82 c #Conflicts: 1616000 | #Constraints: 50677
3453.58/3462.82 c INPROCESSING
3453.58/3462.82 c GARBAGE COLLECT
3453.58/3462.82 c #Conflicts: 1617000 | #Constraints: 26474
3453.58/3462.82 c #Conflicts: 1618000 | #Constraints: 27474
3453.58/3462.82 c #Conflicts: 1619000 | #Constraints: 28474
3453.58/3462.82 c #Conflicts: 1620000 | #Constraints: 29474
3453.58/3462.82 c #Conflicts: 1621000 | #Constraints: 30474
3453.58/3462.82 c #Conflicts: 1622000 | #Constraints: 31474
3453.58/3462.82 c #Conflicts: 1623000 | #Constraints: 32474
3453.58/3462.82 c #Conflicts: 1624000 | #Constraints: 33474
3453.58/3462.82 c #Conflicts: 1625000 | #Constraints: 34474
3453.58/3462.82 c #Conflicts: 1626000 | #Constraints: 35474
3453.58/3462.82 c #Conflicts: 1627000 | #Constraints: 36474
3453.58/3462.82 c #Conflicts: 1628000 | #Constraints: 37474
3453.58/3462.82 c #Conflicts: 1629000 | #Constraints: 38474
3453.58/3462.82 c #Conflicts: 1630000 | #Constraints: 39474
3453.58/3462.82 c #Conflicts: 1631000 | #Constraints: 40474
3453.58/3462.82 c #Conflicts: 1632000 | #Constraints: 41474
3453.58/3462.82 c #Conflicts: 1633000 | #Constraints: 42474
3453.58/3462.82 c #Conflicts: 1634000 | #Constraints: 43474
3453.58/3462.82 c #Conflicts: 1635000 | #Constraints: 44474
3453.58/3462.82 c #Conflicts: 1636000 | #Constraints: 45474
3453.58/3462.82 c #Conflicts: 1637000 | #Constraints: 46474
3453.58/3462.82 c #Conflicts: 1638000 | #Constraints: 47474
3453.58/3462.82 c #Conflicts: 1639000 | #Constraints: 48474
3453.58/3462.82 c #Conflicts: 1640000 | #Constraints: 49474
3453.58/3462.82 c #Conflicts: 1641000 | #Constraints: 50474
3453.58/3462.82 c #Conflicts: 1642000 | #Constraints: 51474
3453.58/3462.82 c INPROCESSING
3453.58/3462.82 c GARBAGE COLLECT
3453.58/3462.82 c #Conflicts: 1643000 | #Constraints: 27075
3453.58/3462.82 c #Conflicts: 1644000 | #Constraints: 28075
3453.58/3462.82 c #Conflicts: 1645000 | #Constraints: 29075
3453.58/3462.82 c #Conflicts: 1646000 | #Constraints: 30075
3453.58/3462.82 c #Conflicts: 1647000 | #Constraints: 31075
3453.58/3462.82 c #Conflicts: 1648000 | #Constraints: 32075
3453.58/3462.82 c #Conflicts: 1649000 | #Constraints: 33075
3453.58/3462.82 c #Conflicts: 1650000 | #Constraints: 34075
3453.58/3462.82 c #Conflicts: 1651000 | #Constraints: 35075
3453.58/3462.82 c #Conflicts: 1652000 | #Constraints: 36075
3453.58/3462.82 c #Conflicts: 1653000 | #Constraints: 37075
3453.58/3462.82 c #Conflicts: 1654000 | #Constraints: 38075
3453.58/3462.82 c #Conflicts: 1655000 | #Constraints: 39075
3453.58/3462.82 c #Conflicts: 1656000 | #Constraints: 40075
3453.58/3462.82 c #Conflicts: 1657000 | #Constraints: 41075
3453.58/3462.82 c #Conflicts: 1658000 | #Constraints: 42075
3600.08/3609.60 c #Conflicts: 1659000 | #Constraints: 43075
3600.08/3609.60 c #Conflicts: 1660000 | #Constraints: 44075
3600.08/3609.60 c #Conflicts: 1661000 | #Constraints: 45075
3600.08/3609.60 c #Conflicts: 1662000 | #Constraints: 46075
3600.08/3609.60 c #Conflicts: 1663000 | #Constraints: 47075
3600.08/3609.60 c #Conflicts: 1664000 | #Constraints: 48075
3600.08/3609.60 c #Conflicts: 1665000 | #Constraints: 49075
3600.08/3609.60 c #Conflicts: 1666000 | #Constraints: 50075
3600.08/3609.60 c #Conflicts: 1667000 | #Constraints: 51075
3600.08/3609.60 c #Conflicts: 1668000 | #Constraints: 52075
3600.08/3609.60 c INPROCESSING
3600.08/3609.60 c GARBAGE COLLECT
3600.08/3609.60 c #Conflicts: 1669000 | #Constraints: 27477
3600.08/3609.60 c #Conflicts: 1670000 | #Constraints: 28477
3600.08/3609.60 c #Conflicts: 1671000 | #Constraints: 29477
3600.08/3609.60 c #Conflicts: 1672000 | #Constraints: 30477
3600.08/3609.60 c #Conflicts: 1673000 | #Constraints: 31477
3600.08/3609.60 c #Conflicts: 1674000 | #Constraints: 32477
3600.08/3609.60 c #Conflicts: 1675000 | #Constraints: 33477
3600.08/3609.60 c #Conflicts: 1676000 | #Constraints: 34477
3600.08/3609.60 c #Conflicts: 1677000 | #Constraints: 35477
3600.08/3609.60 c #Conflicts: 1678000 | #Constraints: 36477
3600.08/3609.60 c #Conflicts: 1679000 | #Constraints: 37477
3600.08/3609.60 c #Conflicts: 1680000 | #Constraints: 38477
3600.08/3609.60 c #Conflicts: 1681000 | #Constraints: 39477
3600.08/3609.60 c #Conflicts: 1682000 | #Constraints: 40477
3600.08/3609.60 c #Conflicts: 1683000 | #Constraints: 41477
3600.08/3609.60 c #Conflicts: 1684000 | #Constraints: 42477
3600.08/3609.60 c #Conflicts: 1685000 | #Constraints: 43477
3600.08/3609.60 c #Conflicts: 1686000 | #Constraints: 44477
3600.08/3609.60 c #Conflicts: 1687000 | #Constraints: 45477
3600.08/3609.60 c #Conflicts: 1688000 | #Constraints: 46477
3600.08/3609.60 c #Conflicts: 1689000 | #Constraints: 47477
3600.08/3609.60 c #Conflicts: 1690000 | #Constraints: 48477
3600.08/3609.60 c #Conflicts: 1691000 | #Constraints: 49477
3600.08/3609.60 c #Conflicts: 1692000 | #Constraints: 50477
3600.08/3609.60 c #Conflicts: 1693000 | #Constraints: 51477
3600.08/3609.60 c #Conflicts: 1694000 | #Constraints: 52477
3600.08/3609.60 c INPROCESSING
3600.08/3609.60 c GARBAGE COLLECT
3600.08/3609.60 c #Conflicts: 1695000 | #Constraints: 27679
3600.08/3609.60 c #Conflicts: 1696000 | #Constraints: 28679
3600.08/3609.60 c #Conflicts: 1697000 | #Constraints: 29679
3600.08/3609.60 c #Conflicts: 1698000 | #Constraints: 30679
3600.08/3609.60 c #Conflicts: 1699000 | #Constraints: 31679
3600.08/3609.60 c #Conflicts: 1700000 | #Constraints: 32679
3600.08/3609.60 c #Conflicts: 1701000 | #Constraints: 33679
3600.08/3609.60 c #Conflicts: 1702000 | #Constraints: 34679
3600.08/3609.60 c #Conflicts: 1703000 | #Constraints: 35679
3600.08/3609.60 c #Conflicts: 1704000 | #Constraints: 36679
3600.08/3609.60 c #Conflicts: 1705000 | #Constraints: 37679
3600.08/3609.60 c #Conflicts: 1706000 | #Constraints: 38679
3600.08/3609.60 c #Conflicts: 1707000 | #Constraints: 39679
3600.08/3609.60 c #Conflicts: 1708000 | #Constraints: 40679
3600.08/3609.60 c #Conflicts: 1709000 | #Constraints: 41679
3600.08/3609.60 c #Conflicts: 1710000 | #Constraints: 42679
3600.08/3609.60 c cpu time 3593.38 s
3600.08/3609.60 c deterministic time 2 2.00e+00
3600.08/3609.60 c optimization time 3593.37 s
3600.08/3609.60 c total solve time 0 s
3600.08/3609.60 c core-guided solve time 0 s
3600.08/3609.60 c propagation time 0.000975 s
3600.08/3609.60 c conflict analysis time 0 s
3600.08/3609.60 c propagations 1
3600.08/3609.60 c resolve steps 0
3600.08/3609.60 c decisions 0
3600.08/3609.60 c conflicts 0
3600.08/3609.60 c restarts 0
3600.08/3609.60 c inprocessing phases 0
3600.08/3609.60 c garbage collections 0 ,( -nan )
3600.08/3609.60 c input clauses 788 ,( 100.00 )
3600.08/3609.60 c input cardinalities 0 ,( 0.00 )
3600.08/3609.60 c input general constraints 0 ,( 0.00 )
3600.08/3609.60 c input average constraint length 2.00
3600.08/3609.60 c input average constraint degree 1.00
3600.08/3609.60 c learned clauses 0 ,( 0.00 )
3600.08/3609.60 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.60 c learned general constraints 0 ,( 0.00 )
3600.08/3609.60 c learned average constraint length 0.00
3600.08/3609.60 c learned average constraint degree 0.00
3600.08/3609.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3609.60 c watched constraints 0 ,( -nan )
3600.08/3609.60 c counting constraints 0 ,( -nan )
3600.08/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.60 c gcd simplifications 0
3600.08/3609.60 c detected cardinalities 0
3600.08/3609.60 c weakened non-implied lits 0
3600.08/3609.60 c weakened non-implying lits 0
3600.08/3609.60 c original variables 126
3600.08/3609.60 c clausal propagations 0
3600.08/3609.60 c cardinality propagations 0
3600.08/3609.60 c watched propagations 0
3600.08/3609.60 c counting propagations 0
3600.08/3609.60 c watch lookups 0
3600.08/3609.60 c watch backjump lookups 0
3600.08/3609.60 c watch checks 0
3600.08/3609.60 c propagation checks 0
3600.08/3609.60 c constraint additions 0
3600.08/3609.60 c trail pops 0
3600.08/3609.60 c formula constraints 788
3600.08/3609.60 c learned constraints 0
3600.08/3609.60 c bound constraints 0
3600.08/3609.60 c core-guided constraints 0
3600.08/3609.60 c encountered formula constraints 0
3600.08/3609.60 c encountered learned constraints 0
3600.08/3609.60 c encountered bound constraints 0
3600.08/3609.60 c encountered core-guided constraints 0
3600.08/3609.60 c LP total time 0 s
3600.08/3609.60 c LP solve time 0 s
3600.08/3609.60 c LP constraints added 0
3600.08/3609.60 c LP constraints removed 0
3600.08/3609.60 c LP pivots internal 0
3600.08/3609.60 c LP pivots root 0
3600.08/3609.60 c LP calls 0
3600.08/3609.60 c LP optimalities 0
3600.08/3609.60 c LP no pivot count 0
3600.08/3609.60 c LP infeasibilities 0
3600.08/3609.60 c LP valid Farkas constraints 0
3600.08/3609.60 c LP learned Farkas constraints 0
3600.08/3609.60 c LP basis resets 0
3600.08/3609.60 c LP cycling count 0
3600.08/3609.60 c LP singular count 0
3600.08/3609.60 c LP no primal count 0
3600.08/3609.60 c LP no farkas count 0
3600.08/3609.60 c LP other issue count 0
3600.08/3609.60 c LP Gomory cuts 0
3600.08/3609.60 c LP learned cuts 0
3600.08/3609.60 c LP deleted cuts 0
3600.08/3609.60 c LP encountered Gomory constraints 0
3600.08/3609.60 c LP encountered Farkas constraints 0
3600.08/3609.60 c LP encountered learned Farkas constraints 0
3600.08/3609.60 c CG auxiliary variables introduced 0
3600.08/3609.60 c CG solutions found 0
3600.08/3609.60 c CG cores constructed 0
3600.08/3609.60 c CG core cardinality constraints returned 0
3600.08/3609.60 c CG unit cores 0
3600.08/3609.60 c CG single cores 0
3600.08/3609.60 c CG blocks removed during cardinality reduction 0
3600.08/3609.60 c CG first core best 0
3600.08/3609.60 c CG decision core best 0
3600.08/3609.60 c CG core reduction tie 0
3600.08/3609.60 c CG core degree average 0.00
3600.08/3609.60 c CG core slack average 0.00
3600.08/3609.60 c CG core upper bound improvements 0
3600.08/3609.60 c STR number of successful calls 0
3600.08/3609.60 c STR number of unsuccessful calls 0
3600.08/3609.60 c STR number of inconclusive calls 0
3600.08/3609.60 c STR number of successful attempts 0
3600.08/3609.60 c STR number of unsuccessful attempts 0
3600.08/3609.60 c STR number of inconclusive attempts 0
3600.08/3609.60 c STR average degree increase per successful call inf
3600.08/3609.60 c STR average degree increase per successful attempt inf
3600.08/3609.60 c STR total number of conflicts for successful attempts 0
3600.08/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.60 c STR average number of conflicts per successful attempt inf
3600.08/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.60 c AVG.sumWPerc -nan
3600.08/3609.60 c bigint constraints 0
3600.08/3609.60 s UNKNOWN
3600.08/3609.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: 63794 MiB (47494 MiB free)
memory of node 1: 64507 MiB (57144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524391-1751613846/watcher-4524391-1751613846 -o /tmp/evaluation-result-4524391-1751613846/solver-4524391-1751613846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4524391-1751613846.opb PROOFDIR/proof-4524391-1751613846
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=92027, runsolver pid=92024
[startup+0.100103 s]*
/proc/loadavg: 4.13 4.18 4.17 6/259 92029
/proc/meminfo: memFree=107146728/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=61092 memory=11560 CPUtime=0.07 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 859 0 0 0 6 1 0 0 20 0 1 0 77064335 62558208 2890 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 15273 2890 2368 1147 0 2700 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65284 KiB
Current children cumulated memory: 14632 KiB
[startup+0.213963 s]*
/proc/loadavg: 4.13 4.18 4.17 5/259 92029
/proc/meminfo: memFree=107146728/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=61500 memory=14260 CPUtime=0.19 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 1020 0 0 0 17 2 0 0 20 0 1 0 77064335 62976000 3565 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 15375 3565 2368 1147 0 2802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65692 KiB
Current children cumulated memory: 17332 KiB
[startup+0.313896 s]*
/proc/loadavg: 4.13 4.18 4.17 6/259 92029
/proc/meminfo: memFree=107146728/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=62068 memory=14772 CPUtime=0.28 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 1136 0 0 0 26 2 0 0 20 0 1 0 77064335 63557632 3693 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 15517 3693 2368 1147 0 2944 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66260 KiB
Current children cumulated memory: 17844 KiB
[startup+0.700379 s]
/proc/loadavg: 4.13 4.18 4.17 5/259 92029
/proc/meminfo: memFree=107147288/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=63132 memory=15540 CPUtime=0.66 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 1351 0 0 0 63 3 0 0 20 0 1 0 77064335 64647168 3885 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 15783 3885 2368 1147 0 3210 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 67324 KiB
Current children cumulated memory: 18612 KiB
[startup+1.50036 s]
/proc/loadavg: 4.12 4.18 4.17 5/259 92029
/proc/meminfo: memFree=107147288/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=63932 memory=16436 CPUtime=1.46 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 1569 0 0 0 142 4 0 0 20 0 1 0 77064335 65466368 4109 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 15983 4109 2368 1147 0 3410 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68124 KiB
Current children cumulated memory: 19508 KiB
[startup+3.11448 s]
/proc/loadavg: 4.12 4.18 4.17 5/259 92029
/proc/meminfo: memFree=107137460/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=66172 memory=18100 CPUtime=3.06 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 1975 0 0 0 301 5 0 0 20 0 1 0 77064335 67760128 4525 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 16543 4525 2368 1147 0 3970 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 70364 KiB
Current children cumulated memory: 21172 KiB
[startup+6.30038 s]
/proc/loadavg: 4.19 4.19 4.18 5/258 92029
/proc/meminfo: memFree=107124180/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=67276 memory=19764 CPUtime=6.24 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 2393 0 0 0 617 7 0 0 20 0 1 0 77064335 68890624 4941 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 16819 4941 2368 1147 0 4246 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 71468 KiB
Current children cumulated memory: 22836 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.19 4.18 5/258 92029
/proc/meminfo: memFree=107088336/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=67468 memory=20660 CPUtime=12.63 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 2627 0 0 0 1251 12 0 0 20 0 1 0 77064335 69087232 5165 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 16867 5165 2368 1147 0 4294 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 71660 KiB
Current children cumulated memory: 23732 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.20 4.18 5/258 92029
/proc/meminfo: memFree=106966488/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=73712 memory=24244 CPUtime=25.38 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 3525 0 0 0 2520 18 0 0 20 0 1 0 77064335 75481088 6061 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 18428 6061 2368 1147 0 5855 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 27316 KiB
[startup+51.114 s]
/proc/loadavg: 4.53 4.28 4.21 5/258 92030
/proc/meminfo: memFree=106818592/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=76304 memory=27444 CPUtime=50.91 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 4355 0 0 0 5059 32 0 0 20 0 1 0 77064335 78135296 6861 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 19076 6861 2368 1147 0 6503 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 80496 KiB
Current children cumulated memory: 30516 KiB
[startup+102.3 s]
/proc/loadavg: 4.76 4.39 4.25 5/258 92033
/proc/meminfo: memFree=106540728/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=77840 memory=30644 CPUtime=101.91 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 5141 0 0 0 10136 55 0 0 20 0 1 0 77064335 79708160 7661 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 19460 7661 2368 1147 0 6887 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 82032 KiB
Current children cumulated memory: 33716 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.33 4.24 5/259 92036
/proc/meminfo: memFree=106237852/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=84324 memory=33716 CPUtime=161.7 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 5924 0 0 0 16094 76 0 0 20 0 1 0 77064335 86347776 8429 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 21081 8429 2368 1147 0 8508 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 88516 KiB
Current children cumulated memory: 36788 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.33 4.25 5/260 92039
/proc/meminfo: memFree=105918808/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=87764 memory=38788 CPUtime=221.49 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 6673 0 0 0 22054 95 0 0 20 0 1 0 77064335 89870336 9697 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 21941 9697 2368 1147 0 9368 0
################
# More data... #
################
/proc/92029/statm: 35398 21357 2368 1147 0 22825 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 145784 KiB
Current children cumulated memory: 88500 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.10 2.35 3/245 92261
/proc/meminfo: memFree=122235612/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=141592 memory=85428 CPUtime=3093.84 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15000 0 0 0 308778 606 0 0 20 0 1 0 77064335 144990208 21357 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 35398 21357 2368 1147 0 22825 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 145784 KiB
Current children cumulated memory: 88500 KiB
[startup+3162.3 s]
/proc/loadavg: 2.14 2.11 2.34 3/245 92263
/proc/meminfo: memFree=122180712/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=142108 memory=87752 CPUtime=3153.71 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15068 0 0 0 314757 614 0 0 20 0 1 0 77064335 145518592 21938 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 35527 21938 2368 1147 0 22954 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 146300 KiB
Current children cumulated memory: 90824 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.11 2.32 3/244 92265
/proc/meminfo: memFree=122172816/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=143140 memory=88392 CPUtime=3213.59 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15244 0 0 0 320737 622 0 0 20 0 1 0 77064335 146575360 22098 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 35785 22098 2368 1147 0 23212 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 147332 KiB
Current children cumulated memory: 91464 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.10 2.31 3/244 92272
/proc/meminfo: memFree=122174036/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=143068 memory=88384 CPUtime=3273.47 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15475 0 0 0 326717 630 0 0 20 0 1 0 77064335 146501632 22096 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 35767 22096 2368 1147 0 23194 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 147260 KiB
Current children cumulated memory: 91456 KiB
[startup+3342.3 s]
/proc/loadavg: 2.16 2.12 2.30 3/243 92274
/proc/meminfo: memFree=122171616/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144100 memory=89920 CPUtime=3333.33 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15641 0 0 0 332696 637 0 0 20 0 1 0 77064335 147558400 22480 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36025 22480 2368 1147 0 23452 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 148292 KiB
Current children cumulated memory: 92992 KiB
[startup+3402.3 s]
/proc/loadavg: 1.54 1.96 2.23 2/236 92306
/proc/meminfo: memFree=123618844/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144616 memory=90204 CPUtime=3393.21 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15821 0 0 0 338677 644 0 0 20 0 1 0 77064335 148086784 22551 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36154 22551 2368 1147 0 23581 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 148808 KiB
Current children cumulated memory: 93276 KiB
[startup+3462.3 s]
/proc/loadavg: 1.32 1.81 2.16 2/235 92311
/proc/meminfo: memFree=123632440/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144764 memory=90972 CPUtime=3453.09 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15849 0 0 0 344657 652 0 0 20 0 1 0 77064335 148238336 22743 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36191 22743 2368 1147 0 23618 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 148956 KiB
Current children cumulated memory: 94044 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 1.68 2.09 2/235 92313
/proc/meminfo: memFree=123626956/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144764 memory=90972 CPUtime=3512.95 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15851 0 0 0 350635 660 0 0 20 0 1 0 77064335 148238336 22743 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36191 22743 2368 1147 0 23618 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 148956 KiB
Current children cumulated memory: 94044 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.57 2.03 2/234 92315
/proc/meminfo: memFree=123626516/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144764 memory=90972 CPUtime=3572.83 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15852 0 0 0 356616 667 0 0 20 0 1 0 77064335 148238336 22743 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36191 22743 2368 1147 0 23618 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 148956 KiB
Current children cumulated memory: 94044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 1.12 1.54 2.00 2/234 92317
/proc/meminfo: memFree=123626868/131382116 swapFree=33010684/33010684
[pid=92027] ppid=92024 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/92027/stat : 92027 (run-opt-log.sh) S 92024 92027 90778 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 77064334 4292608 768 18446744073709551615 94317715709952 94317716604485 140721318027664 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94317716843536 94317716891280 94317746188288 140721318029601 140721318029796 140721318029796 140721318035398 0
/proc/92027/statm: 1048 768 704 219 0 110 0
[pid=92029] ppid=92027 vsize=144764 memory=90972 CPUtime=3600.08 cores=4,6
/proc/92029/stat : 92029 (roundingsat) R 92027 92027 90778 0 -1 4194304 15852 0 0 0 359338 670 0 0 20 0 1 0 77064335 148238336 22743 18446744073709551615 4227072 8923433 140732791273120 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36782080 140732791277906 140732791278120 140732791278120 140732791283690 0
/proc/92029/statm: 36191 22743 2368 1147 0 23618 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 148956 KiB
Current children cumulated memory: 94044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 92027 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001751 s, system=0.003553 s
[startup+3609.61 s]
# the end of solver process 92029 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.39 s, system=6.70691 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.61
CPU time (s): 3600.1
CPU user time (s): 3593.39
CPU system time (s): 6.70691
CPU usage (%): 99.7364
Max. virtual memory (cumulated for all children) (KiB): 148956
Max. memory (cumulated for all children) (KiB): 94044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.39
system time used= 6.70691
maximum resident set size= 91228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 506040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212
involuntary context switches= 4842
# summary of solver processes directly reported to runsolver:
# pid: 92027,92029
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.39
# total CPU system time (s): 6.70691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4571 second user time and 36.8058 second system time
The end
Begin job on nodeC011 at 2025-07-04 09:24:06
IDJOB=4524391
IDBENCH=180666
IDSOLVER=3351
FILE ID=nodeC011/4524391-1751613846
RUNJOBID= nodeC011-1751606131-90789
SLURM_JOB_ID= 9598893
Free space on /tmp= 429760 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524391-1751613846/watcher-4524391-1751613846 -o /tmp/evaluation-result-4524391-1751613846/solver-4524391-1751613846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4524391-1751613846.opb PROOFDIR/proof-4524391-1751613846
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=1651214436
nodeC011 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 : 3647.599
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 : 6984.20
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 : 3514.812
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 : 6984.20
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.627
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 : 6984.20
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.362
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 : 6984.20
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.684
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 : 6984.20
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 : 3492.049
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 : 6984.20
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.296
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 : 6984.20
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 : 1198.301
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 107151168 kB
MemAvailable: 125097272 kB
Buffers: 3276 kB
Cached: 18710972 kB
SwapCached: 0 kB
Active: 5342896 kB
Inactive: 18269112 kB
Active(anon): 4913704 kB
Inactive(anon): 2104 kB
Active(file): 429192 kB
Inactive(file): 18267008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 124332 kB
Writeback: 20 kB
AnonPages: 4900928 kB
Mapped: 116516 kB
Shmem: 17960 kB
KReclaimable: 178676 kB
Slab: 269880 kB
SReclaimable: 178676 kB
SUnreclaim: 91204 kB
KernelStack: 4112 kB
PageTables: 13392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6589676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2058240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430444 MiB
End job on nodeC011 at 2025-07-04 10:24:16