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.17/300.14 c [STEP] preprocessing done, loading into solver
299.17/300.16 c [STEP] solving
299.17/300.16 c #variables 1288 #constraints 2430
299.17/300.16 c SMALL=int, LARGE=long long
299.17/300.16 c bounds - >= 0 @ 298.934
299.17/300.16 c stratification level: 0
324.10/325.19 c #Conflicts: 1000 | #Constraints: 3430
324.10/325.19 c #Conflicts: 2000 | #Constraints: 4430
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 3000 | #Constraints: 4439
324.10/325.19 c #Conflicts: 4000 | #Constraints: 5439
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 5000 | #Constraints: 4849
324.10/325.19 c #Conflicts: 6000 | #Constraints: 5849
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 7000 | #Constraints: 4859
324.10/325.19 c #Conflicts: 8000 | #Constraints: 5859
324.10/325.19 c #Conflicts: 9000 | #Constraints: 6859
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 10000 | #Constraints: 5578
324.10/325.19 c #Conflicts: 11000 | #Constraints: 6578
324.10/325.19 c #Conflicts: 12000 | #Constraints: 7578
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 13000 | #Constraints: 6022
324.10/325.19 c #Conflicts: 14000 | #Constraints: 7022
324.10/325.19 c #Conflicts: 15000 | #Constraints: 8022
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 16000 | #Constraints: 6254
324.10/325.19 c #Conflicts: 17000 | #Constraints: 7254
324.10/325.19 c #Conflicts: 18000 | #Constraints: 8254
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 19000 | #Constraints: 6267
324.10/325.19 c #Conflicts: 20000 | #Constraints: 7267
324.10/325.19 c #Conflicts: 21000 | #Constraints: 8267
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 22000 | #Constraints: 6070
324.10/325.19 c #Conflicts: 23000 | #Constraints: 7070
324.10/325.19 c #Conflicts: 24000 | #Constraints: 8070
324.10/325.19 c #Conflicts: 25000 | #Constraints: 9070
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 26000 | #Constraints: 6677
324.10/325.19 c #Conflicts: 27000 | #Constraints: 7677
324.10/325.19 c #Conflicts: 28000 | #Constraints: 8677
324.10/325.19 c #Conflicts: 29000 | #Constraints: 9677
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 30000 | #Constraints: 7077
324.10/325.19 c #Conflicts: 31000 | #Constraints: 8077
324.10/325.19 c #Conflicts: 32000 | #Constraints: 9077
324.10/325.19 c #Conflicts: 33000 | #Constraints: 10077
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 34000 | #Constraints: 7290
324.10/325.19 c #Conflicts: 35000 | #Constraints: 8290
324.10/325.19 c #Conflicts: 36000 | #Constraints: 9290
324.10/325.19 c #Conflicts: 37000 | #Constraints: 10290
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 38000 | #Constraints: 7287
324.10/325.19 c #Conflicts: 39000 | #Constraints: 8287
324.10/325.19 c #Conflicts: 40000 | #Constraints: 9287
324.10/325.19 c #Conflicts: 41000 | #Constraints: 10287
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 42000 | #Constraints: 7086
324.10/325.19 c #Conflicts: 43000 | #Constraints: 8086
324.10/325.19 c #Conflicts: 44000 | #Constraints: 9086
324.10/325.19 c #Conflicts: 45000 | #Constraints: 10086
324.10/325.19 c #Conflicts: 46000 | #Constraints: 11086
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 47000 | #Constraints: 7687
324.10/325.19 c #Conflicts: 48000 | #Constraints: 8687
324.10/325.19 c #Conflicts: 49000 | #Constraints: 9687
324.10/325.19 c #Conflicts: 50000 | #Constraints: 10687
324.10/325.19 c #Conflicts: 51000 | #Constraints: 11687
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 52000 | #Constraints: 8080
324.10/325.19 c #Conflicts: 53000 | #Constraints: 9080
324.10/325.19 c #Conflicts: 54000 | #Constraints: 10080
324.10/325.19 c #Conflicts: 55000 | #Constraints: 11080
324.10/325.19 c #Conflicts: 56000 | #Constraints: 12080
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 57000 | #Constraints: 8277
324.10/325.19 c #Conflicts: 58000 | #Constraints: 9277
324.10/325.19 c #Conflicts: 59000 | #Constraints: 10277
324.10/325.19 c #Conflicts: 60000 | #Constraints: 11277
324.10/325.19 c #Conflicts: 61000 | #Constraints: 12277
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 62000 | #Constraints: 8279
324.10/325.19 c #Conflicts: 63000 | #Constraints: 9279
324.10/325.19 c #Conflicts: 64000 | #Constraints: 10279
324.10/325.19 c #Conflicts: 65000 | #Constraints: 11279
324.10/325.19 c #Conflicts: 66000 | #Constraints: 12279
324.10/325.19 c INPROCESSING
324.10/325.19 c GARBAGE COLLECT
324.10/325.19 c #Conflicts: 67000 | #Constraints: 8086
324.10/325.19 c #Conflicts: 68000 | #Constraints: 9086
366.67/367.83 c #Conflicts: 69000 | #Constraints: 10086
366.67/367.83 c #Conflicts: 70000 | #Constraints: 11086
366.67/367.83 c #Conflicts: 71000 | #Constraints: 12086
366.67/367.83 c #Conflicts: 72000 | #Constraints: 13086
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 73000 | #Constraints: 8682
366.67/367.83 c #Conflicts: 74000 | #Constraints: 9682
366.67/367.83 c #Conflicts: 75000 | #Constraints: 10682
366.67/367.83 c #Conflicts: 76000 | #Constraints: 11682
366.67/367.83 c #Conflicts: 77000 | #Constraints: 12682
366.67/367.83 c #Conflicts: 78000 | #Constraints: 13682
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 79000 | #Constraints: 9082
366.67/367.83 c #Conflicts: 80000 | #Constraints: 10082
366.67/367.83 c #Conflicts: 81000 | #Constraints: 11082
366.67/367.83 c #Conflicts: 82000 | #Constraints: 12082
366.67/367.83 c #Conflicts: 83000 | #Constraints: 13082
366.67/367.83 c #Conflicts: 84000 | #Constraints: 14082
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 85000 | #Constraints: 9282
366.67/367.83 c #Conflicts: 86000 | #Constraints: 10282
366.67/367.83 c #Conflicts: 87000 | #Constraints: 11282
366.67/367.83 c #Conflicts: 88000 | #Constraints: 12282
366.67/367.83 c #Conflicts: 89000 | #Constraints: 13282
366.67/367.83 c #Conflicts: 90000 | #Constraints: 14282
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 91000 | #Constraints: 9290
366.67/367.83 c #Conflicts: 92000 | #Constraints: 10290
366.67/367.83 c #Conflicts: 93000 | #Constraints: 11290
366.67/367.83 c #Conflicts: 94000 | #Constraints: 12290
366.67/367.83 c #Conflicts: 95000 | #Constraints: 13290
366.67/367.83 c #Conflicts: 96000 | #Constraints: 14290
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 97000 | #Constraints: 9087
366.67/367.83 c #Conflicts: 98000 | #Constraints: 10087
366.67/367.83 c #Conflicts: 99000 | #Constraints: 11087
366.67/367.83 c #Conflicts: 100000 | #Constraints: 12087
366.67/367.83 c #Conflicts: 101000 | #Constraints: 13087
366.67/367.83 c #Conflicts: 102000 | #Constraints: 14087
366.67/367.83 c #Conflicts: 103000 | #Constraints: 15087
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 104000 | #Constraints: 9687
366.67/367.83 c #Conflicts: 105000 | #Constraints: 10687
366.67/367.83 c #Conflicts: 106000 | #Constraints: 11687
366.67/367.83 c #Conflicts: 107000 | #Constraints: 12687
366.67/367.83 c #Conflicts: 108000 | #Constraints: 13687
366.67/367.83 c #Conflicts: 109000 | #Constraints: 14687
366.67/367.83 c #Conflicts: 110000 | #Constraints: 15687
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 111000 | #Constraints: 10095
366.67/367.83 c #Conflicts: 112000 | #Constraints: 11095
366.67/367.83 c #Conflicts: 113000 | #Constraints: 12095
366.67/367.83 c #Conflicts: 114000 | #Constraints: 13095
366.67/367.83 c #Conflicts: 115000 | #Constraints: 14095
366.67/367.83 c #Conflicts: 116000 | #Constraints: 15095
366.67/367.83 c #Conflicts: 117000 | #Constraints: 16095
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 118000 | #Constraints: 10298
366.67/367.83 c #Conflicts: 119000 | #Constraints: 11298
366.67/367.83 c #Conflicts: 120000 | #Constraints: 12298
366.67/367.83 c #Conflicts: 121000 | #Constraints: 13298
366.67/367.83 c #Conflicts: 122000 | #Constraints: 14298
366.67/367.83 c #Conflicts: 123000 | #Constraints: 15298
366.67/367.83 c #Conflicts: 124000 | #Constraints: 16298
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 125000 | #Constraints: 10301
366.67/367.83 c #Conflicts: 126000 | #Constraints: 11301
366.67/367.83 c #Conflicts: 127000 | #Constraints: 12301
366.67/367.83 c #Conflicts: 128000 | #Constraints: 13301
366.67/367.83 c #Conflicts: 129000 | #Constraints: 14301
366.67/367.83 c #Conflicts: 130000 | #Constraints: 15301
366.67/367.83 c #Conflicts: 131000 | #Constraints: 16301
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 132000 | #Constraints: 10101
366.67/367.83 c #Conflicts: 133000 | #Constraints: 11101
366.67/367.83 c #Conflicts: 134000 | #Constraints: 12101
366.67/367.83 c #Conflicts: 135000 | #Constraints: 13101
366.67/367.83 c #Conflicts: 136000 | #Constraints: 14101
366.67/367.83 c #Conflicts: 137000 | #Constraints: 15101
366.67/367.83 c #Conflicts: 138000 | #Constraints: 16101
366.67/367.83 c #Conflicts: 139000 | #Constraints: 17101
366.67/367.83 c INPROCESSING
366.67/367.83 c GARBAGE COLLECT
366.67/367.83 c #Conflicts: 140000 | #Constraints: 10697
422.53/423.88 c #Conflicts: 141000 | #Constraints: 11697
422.53/423.88 c #Conflicts: 142000 | #Constraints: 12697
422.53/423.88 c #Conflicts: 143000 | #Constraints: 13697
422.53/423.88 c #Conflicts: 144000 | #Constraints: 14697
422.53/423.88 c #Conflicts: 145000 | #Constraints: 15697
422.53/423.88 c #Conflicts: 146000 | #Constraints: 16697
422.53/423.88 c #Conflicts: 147000 | #Constraints: 17697
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 148000 | #Constraints: 11096
422.53/423.88 c #Conflicts: 149000 | #Constraints: 12096
422.53/423.88 c #Conflicts: 150000 | #Constraints: 13096
422.53/423.88 c #Conflicts: 151000 | #Constraints: 14096
422.53/423.88 c #Conflicts: 152000 | #Constraints: 15096
422.53/423.88 c #Conflicts: 153000 | #Constraints: 16096
422.53/423.88 c #Conflicts: 154000 | #Constraints: 17096
422.53/423.88 c #Conflicts: 155000 | #Constraints: 18096
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 156000 | #Constraints: 11297
422.53/423.88 c #Conflicts: 157000 | #Constraints: 12297
422.53/423.88 c #Conflicts: 158000 | #Constraints: 13297
422.53/423.88 c #Conflicts: 159000 | #Constraints: 14297
422.53/423.88 c #Conflicts: 160000 | #Constraints: 15297
422.53/423.88 c #Conflicts: 161000 | #Constraints: 16297
422.53/423.88 c #Conflicts: 162000 | #Constraints: 17297
422.53/423.88 c #Conflicts: 163000 | #Constraints: 18297
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 164000 | #Constraints: 11309
422.53/423.88 c #Conflicts: 165000 | #Constraints: 12309
422.53/423.88 c #Conflicts: 166000 | #Constraints: 13309
422.53/423.88 c #Conflicts: 167000 | #Constraints: 14309
422.53/423.88 c #Conflicts: 168000 | #Constraints: 15309
422.53/423.88 c #Conflicts: 169000 | #Constraints: 16309
422.53/423.88 c #Conflicts: 170000 | #Constraints: 17309
422.53/423.88 c #Conflicts: 171000 | #Constraints: 18309
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 172000 | #Constraints: 11103
422.53/423.88 c #Conflicts: 173000 | #Constraints: 12103
422.53/423.88 c #Conflicts: 174000 | #Constraints: 13103
422.53/423.88 c #Conflicts: 175000 | #Constraints: 14103
422.53/423.88 c #Conflicts: 176000 | #Constraints: 15103
422.53/423.88 c #Conflicts: 177000 | #Constraints: 16103
422.53/423.88 c #Conflicts: 178000 | #Constraints: 17103
422.53/423.88 c #Conflicts: 179000 | #Constraints: 18103
422.53/423.88 c #Conflicts: 180000 | #Constraints: 19103
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 181000 | #Constraints: 11696
422.53/423.88 c #Conflicts: 182000 | #Constraints: 12696
422.53/423.88 c #Conflicts: 183000 | #Constraints: 13696
422.53/423.88 c #Conflicts: 184000 | #Constraints: 14696
422.53/423.88 c #Conflicts: 185000 | #Constraints: 15696
422.53/423.88 c #Conflicts: 186000 | #Constraints: 16696
422.53/423.88 c #Conflicts: 187000 | #Constraints: 17696
422.53/423.88 c #Conflicts: 188000 | #Constraints: 18696
422.53/423.88 c #Conflicts: 189000 | #Constraints: 19696
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 190000 | #Constraints: 12101
422.53/423.88 c #Conflicts: 191000 | #Constraints: 13101
422.53/423.88 c #Conflicts: 192000 | #Constraints: 14101
422.53/423.88 c #Conflicts: 193000 | #Constraints: 15101
422.53/423.88 c #Conflicts: 194000 | #Constraints: 16101
422.53/423.88 c #Conflicts: 195000 | #Constraints: 17101
422.53/423.88 c #Conflicts: 196000 | #Constraints: 18101
422.53/423.88 c #Conflicts: 197000 | #Constraints: 19101
422.53/423.88 c #Conflicts: 198000 | #Constraints: 20101
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 199000 | #Constraints: 12303
422.53/423.88 c #Conflicts: 200000 | #Constraints: 13303
422.53/423.88 c #Conflicts: 201000 | #Constraints: 14303
422.53/423.88 c #Conflicts: 202000 | #Constraints: 15303
422.53/423.88 c #Conflicts: 203000 | #Constraints: 16303
422.53/423.88 c #Conflicts: 204000 | #Constraints: 17303
422.53/423.88 c #Conflicts: 205000 | #Constraints: 18303
422.53/423.88 c #Conflicts: 206000 | #Constraints: 19303
422.53/423.88 c #Conflicts: 207000 | #Constraints: 20303
422.53/423.88 c INPROCESSING
422.53/423.88 c GARBAGE COLLECT
422.53/423.88 c #Conflicts: 208000 | #Constraints: 12298
422.53/423.88 c #Conflicts: 209000 | #Constraints: 13298
422.53/423.88 c #Conflicts: 210000 | #Constraints: 14298
422.53/423.88 c #Conflicts: 211000 | #Constraints: 15298
422.53/423.88 c #Conflicts: 212000 | #Constraints: 16298
422.53/423.88 c #Conflicts: 213000 | #Constraints: 17298
494.24/495.76 c #Conflicts: 214000 | #Constraints: 18298
494.24/495.76 c #Conflicts: 215000 | #Constraints: 19298
494.24/495.76 c #Conflicts: 216000 | #Constraints: 20298
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 217000 | #Constraints: 12101
494.24/495.76 c #Conflicts: 218000 | #Constraints: 13101
494.24/495.76 c #Conflicts: 219000 | #Constraints: 14101
494.24/495.76 c #Conflicts: 220000 | #Constraints: 15101
494.24/495.76 c #Conflicts: 221000 | #Constraints: 16101
494.24/495.76 c #Conflicts: 222000 | #Constraints: 17101
494.24/495.76 c #Conflicts: 223000 | #Constraints: 18101
494.24/495.76 c #Conflicts: 224000 | #Constraints: 19101
494.24/495.76 c #Conflicts: 225000 | #Constraints: 20101
494.24/495.76 c #Conflicts: 226000 | #Constraints: 21101
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 227000 | #Constraints: 12707
494.24/495.76 c #Conflicts: 228000 | #Constraints: 13707
494.24/495.76 c #Conflicts: 229000 | #Constraints: 14707
494.24/495.76 c #Conflicts: 230000 | #Constraints: 15707
494.24/495.76 c #Conflicts: 231000 | #Constraints: 16707
494.24/495.76 c #Conflicts: 232000 | #Constraints: 17707
494.24/495.76 c #Conflicts: 233000 | #Constraints: 18707
494.24/495.76 c #Conflicts: 234000 | #Constraints: 19707
494.24/495.76 c #Conflicts: 235000 | #Constraints: 20707
494.24/495.76 c #Conflicts: 236000 | #Constraints: 21707
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 237000 | #Constraints: 13101
494.24/495.76 c #Conflicts: 238000 | #Constraints: 14101
494.24/495.76 c #Conflicts: 239000 | #Constraints: 15101
494.24/495.76 c #Conflicts: 240000 | #Constraints: 16101
494.24/495.76 c #Conflicts: 241000 | #Constraints: 17101
494.24/495.76 c #Conflicts: 242000 | #Constraints: 18101
494.24/495.76 c #Conflicts: 243000 | #Constraints: 19101
494.24/495.76 c #Conflicts: 244000 | #Constraints: 20101
494.24/495.76 c #Conflicts: 245000 | #Constraints: 21101
494.24/495.76 c #Conflicts: 246000 | #Constraints: 22101
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 247000 | #Constraints: 13302
494.24/495.76 c #Conflicts: 248000 | #Constraints: 14302
494.24/495.76 c #Conflicts: 249000 | #Constraints: 15302
494.24/495.76 c #Conflicts: 250000 | #Constraints: 16302
494.24/495.76 c #Conflicts: 251000 | #Constraints: 17302
494.24/495.76 c #Conflicts: 252000 | #Constraints: 18302
494.24/495.76 c #Conflicts: 253000 | #Constraints: 19302
494.24/495.76 c #Conflicts: 254000 | #Constraints: 20302
494.24/495.76 c #Conflicts: 255000 | #Constraints: 21302
494.24/495.76 c #Conflicts: 256000 | #Constraints: 22302
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 257000 | #Constraints: 13305
494.24/495.76 c #Conflicts: 258000 | #Constraints: 14305
494.24/495.76 c #Conflicts: 259000 | #Constraints: 15305
494.24/495.76 c #Conflicts: 260000 | #Constraints: 16305
494.24/495.76 c #Conflicts: 261000 | #Constraints: 17305
494.24/495.76 c #Conflicts: 262000 | #Constraints: 18305
494.24/495.76 c #Conflicts: 263000 | #Constraints: 19305
494.24/495.76 c #Conflicts: 264000 | #Constraints: 20305
494.24/495.76 c #Conflicts: 265000 | #Constraints: 21305
494.24/495.76 c #Conflicts: 266000 | #Constraints: 22305
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 267000 | #Constraints: 13111
494.24/495.76 c #Conflicts: 268000 | #Constraints: 14111
494.24/495.76 c #Conflicts: 269000 | #Constraints: 15111
494.24/495.76 c #Conflicts: 270000 | #Constraints: 16111
494.24/495.76 c #Conflicts: 271000 | #Constraints: 17111
494.24/495.76 c #Conflicts: 272000 | #Constraints: 18111
494.24/495.76 c #Conflicts: 273000 | #Constraints: 19111
494.24/495.76 c #Conflicts: 274000 | #Constraints: 20111
494.24/495.76 c #Conflicts: 275000 | #Constraints: 21111
494.24/495.76 c #Conflicts: 276000 | #Constraints: 22111
494.24/495.76 c #Conflicts: 277000 | #Constraints: 23111
494.24/495.76 c INPROCESSING
494.24/495.76 c GARBAGE COLLECT
494.24/495.76 c #Conflicts: 278000 | #Constraints: 13709
494.24/495.76 c #Conflicts: 279000 | #Constraints: 14709
494.24/495.76 c #Conflicts: 280000 | #Constraints: 15709
494.24/495.76 c #Conflicts: 281000 | #Constraints: 16709
494.24/495.76 c #Conflicts: 282000 | #Constraints: 17709
494.24/495.76 c #Conflicts: 283000 | #Constraints: 18709
494.24/495.76 c #Conflicts: 284000 | #Constraints: 19709
494.24/495.76 c #Conflicts: 285000 | #Constraints: 20709
494.24/495.76 c #Conflicts: 286000 | #Constraints: 21709
494.24/495.76 c #Conflicts: 287000 | #Constraints: 22709
494.24/495.76 c #Conflicts: 288000 | #Constraints: 23709
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 289000 | #Constraints: 14117
573.05/574.74 c #Conflicts: 290000 | #Constraints: 15117
573.05/574.74 c #Conflicts: 291000 | #Constraints: 16117
573.05/574.74 c #Conflicts: 292000 | #Constraints: 17117
573.05/574.74 c #Conflicts: 293000 | #Constraints: 18117
573.05/574.74 c #Conflicts: 294000 | #Constraints: 19117
573.05/574.74 c #Conflicts: 295000 | #Constraints: 20117
573.05/574.74 c #Conflicts: 296000 | #Constraints: 21117
573.05/574.74 c #Conflicts: 297000 | #Constraints: 22117
573.05/574.74 c #Conflicts: 298000 | #Constraints: 23117
573.05/574.74 c #Conflicts: 299000 | #Constraints: 24117
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 300000 | #Constraints: 14318
573.05/574.74 c #Conflicts: 301000 | #Constraints: 15318
573.05/574.74 c #Conflicts: 302000 | #Constraints: 16318
573.05/574.74 c #Conflicts: 303000 | #Constraints: 17318
573.05/574.74 c #Conflicts: 304000 | #Constraints: 18318
573.05/574.74 c #Conflicts: 305000 | #Constraints: 19318
573.05/574.74 c #Conflicts: 306000 | #Constraints: 20318
573.05/574.74 c #Conflicts: 307000 | #Constraints: 21318
573.05/574.74 c #Conflicts: 308000 | #Constraints: 22318
573.05/574.74 c #Conflicts: 309000 | #Constraints: 23318
573.05/574.74 c #Conflicts: 310000 | #Constraints: 24318
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 311000 | #Constraints: 14316
573.05/574.74 c #Conflicts: 312000 | #Constraints: 15316
573.05/574.74 c #Conflicts: 313000 | #Constraints: 16316
573.05/574.74 c #Conflicts: 314000 | #Constraints: 17316
573.05/574.74 c #Conflicts: 315000 | #Constraints: 18316
573.05/574.74 c #Conflicts: 316000 | #Constraints: 19316
573.05/574.74 c #Conflicts: 317000 | #Constraints: 20316
573.05/574.74 c #Conflicts: 318000 | #Constraints: 21316
573.05/574.74 c #Conflicts: 319000 | #Constraints: 22316
573.05/574.74 c #Conflicts: 320000 | #Constraints: 23316
573.05/574.74 c #Conflicts: 321000 | #Constraints: 24316
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 322000 | #Constraints: 14106
573.05/574.74 c #Conflicts: 323000 | #Constraints: 15106
573.05/574.74 c #Conflicts: 324000 | #Constraints: 16106
573.05/574.74 c #Conflicts: 325000 | #Constraints: 17106
573.05/574.74 c #Conflicts: 326000 | #Constraints: 18106
573.05/574.74 c #Conflicts: 327000 | #Constraints: 19106
573.05/574.74 c #Conflicts: 328000 | #Constraints: 20106
573.05/574.74 c #Conflicts: 329000 | #Constraints: 21106
573.05/574.74 c #Conflicts: 330000 | #Constraints: 22106
573.05/574.74 c #Conflicts: 331000 | #Constraints: 23106
573.05/574.74 c #Conflicts: 332000 | #Constraints: 24106
573.05/574.74 c #Conflicts: 333000 | #Constraints: 25106
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 334000 | #Constraints: 14704
573.05/574.74 c #Conflicts: 335000 | #Constraints: 15704
573.05/574.74 c #Conflicts: 336000 | #Constraints: 16704
573.05/574.74 c #Conflicts: 337000 | #Constraints: 17704
573.05/574.74 c #Conflicts: 338000 | #Constraints: 18704
573.05/574.74 c #Conflicts: 339000 | #Constraints: 19704
573.05/574.74 c #Conflicts: 340000 | #Constraints: 20704
573.05/574.74 c #Conflicts: 341000 | #Constraints: 21704
573.05/574.74 c #Conflicts: 342000 | #Constraints: 22704
573.05/574.74 c #Conflicts: 343000 | #Constraints: 23704
573.05/574.74 c #Conflicts: 344000 | #Constraints: 24704
573.05/574.74 c #Conflicts: 345000 | #Constraints: 25704
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 346000 | #Constraints: 15106
573.05/574.74 c #Conflicts: 347000 | #Constraints: 16106
573.05/574.74 c #Conflicts: 348000 | #Constraints: 17106
573.05/574.74 c #Conflicts: 349000 | #Constraints: 18106
573.05/574.74 c #Conflicts: 350000 | #Constraints: 19106
573.05/574.74 c #Conflicts: 351000 | #Constraints: 20106
573.05/574.74 c #Conflicts: 352000 | #Constraints: 21106
573.05/574.74 c #Conflicts: 353000 | #Constraints: 22106
573.05/574.74 c #Conflicts: 354000 | #Constraints: 23106
573.05/574.74 c #Conflicts: 355000 | #Constraints: 24106
573.05/574.74 c #Conflicts: 356000 | #Constraints: 25106
573.05/574.74 c #Conflicts: 357000 | #Constraints: 26106
573.05/574.74 c INPROCESSING
573.05/574.74 c GARBAGE COLLECT
573.05/574.74 c #Conflicts: 358000 | #Constraints: 15302
573.05/574.74 c #Conflicts: 359000 | #Constraints: 16302
573.05/574.74 c #Conflicts: 360000 | #Constraints: 17302
573.05/574.74 c #Conflicts: 361000 | #Constraints: 18302
573.05/574.74 c #Conflicts: 362000 | #Constraints: 19302
663.33/665.25 c #Conflicts: 363000 | #Constraints: 20302
663.33/665.25 c #Conflicts: 364000 | #Constraints: 21302
663.33/665.25 c #Conflicts: 365000 | #Constraints: 22302
663.33/665.25 c #Conflicts: 366000 | #Constraints: 23302
663.33/665.25 c #Conflicts: 367000 | #Constraints: 24302
663.33/665.25 c #Conflicts: 368000 | #Constraints: 25302
663.33/665.25 c #Conflicts: 369000 | #Constraints: 26302
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 370000 | #Constraints: 15307
663.33/665.25 c #Conflicts: 371000 | #Constraints: 16307
663.33/665.25 c #Conflicts: 372000 | #Constraints: 17307
663.33/665.25 c #Conflicts: 373000 | #Constraints: 18307
663.33/665.25 c #Conflicts: 374000 | #Constraints: 19307
663.33/665.25 c #Conflicts: 375000 | #Constraints: 20307
663.33/665.25 c #Conflicts: 376000 | #Constraints: 21307
663.33/665.25 c #Conflicts: 377000 | #Constraints: 22307
663.33/665.25 c #Conflicts: 378000 | #Constraints: 23307
663.33/665.25 c #Conflicts: 379000 | #Constraints: 24307
663.33/665.25 c #Conflicts: 380000 | #Constraints: 25307
663.33/665.25 c #Conflicts: 381000 | #Constraints: 26307
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 382000 | #Constraints: 15113
663.33/665.25 c #Conflicts: 383000 | #Constraints: 16113
663.33/665.25 c #Conflicts: 384000 | #Constraints: 17113
663.33/665.25 c #Conflicts: 385000 | #Constraints: 18113
663.33/665.25 c #Conflicts: 386000 | #Constraints: 19113
663.33/665.25 c #Conflicts: 387000 | #Constraints: 20113
663.33/665.25 c #Conflicts: 388000 | #Constraints: 21113
663.33/665.25 c #Conflicts: 389000 | #Constraints: 22113
663.33/665.25 c #Conflicts: 390000 | #Constraints: 23113
663.33/665.25 c #Conflicts: 391000 | #Constraints: 24113
663.33/665.25 c #Conflicts: 392000 | #Constraints: 25113
663.33/665.25 c #Conflicts: 393000 | #Constraints: 26113
663.33/665.25 c #Conflicts: 394000 | #Constraints: 27113
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 395000 | #Constraints: 15715
663.33/665.25 c #Conflicts: 396000 | #Constraints: 16715
663.33/665.25 c #Conflicts: 397000 | #Constraints: 17715
663.33/665.25 c #Conflicts: 398000 | #Constraints: 18715
663.33/665.25 c #Conflicts: 399000 | #Constraints: 19715
663.33/665.25 c #Conflicts: 400000 | #Constraints: 20715
663.33/665.25 c #Conflicts: 401000 | #Constraints: 21715
663.33/665.25 c #Conflicts: 402000 | #Constraints: 22715
663.33/665.25 c #Conflicts: 403000 | #Constraints: 23715
663.33/665.25 c #Conflicts: 404000 | #Constraints: 24715
663.33/665.25 c #Conflicts: 405000 | #Constraints: 25715
663.33/665.25 c #Conflicts: 406000 | #Constraints: 26715
663.33/665.25 c #Conflicts: 407000 | #Constraints: 27715
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 408000 | #Constraints: 16114
663.33/665.25 c #Conflicts: 409000 | #Constraints: 17114
663.33/665.25 c #Conflicts: 410000 | #Constraints: 18114
663.33/665.25 c #Conflicts: 411000 | #Constraints: 19114
663.33/665.25 c #Conflicts: 412000 | #Constraints: 20114
663.33/665.25 c #Conflicts: 413000 | #Constraints: 21114
663.33/665.25 c #Conflicts: 414000 | #Constraints: 22114
663.33/665.25 c #Conflicts: 415000 | #Constraints: 23114
663.33/665.25 c #Conflicts: 416000 | #Constraints: 24114
663.33/665.25 c #Conflicts: 417000 | #Constraints: 25114
663.33/665.25 c #Conflicts: 418000 | #Constraints: 26114
663.33/665.25 c #Conflicts: 419000 | #Constraints: 27114
663.33/665.25 c #Conflicts: 420000 | #Constraints: 28114
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 421000 | #Constraints: 16303
663.33/665.25 c #Conflicts: 422000 | #Constraints: 17303
663.33/665.25 c #Conflicts: 423000 | #Constraints: 18303
663.33/665.25 c #Conflicts: 424000 | #Constraints: 19303
663.33/665.25 c #Conflicts: 425000 | #Constraints: 20303
663.33/665.25 c #Conflicts: 426000 | #Constraints: 21303
663.33/665.25 c #Conflicts: 427000 | #Constraints: 22303
663.33/665.25 c #Conflicts: 428000 | #Constraints: 23303
663.33/665.25 c #Conflicts: 429000 | #Constraints: 24303
663.33/665.25 c #Conflicts: 430000 | #Constraints: 25303
663.33/665.25 c #Conflicts: 431000 | #Constraints: 26303
663.33/665.25 c #Conflicts: 432000 | #Constraints: 27303
663.33/665.25 c #Conflicts: 433000 | #Constraints: 28303
663.33/665.25 c INPROCESSING
663.33/665.25 c GARBAGE COLLECT
663.33/665.25 c #Conflicts: 434000 | #Constraints: 16299
663.33/665.25 c #Conflicts: 435000 | #Constraints: 17299
663.33/665.25 c #Conflicts: 436000 | #Constraints: 18299
663.33/665.25 c #Conflicts: 437000 | #Constraints: 19299
763.68/765.82 c #Conflicts: 438000 | #Constraints: 20299
763.68/765.82 c #Conflicts: 439000 | #Constraints: 21299
763.68/765.82 c #Conflicts: 440000 | #Constraints: 22299
763.68/765.82 c #Conflicts: 441000 | #Constraints: 23299
763.68/765.82 c #Conflicts: 442000 | #Constraints: 24299
763.68/765.82 c #Conflicts: 443000 | #Constraints: 25299
763.68/765.82 c #Conflicts: 444000 | #Constraints: 26299
763.68/765.82 c #Conflicts: 445000 | #Constraints: 27299
763.68/765.82 c #Conflicts: 446000 | #Constraints: 28299
763.68/765.82 c INPROCESSING
763.68/765.82 c GARBAGE COLLECT
763.68/765.82 c #Conflicts: 447000 | #Constraints: 16107
763.68/765.82 c #Conflicts: 448000 | #Constraints: 17107
763.68/765.82 c #Conflicts: 449000 | #Constraints: 18107
763.68/765.82 c #Conflicts: 450000 | #Constraints: 19107
763.68/765.82 c #Conflicts: 451000 | #Constraints: 20107
763.68/765.82 c #Conflicts: 452000 | #Constraints: 21107
763.68/765.82 c #Conflicts: 453000 | #Constraints: 22107
763.68/765.82 c #Conflicts: 454000 | #Constraints: 23107
763.68/765.82 c #Conflicts: 455000 | #Constraints: 24107
763.68/765.82 c #Conflicts: 456000 | #Constraints: 25107
763.68/765.82 c #Conflicts: 457000 | #Constraints: 26107
763.68/765.82 c #Conflicts: 458000 | #Constraints: 27107
763.68/765.82 c #Conflicts: 459000 | #Constraints: 28107
763.68/765.82 c #Conflicts: 460000 | #Constraints: 29107
763.68/765.82 c INPROCESSING
763.68/765.82 c GARBAGE COLLECT
763.68/765.82 c #Conflicts: 461000 | #Constraints: 16721
763.68/765.82 c #Conflicts: 462000 | #Constraints: 17721
763.68/765.82 c #Conflicts: 463000 | #Constraints: 18721
763.68/765.82 c #Conflicts: 464000 | #Constraints: 19721
763.68/765.82 c #Conflicts: 465000 | #Constraints: 20721
763.68/765.82 c #Conflicts: 466000 | #Constraints: 21721
763.68/765.82 c #Conflicts: 467000 | #Constraints: 22721
763.68/765.82 c #Conflicts: 468000 | #Constraints: 23721
763.68/765.82 c #Conflicts: 469000 | #Constraints: 24721
763.68/765.82 c #Conflicts: 470000 | #Constraints: 25721
763.68/765.82 c #Conflicts: 471000 | #Constraints: 26721
763.68/765.82 c #Conflicts: 472000 | #Constraints: 27721
763.68/765.82 c #Conflicts: 473000 | #Constraints: 28721
763.68/765.82 c #Conflicts: 474000 | #Constraints: 29721
763.68/765.82 c INPROCESSING
763.68/765.82 c GARBAGE COLLECT
763.68/765.82 c #Conflicts: 475000 | #Constraints: 17122
763.68/765.82 c #Conflicts: 476000 | #Constraints: 18122
763.68/765.82 c #Conflicts: 477000 | #Constraints: 19122
763.68/765.82 c #Conflicts: 478000 | #Constraints: 20122
763.68/765.82 c #Conflicts: 479000 | #Constraints: 21122
763.68/765.82 c #Conflicts: 480000 | #Constraints: 22122
763.68/765.82 c #Conflicts: 481000 | #Constraints: 23122
763.68/765.82 c #Conflicts: 482000 | #Constraints: 24122
763.68/765.82 c #Conflicts: 483000 | #Constraints: 25122
763.68/765.82 c #Conflicts: 484000 | #Constraints: 26122
763.68/765.82 c #Conflicts: 485000 | #Constraints: 27122
763.68/765.82 c #Conflicts: 486000 | #Constraints: 28122
763.68/765.82 c #Conflicts: 487000 | #Constraints: 29122
763.68/765.82 c #Conflicts: 488000 | #Constraints: 30122
763.68/765.82 c INPROCESSING
763.68/765.82 c GARBAGE COLLECT
763.68/765.82 c #Conflicts: 489000 | #Constraints: 17312
763.68/765.82 c #Conflicts: 490000 | #Constraints: 18312
763.68/765.82 c #Conflicts: 491000 | #Constraints: 19312
763.68/765.82 c #Conflicts: 492000 | #Constraints: 20312
763.68/765.82 c #Conflicts: 493000 | #Constraints: 21312
763.68/765.82 c #Conflicts: 494000 | #Constraints: 22312
763.68/765.82 c #Conflicts: 495000 | #Constraints: 23312
763.68/765.82 c #Conflicts: 496000 | #Constraints: 24312
763.68/765.82 c #Conflicts: 497000 | #Constraints: 25312
763.68/765.82 c #Conflicts: 498000 | #Constraints: 26312
763.68/765.82 c #Conflicts: 499000 | #Constraints: 27312
763.68/765.82 c #Conflicts: 500000 | #Constraints: 28312
763.68/765.82 c #Conflicts: 501000 | #Constraints: 29312
763.68/765.82 c #Conflicts: 502000 | #Constraints: 30312
763.68/765.82 c INPROCESSING
763.68/765.82 c GARBAGE COLLECT
763.68/765.82 c #Conflicts: 503000 | #Constraints: 17310
763.68/765.82 c #Conflicts: 504000 | #Constraints: 18310
763.68/765.82 c #Conflicts: 505000 | #Constraints: 19310
763.68/765.82 c #Conflicts: 506000 | #Constraints: 20310
763.68/765.82 c #Conflicts: 507000 | #Constraints: 21310
763.68/765.82 c #Conflicts: 508000 | #Constraints: 22310
763.68/765.82 c #Conflicts: 509000 | #Constraints: 23310
763.68/765.82 c #Conflicts: 510000 | #Constraints: 24310
763.68/765.82 c #Conflicts: 511000 | #Constraints: 25310
763.68/765.82 c #Conflicts: 512000 | #Constraints: 26310
763.68/765.82 c #Conflicts: 513000 | #Constraints: 27310
875.19/877.61 c #Conflicts: 514000 | #Constraints: 28310
875.19/877.61 c #Conflicts: 515000 | #Constraints: 29310
875.19/877.61 c #Conflicts: 516000 | #Constraints: 30310
875.19/877.61 c INPROCESSING
875.19/877.61 c GARBAGE COLLECT
875.19/877.61 c #Conflicts: 517000 | #Constraints: 17105
875.19/877.61 c #Conflicts: 518000 | #Constraints: 18105
875.19/877.61 c #Conflicts: 519000 | #Constraints: 19105
875.19/877.61 c #Conflicts: 520000 | #Constraints: 20105
875.19/877.61 c #Conflicts: 521000 | #Constraints: 21105
875.19/877.61 c #Conflicts: 522000 | #Constraints: 22105
875.19/877.61 c #Conflicts: 523000 | #Constraints: 23105
875.19/877.61 c #Conflicts: 524000 | #Constraints: 24105
875.19/877.61 c #Conflicts: 525000 | #Constraints: 25105
875.19/877.61 c #Conflicts: 526000 | #Constraints: 26105
875.19/877.61 c #Conflicts: 527000 | #Constraints: 27105
875.19/877.61 c #Conflicts: 528000 | #Constraints: 28105
875.19/877.61 c #Conflicts: 529000 | #Constraints: 29105
875.19/877.61 c #Conflicts: 530000 | #Constraints: 30105
875.19/877.61 c #Conflicts: 531000 | #Constraints: 31105
875.19/877.61 c INPROCESSING
875.19/877.62 c GARBAGE COLLECT
875.19/877.62 c #Conflicts: 532000 | #Constraints: 17716
875.19/877.62 c #Conflicts: 533000 | #Constraints: 18716
875.19/877.62 c #Conflicts: 534000 | #Constraints: 19716
875.19/877.62 c #Conflicts: 535000 | #Constraints: 20716
875.19/877.62 c #Conflicts: 536000 | #Constraints: 21716
875.19/877.62 c #Conflicts: 537000 | #Constraints: 22716
875.19/877.62 c #Conflicts: 538000 | #Constraints: 23716
875.19/877.62 c #Conflicts: 539000 | #Constraints: 24716
875.19/877.62 c #Conflicts: 540000 | #Constraints: 25716
875.19/877.62 c #Conflicts: 541000 | #Constraints: 26716
875.19/877.62 c #Conflicts: 542000 | #Constraints: 27716
875.19/877.62 c #Conflicts: 543000 | #Constraints: 28716
875.19/877.62 c #Conflicts: 544000 | #Constraints: 29716
875.19/877.62 c #Conflicts: 545000 | #Constraints: 30716
875.19/877.62 c #Conflicts: 546000 | #Constraints: 31716
875.19/877.62 c INPROCESSING
875.19/877.62 c GARBAGE COLLECT
875.19/877.62 c #Conflicts: 547000 | #Constraints: 18109
875.19/877.62 c #Conflicts: 548000 | #Constraints: 19109
875.19/877.62 c #Conflicts: 549000 | #Constraints: 20109
875.19/877.62 c #Conflicts: 550000 | #Constraints: 21109
875.19/877.62 c #Conflicts: 551000 | #Constraints: 22109
875.19/877.62 c #Conflicts: 552000 | #Constraints: 23109
875.19/877.62 c #Conflicts: 553000 | #Constraints: 24109
875.19/877.62 c #Conflicts: 554000 | #Constraints: 25109
875.19/877.62 c #Conflicts: 555000 | #Constraints: 26109
875.19/877.62 c #Conflicts: 556000 | #Constraints: 27109
875.19/877.62 c #Conflicts: 557000 | #Constraints: 28109
875.19/877.62 c #Conflicts: 558000 | #Constraints: 29109
875.19/877.62 c #Conflicts: 559000 | #Constraints: 30109
875.19/877.62 c #Conflicts: 560000 | #Constraints: 31109
875.19/877.62 c #Conflicts: 561000 | #Constraints: 32109
875.19/877.62 c INPROCESSING
875.19/877.62 c GARBAGE COLLECT
875.19/877.62 c #Conflicts: 562000 | #Constraints: 18316
875.19/877.62 c #Conflicts: 563000 | #Constraints: 19316
875.19/877.62 c #Conflicts: 564000 | #Constraints: 20316
875.19/877.62 c #Conflicts: 565000 | #Constraints: 21316
875.19/877.62 c #Conflicts: 566000 | #Constraints: 22316
875.19/877.62 c #Conflicts: 567000 | #Constraints: 23316
875.19/877.62 c #Conflicts: 568000 | #Constraints: 24316
875.19/877.62 c #Conflicts: 569000 | #Constraints: 25316
875.19/877.62 c #Conflicts: 570000 | #Constraints: 26316
875.19/877.62 c #Conflicts: 571000 | #Constraints: 27316
875.19/877.62 c #Conflicts: 572000 | #Constraints: 28316
875.19/877.62 c #Conflicts: 573000 | #Constraints: 29316
875.19/877.62 c #Conflicts: 574000 | #Constraints: 30316
875.19/877.62 c #Conflicts: 575000 | #Constraints: 31316
875.19/877.62 c #Conflicts: 576000 | #Constraints: 32316
875.19/877.62 c INPROCESSING
875.19/877.62 c GARBAGE COLLECT
875.19/877.62 c #Conflicts: 577000 | #Constraints: 18314
875.19/877.62 c #Conflicts: 578000 | #Constraints: 19314
875.19/877.62 c #Conflicts: 579000 | #Constraints: 20314
875.19/877.62 c #Conflicts: 580000 | #Constraints: 21314
875.19/877.62 c #Conflicts: 581000 | #Constraints: 22314
875.19/877.62 c #Conflicts: 582000 | #Constraints: 23314
875.19/877.62 c #Conflicts: 583000 | #Constraints: 24314
875.19/877.62 c #Conflicts: 584000 | #Constraints: 25314
875.19/877.62 c #Conflicts: 585000 | #Constraints: 26314
875.19/877.62 c #Conflicts: 586000 | #Constraints: 27314
875.19/877.62 c #Conflicts: 587000 | #Constraints: 28314
875.19/877.62 c #Conflicts: 588000 | #Constraints: 29314
992.79/995.51 c #Conflicts: 589000 | #Constraints: 30314
992.79/995.51 c #Conflicts: 590000 | #Constraints: 31314
992.79/995.51 c #Conflicts: 591000 | #Constraints: 32314
992.79/995.51 c INPROCESSING
992.79/995.51 c GARBAGE COLLECT
992.79/995.51 c #Conflicts: 592000 | #Constraints: 18120
992.79/995.51 c #Conflicts: 593000 | #Constraints: 19120
992.79/995.51 c #Conflicts: 594000 | #Constraints: 20120
992.79/995.51 c #Conflicts: 595000 | #Constraints: 21120
992.79/995.51 c #Conflicts: 596000 | #Constraints: 22120
992.79/995.51 c #Conflicts: 597000 | #Constraints: 23120
992.79/995.51 c #Conflicts: 598000 | #Constraints: 24120
992.79/995.51 c #Conflicts: 599000 | #Constraints: 25120
992.79/995.51 c #Conflicts: 600000 | #Constraints: 26120
992.79/995.51 c #Conflicts: 601000 | #Constraints: 27120
992.79/995.51 c #Conflicts: 602000 | #Constraints: 28120
992.79/995.51 c #Conflicts: 603000 | #Constraints: 29120
992.79/995.51 c #Conflicts: 604000 | #Constraints: 30120
992.79/995.51 c #Conflicts: 605000 | #Constraints: 31120
992.79/995.51 c #Conflicts: 606000 | #Constraints: 32120
992.79/995.51 c #Conflicts: 607000 | #Constraints: 33120
992.79/995.51 c INPROCESSING
992.79/995.51 c GARBAGE COLLECT
992.79/995.51 c #Conflicts: 608000 | #Constraints: 18714
992.79/995.51 c #Conflicts: 609000 | #Constraints: 19714
992.79/995.51 c #Conflicts: 610000 | #Constraints: 20714
992.79/995.51 c #Conflicts: 611000 | #Constraints: 21714
992.79/995.51 c #Conflicts: 612000 | #Constraints: 22714
992.79/995.51 c #Conflicts: 613000 | #Constraints: 23714
992.79/995.51 c #Conflicts: 614000 | #Constraints: 24714
992.79/995.51 c #Conflicts: 615000 | #Constraints: 25714
992.79/995.51 c #Conflicts: 616000 | #Constraints: 26714
992.79/995.51 c #Conflicts: 617000 | #Constraints: 27714
992.79/995.51 c #Conflicts: 618000 | #Constraints: 28714
992.79/995.51 c #Conflicts: 619000 | #Constraints: 29714
992.79/995.51 c #Conflicts: 620000 | #Constraints: 30714
992.79/995.51 c #Conflicts: 621000 | #Constraints: 31714
992.79/995.51 c #Conflicts: 622000 | #Constraints: 32714
992.79/995.51 c #Conflicts: 623000 | #Constraints: 33714
992.79/995.51 c INPROCESSING
992.79/995.51 c GARBAGE COLLECT
992.79/995.51 c #Conflicts: 624000 | #Constraints: 19123
992.79/995.51 c #Conflicts: 625000 | #Constraints: 20123
992.79/995.51 c #Conflicts: 626000 | #Constraints: 21123
992.79/995.51 c #Conflicts: 627000 | #Constraints: 22123
992.79/995.51 c #Conflicts: 628000 | #Constraints: 23123
992.79/995.51 c #Conflicts: 629000 | #Constraints: 24123
992.79/995.51 c #Conflicts: 630000 | #Constraints: 25123
992.79/995.51 c #Conflicts: 631000 | #Constraints: 26123
992.79/995.51 c #Conflicts: 632000 | #Constraints: 27123
992.79/995.51 c #Conflicts: 633000 | #Constraints: 28123
992.79/995.51 c #Conflicts: 634000 | #Constraints: 29123
992.79/995.51 c #Conflicts: 635000 | #Constraints: 30123
992.79/995.51 c #Conflicts: 636000 | #Constraints: 31123
992.79/995.51 c #Conflicts: 637000 | #Constraints: 32123
992.79/995.51 c #Conflicts: 638000 | #Constraints: 33123
992.79/995.51 c #Conflicts: 639000 | #Constraints: 34123
992.79/995.51 c INPROCESSING
992.79/995.51 c GARBAGE COLLECT
992.79/995.51 c #Conflicts: 640000 | #Constraints: 19318
992.79/995.51 c #Conflicts: 641000 | #Constraints: 20318
992.79/995.51 c #Conflicts: 642000 | #Constraints: 21318
992.79/995.51 c #Conflicts: 643000 | #Constraints: 22318
992.79/995.51 c #Conflicts: 644000 | #Constraints: 23318
992.79/995.51 c #Conflicts: 645000 | #Constraints: 24318
992.79/995.51 c #Conflicts: 646000 | #Constraints: 25318
992.79/995.51 c #Conflicts: 647000 | #Constraints: 26318
992.79/995.51 c #Conflicts: 648000 | #Constraints: 27318
992.79/995.51 c #Conflicts: 649000 | #Constraints: 28318
992.79/995.51 c #Conflicts: 650000 | #Constraints: 29318
992.79/995.51 c #Conflicts: 651000 | #Constraints: 30318
992.79/995.51 c #Conflicts: 652000 | #Constraints: 31318
992.79/995.51 c #Conflicts: 653000 | #Constraints: 32318
992.79/995.51 c #Conflicts: 654000 | #Constraints: 33318
992.79/995.51 c #Conflicts: 655000 | #Constraints: 34318
992.79/995.51 c INPROCESSING
992.79/995.51 c GARBAGE COLLECT
992.79/995.51 c #Conflicts: 656000 | #Constraints: 19316
992.79/995.51 c #Conflicts: 657000 | #Constraints: 20316
992.79/995.51 c #Conflicts: 658000 | #Constraints: 21316
992.79/995.51 c #Conflicts: 659000 | #Constraints: 22316
992.79/995.51 c #Conflicts: 660000 | #Constraints: 23316
992.79/995.51 c #Conflicts: 661000 | #Constraints: 24316
992.79/995.51 c #Conflicts: 662000 | #Constraints: 25316
992.79/995.51 c #Conflicts: 663000 | #Constraints: 26316
992.79/995.51 c #Conflicts: 664000 | #Constraints: 27316
1121.27/1124.37 c #Conflicts: 665000 | #Constraints: 28316
1121.27/1124.37 c #Conflicts: 666000 | #Constraints: 29316
1121.27/1124.37 c #Conflicts: 667000 | #Constraints: 30316
1121.27/1124.37 c #Conflicts: 668000 | #Constraints: 31316
1121.27/1124.37 c #Conflicts: 669000 | #Constraints: 32316
1121.27/1124.37 c #Conflicts: 670000 | #Constraints: 33316
1121.27/1124.37 c #Conflicts: 671000 | #Constraints: 34316
1121.27/1124.37 c INPROCESSING
1121.27/1124.37 c GARBAGE COLLECT
1121.27/1124.37 c #Conflicts: 672000 | #Constraints: 19109
1121.27/1124.37 c #Conflicts: 673000 | #Constraints: 20109
1121.27/1124.37 c #Conflicts: 674000 | #Constraints: 21109
1121.27/1124.37 c #Conflicts: 675000 | #Constraints: 22109
1121.27/1124.37 c #Conflicts: 676000 | #Constraints: 23109
1121.27/1124.37 c #Conflicts: 677000 | #Constraints: 24109
1121.27/1124.37 c #Conflicts: 678000 | #Constraints: 25109
1121.27/1124.37 c #Conflicts: 679000 | #Constraints: 26109
1121.27/1124.37 c #Conflicts: 680000 | #Constraints: 27109
1121.27/1124.37 c #Conflicts: 681000 | #Constraints: 28109
1121.27/1124.37 c #Conflicts: 682000 | #Constraints: 29109
1121.27/1124.37 c #Conflicts: 683000 | #Constraints: 30109
1121.27/1124.37 c #Conflicts: 684000 | #Constraints: 31109
1121.27/1124.37 c #Conflicts: 685000 | #Constraints: 32109
1121.27/1124.37 c #Conflicts: 686000 | #Constraints: 33109
1121.27/1124.37 c #Conflicts: 687000 | #Constraints: 34109
1121.27/1124.37 c #Conflicts: 688000 | #Constraints: 35109
1121.27/1124.37 c INPROCESSING
1121.27/1124.37 c GARBAGE COLLECT
1121.27/1124.37 c #Conflicts: 689000 | #Constraints: 19715
1121.27/1124.37 c #Conflicts: 690000 | #Constraints: 20715
1121.27/1124.37 c #Conflicts: 691000 | #Constraints: 21715
1121.27/1124.37 c #Conflicts: 692000 | #Constraints: 22715
1121.27/1124.37 c #Conflicts: 693000 | #Constraints: 23715
1121.27/1124.37 c #Conflicts: 694000 | #Constraints: 24715
1121.27/1124.37 c #Conflicts: 695000 | #Constraints: 25715
1121.27/1124.37 c #Conflicts: 696000 | #Constraints: 26715
1121.27/1124.37 c #Conflicts: 697000 | #Constraints: 27715
1121.27/1124.37 c #Conflicts: 698000 | #Constraints: 28715
1121.27/1124.37 c #Conflicts: 699000 | #Constraints: 29715
1121.27/1124.37 c #Conflicts: 700000 | #Constraints: 30715
1121.27/1124.37 c #Conflicts: 701000 | #Constraints: 31715
1121.27/1124.37 c #Conflicts: 702000 | #Constraints: 32715
1121.27/1124.37 c #Conflicts: 703000 | #Constraints: 33715
1121.27/1124.37 c #Conflicts: 704000 | #Constraints: 34715
1121.27/1124.37 c #Conflicts: 705000 | #Constraints: 35715
1121.27/1124.37 c INPROCESSING
1121.27/1124.37 c GARBAGE COLLECT
1121.27/1124.37 c #Conflicts: 706000 | #Constraints: 20110
1121.27/1124.37 c #Conflicts: 707000 | #Constraints: 21110
1121.27/1124.37 c #Conflicts: 708000 | #Constraints: 22110
1121.27/1124.37 c #Conflicts: 709000 | #Constraints: 23110
1121.27/1124.37 c #Conflicts: 710000 | #Constraints: 24110
1121.27/1124.37 c #Conflicts: 711000 | #Constraints: 25110
1121.27/1124.37 c #Conflicts: 712000 | #Constraints: 26110
1121.27/1124.37 c #Conflicts: 713000 | #Constraints: 27110
1121.27/1124.37 c #Conflicts: 714000 | #Constraints: 28110
1121.27/1124.37 c #Conflicts: 715000 | #Constraints: 29110
1121.27/1124.37 c #Conflicts: 716000 | #Constraints: 30110
1121.27/1124.37 c #Conflicts: 717000 | #Constraints: 31110
1121.27/1124.37 c #Conflicts: 718000 | #Constraints: 32110
1121.27/1124.37 c #Conflicts: 719000 | #Constraints: 33110
1121.27/1124.37 c #Conflicts: 720000 | #Constraints: 34110
1121.27/1124.37 c #Conflicts: 721000 | #Constraints: 35110
1121.27/1124.37 c #Conflicts: 722000 | #Constraints: 36110
1121.27/1124.37 c INPROCESSING
1121.27/1124.37 c GARBAGE COLLECT
1121.27/1124.37 c #Conflicts: 723000 | #Constraints: 20304
1121.27/1124.37 c #Conflicts: 724000 | #Constraints: 21304
1121.27/1124.37 c #Conflicts: 725000 | #Constraints: 22304
1121.27/1124.37 c #Conflicts: 726000 | #Constraints: 23304
1121.27/1124.37 c #Conflicts: 727000 | #Constraints: 24304
1121.27/1124.37 c #Conflicts: 728000 | #Constraints: 25304
1121.27/1124.37 c #Conflicts: 729000 | #Constraints: 26304
1121.27/1124.37 c #Conflicts: 730000 | #Constraints: 27304
1121.27/1124.37 c #Conflicts: 731000 | #Constraints: 28304
1121.27/1124.37 c #Conflicts: 732000 | #Constraints: 29304
1121.27/1124.37 c #Conflicts: 733000 | #Constraints: 30304
1121.27/1124.37 c #Conflicts: 734000 | #Constraints: 31304
1121.27/1124.37 c #Conflicts: 735000 | #Constraints: 32304
1121.27/1124.37 c #Conflicts: 736000 | #Constraints: 33304
1121.27/1124.37 c #Conflicts: 737000 | #Constraints: 34304
1121.27/1124.37 c #Conflicts: 738000 | #Constraints: 35304
1121.27/1124.37 c #Conflicts: 739000 | #Constraints: 36304
1121.27/1124.37 c INPROCESSING
1121.27/1124.37 c GARBAGE COLLECT
1258.10/1261.54 c #Conflicts: 740000 | #Constraints: 20310
1258.10/1261.54 c #Conflicts: 741000 | #Constraints: 21310
1258.10/1261.54 c #Conflicts: 742000 | #Constraints: 22310
1258.10/1261.54 c #Conflicts: 743000 | #Constraints: 23310
1258.10/1261.54 c #Conflicts: 744000 | #Constraints: 24310
1258.10/1261.54 c #Conflicts: 745000 | #Constraints: 25310
1258.10/1261.54 c #Conflicts: 746000 | #Constraints: 26310
1258.10/1261.54 c #Conflicts: 747000 | #Constraints: 27310
1258.10/1261.54 c #Conflicts: 748000 | #Constraints: 28310
1258.10/1261.54 c #Conflicts: 749000 | #Constraints: 29310
1258.10/1261.54 c #Conflicts: 750000 | #Constraints: 30310
1258.10/1261.54 c #Conflicts: 751000 | #Constraints: 31310
1258.10/1261.54 c #Conflicts: 752000 | #Constraints: 32310
1258.10/1261.54 c #Conflicts: 753000 | #Constraints: 33310
1258.10/1261.54 c #Conflicts: 754000 | #Constraints: 34310
1258.10/1261.54 c #Conflicts: 755000 | #Constraints: 35310
1258.10/1261.54 c #Conflicts: 756000 | #Constraints: 36310
1258.10/1261.54 c INPROCESSING
1258.10/1261.54 c GARBAGE COLLECT
1258.10/1261.54 c #Conflicts: 757000 | #Constraints: 20116
1258.10/1261.54 c #Conflicts: 758000 | #Constraints: 21116
1258.10/1261.54 c #Conflicts: 759000 | #Constraints: 22116
1258.10/1261.54 c #Conflicts: 760000 | #Constraints: 23116
1258.10/1261.54 c #Conflicts: 761000 | #Constraints: 24116
1258.10/1261.54 c #Conflicts: 762000 | #Constraints: 25116
1258.10/1261.54 c #Conflicts: 763000 | #Constraints: 26116
1258.10/1261.54 c #Conflicts: 764000 | #Constraints: 27116
1258.10/1261.54 c #Conflicts: 765000 | #Constraints: 28116
1258.10/1261.54 c #Conflicts: 766000 | #Constraints: 29116
1258.10/1261.54 c #Conflicts: 767000 | #Constraints: 30116
1258.10/1261.54 c #Conflicts: 768000 | #Constraints: 31116
1258.10/1261.54 c #Conflicts: 769000 | #Constraints: 32116
1258.10/1261.54 c #Conflicts: 770000 | #Constraints: 33116
1258.10/1261.54 c #Conflicts: 771000 | #Constraints: 34116
1258.10/1261.54 c #Conflicts: 772000 | #Constraints: 35116
1258.10/1261.54 c #Conflicts: 773000 | #Constraints: 36116
1258.10/1261.54 c #Conflicts: 774000 | #Constraints: 37116
1258.10/1261.54 c INPROCESSING
1258.10/1261.54 c GARBAGE COLLECT
1258.10/1261.54 c #Conflicts: 775000 | #Constraints: 20716
1258.10/1261.54 c #Conflicts: 776000 | #Constraints: 21716
1258.10/1261.54 c #Conflicts: 777000 | #Constraints: 22716
1258.10/1261.54 c #Conflicts: 778000 | #Constraints: 23716
1258.10/1261.54 c #Conflicts: 779000 | #Constraints: 24716
1258.10/1261.54 c #Conflicts: 780000 | #Constraints: 25716
1258.10/1261.54 c #Conflicts: 781000 | #Constraints: 26716
1258.10/1261.54 c #Conflicts: 782000 | #Constraints: 27716
1258.10/1261.54 c #Conflicts: 783000 | #Constraints: 28716
1258.10/1261.54 c #Conflicts: 784000 | #Constraints: 29716
1258.10/1261.54 c #Conflicts: 785000 | #Constraints: 30716
1258.10/1261.54 c #Conflicts: 786000 | #Constraints: 31716
1258.10/1261.54 c #Conflicts: 787000 | #Constraints: 32716
1258.10/1261.54 c #Conflicts: 788000 | #Constraints: 33716
1258.10/1261.54 c #Conflicts: 789000 | #Constraints: 34716
1258.10/1261.54 c #Conflicts: 790000 | #Constraints: 35716
1258.10/1261.54 c #Conflicts: 791000 | #Constraints: 36716
1258.10/1261.54 c #Conflicts: 792000 | #Constraints: 37716
1258.10/1261.54 c INPROCESSING
1258.10/1261.54 c GARBAGE COLLECT
1258.10/1261.54 c #Conflicts: 793000 | #Constraints: 21115
1258.10/1261.54 c #Conflicts: 794000 | #Constraints: 22115
1258.10/1261.54 c #Conflicts: 795000 | #Constraints: 23115
1258.10/1261.54 c #Conflicts: 796000 | #Constraints: 24115
1258.10/1261.54 c #Conflicts: 797000 | #Constraints: 25115
1258.10/1261.54 c #Conflicts: 798000 | #Constraints: 26115
1258.10/1261.54 c #Conflicts: 799000 | #Constraints: 27115
1258.10/1261.54 c #Conflicts: 800000 | #Constraints: 28115
1258.10/1261.54 c #Conflicts: 801000 | #Constraints: 29115
1258.10/1261.54 c #Conflicts: 802000 | #Constraints: 30115
1258.10/1261.54 c #Conflicts: 803000 | #Constraints: 31115
1258.10/1261.54 c #Conflicts: 804000 | #Constraints: 32115
1258.10/1261.54 c #Conflicts: 805000 | #Constraints: 33115
1258.10/1261.54 c #Conflicts: 806000 | #Constraints: 34115
1258.10/1261.54 c #Conflicts: 807000 | #Constraints: 35115
1258.10/1261.54 c #Conflicts: 808000 | #Constraints: 36115
1258.10/1261.54 c #Conflicts: 809000 | #Constraints: 37115
1258.10/1261.54 c #Conflicts: 810000 | #Constraints: 38115
1258.10/1261.54 c INPROCESSING
1258.10/1261.54 c GARBAGE COLLECT
1258.10/1261.54 c #Conflicts: 811000 | #Constraints: 21317
1258.10/1261.54 c #Conflicts: 812000 | #Constraints: 22317
1258.10/1261.54 c #Conflicts: 813000 | #Constraints: 23317
1258.10/1261.54 c #Conflicts: 814000 | #Constraints: 24317
1258.10/1261.54 c #Conflicts: 815000 | #Constraints: 25317
1258.10/1261.54 c #Conflicts: 816000 | #Constraints: 26317
1404.02/1407.88 c #Conflicts: 817000 | #Constraints: 27317
1404.02/1407.88 c #Conflicts: 818000 | #Constraints: 28317
1404.02/1407.88 c #Conflicts: 819000 | #Constraints: 29317
1404.02/1407.88 c #Conflicts: 820000 | #Constraints: 30317
1404.02/1407.88 c #Conflicts: 821000 | #Constraints: 31317
1404.02/1407.88 c #Conflicts: 822000 | #Constraints: 32317
1404.02/1407.88 c #Conflicts: 823000 | #Constraints: 33317
1404.02/1407.88 c #Conflicts: 824000 | #Constraints: 34317
1404.02/1407.88 c #Conflicts: 825000 | #Constraints: 35317
1404.02/1407.88 c #Conflicts: 826000 | #Constraints: 36317
1404.02/1407.88 c #Conflicts: 827000 | #Constraints: 37317
1404.02/1407.88 c #Conflicts: 828000 | #Constraints: 38317
1404.02/1407.88 c INPROCESSING
1404.02/1407.88 c GARBAGE COLLECT
1404.02/1407.88 c #Conflicts: 829000 | #Constraints: 21312
1404.02/1407.88 c #Conflicts: 830000 | #Constraints: 22312
1404.02/1407.88 c #Conflicts: 831000 | #Constraints: 23312
1404.02/1407.88 c #Conflicts: 832000 | #Constraints: 24312
1404.02/1407.88 c #Conflicts: 833000 | #Constraints: 25312
1404.02/1407.88 c #Conflicts: 834000 | #Constraints: 26312
1404.02/1407.88 c #Conflicts: 835000 | #Constraints: 27312
1404.02/1407.88 c #Conflicts: 836000 | #Constraints: 28312
1404.02/1407.88 c #Conflicts: 837000 | #Constraints: 29312
1404.02/1407.88 c #Conflicts: 838000 | #Constraints: 30312
1404.02/1407.88 c #Conflicts: 839000 | #Constraints: 31312
1404.02/1407.88 c #Conflicts: 840000 | #Constraints: 32312
1404.02/1407.88 c #Conflicts: 841000 | #Constraints: 33312
1404.02/1407.88 c #Conflicts: 842000 | #Constraints: 34312
1404.02/1407.88 c #Conflicts: 843000 | #Constraints: 35312
1404.02/1407.88 c #Conflicts: 844000 | #Constraints: 36312
1404.02/1407.88 c #Conflicts: 845000 | #Constraints: 37312
1404.02/1407.88 c #Conflicts: 846000 | #Constraints: 38312
1404.02/1407.88 c INPROCESSING
1404.02/1407.88 c GARBAGE COLLECT
1404.02/1407.88 c #Conflicts: 847000 | #Constraints: 21119
1404.02/1407.88 c #Conflicts: 848000 | #Constraints: 22119
1404.02/1407.88 c #Conflicts: 849000 | #Constraints: 23119
1404.02/1407.88 c #Conflicts: 850000 | #Constraints: 24119
1404.02/1407.88 c #Conflicts: 851000 | #Constraints: 25119
1404.02/1407.88 c #Conflicts: 852000 | #Constraints: 26119
1404.02/1407.88 c #Conflicts: 853000 | #Constraints: 27119
1404.02/1407.88 c #Conflicts: 854000 | #Constraints: 28119
1404.02/1407.88 c #Conflicts: 855000 | #Constraints: 29119
1404.02/1407.88 c #Conflicts: 856000 | #Constraints: 30119
1404.02/1407.88 c #Conflicts: 857000 | #Constraints: 31119
1404.02/1407.88 c #Conflicts: 858000 | #Constraints: 32119
1404.02/1407.88 c #Conflicts: 859000 | #Constraints: 33119
1404.02/1407.88 c #Conflicts: 860000 | #Constraints: 34119
1404.02/1407.88 c #Conflicts: 861000 | #Constraints: 35119
1404.02/1407.88 c #Conflicts: 862000 | #Constraints: 36119
1404.02/1407.88 c #Conflicts: 863000 | #Constraints: 37119
1404.02/1407.88 c #Conflicts: 864000 | #Constraints: 38119
1404.02/1407.88 c #Conflicts: 865000 | #Constraints: 39119
1404.02/1407.88 c INPROCESSING
1404.02/1407.88 c GARBAGE COLLECT
1404.02/1407.88 c #Conflicts: 866000 | #Constraints: 21722
1404.02/1407.88 c #Conflicts: 867000 | #Constraints: 22722
1404.02/1407.88 c #Conflicts: 868000 | #Constraints: 23722
1404.02/1407.88 c #Conflicts: 869000 | #Constraints: 24722
1404.02/1407.88 c #Conflicts: 870000 | #Constraints: 25722
1404.02/1407.88 c #Conflicts: 871000 | #Constraints: 26722
1404.02/1407.88 c #Conflicts: 872000 | #Constraints: 27722
1404.02/1407.88 c #Conflicts: 873000 | #Constraints: 28722
1404.02/1407.88 c #Conflicts: 874000 | #Constraints: 29722
1404.02/1407.88 c #Conflicts: 875000 | #Constraints: 30722
1404.02/1407.88 c #Conflicts: 876000 | #Constraints: 31722
1404.02/1407.88 c #Conflicts: 877000 | #Constraints: 32722
1404.02/1407.88 c #Conflicts: 878000 | #Constraints: 33722
1404.02/1407.88 c #Conflicts: 879000 | #Constraints: 34722
1404.02/1407.88 c #Conflicts: 880000 | #Constraints: 35722
1404.02/1407.88 c #Conflicts: 881000 | #Constraints: 36722
1404.02/1407.88 c #Conflicts: 882000 | #Constraints: 37722
1404.02/1407.88 c #Conflicts: 883000 | #Constraints: 38722
1404.02/1407.88 c #Conflicts: 884000 | #Constraints: 39722
1404.02/1407.88 c INPROCESSING
1404.02/1407.88 c GARBAGE COLLECT
1404.02/1407.88 c #Conflicts: 885000 | #Constraints: 22125
1404.02/1407.88 c #Conflicts: 886000 | #Constraints: 23125
1404.02/1407.88 c #Conflicts: 887000 | #Constraints: 24125
1404.02/1407.88 c #Conflicts: 888000 | #Constraints: 25125
1404.02/1407.88 c #Conflicts: 889000 | #Constraints: 26125
1404.02/1407.88 c #Conflicts: 890000 | #Constraints: 27125
1404.02/1407.88 c #Conflicts: 891000 | #Constraints: 28125
1404.02/1407.88 c #Conflicts: 892000 | #Constraints: 29125
1563.51/1567.74 c #Conflicts: 893000 | #Constraints: 30125
1563.51/1567.74 c #Conflicts: 894000 | #Constraints: 31125
1563.51/1567.74 c #Conflicts: 895000 | #Constraints: 32125
1563.51/1567.74 c #Conflicts: 896000 | #Constraints: 33125
1563.51/1567.74 c #Conflicts: 897000 | #Constraints: 34125
1563.51/1567.74 c #Conflicts: 898000 | #Constraints: 35125
1563.51/1567.74 c #Conflicts: 899000 | #Constraints: 36125
1563.51/1567.74 c #Conflicts: 900000 | #Constraints: 37125
1563.51/1567.74 c #Conflicts: 901000 | #Constraints: 38125
1563.51/1567.74 c #Conflicts: 902000 | #Constraints: 39125
1563.51/1567.74 c #Conflicts: 903000 | #Constraints: 40125
1563.51/1567.74 c INPROCESSING
1563.51/1567.74 c GARBAGE COLLECT
1563.51/1567.74 c #Conflicts: 904000 | #Constraints: 22322
1563.51/1567.74 c #Conflicts: 905000 | #Constraints: 23322
1563.51/1567.74 c #Conflicts: 906000 | #Constraints: 24322
1563.51/1567.74 c #Conflicts: 907000 | #Constraints: 25322
1563.51/1567.74 c #Conflicts: 908000 | #Constraints: 26322
1563.51/1567.74 c #Conflicts: 909000 | #Constraints: 27322
1563.51/1567.74 c #Conflicts: 910000 | #Constraints: 28322
1563.51/1567.74 c #Conflicts: 911000 | #Constraints: 29322
1563.51/1567.74 c #Conflicts: 912000 | #Constraints: 30322
1563.51/1567.74 c #Conflicts: 913000 | #Constraints: 31322
1563.51/1567.74 c #Conflicts: 914000 | #Constraints: 32322
1563.51/1567.74 c #Conflicts: 915000 | #Constraints: 33322
1563.51/1567.74 c #Conflicts: 916000 | #Constraints: 34322
1563.51/1567.74 c #Conflicts: 917000 | #Constraints: 35322
1563.51/1567.74 c #Conflicts: 918000 | #Constraints: 36322
1563.51/1567.74 c #Conflicts: 919000 | #Constraints: 37322
1563.51/1567.74 c #Conflicts: 920000 | #Constraints: 38322
1563.51/1567.74 c #Conflicts: 921000 | #Constraints: 39322
1563.51/1567.74 c #Conflicts: 922000 | #Constraints: 40322
1563.51/1567.74 c INPROCESSING
1563.51/1567.74 c GARBAGE COLLECT
1563.51/1567.74 c #Conflicts: 923000 | #Constraints: 22322
1563.51/1567.74 c #Conflicts: 924000 | #Constraints: 23322
1563.51/1567.74 c #Conflicts: 925000 | #Constraints: 24322
1563.51/1567.74 c #Conflicts: 926000 | #Constraints: 25322
1563.51/1567.74 c #Conflicts: 927000 | #Constraints: 26322
1563.51/1567.74 c #Conflicts: 928000 | #Constraints: 27322
1563.51/1567.74 c #Conflicts: 929000 | #Constraints: 28322
1563.51/1567.74 c #Conflicts: 930000 | #Constraints: 29322
1563.51/1567.74 c #Conflicts: 931000 | #Constraints: 30322
1563.51/1567.74 c #Conflicts: 932000 | #Constraints: 31322
1563.51/1567.74 c #Conflicts: 933000 | #Constraints: 32322
1563.51/1567.74 c #Conflicts: 934000 | #Constraints: 33322
1563.51/1567.74 c #Conflicts: 935000 | #Constraints: 34322
1563.51/1567.74 c #Conflicts: 936000 | #Constraints: 35322
1563.51/1567.74 c #Conflicts: 937000 | #Constraints: 36322
1563.51/1567.74 c #Conflicts: 938000 | #Constraints: 37322
1563.51/1567.74 c #Conflicts: 939000 | #Constraints: 38322
1563.51/1567.74 c #Conflicts: 940000 | #Constraints: 39322
1563.51/1567.74 c #Conflicts: 941000 | #Constraints: 40322
1563.51/1567.74 c INPROCESSING
1563.51/1567.74 c GARBAGE COLLECT
1563.51/1567.74 c #Conflicts: 942000 | #Constraints: 22113
1563.51/1567.74 c #Conflicts: 943000 | #Constraints: 23113
1563.51/1567.74 c #Conflicts: 944000 | #Constraints: 24113
1563.51/1567.74 c #Conflicts: 945000 | #Constraints: 25113
1563.51/1567.74 c #Conflicts: 946000 | #Constraints: 26113
1563.51/1567.74 c #Conflicts: 947000 | #Constraints: 27113
1563.51/1567.74 c #Conflicts: 948000 | #Constraints: 28113
1563.51/1567.74 c #Conflicts: 949000 | #Constraints: 29113
1563.51/1567.74 c #Conflicts: 950000 | #Constraints: 30113
1563.51/1567.74 c #Conflicts: 951000 | #Constraints: 31113
1563.51/1567.74 c #Conflicts: 952000 | #Constraints: 32113
1563.51/1567.74 c #Conflicts: 953000 | #Constraints: 33113
1563.51/1567.74 c #Conflicts: 954000 | #Constraints: 34113
1563.51/1567.74 c #Conflicts: 955000 | #Constraints: 35113
1563.51/1567.74 c #Conflicts: 956000 | #Constraints: 36113
1563.51/1567.74 c #Conflicts: 957000 | #Constraints: 37113
1563.51/1567.74 c #Conflicts: 958000 | #Constraints: 38113
1563.51/1567.74 c #Conflicts: 959000 | #Constraints: 39113
1563.51/1567.74 c #Conflicts: 960000 | #Constraints: 40113
1563.51/1567.74 c #Conflicts: 961000 | #Constraints: 41113
1563.51/1567.74 c INPROCESSING
1563.51/1567.74 c GARBAGE COLLECT
1563.51/1567.74 c #Conflicts: 962000 | #Constraints: 22713
1563.51/1567.74 c #Conflicts: 963000 | #Constraints: 23713
1563.51/1567.74 c #Conflicts: 964000 | #Constraints: 24713
1563.51/1567.74 c #Conflicts: 965000 | #Constraints: 25713
1563.51/1567.74 c #Conflicts: 966000 | #Constraints: 26713
1563.51/1567.74 c #Conflicts: 967000 | #Constraints: 27713
1563.51/1567.74 c #Conflicts: 968000 | #Constraints: 28713
1729.97/1734.63 c #Conflicts: 969000 | #Constraints: 29713
1729.97/1734.63 c #Conflicts: 970000 | #Constraints: 30713
1729.97/1734.63 c #Conflicts: 971000 | #Constraints: 31713
1729.97/1734.63 c #Conflicts: 972000 | #Constraints: 32713
1729.97/1734.63 c #Conflicts: 973000 | #Constraints: 33713
1729.97/1734.63 c #Conflicts: 974000 | #Constraints: 34713
1729.97/1734.63 c #Conflicts: 975000 | #Constraints: 35713
1729.97/1734.63 c #Conflicts: 976000 | #Constraints: 36713
1729.97/1734.63 c #Conflicts: 977000 | #Constraints: 37713
1729.97/1734.63 c #Conflicts: 978000 | #Constraints: 38713
1729.97/1734.63 c #Conflicts: 979000 | #Constraints: 39713
1729.97/1734.63 c #Conflicts: 980000 | #Constraints: 40713
1729.97/1734.63 c #Conflicts: 981000 | #Constraints: 41713
1729.97/1734.63 c INPROCESSING
1729.97/1734.63 c GARBAGE COLLECT
1729.97/1734.63 c #Conflicts: 982000 | #Constraints: 23114
1729.97/1734.63 c #Conflicts: 983000 | #Constraints: 24114
1729.97/1734.63 c #Conflicts: 984000 | #Constraints: 25114
1729.97/1734.63 c #Conflicts: 985000 | #Constraints: 26114
1729.97/1734.63 c #Conflicts: 986000 | #Constraints: 27114
1729.97/1734.63 c #Conflicts: 987000 | #Constraints: 28114
1729.97/1734.63 c #Conflicts: 988000 | #Constraints: 29114
1729.97/1734.63 c #Conflicts: 989000 | #Constraints: 30114
1729.97/1734.63 c #Conflicts: 990000 | #Constraints: 31114
1729.97/1734.63 c #Conflicts: 991000 | #Constraints: 32114
1729.97/1734.63 c #Conflicts: 992000 | #Constraints: 33114
1729.97/1734.63 c #Conflicts: 993000 | #Constraints: 34114
1729.97/1734.63 c #Conflicts: 994000 | #Constraints: 35114
1729.97/1734.63 c #Conflicts: 995000 | #Constraints: 36114
1729.97/1734.63 c #Conflicts: 996000 | #Constraints: 37114
1729.97/1734.63 c #Conflicts: 997000 | #Constraints: 38114
1729.97/1734.63 c #Conflicts: 998000 | #Constraints: 39114
1729.97/1734.63 c #Conflicts: 999000 | #Constraints: 40114
1729.97/1734.63 c #Conflicts: 1000000 | #Constraints: 41114
1729.97/1734.63 c #Conflicts: 1001000 | #Constraints: 42114
1729.97/1734.63 c INPROCESSING
1729.97/1734.63 c GARBAGE COLLECT
1729.97/1734.63 c #Conflicts: 1002000 | #Constraints: 23318
1729.97/1734.63 c #Conflicts: 1003000 | #Constraints: 24318
1729.97/1734.63 c #Conflicts: 1004000 | #Constraints: 25318
1729.97/1734.63 c #Conflicts: 1005000 | #Constraints: 26318
1729.97/1734.63 c #Conflicts: 1006000 | #Constraints: 27318
1729.97/1734.63 c #Conflicts: 1007000 | #Constraints: 28318
1729.97/1734.63 c #Conflicts: 1008000 | #Constraints: 29318
1729.97/1734.63 c #Conflicts: 1009000 | #Constraints: 30318
1729.97/1734.63 c #Conflicts: 1010000 | #Constraints: 31318
1729.97/1734.63 c #Conflicts: 1011000 | #Constraints: 32318
1729.97/1734.63 c #Conflicts: 1012000 | #Constraints: 33318
1729.97/1734.63 c #Conflicts: 1013000 | #Constraints: 34318
1729.97/1734.63 c #Conflicts: 1014000 | #Constraints: 35318
1729.97/1734.63 c #Conflicts: 1015000 | #Constraints: 36318
1729.97/1734.63 c #Conflicts: 1016000 | #Constraints: 37318
1729.97/1734.63 c #Conflicts: 1017000 | #Constraints: 38318
1729.97/1734.63 c #Conflicts: 1018000 | #Constraints: 39318
1729.97/1734.63 c #Conflicts: 1019000 | #Constraints: 40318
1729.97/1734.63 c #Conflicts: 1020000 | #Constraints: 41318
1729.97/1734.63 c #Conflicts: 1021000 | #Constraints: 42318
1729.97/1734.63 c INPROCESSING
1729.97/1734.63 c GARBAGE COLLECT
1729.97/1734.63 c #Conflicts: 1022000 | #Constraints: 23320
1729.97/1734.63 c #Conflicts: 1023000 | #Constraints: 24320
1729.97/1734.63 c #Conflicts: 1024000 | #Constraints: 25320
1729.97/1734.63 c #Conflicts: 1025000 | #Constraints: 26320
1729.97/1734.63 c #Conflicts: 1026000 | #Constraints: 27320
1729.97/1734.63 c #Conflicts: 1027000 | #Constraints: 28320
1729.97/1734.63 c #Conflicts: 1028000 | #Constraints: 29320
1729.97/1734.63 c #Conflicts: 1029000 | #Constraints: 30320
1729.97/1734.63 c #Conflicts: 1030000 | #Constraints: 31320
1729.97/1734.63 c #Conflicts: 1031000 | #Constraints: 32320
1729.97/1734.63 c #Conflicts: 1032000 | #Constraints: 33320
1729.97/1734.63 c #Conflicts: 1033000 | #Constraints: 34320
1729.97/1734.63 c #Conflicts: 1034000 | #Constraints: 35320
1729.97/1734.63 c #Conflicts: 1035000 | #Constraints: 36320
1729.97/1734.63 c #Conflicts: 1036000 | #Constraints: 37320
1729.97/1734.63 c #Conflicts: 1037000 | #Constraints: 38320
1729.97/1734.63 c #Conflicts: 1038000 | #Constraints: 39320
1729.97/1734.63 c #Conflicts: 1039000 | #Constraints: 40320
1729.97/1734.63 c #Conflicts: 1040000 | #Constraints: 41320
1729.97/1734.63 c #Conflicts: 1041000 | #Constraints: 42320
1729.97/1734.63 c INPROCESSING
1729.97/1734.63 c GARBAGE COLLECT
1729.97/1734.63 c #Conflicts: 1042000 | #Constraints: 23119
1729.97/1734.63 c #Conflicts: 1043000 | #Constraints: 24119
1729.97/1734.63 c #Conflicts: 1044000 | #Constraints: 25119
1910.19/1915.35 c #Conflicts: 1045000 | #Constraints: 26119
1910.19/1915.35 c #Conflicts: 1046000 | #Constraints: 27119
1910.19/1915.35 c #Conflicts: 1047000 | #Constraints: 28119
1910.19/1915.35 c #Conflicts: 1048000 | #Constraints: 29119
1910.19/1915.35 c #Conflicts: 1049000 | #Constraints: 30119
1910.19/1915.35 c #Conflicts: 1050000 | #Constraints: 31119
1910.19/1915.35 c #Conflicts: 1051000 | #Constraints: 32119
1910.19/1915.35 c #Conflicts: 1052000 | #Constraints: 33119
1910.19/1915.35 c #Conflicts: 1053000 | #Constraints: 34119
1910.19/1915.35 c #Conflicts: 1054000 | #Constraints: 35119
1910.19/1915.35 c #Conflicts: 1055000 | #Constraints: 36119
1910.19/1915.35 c #Conflicts: 1056000 | #Constraints: 37119
1910.19/1915.35 c #Conflicts: 1057000 | #Constraints: 38119
1910.19/1915.35 c #Conflicts: 1058000 | #Constraints: 39119
1910.19/1915.35 c #Conflicts: 1059000 | #Constraints: 40119
1910.19/1915.35 c #Conflicts: 1060000 | #Constraints: 41119
1910.19/1915.35 c #Conflicts: 1061000 | #Constraints: 42119
1910.19/1915.35 c #Conflicts: 1062000 | #Constraints: 43119
1910.19/1915.35 c INPROCESSING
1910.19/1915.35 c GARBAGE COLLECT
1910.19/1915.35 c #Conflicts: 1063000 | #Constraints: 23735
1910.19/1915.35 c #Conflicts: 1064000 | #Constraints: 24735
1910.19/1915.35 c #Conflicts: 1065000 | #Constraints: 25735
1910.19/1915.35 c #Conflicts: 1066000 | #Constraints: 26735
1910.19/1915.35 c #Conflicts: 1067000 | #Constraints: 27735
1910.19/1915.35 c #Conflicts: 1068000 | #Constraints: 28735
1910.19/1915.35 c #Conflicts: 1069000 | #Constraints: 29735
1910.19/1915.35 c #Conflicts: 1070000 | #Constraints: 30735
1910.19/1915.35 c #Conflicts: 1071000 | #Constraints: 31735
1910.19/1915.35 c #Conflicts: 1072000 | #Constraints: 32735
1910.19/1915.35 c #Conflicts: 1073000 | #Constraints: 33735
1910.19/1915.35 c #Conflicts: 1074000 | #Constraints: 34735
1910.19/1915.35 c #Conflicts: 1075000 | #Constraints: 35735
1910.19/1915.35 c #Conflicts: 1076000 | #Constraints: 36735
1910.19/1915.35 c #Conflicts: 1077000 | #Constraints: 37735
1910.19/1915.35 c #Conflicts: 1078000 | #Constraints: 38735
1910.19/1915.35 c #Conflicts: 1079000 | #Constraints: 39735
1910.19/1915.35 c #Conflicts: 1080000 | #Constraints: 40735
1910.19/1915.35 c #Conflicts: 1081000 | #Constraints: 41735
1910.19/1915.35 c #Conflicts: 1082000 | #Constraints: 42735
1910.19/1915.35 c #Conflicts: 1083000 | #Constraints: 43735
1910.19/1915.35 c INPROCESSING
1910.19/1915.35 c GARBAGE COLLECT
1910.19/1915.35 c #Conflicts: 1084000 | #Constraints: 24130
1910.19/1915.35 c #Conflicts: 1085000 | #Constraints: 25130
1910.19/1915.35 c #Conflicts: 1086000 | #Constraints: 26130
1910.19/1915.35 c #Conflicts: 1087000 | #Constraints: 27130
1910.19/1915.35 c #Conflicts: 1088000 | #Constraints: 28130
1910.19/1915.35 c #Conflicts: 1089000 | #Constraints: 29130
1910.19/1915.35 c #Conflicts: 1090000 | #Constraints: 30130
1910.19/1915.35 c #Conflicts: 1091000 | #Constraints: 31130
1910.19/1915.35 c #Conflicts: 1092000 | #Constraints: 32130
1910.19/1915.35 c #Conflicts: 1093000 | #Constraints: 33130
1910.19/1915.35 c #Conflicts: 1094000 | #Constraints: 34130
1910.19/1915.35 c #Conflicts: 1095000 | #Constraints: 35130
1910.19/1915.35 c #Conflicts: 1096000 | #Constraints: 36130
1910.19/1915.35 c #Conflicts: 1097000 | #Constraints: 37130
1910.19/1915.35 c #Conflicts: 1098000 | #Constraints: 38130
1910.19/1915.35 c #Conflicts: 1099000 | #Constraints: 39130
1910.19/1915.35 c #Conflicts: 1100000 | #Constraints: 40130
1910.19/1915.35 c #Conflicts: 1101000 | #Constraints: 41130
1910.19/1915.35 c #Conflicts: 1102000 | #Constraints: 42130
1910.19/1915.35 c #Conflicts: 1103000 | #Constraints: 43130
1910.19/1915.35 c #Conflicts: 1104000 | #Constraints: 44130
1910.19/1915.35 c INPROCESSING
1910.19/1915.35 c GARBAGE COLLECT
1910.19/1915.35 c #Conflicts: 1105000 | #Constraints: 24329
1910.19/1915.35 c #Conflicts: 1106000 | #Constraints: 25329
1910.19/1915.35 c #Conflicts: 1107000 | #Constraints: 26329
1910.19/1915.35 c #Conflicts: 1108000 | #Constraints: 27329
1910.19/1915.35 c #Conflicts: 1109000 | #Constraints: 28329
1910.19/1915.35 c #Conflicts: 1110000 | #Constraints: 29329
1910.19/1915.35 c #Conflicts: 1111000 | #Constraints: 30329
1910.19/1915.35 c #Conflicts: 1112000 | #Constraints: 31329
1910.19/1915.35 c #Conflicts: 1113000 | #Constraints: 32329
1910.19/1915.35 c #Conflicts: 1114000 | #Constraints: 33329
1910.19/1915.35 c #Conflicts: 1115000 | #Constraints: 34329
1910.19/1915.35 c #Conflicts: 1116000 | #Constraints: 35329
1910.19/1915.35 c #Conflicts: 1117000 | #Constraints: 36329
1910.19/1915.35 c #Conflicts: 1118000 | #Constraints: 37329
1910.19/1915.35 c #Conflicts: 1119000 | #Constraints: 38329
1910.19/1915.35 c #Conflicts: 1120000 | #Constraints: 39329
1910.19/1915.35 c #Conflicts: 1121000 | #Constraints: 40329
2093.80/2099.44 c #Conflicts: 1122000 | #Constraints: 41329
2093.80/2099.44 c #Conflicts: 1123000 | #Constraints: 42329
2093.80/2099.44 c #Conflicts: 1124000 | #Constraints: 43329
2093.80/2099.44 c #Conflicts: 1125000 | #Constraints: 44329
2093.80/2099.44 c INPROCESSING
2093.80/2099.44 c GARBAGE COLLECT
2093.80/2099.44 c #Conflicts: 1126000 | #Constraints: 24326
2093.80/2099.44 c #Conflicts: 1127000 | #Constraints: 25326
2093.80/2099.44 c #Conflicts: 1128000 | #Constraints: 26326
2093.80/2099.44 c #Conflicts: 1129000 | #Constraints: 27326
2093.80/2099.44 c #Conflicts: 1130000 | #Constraints: 28326
2093.80/2099.44 c #Conflicts: 1131000 | #Constraints: 29326
2093.80/2099.44 c #Conflicts: 1132000 | #Constraints: 30326
2093.80/2099.44 c #Conflicts: 1133000 | #Constraints: 31326
2093.80/2099.44 c #Conflicts: 1134000 | #Constraints: 32326
2093.80/2099.44 c #Conflicts: 1135000 | #Constraints: 33326
2093.80/2099.44 c #Conflicts: 1136000 | #Constraints: 34326
2093.80/2099.44 c #Conflicts: 1137000 | #Constraints: 35326
2093.80/2099.44 c #Conflicts: 1138000 | #Constraints: 36326
2093.80/2099.44 c #Conflicts: 1139000 | #Constraints: 37326
2093.80/2099.44 c #Conflicts: 1140000 | #Constraints: 38326
2093.80/2099.44 c #Conflicts: 1141000 | #Constraints: 39326
2093.80/2099.44 c #Conflicts: 1142000 | #Constraints: 40326
2093.80/2099.44 c #Conflicts: 1143000 | #Constraints: 41326
2093.80/2099.44 c #Conflicts: 1144000 | #Constraints: 42326
2093.80/2099.44 c #Conflicts: 1145000 | #Constraints: 43326
2093.80/2099.44 c #Conflicts: 1146000 | #Constraints: 44326
2093.80/2099.44 c INPROCESSING
2093.80/2099.44 c GARBAGE COLLECT
2093.80/2099.44 c #Conflicts: 1147000 | #Constraints: 24122
2093.80/2099.44 c #Conflicts: 1148000 | #Constraints: 25122
2093.80/2099.44 c #Conflicts: 1149000 | #Constraints: 26122
2093.80/2099.44 c #Conflicts: 1150000 | #Constraints: 27122
2093.80/2099.44 c #Conflicts: 1151000 | #Constraints: 28122
2093.80/2099.44 c #Conflicts: 1152000 | #Constraints: 29122
2093.80/2099.44 c #Conflicts: 1153000 | #Constraints: 30122
2093.80/2099.44 c #Conflicts: 1154000 | #Constraints: 31122
2093.80/2099.44 c #Conflicts: 1155000 | #Constraints: 32122
2093.80/2099.44 c #Conflicts: 1156000 | #Constraints: 33122
2093.80/2099.44 c #Conflicts: 1157000 | #Constraints: 34122
2093.80/2099.44 c #Conflicts: 1158000 | #Constraints: 35122
2093.80/2099.44 c #Conflicts: 1159000 | #Constraints: 36122
2093.80/2099.44 c #Conflicts: 1160000 | #Constraints: 37122
2093.80/2099.44 c #Conflicts: 1161000 | #Constraints: 38122
2093.80/2099.44 c #Conflicts: 1162000 | #Constraints: 39122
2093.80/2099.44 c #Conflicts: 1163000 | #Constraints: 40122
2093.80/2099.44 c #Conflicts: 1164000 | #Constraints: 41122
2093.80/2099.44 c #Conflicts: 1165000 | #Constraints: 42122
2093.80/2099.44 c #Conflicts: 1166000 | #Constraints: 43122
2093.80/2099.44 c #Conflicts: 1167000 | #Constraints: 44122
2093.80/2099.44 c #Conflicts: 1168000 | #Constraints: 45122
2093.80/2099.44 c INPROCESSING
2093.80/2099.44 c GARBAGE COLLECT
2093.80/2099.44 c #Conflicts: 1169000 | #Constraints: 24719
2093.80/2099.44 c #Conflicts: 1170000 | #Constraints: 25719
2093.80/2099.44 c #Conflicts: 1171000 | #Constraints: 26719
2093.80/2099.44 c #Conflicts: 1172000 | #Constraints: 27719
2093.80/2099.44 c #Conflicts: 1173000 | #Constraints: 28719
2093.80/2099.44 c #Conflicts: 1174000 | #Constraints: 29719
2093.80/2099.44 c #Conflicts: 1175000 | #Constraints: 30719
2093.80/2099.44 c #Conflicts: 1176000 | #Constraints: 31719
2093.80/2099.44 c #Conflicts: 1177000 | #Constraints: 32719
2093.80/2099.44 c #Conflicts: 1178000 | #Constraints: 33719
2093.80/2099.45 c #Conflicts: 1179000 | #Constraints: 34719
2093.80/2099.45 c #Conflicts: 1180000 | #Constraints: 35719
2093.80/2099.45 c #Conflicts: 1181000 | #Constraints: 36719
2093.80/2099.45 c #Conflicts: 1182000 | #Constraints: 37719
2093.80/2099.45 c #Conflicts: 1183000 | #Constraints: 38719
2093.80/2099.45 c #Conflicts: 1184000 | #Constraints: 39719
2093.80/2099.45 c #Conflicts: 1185000 | #Constraints: 40719
2093.80/2099.45 c #Conflicts: 1186000 | #Constraints: 41719
2093.80/2099.45 c #Conflicts: 1187000 | #Constraints: 42719
2093.80/2099.45 c #Conflicts: 1188000 | #Constraints: 43719
2093.80/2099.45 c #Conflicts: 1189000 | #Constraints: 44719
2093.80/2099.45 c #Conflicts: 1190000 | #Constraints: 45719
2093.80/2099.45 c INPROCESSING
2093.80/2099.45 c GARBAGE COLLECT
2093.80/2099.45 c #Conflicts: 1191000 | #Constraints: 25136
2093.80/2099.45 c #Conflicts: 1192000 | #Constraints: 26136
2093.80/2099.45 c #Conflicts: 1193000 | #Constraints: 27136
2093.80/2099.45 c #Conflicts: 1194000 | #Constraints: 28136
2093.80/2099.45 c #Conflicts: 1195000 | #Constraints: 29136
2093.80/2099.45 c #Conflicts: 1196000 | #Constraints: 30136
2093.80/2099.45 c #Conflicts: 1197000 | #Constraints: 31136
2295.47/2301.69 c #Conflicts: 1198000 | #Constraints: 32136
2295.47/2301.69 c #Conflicts: 1199000 | #Constraints: 33136
2295.47/2301.69 c #Conflicts: 1200000 | #Constraints: 34136
2295.47/2301.69 c #Conflicts: 1201000 | #Constraints: 35136
2295.47/2301.69 c #Conflicts: 1202000 | #Constraints: 36136
2295.47/2301.69 c #Conflicts: 1203000 | #Constraints: 37136
2295.47/2301.69 c #Conflicts: 1204000 | #Constraints: 38136
2295.47/2301.69 c #Conflicts: 1205000 | #Constraints: 39136
2295.47/2301.69 c #Conflicts: 1206000 | #Constraints: 40136
2295.47/2301.69 c #Conflicts: 1207000 | #Constraints: 41136
2295.47/2301.69 c #Conflicts: 1208000 | #Constraints: 42136
2295.47/2301.69 c #Conflicts: 1209000 | #Constraints: 43136
2295.47/2301.69 c #Conflicts: 1210000 | #Constraints: 44136
2295.47/2301.69 c #Conflicts: 1211000 | #Constraints: 45136
2295.47/2301.69 c #Conflicts: 1212000 | #Constraints: 46136
2295.47/2301.69 c INPROCESSING
2295.47/2301.69 c GARBAGE COLLECT
2295.47/2301.69 c #Conflicts: 1213000 | #Constraints: 25328
2295.47/2301.69 c #Conflicts: 1214000 | #Constraints: 26328
2295.47/2301.69 c #Conflicts: 1215000 | #Constraints: 27328
2295.47/2301.69 c #Conflicts: 1216000 | #Constraints: 28328
2295.47/2301.69 c #Conflicts: 1217000 | #Constraints: 29328
2295.47/2301.69 c #Conflicts: 1218000 | #Constraints: 30328
2295.47/2301.69 c #Conflicts: 1219000 | #Constraints: 31328
2295.47/2301.69 c #Conflicts: 1220000 | #Constraints: 32328
2295.47/2301.69 c #Conflicts: 1221000 | #Constraints: 33328
2295.47/2301.69 c #Conflicts: 1222000 | #Constraints: 34328
2295.47/2301.69 c #Conflicts: 1223000 | #Constraints: 35328
2295.47/2301.69 c #Conflicts: 1224000 | #Constraints: 36328
2295.47/2301.69 c #Conflicts: 1225000 | #Constraints: 37328
2295.47/2301.69 c #Conflicts: 1226000 | #Constraints: 38328
2295.47/2301.69 c #Conflicts: 1227000 | #Constraints: 39328
2295.47/2301.69 c #Conflicts: 1228000 | #Constraints: 40328
2295.47/2301.69 c #Conflicts: 1229000 | #Constraints: 41328
2295.47/2301.69 c #Conflicts: 1230000 | #Constraints: 42328
2295.47/2301.69 c #Conflicts: 1231000 | #Constraints: 43328
2295.47/2301.69 c #Conflicts: 1232000 | #Constraints: 44328
2295.47/2301.69 c #Conflicts: 1233000 | #Constraints: 45328
2295.47/2301.69 c #Conflicts: 1234000 | #Constraints: 46328
2295.47/2301.69 c INPROCESSING
2295.47/2301.69 c GARBAGE COLLECT
2295.47/2301.69 c #Conflicts: 1235000 | #Constraints: 25340
2295.47/2301.69 c #Conflicts: 1236000 | #Constraints: 26340
2295.47/2301.69 c #Conflicts: 1237000 | #Constraints: 27340
2295.47/2301.69 c #Conflicts: 1238000 | #Constraints: 28340
2295.47/2301.69 c #Conflicts: 1239000 | #Constraints: 29340
2295.47/2301.69 c #Conflicts: 1240000 | #Constraints: 30340
2295.47/2301.69 c #Conflicts: 1241000 | #Constraints: 31340
2295.47/2301.69 c #Conflicts: 1242000 | #Constraints: 32340
2295.47/2301.69 c #Conflicts: 1243000 | #Constraints: 33340
2295.47/2301.69 c #Conflicts: 1244000 | #Constraints: 34340
2295.47/2301.69 c #Conflicts: 1245000 | #Constraints: 35340
2295.47/2301.69 c #Conflicts: 1246000 | #Constraints: 36340
2295.47/2301.69 c #Conflicts: 1247000 | #Constraints: 37340
2295.47/2301.69 c #Conflicts: 1248000 | #Constraints: 38340
2295.47/2301.69 c #Conflicts: 1249000 | #Constraints: 39340
2295.47/2301.69 c #Conflicts: 1250000 | #Constraints: 40340
2295.47/2301.69 c #Conflicts: 1251000 | #Constraints: 41340
2295.47/2301.69 c #Conflicts: 1252000 | #Constraints: 42340
2295.47/2301.69 c #Conflicts: 1253000 | #Constraints: 43340
2295.47/2301.69 c #Conflicts: 1254000 | #Constraints: 44340
2295.47/2301.69 c #Conflicts: 1255000 | #Constraints: 45340
2295.47/2301.69 c #Conflicts: 1256000 | #Constraints: 46340
2295.47/2301.69 c INPROCESSING
2295.47/2301.69 c GARBAGE COLLECT
2295.47/2301.69 c #Conflicts: 1257000 | #Constraints: 25120
2295.47/2301.69 c #Conflicts: 1258000 | #Constraints: 26120
2295.47/2301.69 c #Conflicts: 1259000 | #Constraints: 27120
2295.47/2301.69 c #Conflicts: 1260000 | #Constraints: 28120
2295.47/2301.69 c #Conflicts: 1261000 | #Constraints: 29120
2295.47/2301.69 c #Conflicts: 1262000 | #Constraints: 30120
2295.47/2301.69 c #Conflicts: 1263000 | #Constraints: 31120
2295.47/2301.69 c #Conflicts: 1264000 | #Constraints: 32120
2295.47/2301.69 c #Conflicts: 1265000 | #Constraints: 33120
2295.47/2301.69 c #Conflicts: 1266000 | #Constraints: 34120
2295.47/2301.69 c #Conflicts: 1267000 | #Constraints: 35120
2295.47/2301.69 c #Conflicts: 1268000 | #Constraints: 36120
2295.47/2301.69 c #Conflicts: 1269000 | #Constraints: 37120
2295.47/2301.69 c #Conflicts: 1270000 | #Constraints: 38120
2295.47/2301.69 c #Conflicts: 1271000 | #Constraints: 39120
2295.47/2301.69 c #Conflicts: 1272000 | #Constraints: 40120
2295.47/2301.69 c #Conflicts: 1273000 | #Constraints: 41120
2295.47/2301.69 c #Conflicts: 1274000 | #Constraints: 42120
2495.35/2502.04 c #Conflicts: 1275000 | #Constraints: 43120
2495.35/2502.04 c #Conflicts: 1276000 | #Constraints: 44120
2495.35/2502.04 c #Conflicts: 1277000 | #Constraints: 45120
2495.35/2502.04 c #Conflicts: 1278000 | #Constraints: 46120
2495.35/2502.04 c #Conflicts: 1279000 | #Constraints: 47120
2495.35/2502.04 c INPROCESSING
2495.35/2502.04 c GARBAGE COLLECT
2495.35/2502.04 c #Conflicts: 1280000 | #Constraints: 25725
2495.35/2502.04 c #Conflicts: 1281000 | #Constraints: 26725
2495.35/2502.04 c #Conflicts: 1282000 | #Constraints: 27725
2495.35/2502.04 c #Conflicts: 1283000 | #Constraints: 28725
2495.35/2502.04 c #Conflicts: 1284000 | #Constraints: 29725
2495.35/2502.04 c #Conflicts: 1285000 | #Constraints: 30725
2495.35/2502.04 c #Conflicts: 1286000 | #Constraints: 31725
2495.35/2502.04 c #Conflicts: 1287000 | #Constraints: 32725
2495.35/2502.04 c #Conflicts: 1288000 | #Constraints: 33725
2495.35/2502.04 c #Conflicts: 1289000 | #Constraints: 34725
2495.35/2502.04 c #Conflicts: 1290000 | #Constraints: 35725
2495.35/2502.04 c #Conflicts: 1291000 | #Constraints: 36725
2495.35/2502.04 c #Conflicts: 1292000 | #Constraints: 37725
2495.35/2502.04 c #Conflicts: 1293000 | #Constraints: 38725
2495.35/2502.04 c #Conflicts: 1294000 | #Constraints: 39725
2495.35/2502.04 c #Conflicts: 1295000 | #Constraints: 40725
2495.35/2502.04 c #Conflicts: 1296000 | #Constraints: 41725
2495.35/2502.04 c #Conflicts: 1297000 | #Constraints: 42725
2495.35/2502.04 c #Conflicts: 1298000 | #Constraints: 43725
2495.35/2502.04 c #Conflicts: 1299000 | #Constraints: 44725
2495.35/2502.04 c #Conflicts: 1300000 | #Constraints: 45725
2495.35/2502.04 c #Conflicts: 1301000 | #Constraints: 46725
2495.35/2502.04 c #Conflicts: 1302000 | #Constraints: 47725
2495.35/2502.04 c INPROCESSING
2495.35/2502.04 c GARBAGE COLLECT
2495.35/2502.04 c #Conflicts: 1303000 | #Constraints: 26130
2495.35/2502.04 c #Conflicts: 1304000 | #Constraints: 27130
2495.35/2502.04 c #Conflicts: 1305000 | #Constraints: 28130
2495.35/2502.04 c #Conflicts: 1306000 | #Constraints: 29130
2495.35/2502.04 c #Conflicts: 1307000 | #Constraints: 30130
2495.35/2502.04 c #Conflicts: 1308000 | #Constraints: 31130
2495.35/2502.04 c #Conflicts: 1309000 | #Constraints: 32130
2495.35/2502.04 c #Conflicts: 1310000 | #Constraints: 33130
2495.35/2502.04 c #Conflicts: 1311000 | #Constraints: 34130
2495.35/2502.04 c #Conflicts: 1312000 | #Constraints: 35130
2495.35/2502.04 c #Conflicts: 1313000 | #Constraints: 36130
2495.35/2502.04 c #Conflicts: 1314000 | #Constraints: 37130
2495.35/2502.04 c #Conflicts: 1315000 | #Constraints: 38130
2495.35/2502.04 c #Conflicts: 1316000 | #Constraints: 39130
2495.35/2502.04 c #Conflicts: 1317000 | #Constraints: 40130
2495.35/2502.04 c #Conflicts: 1318000 | #Constraints: 41130
2495.35/2502.04 c #Conflicts: 1319000 | #Constraints: 42130
2495.35/2502.04 c #Conflicts: 1320000 | #Constraints: 43130
2495.35/2502.04 c #Conflicts: 1321000 | #Constraints: 44130
2495.35/2502.04 c #Conflicts: 1322000 | #Constraints: 45130
2495.35/2502.04 c #Conflicts: 1323000 | #Constraints: 46130
2495.35/2502.04 c #Conflicts: 1324000 | #Constraints: 47130
2495.35/2502.04 c #Conflicts: 1325000 | #Constraints: 48130
2495.35/2502.04 c INPROCESSING
2495.35/2502.04 c GARBAGE COLLECT
2495.35/2502.04 c #Conflicts: 1326000 | #Constraints: 26324
2495.35/2502.04 c #Conflicts: 1327000 | #Constraints: 27324
2495.35/2502.04 c #Conflicts: 1328000 | #Constraints: 28324
2495.35/2502.04 c #Conflicts: 1329000 | #Constraints: 29324
2495.35/2502.04 c #Conflicts: 1330000 | #Constraints: 30324
2495.35/2502.04 c #Conflicts: 1331000 | #Constraints: 31324
2495.35/2502.04 c #Conflicts: 1332000 | #Constraints: 32324
2495.35/2502.04 c #Conflicts: 1333000 | #Constraints: 33324
2495.35/2502.04 c #Conflicts: 1334000 | #Constraints: 34324
2495.35/2502.04 c #Conflicts: 1335000 | #Constraints: 35324
2495.35/2502.04 c #Conflicts: 1336000 | #Constraints: 36324
2495.35/2502.04 c #Conflicts: 1337000 | #Constraints: 37324
2495.35/2502.04 c #Conflicts: 1338000 | #Constraints: 38324
2495.35/2502.04 c #Conflicts: 1339000 | #Constraints: 39324
2495.35/2502.04 c #Conflicts: 1340000 | #Constraints: 40324
2495.35/2502.04 c #Conflicts: 1341000 | #Constraints: 41324
2495.35/2502.04 c #Conflicts: 1342000 | #Constraints: 42324
2495.35/2502.04 c #Conflicts: 1343000 | #Constraints: 43324
2495.35/2502.04 c #Conflicts: 1344000 | #Constraints: 44324
2495.35/2502.04 c #Conflicts: 1345000 | #Constraints: 45324
2495.35/2502.04 c #Conflicts: 1346000 | #Constraints: 46324
2495.35/2502.04 c #Conflicts: 1347000 | #Constraints: 47324
2495.35/2502.04 c #Conflicts: 1348000 | #Constraints: 48324
2495.35/2502.04 c INPROCESSING
2495.35/2502.04 c GARBAGE COLLECT
2495.35/2502.04 c #Conflicts: 1349000 | #Constraints: 26322
2495.35/2502.04 c #Conflicts: 1350000 | #Constraints: 27322
2708.96/2716.25 c #Conflicts: 1351000 | #Constraints: 28322
2708.96/2716.25 c #Conflicts: 1352000 | #Constraints: 29322
2708.96/2716.25 c #Conflicts: 1353000 | #Constraints: 30322
2708.96/2716.25 c #Conflicts: 1354000 | #Constraints: 31322
2708.96/2716.25 c #Conflicts: 1355000 | #Constraints: 32322
2708.96/2716.25 c #Conflicts: 1356000 | #Constraints: 33322
2708.96/2716.25 c #Conflicts: 1357000 | #Constraints: 34322
2708.96/2716.25 c #Conflicts: 1358000 | #Constraints: 35322
2708.96/2716.25 c #Conflicts: 1359000 | #Constraints: 36322
2708.96/2716.25 c #Conflicts: 1360000 | #Constraints: 37322
2708.96/2716.25 c #Conflicts: 1361000 | #Constraints: 38322
2708.96/2716.25 c #Conflicts: 1362000 | #Constraints: 39322
2708.96/2716.25 c #Conflicts: 1363000 | #Constraints: 40322
2708.96/2716.25 c #Conflicts: 1364000 | #Constraints: 41322
2708.96/2716.25 c #Conflicts: 1365000 | #Constraints: 42322
2708.96/2716.25 c #Conflicts: 1366000 | #Constraints: 43322
2708.96/2716.25 c #Conflicts: 1367000 | #Constraints: 44322
2708.96/2716.25 c #Conflicts: 1368000 | #Constraints: 45322
2708.96/2716.25 c #Conflicts: 1369000 | #Constraints: 46322
2708.96/2716.25 c #Conflicts: 1370000 | #Constraints: 47322
2708.96/2716.25 c #Conflicts: 1371000 | #Constraints: 48322
2708.96/2716.25 c INPROCESSING
2708.96/2716.25 c GARBAGE COLLECT
2708.96/2716.25 c #Conflicts: 1372000 | #Constraints: 26131
2708.96/2716.25 c #Conflicts: 1373000 | #Constraints: 27131
2708.96/2716.25 c #Conflicts: 1374000 | #Constraints: 28131
2708.96/2716.25 c #Conflicts: 1375000 | #Constraints: 29131
2708.96/2716.25 c #Conflicts: 1376000 | #Constraints: 30131
2708.96/2716.25 c #Conflicts: 1377000 | #Constraints: 31131
2708.96/2716.25 c #Conflicts: 1378000 | #Constraints: 32131
2708.96/2716.25 c #Conflicts: 1379000 | #Constraints: 33131
2708.96/2716.25 c #Conflicts: 1380000 | #Constraints: 34131
2708.96/2716.25 c #Conflicts: 1381000 | #Constraints: 35131
2708.96/2716.25 c #Conflicts: 1382000 | #Constraints: 36131
2708.96/2716.25 c #Conflicts: 1383000 | #Constraints: 37131
2708.96/2716.25 c #Conflicts: 1384000 | #Constraints: 38131
2708.96/2716.25 c #Conflicts: 1385000 | #Constraints: 39131
2708.96/2716.25 c #Conflicts: 1386000 | #Constraints: 40131
2708.96/2716.25 c #Conflicts: 1387000 | #Constraints: 41131
2708.96/2716.25 c #Conflicts: 1388000 | #Constraints: 42131
2708.96/2716.25 c #Conflicts: 1389000 | #Constraints: 43131
2708.96/2716.25 c #Conflicts: 1390000 | #Constraints: 44131
2708.96/2716.25 c #Conflicts: 1391000 | #Constraints: 45131
2708.96/2716.25 c #Conflicts: 1392000 | #Constraints: 46131
2708.96/2716.25 c #Conflicts: 1393000 | #Constraints: 47131
2708.96/2716.25 c #Conflicts: 1394000 | #Constraints: 48131
2708.96/2716.25 c #Conflicts: 1395000 | #Constraints: 49131
2708.96/2716.25 c INPROCESSING
2708.96/2716.25 c GARBAGE COLLECT
2708.96/2716.25 c #Conflicts: 1396000 | #Constraints: 26719
2708.96/2716.25 c #Conflicts: 1397000 | #Constraints: 27719
2708.96/2716.25 c #Conflicts: 1398000 | #Constraints: 28719
2708.96/2716.25 c #Conflicts: 1399000 | #Constraints: 29719
2708.96/2716.25 c #Conflicts: 1400000 | #Constraints: 30719
2708.96/2716.25 c #Conflicts: 1401000 | #Constraints: 31719
2708.96/2716.25 c #Conflicts: 1402000 | #Constraints: 32719
2708.96/2716.25 c #Conflicts: 1403000 | #Constraints: 33719
2708.96/2716.25 c #Conflicts: 1404000 | #Constraints: 34719
2708.96/2716.25 c #Conflicts: 1405000 | #Constraints: 35719
2708.96/2716.25 c #Conflicts: 1406000 | #Constraints: 36719
2708.96/2716.25 c #Conflicts: 1407000 | #Constraints: 37719
2708.96/2716.25 c #Conflicts: 1408000 | #Constraints: 38719
2708.96/2716.25 c #Conflicts: 1409000 | #Constraints: 39719
2708.96/2716.25 c #Conflicts: 1410000 | #Constraints: 40719
2708.96/2716.25 c #Conflicts: 1411000 | #Constraints: 41719
2708.96/2716.25 c #Conflicts: 1412000 | #Constraints: 42719
2708.96/2716.25 c #Conflicts: 1413000 | #Constraints: 43719
2708.96/2716.25 c #Conflicts: 1414000 | #Constraints: 44719
2708.96/2716.25 c #Conflicts: 1415000 | #Constraints: 45719
2708.96/2716.25 c #Conflicts: 1416000 | #Constraints: 46719
2708.96/2716.25 c #Conflicts: 1417000 | #Constraints: 47719
2708.96/2716.25 c #Conflicts: 1418000 | #Constraints: 48719
2708.96/2716.25 c #Conflicts: 1419000 | #Constraints: 49719
2708.96/2716.25 c INPROCESSING
2708.96/2716.25 c GARBAGE COLLECT
2708.96/2716.25 c #Conflicts: 1420000 | #Constraints: 27116
2708.96/2716.25 c #Conflicts: 1421000 | #Constraints: 28116
2708.96/2716.25 c #Conflicts: 1422000 | #Constraints: 29116
2708.96/2716.25 c #Conflicts: 1423000 | #Constraints: 30116
2708.96/2716.25 c #Conflicts: 1424000 | #Constraints: 31116
2708.96/2716.25 c #Conflicts: 1425000 | #Constraints: 32116
2708.96/2716.25 c #Conflicts: 1426000 | #Constraints: 33116
2708.96/2716.25 c #Conflicts: 1427000 | #Constraints: 34116
2936.34/2944.22 c #Conflicts: 1428000 | #Constraints: 35116
2936.34/2944.22 c #Conflicts: 1429000 | #Constraints: 36116
2936.34/2944.22 c #Conflicts: 1430000 | #Constraints: 37116
2936.34/2944.22 c #Conflicts: 1431000 | #Constraints: 38116
2936.34/2944.22 c #Conflicts: 1432000 | #Constraints: 39116
2936.34/2944.22 c #Conflicts: 1433000 | #Constraints: 40116
2936.34/2944.22 c #Conflicts: 1434000 | #Constraints: 41116
2936.34/2944.22 c #Conflicts: 1435000 | #Constraints: 42116
2936.34/2944.22 c #Conflicts: 1436000 | #Constraints: 43116
2936.34/2944.22 c #Conflicts: 1437000 | #Constraints: 44116
2936.34/2944.22 c #Conflicts: 1438000 | #Constraints: 45116
2936.34/2944.22 c #Conflicts: 1439000 | #Constraints: 46116
2936.34/2944.22 c #Conflicts: 1440000 | #Constraints: 47116
2936.34/2944.22 c #Conflicts: 1441000 | #Constraints: 48116
2936.34/2944.22 c #Conflicts: 1442000 | #Constraints: 49116
2936.34/2944.22 c #Conflicts: 1443000 | #Constraints: 50116
2936.34/2944.22 c INPROCESSING
2936.34/2944.22 c GARBAGE COLLECT
2936.34/2944.22 c #Conflicts: 1444000 | #Constraints: 27323
2936.34/2944.22 c #Conflicts: 1445000 | #Constraints: 28323
2936.34/2944.22 c #Conflicts: 1446000 | #Constraints: 29323
2936.34/2944.22 c #Conflicts: 1447000 | #Constraints: 30323
2936.34/2944.22 c #Conflicts: 1448000 | #Constraints: 31323
2936.34/2944.22 c #Conflicts: 1449000 | #Constraints: 32323
2936.34/2944.22 c #Conflicts: 1450000 | #Constraints: 33323
2936.34/2944.22 c #Conflicts: 1451000 | #Constraints: 34323
2936.34/2944.22 c #Conflicts: 1452000 | #Constraints: 35323
2936.34/2944.22 c #Conflicts: 1453000 | #Constraints: 36323
2936.34/2944.22 c #Conflicts: 1454000 | #Constraints: 37323
2936.34/2944.22 c #Conflicts: 1455000 | #Constraints: 38323
2936.34/2944.22 c #Conflicts: 1456000 | #Constraints: 39323
2936.34/2944.22 c #Conflicts: 1457000 | #Constraints: 40323
2936.34/2944.22 c #Conflicts: 1458000 | #Constraints: 41323
2936.34/2944.22 c #Conflicts: 1459000 | #Constraints: 42323
2936.34/2944.22 c #Conflicts: 1460000 | #Constraints: 43323
2936.34/2944.22 c #Conflicts: 1461000 | #Constraints: 44323
2936.34/2944.22 c #Conflicts: 1462000 | #Constraints: 45323
2936.34/2944.22 c #Conflicts: 1463000 | #Constraints: 46323
2936.34/2944.22 c #Conflicts: 1464000 | #Constraints: 47323
2936.34/2944.22 c #Conflicts: 1465000 | #Constraints: 48323
2936.34/2944.22 c #Conflicts: 1466000 | #Constraints: 49323
2936.34/2944.22 c #Conflicts: 1467000 | #Constraints: 50323
2936.34/2944.22 c INPROCESSING
2936.34/2944.22 c GARBAGE COLLECT
2936.34/2944.22 c #Conflicts: 1468000 | #Constraints: 27321
2936.34/2944.22 c #Conflicts: 1469000 | #Constraints: 28321
2936.34/2944.22 c #Conflicts: 1470000 | #Constraints: 29321
2936.34/2944.22 c #Conflicts: 1471000 | #Constraints: 30321
2936.34/2944.22 c #Conflicts: 1472000 | #Constraints: 31321
2936.34/2944.22 c #Conflicts: 1473000 | #Constraints: 32321
2936.34/2944.22 c #Conflicts: 1474000 | #Constraints: 33321
2936.34/2944.22 c #Conflicts: 1475000 | #Constraints: 34321
2936.34/2944.22 c #Conflicts: 1476000 | #Constraints: 35321
2936.34/2944.22 c #Conflicts: 1477000 | #Constraints: 36321
2936.34/2944.22 c #Conflicts: 1478000 | #Constraints: 37321
2936.34/2944.22 c #Conflicts: 1479000 | #Constraints: 38321
2936.34/2944.22 c #Conflicts: 1480000 | #Constraints: 39321
2936.34/2944.22 c #Conflicts: 1481000 | #Constraints: 40321
2936.34/2944.22 c #Conflicts: 1482000 | #Constraints: 41321
2936.34/2944.22 c #Conflicts: 1483000 | #Constraints: 42321
2936.34/2944.22 c #Conflicts: 1484000 | #Constraints: 43321
2936.34/2944.22 c #Conflicts: 1485000 | #Constraints: 44321
2936.34/2944.22 c #Conflicts: 1486000 | #Constraints: 45321
2936.34/2944.22 c #Conflicts: 1487000 | #Constraints: 46321
2936.34/2944.22 c #Conflicts: 1488000 | #Constraints: 47321
2936.34/2944.22 c #Conflicts: 1489000 | #Constraints: 48321
2936.34/2944.22 c #Conflicts: 1490000 | #Constraints: 49321
2936.34/2944.22 c #Conflicts: 1491000 | #Constraints: 50321
2936.34/2944.22 c INPROCESSING
2936.34/2944.22 c GARBAGE COLLECT
2936.34/2944.22 c #Conflicts: 1492000 | #Constraints: 27120
2936.34/2944.22 c #Conflicts: 1493000 | #Constraints: 28120
2936.34/2944.22 c #Conflicts: 1494000 | #Constraints: 29120
2936.34/2944.22 c #Conflicts: 1495000 | #Constraints: 30120
2936.34/2944.22 c #Conflicts: 1496000 | #Constraints: 31120
2936.34/2944.22 c #Conflicts: 1497000 | #Constraints: 32120
2936.34/2944.22 c #Conflicts: 1498000 | #Constraints: 33120
2936.34/2944.22 c #Conflicts: 1499000 | #Constraints: 34120
2936.34/2944.22 c #Conflicts: 1500000 | #Constraints: 35120
2936.34/2944.22 c #Conflicts: 1501000 | #Constraints: 36120
2936.34/2944.22 c #Conflicts: 1502000 | #Constraints: 37120
2936.34/2944.22 c #Conflicts: 1503000 | #Constraints: 38120
2936.34/2944.22 c #Conflicts: 1504000 | #Constraints: 39120
3179.38/3187.97 c #Conflicts: 1505000 | #Constraints: 40120
3179.38/3187.97 c #Conflicts: 1506000 | #Constraints: 41120
3179.38/3187.97 c #Conflicts: 1507000 | #Constraints: 42120
3179.38/3187.97 c #Conflicts: 1508000 | #Constraints: 43120
3179.38/3187.97 c #Conflicts: 1509000 | #Constraints: 44120
3179.38/3187.97 c #Conflicts: 1510000 | #Constraints: 45120
3179.38/3187.97 c #Conflicts: 1511000 | #Constraints: 46120
3179.38/3187.97 c #Conflicts: 1512000 | #Constraints: 47120
3179.38/3187.97 c #Conflicts: 1513000 | #Constraints: 48120
3179.38/3187.97 c #Conflicts: 1514000 | #Constraints: 49120
3179.38/3187.97 c #Conflicts: 1515000 | #Constraints: 50120
3179.38/3187.97 c #Conflicts: 1516000 | #Constraints: 51120
3179.38/3187.97 c INPROCESSING
3179.38/3187.97 c GARBAGE COLLECT
3179.38/3187.97 c #Conflicts: 1517000 | #Constraints: 27718
3179.38/3187.97 c #Conflicts: 1518000 | #Constraints: 28718
3179.38/3187.97 c #Conflicts: 1519000 | #Constraints: 29718
3179.38/3187.97 c #Conflicts: 1520000 | #Constraints: 30718
3179.38/3187.97 c #Conflicts: 1521000 | #Constraints: 31718
3179.38/3187.97 c #Conflicts: 1522000 | #Constraints: 32718
3179.38/3187.97 c #Conflicts: 1523000 | #Constraints: 33718
3179.38/3187.97 c #Conflicts: 1524000 | #Constraints: 34718
3179.38/3187.97 c #Conflicts: 1525000 | #Constraints: 35718
3179.38/3187.97 c #Conflicts: 1526000 | #Constraints: 36718
3179.38/3187.97 c #Conflicts: 1527000 | #Constraints: 37718
3179.38/3187.97 c #Conflicts: 1528000 | #Constraints: 38718
3179.38/3187.97 c #Conflicts: 1529000 | #Constraints: 39718
3179.38/3187.97 c #Conflicts: 1530000 | #Constraints: 40718
3179.38/3187.97 c #Conflicts: 1531000 | #Constraints: 41718
3179.38/3187.97 c #Conflicts: 1532000 | #Constraints: 42718
3179.38/3187.97 c #Conflicts: 1533000 | #Constraints: 43718
3179.38/3187.97 c #Conflicts: 1534000 | #Constraints: 44718
3179.38/3187.97 c #Conflicts: 1535000 | #Constraints: 45718
3179.38/3187.97 c #Conflicts: 1536000 | #Constraints: 46718
3179.38/3187.97 c #Conflicts: 1537000 | #Constraints: 47718
3179.38/3187.97 c #Conflicts: 1538000 | #Constraints: 48718
3179.38/3187.97 c #Conflicts: 1539000 | #Constraints: 49718
3179.38/3187.97 c #Conflicts: 1540000 | #Constraints: 50718
3179.38/3187.97 c #Conflicts: 1541000 | #Constraints: 51718
3179.38/3187.97 c INPROCESSING
3179.38/3187.97 c GARBAGE COLLECT
3179.38/3187.97 c #Conflicts: 1542000 | #Constraints: 28110
3179.38/3187.97 c #Conflicts: 1543000 | #Constraints: 29110
3179.38/3187.97 c #Conflicts: 1544000 | #Constraints: 30110
3179.38/3187.97 c #Conflicts: 1545000 | #Constraints: 31110
3179.38/3187.97 c #Conflicts: 1546000 | #Constraints: 32110
3179.38/3187.97 c #Conflicts: 1547000 | #Constraints: 33110
3179.38/3187.97 c #Conflicts: 1548000 | #Constraints: 34110
3179.38/3187.97 c #Conflicts: 1549000 | #Constraints: 35110
3179.38/3187.97 c #Conflicts: 1550000 | #Constraints: 36110
3179.38/3187.97 c #Conflicts: 1551000 | #Constraints: 37110
3179.38/3187.97 c #Conflicts: 1552000 | #Constraints: 38110
3179.38/3187.97 c #Conflicts: 1553000 | #Constraints: 39110
3179.38/3187.97 c #Conflicts: 1554000 | #Constraints: 40110
3179.38/3187.97 c #Conflicts: 1555000 | #Constraints: 41110
3179.38/3187.97 c #Conflicts: 1556000 | #Constraints: 42110
3179.38/3187.97 c #Conflicts: 1557000 | #Constraints: 43110
3179.38/3187.97 c #Conflicts: 1558000 | #Constraints: 44110
3179.38/3187.97 c #Conflicts: 1559000 | #Constraints: 45110
3179.38/3187.97 c #Conflicts: 1560000 | #Constraints: 46110
3179.38/3187.97 c #Conflicts: 1561000 | #Constraints: 47110
3179.38/3187.97 c #Conflicts: 1562000 | #Constraints: 48110
3179.38/3187.97 c #Conflicts: 1563000 | #Constraints: 49110
3179.38/3187.97 c #Conflicts: 1564000 | #Constraints: 50110
3179.38/3187.97 c #Conflicts: 1565000 | #Constraints: 51110
3179.38/3187.97 c #Conflicts: 1566000 | #Constraints: 52110
3179.38/3187.97 c INPROCESSING
3179.38/3187.97 c GARBAGE COLLECT
3179.38/3187.97 c #Conflicts: 1567000 | #Constraints: 28317
3179.38/3187.97 c #Conflicts: 1568000 | #Constraints: 29317
3179.38/3187.97 c #Conflicts: 1569000 | #Constraints: 30317
3179.38/3187.97 c #Conflicts: 1570000 | #Constraints: 31317
3179.38/3187.97 c #Conflicts: 1571000 | #Constraints: 32317
3179.38/3187.97 c #Conflicts: 1572000 | #Constraints: 33317
3179.38/3187.97 c #Conflicts: 1573000 | #Constraints: 34317
3179.38/3187.97 c #Conflicts: 1574000 | #Constraints: 35317
3179.38/3187.97 c #Conflicts: 1575000 | #Constraints: 36317
3179.38/3187.97 c #Conflicts: 1576000 | #Constraints: 37317
3179.38/3187.97 c #Conflicts: 1577000 | #Constraints: 38317
3179.38/3187.97 c #Conflicts: 1578000 | #Constraints: 39317
3179.38/3187.97 c #Conflicts: 1579000 | #Constraints: 40317
3179.38/3187.97 c #Conflicts: 1580000 | #Constraints: 41317
3179.38/3187.97 c #Conflicts: 1581000 | #Constraints: 42317
3434.38/3443.69 c #Conflicts: 1582000 | #Constraints: 43317
3434.38/3443.69 c #Conflicts: 1583000 | #Constraints: 44317
3434.38/3443.69 c #Conflicts: 1584000 | #Constraints: 45317
3434.38/3443.69 c #Conflicts: 1585000 | #Constraints: 46317
3434.38/3443.69 c #Conflicts: 1586000 | #Constraints: 47317
3434.38/3443.69 c #Conflicts: 1587000 | #Constraints: 48317
3434.38/3443.69 c #Conflicts: 1588000 | #Constraints: 49317
3434.38/3443.69 c #Conflicts: 1589000 | #Constraints: 50317
3434.38/3443.69 c #Conflicts: 1590000 | #Constraints: 51317
3434.38/3443.69 c #Conflicts: 1591000 | #Constraints: 52317
3434.38/3443.69 c INPROCESSING
3434.38/3443.69 c GARBAGE COLLECT
3434.38/3443.69 c #Conflicts: 1592000 | #Constraints: 28322
3434.38/3443.69 c #Conflicts: 1593000 | #Constraints: 29322
3434.38/3443.69 c #Conflicts: 1594000 | #Constraints: 30322
3434.38/3443.69 c #Conflicts: 1595000 | #Constraints: 31322
3434.38/3443.69 c #Conflicts: 1596000 | #Constraints: 32322
3434.38/3443.69 c #Conflicts: 1597000 | #Constraints: 33322
3434.38/3443.69 c #Conflicts: 1598000 | #Constraints: 34322
3434.38/3443.69 c #Conflicts: 1599000 | #Constraints: 35322
3434.38/3443.69 c #Conflicts: 1600000 | #Constraints: 36322
3434.38/3443.69 c #Conflicts: 1601000 | #Constraints: 37322
3434.38/3443.69 c #Conflicts: 1602000 | #Constraints: 38322
3434.38/3443.69 c #Conflicts: 1603000 | #Constraints: 39322
3434.38/3443.69 c #Conflicts: 1604000 | #Constraints: 40322
3434.38/3443.69 c #Conflicts: 1605000 | #Constraints: 41322
3434.38/3443.69 c #Conflicts: 1606000 | #Constraints: 42322
3434.38/3443.69 c #Conflicts: 1607000 | #Constraints: 43322
3434.38/3443.69 c #Conflicts: 1608000 | #Constraints: 44322
3434.38/3443.69 c #Conflicts: 1609000 | #Constraints: 45322
3434.38/3443.69 c #Conflicts: 1610000 | #Constraints: 46322
3434.38/3443.69 c #Conflicts: 1611000 | #Constraints: 47322
3434.38/3443.69 c #Conflicts: 1612000 | #Constraints: 48322
3434.38/3443.69 c #Conflicts: 1613000 | #Constraints: 49322
3434.38/3443.69 c #Conflicts: 1614000 | #Constraints: 50322
3434.38/3443.69 c #Conflicts: 1615000 | #Constraints: 51322
3434.38/3443.69 c #Conflicts: 1616000 | #Constraints: 52322
3434.38/3443.69 c INPROCESSING
3434.38/3443.69 c GARBAGE COLLECT
3434.38/3443.69 c #Conflicts: 1617000 | #Constraints: 28116
3434.38/3443.69 c #Conflicts: 1618000 | #Constraints: 29116
3434.38/3443.69 c #Conflicts: 1619000 | #Constraints: 30116
3434.38/3443.69 c #Conflicts: 1620000 | #Constraints: 31116
3434.38/3443.69 c #Conflicts: 1621000 | #Constraints: 32116
3434.38/3443.69 c #Conflicts: 1622000 | #Constraints: 33116
3434.38/3443.69 c #Conflicts: 1623000 | #Constraints: 34116
3434.38/3443.69 c #Conflicts: 1624000 | #Constraints: 35116
3434.38/3443.69 c #Conflicts: 1625000 | #Constraints: 36116
3434.38/3443.69 c #Conflicts: 1626000 | #Constraints: 37116
3434.38/3443.69 c #Conflicts: 1627000 | #Constraints: 38116
3434.38/3443.69 c #Conflicts: 1628000 | #Constraints: 39116
3434.38/3443.69 c #Conflicts: 1629000 | #Constraints: 40116
3434.38/3443.69 c #Conflicts: 1630000 | #Constraints: 41116
3434.38/3443.69 c #Conflicts: 1631000 | #Constraints: 42116
3434.38/3443.69 c #Conflicts: 1632000 | #Constraints: 43116
3434.38/3443.69 c #Conflicts: 1633000 | #Constraints: 44116
3434.38/3443.69 c #Conflicts: 1634000 | #Constraints: 45116
3434.38/3443.69 c #Conflicts: 1635000 | #Constraints: 46116
3434.38/3443.69 c #Conflicts: 1636000 | #Constraints: 47116
3434.38/3443.69 c #Conflicts: 1637000 | #Constraints: 48116
3434.38/3443.69 c #Conflicts: 1638000 | #Constraints: 49116
3434.38/3443.69 c #Conflicts: 1639000 | #Constraints: 50116
3434.38/3443.69 c #Conflicts: 1640000 | #Constraints: 51116
3434.38/3443.69 c #Conflicts: 1641000 | #Constraints: 52116
3434.38/3443.69 c #Conflicts: 1642000 | #Constraints: 53116
3434.38/3443.69 c INPROCESSING
3434.38/3443.69 c GARBAGE COLLECT
3434.38/3443.69 c #Conflicts: 1643000 | #Constraints: 28719
3434.38/3443.69 c #Conflicts: 1644000 | #Constraints: 29719
3434.38/3443.69 c #Conflicts: 1645000 | #Constraints: 30719
3434.38/3443.69 c #Conflicts: 1646000 | #Constraints: 31719
3434.38/3443.69 c #Conflicts: 1647000 | #Constraints: 32719
3434.38/3443.69 c #Conflicts: 1648000 | #Constraints: 33719
3434.38/3443.69 c #Conflicts: 1649000 | #Constraints: 34719
3434.38/3443.69 c #Conflicts: 1650000 | #Constraints: 35719
3434.38/3443.69 c #Conflicts: 1651000 | #Constraints: 36719
3434.38/3443.69 c #Conflicts: 1652000 | #Constraints: 37719
3434.38/3443.69 c #Conflicts: 1653000 | #Constraints: 38719
3434.38/3443.69 c #Conflicts: 1654000 | #Constraints: 39719
3434.38/3443.69 c #Conflicts: 1655000 | #Constraints: 40719
3434.38/3443.69 c #Conflicts: 1656000 | #Constraints: 41719
3434.38/3443.69 c #Conflicts: 1657000 | #Constraints: 42719
3434.38/3443.69 c #Conflicts: 1658000 | #Constraints: 43719
3600.07/3609.80 c #Conflicts: 1659000 | #Constraints: 44719
3600.07/3609.80 c #Conflicts: 1660000 | #Constraints: 45719
3600.07/3609.80 c #Conflicts: 1661000 | #Constraints: 46719
3600.07/3609.80 c #Conflicts: 1662000 | #Constraints: 47719
3600.07/3609.80 c #Conflicts: 1663000 | #Constraints: 48719
3600.07/3609.80 c #Conflicts: 1664000 | #Constraints: 49719
3600.07/3609.80 c #Conflicts: 1665000 | #Constraints: 50719
3600.07/3609.80 c #Conflicts: 1666000 | #Constraints: 51719
3600.07/3609.80 c #Conflicts: 1667000 | #Constraints: 52719
3600.07/3609.80 c #Conflicts: 1668000 | #Constraints: 53719
3600.07/3609.80 c INPROCESSING
3600.07/3609.80 c GARBAGE COLLECT
3600.07/3609.80 c #Conflicts: 1669000 | #Constraints: 29122
3600.07/3609.80 c #Conflicts: 1670000 | #Constraints: 30122
3600.07/3609.80 c #Conflicts: 1671000 | #Constraints: 31122
3600.07/3609.80 c #Conflicts: 1672000 | #Constraints: 32122
3600.07/3609.80 c #Conflicts: 1673000 | #Constraints: 33122
3600.07/3609.80 c #Conflicts: 1674000 | #Constraints: 34122
3600.07/3609.80 c #Conflicts: 1675000 | #Constraints: 35122
3600.07/3609.80 c #Conflicts: 1676000 | #Constraints: 36122
3600.07/3609.80 c #Conflicts: 1677000 | #Constraints: 37122
3600.07/3609.80 c #Conflicts: 1678000 | #Constraints: 38122
3600.07/3609.80 c #Conflicts: 1679000 | #Constraints: 39122
3600.07/3609.80 c #Conflicts: 1680000 | #Constraints: 40122
3600.07/3609.80 c #Conflicts: 1681000 | #Constraints: 41122
3600.07/3609.80 c #Conflicts: 1682000 | #Constraints: 42122
3600.07/3609.80 c #Conflicts: 1683000 | #Constraints: 43122
3600.07/3609.80 c #Conflicts: 1684000 | #Constraints: 44122
3600.07/3609.80 c #Conflicts: 1685000 | #Constraints: 45122
3600.07/3609.80 c #Conflicts: 1686000 | #Constraints: 46122
3600.07/3609.80 c #Conflicts: 1687000 | #Constraints: 47122
3600.07/3609.80 c #Conflicts: 1688000 | #Constraints: 48122
3600.07/3609.80 c #Conflicts: 1689000 | #Constraints: 49122
3600.07/3609.80 c #Conflicts: 1690000 | #Constraints: 50122
3600.07/3609.80 c #Conflicts: 1691000 | #Constraints: 51122
3600.07/3609.80 c #Conflicts: 1692000 | #Constraints: 52122
3600.07/3609.80 c #Conflicts: 1693000 | #Constraints: 53122
3600.07/3609.80 c #Conflicts: 1694000 | #Constraints: 54122
3600.07/3609.80 c INPROCESSING
3600.07/3609.80 c GARBAGE COLLECT
3600.07/3609.80 c #Conflicts: 1695000 | #Constraints: 29321
3600.07/3609.80 c #Conflicts: 1696000 | #Constraints: 30321
3600.07/3609.80 c #Conflicts: 1697000 | #Constraints: 31321
3600.07/3609.80 c #Conflicts: 1698000 | #Constraints: 32321
3600.07/3609.80 c #Conflicts: 1699000 | #Constraints: 33321
3600.07/3609.80 c #Conflicts: 1700000 | #Constraints: 34321
3600.07/3609.80 c #Conflicts: 1701000 | #Constraints: 35321
3600.07/3609.80 c #Conflicts: 1702000 | #Constraints: 36321
3600.07/3609.80 c #Conflicts: 1703000 | #Constraints: 37321
3600.07/3609.80 c #Conflicts: 1704000 | #Constraints: 38321
3600.07/3609.80 c #Conflicts: 1705000 | #Constraints: 39321
3600.07/3609.80 c #Conflicts: 1706000 | #Constraints: 40321
3600.07/3609.80 c #Conflicts: 1707000 | #Constraints: 41321
3600.07/3609.80 c #Conflicts: 1708000 | #Constraints: 42321
3600.07/3609.80 c #Conflicts: 1709000 | #Constraints: 43321
3600.07/3609.80 c Program interrupted by user.
3600.07/3609.80 c cpu time 3583.77 s
3600.07/3609.80 c deterministic time 371935963915 3.72e+11
3600.07/3609.80 c optimization time 42.4285 s
3600.07/3609.80 c total solve time 3242.4 s
3600.07/3609.80 c core-guided solve time 3242.4 s
3600.07/3609.80 c propagation time 3082.09 s
3600.07/3609.80 c conflict analysis time 180.804 s
3600.07/3609.80 c propagations 447530303
3600.07/3609.80 c resolve steps 8059562
3600.07/3609.80 c decisions 7363622
3600.07/3609.80 c conflicts 1709075
3600.07/3609.80 c restarts 3289
3600.07/3609.80 c inprocessing phases 121
3600.07/3609.80 c input clauses 0
3600.07/3609.80 c input cardinalities 0
3600.07/3609.80 c input general constraints 2431
3600.07/3609.80 c input average constraint length 25.44
3600.07/3609.80 c input average constraint degree 234.23
3600.07/3609.80 c learned clauses 493600
3600.07/3609.80 c learned cardinalities 5
3600.07/3609.80 c learned general constraints 1215470
3600.07/3609.80 c learned average constraint length 35.16
3600.07/3609.80 c learned average constraint degree 885973.14
3600.07/3609.80 c watched constraints 1214986
3600.07/3609.80 c counting constraints 2915
3600.07/3609.80 c gcd simplifications 9795
3600.07/3609.80 c detected cardinalities 5
3600.07/3609.80 c weakened non-implied lits 5025147
3600.07/3609.80 c weakened non-implying lits 2964
3600.07/3609.80 c original variables 1288
3600.07/3609.80 c clausal propagations 1859740
3600.07/3609.80 c cardinality propagations 4
3600.07/3609.80 c watched propagations 432609776
3600.07/3609.80 c counting propagations 12155184
3600.07/3609.80 c watch lookups 82269387378
3600.07/3609.80 c watch backjump lookups 79583559872
3600.07/3609.80 c watch checks 96974822243
3600.07/3609.80 c propagation checks 111950524058
3600.07/3609.80 c constraint additions 246174403
3600.07/3609.80 c trail pops 456602035
3600.07/3609.80 c formula constraints 2430
3600.07/3609.80 c learned constraints 1709075
3600.07/3609.80 c bound constraints 1
3600.07/3609.80 c core-guided constraints 0
3600.07/3609.80 c encountered formula constraints 6586696
3600.07/3609.80 c encountered learned constraints 3181941
3600.07/3609.80 c encountered bound constraints 0
3600.07/3609.80 c encountered core-guided constraints 0
3600.07/3609.80 c LP total time 0 s
3600.07/3609.80 c LP solve time 0 s
3600.07/3609.80 c LP constraints added 0
3600.07/3609.80 c LP constraints removed 0
3600.07/3609.80 c LP pivots internal 0
3600.07/3609.80 c LP pivots root 0
3600.07/3609.80 c LP calls 0
3600.07/3609.80 c LP optimalities 0
3600.07/3609.80 c LP no pivot count 0
3600.07/3609.80 c LP infeasibilities 0
3600.07/3609.80 c LP valid Farkas constraints 0
3600.07/3609.80 c LP learned Farkas constraints 0
3600.07/3609.80 c LP basis resets 0
3600.07/3609.80 c LP cycling count 0
3600.07/3609.80 c LP singular count 0
3600.07/3609.80 c LP no primal count 0
3600.07/3609.80 c LP no farkas count 0
3600.07/3609.80 c LP other issue count 0
3600.07/3609.80 c LP Gomory cuts 0
3600.07/3609.80 c LP learned cuts 0
3600.07/3609.80 c LP deleted cuts 0
3600.07/3609.80 c LP encountered Gomory constraints 0
3600.07/3609.80 c LP encountered Farkas constraints 0
3600.07/3609.80 c LP encountered learned Farkas constraints 0
3600.07/3609.80 c CG auxiliary variables introduced 0
3600.07/3609.80 c CG solutions found 0
3600.07/3609.80 c CG cores constructed 0
3600.07/3609.80 c CG core cardinality constraints returned 0
3600.07/3609.80 c CG unit cores 0
3600.07/3609.80 c CG single cores 0
3600.07/3609.80 c CG blocks removed during cardinality reduction 0
3600.07/3609.80 c CG first core best 0
3600.07/3609.80 c CG decision core best 0
3600.07/3609.80 c CG core reduction tie 0
3600.07/3609.80 c CG core degree average 0.00
3600.07/3609.80 c CG core slack average 0.00
3600.07/3609.80 c CG exhausted 0
3600.07/3609.80 c CG exhaust time 0 s
3600.07/3609.80 c CG trimmed 0
3600.07/3609.80 c CG trim time 0 s
3600.07/3609.80 c CG minimized 0
3600.07/3609.80 c CG minimize time 0 s
3600.07/3609.80 c CG am1 prop time 3.9e-05 s
3600.07/3609.80 c CG # am1s reformulated 0
3600.07/3609.80 c CG lower bound derived from am1s 0
3600.07/3609.80 c CG # clausal cores 0
3600.07/3609.80 c CG # cardinality cores 0
3600.07/3609.80 c CG # pb cores 0
3600.07/3609.80 c CG # pb reforms 0
3600.07/3609.80 c CG # cores discarded because of pb reform 0
3600.07/3609.80 d LOWERBOUND 0
3600.07/3609.80 d NCORES 0
3600.07/3609.80 d NPBCORES 0
3600.07/3609.80 d NPBREFORM 0
3600.07/3609.80 d NTRIMMED 0
3600.07/3609.80 d NEXHAUSTED 0
3600.07/3609.80 d NAM1S 0
3600.07/3609.80 d AM1LB 0
3600.07/3609.80 c [Papilo Statistics]
3600.07/3609.80 c prepro time 0.0113874s
3600.07/3609.80 c # tsx applied 1212
3600.07/3609.80 c # tsx conflicts 0
3600.07/3609.80 c # bound changes 1
3600.07/3609.80 c # side changes 1184
3600.07/3609.80 c # coef changes 37
3600.07/3609.80 c # rounds 2
3600.07/3609.80 c # deted vars 1
3600.07/3609.80 c # deted constrs 1183
3600.07/3609.80 c # consecutive rounds of only bound changes 0
3600.07/3609.80 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: 63931 MiB (58589 MiB free)
memory of node 1: 64510 MiB (62275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435478-1721104311/watcher-4435478-1721104311 -o /tmp/evaluation-result-4435478-1721104311/solver-4435478-1721104311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834478 --watchdog 3760 mixed-bag HOME/instance-4435478-1721104311.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=834866, runsolver pid=834863
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123736712/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=113276 memory=44840 CPUtime=0.09 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 8727 0 0 0 9 0 0 0 20 0 1 0 162591348 115994624 11210 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 28319 11210 3870 3002 0 12070 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113276 KiB
Current children cumulated memory: 44840 KiB
[startup+0.205653 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123707284/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=142416 memory=71060 CPUtime=0.2 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 15119 0 0 0 19 1 0 0 20 0 1 0 162591348 145833984 17765 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 35604 17765 4062 3002 0 19355 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 142416 KiB
Current children cumulated memory: 71060 KiB
[startup+0.305601 s]*
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123683964/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=167184 memory=93236 CPUtime=0.3 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 20683 0 0 0 28 2 0 0 20 0 1 0 162591348 171196416 23309 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 41796 23309 4062 3002 0 25547 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 167184 KiB
Current children cumulated memory: 93236 KiB
[startup+0.700182 s]
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123675760/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=167184 memory=94936 CPUtime=0.69 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 21061 0 0 0 67 2 0 0 20 0 1 0 162591348 171196416 23734 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 41796 23734 4093 3002 0 25547 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 167184 KiB
Current children cumulated memory: 94936 KiB
[startup+1.50017 s]
/proc/loadavg: 3.81 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123654228/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=197740 memory=121160 CPUtime=1.48 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 28285 0 0 0 145 3 0 0 20 0 1 0 162591348 202485760 30290 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 49435 30290 4093 3002 0 33186 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197740 KiB
Current children cumulated memory: 121160 KiB
[startup+3.10542 s]
/proc/loadavg: 3.83 4.03 4.07 5/260 834867
/proc/meminfo: memFree=123591016/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=198500 memory=123924 CPUtime=3.08 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 29472 0 0 0 305 3 0 0 20 0 1 0 162591348 203264000 30981 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 49625 30981 4093 3002 0 33376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 198500 KiB
Current children cumulated memory: 123924 KiB
[startup+6.30016 s]
/proc/loadavg: 3.83 4.03 4.07 4/257 835019
/proc/meminfo: memFree=123820204/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=199612 memory=126052 CPUtime=6.27 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 30551 0 0 0 624 3 0 0 20 0 1 0 162591348 204402688 31513 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 49903 31513 4093 3002 0 33654 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199612 KiB
Current children cumulated memory: 126052 KiB
[startup+12.7002 s]
/proc/loadavg: 3.78 4.01 4.06 5/258 835251
/proc/meminfo: memFree=123799536/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=210556 memory=137212 CPUtime=12.65 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 34002 0 0 0 1261 4 0 0 20 0 1 0 162591348 215609344 34303 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 52639 34303 4093 3002 0 36390 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 210556 KiB
Current children cumulated memory: 137212 KiB
[startup+25.5002 s]
/proc/loadavg: 3.89 4.02 4.07 5/260 835284
/proc/meminfo: memFree=123553096/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=213860 memory=140648 CPUtime=25.42 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 36893 0 0 0 2537 5 0 0 20 0 1 0 162591348 218992640 35162 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 53465 35162 4093 3002 0 37216 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 213860 KiB
Current children cumulated memory: 140648 KiB
[startup+51.1054 s]
/proc/loadavg: 3.93 4.02 4.06 5/260 835335
/proc/meminfo: memFree=123516940/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=222668 memory=149644 CPUtime=50.96 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 42473 0 0 0 5089 7 0 0 20 0 1 0 162591348 228012032 37411 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 55667 37411 4093 3002 0 39418 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 222668 KiB
Current children cumulated memory: 149644 KiB
[startup+102.3 s]
/proc/loadavg: 4.56 4.18 4.11 5/259 835388
/proc/meminfo: memFree=123097356/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=245940 memory=173180 CPUtime=102.01 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 50962 0 0 0 10189 12 0 0 20 0 1 0 162591348 251842560 43295 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 61485 43295 4093 3002 0 45236 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 245940 KiB
Current children cumulated memory: 173180 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/259 835401
/proc/meminfo: memFree=122904528/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=276784 memory=202560 CPUtime=161.83 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 66413 0 0 0 16164 19 0 0 20 0 1 0 162591348 283426816 50640 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 69196 50640 4109 3002 0 52947 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 276784 KiB
Current children cumulated memory: 202560 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/258 835502
/proc/meminfo: memFree=123367456/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=318468 memory=244056 CPUtime=221.63 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 82836 0 0 0 22140 23 0 0 20 0 1 0 162591348 326111232 61014 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 79617 61014 4109 3002 0 63368 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 318468 KiB
Current children cumulated memory: 244056 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/258 835512
/proc/meminfo: memFree=123161108/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=354960 memory=280080 CPUtime=281.42 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 100090 0 0 0 28115 27 0 0 20 0 1 0 162591348 363479040 70020 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 88740 70020 4109 3002 0 72491 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 354960 KiB
Current children cumulated memory: 280080 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 836166
/proc/meminfo: memFree=120912328/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=354896 memory=285956 CPUtime=341.25 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 109115 0 0 0 34039 86 0 0 20 0 1 0 162591348 363413504 71489 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 88724 71489 4221 3002 0 72475 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 354896 KiB
Current children cumulated memory: 285956 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 836176
/proc/meminfo: memFree=120126760/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=357616 memory=290936 CPUtime=401.07 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 109445 0 0 0 39962 145 0 0 20 0 1 0 162591348 366198784 72734 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 89404 72734 4221 3002 0 73155 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 357616 KiB
Current children cumulated memory: 290936 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/254 836186
/proc/meminfo: memFree=119707200/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=357616 memory=294488 CPUtime=460.92 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 109705 0 0 0 45902 190 0 0 20 0 1 0 162591348 366198784 73622 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 89404 73622 4221 3002 0 73155 0
################
# More data... #
################
Current children cumulated memory: 308532 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 837243
/proc/meminfo: memFree=116850312/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=2854.66 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113088 0 0 0 284120 1346 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 2854.66 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/257 837258
/proc/meminfo: memFree=116733688/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=2914.5 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113095 0 0 0 290082 1368 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 837268
/proc/meminfo: memFree=116650468/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=2974.34 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113160 0 0 0 296046 1388 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 837279
/proc/meminfo: memFree=116645488/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3034.18 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113224 0 0 0 302006 1412 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837289
/proc/meminfo: memFree=116598620/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3094.01 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113286 0 0 0 307966 1435 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837302
/proc/meminfo: memFree=116585244/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3153.85 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113350 0 0 0 313928 1457 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 837697
/proc/meminfo: memFree=116562568/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3213.68 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113415 0 0 0 319889 1479 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 837707
/proc/meminfo: memFree=116553296/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3273.52 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113479 0 0 0 325849 1503 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/257 837719
/proc/meminfo: memFree=116033792/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3333.35 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113542 0 0 0 331808 1527 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 837899
/proc/meminfo: memFree=116030864/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3393.18 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113608 0 0 0 337771 1547 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 837909
/proc/meminfo: memFree=116029596/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3453.02 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113673 0 0 0 343729 1573 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 837979
/proc/meminfo: memFree=115881804/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=308532 CPUtime=3512.83 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113735 0 0 0 349685 1598 0 0 20 0 1 0 162591348 378077184 77133 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77133 4221 3002 0 76055 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 308532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 837989
/proc/meminfo: memFree=115860264/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=310580 CPUtime=3572.65 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113802 0 0 0 355645 1620 0 0 20 0 1 0 162591348 378077184 77645 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77645 4221 3002 0 76055 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 310580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 3.96 4.08 4.08 5/259 838130
/proc/meminfo: memFree=122828760/131524600 swapFree=131071996/131071996
[pid=834866] ppid=834863 vsize=369216 memory=310580 CPUtime=3600.07 cores=1,3
/proc/834866/stat : 834866 (mixed-bag) R 834863 834866 834466 0 -1 4194304 113863 0 0 0 358376 1631 0 0 20 0 1 0 162591348 378077184 77645 134679101440 4194304 16487941 140720543014928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25944064 140720543024151 140720543024228 140720543024228 140720543031243 0
/proc/834866/statm: 92304 77645 4221 3002 0 76055 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 369216 KiB
Current children cumulated memory: 310580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 834866 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.77 s, system=16.3139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.08
CPU user time (s): 3583.77
CPU system time (s): 16.3139
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 385820
Max. memory (cumulated for all children) (KiB): 310580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.77
system time used= 16.3139
maximum resident set size= 311300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113899
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= 51
involuntary context switches= 1497
# summary of solver processes directly reported to runsolver:
# pid: 834866
# total CPU time (s): 3600.08
# total CPU user time (s): 3583.77
# total CPU system time (s): 16.3139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65135 second user time and 16.7447 second system time
The end
Begin job on nodeC015 at 2024-07-16 06:32:03
IDJOB=4435478
IDBENCH=147695
IDSOLVER=3066
FILE ID=nodeC015/4435478-1721104311
RUNJOBID= nodeC015-1721104319-834478
SLURM_JOB_ID= 7505624
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435478-1721104311/watcher-4435478-1721104311 -o /tmp/evaluation-result-4435478-1721104311/solver-4435478-1721104311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834478 --watchdog 3760 mixed-bag HOME/instance-4435478-1721104311.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1587389772
nodeC015.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 : 0xb00002a
cpu MHz : 3675.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.409
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.213
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123766528 kB
MemAvailable: 129138960 kB
Buffers: 380568 kB
Cached: 5820480 kB
SwapCached: 0 kB
Active: 1231108 kB
Inactive: 5913316 kB
Active(anon): 1540 kB
Inactive(anon): 979548 kB
Active(file): 1229568 kB
Inactive(file): 4933768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69132 kB
Writeback: 0 kB
AnonPages: 941688 kB
Mapped: 137108 kB
Shmem: 37720 kB
KReclaimable: 97484 kB
Slab: 204488 kB
SReclaimable: 97484 kB
SUnreclaim: 107004 kB
KernelStack: 4208 kB
PageTables: 11364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1453168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 272384 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: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC015 at 2024-07-16 07:32:13