0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1343 #constraints 2405
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 4412 @ 0.005854
0.00/0.00 c stratification level: 2008
0.00/0.01 c bounds 24447 >= 4412 @ 0.006716
0.00/0.01 c stratification level: 1961
19.53/19.69 c #Conflicts: 1000 | #Constraints: 3405
19.53/19.69 c #Conflicts: 2000 | #Constraints: 4405
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 3000 | #Constraints: 4406
19.53/19.69 c #Conflicts: 4000 | #Constraints: 5406
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 5000 | #Constraints: 4813
19.53/19.69 c #Conflicts: 6000 | #Constraints: 5813
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 7000 | #Constraints: 4831
19.53/19.69 c #Conflicts: 8000 | #Constraints: 5831
19.53/19.69 c #Conflicts: 9000 | #Constraints: 6831
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 10000 | #Constraints: 5539
19.53/19.69 c #Conflicts: 11000 | #Constraints: 6539
19.53/19.69 c #Conflicts: 12000 | #Constraints: 7539
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 13000 | #Constraints: 5977
19.53/19.69 c #Conflicts: 14000 | #Constraints: 6977
19.53/19.69 c #Conflicts: 15000 | #Constraints: 7977
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 16000 | #Constraints: 6221
19.53/19.69 c #Conflicts: 17000 | #Constraints: 7221
19.53/19.69 c #Conflicts: 18000 | #Constraints: 8221
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 19000 | #Constraints: 6227
19.53/19.69 c #Conflicts: 20000 | #Constraints: 7227
19.53/19.69 c #Conflicts: 21000 | #Constraints: 8227
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 22000 | #Constraints: 6029
19.53/19.69 c #Conflicts: 23000 | #Constraints: 7029
19.53/19.69 c #Conflicts: 24000 | #Constraints: 8029
19.53/19.69 c #Conflicts: 25000 | #Constraints: 9029
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 26000 | #Constraints: 6625
19.53/19.69 c #Conflicts: 27000 | #Constraints: 7625
19.53/19.69 c #Conflicts: 28000 | #Constraints: 8625
19.53/19.69 c #Conflicts: 29000 | #Constraints: 9625
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 30000 | #Constraints: 7022
19.53/19.69 c #Conflicts: 31000 | #Constraints: 8022
19.53/19.69 c #Conflicts: 32000 | #Constraints: 9022
19.53/19.69 c #Conflicts: 33000 | #Constraints: 10022
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 34000 | #Constraints: 7220
19.53/19.69 c #Conflicts: 35000 | #Constraints: 8220
19.53/19.69 c #Conflicts: 36000 | #Constraints: 9220
19.53/19.69 c #Conflicts: 37000 | #Constraints: 10220
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 38000 | #Constraints: 7226
19.53/19.69 c #Conflicts: 39000 | #Constraints: 8226
19.53/19.69 c #Conflicts: 40000 | #Constraints: 9226
19.53/19.69 c #Conflicts: 41000 | #Constraints: 10226
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 42000 | #Constraints: 7031
19.53/19.69 c #Conflicts: 43000 | #Constraints: 8031
19.53/19.69 c #Conflicts: 44000 | #Constraints: 9031
19.53/19.69 c #Conflicts: 45000 | #Constraints: 10031
19.53/19.69 c #Conflicts: 46000 | #Constraints: 11031
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 47000 | #Constraints: 7626
19.53/19.69 c #Conflicts: 48000 | #Constraints: 8626
19.53/19.69 c #Conflicts: 49000 | #Constraints: 9626
19.53/19.69 c #Conflicts: 50000 | #Constraints: 10626
19.53/19.69 c #Conflicts: 51000 | #Constraints: 11626
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 52000 | #Constraints: 8026
19.53/19.69 c #Conflicts: 53000 | #Constraints: 9026
19.53/19.69 c #Conflicts: 54000 | #Constraints: 10026
19.53/19.69 c #Conflicts: 55000 | #Constraints: 11026
19.53/19.69 c #Conflicts: 56000 | #Constraints: 12026
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 57000 | #Constraints: 8225
19.53/19.69 c #Conflicts: 58000 | #Constraints: 9225
19.53/19.69 c #Conflicts: 59000 | #Constraints: 10225
19.53/19.69 c #Conflicts: 60000 | #Constraints: 11225
19.53/19.69 c #Conflicts: 61000 | #Constraints: 12225
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 62000 | #Constraints: 8233
19.53/19.69 c #Conflicts: 63000 | #Constraints: 9233
19.53/19.69 c #Conflicts: 64000 | #Constraints: 10233
19.53/19.69 c #Conflicts: 65000 | #Constraints: 11233
19.53/19.69 c #Conflicts: 66000 | #Constraints: 12233
19.53/19.69 c INPROCESSING
19.53/19.69 c GARBAGE COLLECT
19.53/19.69 c #Conflicts: 67000 | #Constraints: 8035
19.53/19.69 c #Conflicts: 68000 | #Constraints: 9035
46.74/46.98 c #Conflicts: 69000 | #Constraints: 10035
46.74/46.98 c #Conflicts: 70000 | #Constraints: 11035
46.74/46.98 c #Conflicts: 71000 | #Constraints: 12035
46.74/46.98 c #Conflicts: 72000 | #Constraints: 13035
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 73000 | #Constraints: 8632
46.74/46.98 c #Conflicts: 74000 | #Constraints: 9632
46.74/46.98 c #Conflicts: 75000 | #Constraints: 10632
46.74/46.98 c #Conflicts: 76000 | #Constraints: 11632
46.74/46.98 c #Conflicts: 77000 | #Constraints: 12632
46.74/46.98 c #Conflicts: 78000 | #Constraints: 13632
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 79000 | #Constraints: 9027
46.74/46.98 c #Conflicts: 80000 | #Constraints: 10027
46.74/46.98 c #Conflicts: 81000 | #Constraints: 11027
46.74/46.98 c #Conflicts: 82000 | #Constraints: 12027
46.74/46.98 c #Conflicts: 83000 | #Constraints: 13027
46.74/46.98 c #Conflicts: 84000 | #Constraints: 14027
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 85000 | #Constraints: 9230
46.74/46.98 c #Conflicts: 86000 | #Constraints: 10230
46.74/46.98 c #Conflicts: 87000 | #Constraints: 11230
46.74/46.98 c #Conflicts: 88000 | #Constraints: 12230
46.74/46.98 c #Conflicts: 89000 | #Constraints: 13230
46.74/46.98 c #Conflicts: 90000 | #Constraints: 14230
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 91000 | #Constraints: 9248
46.74/46.98 c #Conflicts: 92000 | #Constraints: 10248
46.74/46.98 c #Conflicts: 93000 | #Constraints: 11248
46.74/46.98 c #Conflicts: 94000 | #Constraints: 12248
46.74/46.98 c #Conflicts: 95000 | #Constraints: 13248
46.74/46.98 c #Conflicts: 96000 | #Constraints: 14248
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 97000 | #Constraints: 9057
46.74/46.98 c #Conflicts: 98000 | #Constraints: 10057
46.74/46.98 c #Conflicts: 99000 | #Constraints: 11057
46.74/46.98 c #Conflicts: 100000 | #Constraints: 12057
46.74/46.98 c #Conflicts: 101000 | #Constraints: 13057
46.74/46.98 c #Conflicts: 102000 | #Constraints: 14057
46.74/46.98 c #Conflicts: 103000 | #Constraints: 15057
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 104000 | #Constraints: 9646
46.74/46.98 c #Conflicts: 105000 | #Constraints: 10646
46.74/46.98 c #Conflicts: 106000 | #Constraints: 11646
46.74/46.98 c #Conflicts: 107000 | #Constraints: 12646
46.74/46.98 c #Conflicts: 108000 | #Constraints: 13646
46.74/46.98 c #Conflicts: 109000 | #Constraints: 14646
46.74/46.98 c #Conflicts: 110000 | #Constraints: 15646
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 111000 | #Constraints: 10047
46.74/46.98 c #Conflicts: 112000 | #Constraints: 11047
46.74/46.98 c #Conflicts: 113000 | #Constraints: 12047
46.74/46.98 c #Conflicts: 114000 | #Constraints: 13047
46.74/46.98 c #Conflicts: 115000 | #Constraints: 14047
46.74/46.98 c #Conflicts: 116000 | #Constraints: 15047
46.74/46.98 c #Conflicts: 117000 | #Constraints: 16047
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 118000 | #Constraints: 10239
46.74/46.98 c #Conflicts: 119000 | #Constraints: 11239
46.74/46.98 c #Conflicts: 120000 | #Constraints: 12239
46.74/46.98 c #Conflicts: 121000 | #Constraints: 13239
46.74/46.98 c #Conflicts: 122000 | #Constraints: 14239
46.74/46.98 c #Conflicts: 123000 | #Constraints: 15239
46.74/46.98 c #Conflicts: 124000 | #Constraints: 16239
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 125000 | #Constraints: 10235
46.74/46.98 c #Conflicts: 126000 | #Constraints: 11235
46.74/46.98 c #Conflicts: 127000 | #Constraints: 12235
46.74/46.98 c #Conflicts: 128000 | #Constraints: 13235
46.74/46.98 c #Conflicts: 129000 | #Constraints: 14235
46.74/46.98 c #Conflicts: 130000 | #Constraints: 15235
46.74/46.98 c #Conflicts: 131000 | #Constraints: 16235
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 132000 | #Constraints: 10040
46.74/46.98 c #Conflicts: 133000 | #Constraints: 11040
46.74/46.98 c #Conflicts: 134000 | #Constraints: 12040
46.74/46.98 c #Conflicts: 135000 | #Constraints: 13040
46.74/46.98 c #Conflicts: 136000 | #Constraints: 14040
46.74/46.98 c #Conflicts: 137000 | #Constraints: 15040
46.74/46.98 c #Conflicts: 138000 | #Constraints: 16040
46.74/46.98 c #Conflicts: 139000 | #Constraints: 17040
46.74/46.98 c INPROCESSING
46.74/46.98 c GARBAGE COLLECT
46.74/46.98 c #Conflicts: 140000 | #Constraints: 10654
71.56/71.86 c #Conflicts: 141000 | #Constraints: 11654
71.56/71.86 c #Conflicts: 142000 | #Constraints: 12654
71.56/71.86 c #Conflicts: 143000 | #Constraints: 13654
71.56/71.86 c #Conflicts: 144000 | #Constraints: 14654
71.56/71.86 c #Conflicts: 145000 | #Constraints: 15654
71.56/71.86 c #Conflicts: 146000 | #Constraints: 16654
71.56/71.86 c #Conflicts: 147000 | #Constraints: 17654
71.56/71.86 c INPROCESSING
71.56/71.86 c GARBAGE COLLECT
71.56/71.86 c #Conflicts: 148000 | #Constraints: 11040
71.56/71.86 c #Conflicts: 149000 | #Constraints: 12040
71.56/71.86 c #Conflicts: 150000 | #Constraints: 13040
71.56/71.86 c #Conflicts: 151000 | #Constraints: 14040
71.56/71.86 c #Conflicts: 152000 | #Constraints: 15040
71.56/71.86 c #Conflicts: 153000 | #Constraints: 16040
71.56/71.86 c #Conflicts: 154000 | #Constraints: 17040
71.56/71.86 c #Conflicts: 155000 | #Constraints: 18040
71.56/71.86 c INPROCESSING
71.56/71.86 c GARBAGE COLLECT
71.56/71.86 c #Conflicts: 156000 | #Constraints: 11280
71.56/71.86 c #Conflicts: 157000 | #Constraints: 12280
71.56/71.86 c #Conflicts: 158000 | #Constraints: 13280
71.56/71.86 c #Conflicts: 159000 | #Constraints: 14280
71.56/71.86 c #Conflicts: 160000 | #Constraints: 15280
71.56/71.86 c #Conflicts: 161000 | #Constraints: 16280
71.56/71.86 c #Conflicts: 162000 | #Constraints: 17280
71.56/71.86 c #Conflicts: 163000 | #Constraints: 18280
71.56/71.86 c INPROCESSING
71.56/71.86 c GARBAGE COLLECT
71.56/71.86 c #Conflicts: 164000 | #Constraints: 11252
71.56/71.86 c #Conflicts: 165000 | #Constraints: 12252
71.56/71.86 c #Conflicts: 166000 | #Constraints: 13252
71.56/71.86 c #Conflicts: 167000 | #Constraints: 14252
71.56/71.86 c #Conflicts: 168000 | #Constraints: 15252
71.56/71.86 c #Conflicts: 169000 | #Constraints: 16252
71.56/71.86 c #Conflicts: 170000 | #Constraints: 17252
71.56/71.86 c #Conflicts: 171000 | #Constraints: 18252
71.56/71.86 c INPROCESSING
71.56/71.86 c GARBAGE COLLECT
71.56/71.86 c #Conflicts: 172000 | #Constraints: 11064
71.56/71.86 c #Conflicts: 173000 | #Constraints: 12064
71.56/71.86 c #Conflicts: 174000 | #Constraints: 13064
71.56/71.86 c #Conflicts: 175000 | #Constraints: 14064
71.56/71.86 c #Conflicts: 176000 | #Constraints: 15064
71.56/71.86 c #Conflicts: 177000 | #Constraints: 16064
71.56/71.86 c #Conflicts: 178000 | #Constraints: 17064
71.56/71.86 c #Conflicts: 179000 | #Constraints: 18064
71.56/71.86 c #Conflicts: 180000 | #Constraints: 19064
71.56/71.86 c INPROCESSING
71.56/71.86 c GARBAGE COLLECT
71.56/71.86 c #Conflicts: 181000 | #Constraints: 11650
71.56/71.86 c #Conflicts: 182000 | #Constraints: 12650
71.56/71.86 c #Conflicts: 183000 | #Constraints: 13650
71.56/71.86 c #Conflicts: 184000 | #Constraints: 14650
71.56/71.86 c #Conflicts: 185000 | #Constraints: 15650
71.56/71.86 c bounds 24352 >= 4412 @ 68.9546
71.56/71.86 c stratification level: 1956
71.56/71.86 c bounds 24288 >= 4412 @ 68.9603
71.56/71.86 c stratification level: 1953
71.56/71.87 c bounds 24230 >= 4412 @ 68.9658
71.56/71.87 c stratification level: 1944
140.72/141.27 c #Conflicts: 186000 | #Constraints: 16653
140.72/141.27 c #Conflicts: 187000 | #Constraints: 17653
140.72/141.27 c #Conflicts: 188000 | #Constraints: 18653
140.72/141.27 c #Conflicts: 189000 | #Constraints: 19653
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 190000 | #Constraints: 12055
140.72/141.27 c #Conflicts: 191000 | #Constraints: 13055
140.72/141.27 c #Conflicts: 192000 | #Constraints: 14055
140.72/141.27 c #Conflicts: 193000 | #Constraints: 15055
140.72/141.27 c #Conflicts: 194000 | #Constraints: 16055
140.72/141.27 c #Conflicts: 195000 | #Constraints: 17055
140.72/141.27 c #Conflicts: 196000 | #Constraints: 18055
140.72/141.27 c #Conflicts: 197000 | #Constraints: 19055
140.72/141.27 c #Conflicts: 198000 | #Constraints: 20055
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 199000 | #Constraints: 12259
140.72/141.27 c #Conflicts: 200000 | #Constraints: 13259
140.72/141.27 c #Conflicts: 201000 | #Constraints: 14259
140.72/141.27 c #Conflicts: 202000 | #Constraints: 15259
140.72/141.27 c #Conflicts: 203000 | #Constraints: 16259
140.72/141.27 c #Conflicts: 204000 | #Constraints: 17259
140.72/141.27 c #Conflicts: 205000 | #Constraints: 18259
140.72/141.27 c #Conflicts: 206000 | #Constraints: 19259
140.72/141.27 c #Conflicts: 207000 | #Constraints: 20259
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 208000 | #Constraints: 12266
140.72/141.27 c #Conflicts: 209000 | #Constraints: 13266
140.72/141.27 c #Conflicts: 210000 | #Constraints: 14266
140.72/141.27 c #Conflicts: 211000 | #Constraints: 15266
140.72/141.27 c #Conflicts: 212000 | #Constraints: 16266
140.72/141.27 c #Conflicts: 213000 | #Constraints: 17266
140.72/141.27 c #Conflicts: 214000 | #Constraints: 18266
140.72/141.27 c #Conflicts: 215000 | #Constraints: 19266
140.72/141.27 c #Conflicts: 216000 | #Constraints: 20266
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 217000 | #Constraints: 12067
140.72/141.27 c #Conflicts: 218000 | #Constraints: 13067
140.72/141.27 c #Conflicts: 219000 | #Constraints: 14067
140.72/141.27 c #Conflicts: 220000 | #Constraints: 15067
140.72/141.27 c #Conflicts: 221000 | #Constraints: 16067
140.72/141.27 c #Conflicts: 222000 | #Constraints: 17067
140.72/141.27 c #Conflicts: 223000 | #Constraints: 18067
140.72/141.27 c #Conflicts: 224000 | #Constraints: 19067
140.72/141.27 c #Conflicts: 225000 | #Constraints: 20067
140.72/141.27 c #Conflicts: 226000 | #Constraints: 21067
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 227000 | #Constraints: 12672
140.72/141.27 c #Conflicts: 228000 | #Constraints: 13672
140.72/141.27 c #Conflicts: 229000 | #Constraints: 14672
140.72/141.27 c #Conflicts: 230000 | #Constraints: 15672
140.72/141.27 c #Conflicts: 231000 | #Constraints: 16672
140.72/141.27 c #Conflicts: 232000 | #Constraints: 17672
140.72/141.27 c #Conflicts: 233000 | #Constraints: 18672
140.72/141.27 c #Conflicts: 234000 | #Constraints: 19672
140.72/141.27 c #Conflicts: 235000 | #Constraints: 20672
140.72/141.27 c #Conflicts: 236000 | #Constraints: 21672
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 237000 | #Constraints: 13074
140.72/141.27 c #Conflicts: 238000 | #Constraints: 14074
140.72/141.27 c #Conflicts: 239000 | #Constraints: 15074
140.72/141.27 c #Conflicts: 240000 | #Constraints: 16074
140.72/141.27 c #Conflicts: 241000 | #Constraints: 17074
140.72/141.27 c #Conflicts: 242000 | #Constraints: 18074
140.72/141.27 c #Conflicts: 243000 | #Constraints: 19074
140.72/141.27 c #Conflicts: 244000 | #Constraints: 20074
140.72/141.27 c #Conflicts: 245000 | #Constraints: 21074
140.72/141.27 c #Conflicts: 246000 | #Constraints: 22074
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 247000 | #Constraints: 13261
140.72/141.27 c #Conflicts: 248000 | #Constraints: 14261
140.72/141.27 c #Conflicts: 249000 | #Constraints: 15261
140.72/141.27 c #Conflicts: 250000 | #Constraints: 16261
140.72/141.27 c #Conflicts: 251000 | #Constraints: 17261
140.72/141.27 c #Conflicts: 252000 | #Constraints: 18261
140.72/141.27 c #Conflicts: 253000 | #Constraints: 19261
140.72/141.27 c #Conflicts: 254000 | #Constraints: 20261
140.72/141.27 c #Conflicts: 255000 | #Constraints: 21261
140.72/141.27 c #Conflicts: 256000 | #Constraints: 22261
140.72/141.27 c INPROCESSING
140.72/141.27 c GARBAGE COLLECT
140.72/141.27 c #Conflicts: 257000 | #Constraints: 13256
140.72/141.27 c #Conflicts: 258000 | #Constraints: 14256
140.72/141.27 c #Conflicts: 259000 | #Constraints: 15256
195.15/195.86 c #Conflicts: 260000 | #Constraints: 16256
195.15/195.86 c #Conflicts: 261000 | #Constraints: 17256
195.15/195.86 c #Conflicts: 262000 | #Constraints: 18256
195.15/195.86 c #Conflicts: 263000 | #Constraints: 19256
195.15/195.86 c #Conflicts: 264000 | #Constraints: 20256
195.15/195.86 c #Conflicts: 265000 | #Constraints: 21256
195.15/195.86 c #Conflicts: 266000 | #Constraints: 22256
195.15/195.86 c INPROCESSING
195.15/195.86 c GARBAGE COLLECT
195.15/195.86 c #Conflicts: 267000 | #Constraints: 13072
195.15/195.86 c #Conflicts: 268000 | #Constraints: 14072
195.15/195.86 c #Conflicts: 269000 | #Constraints: 15072
195.15/195.86 c #Conflicts: 270000 | #Constraints: 16072
195.15/195.86 c #Conflicts: 271000 | #Constraints: 17072
195.15/195.86 c #Conflicts: 272000 | #Constraints: 18072
195.15/195.86 c #Conflicts: 273000 | #Constraints: 19072
195.15/195.86 c #Conflicts: 274000 | #Constraints: 20072
195.15/195.86 c #Conflicts: 275000 | #Constraints: 21072
195.15/195.86 c #Conflicts: 276000 | #Constraints: 22072
195.15/195.86 c #Conflicts: 277000 | #Constraints: 23072
195.15/195.86 c INPROCESSING
195.15/195.86 c GARBAGE COLLECT
195.15/195.86 c #Conflicts: 278000 | #Constraints: 13677
195.25/195.91 c #Conflicts: 279000 | #Constraints: 14677
195.25/195.91 c #Conflicts: 280000 | #Constraints: 15677
195.25/195.91 c #Conflicts: 281000 | #Constraints: 16677
195.25/195.91 c #Conflicts: 282000 | #Constraints: 17677
195.25/195.91 c #Conflicts: 283000 | #Constraints: 18677
195.25/195.91 c #Conflicts: 284000 | #Constraints: 19677
195.25/195.91 c #Conflicts: 285000 | #Constraints: 20677
195.25/195.91 c #Conflicts: 286000 | #Constraints: 21677
195.25/195.91 c #Conflicts: 287000 | #Constraints: 22677
195.25/195.91 c #Conflicts: 288000 | #Constraints: 23677
195.25/195.91 c INPROCESSING
195.25/195.91 c GARBAGE COLLECT
195.25/195.91 c #Conflicts: 289000 | #Constraints: 14061
195.25/195.91 c #Conflicts: 290000 | #Constraints: 15061
195.25/195.91 c #Conflicts: 291000 | #Constraints: 16061
195.25/195.91 c #Conflicts: 292000 | #Constraints: 17061
195.25/195.91 c #Conflicts: 293000 | #Constraints: 18061
195.25/195.91 c #Conflicts: 294000 | #Constraints: 19061
195.25/195.91 c #Conflicts: 295000 | #Constraints: 20061
195.25/195.91 c #Conflicts: 296000 | #Constraints: 21061
195.25/195.91 c #Conflicts: 297000 | #Constraints: 22061
195.25/195.91 c #Conflicts: 298000 | #Constraints: 23061
195.25/195.91 c #Conflicts: 299000 | #Constraints: 24061
195.25/195.91 c INPROCESSING
195.25/195.91 c GARBAGE COLLECT
195.25/195.91 c #Conflicts: 300000 | #Constraints: 14284
195.25/195.91 c #Conflicts: 301000 | #Constraints: 15284
195.25/195.91 c #Conflicts: 302000 | #Constraints: 16284
195.25/195.91 c #Conflicts: 303000 | #Constraints: 17284
195.25/195.91 c #Conflicts: 304000 | #Constraints: 18284
195.25/195.91 c #Conflicts: 305000 | #Constraints: 19284
195.25/195.91 c #Conflicts: 306000 | #Constraints: 20284
195.25/195.91 c #Conflicts: 307000 | #Constraints: 21284
195.25/195.91 c #Conflicts: 308000 | #Constraints: 22284
195.25/195.91 c #Conflicts: 309000 | #Constraints: 23284
195.25/195.91 c #Conflicts: 310000 | #Constraints: 24284
195.25/195.91 c INPROCESSING
195.25/195.91 c GARBAGE COLLECT
195.25/195.91 c #Conflicts: 311000 | #Constraints: 14290
195.25/195.91 c #Conflicts: 312000 | #Constraints: 15290
195.25/195.91 c #Conflicts: 313000 | #Constraints: 16290
195.25/195.91 c #Conflicts: 314000 | #Constraints: 17290
195.25/195.91 c #Conflicts: 315000 | #Constraints: 18290
195.25/195.91 c #Conflicts: 316000 | #Constraints: 19290
195.25/195.91 c #Conflicts: 317000 | #Constraints: 20290
195.25/195.91 c #Conflicts: 318000 | #Constraints: 21290
195.25/195.91 c #Conflicts: 319000 | #Constraints: 22290
195.25/195.91 c #Conflicts: 320000 | #Constraints: 23290
195.25/195.91 c #Conflicts: 321000 | #Constraints: 24290
195.25/195.91 c INPROCESSING
195.25/195.91 c GARBAGE COLLECT
195.25/195.91 c #Conflicts: 322000 | #Constraints: 14075
195.25/195.91 c #Conflicts: 323000 | #Constraints: 15075
195.25/195.91 c #Conflicts: 324000 | #Constraints: 16075
195.25/195.91 c #Conflicts: 325000 | #Constraints: 17075
195.25/195.91 c #Conflicts: 326000 | #Constraints: 18075
195.25/195.91 c #Conflicts: 327000 | #Constraints: 19075
195.25/195.91 c #Conflicts: 328000 | #Constraints: 20075
195.25/195.91 c #Conflicts: 329000 | #Constraints: 21075
195.25/195.91 c #Conflicts: 330000 | #Constraints: 22075
195.25/195.91 c #Conflicts: 331000 | #Constraints: 23075
195.25/195.91 c #Conflicts: 332000 | #Constraints: 24075
195.25/195.91 c #Conflicts: 333000 | #Constraints: 25075
195.25/195.91 c INPROCESSING
195.25/195.91 c GARBAGE COLLECT
195.25/195.91 c #Conflicts: 334000 | #Constraints: 14672
223.26/224.08 c #Conflicts: 335000 | #Constraints: 15672
223.26/224.08 c #Conflicts: 336000 | #Constraints: 16672
223.26/224.08 c #Conflicts: 337000 | #Constraints: 17672
223.26/224.08 c #Conflicts: 338000 | #Constraints: 18672
223.26/224.08 c #Conflicts: 339000 | #Constraints: 19672
223.26/224.08 c #Conflicts: 340000 | #Constraints: 20672
223.26/224.08 c #Conflicts: 341000 | #Constraints: 21672
223.26/224.08 c #Conflicts: 342000 | #Constraints: 22672
223.26/224.08 c #Conflicts: 343000 | #Constraints: 23672
223.26/224.08 c #Conflicts: 344000 | #Constraints: 24672
223.26/224.08 c #Conflicts: 345000 | #Constraints: 25672
223.26/224.08 c INPROCESSING
223.26/224.08 c GARBAGE COLLECT
223.26/224.08 c #Conflicts: 346000 | #Constraints: 15098
223.26/224.08 c #Conflicts: 347000 | #Constraints: 16098
223.26/224.08 c #Conflicts: 348000 | #Constraints: 17098
223.26/224.08 c #Conflicts: 349000 | #Constraints: 18098
223.26/224.08 c #Conflicts: 350000 | #Constraints: 19098
223.26/224.08 c #Conflicts: 351000 | #Constraints: 20098
223.26/224.08 c #Conflicts: 352000 | #Constraints: 21098
223.26/224.08 c #Conflicts: 353000 | #Constraints: 22098
223.26/224.08 c #Conflicts: 354000 | #Constraints: 23098
223.26/224.08 c #Conflicts: 355000 | #Constraints: 24098
223.26/224.08 c #Conflicts: 356000 | #Constraints: 25098
223.26/224.08 c #Conflicts: 357000 | #Constraints: 26098
223.26/224.08 c INPROCESSING
223.26/224.08 c GARBAGE COLLECT
223.26/224.08 c #Conflicts: 358000 | #Constraints: 15283
223.26/224.08 c #Conflicts: 359000 | #Constraints: 16283
223.26/224.08 c #Conflicts: 360000 | #Constraints: 17283
223.26/224.08 c #Conflicts: 361000 | #Constraints: 18283
223.26/224.08 c #Conflicts: 362000 | #Constraints: 19283
223.26/224.08 c #Conflicts: 363000 | #Constraints: 20283
223.26/224.08 c #Conflicts: 364000 | #Constraints: 21283
223.26/224.08 c #Conflicts: 365000 | #Constraints: 22283
223.26/224.08 c #Conflicts: 366000 | #Constraints: 23283
223.26/224.08 c #Conflicts: 367000 | #Constraints: 24283
223.26/224.08 c #Conflicts: 368000 | #Constraints: 25283
223.26/224.08 c #Conflicts: 369000 | #Constraints: 26283
223.26/224.08 c INPROCESSING
223.26/224.08 c GARBAGE COLLECT
223.26/224.08 c #Conflicts: 370000 | #Constraints: 15294
223.26/224.08 c bounds 24100 >= 4412 @ 217.592
223.26/224.08 c stratification level: 1935
223.26/224.08 c bounds 24036 >= 4412 @ 217.595
223.26/224.08 c stratification level: 1932
223.26/224.08 c bounds 23990 >= 4412 @ 217.598
223.26/224.08 c stratification level: 1915
223.26/224.09 c bounds 23978 >= 4412 @ 217.604
223.26/224.09 c stratification level: 1906
279.77/280.71 c #Conflicts: 371000 | #Constraints: 16298
279.77/280.71 c #Conflicts: 372000 | #Constraints: 17298
279.77/280.71 c #Conflicts: 373000 | #Constraints: 18298
279.77/280.71 c #Conflicts: 374000 | #Constraints: 19298
279.77/280.71 c #Conflicts: 375000 | #Constraints: 20298
279.77/280.71 c #Conflicts: 376000 | #Constraints: 21298
279.77/280.71 c #Conflicts: 377000 | #Constraints: 22298
279.77/280.71 c #Conflicts: 378000 | #Constraints: 23298
279.77/280.71 c #Conflicts: 379000 | #Constraints: 24298
279.77/280.71 c #Conflicts: 380000 | #Constraints: 25298
279.77/280.71 c #Conflicts: 381000 | #Constraints: 26298
279.77/280.71 c INPROCESSING
279.77/280.71 c GARBAGE COLLECT
279.77/280.71 c #Conflicts: 382000 | #Constraints: 15102
279.77/280.71 c #Conflicts: 383000 | #Constraints: 16102
279.77/280.71 c #Conflicts: 384000 | #Constraints: 17102
279.77/280.71 c #Conflicts: 385000 | #Constraints: 18102
279.77/280.71 c #Conflicts: 386000 | #Constraints: 19102
279.77/280.71 c #Conflicts: 387000 | #Constraints: 20102
279.77/280.71 c #Conflicts: 388000 | #Constraints: 21102
279.77/280.71 c #Conflicts: 389000 | #Constraints: 22102
279.77/280.71 c #Conflicts: 390000 | #Constraints: 23102
279.77/280.71 c #Conflicts: 391000 | #Constraints: 24102
279.77/280.71 c #Conflicts: 392000 | #Constraints: 25102
279.77/280.71 c #Conflicts: 393000 | #Constraints: 26102
279.77/280.71 c #Conflicts: 394000 | #Constraints: 27102
279.77/280.71 c INPROCESSING
279.77/280.71 c GARBAGE COLLECT
279.77/280.71 c #Conflicts: 395000 | #Constraints: 15698
279.77/280.71 c #Conflicts: 396000 | #Constraints: 16698
279.77/280.71 c #Conflicts: 397000 | #Constraints: 17698
279.77/280.71 c #Conflicts: 398000 | #Constraints: 18698
279.77/280.71 c #Conflicts: 399000 | #Constraints: 19698
279.77/280.71 c #Conflicts: 400000 | #Constraints: 20698
279.77/280.71 c #Conflicts: 401000 | #Constraints: 21698
279.77/280.71 c #Conflicts: 402000 | #Constraints: 22698
279.77/280.71 c #Conflicts: 403000 | #Constraints: 23698
279.77/280.71 c #Conflicts: 404000 | #Constraints: 24698
279.77/280.71 c #Conflicts: 405000 | #Constraints: 25698
279.77/280.71 c #Conflicts: 406000 | #Constraints: 26698
279.77/280.71 c #Conflicts: 407000 | #Constraints: 27698
279.77/280.71 c INPROCESSING
279.77/280.71 c GARBAGE COLLECT
279.77/280.71 c #Conflicts: 408000 | #Constraints: 16102
279.77/280.71 c #Conflicts: 409000 | #Constraints: 17102
279.77/280.71 c #Conflicts: 410000 | #Constraints: 18102
279.77/280.71 c #Conflicts: 411000 | #Constraints: 19102
279.77/280.71 c #Conflicts: 412000 | #Constraints: 20102
279.77/280.71 c #Conflicts: 413000 | #Constraints: 21102
279.77/280.71 c #Conflicts: 414000 | #Constraints: 22102
279.77/280.71 c #Conflicts: 415000 | #Constraints: 23102
279.77/280.71 c #Conflicts: 416000 | #Constraints: 24102
279.77/280.71 c #Conflicts: 417000 | #Constraints: 25102
279.77/280.71 c #Conflicts: 418000 | #Constraints: 26102
279.77/280.71 c #Conflicts: 419000 | #Constraints: 27102
279.77/280.71 c #Conflicts: 420000 | #Constraints: 28102
279.77/280.71 c INPROCESSING
279.77/280.71 c GARBAGE COLLECT
279.77/280.71 c #Conflicts: 421000 | #Constraints: 16314
279.77/280.71 c #Conflicts: 422000 | #Constraints: 17314
279.77/280.71 c #Conflicts: 423000 | #Constraints: 18314
279.77/280.71 c #Conflicts: 424000 | #Constraints: 19314
279.77/280.71 c #Conflicts: 425000 | #Constraints: 20314
279.77/280.71 c #Conflicts: 426000 | #Constraints: 21314
279.77/280.71 c #Conflicts: 427000 | #Constraints: 22314
279.77/280.71 c #Conflicts: 428000 | #Constraints: 23314
279.77/280.71 c #Conflicts: 429000 | #Constraints: 24314
279.77/280.71 c #Conflicts: 430000 | #Constraints: 25314
279.77/280.71 c #Conflicts: 431000 | #Constraints: 26314
279.77/280.71 c #Conflicts: 432000 | #Constraints: 27314
279.77/280.71 c #Conflicts: 433000 | #Constraints: 28314
279.77/280.71 c INPROCESSING
279.77/280.71 c GARBAGE COLLECT
279.77/280.71 c #Conflicts: 434000 | #Constraints: 16309
279.77/280.71 c #Conflicts: 435000 | #Constraints: 17309
279.77/280.71 c #Conflicts: 436000 | #Constraints: 18309
279.77/280.71 c #Conflicts: 437000 | #Constraints: 19309
279.77/280.71 c #Conflicts: 438000 | #Constraints: 20309
279.77/280.71 c #Conflicts: 439000 | #Constraints: 21309
279.77/280.71 c #Conflicts: 440000 | #Constraints: 22309
279.77/280.71 c #Conflicts: 441000 | #Constraints: 23309
279.77/280.71 c #Conflicts: 442000 | #Constraints: 24309
279.77/280.71 c #Conflicts: 443000 | #Constraints: 25309
279.77/280.71 c #Conflicts: 444000 | #Constraints: 26309
279.77/280.71 c #Conflicts: 445000 | #Constraints: 27309
279.77/280.71 c #Conflicts: 446000 | #Constraints: 28309
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 447000 | #Constraints: 16098
375.55/376.84 c #Conflicts: 448000 | #Constraints: 17098
375.55/376.84 c #Conflicts: 449000 | #Constraints: 18098
375.55/376.84 c #Conflicts: 450000 | #Constraints: 19098
375.55/376.84 c #Conflicts: 451000 | #Constraints: 20098
375.55/376.84 c #Conflicts: 452000 | #Constraints: 21098
375.55/376.84 c #Conflicts: 453000 | #Constraints: 22098
375.55/376.84 c #Conflicts: 454000 | #Constraints: 23098
375.55/376.84 c #Conflicts: 455000 | #Constraints: 24098
375.55/376.84 c #Conflicts: 456000 | #Constraints: 25098
375.55/376.84 c #Conflicts: 457000 | #Constraints: 26098
375.55/376.84 c #Conflicts: 458000 | #Constraints: 27098
375.55/376.84 c #Conflicts: 459000 | #Constraints: 28098
375.55/376.84 c #Conflicts: 460000 | #Constraints: 29098
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 461000 | #Constraints: 16710
375.55/376.84 c #Conflicts: 462000 | #Constraints: 17710
375.55/376.84 c #Conflicts: 463000 | #Constraints: 18710
375.55/376.84 c #Conflicts: 464000 | #Constraints: 19710
375.55/376.84 c #Conflicts: 465000 | #Constraints: 20710
375.55/376.84 c #Conflicts: 466000 | #Constraints: 21710
375.55/376.84 c #Conflicts: 467000 | #Constraints: 22710
375.55/376.84 c #Conflicts: 468000 | #Constraints: 23710
375.55/376.84 c #Conflicts: 469000 | #Constraints: 24710
375.55/376.84 c #Conflicts: 470000 | #Constraints: 25710
375.55/376.84 c #Conflicts: 471000 | #Constraints: 26710
375.55/376.84 c #Conflicts: 472000 | #Constraints: 27710
375.55/376.84 c #Conflicts: 473000 | #Constraints: 28710
375.55/376.84 c #Conflicts: 474000 | #Constraints: 29710
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 475000 | #Constraints: 17117
375.55/376.84 c #Conflicts: 476000 | #Constraints: 18117
375.55/376.84 c #Conflicts: 477000 | #Constraints: 19117
375.55/376.84 c #Conflicts: 478000 | #Constraints: 20117
375.55/376.84 c #Conflicts: 479000 | #Constraints: 21117
375.55/376.84 c #Conflicts: 480000 | #Constraints: 22117
375.55/376.84 c #Conflicts: 481000 | #Constraints: 23117
375.55/376.84 c #Conflicts: 482000 | #Constraints: 24117
375.55/376.84 c #Conflicts: 483000 | #Constraints: 25117
375.55/376.84 c #Conflicts: 484000 | #Constraints: 26117
375.55/376.84 c #Conflicts: 485000 | #Constraints: 27117
375.55/376.84 c #Conflicts: 486000 | #Constraints: 28117
375.55/376.84 c #Conflicts: 487000 | #Constraints: 29117
375.55/376.84 c #Conflicts: 488000 | #Constraints: 30117
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 489000 | #Constraints: 17305
375.55/376.84 c #Conflicts: 490000 | #Constraints: 18305
375.55/376.84 c #Conflicts: 491000 | #Constraints: 19305
375.55/376.84 c #Conflicts: 492000 | #Constraints: 20305
375.55/376.84 c #Conflicts: 493000 | #Constraints: 21305
375.55/376.84 c #Conflicts: 494000 | #Constraints: 22305
375.55/376.84 c #Conflicts: 495000 | #Constraints: 23305
375.55/376.84 c #Conflicts: 496000 | #Constraints: 24305
375.55/376.84 c #Conflicts: 497000 | #Constraints: 25305
375.55/376.84 c #Conflicts: 498000 | #Constraints: 26305
375.55/376.84 c #Conflicts: 499000 | #Constraints: 27305
375.55/376.84 c #Conflicts: 500000 | #Constraints: 28305
375.55/376.84 c #Conflicts: 501000 | #Constraints: 29305
375.55/376.84 c #Conflicts: 502000 | #Constraints: 30305
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 503000 | #Constraints: 17387
375.55/376.84 c #Conflicts: 504000 | #Constraints: 18387
375.55/376.84 c #Conflicts: 505000 | #Constraints: 19387
375.55/376.84 c #Conflicts: 506000 | #Constraints: 20387
375.55/376.84 c #Conflicts: 507000 | #Constraints: 21387
375.55/376.84 c #Conflicts: 508000 | #Constraints: 22387
375.55/376.84 c #Conflicts: 509000 | #Constraints: 23387
375.55/376.84 c #Conflicts: 510000 | #Constraints: 24387
375.55/376.84 c #Conflicts: 511000 | #Constraints: 25387
375.55/376.84 c #Conflicts: 512000 | #Constraints: 26387
375.55/376.84 c #Conflicts: 513000 | #Constraints: 27387
375.55/376.84 c #Conflicts: 514000 | #Constraints: 28387
375.55/376.84 c #Conflicts: 515000 | #Constraints: 29387
375.55/376.84 c #Conflicts: 516000 | #Constraints: 30387
375.55/376.84 c INPROCESSING
375.55/376.84 c GARBAGE COLLECT
375.55/376.84 c #Conflicts: 517000 | #Constraints: 17157
375.55/376.84 c #Conflicts: 518000 | #Constraints: 18157
375.55/376.84 c #Conflicts: 519000 | #Constraints: 19157
375.55/376.84 c #Conflicts: 520000 | #Constraints: 20157
375.55/376.84 c #Conflicts: 521000 | #Constraints: 21157
461.15/462.77 c #Conflicts: 522000 | #Constraints: 22157
461.15/462.77 c #Conflicts: 523000 | #Constraints: 23157
461.15/462.77 c #Conflicts: 524000 | #Constraints: 24157
461.15/462.77 c #Conflicts: 525000 | #Constraints: 25157
461.15/462.77 c #Conflicts: 526000 | #Constraints: 26157
461.15/462.77 c #Conflicts: 527000 | #Constraints: 27157
461.15/462.77 c #Conflicts: 528000 | #Constraints: 28157
461.15/462.77 c #Conflicts: 529000 | #Constraints: 29157
461.15/462.77 c #Conflicts: 530000 | #Constraints: 30157
461.15/462.77 c #Conflicts: 531000 | #Constraints: 31157
461.15/462.77 c INPROCESSING
461.15/462.77 c GARBAGE COLLECT
461.15/462.77 c #Conflicts: 532000 | #Constraints: 17715
461.15/462.77 c #Conflicts: 533000 | #Constraints: 18715
461.15/462.77 c #Conflicts: 534000 | #Constraints: 19715
461.15/462.77 c #Conflicts: 535000 | #Constraints: 20715
461.15/462.77 c #Conflicts: 536000 | #Constraints: 21715
461.15/462.77 c #Conflicts: 537000 | #Constraints: 22715
461.15/462.77 c #Conflicts: 538000 | #Constraints: 23715
461.15/462.77 c #Conflicts: 539000 | #Constraints: 24715
461.15/462.77 c #Conflicts: 540000 | #Constraints: 25715
461.15/462.77 c #Conflicts: 541000 | #Constraints: 26715
461.15/462.77 c #Conflicts: 542000 | #Constraints: 27715
461.15/462.77 c #Conflicts: 543000 | #Constraints: 28715
461.15/462.77 c #Conflicts: 544000 | #Constraints: 29715
461.15/462.77 c #Conflicts: 545000 | #Constraints: 30715
461.15/462.77 c #Conflicts: 546000 | #Constraints: 31715
461.15/462.77 c INPROCESSING
461.15/462.77 c GARBAGE COLLECT
461.15/462.77 c #Conflicts: 547000 | #Constraints: 18118
461.15/462.77 c #Conflicts: 548000 | #Constraints: 19118
461.15/462.77 c #Conflicts: 549000 | #Constraints: 20118
461.15/462.77 c #Conflicts: 550000 | #Constraints: 21118
461.15/462.77 c #Conflicts: 551000 | #Constraints: 22118
461.15/462.77 c #Conflicts: 552000 | #Constraints: 23118
461.15/462.77 c #Conflicts: 553000 | #Constraints: 24118
461.15/462.77 c #Conflicts: 554000 | #Constraints: 25118
461.15/462.77 c #Conflicts: 555000 | #Constraints: 26118
461.15/462.77 c #Conflicts: 556000 | #Constraints: 27118
461.15/462.77 c #Conflicts: 557000 | #Constraints: 28118
461.15/462.77 c #Conflicts: 558000 | #Constraints: 29118
461.15/462.77 c #Conflicts: 559000 | #Constraints: 30118
461.15/462.77 c #Conflicts: 560000 | #Constraints: 31118
461.15/462.77 c #Conflicts: 561000 | #Constraints: 32118
461.15/462.77 c INPROCESSING
461.15/462.77 c GARBAGE COLLECT
461.15/462.77 c #Conflicts: 562000 | #Constraints: 18321
461.15/462.77 c #Conflicts: 563000 | #Constraints: 19321
461.15/462.77 c #Conflicts: 564000 | #Constraints: 20321
461.15/462.77 c #Conflicts: 565000 | #Constraints: 21321
461.15/462.77 c #Conflicts: 566000 | #Constraints: 22321
461.15/462.77 c #Conflicts: 567000 | #Constraints: 23321
461.15/462.77 c #Conflicts: 568000 | #Constraints: 24321
461.15/462.77 c #Conflicts: 569000 | #Constraints: 25321
461.15/462.77 c #Conflicts: 570000 | #Constraints: 26321
461.15/462.77 c #Conflicts: 571000 | #Constraints: 27321
461.15/462.77 c #Conflicts: 572000 | #Constraints: 28321
461.15/462.77 c #Conflicts: 573000 | #Constraints: 29321
461.15/462.77 c #Conflicts: 574000 | #Constraints: 30321
461.15/462.77 c #Conflicts: 575000 | #Constraints: 31321
461.15/462.77 c #Conflicts: 576000 | #Constraints: 32321
461.15/462.77 c INPROCESSING
461.15/462.77 c GARBAGE COLLECT
461.15/462.77 c #Conflicts: 577000 | #Constraints: 18309
461.15/462.77 c #Conflicts: 578000 | #Constraints: 19309
461.15/462.77 c #Conflicts: 579000 | #Constraints: 20309
461.15/462.77 c #Conflicts: 580000 | #Constraints: 21309
461.15/462.77 c #Conflicts: 581000 | #Constraints: 22309
461.15/462.77 c #Conflicts: 582000 | #Constraints: 23309
461.15/462.77 c #Conflicts: 583000 | #Constraints: 24309
461.15/462.77 c #Conflicts: 584000 | #Constraints: 25309
461.15/462.77 c #Conflicts: 585000 | #Constraints: 26309
461.15/462.77 c #Conflicts: 586000 | #Constraints: 27309
461.15/462.77 c #Conflicts: 587000 | #Constraints: 28309
461.15/462.77 c #Conflicts: 588000 | #Constraints: 29309
461.15/462.77 c #Conflicts: 589000 | #Constraints: 30309
461.15/462.77 c #Conflicts: 590000 | #Constraints: 31309
461.15/462.77 c #Conflicts: 591000 | #Constraints: 32309
461.15/462.77 c INPROCESSING
461.15/462.77 c GARBAGE COLLECT
461.15/462.77 c #Conflicts: 592000 | #Constraints: 18111
461.15/462.77 c #Conflicts: 593000 | #Constraints: 19111
461.15/462.77 c #Conflicts: 594000 | #Constraints: 20111
461.15/462.77 c #Conflicts: 595000 | #Constraints: 21111
461.15/462.77 c #Conflicts: 596000 | #Constraints: 22111
461.15/462.77 c #Conflicts: 597000 | #Constraints: 23111
559.73/561.66 c #Conflicts: 598000 | #Constraints: 24111
559.73/561.66 c #Conflicts: 599000 | #Constraints: 25111
559.73/561.66 c #Conflicts: 600000 | #Constraints: 26111
559.73/561.66 c #Conflicts: 601000 | #Constraints: 27111
559.73/561.66 c #Conflicts: 602000 | #Constraints: 28111
559.73/561.66 c #Conflicts: 603000 | #Constraints: 29111
559.73/561.66 c #Conflicts: 604000 | #Constraints: 30111
559.73/561.66 c #Conflicts: 605000 | #Constraints: 31111
559.73/561.66 c #Conflicts: 606000 | #Constraints: 32111
559.73/561.66 c #Conflicts: 607000 | #Constraints: 33111
559.73/561.66 c INPROCESSING
559.73/561.66 c GARBAGE COLLECT
559.73/561.66 c #Conflicts: 608000 | #Constraints: 18740
559.73/561.66 c #Conflicts: 609000 | #Constraints: 19740
559.73/561.66 c #Conflicts: 610000 | #Constraints: 20740
559.73/561.66 c #Conflicts: 611000 | #Constraints: 21740
559.73/561.66 c #Conflicts: 612000 | #Constraints: 22740
559.73/561.66 c #Conflicts: 613000 | #Constraints: 23740
559.73/561.66 c #Conflicts: 614000 | #Constraints: 24740
559.73/561.66 c #Conflicts: 615000 | #Constraints: 25740
559.73/561.66 c #Conflicts: 616000 | #Constraints: 26740
559.73/561.66 c #Conflicts: 617000 | #Constraints: 27740
559.73/561.66 c #Conflicts: 618000 | #Constraints: 28740
559.73/561.66 c #Conflicts: 619000 | #Constraints: 29740
559.73/561.66 c #Conflicts: 620000 | #Constraints: 30740
559.73/561.66 c #Conflicts: 621000 | #Constraints: 31740
559.73/561.66 c #Conflicts: 622000 | #Constraints: 32740
559.73/561.66 c #Conflicts: 623000 | #Constraints: 33740
559.73/561.66 c INPROCESSING
559.73/561.66 c GARBAGE COLLECT
559.73/561.66 c #Conflicts: 624000 | #Constraints: 19134
559.73/561.66 c #Conflicts: 625000 | #Constraints: 20134
559.73/561.66 c #Conflicts: 626000 | #Constraints: 21134
559.73/561.66 c #Conflicts: 627000 | #Constraints: 22134
559.73/561.66 c #Conflicts: 628000 | #Constraints: 23134
559.73/561.66 c #Conflicts: 629000 | #Constraints: 24134
559.73/561.66 c #Conflicts: 630000 | #Constraints: 25134
559.73/561.66 c #Conflicts: 631000 | #Constraints: 26134
559.73/561.66 c #Conflicts: 632000 | #Constraints: 27134
559.73/561.66 c #Conflicts: 633000 | #Constraints: 28134
559.73/561.66 c #Conflicts: 634000 | #Constraints: 29134
559.73/561.66 c #Conflicts: 635000 | #Constraints: 30134
559.73/561.66 c #Conflicts: 636000 | #Constraints: 31134
559.73/561.66 c #Conflicts: 637000 | #Constraints: 32134
559.73/561.66 c #Conflicts: 638000 | #Constraints: 33134
559.73/561.66 c #Conflicts: 639000 | #Constraints: 34134
559.73/561.66 c INPROCESSING
559.73/561.66 c GARBAGE COLLECT
559.73/561.66 c #Conflicts: 640000 | #Constraints: 19348
559.73/561.66 c #Conflicts: 641000 | #Constraints: 20348
559.73/561.66 c #Conflicts: 642000 | #Constraints: 21348
559.73/561.66 c #Conflicts: 643000 | #Constraints: 22348
559.73/561.66 c #Conflicts: 644000 | #Constraints: 23348
559.73/561.66 c #Conflicts: 645000 | #Constraints: 24348
559.73/561.66 c #Conflicts: 646000 | #Constraints: 25348
559.73/561.66 c #Conflicts: 647000 | #Constraints: 26348
559.73/561.66 c #Conflicts: 648000 | #Constraints: 27348
559.73/561.66 c #Conflicts: 649000 | #Constraints: 28348
559.73/561.66 c #Conflicts: 650000 | #Constraints: 29348
559.73/561.66 c #Conflicts: 651000 | #Constraints: 30348
559.73/561.66 c #Conflicts: 652000 | #Constraints: 31348
559.73/561.66 c #Conflicts: 653000 | #Constraints: 32348
559.73/561.66 c #Conflicts: 654000 | #Constraints: 33348
559.73/561.66 c #Conflicts: 655000 | #Constraints: 34348
559.73/561.66 c INPROCESSING
559.73/561.66 c GARBAGE COLLECT
559.73/561.66 c #Conflicts: 656000 | #Constraints: 19322
559.73/561.66 c #Conflicts: 657000 | #Constraints: 20322
559.73/561.66 c #Conflicts: 658000 | #Constraints: 21322
559.73/561.66 c #Conflicts: 659000 | #Constraints: 22322
559.73/561.66 c #Conflicts: 660000 | #Constraints: 23322
559.73/561.66 c #Conflicts: 661000 | #Constraints: 24322
559.73/561.66 c #Conflicts: 662000 | #Constraints: 25322
559.73/561.66 c #Conflicts: 663000 | #Constraints: 26322
559.73/561.66 c #Conflicts: 664000 | #Constraints: 27322
559.73/561.66 c #Conflicts: 665000 | #Constraints: 28322
559.73/561.66 c #Conflicts: 666000 | #Constraints: 29322
559.73/561.66 c #Conflicts: 667000 | #Constraints: 30322
559.73/561.66 c #Conflicts: 668000 | #Constraints: 31322
559.73/561.66 c #Conflicts: 669000 | #Constraints: 32322
559.73/561.66 c #Conflicts: 670000 | #Constraints: 33322
559.73/561.66 c #Conflicts: 671000 | #Constraints: 34322
559.73/561.66 c INPROCESSING
559.73/561.66 c GARBAGE COLLECT
559.73/561.66 c #Conflicts: 672000 | #Constraints: 19132
657.60/659.80 c #Conflicts: 673000 | #Constraints: 20132
657.60/659.80 c #Conflicts: 674000 | #Constraints: 21132
657.60/659.80 c #Conflicts: 675000 | #Constraints: 22132
657.60/659.80 c #Conflicts: 676000 | #Constraints: 23132
657.60/659.80 c #Conflicts: 677000 | #Constraints: 24132
657.60/659.80 c #Conflicts: 678000 | #Constraints: 25132
657.60/659.80 c #Conflicts: 679000 | #Constraints: 26132
657.60/659.80 c #Conflicts: 680000 | #Constraints: 27132
657.60/659.80 c #Conflicts: 681000 | #Constraints: 28132
657.60/659.80 c #Conflicts: 682000 | #Constraints: 29132
657.60/659.80 c #Conflicts: 683000 | #Constraints: 30132
657.60/659.80 c #Conflicts: 684000 | #Constraints: 31132
657.60/659.80 c #Conflicts: 685000 | #Constraints: 32132
657.60/659.80 c #Conflicts: 686000 | #Constraints: 33132
657.60/659.80 c #Conflicts: 687000 | #Constraints: 34132
657.60/659.80 c #Conflicts: 688000 | #Constraints: 35132
657.60/659.80 c INPROCESSING
657.60/659.80 c GARBAGE COLLECT
657.60/659.80 c #Conflicts: 689000 | #Constraints: 19719
657.60/659.80 c #Conflicts: 690000 | #Constraints: 20719
657.60/659.80 c #Conflicts: 691000 | #Constraints: 21719
657.60/659.80 c #Conflicts: 692000 | #Constraints: 22719
657.60/659.80 c #Conflicts: 693000 | #Constraints: 23719
657.60/659.80 c #Conflicts: 694000 | #Constraints: 24719
657.60/659.80 c #Conflicts: 695000 | #Constraints: 25719
657.60/659.80 c #Conflicts: 696000 | #Constraints: 26719
657.60/659.80 c #Conflicts: 697000 | #Constraints: 27719
657.60/659.80 c #Conflicts: 698000 | #Constraints: 28719
657.60/659.80 c #Conflicts: 699000 | #Constraints: 29719
657.60/659.80 c #Conflicts: 700000 | #Constraints: 30719
657.60/659.80 c #Conflicts: 701000 | #Constraints: 31719
657.60/659.80 c #Conflicts: 702000 | #Constraints: 32719
657.60/659.80 c #Conflicts: 703000 | #Constraints: 33719
657.60/659.80 c #Conflicts: 704000 | #Constraints: 34719
657.60/659.80 c #Conflicts: 705000 | #Constraints: 35719
657.60/659.80 c INPROCESSING
657.60/659.80 c GARBAGE COLLECT
657.60/659.80 c #Conflicts: 706000 | #Constraints: 20112
657.60/659.80 c #Conflicts: 707000 | #Constraints: 21112
657.60/659.80 c #Conflicts: 708000 | #Constraints: 22112
657.60/659.80 c #Conflicts: 709000 | #Constraints: 23112
657.60/659.80 c #Conflicts: 710000 | #Constraints: 24112
657.60/659.80 c #Conflicts: 711000 | #Constraints: 25112
657.60/659.80 c #Conflicts: 712000 | #Constraints: 26112
657.60/659.80 c #Conflicts: 713000 | #Constraints: 27112
657.60/659.80 c #Conflicts: 714000 | #Constraints: 28112
657.60/659.80 c #Conflicts: 715000 | #Constraints: 29112
657.60/659.80 c #Conflicts: 716000 | #Constraints: 30112
657.60/659.80 c #Conflicts: 717000 | #Constraints: 31112
657.60/659.80 c #Conflicts: 718000 | #Constraints: 32112
657.60/659.80 c #Conflicts: 719000 | #Constraints: 33112
657.60/659.80 c #Conflicts: 720000 | #Constraints: 34112
657.60/659.80 c #Conflicts: 721000 | #Constraints: 35112
657.60/659.80 c #Conflicts: 722000 | #Constraints: 36112
657.60/659.80 c INPROCESSING
657.60/659.80 c GARBAGE COLLECT
657.60/659.80 c #Conflicts: 723000 | #Constraints: 20319
657.60/659.80 c #Conflicts: 724000 | #Constraints: 21319
657.60/659.80 c #Conflicts: 725000 | #Constraints: 22319
657.60/659.80 c #Conflicts: 726000 | #Constraints: 23319
657.60/659.80 c #Conflicts: 727000 | #Constraints: 24319
657.60/659.80 c #Conflicts: 728000 | #Constraints: 25319
657.60/659.80 c #Conflicts: 729000 | #Constraints: 26319
657.60/659.80 c #Conflicts: 730000 | #Constraints: 27319
657.60/659.80 c #Conflicts: 731000 | #Constraints: 28319
657.60/659.80 c #Conflicts: 732000 | #Constraints: 29319
657.60/659.80 c #Conflicts: 733000 | #Constraints: 30319
657.60/659.80 c #Conflicts: 734000 | #Constraints: 31319
657.60/659.80 c #Conflicts: 735000 | #Constraints: 32319
657.60/659.80 c #Conflicts: 736000 | #Constraints: 33319
657.60/659.80 c #Conflicts: 737000 | #Constraints: 34319
657.60/659.80 c #Conflicts: 738000 | #Constraints: 35319
657.60/659.80 c #Conflicts: 739000 | #Constraints: 36319
657.60/659.80 c INPROCESSING
657.60/659.80 c GARBAGE COLLECT
657.60/659.80 c #Conflicts: 740000 | #Constraints: 20338
657.60/659.80 c #Conflicts: 741000 | #Constraints: 21338
657.60/659.80 c #Conflicts: 742000 | #Constraints: 22338
657.60/659.80 c #Conflicts: 743000 | #Constraints: 23338
657.60/659.80 c #Conflicts: 744000 | #Constraints: 24338
657.60/659.80 c #Conflicts: 745000 | #Constraints: 25338
657.60/659.80 c #Conflicts: 746000 | #Constraints: 26338
657.60/659.80 c #Conflicts: 747000 | #Constraints: 27338
657.60/659.80 c #Conflicts: 748000 | #Constraints: 28338
772.12/774.74 c #Conflicts: 749000 | #Constraints: 29338
772.12/774.74 c #Conflicts: 750000 | #Constraints: 30338
772.12/774.74 c #Conflicts: 751000 | #Constraints: 31338
772.12/774.74 c #Conflicts: 752000 | #Constraints: 32338
772.12/774.74 c #Conflicts: 753000 | #Constraints: 33338
772.12/774.74 c #Conflicts: 754000 | #Constraints: 34338
772.12/774.74 c #Conflicts: 755000 | #Constraints: 35338
772.12/774.74 c #Conflicts: 756000 | #Constraints: 36338
772.12/774.74 c INPROCESSING
772.12/774.74 c GARBAGE COLLECT
772.12/774.74 c #Conflicts: 757000 | #Constraints: 20116
772.12/774.74 c #Conflicts: 758000 | #Constraints: 21116
772.12/774.74 c #Conflicts: 759000 | #Constraints: 22116
772.12/774.74 c #Conflicts: 760000 | #Constraints: 23116
772.12/774.74 c #Conflicts: 761000 | #Constraints: 24116
772.12/774.74 c #Conflicts: 762000 | #Constraints: 25116
772.12/774.74 c #Conflicts: 763000 | #Constraints: 26116
772.12/774.74 c #Conflicts: 764000 | #Constraints: 27116
772.12/774.74 c #Conflicts: 765000 | #Constraints: 28116
772.12/774.74 c #Conflicts: 766000 | #Constraints: 29116
772.12/774.74 c #Conflicts: 767000 | #Constraints: 30116
772.12/774.74 c #Conflicts: 768000 | #Constraints: 31116
772.12/774.74 c #Conflicts: 769000 | #Constraints: 32116
772.12/774.74 c #Conflicts: 770000 | #Constraints: 33116
772.12/774.74 c #Conflicts: 771000 | #Constraints: 34116
772.12/774.74 c #Conflicts: 772000 | #Constraints: 35116
772.12/774.74 c #Conflicts: 773000 | #Constraints: 36116
772.12/774.74 c #Conflicts: 774000 | #Constraints: 37116
772.12/774.74 c INPROCESSING
772.12/774.74 c GARBAGE COLLECT
772.12/774.74 c #Conflicts: 775000 | #Constraints: 20714
772.12/774.74 c #Conflicts: 776000 | #Constraints: 21714
772.12/774.74 c #Conflicts: 777000 | #Constraints: 22714
772.12/774.74 c #Conflicts: 778000 | #Constraints: 23714
772.12/774.74 c #Conflicts: 779000 | #Constraints: 24714
772.12/774.74 c #Conflicts: 780000 | #Constraints: 25714
772.12/774.74 c #Conflicts: 781000 | #Constraints: 26714
772.12/774.74 c #Conflicts: 782000 | #Constraints: 27714
772.12/774.74 c #Conflicts: 783000 | #Constraints: 28714
772.12/774.74 c #Conflicts: 784000 | #Constraints: 29714
772.12/774.74 c #Conflicts: 785000 | #Constraints: 30714
772.12/774.74 c #Conflicts: 786000 | #Constraints: 31714
772.12/774.74 c #Conflicts: 787000 | #Constraints: 32714
772.12/774.74 c #Conflicts: 788000 | #Constraints: 33714
772.12/774.74 c #Conflicts: 789000 | #Constraints: 34714
772.12/774.74 c #Conflicts: 790000 | #Constraints: 35714
772.12/774.74 c #Conflicts: 791000 | #Constraints: 36714
772.12/774.74 c #Conflicts: 792000 | #Constraints: 37714
772.12/774.74 c INPROCESSING
772.12/774.74 c GARBAGE COLLECT
772.12/774.74 c #Conflicts: 793000 | #Constraints: 21149
772.12/774.74 c #Conflicts: 794000 | #Constraints: 22149
772.12/774.74 c #Conflicts: 795000 | #Constraints: 23149
772.12/774.74 c #Conflicts: 796000 | #Constraints: 24149
772.12/774.74 c #Conflicts: 797000 | #Constraints: 25149
772.12/774.74 c #Conflicts: 798000 | #Constraints: 26149
772.12/774.74 c #Conflicts: 799000 | #Constraints: 27149
772.12/774.74 c #Conflicts: 800000 | #Constraints: 28149
772.12/774.74 c #Conflicts: 801000 | #Constraints: 29149
772.12/774.74 c #Conflicts: 802000 | #Constraints: 30149
772.12/774.74 c #Conflicts: 803000 | #Constraints: 31149
772.12/774.74 c #Conflicts: 804000 | #Constraints: 32149
772.12/774.74 c #Conflicts: 805000 | #Constraints: 33149
772.12/774.74 c #Conflicts: 806000 | #Constraints: 34149
772.12/774.74 c #Conflicts: 807000 | #Constraints: 35149
772.12/774.74 c #Conflicts: 808000 | #Constraints: 36149
772.12/774.74 c #Conflicts: 809000 | #Constraints: 37149
772.12/774.74 c #Conflicts: 810000 | #Constraints: 38149
772.12/774.74 c INPROCESSING
772.12/774.74 c GARBAGE COLLECT
772.12/774.74 c #Conflicts: 811000 | #Constraints: 21327
772.12/774.74 c #Conflicts: 812000 | #Constraints: 22327
772.12/774.74 c #Conflicts: 813000 | #Constraints: 23327
772.12/774.74 c #Conflicts: 814000 | #Constraints: 24327
772.12/774.74 c #Conflicts: 815000 | #Constraints: 25327
772.12/774.74 c #Conflicts: 816000 | #Constraints: 26327
772.12/774.74 c #Conflicts: 817000 | #Constraints: 27327
772.12/774.74 c #Conflicts: 818000 | #Constraints: 28327
772.12/774.74 c #Conflicts: 819000 | #Constraints: 29327
772.12/774.74 c #Conflicts: 820000 | #Constraints: 30327
772.12/774.74 c #Conflicts: 821000 | #Constraints: 31327
772.12/774.74 c #Conflicts: 822000 | #Constraints: 32327
772.12/774.74 c #Conflicts: 823000 | #Constraints: 33327
772.12/774.74 c #Conflicts: 824000 | #Constraints: 34327
772.12/774.74 c #Conflicts: 825000 | #Constraints: 35327
892.22/895.27 c #Conflicts: 826000 | #Constraints: 36327
892.22/895.27 c #Conflicts: 827000 | #Constraints: 37327
892.22/895.27 c #Conflicts: 828000 | #Constraints: 38327
892.22/895.27 c INPROCESSING
892.22/895.27 c GARBAGE COLLECT
892.22/895.27 c #Conflicts: 829000 | #Constraints: 21313
892.22/895.27 c #Conflicts: 830000 | #Constraints: 22313
892.22/895.27 c #Conflicts: 831000 | #Constraints: 23313
892.22/895.27 c #Conflicts: 832000 | #Constraints: 24313
892.22/895.27 c #Conflicts: 833000 | #Constraints: 25313
892.22/895.27 c #Conflicts: 834000 | #Constraints: 26313
892.22/895.27 c #Conflicts: 835000 | #Constraints: 27313
892.22/895.27 c #Conflicts: 836000 | #Constraints: 28313
892.22/895.27 c #Conflicts: 837000 | #Constraints: 29313
892.22/895.27 c #Conflicts: 838000 | #Constraints: 30313
892.22/895.27 c #Conflicts: 839000 | #Constraints: 31313
892.22/895.27 c #Conflicts: 840000 | #Constraints: 32313
892.22/895.27 c #Conflicts: 841000 | #Constraints: 33313
892.22/895.27 c #Conflicts: 842000 | #Constraints: 34313
892.22/895.27 c #Conflicts: 843000 | #Constraints: 35313
892.22/895.27 c #Conflicts: 844000 | #Constraints: 36313
892.22/895.27 c #Conflicts: 845000 | #Constraints: 37313
892.22/895.27 c #Conflicts: 846000 | #Constraints: 38313
892.22/895.27 c INPROCESSING
892.22/895.27 c GARBAGE COLLECT
892.22/895.27 c #Conflicts: 847000 | #Constraints: 21122
892.22/895.27 c #Conflicts: 848000 | #Constraints: 22122
892.22/895.27 c #Conflicts: 849000 | #Constraints: 23122
892.22/895.27 c #Conflicts: 850000 | #Constraints: 24122
892.22/895.27 c #Conflicts: 851000 | #Constraints: 25122
892.22/895.27 c #Conflicts: 852000 | #Constraints: 26122
892.22/895.27 c #Conflicts: 853000 | #Constraints: 27122
892.22/895.27 c #Conflicts: 854000 | #Constraints: 28122
892.22/895.27 c #Conflicts: 855000 | #Constraints: 29122
892.22/895.27 c #Conflicts: 856000 | #Constraints: 30122
892.22/895.27 c #Conflicts: 857000 | #Constraints: 31122
892.22/895.27 c #Conflicts: 858000 | #Constraints: 32122
892.22/895.27 c #Conflicts: 859000 | #Constraints: 33122
892.22/895.27 c #Conflicts: 860000 | #Constraints: 34122
892.22/895.27 c #Conflicts: 861000 | #Constraints: 35122
892.22/895.27 c #Conflicts: 862000 | #Constraints: 36122
892.22/895.27 c #Conflicts: 863000 | #Constraints: 37122
892.22/895.27 c #Conflicts: 864000 | #Constraints: 38122
892.22/895.27 c #Conflicts: 865000 | #Constraints: 39122
892.22/895.27 c INPROCESSING
892.22/895.27 c GARBAGE COLLECT
892.22/895.27 c #Conflicts: 866000 | #Constraints: 21734
892.22/895.27 c #Conflicts: 867000 | #Constraints: 22734
892.22/895.27 c #Conflicts: 868000 | #Constraints: 23734
892.22/895.27 c #Conflicts: 869000 | #Constraints: 24734
892.22/895.27 c #Conflicts: 870000 | #Constraints: 25734
892.22/895.27 c #Conflicts: 871000 | #Constraints: 26734
892.22/895.27 c #Conflicts: 872000 | #Constraints: 27734
892.22/895.27 c #Conflicts: 873000 | #Constraints: 28734
892.22/895.27 c #Conflicts: 874000 | #Constraints: 29734
892.22/895.27 c #Conflicts: 875000 | #Constraints: 30734
892.22/895.27 c #Conflicts: 876000 | #Constraints: 31734
892.22/895.27 c #Conflicts: 877000 | #Constraints: 32734
892.22/895.27 c #Conflicts: 878000 | #Constraints: 33734
892.22/895.27 c #Conflicts: 879000 | #Constraints: 34734
892.22/895.27 c #Conflicts: 880000 | #Constraints: 35734
892.22/895.27 c #Conflicts: 881000 | #Constraints: 36734
892.22/895.27 c #Conflicts: 882000 | #Constraints: 37734
892.22/895.27 c #Conflicts: 883000 | #Constraints: 38734
892.22/895.27 c #Conflicts: 884000 | #Constraints: 39734
892.22/895.27 c INPROCESSING
892.22/895.27 c GARBAGE COLLECT
892.22/895.27 c #Conflicts: 885000 | #Constraints: 22149
892.22/895.27 c #Conflicts: 886000 | #Constraints: 23149
892.22/895.27 c #Conflicts: 887000 | #Constraints: 24149
892.22/895.27 c #Conflicts: 888000 | #Constraints: 25149
892.22/895.27 c #Conflicts: 889000 | #Constraints: 26149
892.22/895.27 c #Conflicts: 890000 | #Constraints: 27149
892.22/895.27 c #Conflicts: 891000 | #Constraints: 28149
892.22/895.27 c #Conflicts: 892000 | #Constraints: 29149
892.22/895.27 c #Conflicts: 893000 | #Constraints: 30149
892.22/895.27 c #Conflicts: 894000 | #Constraints: 31149
892.22/895.27 c #Conflicts: 895000 | #Constraints: 32149
892.22/895.27 c #Conflicts: 896000 | #Constraints: 33149
892.22/895.27 c #Conflicts: 897000 | #Constraints: 34149
892.22/895.27 c #Conflicts: 898000 | #Constraints: 35149
892.22/895.27 c #Conflicts: 899000 | #Constraints: 36149
892.22/895.27 c #Conflicts: 900000 | #Constraints: 37149
892.22/895.27 c #Conflicts: 901000 | #Constraints: 38149
1023.78/1027.22 c #Conflicts: 902000 | #Constraints: 39149
1023.78/1027.22 c #Conflicts: 903000 | #Constraints: 40149
1023.78/1027.22 c INPROCESSING
1023.78/1027.22 c GARBAGE COLLECT
1023.78/1027.22 c #Conflicts: 904000 | #Constraints: 22354
1023.78/1027.22 c #Conflicts: 905000 | #Constraints: 23354
1023.78/1027.22 c #Conflicts: 906000 | #Constraints: 24354
1023.78/1027.22 c #Conflicts: 907000 | #Constraints: 25354
1023.78/1027.22 c #Conflicts: 908000 | #Constraints: 26354
1023.78/1027.22 c #Conflicts: 909000 | #Constraints: 27354
1023.78/1027.22 c #Conflicts: 910000 | #Constraints: 28354
1023.78/1027.22 c #Conflicts: 911000 | #Constraints: 29354
1023.78/1027.22 c #Conflicts: 912000 | #Constraints: 30354
1023.78/1027.22 c #Conflicts: 913000 | #Constraints: 31354
1023.78/1027.22 c #Conflicts: 914000 | #Constraints: 32354
1023.78/1027.22 c #Conflicts: 915000 | #Constraints: 33354
1023.78/1027.22 c #Conflicts: 916000 | #Constraints: 34354
1023.78/1027.22 c #Conflicts: 917000 | #Constraints: 35354
1023.78/1027.22 c #Conflicts: 918000 | #Constraints: 36354
1023.78/1027.22 c #Conflicts: 919000 | #Constraints: 37354
1023.78/1027.22 c #Conflicts: 920000 | #Constraints: 38354
1023.78/1027.22 c #Conflicts: 921000 | #Constraints: 39354
1023.78/1027.22 c #Conflicts: 922000 | #Constraints: 40354
1023.78/1027.22 c INPROCESSING
1023.78/1027.22 c GARBAGE COLLECT
1023.78/1027.22 c #Conflicts: 923000 | #Constraints: 22335
1023.78/1027.22 c #Conflicts: 924000 | #Constraints: 23335
1023.78/1027.22 c #Conflicts: 925000 | #Constraints: 24335
1023.78/1027.22 c #Conflicts: 926000 | #Constraints: 25335
1023.78/1027.22 c #Conflicts: 927000 | #Constraints: 26335
1023.78/1027.22 c #Conflicts: 928000 | #Constraints: 27335
1023.78/1027.22 c #Conflicts: 929000 | #Constraints: 28335
1023.78/1027.22 c #Conflicts: 930000 | #Constraints: 29335
1023.78/1027.22 c #Conflicts: 931000 | #Constraints: 30335
1023.78/1027.22 c #Conflicts: 932000 | #Constraints: 31335
1023.78/1027.22 c #Conflicts: 933000 | #Constraints: 32335
1023.78/1027.22 c #Conflicts: 934000 | #Constraints: 33335
1023.78/1027.22 c #Conflicts: 935000 | #Constraints: 34335
1023.78/1027.22 c #Conflicts: 936000 | #Constraints: 35335
1023.78/1027.22 c #Conflicts: 937000 | #Constraints: 36335
1023.78/1027.22 c #Conflicts: 938000 | #Constraints: 37335
1023.78/1027.22 c #Conflicts: 939000 | #Constraints: 38335
1023.78/1027.22 c #Conflicts: 940000 | #Constraints: 39335
1023.78/1027.22 c #Conflicts: 941000 | #Constraints: 40335
1023.78/1027.22 c INPROCESSING
1023.78/1027.22 c GARBAGE COLLECT
1023.78/1027.22 c #Conflicts: 942000 | #Constraints: 22135
1023.78/1027.22 c #Conflicts: 943000 | #Constraints: 23135
1023.78/1027.22 c #Conflicts: 944000 | #Constraints: 24135
1023.78/1027.22 c #Conflicts: 945000 | #Constraints: 25135
1023.78/1027.22 c #Conflicts: 946000 | #Constraints: 26135
1023.78/1027.22 c #Conflicts: 947000 | #Constraints: 27135
1023.78/1027.22 c #Conflicts: 948000 | #Constraints: 28135
1023.78/1027.22 c #Conflicts: 949000 | #Constraints: 29135
1023.78/1027.22 c #Conflicts: 950000 | #Constraints: 30135
1023.78/1027.22 c #Conflicts: 951000 | #Constraints: 31135
1023.78/1027.22 c #Conflicts: 952000 | #Constraints: 32135
1023.78/1027.22 c #Conflicts: 953000 | #Constraints: 33135
1023.78/1027.22 c #Conflicts: 954000 | #Constraints: 34135
1023.78/1027.22 c #Conflicts: 955000 | #Constraints: 35135
1023.78/1027.22 c #Conflicts: 956000 | #Constraints: 36135
1023.78/1027.22 c #Conflicts: 957000 | #Constraints: 37135
1023.78/1027.22 c #Conflicts: 958000 | #Constraints: 38135
1023.78/1027.22 c #Conflicts: 959000 | #Constraints: 39135
1023.78/1027.22 c #Conflicts: 960000 | #Constraints: 40135
1023.78/1027.22 c #Conflicts: 961000 | #Constraints: 41135
1023.78/1027.22 c INPROCESSING
1023.78/1027.22 c GARBAGE COLLECT
1023.78/1027.22 c #Conflicts: 962000 | #Constraints: 22738
1023.78/1027.22 c #Conflicts: 963000 | #Constraints: 23738
1023.78/1027.22 c #Conflicts: 964000 | #Constraints: 24738
1023.78/1027.22 c #Conflicts: 965000 | #Constraints: 25738
1023.78/1027.22 c #Conflicts: 966000 | #Constraints: 26738
1023.78/1027.22 c #Conflicts: 967000 | #Constraints: 27738
1023.78/1027.22 c #Conflicts: 968000 | #Constraints: 28738
1023.78/1027.22 c #Conflicts: 969000 | #Constraints: 29738
1023.78/1027.22 c #Conflicts: 970000 | #Constraints: 30738
1023.78/1027.22 c #Conflicts: 971000 | #Constraints: 31738
1023.78/1027.22 c #Conflicts: 972000 | #Constraints: 32738
1023.78/1027.22 c #Conflicts: 973000 | #Constraints: 33738
1023.78/1027.22 c #Conflicts: 974000 | #Constraints: 34738
1023.78/1027.22 c #Conflicts: 975000 | #Constraints: 35738
1023.78/1027.22 c #Conflicts: 976000 | #Constraints: 36738
1023.78/1027.22 c #Conflicts: 977000 | #Constraints: 37738
1171.80/1175.76 c #Conflicts: 978000 | #Constraints: 38738
1171.80/1175.76 c #Conflicts: 979000 | #Constraints: 39738
1171.80/1175.76 c #Conflicts: 980000 | #Constraints: 40738
1171.80/1175.76 c #Conflicts: 981000 | #Constraints: 41738
1171.80/1175.76 c INPROCESSING
1171.80/1175.76 c GARBAGE COLLECT
1171.80/1175.76 c #Conflicts: 982000 | #Constraints: 23162
1171.80/1175.76 c #Conflicts: 983000 | #Constraints: 24162
1171.80/1175.76 c #Conflicts: 984000 | #Constraints: 25162
1171.80/1175.76 c #Conflicts: 985000 | #Constraints: 26162
1171.80/1175.76 c #Conflicts: 986000 | #Constraints: 27162
1171.80/1175.76 c #Conflicts: 987000 | #Constraints: 28162
1171.80/1175.76 c #Conflicts: 988000 | #Constraints: 29162
1171.80/1175.76 c #Conflicts: 989000 | #Constraints: 30162
1171.80/1175.76 c #Conflicts: 990000 | #Constraints: 31162
1171.80/1175.76 c #Conflicts: 991000 | #Constraints: 32162
1171.80/1175.76 c #Conflicts: 992000 | #Constraints: 33162
1171.80/1175.76 c #Conflicts: 993000 | #Constraints: 34162
1171.80/1175.76 c #Conflicts: 994000 | #Constraints: 35162
1171.80/1175.76 c #Conflicts: 995000 | #Constraints: 36162
1171.80/1175.76 c #Conflicts: 996000 | #Constraints: 37162
1171.80/1175.76 c #Conflicts: 997000 | #Constraints: 38162
1171.80/1175.76 c #Conflicts: 998000 | #Constraints: 39162
1171.80/1175.76 c #Conflicts: 999000 | #Constraints: 40162
1171.80/1175.76 c #Conflicts: 1000000 | #Constraints: 41162
1171.80/1175.76 c #Conflicts: 1001000 | #Constraints: 42162
1171.80/1175.76 c INPROCESSING
1171.80/1175.76 c GARBAGE COLLECT
1171.80/1175.76 c #Conflicts: 1002000 | #Constraints: 23368
1171.80/1175.76 c #Conflicts: 1003000 | #Constraints: 24368
1171.80/1175.76 c #Conflicts: 1004000 | #Constraints: 25368
1171.80/1175.76 c #Conflicts: 1005000 | #Constraints: 26368
1171.80/1175.76 c #Conflicts: 1006000 | #Constraints: 27368
1171.80/1175.76 c #Conflicts: 1007000 | #Constraints: 28368
1171.80/1175.76 c #Conflicts: 1008000 | #Constraints: 29368
1171.80/1175.76 c #Conflicts: 1009000 | #Constraints: 30368
1171.80/1175.76 c #Conflicts: 1010000 | #Constraints: 31368
1171.80/1175.76 c #Conflicts: 1011000 | #Constraints: 32368
1171.80/1175.76 c #Conflicts: 1012000 | #Constraints: 33368
1171.80/1175.76 c #Conflicts: 1013000 | #Constraints: 34368
1171.80/1175.76 c #Conflicts: 1014000 | #Constraints: 35368
1171.80/1175.76 c #Conflicts: 1015000 | #Constraints: 36368
1171.80/1175.76 c #Conflicts: 1016000 | #Constraints: 37368
1171.80/1175.76 c #Conflicts: 1017000 | #Constraints: 38368
1171.80/1175.76 c #Conflicts: 1018000 | #Constraints: 39368
1171.80/1175.76 c #Conflicts: 1019000 | #Constraints: 40368
1171.80/1175.76 c #Conflicts: 1020000 | #Constraints: 41368
1171.80/1175.76 c #Conflicts: 1021000 | #Constraints: 42368
1171.80/1175.76 c INPROCESSING
1171.80/1175.76 c GARBAGE COLLECT
1171.80/1175.76 c #Conflicts: 1022000 | #Constraints: 23393
1171.80/1175.76 c #Conflicts: 1023000 | #Constraints: 24393
1171.80/1175.76 c #Conflicts: 1024000 | #Constraints: 25393
1171.80/1175.76 c #Conflicts: 1025000 | #Constraints: 26393
1171.80/1175.76 c #Conflicts: 1026000 | #Constraints: 27393
1171.80/1175.76 c #Conflicts: 1027000 | #Constraints: 28393
1171.80/1175.76 c #Conflicts: 1028000 | #Constraints: 29393
1171.80/1175.76 c #Conflicts: 1029000 | #Constraints: 30393
1171.80/1175.76 c #Conflicts: 1030000 | #Constraints: 31393
1171.80/1175.76 c #Conflicts: 1031000 | #Constraints: 32393
1171.80/1175.76 c #Conflicts: 1032000 | #Constraints: 33393
1171.80/1175.76 c #Conflicts: 1033000 | #Constraints: 34393
1171.80/1175.76 c #Conflicts: 1034000 | #Constraints: 35393
1171.80/1175.76 c #Conflicts: 1035000 | #Constraints: 36393
1171.80/1175.76 c #Conflicts: 1036000 | #Constraints: 37393
1171.80/1175.76 c #Conflicts: 1037000 | #Constraints: 38393
1171.80/1175.76 c #Conflicts: 1038000 | #Constraints: 39393
1171.80/1175.76 c #Conflicts: 1039000 | #Constraints: 40393
1171.80/1175.76 c #Conflicts: 1040000 | #Constraints: 41393
1171.80/1175.76 c #Conflicts: 1041000 | #Constraints: 42393
1171.80/1175.76 c INPROCESSING
1171.80/1175.76 c GARBAGE COLLECT
1171.80/1175.76 c #Conflicts: 1042000 | #Constraints: 23206
1171.80/1175.76 c #Conflicts: 1043000 | #Constraints: 24206
1171.80/1175.76 c #Conflicts: 1044000 | #Constraints: 25206
1171.80/1175.76 c #Conflicts: 1045000 | #Constraints: 26206
1171.80/1175.76 c #Conflicts: 1046000 | #Constraints: 27206
1171.80/1175.76 c #Conflicts: 1047000 | #Constraints: 28206
1171.80/1175.76 c #Conflicts: 1048000 | #Constraints: 29206
1171.80/1175.76 c #Conflicts: 1049000 | #Constraints: 30206
1171.80/1175.76 c #Conflicts: 1050000 | #Constraints: 31206
1171.80/1175.76 c #Conflicts: 1051000 | #Constraints: 32206
1171.80/1175.76 c #Conflicts: 1052000 | #Constraints: 33206
1171.80/1175.76 c #Conflicts: 1053000 | #Constraints: 34206
1317.42/1321.80 c #Conflicts: 1054000 | #Constraints: 35206
1317.42/1321.80 c #Conflicts: 1055000 | #Constraints: 36206
1317.42/1321.80 c #Conflicts: 1056000 | #Constraints: 37206
1317.42/1321.80 c #Conflicts: 1057000 | #Constraints: 38206
1317.42/1321.80 c #Conflicts: 1058000 | #Constraints: 39206
1317.42/1321.80 c #Conflicts: 1059000 | #Constraints: 40206
1317.42/1321.80 c #Conflicts: 1060000 | #Constraints: 41206
1317.42/1321.80 c #Conflicts: 1061000 | #Constraints: 42206
1317.42/1321.80 c #Conflicts: 1062000 | #Constraints: 43206
1317.42/1321.80 c INPROCESSING
1317.42/1321.80 c GARBAGE COLLECT
1317.42/1321.80 c #Conflicts: 1063000 | #Constraints: 23793
1317.42/1321.80 c #Conflicts: 1064000 | #Constraints: 24793
1317.42/1321.80 c #Conflicts: 1065000 | #Constraints: 25793
1317.42/1321.80 c #Conflicts: 1066000 | #Constraints: 26793
1317.42/1321.80 c #Conflicts: 1067000 | #Constraints: 27793
1317.42/1321.80 c #Conflicts: 1068000 | #Constraints: 28793
1317.42/1321.80 c #Conflicts: 1069000 | #Constraints: 29793
1317.42/1321.80 c #Conflicts: 1070000 | #Constraints: 30793
1317.42/1321.80 c #Conflicts: 1071000 | #Constraints: 31793
1317.42/1321.80 c #Conflicts: 1072000 | #Constraints: 32793
1317.42/1321.80 c #Conflicts: 1073000 | #Constraints: 33793
1317.42/1321.80 c #Conflicts: 1074000 | #Constraints: 34793
1317.42/1321.80 c #Conflicts: 1075000 | #Constraints: 35793
1317.42/1321.80 c #Conflicts: 1076000 | #Constraints: 36793
1317.42/1321.80 c #Conflicts: 1077000 | #Constraints: 37793
1317.42/1321.80 c #Conflicts: 1078000 | #Constraints: 38793
1317.42/1321.80 c #Conflicts: 1079000 | #Constraints: 39793
1317.42/1321.80 c #Conflicts: 1080000 | #Constraints: 40793
1317.42/1321.80 c #Conflicts: 1081000 | #Constraints: 41793
1317.42/1321.80 c #Conflicts: 1082000 | #Constraints: 42793
1317.42/1321.80 c #Conflicts: 1083000 | #Constraints: 43793
1317.42/1321.80 c INPROCESSING
1317.42/1321.80 c GARBAGE COLLECT
1317.42/1321.80 c #Conflicts: 1084000 | #Constraints: 24220
1317.42/1321.80 c #Conflicts: 1085000 | #Constraints: 25220
1317.42/1321.80 c #Conflicts: 1086000 | #Constraints: 26220
1317.42/1321.80 c #Conflicts: 1087000 | #Constraints: 27220
1317.42/1321.80 c #Conflicts: 1088000 | #Constraints: 28220
1317.42/1321.80 c #Conflicts: 1089000 | #Constraints: 29220
1317.42/1321.80 c #Conflicts: 1090000 | #Constraints: 30220
1317.42/1321.80 c #Conflicts: 1091000 | #Constraints: 31220
1317.42/1321.80 c #Conflicts: 1092000 | #Constraints: 32220
1317.42/1321.80 c #Conflicts: 1093000 | #Constraints: 33220
1317.42/1321.80 c #Conflicts: 1094000 | #Constraints: 34220
1317.42/1321.80 c #Conflicts: 1095000 | #Constraints: 35220
1317.42/1321.80 c #Conflicts: 1096000 | #Constraints: 36220
1317.42/1321.80 c #Conflicts: 1097000 | #Constraints: 37220
1317.42/1321.80 c #Conflicts: 1098000 | #Constraints: 38220
1317.42/1321.80 c #Conflicts: 1099000 | #Constraints: 39220
1317.42/1321.80 c #Conflicts: 1100000 | #Constraints: 40220
1317.42/1321.80 c #Conflicts: 1101000 | #Constraints: 41220
1317.42/1321.80 c #Conflicts: 1102000 | #Constraints: 42220
1317.42/1321.80 c #Conflicts: 1103000 | #Constraints: 43220
1317.42/1321.80 c #Conflicts: 1104000 | #Constraints: 44220
1317.42/1321.80 c INPROCESSING
1317.42/1321.80 c GARBAGE COLLECT
1317.42/1321.80 c #Conflicts: 1105000 | #Constraints: 24383
1317.42/1321.80 c #Conflicts: 1106000 | #Constraints: 25383
1317.42/1321.80 c #Conflicts: 1107000 | #Constraints: 26383
1317.42/1321.80 c #Conflicts: 1108000 | #Constraints: 27383
1317.42/1321.80 c #Conflicts: 1109000 | #Constraints: 28383
1317.42/1321.80 c #Conflicts: 1110000 | #Constraints: 29383
1317.42/1321.80 c #Conflicts: 1111000 | #Constraints: 30383
1317.42/1321.80 c #Conflicts: 1112000 | #Constraints: 31383
1317.42/1321.80 c #Conflicts: 1113000 | #Constraints: 32383
1317.42/1321.80 c #Conflicts: 1114000 | #Constraints: 33383
1317.42/1321.80 c #Conflicts: 1115000 | #Constraints: 34383
1317.42/1321.80 c #Conflicts: 1116000 | #Constraints: 35383
1317.42/1321.80 c #Conflicts: 1117000 | #Constraints: 36383
1317.42/1321.80 c #Conflicts: 1118000 | #Constraints: 37383
1317.42/1321.80 c #Conflicts: 1119000 | #Constraints: 38383
1317.42/1321.80 c #Conflicts: 1120000 | #Constraints: 39383
1317.42/1321.80 c #Conflicts: 1121000 | #Constraints: 40383
1317.42/1321.80 c #Conflicts: 1122000 | #Constraints: 41383
1317.42/1321.80 c #Conflicts: 1123000 | #Constraints: 42383
1317.42/1321.80 c #Conflicts: 1124000 | #Constraints: 43383
1317.42/1321.80 c #Conflicts: 1125000 | #Constraints: 44383
1317.42/1321.80 c INPROCESSING
1317.42/1321.80 c GARBAGE COLLECT
1317.42/1321.80 c #Conflicts: 1126000 | #Constraints: 24374
1317.42/1321.80 c #Conflicts: 1127000 | #Constraints: 25374
1317.42/1321.80 c #Conflicts: 1128000 | #Constraints: 26374
1317.42/1321.80 c #Conflicts: 1129000 | #Constraints: 27374
1317.42/1321.80 c #Conflicts: 1130000 | #Constraints: 28374
1429.73/1434.50 c #Conflicts: 1131000 | #Constraints: 29374
1429.73/1434.50 c #Conflicts: 1132000 | #Constraints: 30374
1429.73/1434.50 c #Conflicts: 1133000 | #Constraints: 31374
1429.73/1434.50 c #Conflicts: 1134000 | #Constraints: 32374
1429.73/1434.50 c #Conflicts: 1135000 | #Constraints: 33374
1429.73/1434.50 c #Conflicts: 1136000 | #Constraints: 34374
1429.73/1434.50 c #Conflicts: 1137000 | #Constraints: 35374
1429.73/1434.50 c #Conflicts: 1138000 | #Constraints: 36374
1429.73/1434.50 c #Conflicts: 1139000 | #Constraints: 37374
1429.73/1434.50 c #Conflicts: 1140000 | #Constraints: 38374
1429.73/1434.50 c #Conflicts: 1141000 | #Constraints: 39374
1429.73/1434.50 c #Conflicts: 1142000 | #Constraints: 40374
1429.73/1434.50 c #Conflicts: 1143000 | #Constraints: 41374
1429.73/1434.50 c #Conflicts: 1144000 | #Constraints: 42374
1429.73/1434.50 c #Conflicts: 1145000 | #Constraints: 43374
1429.73/1434.50 c #Conflicts: 1146000 | #Constraints: 44374
1429.73/1434.50 c INPROCESSING
1429.73/1434.50 c GARBAGE COLLECT
1429.73/1434.50 c #Conflicts: 1147000 | #Constraints: 24182
1429.73/1434.50 c #Conflicts: 1148000 | #Constraints: 25182
1429.73/1434.50 c #Conflicts: 1149000 | #Constraints: 26182
1429.73/1434.50 c #Conflicts: 1150000 | #Constraints: 27182
1429.73/1434.50 c #Conflicts: 1151000 | #Constraints: 28182
1429.73/1434.50 c #Conflicts: 1152000 | #Constraints: 29182
1429.73/1434.50 c #Conflicts: 1153000 | #Constraints: 30182
1429.73/1434.50 c #Conflicts: 1154000 | #Constraints: 31182
1429.73/1434.50 c #Conflicts: 1155000 | #Constraints: 32182
1429.73/1434.50 c #Conflicts: 1156000 | #Constraints: 33182
1429.73/1434.50 c #Conflicts: 1157000 | #Constraints: 34182
1429.73/1434.50 c #Conflicts: 1158000 | #Constraints: 35182
1429.73/1434.50 c #Conflicts: 1159000 | #Constraints: 36182
1429.73/1434.50 c #Conflicts: 1160000 | #Constraints: 37182
1429.73/1434.50 c #Conflicts: 1161000 | #Constraints: 38182
1429.73/1434.50 c #Conflicts: 1162000 | #Constraints: 39182
1429.73/1434.50 c #Conflicts: 1163000 | #Constraints: 40182
1429.73/1434.50 c #Conflicts: 1164000 | #Constraints: 41182
1429.73/1434.50 c #Conflicts: 1165000 | #Constraints: 42182
1429.73/1434.50 c #Conflicts: 1166000 | #Constraints: 43182
1429.73/1434.50 c #Conflicts: 1167000 | #Constraints: 44182
1429.73/1434.50 c #Conflicts: 1168000 | #Constraints: 45182
1429.73/1434.50 c INPROCESSING
1429.73/1434.50 c GARBAGE COLLECT
1429.73/1434.50 c #Conflicts: 1169000 | #Constraints: 24742
1429.73/1434.50 c #Conflicts: 1170000 | #Constraints: 25742
1429.73/1434.50 c #Conflicts: 1171000 | #Constraints: 26742
1429.73/1434.50 c #Conflicts: 1172000 | #Constraints: 27742
1429.73/1434.50 c #Conflicts: 1173000 | #Constraints: 28742
1429.73/1434.50 c #Conflicts: 1174000 | #Constraints: 29742
1429.73/1434.50 c #Conflicts: 1175000 | #Constraints: 30742
1429.73/1434.50 c #Conflicts: 1176000 | #Constraints: 31742
1429.73/1434.50 c #Conflicts: 1177000 | #Constraints: 32742
1429.73/1434.50 c #Conflicts: 1178000 | #Constraints: 33742
1429.73/1434.50 c #Conflicts: 1179000 | #Constraints: 34742
1429.73/1434.50 c #Conflicts: 1180000 | #Constraints: 35742
1429.73/1434.50 c #Conflicts: 1181000 | #Constraints: 36742
1429.73/1434.50 c #Conflicts: 1182000 | #Constraints: 37742
1429.73/1434.50 c #Conflicts: 1183000 | #Constraints: 38742
1429.73/1434.50 c #Conflicts: 1184000 | #Constraints: 39742
1429.73/1434.50 c #Conflicts: 1185000 | #Constraints: 40742
1429.73/1434.50 c #Conflicts: 1186000 | #Constraints: 41742
1429.73/1434.50 c #Conflicts: 1187000 | #Constraints: 42742
1429.73/1434.50 c #Conflicts: 1188000 | #Constraints: 43742
1429.73/1434.50 c #Conflicts: 1189000 | #Constraints: 44742
1429.73/1434.50 c #Conflicts: 1190000 | #Constraints: 45742
1429.73/1434.50 c INPROCESSING
1429.73/1434.50 c GARBAGE COLLECT
1429.73/1434.50 c #Conflicts: 1191000 | #Constraints: 25129
1429.73/1434.50 c #Conflicts: 1192000 | #Constraints: 26129
1429.73/1434.50 c #Conflicts: 1193000 | #Constraints: 27129
1429.73/1434.50 c #Conflicts: 1194000 | #Constraints: 28129
1429.73/1434.50 c #Conflicts: 1195000 | #Constraints: 29129
1429.73/1434.50 c #Conflicts: 1196000 | #Constraints: 30129
1429.73/1434.50 c #Conflicts: 1197000 | #Constraints: 31129
1429.73/1434.50 c #Conflicts: 1198000 | #Constraints: 32129
1429.73/1434.50 c #Conflicts: 1199000 | #Constraints: 33129
1429.73/1434.50 c #Conflicts: 1200000 | #Constraints: 34129
1429.73/1434.50 c #Conflicts: 1201000 | #Constraints: 35129
1429.73/1434.50 c #Conflicts: 1202000 | #Constraints: 36129
1429.73/1434.50 c #Conflicts: 1203000 | #Constraints: 37129
1429.73/1434.50 c #Conflicts: 1204000 | #Constraints: 38129
1429.73/1434.50 c #Conflicts: 1205000 | #Constraints: 39129
1429.73/1434.50 c #Conflicts: 1206000 | #Constraints: 40129
1557.93/1563.15 c #Conflicts: 1207000 | #Constraints: 41129
1557.93/1563.15 c #Conflicts: 1208000 | #Constraints: 42129
1557.93/1563.15 c #Conflicts: 1209000 | #Constraints: 43129
1557.93/1563.15 c #Conflicts: 1210000 | #Constraints: 44129
1557.93/1563.15 c #Conflicts: 1211000 | #Constraints: 45129
1557.93/1563.15 c #Conflicts: 1212000 | #Constraints: 46129
1557.93/1563.15 c INPROCESSING
1557.93/1563.15 c GARBAGE COLLECT
1557.93/1563.15 c #Conflicts: 1213000 | #Constraints: 25377
1557.93/1563.15 c #Conflicts: 1214000 | #Constraints: 26377
1557.93/1563.15 c #Conflicts: 1215000 | #Constraints: 27377
1557.93/1563.15 c #Conflicts: 1216000 | #Constraints: 28377
1557.93/1563.15 c #Conflicts: 1217000 | #Constraints: 29377
1557.93/1563.15 c #Conflicts: 1218000 | #Constraints: 30377
1557.93/1563.15 c #Conflicts: 1219000 | #Constraints: 31377
1557.93/1563.15 c #Conflicts: 1220000 | #Constraints: 32377
1557.93/1563.15 c #Conflicts: 1221000 | #Constraints: 33377
1557.93/1563.15 c #Conflicts: 1222000 | #Constraints: 34377
1557.93/1563.15 c #Conflicts: 1223000 | #Constraints: 35377
1557.93/1563.15 c #Conflicts: 1224000 | #Constraints: 36377
1557.93/1563.15 c #Conflicts: 1225000 | #Constraints: 37377
1557.93/1563.15 c #Conflicts: 1226000 | #Constraints: 38377
1557.93/1563.15 c #Conflicts: 1227000 | #Constraints: 39377
1557.93/1563.15 c #Conflicts: 1228000 | #Constraints: 40377
1557.93/1563.15 c #Conflicts: 1229000 | #Constraints: 41377
1557.93/1563.15 c #Conflicts: 1230000 | #Constraints: 42377
1557.93/1563.15 c #Conflicts: 1231000 | #Constraints: 43377
1557.93/1563.15 c #Conflicts: 1232000 | #Constraints: 44377
1557.93/1563.15 c #Conflicts: 1233000 | #Constraints: 45377
1557.93/1563.15 c #Conflicts: 1234000 | #Constraints: 46377
1557.93/1563.15 c INPROCESSING
1557.93/1563.15 c GARBAGE COLLECT
1557.93/1563.15 c #Conflicts: 1235000 | #Constraints: 25379
1557.93/1563.15 c #Conflicts: 1236000 | #Constraints: 26379
1557.93/1563.15 c #Conflicts: 1237000 | #Constraints: 27379
1557.93/1563.15 c #Conflicts: 1238000 | #Constraints: 28379
1557.93/1563.15 c #Conflicts: 1239000 | #Constraints: 29379
1557.93/1563.15 c #Conflicts: 1240000 | #Constraints: 30379
1557.93/1563.15 c #Conflicts: 1241000 | #Constraints: 31379
1557.93/1563.15 c #Conflicts: 1242000 | #Constraints: 32379
1557.93/1563.15 c #Conflicts: 1243000 | #Constraints: 33379
1557.93/1563.15 c #Conflicts: 1244000 | #Constraints: 34379
1557.93/1563.15 c #Conflicts: 1245000 | #Constraints: 35379
1557.93/1563.15 c #Conflicts: 1246000 | #Constraints: 36379
1557.93/1563.15 c #Conflicts: 1247000 | #Constraints: 37379
1557.93/1563.15 c #Conflicts: 1248000 | #Constraints: 38379
1557.93/1563.15 c #Conflicts: 1249000 | #Constraints: 39379
1557.93/1563.15 c #Conflicts: 1250000 | #Constraints: 40379
1557.93/1563.15 c #Conflicts: 1251000 | #Constraints: 41379
1557.93/1563.15 c #Conflicts: 1252000 | #Constraints: 42379
1557.93/1563.15 c #Conflicts: 1253000 | #Constraints: 43379
1557.93/1563.15 c #Conflicts: 1254000 | #Constraints: 44379
1557.93/1563.15 c #Conflicts: 1255000 | #Constraints: 45379
1557.93/1563.15 c #Conflicts: 1256000 | #Constraints: 46379
1557.93/1563.15 c INPROCESSING
1557.93/1563.15 c GARBAGE COLLECT
1557.93/1563.15 c #Conflicts: 1257000 | #Constraints: 25218
1557.93/1563.15 c #Conflicts: 1258000 | #Constraints: 26218
1557.93/1563.15 c #Conflicts: 1259000 | #Constraints: 27218
1557.93/1563.15 c #Conflicts: 1260000 | #Constraints: 28218
1557.93/1563.15 c #Conflicts: 1261000 | #Constraints: 29218
1557.93/1563.15 c #Conflicts: 1262000 | #Constraints: 30218
1557.93/1563.15 c #Conflicts: 1263000 | #Constraints: 31218
1557.93/1563.15 c #Conflicts: 1264000 | #Constraints: 32218
1557.93/1563.15 c #Conflicts: 1265000 | #Constraints: 33218
1557.93/1563.15 c #Conflicts: 1266000 | #Constraints: 34218
1557.93/1563.15 c #Conflicts: 1267000 | #Constraints: 35218
1557.93/1563.15 c #Conflicts: 1268000 | #Constraints: 36218
1557.93/1563.15 c #Conflicts: 1269000 | #Constraints: 37218
1557.93/1563.15 c #Conflicts: 1270000 | #Constraints: 38218
1557.93/1563.15 c #Conflicts: 1271000 | #Constraints: 39218
1557.93/1563.15 c #Conflicts: 1272000 | #Constraints: 40218
1557.93/1563.15 c #Conflicts: 1273000 | #Constraints: 41218
1557.93/1563.15 c #Conflicts: 1274000 | #Constraints: 42218
1557.93/1563.15 c #Conflicts: 1275000 | #Constraints: 43218
1557.93/1563.15 c #Conflicts: 1276000 | #Constraints: 44218
1557.93/1563.15 c #Conflicts: 1277000 | #Constraints: 45218
1557.93/1563.15 c #Conflicts: 1278000 | #Constraints: 46218
1557.93/1563.15 c #Conflicts: 1279000 | #Constraints: 47218
1557.93/1563.15 c INPROCESSING
1557.93/1563.15 c GARBAGE COLLECT
1557.93/1563.15 c #Conflicts: 1280000 | #Constraints: 25814
1557.93/1563.15 c #Conflicts: 1281000 | #Constraints: 26814
1557.93/1563.15 c #Conflicts: 1282000 | #Constraints: 27814
1557.93/1563.15 c #Conflicts: 1283000 | #Constraints: 28814
1685.63/1691.29 c #Conflicts: 1284000 | #Constraints: 29814
1685.63/1691.29 c #Conflicts: 1285000 | #Constraints: 30814
1685.63/1691.29 c #Conflicts: 1286000 | #Constraints: 31814
1685.63/1691.29 c #Conflicts: 1287000 | #Constraints: 32814
1685.63/1691.29 c #Conflicts: 1288000 | #Constraints: 33814
1685.63/1691.29 c #Conflicts: 1289000 | #Constraints: 34814
1685.63/1691.29 c #Conflicts: 1290000 | #Constraints: 35814
1685.63/1691.29 c #Conflicts: 1291000 | #Constraints: 36814
1685.63/1691.29 c #Conflicts: 1292000 | #Constraints: 37814
1685.63/1691.29 c #Conflicts: 1293000 | #Constraints: 38814
1685.63/1691.29 c #Conflicts: 1294000 | #Constraints: 39814
1685.63/1691.29 c #Conflicts: 1295000 | #Constraints: 40814
1685.63/1691.29 c #Conflicts: 1296000 | #Constraints: 41814
1685.63/1691.29 c #Conflicts: 1297000 | #Constraints: 42814
1685.63/1691.29 c #Conflicts: 1298000 | #Constraints: 43814
1685.63/1691.29 c #Conflicts: 1299000 | #Constraints: 44814
1685.63/1691.29 c #Conflicts: 1300000 | #Constraints: 45814
1685.63/1691.29 c #Conflicts: 1301000 | #Constraints: 46814
1685.63/1691.29 c #Conflicts: 1302000 | #Constraints: 47814
1685.63/1691.29 c INPROCESSING
1685.63/1691.29 c GARBAGE COLLECT
1685.63/1691.29 c #Conflicts: 1303000 | #Constraints: 26199
1685.63/1691.29 c #Conflicts: 1304000 | #Constraints: 27199
1685.63/1691.29 c #Conflicts: 1305000 | #Constraints: 28199
1685.63/1691.29 c #Conflicts: 1306000 | #Constraints: 29199
1685.63/1691.29 c #Conflicts: 1307000 | #Constraints: 30199
1685.63/1691.29 c #Conflicts: 1308000 | #Constraints: 31199
1685.63/1691.29 c #Conflicts: 1309000 | #Constraints: 32199
1685.63/1691.29 c #Conflicts: 1310000 | #Constraints: 33199
1685.63/1691.29 c #Conflicts: 1311000 | #Constraints: 34199
1685.63/1691.29 c #Conflicts: 1312000 | #Constraints: 35199
1685.63/1691.29 c #Conflicts: 1313000 | #Constraints: 36199
1685.63/1691.29 c #Conflicts: 1314000 | #Constraints: 37199
1685.63/1691.29 c #Conflicts: 1315000 | #Constraints: 38199
1685.63/1691.29 c #Conflicts: 1316000 | #Constraints: 39199
1685.63/1691.29 c #Conflicts: 1317000 | #Constraints: 40199
1685.63/1691.29 c #Conflicts: 1318000 | #Constraints: 41199
1685.63/1691.29 c #Conflicts: 1319000 | #Constraints: 42199
1685.63/1691.29 c #Conflicts: 1320000 | #Constraints: 43199
1685.63/1691.29 c #Conflicts: 1321000 | #Constraints: 44199
1685.63/1691.29 c #Conflicts: 1322000 | #Constraints: 45199
1685.63/1691.29 c #Conflicts: 1323000 | #Constraints: 46199
1685.63/1691.29 c #Conflicts: 1324000 | #Constraints: 47199
1685.63/1691.29 c #Conflicts: 1325000 | #Constraints: 48199
1685.63/1691.29 c INPROCESSING
1685.63/1691.29 c GARBAGE COLLECT
1685.63/1691.29 c #Conflicts: 1326000 | #Constraints: 26394
1685.63/1691.29 c #Conflicts: 1327000 | #Constraints: 27394
1685.63/1691.29 c #Conflicts: 1328000 | #Constraints: 28394
1685.63/1691.29 c #Conflicts: 1329000 | #Constraints: 29394
1685.63/1691.29 c #Conflicts: 1330000 | #Constraints: 30394
1685.63/1691.29 c #Conflicts: 1331000 | #Constraints: 31394
1685.63/1691.29 c #Conflicts: 1332000 | #Constraints: 32394
1685.63/1691.29 c #Conflicts: 1333000 | #Constraints: 33394
1685.63/1691.29 c #Conflicts: 1334000 | #Constraints: 34394
1685.63/1691.29 c #Conflicts: 1335000 | #Constraints: 35394
1685.63/1691.29 c #Conflicts: 1336000 | #Constraints: 36394
1685.63/1691.29 c #Conflicts: 1337000 | #Constraints: 37394
1685.63/1691.29 c #Conflicts: 1338000 | #Constraints: 38394
1685.63/1691.29 c #Conflicts: 1339000 | #Constraints: 39394
1685.63/1691.29 c #Conflicts: 1340000 | #Constraints: 40394
1685.63/1691.29 c #Conflicts: 1341000 | #Constraints: 41394
1685.63/1691.29 c #Conflicts: 1342000 | #Constraints: 42394
1685.63/1691.29 c #Conflicts: 1343000 | #Constraints: 43394
1685.63/1691.29 c #Conflicts: 1344000 | #Constraints: 44394
1685.63/1691.29 c #Conflicts: 1345000 | #Constraints: 45394
1685.63/1691.29 c #Conflicts: 1346000 | #Constraints: 46394
1685.63/1691.29 c #Conflicts: 1347000 | #Constraints: 47394
1685.63/1691.29 c #Conflicts: 1348000 | #Constraints: 48394
1685.63/1691.29 c INPROCESSING
1685.63/1691.29 c GARBAGE COLLECT
1685.63/1691.29 c #Conflicts: 1349000 | #Constraints: 26442
1685.63/1691.29 c #Conflicts: 1350000 | #Constraints: 27442
1685.63/1691.29 c #Conflicts: 1351000 | #Constraints: 28442
1685.63/1691.29 c #Conflicts: 1352000 | #Constraints: 29442
1685.63/1691.29 c #Conflicts: 1353000 | #Constraints: 30442
1685.63/1691.29 c #Conflicts: 1354000 | #Constraints: 31442
1685.63/1691.29 c #Conflicts: 1355000 | #Constraints: 32442
1685.63/1691.29 c #Conflicts: 1356000 | #Constraints: 33442
1685.63/1691.29 c #Conflicts: 1357000 | #Constraints: 34442
1685.63/1691.29 c #Conflicts: 1358000 | #Constraints: 35442
1685.63/1691.29 c #Conflicts: 1359000 | #Constraints: 36442
1685.63/1691.29 c #Conflicts: 1360000 | #Constraints: 37442
1817.22/1823.23 c #Conflicts: 1361000 | #Constraints: 38442
1817.22/1823.23 c #Conflicts: 1362000 | #Constraints: 39442
1817.22/1823.23 c #Conflicts: 1363000 | #Constraints: 40442
1817.22/1823.23 c #Conflicts: 1364000 | #Constraints: 41442
1817.22/1823.23 c #Conflicts: 1365000 | #Constraints: 42442
1817.22/1823.23 c #Conflicts: 1366000 | #Constraints: 43442
1817.22/1823.23 c #Conflicts: 1367000 | #Constraints: 44442
1817.22/1823.23 c #Conflicts: 1368000 | #Constraints: 45442
1817.22/1823.23 c #Conflicts: 1369000 | #Constraints: 46442
1817.22/1823.23 c #Conflicts: 1370000 | #Constraints: 47442
1817.22/1823.23 c #Conflicts: 1371000 | #Constraints: 48442
1817.22/1823.23 c INPROCESSING
1817.22/1823.23 c GARBAGE COLLECT
1817.22/1823.23 c #Conflicts: 1372000 | #Constraints: 26237
1817.22/1823.23 c #Conflicts: 1373000 | #Constraints: 27237
1817.22/1823.23 c #Conflicts: 1374000 | #Constraints: 28237
1817.22/1823.23 c #Conflicts: 1375000 | #Constraints: 29237
1817.22/1823.23 c #Conflicts: 1376000 | #Constraints: 30237
1817.22/1823.23 c #Conflicts: 1377000 | #Constraints: 31237
1817.22/1823.23 c #Conflicts: 1378000 | #Constraints: 32237
1817.22/1823.23 c #Conflicts: 1379000 | #Constraints: 33237
1817.22/1823.23 c #Conflicts: 1380000 | #Constraints: 34237
1817.22/1823.23 c #Conflicts: 1381000 | #Constraints: 35237
1817.22/1823.23 c #Conflicts: 1382000 | #Constraints: 36237
1817.22/1823.23 c #Conflicts: 1383000 | #Constraints: 37237
1817.22/1823.23 c #Conflicts: 1384000 | #Constraints: 38237
1817.22/1823.23 c #Conflicts: 1385000 | #Constraints: 39237
1817.22/1823.23 c #Conflicts: 1386000 | #Constraints: 40237
1817.22/1823.23 c #Conflicts: 1387000 | #Constraints: 41237
1817.22/1823.23 c #Conflicts: 1388000 | #Constraints: 42237
1817.22/1823.23 c #Conflicts: 1389000 | #Constraints: 43237
1817.22/1823.23 c #Conflicts: 1390000 | #Constraints: 44237
1817.22/1823.23 c #Conflicts: 1391000 | #Constraints: 45237
1817.22/1823.23 c #Conflicts: 1392000 | #Constraints: 46237
1817.22/1823.23 c #Conflicts: 1393000 | #Constraints: 47237
1817.22/1823.23 c #Conflicts: 1394000 | #Constraints: 48237
1817.22/1823.23 c #Conflicts: 1395000 | #Constraints: 49237
1817.22/1823.23 c INPROCESSING
1817.22/1823.23 c GARBAGE COLLECT
1817.22/1823.23 c #Conflicts: 1396000 | #Constraints: 26786
1817.22/1823.23 c #Conflicts: 1397000 | #Constraints: 27786
1817.22/1823.23 c #Conflicts: 1398000 | #Constraints: 28786
1817.22/1823.23 c #Conflicts: 1399000 | #Constraints: 29786
1817.22/1823.23 c #Conflicts: 1400000 | #Constraints: 30786
1817.22/1823.23 c #Conflicts: 1401000 | #Constraints: 31786
1817.22/1823.23 c #Conflicts: 1402000 | #Constraints: 32786
1817.22/1823.23 c #Conflicts: 1403000 | #Constraints: 33786
1817.22/1823.23 c #Conflicts: 1404000 | #Constraints: 34786
1817.22/1823.23 c #Conflicts: 1405000 | #Constraints: 35786
1817.22/1823.23 c #Conflicts: 1406000 | #Constraints: 36786
1817.22/1823.23 c #Conflicts: 1407000 | #Constraints: 37786
1817.22/1823.23 c #Conflicts: 1408000 | #Constraints: 38786
1817.22/1823.23 c #Conflicts: 1409000 | #Constraints: 39786
1817.22/1823.23 c #Conflicts: 1410000 | #Constraints: 40786
1817.22/1823.23 c #Conflicts: 1411000 | #Constraints: 41786
1817.22/1823.23 c #Conflicts: 1412000 | #Constraints: 42786
1817.22/1823.23 c #Conflicts: 1413000 | #Constraints: 43786
1817.22/1823.23 c #Conflicts: 1414000 | #Constraints: 44786
1817.22/1823.23 c #Conflicts: 1415000 | #Constraints: 45786
1817.22/1823.23 c #Conflicts: 1416000 | #Constraints: 46786
1817.22/1823.23 c #Conflicts: 1417000 | #Constraints: 47786
1817.22/1823.23 c #Conflicts: 1418000 | #Constraints: 48786
1817.22/1823.23 c #Conflicts: 1419000 | #Constraints: 49786
1817.22/1823.23 c INPROCESSING
1817.22/1823.23 c GARBAGE COLLECT
1817.22/1823.23 c #Conflicts: 1420000 | #Constraints: 27218
1817.22/1823.23 c #Conflicts: 1421000 | #Constraints: 28218
1817.22/1823.23 c #Conflicts: 1422000 | #Constraints: 29218
1817.22/1823.23 c #Conflicts: 1423000 | #Constraints: 30218
1817.22/1823.23 c #Conflicts: 1424000 | #Constraints: 31218
1817.22/1823.23 c #Conflicts: 1425000 | #Constraints: 32218
1817.22/1823.23 c #Conflicts: 1426000 | #Constraints: 33218
1817.22/1823.23 c #Conflicts: 1427000 | #Constraints: 34218
1817.22/1823.23 c #Conflicts: 1428000 | #Constraints: 35218
1817.22/1823.23 c #Conflicts: 1429000 | #Constraints: 36218
1817.22/1823.23 c #Conflicts: 1430000 | #Constraints: 37218
1817.22/1823.23 c #Conflicts: 1431000 | #Constraints: 38218
1817.22/1823.23 c #Conflicts: 1432000 | #Constraints: 39218
1817.22/1823.23 c #Conflicts: 1433000 | #Constraints: 40218
1817.22/1823.23 c #Conflicts: 1434000 | #Constraints: 41218
1817.22/1823.23 c #Conflicts: 1435000 | #Constraints: 42218
1817.22/1823.23 c #Conflicts: 1436000 | #Constraints: 43218
1957.18/1963.61 c #Conflicts: 1437000 | #Constraints: 44218
1957.18/1963.61 c #Conflicts: 1438000 | #Constraints: 45218
1957.18/1963.61 c #Conflicts: 1439000 | #Constraints: 46218
1957.18/1963.61 c #Conflicts: 1440000 | #Constraints: 47218
1957.18/1963.61 c #Conflicts: 1441000 | #Constraints: 48218
1957.18/1963.61 c #Conflicts: 1442000 | #Constraints: 49218
1957.18/1963.61 c #Conflicts: 1443000 | #Constraints: 50218
1957.18/1963.61 c INPROCESSING
1957.18/1963.61 c GARBAGE COLLECT
1957.18/1963.61 c #Conflicts: 1444000 | #Constraints: 27365
1957.18/1963.61 c #Conflicts: 1445000 | #Constraints: 28365
1957.18/1963.61 c #Conflicts: 1446000 | #Constraints: 29365
1957.18/1963.61 c #Conflicts: 1447000 | #Constraints: 30365
1957.18/1963.61 c #Conflicts: 1448000 | #Constraints: 31365
1957.18/1963.61 c #Conflicts: 1449000 | #Constraints: 32365
1957.18/1963.61 c #Conflicts: 1450000 | #Constraints: 33365
1957.18/1963.61 c #Conflicts: 1451000 | #Constraints: 34365
1957.18/1963.61 c #Conflicts: 1452000 | #Constraints: 35365
1957.18/1963.61 c #Conflicts: 1453000 | #Constraints: 36365
1957.18/1963.61 c #Conflicts: 1454000 | #Constraints: 37365
1957.18/1963.61 c #Conflicts: 1455000 | #Constraints: 38365
1957.18/1963.61 c #Conflicts: 1456000 | #Constraints: 39365
1957.18/1963.61 c #Conflicts: 1457000 | #Constraints: 40365
1957.18/1963.61 c #Conflicts: 1458000 | #Constraints: 41365
1957.18/1963.61 c #Conflicts: 1459000 | #Constraints: 42365
1957.18/1963.61 c #Conflicts: 1460000 | #Constraints: 43365
1957.18/1963.61 c #Conflicts: 1461000 | #Constraints: 44365
1957.18/1963.61 c #Conflicts: 1462000 | #Constraints: 45365
1957.18/1963.61 c #Conflicts: 1463000 | #Constraints: 46365
1957.18/1963.61 c #Conflicts: 1464000 | #Constraints: 47365
1957.18/1963.61 c #Conflicts: 1465000 | #Constraints: 48365
1957.18/1963.61 c #Conflicts: 1466000 | #Constraints: 49365
1957.18/1963.61 c #Conflicts: 1467000 | #Constraints: 50365
1957.18/1963.61 c INPROCESSING
1957.18/1963.61 c GARBAGE COLLECT
1957.18/1963.61 c #Conflicts: 1468000 | #Constraints: 27341
1957.18/1963.61 c #Conflicts: 1469000 | #Constraints: 28341
1957.18/1963.61 c #Conflicts: 1470000 | #Constraints: 29341
1957.18/1963.61 c #Conflicts: 1471000 | #Constraints: 30341
1957.18/1963.61 c #Conflicts: 1472000 | #Constraints: 31341
1957.18/1963.61 c #Conflicts: 1473000 | #Constraints: 32341
1957.18/1963.61 c #Conflicts: 1474000 | #Constraints: 33341
1957.18/1963.61 c #Conflicts: 1475000 | #Constraints: 34341
1957.18/1963.61 c #Conflicts: 1476000 | #Constraints: 35341
1957.18/1963.61 c #Conflicts: 1477000 | #Constraints: 36341
1957.18/1963.61 c #Conflicts: 1478000 | #Constraints: 37341
1957.18/1963.61 c #Conflicts: 1479000 | #Constraints: 38341
1957.18/1963.61 c #Conflicts: 1480000 | #Constraints: 39341
1957.18/1963.61 c #Conflicts: 1481000 | #Constraints: 40341
1957.18/1963.61 c #Conflicts: 1482000 | #Constraints: 41341
1957.18/1963.61 c #Conflicts: 1483000 | #Constraints: 42341
1957.18/1963.61 c #Conflicts: 1484000 | #Constraints: 43341
1957.18/1963.61 c #Conflicts: 1485000 | #Constraints: 44341
1957.18/1963.61 c #Conflicts: 1486000 | #Constraints: 45341
1957.18/1963.61 c #Conflicts: 1487000 | #Constraints: 46341
1957.18/1963.61 c #Conflicts: 1488000 | #Constraints: 47341
1957.18/1963.61 c #Conflicts: 1489000 | #Constraints: 48341
1957.18/1963.61 c #Conflicts: 1490000 | #Constraints: 49341
1957.18/1963.61 c #Conflicts: 1491000 | #Constraints: 50341
1957.18/1963.61 c INPROCESSING
1957.18/1963.61 c GARBAGE COLLECT
1957.18/1963.61 c #Conflicts: 1492000 | #Constraints: 27135
1957.18/1963.61 c #Conflicts: 1493000 | #Constraints: 28135
1957.18/1963.61 c #Conflicts: 1494000 | #Constraints: 29135
1957.18/1963.61 c #Conflicts: 1495000 | #Constraints: 30135
1957.18/1963.61 c #Conflicts: 1496000 | #Constraints: 31135
1957.18/1963.61 c #Conflicts: 1497000 | #Constraints: 32135
1957.18/1963.61 c #Conflicts: 1498000 | #Constraints: 33135
1957.18/1963.61 c #Conflicts: 1499000 | #Constraints: 34135
1957.18/1963.61 c #Conflicts: 1500000 | #Constraints: 35135
1957.18/1963.61 c #Conflicts: 1501000 | #Constraints: 36135
1957.18/1963.61 c #Conflicts: 1502000 | #Constraints: 37135
1957.18/1963.61 c #Conflicts: 1503000 | #Constraints: 38135
1957.18/1963.61 c #Conflicts: 1504000 | #Constraints: 39135
1957.18/1963.61 c #Conflicts: 1505000 | #Constraints: 40135
1957.18/1963.61 c #Conflicts: 1506000 | #Constraints: 41135
1957.18/1963.61 c #Conflicts: 1507000 | #Constraints: 42135
1957.18/1963.61 c #Conflicts: 1508000 | #Constraints: 43135
1957.18/1963.61 c #Conflicts: 1509000 | #Constraints: 44135
1957.18/1963.61 c #Conflicts: 1510000 | #Constraints: 45135
1957.18/1963.61 c #Conflicts: 1511000 | #Constraints: 46135
1957.18/1963.61 c #Conflicts: 1512000 | #Constraints: 47135
1957.18/1963.61 c #Conflicts: 1513000 | #Constraints: 48135
2108.80/2115.71 c #Conflicts: 1514000 | #Constraints: 49135
2108.80/2115.71 c #Conflicts: 1515000 | #Constraints: 50135
2108.80/2115.71 c #Conflicts: 1516000 | #Constraints: 51135
2108.80/2115.71 c INPROCESSING
2108.80/2115.71 c GARBAGE COLLECT
2108.80/2115.71 c #Conflicts: 1517000 | #Constraints: 27742
2108.80/2115.71 c #Conflicts: 1518000 | #Constraints: 28742
2108.80/2115.71 c #Conflicts: 1519000 | #Constraints: 29742
2108.80/2115.71 c #Conflicts: 1520000 | #Constraints: 30742
2108.80/2115.71 c #Conflicts: 1521000 | #Constraints: 31742
2108.80/2115.71 c #Conflicts: 1522000 | #Constraints: 32742
2108.80/2115.71 c #Conflicts: 1523000 | #Constraints: 33742
2108.80/2115.71 c #Conflicts: 1524000 | #Constraints: 34742
2108.80/2115.71 c #Conflicts: 1525000 | #Constraints: 35742
2108.80/2115.71 c #Conflicts: 1526000 | #Constraints: 36742
2108.80/2115.71 c #Conflicts: 1527000 | #Constraints: 37742
2108.80/2115.71 c #Conflicts: 1528000 | #Constraints: 38742
2108.80/2115.71 c #Conflicts: 1529000 | #Constraints: 39742
2108.80/2115.71 c #Conflicts: 1530000 | #Constraints: 40742
2108.80/2115.71 c #Conflicts: 1531000 | #Constraints: 41742
2108.80/2115.71 c #Conflicts: 1532000 | #Constraints: 42742
2108.80/2115.71 c #Conflicts: 1533000 | #Constraints: 43742
2108.80/2115.71 c #Conflicts: 1534000 | #Constraints: 44742
2108.80/2115.71 c #Conflicts: 1535000 | #Constraints: 45742
2108.80/2115.71 c #Conflicts: 1536000 | #Constraints: 46742
2108.80/2115.71 c #Conflicts: 1537000 | #Constraints: 47742
2108.80/2115.71 c #Conflicts: 1538000 | #Constraints: 48742
2108.80/2115.71 c #Conflicts: 1539000 | #Constraints: 49742
2108.80/2115.71 c #Conflicts: 1540000 | #Constraints: 50742
2108.80/2115.71 c #Conflicts: 1541000 | #Constraints: 51742
2108.80/2115.71 c INPROCESSING
2108.80/2115.71 c GARBAGE COLLECT
2108.80/2115.71 c #Conflicts: 1542000 | #Constraints: 28213
2108.80/2115.71 c #Conflicts: 1543000 | #Constraints: 29213
2108.80/2115.71 c #Conflicts: 1544000 | #Constraints: 30213
2108.80/2115.71 c #Conflicts: 1545000 | #Constraints: 31213
2108.80/2115.71 c #Conflicts: 1546000 | #Constraints: 32213
2108.80/2115.71 c #Conflicts: 1547000 | #Constraints: 33213
2108.80/2115.71 c #Conflicts: 1548000 | #Constraints: 34213
2108.80/2115.71 c #Conflicts: 1549000 | #Constraints: 35213
2108.80/2115.71 c #Conflicts: 1550000 | #Constraints: 36213
2108.80/2115.71 c #Conflicts: 1551000 | #Constraints: 37213
2108.80/2115.71 c #Conflicts: 1552000 | #Constraints: 38213
2108.80/2115.71 c #Conflicts: 1553000 | #Constraints: 39213
2108.80/2115.71 c #Conflicts: 1554000 | #Constraints: 40213
2108.80/2115.71 c #Conflicts: 1555000 | #Constraints: 41213
2108.80/2115.71 c #Conflicts: 1556000 | #Constraints: 42213
2108.80/2115.71 c #Conflicts: 1557000 | #Constraints: 43213
2108.80/2115.71 c #Conflicts: 1558000 | #Constraints: 44213
2108.80/2115.71 c #Conflicts: 1559000 | #Constraints: 45213
2108.80/2115.71 c #Conflicts: 1560000 | #Constraints: 46213
2108.80/2115.71 c #Conflicts: 1561000 | #Constraints: 47213
2108.80/2115.71 c #Conflicts: 1562000 | #Constraints: 48213
2108.80/2115.71 c #Conflicts: 1563000 | #Constraints: 49213
2108.80/2115.71 c #Conflicts: 1564000 | #Constraints: 50213
2108.80/2115.71 c #Conflicts: 1565000 | #Constraints: 51213
2108.80/2115.71 c #Conflicts: 1566000 | #Constraints: 52213
2108.80/2115.71 c INPROCESSING
2108.80/2115.71 c GARBAGE COLLECT
2108.80/2115.71 c #Conflicts: 1567000 | #Constraints: 28433
2108.80/2115.71 c #Conflicts: 1568000 | #Constraints: 29433
2108.80/2115.71 c #Conflicts: 1569000 | #Constraints: 30433
2108.80/2115.71 c #Conflicts: 1570000 | #Constraints: 31433
2108.80/2115.71 c #Conflicts: 1571000 | #Constraints: 32433
2108.80/2115.71 c #Conflicts: 1572000 | #Constraints: 33433
2108.80/2115.71 c #Conflicts: 1573000 | #Constraints: 34433
2108.80/2115.71 c #Conflicts: 1574000 | #Constraints: 35433
2108.80/2115.71 c #Conflicts: 1575000 | #Constraints: 36433
2108.80/2115.71 c #Conflicts: 1576000 | #Constraints: 37433
2108.80/2115.71 c #Conflicts: 1577000 | #Constraints: 38433
2108.80/2115.71 c #Conflicts: 1578000 | #Constraints: 39433
2108.80/2115.71 c #Conflicts: 1579000 | #Constraints: 40433
2108.80/2115.71 c #Conflicts: 1580000 | #Constraints: 41433
2108.80/2115.71 c #Conflicts: 1581000 | #Constraints: 42433
2108.80/2115.71 c #Conflicts: 1582000 | #Constraints: 43433
2108.80/2115.71 c #Conflicts: 1583000 | #Constraints: 44433
2108.80/2115.71 c #Conflicts: 1584000 | #Constraints: 45433
2108.80/2115.71 c #Conflicts: 1585000 | #Constraints: 46433
2108.80/2115.71 c #Conflicts: 1586000 | #Constraints: 47433
2108.80/2115.71 c #Conflicts: 1587000 | #Constraints: 48433
2108.80/2115.71 c #Conflicts: 1588000 | #Constraints: 49433
2108.80/2115.71 c #Conflicts: 1589000 | #Constraints: 50433
2108.80/2115.71 c #Conflicts: 1590000 | #Constraints: 51433
2274.07/2281.52 c #Conflicts: 1591000 | #Constraints: 52433
2274.07/2281.52 c INPROCESSING
2274.07/2281.52 c GARBAGE COLLECT
2274.07/2281.52 c #Conflicts: 1592000 | #Constraints: 28415
2274.07/2281.52 c #Conflicts: 1593000 | #Constraints: 29415
2274.07/2281.52 c #Conflicts: 1594000 | #Constraints: 30415
2274.07/2281.52 c #Conflicts: 1595000 | #Constraints: 31415
2274.07/2281.52 c #Conflicts: 1596000 | #Constraints: 32415
2274.07/2281.52 c #Conflicts: 1597000 | #Constraints: 33415
2274.07/2281.52 c #Conflicts: 1598000 | #Constraints: 34415
2274.07/2281.52 c #Conflicts: 1599000 | #Constraints: 35415
2274.07/2281.52 c #Conflicts: 1600000 | #Constraints: 36415
2274.07/2281.52 c #Conflicts: 1601000 | #Constraints: 37415
2274.07/2281.52 c #Conflicts: 1602000 | #Constraints: 38415
2274.07/2281.52 c #Conflicts: 1603000 | #Constraints: 39415
2274.07/2281.52 c #Conflicts: 1604000 | #Constraints: 40415
2274.07/2281.52 c #Conflicts: 1605000 | #Constraints: 41415
2274.07/2281.52 c #Conflicts: 1606000 | #Constraints: 42415
2274.07/2281.52 c #Conflicts: 1607000 | #Constraints: 43415
2274.07/2281.52 c #Conflicts: 1608000 | #Constraints: 44415
2274.07/2281.52 c #Conflicts: 1609000 | #Constraints: 45415
2274.07/2281.52 c #Conflicts: 1610000 | #Constraints: 46415
2274.07/2281.52 c #Conflicts: 1611000 | #Constraints: 47415
2274.07/2281.52 c #Conflicts: 1612000 | #Constraints: 48415
2274.07/2281.52 c #Conflicts: 1613000 | #Constraints: 49415
2274.07/2281.52 c #Conflicts: 1614000 | #Constraints: 50415
2274.07/2281.52 c #Conflicts: 1615000 | #Constraints: 51415
2274.07/2281.52 c #Conflicts: 1616000 | #Constraints: 52415
2274.07/2281.52 c INPROCESSING
2274.07/2281.52 c GARBAGE COLLECT
2274.07/2281.52 c #Conflicts: 1617000 | #Constraints: 28264
2274.07/2281.52 c #Conflicts: 1618000 | #Constraints: 29264
2274.07/2281.52 c #Conflicts: 1619000 | #Constraints: 30264
2274.07/2281.52 c #Conflicts: 1620000 | #Constraints: 31264
2274.07/2281.52 c #Conflicts: 1621000 | #Constraints: 32264
2274.07/2281.52 c #Conflicts: 1622000 | #Constraints: 33264
2274.07/2281.52 c #Conflicts: 1623000 | #Constraints: 34264
2274.07/2281.52 c #Conflicts: 1624000 | #Constraints: 35264
2274.07/2281.52 c #Conflicts: 1625000 | #Constraints: 36264
2274.07/2281.52 c #Conflicts: 1626000 | #Constraints: 37264
2274.07/2281.52 c #Conflicts: 1627000 | #Constraints: 38264
2274.07/2281.52 c #Conflicts: 1628000 | #Constraints: 39264
2274.07/2281.52 c #Conflicts: 1629000 | #Constraints: 40264
2274.07/2281.52 c #Conflicts: 1630000 | #Constraints: 41264
2274.07/2281.52 c #Conflicts: 1631000 | #Constraints: 42264
2274.07/2281.52 c #Conflicts: 1632000 | #Constraints: 43264
2274.07/2281.52 c #Conflicts: 1633000 | #Constraints: 44264
2274.07/2281.52 c #Conflicts: 1634000 | #Constraints: 45264
2274.07/2281.52 c #Conflicts: 1635000 | #Constraints: 46264
2274.07/2281.52 c #Conflicts: 1636000 | #Constraints: 47264
2274.07/2281.52 c #Conflicts: 1637000 | #Constraints: 48264
2274.07/2281.52 c #Conflicts: 1638000 | #Constraints: 49264
2274.07/2281.52 c #Conflicts: 1639000 | #Constraints: 50264
2274.07/2281.52 c #Conflicts: 1640000 | #Constraints: 51264
2274.07/2281.52 c #Conflicts: 1641000 | #Constraints: 52264
2274.07/2281.52 c #Conflicts: 1642000 | #Constraints: 53264
2274.07/2281.52 c INPROCESSING
2274.07/2281.52 c GARBAGE COLLECT
2274.07/2281.52 c #Conflicts: 1643000 | #Constraints: 28857
2274.07/2281.52 c #Conflicts: 1644000 | #Constraints: 29857
2274.07/2281.52 c #Conflicts: 1645000 | #Constraints: 30857
2274.07/2281.52 c #Conflicts: 1646000 | #Constraints: 31857
2274.07/2281.52 c #Conflicts: 1647000 | #Constraints: 32857
2274.07/2281.52 c #Conflicts: 1648000 | #Constraints: 33857
2274.07/2281.52 c #Conflicts: 1649000 | #Constraints: 34857
2274.07/2281.52 c #Conflicts: 1650000 | #Constraints: 35857
2274.07/2281.52 c #Conflicts: 1651000 | #Constraints: 36857
2274.07/2281.52 c #Conflicts: 1652000 | #Constraints: 37857
2274.07/2281.52 c #Conflicts: 1653000 | #Constraints: 38857
2274.07/2281.52 c #Conflicts: 1654000 | #Constraints: 39857
2274.07/2281.52 c #Conflicts: 1655000 | #Constraints: 40857
2274.07/2281.52 c #Conflicts: 1656000 | #Constraints: 41857
2274.07/2281.52 c #Conflicts: 1657000 | #Constraints: 42857
2274.07/2281.52 c #Conflicts: 1658000 | #Constraints: 43857
2274.07/2281.52 c #Conflicts: 1659000 | #Constraints: 44857
2274.07/2281.52 c #Conflicts: 1660000 | #Constraints: 45857
2274.07/2281.52 c #Conflicts: 1661000 | #Constraints: 46857
2274.07/2281.52 c #Conflicts: 1662000 | #Constraints: 47857
2274.07/2281.52 c #Conflicts: 1663000 | #Constraints: 48857
2274.07/2281.52 c #Conflicts: 1664000 | #Constraints: 49857
2274.07/2281.52 c #Conflicts: 1665000 | #Constraints: 50857
2274.07/2281.52 c #Conflicts: 1666000 | #Constraints: 51857
2274.07/2281.52 c #Conflicts: 1667000 | #Constraints: 52857
2464.26/2472.39 c #Conflicts: 1668000 | #Constraints: 53857
2464.26/2472.39 c INPROCESSING
2464.26/2472.39 c GARBAGE COLLECT
2464.26/2472.39 c #Conflicts: 1669000 | #Constraints: 29273
2464.26/2472.39 c #Conflicts: 1670000 | #Constraints: 30273
2464.26/2472.39 c #Conflicts: 1671000 | #Constraints: 31273
2464.26/2472.39 c #Conflicts: 1672000 | #Constraints: 32273
2464.26/2472.39 c #Conflicts: 1673000 | #Constraints: 33273
2464.26/2472.39 c #Conflicts: 1674000 | #Constraints: 34273
2464.26/2472.39 c #Conflicts: 1675000 | #Constraints: 35273
2464.26/2472.39 c #Conflicts: 1676000 | #Constraints: 36273
2464.26/2472.39 c #Conflicts: 1677000 | #Constraints: 37273
2464.26/2472.39 c #Conflicts: 1678000 | #Constraints: 38273
2464.26/2472.39 c #Conflicts: 1679000 | #Constraints: 39273
2464.26/2472.39 c #Conflicts: 1680000 | #Constraints: 40273
2464.26/2472.39 c #Conflicts: 1681000 | #Constraints: 41273
2464.26/2472.39 c #Conflicts: 1682000 | #Constraints: 42273
2464.26/2472.39 c #Conflicts: 1683000 | #Constraints: 43273
2464.26/2472.39 c #Conflicts: 1684000 | #Constraints: 44273
2464.26/2472.39 c #Conflicts: 1685000 | #Constraints: 45273
2464.26/2472.39 c #Conflicts: 1686000 | #Constraints: 46273
2464.26/2472.39 c #Conflicts: 1687000 | #Constraints: 47273
2464.26/2472.39 c #Conflicts: 1688000 | #Constraints: 48273
2464.26/2472.39 c #Conflicts: 1689000 | #Constraints: 49273
2464.26/2472.39 c #Conflicts: 1690000 | #Constraints: 50273
2464.26/2472.39 c #Conflicts: 1691000 | #Constraints: 51273
2464.26/2472.39 c #Conflicts: 1692000 | #Constraints: 52273
2464.26/2472.39 c #Conflicts: 1693000 | #Constraints: 53273
2464.26/2472.39 c #Conflicts: 1694000 | #Constraints: 54273
2464.26/2472.39 c INPROCESSING
2464.26/2472.39 c GARBAGE COLLECT
2464.26/2472.39 c #Conflicts: 1695000 | #Constraints: 29464
2464.26/2472.39 c #Conflicts: 1696000 | #Constraints: 30464
2464.26/2472.39 c #Conflicts: 1697000 | #Constraints: 31464
2464.26/2472.39 c #Conflicts: 1698000 | #Constraints: 32464
2464.26/2472.39 c #Conflicts: 1699000 | #Constraints: 33464
2464.26/2472.39 c #Conflicts: 1700000 | #Constraints: 34464
2464.26/2472.39 c #Conflicts: 1701000 | #Constraints: 35464
2464.26/2472.39 c #Conflicts: 1702000 | #Constraints: 36464
2464.26/2472.39 c #Conflicts: 1703000 | #Constraints: 37464
2464.26/2472.39 c #Conflicts: 1704000 | #Constraints: 38464
2464.26/2472.39 c #Conflicts: 1705000 | #Constraints: 39464
2464.26/2472.39 c #Conflicts: 1706000 | #Constraints: 40464
2464.26/2472.39 c #Conflicts: 1707000 | #Constraints: 41464
2464.26/2472.39 c #Conflicts: 1708000 | #Constraints: 42464
2464.26/2472.39 c #Conflicts: 1709000 | #Constraints: 43464
2464.26/2472.39 c #Conflicts: 1710000 | #Constraints: 44464
2464.26/2472.39 c #Conflicts: 1711000 | #Constraints: 45464
2464.26/2472.39 c #Conflicts: 1712000 | #Constraints: 46464
2464.26/2472.39 c #Conflicts: 1713000 | #Constraints: 47464
2464.26/2472.39 c #Conflicts: 1714000 | #Constraints: 48464
2464.26/2472.39 c #Conflicts: 1715000 | #Constraints: 49464
2464.26/2472.39 c #Conflicts: 1716000 | #Constraints: 50464
2464.26/2472.39 c #Conflicts: 1717000 | #Constraints: 51464
2464.26/2472.39 c #Conflicts: 1718000 | #Constraints: 52464
2464.26/2472.39 c #Conflicts: 1719000 | #Constraints: 53464
2464.26/2472.39 c #Conflicts: 1720000 | #Constraints: 54464
2464.26/2472.39 c INPROCESSING
2464.26/2472.39 c GARBAGE COLLECT
2464.26/2472.39 c #Conflicts: 1721000 | #Constraints: 29474
2464.26/2472.39 c #Conflicts: 1722000 | #Constraints: 30474
2464.26/2472.39 c #Conflicts: 1723000 | #Constraints: 31474
2464.26/2472.39 c #Conflicts: 1724000 | #Constraints: 32474
2464.26/2472.39 c #Conflicts: 1725000 | #Constraints: 33474
2464.26/2472.39 c #Conflicts: 1726000 | #Constraints: 34474
2464.26/2472.39 c #Conflicts: 1727000 | #Constraints: 35474
2464.26/2472.39 c #Conflicts: 1728000 | #Constraints: 36474
2464.26/2472.39 c #Conflicts: 1729000 | #Constraints: 37474
2464.26/2472.39 c #Conflicts: 1730000 | #Constraints: 38474
2464.26/2472.39 c #Conflicts: 1731000 | #Constraints: 39474
2464.26/2472.39 c #Conflicts: 1732000 | #Constraints: 40474
2464.26/2472.39 c #Conflicts: 1733000 | #Constraints: 41474
2464.26/2472.39 c #Conflicts: 1734000 | #Constraints: 42474
2464.26/2472.39 c #Conflicts: 1735000 | #Constraints: 43474
2464.26/2472.39 c #Conflicts: 1736000 | #Constraints: 44474
2464.26/2472.39 c #Conflicts: 1737000 | #Constraints: 45474
2464.26/2472.39 c #Conflicts: 1738000 | #Constraints: 46474
2464.26/2472.39 c #Conflicts: 1739000 | #Constraints: 47474
2464.26/2472.39 c #Conflicts: 1740000 | #Constraints: 48474
2464.26/2472.39 c #Conflicts: 1741000 | #Constraints: 49474
2464.26/2472.39 c #Conflicts: 1742000 | #Constraints: 50474
2464.26/2472.39 c #Conflicts: 1743000 | #Constraints: 51474
2464.26/2472.39 c #Conflicts: 1744000 | #Constraints: 52474
2651.54/2660.24 c #Conflicts: 1745000 | #Constraints: 53474
2651.54/2660.24 c #Conflicts: 1746000 | #Constraints: 54474
2651.54/2660.24 c INPROCESSING
2651.54/2660.24 c GARBAGE COLLECT
2651.54/2660.24 c #Conflicts: 1747000 | #Constraints: 29268
2651.54/2660.24 c #Conflicts: 1748000 | #Constraints: 30268
2651.54/2660.24 c #Conflicts: 1749000 | #Constraints: 31268
2651.54/2660.24 c #Conflicts: 1750000 | #Constraints: 32268
2651.54/2660.24 c #Conflicts: 1751000 | #Constraints: 33268
2651.54/2660.24 c #Conflicts: 1752000 | #Constraints: 34268
2651.54/2660.24 c #Conflicts: 1753000 | #Constraints: 35268
2651.54/2660.24 c #Conflicts: 1754000 | #Constraints: 36268
2651.54/2660.24 c #Conflicts: 1755000 | #Constraints: 37268
2651.54/2660.24 c #Conflicts: 1756000 | #Constraints: 38268
2651.54/2660.24 c #Conflicts: 1757000 | #Constraints: 39268
2651.54/2660.24 c #Conflicts: 1758000 | #Constraints: 40268
2651.54/2660.24 c #Conflicts: 1759000 | #Constraints: 41268
2651.54/2660.24 c #Conflicts: 1760000 | #Constraints: 42268
2651.54/2660.24 c #Conflicts: 1761000 | #Constraints: 43268
2651.54/2660.24 c #Conflicts: 1762000 | #Constraints: 44268
2651.54/2660.24 c #Conflicts: 1763000 | #Constraints: 45268
2651.54/2660.24 c #Conflicts: 1764000 | #Constraints: 46268
2651.54/2660.24 c #Conflicts: 1765000 | #Constraints: 47268
2651.54/2660.24 c #Conflicts: 1766000 | #Constraints: 48268
2651.54/2660.24 c #Conflicts: 1767000 | #Constraints: 49268
2651.54/2660.24 c #Conflicts: 1768000 | #Constraints: 50268
2651.54/2660.24 c #Conflicts: 1769000 | #Constraints: 51268
2651.54/2660.24 c #Conflicts: 1770000 | #Constraints: 52268
2651.54/2660.24 c #Conflicts: 1771000 | #Constraints: 53268
2651.54/2660.24 c #Conflicts: 1772000 | #Constraints: 54268
2651.54/2660.24 c #Conflicts: 1773000 | #Constraints: 55268
2651.54/2660.24 c INPROCESSING
2651.54/2660.24 c GARBAGE COLLECT
2651.54/2660.24 c #Conflicts: 1774000 | #Constraints: 29902
2651.54/2660.24 c #Conflicts: 1775000 | #Constraints: 30902
2651.54/2660.24 c #Conflicts: 1776000 | #Constraints: 31902
2651.54/2660.24 c #Conflicts: 1777000 | #Constraints: 32902
2651.54/2660.24 c #Conflicts: 1778000 | #Constraints: 33902
2651.54/2660.24 c #Conflicts: 1779000 | #Constraints: 34902
2651.54/2660.24 c #Conflicts: 1780000 | #Constraints: 35902
2651.54/2660.24 c #Conflicts: 1781000 | #Constraints: 36902
2651.54/2660.24 c #Conflicts: 1782000 | #Constraints: 37902
2651.54/2660.24 c #Conflicts: 1783000 | #Constraints: 38902
2651.54/2660.24 c #Conflicts: 1784000 | #Constraints: 39902
2651.54/2660.24 c #Conflicts: 1785000 | #Constraints: 40902
2651.54/2660.24 c #Conflicts: 1786000 | #Constraints: 41902
2651.54/2660.24 c bounds 23978 >= 6318 @ 2534.8
2651.54/2660.24 c #Conflicts: 1787000 | #Constraints: 42903
2651.54/2660.24 c #Conflicts: 1788000 | #Constraints: 43903
2651.54/2660.24 c #Conflicts: 1789000 | #Constraints: 44903
2651.54/2660.24 c #Conflicts: 1790000 | #Constraints: 45903
2651.54/2660.24 c #Conflicts: 1791000 | #Constraints: 46903
2651.54/2660.24 c #Conflicts: 1792000 | #Constraints: 47903
2651.54/2660.24 c #Conflicts: 1793000 | #Constraints: 48903
2651.54/2660.24 c #Conflicts: 1794000 | #Constraints: 49903
2651.54/2660.24 c #Conflicts: 1795000 | #Constraints: 50903
2651.54/2660.24 c #Conflicts: 1796000 | #Constraints: 51903
2651.54/2660.24 c #Conflicts: 1797000 | #Constraints: 52903
2651.54/2660.24 c #Conflicts: 1798000 | #Constraints: 53903
2651.54/2660.24 c #Conflicts: 1799000 | #Constraints: 54903
2651.54/2660.24 c #Conflicts: 1800000 | #Constraints: 55903
2651.54/2660.24 c INPROCESSING
2651.54/2660.24 c GARBAGE COLLECT
2651.54/2660.24 c #Conflicts: 1801000 | #Constraints: 30252
2651.54/2660.24 c #Conflicts: 1802000 | #Constraints: 31252
2651.54/2660.24 c #Conflicts: 1803000 | #Constraints: 32252
2651.54/2660.24 c #Conflicts: 1804000 | #Constraints: 33252
2651.54/2660.24 c #Conflicts: 1805000 | #Constraints: 34252
2651.54/2660.24 c #Conflicts: 1806000 | #Constraints: 35252
2651.54/2660.24 c #Conflicts: 1807000 | #Constraints: 36252
2651.54/2660.24 c #Conflicts: 1808000 | #Constraints: 37252
2651.54/2660.24 c #Conflicts: 1809000 | #Constraints: 38252
2651.54/2660.24 c #Conflicts: 1810000 | #Constraints: 39252
2651.54/2660.24 c #Conflicts: 1811000 | #Constraints: 40252
2651.54/2660.24 c #Conflicts: 1812000 | #Constraints: 41252
2651.54/2660.24 c #Conflicts: 1813000 | #Constraints: 42252
2651.54/2660.24 c #Conflicts: 1814000 | #Constraints: 43252
2651.54/2660.24 c #Conflicts: 1815000 | #Constraints: 44252
2651.54/2660.24 c #Conflicts: 1816000 | #Constraints: 45252
2651.54/2660.24 c #Conflicts: 1817000 | #Constraints: 46252
2651.54/2660.24 c #Conflicts: 1818000 | #Constraints: 47252
2651.54/2660.24 c #Conflicts: 1819000 | #Constraints: 48252
2651.54/2660.24 c #Conflicts: 1820000 | #Constraints: 49252
2811.52/2820.71 c #Conflicts: 1821000 | #Constraints: 50252
2811.52/2820.71 c #Conflicts: 1822000 | #Constraints: 51252
2811.52/2820.71 c #Conflicts: 1823000 | #Constraints: 52252
2811.52/2820.71 c #Conflicts: 1824000 | #Constraints: 53252
2811.52/2820.71 c #Conflicts: 1825000 | #Constraints: 54252
2811.52/2820.71 c #Conflicts: 1826000 | #Constraints: 55252
2811.52/2820.71 c #Conflicts: 1827000 | #Constraints: 56252
2811.52/2820.71 c INPROCESSING
2811.52/2820.71 c GARBAGE COLLECT
2811.52/2820.71 c #Conflicts: 1828000 | #Constraints: 30402
2811.52/2820.71 c #Conflicts: 1829000 | #Constraints: 31402
2811.52/2820.71 c #Conflicts: 1830000 | #Constraints: 32402
2811.52/2820.71 c #Conflicts: 1831000 | #Constraints: 33402
2811.52/2820.71 c #Conflicts: 1832000 | #Constraints: 34402
2811.52/2820.71 c #Conflicts: 1833000 | #Constraints: 35402
2811.52/2820.71 c #Conflicts: 1834000 | #Constraints: 36402
2811.52/2820.71 c #Conflicts: 1835000 | #Constraints: 37402
2811.52/2820.71 c #Conflicts: 1836000 | #Constraints: 38402
2811.52/2820.71 c #Conflicts: 1837000 | #Constraints: 39402
2811.52/2820.71 c #Conflicts: 1838000 | #Constraints: 40402
2811.52/2820.71 c #Conflicts: 1839000 | #Constraints: 41402
2811.52/2820.71 c #Conflicts: 1840000 | #Constraints: 42402
2811.52/2820.71 c #Conflicts: 1841000 | #Constraints: 43402
2811.52/2820.71 c #Conflicts: 1842000 | #Constraints: 44402
2811.52/2820.71 c #Conflicts: 1843000 | #Constraints: 45402
2811.52/2820.71 c #Conflicts: 1844000 | #Constraints: 46402
2811.52/2820.71 c #Conflicts: 1845000 | #Constraints: 47402
2811.52/2820.71 c #Conflicts: 1846000 | #Constraints: 48402
2811.52/2820.71 c #Conflicts: 1847000 | #Constraints: 49402
2811.52/2820.71 c #Conflicts: 1848000 | #Constraints: 50402
2811.52/2820.71 c #Conflicts: 1849000 | #Constraints: 51402
2811.52/2820.71 c #Conflicts: 1850000 | #Constraints: 52402
2811.52/2820.71 c #Conflicts: 1851000 | #Constraints: 53402
2811.52/2820.71 c #Conflicts: 1852000 | #Constraints: 54402
2811.52/2820.71 c #Conflicts: 1853000 | #Constraints: 55402
2811.52/2820.71 c #Conflicts: 1854000 | #Constraints: 56402
2811.52/2820.71 c INPROCESSING
2811.52/2820.71 c GARBAGE COLLECT
2811.52/2820.71 c #Conflicts: 1855000 | #Constraints: 30444
2811.52/2820.71 c #Conflicts: 1856000 | #Constraints: 31444
2811.52/2820.71 c #Conflicts: 1857000 | #Constraints: 32444
2811.52/2820.71 c #Conflicts: 1858000 | #Constraints: 33444
2811.52/2820.71 c #Conflicts: 1859000 | #Constraints: 34444
2811.52/2820.71 c #Conflicts: 1860000 | #Constraints: 35444
2811.52/2820.71 c #Conflicts: 1861000 | #Constraints: 36444
2811.52/2820.71 c #Conflicts: 1862000 | #Constraints: 37444
2811.52/2820.71 c #Conflicts: 1863000 | #Constraints: 38444
2811.52/2820.71 c #Conflicts: 1864000 | #Constraints: 39444
2811.52/2820.71 c #Conflicts: 1865000 | #Constraints: 40444
2811.52/2820.71 c #Conflicts: 1866000 | #Constraints: 41444
2811.52/2820.71 c #Conflicts: 1867000 | #Constraints: 42444
2811.52/2820.71 c #Conflicts: 1868000 | #Constraints: 43444
2811.52/2820.71 c #Conflicts: 1869000 | #Constraints: 44444
2811.52/2820.71 c #Conflicts: 1870000 | #Constraints: 45444
2811.52/2820.71 c #Conflicts: 1871000 | #Constraints: 46444
2811.52/2820.71 c #Conflicts: 1872000 | #Constraints: 47444
2811.52/2820.71 c #Conflicts: 1873000 | #Constraints: 48444
2811.52/2820.71 c #Conflicts: 1874000 | #Constraints: 49444
2811.52/2820.71 c #Conflicts: 1875000 | #Constraints: 50444
2811.52/2820.71 c #Conflicts: 1876000 | #Constraints: 51444
2811.52/2820.71 c #Conflicts: 1877000 | #Constraints: 52444
2811.52/2820.71 c #Conflicts: 1878000 | #Constraints: 53444
2811.52/2820.71 c #Conflicts: 1879000 | #Constraints: 54444
2811.52/2820.71 c #Conflicts: 1880000 | #Constraints: 55444
2811.52/2820.71 c #Conflicts: 1881000 | #Constraints: 56444
2811.52/2820.71 c INPROCESSING
2811.52/2820.71 c GARBAGE COLLECT
2811.52/2820.71 c #Conflicts: 1882000 | #Constraints: 30208
2811.52/2820.71 c #Conflicts: 1883000 | #Constraints: 31208
2811.52/2820.71 c #Conflicts: 1884000 | #Constraints: 32208
2811.52/2820.71 c #Conflicts: 1885000 | #Constraints: 33208
2811.52/2820.71 c #Conflicts: 1886000 | #Constraints: 34208
2811.52/2820.71 c #Conflicts: 1887000 | #Constraints: 35208
2811.52/2820.71 c #Conflicts: 1888000 | #Constraints: 36208
2811.52/2820.71 c #Conflicts: 1889000 | #Constraints: 37208
2811.52/2820.71 c #Conflicts: 1890000 | #Constraints: 38208
2811.52/2820.71 c #Conflicts: 1891000 | #Constraints: 39208
2811.52/2820.71 c #Conflicts: 1892000 | #Constraints: 40208
2811.52/2820.71 c #Conflicts: 1893000 | #Constraints: 41208
2811.52/2820.71 c #Conflicts: 1894000 | #Constraints: 42208
2811.52/2820.71 c #Conflicts: 1895000 | #Constraints: 43208
2811.52/2820.71 c #Conflicts: 1896000 | #Constraints: 44208
2811.52/2820.71 c #Conflicts: 1897000 | #Constraints: 45208
3048.15/3058.14 c #Conflicts: 1898000 | #Constraints: 46208
3048.15/3058.14 c #Conflicts: 1899000 | #Constraints: 47208
3048.15/3058.14 c #Conflicts: 1900000 | #Constraints: 48208
3048.15/3058.14 c #Conflicts: 1901000 | #Constraints: 49208
3048.15/3058.14 c #Conflicts: 1902000 | #Constraints: 50208
3048.15/3058.14 c #Conflicts: 1903000 | #Constraints: 51208
3048.15/3058.14 c #Conflicts: 1904000 | #Constraints: 52208
3048.15/3058.14 c #Conflicts: 1905000 | #Constraints: 53208
3048.15/3058.14 c #Conflicts: 1906000 | #Constraints: 54208
3048.15/3058.14 c #Conflicts: 1907000 | #Constraints: 55208
3048.15/3058.14 c #Conflicts: 1908000 | #Constraints: 56208
3048.15/3058.14 c #Conflicts: 1909000 | #Constraints: 57208
3048.15/3058.14 c INPROCESSING
3048.15/3058.14 c GARBAGE COLLECT
3048.15/3058.14 c #Conflicts: 1910000 | #Constraints: 30816
3048.15/3058.14 c #Conflicts: 1911000 | #Constraints: 31816
3048.15/3058.14 c #Conflicts: 1912000 | #Constraints: 32816
3048.15/3058.14 c #Conflicts: 1913000 | #Constraints: 33816
3048.15/3058.14 c #Conflicts: 1914000 | #Constraints: 34816
3048.15/3058.14 c #Conflicts: 1915000 | #Constraints: 35816
3048.15/3058.14 c #Conflicts: 1916000 | #Constraints: 36816
3048.15/3058.14 c #Conflicts: 1917000 | #Constraints: 37816
3048.15/3058.14 c #Conflicts: 1918000 | #Constraints: 38816
3048.15/3058.14 c #Conflicts: 1919000 | #Constraints: 39816
3048.15/3058.14 c #Conflicts: 1920000 | #Constraints: 40816
3048.15/3058.14 c #Conflicts: 1921000 | #Constraints: 41816
3048.15/3058.14 c #Conflicts: 1922000 | #Constraints: 42816
3048.15/3058.14 c #Conflicts: 1923000 | #Constraints: 43816
3048.15/3058.14 c #Conflicts: 1924000 | #Constraints: 44816
3048.15/3058.14 c #Conflicts: 1925000 | #Constraints: 45816
3048.15/3058.14 c #Conflicts: 1926000 | #Constraints: 46816
3048.15/3058.14 c #Conflicts: 1927000 | #Constraints: 47816
3048.15/3058.14 c #Conflicts: 1928000 | #Constraints: 48816
3048.15/3058.14 c #Conflicts: 1929000 | #Constraints: 49816
3048.15/3058.14 c #Conflicts: 1930000 | #Constraints: 50816
3048.15/3058.14 c #Conflicts: 1931000 | #Constraints: 51816
3048.15/3058.14 c #Conflicts: 1932000 | #Constraints: 52816
3048.15/3058.14 c #Conflicts: 1933000 | #Constraints: 53816
3048.15/3058.14 c #Conflicts: 1934000 | #Constraints: 54816
3048.15/3058.14 c #Conflicts: 1935000 | #Constraints: 55816
3048.15/3058.14 c #Conflicts: 1936000 | #Constraints: 56816
3048.15/3058.14 c #Conflicts: 1937000 | #Constraints: 57816
3048.15/3058.14 c INPROCESSING
3048.15/3058.14 c GARBAGE COLLECT
3048.15/3058.14 c #Conflicts: 1938000 | #Constraints: 31216
3048.15/3058.14 c #Conflicts: 1939000 | #Constraints: 32216
3048.15/3058.14 c #Conflicts: 1940000 | #Constraints: 33216
3048.15/3058.14 c #Conflicts: 1941000 | #Constraints: 34216
3048.15/3058.14 c #Conflicts: 1942000 | #Constraints: 35216
3048.15/3058.14 c #Conflicts: 1943000 | #Constraints: 36216
3048.15/3058.14 c #Conflicts: 1944000 | #Constraints: 37216
3048.15/3058.14 c #Conflicts: 1945000 | #Constraints: 38216
3048.15/3058.14 c #Conflicts: 1946000 | #Constraints: 39216
3048.15/3058.14 c #Conflicts: 1947000 | #Constraints: 40216
3048.15/3058.14 c #Conflicts: 1948000 | #Constraints: 41216
3048.15/3058.14 c #Conflicts: 1949000 | #Constraints: 42216
3048.15/3058.14 c #Conflicts: 1950000 | #Constraints: 43216
3048.15/3058.14 c #Conflicts: 1951000 | #Constraints: 44216
3048.15/3058.14 c #Conflicts: 1952000 | #Constraints: 45216
3048.15/3058.14 c #Conflicts: 1953000 | #Constraints: 46216
3048.15/3058.14 c #Conflicts: 1954000 | #Constraints: 47216
3048.15/3058.14 c #Conflicts: 1955000 | #Constraints: 48216
3048.15/3058.14 c #Conflicts: 1956000 | #Constraints: 49216
3048.15/3058.14 c #Conflicts: 1957000 | #Constraints: 50216
3048.15/3058.14 c #Conflicts: 1958000 | #Constraints: 51216
3048.15/3058.14 c #Conflicts: 1959000 | #Constraints: 52216
3048.15/3058.14 c #Conflicts: 1960000 | #Constraints: 53216
3048.15/3058.14 c #Conflicts: 1961000 | #Constraints: 54216
3048.15/3058.14 c #Conflicts: 1962000 | #Constraints: 55216
3048.15/3058.14 c #Conflicts: 1963000 | #Constraints: 56216
3048.15/3058.14 c #Conflicts: 1964000 | #Constraints: 57216
3048.15/3058.14 c #Conflicts: 1965000 | #Constraints: 58216
3048.15/3058.14 c INPROCESSING
3048.15/3058.14 c GARBAGE COLLECT
3048.15/3058.14 c #Conflicts: 1966000 | #Constraints: 31424
3048.15/3058.14 c #Conflicts: 1967000 | #Constraints: 32424
3048.15/3058.14 c #Conflicts: 1968000 | #Constraints: 33424
3048.15/3058.14 c #Conflicts: 1969000 | #Constraints: 34424
3048.15/3058.14 c #Conflicts: 1970000 | #Constraints: 35424
3048.15/3058.14 c #Conflicts: 1971000 | #Constraints: 36424
3048.15/3058.14 c #Conflicts: 1972000 | #Constraints: 37424
3048.15/3058.14 c #Conflicts: 1973000 | #Constraints: 38424
3048.15/3058.14 c #Conflicts: 1974000 | #Constraints: 39424
3224.57/3235.11 c #Conflicts: 1975000 | #Constraints: 40424
3224.57/3235.11 c #Conflicts: 1976000 | #Constraints: 41424
3224.57/3235.11 c #Conflicts: 1977000 | #Constraints: 42424
3224.57/3235.11 c #Conflicts: 1978000 | #Constraints: 43424
3224.57/3235.11 c #Conflicts: 1979000 | #Constraints: 44424
3224.57/3235.11 c #Conflicts: 1980000 | #Constraints: 45424
3224.57/3235.11 c #Conflicts: 1981000 | #Constraints: 46424
3224.57/3235.11 c #Conflicts: 1982000 | #Constraints: 47424
3224.57/3235.11 c #Conflicts: 1983000 | #Constraints: 48424
3224.57/3235.11 c #Conflicts: 1984000 | #Constraints: 49424
3224.57/3235.11 c #Conflicts: 1985000 | #Constraints: 50424
3224.57/3235.11 c #Conflicts: 1986000 | #Constraints: 51424
3224.57/3235.11 c #Conflicts: 1987000 | #Constraints: 52424
3224.57/3235.11 c #Conflicts: 1988000 | #Constraints: 53424
3224.57/3235.11 c #Conflicts: 1989000 | #Constraints: 54424
3224.57/3235.11 c #Conflicts: 1990000 | #Constraints: 55424
3224.57/3235.11 c #Conflicts: 1991000 | #Constraints: 56424
3224.57/3235.11 c #Conflicts: 1992000 | #Constraints: 57424
3224.57/3235.11 c #Conflicts: 1993000 | #Constraints: 58424
3224.57/3235.11 c INPROCESSING
3224.57/3235.11 c GARBAGE COLLECT
3224.57/3235.11 c #Conflicts: 1994000 | #Constraints: 31424
3224.57/3235.11 c #Conflicts: 1995000 | #Constraints: 32424
3224.57/3235.11 c #Conflicts: 1996000 | #Constraints: 33424
3224.57/3235.11 c #Conflicts: 1997000 | #Constraints: 34424
3224.57/3235.11 c #Conflicts: 1998000 | #Constraints: 35424
3224.57/3235.11 c #Conflicts: 1999000 | #Constraints: 36424
3224.57/3235.11 c #Conflicts: 2000000 | #Constraints: 37424
3224.57/3235.11 c #Conflicts: 2001000 | #Constraints: 38424
3224.57/3235.11 c #Conflicts: 2002000 | #Constraints: 39424
3224.57/3235.11 c #Conflicts: 2003000 | #Constraints: 40424
3224.57/3235.11 c #Conflicts: 2004000 | #Constraints: 41424
3224.57/3235.11 c #Conflicts: 2005000 | #Constraints: 42424
3224.57/3235.11 c #Conflicts: 2006000 | #Constraints: 43424
3224.57/3235.11 c #Conflicts: 2007000 | #Constraints: 44424
3224.57/3235.11 c #Conflicts: 2008000 | #Constraints: 45424
3224.57/3235.11 c #Conflicts: 2009000 | #Constraints: 46424
3224.57/3235.11 c #Conflicts: 2010000 | #Constraints: 47424
3224.57/3235.11 c #Conflicts: 2011000 | #Constraints: 48424
3224.57/3235.11 c #Conflicts: 2012000 | #Constraints: 49424
3224.57/3235.11 c #Conflicts: 2013000 | #Constraints: 50424
3224.57/3235.11 c #Conflicts: 2014000 | #Constraints: 51424
3224.57/3235.11 c #Conflicts: 2015000 | #Constraints: 52424
3224.57/3235.11 c #Conflicts: 2016000 | #Constraints: 53424
3224.57/3235.11 c #Conflicts: 2017000 | #Constraints: 54424
3224.57/3235.11 c #Conflicts: 2018000 | #Constraints: 55424
3224.57/3235.11 c #Conflicts: 2019000 | #Constraints: 56424
3224.57/3235.11 c #Conflicts: 2020000 | #Constraints: 57424
3224.57/3235.11 c #Conflicts: 2021000 | #Constraints: 58424
3224.57/3235.11 c INPROCESSING
3224.57/3235.11 c GARBAGE COLLECT
3224.57/3235.11 c #Conflicts: 2022000 | #Constraints: 31249
3224.57/3235.11 c #Conflicts: 2023000 | #Constraints: 32249
3224.57/3235.11 c #Conflicts: 2024000 | #Constraints: 33249
3224.57/3235.11 c #Conflicts: 2025000 | #Constraints: 34249
3224.57/3235.11 c #Conflicts: 2026000 | #Constraints: 35249
3224.57/3235.11 c #Conflicts: 2027000 | #Constraints: 36249
3224.57/3235.11 c #Conflicts: 2028000 | #Constraints: 37249
3224.57/3235.11 c #Conflicts: 2029000 | #Constraints: 38249
3224.57/3235.11 c #Conflicts: 2030000 | #Constraints: 39249
3224.57/3235.11 c #Conflicts: 2031000 | #Constraints: 40249
3224.57/3235.11 c #Conflicts: 2032000 | #Constraints: 41249
3224.57/3235.11 c #Conflicts: 2033000 | #Constraints: 42249
3224.57/3235.11 c #Conflicts: 2034000 | #Constraints: 43249
3224.57/3235.11 c #Conflicts: 2035000 | #Constraints: 44249
3224.57/3235.11 c #Conflicts: 2036000 | #Constraints: 45249
3224.57/3235.11 c #Conflicts: 2037000 | #Constraints: 46249
3224.57/3235.11 c #Conflicts: 2038000 | #Constraints: 47249
3224.57/3235.11 c #Conflicts: 2039000 | #Constraints: 48249
3224.57/3235.11 c #Conflicts: 2040000 | #Constraints: 49249
3224.57/3235.11 c #Conflicts: 2041000 | #Constraints: 50249
3224.57/3235.11 c #Conflicts: 2042000 | #Constraints: 51249
3224.57/3235.11 c #Conflicts: 2043000 | #Constraints: 52249
3224.57/3235.11 c #Conflicts: 2044000 | #Constraints: 53249
3224.57/3235.11 c #Conflicts: 2045000 | #Constraints: 54249
3224.57/3235.11 c #Conflicts: 2046000 | #Constraints: 55249
3224.57/3235.11 c #Conflicts: 2047000 | #Constraints: 56249
3224.57/3235.11 c #Conflicts: 2048000 | #Constraints: 57249
3224.57/3235.11 c #Conflicts: 2049000 | #Constraints: 58249
3224.57/3235.11 c #Conflicts: 2050000 | #Constraints: 59249
3224.57/3235.11 c INPROCESSING
3224.57/3235.11 c GARBAGE COLLECT
3224.57/3235.11 c #Conflicts: 2051000 | #Constraints: 31846
3331.81/3342.77 c #Conflicts: 2052000 | #Constraints: 32846
3331.81/3342.77 c #Conflicts: 2053000 | #Constraints: 33846
3331.81/3342.77 c #Conflicts: 2054000 | #Constraints: 34846
3331.81/3342.77 c #Conflicts: 2055000 | #Constraints: 35846
3331.81/3342.77 c #Conflicts: 2056000 | #Constraints: 36846
3331.81/3342.77 c #Conflicts: 2057000 | #Constraints: 37846
3331.81/3342.77 c #Conflicts: 2058000 | #Constraints: 38846
3331.81/3342.77 c #Conflicts: 2059000 | #Constraints: 39846
3331.81/3342.77 c #Conflicts: 2060000 | #Constraints: 40846
3331.81/3342.77 c #Conflicts: 2061000 | #Constraints: 41846
3331.81/3342.77 c #Conflicts: 2062000 | #Constraints: 42846
3331.81/3342.77 c #Conflicts: 2063000 | #Constraints: 43846
3331.81/3342.77 c #Conflicts: 2064000 | #Constraints: 44846
3331.81/3342.77 c #Conflicts: 2065000 | #Constraints: 45846
3331.81/3342.77 c #Conflicts: 2066000 | #Constraints: 46846
3331.81/3342.77 c #Conflicts: 2067000 | #Constraints: 47846
3331.81/3342.77 c #Conflicts: 2068000 | #Constraints: 48846
3331.81/3342.77 c #Conflicts: 2069000 | #Constraints: 49846
3331.81/3342.77 c #Conflicts: 2070000 | #Constraints: 50846
3331.81/3342.77 c #Conflicts: 2071000 | #Constraints: 51846
3331.81/3342.77 c #Conflicts: 2072000 | #Constraints: 52846
3331.81/3342.77 c #Conflicts: 2073000 | #Constraints: 53846
3331.81/3342.77 c #Conflicts: 2074000 | #Constraints: 54846
3331.81/3342.77 c #Conflicts: 2075000 | #Constraints: 55846
3331.81/3342.77 c #Conflicts: 2076000 | #Constraints: 56846
3331.81/3342.77 c #Conflicts: 2077000 | #Constraints: 57846
3331.81/3342.77 c #Conflicts: 2078000 | #Constraints: 58846
3331.81/3342.77 c #Conflicts: 2079000 | #Constraints: 59846
3331.81/3342.77 c INPROCESSING
3331.81/3342.77 c GARBAGE COLLECT
3331.81/3342.77 c #Conflicts: 2080000 | #Constraints: 32157
3331.81/3342.77 c #Conflicts: 2081000 | #Constraints: 33157
3331.81/3342.77 c #Conflicts: 2082000 | #Constraints: 34157
3331.81/3342.77 c #Conflicts: 2083000 | #Constraints: 35157
3331.81/3342.77 c #Conflicts: 2084000 | #Constraints: 36157
3331.81/3342.77 c #Conflicts: 2085000 | #Constraints: 37157
3331.81/3342.77 c #Conflicts: 2086000 | #Constraints: 38157
3331.81/3342.77 c #Conflicts: 2087000 | #Constraints: 39157
3331.81/3342.77 c #Conflicts: 2088000 | #Constraints: 40157
3331.81/3342.77 c #Conflicts: 2089000 | #Constraints: 41157
3331.81/3342.77 c #Conflicts: 2090000 | #Constraints: 42157
3331.81/3342.77 c #Conflicts: 2091000 | #Constraints: 43157
3331.81/3342.77 c #Conflicts: 2092000 | #Constraints: 44157
3331.81/3342.77 c #Conflicts: 2093000 | #Constraints: 45157
3331.81/3342.77 c #Conflicts: 2094000 | #Constraints: 46157
3331.81/3342.77 c #Conflicts: 2095000 | #Constraints: 47157
3331.81/3342.77 c #Conflicts: 2096000 | #Constraints: 48157
3331.81/3342.77 c #Conflicts: 2097000 | #Constraints: 49157
3331.81/3342.77 c #Conflicts: 2098000 | #Constraints: 50157
3331.81/3342.77 c #Conflicts: 2099000 | #Constraints: 51157
3331.81/3342.77 c #Conflicts: 2100000 | #Constraints: 52157
3331.81/3342.77 c #Conflicts: 2101000 | #Constraints: 53157
3331.81/3342.77 c #Conflicts: 2102000 | #Constraints: 54157
3331.81/3342.77 c #Conflicts: 2103000 | #Constraints: 55157
3331.81/3342.77 c #Conflicts: 2104000 | #Constraints: 56157
3331.81/3342.77 c #Conflicts: 2105000 | #Constraints: 57157
3331.81/3342.77 c #Conflicts: 2106000 | #Constraints: 58157
3331.81/3342.77 c #Conflicts: 2107000 | #Constraints: 59157
3331.81/3342.77 c #Conflicts: 2108000 | #Constraints: 60157
3331.81/3342.77 c INPROCESSING
3331.81/3342.77 c GARBAGE COLLECT
3331.81/3342.77 c #Conflicts: 2109000 | #Constraints: 32337
3331.81/3342.77 c #Conflicts: 2110000 | #Constraints: 33337
3331.81/3342.77 c #Conflicts: 2111000 | #Constraints: 34337
3331.81/3342.77 c #Conflicts: 2112000 | #Constraints: 35337
3331.81/3342.77 c #Conflicts: 2113000 | #Constraints: 36337
3331.81/3342.77 c #Conflicts: 2114000 | #Constraints: 37337
3331.81/3342.77 c #Conflicts: 2115000 | #Constraints: 38337
3331.81/3342.77 c #Conflicts: 2116000 | #Constraints: 39337
3331.81/3342.77 c #Conflicts: 2117000 | #Constraints: 40337
3331.81/3342.77 c #Conflicts: 2118000 | #Constraints: 41337
3331.81/3342.77 c #Conflicts: 2119000 | #Constraints: 42337
3331.81/3342.77 c #Conflicts: 2120000 | #Constraints: 43337
3331.81/3342.77 c #Conflicts: 2121000 | #Constraints: 44337
3331.81/3342.77 c #Conflicts: 2122000 | #Constraints: 45337
3331.81/3342.77 c #Conflicts: 2123000 | #Constraints: 46337
3331.81/3342.77 c #Conflicts: 2124000 | #Constraints: 47337
3331.81/3342.77 c #Conflicts: 2125000 | #Constraints: 48337
3331.81/3342.77 c #Conflicts: 2126000 | #Constraints: 49337
3331.81/3342.77 c #Conflicts: 2127000 | #Constraints: 50337
3331.81/3342.77 c #Conflicts: 2128000 | #Constraints: 51337
3457.89/3469.20 c #Conflicts: 2129000 | #Constraints: 52337
3457.89/3469.20 c #Conflicts: 2130000 | #Constraints: 53337
3457.89/3469.20 c #Conflicts: 2131000 | #Constraints: 54337
3457.89/3469.20 c #Conflicts: 2132000 | #Constraints: 55337
3457.89/3469.20 c #Conflicts: 2133000 | #Constraints: 56337
3457.89/3469.20 c #Conflicts: 2134000 | #Constraints: 57337
3457.89/3469.20 c #Conflicts: 2135000 | #Constraints: 58337
3457.89/3469.20 c #Conflicts: 2136000 | #Constraints: 59337
3457.89/3469.20 c #Conflicts: 2137000 | #Constraints: 60337
3457.89/3469.20 c INPROCESSING
3457.89/3469.20 c GARBAGE COLLECT
3457.89/3469.20 c #Conflicts: 2138000 | #Constraints: 32304
3457.89/3469.20 c #Conflicts: 2139000 | #Constraints: 33304
3457.89/3469.20 c #Conflicts: 2140000 | #Constraints: 34304
3457.89/3469.20 c #Conflicts: 2141000 | #Constraints: 35304
3457.89/3469.20 c #Conflicts: 2142000 | #Constraints: 36304
3457.89/3469.20 c #Conflicts: 2143000 | #Constraints: 37304
3457.89/3469.20 c #Conflicts: 2144000 | #Constraints: 38304
3457.89/3469.20 c #Conflicts: 2145000 | #Constraints: 39304
3457.89/3469.20 c #Conflicts: 2146000 | #Constraints: 40304
3457.89/3469.20 c #Conflicts: 2147000 | #Constraints: 41304
3457.89/3469.20 c #Conflicts: 2148000 | #Constraints: 42304
3457.89/3469.20 c #Conflicts: 2149000 | #Constraints: 43304
3457.89/3469.20 c #Conflicts: 2150000 | #Constraints: 44304
3457.89/3469.20 c #Conflicts: 2151000 | #Constraints: 45304
3457.89/3469.20 c #Conflicts: 2152000 | #Constraints: 46304
3457.89/3469.20 c #Conflicts: 2153000 | #Constraints: 47304
3457.89/3469.20 c #Conflicts: 2154000 | #Constraints: 48304
3457.89/3469.20 c #Conflicts: 2155000 | #Constraints: 49304
3457.89/3469.20 c #Conflicts: 2156000 | #Constraints: 50304
3457.89/3469.20 c #Conflicts: 2157000 | #Constraints: 51304
3457.89/3469.20 c #Conflicts: 2158000 | #Constraints: 52304
3457.89/3469.20 c #Conflicts: 2159000 | #Constraints: 53304
3457.89/3469.20 c #Conflicts: 2160000 | #Constraints: 54304
3457.89/3469.20 c #Conflicts: 2161000 | #Constraints: 55304
3457.89/3469.20 c #Conflicts: 2162000 | #Constraints: 56304
3457.89/3469.20 c #Conflicts: 2163000 | #Constraints: 57304
3457.89/3469.20 c #Conflicts: 2164000 | #Constraints: 58304
3457.89/3469.20 c #Conflicts: 2165000 | #Constraints: 59304
3457.89/3469.20 c #Conflicts: 2166000 | #Constraints: 60304
3457.89/3469.20 c INPROCESSING
3457.89/3469.20 c GARBAGE COLLECT
3457.89/3469.20 c #Conflicts: 2167000 | #Constraints: 32130
3457.89/3469.20 c #Conflicts: 2168000 | #Constraints: 33130
3457.89/3469.20 c #Conflicts: 2169000 | #Constraints: 34130
3457.89/3469.20 c #Conflicts: 2170000 | #Constraints: 35130
3457.89/3469.20 c #Conflicts: 2171000 | #Constraints: 36130
3457.89/3469.20 c #Conflicts: 2172000 | #Constraints: 37130
3457.89/3469.20 c #Conflicts: 2173000 | #Constraints: 38130
3457.89/3469.20 c #Conflicts: 2174000 | #Constraints: 39130
3457.89/3469.20 c #Conflicts: 2175000 | #Constraints: 40130
3457.89/3469.20 c #Conflicts: 2176000 | #Constraints: 41130
3457.89/3469.20 c #Conflicts: 2177000 | #Constraints: 42130
3457.89/3469.20 c #Conflicts: 2178000 | #Constraints: 43130
3457.89/3469.20 c #Conflicts: 2179000 | #Constraints: 44130
3457.89/3469.20 c #Conflicts: 2180000 | #Constraints: 45130
3457.89/3469.20 c #Conflicts: 2181000 | #Constraints: 46130
3457.89/3469.20 c #Conflicts: 2182000 | #Constraints: 47130
3457.89/3469.20 c #Conflicts: 2183000 | #Constraints: 48130
3457.89/3469.20 c #Conflicts: 2184000 | #Constraints: 49130
3457.89/3469.20 c #Conflicts: 2185000 | #Constraints: 50130
3457.89/3469.20 c #Conflicts: 2186000 | #Constraints: 51130
3457.89/3469.20 c #Conflicts: 2187000 | #Constraints: 52130
3457.89/3469.20 c #Conflicts: 2188000 | #Constraints: 53130
3457.89/3469.20 c #Conflicts: 2189000 | #Constraints: 54130
3457.89/3469.20 c #Conflicts: 2190000 | #Constraints: 55130
3457.89/3469.20 c #Conflicts: 2191000 | #Constraints: 56130
3457.89/3469.20 c #Conflicts: 2192000 | #Constraints: 57130
3457.89/3469.20 c #Conflicts: 2193000 | #Constraints: 58130
3457.89/3469.20 c #Conflicts: 2194000 | #Constraints: 59130
3457.89/3469.20 c #Conflicts: 2195000 | #Constraints: 60130
3457.89/3469.20 c #Conflicts: 2196000 | #Constraints: 61130
3457.89/3469.20 c INPROCESSING
3457.89/3469.20 c GARBAGE COLLECT
3457.89/3469.20 c #Conflicts: 2197000 | #Constraints: 32724
3457.89/3469.20 c #Conflicts: 2198000 | #Constraints: 33724
3457.89/3469.20 c #Conflicts: 2199000 | #Constraints: 34724
3457.89/3469.20 c #Conflicts: 2200000 | #Constraints: 35724
3457.89/3469.20 c #Conflicts: 2201000 | #Constraints: 36724
3457.89/3469.20 c #Conflicts: 2202000 | #Constraints: 37724
3457.89/3469.20 c #Conflicts: 2203000 | #Constraints: 38724
3457.89/3469.20 c #Conflicts: 2204000 | #Constraints: 39724
3457.89/3469.20 c #Conflicts: 2205000 | #Constraints: 40724
3600.02/3611.80 c #Conflicts: 2206000 | #Constraints: 41724
3600.02/3611.80 c #Conflicts: 2207000 | #Constraints: 42724
3600.02/3611.80 c #Conflicts: 2208000 | #Constraints: 43724
3600.02/3611.80 c #Conflicts: 2209000 | #Constraints: 44724
3600.02/3611.80 c #Conflicts: 2210000 | #Constraints: 45724
3600.02/3611.80 c #Conflicts: 2211000 | #Constraints: 46724
3600.02/3611.80 c #Conflicts: 2212000 | #Constraints: 47724
3600.02/3611.80 c #Conflicts: 2213000 | #Constraints: 48724
3600.02/3611.80 c #Conflicts: 2214000 | #Constraints: 49724
3600.02/3611.80 c #Conflicts: 2215000 | #Constraints: 50724
3600.02/3611.80 c #Conflicts: 2216000 | #Constraints: 51724
3600.02/3611.80 c #Conflicts: 2217000 | #Constraints: 52724
3600.02/3611.80 c #Conflicts: 2218000 | #Constraints: 53724
3600.02/3611.80 c #Conflicts: 2219000 | #Constraints: 54724
3600.02/3611.80 c #Conflicts: 2220000 | #Constraints: 55724
3600.02/3611.80 c #Conflicts: 2221000 | #Constraints: 56724
3600.02/3611.80 c #Conflicts: 2222000 | #Constraints: 57724
3600.02/3611.80 c #Conflicts: 2223000 | #Constraints: 58724
3600.02/3611.80 c #Conflicts: 2224000 | #Constraints: 59724
3600.02/3611.80 c #Conflicts: 2225000 | #Constraints: 60724
3600.02/3611.80 c #Conflicts: 2226000 | #Constraints: 61724
3600.02/3611.80 c INPROCESSING
3600.02/3611.80 c GARBAGE COLLECT
3600.02/3611.80 c #Conflicts: 2227000 | #Constraints: 33092
3600.02/3611.80 c #Conflicts: 2228000 | #Constraints: 34092
3600.02/3611.80 c #Conflicts: 2229000 | #Constraints: 35092
3600.02/3611.80 c #Conflicts: 2230000 | #Constraints: 36092
3600.02/3611.80 c #Conflicts: 2231000 | #Constraints: 37092
3600.02/3611.80 c #Conflicts: 2232000 | #Constraints: 38092
3600.02/3611.80 c #Conflicts: 2233000 | #Constraints: 39092
3600.02/3611.80 c #Conflicts: 2234000 | #Constraints: 40092
3600.02/3611.80 c #Conflicts: 2235000 | #Constraints: 41092
3600.02/3611.80 c #Conflicts: 2236000 | #Constraints: 42092
3600.02/3611.80 c #Conflicts: 2237000 | #Constraints: 43092
3600.02/3611.80 c #Conflicts: 2238000 | #Constraints: 44092
3600.02/3611.80 c #Conflicts: 2239000 | #Constraints: 45092
3600.02/3611.80 c #Conflicts: 2240000 | #Constraints: 46092
3600.02/3611.80 c #Conflicts: 2241000 | #Constraints: 47092
3600.02/3611.80 c #Conflicts: 2242000 | #Constraints: 48092
3600.02/3611.80 c #Conflicts: 2243000 | #Constraints: 49092
3600.02/3611.80 c #Conflicts: 2244000 | #Constraints: 50092
3600.02/3611.80 c #Conflicts: 2245000 | #Constraints: 51092
3600.02/3611.80 c #Conflicts: 2246000 | #Constraints: 52092
3600.02/3611.80 c #Conflicts: 2247000 | #Constraints: 53092
3600.02/3611.80 c #Conflicts: 2248000 | #Constraints: 54092
3600.02/3611.80 c #Conflicts: 2249000 | #Constraints: 55092
3600.02/3611.80 c #Conflicts: 2250000 | #Constraints: 56092
3600.02/3611.80 c #Conflicts: 2251000 | #Constraints: 57092
3600.02/3611.80 c #Conflicts: 2252000 | #Constraints: 58092
3600.02/3611.80 c #Conflicts: 2253000 | #Constraints: 59092
3600.02/3611.80 c #Conflicts: 2254000 | #Constraints: 60092
3600.02/3611.80 c #Conflicts: 2255000 | #Constraints: 61092
3600.02/3611.80 c #Conflicts: 2256000 | #Constraints: 62092
3600.02/3611.80 c INPROCESSING
3600.02/3611.80 c GARBAGE COLLECT
3600.02/3611.80 c #Conflicts: 2257000 | #Constraints: 33291
3600.02/3611.80 c #Conflicts: 2258000 | #Constraints: 34291
3600.02/3611.80 c #Conflicts: 2259000 | #Constraints: 35291
3600.02/3611.80 c #Conflicts: 2260000 | #Constraints: 36291
3600.02/3611.80 c #Conflicts: 2261000 | #Constraints: 37291
3600.02/3611.80 c #Conflicts: 2262000 | #Constraints: 38291
3600.02/3611.80 c #Conflicts: 2263000 | #Constraints: 39291
3600.02/3611.80 c #Conflicts: 2264000 | #Constraints: 40291
3600.02/3611.80 c #Conflicts: 2265000 | #Constraints: 41291
3600.02/3611.80 c #Conflicts: 2266000 | #Constraints: 42291
3600.02/3611.80 c #Conflicts: 2267000 | #Constraints: 43291
3600.02/3611.80 c #Conflicts: 2268000 | #Constraints: 44291
3600.02/3611.80 c #Conflicts: 2269000 | #Constraints: 45291
3600.02/3611.80 c Program interrupted by user.
3600.02/3611.80 c cpu time 3565.28 s
3600.02/3611.80 c deterministic time 521793268997 5.22e+11
3600.02/3611.80 c optimization time 15.7531 s
3600.02/3611.80 c total solve time 3549.52 s
3600.02/3611.80 c core-guided solve time 3549.52 s
3600.02/3611.80 c propagation time 2762.89 s
3600.02/3611.80 c conflict analysis time 724.159 s
3600.02/3611.80 c propagations 914517628
3600.02/3611.80 c resolve steps 27543054
3600.02/3611.80 c decisions 32294152
3600.02/3611.80 c conflicts 2269913
3600.02/3611.80 c restarts 4094
3600.02/3611.80 c inprocessing phases 141
3600.02/3611.80 c input clauses 2405
3600.02/3611.80 c input cardinalities 0
3600.02/3611.80 c input general constraints 9
3600.02/3611.80 c input average constraint length 5.06
3600.02/3611.80 c input average constraint degree 3562.03
3600.02/3611.80 c learned clauses 1016703
3600.02/3611.80 c learned cardinalities 73
3600.02/3611.80 c learned general constraints 1253136
3600.02/3611.80 c learned average constraint length 377.01
3600.02/3611.80 c learned average constraint degree 8204383.07
3600.02/3611.80 c watched constraints 508387
3600.02/3611.80 c counting constraints 744758
3600.02/3611.80 c gcd simplifications 106112
3600.02/3611.80 c detected cardinalities 20
3600.02/3611.80 c weakened non-implied lits 388428982
3600.02/3611.80 c weakened non-implying lits 38892
3600.02/3611.80 c original variables 1343
3600.02/3611.80 c clausal propagations 294574144
3600.02/3611.80 c cardinality propagations 467059
3600.02/3611.80 c watched propagations 16019526
3600.02/3611.80 c counting propagations 599491355
3600.02/3611.80 c watch lookups 84984672474
3600.02/3611.80 c watch backjump lookups 80414923704
3600.02/3611.80 c watch checks 296441106636
3600.02/3611.80 c propagation checks 54295861838
3600.02/3611.80 c constraint additions 3760811322
3600.02/3611.80 c trail pops 949081242
3600.02/3611.80 c formula constraints 2405
3600.02/3611.80 c learned constraints 2269912
3600.02/3611.80 c bound constraints 9
3600.02/3611.80 c core-guided constraints 0
3600.02/3611.80 c encountered formula constraints 18790773
3600.02/3611.80 c encountered learned constraints 11021143
3600.02/3611.80 c encountered bound constraints 1051
3600.02/3611.80 c encountered core-guided constraints 0
3600.02/3611.80 c LP total time 0 s
3600.02/3611.80 c LP solve time 0 s
3600.02/3611.80 c LP constraints added 0
3600.02/3611.80 c LP constraints removed 0
3600.02/3611.80 c LP pivots internal 0
3600.02/3611.80 c LP pivots root 0
3600.02/3611.80 c LP calls 0
3600.02/3611.80 c LP optimalities 0
3600.02/3611.80 c LP no pivot count 0
3600.02/3611.80 c LP infeasibilities 0
3600.02/3611.80 c LP valid Farkas constraints 0
3600.02/3611.80 c LP learned Farkas constraints 0
3600.02/3611.80 c LP basis resets 0
3600.02/3611.80 c LP cycling count 0
3600.02/3611.80 c LP singular count 0
3600.02/3611.80 c LP no primal count 0
3600.02/3611.80 c LP no farkas count 0
3600.02/3611.80 c LP other issue count 0
3600.02/3611.80 c LP Gomory cuts 0
3600.02/3611.80 c LP learned cuts 0
3600.02/3611.80 c LP deleted cuts 0
3600.02/3611.80 c LP encountered Gomory constraints 0
3600.02/3611.80 c LP encountered Farkas constraints 0
3600.02/3611.80 c LP encountered learned Farkas constraints 0
3600.02/3611.80 c CG auxiliary variables introduced 0
3600.02/3611.80 c CG solutions found 8
3600.02/3611.80 c CG cores constructed 1
3600.02/3611.80 c CG core cardinality constraints returned 0
3600.02/3611.80 c CG unit cores 0
3600.02/3611.80 c CG single cores 1
3600.02/3611.80 c CG blocks removed during cardinality reduction 0
3600.02/3611.80 c CG first core best 0
3600.02/3611.80 c CG decision core best 0
3600.02/3611.80 c CG core reduction tie 0
3600.02/3611.80 c CG core degree average 1.00
3600.02/3611.80 c CG core slack average 23.00
3600.02/3611.80 c CG exhausted 0
3600.02/3611.80 c CG exhaust time 0 s
3600.02/3611.80 c CG trimmed 0
3600.02/3611.80 c CG trim time 0.002805 s
3600.02/3611.80 c CG minimized 0
3600.02/3611.80 c CG minimize time 0 s
3600.02/3611.80 c CG am1 prop time 0.000236 s
3600.02/3611.80 c CG # am1s reformulated 0
3600.02/3611.80 c CG lower bound derived from am1s 0
3600.02/3611.80 c CG # clausal cores 1
3600.02/3611.80 c CG # cardinality cores 0
3600.02/3611.80 c CG # pb cores 0
3600.02/3611.80 c CG # pb reforms 0
3600.02/3611.80 c CG # cores discarded because of pb reform 0
3600.02/3611.80 d LOWERBOUND 6318
3600.02/3611.80 d NCORES 1
3600.02/3611.80 d NPBCORES 0
3600.02/3611.80 d NPBREFORM 0
3600.02/3611.80 d NTRIMMED 0
3600.02/3611.80 d NEXHAUSTED 0
3600.02/3611.80 d NAM1S 0
3600.02/3611.80 d AM1LB 0
3600.02/3611.80 o 23978
3600.02/3611.80 s SATISFIABLE
3600.02/3611.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343
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: 63968 MiB (61323 MiB free)
memory of node 1: 64473 MiB (61433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454408-1721471916/watcher-4454408-1721471916 -o /tmp/evaluation-result-4454408-1721471916/solver-4454408-1721471916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066115 --watchdog 3760 pb-oll-rs HOME/instance-4454408-1721471916.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1066223, runsolver pid=1066220
[startup+0.100085 s]*
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125694124/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=40780 memory=8864 CPUtime=0.1 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 1039 0 0 0 9 1 0 0 20 0 1 0 199362122 41758720 2216 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 10195 2216 1373 291 0 1729 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40780 KiB
Current children cumulated memory: 8864 KiB
[startup+0.205779 s]*
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125675612/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=42224 memory=13004 CPUtime=0.2 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 1540 0 0 0 18 2 0 0 20 0 1 0 199362122 43237376 3251 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 10556 3251 1373 291 0 2090 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42224 KiB
Current children cumulated memory: 13004 KiB
[startup+0.305854 s]*
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125664544/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=44936 memory=15700 CPUtime=0.3 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 2218 0 0 0 28 2 0 0 20 0 1 0 199362122 46014464 3925 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 11234 3925 1389 291 0 2768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44936 KiB
Current children cumulated memory: 15700 KiB
[startup+0.700216 s]
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125640788/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=47908 memory=16808 CPUtime=0.69 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 2462 0 0 0 64 5 0 0 20 0 1 0 199362122 49057792 4202 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 11977 4202 1389 291 0 3511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 16808 KiB
[startup+1.50023 s]
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125608236/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=58120 memory=25784 CPUtime=1.48 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 4134 0 0 0 138 10 0 0 20 0 1 0 199362122 59514880 6446 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 14530 6446 1450 291 0 6064 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58120 KiB
Current children cumulated memory: 25784 KiB
[startup+3.10609 s]
/proc/loadavg: 1.35 1.21 1.66 5/256 1066226
/proc/meminfo: memFree=125504948/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=59132 memory=29144 CPUtime=3.09 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 4477 0 0 0 290 19 0 0 20 0 1 0 199362122 60551168 7286 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 14783 7286 1450 291 0 6317 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 29144 KiB
[startup+6.30019 s]
/proc/loadavg: 1.35 1.21 1.66 5/256 1066226
/proc/meminfo: memFree=125373280/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=75428 memory=39972 CPUtime=6.27 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 6687 0 0 0 594 33 0 0 20 0 1 0 199362122 77238272 9993 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 18857 9993 1450 291 0 10391 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75428 KiB
Current children cumulated memory: 39972 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.26 1.67 5/256 1066226
/proc/meminfo: memFree=125242808/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=77616 memory=42288 CPUtime=12.65 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 7312 0 0 0 1205 60 0 0 20 0 1 0 199362122 79478784 10572 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 19404 10572 1450 291 0 10938 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77616 KiB
Current children cumulated memory: 42288 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.39 1.71 5/256 1066229
/proc/meminfo: memFree=125083596/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=79536 memory=49224 CPUtime=25.41 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 8102 0 0 0 2424 117 0 0 20 0 1 0 199362122 81444864 12306 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 19884 12306 1450 291 0 11418 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79536 KiB
Current children cumulated memory: 49224 KiB
[startup+51.1059 s]
/proc/loadavg: 2.82 1.62 1.77 5/256 1066232
/proc/meminfo: memFree=124832368/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=102000 memory=63052 CPUtime=50.93 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 10585 0 0 0 4887 206 0 0 20 0 1 0 199362122 104448000 15763 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 25500 15763 1450 291 0 17034 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 63052 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 2.11 1.93 5/258 1066244
/proc/meminfo: memFree=124521944/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=136948 memory=93092 CPUtime=101.96 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 15289 0 0 0 9872 324 0 0 20 0 1 0 199362122 140234752 23273 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 34237 23273 1450 291 0 25771 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 136948 KiB
Current children cumulated memory: 93092 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 2.60 2.12 5/258 1066256
/proc/meminfo: memFree=124451156/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=142080 memory=97088 CPUtime=161.76 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 16500 0 0 0 15736 440 0 0 20 0 1 0 199362122 145489920 24272 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 35520 24272 1450 291 0 27054 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 142080 KiB
Current children cumulated memory: 97088 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 2.93 2.27 5/258 1066267
/proc/meminfo: memFree=124277480/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=143116 memory=98500 CPUtime=221.57 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 17035 0 0 0 21587 570 0 0 20 0 1 0 199362122 146550784 24625 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 35779 24625 1450 291 0 27313 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 143116 KiB
Current children cumulated memory: 98500 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.16 2.39 5/258 1066277
/proc/meminfo: memFree=124119660/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=143444 memory=101208 CPUtime=281.36 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 17410 0 0 0 27436 700 0 0 20 0 1 0 199362122 146886656 25302 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 35861 25302 1450 291 0 27395 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 143444 KiB
Current children cumulated memory: 101208 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.33 2.50 5/256 1066288
/proc/meminfo: memFree=123963172/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=217840 memory=155748 CPUtime=341.16 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 26002 0 0 0 33345 771 0 0 20 0 1 0 199362122 223068160 38937 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 54460 38937 1450 291 0 45994 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 155748 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.48 2.60 5/257 1066300
/proc/meminfo: memFree=123818500/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=218864 memory=156276 CPUtime=400.95 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 26184 0 0 0 39237 858 0 0 20 0 1 0 199362122 224116736 39069 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 54716 39069 1450 291 0 46250 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 218864 KiB
Current children cumulated memory: 156276 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.60 2.70 5/255 1066310
/proc/meminfo: memFree=123746852/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=219088 memory=156888 CPUtime=460.76 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 26357 0 0 0 45122 954 0 0 20 0 1 0 199362122 224346112 39222 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 54772 39222 1450 291 0 46306 0
################
# More data... #
################
Current children cumulated memory: 267428 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.10 4.02 5/256 1067708
/proc/meminfo: memFree=121682968/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=359856 memory=273540 CPUtime=2852.99 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 50583 0 0 0 282263 3036 0 0 20 0 1 0 199362122 368492544 68385 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 89964 68385 1450 291 0 81498 0
Current children cumulated CPU time: 2852.99 s
Current children cumulated vsize: 359856 KiB
Current children cumulated memory: 273540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.28 4.14 4.04 5/256 1067719
/proc/meminfo: memFree=121628164/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=361724 memory=284404 CPUtime=2912.79 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 51344 0 0 0 288218 3061 0 0 20 0 1 0 199362122 370405376 71101 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 90431 71101 1450 291 0 81965 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 361724 KiB
Current children cumulated memory: 284404 KiB
[startup+2982.3 s]
/proc/loadavg: 4.27 4.17 4.06 5/258 1067900
/proc/meminfo: memFree=121507216/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=371708 memory=298428 CPUtime=2972.6 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 53452 0 0 0 294176 3084 0 0 20 0 1 0 199362122 380628992 74607 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 92927 74607 1450 291 0 84461 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 371708 KiB
Current children cumulated memory: 298428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.06 5/257 1067910
/proc/meminfo: memFree=121422436/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=375732 memory=301104 CPUtime=3032.4 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 54244 0 0 0 300142 3098 0 0 20 0 1 0 199362122 384749568 75276 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 93933 75276 1450 291 0 85467 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 375732 KiB
Current children cumulated memory: 301104 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/260 1067979
/proc/meminfo: memFree=121367980/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=376572 memory=302628 CPUtime=3092.2 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 54678 0 0 0 306094 3126 0 0 20 0 1 0 199362122 385609728 75657 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 94143 75657 1450 291 0 85677 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 376572 KiB
Current children cumulated memory: 302628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/260 1067990
/proc/meminfo: memFree=121365048/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=377084 memory=303008 CPUtime=3152 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 54906 0 0 0 312034 3166 0 0 20 0 1 0 199362122 386134016 75752 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 94271 75752 1450 291 0 85805 0
Current children cumulated CPU time: 3152 s
Current children cumulated vsize: 377084 KiB
Current children cumulated memory: 303008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/260 1068001
/proc/meminfo: memFree=121349956/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=381692 memory=305792 CPUtime=3211.8 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 55668 0 0 0 317971 3209 0 0 20 0 1 0 199362122 390852608 76448 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 95423 76448 1450 291 0 86957 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 305792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.06 5/260 1068011
/proc/meminfo: memFree=121347836/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=381692 memory=305836 CPUtime=3271.61 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 55770 0 0 0 323912 3249 0 0 20 0 1 0 199362122 390852608 76459 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 95423 76459 1450 291 0 86957 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 305836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/258 1068022
/proc/meminfo: memFree=121346560/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=381692 memory=305852 CPUtime=3331.42 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 55860 0 0 0 329831 3311 0 0 20 0 1 0 199362122 390852608 76463 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 95423 76463 1450 291 0 86957 0
Current children cumulated CPU time: 3331.42 s
Current children cumulated vsize: 381692 KiB
Current children cumulated memory: 305852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/258 1068032
/proc/meminfo: memFree=121341328/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=382460 memory=306904 CPUtime=3391.21 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 56295 0 0 0 335762 3359 0 0 20 0 1 0 199362122 391639040 76726 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 95615 76726 1450 291 0 87149 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 382460 KiB
Current children cumulated memory: 306904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/254 1068042
/proc/meminfo: memFree=121324636/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=382460 memory=307140 CPUtime=3451.01 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 56401 0 0 0 341706 3395 0 0 20 0 1 0 199362122 391639040 76785 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 95615 76785 1450 291 0 87149 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 382460 KiB
Current children cumulated memory: 307140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/254 1068053
/proc/meminfo: memFree=121306696/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=394164 memory=314804 CPUtime=3510.81 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 58433 0 0 0 347665 3416 0 0 20 0 1 0 199362122 403623936 78701 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 98541 78701 1450 291 0 90075 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 394164 KiB
Current children cumulated memory: 314804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/254 1068065
/proc/meminfo: memFree=121302112/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=398588 memory=318260 CPUtime=3570.61 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 59392 0 0 0 353612 3449 0 0 20 0 1 0 199362122 408154112 79565 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 99647 79565 1450 291 0 91181 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 398588 KiB
Current children cumulated memory: 318260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.07 4.10 4.07 6/254 1068208
/proc/meminfo: memFree=125376324/131524596 swapFree=131071996/131071996
[pid=1066223] ppid=1066220 vsize=398260 memory=318152 CPUtime=3600.02 cores=0,2
/proc/1066223/stat : 1066223 (pb-oll-rs) R 1066220 1066223 1066105 0 -1 4194304 59541 0 0 0 356528 3474 0 0 20 0 1 0 199362122 407818240 79538 134679101440 4194304 5384485 140729127712096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27172864 140729127715861 140729127715938 140729127715938 140729127722955 0
/proc/1066223/statm: 99565 79538 1450 291 0 91099 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 398260 KiB
Current children cumulated memory: 318152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 1066223 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.29 s, system=34.7504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.81
CPU time (s): 3600.04
CPU user time (s): 3565.29
CPU system time (s): 34.7504
CPU usage (%): 99.6741
Max. virtual memory (cumulated for all children) (KiB): 398588
Max. memory (cumulated for all children) (KiB): 318336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.29
system time used= 34.7504
maximum resident set size= 318592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59559
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= 55
involuntary context switches= 24684
# summary of solver processes directly reported to runsolver:
# pid: 1066223
# total CPU time (s): 3600.04
# total CPU user time (s): 3565.29
# total CPU system time (s): 34.7504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32245 second user time and 17.7154 second system time
The end
Begin job on nodeC034 at 2024-07-20 12:38:48
IDJOB=4454408
IDBENCH=148151
IDSOLVER=3082
FILE ID=nodeC034/4454408-1721471916
RUNJOBID= nodeC034-1721471928-1066115
SLURM_JOB_ID= 7545740
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454408-1721471916/watcher-4454408-1721471916 -o /tmp/evaluation-result-4454408-1721471916/solver-4454408-1721471916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066115 --watchdog 3760 pb-oll-rs HOME/instance-4454408-1721471916.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=1270532821
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3645.750
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3668.950
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3657.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3600.035
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3674.544
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3668.969
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3670.861
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3600.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 125704128 kB
MemAvailable: 129592236 kB
Buffers: 553144 kB
Cached: 4136964 kB
SwapCached: 0 kB
Active: 1116768 kB
Inactive: 3988856 kB
Active(anon): 1508 kB
Inactive(anon): 459912 kB
Active(file): 1115260 kB
Inactive(file): 3528944 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 10128 kB
Writeback: 0 kB
AnonPages: 415516 kB
Mapped: 111272 kB
Shmem: 45912 kB
KReclaimable: 167452 kB
Slab: 291456 kB
SReclaimable: 167452 kB
SUnreclaim: 124004 kB
KernelStack: 4128 kB
PageTables: 10228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 717960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 320212 kB
DirectMap2M: 44541952 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC034 at 2024-07-20 13:39:00