0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.06/300.15 c [STEP] preprocessing done, loading into solver
299.06/300.16 c [STEP] solving
299.06/300.16 c #variables 1288 #constraints 2430
299.06/300.16 c SMALL=int, LARGE=long long
299.06/300.16 d SCIPUB 42
299.06/300.16 c bounds - >= 0 @ 298.932
299.06/300.16 c stratification level: 0
324.77/325.92 c #Conflicts: 1000 | #Constraints: 3430
324.77/325.92 c #Conflicts: 2000 | #Constraints: 4430
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 3000 | #Constraints: 4439
324.77/325.92 c #Conflicts: 4000 | #Constraints: 5439
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 5000 | #Constraints: 4849
324.77/325.92 c #Conflicts: 6000 | #Constraints: 5849
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 7000 | #Constraints: 4859
324.77/325.92 c #Conflicts: 8000 | #Constraints: 5859
324.77/325.92 c #Conflicts: 9000 | #Constraints: 6859
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 10000 | #Constraints: 5578
324.77/325.92 c #Conflicts: 11000 | #Constraints: 6578
324.77/325.92 c #Conflicts: 12000 | #Constraints: 7578
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 13000 | #Constraints: 6022
324.77/325.92 c #Conflicts: 14000 | #Constraints: 7022
324.77/325.92 c #Conflicts: 15000 | #Constraints: 8022
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 16000 | #Constraints: 6254
324.77/325.92 c #Conflicts: 17000 | #Constraints: 7254
324.77/325.92 c #Conflicts: 18000 | #Constraints: 8254
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 19000 | #Constraints: 6267
324.77/325.92 c #Conflicts: 20000 | #Constraints: 7267
324.77/325.92 c #Conflicts: 21000 | #Constraints: 8267
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 22000 | #Constraints: 6070
324.77/325.92 c #Conflicts: 23000 | #Constraints: 7070
324.77/325.92 c #Conflicts: 24000 | #Constraints: 8070
324.77/325.92 c #Conflicts: 25000 | #Constraints: 9070
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 26000 | #Constraints: 6677
324.77/325.92 c #Conflicts: 27000 | #Constraints: 7677
324.77/325.92 c #Conflicts: 28000 | #Constraints: 8677
324.77/325.92 c #Conflicts: 29000 | #Constraints: 9677
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 30000 | #Constraints: 7077
324.77/325.92 c #Conflicts: 31000 | #Constraints: 8077
324.77/325.92 c #Conflicts: 32000 | #Constraints: 9077
324.77/325.92 c #Conflicts: 33000 | #Constraints: 10077
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 34000 | #Constraints: 7290
324.77/325.92 c #Conflicts: 35000 | #Constraints: 8290
324.77/325.92 c #Conflicts: 36000 | #Constraints: 9290
324.77/325.92 c #Conflicts: 37000 | #Constraints: 10290
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 38000 | #Constraints: 7287
324.77/325.92 c #Conflicts: 39000 | #Constraints: 8287
324.77/325.92 c #Conflicts: 40000 | #Constraints: 9287
324.77/325.92 c #Conflicts: 41000 | #Constraints: 10287
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 42000 | #Constraints: 7086
324.77/325.92 c #Conflicts: 43000 | #Constraints: 8086
324.77/325.92 c #Conflicts: 44000 | #Constraints: 9086
324.77/325.92 c #Conflicts: 45000 | #Constraints: 10086
324.77/325.92 c #Conflicts: 46000 | #Constraints: 11086
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 47000 | #Constraints: 7687
324.77/325.92 c #Conflicts: 48000 | #Constraints: 8687
324.77/325.92 c #Conflicts: 49000 | #Constraints: 9687
324.77/325.92 c #Conflicts: 50000 | #Constraints: 10687
324.77/325.92 c #Conflicts: 51000 | #Constraints: 11687
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 52000 | #Constraints: 8080
324.77/325.92 c #Conflicts: 53000 | #Constraints: 9080
324.77/325.92 c #Conflicts: 54000 | #Constraints: 10080
324.77/325.92 c #Conflicts: 55000 | #Constraints: 11080
324.77/325.92 c #Conflicts: 56000 | #Constraints: 12080
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 57000 | #Constraints: 8277
324.77/325.92 c #Conflicts: 58000 | #Constraints: 9277
324.77/325.92 c #Conflicts: 59000 | #Constraints: 10277
324.77/325.92 c #Conflicts: 60000 | #Constraints: 11277
324.77/325.92 c #Conflicts: 61000 | #Constraints: 12277
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 62000 | #Constraints: 8279
324.77/325.92 c #Conflicts: 63000 | #Constraints: 9279
324.77/325.92 c #Conflicts: 64000 | #Constraints: 10279
324.77/325.92 c #Conflicts: 65000 | #Constraints: 11279
324.77/325.92 c #Conflicts: 66000 | #Constraints: 12279
324.77/325.92 c INPROCESSING
324.77/325.92 c GARBAGE COLLECT
324.77/325.92 c #Conflicts: 67000 | #Constraints: 8086
324.77/325.92 c #Conflicts: 68000 | #Constraints: 9086
368.34/369.61 c #Conflicts: 69000 | #Constraints: 10086
368.34/369.61 c #Conflicts: 70000 | #Constraints: 11086
368.34/369.61 c #Conflicts: 71000 | #Constraints: 12086
368.34/369.61 c #Conflicts: 72000 | #Constraints: 13086
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 73000 | #Constraints: 8682
368.34/369.61 c #Conflicts: 74000 | #Constraints: 9682
368.34/369.61 c #Conflicts: 75000 | #Constraints: 10682
368.34/369.61 c #Conflicts: 76000 | #Constraints: 11682
368.34/369.61 c #Conflicts: 77000 | #Constraints: 12682
368.34/369.61 c #Conflicts: 78000 | #Constraints: 13682
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 79000 | #Constraints: 9082
368.34/369.61 c #Conflicts: 80000 | #Constraints: 10082
368.34/369.61 c #Conflicts: 81000 | #Constraints: 11082
368.34/369.61 c #Conflicts: 82000 | #Constraints: 12082
368.34/369.61 c #Conflicts: 83000 | #Constraints: 13082
368.34/369.61 c #Conflicts: 84000 | #Constraints: 14082
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 85000 | #Constraints: 9282
368.34/369.61 c #Conflicts: 86000 | #Constraints: 10282
368.34/369.61 c #Conflicts: 87000 | #Constraints: 11282
368.34/369.61 c #Conflicts: 88000 | #Constraints: 12282
368.34/369.61 c #Conflicts: 89000 | #Constraints: 13282
368.34/369.61 c #Conflicts: 90000 | #Constraints: 14282
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 91000 | #Constraints: 9290
368.34/369.61 c #Conflicts: 92000 | #Constraints: 10290
368.34/369.61 c #Conflicts: 93000 | #Constraints: 11290
368.34/369.61 c #Conflicts: 94000 | #Constraints: 12290
368.34/369.61 c #Conflicts: 95000 | #Constraints: 13290
368.34/369.61 c #Conflicts: 96000 | #Constraints: 14290
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 97000 | #Constraints: 9087
368.34/369.61 c #Conflicts: 98000 | #Constraints: 10087
368.34/369.61 c #Conflicts: 99000 | #Constraints: 11087
368.34/369.61 c #Conflicts: 100000 | #Constraints: 12087
368.34/369.61 c #Conflicts: 101000 | #Constraints: 13087
368.34/369.61 c #Conflicts: 102000 | #Constraints: 14087
368.34/369.61 c #Conflicts: 103000 | #Constraints: 15087
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 104000 | #Constraints: 9687
368.34/369.61 c #Conflicts: 105000 | #Constraints: 10687
368.34/369.61 c #Conflicts: 106000 | #Constraints: 11687
368.34/369.61 c #Conflicts: 107000 | #Constraints: 12687
368.34/369.61 c #Conflicts: 108000 | #Constraints: 13687
368.34/369.61 c #Conflicts: 109000 | #Constraints: 14687
368.34/369.61 c #Conflicts: 110000 | #Constraints: 15687
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 111000 | #Constraints: 10095
368.34/369.61 c #Conflicts: 112000 | #Constraints: 11095
368.34/369.61 c #Conflicts: 113000 | #Constraints: 12095
368.34/369.61 c #Conflicts: 114000 | #Constraints: 13095
368.34/369.61 c #Conflicts: 115000 | #Constraints: 14095
368.34/369.61 c #Conflicts: 116000 | #Constraints: 15095
368.34/369.61 c #Conflicts: 117000 | #Constraints: 16095
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 118000 | #Constraints: 10298
368.34/369.61 c #Conflicts: 119000 | #Constraints: 11298
368.34/369.61 c #Conflicts: 120000 | #Constraints: 12298
368.34/369.61 c #Conflicts: 121000 | #Constraints: 13298
368.34/369.61 c #Conflicts: 122000 | #Constraints: 14298
368.34/369.61 c #Conflicts: 123000 | #Constraints: 15298
368.34/369.61 c #Conflicts: 124000 | #Constraints: 16298
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 125000 | #Constraints: 10301
368.34/369.61 c #Conflicts: 126000 | #Constraints: 11301
368.34/369.61 c #Conflicts: 127000 | #Constraints: 12301
368.34/369.61 c #Conflicts: 128000 | #Constraints: 13301
368.34/369.61 c #Conflicts: 129000 | #Constraints: 14301
368.34/369.61 c #Conflicts: 130000 | #Constraints: 15301
368.34/369.61 c #Conflicts: 131000 | #Constraints: 16301
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 132000 | #Constraints: 10101
368.34/369.61 c #Conflicts: 133000 | #Constraints: 11101
368.34/369.61 c #Conflicts: 134000 | #Constraints: 12101
368.34/369.61 c #Conflicts: 135000 | #Constraints: 13101
368.34/369.61 c #Conflicts: 136000 | #Constraints: 14101
368.34/369.61 c #Conflicts: 137000 | #Constraints: 15101
368.34/369.61 c #Conflicts: 138000 | #Constraints: 16101
368.34/369.61 c #Conflicts: 139000 | #Constraints: 17101
368.34/369.61 c INPROCESSING
368.34/369.61 c GARBAGE COLLECT
368.34/369.61 c #Conflicts: 140000 | #Constraints: 10697
424.88/426.33 c #Conflicts: 141000 | #Constraints: 11697
424.88/426.33 c #Conflicts: 142000 | #Constraints: 12697
424.88/426.33 c #Conflicts: 143000 | #Constraints: 13697
424.88/426.33 c #Conflicts: 144000 | #Constraints: 14697
424.88/426.33 c #Conflicts: 145000 | #Constraints: 15697
424.88/426.33 c #Conflicts: 146000 | #Constraints: 16697
424.88/426.33 c #Conflicts: 147000 | #Constraints: 17697
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 148000 | #Constraints: 11096
424.88/426.33 c #Conflicts: 149000 | #Constraints: 12096
424.88/426.33 c #Conflicts: 150000 | #Constraints: 13096
424.88/426.33 c #Conflicts: 151000 | #Constraints: 14096
424.88/426.33 c #Conflicts: 152000 | #Constraints: 15096
424.88/426.33 c #Conflicts: 153000 | #Constraints: 16096
424.88/426.33 c #Conflicts: 154000 | #Constraints: 17096
424.88/426.33 c #Conflicts: 155000 | #Constraints: 18096
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 156000 | #Constraints: 11297
424.88/426.33 c #Conflicts: 157000 | #Constraints: 12297
424.88/426.33 c #Conflicts: 158000 | #Constraints: 13297
424.88/426.33 c #Conflicts: 159000 | #Constraints: 14297
424.88/426.33 c #Conflicts: 160000 | #Constraints: 15297
424.88/426.33 c #Conflicts: 161000 | #Constraints: 16297
424.88/426.33 c #Conflicts: 162000 | #Constraints: 17297
424.88/426.33 c #Conflicts: 163000 | #Constraints: 18297
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 164000 | #Constraints: 11309
424.88/426.33 c #Conflicts: 165000 | #Constraints: 12309
424.88/426.33 c #Conflicts: 166000 | #Constraints: 13309
424.88/426.33 c #Conflicts: 167000 | #Constraints: 14309
424.88/426.33 c #Conflicts: 168000 | #Constraints: 15309
424.88/426.33 c #Conflicts: 169000 | #Constraints: 16309
424.88/426.33 c #Conflicts: 170000 | #Constraints: 17309
424.88/426.33 c #Conflicts: 171000 | #Constraints: 18309
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 172000 | #Constraints: 11103
424.88/426.33 c #Conflicts: 173000 | #Constraints: 12103
424.88/426.33 c #Conflicts: 174000 | #Constraints: 13103
424.88/426.33 c #Conflicts: 175000 | #Constraints: 14103
424.88/426.33 c #Conflicts: 176000 | #Constraints: 15103
424.88/426.33 c #Conflicts: 177000 | #Constraints: 16103
424.88/426.33 c #Conflicts: 178000 | #Constraints: 17103
424.88/426.33 c #Conflicts: 179000 | #Constraints: 18103
424.88/426.33 c #Conflicts: 180000 | #Constraints: 19103
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 181000 | #Constraints: 11696
424.88/426.33 c #Conflicts: 182000 | #Constraints: 12696
424.88/426.33 c #Conflicts: 183000 | #Constraints: 13696
424.88/426.33 c #Conflicts: 184000 | #Constraints: 14696
424.88/426.33 c #Conflicts: 185000 | #Constraints: 15696
424.88/426.33 c #Conflicts: 186000 | #Constraints: 16696
424.88/426.33 c #Conflicts: 187000 | #Constraints: 17696
424.88/426.33 c #Conflicts: 188000 | #Constraints: 18696
424.88/426.33 c #Conflicts: 189000 | #Constraints: 19696
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 190000 | #Constraints: 12101
424.88/426.33 c #Conflicts: 191000 | #Constraints: 13101
424.88/426.33 c #Conflicts: 192000 | #Constraints: 14101
424.88/426.33 c #Conflicts: 193000 | #Constraints: 15101
424.88/426.33 c #Conflicts: 194000 | #Constraints: 16101
424.88/426.33 c #Conflicts: 195000 | #Constraints: 17101
424.88/426.33 c #Conflicts: 196000 | #Constraints: 18101
424.88/426.33 c #Conflicts: 197000 | #Constraints: 19101
424.88/426.33 c #Conflicts: 198000 | #Constraints: 20101
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 199000 | #Constraints: 12303
424.88/426.33 c #Conflicts: 200000 | #Constraints: 13303
424.88/426.33 c #Conflicts: 201000 | #Constraints: 14303
424.88/426.33 c #Conflicts: 202000 | #Constraints: 15303
424.88/426.33 c #Conflicts: 203000 | #Constraints: 16303
424.88/426.33 c #Conflicts: 204000 | #Constraints: 17303
424.88/426.33 c #Conflicts: 205000 | #Constraints: 18303
424.88/426.33 c #Conflicts: 206000 | #Constraints: 19303
424.88/426.33 c #Conflicts: 207000 | #Constraints: 20303
424.88/426.33 c INPROCESSING
424.88/426.33 c GARBAGE COLLECT
424.88/426.33 c #Conflicts: 208000 | #Constraints: 12298
424.88/426.33 c #Conflicts: 209000 | #Constraints: 13298
424.88/426.33 c #Conflicts: 210000 | #Constraints: 14298
424.88/426.33 c #Conflicts: 211000 | #Constraints: 15298
424.88/426.33 c #Conflicts: 212000 | #Constraints: 16298
424.88/426.33 c #Conflicts: 213000 | #Constraints: 17298
497.68/499.34 c #Conflicts: 214000 | #Constraints: 18298
497.68/499.34 c #Conflicts: 215000 | #Constraints: 19298
497.68/499.34 c #Conflicts: 216000 | #Constraints: 20298
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 217000 | #Constraints: 12101
497.68/499.34 c #Conflicts: 218000 | #Constraints: 13101
497.68/499.34 c #Conflicts: 219000 | #Constraints: 14101
497.68/499.34 c #Conflicts: 220000 | #Constraints: 15101
497.68/499.34 c #Conflicts: 221000 | #Constraints: 16101
497.68/499.34 c #Conflicts: 222000 | #Constraints: 17101
497.68/499.34 c #Conflicts: 223000 | #Constraints: 18101
497.68/499.34 c #Conflicts: 224000 | #Constraints: 19101
497.68/499.34 c #Conflicts: 225000 | #Constraints: 20101
497.68/499.34 c #Conflicts: 226000 | #Constraints: 21101
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 227000 | #Constraints: 12707
497.68/499.34 c #Conflicts: 228000 | #Constraints: 13707
497.68/499.34 c #Conflicts: 229000 | #Constraints: 14707
497.68/499.34 c #Conflicts: 230000 | #Constraints: 15707
497.68/499.34 c #Conflicts: 231000 | #Constraints: 16707
497.68/499.34 c #Conflicts: 232000 | #Constraints: 17707
497.68/499.34 c #Conflicts: 233000 | #Constraints: 18707
497.68/499.34 c #Conflicts: 234000 | #Constraints: 19707
497.68/499.34 c #Conflicts: 235000 | #Constraints: 20707
497.68/499.34 c #Conflicts: 236000 | #Constraints: 21707
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 237000 | #Constraints: 13101
497.68/499.34 c #Conflicts: 238000 | #Constraints: 14101
497.68/499.34 c #Conflicts: 239000 | #Constraints: 15101
497.68/499.34 c #Conflicts: 240000 | #Constraints: 16101
497.68/499.34 c #Conflicts: 241000 | #Constraints: 17101
497.68/499.34 c #Conflicts: 242000 | #Constraints: 18101
497.68/499.34 c #Conflicts: 243000 | #Constraints: 19101
497.68/499.34 c #Conflicts: 244000 | #Constraints: 20101
497.68/499.34 c #Conflicts: 245000 | #Constraints: 21101
497.68/499.34 c #Conflicts: 246000 | #Constraints: 22101
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 247000 | #Constraints: 13302
497.68/499.34 c #Conflicts: 248000 | #Constraints: 14302
497.68/499.34 c #Conflicts: 249000 | #Constraints: 15302
497.68/499.34 c #Conflicts: 250000 | #Constraints: 16302
497.68/499.34 c #Conflicts: 251000 | #Constraints: 17302
497.68/499.34 c #Conflicts: 252000 | #Constraints: 18302
497.68/499.34 c #Conflicts: 253000 | #Constraints: 19302
497.68/499.34 c #Conflicts: 254000 | #Constraints: 20302
497.68/499.34 c #Conflicts: 255000 | #Constraints: 21302
497.68/499.34 c #Conflicts: 256000 | #Constraints: 22302
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 257000 | #Constraints: 13305
497.68/499.34 c #Conflicts: 258000 | #Constraints: 14305
497.68/499.34 c #Conflicts: 259000 | #Constraints: 15305
497.68/499.34 c #Conflicts: 260000 | #Constraints: 16305
497.68/499.34 c #Conflicts: 261000 | #Constraints: 17305
497.68/499.34 c #Conflicts: 262000 | #Constraints: 18305
497.68/499.34 c #Conflicts: 263000 | #Constraints: 19305
497.68/499.34 c #Conflicts: 264000 | #Constraints: 20305
497.68/499.34 c #Conflicts: 265000 | #Constraints: 21305
497.68/499.34 c #Conflicts: 266000 | #Constraints: 22305
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 267000 | #Constraints: 13111
497.68/499.34 c #Conflicts: 268000 | #Constraints: 14111
497.68/499.34 c #Conflicts: 269000 | #Constraints: 15111
497.68/499.34 c #Conflicts: 270000 | #Constraints: 16111
497.68/499.34 c #Conflicts: 271000 | #Constraints: 17111
497.68/499.34 c #Conflicts: 272000 | #Constraints: 18111
497.68/499.34 c #Conflicts: 273000 | #Constraints: 19111
497.68/499.34 c #Conflicts: 274000 | #Constraints: 20111
497.68/499.34 c #Conflicts: 275000 | #Constraints: 21111
497.68/499.34 c #Conflicts: 276000 | #Constraints: 22111
497.68/499.34 c #Conflicts: 277000 | #Constraints: 23111
497.68/499.34 c INPROCESSING
497.68/499.34 c GARBAGE COLLECT
497.68/499.34 c #Conflicts: 278000 | #Constraints: 13709
497.68/499.34 c #Conflicts: 279000 | #Constraints: 14709
497.68/499.34 c #Conflicts: 280000 | #Constraints: 15709
497.68/499.34 c #Conflicts: 281000 | #Constraints: 16709
497.68/499.34 c #Conflicts: 282000 | #Constraints: 17709
497.68/499.34 c #Conflicts: 283000 | #Constraints: 18709
497.68/499.34 c #Conflicts: 284000 | #Constraints: 19709
497.68/499.34 c #Conflicts: 285000 | #Constraints: 20709
497.68/499.34 c #Conflicts: 286000 | #Constraints: 21709
497.68/499.34 c #Conflicts: 287000 | #Constraints: 22709
497.68/499.34 c #Conflicts: 288000 | #Constraints: 23709
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 289000 | #Constraints: 14117
577.58/579.42 c #Conflicts: 290000 | #Constraints: 15117
577.58/579.42 c #Conflicts: 291000 | #Constraints: 16117
577.58/579.42 c #Conflicts: 292000 | #Constraints: 17117
577.58/579.42 c #Conflicts: 293000 | #Constraints: 18117
577.58/579.42 c #Conflicts: 294000 | #Constraints: 19117
577.58/579.42 c #Conflicts: 295000 | #Constraints: 20117
577.58/579.42 c #Conflicts: 296000 | #Constraints: 21117
577.58/579.42 c #Conflicts: 297000 | #Constraints: 22117
577.58/579.42 c #Conflicts: 298000 | #Constraints: 23117
577.58/579.42 c #Conflicts: 299000 | #Constraints: 24117
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 300000 | #Constraints: 14318
577.58/579.42 c #Conflicts: 301000 | #Constraints: 15318
577.58/579.42 c #Conflicts: 302000 | #Constraints: 16318
577.58/579.42 c #Conflicts: 303000 | #Constraints: 17318
577.58/579.42 c #Conflicts: 304000 | #Constraints: 18318
577.58/579.42 c #Conflicts: 305000 | #Constraints: 19318
577.58/579.42 c #Conflicts: 306000 | #Constraints: 20318
577.58/579.42 c #Conflicts: 307000 | #Constraints: 21318
577.58/579.42 c #Conflicts: 308000 | #Constraints: 22318
577.58/579.42 c #Conflicts: 309000 | #Constraints: 23318
577.58/579.42 c #Conflicts: 310000 | #Constraints: 24318
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 311000 | #Constraints: 14316
577.58/579.42 c #Conflicts: 312000 | #Constraints: 15316
577.58/579.42 c #Conflicts: 313000 | #Constraints: 16316
577.58/579.42 c #Conflicts: 314000 | #Constraints: 17316
577.58/579.42 c #Conflicts: 315000 | #Constraints: 18316
577.58/579.42 c #Conflicts: 316000 | #Constraints: 19316
577.58/579.42 c #Conflicts: 317000 | #Constraints: 20316
577.58/579.42 c #Conflicts: 318000 | #Constraints: 21316
577.58/579.42 c #Conflicts: 319000 | #Constraints: 22316
577.58/579.42 c #Conflicts: 320000 | #Constraints: 23316
577.58/579.42 c #Conflicts: 321000 | #Constraints: 24316
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 322000 | #Constraints: 14106
577.58/579.42 c #Conflicts: 323000 | #Constraints: 15106
577.58/579.42 c #Conflicts: 324000 | #Constraints: 16106
577.58/579.42 c #Conflicts: 325000 | #Constraints: 17106
577.58/579.42 c #Conflicts: 326000 | #Constraints: 18106
577.58/579.42 c #Conflicts: 327000 | #Constraints: 19106
577.58/579.42 c #Conflicts: 328000 | #Constraints: 20106
577.58/579.42 c #Conflicts: 329000 | #Constraints: 21106
577.58/579.42 c #Conflicts: 330000 | #Constraints: 22106
577.58/579.42 c #Conflicts: 331000 | #Constraints: 23106
577.58/579.42 c #Conflicts: 332000 | #Constraints: 24106
577.58/579.42 c #Conflicts: 333000 | #Constraints: 25106
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 334000 | #Constraints: 14704
577.58/579.42 c #Conflicts: 335000 | #Constraints: 15704
577.58/579.42 c #Conflicts: 336000 | #Constraints: 16704
577.58/579.42 c #Conflicts: 337000 | #Constraints: 17704
577.58/579.42 c #Conflicts: 338000 | #Constraints: 18704
577.58/579.42 c #Conflicts: 339000 | #Constraints: 19704
577.58/579.42 c #Conflicts: 340000 | #Constraints: 20704
577.58/579.42 c #Conflicts: 341000 | #Constraints: 21704
577.58/579.42 c #Conflicts: 342000 | #Constraints: 22704
577.58/579.42 c #Conflicts: 343000 | #Constraints: 23704
577.58/579.42 c #Conflicts: 344000 | #Constraints: 24704
577.58/579.42 c #Conflicts: 345000 | #Constraints: 25704
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 346000 | #Constraints: 15106
577.58/579.42 c #Conflicts: 347000 | #Constraints: 16106
577.58/579.42 c #Conflicts: 348000 | #Constraints: 17106
577.58/579.42 c #Conflicts: 349000 | #Constraints: 18106
577.58/579.42 c #Conflicts: 350000 | #Constraints: 19106
577.58/579.42 c #Conflicts: 351000 | #Constraints: 20106
577.58/579.42 c #Conflicts: 352000 | #Constraints: 21106
577.58/579.42 c #Conflicts: 353000 | #Constraints: 22106
577.58/579.42 c #Conflicts: 354000 | #Constraints: 23106
577.58/579.42 c #Conflicts: 355000 | #Constraints: 24106
577.58/579.42 c #Conflicts: 356000 | #Constraints: 25106
577.58/579.42 c #Conflicts: 357000 | #Constraints: 26106
577.58/579.42 c INPROCESSING
577.58/579.42 c GARBAGE COLLECT
577.58/579.42 c #Conflicts: 358000 | #Constraints: 15302
577.58/579.42 c #Conflicts: 359000 | #Constraints: 16302
577.58/579.42 c #Conflicts: 360000 | #Constraints: 17302
577.58/579.42 c #Conflicts: 361000 | #Constraints: 18302
577.58/579.42 c #Conflicts: 362000 | #Constraints: 19302
670.15/672.20 c #Conflicts: 363000 | #Constraints: 20302
670.15/672.20 c #Conflicts: 364000 | #Constraints: 21302
670.15/672.20 c #Conflicts: 365000 | #Constraints: 22302
670.15/672.20 c #Conflicts: 366000 | #Constraints: 23302
670.15/672.20 c #Conflicts: 367000 | #Constraints: 24302
670.15/672.20 c #Conflicts: 368000 | #Constraints: 25302
670.15/672.20 c #Conflicts: 369000 | #Constraints: 26302
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 370000 | #Constraints: 15307
670.15/672.20 c #Conflicts: 371000 | #Constraints: 16307
670.15/672.20 c #Conflicts: 372000 | #Constraints: 17307
670.15/672.20 c #Conflicts: 373000 | #Constraints: 18307
670.15/672.20 c #Conflicts: 374000 | #Constraints: 19307
670.15/672.20 c #Conflicts: 375000 | #Constraints: 20307
670.15/672.20 c #Conflicts: 376000 | #Constraints: 21307
670.15/672.20 c #Conflicts: 377000 | #Constraints: 22307
670.15/672.20 c #Conflicts: 378000 | #Constraints: 23307
670.15/672.20 c #Conflicts: 379000 | #Constraints: 24307
670.15/672.20 c #Conflicts: 380000 | #Constraints: 25307
670.15/672.20 c #Conflicts: 381000 | #Constraints: 26307
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 382000 | #Constraints: 15113
670.15/672.20 c #Conflicts: 383000 | #Constraints: 16113
670.15/672.20 c #Conflicts: 384000 | #Constraints: 17113
670.15/672.20 c #Conflicts: 385000 | #Constraints: 18113
670.15/672.20 c #Conflicts: 386000 | #Constraints: 19113
670.15/672.20 c #Conflicts: 387000 | #Constraints: 20113
670.15/672.20 c #Conflicts: 388000 | #Constraints: 21113
670.15/672.20 c #Conflicts: 389000 | #Constraints: 22113
670.15/672.20 c #Conflicts: 390000 | #Constraints: 23113
670.15/672.20 c #Conflicts: 391000 | #Constraints: 24113
670.15/672.20 c #Conflicts: 392000 | #Constraints: 25113
670.15/672.20 c #Conflicts: 393000 | #Constraints: 26113
670.15/672.20 c #Conflicts: 394000 | #Constraints: 27113
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 395000 | #Constraints: 15715
670.15/672.20 c #Conflicts: 396000 | #Constraints: 16715
670.15/672.20 c #Conflicts: 397000 | #Constraints: 17715
670.15/672.20 c #Conflicts: 398000 | #Constraints: 18715
670.15/672.20 c #Conflicts: 399000 | #Constraints: 19715
670.15/672.20 c #Conflicts: 400000 | #Constraints: 20715
670.15/672.20 c #Conflicts: 401000 | #Constraints: 21715
670.15/672.20 c #Conflicts: 402000 | #Constraints: 22715
670.15/672.20 c #Conflicts: 403000 | #Constraints: 23715
670.15/672.20 c #Conflicts: 404000 | #Constraints: 24715
670.15/672.20 c #Conflicts: 405000 | #Constraints: 25715
670.15/672.20 c #Conflicts: 406000 | #Constraints: 26715
670.15/672.20 c #Conflicts: 407000 | #Constraints: 27715
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 408000 | #Constraints: 16114
670.15/672.20 c #Conflicts: 409000 | #Constraints: 17114
670.15/672.20 c #Conflicts: 410000 | #Constraints: 18114
670.15/672.20 c #Conflicts: 411000 | #Constraints: 19114
670.15/672.20 c #Conflicts: 412000 | #Constraints: 20114
670.15/672.20 c #Conflicts: 413000 | #Constraints: 21114
670.15/672.20 c #Conflicts: 414000 | #Constraints: 22114
670.15/672.20 c #Conflicts: 415000 | #Constraints: 23114
670.15/672.20 c #Conflicts: 416000 | #Constraints: 24114
670.15/672.20 c #Conflicts: 417000 | #Constraints: 25114
670.15/672.20 c #Conflicts: 418000 | #Constraints: 26114
670.15/672.20 c #Conflicts: 419000 | #Constraints: 27114
670.15/672.20 c #Conflicts: 420000 | #Constraints: 28114
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 421000 | #Constraints: 16303
670.15/672.20 c #Conflicts: 422000 | #Constraints: 17303
670.15/672.20 c #Conflicts: 423000 | #Constraints: 18303
670.15/672.20 c #Conflicts: 424000 | #Constraints: 19303
670.15/672.20 c #Conflicts: 425000 | #Constraints: 20303
670.15/672.20 c #Conflicts: 426000 | #Constraints: 21303
670.15/672.20 c #Conflicts: 427000 | #Constraints: 22303
670.15/672.20 c #Conflicts: 428000 | #Constraints: 23303
670.15/672.20 c #Conflicts: 429000 | #Constraints: 24303
670.15/672.20 c #Conflicts: 430000 | #Constraints: 25303
670.15/672.20 c #Conflicts: 431000 | #Constraints: 26303
670.15/672.20 c #Conflicts: 432000 | #Constraints: 27303
670.15/672.20 c #Conflicts: 433000 | #Constraints: 28303
670.15/672.20 c INPROCESSING
670.15/672.20 c GARBAGE COLLECT
670.15/672.20 c #Conflicts: 434000 | #Constraints: 16299
670.15/672.20 c #Conflicts: 435000 | #Constraints: 17299
670.15/672.20 c #Conflicts: 436000 | #Constraints: 18299
670.15/672.20 c #Conflicts: 437000 | #Constraints: 19299
773.40/775.70 c #Conflicts: 438000 | #Constraints: 20299
773.40/775.70 c #Conflicts: 439000 | #Constraints: 21299
773.40/775.70 c #Conflicts: 440000 | #Constraints: 22299
773.40/775.70 c #Conflicts: 441000 | #Constraints: 23299
773.40/775.70 c #Conflicts: 442000 | #Constraints: 24299
773.40/775.70 c #Conflicts: 443000 | #Constraints: 25299
773.40/775.70 c #Conflicts: 444000 | #Constraints: 26299
773.40/775.70 c #Conflicts: 445000 | #Constraints: 27299
773.40/775.70 c #Conflicts: 446000 | #Constraints: 28299
773.40/775.70 c INPROCESSING
773.40/775.70 c GARBAGE COLLECT
773.40/775.70 c #Conflicts: 447000 | #Constraints: 16107
773.40/775.70 c #Conflicts: 448000 | #Constraints: 17107
773.40/775.70 c #Conflicts: 449000 | #Constraints: 18107
773.40/775.70 c #Conflicts: 450000 | #Constraints: 19107
773.40/775.70 c #Conflicts: 451000 | #Constraints: 20107
773.40/775.70 c #Conflicts: 452000 | #Constraints: 21107
773.40/775.70 c #Conflicts: 453000 | #Constraints: 22107
773.40/775.70 c #Conflicts: 454000 | #Constraints: 23107
773.40/775.70 c #Conflicts: 455000 | #Constraints: 24107
773.40/775.70 c #Conflicts: 456000 | #Constraints: 25107
773.40/775.70 c #Conflicts: 457000 | #Constraints: 26107
773.40/775.70 c #Conflicts: 458000 | #Constraints: 27107
773.40/775.70 c #Conflicts: 459000 | #Constraints: 28107
773.40/775.70 c #Conflicts: 460000 | #Constraints: 29107
773.40/775.70 c INPROCESSING
773.40/775.70 c GARBAGE COLLECT
773.40/775.70 c #Conflicts: 461000 | #Constraints: 16721
773.40/775.70 c #Conflicts: 462000 | #Constraints: 17721
773.40/775.70 c #Conflicts: 463000 | #Constraints: 18721
773.40/775.70 c #Conflicts: 464000 | #Constraints: 19721
773.40/775.70 c #Conflicts: 465000 | #Constraints: 20721
773.40/775.70 c #Conflicts: 466000 | #Constraints: 21721
773.40/775.70 c #Conflicts: 467000 | #Constraints: 22721
773.40/775.70 c #Conflicts: 468000 | #Constraints: 23721
773.40/775.70 c #Conflicts: 469000 | #Constraints: 24721
773.40/775.70 c #Conflicts: 470000 | #Constraints: 25721
773.40/775.70 c #Conflicts: 471000 | #Constraints: 26721
773.40/775.70 c #Conflicts: 472000 | #Constraints: 27721
773.40/775.70 c #Conflicts: 473000 | #Constraints: 28721
773.40/775.70 c #Conflicts: 474000 | #Constraints: 29721
773.40/775.70 c INPROCESSING
773.40/775.70 c GARBAGE COLLECT
773.40/775.70 c #Conflicts: 475000 | #Constraints: 17122
773.40/775.70 c #Conflicts: 476000 | #Constraints: 18122
773.40/775.70 c #Conflicts: 477000 | #Constraints: 19122
773.40/775.70 c #Conflicts: 478000 | #Constraints: 20122
773.40/775.70 c #Conflicts: 479000 | #Constraints: 21122
773.40/775.70 c #Conflicts: 480000 | #Constraints: 22122
773.40/775.70 c #Conflicts: 481000 | #Constraints: 23122
773.40/775.70 c #Conflicts: 482000 | #Constraints: 24122
773.40/775.70 c #Conflicts: 483000 | #Constraints: 25122
773.40/775.70 c #Conflicts: 484000 | #Constraints: 26122
773.40/775.70 c #Conflicts: 485000 | #Constraints: 27122
773.40/775.70 c #Conflicts: 486000 | #Constraints: 28122
773.40/775.70 c #Conflicts: 487000 | #Constraints: 29122
773.40/775.70 c #Conflicts: 488000 | #Constraints: 30122
773.40/775.70 c INPROCESSING
773.40/775.70 c GARBAGE COLLECT
773.40/775.70 c #Conflicts: 489000 | #Constraints: 17312
773.40/775.70 c #Conflicts: 490000 | #Constraints: 18312
773.40/775.70 c #Conflicts: 491000 | #Constraints: 19312
773.40/775.70 c #Conflicts: 492000 | #Constraints: 20312
773.40/775.70 c #Conflicts: 493000 | #Constraints: 21312
773.40/775.70 c #Conflicts: 494000 | #Constraints: 22312
773.40/775.70 c #Conflicts: 495000 | #Constraints: 23312
773.40/775.70 c #Conflicts: 496000 | #Constraints: 24312
773.40/775.70 c #Conflicts: 497000 | #Constraints: 25312
773.40/775.70 c #Conflicts: 498000 | #Constraints: 26312
773.40/775.70 c #Conflicts: 499000 | #Constraints: 27312
773.40/775.70 c #Conflicts: 500000 | #Constraints: 28312
773.40/775.70 c #Conflicts: 501000 | #Constraints: 29312
773.40/775.70 c #Conflicts: 502000 | #Constraints: 30312
773.40/775.70 c INPROCESSING
773.40/775.70 c GARBAGE COLLECT
773.40/775.70 c #Conflicts: 503000 | #Constraints: 17310
773.40/775.70 c #Conflicts: 504000 | #Constraints: 18310
773.40/775.70 c #Conflicts: 505000 | #Constraints: 19310
773.40/775.70 c #Conflicts: 506000 | #Constraints: 20310
773.40/775.70 c #Conflicts: 507000 | #Constraints: 21310
773.40/775.70 c #Conflicts: 508000 | #Constraints: 22310
773.40/775.70 c #Conflicts: 509000 | #Constraints: 23310
773.40/775.70 c #Conflicts: 510000 | #Constraints: 24310
773.40/775.70 c #Conflicts: 511000 | #Constraints: 25310
773.40/775.70 c #Conflicts: 512000 | #Constraints: 26310
773.40/775.70 c #Conflicts: 513000 | #Constraints: 27310
889.41/892.08 c #Conflicts: 514000 | #Constraints: 28310
889.41/892.08 c #Conflicts: 515000 | #Constraints: 29310
889.41/892.08 c #Conflicts: 516000 | #Constraints: 30310
889.41/892.08 c INPROCESSING
889.41/892.08 c GARBAGE COLLECT
889.41/892.08 c #Conflicts: 517000 | #Constraints: 17105
889.41/892.08 c #Conflicts: 518000 | #Constraints: 18105
889.41/892.08 c #Conflicts: 519000 | #Constraints: 19105
889.41/892.08 c #Conflicts: 520000 | #Constraints: 20105
889.41/892.08 c #Conflicts: 521000 | #Constraints: 21105
889.41/892.08 c #Conflicts: 522000 | #Constraints: 22105
889.41/892.08 c #Conflicts: 523000 | #Constraints: 23105
889.41/892.08 c #Conflicts: 524000 | #Constraints: 24105
889.41/892.08 c #Conflicts: 525000 | #Constraints: 25105
889.41/892.08 c #Conflicts: 526000 | #Constraints: 26105
889.41/892.08 c #Conflicts: 527000 | #Constraints: 27105
889.41/892.08 c #Conflicts: 528000 | #Constraints: 28105
889.41/892.08 c #Conflicts: 529000 | #Constraints: 29105
889.41/892.08 c #Conflicts: 530000 | #Constraints: 30105
889.41/892.08 c #Conflicts: 531000 | #Constraints: 31105
889.41/892.08 c INPROCESSING
889.41/892.08 c GARBAGE COLLECT
889.41/892.08 c #Conflicts: 532000 | #Constraints: 17716
889.41/892.08 c #Conflicts: 533000 | #Constraints: 18716
889.41/892.08 c #Conflicts: 534000 | #Constraints: 19716
889.41/892.08 c #Conflicts: 535000 | #Constraints: 20716
889.41/892.08 c #Conflicts: 536000 | #Constraints: 21716
889.41/892.08 c #Conflicts: 537000 | #Constraints: 22716
889.41/892.08 c #Conflicts: 538000 | #Constraints: 23716
889.41/892.08 c #Conflicts: 539000 | #Constraints: 24716
889.41/892.08 c #Conflicts: 540000 | #Constraints: 25716
889.41/892.08 c #Conflicts: 541000 | #Constraints: 26716
889.41/892.08 c #Conflicts: 542000 | #Constraints: 27716
889.41/892.08 c #Conflicts: 543000 | #Constraints: 28716
889.41/892.08 c #Conflicts: 544000 | #Constraints: 29716
889.41/892.08 c #Conflicts: 545000 | #Constraints: 30716
889.41/892.08 c #Conflicts: 546000 | #Constraints: 31716
889.41/892.08 c INPROCESSING
889.41/892.08 c GARBAGE COLLECT
889.41/892.08 c #Conflicts: 547000 | #Constraints: 18109
889.41/892.08 c #Conflicts: 548000 | #Constraints: 19109
889.41/892.08 c #Conflicts: 549000 | #Constraints: 20109
889.41/892.08 c #Conflicts: 550000 | #Constraints: 21109
889.41/892.08 c #Conflicts: 551000 | #Constraints: 22109
889.41/892.08 c #Conflicts: 552000 | #Constraints: 23109
889.41/892.08 c #Conflicts: 553000 | #Constraints: 24109
889.41/892.08 c #Conflicts: 554000 | #Constraints: 25109
889.41/892.08 c #Conflicts: 555000 | #Constraints: 26109
889.41/892.08 c #Conflicts: 556000 | #Constraints: 27109
889.41/892.08 c #Conflicts: 557000 | #Constraints: 28109
889.41/892.08 c #Conflicts: 558000 | #Constraints: 29109
889.41/892.08 c #Conflicts: 559000 | #Constraints: 30109
889.41/892.08 c #Conflicts: 560000 | #Constraints: 31109
889.41/892.08 c #Conflicts: 561000 | #Constraints: 32109
889.41/892.08 c INPROCESSING
889.41/892.08 c GARBAGE COLLECT
889.41/892.08 c #Conflicts: 562000 | #Constraints: 18316
889.41/892.08 c #Conflicts: 563000 | #Constraints: 19316
889.41/892.08 c #Conflicts: 564000 | #Constraints: 20316
889.41/892.08 c #Conflicts: 565000 | #Constraints: 21316
889.41/892.08 c #Conflicts: 566000 | #Constraints: 22316
889.41/892.08 c #Conflicts: 567000 | #Constraints: 23316
889.41/892.08 c #Conflicts: 568000 | #Constraints: 24316
889.41/892.08 c #Conflicts: 569000 | #Constraints: 25316
889.41/892.08 c #Conflicts: 570000 | #Constraints: 26316
889.41/892.08 c #Conflicts: 571000 | #Constraints: 27316
889.41/892.08 c #Conflicts: 572000 | #Constraints: 28316
889.41/892.08 c #Conflicts: 573000 | #Constraints: 29316
889.41/892.08 c #Conflicts: 574000 | #Constraints: 30316
889.41/892.08 c #Conflicts: 575000 | #Constraints: 31316
889.41/892.08 c #Conflicts: 576000 | #Constraints: 32316
889.41/892.08 c INPROCESSING
889.41/892.08 c GARBAGE COLLECT
889.41/892.08 c #Conflicts: 577000 | #Constraints: 18314
889.41/892.08 c #Conflicts: 578000 | #Constraints: 19314
889.41/892.08 c #Conflicts: 579000 | #Constraints: 20314
889.41/892.08 c #Conflicts: 580000 | #Constraints: 21314
889.41/892.08 c #Conflicts: 581000 | #Constraints: 22314
889.41/892.08 c #Conflicts: 582000 | #Constraints: 23314
889.41/892.08 c #Conflicts: 583000 | #Constraints: 24314
889.41/892.08 c #Conflicts: 584000 | #Constraints: 25314
889.41/892.08 c #Conflicts: 585000 | #Constraints: 26314
889.41/892.08 c #Conflicts: 586000 | #Constraints: 27314
889.41/892.08 c #Conflicts: 587000 | #Constraints: 28314
889.41/892.08 c #Conflicts: 588000 | #Constraints: 29314
1014.58/1017.51 c #Conflicts: 589000 | #Constraints: 30314
1014.58/1017.51 c #Conflicts: 590000 | #Constraints: 31314
1014.58/1017.51 c #Conflicts: 591000 | #Constraints: 32314
1014.58/1017.51 c INPROCESSING
1014.58/1017.51 c GARBAGE COLLECT
1014.58/1017.51 c #Conflicts: 592000 | #Constraints: 18120
1014.58/1017.51 c #Conflicts: 593000 | #Constraints: 19120
1014.58/1017.51 c #Conflicts: 594000 | #Constraints: 20120
1014.58/1017.51 c #Conflicts: 595000 | #Constraints: 21120
1014.58/1017.51 c #Conflicts: 596000 | #Constraints: 22120
1014.58/1017.51 c #Conflicts: 597000 | #Constraints: 23120
1014.58/1017.51 c #Conflicts: 598000 | #Constraints: 24120
1014.58/1017.51 c #Conflicts: 599000 | #Constraints: 25120
1014.58/1017.51 c #Conflicts: 600000 | #Constraints: 26120
1014.58/1017.51 c #Conflicts: 601000 | #Constraints: 27120
1014.58/1017.51 c #Conflicts: 602000 | #Constraints: 28120
1014.58/1017.51 c #Conflicts: 603000 | #Constraints: 29120
1014.58/1017.51 c #Conflicts: 604000 | #Constraints: 30120
1014.58/1017.51 c #Conflicts: 605000 | #Constraints: 31120
1014.58/1017.51 c #Conflicts: 606000 | #Constraints: 32120
1014.58/1017.51 c #Conflicts: 607000 | #Constraints: 33120
1014.58/1017.51 c INPROCESSING
1014.58/1017.51 c GARBAGE COLLECT
1014.58/1017.51 c #Conflicts: 608000 | #Constraints: 18714
1014.58/1017.51 c #Conflicts: 609000 | #Constraints: 19714
1014.58/1017.51 c #Conflicts: 610000 | #Constraints: 20714
1014.58/1017.51 c #Conflicts: 611000 | #Constraints: 21714
1014.58/1017.51 c #Conflicts: 612000 | #Constraints: 22714
1014.58/1017.51 c #Conflicts: 613000 | #Constraints: 23714
1014.58/1017.51 c #Conflicts: 614000 | #Constraints: 24714
1014.58/1017.51 c #Conflicts: 615000 | #Constraints: 25714
1014.58/1017.51 c #Conflicts: 616000 | #Constraints: 26714
1014.58/1017.51 c #Conflicts: 617000 | #Constraints: 27714
1014.58/1017.51 c #Conflicts: 618000 | #Constraints: 28714
1014.58/1017.51 c #Conflicts: 619000 | #Constraints: 29714
1014.58/1017.51 c #Conflicts: 620000 | #Constraints: 30714
1014.58/1017.51 c #Conflicts: 621000 | #Constraints: 31714
1014.58/1017.51 c #Conflicts: 622000 | #Constraints: 32714
1014.58/1017.51 c #Conflicts: 623000 | #Constraints: 33714
1014.58/1017.51 c INPROCESSING
1014.58/1017.51 c GARBAGE COLLECT
1014.58/1017.51 c #Conflicts: 624000 | #Constraints: 19123
1014.58/1017.51 c #Conflicts: 625000 | #Constraints: 20123
1014.58/1017.51 c #Conflicts: 626000 | #Constraints: 21123
1014.58/1017.52 c #Conflicts: 627000 | #Constraints: 22123
1014.58/1017.52 c #Conflicts: 628000 | #Constraints: 23123
1014.58/1017.52 c #Conflicts: 629000 | #Constraints: 24123
1014.58/1017.52 c #Conflicts: 630000 | #Constraints: 25123
1014.58/1017.52 c #Conflicts: 631000 | #Constraints: 26123
1014.58/1017.52 c #Conflicts: 632000 | #Constraints: 27123
1014.58/1017.52 c #Conflicts: 633000 | #Constraints: 28123
1014.58/1017.52 c #Conflicts: 634000 | #Constraints: 29123
1014.58/1017.52 c #Conflicts: 635000 | #Constraints: 30123
1014.58/1017.52 c #Conflicts: 636000 | #Constraints: 31123
1014.58/1017.52 c #Conflicts: 637000 | #Constraints: 32123
1014.58/1017.52 c #Conflicts: 638000 | #Constraints: 33123
1014.58/1017.52 c #Conflicts: 639000 | #Constraints: 34123
1014.58/1017.52 c INPROCESSING
1014.58/1017.52 c GARBAGE COLLECT
1014.58/1017.52 c #Conflicts: 640000 | #Constraints: 19318
1014.58/1017.52 c #Conflicts: 641000 | #Constraints: 20318
1014.58/1017.52 c #Conflicts: 642000 | #Constraints: 21318
1014.58/1017.52 c #Conflicts: 643000 | #Constraints: 22318
1014.58/1017.52 c #Conflicts: 644000 | #Constraints: 23318
1014.58/1017.52 c #Conflicts: 645000 | #Constraints: 24318
1014.58/1017.52 c #Conflicts: 646000 | #Constraints: 25318
1014.58/1017.52 c #Conflicts: 647000 | #Constraints: 26318
1014.58/1017.52 c #Conflicts: 648000 | #Constraints: 27318
1014.58/1017.52 c #Conflicts: 649000 | #Constraints: 28318
1014.58/1017.52 c #Conflicts: 650000 | #Constraints: 29318
1014.58/1017.52 c #Conflicts: 651000 | #Constraints: 30318
1014.58/1017.52 c #Conflicts: 652000 | #Constraints: 31318
1014.58/1017.52 c #Conflicts: 653000 | #Constraints: 32318
1014.58/1017.52 c #Conflicts: 654000 | #Constraints: 33318
1014.58/1017.52 c #Conflicts: 655000 | #Constraints: 34318
1014.58/1017.52 c INPROCESSING
1014.58/1017.52 c GARBAGE COLLECT
1014.58/1017.52 c #Conflicts: 656000 | #Constraints: 19316
1014.58/1017.52 c #Conflicts: 657000 | #Constraints: 20316
1014.58/1017.52 c #Conflicts: 658000 | #Constraints: 21316
1014.58/1017.52 c #Conflicts: 659000 | #Constraints: 22316
1014.58/1017.52 c #Conflicts: 660000 | #Constraints: 23316
1014.58/1017.52 c #Conflicts: 661000 | #Constraints: 24316
1014.58/1017.52 c #Conflicts: 662000 | #Constraints: 25316
1014.58/1017.52 c #Conflicts: 663000 | #Constraints: 26316
1014.58/1017.52 c #Conflicts: 664000 | #Constraints: 27316
1149.76/1153.04 c #Conflicts: 665000 | #Constraints: 28316
1149.76/1153.04 c #Conflicts: 666000 | #Constraints: 29316
1149.76/1153.04 c #Conflicts: 667000 | #Constraints: 30316
1149.76/1153.04 c #Conflicts: 668000 | #Constraints: 31316
1149.76/1153.04 c #Conflicts: 669000 | #Constraints: 32316
1149.76/1153.04 c #Conflicts: 670000 | #Constraints: 33316
1149.76/1153.04 c #Conflicts: 671000 | #Constraints: 34316
1149.76/1153.04 c INPROCESSING
1149.76/1153.04 c GARBAGE COLLECT
1149.76/1153.04 c #Conflicts: 672000 | #Constraints: 19109
1149.76/1153.04 c #Conflicts: 673000 | #Constraints: 20109
1149.76/1153.04 c #Conflicts: 674000 | #Constraints: 21109
1149.76/1153.04 c #Conflicts: 675000 | #Constraints: 22109
1149.76/1153.04 c #Conflicts: 676000 | #Constraints: 23109
1149.76/1153.04 c #Conflicts: 677000 | #Constraints: 24109
1149.76/1153.04 c #Conflicts: 678000 | #Constraints: 25109
1149.76/1153.04 c #Conflicts: 679000 | #Constraints: 26109
1149.76/1153.04 c #Conflicts: 680000 | #Constraints: 27109
1149.76/1153.04 c #Conflicts: 681000 | #Constraints: 28109
1149.76/1153.04 c #Conflicts: 682000 | #Constraints: 29109
1149.76/1153.04 c #Conflicts: 683000 | #Constraints: 30109
1149.76/1153.04 c #Conflicts: 684000 | #Constraints: 31109
1149.76/1153.04 c #Conflicts: 685000 | #Constraints: 32109
1149.76/1153.04 c #Conflicts: 686000 | #Constraints: 33109
1149.76/1153.04 c #Conflicts: 687000 | #Constraints: 34109
1149.76/1153.04 c #Conflicts: 688000 | #Constraints: 35109
1149.76/1153.04 c INPROCESSING
1149.76/1153.04 c GARBAGE COLLECT
1149.76/1153.04 c #Conflicts: 689000 | #Constraints: 19715
1149.76/1153.04 c #Conflicts: 690000 | #Constraints: 20715
1149.76/1153.04 c #Conflicts: 691000 | #Constraints: 21715
1149.76/1153.04 c #Conflicts: 692000 | #Constraints: 22715
1149.76/1153.04 c #Conflicts: 693000 | #Constraints: 23715
1149.76/1153.04 c #Conflicts: 694000 | #Constraints: 24715
1149.76/1153.04 c #Conflicts: 695000 | #Constraints: 25715
1149.76/1153.04 c #Conflicts: 696000 | #Constraints: 26715
1149.76/1153.04 c #Conflicts: 697000 | #Constraints: 27715
1149.76/1153.04 c #Conflicts: 698000 | #Constraints: 28715
1149.76/1153.04 c #Conflicts: 699000 | #Constraints: 29715
1149.76/1153.04 c #Conflicts: 700000 | #Constraints: 30715
1149.76/1153.04 c #Conflicts: 701000 | #Constraints: 31715
1149.76/1153.04 c #Conflicts: 702000 | #Constraints: 32715
1149.76/1153.04 c #Conflicts: 703000 | #Constraints: 33715
1149.76/1153.04 c #Conflicts: 704000 | #Constraints: 34715
1149.76/1153.04 c #Conflicts: 705000 | #Constraints: 35715
1149.76/1153.04 c INPROCESSING
1149.76/1153.04 c GARBAGE COLLECT
1149.76/1153.04 c #Conflicts: 706000 | #Constraints: 20110
1149.76/1153.04 c #Conflicts: 707000 | #Constraints: 21110
1149.76/1153.04 c #Conflicts: 708000 | #Constraints: 22110
1149.76/1153.04 c #Conflicts: 709000 | #Constraints: 23110
1149.76/1153.04 c #Conflicts: 710000 | #Constraints: 24110
1149.76/1153.04 c #Conflicts: 711000 | #Constraints: 25110
1149.76/1153.04 c #Conflicts: 712000 | #Constraints: 26110
1149.76/1153.04 c #Conflicts: 713000 | #Constraints: 27110
1149.76/1153.04 c #Conflicts: 714000 | #Constraints: 28110
1149.76/1153.04 c #Conflicts: 715000 | #Constraints: 29110
1149.76/1153.04 c #Conflicts: 716000 | #Constraints: 30110
1149.76/1153.04 c #Conflicts: 717000 | #Constraints: 31110
1149.76/1153.04 c #Conflicts: 718000 | #Constraints: 32110
1149.76/1153.04 c #Conflicts: 719000 | #Constraints: 33110
1149.76/1153.04 c #Conflicts: 720000 | #Constraints: 34110
1149.76/1153.04 c #Conflicts: 721000 | #Constraints: 35110
1149.76/1153.04 c #Conflicts: 722000 | #Constraints: 36110
1149.76/1153.04 c INPROCESSING
1149.76/1153.04 c GARBAGE COLLECT
1149.76/1153.04 c #Conflicts: 723000 | #Constraints: 20304
1149.76/1153.04 c #Conflicts: 724000 | #Constraints: 21304
1149.76/1153.04 c #Conflicts: 725000 | #Constraints: 22304
1149.76/1153.04 c #Conflicts: 726000 | #Constraints: 23304
1149.76/1153.04 c #Conflicts: 727000 | #Constraints: 24304
1149.76/1153.04 c #Conflicts: 728000 | #Constraints: 25304
1149.76/1153.04 c #Conflicts: 729000 | #Constraints: 26304
1149.76/1153.04 c #Conflicts: 730000 | #Constraints: 27304
1149.76/1153.04 c #Conflicts: 731000 | #Constraints: 28304
1149.76/1153.04 c #Conflicts: 732000 | #Constraints: 29304
1149.76/1153.04 c #Conflicts: 733000 | #Constraints: 30304
1149.76/1153.04 c #Conflicts: 734000 | #Constraints: 31304
1149.76/1153.04 c #Conflicts: 735000 | #Constraints: 32304
1149.76/1153.04 c #Conflicts: 736000 | #Constraints: 33304
1149.76/1153.04 c #Conflicts: 737000 | #Constraints: 34304
1149.76/1153.04 c #Conflicts: 738000 | #Constraints: 35304
1149.76/1153.04 c #Conflicts: 739000 | #Constraints: 36304
1149.76/1153.04 c INPROCESSING
1149.76/1153.04 c GARBAGE COLLECT
1292.08/1295.75 c #Conflicts: 740000 | #Constraints: 20310
1292.08/1295.75 c #Conflicts: 741000 | #Constraints: 21310
1292.08/1295.75 c #Conflicts: 742000 | #Constraints: 22310
1292.08/1295.75 c #Conflicts: 743000 | #Constraints: 23310
1292.08/1295.75 c #Conflicts: 744000 | #Constraints: 24310
1292.08/1295.75 c #Conflicts: 745000 | #Constraints: 25310
1292.08/1295.75 c #Conflicts: 746000 | #Constraints: 26310
1292.08/1295.75 c #Conflicts: 747000 | #Constraints: 27310
1292.08/1295.75 c #Conflicts: 748000 | #Constraints: 28310
1292.08/1295.75 c #Conflicts: 749000 | #Constraints: 29310
1292.08/1295.75 c #Conflicts: 750000 | #Constraints: 30310
1292.08/1295.75 c #Conflicts: 751000 | #Constraints: 31310
1292.08/1295.75 c #Conflicts: 752000 | #Constraints: 32310
1292.08/1295.75 c #Conflicts: 753000 | #Constraints: 33310
1292.08/1295.75 c #Conflicts: 754000 | #Constraints: 34310
1292.08/1295.75 c #Conflicts: 755000 | #Constraints: 35310
1292.08/1295.75 c #Conflicts: 756000 | #Constraints: 36310
1292.08/1295.75 c INPROCESSING
1292.08/1295.75 c GARBAGE COLLECT
1292.08/1295.75 c #Conflicts: 757000 | #Constraints: 20116
1292.08/1295.75 c #Conflicts: 758000 | #Constraints: 21116
1292.08/1295.75 c #Conflicts: 759000 | #Constraints: 22116
1292.08/1295.75 c #Conflicts: 760000 | #Constraints: 23116
1292.08/1295.75 c #Conflicts: 761000 | #Constraints: 24116
1292.08/1295.75 c #Conflicts: 762000 | #Constraints: 25116
1292.08/1295.75 c #Conflicts: 763000 | #Constraints: 26116
1292.08/1295.75 c #Conflicts: 764000 | #Constraints: 27116
1292.08/1295.75 c #Conflicts: 765000 | #Constraints: 28116
1292.08/1295.75 c #Conflicts: 766000 | #Constraints: 29116
1292.08/1295.75 c #Conflicts: 767000 | #Constraints: 30116
1292.08/1295.75 c #Conflicts: 768000 | #Constraints: 31116
1292.08/1295.75 c #Conflicts: 769000 | #Constraints: 32116
1292.08/1295.75 c #Conflicts: 770000 | #Constraints: 33116
1292.08/1295.75 c #Conflicts: 771000 | #Constraints: 34116
1292.08/1295.75 c #Conflicts: 772000 | #Constraints: 35116
1292.08/1295.75 c #Conflicts: 773000 | #Constraints: 36116
1292.08/1295.75 c #Conflicts: 774000 | #Constraints: 37116
1292.08/1295.75 c INPROCESSING
1292.08/1295.75 c GARBAGE COLLECT
1292.08/1295.75 c #Conflicts: 775000 | #Constraints: 20716
1292.08/1295.75 c #Conflicts: 776000 | #Constraints: 21716
1292.08/1295.75 c #Conflicts: 777000 | #Constraints: 22716
1292.08/1295.75 c #Conflicts: 778000 | #Constraints: 23716
1292.08/1295.75 c #Conflicts: 779000 | #Constraints: 24716
1292.08/1295.75 c #Conflicts: 780000 | #Constraints: 25716
1292.08/1295.75 c #Conflicts: 781000 | #Constraints: 26716
1292.08/1295.75 c #Conflicts: 782000 | #Constraints: 27716
1292.08/1295.75 c #Conflicts: 783000 | #Constraints: 28716
1292.08/1295.75 c #Conflicts: 784000 | #Constraints: 29716
1292.08/1295.75 c #Conflicts: 785000 | #Constraints: 30716
1292.08/1295.75 c #Conflicts: 786000 | #Constraints: 31716
1292.08/1295.75 c #Conflicts: 787000 | #Constraints: 32716
1292.08/1295.75 c #Conflicts: 788000 | #Constraints: 33716
1292.08/1295.75 c #Conflicts: 789000 | #Constraints: 34716
1292.08/1295.75 c #Conflicts: 790000 | #Constraints: 35716
1292.08/1295.75 c #Conflicts: 791000 | #Constraints: 36716
1292.08/1295.75 c #Conflicts: 792000 | #Constraints: 37716
1292.08/1295.75 c INPROCESSING
1292.08/1295.75 c GARBAGE COLLECT
1292.08/1295.75 c #Conflicts: 793000 | #Constraints: 21115
1292.08/1295.75 c #Conflicts: 794000 | #Constraints: 22115
1292.08/1295.75 c #Conflicts: 795000 | #Constraints: 23115
1292.08/1295.75 c #Conflicts: 796000 | #Constraints: 24115
1292.08/1295.75 c #Conflicts: 797000 | #Constraints: 25115
1292.08/1295.75 c #Conflicts: 798000 | #Constraints: 26115
1292.08/1295.75 c #Conflicts: 799000 | #Constraints: 27115
1292.08/1295.75 c #Conflicts: 800000 | #Constraints: 28115
1292.08/1295.75 c #Conflicts: 801000 | #Constraints: 29115
1292.08/1295.75 c #Conflicts: 802000 | #Constraints: 30115
1292.08/1295.75 c #Conflicts: 803000 | #Constraints: 31115
1292.08/1295.75 c #Conflicts: 804000 | #Constraints: 32115
1292.08/1295.75 c #Conflicts: 805000 | #Constraints: 33115
1292.08/1295.75 c #Conflicts: 806000 | #Constraints: 34115
1292.08/1295.75 c #Conflicts: 807000 | #Constraints: 35115
1292.08/1295.75 c #Conflicts: 808000 | #Constraints: 36115
1292.08/1295.75 c #Conflicts: 809000 | #Constraints: 37115
1292.08/1295.75 c #Conflicts: 810000 | #Constraints: 38115
1292.08/1295.75 c INPROCESSING
1292.08/1295.75 c GARBAGE COLLECT
1292.08/1295.75 c #Conflicts: 811000 | #Constraints: 21317
1292.08/1295.75 c #Conflicts: 812000 | #Constraints: 22317
1292.08/1295.75 c #Conflicts: 813000 | #Constraints: 23317
1292.08/1295.75 c #Conflicts: 814000 | #Constraints: 24317
1292.08/1295.75 c #Conflicts: 815000 | #Constraints: 25317
1292.08/1295.75 c #Conflicts: 816000 | #Constraints: 26317
1445.00/1449.05 c #Conflicts: 817000 | #Constraints: 27317
1445.00/1449.05 c #Conflicts: 818000 | #Constraints: 28317
1445.00/1449.05 c #Conflicts: 819000 | #Constraints: 29317
1445.00/1449.05 c #Conflicts: 820000 | #Constraints: 30317
1445.00/1449.05 c #Conflicts: 821000 | #Constraints: 31317
1445.00/1449.05 c #Conflicts: 822000 | #Constraints: 32317
1445.00/1449.05 c #Conflicts: 823000 | #Constraints: 33317
1445.00/1449.05 c #Conflicts: 824000 | #Constraints: 34317
1445.00/1449.05 c #Conflicts: 825000 | #Constraints: 35317
1445.00/1449.05 c #Conflicts: 826000 | #Constraints: 36317
1445.00/1449.05 c #Conflicts: 827000 | #Constraints: 37317
1445.00/1449.05 c #Conflicts: 828000 | #Constraints: 38317
1445.00/1449.05 c INPROCESSING
1445.00/1449.05 c GARBAGE COLLECT
1445.00/1449.05 c #Conflicts: 829000 | #Constraints: 21312
1445.00/1449.05 c #Conflicts: 830000 | #Constraints: 22312
1445.00/1449.05 c #Conflicts: 831000 | #Constraints: 23312
1445.00/1449.05 c #Conflicts: 832000 | #Constraints: 24312
1445.00/1449.05 c #Conflicts: 833000 | #Constraints: 25312
1445.00/1449.05 c #Conflicts: 834000 | #Constraints: 26312
1445.00/1449.05 c #Conflicts: 835000 | #Constraints: 27312
1445.00/1449.05 c #Conflicts: 836000 | #Constraints: 28312
1445.00/1449.05 c #Conflicts: 837000 | #Constraints: 29312
1445.00/1449.05 c #Conflicts: 838000 | #Constraints: 30312
1445.00/1449.05 c #Conflicts: 839000 | #Constraints: 31312
1445.00/1449.05 c #Conflicts: 840000 | #Constraints: 32312
1445.00/1449.05 c #Conflicts: 841000 | #Constraints: 33312
1445.00/1449.05 c #Conflicts: 842000 | #Constraints: 34312
1445.00/1449.05 c #Conflicts: 843000 | #Constraints: 35312
1445.00/1449.05 c #Conflicts: 844000 | #Constraints: 36312
1445.00/1449.05 c #Conflicts: 845000 | #Constraints: 37312
1445.00/1449.05 c #Conflicts: 846000 | #Constraints: 38312
1445.00/1449.05 c INPROCESSING
1445.00/1449.05 c GARBAGE COLLECT
1445.00/1449.05 c #Conflicts: 847000 | #Constraints: 21119
1445.00/1449.05 c #Conflicts: 848000 | #Constraints: 22119
1445.00/1449.05 c #Conflicts: 849000 | #Constraints: 23119
1445.00/1449.05 c #Conflicts: 850000 | #Constraints: 24119
1445.00/1449.05 c #Conflicts: 851000 | #Constraints: 25119
1445.00/1449.05 c #Conflicts: 852000 | #Constraints: 26119
1445.00/1449.05 c #Conflicts: 853000 | #Constraints: 27119
1445.00/1449.05 c #Conflicts: 854000 | #Constraints: 28119
1445.00/1449.05 c #Conflicts: 855000 | #Constraints: 29119
1445.00/1449.05 c #Conflicts: 856000 | #Constraints: 30119
1445.00/1449.05 c #Conflicts: 857000 | #Constraints: 31119
1445.00/1449.05 c #Conflicts: 858000 | #Constraints: 32119
1445.00/1449.05 c #Conflicts: 859000 | #Constraints: 33119
1445.00/1449.05 c #Conflicts: 860000 | #Constraints: 34119
1445.00/1449.05 c #Conflicts: 861000 | #Constraints: 35119
1445.00/1449.05 c #Conflicts: 862000 | #Constraints: 36119
1445.00/1449.05 c #Conflicts: 863000 | #Constraints: 37119
1445.00/1449.05 c #Conflicts: 864000 | #Constraints: 38119
1445.00/1449.05 c #Conflicts: 865000 | #Constraints: 39119
1445.00/1449.05 c INPROCESSING
1445.00/1449.05 c GARBAGE COLLECT
1445.00/1449.05 c #Conflicts: 866000 | #Constraints: 21722
1445.00/1449.05 c #Conflicts: 867000 | #Constraints: 22722
1445.00/1449.05 c #Conflicts: 868000 | #Constraints: 23722
1445.00/1449.05 c #Conflicts: 869000 | #Constraints: 24722
1445.00/1449.05 c #Conflicts: 870000 | #Constraints: 25722
1445.00/1449.05 c #Conflicts: 871000 | #Constraints: 26722
1445.00/1449.05 c #Conflicts: 872000 | #Constraints: 27722
1445.00/1449.05 c #Conflicts: 873000 | #Constraints: 28722
1445.00/1449.05 c #Conflicts: 874000 | #Constraints: 29722
1445.00/1449.05 c #Conflicts: 875000 | #Constraints: 30722
1445.00/1449.05 c #Conflicts: 876000 | #Constraints: 31722
1445.00/1449.05 c #Conflicts: 877000 | #Constraints: 32722
1445.00/1449.05 c #Conflicts: 878000 | #Constraints: 33722
1445.00/1449.05 c #Conflicts: 879000 | #Constraints: 34722
1445.00/1449.05 c #Conflicts: 880000 | #Constraints: 35722
1445.00/1449.05 c #Conflicts: 881000 | #Constraints: 36722
1445.00/1449.05 c #Conflicts: 882000 | #Constraints: 37722
1445.00/1449.05 c #Conflicts: 883000 | #Constraints: 38722
1445.00/1449.05 c #Conflicts: 884000 | #Constraints: 39722
1445.00/1449.05 c INPROCESSING
1445.00/1449.05 c GARBAGE COLLECT
1445.00/1449.05 c #Conflicts: 885000 | #Constraints: 22125
1445.00/1449.05 c #Conflicts: 886000 | #Constraints: 23125
1445.00/1449.05 c #Conflicts: 887000 | #Constraints: 24125
1445.00/1449.05 c #Conflicts: 888000 | #Constraints: 25125
1445.00/1449.05 c #Conflicts: 889000 | #Constraints: 26125
1445.00/1449.05 c #Conflicts: 890000 | #Constraints: 27125
1445.00/1449.05 c #Conflicts: 891000 | #Constraints: 28125
1445.00/1449.05 c #Conflicts: 892000 | #Constraints: 29125
1612.47/1616.91 c #Conflicts: 893000 | #Constraints: 30125
1612.47/1616.91 c #Conflicts: 894000 | #Constraints: 31125
1612.47/1616.91 c #Conflicts: 895000 | #Constraints: 32125
1612.47/1616.91 c #Conflicts: 896000 | #Constraints: 33125
1612.47/1616.91 c #Conflicts: 897000 | #Constraints: 34125
1612.47/1616.91 c #Conflicts: 898000 | #Constraints: 35125
1612.47/1616.91 c #Conflicts: 899000 | #Constraints: 36125
1612.47/1616.91 c #Conflicts: 900000 | #Constraints: 37125
1612.47/1616.91 c #Conflicts: 901000 | #Constraints: 38125
1612.47/1616.91 c #Conflicts: 902000 | #Constraints: 39125
1612.47/1616.91 c #Conflicts: 903000 | #Constraints: 40125
1612.47/1616.91 c INPROCESSING
1612.47/1616.91 c GARBAGE COLLECT
1612.47/1616.91 c #Conflicts: 904000 | #Constraints: 22322
1612.47/1616.91 c #Conflicts: 905000 | #Constraints: 23322
1612.47/1616.91 c #Conflicts: 906000 | #Constraints: 24322
1612.47/1616.91 c #Conflicts: 907000 | #Constraints: 25322
1612.47/1616.91 c #Conflicts: 908000 | #Constraints: 26322
1612.47/1616.91 c #Conflicts: 909000 | #Constraints: 27322
1612.47/1616.91 c #Conflicts: 910000 | #Constraints: 28322
1612.47/1616.91 c #Conflicts: 911000 | #Constraints: 29322
1612.47/1616.91 c #Conflicts: 912000 | #Constraints: 30322
1612.47/1616.91 c #Conflicts: 913000 | #Constraints: 31322
1612.47/1616.91 c #Conflicts: 914000 | #Constraints: 32322
1612.47/1616.91 c #Conflicts: 915000 | #Constraints: 33322
1612.47/1616.91 c #Conflicts: 916000 | #Constraints: 34322
1612.47/1616.91 c #Conflicts: 917000 | #Constraints: 35322
1612.47/1616.91 c #Conflicts: 918000 | #Constraints: 36322
1612.47/1616.91 c #Conflicts: 919000 | #Constraints: 37322
1612.47/1616.91 c #Conflicts: 920000 | #Constraints: 38322
1612.47/1616.91 c #Conflicts: 921000 | #Constraints: 39322
1612.47/1616.91 c #Conflicts: 922000 | #Constraints: 40322
1612.47/1616.91 c INPROCESSING
1612.47/1616.91 c GARBAGE COLLECT
1612.47/1616.91 c #Conflicts: 923000 | #Constraints: 22322
1612.47/1616.91 c #Conflicts: 924000 | #Constraints: 23322
1612.47/1616.91 c #Conflicts: 925000 | #Constraints: 24322
1612.47/1616.91 c #Conflicts: 926000 | #Constraints: 25322
1612.47/1616.91 c #Conflicts: 927000 | #Constraints: 26322
1612.47/1616.91 c #Conflicts: 928000 | #Constraints: 27322
1612.47/1616.91 c #Conflicts: 929000 | #Constraints: 28322
1612.47/1616.91 c #Conflicts: 930000 | #Constraints: 29322
1612.47/1616.91 c #Conflicts: 931000 | #Constraints: 30322
1612.47/1616.91 c #Conflicts: 932000 | #Constraints: 31322
1612.47/1616.91 c #Conflicts: 933000 | #Constraints: 32322
1612.47/1616.91 c #Conflicts: 934000 | #Constraints: 33322
1612.47/1616.91 c #Conflicts: 935000 | #Constraints: 34322
1612.47/1616.91 c #Conflicts: 936000 | #Constraints: 35322
1612.47/1616.91 c #Conflicts: 937000 | #Constraints: 36322
1612.47/1616.91 c #Conflicts: 938000 | #Constraints: 37322
1612.47/1616.91 c #Conflicts: 939000 | #Constraints: 38322
1612.47/1616.91 c #Conflicts: 940000 | #Constraints: 39322
1612.47/1616.91 c #Conflicts: 941000 | #Constraints: 40322
1612.47/1616.91 c INPROCESSING
1612.47/1616.91 c GARBAGE COLLECT
1612.47/1616.91 c #Conflicts: 942000 | #Constraints: 22113
1612.47/1616.91 c #Conflicts: 943000 | #Constraints: 23113
1612.47/1616.91 c #Conflicts: 944000 | #Constraints: 24113
1612.47/1616.91 c #Conflicts: 945000 | #Constraints: 25113
1612.47/1616.91 c #Conflicts: 946000 | #Constraints: 26113
1612.47/1616.91 c #Conflicts: 947000 | #Constraints: 27113
1612.47/1616.91 c #Conflicts: 948000 | #Constraints: 28113
1612.47/1616.91 c #Conflicts: 949000 | #Constraints: 29113
1612.47/1616.91 c #Conflicts: 950000 | #Constraints: 30113
1612.47/1616.91 c #Conflicts: 951000 | #Constraints: 31113
1612.47/1616.91 c #Conflicts: 952000 | #Constraints: 32113
1612.47/1616.91 c #Conflicts: 953000 | #Constraints: 33113
1612.47/1616.91 c #Conflicts: 954000 | #Constraints: 34113
1612.47/1616.91 c #Conflicts: 955000 | #Constraints: 35113
1612.47/1616.91 c #Conflicts: 956000 | #Constraints: 36113
1612.47/1616.91 c #Conflicts: 957000 | #Constraints: 37113
1612.47/1616.91 c #Conflicts: 958000 | #Constraints: 38113
1612.47/1616.91 c #Conflicts: 959000 | #Constraints: 39113
1612.47/1616.91 c #Conflicts: 960000 | #Constraints: 40113
1612.47/1616.91 c #Conflicts: 961000 | #Constraints: 41113
1612.47/1616.91 c INPROCESSING
1612.47/1616.91 c GARBAGE COLLECT
1612.47/1616.91 c #Conflicts: 962000 | #Constraints: 22713
1612.47/1616.91 c #Conflicts: 963000 | #Constraints: 23713
1612.47/1616.91 c #Conflicts: 964000 | #Constraints: 24713
1612.47/1616.91 c #Conflicts: 965000 | #Constraints: 25713
1612.47/1616.91 c #Conflicts: 966000 | #Constraints: 26713
1612.47/1616.91 c #Conflicts: 967000 | #Constraints: 27713
1612.47/1616.91 c #Conflicts: 968000 | #Constraints: 28713
1785.83/1790.76 c #Conflicts: 969000 | #Constraints: 29713
1785.83/1790.76 c #Conflicts: 970000 | #Constraints: 30713
1785.83/1790.76 c #Conflicts: 971000 | #Constraints: 31713
1785.83/1790.76 c #Conflicts: 972000 | #Constraints: 32713
1785.83/1790.76 c #Conflicts: 973000 | #Constraints: 33713
1785.83/1790.76 c #Conflicts: 974000 | #Constraints: 34713
1785.83/1790.76 c #Conflicts: 975000 | #Constraints: 35713
1785.83/1790.76 c #Conflicts: 976000 | #Constraints: 36713
1785.83/1790.76 c #Conflicts: 977000 | #Constraints: 37713
1785.83/1790.76 c #Conflicts: 978000 | #Constraints: 38713
1785.83/1790.76 c #Conflicts: 979000 | #Constraints: 39713
1785.83/1790.76 c #Conflicts: 980000 | #Constraints: 40713
1785.83/1790.76 c #Conflicts: 981000 | #Constraints: 41713
1785.83/1790.76 c INPROCESSING
1785.83/1790.76 c GARBAGE COLLECT
1785.83/1790.76 c #Conflicts: 982000 | #Constraints: 23114
1785.83/1790.76 c #Conflicts: 983000 | #Constraints: 24114
1785.83/1790.76 c #Conflicts: 984000 | #Constraints: 25114
1785.83/1790.76 c #Conflicts: 985000 | #Constraints: 26114
1785.83/1790.76 c #Conflicts: 986000 | #Constraints: 27114
1785.83/1790.76 c #Conflicts: 987000 | #Constraints: 28114
1785.83/1790.76 c #Conflicts: 988000 | #Constraints: 29114
1785.83/1790.76 c #Conflicts: 989000 | #Constraints: 30114
1785.83/1790.76 c #Conflicts: 990000 | #Constraints: 31114
1785.83/1790.76 c #Conflicts: 991000 | #Constraints: 32114
1785.83/1790.76 c #Conflicts: 992000 | #Constraints: 33114
1785.83/1790.76 c #Conflicts: 993000 | #Constraints: 34114
1785.83/1790.76 c #Conflicts: 994000 | #Constraints: 35114
1785.83/1790.76 c #Conflicts: 995000 | #Constraints: 36114
1785.83/1790.76 c #Conflicts: 996000 | #Constraints: 37114
1785.83/1790.76 c #Conflicts: 997000 | #Constraints: 38114
1785.83/1790.76 c #Conflicts: 998000 | #Constraints: 39114
1785.83/1790.76 c #Conflicts: 999000 | #Constraints: 40114
1785.83/1790.76 c #Conflicts: 1000000 | #Constraints: 41114
1785.83/1790.76 c #Conflicts: 1001000 | #Constraints: 42114
1785.83/1790.76 c INPROCESSING
1785.83/1790.76 c GARBAGE COLLECT
1785.83/1790.76 c #Conflicts: 1002000 | #Constraints: 23318
1785.83/1790.76 c #Conflicts: 1003000 | #Constraints: 24318
1785.83/1790.76 c #Conflicts: 1004000 | #Constraints: 25318
1785.83/1790.76 c #Conflicts: 1005000 | #Constraints: 26318
1785.83/1790.76 c #Conflicts: 1006000 | #Constraints: 27318
1785.83/1790.76 c #Conflicts: 1007000 | #Constraints: 28318
1785.83/1790.76 c #Conflicts: 1008000 | #Constraints: 29318
1785.83/1790.76 c #Conflicts: 1009000 | #Constraints: 30318
1785.83/1790.76 c #Conflicts: 1010000 | #Constraints: 31318
1785.83/1790.76 c #Conflicts: 1011000 | #Constraints: 32318
1785.83/1790.76 c #Conflicts: 1012000 | #Constraints: 33318
1785.83/1790.76 c #Conflicts: 1013000 | #Constraints: 34318
1785.83/1790.76 c #Conflicts: 1014000 | #Constraints: 35318
1785.83/1790.76 c #Conflicts: 1015000 | #Constraints: 36318
1785.83/1790.76 c #Conflicts: 1016000 | #Constraints: 37318
1785.83/1790.76 c #Conflicts: 1017000 | #Constraints: 38318
1785.83/1790.76 c #Conflicts: 1018000 | #Constraints: 39318
1785.83/1790.76 c #Conflicts: 1019000 | #Constraints: 40318
1785.83/1790.76 c #Conflicts: 1020000 | #Constraints: 41318
1785.83/1790.76 c #Conflicts: 1021000 | #Constraints: 42318
1785.83/1790.76 c INPROCESSING
1785.83/1790.76 c GARBAGE COLLECT
1785.83/1790.76 c #Conflicts: 1022000 | #Constraints: 23320
1785.83/1790.76 c #Conflicts: 1023000 | #Constraints: 24320
1785.83/1790.76 c #Conflicts: 1024000 | #Constraints: 25320
1785.83/1790.76 c #Conflicts: 1025000 | #Constraints: 26320
1785.83/1790.76 c #Conflicts: 1026000 | #Constraints: 27320
1785.83/1790.76 c #Conflicts: 1027000 | #Constraints: 28320
1785.83/1790.76 c #Conflicts: 1028000 | #Constraints: 29320
1785.83/1790.76 c #Conflicts: 1029000 | #Constraints: 30320
1785.83/1790.76 c #Conflicts: 1030000 | #Constraints: 31320
1785.83/1790.76 c #Conflicts: 1031000 | #Constraints: 32320
1785.83/1790.76 c #Conflicts: 1032000 | #Constraints: 33320
1785.83/1790.76 c #Conflicts: 1033000 | #Constraints: 34320
1785.83/1790.76 c #Conflicts: 1034000 | #Constraints: 35320
1785.83/1790.76 c #Conflicts: 1035000 | #Constraints: 36320
1785.83/1790.76 c #Conflicts: 1036000 | #Constraints: 37320
1785.83/1790.76 c #Conflicts: 1037000 | #Constraints: 38320
1785.83/1790.76 c #Conflicts: 1038000 | #Constraints: 39320
1785.83/1790.76 c #Conflicts: 1039000 | #Constraints: 40320
1785.83/1790.76 c #Conflicts: 1040000 | #Constraints: 41320
1785.83/1790.76 c #Conflicts: 1041000 | #Constraints: 42320
1785.83/1790.76 c INPROCESSING
1785.83/1790.76 c GARBAGE COLLECT
1785.83/1790.76 c #Conflicts: 1042000 | #Constraints: 23119
1785.83/1790.76 c #Conflicts: 1043000 | #Constraints: 24119
1785.83/1790.76 c #Conflicts: 1044000 | #Constraints: 25119
1975.14/1980.56 c #Conflicts: 1045000 | #Constraints: 26119
1975.14/1980.56 c #Conflicts: 1046000 | #Constraints: 27119
1975.14/1980.56 c #Conflicts: 1047000 | #Constraints: 28119
1975.14/1980.56 c #Conflicts: 1048000 | #Constraints: 29119
1975.14/1980.56 c #Conflicts: 1049000 | #Constraints: 30119
1975.14/1980.56 c #Conflicts: 1050000 | #Constraints: 31119
1975.14/1980.56 c #Conflicts: 1051000 | #Constraints: 32119
1975.14/1980.56 c #Conflicts: 1052000 | #Constraints: 33119
1975.14/1980.56 c #Conflicts: 1053000 | #Constraints: 34119
1975.14/1980.56 c #Conflicts: 1054000 | #Constraints: 35119
1975.14/1980.56 c #Conflicts: 1055000 | #Constraints: 36119
1975.14/1980.56 c #Conflicts: 1056000 | #Constraints: 37119
1975.14/1980.56 c #Conflicts: 1057000 | #Constraints: 38119
1975.14/1980.56 c #Conflicts: 1058000 | #Constraints: 39119
1975.14/1980.56 c #Conflicts: 1059000 | #Constraints: 40119
1975.14/1980.56 c #Conflicts: 1060000 | #Constraints: 41119
1975.14/1980.56 c #Conflicts: 1061000 | #Constraints: 42119
1975.14/1980.56 c #Conflicts: 1062000 | #Constraints: 43119
1975.14/1980.56 c INPROCESSING
1975.14/1980.56 c GARBAGE COLLECT
1975.14/1980.56 c #Conflicts: 1063000 | #Constraints: 23735
1975.14/1980.56 c #Conflicts: 1064000 | #Constraints: 24735
1975.14/1980.56 c #Conflicts: 1065000 | #Constraints: 25735
1975.14/1980.56 c #Conflicts: 1066000 | #Constraints: 26735
1975.14/1980.56 c #Conflicts: 1067000 | #Constraints: 27735
1975.14/1980.56 c #Conflicts: 1068000 | #Constraints: 28735
1975.14/1980.56 c #Conflicts: 1069000 | #Constraints: 29735
1975.14/1980.56 c #Conflicts: 1070000 | #Constraints: 30735
1975.14/1980.56 c #Conflicts: 1071000 | #Constraints: 31735
1975.14/1980.56 c #Conflicts: 1072000 | #Constraints: 32735
1975.14/1980.56 c #Conflicts: 1073000 | #Constraints: 33735
1975.14/1980.56 c #Conflicts: 1074000 | #Constraints: 34735
1975.14/1980.56 c #Conflicts: 1075000 | #Constraints: 35735
1975.14/1980.56 c #Conflicts: 1076000 | #Constraints: 36735
1975.14/1980.56 c #Conflicts: 1077000 | #Constraints: 37735
1975.14/1980.56 c #Conflicts: 1078000 | #Constraints: 38735
1975.14/1980.56 c #Conflicts: 1079000 | #Constraints: 39735
1975.14/1980.56 c #Conflicts: 1080000 | #Constraints: 40735
1975.14/1980.56 c #Conflicts: 1081000 | #Constraints: 41735
1975.14/1980.56 c #Conflicts: 1082000 | #Constraints: 42735
1975.14/1980.56 c #Conflicts: 1083000 | #Constraints: 43735
1975.14/1980.56 c INPROCESSING
1975.14/1980.56 c GARBAGE COLLECT
1975.14/1980.56 c #Conflicts: 1084000 | #Constraints: 24130
1975.14/1980.56 c #Conflicts: 1085000 | #Constraints: 25130
1975.14/1980.56 c #Conflicts: 1086000 | #Constraints: 26130
1975.14/1980.56 c #Conflicts: 1087000 | #Constraints: 27130
1975.14/1980.56 c #Conflicts: 1088000 | #Constraints: 28130
1975.14/1980.56 c #Conflicts: 1089000 | #Constraints: 29130
1975.14/1980.56 c #Conflicts: 1090000 | #Constraints: 30130
1975.14/1980.56 c #Conflicts: 1091000 | #Constraints: 31130
1975.14/1980.56 c #Conflicts: 1092000 | #Constraints: 32130
1975.14/1980.56 c #Conflicts: 1093000 | #Constraints: 33130
1975.14/1980.56 c #Conflicts: 1094000 | #Constraints: 34130
1975.14/1980.56 c #Conflicts: 1095000 | #Constraints: 35130
1975.14/1980.56 c #Conflicts: 1096000 | #Constraints: 36130
1975.14/1980.56 c #Conflicts: 1097000 | #Constraints: 37130
1975.14/1980.56 c #Conflicts: 1098000 | #Constraints: 38130
1975.14/1980.56 c #Conflicts: 1099000 | #Constraints: 39130
1975.14/1980.56 c #Conflicts: 1100000 | #Constraints: 40130
1975.14/1980.56 c #Conflicts: 1101000 | #Constraints: 41130
1975.14/1980.56 c #Conflicts: 1102000 | #Constraints: 42130
1975.14/1980.56 c #Conflicts: 1103000 | #Constraints: 43130
1975.14/1980.56 c #Conflicts: 1104000 | #Constraints: 44130
1975.14/1980.56 c INPROCESSING
1975.14/1980.56 c GARBAGE COLLECT
1975.14/1980.56 c #Conflicts: 1105000 | #Constraints: 24329
1975.14/1980.56 c #Conflicts: 1106000 | #Constraints: 25329
1975.14/1980.56 c #Conflicts: 1107000 | #Constraints: 26329
1975.14/1980.56 c #Conflicts: 1108000 | #Constraints: 27329
1975.14/1980.56 c #Conflicts: 1109000 | #Constraints: 28329
1975.14/1980.56 c #Conflicts: 1110000 | #Constraints: 29329
1975.14/1980.56 c #Conflicts: 1111000 | #Constraints: 30329
1975.14/1980.56 c #Conflicts: 1112000 | #Constraints: 31329
1975.14/1980.56 c #Conflicts: 1113000 | #Constraints: 32329
1975.14/1980.56 c #Conflicts: 1114000 | #Constraints: 33329
1975.14/1980.56 c #Conflicts: 1115000 | #Constraints: 34329
1975.14/1980.56 c #Conflicts: 1116000 | #Constraints: 35329
1975.14/1980.56 c #Conflicts: 1117000 | #Constraints: 36329
1975.14/1980.56 c #Conflicts: 1118000 | #Constraints: 37329
1975.14/1980.56 c #Conflicts: 1119000 | #Constraints: 38329
1975.14/1980.56 c #Conflicts: 1120000 | #Constraints: 39329
1975.14/1980.56 c #Conflicts: 1121000 | #Constraints: 40329
2167.74/2173.68 c #Conflicts: 1122000 | #Constraints: 41329
2167.74/2173.68 c #Conflicts: 1123000 | #Constraints: 42329
2167.74/2173.68 c #Conflicts: 1124000 | #Constraints: 43329
2167.74/2173.68 c #Conflicts: 1125000 | #Constraints: 44329
2167.74/2173.68 c INPROCESSING
2167.74/2173.68 c GARBAGE COLLECT
2167.74/2173.68 c #Conflicts: 1126000 | #Constraints: 24326
2167.74/2173.68 c #Conflicts: 1127000 | #Constraints: 25326
2167.74/2173.68 c #Conflicts: 1128000 | #Constraints: 26326
2167.74/2173.68 c #Conflicts: 1129000 | #Constraints: 27326
2167.74/2173.68 c #Conflicts: 1130000 | #Constraints: 28326
2167.74/2173.68 c #Conflicts: 1131000 | #Constraints: 29326
2167.74/2173.68 c #Conflicts: 1132000 | #Constraints: 30326
2167.74/2173.68 c #Conflicts: 1133000 | #Constraints: 31326
2167.74/2173.68 c #Conflicts: 1134000 | #Constraints: 32326
2167.74/2173.68 c #Conflicts: 1135000 | #Constraints: 33326
2167.74/2173.68 c #Conflicts: 1136000 | #Constraints: 34326
2167.74/2173.68 c #Conflicts: 1137000 | #Constraints: 35326
2167.74/2173.68 c #Conflicts: 1138000 | #Constraints: 36326
2167.74/2173.68 c #Conflicts: 1139000 | #Constraints: 37326
2167.74/2173.68 c #Conflicts: 1140000 | #Constraints: 38326
2167.74/2173.68 c #Conflicts: 1141000 | #Constraints: 39326
2167.74/2173.68 c #Conflicts: 1142000 | #Constraints: 40326
2167.74/2173.68 c #Conflicts: 1143000 | #Constraints: 41326
2167.74/2173.68 c #Conflicts: 1144000 | #Constraints: 42326
2167.74/2173.68 c #Conflicts: 1145000 | #Constraints: 43326
2167.74/2173.68 c #Conflicts: 1146000 | #Constraints: 44326
2167.74/2173.68 c INPROCESSING
2167.74/2173.68 c GARBAGE COLLECT
2167.74/2173.68 c #Conflicts: 1147000 | #Constraints: 24122
2167.74/2173.68 c #Conflicts: 1148000 | #Constraints: 25122
2167.74/2173.68 c #Conflicts: 1149000 | #Constraints: 26122
2167.74/2173.68 c #Conflicts: 1150000 | #Constraints: 27122
2167.74/2173.68 c #Conflicts: 1151000 | #Constraints: 28122
2167.74/2173.68 c #Conflicts: 1152000 | #Constraints: 29122
2167.74/2173.68 c #Conflicts: 1153000 | #Constraints: 30122
2167.74/2173.68 c #Conflicts: 1154000 | #Constraints: 31122
2167.74/2173.68 c #Conflicts: 1155000 | #Constraints: 32122
2167.74/2173.68 c #Conflicts: 1156000 | #Constraints: 33122
2167.74/2173.68 c #Conflicts: 1157000 | #Constraints: 34122
2167.74/2173.68 c #Conflicts: 1158000 | #Constraints: 35122
2167.74/2173.68 c #Conflicts: 1159000 | #Constraints: 36122
2167.74/2173.68 c #Conflicts: 1160000 | #Constraints: 37122
2167.74/2173.68 c #Conflicts: 1161000 | #Constraints: 38122
2167.74/2173.68 c #Conflicts: 1162000 | #Constraints: 39122
2167.74/2173.68 c #Conflicts: 1163000 | #Constraints: 40122
2167.74/2173.68 c #Conflicts: 1164000 | #Constraints: 41122
2167.74/2173.68 c #Conflicts: 1165000 | #Constraints: 42122
2167.74/2173.68 c #Conflicts: 1166000 | #Constraints: 43122
2167.74/2173.68 c #Conflicts: 1167000 | #Constraints: 44122
2167.74/2173.68 c #Conflicts: 1168000 | #Constraints: 45122
2167.74/2173.68 c INPROCESSING
2167.74/2173.68 c GARBAGE COLLECT
2167.74/2173.68 c #Conflicts: 1169000 | #Constraints: 24719
2167.74/2173.68 c #Conflicts: 1170000 | #Constraints: 25719
2167.74/2173.68 c #Conflicts: 1171000 | #Constraints: 26719
2167.74/2173.68 c #Conflicts: 1172000 | #Constraints: 27719
2167.74/2173.68 c #Conflicts: 1173000 | #Constraints: 28719
2167.74/2173.68 c #Conflicts: 1174000 | #Constraints: 29719
2167.74/2173.68 c #Conflicts: 1175000 | #Constraints: 30719
2167.74/2173.68 c #Conflicts: 1176000 | #Constraints: 31719
2167.74/2173.68 c #Conflicts: 1177000 | #Constraints: 32719
2167.74/2173.68 c #Conflicts: 1178000 | #Constraints: 33719
2167.74/2173.68 c #Conflicts: 1179000 | #Constraints: 34719
2167.74/2173.68 c #Conflicts: 1180000 | #Constraints: 35719
2167.74/2173.68 c #Conflicts: 1181000 | #Constraints: 36719
2167.74/2173.68 c #Conflicts: 1182000 | #Constraints: 37719
2167.74/2173.68 c #Conflicts: 1183000 | #Constraints: 38719
2167.74/2173.68 c #Conflicts: 1184000 | #Constraints: 39719
2167.74/2173.68 c #Conflicts: 1185000 | #Constraints: 40719
2167.74/2173.68 c #Conflicts: 1186000 | #Constraints: 41719
2167.74/2173.68 c #Conflicts: 1187000 | #Constraints: 42719
2167.74/2173.68 c #Conflicts: 1188000 | #Constraints: 43719
2167.74/2173.68 c #Conflicts: 1189000 | #Constraints: 44719
2167.74/2173.68 c #Conflicts: 1190000 | #Constraints: 45719
2167.74/2173.68 c INPROCESSING
2167.74/2173.68 c GARBAGE COLLECT
2167.74/2173.68 c #Conflicts: 1191000 | #Constraints: 25136
2167.74/2173.68 c #Conflicts: 1192000 | #Constraints: 26136
2167.74/2173.68 c #Conflicts: 1193000 | #Constraints: 27136
2167.74/2173.68 c #Conflicts: 1194000 | #Constraints: 28136
2167.74/2173.68 c #Conflicts: 1195000 | #Constraints: 29136
2167.74/2173.68 c #Conflicts: 1196000 | #Constraints: 30136
2167.74/2173.68 c #Conflicts: 1197000 | #Constraints: 31136
2379.59/2386.10 c #Conflicts: 1198000 | #Constraints: 32136
2379.59/2386.10 c #Conflicts: 1199000 | #Constraints: 33136
2379.59/2386.10 c #Conflicts: 1200000 | #Constraints: 34136
2379.59/2386.10 c #Conflicts: 1201000 | #Constraints: 35136
2379.59/2386.10 c #Conflicts: 1202000 | #Constraints: 36136
2379.59/2386.10 c #Conflicts: 1203000 | #Constraints: 37136
2379.59/2386.10 c #Conflicts: 1204000 | #Constraints: 38136
2379.59/2386.10 c #Conflicts: 1205000 | #Constraints: 39136
2379.59/2386.10 c #Conflicts: 1206000 | #Constraints: 40136
2379.59/2386.10 c #Conflicts: 1207000 | #Constraints: 41136
2379.59/2386.10 c #Conflicts: 1208000 | #Constraints: 42136
2379.59/2386.10 c #Conflicts: 1209000 | #Constraints: 43136
2379.59/2386.10 c #Conflicts: 1210000 | #Constraints: 44136
2379.59/2386.10 c #Conflicts: 1211000 | #Constraints: 45136
2379.59/2386.10 c #Conflicts: 1212000 | #Constraints: 46136
2379.59/2386.10 c INPROCESSING
2379.59/2386.10 c GARBAGE COLLECT
2379.59/2386.10 c #Conflicts: 1213000 | #Constraints: 25328
2379.59/2386.10 c #Conflicts: 1214000 | #Constraints: 26328
2379.59/2386.10 c #Conflicts: 1215000 | #Constraints: 27328
2379.59/2386.10 c #Conflicts: 1216000 | #Constraints: 28328
2379.59/2386.10 c #Conflicts: 1217000 | #Constraints: 29328
2379.59/2386.10 c #Conflicts: 1218000 | #Constraints: 30328
2379.59/2386.10 c #Conflicts: 1219000 | #Constraints: 31328
2379.59/2386.10 c #Conflicts: 1220000 | #Constraints: 32328
2379.59/2386.10 c #Conflicts: 1221000 | #Constraints: 33328
2379.59/2386.10 c #Conflicts: 1222000 | #Constraints: 34328
2379.59/2386.10 c #Conflicts: 1223000 | #Constraints: 35328
2379.59/2386.10 c #Conflicts: 1224000 | #Constraints: 36328
2379.59/2386.10 c #Conflicts: 1225000 | #Constraints: 37328
2379.59/2386.10 c #Conflicts: 1226000 | #Constraints: 38328
2379.59/2386.10 c #Conflicts: 1227000 | #Constraints: 39328
2379.59/2386.10 c #Conflicts: 1228000 | #Constraints: 40328
2379.59/2386.10 c #Conflicts: 1229000 | #Constraints: 41328
2379.59/2386.10 c #Conflicts: 1230000 | #Constraints: 42328
2379.59/2386.10 c #Conflicts: 1231000 | #Constraints: 43328
2379.59/2386.10 c #Conflicts: 1232000 | #Constraints: 44328
2379.59/2386.10 c #Conflicts: 1233000 | #Constraints: 45328
2379.59/2386.10 c #Conflicts: 1234000 | #Constraints: 46328
2379.59/2386.10 c INPROCESSING
2379.59/2386.10 c GARBAGE COLLECT
2379.59/2386.10 c #Conflicts: 1235000 | #Constraints: 25340
2379.59/2386.10 c #Conflicts: 1236000 | #Constraints: 26340
2379.59/2386.10 c #Conflicts: 1237000 | #Constraints: 27340
2379.59/2386.10 c #Conflicts: 1238000 | #Constraints: 28340
2379.59/2386.10 c #Conflicts: 1239000 | #Constraints: 29340
2379.59/2386.10 c #Conflicts: 1240000 | #Constraints: 30340
2379.59/2386.10 c #Conflicts: 1241000 | #Constraints: 31340
2379.59/2386.10 c #Conflicts: 1242000 | #Constraints: 32340
2379.59/2386.10 c #Conflicts: 1243000 | #Constraints: 33340
2379.59/2386.10 c #Conflicts: 1244000 | #Constraints: 34340
2379.59/2386.10 c #Conflicts: 1245000 | #Constraints: 35340
2379.59/2386.10 c #Conflicts: 1246000 | #Constraints: 36340
2379.59/2386.10 c #Conflicts: 1247000 | #Constraints: 37340
2379.59/2386.10 c #Conflicts: 1248000 | #Constraints: 38340
2379.59/2386.10 c #Conflicts: 1249000 | #Constraints: 39340
2379.59/2386.10 c #Conflicts: 1250000 | #Constraints: 40340
2379.59/2386.10 c #Conflicts: 1251000 | #Constraints: 41340
2379.59/2386.10 c #Conflicts: 1252000 | #Constraints: 42340
2379.59/2386.10 c #Conflicts: 1253000 | #Constraints: 43340
2379.59/2386.10 c #Conflicts: 1254000 | #Constraints: 44340
2379.59/2386.10 c #Conflicts: 1255000 | #Constraints: 45340
2379.59/2386.10 c #Conflicts: 1256000 | #Constraints: 46340
2379.59/2386.10 c INPROCESSING
2379.59/2386.10 c GARBAGE COLLECT
2379.59/2386.10 c #Conflicts: 1257000 | #Constraints: 25120
2379.59/2386.10 c #Conflicts: 1258000 | #Constraints: 26120
2379.59/2386.10 c #Conflicts: 1259000 | #Constraints: 27120
2379.59/2386.10 c #Conflicts: 1260000 | #Constraints: 28120
2379.59/2386.10 c #Conflicts: 1261000 | #Constraints: 29120
2379.59/2386.10 c #Conflicts: 1262000 | #Constraints: 30120
2379.59/2386.10 c #Conflicts: 1263000 | #Constraints: 31120
2379.59/2386.10 c #Conflicts: 1264000 | #Constraints: 32120
2379.59/2386.10 c #Conflicts: 1265000 | #Constraints: 33120
2379.59/2386.10 c #Conflicts: 1266000 | #Constraints: 34120
2379.59/2386.10 c #Conflicts: 1267000 | #Constraints: 35120
2379.59/2386.10 c #Conflicts: 1268000 | #Constraints: 36120
2379.59/2386.10 c #Conflicts: 1269000 | #Constraints: 37120
2379.59/2386.10 c #Conflicts: 1270000 | #Constraints: 38120
2379.59/2386.10 c #Conflicts: 1271000 | #Constraints: 39120
2379.59/2386.10 c #Conflicts: 1272000 | #Constraints: 40120
2379.59/2386.10 c #Conflicts: 1273000 | #Constraints: 41120
2379.59/2386.10 c #Conflicts: 1274000 | #Constraints: 42120
2590.34/2597.32 c #Conflicts: 1275000 | #Constraints: 43120
2590.34/2597.32 c #Conflicts: 1276000 | #Constraints: 44120
2590.34/2597.32 c #Conflicts: 1277000 | #Constraints: 45120
2590.34/2597.32 c #Conflicts: 1278000 | #Constraints: 46120
2590.34/2597.32 c #Conflicts: 1279000 | #Constraints: 47120
2590.34/2597.32 c INPROCESSING
2590.34/2597.32 c GARBAGE COLLECT
2590.34/2597.32 c #Conflicts: 1280000 | #Constraints: 25725
2590.34/2597.32 c #Conflicts: 1281000 | #Constraints: 26725
2590.34/2597.32 c #Conflicts: 1282000 | #Constraints: 27725
2590.34/2597.32 c #Conflicts: 1283000 | #Constraints: 28725
2590.34/2597.32 c #Conflicts: 1284000 | #Constraints: 29725
2590.34/2597.32 c #Conflicts: 1285000 | #Constraints: 30725
2590.34/2597.32 c #Conflicts: 1286000 | #Constraints: 31725
2590.34/2597.32 c #Conflicts: 1287000 | #Constraints: 32725
2590.34/2597.32 c #Conflicts: 1288000 | #Constraints: 33725
2590.34/2597.32 c #Conflicts: 1289000 | #Constraints: 34725
2590.34/2597.32 c #Conflicts: 1290000 | #Constraints: 35725
2590.34/2597.32 c #Conflicts: 1291000 | #Constraints: 36725
2590.34/2597.32 c #Conflicts: 1292000 | #Constraints: 37725
2590.34/2597.32 c #Conflicts: 1293000 | #Constraints: 38725
2590.34/2597.32 c #Conflicts: 1294000 | #Constraints: 39725
2590.34/2597.32 c #Conflicts: 1295000 | #Constraints: 40725
2590.34/2597.32 c #Conflicts: 1296000 | #Constraints: 41725
2590.34/2597.32 c #Conflicts: 1297000 | #Constraints: 42725
2590.34/2597.32 c #Conflicts: 1298000 | #Constraints: 43725
2590.34/2597.32 c #Conflicts: 1299000 | #Constraints: 44725
2590.34/2597.32 c #Conflicts: 1300000 | #Constraints: 45725
2590.34/2597.32 c #Conflicts: 1301000 | #Constraints: 46725
2590.34/2597.32 c #Conflicts: 1302000 | #Constraints: 47725
2590.34/2597.32 c INPROCESSING
2590.34/2597.32 c GARBAGE COLLECT
2590.34/2597.32 c #Conflicts: 1303000 | #Constraints: 26130
2590.34/2597.32 c #Conflicts: 1304000 | #Constraints: 27130
2590.34/2597.32 c #Conflicts: 1305000 | #Constraints: 28130
2590.34/2597.32 c #Conflicts: 1306000 | #Constraints: 29130
2590.34/2597.32 c #Conflicts: 1307000 | #Constraints: 30130
2590.34/2597.32 c #Conflicts: 1308000 | #Constraints: 31130
2590.34/2597.32 c #Conflicts: 1309000 | #Constraints: 32130
2590.34/2597.32 c #Conflicts: 1310000 | #Constraints: 33130
2590.34/2597.32 c #Conflicts: 1311000 | #Constraints: 34130
2590.34/2597.32 c #Conflicts: 1312000 | #Constraints: 35130
2590.34/2597.32 c #Conflicts: 1313000 | #Constraints: 36130
2590.34/2597.32 c #Conflicts: 1314000 | #Constraints: 37130
2590.34/2597.32 c #Conflicts: 1315000 | #Constraints: 38130
2590.34/2597.32 c #Conflicts: 1316000 | #Constraints: 39130
2590.34/2597.32 c #Conflicts: 1317000 | #Constraints: 40130
2590.34/2597.32 c #Conflicts: 1318000 | #Constraints: 41130
2590.34/2597.32 c #Conflicts: 1319000 | #Constraints: 42130
2590.34/2597.32 c #Conflicts: 1320000 | #Constraints: 43130
2590.34/2597.32 c #Conflicts: 1321000 | #Constraints: 44130
2590.34/2597.32 c #Conflicts: 1322000 | #Constraints: 45130
2590.34/2597.32 c #Conflicts: 1323000 | #Constraints: 46130
2590.34/2597.32 c #Conflicts: 1324000 | #Constraints: 47130
2590.34/2597.32 c #Conflicts: 1325000 | #Constraints: 48130
2590.34/2597.32 c INPROCESSING
2590.34/2597.32 c GARBAGE COLLECT
2590.34/2597.32 c #Conflicts: 1326000 | #Constraints: 26324
2590.34/2597.32 c #Conflicts: 1327000 | #Constraints: 27324
2590.34/2597.32 c #Conflicts: 1328000 | #Constraints: 28324
2590.34/2597.32 c #Conflicts: 1329000 | #Constraints: 29324
2590.34/2597.32 c #Conflicts: 1330000 | #Constraints: 30324
2590.34/2597.32 c #Conflicts: 1331000 | #Constraints: 31324
2590.34/2597.32 c #Conflicts: 1332000 | #Constraints: 32324
2590.34/2597.32 c #Conflicts: 1333000 | #Constraints: 33324
2590.34/2597.32 c #Conflicts: 1334000 | #Constraints: 34324
2590.34/2597.32 c #Conflicts: 1335000 | #Constraints: 35324
2590.34/2597.32 c #Conflicts: 1336000 | #Constraints: 36324
2590.34/2597.32 c #Conflicts: 1337000 | #Constraints: 37324
2590.34/2597.32 c #Conflicts: 1338000 | #Constraints: 38324
2590.34/2597.32 c #Conflicts: 1339000 | #Constraints: 39324
2590.34/2597.32 c #Conflicts: 1340000 | #Constraints: 40324
2590.34/2597.32 c #Conflicts: 1341000 | #Constraints: 41324
2590.34/2597.32 c #Conflicts: 1342000 | #Constraints: 42324
2590.34/2597.32 c #Conflicts: 1343000 | #Constraints: 43324
2590.34/2597.32 c #Conflicts: 1344000 | #Constraints: 44324
2590.34/2597.32 c #Conflicts: 1345000 | #Constraints: 45324
2590.34/2597.32 c #Conflicts: 1346000 | #Constraints: 46324
2590.34/2597.32 c #Conflicts: 1347000 | #Constraints: 47324
2590.34/2597.32 c #Conflicts: 1348000 | #Constraints: 48324
2590.34/2597.32 c INPROCESSING
2590.34/2597.32 c GARBAGE COLLECT
2590.34/2597.32 c #Conflicts: 1349000 | #Constraints: 26322
2590.34/2597.32 c #Conflicts: 1350000 | #Constraints: 27322
2817.71/2825.30 c #Conflicts: 1351000 | #Constraints: 28322
2817.71/2825.30 c #Conflicts: 1352000 | #Constraints: 29322
2817.71/2825.30 c #Conflicts: 1353000 | #Constraints: 30322
2817.71/2825.30 c #Conflicts: 1354000 | #Constraints: 31322
2817.71/2825.30 c #Conflicts: 1355000 | #Constraints: 32322
2817.71/2825.30 c #Conflicts: 1356000 | #Constraints: 33322
2817.71/2825.30 c #Conflicts: 1357000 | #Constraints: 34322
2817.71/2825.30 c #Conflicts: 1358000 | #Constraints: 35322
2817.71/2825.30 c #Conflicts: 1359000 | #Constraints: 36322
2817.71/2825.30 c #Conflicts: 1360000 | #Constraints: 37322
2817.71/2825.30 c #Conflicts: 1361000 | #Constraints: 38322
2817.71/2825.30 c #Conflicts: 1362000 | #Constraints: 39322
2817.71/2825.30 c #Conflicts: 1363000 | #Constraints: 40322
2817.71/2825.30 c #Conflicts: 1364000 | #Constraints: 41322
2817.71/2825.30 c #Conflicts: 1365000 | #Constraints: 42322
2817.71/2825.30 c #Conflicts: 1366000 | #Constraints: 43322
2817.71/2825.30 c #Conflicts: 1367000 | #Constraints: 44322
2817.71/2825.30 c #Conflicts: 1368000 | #Constraints: 45322
2817.71/2825.30 c #Conflicts: 1369000 | #Constraints: 46322
2817.71/2825.30 c #Conflicts: 1370000 | #Constraints: 47322
2817.71/2825.30 c #Conflicts: 1371000 | #Constraints: 48322
2817.71/2825.30 c INPROCESSING
2817.71/2825.30 c GARBAGE COLLECT
2817.71/2825.30 c #Conflicts: 1372000 | #Constraints: 26131
2817.71/2825.30 c #Conflicts: 1373000 | #Constraints: 27131
2817.71/2825.30 c #Conflicts: 1374000 | #Constraints: 28131
2817.71/2825.30 c #Conflicts: 1375000 | #Constraints: 29131
2817.71/2825.30 c #Conflicts: 1376000 | #Constraints: 30131
2817.71/2825.30 c #Conflicts: 1377000 | #Constraints: 31131
2817.71/2825.30 c #Conflicts: 1378000 | #Constraints: 32131
2817.71/2825.30 c #Conflicts: 1379000 | #Constraints: 33131
2817.71/2825.30 c #Conflicts: 1380000 | #Constraints: 34131
2817.71/2825.30 c #Conflicts: 1381000 | #Constraints: 35131
2817.71/2825.30 c #Conflicts: 1382000 | #Constraints: 36131
2817.71/2825.30 c #Conflicts: 1383000 | #Constraints: 37131
2817.71/2825.30 c #Conflicts: 1384000 | #Constraints: 38131
2817.71/2825.30 c #Conflicts: 1385000 | #Constraints: 39131
2817.71/2825.30 c #Conflicts: 1386000 | #Constraints: 40131
2817.71/2825.30 c #Conflicts: 1387000 | #Constraints: 41131
2817.71/2825.30 c #Conflicts: 1388000 | #Constraints: 42131
2817.71/2825.30 c #Conflicts: 1389000 | #Constraints: 43131
2817.71/2825.30 c #Conflicts: 1390000 | #Constraints: 44131
2817.71/2825.30 c #Conflicts: 1391000 | #Constraints: 45131
2817.71/2825.30 c #Conflicts: 1392000 | #Constraints: 46131
2817.71/2825.30 c #Conflicts: 1393000 | #Constraints: 47131
2817.71/2825.30 c #Conflicts: 1394000 | #Constraints: 48131
2817.71/2825.30 c #Conflicts: 1395000 | #Constraints: 49131
2817.71/2825.30 c INPROCESSING
2817.71/2825.30 c GARBAGE COLLECT
2817.71/2825.30 c #Conflicts: 1396000 | #Constraints: 26719
2817.71/2825.30 c #Conflicts: 1397000 | #Constraints: 27719
2817.71/2825.30 c #Conflicts: 1398000 | #Constraints: 28719
2817.71/2825.30 c #Conflicts: 1399000 | #Constraints: 29719
2817.71/2825.30 c #Conflicts: 1400000 | #Constraints: 30719
2817.71/2825.30 c #Conflicts: 1401000 | #Constraints: 31719
2817.71/2825.30 c #Conflicts: 1402000 | #Constraints: 32719
2817.71/2825.30 c #Conflicts: 1403000 | #Constraints: 33719
2817.71/2825.30 c #Conflicts: 1404000 | #Constraints: 34719
2817.71/2825.30 c #Conflicts: 1405000 | #Constraints: 35719
2817.71/2825.30 c #Conflicts: 1406000 | #Constraints: 36719
2817.71/2825.30 c #Conflicts: 1407000 | #Constraints: 37719
2817.71/2825.30 c #Conflicts: 1408000 | #Constraints: 38719
2817.71/2825.30 c #Conflicts: 1409000 | #Constraints: 39719
2817.71/2825.30 c #Conflicts: 1410000 | #Constraints: 40719
2817.71/2825.30 c #Conflicts: 1411000 | #Constraints: 41719
2817.71/2825.30 c #Conflicts: 1412000 | #Constraints: 42719
2817.71/2825.30 c #Conflicts: 1413000 | #Constraints: 43719
2817.71/2825.30 c #Conflicts: 1414000 | #Constraints: 44719
2817.71/2825.30 c #Conflicts: 1415000 | #Constraints: 45719
2817.71/2825.30 c #Conflicts: 1416000 | #Constraints: 46719
2817.71/2825.30 c #Conflicts: 1417000 | #Constraints: 47719
2817.71/2825.30 c #Conflicts: 1418000 | #Constraints: 48719
2817.71/2825.30 c #Conflicts: 1419000 | #Constraints: 49719
2817.71/2825.30 c INPROCESSING
2817.71/2825.30 c GARBAGE COLLECT
2817.71/2825.30 c #Conflicts: 1420000 | #Constraints: 27116
2817.71/2825.30 c #Conflicts: 1421000 | #Constraints: 28116
2817.71/2825.30 c #Conflicts: 1422000 | #Constraints: 29116
2817.71/2825.30 c #Conflicts: 1423000 | #Constraints: 30116
2817.71/2825.30 c #Conflicts: 1424000 | #Constraints: 31116
2817.71/2825.30 c #Conflicts: 1425000 | #Constraints: 32116
2817.71/2825.30 c #Conflicts: 1426000 | #Constraints: 33116
2817.71/2825.30 c #Conflicts: 1427000 | #Constraints: 34116
3057.07/3065.33 c #Conflicts: 1428000 | #Constraints: 35116
3057.07/3065.33 c #Conflicts: 1429000 | #Constraints: 36116
3057.07/3065.33 c #Conflicts: 1430000 | #Constraints: 37116
3057.07/3065.33 c #Conflicts: 1431000 | #Constraints: 38116
3057.07/3065.33 c #Conflicts: 1432000 | #Constraints: 39116
3057.07/3065.33 c #Conflicts: 1433000 | #Constraints: 40116
3057.07/3065.33 c #Conflicts: 1434000 | #Constraints: 41116
3057.07/3065.33 c #Conflicts: 1435000 | #Constraints: 42116
3057.07/3065.33 c #Conflicts: 1436000 | #Constraints: 43116
3057.07/3065.33 c #Conflicts: 1437000 | #Constraints: 44116
3057.07/3065.33 c #Conflicts: 1438000 | #Constraints: 45116
3057.07/3065.33 c #Conflicts: 1439000 | #Constraints: 46116
3057.07/3065.33 c #Conflicts: 1440000 | #Constraints: 47116
3057.07/3065.33 c #Conflicts: 1441000 | #Constraints: 48116
3057.07/3065.33 c #Conflicts: 1442000 | #Constraints: 49116
3057.07/3065.33 c #Conflicts: 1443000 | #Constraints: 50116
3057.07/3065.33 c INPROCESSING
3057.07/3065.33 c GARBAGE COLLECT
3057.07/3065.33 c #Conflicts: 1444000 | #Constraints: 27323
3057.07/3065.33 c #Conflicts: 1445000 | #Constraints: 28323
3057.07/3065.33 c #Conflicts: 1446000 | #Constraints: 29323
3057.07/3065.33 c #Conflicts: 1447000 | #Constraints: 30323
3057.07/3065.33 c #Conflicts: 1448000 | #Constraints: 31323
3057.07/3065.33 c #Conflicts: 1449000 | #Constraints: 32323
3057.07/3065.33 c #Conflicts: 1450000 | #Constraints: 33323
3057.07/3065.33 c #Conflicts: 1451000 | #Constraints: 34323
3057.07/3065.33 c #Conflicts: 1452000 | #Constraints: 35323
3057.07/3065.33 c #Conflicts: 1453000 | #Constraints: 36323
3057.07/3065.33 c #Conflicts: 1454000 | #Constraints: 37323
3057.07/3065.33 c #Conflicts: 1455000 | #Constraints: 38323
3057.07/3065.33 c #Conflicts: 1456000 | #Constraints: 39323
3057.07/3065.33 c #Conflicts: 1457000 | #Constraints: 40323
3057.07/3065.33 c #Conflicts: 1458000 | #Constraints: 41323
3057.07/3065.33 c #Conflicts: 1459000 | #Constraints: 42323
3057.07/3065.33 c #Conflicts: 1460000 | #Constraints: 43323
3057.07/3065.33 c #Conflicts: 1461000 | #Constraints: 44323
3057.07/3065.33 c #Conflicts: 1462000 | #Constraints: 45323
3057.07/3065.33 c #Conflicts: 1463000 | #Constraints: 46323
3057.07/3065.33 c #Conflicts: 1464000 | #Constraints: 47323
3057.07/3065.33 c #Conflicts: 1465000 | #Constraints: 48323
3057.07/3065.33 c #Conflicts: 1466000 | #Constraints: 49323
3057.07/3065.33 c #Conflicts: 1467000 | #Constraints: 50323
3057.07/3065.33 c INPROCESSING
3057.07/3065.33 c GARBAGE COLLECT
3057.07/3065.33 c #Conflicts: 1468000 | #Constraints: 27321
3057.07/3065.33 c #Conflicts: 1469000 | #Constraints: 28321
3057.07/3065.33 c #Conflicts: 1470000 | #Constraints: 29321
3057.07/3065.33 c #Conflicts: 1471000 | #Constraints: 30321
3057.07/3065.33 c #Conflicts: 1472000 | #Constraints: 31321
3057.07/3065.33 c #Conflicts: 1473000 | #Constraints: 32321
3057.07/3065.33 c #Conflicts: 1474000 | #Constraints: 33321
3057.07/3065.33 c #Conflicts: 1475000 | #Constraints: 34321
3057.07/3065.33 c #Conflicts: 1476000 | #Constraints: 35321
3057.07/3065.33 c #Conflicts: 1477000 | #Constraints: 36321
3057.07/3065.33 c #Conflicts: 1478000 | #Constraints: 37321
3057.07/3065.33 c #Conflicts: 1479000 | #Constraints: 38321
3057.07/3065.33 c #Conflicts: 1480000 | #Constraints: 39321
3057.07/3065.33 c #Conflicts: 1481000 | #Constraints: 40321
3057.07/3065.33 c #Conflicts: 1482000 | #Constraints: 41321
3057.07/3065.33 c #Conflicts: 1483000 | #Constraints: 42321
3057.07/3065.33 c #Conflicts: 1484000 | #Constraints: 43321
3057.07/3065.33 c #Conflicts: 1485000 | #Constraints: 44321
3057.07/3065.33 c #Conflicts: 1486000 | #Constraints: 45321
3057.07/3065.33 c #Conflicts: 1487000 | #Constraints: 46321
3057.07/3065.33 c #Conflicts: 1488000 | #Constraints: 47321
3057.07/3065.33 c #Conflicts: 1489000 | #Constraints: 48321
3057.07/3065.33 c #Conflicts: 1490000 | #Constraints: 49321
3057.07/3065.33 c #Conflicts: 1491000 | #Constraints: 50321
3057.07/3065.33 c INPROCESSING
3057.07/3065.33 c GARBAGE COLLECT
3057.07/3065.33 c #Conflicts: 1492000 | #Constraints: 27120
3057.07/3065.33 c #Conflicts: 1493000 | #Constraints: 28120
3057.07/3065.33 c #Conflicts: 1494000 | #Constraints: 29120
3057.07/3065.33 c #Conflicts: 1495000 | #Constraints: 30120
3057.07/3065.33 c #Conflicts: 1496000 | #Constraints: 31120
3057.07/3065.33 c #Conflicts: 1497000 | #Constraints: 32120
3057.07/3065.33 c #Conflicts: 1498000 | #Constraints: 33120
3057.07/3065.33 c #Conflicts: 1499000 | #Constraints: 34120
3057.07/3065.33 c #Conflicts: 1500000 | #Constraints: 35120
3057.07/3065.33 c #Conflicts: 1501000 | #Constraints: 36120
3057.07/3065.33 c #Conflicts: 1502000 | #Constraints: 37120
3057.07/3065.33 c #Conflicts: 1503000 | #Constraints: 38120
3057.07/3065.33 c #Conflicts: 1504000 | #Constraints: 39120
3314.28/3323.29 c #Conflicts: 1505000 | #Constraints: 40120
3314.28/3323.29 c #Conflicts: 1506000 | #Constraints: 41120
3314.28/3323.29 c #Conflicts: 1507000 | #Constraints: 42120
3314.28/3323.29 c #Conflicts: 1508000 | #Constraints: 43120
3314.28/3323.29 c #Conflicts: 1509000 | #Constraints: 44120
3314.28/3323.29 c #Conflicts: 1510000 | #Constraints: 45120
3314.28/3323.29 c #Conflicts: 1511000 | #Constraints: 46120
3314.28/3323.29 c #Conflicts: 1512000 | #Constraints: 47120
3314.28/3323.29 c #Conflicts: 1513000 | #Constraints: 48120
3314.28/3323.29 c #Conflicts: 1514000 | #Constraints: 49120
3314.28/3323.29 c #Conflicts: 1515000 | #Constraints: 50120
3314.28/3323.29 c #Conflicts: 1516000 | #Constraints: 51120
3314.28/3323.29 c INPROCESSING
3314.28/3323.29 c GARBAGE COLLECT
3314.28/3323.29 c #Conflicts: 1517000 | #Constraints: 27718
3314.28/3323.29 c #Conflicts: 1518000 | #Constraints: 28718
3314.28/3323.29 c #Conflicts: 1519000 | #Constraints: 29718
3314.28/3323.29 c #Conflicts: 1520000 | #Constraints: 30718
3314.28/3323.29 c #Conflicts: 1521000 | #Constraints: 31718
3314.28/3323.29 c #Conflicts: 1522000 | #Constraints: 32718
3314.28/3323.29 c #Conflicts: 1523000 | #Constraints: 33718
3314.28/3323.29 c #Conflicts: 1524000 | #Constraints: 34718
3314.28/3323.29 c #Conflicts: 1525000 | #Constraints: 35718
3314.28/3323.29 c #Conflicts: 1526000 | #Constraints: 36718
3314.28/3323.29 c #Conflicts: 1527000 | #Constraints: 37718
3314.28/3323.29 c #Conflicts: 1528000 | #Constraints: 38718
3314.28/3323.29 c #Conflicts: 1529000 | #Constraints: 39718
3314.28/3323.29 c #Conflicts: 1530000 | #Constraints: 40718
3314.28/3323.29 c #Conflicts: 1531000 | #Constraints: 41718
3314.28/3323.29 c #Conflicts: 1532000 | #Constraints: 42718
3314.28/3323.29 c #Conflicts: 1533000 | #Constraints: 43718
3314.28/3323.29 c #Conflicts: 1534000 | #Constraints: 44718
3314.28/3323.29 c #Conflicts: 1535000 | #Constraints: 45718
3314.28/3323.29 c #Conflicts: 1536000 | #Constraints: 46718
3314.28/3323.29 c #Conflicts: 1537000 | #Constraints: 47718
3314.28/3323.29 c #Conflicts: 1538000 | #Constraints: 48718
3314.28/3323.29 c #Conflicts: 1539000 | #Constraints: 49718
3314.28/3323.29 c #Conflicts: 1540000 | #Constraints: 50718
3314.28/3323.29 c #Conflicts: 1541000 | #Constraints: 51718
3314.28/3323.29 c INPROCESSING
3314.28/3323.29 c GARBAGE COLLECT
3314.28/3323.29 c #Conflicts: 1542000 | #Constraints: 28110
3314.28/3323.29 c #Conflicts: 1543000 | #Constraints: 29110
3314.28/3323.29 c #Conflicts: 1544000 | #Constraints: 30110
3314.28/3323.29 c #Conflicts: 1545000 | #Constraints: 31110
3314.28/3323.29 c #Conflicts: 1546000 | #Constraints: 32110
3314.28/3323.29 c #Conflicts: 1547000 | #Constraints: 33110
3314.28/3323.29 c #Conflicts: 1548000 | #Constraints: 34110
3314.28/3323.29 c #Conflicts: 1549000 | #Constraints: 35110
3314.28/3323.29 c #Conflicts: 1550000 | #Constraints: 36110
3314.28/3323.29 c #Conflicts: 1551000 | #Constraints: 37110
3314.28/3323.29 c #Conflicts: 1552000 | #Constraints: 38110
3314.28/3323.29 c #Conflicts: 1553000 | #Constraints: 39110
3314.28/3323.29 c #Conflicts: 1554000 | #Constraints: 40110
3314.28/3323.29 c #Conflicts: 1555000 | #Constraints: 41110
3314.28/3323.29 c #Conflicts: 1556000 | #Constraints: 42110
3314.28/3323.29 c #Conflicts: 1557000 | #Constraints: 43110
3314.28/3323.29 c #Conflicts: 1558000 | #Constraints: 44110
3314.28/3323.29 c #Conflicts: 1559000 | #Constraints: 45110
3314.28/3323.29 c #Conflicts: 1560000 | #Constraints: 46110
3314.28/3323.29 c #Conflicts: 1561000 | #Constraints: 47110
3314.28/3323.29 c #Conflicts: 1562000 | #Constraints: 48110
3314.28/3323.29 c #Conflicts: 1563000 | #Constraints: 49110
3314.28/3323.29 c #Conflicts: 1564000 | #Constraints: 50110
3314.28/3323.29 c #Conflicts: 1565000 | #Constraints: 51110
3314.28/3323.29 c #Conflicts: 1566000 | #Constraints: 52110
3314.28/3323.29 c INPROCESSING
3314.28/3323.29 c GARBAGE COLLECT
3314.28/3323.29 c #Conflicts: 1567000 | #Constraints: 28317
3314.28/3323.29 c #Conflicts: 1568000 | #Constraints: 29317
3314.28/3323.29 c #Conflicts: 1569000 | #Constraints: 30317
3314.28/3323.29 c #Conflicts: 1570000 | #Constraints: 31317
3314.28/3323.29 c #Conflicts: 1571000 | #Constraints: 32317
3314.28/3323.29 c #Conflicts: 1572000 | #Constraints: 33317
3314.28/3323.29 c #Conflicts: 1573000 | #Constraints: 34317
3314.28/3323.29 c #Conflicts: 1574000 | #Constraints: 35317
3314.28/3323.29 c #Conflicts: 1575000 | #Constraints: 36317
3314.28/3323.29 c #Conflicts: 1576000 | #Constraints: 37317
3314.28/3323.29 c #Conflicts: 1577000 | #Constraints: 38317
3314.28/3323.29 c #Conflicts: 1578000 | #Constraints: 39317
3314.28/3323.29 c #Conflicts: 1579000 | #Constraints: 40317
3314.28/3323.29 c #Conflicts: 1580000 | #Constraints: 41317
3314.28/3323.29 c #Conflicts: 1581000 | #Constraints: 42317
3586.05/3595.78 c #Conflicts: 1582000 | #Constraints: 43317
3586.05/3595.78 c #Conflicts: 1583000 | #Constraints: 44317
3586.05/3595.78 c #Conflicts: 1584000 | #Constraints: 45317
3586.05/3595.78 c #Conflicts: 1585000 | #Constraints: 46317
3586.05/3595.78 c #Conflicts: 1586000 | #Constraints: 47317
3586.05/3595.78 c #Conflicts: 1587000 | #Constraints: 48317
3586.05/3595.78 c #Conflicts: 1588000 | #Constraints: 49317
3586.05/3595.78 c #Conflicts: 1589000 | #Constraints: 50317
3586.05/3595.78 c #Conflicts: 1590000 | #Constraints: 51317
3586.05/3595.78 c #Conflicts: 1591000 | #Constraints: 52317
3586.05/3595.78 c INPROCESSING
3586.05/3595.78 c GARBAGE COLLECT
3586.05/3595.78 c #Conflicts: 1592000 | #Constraints: 28322
3586.05/3595.78 c #Conflicts: 1593000 | #Constraints: 29322
3586.05/3595.78 c #Conflicts: 1594000 | #Constraints: 30322
3586.05/3595.78 c #Conflicts: 1595000 | #Constraints: 31322
3586.05/3595.78 c #Conflicts: 1596000 | #Constraints: 32322
3586.05/3595.78 c #Conflicts: 1597000 | #Constraints: 33322
3586.05/3595.78 c #Conflicts: 1598000 | #Constraints: 34322
3586.05/3595.78 c #Conflicts: 1599000 | #Constraints: 35322
3586.05/3595.78 c #Conflicts: 1600000 | #Constraints: 36322
3586.05/3595.78 c #Conflicts: 1601000 | #Constraints: 37322
3586.05/3595.78 c #Conflicts: 1602000 | #Constraints: 38322
3586.05/3595.78 c #Conflicts: 1603000 | #Constraints: 39322
3586.05/3595.78 c #Conflicts: 1604000 | #Constraints: 40322
3586.05/3595.78 c #Conflicts: 1605000 | #Constraints: 41322
3586.05/3595.78 c #Conflicts: 1606000 | #Constraints: 42322
3586.05/3595.78 c #Conflicts: 1607000 | #Constraints: 43322
3586.05/3595.78 c #Conflicts: 1608000 | #Constraints: 44322
3586.05/3595.78 c #Conflicts: 1609000 | #Constraints: 45322
3586.05/3595.78 c #Conflicts: 1610000 | #Constraints: 46322
3586.05/3595.78 c #Conflicts: 1611000 | #Constraints: 47322
3586.05/3595.78 c #Conflicts: 1612000 | #Constraints: 48322
3586.05/3595.78 c #Conflicts: 1613000 | #Constraints: 49322
3586.05/3595.78 c #Conflicts: 1614000 | #Constraints: 50322
3586.05/3595.78 c #Conflicts: 1615000 | #Constraints: 51322
3586.05/3595.78 c #Conflicts: 1616000 | #Constraints: 52322
3586.05/3595.78 c INPROCESSING
3586.05/3595.78 c GARBAGE COLLECT
3586.05/3595.78 c #Conflicts: 1617000 | #Constraints: 28116
3586.05/3595.78 c #Conflicts: 1618000 | #Constraints: 29116
3586.05/3595.78 c #Conflicts: 1619000 | #Constraints: 30116
3586.05/3595.78 c #Conflicts: 1620000 | #Constraints: 31116
3586.05/3595.78 c #Conflicts: 1621000 | #Constraints: 32116
3586.05/3595.78 c #Conflicts: 1622000 | #Constraints: 33116
3586.05/3595.78 c #Conflicts: 1623000 | #Constraints: 34116
3586.05/3595.78 c #Conflicts: 1624000 | #Constraints: 35116
3586.05/3595.78 c #Conflicts: 1625000 | #Constraints: 36116
3586.05/3595.78 c #Conflicts: 1626000 | #Constraints: 37116
3586.05/3595.78 c #Conflicts: 1627000 | #Constraints: 38116
3586.05/3595.78 c #Conflicts: 1628000 | #Constraints: 39116
3586.05/3595.78 c #Conflicts: 1629000 | #Constraints: 40116
3586.05/3595.78 c #Conflicts: 1630000 | #Constraints: 41116
3586.05/3595.78 c #Conflicts: 1631000 | #Constraints: 42116
3586.05/3595.78 c #Conflicts: 1632000 | #Constraints: 43116
3586.05/3595.78 c #Conflicts: 1633000 | #Constraints: 44116
3586.05/3595.78 c #Conflicts: 1634000 | #Constraints: 45116
3586.05/3595.78 c #Conflicts: 1635000 | #Constraints: 46116
3586.05/3595.78 c #Conflicts: 1636000 | #Constraints: 47116
3586.05/3595.78 c #Conflicts: 1637000 | #Constraints: 48116
3586.05/3595.78 c #Conflicts: 1638000 | #Constraints: 49116
3586.05/3595.78 c #Conflicts: 1639000 | #Constraints: 50116
3586.05/3595.79 c #Conflicts: 1640000 | #Constraints: 51116
3586.05/3595.79 c #Conflicts: 1641000 | #Constraints: 52116
3586.05/3595.79 c #Conflicts: 1642000 | #Constraints: 53116
3586.05/3595.79 c INPROCESSING
3586.05/3595.79 c GARBAGE COLLECT
3586.05/3595.79 c #Conflicts: 1643000 | #Constraints: 28719
3586.05/3595.79 c #Conflicts: 1644000 | #Constraints: 29719
3586.05/3595.79 c #Conflicts: 1645000 | #Constraints: 30719
3586.05/3595.79 c #Conflicts: 1646000 | #Constraints: 31719
3586.05/3595.79 c #Conflicts: 1647000 | #Constraints: 32719
3586.05/3595.79 c #Conflicts: 1648000 | #Constraints: 33719
3586.05/3595.79 c #Conflicts: 1649000 | #Constraints: 34719
3586.05/3595.79 c #Conflicts: 1650000 | #Constraints: 35719
3586.05/3595.79 c #Conflicts: 1651000 | #Constraints: 36719
3586.05/3595.79 c #Conflicts: 1652000 | #Constraints: 37719
3586.05/3595.79 c #Conflicts: 1653000 | #Constraints: 38719
3586.05/3595.79 c #Conflicts: 1654000 | #Constraints: 39719
3586.05/3595.79 c #Conflicts: 1655000 | #Constraints: 40719
3586.05/3595.79 c #Conflicts: 1656000 | #Constraints: 41719
3586.05/3595.79 c #Conflicts: 1657000 | #Constraints: 42719
3586.05/3595.79 c #Conflicts: 1658000 | #Constraints: 43719
3600.02/3609.70 c #Conflicts: 1659000 | #Constraints: 44719
3600.02/3609.70 c #Conflicts: 1660000 | #Constraints: 45719
3600.02/3609.70 c #Conflicts: 1661000 | #Constraints: 46719
3600.02/3609.70 c #Conflicts: 1662000 | #Constraints: 47719
3600.02/3609.70 c Program interrupted by user.
3600.02/3609.70 c cpu time 3584.96 s
3600.02/3609.70 c deterministic time 356779529996 3.57e+11
3600.02/3609.70 c optimization time 60.8304 s
3600.02/3609.70 c total solve time 3225.2 s
3600.02/3609.70 c core-guided solve time 3225.2 s
3600.02/3609.70 c propagation time 3087.76 s
3600.02/3609.70 c conflict analysis time 176.856 s
3600.02/3609.70 c propagations 434703204
3600.02/3609.70 c resolve steps 7831148
3600.02/3609.70 c decisions 7154273
3600.02/3609.70 c conflicts 1662010
3600.02/3609.70 c restarts 3150
3600.02/3609.70 c inprocessing phases 119
3600.02/3609.70 c input clauses 0
3600.02/3609.70 c input cardinalities 0
3600.02/3609.70 c input general constraints 2431
3600.02/3609.70 c input average constraint length 25.44
3600.02/3609.70 c input average constraint degree 234.23
3600.02/3609.70 c learned clauses 480601
3600.02/3609.70 c learned cardinalities 5
3600.02/3609.70 c learned general constraints 1181403
3600.02/3609.70 c learned average constraint length 35.13
3600.02/3609.70 c learned average constraint degree 866684.41
3600.02/3609.70 c watched constraints 1180987
3600.02/3609.70 c counting constraints 2847
3600.02/3609.70 c gcd simplifications 9523
3600.02/3609.70 c detected cardinalities 5
3600.02/3609.70 c weakened non-implied lits 4892189
3600.02/3609.70 c weakened non-implying lits 2865
3600.02/3609.70 c original variables 1288
3600.02/3609.70 c clausal propagations 1800407
3600.02/3609.70 c cardinality propagations 4
3600.02/3609.70 c watched propagations 420217467
3600.02/3609.70 c counting propagations 11803706
3600.02/3609.70 c watch lookups 78761119393
3600.02/3609.70 c watch backjump lookups 76169576541
3600.02/3609.70 c watch checks 93408180124
3600.02/3609.70 c propagation checks 107316112198
3600.02/3609.70 c constraint additions 239165804
3600.02/3609.70 c trail pops 443518458
3600.02/3609.70 c formula constraints 2430
3600.02/3609.70 c learned constraints 1662009
3600.02/3609.70 c bound constraints 1
3600.02/3609.70 c core-guided constraints 0
3600.02/3609.70 c encountered formula constraints 6408781
3600.02/3609.70 c encountered learned constraints 3084377
3600.02/3609.70 c encountered bound constraints 0
3600.02/3609.70 c encountered core-guided constraints 0
3600.02/3609.70 c LP total time 0 s
3600.02/3609.70 c LP solve time 0 s
3600.02/3609.70 c LP constraints added 0
3600.02/3609.70 c LP constraints removed 0
3600.02/3609.70 c LP pivots internal 0
3600.02/3609.70 c LP pivots root 0
3600.02/3609.70 c LP calls 0
3600.02/3609.70 c LP optimalities 0
3600.02/3609.70 c LP no pivot count 0
3600.02/3609.70 c LP infeasibilities 0
3600.02/3609.70 c LP valid Farkas constraints 0
3600.02/3609.70 c LP learned Farkas constraints 0
3600.02/3609.70 c LP basis resets 0
3600.02/3609.70 c LP cycling count 0
3600.02/3609.70 c LP singular count 0
3600.02/3609.70 c LP no primal count 0
3600.02/3609.70 c LP no farkas count 0
3600.02/3609.70 c LP other issue count 0
3600.02/3609.70 c LP Gomory cuts 0
3600.02/3609.70 c LP learned cuts 0
3600.02/3609.70 c LP deleted cuts 0
3600.02/3609.70 c LP encountered Gomory constraints 0
3600.02/3609.70 c LP encountered Farkas constraints 0
3600.02/3609.70 c LP encountered learned Farkas constraints 0
3600.02/3609.70 c CG auxiliary variables introduced 0
3600.02/3609.70 c CG solutions found 0
3600.02/3609.70 c CG cores constructed 0
3600.02/3609.70 c CG core cardinality constraints returned 0
3600.02/3609.70 c CG unit cores 0
3600.02/3609.70 c CG single cores 0
3600.02/3609.70 c CG blocks removed during cardinality reduction 0
3600.02/3609.70 c CG first core best 0
3600.02/3609.70 c CG decision core best 0
3600.02/3609.70 c CG core reduction tie 0
3600.02/3609.70 c CG core degree average 0.00
3600.02/3609.70 c CG core slack average 0.00
3600.02/3609.70 c CG exhausted 0
3600.02/3609.70 c CG exhaust time 0 s
3600.02/3609.70 c CG trimmed 0
3600.02/3609.70 c CG trim time 0 s
3600.02/3609.70 c CG minimized 0
3600.02/3609.70 c CG minimize time 0 s
3600.02/3609.70 c CG am1 prop time 4.1e-05 s
3600.02/3609.70 c CG # am1s reformulated 0
3600.02/3609.70 c CG lower bound derived from am1s 0
3600.02/3609.70 c CG # clausal cores 0
3600.02/3609.70 c CG # cardinality cores 0
3600.02/3609.70 c CG # pb cores 0
3600.02/3609.70 c CG # pb reforms 0
3600.02/3609.70 c CG # cores discarded because of pb reform 0
3600.02/3609.70 d LOWERBOUND 0
3600.02/3609.70 d NCORES 0
3600.02/3609.70 d NPBCORES 0
3600.02/3609.70 d NPBREFORM 0
3600.02/3609.70 d NTRIMMED 0
3600.02/3609.70 d NEXHAUSTED 0
3600.02/3609.70 d NAM1S 0
3600.02/3609.70 d AM1LB 0
3600.02/3609.70 c [Papilo Statistics]
3600.02/3609.70 c prepro time 0.0123386s
3600.02/3609.70 c # tsx applied 1212
3600.02/3609.70 c # tsx conflicts 0
3600.02/3609.70 c # bound changes 1
3600.02/3609.70 c # side changes 1184
3600.02/3609.70 c # coef changes 37
3600.02/3609.70 c # rounds 2
3600.02/3609.70 c # deted vars 1
3600.02/3609.70 c # deted constrs 1183
3600.02/3609.70 c # consecutive rounds of only bound changes 0
3600.02/3609.70 s UNKNOWN
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: 64059 MiB (62706 MiB free)
memory of node 1: 64510 MiB (61156 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454736-1721471329/watcher-4454736-1721471329 -o /tmp/evaluation-result-4454736-1721471329/solver-4454736-1721471329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064088 --watchdog 3760 mixed-bag HOME/instance-4454736-1721471329.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1066485, runsolver pid=1066482
[startup+0.1001 s]*
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126781960/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=116352 memory=47176 CPUtime=0.1 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 9327 0 0 0 10 0 0 0 20 0 1 0 199289481 119144448 11794 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 29088 11794 3878 3002 0 12837 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 116352 KiB
Current children cumulated memory: 47176 KiB
[startup+0.213376 s]*
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126718288/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=142424 memory=71092 CPUtime=0.22 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 15121 0 0 0 21 1 0 0 20 0 1 0 199289481 145842176 17773 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 35606 17773 4070 3002 0 19355 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 142424 KiB
Current children cumulated memory: 71092 KiB
[startup+0.313113 s]*
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126686900/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=167192 memory=93268 CPUtime=0.32 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 20682 0 0 0 30 2 0 0 20 0 1 0 199289481 171204608 23317 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 41798 23317 4070 3002 0 25547 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 167192 KiB
Current children cumulated memory: 93268 KiB
[startup+0.700356 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126665256/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=167192 memory=94928 CPUtime=0.69 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 21060 0 0 0 67 2 0 0 20 0 1 0 199289481 171204608 23732 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 41798 23732 4092 3002 0 25547 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 167192 KiB
Current children cumulated memory: 94928 KiB
[startup+1.50029 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126652464/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=197748 memory=121156 CPUtime=1.49 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 28285 0 0 0 146 3 0 0 20 0 1 0 199289481 202493952 30289 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 49437 30289 4092 3002 0 33186 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 197748 KiB
Current children cumulated memory: 121156 KiB
[startup+3.1129 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126540296/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=198508 memory=123920 CPUtime=3.09 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 29472 0 0 0 306 3 0 0 20 0 1 0 199289481 203272192 30980 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 49627 30980 4092 3002 0 33376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 198508 KiB
Current children cumulated memory: 123920 KiB
[startup+6.30032 s]
/proc/loadavg: 4.13 4.12 4.05 5/247 1066487
/proc/meminfo: memFree=126484996/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=199620 memory=126048 CPUtime=6.27 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 30551 0 0 0 624 3 0 0 20 0 1 0 199289481 204410880 31512 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 49905 31512 4092 3002 0 33654 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199620 KiB
Current children cumulated memory: 126048 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.10 4.05 6/243 1066846
/proc/meminfo: memFree=126720160/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=210396 memory=137208 CPUtime=12.65 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 33981 0 0 0 1262 3 0 0 20 0 1 0 199289481 215445504 34302 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 52599 34302 4092 3002 0 36348 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 210396 KiB
Current children cumulated memory: 137208 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.09 4.05 5/247 1066906
/proc/meminfo: memFree=126496948/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=213868 memory=140644 CPUtime=25.41 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 36893 0 0 0 2537 4 0 0 20 0 1 0 199289481 219000832 35161 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 53467 35161 4092 3002 0 37216 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 213868 KiB
Current children cumulated memory: 140644 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.10 4.05 5/247 1066956
/proc/meminfo: memFree=126592592/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=222676 memory=149644 CPUtime=50.93 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 42742 0 0 0 5088 5 0 0 20 0 1 0 199289481 228020224 37411 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 55669 37411 4092 3002 0 39418 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 222676 KiB
Current children cumulated memory: 149644 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/248 1067068
/proc/meminfo: memFree=126049528/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=245948 memory=173176 CPUtime=101.95 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 51248 0 0 0 10188 7 0 0 20 0 1 0 199289481 251850752 43294 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 61487 43294 4092 3002 0 45236 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 245948 KiB
Current children cumulated memory: 173176 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/248 1067078
/proc/meminfo: memFree=125813692/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=276156 memory=201572 CPUtime=161.74 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 66219 0 0 0 16164 10 0 0 20 0 1 0 199289481 282783744 50393 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 69039 50393 4108 3002 0 52788 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 276156 KiB
Current children cumulated memory: 201572 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/248 1067134
/proc/meminfo: memFree=126176944/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=316780 memory=241732 CPUtime=221.53 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 82195 0 0 0 22140 13 0 0 20 0 1 0 199289481 324382720 60433 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 79195 60433 4108 3002 0 62944 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 316780 KiB
Current children cumulated memory: 241732 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/248 1067189
/proc/meminfo: memFree=126109052/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=353740 memory=278596 CPUtime=281.32 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 99587 0 0 0 28115 17 0 0 20 0 1 0 199289481 362229760 69649 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 88435 69649 4108 3002 0 72184 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 353740 KiB
Current children cumulated memory: 278596 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/246 1067752
/proc/meminfo: memFree=125303540/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=354904 memory=286008 CPUtime=341.13 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 108945 0 0 0 34034 79 0 0 20 0 1 0 199289481 363421696 71502 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 88726 71502 4220 3002 0 72475 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 354904 KiB
Current children cumulated memory: 286008 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/242 1067854
/proc/meminfo: memFree=123054800/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=357624 memory=291176 CPUtime=400.96 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 109275 0 0 0 39960 136 0 0 20 0 1 0 199289481 366206976 72794 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 89406 72794 4220 3002 0 73155 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 357624 KiB
Current children cumulated memory: 291176 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/242 1067865
/proc/meminfo: memFree=122647240/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=357624 memory=294388 CPUtime=460.78 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 109537 0 0 0 45892 186 0 0 20 0 1 0 199289481 366206976 73597 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 89406 73597 4220 3002 0 73155 0
################
# More data... #
################
Current children cumulated memory: 307656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.22 4.24 5/242 1068924
/proc/meminfo: memFree=120107288/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=307656 CPUtime=2914.46 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113401 0 0 0 290165 1281 0 0 20 0 1 0 199289481 378085376 76914 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 76914 4220 3002 0 76055 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 307656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.22 4.24 5/242 1068934
/proc/meminfo: memFree=120053384/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=307656 CPUtime=2974.3 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113464 0 0 0 296130 1300 0 0 20 0 1 0 199289481 378085376 76914 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 76914 4220 3002 0 76055 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 307656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.19 4.23 5/242 1068945
/proc/meminfo: memFree=119910508/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=307656 CPUtime=3034.13 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113530 0 0 0 302092 1321 0 0 20 0 1 0 199289481 378085376 76914 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 76914 4220 3002 0 76055 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 307656 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.19 4.23 5/246 1068961
/proc/meminfo: memFree=119895636/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=307656 CPUtime=3093.97 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113596 0 0 0 308056 1341 0 0 20 0 1 0 199289481 378085376 76914 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 76914 4220 3002 0 76055 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 307656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.22 5/246 1068971
/proc/meminfo: memFree=119883740/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=307656 CPUtime=3153.81 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113662 0 0 0 314019 1362 0 0 20 0 1 0 199289481 378085376 76914 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 76914 4220 3002 0 76055 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 307656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.21 5/246 1068982
/proc/meminfo: memFree=119870740/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3213.65 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113733 0 0 0 319984 1381 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.20 5/246 1068992
/proc/meminfo: memFree=119850080/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3273.49 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113804 0 0 0 325950 1399 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.19 5/246 1069002
/proc/meminfo: memFree=119846972/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3333.33 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113872 0 0 0 331912 1421 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.19 5/247 1069396
/proc/meminfo: memFree=119846212/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3393.17 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 113937 0 0 0 337875 1442 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/243 1069407
/proc/meminfo: memFree=119335668/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3453.01 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 114009 0 0 0 343840 1461 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/243 1069417
/proc/meminfo: memFree=119332912/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3512.85 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 114072 0 0 0 349804 1481 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 1069597
/proc/meminfo: memFree=119324840/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3572.69 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 114141 0 0 0 355771 1498 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.12 4.17 4/239 1069679
/proc/meminfo: memFree=126129396/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3600.02 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 114143 0 0 0 358496 1506 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 1066485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.97 s, system=15.0634 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.09 4.12 4.17 4/239 1069679
/proc/meminfo: memFree=126129396/131655788 swapFree=131071996/131071996
[pid=1066485] ppid=1066482 vsize=369224 memory=309704 CPUtime=3600.02 cores=5,7
/proc/1066485/stat : 1066485 (mixed-bag) R 1066482 1066485 1064075 0 -1 4194304 114143 0 0 0 358496 1506 0 0 20 0 1 0 199289481 378085376 77426 134679101440 4194304 16488053 140736005759312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 42938368 140736005764117 140736005764194 140736005764194 140736005771211 0
/proc/1066485/statm: 92306 77426 4220 3002 0 76055 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 369224 KiB
Current children cumulated memory: 309704 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.03
CPU user time (s): 3584.97
CPU system time (s): 15.0634
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 385828
Max. memory (cumulated for all children) (KiB): 309704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.97
system time used= 15.0634
maximum resident set size= 310520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 1533
# summary of solver processes directly reported to runsolver:
# pid: 1066485
# total CPU time (s): 3600.03
# total CPU user time (s): 3584.97
# total CPU system time (s): 15.0634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2239 second user time and 34.2255 second system time
The end
Begin job on nodeC007 at 2024-07-20 12:29:01
IDJOB=4454736
IDBENCH=147695
IDSOLVER=3083
FILE ID=nodeC007/4454736-1721471329
RUNJOBID= nodeC007-1721467725-1064088
SLURM_JOB_ID= 7545722
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454736-1721471329/watcher-4454736-1721471329 -o /tmp/evaluation-result-4454736-1721471329/solver-4454736-1721471329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064088 --watchdog 3760 mixed-bag HOME/instance-4454736-1721471329.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1903244474
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 1670.688
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 3669.489
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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.317
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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.233
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 3491.629
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
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 : 3491.644
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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.310
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126835984 kB
MemAvailable: 129514280 kB
Buffers: 556764 kB
Cached: 2961584 kB
SwapCached: 0 kB
Active: 1156740 kB
Inactive: 3096016 kB
Active(anon): 1460 kB
Inactive(anon): 778856 kB
Active(file): 1155280 kB
Inactive(file): 2317160 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 68992 kB
Writeback: 0 kB
AnonPages: 734516 kB
Mapped: 140324 kB
Shmem: 45896 kB
KReclaimable: 91776 kB
Slab: 194676 kB
SReclaimable: 91776 kB
SUnreclaim: 102900 kB
KernelStack: 3968 kB
PageTables: 11092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1091392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC007 at 2024-07-20 13:29:11