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 146 #constraints 12
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001445
0.00/0.00 c stratification level: 64
0.00/0.02 c bounds 282 >= 0 @ 0.020447
0.00/0.02 c stratification level: 32
0.00/0.03 c bounds 249 >= 0 @ 0.026596
0.00/0.03 c stratification level: 16
0.00/0.03 c bounds 97 >= 0 @ 0.026922
0.00/0.03 c stratification level: 8
2.00/2.08 c #Conflicts: 1000 | #Constraints: 1014
2.00/2.08 c #Conflicts: 2000 | #Constraints: 2014
2.00/2.08 c INPROCESSING
2.00/2.08 c GARBAGE COLLECT
2.00/2.08 c #Conflicts: 3000 | #Constraints: 2018
2.00/2.08 c #Conflicts: 4000 | #Constraints: 3018
2.00/2.08 c INPROCESSING
2.00/2.08 c GARBAGE COLLECT
2.00/2.08 c #Conflicts: 5000 | #Constraints: 2422
2.00/2.08 c #Conflicts: 6000 | #Constraints: 3422
2.00/2.08 c INPROCESSING
2.00/2.08 c GARBAGE COLLECT
2.00/2.08 c #Conflicts: 7000 | #Constraints: 2430
2.00/2.08 c #Conflicts: 8000 | #Constraints: 3430
2.00/2.08 c #Conflicts: 9000 | #Constraints: 4430
2.00/2.08 c INPROCESSING
2.00/2.08 c GARBAGE COLLECT
2.00/2.08 c bounds 29 >= 0 @ 2.00171
2.00/2.08 c stratification level: 4
22.24/22.35 c #Conflicts: 10000 | #Constraints: 3128
22.24/22.35 c #Conflicts: 11000 | #Constraints: 4128
22.24/22.35 c #Conflicts: 12000 | #Constraints: 5128
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 13000 | #Constraints: 3576
22.24/22.35 c #Conflicts: 14000 | #Constraints: 4576
22.24/22.35 c #Conflicts: 15000 | #Constraints: 5576
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 16000 | #Constraints: 3802
22.24/22.35 c #Conflicts: 17000 | #Constraints: 4802
22.24/22.35 c #Conflicts: 18000 | #Constraints: 5802
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 19000 | #Constraints: 3815
22.24/22.35 c #Conflicts: 20000 | #Constraints: 4815
22.24/22.35 c #Conflicts: 21000 | #Constraints: 5815
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 22000 | #Constraints: 3620
22.24/22.35 c #Conflicts: 23000 | #Constraints: 4620
22.24/22.35 c #Conflicts: 24000 | #Constraints: 5620
22.24/22.35 c #Conflicts: 25000 | #Constraints: 6620
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 26000 | #Constraints: 4223
22.24/22.35 c #Conflicts: 27000 | #Constraints: 5223
22.24/22.35 c #Conflicts: 28000 | #Constraints: 6223
22.24/22.35 c #Conflicts: 29000 | #Constraints: 7223
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 30000 | #Constraints: 4625
22.24/22.35 c #Conflicts: 31000 | #Constraints: 5625
22.24/22.35 c #Conflicts: 32000 | #Constraints: 6625
22.24/22.35 c #Conflicts: 33000 | #Constraints: 7625
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 34000 | #Constraints: 4823
22.24/22.35 c #Conflicts: 35000 | #Constraints: 5823
22.24/22.35 c #Conflicts: 36000 | #Constraints: 6823
22.24/22.35 c #Conflicts: 37000 | #Constraints: 7823
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 38000 | #Constraints: 4826
22.24/22.35 c #Conflicts: 39000 | #Constraints: 5826
22.24/22.35 c #Conflicts: 40000 | #Constraints: 6826
22.24/22.35 c #Conflicts: 41000 | #Constraints: 7826
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 42000 | #Constraints: 4626
22.24/22.35 c #Conflicts: 43000 | #Constraints: 5626
22.24/22.35 c #Conflicts: 44000 | #Constraints: 6626
22.24/22.35 c #Conflicts: 45000 | #Constraints: 7626
22.24/22.35 c #Conflicts: 46000 | #Constraints: 8626
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 47000 | #Constraints: 5224
22.24/22.35 c #Conflicts: 48000 | #Constraints: 6224
22.24/22.35 c #Conflicts: 49000 | #Constraints: 7224
22.24/22.35 c #Conflicts: 50000 | #Constraints: 8224
22.24/22.35 c #Conflicts: 51000 | #Constraints: 9224
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 52000 | #Constraints: 5624
22.24/22.35 c #Conflicts: 53000 | #Constraints: 6624
22.24/22.35 c #Conflicts: 54000 | #Constraints: 7624
22.24/22.35 c #Conflicts: 55000 | #Constraints: 8624
22.24/22.35 c #Conflicts: 56000 | #Constraints: 9624
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 57000 | #Constraints: 5826
22.24/22.35 c #Conflicts: 58000 | #Constraints: 6826
22.24/22.35 c #Conflicts: 59000 | #Constraints: 7826
22.24/22.35 c #Conflicts: 60000 | #Constraints: 8826
22.24/22.35 c #Conflicts: 61000 | #Constraints: 9826
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 62000 | #Constraints: 5826
22.24/22.35 c #Conflicts: 63000 | #Constraints: 6826
22.24/22.35 c #Conflicts: 64000 | #Constraints: 7826
22.24/22.35 c #Conflicts: 65000 | #Constraints: 8826
22.24/22.35 c #Conflicts: 66000 | #Constraints: 9826
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 67000 | #Constraints: 5625
22.24/22.35 c #Conflicts: 68000 | #Constraints: 6625
22.24/22.35 c #Conflicts: 69000 | #Constraints: 7625
22.24/22.35 c #Conflicts: 70000 | #Constraints: 8625
22.24/22.35 c #Conflicts: 71000 | #Constraints: 9625
22.24/22.35 c #Conflicts: 72000 | #Constraints: 10625
22.24/22.35 c INPROCESSING
22.24/22.35 c GARBAGE COLLECT
22.24/22.35 c #Conflicts: 73000 | #Constraints: 6227
22.24/22.35 c #Conflicts: 74000 | #Constraints: 7227
22.24/22.35 c #Conflicts: 75000 | #Constraints: 8227
22.24/22.35 c #Conflicts: 76000 | #Constraints: 9227
22.24/22.35 c #Conflicts: 77000 | #Constraints: 10227
22.24/22.35 c #Conflicts: 78000 | #Constraints: 11227
22.24/22.35 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 79000 | #Constraints: 6628
59.15/59.34 c #Conflicts: 80000 | #Constraints: 7628
59.15/59.34 c #Conflicts: 81000 | #Constraints: 8628
59.15/59.34 c #Conflicts: 82000 | #Constraints: 9628
59.15/59.34 c #Conflicts: 83000 | #Constraints: 10628
59.15/59.34 c #Conflicts: 84000 | #Constraints: 11628
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 85000 | #Constraints: 6829
59.15/59.34 c #Conflicts: 86000 | #Constraints: 7829
59.15/59.34 c #Conflicts: 87000 | #Constraints: 8829
59.15/59.34 c #Conflicts: 88000 | #Constraints: 9829
59.15/59.34 c #Conflicts: 89000 | #Constraints: 10829
59.15/59.34 c #Conflicts: 90000 | #Constraints: 11829
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 91000 | #Constraints: 6829
59.15/59.34 c #Conflicts: 92000 | #Constraints: 7829
59.15/59.34 c #Conflicts: 93000 | #Constraints: 8829
59.15/59.34 c #Conflicts: 94000 | #Constraints: 9829
59.15/59.34 c #Conflicts: 95000 | #Constraints: 10829
59.15/59.34 c #Conflicts: 96000 | #Constraints: 11829
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 97000 | #Constraints: 6629
59.15/59.34 c #Conflicts: 98000 | #Constraints: 7629
59.15/59.34 c #Conflicts: 99000 | #Constraints: 8629
59.15/59.34 c #Conflicts: 100000 | #Constraints: 9629
59.15/59.34 c #Conflicts: 101000 | #Constraints: 10629
59.15/59.34 c #Conflicts: 102000 | #Constraints: 11629
59.15/59.34 c #Conflicts: 103000 | #Constraints: 12629
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 104000 | #Constraints: 7228
59.15/59.34 c #Conflicts: 105000 | #Constraints: 8228
59.15/59.34 c #Conflicts: 106000 | #Constraints: 9228
59.15/59.34 c #Conflicts: 107000 | #Constraints: 10228
59.15/59.34 c #Conflicts: 108000 | #Constraints: 11228
59.15/59.34 c #Conflicts: 109000 | #Constraints: 12228
59.15/59.34 c #Conflicts: 110000 | #Constraints: 13228
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 111000 | #Constraints: 7632
59.15/59.34 c #Conflicts: 112000 | #Constraints: 8632
59.15/59.34 c #Conflicts: 113000 | #Constraints: 9632
59.15/59.34 c #Conflicts: 114000 | #Constraints: 10632
59.15/59.34 c #Conflicts: 115000 | #Constraints: 11632
59.15/59.34 c #Conflicts: 116000 | #Constraints: 12632
59.15/59.34 c #Conflicts: 117000 | #Constraints: 13632
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 118000 | #Constraints: 7831
59.15/59.34 c #Conflicts: 119000 | #Constraints: 8831
59.15/59.34 c #Conflicts: 120000 | #Constraints: 9831
59.15/59.34 c #Conflicts: 121000 | #Constraints: 10831
59.15/59.34 c #Conflicts: 122000 | #Constraints: 11831
59.15/59.34 c #Conflicts: 123000 | #Constraints: 12831
59.15/59.34 c #Conflicts: 124000 | #Constraints: 13831
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 125000 | #Constraints: 7831
59.15/59.34 c #Conflicts: 126000 | #Constraints: 8831
59.15/59.34 c #Conflicts: 127000 | #Constraints: 9831
59.15/59.34 c #Conflicts: 128000 | #Constraints: 10831
59.15/59.34 c #Conflicts: 129000 | #Constraints: 11831
59.15/59.34 c #Conflicts: 130000 | #Constraints: 12831
59.15/59.34 c #Conflicts: 131000 | #Constraints: 13831
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 132000 | #Constraints: 7630
59.15/59.34 c #Conflicts: 133000 | #Constraints: 8630
59.15/59.34 c #Conflicts: 134000 | #Constraints: 9630
59.15/59.34 c #Conflicts: 135000 | #Constraints: 10630
59.15/59.34 c #Conflicts: 136000 | #Constraints: 11630
59.15/59.34 c #Conflicts: 137000 | #Constraints: 12630
59.15/59.34 c #Conflicts: 138000 | #Constraints: 13630
59.15/59.34 c #Conflicts: 139000 | #Constraints: 14630
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 140000 | #Constraints: 8231
59.15/59.34 c #Conflicts: 141000 | #Constraints: 9231
59.15/59.34 c #Conflicts: 142000 | #Constraints: 10231
59.15/59.34 c #Conflicts: 143000 | #Constraints: 11231
59.15/59.34 c #Conflicts: 144000 | #Constraints: 12231
59.15/59.34 c #Conflicts: 145000 | #Constraints: 13231
59.15/59.34 c #Conflicts: 146000 | #Constraints: 14231
59.15/59.34 c #Conflicts: 147000 | #Constraints: 15231
59.15/59.34 c INPROCESSING
59.15/59.34 c GARBAGE COLLECT
59.15/59.34 c #Conflicts: 148000 | #Constraints: 8635
59.15/59.34 c #Conflicts: 149000 | #Constraints: 9635
59.15/59.34 c #Conflicts: 150000 | #Constraints: 10635
59.15/59.34 c #Conflicts: 151000 | #Constraints: 11635
77.11/77.30 c #Conflicts: 152000 | #Constraints: 12635
77.11/77.30 c #Conflicts: 153000 | #Constraints: 13635
77.11/77.30 c #Conflicts: 154000 | #Constraints: 14635
77.11/77.30 c #Conflicts: 155000 | #Constraints: 15635
77.11/77.30 c INPROCESSING
77.11/77.30 c GARBAGE COLLECT
77.11/77.30 c #Conflicts: 156000 | #Constraints: 8834
77.11/77.30 c #Conflicts: 157000 | #Constraints: 9834
77.11/77.30 c #Conflicts: 158000 | #Constraints: 10834
77.11/77.30 c #Conflicts: 159000 | #Constraints: 11834
77.11/77.30 c #Conflicts: 160000 | #Constraints: 12834
77.11/77.30 c #Conflicts: 161000 | #Constraints: 13834
77.11/77.30 c #Conflicts: 162000 | #Constraints: 14834
77.11/77.30 c #Conflicts: 163000 | #Constraints: 15834
77.11/77.30 c INPROCESSING
77.11/77.30 c GARBAGE COLLECT
77.11/77.30 c #Conflicts: 164000 | #Constraints: 8832
77.11/77.30 c #Conflicts: 165000 | #Constraints: 9832
77.11/77.30 c #Conflicts: 166000 | #Constraints: 10832
77.11/77.30 c #Conflicts: 167000 | #Constraints: 11832
77.11/77.30 c #Conflicts: 168000 | #Constraints: 12832
77.11/77.30 c #Conflicts: 169000 | #Constraints: 13832
77.11/77.30 c #Conflicts: 170000 | #Constraints: 14832
77.11/77.30 c #Conflicts: 171000 | #Constraints: 15832
77.11/77.30 c INPROCESSING
77.11/77.30 c GARBAGE COLLECT
77.11/77.30 c #Conflicts: 172000 | #Constraints: 8629
77.11/77.30 c #Conflicts: 173000 | #Constraints: 9629
77.11/77.30 c #Conflicts: 174000 | #Constraints: 10629
77.11/77.30 c #Conflicts: 175000 | #Constraints: 11629
77.11/77.30 c #Conflicts: 176000 | #Constraints: 12629
77.11/77.30 c #Conflicts: 177000 | #Constraints: 13629
77.11/77.30 c #Conflicts: 178000 | #Constraints: 14629
77.11/77.30 c #Conflicts: 179000 | #Constraints: 15629
77.11/77.30 c #Conflicts: 180000 | #Constraints: 16629
77.11/77.30 c INPROCESSING
77.11/77.30 c GARBAGE COLLECT
77.11/77.30 c #Conflicts: 181000 | #Constraints: 9229
77.11/77.30 c bounds 15 >= 0 @ 76.4811
77.11/77.30 c stratification level: 2
127.39/127.72 c #Conflicts: 182000 | #Constraints: 10230
127.39/127.72 c #Conflicts: 183000 | #Constraints: 11230
127.39/127.72 c #Conflicts: 184000 | #Constraints: 12230
127.39/127.72 c #Conflicts: 185000 | #Constraints: 13230
127.39/127.72 c #Conflicts: 186000 | #Constraints: 14230
127.39/127.72 c #Conflicts: 187000 | #Constraints: 15230
127.39/127.72 c #Conflicts: 188000 | #Constraints: 16230
127.39/127.72 c #Conflicts: 189000 | #Constraints: 17230
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 190000 | #Constraints: 9631
127.39/127.72 c #Conflicts: 191000 | #Constraints: 10631
127.39/127.72 c #Conflicts: 192000 | #Constraints: 11631
127.39/127.72 c #Conflicts: 193000 | #Constraints: 12631
127.39/127.72 c #Conflicts: 194000 | #Constraints: 13631
127.39/127.72 c #Conflicts: 195000 | #Constraints: 14631
127.39/127.72 c #Conflicts: 196000 | #Constraints: 15631
127.39/127.72 c #Conflicts: 197000 | #Constraints: 16631
127.39/127.72 c #Conflicts: 198000 | #Constraints: 17631
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 199000 | #Constraints: 9833
127.39/127.72 c #Conflicts: 200000 | #Constraints: 10833
127.39/127.72 c #Conflicts: 201000 | #Constraints: 11833
127.39/127.72 c #Conflicts: 202000 | #Constraints: 12833
127.39/127.72 c #Conflicts: 203000 | #Constraints: 13833
127.39/127.72 c #Conflicts: 204000 | #Constraints: 14833
127.39/127.72 c #Conflicts: 205000 | #Constraints: 15833
127.39/127.72 c #Conflicts: 206000 | #Constraints: 16833
127.39/127.72 c #Conflicts: 207000 | #Constraints: 17833
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 208000 | #Constraints: 9831
127.39/127.72 c #Conflicts: 209000 | #Constraints: 10831
127.39/127.72 c #Conflicts: 210000 | #Constraints: 11831
127.39/127.72 c #Conflicts: 211000 | #Constraints: 12831
127.39/127.72 c #Conflicts: 212000 | #Constraints: 13831
127.39/127.72 c #Conflicts: 213000 | #Constraints: 14831
127.39/127.72 c #Conflicts: 214000 | #Constraints: 15831
127.39/127.72 c #Conflicts: 215000 | #Constraints: 16831
127.39/127.72 c #Conflicts: 216000 | #Constraints: 17831
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 217000 | #Constraints: 9630
127.39/127.72 c #Conflicts: 218000 | #Constraints: 10630
127.39/127.72 c #Conflicts: 219000 | #Constraints: 11630
127.39/127.72 c #Conflicts: 220000 | #Constraints: 12630
127.39/127.72 c #Conflicts: 221000 | #Constraints: 13630
127.39/127.72 c #Conflicts: 222000 | #Constraints: 14630
127.39/127.72 c #Conflicts: 223000 | #Constraints: 15630
127.39/127.72 c #Conflicts: 224000 | #Constraints: 16630
127.39/127.72 c #Conflicts: 225000 | #Constraints: 17630
127.39/127.72 c #Conflicts: 226000 | #Constraints: 18630
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 227000 | #Constraints: 10230
127.39/127.72 c #Conflicts: 228000 | #Constraints: 11230
127.39/127.72 c #Conflicts: 229000 | #Constraints: 12230
127.39/127.72 c #Conflicts: 230000 | #Constraints: 13230
127.39/127.72 c #Conflicts: 231000 | #Constraints: 14230
127.39/127.72 c #Conflicts: 232000 | #Constraints: 15230
127.39/127.72 c #Conflicts: 233000 | #Constraints: 16230
127.39/127.72 c #Conflicts: 234000 | #Constraints: 17230
127.39/127.72 c #Conflicts: 235000 | #Constraints: 18230
127.39/127.72 c #Conflicts: 236000 | #Constraints: 19230
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 237000 | #Constraints: 10627
127.39/127.72 c #Conflicts: 238000 | #Constraints: 11627
127.39/127.72 c #Conflicts: 239000 | #Constraints: 12627
127.39/127.72 c #Conflicts: 240000 | #Constraints: 13627
127.39/127.72 c #Conflicts: 241000 | #Constraints: 14627
127.39/127.72 c #Conflicts: 242000 | #Constraints: 15627
127.39/127.72 c #Conflicts: 243000 | #Constraints: 16627
127.39/127.72 c #Conflicts: 244000 | #Constraints: 17627
127.39/127.72 c #Conflicts: 245000 | #Constraints: 18627
127.39/127.72 c #Conflicts: 246000 | #Constraints: 19627
127.39/127.72 c INPROCESSING
127.39/127.72 c GARBAGE COLLECT
127.39/127.72 c #Conflicts: 247000 | #Constraints: 10826
127.39/127.72 c #Conflicts: 248000 | #Constraints: 11826
127.39/127.72 c #Conflicts: 249000 | #Constraints: 12826
127.39/127.72 c #Conflicts: 250000 | #Constraints: 13826
127.39/127.72 c #Conflicts: 251000 | #Constraints: 14826
127.39/127.72 c #Conflicts: 252000 | #Constraints: 15826
127.39/127.72 c #Conflicts: 253000 | #Constraints: 16826
127.39/127.72 c #Conflicts: 254000 | #Constraints: 17826
127.39/127.72 c #Conflicts: 255000 | #Constraints: 18826
127.39/127.72 c #Conflicts: 256000 | #Constraints: 19826
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 257000 | #Constraints: 10825
183.67/184.11 c #Conflicts: 258000 | #Constraints: 11825
183.67/184.11 c #Conflicts: 259000 | #Constraints: 12825
183.67/184.11 c #Conflicts: 260000 | #Constraints: 13825
183.67/184.11 c #Conflicts: 261000 | #Constraints: 14825
183.67/184.11 c #Conflicts: 262000 | #Constraints: 15825
183.67/184.11 c #Conflicts: 263000 | #Constraints: 16825
183.67/184.11 c #Conflicts: 264000 | #Constraints: 17825
183.67/184.11 c #Conflicts: 265000 | #Constraints: 18825
183.67/184.11 c #Conflicts: 266000 | #Constraints: 19825
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 267000 | #Constraints: 10625
183.67/184.11 c #Conflicts: 268000 | #Constraints: 11625
183.67/184.11 c #Conflicts: 269000 | #Constraints: 12625
183.67/184.11 c #Conflicts: 270000 | #Constraints: 13625
183.67/184.11 c #Conflicts: 271000 | #Constraints: 14625
183.67/184.11 c #Conflicts: 272000 | #Constraints: 15625
183.67/184.11 c #Conflicts: 273000 | #Constraints: 16625
183.67/184.11 c #Conflicts: 274000 | #Constraints: 17625
183.67/184.11 c #Conflicts: 275000 | #Constraints: 18625
183.67/184.11 c #Conflicts: 276000 | #Constraints: 19625
183.67/184.11 c #Conflicts: 277000 | #Constraints: 20625
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 278000 | #Constraints: 11227
183.67/184.11 c #Conflicts: 279000 | #Constraints: 12227
183.67/184.11 c #Conflicts: 280000 | #Constraints: 13227
183.67/184.11 c #Conflicts: 281000 | #Constraints: 14227
183.67/184.11 c #Conflicts: 282000 | #Constraints: 15227
183.67/184.11 c #Conflicts: 283000 | #Constraints: 16227
183.67/184.11 c #Conflicts: 284000 | #Constraints: 17227
183.67/184.11 c #Conflicts: 285000 | #Constraints: 18227
183.67/184.11 c #Conflicts: 286000 | #Constraints: 19227
183.67/184.11 c #Conflicts: 287000 | #Constraints: 20227
183.67/184.11 c #Conflicts: 288000 | #Constraints: 21227
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 289000 | #Constraints: 11627
183.67/184.11 c #Conflicts: 290000 | #Constraints: 12627
183.67/184.11 c #Conflicts: 291000 | #Constraints: 13627
183.67/184.11 c #Conflicts: 292000 | #Constraints: 14627
183.67/184.11 c #Conflicts: 293000 | #Constraints: 15627
183.67/184.11 c #Conflicts: 294000 | #Constraints: 16627
183.67/184.11 c #Conflicts: 295000 | #Constraints: 17627
183.67/184.11 c #Conflicts: 296000 | #Constraints: 18627
183.67/184.11 c #Conflicts: 297000 | #Constraints: 19627
183.67/184.11 c #Conflicts: 298000 | #Constraints: 20627
183.67/184.11 c #Conflicts: 299000 | #Constraints: 21627
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 300000 | #Constraints: 11826
183.67/184.11 c #Conflicts: 301000 | #Constraints: 12826
183.67/184.11 c #Conflicts: 302000 | #Constraints: 13826
183.67/184.11 c #Conflicts: 303000 | #Constraints: 14826
183.67/184.11 c #Conflicts: 304000 | #Constraints: 15826
183.67/184.11 c #Conflicts: 305000 | #Constraints: 16826
183.67/184.11 c #Conflicts: 306000 | #Constraints: 17826
183.67/184.11 c #Conflicts: 307000 | #Constraints: 18826
183.67/184.11 c #Conflicts: 308000 | #Constraints: 19826
183.67/184.11 c #Conflicts: 309000 | #Constraints: 20826
183.67/184.11 c #Conflicts: 310000 | #Constraints: 21826
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 311000 | #Constraints: 11826
183.67/184.11 c #Conflicts: 312000 | #Constraints: 12826
183.67/184.11 c #Conflicts: 313000 | #Constraints: 13826
183.67/184.11 c #Conflicts: 314000 | #Constraints: 14826
183.67/184.11 c #Conflicts: 315000 | #Constraints: 15826
183.67/184.11 c #Conflicts: 316000 | #Constraints: 16826
183.67/184.11 c #Conflicts: 317000 | #Constraints: 17826
183.67/184.11 c #Conflicts: 318000 | #Constraints: 18826
183.67/184.11 c #Conflicts: 319000 | #Constraints: 19826
183.67/184.11 c #Conflicts: 320000 | #Constraints: 20826
183.67/184.11 c #Conflicts: 321000 | #Constraints: 21826
183.67/184.11 c INPROCESSING
183.67/184.11 c GARBAGE COLLECT
183.67/184.11 c #Conflicts: 322000 | #Constraints: 11629
183.67/184.11 c #Conflicts: 323000 | #Constraints: 12629
183.67/184.11 c #Conflicts: 324000 | #Constraints: 13629
183.67/184.11 c #Conflicts: 325000 | #Constraints: 14629
183.67/184.11 c #Conflicts: 326000 | #Constraints: 15629
183.67/184.11 c #Conflicts: 327000 | #Constraints: 16629
183.67/184.11 c #Conflicts: 328000 | #Constraints: 17629
183.67/184.11 c #Conflicts: 329000 | #Constraints: 18629
183.67/184.11 c #Conflicts: 330000 | #Constraints: 19629
246.90/247.52 c #Conflicts: 331000 | #Constraints: 20629
246.90/247.52 c #Conflicts: 332000 | #Constraints: 21629
246.90/247.52 c #Conflicts: 333000 | #Constraints: 22629
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 334000 | #Constraints: 12228
246.90/247.52 c #Conflicts: 335000 | #Constraints: 13228
246.90/247.52 c #Conflicts: 336000 | #Constraints: 14228
246.90/247.52 c #Conflicts: 337000 | #Constraints: 15228
246.90/247.52 c #Conflicts: 338000 | #Constraints: 16228
246.90/247.52 c #Conflicts: 339000 | #Constraints: 17228
246.90/247.52 c #Conflicts: 340000 | #Constraints: 18228
246.90/247.52 c #Conflicts: 341000 | #Constraints: 19228
246.90/247.52 c #Conflicts: 342000 | #Constraints: 20228
246.90/247.52 c #Conflicts: 343000 | #Constraints: 21228
246.90/247.52 c #Conflicts: 344000 | #Constraints: 22228
246.90/247.52 c #Conflicts: 345000 | #Constraints: 23228
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 346000 | #Constraints: 12629
246.90/247.52 c #Conflicts: 347000 | #Constraints: 13629
246.90/247.52 c #Conflicts: 348000 | #Constraints: 14629
246.90/247.52 c #Conflicts: 349000 | #Constraints: 15629
246.90/247.52 c #Conflicts: 350000 | #Constraints: 16629
246.90/247.52 c #Conflicts: 351000 | #Constraints: 17629
246.90/247.52 c #Conflicts: 352000 | #Constraints: 18629
246.90/247.52 c #Conflicts: 353000 | #Constraints: 19629
246.90/247.52 c #Conflicts: 354000 | #Constraints: 20629
246.90/247.52 c #Conflicts: 355000 | #Constraints: 21629
246.90/247.52 c #Conflicts: 356000 | #Constraints: 22629
246.90/247.52 c #Conflicts: 357000 | #Constraints: 23629
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 358000 | #Constraints: 12826
246.90/247.52 c #Conflicts: 359000 | #Constraints: 13826
246.90/247.52 c #Conflicts: 360000 | #Constraints: 14826
246.90/247.52 c #Conflicts: 361000 | #Constraints: 15826
246.90/247.52 c #Conflicts: 362000 | #Constraints: 16826
246.90/247.52 c #Conflicts: 363000 | #Constraints: 17826
246.90/247.52 c #Conflicts: 364000 | #Constraints: 18826
246.90/247.52 c #Conflicts: 365000 | #Constraints: 19826
246.90/247.52 c #Conflicts: 366000 | #Constraints: 20826
246.90/247.52 c #Conflicts: 367000 | #Constraints: 21826
246.90/247.52 c #Conflicts: 368000 | #Constraints: 22826
246.90/247.52 c #Conflicts: 369000 | #Constraints: 23826
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 370000 | #Constraints: 12828
246.90/247.52 c #Conflicts: 371000 | #Constraints: 13828
246.90/247.52 c #Conflicts: 372000 | #Constraints: 14828
246.90/247.52 c #Conflicts: 373000 | #Constraints: 15828
246.90/247.52 c #Conflicts: 374000 | #Constraints: 16828
246.90/247.52 c #Conflicts: 375000 | #Constraints: 17828
246.90/247.52 c #Conflicts: 376000 | #Constraints: 18828
246.90/247.52 c #Conflicts: 377000 | #Constraints: 19828
246.90/247.52 c #Conflicts: 378000 | #Constraints: 20828
246.90/247.52 c #Conflicts: 379000 | #Constraints: 21828
246.90/247.52 c #Conflicts: 380000 | #Constraints: 22828
246.90/247.52 c #Conflicts: 381000 | #Constraints: 23828
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 382000 | #Constraints: 12627
246.90/247.52 c #Conflicts: 383000 | #Constraints: 13627
246.90/247.52 c #Conflicts: 384000 | #Constraints: 14627
246.90/247.52 c #Conflicts: 385000 | #Constraints: 15627
246.90/247.52 c #Conflicts: 386000 | #Constraints: 16627
246.90/247.52 c #Conflicts: 387000 | #Constraints: 17627
246.90/247.52 c #Conflicts: 388000 | #Constraints: 18627
246.90/247.52 c #Conflicts: 389000 | #Constraints: 19627
246.90/247.52 c #Conflicts: 390000 | #Constraints: 20627
246.90/247.52 c #Conflicts: 391000 | #Constraints: 21627
246.90/247.52 c #Conflicts: 392000 | #Constraints: 22627
246.90/247.52 c #Conflicts: 393000 | #Constraints: 23627
246.90/247.52 c #Conflicts: 394000 | #Constraints: 24627
246.90/247.52 c INPROCESSING
246.90/247.52 c GARBAGE COLLECT
246.90/247.52 c #Conflicts: 395000 | #Constraints: 13227
246.90/247.52 c #Conflicts: 396000 | #Constraints: 14227
246.90/247.52 c #Conflicts: 397000 | #Constraints: 15227
246.90/247.52 c #Conflicts: 398000 | #Constraints: 16227
246.90/247.52 c #Conflicts: 399000 | #Constraints: 17227
246.90/247.52 c #Conflicts: 400000 | #Constraints: 18227
246.90/247.52 c #Conflicts: 401000 | #Constraints: 19227
246.90/247.52 c #Conflicts: 402000 | #Constraints: 20227
246.90/247.52 c #Conflicts: 403000 | #Constraints: 21227
246.90/247.52 c #Conflicts: 404000 | #Constraints: 22227
246.90/247.52 c #Conflicts: 405000 | #Constraints: 23227
323.39/324.29 c #Conflicts: 406000 | #Constraints: 24227
323.39/324.29 c #Conflicts: 407000 | #Constraints: 25227
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 408000 | #Constraints: 13629
323.39/324.29 c #Conflicts: 409000 | #Constraints: 14629
323.39/324.29 c #Conflicts: 410000 | #Constraints: 15629
323.39/324.29 c #Conflicts: 411000 | #Constraints: 16629
323.39/324.29 c #Conflicts: 412000 | #Constraints: 17629
323.39/324.29 c #Conflicts: 413000 | #Constraints: 18629
323.39/324.29 c #Conflicts: 414000 | #Constraints: 19629
323.39/324.29 c #Conflicts: 415000 | #Constraints: 20629
323.39/324.29 c #Conflicts: 416000 | #Constraints: 21629
323.39/324.29 c #Conflicts: 417000 | #Constraints: 22629
323.39/324.29 c #Conflicts: 418000 | #Constraints: 23629
323.39/324.29 c #Conflicts: 419000 | #Constraints: 24629
323.39/324.29 c #Conflicts: 420000 | #Constraints: 25629
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 421000 | #Constraints: 13828
323.39/324.29 c #Conflicts: 422000 | #Constraints: 14828
323.39/324.29 c #Conflicts: 423000 | #Constraints: 15828
323.39/324.29 c #Conflicts: 424000 | #Constraints: 16828
323.39/324.29 c #Conflicts: 425000 | #Constraints: 17828
323.39/324.29 c #Conflicts: 426000 | #Constraints: 18828
323.39/324.29 c #Conflicts: 427000 | #Constraints: 19828
323.39/324.29 c #Conflicts: 428000 | #Constraints: 20828
323.39/324.29 c #Conflicts: 429000 | #Constraints: 21828
323.39/324.29 c #Conflicts: 430000 | #Constraints: 22828
323.39/324.29 c #Conflicts: 431000 | #Constraints: 23828
323.39/324.29 c #Conflicts: 432000 | #Constraints: 24828
323.39/324.29 c #Conflicts: 433000 | #Constraints: 25828
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 434000 | #Constraints: 13828
323.39/324.29 c #Conflicts: 435000 | #Constraints: 14828
323.39/324.29 c #Conflicts: 436000 | #Constraints: 15828
323.39/324.29 c #Conflicts: 437000 | #Constraints: 16828
323.39/324.29 c #Conflicts: 438000 | #Constraints: 17828
323.39/324.29 c #Conflicts: 439000 | #Constraints: 18828
323.39/324.29 c #Conflicts: 440000 | #Constraints: 19828
323.39/324.29 c #Conflicts: 441000 | #Constraints: 20828
323.39/324.29 c #Conflicts: 442000 | #Constraints: 21828
323.39/324.29 c #Conflicts: 443000 | #Constraints: 22828
323.39/324.29 c #Conflicts: 444000 | #Constraints: 23828
323.39/324.29 c #Conflicts: 445000 | #Constraints: 24828
323.39/324.29 c #Conflicts: 446000 | #Constraints: 25828
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 447000 | #Constraints: 13631
323.39/324.29 c #Conflicts: 448000 | #Constraints: 14631
323.39/324.29 c #Conflicts: 449000 | #Constraints: 15631
323.39/324.29 c #Conflicts: 450000 | #Constraints: 16631
323.39/324.29 c #Conflicts: 451000 | #Constraints: 17631
323.39/324.29 c #Conflicts: 452000 | #Constraints: 18631
323.39/324.29 c #Conflicts: 453000 | #Constraints: 19631
323.39/324.29 c #Conflicts: 454000 | #Constraints: 20631
323.39/324.29 c #Conflicts: 455000 | #Constraints: 21631
323.39/324.29 c #Conflicts: 456000 | #Constraints: 22631
323.39/324.29 c #Conflicts: 457000 | #Constraints: 23631
323.39/324.29 c #Conflicts: 458000 | #Constraints: 24631
323.39/324.29 c #Conflicts: 459000 | #Constraints: 25631
323.39/324.29 c #Conflicts: 460000 | #Constraints: 26631
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 461000 | #Constraints: 14234
323.39/324.29 c #Conflicts: 462000 | #Constraints: 15234
323.39/324.29 c #Conflicts: 463000 | #Constraints: 16234
323.39/324.29 c #Conflicts: 464000 | #Constraints: 17234
323.39/324.29 c #Conflicts: 465000 | #Constraints: 18234
323.39/324.29 c #Conflicts: 466000 | #Constraints: 19234
323.39/324.29 c #Conflicts: 467000 | #Constraints: 20234
323.39/324.29 c #Conflicts: 468000 | #Constraints: 21234
323.39/324.29 c #Conflicts: 469000 | #Constraints: 22234
323.39/324.29 c #Conflicts: 470000 | #Constraints: 23234
323.39/324.29 c #Conflicts: 471000 | #Constraints: 24234
323.39/324.29 c #Conflicts: 472000 | #Constraints: 25234
323.39/324.29 c #Conflicts: 473000 | #Constraints: 26234
323.39/324.29 c #Conflicts: 474000 | #Constraints: 27234
323.39/324.29 c INPROCESSING
323.39/324.29 c GARBAGE COLLECT
323.39/324.29 c #Conflicts: 475000 | #Constraints: 14633
323.39/324.29 c #Conflicts: 476000 | #Constraints: 15633
323.39/324.29 c #Conflicts: 477000 | #Constraints: 16633
323.39/324.29 c #Conflicts: 478000 | #Constraints: 17633
323.39/324.29 c #Conflicts: 479000 | #Constraints: 18633
323.39/324.29 c #Conflicts: 480000 | #Constraints: 19633
401.00/402.08 c #Conflicts: 481000 | #Constraints: 20633
401.00/402.08 c #Conflicts: 482000 | #Constraints: 21633
401.00/402.08 c #Conflicts: 483000 | #Constraints: 22633
401.00/402.08 c #Conflicts: 484000 | #Constraints: 23633
401.00/402.08 c #Conflicts: 485000 | #Constraints: 24633
401.00/402.08 c #Conflicts: 486000 | #Constraints: 25633
401.00/402.08 c #Conflicts: 487000 | #Constraints: 26633
401.00/402.08 c #Conflicts: 488000 | #Constraints: 27633
401.00/402.08 c INPROCESSING
401.00/402.08 c GARBAGE COLLECT
401.00/402.08 c #Conflicts: 489000 | #Constraints: 14832
401.00/402.08 c #Conflicts: 490000 | #Constraints: 15832
401.00/402.08 c #Conflicts: 491000 | #Constraints: 16832
401.00/402.08 c #Conflicts: 492000 | #Constraints: 17832
401.00/402.08 c #Conflicts: 493000 | #Constraints: 18832
401.00/402.08 c #Conflicts: 494000 | #Constraints: 19832
401.00/402.08 c #Conflicts: 495000 | #Constraints: 20832
401.00/402.08 c #Conflicts: 496000 | #Constraints: 21832
401.00/402.08 c #Conflicts: 497000 | #Constraints: 22832
401.00/402.08 c #Conflicts: 498000 | #Constraints: 23832
401.00/402.08 c #Conflicts: 499000 | #Constraints: 24832
401.00/402.08 c #Conflicts: 500000 | #Constraints: 25832
401.00/402.08 c #Conflicts: 501000 | #Constraints: 26832
401.00/402.08 c #Conflicts: 502000 | #Constraints: 27832
401.00/402.08 c INPROCESSING
401.00/402.08 c GARBAGE COLLECT
401.00/402.08 c #Conflicts: 503000 | #Constraints: 14830
401.00/402.08 c #Conflicts: 504000 | #Constraints: 15830
401.00/402.08 c #Conflicts: 505000 | #Constraints: 16830
401.00/402.08 c #Conflicts: 506000 | #Constraints: 17830
401.00/402.08 c #Conflicts: 507000 | #Constraints: 18830
401.00/402.08 c #Conflicts: 508000 | #Constraints: 19830
401.00/402.08 c #Conflicts: 509000 | #Constraints: 20830
401.00/402.08 c #Conflicts: 510000 | #Constraints: 21830
401.00/402.08 c #Conflicts: 511000 | #Constraints: 22830
401.00/402.08 c #Conflicts: 512000 | #Constraints: 23830
401.00/402.08 c #Conflicts: 513000 | #Constraints: 24830
401.00/402.08 c #Conflicts: 514000 | #Constraints: 25830
401.00/402.08 c #Conflicts: 515000 | #Constraints: 26830
401.00/402.08 c #Conflicts: 516000 | #Constraints: 27830
401.00/402.08 c INPROCESSING
401.00/402.08 c GARBAGE COLLECT
401.00/402.08 c #Conflicts: 517000 | #Constraints: 14630
401.00/402.08 c #Conflicts: 518000 | #Constraints: 15630
401.00/402.08 c #Conflicts: 519000 | #Constraints: 16630
401.00/402.08 c #Conflicts: 520000 | #Constraints: 17630
401.00/402.08 c #Conflicts: 521000 | #Constraints: 18630
401.00/402.08 c #Conflicts: 522000 | #Constraints: 19630
401.00/402.08 c #Conflicts: 523000 | #Constraints: 20630
401.00/402.08 c #Conflicts: 524000 | #Constraints: 21630
401.00/402.08 c #Conflicts: 525000 | #Constraints: 22630
401.00/402.08 c #Conflicts: 526000 | #Constraints: 23630
401.00/402.08 c #Conflicts: 527000 | #Constraints: 24630
401.00/402.08 c #Conflicts: 528000 | #Constraints: 25630
401.00/402.08 c #Conflicts: 529000 | #Constraints: 26630
401.00/402.08 c #Conflicts: 530000 | #Constraints: 27630
401.00/402.08 c #Conflicts: 531000 | #Constraints: 28630
401.00/402.08 c INPROCESSING
401.00/402.08 c GARBAGE COLLECT
401.00/402.08 c #Conflicts: 532000 | #Constraints: 15227
401.00/402.08 c #Conflicts: 533000 | #Constraints: 16227
401.00/402.08 c #Conflicts: 534000 | #Constraints: 17227
401.00/402.08 c #Conflicts: 535000 | #Constraints: 18227
401.00/402.08 c #Conflicts: 536000 | #Constraints: 19227
401.00/402.08 c #Conflicts: 537000 | #Constraints: 20227
401.00/402.08 c #Conflicts: 538000 | #Constraints: 21227
401.00/402.08 c #Conflicts: 539000 | #Constraints: 22227
401.00/402.08 c #Conflicts: 540000 | #Constraints: 23227
401.00/402.08 c #Conflicts: 541000 | #Constraints: 24227
401.00/402.08 c #Conflicts: 542000 | #Constraints: 25227
401.00/402.08 c #Conflicts: 543000 | #Constraints: 26227
401.00/402.08 c #Conflicts: 544000 | #Constraints: 27227
401.00/402.08 c #Conflicts: 545000 | #Constraints: 28227
401.00/402.08 c #Conflicts: 546000 | #Constraints: 29227
401.00/402.08 c INPROCESSING
401.00/402.08 c GARBAGE COLLECT
401.00/402.08 c #Conflicts: 547000 | #Constraints: 15628
401.00/402.08 c #Conflicts: 548000 | #Constraints: 16628
401.00/402.08 c #Conflicts: 549000 | #Constraints: 17628
401.00/402.08 c #Conflicts: 550000 | #Constraints: 18628
401.00/402.08 c #Conflicts: 551000 | #Constraints: 19628
401.00/402.08 c #Conflicts: 552000 | #Constraints: 20628
401.00/402.08 c #Conflicts: 553000 | #Constraints: 21628
401.00/402.08 c #Conflicts: 554000 | #Constraints: 22628
401.00/402.08 c #Conflicts: 555000 | #Constraints: 23628
401.00/402.08 c #Conflicts: 556000 | #Constraints: 24628
480.17/481.46 c #Conflicts: 557000 | #Constraints: 25628
480.17/481.46 c #Conflicts: 558000 | #Constraints: 26628
480.17/481.46 c #Conflicts: 559000 | #Constraints: 27628
480.17/481.46 c #Conflicts: 560000 | #Constraints: 28628
480.17/481.46 c #Conflicts: 561000 | #Constraints: 29628
480.17/481.46 c INPROCESSING
480.17/481.46 c GARBAGE COLLECT
480.17/481.46 c #Conflicts: 562000 | #Constraints: 15829
480.17/481.46 c #Conflicts: 563000 | #Constraints: 16829
480.17/481.46 c #Conflicts: 564000 | #Constraints: 17829
480.17/481.46 c #Conflicts: 565000 | #Constraints: 18829
480.17/481.46 c #Conflicts: 566000 | #Constraints: 19829
480.17/481.46 c #Conflicts: 567000 | #Constraints: 20829
480.17/481.46 c #Conflicts: 568000 | #Constraints: 21829
480.17/481.46 c #Conflicts: 569000 | #Constraints: 22829
480.17/481.46 c #Conflicts: 570000 | #Constraints: 23829
480.17/481.46 c #Conflicts: 571000 | #Constraints: 24829
480.17/481.46 c #Conflicts: 572000 | #Constraints: 25829
480.17/481.46 c #Conflicts: 573000 | #Constraints: 26829
480.17/481.46 c #Conflicts: 574000 | #Constraints: 27829
480.17/481.46 c #Conflicts: 575000 | #Constraints: 28829
480.17/481.46 c #Conflicts: 576000 | #Constraints: 29829
480.17/481.46 c INPROCESSING
480.17/481.46 c GARBAGE COLLECT
480.17/481.46 c #Conflicts: 577000 | #Constraints: 15828
480.17/481.46 c #Conflicts: 578000 | #Constraints: 16828
480.17/481.46 c #Conflicts: 579000 | #Constraints: 17828
480.17/481.46 c #Conflicts: 580000 | #Constraints: 18828
480.17/481.46 c #Conflicts: 581000 | #Constraints: 19828
480.17/481.46 c #Conflicts: 582000 | #Constraints: 20828
480.17/481.46 c #Conflicts: 583000 | #Constraints: 21828
480.17/481.46 c #Conflicts: 584000 | #Constraints: 22828
480.17/481.46 c #Conflicts: 585000 | #Constraints: 23828
480.17/481.46 c #Conflicts: 586000 | #Constraints: 24828
480.17/481.46 c #Conflicts: 587000 | #Constraints: 25828
480.17/481.46 c #Conflicts: 588000 | #Constraints: 26828
480.17/481.46 c #Conflicts: 589000 | #Constraints: 27828
480.17/481.46 c #Conflicts: 590000 | #Constraints: 28828
480.17/481.46 c #Conflicts: 591000 | #Constraints: 29828
480.17/481.46 c INPROCESSING
480.17/481.46 c GARBAGE COLLECT
480.17/481.46 c #Conflicts: 592000 | #Constraints: 15625
480.17/481.46 c #Conflicts: 593000 | #Constraints: 16625
480.17/481.46 c #Conflicts: 594000 | #Constraints: 17625
480.17/481.46 c #Conflicts: 595000 | #Constraints: 18625
480.17/481.46 c #Conflicts: 596000 | #Constraints: 19625
480.17/481.46 c #Conflicts: 597000 | #Constraints: 20625
480.17/481.46 c #Conflicts: 598000 | #Constraints: 21625
480.17/481.46 c #Conflicts: 599000 | #Constraints: 22625
480.17/481.46 c #Conflicts: 600000 | #Constraints: 23625
480.17/481.46 c #Conflicts: 601000 | #Constraints: 24625
480.17/481.46 c #Conflicts: 602000 | #Constraints: 25625
480.17/481.46 c #Conflicts: 603000 | #Constraints: 26625
480.17/481.46 c #Conflicts: 604000 | #Constraints: 27625
480.17/481.46 c #Conflicts: 605000 | #Constraints: 28625
480.17/481.46 c #Conflicts: 606000 | #Constraints: 29625
480.17/481.46 c #Conflicts: 607000 | #Constraints: 30625
480.17/481.46 c INPROCESSING
480.17/481.46 c GARBAGE COLLECT
480.17/481.46 c #Conflicts: 608000 | #Constraints: 16229
480.17/481.46 c #Conflicts: 609000 | #Constraints: 17229
480.17/481.46 c #Conflicts: 610000 | #Constraints: 18229
480.17/481.46 c #Conflicts: 611000 | #Constraints: 19229
480.17/481.46 c #Conflicts: 612000 | #Constraints: 20229
480.17/481.46 c #Conflicts: 613000 | #Constraints: 21229
480.17/481.46 c #Conflicts: 614000 | #Constraints: 22229
480.17/481.46 c #Conflicts: 615000 | #Constraints: 23229
480.17/481.46 c #Conflicts: 616000 | #Constraints: 24229
480.17/481.46 c #Conflicts: 617000 | #Constraints: 25229
480.17/481.46 c #Conflicts: 618000 | #Constraints: 26229
480.17/481.46 c #Conflicts: 619000 | #Constraints: 27229
480.17/481.46 c #Conflicts: 620000 | #Constraints: 28229
480.17/481.46 c #Conflicts: 621000 | #Constraints: 29229
480.17/481.46 c #Conflicts: 622000 | #Constraints: 30229
480.17/481.46 c #Conflicts: 623000 | #Constraints: 31229
480.17/481.46 c INPROCESSING
480.17/481.46 c GARBAGE COLLECT
480.17/481.46 c #Conflicts: 624000 | #Constraints: 16629
480.17/481.46 c #Conflicts: 625000 | #Constraints: 17629
480.17/481.46 c #Conflicts: 626000 | #Constraints: 18629
480.17/481.46 c #Conflicts: 627000 | #Constraints: 19629
480.17/481.46 c #Conflicts: 628000 | #Constraints: 20629
480.17/481.46 c #Conflicts: 629000 | #Constraints: 21629
480.17/481.46 c #Conflicts: 630000 | #Constraints: 22629
480.17/481.46 c #Conflicts: 631000 | #Constraints: 23629
563.56/565.10 c #Conflicts: 632000 | #Constraints: 24629
563.56/565.10 c #Conflicts: 633000 | #Constraints: 25629
563.56/565.10 c #Conflicts: 634000 | #Constraints: 26629
563.56/565.10 c #Conflicts: 635000 | #Constraints: 27629
563.56/565.10 c #Conflicts: 636000 | #Constraints: 28629
563.56/565.10 c #Conflicts: 637000 | #Constraints: 29629
563.56/565.10 c #Conflicts: 638000 | #Constraints: 30629
563.56/565.10 c #Conflicts: 639000 | #Constraints: 31629
563.56/565.10 c INPROCESSING
563.56/565.10 c GARBAGE COLLECT
563.56/565.10 c #Conflicts: 640000 | #Constraints: 16829
563.56/565.10 c #Conflicts: 641000 | #Constraints: 17829
563.56/565.10 c #Conflicts: 642000 | #Constraints: 18829
563.56/565.10 c #Conflicts: 643000 | #Constraints: 19829
563.56/565.10 c #Conflicts: 644000 | #Constraints: 20829
563.56/565.10 c #Conflicts: 645000 | #Constraints: 21829
563.56/565.10 c #Conflicts: 646000 | #Constraints: 22829
563.56/565.10 c #Conflicts: 647000 | #Constraints: 23829
563.56/565.10 c #Conflicts: 648000 | #Constraints: 24829
563.56/565.10 c #Conflicts: 649000 | #Constraints: 25829
563.56/565.10 c #Conflicts: 650000 | #Constraints: 26829
563.56/565.10 c #Conflicts: 651000 | #Constraints: 27829
563.56/565.10 c #Conflicts: 652000 | #Constraints: 28829
563.56/565.10 c #Conflicts: 653000 | #Constraints: 29829
563.56/565.10 c #Conflicts: 654000 | #Constraints: 30829
563.56/565.10 c #Conflicts: 655000 | #Constraints: 31829
563.56/565.10 c INPROCESSING
563.56/565.10 c GARBAGE COLLECT
563.56/565.10 c #Conflicts: 656000 | #Constraints: 16831
563.56/565.10 c #Conflicts: 657000 | #Constraints: 17831
563.56/565.10 c #Conflicts: 658000 | #Constraints: 18831
563.56/565.10 c #Conflicts: 659000 | #Constraints: 19831
563.56/565.10 c #Conflicts: 660000 | #Constraints: 20831
563.56/565.10 c #Conflicts: 661000 | #Constraints: 21831
563.56/565.10 c #Conflicts: 662000 | #Constraints: 22831
563.56/565.10 c #Conflicts: 663000 | #Constraints: 23831
563.56/565.10 c #Conflicts: 664000 | #Constraints: 24831
563.56/565.10 c #Conflicts: 665000 | #Constraints: 25831
563.56/565.10 c #Conflicts: 666000 | #Constraints: 26831
563.56/565.10 c #Conflicts: 667000 | #Constraints: 27831
563.56/565.10 c #Conflicts: 668000 | #Constraints: 28831
563.56/565.10 c #Conflicts: 669000 | #Constraints: 29831
563.56/565.10 c #Conflicts: 670000 | #Constraints: 30831
563.56/565.10 c #Conflicts: 671000 | #Constraints: 31831
563.56/565.10 c INPROCESSING
563.56/565.10 c GARBAGE COLLECT
563.56/565.10 c #Conflicts: 672000 | #Constraints: 16629
563.56/565.10 c #Conflicts: 673000 | #Constraints: 17629
563.56/565.10 c #Conflicts: 674000 | #Constraints: 18629
563.56/565.10 c #Conflicts: 675000 | #Constraints: 19629
563.56/565.10 c #Conflicts: 676000 | #Constraints: 20629
563.56/565.10 c #Conflicts: 677000 | #Constraints: 21629
563.56/565.10 c #Conflicts: 678000 | #Constraints: 22629
563.56/565.10 c #Conflicts: 679000 | #Constraints: 23629
563.56/565.10 c #Conflicts: 680000 | #Constraints: 24629
563.56/565.10 c #Conflicts: 681000 | #Constraints: 25629
563.56/565.10 c #Conflicts: 682000 | #Constraints: 26629
563.56/565.10 c #Conflicts: 683000 | #Constraints: 27629
563.56/565.10 c #Conflicts: 684000 | #Constraints: 28629
563.56/565.10 c #Conflicts: 685000 | #Constraints: 29629
563.56/565.10 c #Conflicts: 686000 | #Constraints: 30629
563.56/565.10 c #Conflicts: 687000 | #Constraints: 31629
563.56/565.10 c #Conflicts: 688000 | #Constraints: 32629
563.56/565.10 c INPROCESSING
563.56/565.10 c GARBAGE COLLECT
563.56/565.10 c #Conflicts: 689000 | #Constraints: 17228
563.56/565.10 c #Conflicts: 690000 | #Constraints: 18228
563.56/565.10 c #Conflicts: 691000 | #Constraints: 19228
563.56/565.10 c #Conflicts: 692000 | #Constraints: 20228
563.56/565.10 c #Conflicts: 693000 | #Constraints: 21228
563.56/565.10 c #Conflicts: 694000 | #Constraints: 22228
563.56/565.10 c #Conflicts: 695000 | #Constraints: 23228
563.56/565.10 c #Conflicts: 696000 | #Constraints: 24228
563.56/565.10 c #Conflicts: 697000 | #Constraints: 25228
563.56/565.10 c #Conflicts: 698000 | #Constraints: 26228
563.56/565.10 c #Conflicts: 699000 | #Constraints: 27228
563.56/565.10 c #Conflicts: 700000 | #Constraints: 28228
563.56/565.10 c #Conflicts: 701000 | #Constraints: 29228
563.56/565.10 c #Conflicts: 702000 | #Constraints: 30228
563.56/565.10 c #Conflicts: 703000 | #Constraints: 31228
563.56/565.10 c #Conflicts: 704000 | #Constraints: 32228
563.56/565.10 c #Conflicts: 705000 | #Constraints: 33228
563.56/565.10 c INPROCESSING
563.56/565.10 c GARBAGE COLLECT
563.56/565.10 c #Conflicts: 706000 | #Constraints: 17628
563.56/565.10 c #Conflicts: 707000 | #Constraints: 18628
657.70/659.41 c #Conflicts: 708000 | #Constraints: 19628
657.70/659.41 c #Conflicts: 709000 | #Constraints: 20628
657.70/659.41 c #Conflicts: 710000 | #Constraints: 21628
657.70/659.41 c #Conflicts: 711000 | #Constraints: 22628
657.70/659.41 c #Conflicts: 712000 | #Constraints: 23628
657.70/659.41 c #Conflicts: 713000 | #Constraints: 24628
657.70/659.41 c #Conflicts: 714000 | #Constraints: 25628
657.70/659.41 c #Conflicts: 715000 | #Constraints: 26628
657.70/659.41 c #Conflicts: 716000 | #Constraints: 27628
657.70/659.41 c #Conflicts: 717000 | #Constraints: 28628
657.70/659.41 c #Conflicts: 718000 | #Constraints: 29628
657.70/659.41 c #Conflicts: 719000 | #Constraints: 30628
657.70/659.41 c #Conflicts: 720000 | #Constraints: 31628
657.70/659.41 c #Conflicts: 721000 | #Constraints: 32628
657.70/659.41 c #Conflicts: 722000 | #Constraints: 33628
657.70/659.41 c INPROCESSING
657.70/659.41 c GARBAGE COLLECT
657.70/659.41 c #Conflicts: 723000 | #Constraints: 17830
657.70/659.41 c #Conflicts: 724000 | #Constraints: 18830
657.70/659.41 c #Conflicts: 725000 | #Constraints: 19830
657.70/659.41 c #Conflicts: 726000 | #Constraints: 20830
657.70/659.41 c #Conflicts: 727000 | #Constraints: 21830
657.70/659.41 c #Conflicts: 728000 | #Constraints: 22830
657.70/659.41 c #Conflicts: 729000 | #Constraints: 23830
657.70/659.41 c #Conflicts: 730000 | #Constraints: 24830
657.70/659.41 c #Conflicts: 731000 | #Constraints: 25830
657.70/659.41 c #Conflicts: 732000 | #Constraints: 26830
657.70/659.41 c #Conflicts: 733000 | #Constraints: 27830
657.70/659.41 c #Conflicts: 734000 | #Constraints: 28830
657.70/659.41 c #Conflicts: 735000 | #Constraints: 29830
657.70/659.41 c #Conflicts: 736000 | #Constraints: 30830
657.70/659.41 c #Conflicts: 737000 | #Constraints: 31830
657.70/659.41 c #Conflicts: 738000 | #Constraints: 32830
657.70/659.41 c #Conflicts: 739000 | #Constraints: 33830
657.70/659.41 c INPROCESSING
657.70/659.41 c GARBAGE COLLECT
657.70/659.41 c #Conflicts: 740000 | #Constraints: 17830
657.70/659.41 c #Conflicts: 741000 | #Constraints: 18830
657.70/659.41 c #Conflicts: 742000 | #Constraints: 19830
657.70/659.41 c #Conflicts: 743000 | #Constraints: 20830
657.70/659.41 c #Conflicts: 744000 | #Constraints: 21830
657.70/659.41 c #Conflicts: 745000 | #Constraints: 22830
657.70/659.41 c #Conflicts: 746000 | #Constraints: 23830
657.70/659.41 c #Conflicts: 747000 | #Constraints: 24830
657.70/659.41 c #Conflicts: 748000 | #Constraints: 25830
657.70/659.41 c #Conflicts: 749000 | #Constraints: 26830
657.70/659.41 c #Conflicts: 750000 | #Constraints: 27830
657.70/659.41 c #Conflicts: 751000 | #Constraints: 28830
657.70/659.41 c #Conflicts: 752000 | #Constraints: 29830
657.70/659.41 c #Conflicts: 753000 | #Constraints: 30830
657.70/659.41 c #Conflicts: 754000 | #Constraints: 31830
657.70/659.41 c #Conflicts: 755000 | #Constraints: 32830
657.70/659.41 c #Conflicts: 756000 | #Constraints: 33830
657.70/659.41 c INPROCESSING
657.70/659.41 c GARBAGE COLLECT
657.70/659.41 c #Conflicts: 757000 | #Constraints: 17628
657.70/659.41 c #Conflicts: 758000 | #Constraints: 18628
657.70/659.41 c #Conflicts: 759000 | #Constraints: 19628
657.70/659.41 c #Conflicts: 760000 | #Constraints: 20628
657.70/659.41 c #Conflicts: 761000 | #Constraints: 21628
657.70/659.41 c #Conflicts: 762000 | #Constraints: 22628
657.70/659.41 c #Conflicts: 763000 | #Constraints: 23628
657.70/659.41 c #Conflicts: 764000 | #Constraints: 24628
657.70/659.41 c #Conflicts: 765000 | #Constraints: 25628
657.70/659.41 c #Conflicts: 766000 | #Constraints: 26628
657.70/659.41 c #Conflicts: 767000 | #Constraints: 27628
657.70/659.41 c #Conflicts: 768000 | #Constraints: 28628
657.70/659.41 c #Conflicts: 769000 | #Constraints: 29628
657.70/659.41 c #Conflicts: 770000 | #Constraints: 30628
657.70/659.41 c #Conflicts: 771000 | #Constraints: 31628
657.70/659.41 c #Conflicts: 772000 | #Constraints: 32628
657.70/659.41 c #Conflicts: 773000 | #Constraints: 33628
657.70/659.41 c #Conflicts: 774000 | #Constraints: 34628
657.70/659.41 c INPROCESSING
657.70/659.41 c GARBAGE COLLECT
657.70/659.41 c #Conflicts: 775000 | #Constraints: 18227
657.70/659.41 c #Conflicts: 776000 | #Constraints: 19227
657.70/659.41 c #Conflicts: 777000 | #Constraints: 20227
657.70/659.41 c #Conflicts: 778000 | #Constraints: 21227
657.70/659.41 c #Conflicts: 779000 | #Constraints: 22227
657.70/659.41 c #Conflicts: 780000 | #Constraints: 23227
657.70/659.41 c #Conflicts: 781000 | #Constraints: 24227
657.70/659.41 c #Conflicts: 782000 | #Constraints: 25227
657.70/659.41 c #Conflicts: 783000 | #Constraints: 26227
756.25/758.27 c #Conflicts: 784000 | #Constraints: 27227
756.25/758.27 c #Conflicts: 785000 | #Constraints: 28227
756.25/758.27 c #Conflicts: 786000 | #Constraints: 29227
756.25/758.27 c #Conflicts: 787000 | #Constraints: 30227
756.25/758.27 c #Conflicts: 788000 | #Constraints: 31227
756.25/758.27 c #Conflicts: 789000 | #Constraints: 32227
756.25/758.27 c #Conflicts: 790000 | #Constraints: 33227
756.25/758.27 c #Conflicts: 791000 | #Constraints: 34227
756.25/758.27 c #Conflicts: 792000 | #Constraints: 35227
756.25/758.27 c INPROCESSING
756.25/758.27 c GARBAGE COLLECT
756.25/758.27 c #Conflicts: 793000 | #Constraints: 18627
756.25/758.27 c #Conflicts: 794000 | #Constraints: 19627
756.25/758.27 c #Conflicts: 795000 | #Constraints: 20627
756.25/758.27 c #Conflicts: 796000 | #Constraints: 21627
756.25/758.27 c #Conflicts: 797000 | #Constraints: 22627
756.25/758.27 c #Conflicts: 798000 | #Constraints: 23627
756.25/758.27 c #Conflicts: 799000 | #Constraints: 24627
756.25/758.27 c #Conflicts: 800000 | #Constraints: 25627
756.25/758.27 c #Conflicts: 801000 | #Constraints: 26627
756.25/758.27 c #Conflicts: 802000 | #Constraints: 27627
756.25/758.27 c #Conflicts: 803000 | #Constraints: 28627
756.25/758.27 c #Conflicts: 804000 | #Constraints: 29627
756.25/758.27 c #Conflicts: 805000 | #Constraints: 30627
756.25/758.27 c #Conflicts: 806000 | #Constraints: 31627
756.25/758.27 c #Conflicts: 807000 | #Constraints: 32627
756.25/758.27 c #Conflicts: 808000 | #Constraints: 33627
756.25/758.27 c #Conflicts: 809000 | #Constraints: 34627
756.25/758.27 c #Conflicts: 810000 | #Constraints: 35627
756.25/758.27 c INPROCESSING
756.25/758.27 c GARBAGE COLLECT
756.25/758.27 c #Conflicts: 811000 | #Constraints: 18827
756.25/758.27 c #Conflicts: 812000 | #Constraints: 19827
756.25/758.27 c #Conflicts: 813000 | #Constraints: 20827
756.25/758.27 c #Conflicts: 814000 | #Constraints: 21827
756.25/758.27 c #Conflicts: 815000 | #Constraints: 22827
756.25/758.27 c #Conflicts: 816000 | #Constraints: 23827
756.25/758.27 c #Conflicts: 817000 | #Constraints: 24827
756.25/758.27 c #Conflicts: 818000 | #Constraints: 25827
756.25/758.27 c #Conflicts: 819000 | #Constraints: 26827
756.25/758.27 c #Conflicts: 820000 | #Constraints: 27827
756.25/758.27 c #Conflicts: 821000 | #Constraints: 28827
756.25/758.27 c #Conflicts: 822000 | #Constraints: 29827
756.25/758.27 c #Conflicts: 823000 | #Constraints: 30827
756.25/758.27 c #Conflicts: 824000 | #Constraints: 31827
756.25/758.27 c #Conflicts: 825000 | #Constraints: 32827
756.25/758.27 c #Conflicts: 826000 | #Constraints: 33827
756.25/758.27 c #Conflicts: 827000 | #Constraints: 34827
756.25/758.27 c #Conflicts: 828000 | #Constraints: 35827
756.25/758.27 c INPROCESSING
756.25/758.27 c GARBAGE COLLECT
756.25/758.27 c #Conflicts: 829000 | #Constraints: 18830
756.25/758.27 c #Conflicts: 830000 | #Constraints: 19830
756.25/758.27 c #Conflicts: 831000 | #Constraints: 20830
756.25/758.27 c #Conflicts: 832000 | #Constraints: 21830
756.25/758.27 c #Conflicts: 833000 | #Constraints: 22830
756.25/758.27 c #Conflicts: 834000 | #Constraints: 23830
756.25/758.27 c #Conflicts: 835000 | #Constraints: 24830
756.25/758.27 c #Conflicts: 836000 | #Constraints: 25830
756.25/758.27 c #Conflicts: 837000 | #Constraints: 26830
756.25/758.27 c #Conflicts: 838000 | #Constraints: 27830
756.25/758.27 c #Conflicts: 839000 | #Constraints: 28830
756.25/758.27 c #Conflicts: 840000 | #Constraints: 29830
756.25/758.27 c #Conflicts: 841000 | #Constraints: 30830
756.25/758.27 c #Conflicts: 842000 | #Constraints: 31830
756.25/758.27 c #Conflicts: 843000 | #Constraints: 32830
756.25/758.27 c #Conflicts: 844000 | #Constraints: 33830
756.25/758.27 c #Conflicts: 845000 | #Constraints: 34830
756.25/758.27 c #Conflicts: 846000 | #Constraints: 35830
756.25/758.27 c INPROCESSING
756.25/758.27 c GARBAGE COLLECT
756.25/758.27 c #Conflicts: 847000 | #Constraints: 18626
756.25/758.27 c #Conflicts: 848000 | #Constraints: 19626
756.25/758.27 c #Conflicts: 849000 | #Constraints: 20626
756.25/758.27 c #Conflicts: 850000 | #Constraints: 21626
756.25/758.27 c #Conflicts: 851000 | #Constraints: 22626
756.25/758.27 c #Conflicts: 852000 | #Constraints: 23626
756.25/758.27 c #Conflicts: 853000 | #Constraints: 24626
756.25/758.27 c #Conflicts: 854000 | #Constraints: 25626
756.25/758.27 c #Conflicts: 855000 | #Constraints: 26626
756.25/758.27 c #Conflicts: 856000 | #Constraints: 27626
756.25/758.27 c #Conflicts: 857000 | #Constraints: 28626
756.25/758.27 c #Conflicts: 858000 | #Constraints: 29626
756.25/758.27 c #Conflicts: 859000 | #Constraints: 30626
858.32/860.54 c #Conflicts: 860000 | #Constraints: 31626
858.32/860.54 c #Conflicts: 861000 | #Constraints: 32626
858.32/860.54 c #Conflicts: 862000 | #Constraints: 33626
858.32/860.54 c #Conflicts: 863000 | #Constraints: 34626
858.32/860.54 c #Conflicts: 864000 | #Constraints: 35626
858.32/860.54 c #Conflicts: 865000 | #Constraints: 36626
858.32/860.54 c INPROCESSING
858.32/860.54 c GARBAGE COLLECT
858.32/860.54 c #Conflicts: 866000 | #Constraints: 19225
858.32/860.54 c #Conflicts: 867000 | #Constraints: 20225
858.32/860.54 c #Conflicts: 868000 | #Constraints: 21225
858.32/860.54 c #Conflicts: 869000 | #Constraints: 22225
858.32/860.54 c #Conflicts: 870000 | #Constraints: 23225
858.32/860.54 c #Conflicts: 871000 | #Constraints: 24225
858.32/860.54 c #Conflicts: 872000 | #Constraints: 25225
858.32/860.54 c #Conflicts: 873000 | #Constraints: 26225
858.32/860.54 c #Conflicts: 874000 | #Constraints: 27225
858.32/860.54 c #Conflicts: 875000 | #Constraints: 28225
858.32/860.54 c #Conflicts: 876000 | #Constraints: 29225
858.32/860.54 c #Conflicts: 877000 | #Constraints: 30225
858.32/860.54 c #Conflicts: 878000 | #Constraints: 31225
858.32/860.54 c #Conflicts: 879000 | #Constraints: 32225
858.32/860.54 c #Conflicts: 880000 | #Constraints: 33225
858.32/860.54 c #Conflicts: 881000 | #Constraints: 34225
858.32/860.54 c #Conflicts: 882000 | #Constraints: 35225
858.32/860.54 c #Conflicts: 883000 | #Constraints: 36225
858.32/860.54 c #Conflicts: 884000 | #Constraints: 37225
858.32/860.54 c INPROCESSING
858.32/860.54 c GARBAGE COLLECT
858.32/860.54 c #Conflicts: 885000 | #Constraints: 19628
858.32/860.54 c #Conflicts: 886000 | #Constraints: 20628
858.32/860.54 c #Conflicts: 887000 | #Constraints: 21628
858.32/860.54 c #Conflicts: 888000 | #Constraints: 22628
858.32/860.54 c #Conflicts: 889000 | #Constraints: 23628
858.32/860.54 c #Conflicts: 890000 | #Constraints: 24628
858.32/860.54 c #Conflicts: 891000 | #Constraints: 25628
858.32/860.54 c #Conflicts: 892000 | #Constraints: 26628
858.32/860.54 c #Conflicts: 893000 | #Constraints: 27628
858.32/860.54 c #Conflicts: 894000 | #Constraints: 28628
858.32/860.54 c #Conflicts: 895000 | #Constraints: 29628
858.32/860.54 c #Conflicts: 896000 | #Constraints: 30628
858.32/860.54 c #Conflicts: 897000 | #Constraints: 31628
858.32/860.54 c #Conflicts: 898000 | #Constraints: 32628
858.32/860.54 c #Conflicts: 899000 | #Constraints: 33628
858.32/860.54 c #Conflicts: 900000 | #Constraints: 34628
858.32/860.54 c #Conflicts: 901000 | #Constraints: 35628
858.32/860.54 c #Conflicts: 902000 | #Constraints: 36628
858.32/860.54 c #Conflicts: 903000 | #Constraints: 37628
858.32/860.54 c INPROCESSING
858.32/860.54 c GARBAGE COLLECT
858.32/860.54 c #Conflicts: 904000 | #Constraints: 19828
858.32/860.54 c #Conflicts: 905000 | #Constraints: 20828
858.32/860.54 c #Conflicts: 906000 | #Constraints: 21828
858.32/860.54 c #Conflicts: 907000 | #Constraints: 22828
858.32/860.54 c #Conflicts: 908000 | #Constraints: 23828
858.32/860.54 c #Conflicts: 909000 | #Constraints: 24828
858.32/860.54 c #Conflicts: 910000 | #Constraints: 25828
858.32/860.54 c #Conflicts: 911000 | #Constraints: 26828
858.32/860.54 c #Conflicts: 912000 | #Constraints: 27828
858.32/860.54 c #Conflicts: 913000 | #Constraints: 28828
858.32/860.54 c #Conflicts: 914000 | #Constraints: 29828
858.32/860.54 c #Conflicts: 915000 | #Constraints: 30828
858.32/860.54 c #Conflicts: 916000 | #Constraints: 31828
858.32/860.54 c #Conflicts: 917000 | #Constraints: 32828
858.32/860.54 c #Conflicts: 918000 | #Constraints: 33828
858.32/860.54 c #Conflicts: 919000 | #Constraints: 34828
858.32/860.54 c #Conflicts: 920000 | #Constraints: 35828
858.32/860.54 c #Conflicts: 921000 | #Constraints: 36828
858.32/860.54 c #Conflicts: 922000 | #Constraints: 37828
858.32/860.54 c INPROCESSING
858.32/860.54 c GARBAGE COLLECT
858.32/860.54 c #Conflicts: 923000 | #Constraints: 19829
858.32/860.54 c #Conflicts: 924000 | #Constraints: 20829
858.32/860.54 c #Conflicts: 925000 | #Constraints: 21829
858.32/860.54 c #Conflicts: 926000 | #Constraints: 22829
858.32/860.54 c #Conflicts: 927000 | #Constraints: 23829
858.32/860.54 c #Conflicts: 928000 | #Constraints: 24829
858.32/860.54 c #Conflicts: 929000 | #Constraints: 25829
858.32/860.54 c #Conflicts: 930000 | #Constraints: 26829
858.32/860.54 c #Conflicts: 931000 | #Constraints: 27829
858.32/860.54 c #Conflicts: 932000 | #Constraints: 28829
858.32/860.54 c #Conflicts: 933000 | #Constraints: 29829
858.32/860.54 c #Conflicts: 934000 | #Constraints: 30829
858.32/860.54 c #Conflicts: 935000 | #Constraints: 31829
858.32/860.54 c #Conflicts: 936000 | #Constraints: 32829
970.36/972.86 c #Conflicts: 937000 | #Constraints: 33829
970.36/972.86 c #Conflicts: 938000 | #Constraints: 34829
970.36/972.86 c #Conflicts: 939000 | #Constraints: 35829
970.36/972.86 c #Conflicts: 940000 | #Constraints: 36829
970.36/972.86 c #Conflicts: 941000 | #Constraints: 37829
970.36/972.86 c INPROCESSING
970.36/972.86 c GARBAGE COLLECT
970.36/972.86 c #Conflicts: 942000 | #Constraints: 19632
970.36/972.86 c #Conflicts: 943000 | #Constraints: 20632
970.36/972.86 c #Conflicts: 944000 | #Constraints: 21632
970.36/972.86 c #Conflicts: 945000 | #Constraints: 22632
970.36/972.86 c #Conflicts: 946000 | #Constraints: 23632
970.36/972.86 c #Conflicts: 947000 | #Constraints: 24632
970.36/972.86 c #Conflicts: 948000 | #Constraints: 25632
970.36/972.86 c #Conflicts: 949000 | #Constraints: 26632
970.36/972.86 c #Conflicts: 950000 | #Constraints: 27632
970.36/972.86 c #Conflicts: 951000 | #Constraints: 28632
970.36/972.86 c #Conflicts: 952000 | #Constraints: 29632
970.36/972.86 c #Conflicts: 953000 | #Constraints: 30632
970.36/972.86 c #Conflicts: 954000 | #Constraints: 31632
970.36/972.86 c #Conflicts: 955000 | #Constraints: 32632
970.36/972.86 c #Conflicts: 956000 | #Constraints: 33632
970.36/972.86 c #Conflicts: 957000 | #Constraints: 34632
970.36/972.86 c #Conflicts: 958000 | #Constraints: 35632
970.36/972.86 c #Conflicts: 959000 | #Constraints: 36632
970.36/972.86 c #Conflicts: 960000 | #Constraints: 37632
970.36/972.86 c #Conflicts: 961000 | #Constraints: 38632
970.36/972.86 c INPROCESSING
970.36/972.86 c GARBAGE COLLECT
970.36/972.86 c #Conflicts: 962000 | #Constraints: 20230
970.36/972.86 c #Conflicts: 963000 | #Constraints: 21230
970.36/972.86 c #Conflicts: 964000 | #Constraints: 22230
970.36/972.86 c #Conflicts: 965000 | #Constraints: 23230
970.36/972.86 c #Conflicts: 966000 | #Constraints: 24230
970.36/972.86 c #Conflicts: 967000 | #Constraints: 25230
970.36/972.86 c #Conflicts: 968000 | #Constraints: 26230
970.36/972.86 c #Conflicts: 969000 | #Constraints: 27230
970.36/972.86 c #Conflicts: 970000 | #Constraints: 28230
970.36/972.86 c #Conflicts: 971000 | #Constraints: 29230
970.36/972.86 c #Conflicts: 972000 | #Constraints: 30230
970.36/972.86 c #Conflicts: 973000 | #Constraints: 31230
970.36/972.86 c #Conflicts: 974000 | #Constraints: 32230
970.36/972.86 c #Conflicts: 975000 | #Constraints: 33230
970.36/972.86 c #Conflicts: 976000 | #Constraints: 34230
970.36/972.86 c #Conflicts: 977000 | #Constraints: 35230
970.36/972.86 c #Conflicts: 978000 | #Constraints: 36230
970.36/972.86 c #Conflicts: 979000 | #Constraints: 37230
970.36/972.86 c #Conflicts: 980000 | #Constraints: 38230
970.36/972.86 c #Conflicts: 981000 | #Constraints: 39230
970.36/972.86 c INPROCESSING
970.36/972.86 c GARBAGE COLLECT
970.36/972.86 c #Conflicts: 982000 | #Constraints: 20630
970.36/972.86 c #Conflicts: 983000 | #Constraints: 21630
970.36/972.86 c #Conflicts: 984000 | #Constraints: 22630
970.36/972.86 c #Conflicts: 985000 | #Constraints: 23630
970.36/972.86 c #Conflicts: 986000 | #Constraints: 24630
970.36/972.86 c #Conflicts: 987000 | #Constraints: 25630
970.36/972.86 c #Conflicts: 988000 | #Constraints: 26630
970.36/972.86 c #Conflicts: 989000 | #Constraints: 27630
970.36/972.86 c #Conflicts: 990000 | #Constraints: 28630
970.36/972.86 c #Conflicts: 991000 | #Constraints: 29630
970.36/972.86 c #Conflicts: 992000 | #Constraints: 30630
970.36/972.86 c #Conflicts: 993000 | #Constraints: 31630
970.36/972.86 c #Conflicts: 994000 | #Constraints: 32630
970.36/972.86 c #Conflicts: 995000 | #Constraints: 33630
970.36/972.86 c #Conflicts: 996000 | #Constraints: 34630
970.36/972.86 c #Conflicts: 997000 | #Constraints: 35630
970.36/972.86 c #Conflicts: 998000 | #Constraints: 36630
970.36/972.86 c #Conflicts: 999000 | #Constraints: 37630
970.36/972.86 c #Conflicts: 1000000 | #Constraints: 38630
970.36/972.86 c #Conflicts: 1001000 | #Constraints: 39630
970.36/972.86 c INPROCESSING
970.36/972.86 c GARBAGE COLLECT
970.36/972.86 c #Conflicts: 1002000 | #Constraints: 20832
970.36/972.86 c #Conflicts: 1003000 | #Constraints: 21832
970.36/972.86 c #Conflicts: 1004000 | #Constraints: 22832
970.36/972.86 c #Conflicts: 1005000 | #Constraints: 23832
970.36/972.86 c #Conflicts: 1006000 | #Constraints: 24832
970.36/972.86 c #Conflicts: 1007000 | #Constraints: 25832
970.36/972.86 c #Conflicts: 1008000 | #Constraints: 26832
970.36/972.86 c #Conflicts: 1009000 | #Constraints: 27832
970.36/972.86 c #Conflicts: 1010000 | #Constraints: 28832
970.36/972.86 c #Conflicts: 1011000 | #Constraints: 29832
970.36/972.86 c #Conflicts: 1012000 | #Constraints: 30832
1100.96/1103.74 c #Conflicts: 1013000 | #Constraints: 31832
1100.96/1103.74 c #Conflicts: 1014000 | #Constraints: 32832
1100.96/1103.74 c #Conflicts: 1015000 | #Constraints: 33832
1100.96/1103.74 c #Conflicts: 1016000 | #Constraints: 34832
1100.96/1103.74 c #Conflicts: 1017000 | #Constraints: 35832
1100.96/1103.74 c #Conflicts: 1018000 | #Constraints: 36832
1100.96/1103.74 c #Conflicts: 1019000 | #Constraints: 37832
1100.96/1103.74 c #Conflicts: 1020000 | #Constraints: 38832
1100.96/1103.74 c #Conflicts: 1021000 | #Constraints: 39832
1100.96/1103.74 c INPROCESSING
1100.96/1103.74 c GARBAGE COLLECT
1100.96/1103.74 c #Conflicts: 1022000 | #Constraints: 20833
1100.96/1103.74 c #Conflicts: 1023000 | #Constraints: 21833
1100.96/1103.74 c #Conflicts: 1024000 | #Constraints: 22833
1100.96/1103.74 c #Conflicts: 1025000 | #Constraints: 23833
1100.96/1103.74 c #Conflicts: 1026000 | #Constraints: 24833
1100.96/1103.74 c #Conflicts: 1027000 | #Constraints: 25833
1100.96/1103.74 c #Conflicts: 1028000 | #Constraints: 26833
1100.96/1103.74 c #Conflicts: 1029000 | #Constraints: 27833
1100.96/1103.74 c #Conflicts: 1030000 | #Constraints: 28833
1100.96/1103.74 c #Conflicts: 1031000 | #Constraints: 29833
1100.96/1103.74 c #Conflicts: 1032000 | #Constraints: 30833
1100.96/1103.74 c #Conflicts: 1033000 | #Constraints: 31833
1100.96/1103.74 c #Conflicts: 1034000 | #Constraints: 32833
1100.96/1103.74 c #Conflicts: 1035000 | #Constraints: 33833
1100.96/1103.74 c #Conflicts: 1036000 | #Constraints: 34833
1100.96/1103.74 c #Conflicts: 1037000 | #Constraints: 35833
1100.96/1103.74 c #Conflicts: 1038000 | #Constraints: 36833
1100.96/1103.74 c #Conflicts: 1039000 | #Constraints: 37833
1100.96/1103.74 c #Conflicts: 1040000 | #Constraints: 38833
1100.96/1103.74 c #Conflicts: 1041000 | #Constraints: 39833
1100.96/1103.74 c INPROCESSING
1100.96/1103.74 c GARBAGE COLLECT
1100.96/1103.74 c #Conflicts: 1042000 | #Constraints: 20632
1100.96/1103.74 c #Conflicts: 1043000 | #Constraints: 21632
1100.96/1103.74 c #Conflicts: 1044000 | #Constraints: 22632
1100.96/1103.74 c #Conflicts: 1045000 | #Constraints: 23632
1100.96/1103.74 c #Conflicts: 1046000 | #Constraints: 24632
1100.96/1103.74 c #Conflicts: 1047000 | #Constraints: 25632
1100.96/1103.74 c #Conflicts: 1048000 | #Constraints: 26632
1100.96/1103.74 c #Conflicts: 1049000 | #Constraints: 27632
1100.96/1103.74 c #Conflicts: 1050000 | #Constraints: 28632
1100.96/1103.74 c #Conflicts: 1051000 | #Constraints: 29632
1100.96/1103.74 c #Conflicts: 1052000 | #Constraints: 30632
1100.96/1103.74 c #Conflicts: 1053000 | #Constraints: 31632
1100.96/1103.74 c #Conflicts: 1054000 | #Constraints: 32632
1100.96/1103.74 c #Conflicts: 1055000 | #Constraints: 33632
1100.96/1103.74 c #Conflicts: 1056000 | #Constraints: 34632
1100.96/1103.74 c #Conflicts: 1057000 | #Constraints: 35632
1100.96/1103.74 c #Conflicts: 1058000 | #Constraints: 36632
1100.96/1103.74 c #Conflicts: 1059000 | #Constraints: 37632
1100.96/1103.74 c #Conflicts: 1060000 | #Constraints: 38632
1100.96/1103.74 c #Conflicts: 1061000 | #Constraints: 39632
1100.96/1103.74 c #Conflicts: 1062000 | #Constraints: 40632
1100.96/1103.74 c INPROCESSING
1100.96/1103.74 c GARBAGE COLLECT
1100.96/1103.74 c #Conflicts: 1063000 | #Constraints: 21233
1100.96/1103.74 c #Conflicts: 1064000 | #Constraints: 22233
1100.96/1103.74 c #Conflicts: 1065000 | #Constraints: 23233
1100.96/1103.74 c #Conflicts: 1066000 | #Constraints: 24233
1100.96/1103.74 c #Conflicts: 1067000 | #Constraints: 25233
1100.96/1103.74 c #Conflicts: 1068000 | #Constraints: 26233
1100.96/1103.74 c #Conflicts: 1069000 | #Constraints: 27233
1100.96/1103.74 c #Conflicts: 1070000 | #Constraints: 28233
1100.96/1103.74 c #Conflicts: 1071000 | #Constraints: 29233
1100.96/1103.74 c #Conflicts: 1072000 | #Constraints: 30233
1100.96/1103.74 c #Conflicts: 1073000 | #Constraints: 31233
1100.96/1103.74 c #Conflicts: 1074000 | #Constraints: 32233
1100.96/1103.74 c #Conflicts: 1075000 | #Constraints: 33233
1100.96/1103.74 c #Conflicts: 1076000 | #Constraints: 34233
1100.96/1103.74 c #Conflicts: 1077000 | #Constraints: 35233
1100.96/1103.74 c #Conflicts: 1078000 | #Constraints: 36233
1100.96/1103.74 c #Conflicts: 1079000 | #Constraints: 37233
1100.96/1103.74 c #Conflicts: 1080000 | #Constraints: 38233
1100.96/1103.74 c #Conflicts: 1081000 | #Constraints: 39233
1100.96/1103.74 c #Conflicts: 1082000 | #Constraints: 40233
1100.96/1103.74 c #Conflicts: 1083000 | #Constraints: 41233
1100.96/1103.74 c INPROCESSING
1100.96/1103.74 c GARBAGE COLLECT
1100.96/1103.74 c #Conflicts: 1084000 | #Constraints: 21633
1100.96/1103.74 c #Conflicts: 1085000 | #Constraints: 22633
1100.96/1103.74 c #Conflicts: 1086000 | #Constraints: 23633
1100.96/1103.74 c #Conflicts: 1087000 | #Constraints: 24633
1100.96/1103.74 c #Conflicts: 1088000 | #Constraints: 25633
1226.98/1230.07 c #Conflicts: 1089000 | #Constraints: 26633
1226.98/1230.07 c #Conflicts: 1090000 | #Constraints: 27633
1226.98/1230.07 c #Conflicts: 1091000 | #Constraints: 28633
1226.98/1230.07 c #Conflicts: 1092000 | #Constraints: 29633
1226.98/1230.07 c #Conflicts: 1093000 | #Constraints: 30633
1226.98/1230.07 c #Conflicts: 1094000 | #Constraints: 31633
1226.98/1230.07 c #Conflicts: 1095000 | #Constraints: 32633
1226.98/1230.07 c #Conflicts: 1096000 | #Constraints: 33633
1226.98/1230.07 c #Conflicts: 1097000 | #Constraints: 34633
1226.98/1230.07 c #Conflicts: 1098000 | #Constraints: 35633
1226.98/1230.07 c #Conflicts: 1099000 | #Constraints: 36633
1226.98/1230.07 c #Conflicts: 1100000 | #Constraints: 37633
1226.98/1230.07 c #Conflicts: 1101000 | #Constraints: 38633
1226.98/1230.07 c #Conflicts: 1102000 | #Constraints: 39633
1226.98/1230.07 c #Conflicts: 1103000 | #Constraints: 40633
1226.98/1230.07 c #Conflicts: 1104000 | #Constraints: 41633
1226.98/1230.07 c INPROCESSING
1226.98/1230.07 c GARBAGE COLLECT
1226.98/1230.07 c #Conflicts: 1105000 | #Constraints: 21832
1226.98/1230.07 c #Conflicts: 1106000 | #Constraints: 22832
1226.98/1230.07 c #Conflicts: 1107000 | #Constraints: 23832
1226.98/1230.07 c #Conflicts: 1108000 | #Constraints: 24832
1226.98/1230.07 c #Conflicts: 1109000 | #Constraints: 25832
1226.98/1230.07 c #Conflicts: 1110000 | #Constraints: 26832
1226.98/1230.07 c #Conflicts: 1111000 | #Constraints: 27832
1226.98/1230.07 c #Conflicts: 1112000 | #Constraints: 28832
1226.98/1230.07 c #Conflicts: 1113000 | #Constraints: 29832
1226.98/1230.07 c #Conflicts: 1114000 | #Constraints: 30832
1226.98/1230.07 c #Conflicts: 1115000 | #Constraints: 31832
1226.98/1230.07 c #Conflicts: 1116000 | #Constraints: 32832
1226.98/1230.07 c #Conflicts: 1117000 | #Constraints: 33832
1226.98/1230.07 c #Conflicts: 1118000 | #Constraints: 34832
1226.98/1230.07 c #Conflicts: 1119000 | #Constraints: 35832
1226.98/1230.07 c #Conflicts: 1120000 | #Constraints: 36832
1226.98/1230.07 c #Conflicts: 1121000 | #Constraints: 37832
1226.98/1230.07 c #Conflicts: 1122000 | #Constraints: 38832
1226.98/1230.07 c #Conflicts: 1123000 | #Constraints: 39832
1226.98/1230.07 c #Conflicts: 1124000 | #Constraints: 40832
1226.98/1230.07 c #Conflicts: 1125000 | #Constraints: 41832
1226.98/1230.07 c INPROCESSING
1226.98/1230.07 c GARBAGE COLLECT
1226.98/1230.07 c #Conflicts: 1126000 | #Constraints: 21832
1226.98/1230.07 c #Conflicts: 1127000 | #Constraints: 22832
1226.98/1230.07 c #Conflicts: 1128000 | #Constraints: 23832
1226.98/1230.07 c #Conflicts: 1129000 | #Constraints: 24832
1226.98/1230.07 c #Conflicts: 1130000 | #Constraints: 25832
1226.98/1230.07 c #Conflicts: 1131000 | #Constraints: 26832
1226.98/1230.07 c #Conflicts: 1132000 | #Constraints: 27832
1226.98/1230.07 c #Conflicts: 1133000 | #Constraints: 28832
1226.98/1230.07 c #Conflicts: 1134000 | #Constraints: 29832
1226.98/1230.07 c #Conflicts: 1135000 | #Constraints: 30832
1226.98/1230.07 c #Conflicts: 1136000 | #Constraints: 31832
1226.98/1230.07 c #Conflicts: 1137000 | #Constraints: 32832
1226.98/1230.07 c #Conflicts: 1138000 | #Constraints: 33832
1226.98/1230.07 c #Conflicts: 1139000 | #Constraints: 34832
1226.98/1230.07 c #Conflicts: 1140000 | #Constraints: 35832
1226.98/1230.07 c #Conflicts: 1141000 | #Constraints: 36832
1226.98/1230.07 c #Conflicts: 1142000 | #Constraints: 37832
1226.98/1230.07 c #Conflicts: 1143000 | #Constraints: 38832
1226.98/1230.07 c #Conflicts: 1144000 | #Constraints: 39832
1226.98/1230.07 c #Conflicts: 1145000 | #Constraints: 40832
1226.98/1230.07 c #Conflicts: 1146000 | #Constraints: 41832
1226.98/1230.07 c INPROCESSING
1226.98/1230.07 c GARBAGE COLLECT
1226.98/1230.07 c #Conflicts: 1147000 | #Constraints: 21632
1226.98/1230.07 c #Conflicts: 1148000 | #Constraints: 22632
1226.98/1230.07 c #Conflicts: 1149000 | #Constraints: 23632
1226.98/1230.07 c #Conflicts: 1150000 | #Constraints: 24632
1226.98/1230.07 c #Conflicts: 1151000 | #Constraints: 25632
1226.98/1230.07 c #Conflicts: 1152000 | #Constraints: 26632
1226.98/1230.07 c #Conflicts: 1153000 | #Constraints: 27632
1226.98/1230.07 c #Conflicts: 1154000 | #Constraints: 28632
1226.98/1230.07 c #Conflicts: 1155000 | #Constraints: 29632
1226.98/1230.07 c #Conflicts: 1156000 | #Constraints: 30632
1226.98/1230.07 c #Conflicts: 1157000 | #Constraints: 31632
1226.98/1230.07 c #Conflicts: 1158000 | #Constraints: 32632
1226.98/1230.07 c #Conflicts: 1159000 | #Constraints: 33632
1226.98/1230.07 c #Conflicts: 1160000 | #Constraints: 34632
1226.98/1230.07 c #Conflicts: 1161000 | #Constraints: 35632
1226.98/1230.07 c #Conflicts: 1162000 | #Constraints: 36632
1226.98/1230.07 c #Conflicts: 1163000 | #Constraints: 37632
1226.98/1230.07 c #Conflicts: 1164000 | #Constraints: 38632
1226.98/1230.07 c #Conflicts: 1165000 | #Constraints: 39632
1349.58/1353.00 c #Conflicts: 1166000 | #Constraints: 40632
1349.58/1353.00 c #Conflicts: 1167000 | #Constraints: 41632
1349.58/1353.00 c #Conflicts: 1168000 | #Constraints: 42632
1349.58/1353.00 c INPROCESSING
1349.58/1353.00 c GARBAGE COLLECT
1349.58/1353.00 c #Conflicts: 1169000 | #Constraints: 22232
1349.58/1353.00 c #Conflicts: 1170000 | #Constraints: 23232
1349.58/1353.00 c #Conflicts: 1171000 | #Constraints: 24232
1349.58/1353.00 c #Conflicts: 1172000 | #Constraints: 25232
1349.58/1353.00 c #Conflicts: 1173000 | #Constraints: 26232
1349.58/1353.00 c #Conflicts: 1174000 | #Constraints: 27232
1349.58/1353.00 c #Conflicts: 1175000 | #Constraints: 28232
1349.58/1353.00 c #Conflicts: 1176000 | #Constraints: 29232
1349.58/1353.00 c #Conflicts: 1177000 | #Constraints: 30232
1349.58/1353.00 c #Conflicts: 1178000 | #Constraints: 31232
1349.58/1353.00 c #Conflicts: 1179000 | #Constraints: 32232
1349.58/1353.00 c #Conflicts: 1180000 | #Constraints: 33232
1349.58/1353.00 c #Conflicts: 1181000 | #Constraints: 34232
1349.58/1353.00 c #Conflicts: 1182000 | #Constraints: 35232
1349.58/1353.00 c #Conflicts: 1183000 | #Constraints: 36232
1349.58/1353.00 c #Conflicts: 1184000 | #Constraints: 37232
1349.58/1353.00 c #Conflicts: 1185000 | #Constraints: 38232
1349.58/1353.00 c #Conflicts: 1186000 | #Constraints: 39232
1349.58/1353.00 c #Conflicts: 1187000 | #Constraints: 40232
1349.58/1353.00 c #Conflicts: 1188000 | #Constraints: 41232
1349.58/1353.00 c #Conflicts: 1189000 | #Constraints: 42232
1349.58/1353.00 c #Conflicts: 1190000 | #Constraints: 43232
1349.58/1353.00 c INPROCESSING
1349.58/1353.00 c GARBAGE COLLECT
1349.58/1353.00 c #Conflicts: 1191000 | #Constraints: 22632
1349.58/1353.00 c #Conflicts: 1192000 | #Constraints: 23632
1349.58/1353.00 c #Conflicts: 1193000 | #Constraints: 24632
1349.58/1353.00 c #Conflicts: 1194000 | #Constraints: 25632
1349.58/1353.00 c #Conflicts: 1195000 | #Constraints: 26632
1349.58/1353.00 c #Conflicts: 1196000 | #Constraints: 27632
1349.58/1353.00 c #Conflicts: 1197000 | #Constraints: 28632
1349.58/1353.00 c #Conflicts: 1198000 | #Constraints: 29632
1349.58/1353.00 c #Conflicts: 1199000 | #Constraints: 30632
1349.58/1353.00 c #Conflicts: 1200000 | #Constraints: 31632
1349.58/1353.00 c #Conflicts: 1201000 | #Constraints: 32632
1349.58/1353.00 c #Conflicts: 1202000 | #Constraints: 33632
1349.58/1353.00 c #Conflicts: 1203000 | #Constraints: 34632
1349.58/1353.00 c #Conflicts: 1204000 | #Constraints: 35632
1349.58/1353.00 c #Conflicts: 1205000 | #Constraints: 36632
1349.58/1353.00 c #Conflicts: 1206000 | #Constraints: 37632
1349.58/1353.00 c #Conflicts: 1207000 | #Constraints: 38632
1349.58/1353.00 c #Conflicts: 1208000 | #Constraints: 39632
1349.58/1353.00 c #Conflicts: 1209000 | #Constraints: 40632
1349.58/1353.00 c #Conflicts: 1210000 | #Constraints: 41632
1349.58/1353.00 c #Conflicts: 1211000 | #Constraints: 42632
1349.58/1353.00 c #Conflicts: 1212000 | #Constraints: 43632
1349.58/1353.00 c INPROCESSING
1349.58/1353.00 c GARBAGE COLLECT
1349.58/1353.00 c #Conflicts: 1213000 | #Constraints: 22832
1349.58/1353.00 c #Conflicts: 1214000 | #Constraints: 23832
1349.58/1353.00 c #Conflicts: 1215000 | #Constraints: 24832
1349.58/1353.00 c #Conflicts: 1216000 | #Constraints: 25832
1349.58/1353.00 c #Conflicts: 1217000 | #Constraints: 26832
1349.58/1353.00 c #Conflicts: 1218000 | #Constraints: 27832
1349.58/1353.00 c #Conflicts: 1219000 | #Constraints: 28832
1349.58/1353.00 c #Conflicts: 1220000 | #Constraints: 29832
1349.58/1353.00 c #Conflicts: 1221000 | #Constraints: 30832
1349.58/1353.00 c #Conflicts: 1222000 | #Constraints: 31832
1349.58/1353.00 c #Conflicts: 1223000 | #Constraints: 32832
1349.58/1353.00 c #Conflicts: 1224000 | #Constraints: 33832
1349.58/1353.00 c #Conflicts: 1225000 | #Constraints: 34832
1349.58/1353.00 c #Conflicts: 1226000 | #Constraints: 35832
1349.58/1353.00 c #Conflicts: 1227000 | #Constraints: 36832
1349.58/1353.00 c #Conflicts: 1228000 | #Constraints: 37832
1349.58/1353.00 c #Conflicts: 1229000 | #Constraints: 38832
1349.58/1353.00 c #Conflicts: 1230000 | #Constraints: 39832
1349.58/1353.00 c #Conflicts: 1231000 | #Constraints: 40832
1349.58/1353.00 c #Conflicts: 1232000 | #Constraints: 41832
1349.58/1353.00 c #Conflicts: 1233000 | #Constraints: 42832
1349.58/1353.00 c #Conflicts: 1234000 | #Constraints: 43832
1349.58/1353.00 c INPROCESSING
1349.58/1353.00 c GARBAGE COLLECT
1349.58/1353.00 c #Conflicts: 1235000 | #Constraints: 22832
1349.58/1353.00 c #Conflicts: 1236000 | #Constraints: 23832
1349.58/1353.00 c #Conflicts: 1237000 | #Constraints: 24832
1349.58/1353.00 c #Conflicts: 1238000 | #Constraints: 25832
1349.58/1353.00 c #Conflicts: 1239000 | #Constraints: 26832
1349.58/1353.00 c #Conflicts: 1240000 | #Constraints: 27832
1349.58/1353.00 c #Conflicts: 1241000 | #Constraints: 28832
1475.52/1479.19 c #Conflicts: 1242000 | #Constraints: 29832
1475.52/1479.19 c #Conflicts: 1243000 | #Constraints: 30832
1475.52/1479.19 c #Conflicts: 1244000 | #Constraints: 31832
1475.52/1479.19 c #Conflicts: 1245000 | #Constraints: 32832
1475.52/1479.19 c #Conflicts: 1246000 | #Constraints: 33832
1475.52/1479.19 c #Conflicts: 1247000 | #Constraints: 34832
1475.52/1479.19 c #Conflicts: 1248000 | #Constraints: 35832
1475.52/1479.19 c #Conflicts: 1249000 | #Constraints: 36832
1475.52/1479.19 c #Conflicts: 1250000 | #Constraints: 37832
1475.52/1479.19 c #Conflicts: 1251000 | #Constraints: 38832
1475.52/1479.19 c #Conflicts: 1252000 | #Constraints: 39832
1475.52/1479.19 c #Conflicts: 1253000 | #Constraints: 40832
1475.52/1479.19 c #Conflicts: 1254000 | #Constraints: 41832
1475.52/1479.19 c #Conflicts: 1255000 | #Constraints: 42832
1475.52/1479.19 c #Conflicts: 1256000 | #Constraints: 43832
1475.52/1479.19 c INPROCESSING
1475.52/1479.19 c GARBAGE COLLECT
1475.52/1479.19 c #Conflicts: 1257000 | #Constraints: 22632
1475.52/1479.19 c #Conflicts: 1258000 | #Constraints: 23632
1475.52/1479.19 c #Conflicts: 1259000 | #Constraints: 24632
1475.52/1479.19 c #Conflicts: 1260000 | #Constraints: 25632
1475.52/1479.19 c #Conflicts: 1261000 | #Constraints: 26632
1475.52/1479.19 c #Conflicts: 1262000 | #Constraints: 27632
1475.52/1479.19 c #Conflicts: 1263000 | #Constraints: 28632
1475.52/1479.19 c #Conflicts: 1264000 | #Constraints: 29632
1475.52/1479.19 c #Conflicts: 1265000 | #Constraints: 30632
1475.52/1479.19 c #Conflicts: 1266000 | #Constraints: 31632
1475.52/1479.19 c #Conflicts: 1267000 | #Constraints: 32632
1475.52/1479.19 c #Conflicts: 1268000 | #Constraints: 33632
1475.52/1479.19 c #Conflicts: 1269000 | #Constraints: 34632
1475.52/1479.19 c #Conflicts: 1270000 | #Constraints: 35632
1475.52/1479.19 c #Conflicts: 1271000 | #Constraints: 36632
1475.52/1479.19 c #Conflicts: 1272000 | #Constraints: 37632
1475.52/1479.19 c #Conflicts: 1273000 | #Constraints: 38632
1475.52/1479.19 c #Conflicts: 1274000 | #Constraints: 39632
1475.52/1479.19 c #Conflicts: 1275000 | #Constraints: 40632
1475.52/1479.19 c #Conflicts: 1276000 | #Constraints: 41632
1475.52/1479.19 c #Conflicts: 1277000 | #Constraints: 42632
1475.52/1479.19 c #Conflicts: 1278000 | #Constraints: 43632
1475.52/1479.19 c #Conflicts: 1279000 | #Constraints: 44632
1475.52/1479.19 c INPROCESSING
1475.52/1479.19 c GARBAGE COLLECT
1475.52/1479.19 c #Conflicts: 1280000 | #Constraints: 23231
1475.52/1479.19 c #Conflicts: 1281000 | #Constraints: 24231
1475.52/1479.19 c #Conflicts: 1282000 | #Constraints: 25231
1475.52/1479.19 c #Conflicts: 1283000 | #Constraints: 26231
1475.52/1479.19 c #Conflicts: 1284000 | #Constraints: 27231
1475.52/1479.19 c #Conflicts: 1285000 | #Constraints: 28231
1475.52/1479.19 c #Conflicts: 1286000 | #Constraints: 29231
1475.52/1479.19 c #Conflicts: 1287000 | #Constraints: 30231
1475.52/1479.19 c #Conflicts: 1288000 | #Constraints: 31231
1475.52/1479.19 c #Conflicts: 1289000 | #Constraints: 32231
1475.52/1479.19 c #Conflicts: 1290000 | #Constraints: 33231
1475.52/1479.19 c #Conflicts: 1291000 | #Constraints: 34231
1475.52/1479.19 c #Conflicts: 1292000 | #Constraints: 35231
1475.52/1479.19 c #Conflicts: 1293000 | #Constraints: 36231
1475.52/1479.19 c #Conflicts: 1294000 | #Constraints: 37231
1475.52/1479.19 c #Conflicts: 1295000 | #Constraints: 38231
1475.52/1479.19 c #Conflicts: 1296000 | #Constraints: 39231
1475.52/1479.19 c #Conflicts: 1297000 | #Constraints: 40231
1475.52/1479.19 c #Conflicts: 1298000 | #Constraints: 41231
1475.52/1479.19 c #Conflicts: 1299000 | #Constraints: 42231
1475.52/1479.19 c #Conflicts: 1300000 | #Constraints: 43231
1475.52/1479.19 c #Conflicts: 1301000 | #Constraints: 44231
1475.52/1479.19 c #Conflicts: 1302000 | #Constraints: 45231
1475.52/1479.19 c INPROCESSING
1475.52/1479.19 c GARBAGE COLLECT
1475.52/1479.19 c #Conflicts: 1303000 | #Constraints: 23630
1475.52/1479.19 c #Conflicts: 1304000 | #Constraints: 24630
1475.52/1479.19 c #Conflicts: 1305000 | #Constraints: 25630
1475.52/1479.19 c #Conflicts: 1306000 | #Constraints: 26630
1475.52/1479.19 c #Conflicts: 1307000 | #Constraints: 27630
1475.52/1479.19 c #Conflicts: 1308000 | #Constraints: 28630
1475.52/1479.19 c #Conflicts: 1309000 | #Constraints: 29630
1475.52/1479.19 c #Conflicts: 1310000 | #Constraints: 30630
1475.52/1479.19 c #Conflicts: 1311000 | #Constraints: 31630
1475.52/1479.19 c #Conflicts: 1312000 | #Constraints: 32630
1475.52/1479.19 c #Conflicts: 1313000 | #Constraints: 33630
1475.52/1479.19 c #Conflicts: 1314000 | #Constraints: 34630
1475.52/1479.19 c #Conflicts: 1315000 | #Constraints: 35630
1475.52/1479.19 c #Conflicts: 1316000 | #Constraints: 36630
1475.52/1479.19 c #Conflicts: 1317000 | #Constraints: 37630
1475.52/1479.19 c #Conflicts: 1318000 | #Constraints: 38630
1610.64/1614.63 c #Conflicts: 1319000 | #Constraints: 39630
1610.64/1614.63 c #Conflicts: 1320000 | #Constraints: 40630
1610.64/1614.63 c #Conflicts: 1321000 | #Constraints: 41630
1610.64/1614.63 c #Conflicts: 1322000 | #Constraints: 42630
1610.64/1614.63 c #Conflicts: 1323000 | #Constraints: 43630
1610.64/1614.63 c #Conflicts: 1324000 | #Constraints: 44630
1610.64/1614.63 c #Conflicts: 1325000 | #Constraints: 45630
1610.64/1614.63 c INPROCESSING
1610.64/1614.63 c GARBAGE COLLECT
1610.64/1614.63 c #Conflicts: 1326000 | #Constraints: 23830
1610.64/1614.63 c #Conflicts: 1327000 | #Constraints: 24830
1610.64/1614.63 c #Conflicts: 1328000 | #Constraints: 25830
1610.64/1614.63 c #Conflicts: 1329000 | #Constraints: 26830
1610.64/1614.63 c #Conflicts: 1330000 | #Constraints: 27830
1610.64/1614.63 c #Conflicts: 1331000 | #Constraints: 28830
1610.64/1614.63 c #Conflicts: 1332000 | #Constraints: 29830
1610.64/1614.63 c #Conflicts: 1333000 | #Constraints: 30830
1610.64/1614.63 c #Conflicts: 1334000 | #Constraints: 31830
1610.64/1614.63 c #Conflicts: 1335000 | #Constraints: 32830
1610.64/1614.63 c #Conflicts: 1336000 | #Constraints: 33830
1610.64/1614.63 c #Conflicts: 1337000 | #Constraints: 34830
1610.64/1614.63 c #Conflicts: 1338000 | #Constraints: 35830
1610.64/1614.63 c #Conflicts: 1339000 | #Constraints: 36830
1610.64/1614.63 c #Conflicts: 1340000 | #Constraints: 37830
1610.64/1614.63 c #Conflicts: 1341000 | #Constraints: 38830
1610.64/1614.63 c #Conflicts: 1342000 | #Constraints: 39830
1610.64/1614.63 c #Conflicts: 1343000 | #Constraints: 40830
1610.64/1614.63 c #Conflicts: 1344000 | #Constraints: 41830
1610.64/1614.63 c #Conflicts: 1345000 | #Constraints: 42830
1610.64/1614.63 c #Conflicts: 1346000 | #Constraints: 43830
1610.64/1614.63 c #Conflicts: 1347000 | #Constraints: 44830
1610.64/1614.63 c #Conflicts: 1348000 | #Constraints: 45830
1610.64/1614.63 c INPROCESSING
1610.64/1614.63 c GARBAGE COLLECT
1610.64/1614.63 c #Conflicts: 1349000 | #Constraints: 23830
1610.64/1614.63 c #Conflicts: 1350000 | #Constraints: 24830
1610.64/1614.63 c #Conflicts: 1351000 | #Constraints: 25830
1610.64/1614.63 c #Conflicts: 1352000 | #Constraints: 26830
1610.64/1614.63 c #Conflicts: 1353000 | #Constraints: 27830
1610.64/1614.63 c #Conflicts: 1354000 | #Constraints: 28830
1610.64/1614.63 c #Conflicts: 1355000 | #Constraints: 29830
1610.64/1614.63 c #Conflicts: 1356000 | #Constraints: 30830
1610.64/1614.63 c #Conflicts: 1357000 | #Constraints: 31830
1610.64/1614.63 c #Conflicts: 1358000 | #Constraints: 32830
1610.64/1614.63 c #Conflicts: 1359000 | #Constraints: 33830
1610.64/1614.63 c #Conflicts: 1360000 | #Constraints: 34830
1610.64/1614.63 c #Conflicts: 1361000 | #Constraints: 35830
1610.64/1614.63 c #Conflicts: 1362000 | #Constraints: 36830
1610.64/1614.63 c #Conflicts: 1363000 | #Constraints: 37830
1610.64/1614.63 c #Conflicts: 1364000 | #Constraints: 38830
1610.64/1614.63 c #Conflicts: 1365000 | #Constraints: 39830
1610.64/1614.63 c #Conflicts: 1366000 | #Constraints: 40830
1610.64/1614.63 c #Conflicts: 1367000 | #Constraints: 41830
1610.64/1614.63 c #Conflicts: 1368000 | #Constraints: 42830
1610.64/1614.63 c #Conflicts: 1369000 | #Constraints: 43830
1610.64/1614.63 c #Conflicts: 1370000 | #Constraints: 44830
1610.64/1614.63 c #Conflicts: 1371000 | #Constraints: 45830
1610.64/1614.63 c INPROCESSING
1610.64/1614.63 c GARBAGE COLLECT
1610.64/1614.63 c #Conflicts: 1372000 | #Constraints: 23630
1610.64/1614.63 c #Conflicts: 1373000 | #Constraints: 24630
1610.64/1614.63 c #Conflicts: 1374000 | #Constraints: 25630
1610.64/1614.63 c #Conflicts: 1375000 | #Constraints: 26630
1610.64/1614.63 c #Conflicts: 1376000 | #Constraints: 27630
1610.64/1614.63 c #Conflicts: 1377000 | #Constraints: 28630
1610.64/1614.63 c #Conflicts: 1378000 | #Constraints: 29630
1610.64/1614.63 c #Conflicts: 1379000 | #Constraints: 30630
1610.64/1614.63 c #Conflicts: 1380000 | #Constraints: 31630
1610.64/1614.63 c #Conflicts: 1381000 | #Constraints: 32630
1610.64/1614.63 c #Conflicts: 1382000 | #Constraints: 33630
1610.64/1614.63 c #Conflicts: 1383000 | #Constraints: 34630
1610.64/1614.63 c #Conflicts: 1384000 | #Constraints: 35630
1610.64/1614.63 c #Conflicts: 1385000 | #Constraints: 36630
1610.64/1614.63 c #Conflicts: 1386000 | #Constraints: 37630
1610.64/1614.63 c #Conflicts: 1387000 | #Constraints: 38630
1610.64/1614.63 c #Conflicts: 1388000 | #Constraints: 39630
1610.64/1614.63 c #Conflicts: 1389000 | #Constraints: 40630
1610.64/1614.63 c #Conflicts: 1390000 | #Constraints: 41630
1610.64/1614.63 c #Conflicts: 1391000 | #Constraints: 42630
1610.64/1614.63 c #Conflicts: 1392000 | #Constraints: 43630
1610.64/1614.63 c #Conflicts: 1393000 | #Constraints: 44630
1610.64/1614.63 c #Conflicts: 1394000 | #Constraints: 45630
1610.64/1614.63 c #Conflicts: 1395000 | #Constraints: 46630
1746.78/1751.16 c INPROCESSING
1746.78/1751.16 c GARBAGE COLLECT
1746.78/1751.16 c #Conflicts: 1396000 | #Constraints: 24231
1746.78/1751.16 c #Conflicts: 1397000 | #Constraints: 25231
1746.78/1751.16 c #Conflicts: 1398000 | #Constraints: 26231
1746.78/1751.16 c #Conflicts: 1399000 | #Constraints: 27231
1746.78/1751.16 c #Conflicts: 1400000 | #Constraints: 28231
1746.78/1751.16 c #Conflicts: 1401000 | #Constraints: 29231
1746.78/1751.16 c #Conflicts: 1402000 | #Constraints: 30231
1746.78/1751.16 c #Conflicts: 1403000 | #Constraints: 31231
1746.78/1751.16 c #Conflicts: 1404000 | #Constraints: 32231
1746.78/1751.16 c #Conflicts: 1405000 | #Constraints: 33231
1746.78/1751.16 c #Conflicts: 1406000 | #Constraints: 34231
1746.78/1751.16 c #Conflicts: 1407000 | #Constraints: 35231
1746.78/1751.16 c #Conflicts: 1408000 | #Constraints: 36231
1746.78/1751.16 c #Conflicts: 1409000 | #Constraints: 37231
1746.78/1751.16 c #Conflicts: 1410000 | #Constraints: 38231
1746.78/1751.16 c #Conflicts: 1411000 | #Constraints: 39231
1746.78/1751.16 c #Conflicts: 1412000 | #Constraints: 40231
1746.78/1751.16 c #Conflicts: 1413000 | #Constraints: 41231
1746.78/1751.16 c #Conflicts: 1414000 | #Constraints: 42231
1746.78/1751.16 c #Conflicts: 1415000 | #Constraints: 43231
1746.78/1751.16 c #Conflicts: 1416000 | #Constraints: 44231
1746.78/1751.16 c #Conflicts: 1417000 | #Constraints: 45231
1746.78/1751.16 c #Conflicts: 1418000 | #Constraints: 46231
1746.78/1751.16 c #Conflicts: 1419000 | #Constraints: 47231
1746.78/1751.16 c INPROCESSING
1746.78/1751.16 c GARBAGE COLLECT
1746.78/1751.16 c #Conflicts: 1420000 | #Constraints: 24630
1746.78/1751.16 c #Conflicts: 1421000 | #Constraints: 25630
1746.78/1751.16 c #Conflicts: 1422000 | #Constraints: 26630
1746.78/1751.16 c #Conflicts: 1423000 | #Constraints: 27630
1746.78/1751.16 c #Conflicts: 1424000 | #Constraints: 28630
1746.78/1751.16 c #Conflicts: 1425000 | #Constraints: 29630
1746.78/1751.16 c #Conflicts: 1426000 | #Constraints: 30630
1746.78/1751.16 c #Conflicts: 1427000 | #Constraints: 31630
1746.78/1751.16 c #Conflicts: 1428000 | #Constraints: 32630
1746.78/1751.16 c #Conflicts: 1429000 | #Constraints: 33630
1746.78/1751.16 c #Conflicts: 1430000 | #Constraints: 34630
1746.78/1751.16 c #Conflicts: 1431000 | #Constraints: 35630
1746.78/1751.16 c #Conflicts: 1432000 | #Constraints: 36630
1746.78/1751.16 c #Conflicts: 1433000 | #Constraints: 37630
1746.78/1751.16 c #Conflicts: 1434000 | #Constraints: 38630
1746.78/1751.16 c #Conflicts: 1435000 | #Constraints: 39630
1746.78/1751.16 c #Conflicts: 1436000 | #Constraints: 40630
1746.78/1751.16 c #Conflicts: 1437000 | #Constraints: 41630
1746.78/1751.16 c #Conflicts: 1438000 | #Constraints: 42630
1746.78/1751.16 c #Conflicts: 1439000 | #Constraints: 43630
1746.78/1751.16 c #Conflicts: 1440000 | #Constraints: 44630
1746.78/1751.16 c #Conflicts: 1441000 | #Constraints: 45630
1746.78/1751.16 c #Conflicts: 1442000 | #Constraints: 46630
1746.78/1751.16 c #Conflicts: 1443000 | #Constraints: 47630
1746.78/1751.16 c INPROCESSING
1746.78/1751.16 c GARBAGE COLLECT
1746.78/1751.16 c #Conflicts: 1444000 | #Constraints: 24832
1746.78/1751.16 c #Conflicts: 1445000 | #Constraints: 25832
1746.78/1751.16 c #Conflicts: 1446000 | #Constraints: 26832
1746.78/1751.16 c #Conflicts: 1447000 | #Constraints: 27832
1746.78/1751.16 c #Conflicts: 1448000 | #Constraints: 28832
1746.78/1751.16 c #Conflicts: 1449000 | #Constraints: 29832
1746.78/1751.16 c #Conflicts: 1450000 | #Constraints: 30832
1746.78/1751.16 c #Conflicts: 1451000 | #Constraints: 31832
1746.78/1751.16 c #Conflicts: 1452000 | #Constraints: 32832
1746.78/1751.16 c #Conflicts: 1453000 | #Constraints: 33832
1746.78/1751.16 c #Conflicts: 1454000 | #Constraints: 34832
1746.78/1751.16 c #Conflicts: 1455000 | #Constraints: 35832
1746.78/1751.16 c #Conflicts: 1456000 | #Constraints: 36832
1746.78/1751.16 c #Conflicts: 1457000 | #Constraints: 37832
1746.78/1751.16 c #Conflicts: 1458000 | #Constraints: 38832
1746.78/1751.16 c #Conflicts: 1459000 | #Constraints: 39832
1746.78/1751.16 c #Conflicts: 1460000 | #Constraints: 40832
1746.78/1751.16 c #Conflicts: 1461000 | #Constraints: 41832
1746.78/1751.16 c #Conflicts: 1462000 | #Constraints: 42832
1746.78/1751.16 c #Conflicts: 1463000 | #Constraints: 43832
1746.78/1751.16 c #Conflicts: 1464000 | #Constraints: 44832
1746.78/1751.16 c #Conflicts: 1465000 | #Constraints: 45832
1746.78/1751.16 c #Conflicts: 1466000 | #Constraints: 46832
1746.78/1751.16 c #Conflicts: 1467000 | #Constraints: 47832
1746.78/1751.16 c INPROCESSING
1746.78/1751.16 c GARBAGE COLLECT
1746.78/1751.16 c #Conflicts: 1468000 | #Constraints: 24830
1746.78/1751.16 c #Conflicts: 1469000 | #Constraints: 25830
1746.78/1751.16 c #Conflicts: 1470000 | #Constraints: 26830
1746.78/1751.16 c #Conflicts: 1471000 | #Constraints: 27830
1888.08/1892.83 c #Conflicts: 1472000 | #Constraints: 28830
1888.08/1892.83 c #Conflicts: 1473000 | #Constraints: 29830
1888.08/1892.83 c #Conflicts: 1474000 | #Constraints: 30830
1888.08/1892.83 c #Conflicts: 1475000 | #Constraints: 31830
1888.08/1892.83 c #Conflicts: 1476000 | #Constraints: 32830
1888.08/1892.83 c #Conflicts: 1477000 | #Constraints: 33830
1888.08/1892.83 c #Conflicts: 1478000 | #Constraints: 34830
1888.08/1892.83 c #Conflicts: 1479000 | #Constraints: 35830
1888.08/1892.83 c #Conflicts: 1480000 | #Constraints: 36830
1888.08/1892.83 c #Conflicts: 1481000 | #Constraints: 37830
1888.08/1892.83 c #Conflicts: 1482000 | #Constraints: 38830
1888.08/1892.83 c #Conflicts: 1483000 | #Constraints: 39830
1888.08/1892.83 c #Conflicts: 1484000 | #Constraints: 40830
1888.08/1892.83 c #Conflicts: 1485000 | #Constraints: 41830
1888.08/1892.83 c #Conflicts: 1486000 | #Constraints: 42830
1888.08/1892.83 c #Conflicts: 1487000 | #Constraints: 43830
1888.08/1892.83 c #Conflicts: 1488000 | #Constraints: 44830
1888.08/1892.83 c #Conflicts: 1489000 | #Constraints: 45830
1888.08/1892.83 c #Conflicts: 1490000 | #Constraints: 46830
1888.08/1892.83 c #Conflicts: 1491000 | #Constraints: 47830
1888.08/1892.83 c INPROCESSING
1888.08/1892.83 c GARBAGE COLLECT
1888.08/1892.83 c #Conflicts: 1492000 | #Constraints: 24628
1888.08/1892.83 c #Conflicts: 1493000 | #Constraints: 25628
1888.08/1892.83 c #Conflicts: 1494000 | #Constraints: 26628
1888.08/1892.83 c #Conflicts: 1495000 | #Constraints: 27628
1888.08/1892.83 c #Conflicts: 1496000 | #Constraints: 28628
1888.08/1892.83 c #Conflicts: 1497000 | #Constraints: 29628
1888.08/1892.83 c #Conflicts: 1498000 | #Constraints: 30628
1888.08/1892.83 c #Conflicts: 1499000 | #Constraints: 31628
1888.08/1892.83 c #Conflicts: 1500000 | #Constraints: 32628
1888.08/1892.83 c #Conflicts: 1501000 | #Constraints: 33628
1888.08/1892.83 c #Conflicts: 1502000 | #Constraints: 34628
1888.08/1892.83 c #Conflicts: 1503000 | #Constraints: 35628
1888.08/1892.83 c #Conflicts: 1504000 | #Constraints: 36628
1888.08/1892.83 c #Conflicts: 1505000 | #Constraints: 37628
1888.08/1892.83 c #Conflicts: 1506000 | #Constraints: 38628
1888.08/1892.83 c #Conflicts: 1507000 | #Constraints: 39628
1888.08/1892.83 c #Conflicts: 1508000 | #Constraints: 40628
1888.08/1892.83 c #Conflicts: 1509000 | #Constraints: 41628
1888.08/1892.83 c #Conflicts: 1510000 | #Constraints: 42628
1888.08/1892.83 c #Conflicts: 1511000 | #Constraints: 43628
1888.08/1892.83 c #Conflicts: 1512000 | #Constraints: 44628
1888.08/1892.83 c #Conflicts: 1513000 | #Constraints: 45628
1888.08/1892.83 c #Conflicts: 1514000 | #Constraints: 46628
1888.08/1892.83 c #Conflicts: 1515000 | #Constraints: 47628
1888.08/1892.83 c #Conflicts: 1516000 | #Constraints: 48628
1888.08/1892.83 c INPROCESSING
1888.08/1892.83 c GARBAGE COLLECT
1888.08/1892.83 c #Conflicts: 1517000 | #Constraints: 25226
1888.08/1892.83 c #Conflicts: 1518000 | #Constraints: 26226
1888.08/1892.83 c #Conflicts: 1519000 | #Constraints: 27226
1888.08/1892.83 c #Conflicts: 1520000 | #Constraints: 28226
1888.08/1892.83 c #Conflicts: 1521000 | #Constraints: 29226
1888.08/1892.83 c #Conflicts: 1522000 | #Constraints: 30226
1888.08/1892.83 c #Conflicts: 1523000 | #Constraints: 31226
1888.08/1892.83 c #Conflicts: 1524000 | #Constraints: 32226
1888.08/1892.83 c #Conflicts: 1525000 | #Constraints: 33226
1888.08/1892.83 c #Conflicts: 1526000 | #Constraints: 34226
1888.08/1892.83 c #Conflicts: 1527000 | #Constraints: 35226
1888.08/1892.83 c #Conflicts: 1528000 | #Constraints: 36226
1888.08/1892.83 c #Conflicts: 1529000 | #Constraints: 37226
1888.08/1892.83 c #Conflicts: 1530000 | #Constraints: 38226
1888.08/1892.83 c #Conflicts: 1531000 | #Constraints: 39226
1888.08/1892.83 c #Conflicts: 1532000 | #Constraints: 40226
1888.08/1892.83 c #Conflicts: 1533000 | #Constraints: 41226
1888.08/1892.83 c #Conflicts: 1534000 | #Constraints: 42226
1888.08/1892.83 c #Conflicts: 1535000 | #Constraints: 43226
1888.08/1892.83 c #Conflicts: 1536000 | #Constraints: 44226
1888.08/1892.83 c #Conflicts: 1537000 | #Constraints: 45226
1888.08/1892.83 c #Conflicts: 1538000 | #Constraints: 46226
1888.08/1892.83 c #Conflicts: 1539000 | #Constraints: 47226
1888.08/1892.83 c #Conflicts: 1540000 | #Constraints: 48226
1888.08/1892.83 c #Conflicts: 1541000 | #Constraints: 49226
1888.08/1892.83 c INPROCESSING
1888.08/1892.83 c GARBAGE COLLECT
1888.08/1892.83 c #Conflicts: 1542000 | #Constraints: 25630
1888.08/1892.83 c #Conflicts: 1543000 | #Constraints: 26630
1888.08/1892.83 c #Conflicts: 1544000 | #Constraints: 27630
1888.08/1892.83 c #Conflicts: 1545000 | #Constraints: 28630
1888.08/1892.83 c #Conflicts: 1546000 | #Constraints: 29630
1888.08/1892.83 c #Conflicts: 1547000 | #Constraints: 30630
1888.08/1892.83 c #Conflicts: 1548000 | #Constraints: 31630
2058.52/2063.71 c #Conflicts: 1549000 | #Constraints: 32630
2058.52/2063.71 c #Conflicts: 1550000 | #Constraints: 33630
2058.52/2063.71 c #Conflicts: 1551000 | #Constraints: 34630
2058.52/2063.71 c #Conflicts: 1552000 | #Constraints: 35630
2058.52/2063.71 c #Conflicts: 1553000 | #Constraints: 36630
2058.52/2063.71 c #Conflicts: 1554000 | #Constraints: 37630
2058.52/2063.71 c #Conflicts: 1555000 | #Constraints: 38630
2058.52/2063.71 c #Conflicts: 1556000 | #Constraints: 39630
2058.52/2063.71 c #Conflicts: 1557000 | #Constraints: 40630
2058.52/2063.71 c #Conflicts: 1558000 | #Constraints: 41630
2058.52/2063.71 c #Conflicts: 1559000 | #Constraints: 42630
2058.52/2063.71 c #Conflicts: 1560000 | #Constraints: 43630
2058.52/2063.71 c #Conflicts: 1561000 | #Constraints: 44630
2058.52/2063.71 c #Conflicts: 1562000 | #Constraints: 45630
2058.52/2063.71 c #Conflicts: 1563000 | #Constraints: 46630
2058.52/2063.71 c #Conflicts: 1564000 | #Constraints: 47630
2058.52/2063.71 c #Conflicts: 1565000 | #Constraints: 48630
2058.52/2063.71 c #Conflicts: 1566000 | #Constraints: 49630
2058.52/2063.71 c INPROCESSING
2058.52/2063.71 c GARBAGE COLLECT
2058.52/2063.71 c #Conflicts: 1567000 | #Constraints: 25830
2058.52/2063.71 c #Conflicts: 1568000 | #Constraints: 26830
2058.52/2063.71 c #Conflicts: 1569000 | #Constraints: 27830
2058.52/2063.71 c #Conflicts: 1570000 | #Constraints: 28830
2058.52/2063.71 c #Conflicts: 1571000 | #Constraints: 29830
2058.52/2063.71 c #Conflicts: 1572000 | #Constraints: 30830
2058.52/2063.71 c #Conflicts: 1573000 | #Constraints: 31830
2058.52/2063.71 c #Conflicts: 1574000 | #Constraints: 32830
2058.52/2063.71 c #Conflicts: 1575000 | #Constraints: 33830
2058.52/2063.71 c #Conflicts: 1576000 | #Constraints: 34830
2058.52/2063.71 c #Conflicts: 1577000 | #Constraints: 35830
2058.52/2063.71 c #Conflicts: 1578000 | #Constraints: 36830
2058.52/2063.71 c #Conflicts: 1579000 | #Constraints: 37830
2058.52/2063.71 c #Conflicts: 1580000 | #Constraints: 38830
2058.52/2063.71 c #Conflicts: 1581000 | #Constraints: 39830
2058.52/2063.71 c #Conflicts: 1582000 | #Constraints: 40830
2058.52/2063.71 c #Conflicts: 1583000 | #Constraints: 41830
2058.52/2063.71 c #Conflicts: 1584000 | #Constraints: 42830
2058.52/2063.71 c #Conflicts: 1585000 | #Constraints: 43830
2058.52/2063.71 c #Conflicts: 1586000 | #Constraints: 44830
2058.52/2063.71 c #Conflicts: 1587000 | #Constraints: 45830
2058.52/2063.71 c #Conflicts: 1588000 | #Constraints: 46830
2058.52/2063.71 c #Conflicts: 1589000 | #Constraints: 47830
2058.52/2063.71 c #Conflicts: 1590000 | #Constraints: 48830
2058.52/2063.71 c #Conflicts: 1591000 | #Constraints: 49830
2058.52/2063.71 c INPROCESSING
2058.52/2063.71 c GARBAGE COLLECT
2058.52/2063.71 c #Conflicts: 1592000 | #Constraints: 25833
2058.52/2063.71 c #Conflicts: 1593000 | #Constraints: 26833
2058.52/2063.71 c #Conflicts: 1594000 | #Constraints: 27833
2058.52/2063.71 c #Conflicts: 1595000 | #Constraints: 28833
2058.52/2063.71 c #Conflicts: 1596000 | #Constraints: 29833
2058.52/2063.71 c #Conflicts: 1597000 | #Constraints: 30833
2058.52/2063.71 c #Conflicts: 1598000 | #Constraints: 31833
2058.52/2063.71 c #Conflicts: 1599000 | #Constraints: 32833
2058.52/2063.71 c #Conflicts: 1600000 | #Constraints: 33833
2058.52/2063.71 c #Conflicts: 1601000 | #Constraints: 34833
2058.52/2063.71 c #Conflicts: 1602000 | #Constraints: 35833
2058.52/2063.71 c #Conflicts: 1603000 | #Constraints: 36833
2058.52/2063.71 c #Conflicts: 1604000 | #Constraints: 37833
2058.52/2063.71 c #Conflicts: 1605000 | #Constraints: 38833
2058.52/2063.71 c #Conflicts: 1606000 | #Constraints: 39833
2058.52/2063.71 c #Conflicts: 1607000 | #Constraints: 40833
2058.52/2063.71 c #Conflicts: 1608000 | #Constraints: 41833
2058.52/2063.71 c #Conflicts: 1609000 | #Constraints: 42833
2058.52/2063.71 c #Conflicts: 1610000 | #Constraints: 43833
2058.52/2063.71 c #Conflicts: 1611000 | #Constraints: 44833
2058.52/2063.71 c #Conflicts: 1612000 | #Constraints: 45833
2058.52/2063.71 c #Conflicts: 1613000 | #Constraints: 46833
2058.52/2063.71 c #Conflicts: 1614000 | #Constraints: 47833
2058.52/2063.71 c #Conflicts: 1615000 | #Constraints: 48833
2058.52/2063.71 c #Conflicts: 1616000 | #Constraints: 49833
2058.52/2063.71 c INPROCESSING
2058.52/2063.71 c GARBAGE COLLECT
2058.52/2063.71 c #Conflicts: 1617000 | #Constraints: 25633
2058.52/2063.71 c #Conflicts: 1618000 | #Constraints: 26633
2058.52/2063.71 c #Conflicts: 1619000 | #Constraints: 27633
2058.52/2063.71 c #Conflicts: 1620000 | #Constraints: 28633
2058.52/2063.71 c #Conflicts: 1621000 | #Constraints: 29633
2058.52/2063.71 c #Conflicts: 1622000 | #Constraints: 30633
2058.52/2063.71 c #Conflicts: 1623000 | #Constraints: 31633
2058.52/2063.71 c #Conflicts: 1624000 | #Constraints: 32633
2058.52/2063.71 c #Conflicts: 1625000 | #Constraints: 33633
2216.57/2222.19 c #Conflicts: 1626000 | #Constraints: 34633
2216.57/2222.19 c #Conflicts: 1627000 | #Constraints: 35633
2216.57/2222.19 c #Conflicts: 1628000 | #Constraints: 36633
2216.57/2222.19 c #Conflicts: 1629000 | #Constraints: 37633
2216.57/2222.19 c #Conflicts: 1630000 | #Constraints: 38633
2216.57/2222.19 c #Conflicts: 1631000 | #Constraints: 39633
2216.57/2222.19 c #Conflicts: 1632000 | #Constraints: 40633
2216.57/2222.19 c #Conflicts: 1633000 | #Constraints: 41633
2216.57/2222.19 c #Conflicts: 1634000 | #Constraints: 42633
2216.57/2222.19 c #Conflicts: 1635000 | #Constraints: 43633
2216.57/2222.19 c #Conflicts: 1636000 | #Constraints: 44633
2216.57/2222.19 c #Conflicts: 1637000 | #Constraints: 45633
2216.57/2222.19 c #Conflicts: 1638000 | #Constraints: 46633
2216.57/2222.19 c #Conflicts: 1639000 | #Constraints: 47633
2216.57/2222.19 c #Conflicts: 1640000 | #Constraints: 48633
2216.57/2222.19 c #Conflicts: 1641000 | #Constraints: 49633
2216.57/2222.19 c #Conflicts: 1642000 | #Constraints: 50633
2216.57/2222.19 c INPROCESSING
2216.57/2222.19 c GARBAGE COLLECT
2216.57/2222.19 c #Conflicts: 1643000 | #Constraints: 26232
2216.57/2222.19 c #Conflicts: 1644000 | #Constraints: 27232
2216.57/2222.19 c #Conflicts: 1645000 | #Constraints: 28232
2216.57/2222.19 c #Conflicts: 1646000 | #Constraints: 29232
2216.57/2222.19 c #Conflicts: 1647000 | #Constraints: 30232
2216.57/2222.19 c #Conflicts: 1648000 | #Constraints: 31232
2216.57/2222.19 c #Conflicts: 1649000 | #Constraints: 32232
2216.57/2222.19 c #Conflicts: 1650000 | #Constraints: 33232
2216.57/2222.19 c #Conflicts: 1651000 | #Constraints: 34232
2216.57/2222.19 c #Conflicts: 1652000 | #Constraints: 35232
2216.57/2222.19 c #Conflicts: 1653000 | #Constraints: 36232
2216.57/2222.19 c #Conflicts: 1654000 | #Constraints: 37232
2216.57/2222.19 c #Conflicts: 1655000 | #Constraints: 38232
2216.57/2222.19 c #Conflicts: 1656000 | #Constraints: 39232
2216.57/2222.19 c #Conflicts: 1657000 | #Constraints: 40232
2216.57/2222.19 c #Conflicts: 1658000 | #Constraints: 41232
2216.57/2222.19 c #Conflicts: 1659000 | #Constraints: 42232
2216.57/2222.19 c #Conflicts: 1660000 | #Constraints: 43232
2216.57/2222.19 c #Conflicts: 1661000 | #Constraints: 44232
2216.57/2222.19 c #Conflicts: 1662000 | #Constraints: 45232
2216.57/2222.19 c #Conflicts: 1663000 | #Constraints: 46232
2216.57/2222.19 c #Conflicts: 1664000 | #Constraints: 47232
2216.57/2222.19 c #Conflicts: 1665000 | #Constraints: 48232
2216.57/2222.19 c #Conflicts: 1666000 | #Constraints: 49232
2216.57/2222.19 c #Conflicts: 1667000 | #Constraints: 50232
2216.57/2222.19 c #Conflicts: 1668000 | #Constraints: 51232
2216.57/2222.19 c INPROCESSING
2216.57/2222.19 c GARBAGE COLLECT
2216.57/2222.19 c #Conflicts: 1669000 | #Constraints: 26629
2216.57/2222.19 c #Conflicts: 1670000 | #Constraints: 27629
2216.57/2222.19 c #Conflicts: 1671000 | #Constraints: 28629
2216.57/2222.19 c #Conflicts: 1672000 | #Constraints: 29629
2216.57/2222.19 c #Conflicts: 1673000 | #Constraints: 30629
2216.57/2222.19 c #Conflicts: 1674000 | #Constraints: 31629
2216.57/2222.19 c #Conflicts: 1675000 | #Constraints: 32629
2216.57/2222.19 c #Conflicts: 1676000 | #Constraints: 33629
2216.57/2222.19 c #Conflicts: 1677000 | #Constraints: 34629
2216.57/2222.19 c #Conflicts: 1678000 | #Constraints: 35629
2216.57/2222.19 c #Conflicts: 1679000 | #Constraints: 36629
2216.57/2222.19 c #Conflicts: 1680000 | #Constraints: 37629
2216.57/2222.19 c #Conflicts: 1681000 | #Constraints: 38629
2216.57/2222.19 c #Conflicts: 1682000 | #Constraints: 39629
2216.57/2222.19 c #Conflicts: 1683000 | #Constraints: 40629
2216.57/2222.19 c #Conflicts: 1684000 | #Constraints: 41629
2216.57/2222.19 c #Conflicts: 1685000 | #Constraints: 42629
2216.57/2222.19 c #Conflicts: 1686000 | #Constraints: 43629
2216.57/2222.19 c #Conflicts: 1687000 | #Constraints: 44629
2216.57/2222.19 c #Conflicts: 1688000 | #Constraints: 45629
2216.57/2222.19 c #Conflicts: 1689000 | #Constraints: 46629
2216.57/2222.19 c #Conflicts: 1690000 | #Constraints: 47629
2216.57/2222.19 c #Conflicts: 1691000 | #Constraints: 48629
2216.57/2222.19 c #Conflicts: 1692000 | #Constraints: 49629
2216.57/2222.19 c #Conflicts: 1693000 | #Constraints: 50629
2216.57/2222.19 c #Conflicts: 1694000 | #Constraints: 51629
2216.57/2222.19 c INPROCESSING
2216.57/2222.19 c GARBAGE COLLECT
2216.57/2222.19 c #Conflicts: 1695000 | #Constraints: 26828
2216.57/2222.19 c #Conflicts: 1696000 | #Constraints: 27828
2216.57/2222.19 c #Conflicts: 1697000 | #Constraints: 28828
2216.57/2222.19 c #Conflicts: 1698000 | #Constraints: 29828
2216.57/2222.19 c #Conflicts: 1699000 | #Constraints: 30828
2216.57/2222.19 c #Conflicts: 1700000 | #Constraints: 31828
2216.57/2222.19 c #Conflicts: 1701000 | #Constraints: 32828
2216.57/2222.19 c #Conflicts: 1702000 | #Constraints: 33828
2378.57/2384.50 c #Conflicts: 1703000 | #Constraints: 34828
2378.57/2384.50 c #Conflicts: 1704000 | #Constraints: 35828
2378.57/2384.50 c #Conflicts: 1705000 | #Constraints: 36828
2378.57/2384.50 c #Conflicts: 1706000 | #Constraints: 37828
2378.57/2384.50 c #Conflicts: 1707000 | #Constraints: 38828
2378.57/2384.50 c #Conflicts: 1708000 | #Constraints: 39828
2378.57/2384.50 c #Conflicts: 1709000 | #Constraints: 40828
2378.57/2384.50 c #Conflicts: 1710000 | #Constraints: 41828
2378.57/2384.50 c #Conflicts: 1711000 | #Constraints: 42828
2378.57/2384.50 c #Conflicts: 1712000 | #Constraints: 43828
2378.57/2384.50 c #Conflicts: 1713000 | #Constraints: 44828
2378.57/2384.50 c #Conflicts: 1714000 | #Constraints: 45828
2378.57/2384.50 c #Conflicts: 1715000 | #Constraints: 46828
2378.57/2384.50 c #Conflicts: 1716000 | #Constraints: 47828
2378.57/2384.50 c #Conflicts: 1717000 | #Constraints: 48828
2378.57/2384.50 c #Conflicts: 1718000 | #Constraints: 49828
2378.57/2384.50 c #Conflicts: 1719000 | #Constraints: 50828
2378.57/2384.50 c #Conflicts: 1720000 | #Constraints: 51828
2378.57/2384.50 c INPROCESSING
2378.57/2384.50 c GARBAGE COLLECT
2378.57/2384.50 c #Conflicts: 1721000 | #Constraints: 26826
2378.57/2384.50 c #Conflicts: 1722000 | #Constraints: 27826
2378.57/2384.50 c #Conflicts: 1723000 | #Constraints: 28826
2378.57/2384.50 c #Conflicts: 1724000 | #Constraints: 29826
2378.57/2384.50 c #Conflicts: 1725000 | #Constraints: 30826
2378.57/2384.50 c #Conflicts: 1726000 | #Constraints: 31826
2378.57/2384.50 c #Conflicts: 1727000 | #Constraints: 32826
2378.57/2384.50 c #Conflicts: 1728000 | #Constraints: 33826
2378.57/2384.50 c #Conflicts: 1729000 | #Constraints: 34826
2378.57/2384.50 c #Conflicts: 1730000 | #Constraints: 35826
2378.57/2384.50 c #Conflicts: 1731000 | #Constraints: 36826
2378.57/2384.50 c #Conflicts: 1732000 | #Constraints: 37826
2378.57/2384.50 c #Conflicts: 1733000 | #Constraints: 38826
2378.57/2384.50 c #Conflicts: 1734000 | #Constraints: 39826
2378.57/2384.50 c #Conflicts: 1735000 | #Constraints: 40826
2378.57/2384.50 c #Conflicts: 1736000 | #Constraints: 41826
2378.57/2384.50 c #Conflicts: 1737000 | #Constraints: 42826
2378.57/2384.50 c #Conflicts: 1738000 | #Constraints: 43826
2378.57/2384.50 c #Conflicts: 1739000 | #Constraints: 44826
2378.57/2384.50 c #Conflicts: 1740000 | #Constraints: 45826
2378.57/2384.50 c #Conflicts: 1741000 | #Constraints: 46826
2378.57/2384.50 c #Conflicts: 1742000 | #Constraints: 47826
2378.57/2384.50 c #Conflicts: 1743000 | #Constraints: 48826
2378.57/2384.50 c #Conflicts: 1744000 | #Constraints: 49826
2378.57/2384.50 c #Conflicts: 1745000 | #Constraints: 50826
2378.57/2384.50 c #Conflicts: 1746000 | #Constraints: 51826
2378.57/2384.50 c INPROCESSING
2378.57/2384.50 c GARBAGE COLLECT
2378.57/2384.50 c #Conflicts: 1747000 | #Constraints: 26628
2378.57/2384.50 c #Conflicts: 1748000 | #Constraints: 27628
2378.57/2384.50 c #Conflicts: 1749000 | #Constraints: 28628
2378.57/2384.50 c #Conflicts: 1750000 | #Constraints: 29628
2378.57/2384.50 c #Conflicts: 1751000 | #Constraints: 30628
2378.57/2384.50 c #Conflicts: 1752000 | #Constraints: 31628
2378.57/2384.50 c #Conflicts: 1753000 | #Constraints: 32628
2378.57/2384.50 c #Conflicts: 1754000 | #Constraints: 33628
2378.57/2384.50 c #Conflicts: 1755000 | #Constraints: 34628
2378.57/2384.50 c #Conflicts: 1756000 | #Constraints: 35628
2378.57/2384.50 c #Conflicts: 1757000 | #Constraints: 36628
2378.57/2384.50 c #Conflicts: 1758000 | #Constraints: 37628
2378.57/2384.50 c #Conflicts: 1759000 | #Constraints: 38628
2378.57/2384.50 c #Conflicts: 1760000 | #Constraints: 39628
2378.57/2384.50 c #Conflicts: 1761000 | #Constraints: 40628
2378.57/2384.50 c #Conflicts: 1762000 | #Constraints: 41628
2378.57/2384.50 c #Conflicts: 1763000 | #Constraints: 42628
2378.57/2384.50 c #Conflicts: 1764000 | #Constraints: 43628
2378.57/2384.50 c #Conflicts: 1765000 | #Constraints: 44628
2378.57/2384.50 c #Conflicts: 1766000 | #Constraints: 45628
2378.57/2384.50 c #Conflicts: 1767000 | #Constraints: 46628
2378.57/2384.50 c #Conflicts: 1768000 | #Constraints: 47628
2378.57/2384.50 c #Conflicts: 1769000 | #Constraints: 48628
2378.57/2384.50 c #Conflicts: 1770000 | #Constraints: 49628
2378.57/2384.50 c #Conflicts: 1771000 | #Constraints: 50628
2378.57/2384.50 c #Conflicts: 1772000 | #Constraints: 51628
2378.57/2384.50 c #Conflicts: 1773000 | #Constraints: 52628
2378.57/2384.50 c INPROCESSING
2378.57/2384.50 c GARBAGE COLLECT
2378.57/2384.50 c #Conflicts: 1774000 | #Constraints: 27230
2378.57/2384.50 c #Conflicts: 1775000 | #Constraints: 28230
2378.57/2384.50 c #Conflicts: 1776000 | #Constraints: 29230
2378.57/2384.50 c #Conflicts: 1777000 | #Constraints: 30230
2378.57/2384.50 c #Conflicts: 1778000 | #Constraints: 31230
2378.57/2384.50 c #Conflicts: 1779000 | #Constraints: 32230
2536.41/2542.72 c #Conflicts: 1780000 | #Constraints: 33230
2536.41/2542.72 c #Conflicts: 1781000 | #Constraints: 34230
2536.41/2542.72 c #Conflicts: 1782000 | #Constraints: 35230
2536.41/2542.72 c #Conflicts: 1783000 | #Constraints: 36230
2536.41/2542.72 c #Conflicts: 1784000 | #Constraints: 37230
2536.41/2542.72 c #Conflicts: 1785000 | #Constraints: 38230
2536.41/2542.72 c #Conflicts: 1786000 | #Constraints: 39230
2536.41/2542.72 c #Conflicts: 1787000 | #Constraints: 40230
2536.41/2542.72 c #Conflicts: 1788000 | #Constraints: 41230
2536.41/2542.72 c #Conflicts: 1789000 | #Constraints: 42230
2536.41/2542.72 c #Conflicts: 1790000 | #Constraints: 43230
2536.41/2542.72 c #Conflicts: 1791000 | #Constraints: 44230
2536.41/2542.72 c #Conflicts: 1792000 | #Constraints: 45230
2536.41/2542.72 c #Conflicts: 1793000 | #Constraints: 46230
2536.41/2542.72 c #Conflicts: 1794000 | #Constraints: 47230
2536.41/2542.72 c #Conflicts: 1795000 | #Constraints: 48230
2536.41/2542.72 c #Conflicts: 1796000 | #Constraints: 49230
2536.41/2542.72 c #Conflicts: 1797000 | #Constraints: 50230
2536.41/2542.72 c #Conflicts: 1798000 | #Constraints: 51230
2536.41/2542.72 c #Conflicts: 1799000 | #Constraints: 52230
2536.41/2542.72 c #Conflicts: 1800000 | #Constraints: 53230
2536.41/2542.72 c INPROCESSING
2536.41/2542.72 c GARBAGE COLLECT
2536.41/2542.72 c #Conflicts: 1801000 | #Constraints: 27628
2536.41/2542.72 c #Conflicts: 1802000 | #Constraints: 28628
2536.41/2542.72 c #Conflicts: 1803000 | #Constraints: 29628
2536.41/2542.72 c #Conflicts: 1804000 | #Constraints: 30628
2536.41/2542.72 c #Conflicts: 1805000 | #Constraints: 31628
2536.41/2542.72 c #Conflicts: 1806000 | #Constraints: 32628
2536.41/2542.72 c #Conflicts: 1807000 | #Constraints: 33628
2536.41/2542.72 c #Conflicts: 1808000 | #Constraints: 34628
2536.41/2542.72 c #Conflicts: 1809000 | #Constraints: 35628
2536.41/2542.72 c #Conflicts: 1810000 | #Constraints: 36628
2536.41/2542.72 c #Conflicts: 1811000 | #Constraints: 37628
2536.41/2542.72 c #Conflicts: 1812000 | #Constraints: 38628
2536.41/2542.72 c #Conflicts: 1813000 | #Constraints: 39628
2536.41/2542.72 c #Conflicts: 1814000 | #Constraints: 40628
2536.41/2542.72 c #Conflicts: 1815000 | #Constraints: 41628
2536.41/2542.72 c #Conflicts: 1816000 | #Constraints: 42628
2536.41/2542.72 c #Conflicts: 1817000 | #Constraints: 43628
2536.41/2542.72 c #Conflicts: 1818000 | #Constraints: 44628
2536.41/2542.72 c #Conflicts: 1819000 | #Constraints: 45628
2536.41/2542.72 c #Conflicts: 1820000 | #Constraints: 46628
2536.41/2542.72 c #Conflicts: 1821000 | #Constraints: 47628
2536.41/2542.72 c #Conflicts: 1822000 | #Constraints: 48628
2536.41/2542.72 c #Conflicts: 1823000 | #Constraints: 49628
2536.41/2542.72 c #Conflicts: 1824000 | #Constraints: 50628
2536.41/2542.72 c #Conflicts: 1825000 | #Constraints: 51628
2536.41/2542.72 c #Conflicts: 1826000 | #Constraints: 52628
2536.41/2542.72 c #Conflicts: 1827000 | #Constraints: 53628
2536.41/2542.72 c INPROCESSING
2536.41/2542.72 c GARBAGE COLLECT
2536.41/2542.72 c #Conflicts: 1828000 | #Constraints: 27830
2536.41/2542.72 c #Conflicts: 1829000 | #Constraints: 28830
2536.41/2542.72 c #Conflicts: 1830000 | #Constraints: 29830
2536.41/2542.72 c #Conflicts: 1831000 | #Constraints: 30830
2536.41/2542.72 c #Conflicts: 1832000 | #Constraints: 31830
2536.41/2542.72 c #Conflicts: 1833000 | #Constraints: 32830
2536.41/2542.72 c #Conflicts: 1834000 | #Constraints: 33830
2536.41/2542.72 c #Conflicts: 1835000 | #Constraints: 34830
2536.41/2542.72 c #Conflicts: 1836000 | #Constraints: 35830
2536.41/2542.72 c #Conflicts: 1837000 | #Constraints: 36830
2536.41/2542.72 c #Conflicts: 1838000 | #Constraints: 37830
2536.41/2542.72 c #Conflicts: 1839000 | #Constraints: 38830
2536.41/2542.72 c #Conflicts: 1840000 | #Constraints: 39830
2536.41/2542.72 c #Conflicts: 1841000 | #Constraints: 40830
2536.41/2542.72 c #Conflicts: 1842000 | #Constraints: 41830
2536.41/2542.72 c #Conflicts: 1843000 | #Constraints: 42830
2536.41/2542.72 c #Conflicts: 1844000 | #Constraints: 43830
2536.41/2542.72 c #Conflicts: 1845000 | #Constraints: 44830
2536.41/2542.72 c #Conflicts: 1846000 | #Constraints: 45830
2536.41/2542.72 c #Conflicts: 1847000 | #Constraints: 46830
2536.41/2542.72 c #Conflicts: 1848000 | #Constraints: 47830
2536.41/2542.72 c #Conflicts: 1849000 | #Constraints: 48830
2536.41/2542.72 c #Conflicts: 1850000 | #Constraints: 49830
2536.41/2542.72 c #Conflicts: 1851000 | #Constraints: 50830
2536.41/2542.72 c #Conflicts: 1852000 | #Constraints: 51830
2536.41/2542.72 c #Conflicts: 1853000 | #Constraints: 52830
2536.41/2542.72 c #Conflicts: 1854000 | #Constraints: 53830
2536.41/2542.72 c INPROCESSING
2536.41/2542.72 c GARBAGE COLLECT
2536.41/2542.72 c #Conflicts: 1855000 | #Constraints: 27832
2709.51/2716.29 c #Conflicts: 1856000 | #Constraints: 28832
2709.51/2716.29 c #Conflicts: 1857000 | #Constraints: 29832
2709.51/2716.29 c #Conflicts: 1858000 | #Constraints: 30832
2709.51/2716.29 c #Conflicts: 1859000 | #Constraints: 31832
2709.51/2716.29 c #Conflicts: 1860000 | #Constraints: 32832
2709.51/2716.29 c #Conflicts: 1861000 | #Constraints: 33832
2709.51/2716.29 c #Conflicts: 1862000 | #Constraints: 34832
2709.51/2716.29 c #Conflicts: 1863000 | #Constraints: 35832
2709.51/2716.29 c #Conflicts: 1864000 | #Constraints: 36832
2709.51/2716.29 c #Conflicts: 1865000 | #Constraints: 37832
2709.51/2716.29 c #Conflicts: 1866000 | #Constraints: 38832
2709.51/2716.29 c #Conflicts: 1867000 | #Constraints: 39832
2709.51/2716.29 c #Conflicts: 1868000 | #Constraints: 40832
2709.51/2716.29 c #Conflicts: 1869000 | #Constraints: 41832
2709.51/2716.29 c #Conflicts: 1870000 | #Constraints: 42832
2709.51/2716.29 c #Conflicts: 1871000 | #Constraints: 43832
2709.51/2716.29 c #Conflicts: 1872000 | #Constraints: 44832
2709.51/2716.29 c #Conflicts: 1873000 | #Constraints: 45832
2709.51/2716.29 c #Conflicts: 1874000 | #Constraints: 46832
2709.51/2716.29 c #Conflicts: 1875000 | #Constraints: 47832
2709.51/2716.29 c #Conflicts: 1876000 | #Constraints: 48832
2709.51/2716.29 c #Conflicts: 1877000 | #Constraints: 49832
2709.51/2716.29 c #Conflicts: 1878000 | #Constraints: 50832
2709.51/2716.29 c #Conflicts: 1879000 | #Constraints: 51832
2709.51/2716.29 c #Conflicts: 1880000 | #Constraints: 52832
2709.51/2716.29 c #Conflicts: 1881000 | #Constraints: 53832
2709.51/2716.29 c INPROCESSING
2709.51/2716.29 c GARBAGE COLLECT
2709.51/2716.29 c #Conflicts: 1882000 | #Constraints: 27632
2709.51/2716.29 c #Conflicts: 1883000 | #Constraints: 28632
2709.51/2716.29 c #Conflicts: 1884000 | #Constraints: 29632
2709.51/2716.29 c #Conflicts: 1885000 | #Constraints: 30632
2709.51/2716.29 c #Conflicts: 1886000 | #Constraints: 31632
2709.51/2716.29 c #Conflicts: 1887000 | #Constraints: 32632
2709.51/2716.29 c #Conflicts: 1888000 | #Constraints: 33632
2709.51/2716.29 c #Conflicts: 1889000 | #Constraints: 34632
2709.51/2716.29 c #Conflicts: 1890000 | #Constraints: 35632
2709.51/2716.29 c #Conflicts: 1891000 | #Constraints: 36632
2709.51/2716.29 c #Conflicts: 1892000 | #Constraints: 37632
2709.51/2716.29 c #Conflicts: 1893000 | #Constraints: 38632
2709.51/2716.29 c #Conflicts: 1894000 | #Constraints: 39632
2709.51/2716.29 c #Conflicts: 1895000 | #Constraints: 40632
2709.51/2716.29 c #Conflicts: 1896000 | #Constraints: 41632
2709.51/2716.29 c #Conflicts: 1897000 | #Constraints: 42632
2709.51/2716.29 c #Conflicts: 1898000 | #Constraints: 43632
2709.51/2716.29 c #Conflicts: 1899000 | #Constraints: 44632
2709.51/2716.29 c #Conflicts: 1900000 | #Constraints: 45632
2709.51/2716.29 c #Conflicts: 1901000 | #Constraints: 46632
2709.51/2716.29 c #Conflicts: 1902000 | #Constraints: 47632
2709.51/2716.29 c #Conflicts: 1903000 | #Constraints: 48632
2709.51/2716.29 c #Conflicts: 1904000 | #Constraints: 49632
2709.51/2716.29 c #Conflicts: 1905000 | #Constraints: 50632
2709.51/2716.29 c #Conflicts: 1906000 | #Constraints: 51632
2709.51/2716.29 c #Conflicts: 1907000 | #Constraints: 52632
2709.51/2716.29 c #Conflicts: 1908000 | #Constraints: 53632
2709.51/2716.29 c #Conflicts: 1909000 | #Constraints: 54632
2709.51/2716.29 c INPROCESSING
2709.51/2716.29 c GARBAGE COLLECT
2709.51/2716.29 c #Conflicts: 1910000 | #Constraints: 28231
2709.51/2716.29 c #Conflicts: 1911000 | #Constraints: 29231
2709.51/2716.29 c #Conflicts: 1912000 | #Constraints: 30231
2709.51/2716.29 c #Conflicts: 1913000 | #Constraints: 31231
2709.51/2716.29 c #Conflicts: 1914000 | #Constraints: 32231
2709.51/2716.29 c #Conflicts: 1915000 | #Constraints: 33231
2709.51/2716.29 c #Conflicts: 1916000 | #Constraints: 34231
2709.51/2716.29 c #Conflicts: 1917000 | #Constraints: 35231
2709.51/2716.29 c #Conflicts: 1918000 | #Constraints: 36231
2709.51/2716.29 c #Conflicts: 1919000 | #Constraints: 37231
2709.51/2716.29 c #Conflicts: 1920000 | #Constraints: 38231
2709.51/2716.29 c #Conflicts: 1921000 | #Constraints: 39231
2709.51/2716.29 c #Conflicts: 1922000 | #Constraints: 40231
2709.51/2716.29 c #Conflicts: 1923000 | #Constraints: 41231
2709.51/2716.29 c #Conflicts: 1924000 | #Constraints: 42231
2709.51/2716.29 c #Conflicts: 1925000 | #Constraints: 43231
2709.51/2716.29 c #Conflicts: 1926000 | #Constraints: 44231
2709.51/2716.29 c #Conflicts: 1927000 | #Constraints: 45231
2709.51/2716.29 c #Conflicts: 1928000 | #Constraints: 46231
2709.51/2716.29 c #Conflicts: 1929000 | #Constraints: 47231
2709.51/2716.29 c #Conflicts: 1930000 | #Constraints: 48231
2709.51/2716.29 c #Conflicts: 1931000 | #Constraints: 49231
2709.51/2716.29 c #Conflicts: 1932000 | #Constraints: 50231
2709.51/2716.29 c #Conflicts: 1933000 | #Constraints: 51231
2884.00/2891.18 c #Conflicts: 1934000 | #Constraints: 52231
2884.00/2891.18 c #Conflicts: 1935000 | #Constraints: 53231
2884.00/2891.18 c #Conflicts: 1936000 | #Constraints: 54231
2884.00/2891.18 c #Conflicts: 1937000 | #Constraints: 55231
2884.00/2891.18 c INPROCESSING
2884.00/2891.18 c GARBAGE COLLECT
2884.00/2891.18 c #Conflicts: 1938000 | #Constraints: 28629
2884.00/2891.18 c #Conflicts: 1939000 | #Constraints: 29629
2884.00/2891.18 c #Conflicts: 1940000 | #Constraints: 30629
2884.00/2891.18 c #Conflicts: 1941000 | #Constraints: 31629
2884.00/2891.18 c #Conflicts: 1942000 | #Constraints: 32629
2884.00/2891.18 c #Conflicts: 1943000 | #Constraints: 33629
2884.00/2891.18 c #Conflicts: 1944000 | #Constraints: 34629
2884.00/2891.18 c #Conflicts: 1945000 | #Constraints: 35629
2884.00/2891.18 c #Conflicts: 1946000 | #Constraints: 36629
2884.00/2891.18 c #Conflicts: 1947000 | #Constraints: 37629
2884.00/2891.18 c #Conflicts: 1948000 | #Constraints: 38629
2884.00/2891.18 c #Conflicts: 1949000 | #Constraints: 39629
2884.00/2891.18 c #Conflicts: 1950000 | #Constraints: 40629
2884.00/2891.18 c #Conflicts: 1951000 | #Constraints: 41629
2884.00/2891.18 c #Conflicts: 1952000 | #Constraints: 42629
2884.00/2891.19 c #Conflicts: 1953000 | #Constraints: 43629
2884.00/2891.19 c #Conflicts: 1954000 | #Constraints: 44629
2884.00/2891.19 c #Conflicts: 1955000 | #Constraints: 45629
2884.00/2891.19 c #Conflicts: 1956000 | #Constraints: 46629
2884.00/2891.19 c #Conflicts: 1957000 | #Constraints: 47629
2884.00/2891.19 c #Conflicts: 1958000 | #Constraints: 48629
2884.00/2891.19 c #Conflicts: 1959000 | #Constraints: 49629
2884.00/2891.19 c #Conflicts: 1960000 | #Constraints: 50629
2884.00/2891.19 c #Conflicts: 1961000 | #Constraints: 51629
2884.00/2891.19 c #Conflicts: 1962000 | #Constraints: 52629
2884.00/2891.19 c #Conflicts: 1963000 | #Constraints: 53629
2884.00/2891.19 c #Conflicts: 1964000 | #Constraints: 54629
2884.00/2891.19 c #Conflicts: 1965000 | #Constraints: 55629
2884.00/2891.19 c INPROCESSING
2884.00/2891.19 c GARBAGE COLLECT
2884.00/2891.19 c #Conflicts: 1966000 | #Constraints: 28828
2884.00/2891.19 c #Conflicts: 1967000 | #Constraints: 29828
2884.00/2891.19 c #Conflicts: 1968000 | #Constraints: 30828
2884.00/2891.19 c #Conflicts: 1969000 | #Constraints: 31828
2884.00/2891.19 c #Conflicts: 1970000 | #Constraints: 32828
2884.00/2891.19 c #Conflicts: 1971000 | #Constraints: 33828
2884.00/2891.19 c #Conflicts: 1972000 | #Constraints: 34828
2884.00/2891.19 c #Conflicts: 1973000 | #Constraints: 35828
2884.00/2891.19 c #Conflicts: 1974000 | #Constraints: 36828
2884.00/2891.19 c #Conflicts: 1975000 | #Constraints: 37828
2884.00/2891.19 c #Conflicts: 1976000 | #Constraints: 38828
2884.00/2891.19 c #Conflicts: 1977000 | #Constraints: 39828
2884.00/2891.19 c #Conflicts: 1978000 | #Constraints: 40828
2884.00/2891.19 c #Conflicts: 1979000 | #Constraints: 41828
2884.00/2891.19 c #Conflicts: 1980000 | #Constraints: 42828
2884.00/2891.19 c #Conflicts: 1981000 | #Constraints: 43828
2884.00/2891.19 c #Conflicts: 1982000 | #Constraints: 44828
2884.00/2891.19 c #Conflicts: 1983000 | #Constraints: 45828
2884.00/2891.19 c #Conflicts: 1984000 | #Constraints: 46828
2884.00/2891.19 c #Conflicts: 1985000 | #Constraints: 47828
2884.00/2891.19 c #Conflicts: 1986000 | #Constraints: 48828
2884.00/2891.19 c #Conflicts: 1987000 | #Constraints: 49828
2884.00/2891.19 c #Conflicts: 1988000 | #Constraints: 50828
2884.00/2891.19 c #Conflicts: 1989000 | #Constraints: 51828
2884.00/2891.19 c #Conflicts: 1990000 | #Constraints: 52828
2884.00/2891.19 c #Conflicts: 1991000 | #Constraints: 53828
2884.00/2891.19 c #Conflicts: 1992000 | #Constraints: 54828
2884.00/2891.19 c #Conflicts: 1993000 | #Constraints: 55828
2884.00/2891.19 c INPROCESSING
2884.00/2891.19 c GARBAGE COLLECT
2884.00/2891.19 c #Conflicts: 1994000 | #Constraints: 28830
2884.00/2891.19 c #Conflicts: 1995000 | #Constraints: 29830
2884.00/2891.19 c #Conflicts: 1996000 | #Constraints: 30830
2884.00/2891.19 c #Conflicts: 1997000 | #Constraints: 31830
2884.00/2891.19 c #Conflicts: 1998000 | #Constraints: 32830
2884.00/2891.19 c #Conflicts: 1999000 | #Constraints: 33830
2884.00/2891.19 c #Conflicts: 2000000 | #Constraints: 34830
2884.00/2891.19 c #Conflicts: 2001000 | #Constraints: 35830
2884.00/2891.19 c #Conflicts: 2002000 | #Constraints: 36830
2884.00/2891.19 c #Conflicts: 2003000 | #Constraints: 37830
2884.00/2891.19 c #Conflicts: 2004000 | #Constraints: 38830
2884.00/2891.19 c #Conflicts: 2005000 | #Constraints: 39830
2884.00/2891.19 c #Conflicts: 2006000 | #Constraints: 40830
2884.00/2891.19 c #Conflicts: 2007000 | #Constraints: 41830
2884.00/2891.19 c #Conflicts: 2008000 | #Constraints: 42830
2884.00/2891.19 c #Conflicts: 2009000 | #Constraints: 43830
2884.00/2891.19 c #Conflicts: 2010000 | #Constraints: 44830
3064.23/3071.85 c #Conflicts: 2011000 | #Constraints: 45830
3064.23/3071.85 c #Conflicts: 2012000 | #Constraints: 46830
3064.23/3071.85 c #Conflicts: 2013000 | #Constraints: 47830
3064.23/3071.85 c #Conflicts: 2014000 | #Constraints: 48830
3064.23/3071.85 c #Conflicts: 2015000 | #Constraints: 49830
3064.23/3071.85 c #Conflicts: 2016000 | #Constraints: 50830
3064.23/3071.85 c #Conflicts: 2017000 | #Constraints: 51830
3064.23/3071.85 c #Conflicts: 2018000 | #Constraints: 52830
3064.23/3071.85 c #Conflicts: 2019000 | #Constraints: 53830
3064.23/3071.85 c #Conflicts: 2020000 | #Constraints: 54830
3064.23/3071.85 c #Conflicts: 2021000 | #Constraints: 55830
3064.23/3071.85 c INPROCESSING
3064.23/3071.85 c GARBAGE COLLECT
3064.23/3071.85 c #Conflicts: 2022000 | #Constraints: 28630
3064.23/3071.85 c #Conflicts: 2023000 | #Constraints: 29630
3064.23/3071.85 c #Conflicts: 2024000 | #Constraints: 30630
3064.23/3071.85 c #Conflicts: 2025000 | #Constraints: 31630
3064.23/3071.85 c #Conflicts: 2026000 | #Constraints: 32630
3064.23/3071.85 c #Conflicts: 2027000 | #Constraints: 33630
3064.23/3071.85 c #Conflicts: 2028000 | #Constraints: 34630
3064.23/3071.85 c #Conflicts: 2029000 | #Constraints: 35630
3064.23/3071.85 c #Conflicts: 2030000 | #Constraints: 36630
3064.23/3071.85 c #Conflicts: 2031000 | #Constraints: 37630
3064.23/3071.85 c #Conflicts: 2032000 | #Constraints: 38630
3064.23/3071.85 c #Conflicts: 2033000 | #Constraints: 39630
3064.23/3071.85 c #Conflicts: 2034000 | #Constraints: 40630
3064.23/3071.85 c #Conflicts: 2035000 | #Constraints: 41630
3064.23/3071.85 c #Conflicts: 2036000 | #Constraints: 42630
3064.23/3071.85 c #Conflicts: 2037000 | #Constraints: 43630
3064.23/3071.85 c #Conflicts: 2038000 | #Constraints: 44630
3064.23/3071.85 c #Conflicts: 2039000 | #Constraints: 45630
3064.23/3071.85 c #Conflicts: 2040000 | #Constraints: 46630
3064.23/3071.85 c #Conflicts: 2041000 | #Constraints: 47630
3064.23/3071.85 c #Conflicts: 2042000 | #Constraints: 48630
3064.23/3071.85 c #Conflicts: 2043000 | #Constraints: 49630
3064.23/3071.85 c #Conflicts: 2044000 | #Constraints: 50630
3064.23/3071.85 c #Conflicts: 2045000 | #Constraints: 51630
3064.23/3071.85 c #Conflicts: 2046000 | #Constraints: 52630
3064.23/3071.85 c #Conflicts: 2047000 | #Constraints: 53630
3064.23/3071.85 c #Conflicts: 2048000 | #Constraints: 54630
3064.23/3071.85 c #Conflicts: 2049000 | #Constraints: 55630
3064.23/3071.85 c #Conflicts: 2050000 | #Constraints: 56630
3064.23/3071.85 c INPROCESSING
3064.23/3071.85 c GARBAGE COLLECT
3064.23/3071.85 c #Conflicts: 2051000 | #Constraints: 29229
3064.23/3071.85 c #Conflicts: 2052000 | #Constraints: 30229
3064.23/3071.85 c #Conflicts: 2053000 | #Constraints: 31229
3064.23/3071.85 c #Conflicts: 2054000 | #Constraints: 32229
3064.23/3071.85 c #Conflicts: 2055000 | #Constraints: 33229
3064.23/3071.85 c #Conflicts: 2056000 | #Constraints: 34229
3064.23/3071.85 c #Conflicts: 2057000 | #Constraints: 35229
3064.23/3071.85 c #Conflicts: 2058000 | #Constraints: 36229
3064.23/3071.85 c #Conflicts: 2059000 | #Constraints: 37229
3064.23/3071.85 c #Conflicts: 2060000 | #Constraints: 38229
3064.23/3071.85 c #Conflicts: 2061000 | #Constraints: 39229
3064.23/3071.85 c #Conflicts: 2062000 | #Constraints: 40229
3064.23/3071.85 c #Conflicts: 2063000 | #Constraints: 41229
3064.23/3071.85 c #Conflicts: 2064000 | #Constraints: 42229
3064.23/3071.85 c #Conflicts: 2065000 | #Constraints: 43229
3064.23/3071.85 c #Conflicts: 2066000 | #Constraints: 44229
3064.23/3071.85 c #Conflicts: 2067000 | #Constraints: 45229
3064.23/3071.85 c #Conflicts: 2068000 | #Constraints: 46229
3064.23/3071.85 c #Conflicts: 2069000 | #Constraints: 47229
3064.23/3071.85 c #Conflicts: 2070000 | #Constraints: 48229
3064.23/3071.85 c #Conflicts: 2071000 | #Constraints: 49229
3064.23/3071.85 c #Conflicts: 2072000 | #Constraints: 50229
3064.23/3071.85 c #Conflicts: 2073000 | #Constraints: 51229
3064.23/3071.85 c #Conflicts: 2074000 | #Constraints: 52229
3064.23/3071.85 c #Conflicts: 2075000 | #Constraints: 53229
3064.23/3071.85 c #Conflicts: 2076000 | #Constraints: 54229
3064.23/3071.85 c #Conflicts: 2077000 | #Constraints: 55229
3064.23/3071.85 c #Conflicts: 2078000 | #Constraints: 56229
3064.23/3071.85 c #Conflicts: 2079000 | #Constraints: 57229
3064.23/3071.85 c INPROCESSING
3064.23/3071.85 c GARBAGE COLLECT
3064.23/3071.85 c #Conflicts: 2080000 | #Constraints: 29629
3064.23/3071.85 c #Conflicts: 2081000 | #Constraints: 30629
3064.23/3071.85 c #Conflicts: 2082000 | #Constraints: 31629
3064.23/3071.85 c #Conflicts: 2083000 | #Constraints: 32629
3064.23/3071.85 c #Conflicts: 2084000 | #Constraints: 33629
3064.23/3071.85 c #Conflicts: 2085000 | #Constraints: 34629
3064.23/3071.85 c #Conflicts: 2086000 | #Constraints: 35629
3064.23/3071.85 c #Conflicts: 2087000 | #Constraints: 36629
3263.08/3271.20 c #Conflicts: 2088000 | #Constraints: 37629
3263.08/3271.20 c #Conflicts: 2089000 | #Constraints: 38629
3263.08/3271.20 c #Conflicts: 2090000 | #Constraints: 39629
3263.08/3271.20 c #Conflicts: 2091000 | #Constraints: 40629
3263.08/3271.20 c #Conflicts: 2092000 | #Constraints: 41629
3263.08/3271.20 c #Conflicts: 2093000 | #Constraints: 42629
3263.08/3271.20 c #Conflicts: 2094000 | #Constraints: 43629
3263.08/3271.20 c #Conflicts: 2095000 | #Constraints: 44629
3263.08/3271.20 c #Conflicts: 2096000 | #Constraints: 45629
3263.08/3271.20 c #Conflicts: 2097000 | #Constraints: 46629
3263.08/3271.20 c #Conflicts: 2098000 | #Constraints: 47629
3263.08/3271.20 c #Conflicts: 2099000 | #Constraints: 48629
3263.08/3271.20 c #Conflicts: 2100000 | #Constraints: 49629
3263.08/3271.20 c #Conflicts: 2101000 | #Constraints: 50629
3263.08/3271.20 c #Conflicts: 2102000 | #Constraints: 51629
3263.08/3271.20 c #Conflicts: 2103000 | #Constraints: 52629
3263.08/3271.20 c #Conflicts: 2104000 | #Constraints: 53629
3263.08/3271.20 c #Conflicts: 2105000 | #Constraints: 54629
3263.08/3271.20 c #Conflicts: 2106000 | #Constraints: 55629
3263.08/3271.20 c #Conflicts: 2107000 | #Constraints: 56629
3263.08/3271.20 c #Conflicts: 2108000 | #Constraints: 57629
3263.08/3271.20 c INPROCESSING
3263.08/3271.20 c GARBAGE COLLECT
3263.08/3271.20 c #Conflicts: 2109000 | #Constraints: 29828
3263.08/3271.20 c #Conflicts: 2110000 | #Constraints: 30828
3263.08/3271.20 c #Conflicts: 2111000 | #Constraints: 31828
3263.08/3271.20 c #Conflicts: 2112000 | #Constraints: 32828
3263.08/3271.20 c #Conflicts: 2113000 | #Constraints: 33828
3263.08/3271.20 c #Conflicts: 2114000 | #Constraints: 34828
3263.08/3271.20 c #Conflicts: 2115000 | #Constraints: 35828
3263.08/3271.20 c #Conflicts: 2116000 | #Constraints: 36828
3263.08/3271.20 c #Conflicts: 2117000 | #Constraints: 37828
3263.08/3271.20 c #Conflicts: 2118000 | #Constraints: 38828
3263.08/3271.20 c #Conflicts: 2119000 | #Constraints: 39828
3263.08/3271.20 c #Conflicts: 2120000 | #Constraints: 40828
3263.08/3271.20 c #Conflicts: 2121000 | #Constraints: 41828
3263.08/3271.20 c #Conflicts: 2122000 | #Constraints: 42828
3263.08/3271.20 c #Conflicts: 2123000 | #Constraints: 43828
3263.08/3271.20 c #Conflicts: 2124000 | #Constraints: 44828
3263.08/3271.20 c #Conflicts: 2125000 | #Constraints: 45828
3263.08/3271.20 c #Conflicts: 2126000 | #Constraints: 46828
3263.08/3271.20 c #Conflicts: 2127000 | #Constraints: 47828
3263.08/3271.20 c #Conflicts: 2128000 | #Constraints: 48828
3263.08/3271.20 c #Conflicts: 2129000 | #Constraints: 49828
3263.08/3271.20 c #Conflicts: 2130000 | #Constraints: 50828
3263.08/3271.20 c #Conflicts: 2131000 | #Constraints: 51828
3263.08/3271.20 c #Conflicts: 2132000 | #Constraints: 52828
3263.08/3271.20 c #Conflicts: 2133000 | #Constraints: 53828
3263.08/3271.20 c #Conflicts: 2134000 | #Constraints: 54828
3263.08/3271.20 c #Conflicts: 2135000 | #Constraints: 55828
3263.08/3271.20 c #Conflicts: 2136000 | #Constraints: 56828
3263.08/3271.20 c #Conflicts: 2137000 | #Constraints: 57828
3263.08/3271.20 c INPROCESSING
3263.08/3271.20 c GARBAGE COLLECT
3263.08/3271.20 c #Conflicts: 2138000 | #Constraints: 29832
3263.08/3271.20 c #Conflicts: 2139000 | #Constraints: 30832
3263.08/3271.20 c #Conflicts: 2140000 | #Constraints: 31832
3263.08/3271.20 c #Conflicts: 2141000 | #Constraints: 32832
3263.08/3271.20 c #Conflicts: 2142000 | #Constraints: 33832
3263.08/3271.20 c #Conflicts: 2143000 | #Constraints: 34832
3263.08/3271.20 c #Conflicts: 2144000 | #Constraints: 35832
3263.08/3271.20 c #Conflicts: 2145000 | #Constraints: 36832
3263.08/3271.20 c #Conflicts: 2146000 | #Constraints: 37832
3263.08/3271.20 c #Conflicts: 2147000 | #Constraints: 38832
3263.08/3271.20 c #Conflicts: 2148000 | #Constraints: 39832
3263.08/3271.20 c #Conflicts: 2149000 | #Constraints: 40832
3263.08/3271.20 c #Conflicts: 2150000 | #Constraints: 41832
3263.08/3271.20 c #Conflicts: 2151000 | #Constraints: 42832
3263.08/3271.20 c #Conflicts: 2152000 | #Constraints: 43832
3263.08/3271.20 c #Conflicts: 2153000 | #Constraints: 44832
3263.08/3271.20 c #Conflicts: 2154000 | #Constraints: 45832
3263.08/3271.20 c #Conflicts: 2155000 | #Constraints: 46832
3263.08/3271.20 c #Conflicts: 2156000 | #Constraints: 47832
3263.08/3271.20 c #Conflicts: 2157000 | #Constraints: 48832
3263.08/3271.20 c #Conflicts: 2158000 | #Constraints: 49832
3263.08/3271.20 c #Conflicts: 2159000 | #Constraints: 50832
3263.08/3271.20 c #Conflicts: 2160000 | #Constraints: 51832
3263.08/3271.20 c #Conflicts: 2161000 | #Constraints: 52832
3263.08/3271.20 c #Conflicts: 2162000 | #Constraints: 53832
3263.08/3271.20 c #Conflicts: 2163000 | #Constraints: 54832
3263.08/3271.20 c #Conflicts: 2164000 | #Constraints: 55832
3470.32/3479.04 c #Conflicts: 2165000 | #Constraints: 56832
3470.32/3479.04 c #Conflicts: 2166000 | #Constraints: 57832
3470.32/3479.04 c INPROCESSING
3470.32/3479.04 c GARBAGE COLLECT
3470.32/3479.04 c #Conflicts: 2167000 | #Constraints: 29631
3470.32/3479.04 c #Conflicts: 2168000 | #Constraints: 30631
3470.32/3479.04 c #Conflicts: 2169000 | #Constraints: 31631
3470.32/3479.04 c #Conflicts: 2170000 | #Constraints: 32631
3470.32/3479.04 c #Conflicts: 2171000 | #Constraints: 33631
3470.32/3479.04 c #Conflicts: 2172000 | #Constraints: 34631
3470.32/3479.04 c #Conflicts: 2173000 | #Constraints: 35631
3470.32/3479.04 c #Conflicts: 2174000 | #Constraints: 36631
3470.32/3479.04 c #Conflicts: 2175000 | #Constraints: 37631
3470.32/3479.04 c #Conflicts: 2176000 | #Constraints: 38631
3470.32/3479.04 c #Conflicts: 2177000 | #Constraints: 39631
3470.32/3479.04 c #Conflicts: 2178000 | #Constraints: 40631
3470.32/3479.04 c #Conflicts: 2179000 | #Constraints: 41631
3470.32/3479.04 c #Conflicts: 2180000 | #Constraints: 42631
3470.32/3479.04 c #Conflicts: 2181000 | #Constraints: 43631
3470.32/3479.04 c #Conflicts: 2182000 | #Constraints: 44631
3470.32/3479.04 c #Conflicts: 2183000 | #Constraints: 45631
3470.32/3479.04 c #Conflicts: 2184000 | #Constraints: 46631
3470.32/3479.04 c #Conflicts: 2185000 | #Constraints: 47631
3470.32/3479.04 c #Conflicts: 2186000 | #Constraints: 48631
3470.32/3479.04 c #Conflicts: 2187000 | #Constraints: 49631
3470.32/3479.04 c #Conflicts: 2188000 | #Constraints: 50631
3470.32/3479.04 c #Conflicts: 2189000 | #Constraints: 51631
3470.32/3479.04 c #Conflicts: 2190000 | #Constraints: 52631
3470.32/3479.04 c #Conflicts: 2191000 | #Constraints: 53631
3470.32/3479.04 c #Conflicts: 2192000 | #Constraints: 54631
3470.32/3479.04 c #Conflicts: 2193000 | #Constraints: 55631
3470.32/3479.04 c #Conflicts: 2194000 | #Constraints: 56631
3470.32/3479.04 c #Conflicts: 2195000 | #Constraints: 57631
3470.32/3479.04 c #Conflicts: 2196000 | #Constraints: 58631
3470.32/3479.04 c INPROCESSING
3470.32/3479.04 c GARBAGE COLLECT
3470.32/3479.04 c #Conflicts: 2197000 | #Constraints: 30234
3470.32/3479.04 c #Conflicts: 2198000 | #Constraints: 31234
3470.32/3479.04 c #Conflicts: 2199000 | #Constraints: 32234
3470.32/3479.04 c #Conflicts: 2200000 | #Constraints: 33234
3470.32/3479.04 c #Conflicts: 2201000 | #Constraints: 34234
3470.32/3479.04 c #Conflicts: 2202000 | #Constraints: 35234
3470.32/3479.04 c #Conflicts: 2203000 | #Constraints: 36234
3470.32/3479.04 c #Conflicts: 2204000 | #Constraints: 37234
3470.32/3479.04 c #Conflicts: 2205000 | #Constraints: 38234
3470.32/3479.04 c #Conflicts: 2206000 | #Constraints: 39234
3470.32/3479.04 c #Conflicts: 2207000 | #Constraints: 40234
3470.32/3479.04 c #Conflicts: 2208000 | #Constraints: 41234
3470.32/3479.04 c #Conflicts: 2209000 | #Constraints: 42234
3470.32/3479.04 c #Conflicts: 2210000 | #Constraints: 43234
3470.32/3479.04 c #Conflicts: 2211000 | #Constraints: 44234
3470.32/3479.04 c #Conflicts: 2212000 | #Constraints: 45234
3470.32/3479.04 c #Conflicts: 2213000 | #Constraints: 46234
3470.32/3479.04 c #Conflicts: 2214000 | #Constraints: 47234
3470.32/3479.04 c #Conflicts: 2215000 | #Constraints: 48234
3470.32/3479.04 c #Conflicts: 2216000 | #Constraints: 49234
3470.32/3479.04 c #Conflicts: 2217000 | #Constraints: 50234
3470.32/3479.04 c #Conflicts: 2218000 | #Constraints: 51234
3470.32/3479.04 c #Conflicts: 2219000 | #Constraints: 52234
3470.32/3479.04 c #Conflicts: 2220000 | #Constraints: 53234
3470.32/3479.04 c #Conflicts: 2221000 | #Constraints: 54234
3470.32/3479.04 c #Conflicts: 2222000 | #Constraints: 55234
3470.32/3479.04 c #Conflicts: 2223000 | #Constraints: 56234
3470.32/3479.04 c #Conflicts: 2224000 | #Constraints: 57234
3470.32/3479.04 c #Conflicts: 2225000 | #Constraints: 58234
3470.32/3479.04 c #Conflicts: 2226000 | #Constraints: 59234
3470.32/3479.04 c INPROCESSING
3470.32/3479.04 c GARBAGE COLLECT
3470.32/3479.04 c #Conflicts: 2227000 | #Constraints: 30636
3470.32/3479.04 c #Conflicts: 2228000 | #Constraints: 31636
3470.32/3479.04 c #Conflicts: 2229000 | #Constraints: 32636
3470.32/3479.04 c #Conflicts: 2230000 | #Constraints: 33636
3470.32/3479.04 c #Conflicts: 2231000 | #Constraints: 34636
3470.32/3479.04 c #Conflicts: 2232000 | #Constraints: 35636
3470.32/3479.04 c #Conflicts: 2233000 | #Constraints: 36636
3470.32/3479.04 c #Conflicts: 2234000 | #Constraints: 37636
3470.32/3479.04 c #Conflicts: 2235000 | #Constraints: 38636
3470.32/3479.04 c #Conflicts: 2236000 | #Constraints: 39636
3470.32/3479.04 c #Conflicts: 2237000 | #Constraints: 40636
3470.32/3479.04 c #Conflicts: 2238000 | #Constraints: 41636
3470.32/3479.04 c #Conflicts: 2239000 | #Constraints: 42636
3470.32/3479.04 c #Conflicts: 2240000 | #Constraints: 43636
3470.32/3479.04 c #Conflicts: 2241000 | #Constraints: 44636
3600.00/3609.01 c #Conflicts: 2242000 | #Constraints: 45636
3600.00/3609.01 c #Conflicts: 2243000 | #Constraints: 46636
3600.00/3609.01 c #Conflicts: 2244000 | #Constraints: 47636
3600.00/3609.01 c #Conflicts: 2245000 | #Constraints: 48636
3600.00/3609.01 c #Conflicts: 2246000 | #Constraints: 49636
3600.00/3609.01 c #Conflicts: 2247000 | #Constraints: 50636
3600.00/3609.01 c #Conflicts: 2248000 | #Constraints: 51636
3600.00/3609.01 c #Conflicts: 2249000 | #Constraints: 52636
3600.00/3609.01 c #Conflicts: 2250000 | #Constraints: 53636
3600.00/3609.01 c #Conflicts: 2251000 | #Constraints: 54636
3600.00/3609.01 c #Conflicts: 2252000 | #Constraints: 55636
3600.00/3609.01 c #Conflicts: 2253000 | #Constraints: 56636
3600.00/3609.01 c #Conflicts: 2254000 | #Constraints: 57636
3600.00/3609.01 c #Conflicts: 2255000 | #Constraints: 58636
3600.00/3609.01 c #Conflicts: 2256000 | #Constraints: 59636
3600.00/3609.01 c INPROCESSING
3600.00/3609.01 c GARBAGE COLLECT
3600.00/3609.01 c #Conflicts: 2257000 | #Constraints: 30832
3600.00/3609.01 c #Conflicts: 2258000 | #Constraints: 31832
3600.00/3609.01 c #Conflicts: 2259000 | #Constraints: 32832
3600.00/3609.01 c #Conflicts: 2260000 | #Constraints: 33832
3600.00/3609.01 c #Conflicts: 2261000 | #Constraints: 34832
3600.00/3609.01 c #Conflicts: 2262000 | #Constraints: 35832
3600.00/3609.01 c #Conflicts: 2263000 | #Constraints: 36832
3600.00/3609.01 c #Conflicts: 2264000 | #Constraints: 37832
3600.00/3609.01 c #Conflicts: 2265000 | #Constraints: 38832
3600.00/3609.01 c #Conflicts: 2266000 | #Constraints: 39832
3600.00/3609.01 c #Conflicts: 2267000 | #Constraints: 40832
3600.00/3609.01 c #Conflicts: 2268000 | #Constraints: 41832
3600.00/3609.01 c #Conflicts: 2269000 | #Constraints: 42832
3600.00/3609.01 c #Conflicts: 2270000 | #Constraints: 43832
3600.00/3609.01 c #Conflicts: 2271000 | #Constraints: 44832
3600.00/3609.01 c #Conflicts: 2272000 | #Constraints: 45832
3600.00/3609.01 c #Conflicts: 2273000 | #Constraints: 46832
3600.00/3609.01 c #Conflicts: 2274000 | #Constraints: 47832
3600.00/3609.01 c #Conflicts: 2275000 | #Constraints: 48832
3600.00/3609.01 c #Conflicts: 2276000 | #Constraints: 49832
3600.00/3609.01 c #Conflicts: 2277000 | #Constraints: 50832
3600.00/3609.01 c #Conflicts: 2278000 | #Constraints: 51832
3600.00/3609.01 c #Conflicts: 2279000 | #Constraints: 52832
3600.00/3609.01 c #Conflicts: 2280000 | #Constraints: 53832
3600.00/3609.01 c #Conflicts: 2281000 | #Constraints: 54832
3600.00/3609.01 c #Conflicts: 2282000 | #Constraints: 55832
3600.00/3609.01 c #Conflicts: 2283000 | #Constraints: 56832
3600.00/3609.01 c #Conflicts: 2284000 | #Constraints: 57832
3600.00/3609.01 c #Conflicts: 2285000 | #Constraints: 58832
3600.00/3609.01 c #Conflicts: 2286000 | #Constraints: 59832
3600.00/3609.01 c INPROCESSING
3600.00/3609.01 c GARBAGE COLLECT
3600.00/3609.01 c Program interrupted by user.
3600.00/3609.01 c cpu time 3590.86 s
3600.00/3609.01 c deterministic time 615979928472 6.16e+11
3600.00/3609.01 c optimization time 1.37286 s
3600.00/3609.01 c total solve time 3589.48 s
3600.00/3609.01 c core-guided solve time 3589.48 s
3600.00/3609.01 c propagation time 3450.8 s
3600.00/3609.01 c conflict analysis time 125.768 s
3600.00/3609.01 c propagations 25161136
3600.00/3609.01 c resolve steps 10795334
3600.00/3609.01 c decisions 3738783
3600.00/3609.01 c conflicts 2286809
3600.00/3609.01 c restarts 4094
3600.00/3609.01 c inprocessing phases 142
3600.00/3609.01 c input clauses 0
3600.00/3609.01 c input cardinalities 0
3600.00/3609.01 c input general constraints 17
3600.00/3609.01 c input average constraint length 72.00
3600.00/3609.01 c input average constraint degree 1626.06
3600.00/3609.01 c learned clauses 1364031
3600.00/3609.01 c learned cardinalities 0
3600.00/3609.01 c learned general constraints 922777
3600.00/3609.01 c learned average constraint length 57.03
3600.00/3609.01 c learned average constraint degree 46881.74
3600.00/3609.01 c watched constraints 921946
3600.00/3609.01 c counting constraints 848
3600.00/3609.01 c gcd simplifications 1217780
3600.00/3609.01 c detected cardinalities 0
3600.00/3609.01 c weakened non-implied lits 27660267
3600.00/3609.01 c weakened non-implying lits 2976104
3600.00/3609.01 c original variables 146
3600.00/3609.01 c clausal propagations 388520
3600.00/3609.01 c cardinality propagations 0
3600.00/3609.01 c watched propagations 18460323
3600.00/3609.01 c counting propagations 4458860
3600.00/3609.01 c watch lookups 35471111135
3600.00/3609.01 c watch backjump lookups 12816017998
3600.00/3609.01 c watch checks 490143500447
3600.00/3609.01 c propagation checks 76675585584
3600.00/3609.01 c constraint additions 813626794
3600.00/3609.01 c trail pops 31186594
3600.00/3609.01 c formula constraints 12
3600.00/3609.01 c learned constraints 2286808
3600.00/3609.01 c bound constraints 5
3600.00/3609.01 c core-guided constraints 0
3600.00/3609.01 c encountered formula constraints 2575609
3600.00/3609.01 c encountered learned constraints 10506534
3600.00/3609.01 c encountered bound constraints 0
3600.00/3609.01 c encountered core-guided constraints 0
3600.00/3609.01 c LP total time 0 s
3600.00/3609.01 c LP solve time 0 s
3600.00/3609.01 c LP constraints added 0
3600.00/3609.01 c LP constraints removed 0
3600.00/3609.01 c LP pivots internal 0
3600.00/3609.01 c LP pivots root 0
3600.00/3609.01 c LP calls 0
3600.00/3609.01 c LP optimalities 0
3600.00/3609.01 c LP no pivot count 0
3600.00/3609.01 c LP infeasibilities 0
3600.00/3609.01 c LP valid Farkas constraints 0
3600.00/3609.01 c LP learned Farkas constraints 0
3600.00/3609.01 c LP basis resets 0
3600.00/3609.01 c LP cycling count 0
3600.00/3609.01 c LP singular count 0
3600.00/3609.01 c LP no primal count 0
3600.00/3609.01 c LP no farkas count 0
3600.00/3609.01 c LP other issue count 0
3600.00/3609.01 c LP Gomory cuts 0
3600.00/3609.01 c LP learned cuts 0
3600.00/3609.01 c LP deleted cuts 0
3600.00/3609.01 c LP encountered Gomory constraints 0
3600.00/3609.01 c LP encountered Farkas constraints 0
3600.00/3609.01 c LP encountered learned Farkas constraints 0
3600.00/3609.01 c CG auxiliary variables introduced 0
3600.00/3609.01 c CG solutions found 5
3600.00/3609.01 c CG cores constructed 0
3600.00/3609.01 c CG core cardinality constraints returned 0
3600.00/3609.01 c CG unit cores 0
3600.00/3609.01 c CG single cores 0
3600.00/3609.01 c CG blocks removed during cardinality reduction 0
3600.00/3609.01 c CG first core best 0
3600.00/3609.01 c CG decision core best 0
3600.00/3609.01 c CG core reduction tie 0
3600.00/3609.01 c CG core degree average 0.00
3600.00/3609.01 c CG core slack average 0.00
3600.00/3609.01 c CG exhausted 0
3600.00/3609.01 c CG exhaust time 0 s
3600.00/3609.01 c CG trimmed 0
3600.00/3609.01 c CG trim time 0 s
3600.00/3609.01 c CG minimized 0
3600.00/3609.01 c CG minimize time 0 s
3600.00/3609.01 c CG am1 prop time 0.000303 s
3600.00/3609.01 c CG # am1s reformulated 0
3600.00/3609.01 c CG lower bound derived from am1s 0
3600.00/3609.01 c CG # clausal cores 0
3600.00/3609.01 c CG # cardinality cores 0
3600.00/3609.01 c CG # pb cores 0
3600.00/3609.01 c CG # pb reforms 0
3600.00/3609.01 c CG # cores discarded because of pb reform 0
3600.00/3609.01 d LOWERBOUND 0
3600.00/3609.01 d NCORES 0
3600.00/3609.01 d NPBCORES 0
3600.00/3609.01 d NPBREFORM 0
3600.00/3609.01 d NTRIMMED 0
3600.00/3609.01 d NEXHAUSTED 0
3600.00/3609.01 d NAM1S 0
3600.00/3609.01 d AM1LB 0
3600.00/3609.01 o 15
3600.00/3609.01 s SATISFIABLE
3600.00/3609.01 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63157 MiB free)
memory of node 1: 64510 MiB (63537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435904-1721103893/watcher-4435904-1721103893 -o /tmp/evaluation-result-4435904-1721103893/solver-4435904-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760 pb-oll-rs HOME/instance-4435904-1721103893.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=828552, runsolver pid=828538
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.23 1.54 2.36 10/247 828595
/proc/meminfo: memFree=129731996/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=38924 memory=6404 CPUtime=0.11 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 375 0 0 0 10 1 0 0 20 0 1 0 162545713 39858176 1601 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 9731 1601 1396 291 0 1265 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 6404 KiB
[startup+0.213587 s]*
/proc/loadavg: 1.23 1.54 2.36 10/248 828642
/proc/meminfo: memFree=129728644/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=39056 memory=6668 CPUtime=0.21 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 450 0 0 0 20 1 0 0 20 0 1 0 162545713 39993344 1667 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 9764 1667 1396 291 0 1298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 6668 KiB
[startup+0.317386 s]*
/proc/loadavg: 1.23 1.54 2.36 9/248 828695
/proc/meminfo: memFree=129726480/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=39188 memory=6932 CPUtime=0.32 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 532 0 0 0 30 2 0 0 20 0 1 0 162545713 40128512 1733 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 9797 1733 1396 291 0 1331 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 6932 KiB
[startup+0.700281 s]
/proc/loadavg: 1.23 1.54 2.36 11/249 828778
/proc/meminfo: memFree=129724564/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=39304 memory=7340 CPUtime=0.68 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 639 0 0 0 65 3 0 0 20 0 1 0 162545713 40247296 1835 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 9826 1835 1396 291 0 1360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 7340 KiB
[startup+1.50026 s]
/proc/loadavg: 1.23 1.54 2.36 8/246 828802
/proc/meminfo: memFree=129723964/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=39848 memory=10368 CPUtime=1.49 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 852 0 0 0 143 6 0 0 20 0 1 0 162545713 40804352 2592 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 9962 2592 1449 291 0 1496 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 10368 KiB
[startup+3.11221 s]
/proc/loadavg: 1.45 1.58 2.37 8/246 828802
/proc/meminfo: memFree=129713776/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=40416 memory=10892 CPUtime=3.09 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 988 0 0 0 301 8 0 0 20 0 1 0 162545713 41385984 2723 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 10104 2723 1449 291 0 1638 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 10892 KiB
[startup+6.30023 s]
/proc/loadavg: 1.45 1.58 2.37 8/246 828802
/proc/meminfo: memFree=129711328/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=40976 memory=11688 CPUtime=6.27 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 1131 0 0 0 615 12 0 0 20 0 1 0 162545713 41959424 2922 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 10244 2922 1449 291 0 1778 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 11688 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.62 2.38 8/246 828804
/proc/meminfo: memFree=129707136/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=41584 memory=12228 CPUtime=12.66 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 1268 0 0 0 1247 19 0 0 20 0 1 0 162545713 42582016 3057 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 10396 3057 1449 291 0 1930 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 12228 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 1.76 2.41 8/246 828805
/proc/meminfo: memFree=129698160/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=42640 memory=14196 CPUtime=25.43 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 1799 0 0 0 2512 31 0 0 20 0 1 0 162545713 43663360 3549 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 10660 3549 1449 291 0 2194 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 14196 KiB
[startup+51.1123 s]
/proc/loadavg: 2.93 1.95 2.46 8/245 828810
/proc/meminfo: memFree=129690272/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=45968 memory=15760 CPUtime=50.98 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 2264 0 0 0 5051 47 0 0 20 0 1 0 162545713 47071232 3940 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 11492 3940 1449 291 0 3026 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 15760 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.27 2.54 8/245 828818
/proc/meminfo: memFree=129676412/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=48112 memory=19304 CPUtime=102.05 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 3251 0 0 0 10126 79 0 0 20 0 1 0 162545713 49266688 4826 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 12028 4826 1449 291 0 3562 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 48112 KiB
Current children cumulated memory: 19304 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.60 2.64 8/245 828829
/proc/meminfo: memFree=129662948/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=53516 memory=22956 CPUtime=161.91 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 3789 0 0 0 16079 112 0 0 20 0 1 0 162545713 54800384 5739 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13379 5739 1449 291 0 4913 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 53516 KiB
Current children cumulated memory: 22956 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.91 2.75 8/246 829008
/proc/meminfo: memFree=129654012/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=54228 memory=23904 CPUtime=221.76 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 4156 0 0 0 22035 141 0 0 20 0 1 0 162545713 55529472 5976 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13557 5976 1449 291 0 5091 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 23904 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.12 2.83 8/246 829018
/proc/meminfo: memFree=129642236/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=54328 memory=24240 CPUtime=281.61 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 4356 0 0 0 27994 167 0 0 20 0 1 0 162545713 55631872 6060 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13582 6060 1449 291 0 5116 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 54328 KiB
Current children cumulated memory: 24240 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.33 2.92 9/246 829088
/proc/meminfo: memFree=129637056/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=54872 memory=25088 CPUtime=341.45 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 4688 0 0 0 33958 187 0 0 20 0 1 0 162545713 56188928 6272 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13718 6272 1449 291 0 5252 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 54872 KiB
Current children cumulated memory: 25088 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.50 3.01 8/246 829098
/proc/meminfo: memFree=129631708/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=55352 memory=25896 CPUtime=401.29 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 4959 0 0 0 39918 211 0 0 20 0 1 0 162545713 56680448 6474 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13838 6474 1449 291 0 5372 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 55352 KiB
Current children cumulated memory: 25896 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.61 3.08 8/246 829108
/proc/meminfo: memFree=129622712/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=55608 memory=26836 CPUtime=461.12 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 5342 0 0 0 45881 231 0 0 20 0 1 0 162545713 56942592 6709 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 13902 6709 1449 291 0 5436 0
################
# More data... #
################
Current children cumulated memory: 44240 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.05 8/243 830105
/proc/meminfo: memFree=129541868/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=81508 memory=44240 CPUtime=2855.26 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 13405 0 0 0 284732 794 0 0 20 0 1 0 162545713 83464192 11060 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20377 11060 1449 291 0 11911 0
Current children cumulated CPU time: 2855.26 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 44240 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.05 8/243 830115
/proc/meminfo: memFree=129538664/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=81764 memory=44388 CPUtime=2915.12 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 13563 0 0 0 290707 805 0 0 20 0 1 0 162545713 83726336 11097 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20441 11097 1449 291 0 11975 0
Current children cumulated CPU time: 2915.12 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44388 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.05 9/243 830125
/proc/meminfo: memFree=129536820/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=81764 memory=44388 CPUtime=2974.98 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 13585 0 0 0 296682 816 0 0 20 0 1 0 162545713 83726336 11097 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20441 11097 1449 291 0 11975 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44388 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.06 8/243 830137
/proc/meminfo: memFree=129536036/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=81764 memory=44388 CPUtime=3034.81 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 13706 0 0 0 302655 826 0 0 20 0 1 0 162545713 83726336 11097 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20441 11097 1449 291 0 11975 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44388 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.06 8/241 830147
/proc/meminfo: memFree=129533792/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=82020 memory=44388 CPUtime=3094.65 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 13830 0 0 0 308629 836 0 0 20 0 1 0 162545713 83988480 11097 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20505 11097 1449 291 0 12039 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 82020 KiB
Current children cumulated memory: 44388 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.06 8/241 830157
/proc/meminfo: memFree=129532784/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=82276 memory=44700 CPUtime=3154.48 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14028 0 0 0 314603 845 0 0 20 0 1 0 162545713 84250624 11175 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20569 11175 1449 291 0 12103 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 82276 KiB
Current children cumulated memory: 44700 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.06 8/241 830167
/proc/meminfo: memFree=129531744/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=82788 memory=44992 CPUtime=3214.32 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14224 0 0 0 320577 855 0 0 20 0 1 0 162545713 84774912 11248 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20697 11248 1449 291 0 12231 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 82788 KiB
Current children cumulated memory: 44992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.06 8/241 830178
/proc/meminfo: memFree=129527548/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=83044 memory=45140 CPUtime=3274.15 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14384 0 0 0 326552 863 0 0 20 0 1 0 162545713 85037056 11285 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20761 11285 1449 291 0 12295 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 83044 KiB
Current children cumulated memory: 45140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 8/243 830192
/proc/meminfo: memFree=129527272/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=83300 memory=45140 CPUtime=3333.99 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14414 0 0 0 332526 873 0 0 20 0 1 0 162545713 85299200 11285 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20825 11285 1449 291 0 12359 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 83300 KiB
Current children cumulated memory: 45140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 8/243 830202
/proc/meminfo: memFree=129523400/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=83300 memory=45316 CPUtime=3393.83 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14573 0 0 0 338500 883 0 0 20 0 1 0 162545713 85299200 11329 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20825 11329 1449 291 0 12359 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 83300 KiB
Current children cumulated memory: 45316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.06 9/243 830214
/proc/meminfo: memFree=129520464/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=83812 memory=47664 CPUtime=3453.65 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14772 0 0 0 344474 891 0 0 20 0 1 0 162545713 85823488 11916 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 20953 11916 1449 291 0 12487 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 83812 KiB
Current children cumulated memory: 47664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.07 8/243 830224
/proc/meminfo: memFree=129519408/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=85092 memory=48120 CPUtime=3513.49 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 14936 0 0 0 350448 901 0 0 20 0 1 0 162545713 87134208 12030 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 21273 12030 1449 291 0 12807 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 48120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.07 8/243 830234
/proc/meminfo: memFree=129517348/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=85092 memory=49216 CPUtime=3573.35 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 15097 0 0 0 356424 911 0 0 20 0 1 0 162545713 87134208 12304 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 21273 12304 1449 291 0 12807 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 49216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.97 4.08 4.06 5/233 830293
/proc/meminfo: memFree=129622384/131655788 swapFree=131071996/131071996
[pid=828552] ppid=828538 vsize=85348 memory=49352 CPUtime=3600 cores=5,7
/proc/828552/stat : 828552 (pb-oll-rs) R 828538 828552 828344 0 -1 4194304 15241 0 0 0 359085 915 0 0 20 0 1 0 162545713 87396352 12338 134679101440 4194304 5384005 140734011169392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19058688 140734011175959 140734011176036 140734011176036 140734011183051 0
/proc/828552/statm: 21337 12338 1449 291 0 12871 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 85348 KiB
Current children cumulated memory: 49352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 828552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.86 s, system=9.15949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.02
CPU user time (s): 3590.86
CPU system time (s): 9.15949
CPU usage (%): 99.7507
Max. virtual memory (cumulated for all children) (KiB): 85348
Max. memory (cumulated for all children) (KiB): 49352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.86
system time used= 9.15949
maximum resident set size= 49668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15260
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= 26
involuntary context switches= 1572
# summary of solver processes directly reported to runsolver:
# pid: 828552
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.86
# total CPU system time (s): 9.15949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2116 second user time and 34.2958 second system time
The end
Begin job on nodeC008 at 2024-07-16 06:25:05
IDJOB=4435904
IDBENCH=147594
IDSOLVER=3067
FILE ID=nodeC008/4435904-1721103893
RUNJOBID= nodeC008-1721103905-828398
SLURM_JOB_ID= 7505622
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435904-1721103893/watcher-4435904-1721103893 -o /tmp/evaluation-result-4435904-1721103893/solver-4435904-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760 pb-oll-rs HOME/instance-4435904-1721103893.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=1547212356
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3355.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129738880 kB
MemAvailable: 129986808 kB
Buffers: 408796 kB
Cached: 682912 kB
SwapCached: 0 kB
Active: 637752 kB
Inactive: 759056 kB
Active(anon): 1384 kB
Inactive(anon): 341416 kB
Active(file): 636368 kB
Inactive(file): 417640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7912 kB
Writeback: 0 kB
AnonPages: 304920 kB
Mapped: 104184 kB
Shmem: 37708 kB
KReclaimable: 67904 kB
Slab: 161360 kB
SReclaimable: 67904 kB
SUnreclaim: 93456 kB
KernelStack: 3720 kB
PageTables: 9228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 688668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-16 07:25:14