0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 126 #constraints 788
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001871
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001871
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001871
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001871
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001871
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001897
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001922
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001933
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001961
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001968
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001968
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001968
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001968
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.001968
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002003
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002011
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002011
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002011
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002011
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002241
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002412
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002561
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.00269
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002797
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002913
0.00/0.02 c GLOBAL bounds - >= -125 @ 0.002952
0.00/0.03 c GLOBAL bounds - >= -125 @ 0.003408
0.00/0.03 c GLOBAL bounds - >= -125 @ 0.003891
0.00/0.03 c GLOBAL bounds - >= -125 @ 0.00771
0.00/0.07 c GLOBAL bounds - >= -125 @ 0.049565
34.07/34.20 c #Conflicts: 1000 | #Constraints: 1855
34.07/34.20 c #Conflicts: 2000 | #Constraints: 2855
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 3000 | #Constraints: 2860
34.07/34.20 c #Conflicts: 4000 | #Constraints: 3860
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 5000 | #Constraints: 3263
34.07/34.20 c #Conflicts: 6000 | #Constraints: 4263
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 7000 | #Constraints: 3267
34.07/34.20 c #Conflicts: 8000 | #Constraints: 4267
34.07/34.20 c #Conflicts: 9000 | #Constraints: 5267
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 10000 | #Constraints: 3970
34.07/34.20 c #Conflicts: 11000 | #Constraints: 4970
34.07/34.20 c #Conflicts: 12000 | #Constraints: 5970
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 13000 | #Constraints: 4420
34.07/34.20 c #Conflicts: 14000 | #Constraints: 5420
34.07/34.20 c #Conflicts: 15000 | #Constraints: 6420
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 16000 | #Constraints: 4643
34.07/34.20 c #Conflicts: 17000 | #Constraints: 5643
34.07/34.20 c #Conflicts: 18000 | #Constraints: 6643
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 19000 | #Constraints: 4657
34.07/34.20 c #Conflicts: 20000 | #Constraints: 5657
34.07/34.20 c #Conflicts: 21000 | #Constraints: 6657
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 22000 | #Constraints: 4463
34.07/34.20 c #Conflicts: 23000 | #Constraints: 5463
34.07/34.20 c #Conflicts: 24000 | #Constraints: 6463
34.07/34.20 c #Conflicts: 25000 | #Constraints: 7463
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 26000 | #Constraints: 5068
34.07/34.20 c #Conflicts: 27000 | #Constraints: 6068
34.07/34.20 c #Conflicts: 28000 | #Constraints: 7068
34.07/34.20 c #Conflicts: 29000 | #Constraints: 8068
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 30000 | #Constraints: 5474
34.07/34.20 c #Conflicts: 31000 | #Constraints: 6474
34.07/34.20 c #Conflicts: 32000 | #Constraints: 7474
34.07/34.20 c #Conflicts: 33000 | #Constraints: 8474
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 34000 | #Constraints: 5674
34.07/34.20 c #Conflicts: 35000 | #Constraints: 6674
34.07/34.20 c #Conflicts: 36000 | #Constraints: 7674
34.07/34.20 c #Conflicts: 37000 | #Constraints: 8674
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 38000 | #Constraints: 5672
34.07/34.20 c #Conflicts: 39000 | #Constraints: 6672
34.07/34.20 c #Conflicts: 40000 | #Constraints: 7672
34.07/34.20 c #Conflicts: 41000 | #Constraints: 8672
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 42000 | #Constraints: 5474
34.07/34.20 c #Conflicts: 43000 | #Constraints: 6474
34.07/34.20 c #Conflicts: 44000 | #Constraints: 7474
34.07/34.20 c #Conflicts: 45000 | #Constraints: 8474
34.07/34.20 c #Conflicts: 46000 | #Constraints: 9474
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 47000 | #Constraints: 6069
34.07/34.20 c #Conflicts: 48000 | #Constraints: 7069
34.07/34.20 c #Conflicts: 49000 | #Constraints: 8069
34.07/34.20 c #Conflicts: 50000 | #Constraints: 9069
34.07/34.20 c #Conflicts: 51000 | #Constraints: 10069
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 52000 | #Constraints: 6470
34.07/34.20 c #Conflicts: 53000 | #Constraints: 7470
34.07/34.20 c #Conflicts: 54000 | #Constraints: 8470
34.07/34.20 c #Conflicts: 55000 | #Constraints: 9470
34.07/34.20 c #Conflicts: 56000 | #Constraints: 10470
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 57000 | #Constraints: 6669
34.07/34.20 c #Conflicts: 58000 | #Constraints: 7669
34.07/34.20 c #Conflicts: 59000 | #Constraints: 8669
34.07/34.20 c #Conflicts: 60000 | #Constraints: 9669
34.07/34.20 c #Conflicts: 61000 | #Constraints: 10669
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 62000 | #Constraints: 6675
34.07/34.20 c #Conflicts: 63000 | #Constraints: 7675
34.07/34.20 c #Conflicts: 64000 | #Constraints: 8675
34.07/34.20 c #Conflicts: 65000 | #Constraints: 9675
34.07/34.20 c #Conflicts: 66000 | #Constraints: 10675
34.07/34.20 c INPROCESSING
34.07/34.20 c GARBAGE COLLECT
34.07/34.20 c #Conflicts: 67000 | #Constraints: 6475
34.07/34.20 c #Conflicts: 68000 | #Constraints: 7475
90.74/91.05 c #Conflicts: 69000 | #Constraints: 8475
90.74/91.05 c #Conflicts: 70000 | #Constraints: 9475
90.74/91.05 c #Conflicts: 71000 | #Constraints: 10475
90.74/91.05 c #Conflicts: 72000 | #Constraints: 11475
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 73000 | #Constraints: 7074
90.74/91.05 c #Conflicts: 74000 | #Constraints: 8074
90.74/91.05 c #Conflicts: 75000 | #Constraints: 9074
90.74/91.05 c #Conflicts: 76000 | #Constraints: 10074
90.74/91.05 c #Conflicts: 77000 | #Constraints: 11074
90.74/91.05 c #Conflicts: 78000 | #Constraints: 12074
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 79000 | #Constraints: 7471
90.74/91.05 c #Conflicts: 80000 | #Constraints: 8471
90.74/91.05 c #Conflicts: 81000 | #Constraints: 9471
90.74/91.05 c #Conflicts: 82000 | #Constraints: 10471
90.74/91.05 c #Conflicts: 83000 | #Constraints: 11471
90.74/91.05 c #Conflicts: 84000 | #Constraints: 12471
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 85000 | #Constraints: 7670
90.74/91.05 c #Conflicts: 86000 | #Constraints: 8670
90.74/91.05 c #Conflicts: 87000 | #Constraints: 9670
90.74/91.05 c #Conflicts: 88000 | #Constraints: 10670
90.74/91.05 c #Conflicts: 89000 | #Constraints: 11670
90.74/91.05 c #Conflicts: 90000 | #Constraints: 12670
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 91000 | #Constraints: 7673
90.74/91.05 c #Conflicts: 92000 | #Constraints: 8673
90.74/91.05 c #Conflicts: 93000 | #Constraints: 9673
90.74/91.05 c #Conflicts: 94000 | #Constraints: 10673
90.74/91.05 c #Conflicts: 95000 | #Constraints: 11673
90.74/91.05 c #Conflicts: 96000 | #Constraints: 12673
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 97000 | #Constraints: 7472
90.74/91.05 c #Conflicts: 98000 | #Constraints: 8472
90.74/91.05 c #Conflicts: 99000 | #Constraints: 9472
90.74/91.05 c #Conflicts: 100000 | #Constraints: 10472
90.74/91.05 c #Conflicts: 101000 | #Constraints: 11472
90.74/91.05 c #Conflicts: 102000 | #Constraints: 12472
90.74/91.05 c #Conflicts: 103000 | #Constraints: 13472
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 104000 | #Constraints: 8070
90.74/91.05 c #Conflicts: 105000 | #Constraints: 9070
90.74/91.05 c #Conflicts: 106000 | #Constraints: 10070
90.74/91.05 c #Conflicts: 107000 | #Constraints: 11070
90.74/91.05 c #Conflicts: 108000 | #Constraints: 12070
90.74/91.05 c #Conflicts: 109000 | #Constraints: 13070
90.74/91.05 c #Conflicts: 110000 | #Constraints: 14070
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 111000 | #Constraints: 8471
90.74/91.05 c #Conflicts: 112000 | #Constraints: 9471
90.74/91.05 c #Conflicts: 113000 | #Constraints: 10471
90.74/91.05 c #Conflicts: 114000 | #Constraints: 11471
90.74/91.05 c #Conflicts: 115000 | #Constraints: 12471
90.74/91.05 c #Conflicts: 116000 | #Constraints: 13471
90.74/91.05 c #Conflicts: 117000 | #Constraints: 14471
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 118000 | #Constraints: 8670
90.74/91.05 c #Conflicts: 119000 | #Constraints: 9670
90.74/91.05 c #Conflicts: 120000 | #Constraints: 10670
90.74/91.05 c #Conflicts: 121000 | #Constraints: 11670
90.74/91.05 c #Conflicts: 122000 | #Constraints: 12670
90.74/91.05 c #Conflicts: 123000 | #Constraints: 13670
90.74/91.05 c #Conflicts: 124000 | #Constraints: 14670
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 125000 | #Constraints: 8672
90.74/91.05 c #Conflicts: 126000 | #Constraints: 9672
90.74/91.05 c #Conflicts: 127000 | #Constraints: 10672
90.74/91.05 c #Conflicts: 128000 | #Constraints: 11672
90.74/91.05 c #Conflicts: 129000 | #Constraints: 12672
90.74/91.05 c #Conflicts: 130000 | #Constraints: 13672
90.74/91.05 c #Conflicts: 131000 | #Constraints: 14672
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 132000 | #Constraints: 8473
90.74/91.05 c #Conflicts: 133000 | #Constraints: 9473
90.74/91.05 c #Conflicts: 134000 | #Constraints: 10473
90.74/91.05 c #Conflicts: 135000 | #Constraints: 11473
90.74/91.05 c #Conflicts: 136000 | #Constraints: 12473
90.74/91.05 c #Conflicts: 137000 | #Constraints: 13473
90.74/91.05 c #Conflicts: 138000 | #Constraints: 14473
90.74/91.05 c #Conflicts: 139000 | #Constraints: 15473
90.74/91.05 c INPROCESSING
90.74/91.05 c GARBAGE COLLECT
90.74/91.05 c #Conflicts: 140000 | #Constraints: 9071
166.23/166.78 c #Conflicts: 141000 | #Constraints: 10071
166.23/166.78 c #Conflicts: 142000 | #Constraints: 11071
166.23/166.78 c #Conflicts: 143000 | #Constraints: 12071
166.23/166.78 c #Conflicts: 144000 | #Constraints: 13071
166.23/166.78 c #Conflicts: 145000 | #Constraints: 14071
166.23/166.78 c #Conflicts: 146000 | #Constraints: 15071
166.23/166.78 c #Conflicts: 147000 | #Constraints: 16071
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 148000 | #Constraints: 9471
166.23/166.78 c #Conflicts: 149000 | #Constraints: 10471
166.23/166.78 c #Conflicts: 150000 | #Constraints: 11471
166.23/166.78 c #Conflicts: 151000 | #Constraints: 12471
166.23/166.78 c #Conflicts: 152000 | #Constraints: 13471
166.23/166.78 c #Conflicts: 153000 | #Constraints: 14471
166.23/166.78 c #Conflicts: 154000 | #Constraints: 15471
166.23/166.78 c #Conflicts: 155000 | #Constraints: 16471
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 156000 | #Constraints: 9675
166.23/166.78 c #Conflicts: 157000 | #Constraints: 10675
166.23/166.78 c #Conflicts: 158000 | #Constraints: 11675
166.23/166.78 c #Conflicts: 159000 | #Constraints: 12675
166.23/166.78 c #Conflicts: 160000 | #Constraints: 13675
166.23/166.78 c #Conflicts: 161000 | #Constraints: 14675
166.23/166.78 c #Conflicts: 162000 | #Constraints: 15675
166.23/166.78 c #Conflicts: 163000 | #Constraints: 16675
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 164000 | #Constraints: 9674
166.23/166.78 c #Conflicts: 165000 | #Constraints: 10674
166.23/166.78 c #Conflicts: 166000 | #Constraints: 11674
166.23/166.78 c #Conflicts: 167000 | #Constraints: 12674
166.23/166.78 c #Conflicts: 168000 | #Constraints: 13674
166.23/166.78 c #Conflicts: 169000 | #Constraints: 14674
166.23/166.78 c #Conflicts: 170000 | #Constraints: 15674
166.23/166.78 c #Conflicts: 171000 | #Constraints: 16674
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 172000 | #Constraints: 9471
166.23/166.78 c #Conflicts: 173000 | #Constraints: 10471
166.23/166.78 c #Conflicts: 174000 | #Constraints: 11471
166.23/166.78 c #Conflicts: 175000 | #Constraints: 12471
166.23/166.78 c #Conflicts: 176000 | #Constraints: 13471
166.23/166.78 c #Conflicts: 177000 | #Constraints: 14471
166.23/166.78 c #Conflicts: 178000 | #Constraints: 15471
166.23/166.78 c #Conflicts: 179000 | #Constraints: 16471
166.23/166.78 c #Conflicts: 180000 | #Constraints: 17471
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 181000 | #Constraints: 10070
166.23/166.78 c #Conflicts: 182000 | #Constraints: 11070
166.23/166.78 c #Conflicts: 183000 | #Constraints: 12070
166.23/166.78 c #Conflicts: 184000 | #Constraints: 13070
166.23/166.78 c #Conflicts: 185000 | #Constraints: 14070
166.23/166.78 c #Conflicts: 186000 | #Constraints: 15070
166.23/166.78 c #Conflicts: 187000 | #Constraints: 16070
166.23/166.78 c #Conflicts: 188000 | #Constraints: 17070
166.23/166.78 c #Conflicts: 189000 | #Constraints: 18070
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 190000 | #Constraints: 10469
166.23/166.78 c #Conflicts: 191000 | #Constraints: 11469
166.23/166.78 c #Conflicts: 192000 | #Constraints: 12469
166.23/166.78 c #Conflicts: 193000 | #Constraints: 13469
166.23/166.78 c #Conflicts: 194000 | #Constraints: 14469
166.23/166.78 c #Conflicts: 195000 | #Constraints: 15469
166.23/166.78 c #Conflicts: 196000 | #Constraints: 16469
166.23/166.78 c #Conflicts: 197000 | #Constraints: 17469
166.23/166.78 c #Conflicts: 198000 | #Constraints: 18469
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 199000 | #Constraints: 10670
166.23/166.78 c #Conflicts: 200000 | #Constraints: 11670
166.23/166.78 c #Conflicts: 201000 | #Constraints: 12670
166.23/166.78 c #Conflicts: 202000 | #Constraints: 13670
166.23/166.78 c #Conflicts: 203000 | #Constraints: 14670
166.23/166.78 c #Conflicts: 204000 | #Constraints: 15670
166.23/166.78 c #Conflicts: 205000 | #Constraints: 16670
166.23/166.78 c #Conflicts: 206000 | #Constraints: 17670
166.23/166.78 c #Conflicts: 207000 | #Constraints: 18670
166.23/166.78 c INPROCESSING
166.23/166.78 c GARBAGE COLLECT
166.23/166.78 c #Conflicts: 208000 | #Constraints: 10672
166.23/166.78 c #Conflicts: 209000 | #Constraints: 11672
166.23/166.78 c #Conflicts: 210000 | #Constraints: 12672
166.23/166.78 c #Conflicts: 211000 | #Constraints: 13672
166.23/166.78 c #Conflicts: 212000 | #Constraints: 14672
166.23/166.78 c #Conflicts: 213000 | #Constraints: 15672
266.84/267.61 c #Conflicts: 214000 | #Constraints: 16672
266.84/267.61 c #Conflicts: 215000 | #Constraints: 17672
266.84/267.61 c #Conflicts: 216000 | #Constraints: 18672
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 217000 | #Constraints: 10474
266.84/267.61 c #Conflicts: 218000 | #Constraints: 11474
266.84/267.61 c #Conflicts: 219000 | #Constraints: 12474
266.84/267.61 c #Conflicts: 220000 | #Constraints: 13474
266.84/267.61 c #Conflicts: 221000 | #Constraints: 14474
266.84/267.61 c #Conflicts: 222000 | #Constraints: 15474
266.84/267.61 c #Conflicts: 223000 | #Constraints: 16474
266.84/267.61 c #Conflicts: 224000 | #Constraints: 17474
266.84/267.61 c #Conflicts: 225000 | #Constraints: 18474
266.84/267.61 c #Conflicts: 226000 | #Constraints: 19474
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 227000 | #Constraints: 11075
266.84/267.61 c #Conflicts: 228000 | #Constraints: 12075
266.84/267.61 c #Conflicts: 229000 | #Constraints: 13075
266.84/267.61 c #Conflicts: 230000 | #Constraints: 14075
266.84/267.61 c #Conflicts: 231000 | #Constraints: 15075
266.84/267.61 c #Conflicts: 232000 | #Constraints: 16075
266.84/267.61 c #Conflicts: 233000 | #Constraints: 17075
266.84/267.61 c #Conflicts: 234000 | #Constraints: 18075
266.84/267.61 c #Conflicts: 235000 | #Constraints: 19075
266.84/267.61 c #Conflicts: 236000 | #Constraints: 20075
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 237000 | #Constraints: 11476
266.84/267.61 c #Conflicts: 238000 | #Constraints: 12476
266.84/267.61 c #Conflicts: 239000 | #Constraints: 13476
266.84/267.61 c #Conflicts: 240000 | #Constraints: 14476
266.84/267.61 c #Conflicts: 241000 | #Constraints: 15476
266.84/267.61 c #Conflicts: 242000 | #Constraints: 16476
266.84/267.61 c #Conflicts: 243000 | #Constraints: 17476
266.84/267.61 c #Conflicts: 244000 | #Constraints: 18476
266.84/267.61 c #Conflicts: 245000 | #Constraints: 19476
266.84/267.61 c #Conflicts: 246000 | #Constraints: 20476
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 247000 | #Constraints: 11675
266.84/267.61 c #Conflicts: 248000 | #Constraints: 12675
266.84/267.61 c #Conflicts: 249000 | #Constraints: 13675
266.84/267.61 c #Conflicts: 250000 | #Constraints: 14675
266.84/267.61 c #Conflicts: 251000 | #Constraints: 15675
266.84/267.61 c #Conflicts: 252000 | #Constraints: 16675
266.84/267.61 c #Conflicts: 253000 | #Constraints: 17675
266.84/267.61 c #Conflicts: 254000 | #Constraints: 18675
266.84/267.61 c #Conflicts: 255000 | #Constraints: 19675
266.84/267.61 c #Conflicts: 256000 | #Constraints: 20675
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 257000 | #Constraints: 11674
266.84/267.61 c #Conflicts: 258000 | #Constraints: 12674
266.84/267.61 c #Conflicts: 259000 | #Constraints: 13674
266.84/267.61 c #Conflicts: 260000 | #Constraints: 14674
266.84/267.61 c #Conflicts: 261000 | #Constraints: 15674
266.84/267.61 c #Conflicts: 262000 | #Constraints: 16674
266.84/267.61 c #Conflicts: 263000 | #Constraints: 17674
266.84/267.61 c #Conflicts: 264000 | #Constraints: 18674
266.84/267.61 c #Conflicts: 265000 | #Constraints: 19674
266.84/267.61 c #Conflicts: 266000 | #Constraints: 20674
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 267000 | #Constraints: 11475
266.84/267.61 c #Conflicts: 268000 | #Constraints: 12475
266.84/267.61 c #Conflicts: 269000 | #Constraints: 13475
266.84/267.61 c #Conflicts: 270000 | #Constraints: 14475
266.84/267.61 c #Conflicts: 271000 | #Constraints: 15475
266.84/267.61 c #Conflicts: 272000 | #Constraints: 16475
266.84/267.61 c #Conflicts: 273000 | #Constraints: 17475
266.84/267.61 c #Conflicts: 274000 | #Constraints: 18475
266.84/267.61 c #Conflicts: 275000 | #Constraints: 19475
266.84/267.61 c #Conflicts: 276000 | #Constraints: 20475
266.84/267.61 c #Conflicts: 277000 | #Constraints: 21475
266.84/267.61 c INPROCESSING
266.84/267.61 c GARBAGE COLLECT
266.84/267.61 c #Conflicts: 278000 | #Constraints: 12075
266.84/267.61 c #Conflicts: 279000 | #Constraints: 13075
266.84/267.61 c #Conflicts: 280000 | #Constraints: 14075
266.84/267.61 c #Conflicts: 281000 | #Constraints: 15075
266.84/267.61 c #Conflicts: 282000 | #Constraints: 16075
266.84/267.61 c #Conflicts: 283000 | #Constraints: 17075
266.84/267.61 c #Conflicts: 284000 | #Constraints: 18075
266.84/267.61 c #Conflicts: 285000 | #Constraints: 19075
266.84/267.61 c #Conflicts: 286000 | #Constraints: 20075
266.84/267.61 c #Conflicts: 287000 | #Constraints: 21075
266.84/267.61 c #Conflicts: 288000 | #Constraints: 22075
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 289000 | #Constraints: 12473
375.12/376.28 c #Conflicts: 290000 | #Constraints: 13473
375.12/376.28 c #Conflicts: 291000 | #Constraints: 14473
375.12/376.28 c #Conflicts: 292000 | #Constraints: 15473
375.12/376.28 c #Conflicts: 293000 | #Constraints: 16473
375.12/376.28 c #Conflicts: 294000 | #Constraints: 17473
375.12/376.28 c #Conflicts: 295000 | #Constraints: 18473
375.12/376.28 c #Conflicts: 296000 | #Constraints: 19473
375.12/376.28 c #Conflicts: 297000 | #Constraints: 20473
375.12/376.28 c #Conflicts: 298000 | #Constraints: 21473
375.12/376.28 c #Conflicts: 299000 | #Constraints: 22473
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 300000 | #Constraints: 12677
375.12/376.28 c #Conflicts: 301000 | #Constraints: 13677
375.12/376.28 c #Conflicts: 302000 | #Constraints: 14677
375.12/376.28 c #Conflicts: 303000 | #Constraints: 15677
375.12/376.28 c #Conflicts: 304000 | #Constraints: 16677
375.12/376.28 c #Conflicts: 305000 | #Constraints: 17677
375.12/376.28 c #Conflicts: 306000 | #Constraints: 18677
375.12/376.28 c #Conflicts: 307000 | #Constraints: 19677
375.12/376.28 c #Conflicts: 308000 | #Constraints: 20677
375.12/376.28 c #Conflicts: 309000 | #Constraints: 21677
375.12/376.28 c #Conflicts: 310000 | #Constraints: 22677
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 311000 | #Constraints: 12677
375.12/376.28 c #Conflicts: 312000 | #Constraints: 13677
375.12/376.28 c #Conflicts: 313000 | #Constraints: 14677
375.12/376.28 c #Conflicts: 314000 | #Constraints: 15677
375.12/376.28 c #Conflicts: 315000 | #Constraints: 16677
375.12/376.28 c #Conflicts: 316000 | #Constraints: 17677
375.12/376.28 c #Conflicts: 317000 | #Constraints: 18677
375.12/376.28 c #Conflicts: 318000 | #Constraints: 19677
375.12/376.28 c #Conflicts: 319000 | #Constraints: 20677
375.12/376.28 c #Conflicts: 320000 | #Constraints: 21677
375.12/376.28 c #Conflicts: 321000 | #Constraints: 22677
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 322000 | #Constraints: 12476
375.12/376.28 c #Conflicts: 323000 | #Constraints: 13476
375.12/376.28 c #Conflicts: 324000 | #Constraints: 14476
375.12/376.28 c #Conflicts: 325000 | #Constraints: 15476
375.12/376.28 c #Conflicts: 326000 | #Constraints: 16476
375.12/376.28 c #Conflicts: 327000 | #Constraints: 17476
375.12/376.28 c #Conflicts: 328000 | #Constraints: 18476
375.12/376.28 c #Conflicts: 329000 | #Constraints: 19476
375.12/376.28 c #Conflicts: 330000 | #Constraints: 20476
375.12/376.28 c #Conflicts: 331000 | #Constraints: 21476
375.12/376.28 c #Conflicts: 332000 | #Constraints: 22476
375.12/376.28 c #Conflicts: 333000 | #Constraints: 23476
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 334000 | #Constraints: 13074
375.12/376.28 c #Conflicts: 335000 | #Constraints: 14074
375.12/376.28 c #Conflicts: 336000 | #Constraints: 15074
375.12/376.28 c #Conflicts: 337000 | #Constraints: 16074
375.12/376.28 c #Conflicts: 338000 | #Constraints: 17074
375.12/376.28 c #Conflicts: 339000 | #Constraints: 18074
375.12/376.28 c #Conflicts: 340000 | #Constraints: 19074
375.12/376.28 c #Conflicts: 341000 | #Constraints: 20074
375.12/376.28 c #Conflicts: 342000 | #Constraints: 21074
375.12/376.28 c #Conflicts: 343000 | #Constraints: 22074
375.12/376.28 c #Conflicts: 344000 | #Constraints: 23074
375.12/376.28 c #Conflicts: 345000 | #Constraints: 24074
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 346000 | #Constraints: 13473
375.12/376.28 c #Conflicts: 347000 | #Constraints: 14473
375.12/376.28 c #Conflicts: 348000 | #Constraints: 15473
375.12/376.28 c #Conflicts: 349000 | #Constraints: 16473
375.12/376.28 c #Conflicts: 350000 | #Constraints: 17473
375.12/376.28 c #Conflicts: 351000 | #Constraints: 18473
375.12/376.28 c #Conflicts: 352000 | #Constraints: 19473
375.12/376.28 c #Conflicts: 353000 | #Constraints: 20473
375.12/376.28 c #Conflicts: 354000 | #Constraints: 21473
375.12/376.28 c #Conflicts: 355000 | #Constraints: 22473
375.12/376.28 c #Conflicts: 356000 | #Constraints: 23473
375.12/376.28 c #Conflicts: 357000 | #Constraints: 24473
375.12/376.28 c INPROCESSING
375.12/376.28 c GARBAGE COLLECT
375.12/376.28 c #Conflicts: 358000 | #Constraints: 13673
375.12/376.28 c #Conflicts: 359000 | #Constraints: 14673
375.12/376.28 c #Conflicts: 360000 | #Constraints: 15673
375.12/376.28 c #Conflicts: 361000 | #Constraints: 16673
375.12/376.28 c #Conflicts: 362000 | #Constraints: 17673
496.57/498.09 c #Conflicts: 363000 | #Constraints: 18673
496.57/498.09 c #Conflicts: 364000 | #Constraints: 19673
496.57/498.09 c #Conflicts: 365000 | #Constraints: 20673
496.57/498.09 c #Conflicts: 366000 | #Constraints: 21673
496.57/498.09 c #Conflicts: 367000 | #Constraints: 22673
496.57/498.09 c #Conflicts: 368000 | #Constraints: 23673
496.57/498.09 c #Conflicts: 369000 | #Constraints: 24673
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 370000 | #Constraints: 13675
496.57/498.09 c #Conflicts: 371000 | #Constraints: 14675
496.57/498.09 c #Conflicts: 372000 | #Constraints: 15675
496.57/498.09 c #Conflicts: 373000 | #Constraints: 16675
496.57/498.09 c #Conflicts: 374000 | #Constraints: 17675
496.57/498.09 c #Conflicts: 375000 | #Constraints: 18675
496.57/498.09 c #Conflicts: 376000 | #Constraints: 19675
496.57/498.09 c #Conflicts: 377000 | #Constraints: 20675
496.57/498.09 c #Conflicts: 378000 | #Constraints: 21675
496.57/498.09 c #Conflicts: 379000 | #Constraints: 22675
496.57/498.09 c #Conflicts: 380000 | #Constraints: 23675
496.57/498.09 c #Conflicts: 381000 | #Constraints: 24675
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 382000 | #Constraints: 13474
496.57/498.09 c #Conflicts: 383000 | #Constraints: 14474
496.57/498.09 c #Conflicts: 384000 | #Constraints: 15474
496.57/498.09 c #Conflicts: 385000 | #Constraints: 16474
496.57/498.09 c #Conflicts: 386000 | #Constraints: 17474
496.57/498.09 c #Conflicts: 387000 | #Constraints: 18474
496.57/498.09 c #Conflicts: 388000 | #Constraints: 19474
496.57/498.09 c #Conflicts: 389000 | #Constraints: 20474
496.57/498.09 c #Conflicts: 390000 | #Constraints: 21474
496.57/498.09 c #Conflicts: 391000 | #Constraints: 22474
496.57/498.09 c #Conflicts: 392000 | #Constraints: 23474
496.57/498.09 c #Conflicts: 393000 | #Constraints: 24474
496.57/498.09 c #Conflicts: 394000 | #Constraints: 25474
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 395000 | #Constraints: 14073
496.57/498.09 c #Conflicts: 396000 | #Constraints: 15073
496.57/498.09 c #Conflicts: 397000 | #Constraints: 16073
496.57/498.09 c #Conflicts: 398000 | #Constraints: 17073
496.57/498.09 c #Conflicts: 399000 | #Constraints: 18073
496.57/498.09 c #Conflicts: 400000 | #Constraints: 19073
496.57/498.09 c #Conflicts: 401000 | #Constraints: 20073
496.57/498.09 c #Conflicts: 402000 | #Constraints: 21073
496.57/498.09 c #Conflicts: 403000 | #Constraints: 22073
496.57/498.09 c #Conflicts: 404000 | #Constraints: 23073
496.57/498.09 c #Conflicts: 405000 | #Constraints: 24073
496.57/498.09 c #Conflicts: 406000 | #Constraints: 25073
496.57/498.09 c #Conflicts: 407000 | #Constraints: 26073
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 408000 | #Constraints: 14472
496.57/498.09 c #Conflicts: 409000 | #Constraints: 15472
496.57/498.09 c #Conflicts: 410000 | #Constraints: 16472
496.57/498.09 c #Conflicts: 411000 | #Constraints: 17472
496.57/498.09 c #Conflicts: 412000 | #Constraints: 18472
496.57/498.09 c #Conflicts: 413000 | #Constraints: 19472
496.57/498.09 c #Conflicts: 414000 | #Constraints: 20472
496.57/498.09 c #Conflicts: 415000 | #Constraints: 21472
496.57/498.09 c #Conflicts: 416000 | #Constraints: 22472
496.57/498.09 c #Conflicts: 417000 | #Constraints: 23472
496.57/498.09 c #Conflicts: 418000 | #Constraints: 24472
496.57/498.09 c #Conflicts: 419000 | #Constraints: 25472
496.57/498.09 c #Conflicts: 420000 | #Constraints: 26472
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 421000 | #Constraints: 14674
496.57/498.09 c #Conflicts: 422000 | #Constraints: 15674
496.57/498.09 c #Conflicts: 423000 | #Constraints: 16674
496.57/498.09 c #Conflicts: 424000 | #Constraints: 17674
496.57/498.09 c #Conflicts: 425000 | #Constraints: 18674
496.57/498.09 c #Conflicts: 426000 | #Constraints: 19674
496.57/498.09 c #Conflicts: 427000 | #Constraints: 20674
496.57/498.09 c #Conflicts: 428000 | #Constraints: 21674
496.57/498.09 c #Conflicts: 429000 | #Constraints: 22674
496.57/498.09 c #Conflicts: 430000 | #Constraints: 23674
496.57/498.09 c #Conflicts: 431000 | #Constraints: 24674
496.57/498.09 c #Conflicts: 432000 | #Constraints: 25674
496.57/498.09 c #Conflicts: 433000 | #Constraints: 26674
496.57/498.09 c INPROCESSING
496.57/498.09 c GARBAGE COLLECT
496.57/498.09 c #Conflicts: 434000 | #Constraints: 14676
496.57/498.09 c #Conflicts: 435000 | #Constraints: 15676
496.57/498.09 c #Conflicts: 436000 | #Constraints: 16676
496.57/498.09 c #Conflicts: 437000 | #Constraints: 17676
635.27/637.10 c #Conflicts: 438000 | #Constraints: 18676
635.27/637.10 c #Conflicts: 439000 | #Constraints: 19676
635.27/637.10 c #Conflicts: 440000 | #Constraints: 20676
635.27/637.10 c #Conflicts: 441000 | #Constraints: 21676
635.27/637.10 c #Conflicts: 442000 | #Constraints: 22676
635.27/637.10 c #Conflicts: 443000 | #Constraints: 23676
635.27/637.10 c #Conflicts: 444000 | #Constraints: 24676
635.27/637.10 c #Conflicts: 445000 | #Constraints: 25676
635.27/637.10 c #Conflicts: 446000 | #Constraints: 26676
635.27/637.10 c INPROCESSING
635.27/637.10 c GARBAGE COLLECT
635.27/637.10 c #Conflicts: 447000 | #Constraints: 14475
635.27/637.10 c #Conflicts: 448000 | #Constraints: 15475
635.27/637.10 c #Conflicts: 449000 | #Constraints: 16475
635.27/637.10 c #Conflicts: 450000 | #Constraints: 17475
635.27/637.10 c #Conflicts: 451000 | #Constraints: 18475
635.27/637.10 c #Conflicts: 452000 | #Constraints: 19475
635.27/637.10 c #Conflicts: 453000 | #Constraints: 20475
635.27/637.10 c #Conflicts: 454000 | #Constraints: 21475
635.27/637.10 c #Conflicts: 455000 | #Constraints: 22475
635.27/637.10 c #Conflicts: 456000 | #Constraints: 23475
635.27/637.10 c #Conflicts: 457000 | #Constraints: 24475
635.27/637.10 c #Conflicts: 458000 | #Constraints: 25475
635.27/637.10 c #Conflicts: 459000 | #Constraints: 26475
635.27/637.10 c #Conflicts: 460000 | #Constraints: 27475
635.27/637.10 c INPROCESSING
635.27/637.10 c GARBAGE COLLECT
635.27/637.10 c #Conflicts: 461000 | #Constraints: 15075
635.27/637.10 c #Conflicts: 462000 | #Constraints: 16075
635.27/637.10 c #Conflicts: 463000 | #Constraints: 17075
635.27/637.10 c #Conflicts: 464000 | #Constraints: 18075
635.27/637.10 c #Conflicts: 465000 | #Constraints: 19075
635.27/637.10 c #Conflicts: 466000 | #Constraints: 20075
635.27/637.10 c #Conflicts: 467000 | #Constraints: 21075
635.27/637.10 c #Conflicts: 468000 | #Constraints: 22075
635.27/637.10 c #Conflicts: 469000 | #Constraints: 23075
635.27/637.10 c #Conflicts: 470000 | #Constraints: 24075
635.27/637.10 c #Conflicts: 471000 | #Constraints: 25075
635.27/637.10 c #Conflicts: 472000 | #Constraints: 26075
635.27/637.10 c #Conflicts: 473000 | #Constraints: 27075
635.27/637.10 c #Conflicts: 474000 | #Constraints: 28075
635.27/637.10 c INPROCESSING
635.27/637.10 c GARBAGE COLLECT
635.27/637.10 c #Conflicts: 475000 | #Constraints: 15475
635.27/637.10 c #Conflicts: 476000 | #Constraints: 16475
635.27/637.10 c #Conflicts: 477000 | #Constraints: 17475
635.27/637.10 c #Conflicts: 478000 | #Constraints: 18475
635.27/637.10 c #Conflicts: 479000 | #Constraints: 19475
635.27/637.10 c #Conflicts: 480000 | #Constraints: 20475
635.27/637.10 c #Conflicts: 481000 | #Constraints: 21475
635.27/637.10 c #Conflicts: 482000 | #Constraints: 22475
635.27/637.10 c #Conflicts: 483000 | #Constraints: 23475
635.27/637.10 c #Conflicts: 484000 | #Constraints: 24475
635.27/637.10 c #Conflicts: 485000 | #Constraints: 25475
635.27/637.10 c #Conflicts: 486000 | #Constraints: 26475
635.27/637.10 c #Conflicts: 487000 | #Constraints: 27475
635.27/637.10 c #Conflicts: 488000 | #Constraints: 28475
635.27/637.10 c INPROCESSING
635.27/637.10 c GARBAGE COLLECT
635.27/637.10 c #Conflicts: 489000 | #Constraints: 15671
635.27/637.10 c #Conflicts: 490000 | #Constraints: 16671
635.27/637.10 c #Conflicts: 491000 | #Constraints: 17671
635.27/637.10 c #Conflicts: 492000 | #Constraints: 18671
635.27/637.10 c #Conflicts: 493000 | #Constraints: 19671
635.27/637.10 c #Conflicts: 494000 | #Constraints: 20671
635.27/637.10 c #Conflicts: 495000 | #Constraints: 21671
635.27/637.10 c #Conflicts: 496000 | #Constraints: 22671
635.27/637.10 c #Conflicts: 497000 | #Constraints: 23671
635.27/637.10 c #Conflicts: 498000 | #Constraints: 24671
635.27/637.10 c #Conflicts: 499000 | #Constraints: 25671
635.27/637.10 c #Conflicts: 500000 | #Constraints: 26671
635.27/637.10 c #Conflicts: 501000 | #Constraints: 27671
635.27/637.10 c #Conflicts: 502000 | #Constraints: 28671
635.27/637.10 c INPROCESSING
635.27/637.10 c GARBAGE COLLECT
635.27/637.10 c #Conflicts: 503000 | #Constraints: 15673
635.27/637.10 c #Conflicts: 504000 | #Constraints: 16673
635.27/637.10 c #Conflicts: 505000 | #Constraints: 17673
635.27/637.10 c #Conflicts: 506000 | #Constraints: 18673
635.27/637.10 c #Conflicts: 507000 | #Constraints: 19673
635.27/637.10 c #Conflicts: 508000 | #Constraints: 20673
635.27/637.10 c #Conflicts: 509000 | #Constraints: 21673
635.27/637.10 c #Conflicts: 510000 | #Constraints: 22673
635.27/637.10 c #Conflicts: 511000 | #Constraints: 23673
635.27/637.10 c #Conflicts: 512000 | #Constraints: 24673
635.27/637.10 c #Conflicts: 513000 | #Constraints: 25673
785.63/787.98 c #Conflicts: 514000 | #Constraints: 26673
785.63/787.98 c #Conflicts: 515000 | #Constraints: 27673
785.63/787.98 c #Conflicts: 516000 | #Constraints: 28673
785.63/787.98 c INPROCESSING
785.63/787.98 c GARBAGE COLLECT
785.63/787.98 c #Conflicts: 517000 | #Constraints: 15474
785.63/787.98 c #Conflicts: 518000 | #Constraints: 16474
785.63/787.98 c #Conflicts: 519000 | #Constraints: 17474
785.63/787.98 c #Conflicts: 520000 | #Constraints: 18474
785.63/787.98 c #Conflicts: 521000 | #Constraints: 19474
785.63/787.98 c #Conflicts: 522000 | #Constraints: 20474
785.63/787.98 c #Conflicts: 523000 | #Constraints: 21474
785.63/787.98 c #Conflicts: 524000 | #Constraints: 22474
785.63/787.98 c #Conflicts: 525000 | #Constraints: 23474
785.63/787.98 c #Conflicts: 526000 | #Constraints: 24474
785.63/787.98 c #Conflicts: 527000 | #Constraints: 25474
785.63/787.98 c #Conflicts: 528000 | #Constraints: 26474
785.63/787.98 c #Conflicts: 529000 | #Constraints: 27474
785.63/787.98 c #Conflicts: 530000 | #Constraints: 28474
785.63/787.98 c #Conflicts: 531000 | #Constraints: 29474
785.63/787.98 c INPROCESSING
785.63/787.98 c GARBAGE COLLECT
785.63/787.98 c #Conflicts: 532000 | #Constraints: 16074
785.63/787.98 c #Conflicts: 533000 | #Constraints: 17074
785.63/787.98 c #Conflicts: 534000 | #Constraints: 18074
785.63/787.98 c #Conflicts: 535000 | #Constraints: 19074
785.63/787.98 c #Conflicts: 536000 | #Constraints: 20074
785.63/787.98 c #Conflicts: 537000 | #Constraints: 21074
785.63/787.98 c #Conflicts: 538000 | #Constraints: 22074
785.63/787.98 c #Conflicts: 539000 | #Constraints: 23074
785.63/787.98 c #Conflicts: 540000 | #Constraints: 24074
785.63/787.98 c #Conflicts: 541000 | #Constraints: 25074
785.63/787.98 c #Conflicts: 542000 | #Constraints: 26074
785.63/787.98 c #Conflicts: 543000 | #Constraints: 27074
785.63/787.98 c #Conflicts: 544000 | #Constraints: 28074
785.63/787.98 c #Conflicts: 545000 | #Constraints: 29074
785.63/787.98 c #Conflicts: 546000 | #Constraints: 30074
785.63/787.98 c INPROCESSING
785.63/787.98 c GARBAGE COLLECT
785.63/787.98 c #Conflicts: 547000 | #Constraints: 16477
785.63/787.98 c #Conflicts: 548000 | #Constraints: 17477
785.63/787.98 c #Conflicts: 549000 | #Constraints: 18477
785.63/787.98 c #Conflicts: 550000 | #Constraints: 19477
785.63/787.98 c #Conflicts: 551000 | #Constraints: 20477
785.63/787.98 c #Conflicts: 552000 | #Constraints: 21477
785.63/787.98 c #Conflicts: 553000 | #Constraints: 22477
785.63/787.98 c #Conflicts: 554000 | #Constraints: 23477
785.63/787.98 c #Conflicts: 555000 | #Constraints: 24477
785.63/787.98 c #Conflicts: 556000 | #Constraints: 25477
785.63/787.98 c #Conflicts: 557000 | #Constraints: 26477
785.63/787.98 c #Conflicts: 558000 | #Constraints: 27477
785.63/787.98 c #Conflicts: 559000 | #Constraints: 28477
785.63/787.98 c #Conflicts: 560000 | #Constraints: 29477
785.63/787.98 c #Conflicts: 561000 | #Constraints: 30477
785.63/787.98 c INPROCESSING
785.63/787.98 c GARBAGE COLLECT
785.63/787.98 c #Conflicts: 562000 | #Constraints: 16675
785.63/787.98 c #Conflicts: 563000 | #Constraints: 17675
785.63/787.98 c #Conflicts: 564000 | #Constraints: 18675
785.63/787.98 c #Conflicts: 565000 | #Constraints: 19675
785.63/787.98 c #Conflicts: 566000 | #Constraints: 20675
785.63/787.98 c #Conflicts: 567000 | #Constraints: 21675
785.63/787.98 c #Conflicts: 568000 | #Constraints: 22675
785.63/787.98 c #Conflicts: 569000 | #Constraints: 23675
785.63/787.98 c #Conflicts: 570000 | #Constraints: 24675
785.63/787.98 c #Conflicts: 571000 | #Constraints: 25675
785.63/787.98 c #Conflicts: 572000 | #Constraints: 26675
785.63/787.98 c #Conflicts: 573000 | #Constraints: 27675
785.63/787.98 c #Conflicts: 574000 | #Constraints: 28675
785.63/787.98 c #Conflicts: 575000 | #Constraints: 29675
785.63/787.98 c #Conflicts: 576000 | #Constraints: 30675
785.63/787.98 c INPROCESSING
785.63/787.98 c GARBAGE COLLECT
785.63/787.98 c #Conflicts: 577000 | #Constraints: 16678
785.63/787.98 c #Conflicts: 578000 | #Constraints: 17678
785.63/787.98 c #Conflicts: 579000 | #Constraints: 18678
785.63/787.98 c #Conflicts: 580000 | #Constraints: 19678
785.63/787.98 c #Conflicts: 581000 | #Constraints: 20678
785.63/787.98 c #Conflicts: 582000 | #Constraints: 21678
785.63/787.98 c #Conflicts: 583000 | #Constraints: 22678
785.63/787.98 c #Conflicts: 584000 | #Constraints: 23678
785.63/787.98 c #Conflicts: 585000 | #Constraints: 24678
785.63/787.98 c #Conflicts: 586000 | #Constraints: 25678
785.63/787.98 c #Conflicts: 587000 | #Constraints: 26678
785.63/787.98 c #Conflicts: 588000 | #Constraints: 27678
930.47/933.16 c #Conflicts: 589000 | #Constraints: 28678
930.47/933.16 c #Conflicts: 590000 | #Constraints: 29678
930.47/933.16 c #Conflicts: 591000 | #Constraints: 30678
930.47/933.16 c INPROCESSING
930.47/933.16 c GARBAGE COLLECT
930.47/933.16 c #Conflicts: 592000 | #Constraints: 16478
930.47/933.16 c #Conflicts: 593000 | #Constraints: 17478
930.47/933.16 c #Conflicts: 594000 | #Constraints: 18478
930.47/933.16 c #Conflicts: 595000 | #Constraints: 19478
930.47/933.16 c #Conflicts: 596000 | #Constraints: 20478
930.47/933.16 c #Conflicts: 597000 | #Constraints: 21478
930.47/933.16 c #Conflicts: 598000 | #Constraints: 22478
930.47/933.16 c #Conflicts: 599000 | #Constraints: 23478
930.47/933.16 c #Conflicts: 600000 | #Constraints: 24478
930.47/933.16 c #Conflicts: 601000 | #Constraints: 25478
930.47/933.16 c #Conflicts: 602000 | #Constraints: 26478
930.47/933.16 c #Conflicts: 603000 | #Constraints: 27478
930.47/933.16 c #Conflicts: 604000 | #Constraints: 28478
930.47/933.16 c #Conflicts: 605000 | #Constraints: 29478
930.47/933.16 c #Conflicts: 606000 | #Constraints: 30478
930.47/933.16 c #Conflicts: 607000 | #Constraints: 31478
930.47/933.16 c INPROCESSING
930.47/933.16 c GARBAGE COLLECT
930.47/933.16 c #Conflicts: 608000 | #Constraints: 17077
930.47/933.16 c #Conflicts: 609000 | #Constraints: 18077
930.47/933.16 c #Conflicts: 610000 | #Constraints: 19077
930.47/933.16 c #Conflicts: 611000 | #Constraints: 20077
930.47/933.16 c #Conflicts: 612000 | #Constraints: 21077
930.47/933.16 c #Conflicts: 613000 | #Constraints: 22077
930.47/933.16 c #Conflicts: 614000 | #Constraints: 23077
930.47/933.16 c #Conflicts: 615000 | #Constraints: 24077
930.47/933.16 c #Conflicts: 616000 | #Constraints: 25077
930.47/933.16 c #Conflicts: 617000 | #Constraints: 26077
930.47/933.16 c #Conflicts: 618000 | #Constraints: 27077
930.47/933.16 c #Conflicts: 619000 | #Constraints: 28077
930.47/933.16 c #Conflicts: 620000 | #Constraints: 29077
930.47/933.16 c #Conflicts: 621000 | #Constraints: 30077
930.47/933.16 c #Conflicts: 622000 | #Constraints: 31077
930.47/933.16 c #Conflicts: 623000 | #Constraints: 32077
930.47/933.16 c INPROCESSING
930.47/933.16 c GARBAGE COLLECT
930.47/933.16 c #Conflicts: 624000 | #Constraints: 17475
930.47/933.16 c #Conflicts: 625000 | #Constraints: 18475
930.47/933.16 c #Conflicts: 626000 | #Constraints: 19475
930.47/933.16 c #Conflicts: 627000 | #Constraints: 20475
930.47/933.16 c #Conflicts: 628000 | #Constraints: 21475
930.47/933.16 c #Conflicts: 629000 | #Constraints: 22475
930.47/933.16 c #Conflicts: 630000 | #Constraints: 23475
930.47/933.16 c #Conflicts: 631000 | #Constraints: 24475
930.47/933.16 c #Conflicts: 632000 | #Constraints: 25475
930.47/933.16 c #Conflicts: 633000 | #Constraints: 26475
930.47/933.16 c #Conflicts: 634000 | #Constraints: 27475
930.47/933.16 c #Conflicts: 635000 | #Constraints: 28475
930.47/933.16 c #Conflicts: 636000 | #Constraints: 29475
930.47/933.16 c #Conflicts: 637000 | #Constraints: 30475
930.47/933.16 c #Conflicts: 638000 | #Constraints: 31475
930.47/933.16 c #Conflicts: 639000 | #Constraints: 32475
930.47/933.16 c INPROCESSING
930.47/933.16 c GARBAGE COLLECT
930.47/933.16 c #Conflicts: 640000 | #Constraints: 17675
930.47/933.16 c #Conflicts: 641000 | #Constraints: 18675
930.47/933.16 c #Conflicts: 642000 | #Constraints: 19675
930.47/933.16 c #Conflicts: 643000 | #Constraints: 20675
930.47/933.16 c #Conflicts: 644000 | #Constraints: 21675
930.47/933.16 c #Conflicts: 645000 | #Constraints: 22675
930.47/933.16 c #Conflicts: 646000 | #Constraints: 23675
930.47/933.16 c #Conflicts: 647000 | #Constraints: 24675
930.47/933.16 c #Conflicts: 648000 | #Constraints: 25675
930.47/933.16 c #Conflicts: 649000 | #Constraints: 26675
930.47/933.16 c #Conflicts: 650000 | #Constraints: 27675
930.47/933.16 c #Conflicts: 651000 | #Constraints: 28675
930.47/933.16 c #Conflicts: 652000 | #Constraints: 29675
930.47/933.16 c #Conflicts: 653000 | #Constraints: 30675
930.47/933.16 c #Conflicts: 654000 | #Constraints: 31675
930.47/933.16 c #Conflicts: 655000 | #Constraints: 32675
930.47/933.16 c INPROCESSING
930.47/933.16 c GARBAGE COLLECT
930.47/933.16 c #Conflicts: 656000 | #Constraints: 17674
930.47/933.16 c #Conflicts: 657000 | #Constraints: 18674
930.47/933.16 c #Conflicts: 658000 | #Constraints: 19674
930.47/933.16 c #Conflicts: 659000 | #Constraints: 20674
930.47/933.16 c #Conflicts: 660000 | #Constraints: 21674
930.47/933.16 c #Conflicts: 661000 | #Constraints: 22674
930.47/933.16 c #Conflicts: 662000 | #Constraints: 23674
930.47/933.16 c #Conflicts: 663000 | #Constraints: 24674
930.47/933.16 c #Conflicts: 664000 | #Constraints: 25674
1084.71/1087.74 c #Conflicts: 665000 | #Constraints: 26674
1084.71/1087.74 c #Conflicts: 666000 | #Constraints: 27674
1084.71/1087.74 c #Conflicts: 667000 | #Constraints: 28674
1084.71/1087.74 c #Conflicts: 668000 | #Constraints: 29674
1084.71/1087.74 c #Conflicts: 669000 | #Constraints: 30674
1084.71/1087.74 c #Conflicts: 670000 | #Constraints: 31674
1084.71/1087.74 c #Conflicts: 671000 | #Constraints: 32674
1084.71/1087.74 c INPROCESSING
1084.71/1087.74 c GARBAGE COLLECT
1084.71/1087.74 c #Conflicts: 672000 | #Constraints: 17474
1084.71/1087.74 c #Conflicts: 673000 | #Constraints: 18474
1084.71/1087.74 c #Conflicts: 674000 | #Constraints: 19474
1084.71/1087.74 c #Conflicts: 675000 | #Constraints: 20474
1084.71/1087.74 c #Conflicts: 676000 | #Constraints: 21474
1084.71/1087.74 c #Conflicts: 677000 | #Constraints: 22474
1084.71/1087.74 c #Conflicts: 678000 | #Constraints: 23474
1084.71/1087.74 c #Conflicts: 679000 | #Constraints: 24474
1084.71/1087.74 c #Conflicts: 680000 | #Constraints: 25474
1084.71/1087.74 c #Conflicts: 681000 | #Constraints: 26474
1084.71/1087.74 c #Conflicts: 682000 | #Constraints: 27474
1084.71/1087.74 c #Conflicts: 683000 | #Constraints: 28474
1084.71/1087.74 c #Conflicts: 684000 | #Constraints: 29474
1084.71/1087.74 c #Conflicts: 685000 | #Constraints: 30474
1084.71/1087.74 c #Conflicts: 686000 | #Constraints: 31474
1084.71/1087.74 c #Conflicts: 687000 | #Constraints: 32474
1084.71/1087.74 c #Conflicts: 688000 | #Constraints: 33474
1084.71/1087.74 c INPROCESSING
1084.71/1087.74 c GARBAGE COLLECT
1084.71/1087.74 c #Conflicts: 689000 | #Constraints: 18075
1084.71/1087.74 c #Conflicts: 690000 | #Constraints: 19075
1084.71/1087.74 c #Conflicts: 691000 | #Constraints: 20075
1084.71/1087.74 c #Conflicts: 692000 | #Constraints: 21075
1084.71/1087.74 c #Conflicts: 693000 | #Constraints: 22075
1084.71/1087.74 c #Conflicts: 694000 | #Constraints: 23075
1084.71/1087.74 c #Conflicts: 695000 | #Constraints: 24075
1084.71/1087.74 c #Conflicts: 696000 | #Constraints: 25075
1084.71/1087.74 c #Conflicts: 697000 | #Constraints: 26075
1084.71/1087.74 c #Conflicts: 698000 | #Constraints: 27075
1084.71/1087.74 c #Conflicts: 699000 | #Constraints: 28075
1084.71/1087.74 c #Conflicts: 700000 | #Constraints: 29075
1084.71/1087.74 c #Conflicts: 701000 | #Constraints: 30075
1084.71/1087.74 c #Conflicts: 702000 | #Constraints: 31075
1084.71/1087.74 c #Conflicts: 703000 | #Constraints: 32075
1084.71/1087.74 c #Conflicts: 704000 | #Constraints: 33075
1084.71/1087.74 c #Conflicts: 705000 | #Constraints: 34075
1084.71/1087.74 c INPROCESSING
1084.71/1087.74 c GARBAGE COLLECT
1084.71/1087.74 c #Conflicts: 706000 | #Constraints: 18475
1084.71/1087.74 c #Conflicts: 707000 | #Constraints: 19475
1084.71/1087.74 c #Conflicts: 708000 | #Constraints: 20475
1084.71/1087.74 c #Conflicts: 709000 | #Constraints: 21475
1084.71/1087.74 c #Conflicts: 710000 | #Constraints: 22475
1084.71/1087.74 c #Conflicts: 711000 | #Constraints: 23475
1084.71/1087.74 c #Conflicts: 712000 | #Constraints: 24475
1084.71/1087.74 c #Conflicts: 713000 | #Constraints: 25475
1084.71/1087.74 c #Conflicts: 714000 | #Constraints: 26475
1084.71/1087.74 c #Conflicts: 715000 | #Constraints: 27475
1084.71/1087.74 c #Conflicts: 716000 | #Constraints: 28475
1084.71/1087.74 c #Conflicts: 717000 | #Constraints: 29475
1084.71/1087.74 c #Conflicts: 718000 | #Constraints: 30475
1084.71/1087.74 c #Conflicts: 719000 | #Constraints: 31475
1084.71/1087.74 c #Conflicts: 720000 | #Constraints: 32475
1084.71/1087.74 c #Conflicts: 721000 | #Constraints: 33475
1084.71/1087.74 c #Conflicts: 722000 | #Constraints: 34475
1084.71/1087.74 c INPROCESSING
1084.71/1087.74 c GARBAGE COLLECT
1084.71/1087.74 c #Conflicts: 723000 | #Constraints: 18676
1084.71/1087.74 c #Conflicts: 724000 | #Constraints: 19676
1084.71/1087.74 c #Conflicts: 725000 | #Constraints: 20676
1084.71/1087.74 c #Conflicts: 726000 | #Constraints: 21676
1084.71/1087.74 c #Conflicts: 727000 | #Constraints: 22676
1084.71/1087.74 c #Conflicts: 728000 | #Constraints: 23676
1084.71/1087.74 c #Conflicts: 729000 | #Constraints: 24676
1084.71/1087.74 c #Conflicts: 730000 | #Constraints: 25676
1084.71/1087.74 c #Conflicts: 731000 | #Constraints: 26676
1084.71/1087.74 c #Conflicts: 732000 | #Constraints: 27676
1084.71/1087.74 c #Conflicts: 733000 | #Constraints: 28676
1084.71/1087.74 c #Conflicts: 734000 | #Constraints: 29676
1084.71/1087.74 c #Conflicts: 735000 | #Constraints: 30676
1084.71/1087.74 c #Conflicts: 736000 | #Constraints: 31676
1084.71/1087.74 c #Conflicts: 737000 | #Constraints: 32676
1084.71/1087.74 c #Conflicts: 738000 | #Constraints: 33676
1084.71/1087.74 c #Conflicts: 739000 | #Constraints: 34676
1084.71/1087.74 c INPROCESSING
1084.71/1087.74 c GARBAGE COLLECT
1243.97/1247.40 c #Conflicts: 740000 | #Constraints: 18679
1243.97/1247.40 c #Conflicts: 741000 | #Constraints: 19679
1243.97/1247.40 c #Conflicts: 742000 | #Constraints: 20679
1243.97/1247.40 c #Conflicts: 743000 | #Constraints: 21679
1243.97/1247.40 c #Conflicts: 744000 | #Constraints: 22679
1243.97/1247.40 c #Conflicts: 745000 | #Constraints: 23679
1243.97/1247.40 c #Conflicts: 746000 | #Constraints: 24679
1243.97/1247.40 c #Conflicts: 747000 | #Constraints: 25679
1243.97/1247.40 c #Conflicts: 748000 | #Constraints: 26679
1243.97/1247.40 c #Conflicts: 749000 | #Constraints: 27679
1243.97/1247.40 c #Conflicts: 750000 | #Constraints: 28679
1243.97/1247.40 c #Conflicts: 751000 | #Constraints: 29679
1243.97/1247.40 c #Conflicts: 752000 | #Constraints: 30679
1243.97/1247.40 c #Conflicts: 753000 | #Constraints: 31679
1243.97/1247.40 c #Conflicts: 754000 | #Constraints: 32679
1243.97/1247.40 c #Conflicts: 755000 | #Constraints: 33679
1243.97/1247.40 c #Conflicts: 756000 | #Constraints: 34679
1243.97/1247.40 c INPROCESSING
1243.97/1247.40 c GARBAGE COLLECT
1243.97/1247.40 c #Conflicts: 757000 | #Constraints: 18479
1243.97/1247.40 c #Conflicts: 758000 | #Constraints: 19479
1243.97/1247.40 c #Conflicts: 759000 | #Constraints: 20479
1243.97/1247.40 c #Conflicts: 760000 | #Constraints: 21479
1243.97/1247.40 c #Conflicts: 761000 | #Constraints: 22479
1243.97/1247.40 c #Conflicts: 762000 | #Constraints: 23479
1243.97/1247.40 c #Conflicts: 763000 | #Constraints: 24479
1243.97/1247.40 c #Conflicts: 764000 | #Constraints: 25479
1243.97/1247.40 c #Conflicts: 765000 | #Constraints: 26479
1243.97/1247.40 c #Conflicts: 766000 | #Constraints: 27479
1243.97/1247.40 c #Conflicts: 767000 | #Constraints: 28479
1243.97/1247.40 c #Conflicts: 768000 | #Constraints: 29479
1243.97/1247.40 c #Conflicts: 769000 | #Constraints: 30479
1243.97/1247.40 c #Conflicts: 770000 | #Constraints: 31479
1243.97/1247.40 c #Conflicts: 771000 | #Constraints: 32479
1243.97/1247.40 c #Conflicts: 772000 | #Constraints: 33479
1243.97/1247.40 c #Conflicts: 773000 | #Constraints: 34479
1243.97/1247.40 c #Conflicts: 774000 | #Constraints: 35479
1243.97/1247.40 c INPROCESSING
1243.97/1247.40 c GARBAGE COLLECT
1243.97/1247.40 c #Conflicts: 775000 | #Constraints: 19081
1243.97/1247.40 c #Conflicts: 776000 | #Constraints: 20081
1243.97/1247.40 c #Conflicts: 777000 | #Constraints: 21081
1243.97/1247.40 c #Conflicts: 778000 | #Constraints: 22081
1243.97/1247.40 c #Conflicts: 779000 | #Constraints: 23081
1243.97/1247.40 c #Conflicts: 780000 | #Constraints: 24081
1243.97/1247.40 c #Conflicts: 781000 | #Constraints: 25081
1243.97/1247.40 c #Conflicts: 782000 | #Constraints: 26081
1243.97/1247.40 c #Conflicts: 783000 | #Constraints: 27081
1243.97/1247.40 c #Conflicts: 784000 | #Constraints: 28081
1243.97/1247.40 c #Conflicts: 785000 | #Constraints: 29081
1243.97/1247.40 c #Conflicts: 786000 | #Constraints: 30081
1243.97/1247.40 c #Conflicts: 787000 | #Constraints: 31081
1243.97/1247.40 c #Conflicts: 788000 | #Constraints: 32081
1243.97/1247.40 c #Conflicts: 789000 | #Constraints: 33081
1243.97/1247.40 c #Conflicts: 790000 | #Constraints: 34081
1243.97/1247.40 c #Conflicts: 791000 | #Constraints: 35081
1243.97/1247.40 c #Conflicts: 792000 | #Constraints: 36081
1243.97/1247.40 c INPROCESSING
1243.97/1247.40 c GARBAGE COLLECT
1243.97/1247.40 c #Conflicts: 793000 | #Constraints: 19479
1243.97/1247.40 c #Conflicts: 794000 | #Constraints: 20479
1243.97/1247.40 c #Conflicts: 795000 | #Constraints: 21479
1243.97/1247.40 c #Conflicts: 796000 | #Constraints: 22479
1243.97/1247.40 c #Conflicts: 797000 | #Constraints: 23479
1243.97/1247.40 c #Conflicts: 798000 | #Constraints: 24479
1243.97/1247.40 c #Conflicts: 799000 | #Constraints: 25479
1243.97/1247.40 c #Conflicts: 800000 | #Constraints: 26479
1243.97/1247.40 c #Conflicts: 801000 | #Constraints: 27479
1243.97/1247.40 c #Conflicts: 802000 | #Constraints: 28479
1243.97/1247.40 c #Conflicts: 803000 | #Constraints: 29479
1243.97/1247.40 c #Conflicts: 804000 | #Constraints: 30479
1243.97/1247.40 c #Conflicts: 805000 | #Constraints: 31479
1243.97/1247.40 c #Conflicts: 806000 | #Constraints: 32479
1243.97/1247.40 c #Conflicts: 807000 | #Constraints: 33479
1243.97/1247.40 c #Conflicts: 808000 | #Constraints: 34479
1243.97/1247.40 c #Conflicts: 809000 | #Constraints: 35479
1243.97/1247.40 c #Conflicts: 810000 | #Constraints: 36479
1243.97/1247.40 c INPROCESSING
1243.97/1247.40 c GARBAGE COLLECT
1243.97/1247.40 c #Conflicts: 811000 | #Constraints: 19680
1243.97/1247.40 c #Conflicts: 812000 | #Constraints: 20680
1243.97/1247.40 c #Conflicts: 813000 | #Constraints: 21680
1243.97/1247.40 c #Conflicts: 814000 | #Constraints: 22680
1243.97/1247.40 c #Conflicts: 815000 | #Constraints: 23680
1243.97/1247.40 c #Conflicts: 816000 | #Constraints: 24680
1390.05/1393.92 c #Conflicts: 817000 | #Constraints: 25680
1390.05/1393.92 c #Conflicts: 818000 | #Constraints: 26680
1390.05/1393.92 c #Conflicts: 819000 | #Constraints: 27680
1390.05/1393.92 c #Conflicts: 820000 | #Constraints: 28680
1390.05/1393.92 c #Conflicts: 821000 | #Constraints: 29680
1390.05/1393.92 c #Conflicts: 822000 | #Constraints: 30680
1390.05/1393.92 c #Conflicts: 823000 | #Constraints: 31680
1390.05/1393.92 c #Conflicts: 824000 | #Constraints: 32680
1390.05/1393.92 c #Conflicts: 825000 | #Constraints: 33680
1390.05/1393.92 c #Conflicts: 826000 | #Constraints: 34680
1390.05/1393.92 c #Conflicts: 827000 | #Constraints: 35680
1390.05/1393.92 c #Conflicts: 828000 | #Constraints: 36680
1390.05/1393.92 c INPROCESSING
1390.05/1393.92 c GARBAGE COLLECT
1390.05/1393.92 c #Conflicts: 829000 | #Constraints: 19675
1390.05/1393.92 c #Conflicts: 830000 | #Constraints: 20675
1390.05/1393.92 c #Conflicts: 831000 | #Constraints: 21675
1390.05/1393.92 c #Conflicts: 832000 | #Constraints: 22675
1390.05/1393.92 c #Conflicts: 833000 | #Constraints: 23675
1390.05/1393.92 c #Conflicts: 834000 | #Constraints: 24675
1390.05/1393.92 c #Conflicts: 835000 | #Constraints: 25675
1390.05/1393.92 c #Conflicts: 836000 | #Constraints: 26675
1390.05/1393.92 c #Conflicts: 837000 | #Constraints: 27675
1390.05/1393.92 c #Conflicts: 838000 | #Constraints: 28675
1390.05/1393.92 c #Conflicts: 839000 | #Constraints: 29675
1390.05/1393.92 c #Conflicts: 840000 | #Constraints: 30675
1390.05/1393.92 c #Conflicts: 841000 | #Constraints: 31675
1390.05/1393.92 c #Conflicts: 842000 | #Constraints: 32675
1390.05/1393.92 c #Conflicts: 843000 | #Constraints: 33675
1390.05/1393.92 c #Conflicts: 844000 | #Constraints: 34675
1390.05/1393.92 c #Conflicts: 845000 | #Constraints: 35675
1390.05/1393.92 c #Conflicts: 846000 | #Constraints: 36675
1390.05/1393.92 c INPROCESSING
1390.05/1393.92 c GARBAGE COLLECT
1390.05/1393.92 c #Conflicts: 847000 | #Constraints: 19474
1390.05/1393.92 c #Conflicts: 848000 | #Constraints: 20474
1390.05/1393.92 c #Conflicts: 849000 | #Constraints: 21474
1390.05/1393.92 c #Conflicts: 850000 | #Constraints: 22474
1390.05/1393.92 c #Conflicts: 851000 | #Constraints: 23474
1390.05/1393.92 c #Conflicts: 852000 | #Constraints: 24474
1390.05/1393.92 c #Conflicts: 853000 | #Constraints: 25474
1390.05/1393.92 c #Conflicts: 854000 | #Constraints: 26474
1390.05/1393.92 c #Conflicts: 855000 | #Constraints: 27474
1390.05/1393.92 c #Conflicts: 856000 | #Constraints: 28474
1390.05/1393.92 c #Conflicts: 857000 | #Constraints: 29474
1390.05/1393.92 c #Conflicts: 858000 | #Constraints: 30474
1390.05/1393.92 c #Conflicts: 859000 | #Constraints: 31474
1390.05/1393.92 c #Conflicts: 860000 | #Constraints: 32474
1390.05/1393.92 c #Conflicts: 861000 | #Constraints: 33474
1390.05/1393.92 c #Conflicts: 862000 | #Constraints: 34474
1390.05/1393.92 c #Conflicts: 863000 | #Constraints: 35474
1390.05/1393.92 c #Conflicts: 864000 | #Constraints: 36474
1390.05/1393.92 c #Conflicts: 865000 | #Constraints: 37474
1390.05/1393.92 c INPROCESSING
1390.05/1393.92 c GARBAGE COLLECT
1390.05/1393.92 c #Conflicts: 866000 | #Constraints: 20072
1390.05/1393.92 c #Conflicts: 867000 | #Constraints: 21072
1390.05/1393.92 c #Conflicts: 868000 | #Constraints: 22072
1390.05/1393.92 c #Conflicts: 869000 | #Constraints: 23072
1390.05/1393.92 c #Conflicts: 870000 | #Constraints: 24072
1390.05/1393.92 c #Conflicts: 871000 | #Constraints: 25072
1390.05/1393.92 c #Conflicts: 872000 | #Constraints: 26072
1390.05/1393.92 c #Conflicts: 873000 | #Constraints: 27072
1390.05/1393.92 c #Conflicts: 874000 | #Constraints: 28072
1390.05/1393.92 c #Conflicts: 875000 | #Constraints: 29072
1390.05/1393.92 c #Conflicts: 876000 | #Constraints: 30072
1390.05/1393.92 c #Conflicts: 877000 | #Constraints: 31072
1390.05/1393.92 c #Conflicts: 878000 | #Constraints: 32072
1390.05/1393.92 c #Conflicts: 879000 | #Constraints: 33072
1390.05/1393.92 c #Conflicts: 880000 | #Constraints: 34072
1390.05/1393.92 c #Conflicts: 881000 | #Constraints: 35072
1390.05/1393.92 c #Conflicts: 882000 | #Constraints: 36072
1390.05/1393.92 c #Conflicts: 883000 | #Constraints: 37072
1390.05/1393.92 c #Conflicts: 884000 | #Constraints: 38072
1390.05/1393.92 c INPROCESSING
1390.05/1393.92 c GARBAGE COLLECT
1390.05/1393.92 c #Conflicts: 885000 | #Constraints: 20472
1390.05/1393.92 c #Conflicts: 886000 | #Constraints: 21472
1390.05/1393.92 c #Conflicts: 887000 | #Constraints: 22472
1390.05/1393.92 c #Conflicts: 888000 | #Constraints: 23472
1390.05/1393.92 c #Conflicts: 889000 | #Constraints: 24472
1390.05/1393.92 c #Conflicts: 890000 | #Constraints: 25472
1390.05/1393.92 c #Conflicts: 891000 | #Constraints: 26472
1390.05/1393.92 c #Conflicts: 892000 | #Constraints: 27472
1545.02/1549.30 c #Conflicts: 893000 | #Constraints: 28472
1545.02/1549.30 c #Conflicts: 894000 | #Constraints: 29472
1545.02/1549.30 c #Conflicts: 895000 | #Constraints: 30472
1545.02/1549.30 c #Conflicts: 896000 | #Constraints: 31472
1545.02/1549.30 c #Conflicts: 897000 | #Constraints: 32472
1545.02/1549.30 c #Conflicts: 898000 | #Constraints: 33472
1545.02/1549.30 c #Conflicts: 899000 | #Constraints: 34472
1545.02/1549.30 c #Conflicts: 900000 | #Constraints: 35472
1545.02/1549.30 c #Conflicts: 901000 | #Constraints: 36472
1545.02/1549.30 c #Conflicts: 902000 | #Constraints: 37472
1545.02/1549.30 c #Conflicts: 903000 | #Constraints: 38472
1545.02/1549.30 c INPROCESSING
1545.02/1549.30 c GARBAGE COLLECT
1545.02/1549.30 c #Conflicts: 904000 | #Constraints: 20674
1545.02/1549.30 c #Conflicts: 905000 | #Constraints: 21674
1545.02/1549.30 c #Conflicts: 906000 | #Constraints: 22674
1545.02/1549.30 c #Conflicts: 907000 | #Constraints: 23674
1545.02/1549.30 c #Conflicts: 908000 | #Constraints: 24674
1545.02/1549.30 c #Conflicts: 909000 | #Constraints: 25674
1545.02/1549.30 c #Conflicts: 910000 | #Constraints: 26674
1545.02/1549.30 c #Conflicts: 911000 | #Constraints: 27674
1545.02/1549.30 c #Conflicts: 912000 | #Constraints: 28674
1545.02/1549.30 c #Conflicts: 913000 | #Constraints: 29674
1545.02/1549.30 c #Conflicts: 914000 | #Constraints: 30674
1545.02/1549.30 c #Conflicts: 915000 | #Constraints: 31674
1545.02/1549.30 c #Conflicts: 916000 | #Constraints: 32674
1545.02/1549.30 c #Conflicts: 917000 | #Constraints: 33674
1545.02/1549.30 c #Conflicts: 918000 | #Constraints: 34674
1545.02/1549.30 c #Conflicts: 919000 | #Constraints: 35674
1545.02/1549.30 c #Conflicts: 920000 | #Constraints: 36674
1545.02/1549.30 c #Conflicts: 921000 | #Constraints: 37674
1545.02/1549.30 c #Conflicts: 922000 | #Constraints: 38674
1545.02/1549.30 c INPROCESSING
1545.02/1549.30 c GARBAGE COLLECT
1545.02/1549.30 c #Conflicts: 923000 | #Constraints: 20675
1545.02/1549.30 c #Conflicts: 924000 | #Constraints: 21675
1545.02/1549.30 c #Conflicts: 925000 | #Constraints: 22675
1545.02/1549.30 c #Conflicts: 926000 | #Constraints: 23675
1545.02/1549.30 c #Conflicts: 927000 | #Constraints: 24675
1545.02/1549.30 c #Conflicts: 928000 | #Constraints: 25675
1545.02/1549.30 c #Conflicts: 929000 | #Constraints: 26675
1545.02/1549.30 c #Conflicts: 930000 | #Constraints: 27675
1545.02/1549.30 c #Conflicts: 931000 | #Constraints: 28675
1545.02/1549.30 c #Conflicts: 932000 | #Constraints: 29675
1545.02/1549.30 c #Conflicts: 933000 | #Constraints: 30675
1545.02/1549.30 c #Conflicts: 934000 | #Constraints: 31675
1545.02/1549.30 c #Conflicts: 935000 | #Constraints: 32675
1545.02/1549.30 c #Conflicts: 936000 | #Constraints: 33675
1545.02/1549.30 c #Conflicts: 937000 | #Constraints: 34675
1545.02/1549.30 c #Conflicts: 938000 | #Constraints: 35675
1545.02/1549.30 c #Conflicts: 939000 | #Constraints: 36675
1545.02/1549.30 c #Conflicts: 940000 | #Constraints: 37675
1545.02/1549.30 c #Conflicts: 941000 | #Constraints: 38675
1545.02/1549.30 c INPROCESSING
1545.02/1549.30 c GARBAGE COLLECT
1545.02/1549.30 c #Conflicts: 942000 | #Constraints: 20475
1545.02/1549.30 c #Conflicts: 943000 | #Constraints: 21475
1545.02/1549.30 c #Conflicts: 944000 | #Constraints: 22475
1545.02/1549.30 c #Conflicts: 945000 | #Constraints: 23475
1545.02/1549.30 c #Conflicts: 946000 | #Constraints: 24475
1545.02/1549.30 c #Conflicts: 947000 | #Constraints: 25475
1545.02/1549.30 c #Conflicts: 948000 | #Constraints: 26475
1545.02/1549.30 c #Conflicts: 949000 | #Constraints: 27475
1545.02/1549.30 c #Conflicts: 950000 | #Constraints: 28475
1545.02/1549.30 c #Conflicts: 951000 | #Constraints: 29475
1545.02/1549.30 c #Conflicts: 952000 | #Constraints: 30475
1545.02/1549.30 c #Conflicts: 953000 | #Constraints: 31475
1545.02/1549.30 c #Conflicts: 954000 | #Constraints: 32475
1545.02/1549.30 c #Conflicts: 955000 | #Constraints: 33475
1545.02/1549.30 c #Conflicts: 956000 | #Constraints: 34475
1545.02/1549.30 c #Conflicts: 957000 | #Constraints: 35475
1545.02/1549.30 c #Conflicts: 958000 | #Constraints: 36475
1545.02/1549.30 c #Conflicts: 959000 | #Constraints: 37475
1545.02/1549.30 c #Conflicts: 960000 | #Constraints: 38475
1545.02/1549.30 c #Conflicts: 961000 | #Constraints: 39475
1545.02/1549.30 c INPROCESSING
1545.02/1549.30 c GARBAGE COLLECT
1545.02/1549.30 c #Conflicts: 962000 | #Constraints: 21077
1545.02/1549.30 c #Conflicts: 963000 | #Constraints: 22077
1545.02/1549.30 c #Conflicts: 964000 | #Constraints: 23077
1545.02/1549.30 c #Conflicts: 965000 | #Constraints: 24077
1545.02/1549.30 c #Conflicts: 966000 | #Constraints: 25077
1545.02/1549.30 c #Conflicts: 967000 | #Constraints: 26077
1545.02/1549.30 c #Conflicts: 968000 | #Constraints: 27077
1712.05/1716.84 c #Conflicts: 969000 | #Constraints: 28077
1712.05/1716.84 c #Conflicts: 970000 | #Constraints: 29077
1712.05/1716.84 c #Conflicts: 971000 | #Constraints: 30077
1712.05/1716.84 c #Conflicts: 972000 | #Constraints: 31077
1712.05/1716.84 c #Conflicts: 973000 | #Constraints: 32077
1712.05/1716.84 c #Conflicts: 974000 | #Constraints: 33077
1712.05/1716.84 c #Conflicts: 975000 | #Constraints: 34077
1712.05/1716.84 c #Conflicts: 976000 | #Constraints: 35077
1712.05/1716.84 c #Conflicts: 977000 | #Constraints: 36077
1712.05/1716.84 c #Conflicts: 978000 | #Constraints: 37077
1712.05/1716.84 c #Conflicts: 979000 | #Constraints: 38077
1712.05/1716.84 c #Conflicts: 980000 | #Constraints: 39077
1712.05/1716.84 c #Conflicts: 981000 | #Constraints: 40077
1712.05/1716.84 c INPROCESSING
1712.05/1716.84 c GARBAGE COLLECT
1712.05/1716.84 c #Conflicts: 982000 | #Constraints: 21475
1712.05/1716.84 c #Conflicts: 983000 | #Constraints: 22475
1712.05/1716.84 c #Conflicts: 984000 | #Constraints: 23475
1712.05/1716.84 c #Conflicts: 985000 | #Constraints: 24475
1712.05/1716.84 c #Conflicts: 986000 | #Constraints: 25475
1712.05/1716.84 c #Conflicts: 987000 | #Constraints: 26475
1712.05/1716.84 c #Conflicts: 988000 | #Constraints: 27475
1712.05/1716.84 c #Conflicts: 989000 | #Constraints: 28475
1712.05/1716.84 c #Conflicts: 990000 | #Constraints: 29475
1712.05/1716.84 c #Conflicts: 991000 | #Constraints: 30475
1712.05/1716.84 c #Conflicts: 992000 | #Constraints: 31475
1712.05/1716.84 c #Conflicts: 993000 | #Constraints: 32475
1712.05/1716.84 c #Conflicts: 994000 | #Constraints: 33475
1712.05/1716.84 c #Conflicts: 995000 | #Constraints: 34475
1712.05/1716.84 c #Conflicts: 996000 | #Constraints: 35475
1712.05/1716.84 c #Conflicts: 997000 | #Constraints: 36475
1712.05/1716.84 c #Conflicts: 998000 | #Constraints: 37475
1712.05/1716.84 c #Conflicts: 999000 | #Constraints: 38475
1712.05/1716.84 c #Conflicts: 1000000 | #Constraints: 39475
1712.05/1716.84 c #Conflicts: 1001000 | #Constraints: 40475
1712.05/1716.84 c INPROCESSING
1712.05/1716.84 c GARBAGE COLLECT
1712.05/1716.84 c #Conflicts: 1002000 | #Constraints: 21674
1712.05/1716.84 c #Conflicts: 1003000 | #Constraints: 22674
1712.05/1716.84 c #Conflicts: 1004000 | #Constraints: 23674
1712.05/1716.84 c #Conflicts: 1005000 | #Constraints: 24674
1712.05/1716.84 c #Conflicts: 1006000 | #Constraints: 25674
1712.05/1716.84 c #Conflicts: 1007000 | #Constraints: 26674
1712.05/1716.84 c #Conflicts: 1008000 | #Constraints: 27674
1712.05/1716.84 c #Conflicts: 1009000 | #Constraints: 28674
1712.05/1716.84 c #Conflicts: 1010000 | #Constraints: 29674
1712.05/1716.84 c #Conflicts: 1011000 | #Constraints: 30674
1712.05/1716.84 c #Conflicts: 1012000 | #Constraints: 31674
1712.05/1716.84 c #Conflicts: 1013000 | #Constraints: 32674
1712.05/1716.84 c #Conflicts: 1014000 | #Constraints: 33674
1712.05/1716.84 c #Conflicts: 1015000 | #Constraints: 34674
1712.05/1716.84 c #Conflicts: 1016000 | #Constraints: 35674
1712.05/1716.84 c #Conflicts: 1017000 | #Constraints: 36674
1712.05/1716.84 c #Conflicts: 1018000 | #Constraints: 37674
1712.05/1716.84 c #Conflicts: 1019000 | #Constraints: 38674
1712.05/1716.84 c #Conflicts: 1020000 | #Constraints: 39674
1712.05/1716.84 c #Conflicts: 1021000 | #Constraints: 40674
1712.05/1716.84 c INPROCESSING
1712.05/1716.84 c GARBAGE COLLECT
1712.05/1716.84 c #Conflicts: 1022000 | #Constraints: 21676
1712.05/1716.84 c #Conflicts: 1023000 | #Constraints: 22676
1712.05/1716.84 c #Conflicts: 1024000 | #Constraints: 23676
1712.05/1716.84 c #Conflicts: 1025000 | #Constraints: 24676
1712.05/1716.84 c #Conflicts: 1026000 | #Constraints: 25676
1712.05/1716.84 c #Conflicts: 1027000 | #Constraints: 26676
1712.05/1716.84 c #Conflicts: 1028000 | #Constraints: 27676
1712.05/1716.84 c #Conflicts: 1029000 | #Constraints: 28676
1712.05/1716.84 c #Conflicts: 1030000 | #Constraints: 29676
1712.05/1716.84 c #Conflicts: 1031000 | #Constraints: 30676
1712.05/1716.84 c #Conflicts: 1032000 | #Constraints: 31676
1712.05/1716.84 c #Conflicts: 1033000 | #Constraints: 32676
1712.05/1716.84 c #Conflicts: 1034000 | #Constraints: 33676
1712.05/1716.84 c #Conflicts: 1035000 | #Constraints: 34676
1712.05/1716.84 c #Conflicts: 1036000 | #Constraints: 35676
1712.05/1716.84 c #Conflicts: 1037000 | #Constraints: 36676
1712.05/1716.84 c #Conflicts: 1038000 | #Constraints: 37676
1712.05/1716.84 c #Conflicts: 1039000 | #Constraints: 38676
1712.05/1716.84 c #Conflicts: 1040000 | #Constraints: 39676
1712.05/1716.84 c #Conflicts: 1041000 | #Constraints: 40676
1712.05/1716.84 c INPROCESSING
1712.05/1716.84 c GARBAGE COLLECT
1712.05/1716.84 c #Conflicts: 1042000 | #Constraints: 21474
1712.05/1716.84 c #Conflicts: 1043000 | #Constraints: 22474
1712.05/1716.84 c #Conflicts: 1044000 | #Constraints: 23474
1889.30/1894.62 c #Conflicts: 1045000 | #Constraints: 24474
1889.30/1894.62 c #Conflicts: 1046000 | #Constraints: 25474
1889.30/1894.62 c #Conflicts: 1047000 | #Constraints: 26474
1889.30/1894.62 c #Conflicts: 1048000 | #Constraints: 27474
1889.30/1894.62 c #Conflicts: 1049000 | #Constraints: 28474
1889.30/1894.62 c #Conflicts: 1050000 | #Constraints: 29474
1889.30/1894.62 c #Conflicts: 1051000 | #Constraints: 30474
1889.30/1894.62 c #Conflicts: 1052000 | #Constraints: 31474
1889.30/1894.62 c #Conflicts: 1053000 | #Constraints: 32474
1889.30/1894.62 c #Conflicts: 1054000 | #Constraints: 33474
1889.30/1894.62 c #Conflicts: 1055000 | #Constraints: 34474
1889.30/1894.62 c #Conflicts: 1056000 | #Constraints: 35474
1889.30/1894.62 c #Conflicts: 1057000 | #Constraints: 36474
1889.30/1894.62 c #Conflicts: 1058000 | #Constraints: 37474
1889.30/1894.62 c #Conflicts: 1059000 | #Constraints: 38474
1889.30/1894.62 c #Conflicts: 1060000 | #Constraints: 39474
1889.30/1894.62 c #Conflicts: 1061000 | #Constraints: 40474
1889.30/1894.62 c #Conflicts: 1062000 | #Constraints: 41474
1889.30/1894.62 c INPROCESSING
1889.30/1894.62 c GARBAGE COLLECT
1889.30/1894.62 c #Conflicts: 1063000 | #Constraints: 22072
1889.30/1894.63 c #Conflicts: 1064000 | #Constraints: 23072
1889.30/1894.63 c #Conflicts: 1065000 | #Constraints: 24072
1889.30/1894.63 c #Conflicts: 1066000 | #Constraints: 25072
1889.30/1894.63 c #Conflicts: 1067000 | #Constraints: 26072
1889.30/1894.63 c #Conflicts: 1068000 | #Constraints: 27072
1889.30/1894.63 c #Conflicts: 1069000 | #Constraints: 28072
1889.30/1894.63 c #Conflicts: 1070000 | #Constraints: 29072
1889.30/1894.63 c #Conflicts: 1071000 | #Constraints: 30072
1889.30/1894.63 c #Conflicts: 1072000 | #Constraints: 31072
1889.30/1894.63 c #Conflicts: 1073000 | #Constraints: 32072
1889.30/1894.63 c #Conflicts: 1074000 | #Constraints: 33072
1889.30/1894.63 c #Conflicts: 1075000 | #Constraints: 34072
1889.30/1894.63 c #Conflicts: 1076000 | #Constraints: 35072
1889.30/1894.63 c #Conflicts: 1077000 | #Constraints: 36072
1889.30/1894.63 c #Conflicts: 1078000 | #Constraints: 37072
1889.30/1894.63 c #Conflicts: 1079000 | #Constraints: 38072
1889.30/1894.63 c #Conflicts: 1080000 | #Constraints: 39072
1889.30/1894.63 c #Conflicts: 1081000 | #Constraints: 40072
1889.30/1894.63 c #Conflicts: 1082000 | #Constraints: 41072
1889.30/1894.63 c #Conflicts: 1083000 | #Constraints: 42072
1889.30/1894.63 c INPROCESSING
1889.30/1894.63 c GARBAGE COLLECT
1889.30/1894.63 c #Conflicts: 1084000 | #Constraints: 22475
1889.30/1894.63 c #Conflicts: 1085000 | #Constraints: 23475
1889.30/1894.63 c #Conflicts: 1086000 | #Constraints: 24475
1889.30/1894.63 c #Conflicts: 1087000 | #Constraints: 25475
1889.30/1894.63 c #Conflicts: 1088000 | #Constraints: 26475
1889.30/1894.63 c #Conflicts: 1089000 | #Constraints: 27475
1889.30/1894.63 c #Conflicts: 1090000 | #Constraints: 28475
1889.30/1894.63 c #Conflicts: 1091000 | #Constraints: 29475
1889.30/1894.63 c #Conflicts: 1092000 | #Constraints: 30475
1889.30/1894.63 c #Conflicts: 1093000 | #Constraints: 31475
1889.30/1894.63 c #Conflicts: 1094000 | #Constraints: 32475
1889.30/1894.63 c #Conflicts: 1095000 | #Constraints: 33475
1889.30/1894.63 c #Conflicts: 1096000 | #Constraints: 34475
1889.30/1894.63 c #Conflicts: 1097000 | #Constraints: 35475
1889.30/1894.63 c #Conflicts: 1098000 | #Constraints: 36475
1889.30/1894.63 c #Conflicts: 1099000 | #Constraints: 37475
1889.30/1894.63 c #Conflicts: 1100000 | #Constraints: 38475
1889.30/1894.63 c #Conflicts: 1101000 | #Constraints: 39475
1889.30/1894.63 c #Conflicts: 1102000 | #Constraints: 40475
1889.30/1894.63 c #Conflicts: 1103000 | #Constraints: 41475
1889.30/1894.63 c #Conflicts: 1104000 | #Constraints: 42475
1889.30/1894.63 c INPROCESSING
1889.30/1894.63 c GARBAGE COLLECT
1889.30/1894.63 c #Conflicts: 1105000 | #Constraints: 22676
1889.30/1894.63 c #Conflicts: 1106000 | #Constraints: 23676
1889.30/1894.63 c #Conflicts: 1107000 | #Constraints: 24676
1889.30/1894.63 c #Conflicts: 1108000 | #Constraints: 25676
1889.30/1894.63 c #Conflicts: 1109000 | #Constraints: 26676
1889.30/1894.63 c #Conflicts: 1110000 | #Constraints: 27676
1889.30/1894.63 c #Conflicts: 1111000 | #Constraints: 28676
1889.30/1894.63 c #Conflicts: 1112000 | #Constraints: 29676
1889.30/1894.63 c #Conflicts: 1113000 | #Constraints: 30676
1889.30/1894.63 c #Conflicts: 1114000 | #Constraints: 31676
1889.30/1894.63 c #Conflicts: 1115000 | #Constraints: 32676
1889.30/1894.63 c #Conflicts: 1116000 | #Constraints: 33676
1889.30/1894.63 c #Conflicts: 1117000 | #Constraints: 34676
1889.30/1894.63 c #Conflicts: 1118000 | #Constraints: 35676
1889.30/1894.63 c #Conflicts: 1119000 | #Constraints: 36676
1889.30/1894.63 c #Conflicts: 1120000 | #Constraints: 37676
1889.30/1894.63 c #Conflicts: 1121000 | #Constraints: 38676
2080.02/2085.97 c #Conflicts: 1122000 | #Constraints: 39676
2080.02/2085.97 c #Conflicts: 1123000 | #Constraints: 40676
2080.02/2085.97 c #Conflicts: 1124000 | #Constraints: 41676
2080.02/2085.97 c #Conflicts: 1125000 | #Constraints: 42676
2080.02/2085.97 c INPROCESSING
2080.02/2085.97 c GARBAGE COLLECT
2080.02/2085.97 c #Conflicts: 1126000 | #Constraints: 22678
2080.02/2085.97 c #Conflicts: 1127000 | #Constraints: 23678
2080.02/2085.97 c #Conflicts: 1128000 | #Constraints: 24678
2080.02/2085.97 c #Conflicts: 1129000 | #Constraints: 25678
2080.02/2085.97 c #Conflicts: 1130000 | #Constraints: 26678
2080.02/2085.97 c #Conflicts: 1131000 | #Constraints: 27678
2080.02/2085.97 c #Conflicts: 1132000 | #Constraints: 28678
2080.02/2085.97 c #Conflicts: 1133000 | #Constraints: 29678
2080.02/2085.97 c #Conflicts: 1134000 | #Constraints: 30678
2080.02/2085.97 c #Conflicts: 1135000 | #Constraints: 31678
2080.02/2085.97 c #Conflicts: 1136000 | #Constraints: 32678
2080.02/2085.97 c #Conflicts: 1137000 | #Constraints: 33678
2080.02/2085.97 c #Conflicts: 1138000 | #Constraints: 34678
2080.02/2085.97 c #Conflicts: 1139000 | #Constraints: 35678
2080.02/2085.97 c #Conflicts: 1140000 | #Constraints: 36678
2080.02/2085.97 c #Conflicts: 1141000 | #Constraints: 37678
2080.02/2085.97 c #Conflicts: 1142000 | #Constraints: 38678
2080.02/2085.97 c #Conflicts: 1143000 | #Constraints: 39678
2080.02/2085.97 c #Conflicts: 1144000 | #Constraints: 40678
2080.02/2085.97 c #Conflicts: 1145000 | #Constraints: 41678
2080.02/2085.97 c #Conflicts: 1146000 | #Constraints: 42678
2080.02/2085.97 c INPROCESSING
2080.02/2085.97 c GARBAGE COLLECT
2080.02/2085.97 c #Conflicts: 1147000 | #Constraints: 22480
2080.02/2085.97 c #Conflicts: 1148000 | #Constraints: 23480
2080.02/2085.97 c #Conflicts: 1149000 | #Constraints: 24480
2080.02/2085.97 c #Conflicts: 1150000 | #Constraints: 25480
2080.02/2085.97 c #Conflicts: 1151000 | #Constraints: 26480
2080.02/2085.97 c #Conflicts: 1152000 | #Constraints: 27480
2080.02/2085.97 c #Conflicts: 1153000 | #Constraints: 28480
2080.02/2085.97 c #Conflicts: 1154000 | #Constraints: 29480
2080.02/2085.97 c #Conflicts: 1155000 | #Constraints: 30480
2080.02/2085.97 c #Conflicts: 1156000 | #Constraints: 31480
2080.02/2085.97 c #Conflicts: 1157000 | #Constraints: 32480
2080.02/2085.97 c #Conflicts: 1158000 | #Constraints: 33480
2080.02/2085.97 c #Conflicts: 1159000 | #Constraints: 34480
2080.02/2085.97 c #Conflicts: 1160000 | #Constraints: 35480
2080.02/2085.97 c #Conflicts: 1161000 | #Constraints: 36480
2080.02/2085.97 c #Conflicts: 1162000 | #Constraints: 37480
2080.02/2085.97 c #Conflicts: 1163000 | #Constraints: 38480
2080.02/2085.97 c #Conflicts: 1164000 | #Constraints: 39480
2080.02/2085.97 c #Conflicts: 1165000 | #Constraints: 40480
2080.02/2085.97 c #Conflicts: 1166000 | #Constraints: 41480
2080.02/2085.97 c #Conflicts: 1167000 | #Constraints: 42480
2080.02/2085.97 c #Conflicts: 1168000 | #Constraints: 43480
2080.02/2085.97 c INPROCESSING
2080.02/2085.97 c GARBAGE COLLECT
2080.02/2085.97 c #Conflicts: 1169000 | #Constraints: 23080
2080.02/2085.97 c #Conflicts: 1170000 | #Constraints: 24080
2080.02/2085.97 c #Conflicts: 1171000 | #Constraints: 25080
2080.02/2085.97 c #Conflicts: 1172000 | #Constraints: 26080
2080.02/2085.97 c #Conflicts: 1173000 | #Constraints: 27080
2080.02/2085.97 c #Conflicts: 1174000 | #Constraints: 28080
2080.02/2085.97 c #Conflicts: 1175000 | #Constraints: 29080
2080.02/2085.97 c #Conflicts: 1176000 | #Constraints: 30080
2080.02/2085.97 c #Conflicts: 1177000 | #Constraints: 31080
2080.02/2085.97 c #Conflicts: 1178000 | #Constraints: 32080
2080.02/2085.97 c #Conflicts: 1179000 | #Constraints: 33080
2080.02/2085.97 c #Conflicts: 1180000 | #Constraints: 34080
2080.02/2085.97 c #Conflicts: 1181000 | #Constraints: 35080
2080.02/2085.97 c #Conflicts: 1182000 | #Constraints: 36080
2080.02/2085.97 c #Conflicts: 1183000 | #Constraints: 37080
2080.02/2085.97 c #Conflicts: 1184000 | #Constraints: 38080
2080.02/2085.97 c #Conflicts: 1185000 | #Constraints: 39080
2080.02/2085.97 c #Conflicts: 1186000 | #Constraints: 40080
2080.02/2085.97 c #Conflicts: 1187000 | #Constraints: 41080
2080.02/2085.97 c #Conflicts: 1188000 | #Constraints: 42080
2080.02/2085.97 c #Conflicts: 1189000 | #Constraints: 43080
2080.02/2085.97 c #Conflicts: 1190000 | #Constraints: 44080
2080.02/2085.97 c INPROCESSING
2080.02/2085.97 c GARBAGE COLLECT
2080.02/2085.97 c #Conflicts: 1191000 | #Constraints: 23482
2080.02/2085.97 c #Conflicts: 1192000 | #Constraints: 24482
2080.02/2085.97 c #Conflicts: 1193000 | #Constraints: 25482
2080.02/2085.97 c #Conflicts: 1194000 | #Constraints: 26482
2080.02/2085.97 c #Conflicts: 1195000 | #Constraints: 27482
2080.02/2085.97 c #Conflicts: 1196000 | #Constraints: 28482
2080.02/2085.97 c #Conflicts: 1197000 | #Constraints: 29482
2270.38/2276.82 c #Conflicts: 1198000 | #Constraints: 30482
2270.38/2276.82 c #Conflicts: 1199000 | #Constraints: 31482
2270.38/2276.82 c #Conflicts: 1200000 | #Constraints: 32482
2270.38/2276.82 c #Conflicts: 1201000 | #Constraints: 33482
2270.38/2276.82 c #Conflicts: 1202000 | #Constraints: 34482
2270.38/2276.82 c #Conflicts: 1203000 | #Constraints: 35482
2270.38/2276.82 c #Conflicts: 1204000 | #Constraints: 36482
2270.38/2276.82 c #Conflicts: 1205000 | #Constraints: 37482
2270.38/2276.82 c #Conflicts: 1206000 | #Constraints: 38482
2270.38/2276.82 c #Conflicts: 1207000 | #Constraints: 39482
2270.38/2276.82 c #Conflicts: 1208000 | #Constraints: 40482
2270.38/2276.82 c #Conflicts: 1209000 | #Constraints: 41482
2270.38/2276.82 c #Conflicts: 1210000 | #Constraints: 42482
2270.38/2276.82 c #Conflicts: 1211000 | #Constraints: 43482
2270.38/2276.82 c #Conflicts: 1212000 | #Constraints: 44482
2270.38/2276.82 c INPROCESSING
2270.38/2276.82 c GARBAGE COLLECT
2270.38/2276.82 c #Conflicts: 1213000 | #Constraints: 23680
2270.38/2276.82 c #Conflicts: 1214000 | #Constraints: 24680
2270.38/2276.82 c #Conflicts: 1215000 | #Constraints: 25680
2270.38/2276.82 c #Conflicts: 1216000 | #Constraints: 26680
2270.38/2276.82 c #Conflicts: 1217000 | #Constraints: 27680
2270.38/2276.82 c #Conflicts: 1218000 | #Constraints: 28680
2270.38/2276.82 c #Conflicts: 1219000 | #Constraints: 29680
2270.38/2276.82 c #Conflicts: 1220000 | #Constraints: 30680
2270.38/2276.82 c #Conflicts: 1221000 | #Constraints: 31680
2270.38/2276.82 c #Conflicts: 1222000 | #Constraints: 32680
2270.38/2276.82 c #Conflicts: 1223000 | #Constraints: 33680
2270.38/2276.82 c #Conflicts: 1224000 | #Constraints: 34680
2270.38/2276.82 c #Conflicts: 1225000 | #Constraints: 35680
2270.38/2276.82 c #Conflicts: 1226000 | #Constraints: 36680
2270.38/2276.82 c #Conflicts: 1227000 | #Constraints: 37680
2270.38/2276.82 c #Conflicts: 1228000 | #Constraints: 38680
2270.38/2276.82 c #Conflicts: 1229000 | #Constraints: 39680
2270.38/2276.82 c #Conflicts: 1230000 | #Constraints: 40680
2270.38/2276.82 c #Conflicts: 1231000 | #Constraints: 41680
2270.38/2276.82 c #Conflicts: 1232000 | #Constraints: 42680
2270.38/2276.82 c #Conflicts: 1233000 | #Constraints: 43680
2270.38/2276.82 c #Conflicts: 1234000 | #Constraints: 44680
2270.38/2276.82 c INPROCESSING
2270.38/2276.82 c GARBAGE COLLECT
2270.38/2276.82 c #Conflicts: 1235000 | #Constraints: 23679
2270.38/2276.82 c #Conflicts: 1236000 | #Constraints: 24679
2270.38/2276.82 c #Conflicts: 1237000 | #Constraints: 25679
2270.38/2276.82 c #Conflicts: 1238000 | #Constraints: 26679
2270.38/2276.82 c #Conflicts: 1239000 | #Constraints: 27679
2270.38/2276.82 c #Conflicts: 1240000 | #Constraints: 28679
2270.38/2276.82 c #Conflicts: 1241000 | #Constraints: 29679
2270.38/2276.82 c #Conflicts: 1242000 | #Constraints: 30679
2270.38/2276.82 c #Conflicts: 1243000 | #Constraints: 31679
2270.38/2276.82 c #Conflicts: 1244000 | #Constraints: 32679
2270.38/2276.82 c #Conflicts: 1245000 | #Constraints: 33679
2270.38/2276.82 c #Conflicts: 1246000 | #Constraints: 34679
2270.38/2276.82 c #Conflicts: 1247000 | #Constraints: 35679
2270.38/2276.82 c #Conflicts: 1248000 | #Constraints: 36679
2270.38/2276.82 c #Conflicts: 1249000 | #Constraints: 37679
2270.38/2276.82 c #Conflicts: 1250000 | #Constraints: 38679
2270.38/2276.82 c #Conflicts: 1251000 | #Constraints: 39679
2270.38/2276.82 c #Conflicts: 1252000 | #Constraints: 40679
2270.38/2276.82 c #Conflicts: 1253000 | #Constraints: 41679
2270.38/2276.82 c #Conflicts: 1254000 | #Constraints: 42679
2270.38/2276.82 c #Conflicts: 1255000 | #Constraints: 43679
2270.38/2276.82 c #Conflicts: 1256000 | #Constraints: 44679
2270.38/2276.82 c INPROCESSING
2270.38/2276.82 c GARBAGE COLLECT
2270.38/2276.82 c #Conflicts: 1257000 | #Constraints: 23481
2270.38/2276.82 c #Conflicts: 1258000 | #Constraints: 24481
2270.38/2276.82 c #Conflicts: 1259000 | #Constraints: 25481
2270.38/2276.82 c #Conflicts: 1260000 | #Constraints: 26481
2270.38/2276.82 c #Conflicts: 1261000 | #Constraints: 27481
2270.38/2276.82 c #Conflicts: 1262000 | #Constraints: 28481
2270.38/2276.82 c #Conflicts: 1263000 | #Constraints: 29481
2270.38/2276.82 c #Conflicts: 1264000 | #Constraints: 30481
2270.38/2276.82 c #Conflicts: 1265000 | #Constraints: 31481
2270.38/2276.82 c #Conflicts: 1266000 | #Constraints: 32481
2270.38/2276.82 c #Conflicts: 1267000 | #Constraints: 33481
2270.38/2276.82 c #Conflicts: 1268000 | #Constraints: 34481
2270.38/2276.82 c #Conflicts: 1269000 | #Constraints: 35481
2270.38/2276.82 c #Conflicts: 1270000 | #Constraints: 36481
2270.38/2276.82 c #Conflicts: 1271000 | #Constraints: 37481
2270.38/2276.82 c #Conflicts: 1272000 | #Constraints: 38481
2270.38/2276.82 c #Conflicts: 1273000 | #Constraints: 39481
2270.38/2276.82 c #Conflicts: 1274000 | #Constraints: 40481
2462.35/2469.39 c #Conflicts: 1275000 | #Constraints: 41481
2462.35/2469.39 c #Conflicts: 1276000 | #Constraints: 42481
2462.35/2469.39 c #Conflicts: 1277000 | #Constraints: 43481
2462.35/2469.39 c #Conflicts: 1278000 | #Constraints: 44481
2462.35/2469.39 c #Conflicts: 1279000 | #Constraints: 45481
2462.35/2469.39 c INPROCESSING
2462.35/2469.39 c GARBAGE COLLECT
2462.35/2469.39 c #Conflicts: 1280000 | #Constraints: 24080
2462.35/2469.39 c #Conflicts: 1281000 | #Constraints: 25080
2462.35/2469.39 c #Conflicts: 1282000 | #Constraints: 26080
2462.35/2469.39 c #Conflicts: 1283000 | #Constraints: 27080
2462.35/2469.39 c #Conflicts: 1284000 | #Constraints: 28080
2462.35/2469.39 c #Conflicts: 1285000 | #Constraints: 29080
2462.35/2469.39 c #Conflicts: 1286000 | #Constraints: 30080
2462.35/2469.39 c #Conflicts: 1287000 | #Constraints: 31080
2462.35/2469.39 c #Conflicts: 1288000 | #Constraints: 32080
2462.35/2469.39 c #Conflicts: 1289000 | #Constraints: 33080
2462.35/2469.39 c #Conflicts: 1290000 | #Constraints: 34080
2462.35/2469.39 c #Conflicts: 1291000 | #Constraints: 35080
2462.35/2469.39 c #Conflicts: 1292000 | #Constraints: 36080
2462.35/2469.39 c #Conflicts: 1293000 | #Constraints: 37080
2462.35/2469.39 c #Conflicts: 1294000 | #Constraints: 38080
2462.35/2469.39 c #Conflicts: 1295000 | #Constraints: 39080
2462.35/2469.39 c #Conflicts: 1296000 | #Constraints: 40080
2462.35/2469.39 c #Conflicts: 1297000 | #Constraints: 41080
2462.35/2469.39 c #Conflicts: 1298000 | #Constraints: 42080
2462.35/2469.39 c #Conflicts: 1299000 | #Constraints: 43080
2462.35/2469.39 c #Conflicts: 1300000 | #Constraints: 44080
2462.35/2469.39 c #Conflicts: 1301000 | #Constraints: 45080
2462.35/2469.39 c #Conflicts: 1302000 | #Constraints: 46080
2462.35/2469.39 c INPROCESSING
2462.35/2469.39 c GARBAGE COLLECT
2462.35/2469.39 c #Conflicts: 1303000 | #Constraints: 24480
2462.35/2469.39 c #Conflicts: 1304000 | #Constraints: 25480
2462.35/2469.39 c #Conflicts: 1305000 | #Constraints: 26480
2462.35/2469.39 c #Conflicts: 1306000 | #Constraints: 27480
2462.35/2469.39 c #Conflicts: 1307000 | #Constraints: 28480
2462.35/2469.39 c #Conflicts: 1308000 | #Constraints: 29480
2462.35/2469.39 c #Conflicts: 1309000 | #Constraints: 30480
2462.35/2469.39 c #Conflicts: 1310000 | #Constraints: 31480
2462.35/2469.39 c #Conflicts: 1311000 | #Constraints: 32480
2462.35/2469.39 c #Conflicts: 1312000 | #Constraints: 33480
2462.35/2469.39 c #Conflicts: 1313000 | #Constraints: 34480
2462.35/2469.39 c #Conflicts: 1314000 | #Constraints: 35480
2462.35/2469.39 c #Conflicts: 1315000 | #Constraints: 36480
2462.35/2469.39 c #Conflicts: 1316000 | #Constraints: 37480
2462.35/2469.39 c #Conflicts: 1317000 | #Constraints: 38480
2462.35/2469.39 c #Conflicts: 1318000 | #Constraints: 39480
2462.35/2469.39 c #Conflicts: 1319000 | #Constraints: 40480
2462.35/2469.39 c #Conflicts: 1320000 | #Constraints: 41480
2462.35/2469.39 c #Conflicts: 1321000 | #Constraints: 42480
2462.35/2469.39 c #Conflicts: 1322000 | #Constraints: 43480
2462.35/2469.39 c #Conflicts: 1323000 | #Constraints: 44480
2462.35/2469.39 c #Conflicts: 1324000 | #Constraints: 45480
2462.35/2469.39 c #Conflicts: 1325000 | #Constraints: 46480
2462.35/2469.39 c INPROCESSING
2462.35/2469.39 c GARBAGE COLLECT
2462.35/2469.39 c #Conflicts: 1326000 | #Constraints: 24679
2462.35/2469.39 c #Conflicts: 1327000 | #Constraints: 25679
2462.35/2469.39 c #Conflicts: 1328000 | #Constraints: 26679
2462.35/2469.39 c #Conflicts: 1329000 | #Constraints: 27679
2462.35/2469.39 c #Conflicts: 1330000 | #Constraints: 28679
2462.35/2469.39 c #Conflicts: 1331000 | #Constraints: 29679
2462.35/2469.39 c #Conflicts: 1332000 | #Constraints: 30679
2462.35/2469.39 c #Conflicts: 1333000 | #Constraints: 31679
2462.35/2469.39 c #Conflicts: 1334000 | #Constraints: 32679
2462.35/2469.39 c #Conflicts: 1335000 | #Constraints: 33679
2462.35/2469.39 c #Conflicts: 1336000 | #Constraints: 34679
2462.35/2469.39 c #Conflicts: 1337000 | #Constraints: 35679
2462.35/2469.39 c #Conflicts: 1338000 | #Constraints: 36679
2462.35/2469.39 c #Conflicts: 1339000 | #Constraints: 37679
2462.35/2469.39 c #Conflicts: 1340000 | #Constraints: 38679
2462.35/2469.39 c #Conflicts: 1341000 | #Constraints: 39679
2462.35/2469.39 c #Conflicts: 1342000 | #Constraints: 40679
2462.35/2469.39 c #Conflicts: 1343000 | #Constraints: 41679
2462.35/2469.39 c #Conflicts: 1344000 | #Constraints: 42679
2462.35/2469.39 c #Conflicts: 1345000 | #Constraints: 43679
2462.35/2469.39 c #Conflicts: 1346000 | #Constraints: 44679
2462.35/2469.39 c #Conflicts: 1347000 | #Constraints: 45679
2462.35/2469.39 c #Conflicts: 1348000 | #Constraints: 46679
2462.35/2469.39 c INPROCESSING
2462.35/2469.39 c GARBAGE COLLECT
2462.35/2469.39 c #Conflicts: 1349000 | #Constraints: 24676
2462.35/2469.39 c #Conflicts: 1350000 | #Constraints: 25676
2662.80/2670.22 c #Conflicts: 1351000 | #Constraints: 26676
2662.80/2670.22 c #Conflicts: 1352000 | #Constraints: 27676
2662.80/2670.22 c #Conflicts: 1353000 | #Constraints: 28676
2662.80/2670.22 c #Conflicts: 1354000 | #Constraints: 29676
2662.80/2670.22 c #Conflicts: 1355000 | #Constraints: 30676
2662.80/2670.22 c #Conflicts: 1356000 | #Constraints: 31676
2662.80/2670.22 c #Conflicts: 1357000 | #Constraints: 32676
2662.80/2670.22 c #Conflicts: 1358000 | #Constraints: 33676
2662.80/2670.22 c #Conflicts: 1359000 | #Constraints: 34676
2662.80/2670.22 c #Conflicts: 1360000 | #Constraints: 35676
2662.80/2670.22 c #Conflicts: 1361000 | #Constraints: 36676
2662.80/2670.22 c #Conflicts: 1362000 | #Constraints: 37676
2662.80/2670.22 c #Conflicts: 1363000 | #Constraints: 38676
2662.80/2670.22 c #Conflicts: 1364000 | #Constraints: 39676
2662.80/2670.22 c #Conflicts: 1365000 | #Constraints: 40676
2662.80/2670.22 c #Conflicts: 1366000 | #Constraints: 41676
2662.80/2670.22 c #Conflicts: 1367000 | #Constraints: 42676
2662.80/2670.22 c #Conflicts: 1368000 | #Constraints: 43676
2662.80/2670.22 c #Conflicts: 1369000 | #Constraints: 44676
2662.80/2670.22 c #Conflicts: 1370000 | #Constraints: 45676
2662.80/2670.22 c #Conflicts: 1371000 | #Constraints: 46676
2662.80/2670.22 c INPROCESSING
2662.80/2670.22 c GARBAGE COLLECT
2662.80/2670.22 c #Conflicts: 1372000 | #Constraints: 24476
2662.80/2670.22 c #Conflicts: 1373000 | #Constraints: 25476
2662.80/2670.22 c #Conflicts: 1374000 | #Constraints: 26476
2662.80/2670.22 c #Conflicts: 1375000 | #Constraints: 27476
2662.80/2670.22 c #Conflicts: 1376000 | #Constraints: 28476
2662.80/2670.22 c #Conflicts: 1377000 | #Constraints: 29476
2662.80/2670.22 c #Conflicts: 1378000 | #Constraints: 30476
2662.80/2670.22 c #Conflicts: 1379000 | #Constraints: 31476
2662.80/2670.22 c #Conflicts: 1380000 | #Constraints: 32476
2662.80/2670.22 c #Conflicts: 1381000 | #Constraints: 33476
2662.80/2670.22 c #Conflicts: 1382000 | #Constraints: 34476
2662.80/2670.22 c #Conflicts: 1383000 | #Constraints: 35476
2662.80/2670.22 c #Conflicts: 1384000 | #Constraints: 36476
2662.80/2670.22 c #Conflicts: 1385000 | #Constraints: 37476
2662.80/2670.22 c #Conflicts: 1386000 | #Constraints: 38476
2662.80/2670.22 c #Conflicts: 1387000 | #Constraints: 39476
2662.80/2670.22 c #Conflicts: 1388000 | #Constraints: 40476
2662.80/2670.22 c #Conflicts: 1389000 | #Constraints: 41476
2662.80/2670.22 c #Conflicts: 1390000 | #Constraints: 42476
2662.80/2670.22 c #Conflicts: 1391000 | #Constraints: 43476
2662.80/2670.22 c #Conflicts: 1392000 | #Constraints: 44476
2662.80/2670.22 c #Conflicts: 1393000 | #Constraints: 45476
2662.80/2670.22 c #Conflicts: 1394000 | #Constraints: 46476
2662.80/2670.22 c #Conflicts: 1395000 | #Constraints: 47476
2662.80/2670.22 c INPROCESSING
2662.80/2670.22 c GARBAGE COLLECT
2662.80/2670.22 c #Conflicts: 1396000 | #Constraints: 25072
2662.80/2670.22 c #Conflicts: 1397000 | #Constraints: 26072
2662.80/2670.22 c #Conflicts: 1398000 | #Constraints: 27072
2662.80/2670.22 c #Conflicts: 1399000 | #Constraints: 28072
2662.80/2670.22 c #Conflicts: 1400000 | #Constraints: 29072
2662.80/2670.22 c #Conflicts: 1401000 | #Constraints: 30072
2662.80/2670.22 c #Conflicts: 1402000 | #Constraints: 31072
2662.80/2670.22 c #Conflicts: 1403000 | #Constraints: 32072
2662.80/2670.22 c #Conflicts: 1404000 | #Constraints: 33072
2662.80/2670.22 c #Conflicts: 1405000 | #Constraints: 34072
2662.80/2670.22 c #Conflicts: 1406000 | #Constraints: 35072
2662.80/2670.22 c #Conflicts: 1407000 | #Constraints: 36072
2662.80/2670.22 c #Conflicts: 1408000 | #Constraints: 37072
2662.80/2670.22 c #Conflicts: 1409000 | #Constraints: 38072
2662.80/2670.22 c #Conflicts: 1410000 | #Constraints: 39072
2662.80/2670.22 c #Conflicts: 1411000 | #Constraints: 40072
2662.80/2670.22 c #Conflicts: 1412000 | #Constraints: 41072
2662.80/2670.22 c #Conflicts: 1413000 | #Constraints: 42072
2662.80/2670.22 c #Conflicts: 1414000 | #Constraints: 43072
2662.80/2670.22 c #Conflicts: 1415000 | #Constraints: 44072
2662.80/2670.22 c #Conflicts: 1416000 | #Constraints: 45072
2662.80/2670.22 c #Conflicts: 1417000 | #Constraints: 46072
2662.80/2670.22 c #Conflicts: 1418000 | #Constraints: 47072
2662.80/2670.22 c #Conflicts: 1419000 | #Constraints: 48072
2662.80/2670.22 c INPROCESSING
2662.80/2670.22 c GARBAGE COLLECT
2662.80/2670.22 c #Conflicts: 1420000 | #Constraints: 25474
2662.80/2670.22 c #Conflicts: 1421000 | #Constraints: 26474
2662.80/2670.22 c #Conflicts: 1422000 | #Constraints: 27474
2662.80/2670.22 c #Conflicts: 1423000 | #Constraints: 28474
2662.80/2670.22 c #Conflicts: 1424000 | #Constraints: 29474
2662.80/2670.22 c #Conflicts: 1425000 | #Constraints: 30474
2662.80/2670.22 c #Conflicts: 1426000 | #Constraints: 31474
2662.80/2670.22 c #Conflicts: 1427000 | #Constraints: 32474
2870.15/2878.04 c #Conflicts: 1428000 | #Constraints: 33474
2870.15/2878.04 c #Conflicts: 1429000 | #Constraints: 34474
2870.15/2878.04 c #Conflicts: 1430000 | #Constraints: 35474
2870.15/2878.04 c #Conflicts: 1431000 | #Constraints: 36474
2870.15/2878.04 c #Conflicts: 1432000 | #Constraints: 37474
2870.15/2878.04 c #Conflicts: 1433000 | #Constraints: 38474
2870.15/2878.04 c #Conflicts: 1434000 | #Constraints: 39474
2870.15/2878.04 c #Conflicts: 1435000 | #Constraints: 40474
2870.15/2878.04 c #Conflicts: 1436000 | #Constraints: 41474
2870.15/2878.04 c #Conflicts: 1437000 | #Constraints: 42474
2870.15/2878.04 c #Conflicts: 1438000 | #Constraints: 43474
2870.15/2878.04 c #Conflicts: 1439000 | #Constraints: 44474
2870.15/2878.04 c #Conflicts: 1440000 | #Constraints: 45474
2870.15/2878.04 c #Conflicts: 1441000 | #Constraints: 46474
2870.15/2878.04 c #Conflicts: 1442000 | #Constraints: 47474
2870.15/2878.04 c #Conflicts: 1443000 | #Constraints: 48474
2870.15/2878.04 c INPROCESSING
2870.15/2878.04 c GARBAGE COLLECT
2870.15/2878.04 c #Conflicts: 1444000 | #Constraints: 25675
2870.15/2878.04 c #Conflicts: 1445000 | #Constraints: 26675
2870.15/2878.04 c #Conflicts: 1446000 | #Constraints: 27675
2870.15/2878.04 c #Conflicts: 1447000 | #Constraints: 28675
2870.15/2878.04 c #Conflicts: 1448000 | #Constraints: 29675
2870.15/2878.04 c #Conflicts: 1449000 | #Constraints: 30675
2870.15/2878.04 c #Conflicts: 1450000 | #Constraints: 31675
2870.15/2878.04 c #Conflicts: 1451000 | #Constraints: 32675
2870.15/2878.04 c #Conflicts: 1452000 | #Constraints: 33675
2870.15/2878.04 c #Conflicts: 1453000 | #Constraints: 34675
2870.15/2878.04 c #Conflicts: 1454000 | #Constraints: 35675
2870.15/2878.04 c #Conflicts: 1455000 | #Constraints: 36675
2870.15/2878.04 c #Conflicts: 1456000 | #Constraints: 37675
2870.15/2878.04 c #Conflicts: 1457000 | #Constraints: 38675
2870.15/2878.04 c #Conflicts: 1458000 | #Constraints: 39675
2870.15/2878.04 c #Conflicts: 1459000 | #Constraints: 40675
2870.15/2878.04 c #Conflicts: 1460000 | #Constraints: 41675
2870.15/2878.04 c #Conflicts: 1461000 | #Constraints: 42675
2870.15/2878.04 c #Conflicts: 1462000 | #Constraints: 43675
2870.15/2878.04 c #Conflicts: 1463000 | #Constraints: 44675
2870.15/2878.04 c #Conflicts: 1464000 | #Constraints: 45675
2870.15/2878.04 c #Conflicts: 1465000 | #Constraints: 46675
2870.15/2878.04 c #Conflicts: 1466000 | #Constraints: 47675
2870.15/2878.04 c #Conflicts: 1467000 | #Constraints: 48675
2870.15/2878.04 c INPROCESSING
2870.15/2878.04 c GARBAGE COLLECT
2870.15/2878.04 c #Conflicts: 1468000 | #Constraints: 25679
2870.15/2878.04 c #Conflicts: 1469000 | #Constraints: 26679
2870.15/2878.04 c #Conflicts: 1470000 | #Constraints: 27679
2870.15/2878.04 c #Conflicts: 1471000 | #Constraints: 28679
2870.15/2878.04 c #Conflicts: 1472000 | #Constraints: 29679
2870.15/2878.04 c #Conflicts: 1473000 | #Constraints: 30679
2870.15/2878.04 c #Conflicts: 1474000 | #Constraints: 31679
2870.15/2878.04 c #Conflicts: 1475000 | #Constraints: 32679
2870.15/2878.04 c #Conflicts: 1476000 | #Constraints: 33679
2870.15/2878.04 c #Conflicts: 1477000 | #Constraints: 34679
2870.15/2878.04 c #Conflicts: 1478000 | #Constraints: 35679
2870.15/2878.04 c #Conflicts: 1479000 | #Constraints: 36679
2870.15/2878.04 c #Conflicts: 1480000 | #Constraints: 37679
2870.15/2878.04 c #Conflicts: 1481000 | #Constraints: 38679
2870.15/2878.04 c #Conflicts: 1482000 | #Constraints: 39679
2870.15/2878.04 c #Conflicts: 1483000 | #Constraints: 40679
2870.15/2878.04 c #Conflicts: 1484000 | #Constraints: 41679
2870.15/2878.04 c #Conflicts: 1485000 | #Constraints: 42679
2870.15/2878.04 c #Conflicts: 1486000 | #Constraints: 43679
2870.15/2878.04 c #Conflicts: 1487000 | #Constraints: 44679
2870.15/2878.04 c #Conflicts: 1488000 | #Constraints: 45679
2870.15/2878.04 c #Conflicts: 1489000 | #Constraints: 46679
2870.15/2878.04 c #Conflicts: 1490000 | #Constraints: 47679
2870.15/2878.04 c #Conflicts: 1491000 | #Constraints: 48679
2870.15/2878.04 c INPROCESSING
2870.15/2878.04 c GARBAGE COLLECT
2870.15/2878.04 c #Conflicts: 1492000 | #Constraints: 25477
2870.15/2878.04 c #Conflicts: 1493000 | #Constraints: 26477
2870.15/2878.04 c #Conflicts: 1494000 | #Constraints: 27477
2870.15/2878.04 c #Conflicts: 1495000 | #Constraints: 28477
2870.15/2878.04 c #Conflicts: 1496000 | #Constraints: 29477
2870.15/2878.04 c #Conflicts: 1497000 | #Constraints: 30477
2870.15/2878.04 c #Conflicts: 1498000 | #Constraints: 31477
2870.15/2878.04 c #Conflicts: 1499000 | #Constraints: 32477
2870.15/2878.04 c #Conflicts: 1500000 | #Constraints: 33477
2870.15/2878.04 c #Conflicts: 1501000 | #Constraints: 34477
2870.15/2878.04 c #Conflicts: 1502000 | #Constraints: 35477
2870.15/2878.04 c #Conflicts: 1503000 | #Constraints: 36477
2870.15/2878.04 c #Conflicts: 1504000 | #Constraints: 37477
3075.00/3083.36 c #Conflicts: 1505000 | #Constraints: 38477
3075.00/3083.36 c #Conflicts: 1506000 | #Constraints: 39477
3075.00/3083.36 c #Conflicts: 1507000 | #Constraints: 40477
3075.00/3083.36 c #Conflicts: 1508000 | #Constraints: 41477
3075.00/3083.36 c #Conflicts: 1509000 | #Constraints: 42477
3075.00/3083.36 c #Conflicts: 1510000 | #Constraints: 43477
3075.00/3083.36 c #Conflicts: 1511000 | #Constraints: 44477
3075.00/3083.36 c #Conflicts: 1512000 | #Constraints: 45477
3075.00/3083.36 c #Conflicts: 1513000 | #Constraints: 46477
3075.00/3083.36 c #Conflicts: 1514000 | #Constraints: 47477
3075.00/3083.36 c #Conflicts: 1515000 | #Constraints: 48477
3075.00/3083.36 c #Conflicts: 1516000 | #Constraints: 49477
3075.00/3083.36 c INPROCESSING
3075.00/3083.36 c GARBAGE COLLECT
3075.00/3083.36 c #Conflicts: 1517000 | #Constraints: 26078
3075.00/3083.36 c #Conflicts: 1518000 | #Constraints: 27078
3075.00/3083.36 c #Conflicts: 1519000 | #Constraints: 28078
3075.00/3083.36 c #Conflicts: 1520000 | #Constraints: 29078
3075.00/3083.36 c #Conflicts: 1521000 | #Constraints: 30078
3075.00/3083.36 c #Conflicts: 1522000 | #Constraints: 31078
3075.00/3083.36 c #Conflicts: 1523000 | #Constraints: 32078
3075.00/3083.36 c #Conflicts: 1524000 | #Constraints: 33078
3075.00/3083.36 c #Conflicts: 1525000 | #Constraints: 34078
3075.00/3083.36 c #Conflicts: 1526000 | #Constraints: 35078
3075.00/3083.36 c #Conflicts: 1527000 | #Constraints: 36078
3075.00/3083.36 c #Conflicts: 1528000 | #Constraints: 37078
3075.00/3083.36 c #Conflicts: 1529000 | #Constraints: 38078
3075.00/3083.36 c #Conflicts: 1530000 | #Constraints: 39078
3075.00/3083.36 c #Conflicts: 1531000 | #Constraints: 40078
3075.00/3083.36 c #Conflicts: 1532000 | #Constraints: 41078
3075.00/3083.36 c #Conflicts: 1533000 | #Constraints: 42078
3075.00/3083.36 c #Conflicts: 1534000 | #Constraints: 43078
3075.00/3083.36 c #Conflicts: 1535000 | #Constraints: 44078
3075.00/3083.36 c #Conflicts: 1536000 | #Constraints: 45078
3075.00/3083.36 c #Conflicts: 1537000 | #Constraints: 46078
3075.00/3083.36 c #Conflicts: 1538000 | #Constraints: 47078
3075.00/3083.36 c #Conflicts: 1539000 | #Constraints: 48078
3075.00/3083.36 c #Conflicts: 1540000 | #Constraints: 49078
3075.00/3083.36 c #Conflicts: 1541000 | #Constraints: 50078
3075.00/3083.36 c INPROCESSING
3075.00/3083.36 c GARBAGE COLLECT
3075.00/3083.36 c #Conflicts: 1542000 | #Constraints: 26478
3075.00/3083.36 c #Conflicts: 1543000 | #Constraints: 27478
3075.00/3083.36 c #Conflicts: 1544000 | #Constraints: 28478
3075.00/3083.36 c #Conflicts: 1545000 | #Constraints: 29478
3075.00/3083.36 c #Conflicts: 1546000 | #Constraints: 30478
3075.00/3083.36 c #Conflicts: 1547000 | #Constraints: 31478
3075.00/3083.36 c #Conflicts: 1548000 | #Constraints: 32478
3075.00/3083.36 c #Conflicts: 1549000 | #Constraints: 33478
3075.00/3083.36 c #Conflicts: 1550000 | #Constraints: 34478
3075.00/3083.36 c #Conflicts: 1551000 | #Constraints: 35478
3075.00/3083.36 c #Conflicts: 1552000 | #Constraints: 36478
3075.00/3083.36 c #Conflicts: 1553000 | #Constraints: 37478
3075.00/3083.36 c #Conflicts: 1554000 | #Constraints: 38478
3075.00/3083.36 c #Conflicts: 1555000 | #Constraints: 39478
3075.00/3083.36 c #Conflicts: 1556000 | #Constraints: 40478
3075.00/3083.36 c #Conflicts: 1557000 | #Constraints: 41478
3075.00/3083.36 c #Conflicts: 1558000 | #Constraints: 42478
3075.00/3083.36 c #Conflicts: 1559000 | #Constraints: 43478
3075.00/3083.36 c #Conflicts: 1560000 | #Constraints: 44478
3075.00/3083.36 c #Conflicts: 1561000 | #Constraints: 45478
3075.00/3083.36 c #Conflicts: 1562000 | #Constraints: 46478
3075.00/3083.36 c #Conflicts: 1563000 | #Constraints: 47478
3075.00/3083.36 c #Conflicts: 1564000 | #Constraints: 48478
3075.00/3083.36 c #Conflicts: 1565000 | #Constraints: 49478
3075.00/3083.36 c #Conflicts: 1566000 | #Constraints: 50478
3075.00/3083.36 c INPROCESSING
3075.00/3083.36 c GARBAGE COLLECT
3075.00/3083.36 c #Conflicts: 1567000 | #Constraints: 26677
3075.00/3083.36 c #Conflicts: 1568000 | #Constraints: 27677
3075.00/3083.36 c #Conflicts: 1569000 | #Constraints: 28677
3075.00/3083.36 c #Conflicts: 1570000 | #Constraints: 29677
3075.00/3083.36 c #Conflicts: 1571000 | #Constraints: 30677
3075.00/3083.36 c #Conflicts: 1572000 | #Constraints: 31677
3075.00/3083.36 c #Conflicts: 1573000 | #Constraints: 32677
3075.00/3083.36 c #Conflicts: 1574000 | #Constraints: 33677
3075.00/3083.36 c #Conflicts: 1575000 | #Constraints: 34677
3075.00/3083.36 c #Conflicts: 1576000 | #Constraints: 35677
3075.00/3083.36 c #Conflicts: 1577000 | #Constraints: 36677
3075.00/3083.36 c #Conflicts: 1578000 | #Constraints: 37677
3075.00/3083.36 c #Conflicts: 1579000 | #Constraints: 38677
3075.00/3083.36 c #Conflicts: 1580000 | #Constraints: 39677
3075.00/3083.36 c #Conflicts: 1581000 | #Constraints: 40677
3291.32/3300.17 c #Conflicts: 1582000 | #Constraints: 41677
3291.32/3300.17 c #Conflicts: 1583000 | #Constraints: 42677
3291.32/3300.17 c #Conflicts: 1584000 | #Constraints: 43677
3291.32/3300.17 c #Conflicts: 1585000 | #Constraints: 44677
3291.32/3300.17 c #Conflicts: 1586000 | #Constraints: 45677
3291.32/3300.17 c #Conflicts: 1587000 | #Constraints: 46677
3291.32/3300.17 c #Conflicts: 1588000 | #Constraints: 47677
3291.32/3300.17 c #Conflicts: 1589000 | #Constraints: 48677
3291.32/3300.17 c #Conflicts: 1590000 | #Constraints: 49677
3291.32/3300.17 c #Conflicts: 1591000 | #Constraints: 50677
3291.32/3300.17 c INPROCESSING
3291.32/3300.17 c GARBAGE COLLECT
3291.32/3300.17 c #Conflicts: 1592000 | #Constraints: 26677
3291.32/3300.17 c #Conflicts: 1593000 | #Constraints: 27677
3291.32/3300.17 c #Conflicts: 1594000 | #Constraints: 28677
3291.32/3300.17 c #Conflicts: 1595000 | #Constraints: 29677
3291.32/3300.17 c #Conflicts: 1596000 | #Constraints: 30677
3291.32/3300.17 c #Conflicts: 1597000 | #Constraints: 31677
3291.32/3300.17 c #Conflicts: 1598000 | #Constraints: 32677
3291.32/3300.17 c #Conflicts: 1599000 | #Constraints: 33677
3291.32/3300.17 c #Conflicts: 1600000 | #Constraints: 34677
3291.32/3300.17 c #Conflicts: 1601000 | #Constraints: 35677
3291.32/3300.17 c #Conflicts: 1602000 | #Constraints: 36677
3291.32/3300.17 c #Conflicts: 1603000 | #Constraints: 37677
3291.32/3300.17 c #Conflicts: 1604000 | #Constraints: 38677
3291.32/3300.17 c #Conflicts: 1605000 | #Constraints: 39677
3291.32/3300.17 c #Conflicts: 1606000 | #Constraints: 40677
3291.32/3300.17 c #Conflicts: 1607000 | #Constraints: 41677
3291.32/3300.17 c #Conflicts: 1608000 | #Constraints: 42677
3291.32/3300.17 c #Conflicts: 1609000 | #Constraints: 43677
3291.32/3300.17 c #Conflicts: 1610000 | #Constraints: 44677
3291.32/3300.17 c #Conflicts: 1611000 | #Constraints: 45677
3291.32/3300.17 c #Conflicts: 1612000 | #Constraints: 46677
3291.32/3300.17 c #Conflicts: 1613000 | #Constraints: 47677
3291.32/3300.17 c #Conflicts: 1614000 | #Constraints: 48677
3291.32/3300.17 c #Conflicts: 1615000 | #Constraints: 49677
3291.32/3300.17 c #Conflicts: 1616000 | #Constraints: 50677
3291.32/3300.17 c INPROCESSING
3291.32/3300.17 c GARBAGE COLLECT
3291.32/3300.17 c #Conflicts: 1617000 | #Constraints: 26474
3291.32/3300.17 c #Conflicts: 1618000 | #Constraints: 27474
3291.32/3300.17 c #Conflicts: 1619000 | #Constraints: 28474
3291.32/3300.17 c #Conflicts: 1620000 | #Constraints: 29474
3291.32/3300.17 c #Conflicts: 1621000 | #Constraints: 30474
3291.32/3300.17 c #Conflicts: 1622000 | #Constraints: 31474
3291.32/3300.17 c #Conflicts: 1623000 | #Constraints: 32474
3291.32/3300.17 c #Conflicts: 1624000 | #Constraints: 33474
3291.32/3300.17 c #Conflicts: 1625000 | #Constraints: 34474
3291.32/3300.17 c #Conflicts: 1626000 | #Constraints: 35474
3291.32/3300.17 c #Conflicts: 1627000 | #Constraints: 36474
3291.32/3300.17 c #Conflicts: 1628000 | #Constraints: 37474
3291.32/3300.17 c #Conflicts: 1629000 | #Constraints: 38474
3291.32/3300.17 c #Conflicts: 1630000 | #Constraints: 39474
3291.32/3300.17 c #Conflicts: 1631000 | #Constraints: 40474
3291.32/3300.17 c #Conflicts: 1632000 | #Constraints: 41474
3291.32/3300.17 c #Conflicts: 1633000 | #Constraints: 42474
3291.32/3300.17 c #Conflicts: 1634000 | #Constraints: 43474
3291.32/3300.17 c #Conflicts: 1635000 | #Constraints: 44474
3291.32/3300.17 c #Conflicts: 1636000 | #Constraints: 45474
3291.32/3300.17 c #Conflicts: 1637000 | #Constraints: 46474
3291.32/3300.17 c #Conflicts: 1638000 | #Constraints: 47474
3291.32/3300.17 c #Conflicts: 1639000 | #Constraints: 48474
3291.32/3300.17 c #Conflicts: 1640000 | #Constraints: 49474
3291.32/3300.17 c #Conflicts: 1641000 | #Constraints: 50474
3291.32/3300.17 c #Conflicts: 1642000 | #Constraints: 51474
3291.32/3300.17 c INPROCESSING
3291.32/3300.17 c GARBAGE COLLECT
3291.32/3300.17 c #Conflicts: 1643000 | #Constraints: 27075
3291.32/3300.17 c #Conflicts: 1644000 | #Constraints: 28075
3291.32/3300.17 c #Conflicts: 1645000 | #Constraints: 29075
3291.32/3300.17 c #Conflicts: 1646000 | #Constraints: 30075
3291.32/3300.17 c #Conflicts: 1647000 | #Constraints: 31075
3291.32/3300.17 c #Conflicts: 1648000 | #Constraints: 32075
3291.32/3300.17 c #Conflicts: 1649000 | #Constraints: 33075
3291.32/3300.17 c #Conflicts: 1650000 | #Constraints: 34075
3291.32/3300.17 c #Conflicts: 1651000 | #Constraints: 35075
3291.32/3300.17 c #Conflicts: 1652000 | #Constraints: 36075
3291.32/3300.17 c #Conflicts: 1653000 | #Constraints: 37075
3291.32/3300.17 c #Conflicts: 1654000 | #Constraints: 38075
3291.32/3300.17 c #Conflicts: 1655000 | #Constraints: 39075
3291.32/3300.17 c #Conflicts: 1656000 | #Constraints: 40075
3291.32/3300.17 c #Conflicts: 1657000 | #Constraints: 41075
3291.32/3300.17 c #Conflicts: 1658000 | #Constraints: 42075
3505.65/3514.96 c #Conflicts: 1659000 | #Constraints: 43075
3505.65/3514.96 c #Conflicts: 1660000 | #Constraints: 44075
3505.65/3514.96 c #Conflicts: 1661000 | #Constraints: 45075
3505.65/3514.96 c #Conflicts: 1662000 | #Constraints: 46075
3505.65/3514.96 c #Conflicts: 1663000 | #Constraints: 47075
3505.65/3514.96 c #Conflicts: 1664000 | #Constraints: 48075
3505.65/3514.96 c #Conflicts: 1665000 | #Constraints: 49075
3505.65/3514.96 c #Conflicts: 1666000 | #Constraints: 50075
3505.65/3514.96 c #Conflicts: 1667000 | #Constraints: 51075
3505.65/3514.96 c #Conflicts: 1668000 | #Constraints: 52075
3505.65/3514.96 c INPROCESSING
3505.65/3514.96 c GARBAGE COLLECT
3505.65/3514.96 c #Conflicts: 1669000 | #Constraints: 27477
3505.65/3514.96 c #Conflicts: 1670000 | #Constraints: 28477
3505.65/3514.96 c #Conflicts: 1671000 | #Constraints: 29477
3505.65/3514.96 c #Conflicts: 1672000 | #Constraints: 30477
3505.65/3514.96 c #Conflicts: 1673000 | #Constraints: 31477
3505.65/3514.96 c #Conflicts: 1674000 | #Constraints: 32477
3505.65/3514.96 c #Conflicts: 1675000 | #Constraints: 33477
3505.65/3514.96 c #Conflicts: 1676000 | #Constraints: 34477
3505.65/3514.96 c #Conflicts: 1677000 | #Constraints: 35477
3505.65/3514.96 c #Conflicts: 1678000 | #Constraints: 36477
3505.65/3514.96 c #Conflicts: 1679000 | #Constraints: 37477
3505.65/3514.96 c #Conflicts: 1680000 | #Constraints: 38477
3505.65/3514.96 c #Conflicts: 1681000 | #Constraints: 39477
3505.65/3514.96 c #Conflicts: 1682000 | #Constraints: 40477
3505.65/3514.96 c #Conflicts: 1683000 | #Constraints: 41477
3505.65/3514.96 c #Conflicts: 1684000 | #Constraints: 42477
3505.65/3514.96 c #Conflicts: 1685000 | #Constraints: 43477
3505.65/3514.96 c #Conflicts: 1686000 | #Constraints: 44477
3505.65/3514.96 c #Conflicts: 1687000 | #Constraints: 45477
3505.65/3514.96 c #Conflicts: 1688000 | #Constraints: 46477
3505.65/3514.96 c #Conflicts: 1689000 | #Constraints: 47477
3505.65/3514.96 c #Conflicts: 1690000 | #Constraints: 48477
3505.65/3514.96 c #Conflicts: 1691000 | #Constraints: 49477
3505.65/3514.96 c #Conflicts: 1692000 | #Constraints: 50477
3505.65/3514.96 c #Conflicts: 1693000 | #Constraints: 51477
3505.65/3514.96 c #Conflicts: 1694000 | #Constraints: 52477
3505.65/3514.96 c INPROCESSING
3505.65/3514.96 c GARBAGE COLLECT
3505.65/3514.96 c #Conflicts: 1695000 | #Constraints: 27679
3505.65/3514.96 c #Conflicts: 1696000 | #Constraints: 28679
3505.65/3514.96 c #Conflicts: 1697000 | #Constraints: 29679
3505.65/3514.96 c #Conflicts: 1698000 | #Constraints: 30679
3505.65/3514.96 c #Conflicts: 1699000 | #Constraints: 31679
3505.65/3514.96 c #Conflicts: 1700000 | #Constraints: 32679
3505.65/3514.96 c #Conflicts: 1701000 | #Constraints: 33679
3505.65/3514.96 c #Conflicts: 1702000 | #Constraints: 34679
3505.65/3514.96 c #Conflicts: 1703000 | #Constraints: 35679
3505.65/3514.96 c #Conflicts: 1704000 | #Constraints: 36679
3505.65/3514.96 c #Conflicts: 1705000 | #Constraints: 37679
3505.65/3514.96 c #Conflicts: 1706000 | #Constraints: 38679
3505.65/3514.96 c #Conflicts: 1707000 | #Constraints: 39679
3505.65/3514.96 c #Conflicts: 1708000 | #Constraints: 40679
3505.65/3514.96 c #Conflicts: 1709000 | #Constraints: 41679
3505.65/3514.96 c #Conflicts: 1710000 | #Constraints: 42679
3505.65/3514.96 c #Conflicts: 1711000 | #Constraints: 43679
3505.65/3514.96 c #Conflicts: 1712000 | #Constraints: 44679
3505.65/3514.96 c #Conflicts: 1713000 | #Constraints: 45679
3505.65/3514.96 c #Conflicts: 1714000 | #Constraints: 46679
3505.65/3514.96 c #Conflicts: 1715000 | #Constraints: 47679
3505.65/3514.96 c #Conflicts: 1716000 | #Constraints: 48679
3505.65/3514.96 c #Conflicts: 1717000 | #Constraints: 49679
3505.65/3514.96 c #Conflicts: 1718000 | #Constraints: 50679
3505.65/3514.96 c #Conflicts: 1719000 | #Constraints: 51679
3505.65/3514.96 c #Conflicts: 1720000 | #Constraints: 52679
3505.65/3514.96 c INPROCESSING
3505.65/3514.96 c GARBAGE COLLECT
3505.65/3514.96 c #Conflicts: 1721000 | #Constraints: 27677
3505.65/3514.96 c #Conflicts: 1722000 | #Constraints: 28677
3505.65/3514.96 c #Conflicts: 1723000 | #Constraints: 29677
3505.65/3514.96 c #Conflicts: 1724000 | #Constraints: 30677
3505.65/3514.96 c #Conflicts: 1725000 | #Constraints: 31677
3505.65/3514.96 c #Conflicts: 1726000 | #Constraints: 32677
3505.65/3514.96 c #Conflicts: 1727000 | #Constraints: 33677
3505.65/3514.96 c #Conflicts: 1728000 | #Constraints: 34677
3505.65/3514.96 c #Conflicts: 1729000 | #Constraints: 35677
3505.65/3514.96 c #Conflicts: 1730000 | #Constraints: 36677
3505.65/3514.96 c #Conflicts: 1731000 | #Constraints: 37677
3505.65/3514.96 c #Conflicts: 1732000 | #Constraints: 38677
3505.65/3514.96 c #Conflicts: 1733000 | #Constraints: 39677
3505.65/3514.96 c #Conflicts: 1734000 | #Constraints: 40677
3505.65/3514.96 c #Conflicts: 1735000 | #Constraints: 41677
3600.03/3609.50 c #Conflicts: 1736000 | #Constraints: 42677
3600.03/3609.50 c #Conflicts: 1737000 | #Constraints: 43677
3600.03/3609.50 c #Conflicts: 1738000 | #Constraints: 44677
3600.03/3609.50 c #Conflicts: 1739000 | #Constraints: 45677
3600.03/3609.50 c #Conflicts: 1740000 | #Constraints: 46677
3600.03/3609.50 c #Conflicts: 1741000 | #Constraints: 47677
3600.03/3609.50 c #Conflicts: 1742000 | #Constraints: 48677
3600.03/3609.50 c #Conflicts: 1743000 | #Constraints: 49677
3600.03/3609.50 c #Conflicts: 1744000 | #Constraints: 50677
3600.03/3609.50 c #Conflicts: 1745000 | #Constraints: 51677
3600.03/3609.50 c #Conflicts: 1746000 | #Constraints: 52677
3600.03/3609.50 c INPROCESSING
3600.03/3609.50 c GARBAGE COLLECT
3600.03/3609.50 c #Conflicts: 1747000 | #Constraints: 27477
3600.03/3609.50 c #Conflicts: 1748000 | #Constraints: 28477
3600.03/3609.50 c #Conflicts: 1749000 | #Constraints: 29477
3600.03/3609.50 c #Conflicts: 1750000 | #Constraints: 30477
3600.03/3609.50 c #Conflicts: 1751000 | #Constraints: 31477
3600.03/3609.50 c #Conflicts: 1752000 | #Constraints: 32477
3600.03/3609.50 c #Conflicts: 1753000 | #Constraints: 33477
3600.03/3609.50 c #Conflicts: 1754000 | #Constraints: 34477
3600.03/3609.50 c #Conflicts: 1755000 | #Constraints: 35477
3600.03/3609.50 c #Conflicts: 1756000 | #Constraints: 36477
3600.03/3609.50 c #Conflicts: 1757000 | #Constraints: 37477
3600.03/3609.50 c #Conflicts: 1758000 | #Constraints: 38477
3600.03/3609.50 c #Conflicts: 1759000 | #Constraints: 39477
3600.03/3609.50 c #Conflicts: 1760000 | #Constraints: 40477
3600.03/3609.50 c #Conflicts: 1761000 | #Constraints: 41477
3600.03/3609.50 c #Conflicts: 1762000 | #Constraints: 42477
3600.03/3609.50 c #Conflicts: 1763000 | #Constraints: 43477
3600.03/3609.50 c #Conflicts: 1764000 | #Constraints: 44477
3600.03/3609.50 c #Conflicts: 1765000 | #Constraints: 45477
3600.03/3609.50 c #Conflicts: 1766000 | #Constraints: 46477
3600.03/3609.50 c cpu time 3593.77 s
3600.03/3609.50 c deterministic time 2 2.00e+00
3600.03/3609.50 c optimization time 3593.77 s
3600.03/3609.50 c total solve time 0 s
3600.03/3609.50 c core-guided solve time 0 s
3600.03/3609.50 c propagation time 0.00011 s
3600.03/3609.50 c conflict analysis time 0 s
3600.03/3609.50 c propagations 1
3600.03/3609.50 c resolve steps 0
3600.03/3609.50 c decisions 0
3600.03/3609.50 c conflicts 0
3600.03/3609.50 c restarts 0
3600.03/3609.50 c inprocessing phases 0
3600.03/3609.50 c garbage collections 0 ,( -nan )
3600.03/3609.50 c input clauses 788 ,( 100.00 )
3600.03/3609.50 c input cardinalities 0 ,( 0.00 )
3600.03/3609.50 c input general constraints 0 ,( 0.00 )
3600.03/3609.50 c input average constraint length 2.00
3600.03/3609.50 c input average constraint degree 1.00
3600.03/3609.50 c learned clauses 0 ,( 0.00 )
3600.03/3609.50 c learned cardinalities 0 ,( 0.00 )
3600.03/3609.50 c learned general constraints 0 ,( 0.00 )
3600.03/3609.50 c learned average constraint length 0.00
3600.03/3609.50 c learned average constraint degree 0.00
3600.03/3609.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3609.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3609.50 c watched constraints 0 ,( -nan )
3600.03/3609.50 c counting constraints 0 ,( -nan )
3600.03/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3609.50 c gcd simplifications 0
3600.03/3609.50 c detected cardinalities 0
3600.03/3609.50 c weakened non-implied lits 0
3600.03/3609.50 c weakened non-implying lits 0
3600.03/3609.50 c original variables 126
3600.03/3609.50 c clausal propagations 0
3600.03/3609.50 c cardinality propagations 0
3600.03/3609.50 c watched propagations 0
3600.03/3609.50 c counting propagations 0
3600.03/3609.50 c watch lookups 0
3600.03/3609.50 c watch backjump lookups 0
3600.03/3609.50 c watch checks 0
3600.03/3609.50 c propagation checks 0
3600.03/3609.50 c constraint additions 0
3600.03/3609.50 c trail pops 0
3600.03/3609.50 c formula constraints 788
3600.03/3609.50 c learned constraints 0
3600.03/3609.50 c bound constraints 0
3600.03/3609.50 c core-guided constraints 0
3600.03/3609.50 c encountered formula constraints 0
3600.03/3609.50 c encountered learned constraints 0
3600.03/3609.50 c encountered bound constraints 0
3600.03/3609.50 c encountered core-guided constraints 0
3600.03/3609.50 c LP total time 0 s
3600.03/3609.50 c LP solve time 0 s
3600.03/3609.50 c LP constraints added 0
3600.03/3609.50 c LP constraints removed 0
3600.03/3609.50 c LP pivots internal 0
3600.03/3609.50 c LP pivots root 0
3600.03/3609.50 c LP calls 0
3600.03/3609.50 c LP optimalities 0
3600.03/3609.50 c LP no pivot count 0
3600.03/3609.50 c LP infeasibilities 0
3600.03/3609.50 c LP valid Farkas constraints 0
3600.03/3609.50 c LP learned Farkas constraints 0
3600.03/3609.50 c LP basis resets 0
3600.03/3609.50 c LP cycling count 0
3600.03/3609.50 c LP singular count 0
3600.03/3609.50 c LP no primal count 0
3600.03/3609.50 c LP no farkas count 0
3600.03/3609.50 c LP other issue count 0
3600.03/3609.50 c LP Gomory cuts 0
3600.03/3609.50 c LP learned cuts 0
3600.03/3609.50 c LP deleted cuts 0
3600.03/3609.50 c LP encountered Gomory constraints 0
3600.03/3609.50 c LP encountered Farkas constraints 0
3600.03/3609.50 c LP encountered learned Farkas constraints 0
3600.03/3609.50 c CG auxiliary variables introduced 0
3600.03/3609.50 c CG solutions found 0
3600.03/3609.50 c CG cores constructed 0
3600.03/3609.50 c CG core cardinality constraints returned 0
3600.03/3609.50 c CG unit cores 0
3600.03/3609.50 c CG single cores 0
3600.03/3609.50 c CG blocks removed during cardinality reduction 0
3600.03/3609.50 c CG first core best 0
3600.03/3609.50 c CG decision core best 0
3600.03/3609.50 c CG core reduction tie 0
3600.03/3609.50 c CG core degree average 0.00
3600.03/3609.50 c CG core slack average 0.00
3600.03/3609.50 c CG core upper bound improvements 0
3600.03/3609.50 c STR number of successful calls 0
3600.03/3609.50 c STR number of unsuccessful calls 0
3600.03/3609.50 c STR number of inconclusive calls 0
3600.03/3609.50 c STR number of successful attempts 0
3600.03/3609.50 c STR number of unsuccessful attempts 0
3600.03/3609.50 c STR number of inconclusive attempts 0
3600.03/3609.50 c STR average degree increase per successful call inf
3600.03/3609.50 c STR average degree increase per successful attempt inf
3600.03/3609.50 c STR total number of conflicts for successful attempts 0
3600.03/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.50 c STR average number of conflicts per successful attempt inf
3600.03/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.50 c AVG.sumWPerc -nan
3600.03/3609.50 c bigint constraints 0
3600.03/3609.50 s UNKNOWN
3600.03/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59504 MiB free)
memory of node 1: 64465 MiB (58904 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524390-1751633105/watcher-4524390-1751633105 -o /tmp/evaluation-result-4524390-1751633105/solver-4524390-1751633105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751633105-93990 --watchdog 3760 run-opt.sh HOME/instance-4524390-1751633105.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=94024, runsolver pid=94020
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 2.07 2.67 2.97 5/261 94031
/proc/meminfo: memFree=121179292/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=62008 memory=14584 CPUtime=0.08 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 1106 0 0 0 7 1 0 0 20 0 1 0 78989922 63496192 3646 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 15502 3646 2368 1147 0 2929 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66200 KiB
Current children cumulated memory: 17656 KiB
[startup+0.205622 s]*
/proc/loadavg: 2.07 2.67 2.97 5/261 94031
/proc/meminfo: memFree=121097644/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=62296 memory=14968 CPUtime=0.18 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 1203 0 0 0 17 1 0 0 20 0 1 0 78989922 63791104 3742 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 15574 3742 2368 1147 0 3001 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66488 KiB
Current children cumulated memory: 18040 KiB
[startup+0.305524 s]*
/proc/loadavg: 2.07 2.67 2.97 5/261 94031
/proc/meminfo: memFree=121020720/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=63080 memory=15480 CPUtime=0.27 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 1354 0 0 0 26 1 0 0 20 0 1 0 78989922 64593920 3870 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 15770 3870 2368 1147 0 3197 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 18552 KiB
[startup+0.700205 s]
/proc/loadavg: 2.07 2.67 2.97 5/261 94031
/proc/meminfo: memFree=120822324/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=63720 memory=15992 CPUtime=0.67 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 1476 0 0 0 65 2 0 0 20 0 1 0 78989922 65249280 3998 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 15930 3998 2368 1147 0 3357 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 19064 KiB
[startup+1.50021 s]
/proc/loadavg: 2.07 2.67 2.97 5/259 94031
/proc/meminfo: memFree=120562124/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=64648 memory=17016 CPUtime=1.46 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 1709 0 0 0 144 2 0 0 20 0 1 0 78989922 66199552 4254 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 16162 4254 2368 1147 0 3589 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68840 KiB
Current children cumulated memory: 20088 KiB
[startup+3.10535 s]
/proc/loadavg: 2.07 2.67 2.97 5/263 94042
/proc/meminfo: memFree=119943856/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=66760 memory=18552 CPUtime=3.06 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 2124 0 0 0 302 4 0 0 20 0 1 0 78989922 68362240 4638 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 16690 4638 2368 1147 0 4117 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 70952 KiB
Current children cumulated memory: 21624 KiB
[startup+6.30019 s]
/proc/loadavg: 2.31 2.71 2.98 5/269 94053
/proc/meminfo: memFree=119019744/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=66952 memory=19448 CPUtime=6.25 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 2342 0 0 0 619 6 0 0 20 0 1 0 78989922 68558848 4862 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 16738 4862 2368 1147 0 4165 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 71144 KiB
Current children cumulated memory: 22520 KiB
[startup+12.7002 s]
/proc/loadavg: 2.44 2.73 2.98 5/269 94053
/proc/meminfo: memFree=118194692/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=67144 memory=20472 CPUtime=12.63 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 2594 0 0 0 1254 9 0 0 20 0 1 0 78989922 68755456 5118 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 16786 5118 2368 1147 0 4213 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 71336 KiB
Current children cumulated memory: 23544 KiB
[startup+25.5002 s]
/proc/loadavg: 2.79 2.79 3.00 5/269 94053
/proc/meminfo: memFree=117067644/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=73960 memory=25336 CPUtime=25.39 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 3511 0 0 0 2524 15 0 0 20 0 1 0 78989922 75735040 6334 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 18490 6334 2368 1147 0 5917 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78152 KiB
Current children cumulated memory: 28408 KiB
[startup+51.1054 s]
/proc/loadavg: 3.48 2.95 3.05 5/268 94053
/proc/meminfo: memFree=116118500/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=76264 memory=28536 CPUtime=50.94 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 4217 0 0 0 5068 26 0 0 20 0 1 0 78989922 78094336 7134 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 19066 7134 2368 1147 0 6493 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 31608 KiB
[startup+102.3 s]
/proc/loadavg: 3.84 3.13 3.11 5/268 94055
/proc/meminfo: memFree=115869260/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=82220 memory=31096 CPUtime=102.01 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 4875 0 0 0 10157 44 0 0 20 0 1 0 78989922 84193280 7774 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 20555 7774 2368 1147 0 7982 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 86412 KiB
Current children cumulated memory: 34168 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.31 3.17 5/268 94057
/proc/meminfo: memFree=115846116/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=85808 memory=37388 CPUtime=161.84 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 5918 0 0 0 16116 68 0 0 20 0 1 0 78989922 87867392 9347 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 21452 9347 2368 1147 0 8879 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 90000 KiB
Current children cumulated memory: 40460 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 3.43 3.22 4/262 94092
/proc/meminfo: memFree=117293856/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=87856 memory=38668 CPUtime=221.67 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 6256 0 0 0 22080 87 0 0 20 0 1 0 78989922 89964544 9667 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 21964 9667 2368 1147 0 9391 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 2.11 2.10 2.17 3/254 94277
/proc/meminfo: memFree=120749488/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=139196 memory=84176 CPUtime=3093.96 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13033 0 0 0 308826 570 0 0 20 0 1 0 78989922 142536704 21044 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 34799 21044 2368 1147 0 22226 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 143388 KiB
Current children cumulated memory: 87248 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.09 2.17 3/254 94279
/proc/meminfo: memFree=120749204/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=140228 memory=84944 CPUtime=3153.82 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13220 0 0 0 314806 576 0 0 20 0 1 0 78989922 143593472 21236 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35057 21236 2368 1147 0 22484 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 144420 KiB
Current children cumulated memory: 88016 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.09 2.16 3/254 94281
/proc/meminfo: memFree=120728164/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=140228 memory=87104 CPUtime=3213.69 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13259 0 0 0 320786 583 0 0 20 0 1 0 78989922 143593472 21776 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35057 21776 2368 1147 0 22484 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 144420 KiB
Current children cumulated memory: 90176 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.10 2.16 3/254 94283
/proc/meminfo: memFree=120724100/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141260 memory=87872 CPUtime=3273.56 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13448 0 0 0 326766 590 0 0 20 0 1 0 78989922 144650240 21968 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35315 21968 2368 1147 0 22742 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 90944 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.09 2.15 3/254 94290
/proc/meminfo: memFree=120703756/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141260 memory=87872 CPUtime=3333.42 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13448 0 0 0 332746 596 0 0 20 0 1 0 78989922 144650240 21968 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35315 21968 2368 1147 0 22742 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 90944 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.10 2.15 3/254 94292
/proc/meminfo: memFree=120704736/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141260 memory=89408 CPUtime=3393.3 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13449 0 0 0 338728 602 0 0 20 0 1 0 78989922 144650240 22352 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35315 22352 2368 1147 0 22742 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 92480 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.10 2.15 3/254 94294
/proc/meminfo: memFree=120704548/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141260 memory=89408 CPUtime=3453.16 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13450 0 0 0 344707 609 0 0 20 0 1 0 78989922 144650240 22352 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35315 22352 2368 1147 0 22742 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 92480 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.09 2.14 3/254 94296
/proc/meminfo: memFree=120704656/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141260 memory=89408 CPUtime=3513.02 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13451 0 0 0 350686 616 0 0 20 0 1 0 78989922 144650240 22352 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35315 22352 2368 1147 0 22742 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 92480 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.10 2.14 3/254 94298
/proc/meminfo: memFree=120691496/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141776 memory=89664 CPUtime=3572.89 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13528 0 0 0 356666 623 0 0 20 0 1 0 78989922 145178624 22416 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35444 22416 2368 1147 0 22871 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 145968 KiB
Current children cumulated memory: 92736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.09 2.09 2.14 3/254 94299
/proc/meminfo: memFree=120702112/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141776 memory=89664 CPUtime=3600.03 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13528 0 0 0 359376 627 0 0 20 0 1 0 78989922 145178624 22416 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35444 22416 2368 1147 0 22871 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 145968 KiB
Current children cumulated memory: 92736 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 94024 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.77 s, system=6.27732 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.09 2.09 2.14 3/254 94299
/proc/meminfo: memFree=120702112/131250000 swapFree=33009904/33010684
[pid=94024] ppid=94020 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/94024/stat : 94024 (run-opt.sh) S 94020 94024 93980 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 78989921 4292608 768 18446744073709551615 94558572851200 94558573745733 140729538378912 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94558573984784 94558574032528 94558605127680 140729538386285 140729538386408 140729538386408 140729538392010 0
/proc/94024/statm: 1048 768 704 219 0 110 0
[pid=94026] ppid=94024 vsize=141776 memory=89664 CPUtime=3600.03 cores=0,2
/proc/94026/stat : 94026 (roundingsat) R 94024 94024 93980 0 -1 4194304 13528 0 0 0 359376 627 0 0 20 0 1 0 78989922 145178624 22416 18446744073709551615 4227072 8923433 140727430278176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40009728 140727430285730 140727430285864 140727430285864 140727430291434 0
/proc/94026/statm: 35444 22416 2368 1147 0 22871 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 145968 KiB
Current children cumulated memory: 92736 KiB
Child status: 2
Real time (s): 3609.5
CPU time (s): 3600.05
CPU user time (s): 3593.77
CPU system time (s): 6.27732
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 145968
Max. memory (cumulated for all children) (KiB): 92736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.77
system time used= 6.27732
maximum resident set size= 89920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13765
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= 178
involuntary context switches= 7958
# summary of solver processes directly reported to runsolver:
# pid: 94024
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.77
# total CPU system time (s): 6.27732
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96291 second user time and 14.5843 second system time
The end
Begin job on nodeC033 at 2025-07-04 14:45:05
IDJOB=4524390
IDBENCH=180666
IDSOLVER=3350
FILE ID=nodeC033/4524390-1751633105
RUNJOBID= nodeC033-1751633105-93990
SLURM_JOB_ID= 9598974
Free space on /tmp= 429760 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524390-1751633105/watcher-4524390-1751633105 -o /tmp/evaluation-result-4524390-1751633105/solver-4524390-1751633105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751633105-93990 --watchdog 3760 run-opt.sh HOME/instance-4524390-1751633105.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=1954137672
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.473
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.052
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.084
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3591.937
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3376.350
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121290912 kB
MemAvailable: 129640112 kB
Buffers: 2128 kB
Cached: 9072836 kB
SwapCached: 68 kB
Active: 747488 kB
Inactive: 8406636 kB
Active(anon): 92116 kB
Inactive(anon): 5396 kB
Active(file): 655372 kB
Inactive(file): 8401240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59108 kB
Writeback: 0 kB
AnonPages: 82580 kB
Mapped: 104564 kB
Shmem: 18028 kB
KReclaimable: 263656 kB
Slab: 357316 kB
SReclaimable: 263656 kB
SUnreclaim: 93660 kB
KernelStack: 4192 kB
PageTables: 2908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 355832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429748 MiB
End job on nodeC033 at 2025-07-04 15:45:15