0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
298.90/300.04 c [STEP] preprocessing done, loading into solver
298.90/300.04 c [STEP] solving
298.90/300.05 c #variables 147 #constraints 12
298.90/300.05 c SMALL=int, LARGE=long long
298.90/300.05 d SCIPUB 4
298.90/300.05 c bounds - >= 0 @ 298.922
298.90/300.05 c stratification level: 2
330.02/331.28 c #Conflicts: 1000 | #Constraints: 1012
330.02/331.28 c #Conflicts: 2000 | #Constraints: 2012
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 3000 | #Constraints: 2016
330.02/331.28 c #Conflicts: 4000 | #Constraints: 3016
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 5000 | #Constraints: 2420
330.02/331.28 c #Conflicts: 6000 | #Constraints: 3420
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 7000 | #Constraints: 2422
330.02/331.28 c #Conflicts: 8000 | #Constraints: 3422
330.02/331.28 c #Conflicts: 9000 | #Constraints: 4422
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 10000 | #Constraints: 3125
330.02/331.28 c #Conflicts: 11000 | #Constraints: 4125
330.02/331.28 c #Conflicts: 12000 | #Constraints: 5125
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 13000 | #Constraints: 3577
330.02/331.28 c #Conflicts: 14000 | #Constraints: 4577
330.02/331.28 c #Conflicts: 15000 | #Constraints: 5577
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 16000 | #Constraints: 3800
330.02/331.28 c #Conflicts: 17000 | #Constraints: 4800
330.02/331.28 c #Conflicts: 18000 | #Constraints: 5800
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 19000 | #Constraints: 3814
330.02/331.28 c #Conflicts: 20000 | #Constraints: 4814
330.02/331.28 c #Conflicts: 21000 | #Constraints: 5814
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 22000 | #Constraints: 3618
330.02/331.28 c #Conflicts: 23000 | #Constraints: 4618
330.02/331.28 c #Conflicts: 24000 | #Constraints: 5618
330.02/331.28 c #Conflicts: 25000 | #Constraints: 6618
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 26000 | #Constraints: 4224
330.02/331.28 c #Conflicts: 27000 | #Constraints: 5224
330.02/331.28 c #Conflicts: 28000 | #Constraints: 6224
330.02/331.28 c #Conflicts: 29000 | #Constraints: 7224
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 30000 | #Constraints: 4625
330.02/331.28 c #Conflicts: 31000 | #Constraints: 5625
330.02/331.28 c #Conflicts: 32000 | #Constraints: 6625
330.02/331.28 c #Conflicts: 33000 | #Constraints: 7625
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 34000 | #Constraints: 4827
330.02/331.28 c #Conflicts: 35000 | #Constraints: 5827
330.02/331.28 c #Conflicts: 36000 | #Constraints: 6827
330.02/331.28 c #Conflicts: 37000 | #Constraints: 7827
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 38000 | #Constraints: 4828
330.02/331.28 c #Conflicts: 39000 | #Constraints: 5828
330.02/331.28 c #Conflicts: 40000 | #Constraints: 6828
330.02/331.28 c #Conflicts: 41000 | #Constraints: 7828
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 42000 | #Constraints: 4631
330.02/331.28 c #Conflicts: 43000 | #Constraints: 5631
330.02/331.28 c #Conflicts: 44000 | #Constraints: 6631
330.02/331.28 c #Conflicts: 45000 | #Constraints: 7631
330.02/331.28 c #Conflicts: 46000 | #Constraints: 8631
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 47000 | #Constraints: 5228
330.02/331.28 c #Conflicts: 48000 | #Constraints: 6228
330.02/331.28 c #Conflicts: 49000 | #Constraints: 7228
330.02/331.28 c #Conflicts: 50000 | #Constraints: 8228
330.02/331.28 c #Conflicts: 51000 | #Constraints: 9228
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 52000 | #Constraints: 5627
330.02/331.28 c #Conflicts: 53000 | #Constraints: 6627
330.02/331.28 c #Conflicts: 54000 | #Constraints: 7627
330.02/331.28 c #Conflicts: 55000 | #Constraints: 8627
330.02/331.28 c #Conflicts: 56000 | #Constraints: 9627
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 57000 | #Constraints: 5827
330.02/331.28 c #Conflicts: 58000 | #Constraints: 6827
330.02/331.28 c #Conflicts: 59000 | #Constraints: 7827
330.02/331.28 c #Conflicts: 60000 | #Constraints: 8827
330.02/331.28 c #Conflicts: 61000 | #Constraints: 9827
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 62000 | #Constraints: 5828
330.02/331.28 c #Conflicts: 63000 | #Constraints: 6828
330.02/331.28 c #Conflicts: 64000 | #Constraints: 7828
330.02/331.28 c #Conflicts: 65000 | #Constraints: 8828
330.02/331.28 c #Conflicts: 66000 | #Constraints: 9828
330.02/331.28 c INPROCESSING
330.02/331.28 c GARBAGE COLLECT
330.02/331.28 c #Conflicts: 67000 | #Constraints: 5629
330.02/331.28 c #Conflicts: 68000 | #Constraints: 6629
387.19/388.54 c #Conflicts: 69000 | #Constraints: 7629
387.19/388.54 c #Conflicts: 70000 | #Constraints: 8629
387.19/388.54 c #Conflicts: 71000 | #Constraints: 9629
387.19/388.54 c #Conflicts: 72000 | #Constraints: 10629
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 73000 | #Constraints: 6225
387.19/388.54 c #Conflicts: 74000 | #Constraints: 7225
387.19/388.54 c #Conflicts: 75000 | #Constraints: 8225
387.19/388.54 c #Conflicts: 76000 | #Constraints: 9225
387.19/388.54 c #Conflicts: 77000 | #Constraints: 10225
387.19/388.54 c #Conflicts: 78000 | #Constraints: 11225
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 79000 | #Constraints: 6626
387.19/388.54 c #Conflicts: 80000 | #Constraints: 7626
387.19/388.54 c #Conflicts: 81000 | #Constraints: 8626
387.19/388.54 c #Conflicts: 82000 | #Constraints: 9626
387.19/388.54 c #Conflicts: 83000 | #Constraints: 10626
387.19/388.54 c #Conflicts: 84000 | #Constraints: 11626
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 85000 | #Constraints: 6826
387.19/388.54 c #Conflicts: 86000 | #Constraints: 7826
387.19/388.54 c #Conflicts: 87000 | #Constraints: 8826
387.19/388.54 c #Conflicts: 88000 | #Constraints: 9826
387.19/388.54 c #Conflicts: 89000 | #Constraints: 10826
387.19/388.54 c #Conflicts: 90000 | #Constraints: 11826
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 91000 | #Constraints: 6827
387.19/388.54 c #Conflicts: 92000 | #Constraints: 7827
387.19/388.54 c #Conflicts: 93000 | #Constraints: 8827
387.19/388.54 c #Conflicts: 94000 | #Constraints: 9827
387.19/388.54 c #Conflicts: 95000 | #Constraints: 10827
387.19/388.54 c #Conflicts: 96000 | #Constraints: 11827
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 97000 | #Constraints: 6632
387.19/388.54 c #Conflicts: 98000 | #Constraints: 7632
387.19/388.54 c #Conflicts: 99000 | #Constraints: 8632
387.19/388.54 c #Conflicts: 100000 | #Constraints: 9632
387.19/388.54 c #Conflicts: 101000 | #Constraints: 10632
387.19/388.54 c #Conflicts: 102000 | #Constraints: 11632
387.19/388.54 c #Conflicts: 103000 | #Constraints: 12632
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 104000 | #Constraints: 7229
387.19/388.54 c #Conflicts: 105000 | #Constraints: 8229
387.19/388.54 c #Conflicts: 106000 | #Constraints: 9229
387.19/388.54 c #Conflicts: 107000 | #Constraints: 10229
387.19/388.54 c #Conflicts: 108000 | #Constraints: 11229
387.19/388.54 c #Conflicts: 109000 | #Constraints: 12229
387.19/388.54 c #Conflicts: 110000 | #Constraints: 13229
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 111000 | #Constraints: 7629
387.19/388.54 c #Conflicts: 112000 | #Constraints: 8629
387.19/388.54 c #Conflicts: 113000 | #Constraints: 9629
387.19/388.54 c #Conflicts: 114000 | #Constraints: 10629
387.19/388.54 c #Conflicts: 115000 | #Constraints: 11629
387.19/388.54 c #Conflicts: 116000 | #Constraints: 12629
387.19/388.54 c #Conflicts: 117000 | #Constraints: 13629
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 118000 | #Constraints: 7830
387.19/388.54 c #Conflicts: 119000 | #Constraints: 8830
387.19/388.54 c #Conflicts: 120000 | #Constraints: 9830
387.19/388.54 c #Conflicts: 121000 | #Constraints: 10830
387.19/388.54 c #Conflicts: 122000 | #Constraints: 11830
387.19/388.54 c #Conflicts: 123000 | #Constraints: 12830
387.19/388.54 c #Conflicts: 124000 | #Constraints: 13830
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 125000 | #Constraints: 7827
387.19/388.54 c #Conflicts: 126000 | #Constraints: 8827
387.19/388.54 c #Conflicts: 127000 | #Constraints: 9827
387.19/388.54 c #Conflicts: 128000 | #Constraints: 10827
387.19/388.54 c #Conflicts: 129000 | #Constraints: 11827
387.19/388.54 c #Conflicts: 130000 | #Constraints: 12827
387.19/388.54 c #Conflicts: 131000 | #Constraints: 13827
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 132000 | #Constraints: 7624
387.19/388.54 c #Conflicts: 133000 | #Constraints: 8624
387.19/388.54 c #Conflicts: 134000 | #Constraints: 9624
387.19/388.54 c #Conflicts: 135000 | #Constraints: 10624
387.19/388.54 c #Conflicts: 136000 | #Constraints: 11624
387.19/388.54 c #Conflicts: 137000 | #Constraints: 12624
387.19/388.54 c #Conflicts: 138000 | #Constraints: 13624
387.19/388.54 c #Conflicts: 139000 | #Constraints: 14624
387.19/388.54 c INPROCESSING
387.19/388.54 c GARBAGE COLLECT
387.19/388.54 c #Conflicts: 140000 | #Constraints: 8227
461.83/463.30 c #Conflicts: 141000 | #Constraints: 9227
461.83/463.30 c #Conflicts: 142000 | #Constraints: 10227
461.83/463.30 c #Conflicts: 143000 | #Constraints: 11227
461.83/463.30 c #Conflicts: 144000 | #Constraints: 12227
461.83/463.30 c #Conflicts: 145000 | #Constraints: 13227
461.83/463.30 c #Conflicts: 146000 | #Constraints: 14227
461.83/463.30 c #Conflicts: 147000 | #Constraints: 15227
461.83/463.30 c INPROCESSING
461.83/463.30 c GARBAGE COLLECT
461.83/463.30 c #Conflicts: 148000 | #Constraints: 8631
461.83/463.30 c #Conflicts: 149000 | #Constraints: 9631
461.83/463.30 c #Conflicts: 150000 | #Constraints: 10631
461.83/463.30 c #Conflicts: 151000 | #Constraints: 11631
461.83/463.30 c #Conflicts: 152000 | #Constraints: 12631
461.83/463.30 c #Conflicts: 153000 | #Constraints: 13631
461.83/463.30 c #Conflicts: 154000 | #Constraints: 14631
461.83/463.30 c #Conflicts: 155000 | #Constraints: 15631
461.83/463.30 c INPROCESSING
461.83/463.30 c GARBAGE COLLECT
461.83/463.30 c #Conflicts: 156000 | #Constraints: 8832
461.83/463.30 c #Conflicts: 157000 | #Constraints: 9832
461.83/463.30 c #Conflicts: 158000 | #Constraints: 10832
461.83/463.30 c #Conflicts: 159000 | #Constraints: 11832
461.83/463.30 c #Conflicts: 160000 | #Constraints: 12832
461.83/463.30 c #Conflicts: 161000 | #Constraints: 13832
461.83/463.30 c #Conflicts: 162000 | #Constraints: 14832
461.83/463.30 c #Conflicts: 163000 | #Constraints: 15832
461.83/463.30 c INPROCESSING
461.83/463.30 c GARBAGE COLLECT
461.83/463.30 c #Conflicts: 164000 | #Constraints: 8831
461.83/463.30 c #Conflicts: 165000 | #Constraints: 9831
461.83/463.30 c #Conflicts: 166000 | #Constraints: 10831
461.83/463.30 c #Conflicts: 167000 | #Constraints: 11831
461.83/463.30 c #Conflicts: 168000 | #Constraints: 12831
461.83/463.30 c #Conflicts: 169000 | #Constraints: 13831
461.83/463.30 c #Conflicts: 170000 | #Constraints: 14831
461.83/463.30 c #Conflicts: 171000 | #Constraints: 15831
461.83/463.30 c INPROCESSING
461.83/463.30 c GARBAGE COLLECT
461.83/463.30 c #Conflicts: 172000 | #Constraints: 8629
461.83/463.30 c #Conflicts: 173000 | #Constraints: 9629
461.83/463.30 c #Conflicts: 174000 | #Constraints: 10629
461.83/463.30 c #Conflicts: 175000 | #Constraints: 11629
461.83/463.30 c #Conflicts: 176000 | #Constraints: 12629
461.83/463.31 c #Conflicts: 177000 | #Constraints: 13629
461.83/463.31 c #Conflicts: 178000 | #Constraints: 14629
461.83/463.31 c #Conflicts: 179000 | #Constraints: 15629
461.83/463.31 c #Conflicts: 180000 | #Constraints: 16629
461.83/463.31 c INPROCESSING
461.83/463.31 c GARBAGE COLLECT
461.83/463.31 c #Conflicts: 181000 | #Constraints: 9227
461.83/463.31 c #Conflicts: 182000 | #Constraints: 10227
461.83/463.31 c #Conflicts: 183000 | #Constraints: 11227
461.83/463.31 c #Conflicts: 184000 | #Constraints: 12227
461.83/463.31 c #Conflicts: 185000 | #Constraints: 13227
461.83/463.31 c #Conflicts: 186000 | #Constraints: 14227
461.83/463.31 c #Conflicts: 187000 | #Constraints: 15227
461.83/463.31 c #Conflicts: 188000 | #Constraints: 16227
461.83/463.31 c #Conflicts: 189000 | #Constraints: 17227
461.83/463.31 c INPROCESSING
461.83/463.31 c GARBAGE COLLECT
461.83/463.31 c #Conflicts: 190000 | #Constraints: 9627
461.83/463.31 c #Conflicts: 191000 | #Constraints: 10627
461.83/463.31 c #Conflicts: 192000 | #Constraints: 11627
461.83/463.31 c #Conflicts: 193000 | #Constraints: 12627
461.83/463.31 c #Conflicts: 194000 | #Constraints: 13627
461.83/463.31 c #Conflicts: 195000 | #Constraints: 14627
461.83/463.31 c #Conflicts: 196000 | #Constraints: 15627
461.83/463.31 c #Conflicts: 197000 | #Constraints: 16627
461.83/463.31 c #Conflicts: 198000 | #Constraints: 17627
461.83/463.31 c INPROCESSING
461.83/463.31 c GARBAGE COLLECT
461.83/463.31 c #Conflicts: 199000 | #Constraints: 9831
461.83/463.31 c #Conflicts: 200000 | #Constraints: 10831
461.83/463.31 c #Conflicts: 201000 | #Constraints: 11831
461.83/463.31 c #Conflicts: 202000 | #Constraints: 12831
461.83/463.31 c #Conflicts: 203000 | #Constraints: 13831
461.83/463.31 c #Conflicts: 204000 | #Constraints: 14831
461.83/463.31 c #Conflicts: 205000 | #Constraints: 15831
461.83/463.31 c #Conflicts: 206000 | #Constraints: 16831
461.83/463.31 c #Conflicts: 207000 | #Constraints: 17831
461.83/463.31 c INPROCESSING
461.83/463.31 c GARBAGE COLLECT
461.83/463.31 c #Conflicts: 208000 | #Constraints: 9829
461.83/463.31 c #Conflicts: 209000 | #Constraints: 10829
461.83/463.31 c #Conflicts: 210000 | #Constraints: 11829
461.83/463.31 c #Conflicts: 211000 | #Constraints: 12829
461.83/463.31 c #Conflicts: 212000 | #Constraints: 13829
461.83/463.31 c #Conflicts: 213000 | #Constraints: 14829
555.30/557.06 c #Conflicts: 214000 | #Constraints: 15829
555.30/557.06 c #Conflicts: 215000 | #Constraints: 16829
555.30/557.06 c #Conflicts: 216000 | #Constraints: 17829
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 217000 | #Constraints: 9632
555.30/557.06 c #Conflicts: 218000 | #Constraints: 10632
555.30/557.06 c #Conflicts: 219000 | #Constraints: 11632
555.30/557.06 c #Conflicts: 220000 | #Constraints: 12632
555.30/557.06 c #Conflicts: 221000 | #Constraints: 13632
555.30/557.06 c #Conflicts: 222000 | #Constraints: 14632
555.30/557.06 c #Conflicts: 223000 | #Constraints: 15632
555.30/557.06 c #Conflicts: 224000 | #Constraints: 16632
555.30/557.06 c #Conflicts: 225000 | #Constraints: 17632
555.30/557.06 c #Conflicts: 226000 | #Constraints: 18632
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 227000 | #Constraints: 10235
555.30/557.06 c #Conflicts: 228000 | #Constraints: 11235
555.30/557.06 c #Conflicts: 229000 | #Constraints: 12235
555.30/557.06 c #Conflicts: 230000 | #Constraints: 13235
555.30/557.06 c #Conflicts: 231000 | #Constraints: 14235
555.30/557.06 c #Conflicts: 232000 | #Constraints: 15235
555.30/557.06 c #Conflicts: 233000 | #Constraints: 16235
555.30/557.06 c #Conflicts: 234000 | #Constraints: 17235
555.30/557.06 c #Conflicts: 235000 | #Constraints: 18235
555.30/557.06 c #Conflicts: 236000 | #Constraints: 19235
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 237000 | #Constraints: 10633
555.30/557.06 c #Conflicts: 238000 | #Constraints: 11633
555.30/557.06 c #Conflicts: 239000 | #Constraints: 12633
555.30/557.06 c #Conflicts: 240000 | #Constraints: 13633
555.30/557.06 c #Conflicts: 241000 | #Constraints: 14633
555.30/557.06 c #Conflicts: 242000 | #Constraints: 15633
555.30/557.06 c #Conflicts: 243000 | #Constraints: 16633
555.30/557.06 c #Conflicts: 244000 | #Constraints: 17633
555.30/557.06 c #Conflicts: 245000 | #Constraints: 18633
555.30/557.06 c #Conflicts: 246000 | #Constraints: 19633
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 247000 | #Constraints: 10829
555.30/557.06 c #Conflicts: 248000 | #Constraints: 11829
555.30/557.06 c #Conflicts: 249000 | #Constraints: 12829
555.30/557.06 c #Conflicts: 250000 | #Constraints: 13829
555.30/557.06 c #Conflicts: 251000 | #Constraints: 14829
555.30/557.06 c #Conflicts: 252000 | #Constraints: 15829
555.30/557.06 c #Conflicts: 253000 | #Constraints: 16829
555.30/557.06 c #Conflicts: 254000 | #Constraints: 17829
555.30/557.06 c #Conflicts: 255000 | #Constraints: 18829
555.30/557.06 c #Conflicts: 256000 | #Constraints: 19829
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 257000 | #Constraints: 10830
555.30/557.06 c #Conflicts: 258000 | #Constraints: 11830
555.30/557.06 c #Conflicts: 259000 | #Constraints: 12830
555.30/557.06 c #Conflicts: 260000 | #Constraints: 13830
555.30/557.06 c #Conflicts: 261000 | #Constraints: 14830
555.30/557.06 c #Conflicts: 262000 | #Constraints: 15830
555.30/557.06 c #Conflicts: 263000 | #Constraints: 16830
555.30/557.06 c #Conflicts: 264000 | #Constraints: 17830
555.30/557.06 c #Conflicts: 265000 | #Constraints: 18830
555.30/557.06 c #Conflicts: 266000 | #Constraints: 19830
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 267000 | #Constraints: 10631
555.30/557.06 c #Conflicts: 268000 | #Constraints: 11631
555.30/557.06 c #Conflicts: 269000 | #Constraints: 12631
555.30/557.06 c #Conflicts: 270000 | #Constraints: 13631
555.30/557.06 c #Conflicts: 271000 | #Constraints: 14631
555.30/557.06 c #Conflicts: 272000 | #Constraints: 15631
555.30/557.06 c #Conflicts: 273000 | #Constraints: 16631
555.30/557.06 c #Conflicts: 274000 | #Constraints: 17631
555.30/557.06 c #Conflicts: 275000 | #Constraints: 18631
555.30/557.06 c #Conflicts: 276000 | #Constraints: 19631
555.30/557.06 c #Conflicts: 277000 | #Constraints: 20631
555.30/557.06 c INPROCESSING
555.30/557.06 c GARBAGE COLLECT
555.30/557.06 c #Conflicts: 278000 | #Constraints: 11228
555.30/557.06 c #Conflicts: 279000 | #Constraints: 12228
555.30/557.06 c #Conflicts: 280000 | #Constraints: 13228
555.30/557.06 c #Conflicts: 281000 | #Constraints: 14228
555.30/557.06 c #Conflicts: 282000 | #Constraints: 15228
555.30/557.06 c #Conflicts: 283000 | #Constraints: 16228
555.30/557.06 c #Conflicts: 284000 | #Constraints: 17228
555.30/557.06 c #Conflicts: 285000 | #Constraints: 18228
555.30/557.06 c #Conflicts: 286000 | #Constraints: 19228
555.30/557.06 c #Conflicts: 287000 | #Constraints: 20228
555.30/557.06 c #Conflicts: 288000 | #Constraints: 21228
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 289000 | #Constraints: 11630
657.54/659.57 c #Conflicts: 290000 | #Constraints: 12630
657.54/659.57 c #Conflicts: 291000 | #Constraints: 13630
657.54/659.57 c #Conflicts: 292000 | #Constraints: 14630
657.54/659.57 c #Conflicts: 293000 | #Constraints: 15630
657.54/659.57 c #Conflicts: 294000 | #Constraints: 16630
657.54/659.57 c #Conflicts: 295000 | #Constraints: 17630
657.54/659.57 c #Conflicts: 296000 | #Constraints: 18630
657.54/659.57 c #Conflicts: 297000 | #Constraints: 19630
657.54/659.57 c #Conflicts: 298000 | #Constraints: 20630
657.54/659.57 c #Conflicts: 299000 | #Constraints: 21630
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 300000 | #Constraints: 11828
657.54/659.57 c #Conflicts: 301000 | #Constraints: 12828
657.54/659.57 c #Conflicts: 302000 | #Constraints: 13828
657.54/659.57 c #Conflicts: 303000 | #Constraints: 14828
657.54/659.57 c #Conflicts: 304000 | #Constraints: 15828
657.54/659.57 c #Conflicts: 305000 | #Constraints: 16828
657.54/659.57 c #Conflicts: 306000 | #Constraints: 17828
657.54/659.57 c #Conflicts: 307000 | #Constraints: 18828
657.54/659.57 c #Conflicts: 308000 | #Constraints: 19828
657.54/659.57 c #Conflicts: 309000 | #Constraints: 20828
657.54/659.57 c #Conflicts: 310000 | #Constraints: 21828
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 311000 | #Constraints: 11829
657.54/659.57 c #Conflicts: 312000 | #Constraints: 12829
657.54/659.57 c #Conflicts: 313000 | #Constraints: 13829
657.54/659.57 c #Conflicts: 314000 | #Constraints: 14829
657.54/659.57 c #Conflicts: 315000 | #Constraints: 15829
657.54/659.57 c #Conflicts: 316000 | #Constraints: 16829
657.54/659.57 c #Conflicts: 317000 | #Constraints: 17829
657.54/659.57 c #Conflicts: 318000 | #Constraints: 18829
657.54/659.57 c #Conflicts: 319000 | #Constraints: 19829
657.54/659.57 c #Conflicts: 320000 | #Constraints: 20829
657.54/659.57 c #Conflicts: 321000 | #Constraints: 21829
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 322000 | #Constraints: 11630
657.54/659.57 c #Conflicts: 323000 | #Constraints: 12630
657.54/659.57 c #Conflicts: 324000 | #Constraints: 13630
657.54/659.57 c #Conflicts: 325000 | #Constraints: 14630
657.54/659.57 c #Conflicts: 326000 | #Constraints: 15630
657.54/659.57 c #Conflicts: 327000 | #Constraints: 16630
657.54/659.57 c #Conflicts: 328000 | #Constraints: 17630
657.54/659.57 c #Conflicts: 329000 | #Constraints: 18630
657.54/659.57 c #Conflicts: 330000 | #Constraints: 19630
657.54/659.57 c #Conflicts: 331000 | #Constraints: 20630
657.54/659.57 c #Conflicts: 332000 | #Constraints: 21630
657.54/659.57 c #Conflicts: 333000 | #Constraints: 22630
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 334000 | #Constraints: 12230
657.54/659.57 c #Conflicts: 335000 | #Constraints: 13230
657.54/659.57 c #Conflicts: 336000 | #Constraints: 14230
657.54/659.57 c #Conflicts: 337000 | #Constraints: 15230
657.54/659.57 c #Conflicts: 338000 | #Constraints: 16230
657.54/659.57 c #Conflicts: 339000 | #Constraints: 17230
657.54/659.57 c #Conflicts: 340000 | #Constraints: 18230
657.54/659.57 c #Conflicts: 341000 | #Constraints: 19230
657.54/659.57 c #Conflicts: 342000 | #Constraints: 20230
657.54/659.57 c #Conflicts: 343000 | #Constraints: 21230
657.54/659.57 c #Conflicts: 344000 | #Constraints: 22230
657.54/659.57 c #Conflicts: 345000 | #Constraints: 23230
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 346000 | #Constraints: 12628
657.54/659.57 c #Conflicts: 347000 | #Constraints: 13628
657.54/659.57 c #Conflicts: 348000 | #Constraints: 14628
657.54/659.57 c #Conflicts: 349000 | #Constraints: 15628
657.54/659.57 c #Conflicts: 350000 | #Constraints: 16628
657.54/659.57 c #Conflicts: 351000 | #Constraints: 17628
657.54/659.57 c #Conflicts: 352000 | #Constraints: 18628
657.54/659.57 c #Conflicts: 353000 | #Constraints: 19628
657.54/659.57 c #Conflicts: 354000 | #Constraints: 20628
657.54/659.57 c #Conflicts: 355000 | #Constraints: 21628
657.54/659.57 c #Conflicts: 356000 | #Constraints: 22628
657.54/659.57 c #Conflicts: 357000 | #Constraints: 23628
657.54/659.57 c INPROCESSING
657.54/659.57 c GARBAGE COLLECT
657.54/659.57 c #Conflicts: 358000 | #Constraints: 12826
657.54/659.57 c #Conflicts: 359000 | #Constraints: 13826
657.54/659.57 c #Conflicts: 360000 | #Constraints: 14826
657.54/659.57 c #Conflicts: 361000 | #Constraints: 15826
657.54/659.57 c #Conflicts: 362000 | #Constraints: 16826
773.88/776.29 c #Conflicts: 363000 | #Constraints: 17826
773.88/776.29 c #Conflicts: 364000 | #Constraints: 18826
773.88/776.29 c #Conflicts: 365000 | #Constraints: 19826
773.88/776.29 c #Conflicts: 366000 | #Constraints: 20826
773.88/776.29 c #Conflicts: 367000 | #Constraints: 21826
773.88/776.29 c #Conflicts: 368000 | #Constraints: 22826
773.88/776.29 c #Conflicts: 369000 | #Constraints: 23826
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 370000 | #Constraints: 12828
773.88/776.29 c #Conflicts: 371000 | #Constraints: 13828
773.88/776.29 c #Conflicts: 372000 | #Constraints: 14828
773.88/776.29 c #Conflicts: 373000 | #Constraints: 15828
773.88/776.29 c #Conflicts: 374000 | #Constraints: 16828
773.88/776.29 c #Conflicts: 375000 | #Constraints: 17828
773.88/776.29 c #Conflicts: 376000 | #Constraints: 18828
773.88/776.29 c #Conflicts: 377000 | #Constraints: 19828
773.88/776.29 c #Conflicts: 378000 | #Constraints: 20828
773.88/776.29 c #Conflicts: 379000 | #Constraints: 21828
773.88/776.29 c #Conflicts: 380000 | #Constraints: 22828
773.88/776.29 c #Conflicts: 381000 | #Constraints: 23828
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 382000 | #Constraints: 12626
773.88/776.29 c #Conflicts: 383000 | #Constraints: 13626
773.88/776.29 c #Conflicts: 384000 | #Constraints: 14626
773.88/776.29 c #Conflicts: 385000 | #Constraints: 15626
773.88/776.29 c #Conflicts: 386000 | #Constraints: 16626
773.88/776.29 c #Conflicts: 387000 | #Constraints: 17626
773.88/776.29 c #Conflicts: 388000 | #Constraints: 18626
773.88/776.29 c #Conflicts: 389000 | #Constraints: 19626
773.88/776.29 c #Conflicts: 390000 | #Constraints: 20626
773.88/776.29 c #Conflicts: 391000 | #Constraints: 21626
773.88/776.29 c #Conflicts: 392000 | #Constraints: 22626
773.88/776.29 c #Conflicts: 393000 | #Constraints: 23626
773.88/776.29 c #Conflicts: 394000 | #Constraints: 24626
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 395000 | #Constraints: 13229
773.88/776.29 c #Conflicts: 396000 | #Constraints: 14229
773.88/776.29 c #Conflicts: 397000 | #Constraints: 15229
773.88/776.29 c #Conflicts: 398000 | #Constraints: 16229
773.88/776.29 c #Conflicts: 399000 | #Constraints: 17229
773.88/776.29 c #Conflicts: 400000 | #Constraints: 18229
773.88/776.29 c #Conflicts: 401000 | #Constraints: 19229
773.88/776.29 c #Conflicts: 402000 | #Constraints: 20229
773.88/776.29 c #Conflicts: 403000 | #Constraints: 21229
773.88/776.29 c #Conflicts: 404000 | #Constraints: 22229
773.88/776.29 c #Conflicts: 405000 | #Constraints: 23229
773.88/776.29 c #Conflicts: 406000 | #Constraints: 24229
773.88/776.29 c #Conflicts: 407000 | #Constraints: 25229
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 408000 | #Constraints: 13628
773.88/776.29 c #Conflicts: 409000 | #Constraints: 14628
773.88/776.29 c #Conflicts: 410000 | #Constraints: 15628
773.88/776.29 c #Conflicts: 411000 | #Constraints: 16628
773.88/776.29 c #Conflicts: 412000 | #Constraints: 17628
773.88/776.29 c #Conflicts: 413000 | #Constraints: 18628
773.88/776.29 c #Conflicts: 414000 | #Constraints: 19628
773.88/776.29 c #Conflicts: 415000 | #Constraints: 20628
773.88/776.29 c #Conflicts: 416000 | #Constraints: 21628
773.88/776.29 c #Conflicts: 417000 | #Constraints: 22628
773.88/776.29 c #Conflicts: 418000 | #Constraints: 23628
773.88/776.29 c #Conflicts: 419000 | #Constraints: 24628
773.88/776.29 c #Conflicts: 420000 | #Constraints: 25628
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 421000 | #Constraints: 13827
773.88/776.29 c #Conflicts: 422000 | #Constraints: 14827
773.88/776.29 c #Conflicts: 423000 | #Constraints: 15827
773.88/776.29 c #Conflicts: 424000 | #Constraints: 16827
773.88/776.29 c #Conflicts: 425000 | #Constraints: 17827
773.88/776.29 c #Conflicts: 426000 | #Constraints: 18827
773.88/776.29 c #Conflicts: 427000 | #Constraints: 19827
773.88/776.29 c #Conflicts: 428000 | #Constraints: 20827
773.88/776.29 c #Conflicts: 429000 | #Constraints: 21827
773.88/776.29 c #Conflicts: 430000 | #Constraints: 22827
773.88/776.29 c #Conflicts: 431000 | #Constraints: 23827
773.88/776.29 c #Conflicts: 432000 | #Constraints: 24827
773.88/776.29 c #Conflicts: 433000 | #Constraints: 25827
773.88/776.29 c INPROCESSING
773.88/776.29 c GARBAGE COLLECT
773.88/776.29 c #Conflicts: 434000 | #Constraints: 13831
773.88/776.29 c #Conflicts: 435000 | #Constraints: 14831
773.88/776.29 c #Conflicts: 436000 | #Constraints: 15831
773.88/776.29 c #Conflicts: 437000 | #Constraints: 16831
912.57/915.31 c #Conflicts: 438000 | #Constraints: 17831
912.57/915.31 c #Conflicts: 439000 | #Constraints: 18831
912.57/915.31 c #Conflicts: 440000 | #Constraints: 19831
912.57/915.31 c #Conflicts: 441000 | #Constraints: 20831
912.57/915.31 c #Conflicts: 442000 | #Constraints: 21831
912.57/915.31 c #Conflicts: 443000 | #Constraints: 22831
912.57/915.31 c #Conflicts: 444000 | #Constraints: 23831
912.57/915.31 c #Conflicts: 445000 | #Constraints: 24831
912.57/915.31 c #Conflicts: 446000 | #Constraints: 25831
912.57/915.31 c INPROCESSING
912.57/915.31 c GARBAGE COLLECT
912.57/915.31 c #Conflicts: 447000 | #Constraints: 13635
912.57/915.31 c #Conflicts: 448000 | #Constraints: 14635
912.57/915.31 c #Conflicts: 449000 | #Constraints: 15635
912.57/915.31 c #Conflicts: 450000 | #Constraints: 16635
912.57/915.31 c #Conflicts: 451000 | #Constraints: 17635
912.57/915.31 c #Conflicts: 452000 | #Constraints: 18635
912.57/915.31 c #Conflicts: 453000 | #Constraints: 19635
912.57/915.31 c #Conflicts: 454000 | #Constraints: 20635
912.57/915.31 c #Conflicts: 455000 | #Constraints: 21635
912.57/915.31 c #Conflicts: 456000 | #Constraints: 22635
912.57/915.31 c #Conflicts: 457000 | #Constraints: 23635
912.57/915.31 c #Conflicts: 458000 | #Constraints: 24635
912.57/915.31 c #Conflicts: 459000 | #Constraints: 25635
912.57/915.31 c #Conflicts: 460000 | #Constraints: 26635
912.57/915.31 c INPROCESSING
912.57/915.31 c GARBAGE COLLECT
912.57/915.31 c #Conflicts: 461000 | #Constraints: 14234
912.57/915.31 c #Conflicts: 462000 | #Constraints: 15234
912.57/915.31 c #Conflicts: 463000 | #Constraints: 16234
912.57/915.31 c #Conflicts: 464000 | #Constraints: 17234
912.57/915.31 c #Conflicts: 465000 | #Constraints: 18234
912.57/915.31 c #Conflicts: 466000 | #Constraints: 19234
912.57/915.31 c #Conflicts: 467000 | #Constraints: 20234
912.57/915.31 c #Conflicts: 468000 | #Constraints: 21234
912.57/915.31 c #Conflicts: 469000 | #Constraints: 22234
912.57/915.31 c #Conflicts: 470000 | #Constraints: 23234
912.57/915.31 c #Conflicts: 471000 | #Constraints: 24234
912.57/915.31 c #Conflicts: 472000 | #Constraints: 25234
912.57/915.31 c #Conflicts: 473000 | #Constraints: 26234
912.57/915.31 c #Conflicts: 474000 | #Constraints: 27234
912.57/915.31 c INPROCESSING
912.57/915.31 c GARBAGE COLLECT
912.57/915.31 c #Conflicts: 475000 | #Constraints: 14630
912.57/915.31 c #Conflicts: 476000 | #Constraints: 15630
912.57/915.31 c #Conflicts: 477000 | #Constraints: 16630
912.57/915.31 c #Conflicts: 478000 | #Constraints: 17630
912.57/915.31 c #Conflicts: 479000 | #Constraints: 18630
912.57/915.31 c #Conflicts: 480000 | #Constraints: 19630
912.57/915.31 c #Conflicts: 481000 | #Constraints: 20630
912.57/915.31 c #Conflicts: 482000 | #Constraints: 21630
912.57/915.31 c #Conflicts: 483000 | #Constraints: 22630
912.57/915.31 c #Conflicts: 484000 | #Constraints: 23630
912.57/915.31 c #Conflicts: 485000 | #Constraints: 24630
912.57/915.31 c #Conflicts: 486000 | #Constraints: 25630
912.57/915.31 c #Conflicts: 487000 | #Constraints: 26630
912.57/915.31 c #Conflicts: 488000 | #Constraints: 27630
912.57/915.31 c INPROCESSING
912.57/915.31 c GARBAGE COLLECT
912.57/915.31 c #Conflicts: 489000 | #Constraints: 14832
912.57/915.31 c #Conflicts: 490000 | #Constraints: 15832
912.57/915.31 c #Conflicts: 491000 | #Constraints: 16832
912.57/915.31 c #Conflicts: 492000 | #Constraints: 17832
912.57/915.31 c #Conflicts: 493000 | #Constraints: 18832
912.57/915.31 c #Conflicts: 494000 | #Constraints: 19832
912.57/915.31 c #Conflicts: 495000 | #Constraints: 20832
912.57/915.31 c #Conflicts: 496000 | #Constraints: 21832
912.57/915.31 c #Conflicts: 497000 | #Constraints: 22832
912.57/915.31 c #Conflicts: 498000 | #Constraints: 23832
912.57/915.31 c #Conflicts: 499000 | #Constraints: 24832
912.57/915.31 c #Conflicts: 500000 | #Constraints: 25832
912.57/915.31 c #Conflicts: 501000 | #Constraints: 26832
912.57/915.31 c #Conflicts: 502000 | #Constraints: 27832
912.57/915.31 c INPROCESSING
912.57/915.31 c GARBAGE COLLECT
912.57/915.31 c #Conflicts: 503000 | #Constraints: 14833
912.57/915.31 c #Conflicts: 504000 | #Constraints: 15833
912.57/915.31 c #Conflicts: 505000 | #Constraints: 16833
912.57/915.31 c #Conflicts: 506000 | #Constraints: 17833
912.57/915.31 c #Conflicts: 507000 | #Constraints: 18833
912.57/915.31 c #Conflicts: 508000 | #Constraints: 19833
912.57/915.31 c #Conflicts: 509000 | #Constraints: 20833
912.57/915.31 c #Conflicts: 510000 | #Constraints: 21833
912.57/915.31 c #Conflicts: 511000 | #Constraints: 22833
912.57/915.31 c #Conflicts: 512000 | #Constraints: 23833
912.57/915.31 c #Conflicts: 513000 | #Constraints: 24833
1046.36/1049.44 c #Conflicts: 514000 | #Constraints: 25833
1046.36/1049.44 c #Conflicts: 515000 | #Constraints: 26833
1046.36/1049.44 c #Conflicts: 516000 | #Constraints: 27833
1046.36/1049.44 c INPROCESSING
1046.36/1049.44 c GARBAGE COLLECT
1046.36/1049.44 c #Conflicts: 517000 | #Constraints: 14631
1046.36/1049.44 c #Conflicts: 518000 | #Constraints: 15631
1046.36/1049.44 c #Conflicts: 519000 | #Constraints: 16631
1046.36/1049.44 c #Conflicts: 520000 | #Constraints: 17631
1046.36/1049.44 c #Conflicts: 521000 | #Constraints: 18631
1046.36/1049.44 c #Conflicts: 522000 | #Constraints: 19631
1046.36/1049.44 c #Conflicts: 523000 | #Constraints: 20631
1046.36/1049.44 c #Conflicts: 524000 | #Constraints: 21631
1046.36/1049.44 c #Conflicts: 525000 | #Constraints: 22631
1046.36/1049.44 c #Conflicts: 526000 | #Constraints: 23631
1046.36/1049.44 c #Conflicts: 527000 | #Constraints: 24631
1046.36/1049.44 c #Conflicts: 528000 | #Constraints: 25631
1046.36/1049.44 c #Conflicts: 529000 | #Constraints: 26631
1046.36/1049.44 c #Conflicts: 530000 | #Constraints: 27631
1046.36/1049.44 c #Conflicts: 531000 | #Constraints: 28631
1046.36/1049.44 c INPROCESSING
1046.36/1049.44 c GARBAGE COLLECT
1046.36/1049.44 c #Conflicts: 532000 | #Constraints: 15230
1046.36/1049.44 c #Conflicts: 533000 | #Constraints: 16230
1046.36/1049.44 c #Conflicts: 534000 | #Constraints: 17230
1046.36/1049.44 c #Conflicts: 535000 | #Constraints: 18230
1046.36/1049.44 c #Conflicts: 536000 | #Constraints: 19230
1046.36/1049.44 c #Conflicts: 537000 | #Constraints: 20230
1046.36/1049.44 c #Conflicts: 538000 | #Constraints: 21230
1046.36/1049.44 c #Conflicts: 539000 | #Constraints: 22230
1046.36/1049.44 c #Conflicts: 540000 | #Constraints: 23230
1046.36/1049.44 c #Conflicts: 541000 | #Constraints: 24230
1046.36/1049.44 c #Conflicts: 542000 | #Constraints: 25230
1046.36/1049.44 c #Conflicts: 543000 | #Constraints: 26230
1046.36/1049.44 c #Conflicts: 544000 | #Constraints: 27230
1046.36/1049.44 c #Conflicts: 545000 | #Constraints: 28230
1046.36/1049.44 c #Conflicts: 546000 | #Constraints: 29230
1046.36/1049.44 c INPROCESSING
1046.36/1049.44 c GARBAGE COLLECT
1046.36/1049.44 c #Conflicts: 547000 | #Constraints: 15631
1046.36/1049.44 c #Conflicts: 548000 | #Constraints: 16631
1046.36/1049.44 c #Conflicts: 549000 | #Constraints: 17631
1046.36/1049.44 c #Conflicts: 550000 | #Constraints: 18631
1046.36/1049.44 c #Conflicts: 551000 | #Constraints: 19631
1046.36/1049.44 c #Conflicts: 552000 | #Constraints: 20631
1046.36/1049.44 c #Conflicts: 553000 | #Constraints: 21631
1046.36/1049.44 c #Conflicts: 554000 | #Constraints: 22631
1046.36/1049.44 c #Conflicts: 555000 | #Constraints: 23631
1046.36/1049.44 c #Conflicts: 556000 | #Constraints: 24631
1046.36/1049.44 c #Conflicts: 557000 | #Constraints: 25631
1046.36/1049.44 c #Conflicts: 558000 | #Constraints: 26631
1046.36/1049.44 c #Conflicts: 559000 | #Constraints: 27631
1046.36/1049.44 c #Conflicts: 560000 | #Constraints: 28631
1046.36/1049.44 c #Conflicts: 561000 | #Constraints: 29631
1046.36/1049.44 c INPROCESSING
1046.36/1049.44 c GARBAGE COLLECT
1046.36/1049.44 c #Conflicts: 562000 | #Constraints: 15830
1046.36/1049.44 c #Conflicts: 563000 | #Constraints: 16830
1046.36/1049.44 c #Conflicts: 564000 | #Constraints: 17830
1046.36/1049.44 c #Conflicts: 565000 | #Constraints: 18830
1046.36/1049.44 c #Conflicts: 566000 | #Constraints: 19830
1046.36/1049.44 c #Conflicts: 567000 | #Constraints: 20830
1046.36/1049.44 c #Conflicts: 568000 | #Constraints: 21830
1046.36/1049.44 c #Conflicts: 569000 | #Constraints: 22830
1046.36/1049.44 c #Conflicts: 570000 | #Constraints: 23830
1046.36/1049.44 c #Conflicts: 571000 | #Constraints: 24830
1046.36/1049.44 c #Conflicts: 572000 | #Constraints: 25830
1046.36/1049.44 c #Conflicts: 573000 | #Constraints: 26830
1046.36/1049.44 c #Conflicts: 574000 | #Constraints: 27830
1046.36/1049.44 c #Conflicts: 575000 | #Constraints: 28830
1046.36/1049.44 c #Conflicts: 576000 | #Constraints: 29830
1046.36/1049.44 c INPROCESSING
1046.36/1049.44 c GARBAGE COLLECT
1046.36/1049.44 c #Conflicts: 577000 | #Constraints: 15831
1046.36/1049.44 c #Conflicts: 578000 | #Constraints: 16831
1046.36/1049.44 c #Conflicts: 579000 | #Constraints: 17831
1046.36/1049.44 c #Conflicts: 580000 | #Constraints: 18831
1046.36/1049.44 c #Conflicts: 581000 | #Constraints: 19831
1046.36/1049.44 c #Conflicts: 582000 | #Constraints: 20831
1046.36/1049.44 c #Conflicts: 583000 | #Constraints: 21831
1046.36/1049.44 c #Conflicts: 584000 | #Constraints: 22831
1046.36/1049.44 c #Conflicts: 585000 | #Constraints: 23831
1046.36/1049.44 c #Conflicts: 586000 | #Constraints: 24831
1046.36/1049.44 c #Conflicts: 587000 | #Constraints: 25831
1046.36/1049.44 c #Conflicts: 588000 | #Constraints: 26831
1191.61/1195.03 c #Conflicts: 589000 | #Constraints: 27831
1191.61/1195.03 c #Conflicts: 590000 | #Constraints: 28831
1191.61/1195.03 c #Conflicts: 591000 | #Constraints: 29831
1191.61/1195.03 c INPROCESSING
1191.61/1195.03 c GARBAGE COLLECT
1191.61/1195.03 c #Conflicts: 592000 | #Constraints: 15631
1191.61/1195.03 c #Conflicts: 593000 | #Constraints: 16631
1191.61/1195.03 c #Conflicts: 594000 | #Constraints: 17631
1191.61/1195.03 c #Conflicts: 595000 | #Constraints: 18631
1191.61/1195.03 c #Conflicts: 596000 | #Constraints: 19631
1191.61/1195.03 c #Conflicts: 597000 | #Constraints: 20631
1191.61/1195.03 c #Conflicts: 598000 | #Constraints: 21631
1191.61/1195.03 c #Conflicts: 599000 | #Constraints: 22631
1191.61/1195.03 c #Conflicts: 600000 | #Constraints: 23631
1191.61/1195.03 c #Conflicts: 601000 | #Constraints: 24631
1191.61/1195.03 c #Conflicts: 602000 | #Constraints: 25631
1191.61/1195.03 c #Conflicts: 603000 | #Constraints: 26631
1191.61/1195.03 c #Conflicts: 604000 | #Constraints: 27631
1191.61/1195.03 c #Conflicts: 605000 | #Constraints: 28631
1191.61/1195.03 c #Conflicts: 606000 | #Constraints: 29631
1191.61/1195.03 c #Conflicts: 607000 | #Constraints: 30631
1191.61/1195.03 c INPROCESSING
1191.61/1195.03 c GARBAGE COLLECT
1191.61/1195.03 c #Conflicts: 608000 | #Constraints: 16231
1191.61/1195.03 c #Conflicts: 609000 | #Constraints: 17231
1191.61/1195.03 c #Conflicts: 610000 | #Constraints: 18231
1191.61/1195.03 c #Conflicts: 611000 | #Constraints: 19231
1191.61/1195.03 c #Conflicts: 612000 | #Constraints: 20231
1191.61/1195.03 c #Conflicts: 613000 | #Constraints: 21231
1191.61/1195.03 c #Conflicts: 614000 | #Constraints: 22231
1191.61/1195.03 c #Conflicts: 615000 | #Constraints: 23231
1191.61/1195.03 c #Conflicts: 616000 | #Constraints: 24231
1191.61/1195.03 c #Conflicts: 617000 | #Constraints: 25231
1191.61/1195.03 c #Conflicts: 618000 | #Constraints: 26231
1191.61/1195.03 c #Conflicts: 619000 | #Constraints: 27231
1191.61/1195.03 c #Conflicts: 620000 | #Constraints: 28231
1191.61/1195.03 c #Conflicts: 621000 | #Constraints: 29231
1191.61/1195.03 c #Conflicts: 622000 | #Constraints: 30231
1191.61/1195.03 c #Conflicts: 623000 | #Constraints: 31231
1191.61/1195.03 c INPROCESSING
1191.61/1195.03 c GARBAGE COLLECT
1191.61/1195.03 c #Conflicts: 624000 | #Constraints: 16632
1191.61/1195.03 c #Conflicts: 625000 | #Constraints: 17632
1191.61/1195.03 c #Conflicts: 626000 | #Constraints: 18632
1191.61/1195.03 c #Conflicts: 627000 | #Constraints: 19632
1191.61/1195.03 c #Conflicts: 628000 | #Constraints: 20632
1191.61/1195.03 c #Conflicts: 629000 | #Constraints: 21632
1191.61/1195.03 c #Conflicts: 630000 | #Constraints: 22632
1191.61/1195.03 c #Conflicts: 631000 | #Constraints: 23632
1191.61/1195.03 c #Conflicts: 632000 | #Constraints: 24632
1191.61/1195.03 c #Conflicts: 633000 | #Constraints: 25632
1191.61/1195.03 c #Conflicts: 634000 | #Constraints: 26632
1191.61/1195.03 c #Conflicts: 635000 | #Constraints: 27632
1191.61/1195.03 c #Conflicts: 636000 | #Constraints: 28632
1191.61/1195.03 c #Conflicts: 637000 | #Constraints: 29632
1191.61/1195.03 c #Conflicts: 638000 | #Constraints: 30632
1191.61/1195.03 c #Conflicts: 639000 | #Constraints: 31632
1191.61/1195.03 c INPROCESSING
1191.61/1195.03 c GARBAGE COLLECT
1191.61/1195.03 c #Conflicts: 640000 | #Constraints: 16827
1191.61/1195.03 c #Conflicts: 641000 | #Constraints: 17827
1191.61/1195.03 c #Conflicts: 642000 | #Constraints: 18827
1191.61/1195.03 c #Conflicts: 643000 | #Constraints: 19827
1191.61/1195.03 c #Conflicts: 644000 | #Constraints: 20827
1191.61/1195.03 c #Conflicts: 645000 | #Constraints: 21827
1191.61/1195.03 c #Conflicts: 646000 | #Constraints: 22827
1191.61/1195.03 c #Conflicts: 647000 | #Constraints: 23827
1191.61/1195.03 c #Conflicts: 648000 | #Constraints: 24827
1191.61/1195.03 c #Conflicts: 649000 | #Constraints: 25827
1191.61/1195.03 c #Conflicts: 650000 | #Constraints: 26827
1191.61/1195.03 c #Conflicts: 651000 | #Constraints: 27827
1191.61/1195.03 c #Conflicts: 652000 | #Constraints: 28827
1191.61/1195.03 c #Conflicts: 653000 | #Constraints: 29827
1191.61/1195.03 c #Conflicts: 654000 | #Constraints: 30827
1191.61/1195.03 c #Conflicts: 655000 | #Constraints: 31827
1191.61/1195.03 c INPROCESSING
1191.61/1195.03 c GARBAGE COLLECT
1191.61/1195.03 c #Conflicts: 656000 | #Constraints: 16831
1191.61/1195.03 c #Conflicts: 657000 | #Constraints: 17831
1191.61/1195.03 c #Conflicts: 658000 | #Constraints: 18831
1191.61/1195.03 c #Conflicts: 659000 | #Constraints: 19831
1191.61/1195.03 c #Conflicts: 660000 | #Constraints: 20831
1191.61/1195.03 c #Conflicts: 661000 | #Constraints: 21831
1191.61/1195.03 c #Conflicts: 662000 | #Constraints: 22831
1191.61/1195.03 c #Conflicts: 663000 | #Constraints: 23831
1191.61/1195.03 c #Conflicts: 664000 | #Constraints: 24831
1357.91/1361.75 c #Conflicts: 665000 | #Constraints: 25831
1357.91/1361.75 c #Conflicts: 666000 | #Constraints: 26831
1357.91/1361.75 c #Conflicts: 667000 | #Constraints: 27831
1357.91/1361.75 c #Conflicts: 668000 | #Constraints: 28831
1357.91/1361.75 c #Conflicts: 669000 | #Constraints: 29831
1357.91/1361.75 c #Conflicts: 670000 | #Constraints: 30831
1357.91/1361.75 c #Conflicts: 671000 | #Constraints: 31831
1357.91/1361.75 c INPROCESSING
1357.91/1361.75 c GARBAGE COLLECT
1357.91/1361.75 c #Conflicts: 672000 | #Constraints: 16626
1357.91/1361.75 c #Conflicts: 673000 | #Constraints: 17626
1357.91/1361.75 c #Conflicts: 674000 | #Constraints: 18626
1357.91/1361.75 c #Conflicts: 675000 | #Constraints: 19626
1357.91/1361.75 c #Conflicts: 676000 | #Constraints: 20626
1357.91/1361.75 c #Conflicts: 677000 | #Constraints: 21626
1357.91/1361.75 c #Conflicts: 678000 | #Constraints: 22626
1357.91/1361.75 c #Conflicts: 679000 | #Constraints: 23626
1357.91/1361.75 c #Conflicts: 680000 | #Constraints: 24626
1357.91/1361.75 c #Conflicts: 681000 | #Constraints: 25626
1357.91/1361.75 c #Conflicts: 682000 | #Constraints: 26626
1357.91/1361.75 c #Conflicts: 683000 | #Constraints: 27626
1357.91/1361.75 c #Conflicts: 684000 | #Constraints: 28626
1357.91/1361.75 c #Conflicts: 685000 | #Constraints: 29626
1357.91/1361.75 c #Conflicts: 686000 | #Constraints: 30626
1357.91/1361.75 c #Conflicts: 687000 | #Constraints: 31626
1357.91/1361.75 c #Conflicts: 688000 | #Constraints: 32626
1357.91/1361.75 c INPROCESSING
1357.91/1361.75 c GARBAGE COLLECT
1357.91/1361.75 c #Conflicts: 689000 | #Constraints: 17229
1357.91/1361.75 c #Conflicts: 690000 | #Constraints: 18229
1357.91/1361.75 c #Conflicts: 691000 | #Constraints: 19229
1357.91/1361.75 c #Conflicts: 692000 | #Constraints: 20229
1357.91/1361.75 c #Conflicts: 693000 | #Constraints: 21229
1357.91/1361.75 c #Conflicts: 694000 | #Constraints: 22229
1357.91/1361.75 c #Conflicts: 695000 | #Constraints: 23229
1357.91/1361.75 c #Conflicts: 696000 | #Constraints: 24229
1357.91/1361.75 c #Conflicts: 697000 | #Constraints: 25229
1357.91/1361.75 c #Conflicts: 698000 | #Constraints: 26229
1357.91/1361.75 c #Conflicts: 699000 | #Constraints: 27229
1357.91/1361.75 c #Conflicts: 700000 | #Constraints: 28229
1357.91/1361.75 c #Conflicts: 701000 | #Constraints: 29229
1357.91/1361.75 c #Conflicts: 702000 | #Constraints: 30229
1357.91/1361.75 c #Conflicts: 703000 | #Constraints: 31229
1357.91/1361.75 c #Conflicts: 704000 | #Constraints: 32229
1357.91/1361.75 c #Conflicts: 705000 | #Constraints: 33229
1357.91/1361.75 c INPROCESSING
1357.91/1361.75 c GARBAGE COLLECT
1357.91/1361.75 c #Conflicts: 706000 | #Constraints: 17631
1357.91/1361.75 c #Conflicts: 707000 | #Constraints: 18631
1357.91/1361.75 c #Conflicts: 708000 | #Constraints: 19631
1357.91/1361.75 c #Conflicts: 709000 | #Constraints: 20631
1357.91/1361.75 c #Conflicts: 710000 | #Constraints: 21631
1357.91/1361.75 c #Conflicts: 711000 | #Constraints: 22631
1357.91/1361.75 c #Conflicts: 712000 | #Constraints: 23631
1357.91/1361.75 c #Conflicts: 713000 | #Constraints: 24631
1357.91/1361.75 c #Conflicts: 714000 | #Constraints: 25631
1357.91/1361.75 c #Conflicts: 715000 | #Constraints: 26631
1357.91/1361.75 c #Conflicts: 716000 | #Constraints: 27631
1357.91/1361.75 c #Conflicts: 717000 | #Constraints: 28631
1357.91/1361.75 c #Conflicts: 718000 | #Constraints: 29631
1357.91/1361.75 c #Conflicts: 719000 | #Constraints: 30631
1357.91/1361.75 c #Conflicts: 720000 | #Constraints: 31631
1357.91/1361.75 c #Conflicts: 721000 | #Constraints: 32631
1357.91/1361.75 c #Conflicts: 722000 | #Constraints: 33631
1357.91/1361.75 c INPROCESSING
1357.91/1361.75 c GARBAGE COLLECT
1357.91/1361.75 c #Conflicts: 723000 | #Constraints: 17834
1357.91/1361.75 c #Conflicts: 724000 | #Constraints: 18834
1357.91/1361.75 c #Conflicts: 725000 | #Constraints: 19834
1357.91/1361.75 c #Conflicts: 726000 | #Constraints: 20834
1357.91/1361.75 c #Conflicts: 727000 | #Constraints: 21834
1357.91/1361.75 c #Conflicts: 728000 | #Constraints: 22834
1357.91/1361.75 c #Conflicts: 729000 | #Constraints: 23834
1357.91/1361.75 c #Conflicts: 730000 | #Constraints: 24834
1357.91/1361.75 c #Conflicts: 731000 | #Constraints: 25834
1357.91/1361.75 c #Conflicts: 732000 | #Constraints: 26834
1357.91/1361.75 c #Conflicts: 733000 | #Constraints: 27834
1357.91/1361.75 c #Conflicts: 734000 | #Constraints: 28834
1357.91/1361.75 c #Conflicts: 735000 | #Constraints: 29834
1357.91/1361.75 c #Conflicts: 736000 | #Constraints: 30834
1357.91/1361.75 c #Conflicts: 737000 | #Constraints: 31834
1357.91/1361.75 c #Conflicts: 738000 | #Constraints: 32834
1357.91/1361.75 c #Conflicts: 739000 | #Constraints: 33834
1357.91/1361.75 c INPROCESSING
1357.91/1361.75 c GARBAGE COLLECT
1528.59/1532.88 c #Conflicts: 740000 | #Constraints: 17834
1528.59/1532.88 c #Conflicts: 741000 | #Constraints: 18834
1528.59/1532.88 c #Conflicts: 742000 | #Constraints: 19834
1528.59/1532.88 c #Conflicts: 743000 | #Constraints: 20834
1528.59/1532.88 c #Conflicts: 744000 | #Constraints: 21834
1528.59/1532.88 c #Conflicts: 745000 | #Constraints: 22834
1528.59/1532.88 c #Conflicts: 746000 | #Constraints: 23834
1528.59/1532.88 c #Conflicts: 747000 | #Constraints: 24834
1528.59/1532.88 c #Conflicts: 748000 | #Constraints: 25834
1528.59/1532.88 c #Conflicts: 749000 | #Constraints: 26834
1528.59/1532.88 c #Conflicts: 750000 | #Constraints: 27834
1528.59/1532.88 c #Conflicts: 751000 | #Constraints: 28834
1528.59/1532.88 c #Conflicts: 752000 | #Constraints: 29834
1528.59/1532.88 c #Conflicts: 753000 | #Constraints: 30834
1528.59/1532.88 c #Conflicts: 754000 | #Constraints: 31834
1528.59/1532.88 c #Conflicts: 755000 | #Constraints: 32834
1528.59/1532.88 c #Conflicts: 756000 | #Constraints: 33834
1528.59/1532.88 c INPROCESSING
1528.59/1532.88 c GARBAGE COLLECT
1528.59/1532.88 c #Conflicts: 757000 | #Constraints: 17633
1528.59/1532.88 c #Conflicts: 758000 | #Constraints: 18633
1528.59/1532.88 c #Conflicts: 759000 | #Constraints: 19633
1528.59/1532.88 c #Conflicts: 760000 | #Constraints: 20633
1528.59/1532.88 c #Conflicts: 761000 | #Constraints: 21633
1528.59/1532.88 c #Conflicts: 762000 | #Constraints: 22633
1528.59/1532.88 c #Conflicts: 763000 | #Constraints: 23633
1528.59/1532.88 c #Conflicts: 764000 | #Constraints: 24633
1528.59/1532.88 c #Conflicts: 765000 | #Constraints: 25633
1528.59/1532.88 c #Conflicts: 766000 | #Constraints: 26633
1528.59/1532.88 c #Conflicts: 767000 | #Constraints: 27633
1528.59/1532.88 c #Conflicts: 768000 | #Constraints: 28633
1528.59/1532.88 c #Conflicts: 769000 | #Constraints: 29633
1528.59/1532.88 c #Conflicts: 770000 | #Constraints: 30633
1528.59/1532.88 c #Conflicts: 771000 | #Constraints: 31633
1528.59/1532.88 c #Conflicts: 772000 | #Constraints: 32633
1528.59/1532.88 c #Conflicts: 773000 | #Constraints: 33633
1528.59/1532.88 c #Conflicts: 774000 | #Constraints: 34633
1528.59/1532.88 c INPROCESSING
1528.59/1532.88 c GARBAGE COLLECT
1528.59/1532.88 c #Conflicts: 775000 | #Constraints: 18233
1528.59/1532.88 c #Conflicts: 776000 | #Constraints: 19233
1528.59/1532.88 c #Conflicts: 777000 | #Constraints: 20233
1528.59/1532.88 c #Conflicts: 778000 | #Constraints: 21233
1528.59/1532.88 c #Conflicts: 779000 | #Constraints: 22233
1528.59/1532.88 c #Conflicts: 780000 | #Constraints: 23233
1528.59/1532.88 c #Conflicts: 781000 | #Constraints: 24233
1528.59/1532.88 c #Conflicts: 782000 | #Constraints: 25233
1528.59/1532.88 c #Conflicts: 783000 | #Constraints: 26233
1528.59/1532.88 c #Conflicts: 784000 | #Constraints: 27233
1528.59/1532.88 c #Conflicts: 785000 | #Constraints: 28233
1528.59/1532.88 c #Conflicts: 786000 | #Constraints: 29233
1528.59/1532.88 c #Conflicts: 787000 | #Constraints: 30233
1528.59/1532.88 c #Conflicts: 788000 | #Constraints: 31233
1528.59/1532.88 c #Conflicts: 789000 | #Constraints: 32233
1528.59/1532.88 c #Conflicts: 790000 | #Constraints: 33233
1528.59/1532.88 c #Conflicts: 791000 | #Constraints: 34233
1528.59/1532.88 c #Conflicts: 792000 | #Constraints: 35233
1528.59/1532.88 c INPROCESSING
1528.59/1532.88 c GARBAGE COLLECT
1528.59/1532.88 c #Conflicts: 793000 | #Constraints: 18632
1528.59/1532.88 c #Conflicts: 794000 | #Constraints: 19632
1528.59/1532.88 c #Conflicts: 795000 | #Constraints: 20632
1528.59/1532.88 c #Conflicts: 796000 | #Constraints: 21632
1528.59/1532.88 c #Conflicts: 797000 | #Constraints: 22632
1528.59/1532.88 c #Conflicts: 798000 | #Constraints: 23632
1528.59/1532.88 c #Conflicts: 799000 | #Constraints: 24632
1528.59/1532.88 c #Conflicts: 800000 | #Constraints: 25632
1528.59/1532.88 c #Conflicts: 801000 | #Constraints: 26632
1528.59/1532.88 c #Conflicts: 802000 | #Constraints: 27632
1528.59/1532.88 c #Conflicts: 803000 | #Constraints: 28632
1528.59/1532.88 c #Conflicts: 804000 | #Constraints: 29632
1528.59/1532.88 c #Conflicts: 805000 | #Constraints: 30632
1528.59/1532.88 c #Conflicts: 806000 | #Constraints: 31632
1528.59/1532.88 c #Conflicts: 807000 | #Constraints: 32632
1528.59/1532.88 c #Conflicts: 808000 | #Constraints: 33632
1528.59/1532.88 c #Conflicts: 809000 | #Constraints: 34632
1528.59/1532.88 c #Conflicts: 810000 | #Constraints: 35632
1528.59/1532.88 c INPROCESSING
1528.59/1532.88 c GARBAGE COLLECT
1528.59/1532.88 c #Conflicts: 811000 | #Constraints: 18833
1528.59/1532.88 c #Conflicts: 812000 | #Constraints: 19833
1528.59/1532.88 c #Conflicts: 813000 | #Constraints: 20833
1528.59/1532.88 c #Conflicts: 814000 | #Constraints: 21833
1528.59/1532.88 c #Conflicts: 815000 | #Constraints: 22833
1528.59/1532.88 c #Conflicts: 816000 | #Constraints: 23833
1701.38/1706.08 c #Conflicts: 817000 | #Constraints: 24833
1701.38/1706.08 c #Conflicts: 818000 | #Constraints: 25833
1701.38/1706.08 c #Conflicts: 819000 | #Constraints: 26833
1701.38/1706.08 c #Conflicts: 820000 | #Constraints: 27833
1701.38/1706.08 c #Conflicts: 821000 | #Constraints: 28833
1701.38/1706.08 c #Conflicts: 822000 | #Constraints: 29833
1701.38/1706.08 c #Conflicts: 823000 | #Constraints: 30833
1701.38/1706.08 c #Conflicts: 824000 | #Constraints: 31833
1701.38/1706.08 c #Conflicts: 825000 | #Constraints: 32833
1701.38/1706.08 c #Conflicts: 826000 | #Constraints: 33833
1701.38/1706.08 c #Conflicts: 827000 | #Constraints: 34833
1701.38/1706.08 c #Conflicts: 828000 | #Constraints: 35833
1701.38/1706.08 c INPROCESSING
1701.38/1706.08 c GARBAGE COLLECT
1701.38/1706.08 c #Conflicts: 829000 | #Constraints: 18830
1701.38/1706.08 c #Conflicts: 830000 | #Constraints: 19830
1701.38/1706.08 c #Conflicts: 831000 | #Constraints: 20830
1701.38/1706.08 c #Conflicts: 832000 | #Constraints: 21830
1701.38/1706.08 c #Conflicts: 833000 | #Constraints: 22830
1701.38/1706.08 c #Conflicts: 834000 | #Constraints: 23830
1701.38/1706.08 c #Conflicts: 835000 | #Constraints: 24830
1701.38/1706.08 c #Conflicts: 836000 | #Constraints: 25830
1701.38/1706.08 c #Conflicts: 837000 | #Constraints: 26830
1701.38/1706.08 c #Conflicts: 838000 | #Constraints: 27830
1701.38/1706.08 c #Conflicts: 839000 | #Constraints: 28830
1701.38/1706.08 c #Conflicts: 840000 | #Constraints: 29830
1701.38/1706.08 c #Conflicts: 841000 | #Constraints: 30830
1701.38/1706.08 c #Conflicts: 842000 | #Constraints: 31830
1701.38/1706.08 c #Conflicts: 843000 | #Constraints: 32830
1701.38/1706.08 c #Conflicts: 844000 | #Constraints: 33830
1701.38/1706.08 c #Conflicts: 845000 | #Constraints: 34830
1701.38/1706.08 c #Conflicts: 846000 | #Constraints: 35830
1701.38/1706.08 c INPROCESSING
1701.38/1706.08 c GARBAGE COLLECT
1701.38/1706.08 c #Conflicts: 847000 | #Constraints: 18631
1701.38/1706.08 c #Conflicts: 848000 | #Constraints: 19631
1701.38/1706.08 c #Conflicts: 849000 | #Constraints: 20631
1701.38/1706.08 c #Conflicts: 850000 | #Constraints: 21631
1701.38/1706.08 c #Conflicts: 851000 | #Constraints: 22631
1701.38/1706.08 c #Conflicts: 852000 | #Constraints: 23631
1701.38/1706.08 c #Conflicts: 853000 | #Constraints: 24631
1701.38/1706.08 c #Conflicts: 854000 | #Constraints: 25631
1701.38/1706.08 c #Conflicts: 855000 | #Constraints: 26631
1701.38/1706.08 c #Conflicts: 856000 | #Constraints: 27631
1701.38/1706.08 c #Conflicts: 857000 | #Constraints: 28631
1701.38/1706.08 c #Conflicts: 858000 | #Constraints: 29631
1701.38/1706.08 c #Conflicts: 859000 | #Constraints: 30631
1701.38/1706.08 c #Conflicts: 860000 | #Constraints: 31631
1701.38/1706.08 c #Conflicts: 861000 | #Constraints: 32631
1701.38/1706.08 c #Conflicts: 862000 | #Constraints: 33631
1701.38/1706.08 c #Conflicts: 863000 | #Constraints: 34631
1701.38/1706.08 c #Conflicts: 864000 | #Constraints: 35631
1701.38/1706.08 c #Conflicts: 865000 | #Constraints: 36631
1701.38/1706.08 c INPROCESSING
1701.38/1706.08 c GARBAGE COLLECT
1701.38/1706.08 c #Conflicts: 866000 | #Constraints: 19229
1701.38/1706.08 c #Conflicts: 867000 | #Constraints: 20229
1701.38/1706.08 c #Conflicts: 868000 | #Constraints: 21229
1701.38/1706.08 c #Conflicts: 869000 | #Constraints: 22229
1701.38/1706.08 c #Conflicts: 870000 | #Constraints: 23229
1701.38/1706.08 c #Conflicts: 871000 | #Constraints: 24229
1701.38/1706.08 c #Conflicts: 872000 | #Constraints: 25229
1701.38/1706.08 c #Conflicts: 873000 | #Constraints: 26229
1701.38/1706.08 c #Conflicts: 874000 | #Constraints: 27229
1701.38/1706.08 c #Conflicts: 875000 | #Constraints: 28229
1701.38/1706.08 c #Conflicts: 876000 | #Constraints: 29229
1701.38/1706.08 c #Conflicts: 877000 | #Constraints: 30229
1701.38/1706.08 c #Conflicts: 878000 | #Constraints: 31229
1701.38/1706.08 c #Conflicts: 879000 | #Constraints: 32229
1701.38/1706.08 c #Conflicts: 880000 | #Constraints: 33229
1701.38/1706.08 c #Conflicts: 881000 | #Constraints: 34229
1701.38/1706.08 c #Conflicts: 882000 | #Constraints: 35229
1701.38/1706.08 c #Conflicts: 883000 | #Constraints: 36229
1701.38/1706.08 c #Conflicts: 884000 | #Constraints: 37229
1701.38/1706.08 c INPROCESSING
1701.38/1706.08 c GARBAGE COLLECT
1701.38/1706.08 c #Conflicts: 885000 | #Constraints: 19631
1701.38/1706.08 c #Conflicts: 886000 | #Constraints: 20631
1701.38/1706.08 c #Conflicts: 887000 | #Constraints: 21631
1701.38/1706.08 c #Conflicts: 888000 | #Constraints: 22631
1701.38/1706.08 c #Conflicts: 889000 | #Constraints: 23631
1701.38/1706.08 c #Conflicts: 890000 | #Constraints: 24631
1701.38/1706.08 c #Conflicts: 891000 | #Constraints: 25631
1701.38/1706.08 c #Conflicts: 892000 | #Constraints: 26631
1886.03/1891.12 c #Conflicts: 893000 | #Constraints: 27631
1886.03/1891.12 c #Conflicts: 894000 | #Constraints: 28631
1886.03/1891.12 c #Conflicts: 895000 | #Constraints: 29631
1886.03/1891.12 c #Conflicts: 896000 | #Constraints: 30631
1886.03/1891.12 c #Conflicts: 897000 | #Constraints: 31631
1886.03/1891.12 c #Conflicts: 898000 | #Constraints: 32631
1886.03/1891.12 c #Conflicts: 899000 | #Constraints: 33631
1886.03/1891.12 c #Conflicts: 900000 | #Constraints: 34631
1886.03/1891.12 c #Conflicts: 901000 | #Constraints: 35631
1886.03/1891.12 c #Conflicts: 902000 | #Constraints: 36631
1886.03/1891.12 c #Conflicts: 903000 | #Constraints: 37631
1886.03/1891.12 c INPROCESSING
1886.03/1891.12 c GARBAGE COLLECT
1886.03/1891.12 c #Conflicts: 904000 | #Constraints: 19829
1886.03/1891.12 c #Conflicts: 905000 | #Constraints: 20829
1886.03/1891.12 c #Conflicts: 906000 | #Constraints: 21829
1886.03/1891.12 c #Conflicts: 907000 | #Constraints: 22829
1886.03/1891.12 c #Conflicts: 908000 | #Constraints: 23829
1886.03/1891.12 c #Conflicts: 909000 | #Constraints: 24829
1886.03/1891.12 c #Conflicts: 910000 | #Constraints: 25829
1886.03/1891.12 c #Conflicts: 911000 | #Constraints: 26829
1886.03/1891.12 c #Conflicts: 912000 | #Constraints: 27829
1886.03/1891.12 c #Conflicts: 913000 | #Constraints: 28829
1886.03/1891.12 c #Conflicts: 914000 | #Constraints: 29829
1886.03/1891.12 c #Conflicts: 915000 | #Constraints: 30829
1886.03/1891.12 c #Conflicts: 916000 | #Constraints: 31829
1886.03/1891.12 c #Conflicts: 917000 | #Constraints: 32829
1886.03/1891.12 c #Conflicts: 918000 | #Constraints: 33829
1886.03/1891.12 c #Conflicts: 919000 | #Constraints: 34829
1886.03/1891.12 c #Conflicts: 920000 | #Constraints: 35829
1886.03/1891.12 c #Conflicts: 921000 | #Constraints: 36829
1886.03/1891.12 c #Conflicts: 922000 | #Constraints: 37829
1886.03/1891.12 c INPROCESSING
1886.03/1891.12 c GARBAGE COLLECT
1886.03/1891.12 c #Conflicts: 923000 | #Constraints: 19829
1886.03/1891.12 c #Conflicts: 924000 | #Constraints: 20829
1886.03/1891.12 c #Conflicts: 925000 | #Constraints: 21829
1886.03/1891.12 c #Conflicts: 926000 | #Constraints: 22829
1886.03/1891.12 c #Conflicts: 927000 | #Constraints: 23829
1886.03/1891.12 c #Conflicts: 928000 | #Constraints: 24829
1886.03/1891.12 c #Conflicts: 929000 | #Constraints: 25829
1886.03/1891.12 c #Conflicts: 930000 | #Constraints: 26829
1886.03/1891.12 c #Conflicts: 931000 | #Constraints: 27829
1886.03/1891.12 c #Conflicts: 932000 | #Constraints: 28829
1886.03/1891.12 c #Conflicts: 933000 | #Constraints: 29829
1886.03/1891.12 c #Conflicts: 934000 | #Constraints: 30829
1886.03/1891.12 c #Conflicts: 935000 | #Constraints: 31829
1886.03/1891.12 c #Conflicts: 936000 | #Constraints: 32829
1886.03/1891.12 c #Conflicts: 937000 | #Constraints: 33829
1886.03/1891.12 c #Conflicts: 938000 | #Constraints: 34829
1886.03/1891.12 c #Conflicts: 939000 | #Constraints: 35829
1886.03/1891.12 c #Conflicts: 940000 | #Constraints: 36829
1886.03/1891.12 c #Conflicts: 941000 | #Constraints: 37829
1886.03/1891.12 c INPROCESSING
1886.03/1891.12 c GARBAGE COLLECT
1886.03/1891.12 c #Conflicts: 942000 | #Constraints: 19631
1886.03/1891.12 c #Conflicts: 943000 | #Constraints: 20631
1886.03/1891.12 c #Conflicts: 944000 | #Constraints: 21631
1886.03/1891.12 c #Conflicts: 945000 | #Constraints: 22631
1886.03/1891.12 c #Conflicts: 946000 | #Constraints: 23631
1886.03/1891.12 c #Conflicts: 947000 | #Constraints: 24631
1886.03/1891.12 c #Conflicts: 948000 | #Constraints: 25631
1886.03/1891.12 c #Conflicts: 949000 | #Constraints: 26631
1886.03/1891.12 c #Conflicts: 950000 | #Constraints: 27631
1886.03/1891.12 c #Conflicts: 951000 | #Constraints: 28631
1886.03/1891.12 c #Conflicts: 952000 | #Constraints: 29631
1886.03/1891.12 c #Conflicts: 953000 | #Constraints: 30631
1886.03/1891.12 c #Conflicts: 954000 | #Constraints: 31631
1886.03/1891.12 c #Conflicts: 955000 | #Constraints: 32631
1886.03/1891.12 c #Conflicts: 956000 | #Constraints: 33631
1886.03/1891.12 c #Conflicts: 957000 | #Constraints: 34631
1886.03/1891.12 c #Conflicts: 958000 | #Constraints: 35631
1886.03/1891.12 c #Conflicts: 959000 | #Constraints: 36631
1886.03/1891.12 c #Conflicts: 960000 | #Constraints: 37631
1886.03/1891.12 c #Conflicts: 961000 | #Constraints: 38631
1886.03/1891.12 c INPROCESSING
1886.03/1891.12 c GARBAGE COLLECT
1886.03/1891.12 c #Conflicts: 962000 | #Constraints: 20231
1886.03/1891.12 c #Conflicts: 963000 | #Constraints: 21231
1886.03/1891.12 c #Conflicts: 964000 | #Constraints: 22231
1886.03/1891.12 c #Conflicts: 965000 | #Constraints: 23231
1886.03/1891.12 c #Conflicts: 966000 | #Constraints: 24231
1886.03/1891.12 c #Conflicts: 967000 | #Constraints: 25231
1886.03/1891.12 c #Conflicts: 968000 | #Constraints: 26231
2102.41/2108.06 c #Conflicts: 969000 | #Constraints: 27231
2102.41/2108.06 c #Conflicts: 970000 | #Constraints: 28231
2102.41/2108.06 c #Conflicts: 971000 | #Constraints: 29231
2102.41/2108.06 c #Conflicts: 972000 | #Constraints: 30231
2102.41/2108.06 c #Conflicts: 973000 | #Constraints: 31231
2102.41/2108.06 c #Conflicts: 974000 | #Constraints: 32231
2102.41/2108.06 c #Conflicts: 975000 | #Constraints: 33231
2102.41/2108.06 c #Conflicts: 976000 | #Constraints: 34231
2102.41/2108.06 c #Conflicts: 977000 | #Constraints: 35231
2102.41/2108.06 c #Conflicts: 978000 | #Constraints: 36231
2102.41/2108.06 c #Conflicts: 979000 | #Constraints: 37231
2102.41/2108.06 c #Conflicts: 980000 | #Constraints: 38231
2102.41/2108.06 c #Conflicts: 981000 | #Constraints: 39231
2102.41/2108.06 c INPROCESSING
2102.41/2108.06 c GARBAGE COLLECT
2102.41/2108.06 c #Conflicts: 982000 | #Constraints: 20631
2102.41/2108.06 c #Conflicts: 983000 | #Constraints: 21631
2102.41/2108.06 c #Conflicts: 984000 | #Constraints: 22631
2102.41/2108.06 c #Conflicts: 985000 | #Constraints: 23631
2102.41/2108.06 c #Conflicts: 986000 | #Constraints: 24631
2102.41/2108.06 c #Conflicts: 987000 | #Constraints: 25631
2102.41/2108.06 c #Conflicts: 988000 | #Constraints: 26631
2102.41/2108.06 c #Conflicts: 989000 | #Constraints: 27631
2102.41/2108.06 c #Conflicts: 990000 | #Constraints: 28631
2102.41/2108.06 c #Conflicts: 991000 | #Constraints: 29631
2102.41/2108.06 c #Conflicts: 992000 | #Constraints: 30631
2102.41/2108.06 c #Conflicts: 993000 | #Constraints: 31631
2102.41/2108.06 c #Conflicts: 994000 | #Constraints: 32631
2102.41/2108.06 c #Conflicts: 995000 | #Constraints: 33631
2102.41/2108.06 c #Conflicts: 996000 | #Constraints: 34631
2102.41/2108.06 c #Conflicts: 997000 | #Constraints: 35631
2102.41/2108.06 c #Conflicts: 998000 | #Constraints: 36631
2102.41/2108.06 c #Conflicts: 999000 | #Constraints: 37631
2102.41/2108.06 c #Conflicts: 1000000 | #Constraints: 38631
2102.41/2108.06 c #Conflicts: 1001000 | #Constraints: 39631
2102.41/2108.06 c INPROCESSING
2102.41/2108.06 c GARBAGE COLLECT
2102.41/2108.06 c #Conflicts: 1002000 | #Constraints: 20832
2102.41/2108.06 c #Conflicts: 1003000 | #Constraints: 21832
2102.41/2108.06 c #Conflicts: 1004000 | #Constraints: 22832
2102.41/2108.06 c #Conflicts: 1005000 | #Constraints: 23832
2102.41/2108.06 c #Conflicts: 1006000 | #Constraints: 24832
2102.41/2108.06 c #Conflicts: 1007000 | #Constraints: 25832
2102.41/2108.06 c #Conflicts: 1008000 | #Constraints: 26832
2102.41/2108.06 c #Conflicts: 1009000 | #Constraints: 27832
2102.41/2108.06 c #Conflicts: 1010000 | #Constraints: 28832
2102.41/2108.06 c #Conflicts: 1011000 | #Constraints: 29832
2102.41/2108.06 c #Conflicts: 1012000 | #Constraints: 30832
2102.41/2108.06 c #Conflicts: 1013000 | #Constraints: 31832
2102.41/2108.06 c #Conflicts: 1014000 | #Constraints: 32832
2102.41/2108.06 c #Conflicts: 1015000 | #Constraints: 33832
2102.41/2108.06 c #Conflicts: 1016000 | #Constraints: 34832
2102.41/2108.06 c #Conflicts: 1017000 | #Constraints: 35832
2102.41/2108.06 c #Conflicts: 1018000 | #Constraints: 36832
2102.41/2108.06 c #Conflicts: 1019000 | #Constraints: 37832
2102.41/2108.06 c #Conflicts: 1020000 | #Constraints: 38832
2102.41/2108.06 c #Conflicts: 1021000 | #Constraints: 39832
2102.41/2108.06 c INPROCESSING
2102.41/2108.06 c GARBAGE COLLECT
2102.41/2108.06 c #Conflicts: 1022000 | #Constraints: 20834
2102.41/2108.06 c #Conflicts: 1023000 | #Constraints: 21834
2102.41/2108.06 c #Conflicts: 1024000 | #Constraints: 22834
2102.41/2108.06 c #Conflicts: 1025000 | #Constraints: 23834
2102.41/2108.06 c #Conflicts: 1026000 | #Constraints: 24834
2102.41/2108.06 c #Conflicts: 1027000 | #Constraints: 25834
2102.41/2108.06 c #Conflicts: 1028000 | #Constraints: 26834
2102.41/2108.06 c #Conflicts: 1029000 | #Constraints: 27834
2102.41/2108.06 c #Conflicts: 1030000 | #Constraints: 28834
2102.41/2108.06 c #Conflicts: 1031000 | #Constraints: 29834
2102.41/2108.06 c #Conflicts: 1032000 | #Constraints: 30834
2102.41/2108.06 c #Conflicts: 1033000 | #Constraints: 31834
2102.41/2108.06 c #Conflicts: 1034000 | #Constraints: 32834
2102.41/2108.06 c #Conflicts: 1035000 | #Constraints: 33834
2102.41/2108.06 c #Conflicts: 1036000 | #Constraints: 34834
2102.41/2108.06 c #Conflicts: 1037000 | #Constraints: 35834
2102.41/2108.06 c #Conflicts: 1038000 | #Constraints: 36834
2102.41/2108.06 c #Conflicts: 1039000 | #Constraints: 37834
2102.41/2108.06 c #Conflicts: 1040000 | #Constraints: 38834
2102.41/2108.06 c #Conflicts: 1041000 | #Constraints: 39834
2102.41/2108.06 c INPROCESSING
2102.41/2108.06 c GARBAGE COLLECT
2102.41/2108.06 c #Conflicts: 1042000 | #Constraints: 20635
2102.41/2108.06 c #Conflicts: 1043000 | #Constraints: 21635
2102.41/2108.06 c #Conflicts: 1044000 | #Constraints: 22635
2328.76/2334.92 c #Conflicts: 1045000 | #Constraints: 23635
2328.76/2334.92 c #Conflicts: 1046000 | #Constraints: 24635
2328.76/2334.92 c #Conflicts: 1047000 | #Constraints: 25635
2328.76/2334.92 c #Conflicts: 1048000 | #Constraints: 26635
2328.76/2334.92 c #Conflicts: 1049000 | #Constraints: 27635
2328.76/2334.92 c #Conflicts: 1050000 | #Constraints: 28635
2328.76/2334.92 c #Conflicts: 1051000 | #Constraints: 29635
2328.76/2334.92 c #Conflicts: 1052000 | #Constraints: 30635
2328.76/2334.92 c #Conflicts: 1053000 | #Constraints: 31635
2328.76/2334.92 c #Conflicts: 1054000 | #Constraints: 32635
2328.76/2334.92 c #Conflicts: 1055000 | #Constraints: 33635
2328.76/2334.92 c #Conflicts: 1056000 | #Constraints: 34635
2328.76/2334.92 c #Conflicts: 1057000 | #Constraints: 35635
2328.76/2334.92 c #Conflicts: 1058000 | #Constraints: 36635
2328.76/2334.92 c #Conflicts: 1059000 | #Constraints: 37635
2328.76/2334.92 c #Conflicts: 1060000 | #Constraints: 38635
2328.76/2334.92 c #Conflicts: 1061000 | #Constraints: 39635
2328.76/2334.92 c #Conflicts: 1062000 | #Constraints: 40635
2328.76/2334.92 c INPROCESSING
2328.76/2334.92 c GARBAGE COLLECT
2328.76/2334.92 c #Conflicts: 1063000 | #Constraints: 21233
2328.76/2334.92 c #Conflicts: 1064000 | #Constraints: 22233
2328.76/2334.92 c #Conflicts: 1065000 | #Constraints: 23233
2328.76/2334.92 c #Conflicts: 1066000 | #Constraints: 24233
2328.76/2334.92 c #Conflicts: 1067000 | #Constraints: 25233
2328.76/2334.92 c #Conflicts: 1068000 | #Constraints: 26233
2328.76/2334.92 c #Conflicts: 1069000 | #Constraints: 27233
2328.76/2334.92 c #Conflicts: 1070000 | #Constraints: 28233
2328.76/2334.92 c #Conflicts: 1071000 | #Constraints: 29233
2328.76/2334.92 c #Conflicts: 1072000 | #Constraints: 30233
2328.76/2334.92 c #Conflicts: 1073000 | #Constraints: 31233
2328.76/2334.92 c #Conflicts: 1074000 | #Constraints: 32233
2328.76/2334.92 c #Conflicts: 1075000 | #Constraints: 33233
2328.76/2334.92 c #Conflicts: 1076000 | #Constraints: 34233
2328.76/2334.92 c #Conflicts: 1077000 | #Constraints: 35233
2328.76/2334.92 c #Conflicts: 1078000 | #Constraints: 36233
2328.76/2334.92 c #Conflicts: 1079000 | #Constraints: 37233
2328.76/2334.92 c #Conflicts: 1080000 | #Constraints: 38233
2328.76/2334.92 c #Conflicts: 1081000 | #Constraints: 39233
2328.76/2334.92 c #Conflicts: 1082000 | #Constraints: 40233
2328.76/2334.92 c #Conflicts: 1083000 | #Constraints: 41233
2328.76/2334.92 c INPROCESSING
2328.76/2334.92 c GARBAGE COLLECT
2328.76/2334.92 c #Conflicts: 1084000 | #Constraints: 21634
2328.76/2334.92 c #Conflicts: 1085000 | #Constraints: 22634
2328.76/2334.92 c #Conflicts: 1086000 | #Constraints: 23634
2328.76/2334.92 c #Conflicts: 1087000 | #Constraints: 24634
2328.76/2334.92 c #Conflicts: 1088000 | #Constraints: 25634
2328.76/2334.92 c #Conflicts: 1089000 | #Constraints: 26634
2328.76/2334.92 c #Conflicts: 1090000 | #Constraints: 27634
2328.76/2334.92 c #Conflicts: 1091000 | #Constraints: 28634
2328.76/2334.92 c #Conflicts: 1092000 | #Constraints: 29634
2328.76/2334.92 c #Conflicts: 1093000 | #Constraints: 30634
2328.76/2334.92 c #Conflicts: 1094000 | #Constraints: 31634
2328.76/2334.92 c #Conflicts: 1095000 | #Constraints: 32634
2328.76/2334.92 c #Conflicts: 1096000 | #Constraints: 33634
2328.76/2334.92 c #Conflicts: 1097000 | #Constraints: 34634
2328.76/2334.92 c #Conflicts: 1098000 | #Constraints: 35634
2328.76/2334.92 c #Conflicts: 1099000 | #Constraints: 36634
2328.76/2334.92 c #Conflicts: 1100000 | #Constraints: 37634
2328.76/2334.92 c #Conflicts: 1101000 | #Constraints: 38634
2328.76/2334.92 c #Conflicts: 1102000 | #Constraints: 39634
2328.76/2334.92 c #Conflicts: 1103000 | #Constraints: 40634
2328.76/2334.92 c #Conflicts: 1104000 | #Constraints: 41634
2328.76/2334.92 c INPROCESSING
2328.76/2334.92 c GARBAGE COLLECT
2328.76/2334.92 c #Conflicts: 1105000 | #Constraints: 21834
2328.76/2334.92 c #Conflicts: 1106000 | #Constraints: 22834
2328.76/2334.92 c #Conflicts: 1107000 | #Constraints: 23834
2328.76/2334.92 c #Conflicts: 1108000 | #Constraints: 24834
2328.76/2334.92 c #Conflicts: 1109000 | #Constraints: 25834
2328.76/2334.92 c #Conflicts: 1110000 | #Constraints: 26834
2328.76/2334.92 c #Conflicts: 1111000 | #Constraints: 27834
2328.76/2334.92 c #Conflicts: 1112000 | #Constraints: 28834
2328.76/2334.92 c #Conflicts: 1113000 | #Constraints: 29834
2328.76/2334.92 c #Conflicts: 1114000 | #Constraints: 30834
2328.76/2334.92 c #Conflicts: 1115000 | #Constraints: 31834
2328.76/2334.92 c #Conflicts: 1116000 | #Constraints: 32834
2328.76/2334.92 c #Conflicts: 1117000 | #Constraints: 33834
2328.76/2334.92 c #Conflicts: 1118000 | #Constraints: 34834
2328.76/2334.92 c #Conflicts: 1119000 | #Constraints: 35834
2328.76/2334.92 c #Conflicts: 1120000 | #Constraints: 36834
2328.76/2334.92 c #Conflicts: 1121000 | #Constraints: 37834
2540.06/2546.70 c #Conflicts: 1122000 | #Constraints: 38834
2540.06/2546.70 c #Conflicts: 1123000 | #Constraints: 39834
2540.06/2546.70 c #Conflicts: 1124000 | #Constraints: 40834
2540.06/2546.70 c #Conflicts: 1125000 | #Constraints: 41834
2540.06/2546.70 c INPROCESSING
2540.06/2546.70 c GARBAGE COLLECT
2540.06/2546.70 c #Conflicts: 1126000 | #Constraints: 21831
2540.06/2546.70 c #Conflicts: 1127000 | #Constraints: 22831
2540.06/2546.70 c #Conflicts: 1128000 | #Constraints: 23831
2540.06/2546.70 c #Conflicts: 1129000 | #Constraints: 24831
2540.06/2546.70 c #Conflicts: 1130000 | #Constraints: 25831
2540.06/2546.70 c #Conflicts: 1131000 | #Constraints: 26831
2540.06/2546.70 c #Conflicts: 1132000 | #Constraints: 27831
2540.06/2546.70 c #Conflicts: 1133000 | #Constraints: 28831
2540.06/2546.70 c #Conflicts: 1134000 | #Constraints: 29831
2540.06/2546.70 c #Conflicts: 1135000 | #Constraints: 30831
2540.06/2546.70 c #Conflicts: 1136000 | #Constraints: 31831
2540.06/2546.70 c #Conflicts: 1137000 | #Constraints: 32831
2540.06/2546.70 c #Conflicts: 1138000 | #Constraints: 33831
2540.06/2546.70 c #Conflicts: 1139000 | #Constraints: 34831
2540.06/2546.70 c #Conflicts: 1140000 | #Constraints: 35831
2540.06/2546.70 c #Conflicts: 1141000 | #Constraints: 36831
2540.06/2546.70 c #Conflicts: 1142000 | #Constraints: 37831
2540.06/2546.70 c #Conflicts: 1143000 | #Constraints: 38831
2540.06/2546.70 c #Conflicts: 1144000 | #Constraints: 39831
2540.06/2546.70 c #Conflicts: 1145000 | #Constraints: 40831
2540.06/2546.70 c #Conflicts: 1146000 | #Constraints: 41831
2540.06/2546.70 c INPROCESSING
2540.06/2546.70 c GARBAGE COLLECT
2540.06/2546.70 c #Conflicts: 1147000 | #Constraints: 21628
2540.06/2546.70 c #Conflicts: 1148000 | #Constraints: 22628
2540.06/2546.70 c #Conflicts: 1149000 | #Constraints: 23628
2540.06/2546.70 c #Conflicts: 1150000 | #Constraints: 24628
2540.06/2546.70 c #Conflicts: 1151000 | #Constraints: 25628
2540.06/2546.70 c #Conflicts: 1152000 | #Constraints: 26628
2540.06/2546.70 c #Conflicts: 1153000 | #Constraints: 27628
2540.06/2546.70 c #Conflicts: 1154000 | #Constraints: 28628
2540.06/2546.70 c #Conflicts: 1155000 | #Constraints: 29628
2540.06/2546.70 c #Conflicts: 1156000 | #Constraints: 30628
2540.06/2546.70 c #Conflicts: 1157000 | #Constraints: 31628
2540.06/2546.70 c #Conflicts: 1158000 | #Constraints: 32628
2540.06/2546.70 c #Conflicts: 1159000 | #Constraints: 33628
2540.06/2546.70 c #Conflicts: 1160000 | #Constraints: 34628
2540.06/2546.70 c #Conflicts: 1161000 | #Constraints: 35628
2540.06/2546.70 c #Conflicts: 1162000 | #Constraints: 36628
2540.06/2546.70 c #Conflicts: 1163000 | #Constraints: 37628
2540.06/2546.70 c #Conflicts: 1164000 | #Constraints: 38628
2540.06/2546.70 c #Conflicts: 1165000 | #Constraints: 39628
2540.06/2546.70 c #Conflicts: 1166000 | #Constraints: 40628
2540.06/2546.70 c #Conflicts: 1167000 | #Constraints: 41628
2540.06/2546.70 c #Conflicts: 1168000 | #Constraints: 42628
2540.06/2546.70 c INPROCESSING
2540.06/2546.70 c GARBAGE COLLECT
2540.06/2546.70 c #Conflicts: 1169000 | #Constraints: 22233
2540.06/2546.70 c #Conflicts: 1170000 | #Constraints: 23233
2540.06/2546.70 c #Conflicts: 1171000 | #Constraints: 24233
2540.06/2546.70 c #Conflicts: 1172000 | #Constraints: 25233
2540.06/2546.70 c #Conflicts: 1173000 | #Constraints: 26233
2540.06/2546.70 c #Conflicts: 1174000 | #Constraints: 27233
2540.06/2546.70 c #Conflicts: 1175000 | #Constraints: 28233
2540.06/2546.70 c #Conflicts: 1176000 | #Constraints: 29233
2540.06/2546.70 c #Conflicts: 1177000 | #Constraints: 30233
2540.06/2546.70 c #Conflicts: 1178000 | #Constraints: 31233
2540.06/2546.70 c #Conflicts: 1179000 | #Constraints: 32233
2540.06/2546.70 c #Conflicts: 1180000 | #Constraints: 33233
2540.06/2546.70 c #Conflicts: 1181000 | #Constraints: 34233
2540.06/2546.70 c #Conflicts: 1182000 | #Constraints: 35233
2540.06/2546.70 c #Conflicts: 1183000 | #Constraints: 36233
2540.06/2546.70 c #Conflicts: 1184000 | #Constraints: 37233
2540.06/2546.70 c #Conflicts: 1185000 | #Constraints: 38233
2540.06/2546.70 c #Conflicts: 1186000 | #Constraints: 39233
2540.06/2546.70 c #Conflicts: 1187000 | #Constraints: 40233
2540.06/2546.70 c #Conflicts: 1188000 | #Constraints: 41233
2540.06/2546.70 c #Conflicts: 1189000 | #Constraints: 42233
2540.06/2546.70 c #Conflicts: 1190000 | #Constraints: 43233
2540.06/2546.70 c INPROCESSING
2540.06/2546.70 c GARBAGE COLLECT
2540.06/2546.70 c #Conflicts: 1191000 | #Constraints: 22633
2540.06/2546.70 c #Conflicts: 1192000 | #Constraints: 23633
2540.06/2546.70 c #Conflicts: 1193000 | #Constraints: 24633
2540.06/2546.70 c #Conflicts: 1194000 | #Constraints: 25633
2540.06/2546.70 c #Conflicts: 1195000 | #Constraints: 26633
2540.06/2546.70 c #Conflicts: 1196000 | #Constraints: 27633
2540.06/2546.70 c #Conflicts: 1197000 | #Constraints: 28633
2761.62/2768.84 c #Conflicts: 1198000 | #Constraints: 29633
2761.62/2768.84 c #Conflicts: 1199000 | #Constraints: 30633
2761.62/2768.84 c #Conflicts: 1200000 | #Constraints: 31633
2761.62/2768.84 c #Conflicts: 1201000 | #Constraints: 32633
2761.62/2768.84 c #Conflicts: 1202000 | #Constraints: 33633
2761.62/2768.84 c #Conflicts: 1203000 | #Constraints: 34633
2761.62/2768.84 c #Conflicts: 1204000 | #Constraints: 35633
2761.62/2768.84 c #Conflicts: 1205000 | #Constraints: 36633
2761.62/2768.84 c #Conflicts: 1206000 | #Constraints: 37633
2761.62/2768.84 c #Conflicts: 1207000 | #Constraints: 38633
2761.62/2768.84 c #Conflicts: 1208000 | #Constraints: 39633
2761.62/2768.84 c #Conflicts: 1209000 | #Constraints: 40633
2761.62/2768.84 c #Conflicts: 1210000 | #Constraints: 41633
2761.62/2768.84 c #Conflicts: 1211000 | #Constraints: 42633
2761.62/2768.84 c #Conflicts: 1212000 | #Constraints: 43633
2761.62/2768.84 c INPROCESSING
2761.62/2768.84 c GARBAGE COLLECT
2761.62/2768.84 c #Conflicts: 1213000 | #Constraints: 22833
2761.62/2768.84 c #Conflicts: 1214000 | #Constraints: 23833
2761.62/2768.84 c #Conflicts: 1215000 | #Constraints: 24833
2761.62/2768.84 c #Conflicts: 1216000 | #Constraints: 25833
2761.62/2768.84 c #Conflicts: 1217000 | #Constraints: 26833
2761.62/2768.84 c #Conflicts: 1218000 | #Constraints: 27833
2761.62/2768.84 c #Conflicts: 1219000 | #Constraints: 28833
2761.62/2768.84 c #Conflicts: 1220000 | #Constraints: 29833
2761.62/2768.84 c #Conflicts: 1221000 | #Constraints: 30833
2761.62/2768.84 c #Conflicts: 1222000 | #Constraints: 31833
2761.62/2768.84 c #Conflicts: 1223000 | #Constraints: 32833
2761.62/2768.84 c #Conflicts: 1224000 | #Constraints: 33833
2761.62/2768.84 c #Conflicts: 1225000 | #Constraints: 34833
2761.62/2768.84 c #Conflicts: 1226000 | #Constraints: 35833
2761.62/2768.84 c #Conflicts: 1227000 | #Constraints: 36833
2761.62/2768.84 c #Conflicts: 1228000 | #Constraints: 37833
2761.62/2768.84 c #Conflicts: 1229000 | #Constraints: 38833
2761.62/2768.84 c #Conflicts: 1230000 | #Constraints: 39833
2761.62/2768.84 c #Conflicts: 1231000 | #Constraints: 40833
2761.62/2768.84 c #Conflicts: 1232000 | #Constraints: 41833
2761.62/2768.84 c #Conflicts: 1233000 | #Constraints: 42833
2761.62/2768.84 c #Conflicts: 1234000 | #Constraints: 43833
2761.62/2768.84 c INPROCESSING
2761.62/2768.84 c GARBAGE COLLECT
2761.62/2768.84 c #Conflicts: 1235000 | #Constraints: 22833
2761.62/2768.84 c #Conflicts: 1236000 | #Constraints: 23833
2761.62/2768.84 c #Conflicts: 1237000 | #Constraints: 24833
2761.62/2768.84 c #Conflicts: 1238000 | #Constraints: 25833
2761.62/2768.84 c #Conflicts: 1239000 | #Constraints: 26833
2761.62/2768.84 c #Conflicts: 1240000 | #Constraints: 27833
2761.62/2768.84 c #Conflicts: 1241000 | #Constraints: 28833
2761.62/2768.84 c #Conflicts: 1242000 | #Constraints: 29833
2761.62/2768.84 c #Conflicts: 1243000 | #Constraints: 30833
2761.62/2768.84 c #Conflicts: 1244000 | #Constraints: 31833
2761.62/2768.84 c #Conflicts: 1245000 | #Constraints: 32833
2761.62/2768.84 c #Conflicts: 1246000 | #Constraints: 33833
2761.62/2768.84 c #Conflicts: 1247000 | #Constraints: 34833
2761.62/2768.84 c #Conflicts: 1248000 | #Constraints: 35833
2761.62/2768.84 c #Conflicts: 1249000 | #Constraints: 36833
2761.62/2768.84 c #Conflicts: 1250000 | #Constraints: 37833
2761.62/2768.84 c #Conflicts: 1251000 | #Constraints: 38833
2761.62/2768.84 c #Conflicts: 1252000 | #Constraints: 39833
2761.62/2768.84 c #Conflicts: 1253000 | #Constraints: 40833
2761.62/2768.84 c #Conflicts: 1254000 | #Constraints: 41833
2761.62/2768.84 c #Conflicts: 1255000 | #Constraints: 42833
2761.62/2768.84 c #Conflicts: 1256000 | #Constraints: 43833
2761.62/2768.84 c INPROCESSING
2761.62/2768.84 c GARBAGE COLLECT
2761.62/2768.84 c #Conflicts: 1257000 | #Constraints: 22632
2761.62/2768.84 c #Conflicts: 1258000 | #Constraints: 23632
2761.62/2768.84 c #Conflicts: 1259000 | #Constraints: 24632
2761.62/2768.84 c #Conflicts: 1260000 | #Constraints: 25632
2761.62/2768.84 c #Conflicts: 1261000 | #Constraints: 26632
2761.62/2768.84 c #Conflicts: 1262000 | #Constraints: 27632
2761.62/2768.84 c #Conflicts: 1263000 | #Constraints: 28632
2761.62/2768.84 c #Conflicts: 1264000 | #Constraints: 29632
2761.62/2768.84 c #Conflicts: 1265000 | #Constraints: 30632
2761.62/2768.84 c #Conflicts: 1266000 | #Constraints: 31632
2761.62/2768.84 c #Conflicts: 1267000 | #Constraints: 32632
2761.62/2768.84 c #Conflicts: 1268000 | #Constraints: 33632
2761.62/2768.84 c #Conflicts: 1269000 | #Constraints: 34632
2761.62/2768.84 c #Conflicts: 1270000 | #Constraints: 35632
2761.62/2768.84 c #Conflicts: 1271000 | #Constraints: 36632
2761.62/2768.84 c #Conflicts: 1272000 | #Constraints: 37632
2761.62/2768.84 c #Conflicts: 1273000 | #Constraints: 38632
2761.62/2768.84 c #Conflicts: 1274000 | #Constraints: 39632
2995.57/3003.34 c #Conflicts: 1275000 | #Constraints: 40632
2995.57/3003.34 c #Conflicts: 1276000 | #Constraints: 41632
2995.57/3003.34 c #Conflicts: 1277000 | #Constraints: 42632
2995.57/3003.34 c #Conflicts: 1278000 | #Constraints: 43632
2995.57/3003.34 c #Conflicts: 1279000 | #Constraints: 44632
2995.57/3003.34 c INPROCESSING
2995.57/3003.34 c GARBAGE COLLECT
2995.57/3003.34 c #Conflicts: 1280000 | #Constraints: 23231
2995.57/3003.34 c #Conflicts: 1281000 | #Constraints: 24231
2995.57/3003.34 c #Conflicts: 1282000 | #Constraints: 25231
2995.57/3003.34 c #Conflicts: 1283000 | #Constraints: 26231
2995.57/3003.34 c #Conflicts: 1284000 | #Constraints: 27231
2995.57/3003.34 c #Conflicts: 1285000 | #Constraints: 28231
2995.57/3003.34 c #Conflicts: 1286000 | #Constraints: 29231
2995.57/3003.34 c #Conflicts: 1287000 | #Constraints: 30231
2995.57/3003.34 c #Conflicts: 1288000 | #Constraints: 31231
2995.57/3003.34 c #Conflicts: 1289000 | #Constraints: 32231
2995.57/3003.34 c #Conflicts: 1290000 | #Constraints: 33231
2995.57/3003.34 c #Conflicts: 1291000 | #Constraints: 34231
2995.57/3003.34 c #Conflicts: 1292000 | #Constraints: 35231
2995.57/3003.34 c #Conflicts: 1293000 | #Constraints: 36231
2995.57/3003.34 c #Conflicts: 1294000 | #Constraints: 37231
2995.57/3003.34 c #Conflicts: 1295000 | #Constraints: 38231
2995.57/3003.34 c #Conflicts: 1296000 | #Constraints: 39231
2995.57/3003.34 c #Conflicts: 1297000 | #Constraints: 40231
2995.57/3003.34 c #Conflicts: 1298000 | #Constraints: 41231
2995.57/3003.34 c #Conflicts: 1299000 | #Constraints: 42231
2995.57/3003.34 c #Conflicts: 1300000 | #Constraints: 43231
2995.57/3003.34 c #Conflicts: 1301000 | #Constraints: 44231
2995.57/3003.34 c #Conflicts: 1302000 | #Constraints: 45231
2995.57/3003.34 c INPROCESSING
2995.57/3003.34 c GARBAGE COLLECT
2995.57/3003.34 c #Conflicts: 1303000 | #Constraints: 23630
2995.57/3003.34 c #Conflicts: 1304000 | #Constraints: 24630
2995.57/3003.34 c #Conflicts: 1305000 | #Constraints: 25630
2995.57/3003.34 c #Conflicts: 1306000 | #Constraints: 26630
2995.57/3003.34 c #Conflicts: 1307000 | #Constraints: 27630
2995.57/3003.34 c #Conflicts: 1308000 | #Constraints: 28630
2995.57/3003.34 c #Conflicts: 1309000 | #Constraints: 29630
2995.57/3003.34 c #Conflicts: 1310000 | #Constraints: 30630
2995.57/3003.34 c #Conflicts: 1311000 | #Constraints: 31630
2995.57/3003.34 c #Conflicts: 1312000 | #Constraints: 32630
2995.57/3003.34 c #Conflicts: 1313000 | #Constraints: 33630
2995.57/3003.34 c #Conflicts: 1314000 | #Constraints: 34630
2995.57/3003.34 c #Conflicts: 1315000 | #Constraints: 35630
2995.57/3003.34 c #Conflicts: 1316000 | #Constraints: 36630
2995.57/3003.34 c #Conflicts: 1317000 | #Constraints: 37630
2995.57/3003.34 c #Conflicts: 1318000 | #Constraints: 38630
2995.57/3003.34 c #Conflicts: 1319000 | #Constraints: 39630
2995.57/3003.34 c #Conflicts: 1320000 | #Constraints: 40630
2995.57/3003.34 c #Conflicts: 1321000 | #Constraints: 41630
2995.57/3003.34 c #Conflicts: 1322000 | #Constraints: 42630
2995.57/3003.34 c #Conflicts: 1323000 | #Constraints: 43630
2995.57/3003.34 c #Conflicts: 1324000 | #Constraints: 44630
2995.57/3003.34 c #Conflicts: 1325000 | #Constraints: 45630
2995.57/3003.34 c INPROCESSING
2995.57/3003.34 c GARBAGE COLLECT
2995.57/3003.34 c #Conflicts: 1326000 | #Constraints: 23830
2995.57/3003.34 c #Conflicts: 1327000 | #Constraints: 24830
2995.57/3003.34 c #Conflicts: 1328000 | #Constraints: 25830
2995.57/3003.34 c #Conflicts: 1329000 | #Constraints: 26830
2995.57/3003.34 c #Conflicts: 1330000 | #Constraints: 27830
2995.57/3003.34 c #Conflicts: 1331000 | #Constraints: 28830
2995.57/3003.34 c #Conflicts: 1332000 | #Constraints: 29830
2995.57/3003.34 c #Conflicts: 1333000 | #Constraints: 30830
2995.57/3003.34 c #Conflicts: 1334000 | #Constraints: 31830
2995.57/3003.34 c #Conflicts: 1335000 | #Constraints: 32830
2995.57/3003.34 c #Conflicts: 1336000 | #Constraints: 33830
2995.57/3003.34 c #Conflicts: 1337000 | #Constraints: 34830
2995.57/3003.34 c #Conflicts: 1338000 | #Constraints: 35830
2995.57/3003.34 c #Conflicts: 1339000 | #Constraints: 36830
2995.57/3003.34 c #Conflicts: 1340000 | #Constraints: 37830
2995.57/3003.34 c #Conflicts: 1341000 | #Constraints: 38830
2995.57/3003.34 c #Conflicts: 1342000 | #Constraints: 39830
2995.57/3003.34 c #Conflicts: 1343000 | #Constraints: 40830
2995.57/3003.34 c #Conflicts: 1344000 | #Constraints: 41830
2995.57/3003.34 c #Conflicts: 1345000 | #Constraints: 42830
2995.57/3003.34 c #Conflicts: 1346000 | #Constraints: 43830
2995.57/3003.34 c #Conflicts: 1347000 | #Constraints: 44830
2995.57/3003.34 c #Conflicts: 1348000 | #Constraints: 45830
2995.57/3003.34 c INPROCESSING
2995.57/3003.34 c GARBAGE COLLECT
2995.57/3003.34 c #Conflicts: 1349000 | #Constraints: 23831
2995.57/3003.34 c #Conflicts: 1350000 | #Constraints: 24831
3235.38/3243.74 c #Conflicts: 1351000 | #Constraints: 25831
3235.38/3243.74 c #Conflicts: 1352000 | #Constraints: 26831
3235.38/3243.74 c #Conflicts: 1353000 | #Constraints: 27831
3235.38/3243.74 c #Conflicts: 1354000 | #Constraints: 28831
3235.38/3243.74 c #Conflicts: 1355000 | #Constraints: 29831
3235.38/3243.74 c #Conflicts: 1356000 | #Constraints: 30831
3235.38/3243.74 c #Conflicts: 1357000 | #Constraints: 31831
3235.38/3243.74 c #Conflicts: 1358000 | #Constraints: 32831
3235.38/3243.74 c #Conflicts: 1359000 | #Constraints: 33831
3235.38/3243.74 c #Conflicts: 1360000 | #Constraints: 34831
3235.38/3243.74 c #Conflicts: 1361000 | #Constraints: 35831
3235.38/3243.74 c #Conflicts: 1362000 | #Constraints: 36831
3235.38/3243.74 c #Conflicts: 1363000 | #Constraints: 37831
3235.38/3243.74 c #Conflicts: 1364000 | #Constraints: 38831
3235.38/3243.74 c #Conflicts: 1365000 | #Constraints: 39831
3235.38/3243.74 c #Conflicts: 1366000 | #Constraints: 40831
3235.38/3243.74 c #Conflicts: 1367000 | #Constraints: 41831
3235.38/3243.74 c #Conflicts: 1368000 | #Constraints: 42831
3235.38/3243.74 c #Conflicts: 1369000 | #Constraints: 43831
3235.38/3243.74 c #Conflicts: 1370000 | #Constraints: 44831
3235.38/3243.74 c #Conflicts: 1371000 | #Constraints: 45831
3235.38/3243.74 c INPROCESSING
3235.38/3243.74 c GARBAGE COLLECT
3235.38/3243.74 c #Conflicts: 1372000 | #Constraints: 23630
3235.38/3243.74 c #Conflicts: 1373000 | #Constraints: 24630
3235.38/3243.74 c #Conflicts: 1374000 | #Constraints: 25630
3235.38/3243.74 c #Conflicts: 1375000 | #Constraints: 26630
3235.38/3243.74 c #Conflicts: 1376000 | #Constraints: 27630
3235.38/3243.74 c #Conflicts: 1377000 | #Constraints: 28630
3235.38/3243.74 c #Conflicts: 1378000 | #Constraints: 29630
3235.38/3243.74 c #Conflicts: 1379000 | #Constraints: 30630
3235.38/3243.74 c #Conflicts: 1380000 | #Constraints: 31630
3235.38/3243.74 c #Conflicts: 1381000 | #Constraints: 32630
3235.38/3243.74 c #Conflicts: 1382000 | #Constraints: 33630
3235.38/3243.74 c #Conflicts: 1383000 | #Constraints: 34630
3235.38/3243.74 c #Conflicts: 1384000 | #Constraints: 35630
3235.38/3243.74 c #Conflicts: 1385000 | #Constraints: 36630
3235.38/3243.74 c #Conflicts: 1386000 | #Constraints: 37630
3235.38/3243.74 c #Conflicts: 1387000 | #Constraints: 38630
3235.38/3243.74 c #Conflicts: 1388000 | #Constraints: 39630
3235.38/3243.74 c #Conflicts: 1389000 | #Constraints: 40630
3235.38/3243.74 c #Conflicts: 1390000 | #Constraints: 41630
3235.38/3243.74 c #Conflicts: 1391000 | #Constraints: 42630
3235.38/3243.74 c #Conflicts: 1392000 | #Constraints: 43630
3235.38/3243.74 c #Conflicts: 1393000 | #Constraints: 44630
3235.38/3243.74 c #Conflicts: 1394000 | #Constraints: 45630
3235.38/3243.74 c #Conflicts: 1395000 | #Constraints: 46630
3235.38/3243.74 c INPROCESSING
3235.38/3243.74 c GARBAGE COLLECT
3235.38/3243.74 c #Conflicts: 1396000 | #Constraints: 24231
3235.38/3243.74 c #Conflicts: 1397000 | #Constraints: 25231
3235.38/3243.74 c #Conflicts: 1398000 | #Constraints: 26231
3235.38/3243.74 c #Conflicts: 1399000 | #Constraints: 27231
3235.38/3243.74 c #Conflicts: 1400000 | #Constraints: 28231
3235.38/3243.74 c #Conflicts: 1401000 | #Constraints: 29231
3235.38/3243.74 c #Conflicts: 1402000 | #Constraints: 30231
3235.38/3243.74 c #Conflicts: 1403000 | #Constraints: 31231
3235.38/3243.74 c #Conflicts: 1404000 | #Constraints: 32231
3235.38/3243.74 c #Conflicts: 1405000 | #Constraints: 33231
3235.38/3243.74 c #Conflicts: 1406000 | #Constraints: 34231
3235.38/3243.74 c #Conflicts: 1407000 | #Constraints: 35231
3235.38/3243.74 c #Conflicts: 1408000 | #Constraints: 36231
3235.38/3243.74 c #Conflicts: 1409000 | #Constraints: 37231
3235.38/3243.74 c #Conflicts: 1410000 | #Constraints: 38231
3235.38/3243.74 c #Conflicts: 1411000 | #Constraints: 39231
3235.38/3243.74 c #Conflicts: 1412000 | #Constraints: 40231
3235.38/3243.74 c #Conflicts: 1413000 | #Constraints: 41231
3235.38/3243.74 c #Conflicts: 1414000 | #Constraints: 42231
3235.38/3243.74 c #Conflicts: 1415000 | #Constraints: 43231
3235.38/3243.74 c #Conflicts: 1416000 | #Constraints: 44231
3235.38/3243.74 c #Conflicts: 1417000 | #Constraints: 45231
3235.38/3243.74 c #Conflicts: 1418000 | #Constraints: 46231
3235.38/3243.74 c #Conflicts: 1419000 | #Constraints: 47231
3235.38/3243.74 c INPROCESSING
3235.38/3243.74 c GARBAGE COLLECT
3235.38/3243.74 c #Conflicts: 1420000 | #Constraints: 24630
3235.38/3243.74 c #Conflicts: 1421000 | #Constraints: 25630
3235.38/3243.74 c #Conflicts: 1422000 | #Constraints: 26630
3235.38/3243.74 c #Conflicts: 1423000 | #Constraints: 27630
3235.38/3243.74 c #Conflicts: 1424000 | #Constraints: 28630
3235.38/3243.74 c #Conflicts: 1425000 | #Constraints: 29630
3235.38/3243.74 c #Conflicts: 1426000 | #Constraints: 30630
3235.38/3243.74 c #Conflicts: 1427000 | #Constraints: 31630
3484.28/3493.27 c #Conflicts: 1428000 | #Constraints: 32630
3484.28/3493.27 c #Conflicts: 1429000 | #Constraints: 33630
3484.28/3493.27 c #Conflicts: 1430000 | #Constraints: 34630
3484.28/3493.27 c #Conflicts: 1431000 | #Constraints: 35630
3484.28/3493.27 c #Conflicts: 1432000 | #Constraints: 36630
3484.28/3493.27 c #Conflicts: 1433000 | #Constraints: 37630
3484.28/3493.27 c #Conflicts: 1434000 | #Constraints: 38630
3484.28/3493.27 c #Conflicts: 1435000 | #Constraints: 39630
3484.28/3493.27 c #Conflicts: 1436000 | #Constraints: 40630
3484.28/3493.27 c #Conflicts: 1437000 | #Constraints: 41630
3484.28/3493.27 c #Conflicts: 1438000 | #Constraints: 42630
3484.28/3493.27 c #Conflicts: 1439000 | #Constraints: 43630
3484.28/3493.27 c #Conflicts: 1440000 | #Constraints: 44630
3484.28/3493.27 c #Conflicts: 1441000 | #Constraints: 45630
3484.28/3493.27 c #Conflicts: 1442000 | #Constraints: 46630
3484.28/3493.27 c #Conflicts: 1443000 | #Constraints: 47630
3484.28/3493.27 c INPROCESSING
3484.28/3493.27 c GARBAGE COLLECT
3484.28/3493.27 c #Conflicts: 1444000 | #Constraints: 24830
3484.28/3493.27 c #Conflicts: 1445000 | #Constraints: 25830
3484.28/3493.27 c #Conflicts: 1446000 | #Constraints: 26830
3484.28/3493.27 c #Conflicts: 1447000 | #Constraints: 27830
3484.28/3493.27 c #Conflicts: 1448000 | #Constraints: 28830
3484.28/3493.27 c #Conflicts: 1449000 | #Constraints: 29830
3484.28/3493.27 c #Conflicts: 1450000 | #Constraints: 30830
3484.28/3493.27 c #Conflicts: 1451000 | #Constraints: 31830
3484.28/3493.27 c #Conflicts: 1452000 | #Constraints: 32830
3484.28/3493.27 c #Conflicts: 1453000 | #Constraints: 33830
3484.28/3493.27 c #Conflicts: 1454000 | #Constraints: 34830
3484.28/3493.27 c #Conflicts: 1455000 | #Constraints: 35830
3484.28/3493.27 c #Conflicts: 1456000 | #Constraints: 36830
3484.28/3493.27 c #Conflicts: 1457000 | #Constraints: 37830
3484.28/3493.27 c #Conflicts: 1458000 | #Constraints: 38830
3484.28/3493.27 c #Conflicts: 1459000 | #Constraints: 39830
3484.28/3493.27 c #Conflicts: 1460000 | #Constraints: 40830
3484.28/3493.27 c #Conflicts: 1461000 | #Constraints: 41830
3484.28/3493.27 c #Conflicts: 1462000 | #Constraints: 42830
3484.28/3493.27 c #Conflicts: 1463000 | #Constraints: 43830
3484.28/3493.27 c #Conflicts: 1464000 | #Constraints: 44830
3484.28/3493.27 c #Conflicts: 1465000 | #Constraints: 45830
3484.28/3493.27 c #Conflicts: 1466000 | #Constraints: 46830
3484.28/3493.27 c #Conflicts: 1467000 | #Constraints: 47830
3484.28/3493.27 c INPROCESSING
3484.28/3493.27 c GARBAGE COLLECT
3484.28/3493.27 c #Conflicts: 1468000 | #Constraints: 24829
3484.28/3493.27 c #Conflicts: 1469000 | #Constraints: 25829
3484.28/3493.27 c #Conflicts: 1470000 | #Constraints: 26829
3484.28/3493.27 c #Conflicts: 1471000 | #Constraints: 27829
3484.28/3493.27 c #Conflicts: 1472000 | #Constraints: 28829
3484.28/3493.27 c #Conflicts: 1473000 | #Constraints: 29829
3484.28/3493.27 c #Conflicts: 1474000 | #Constraints: 30829
3484.28/3493.27 c #Conflicts: 1475000 | #Constraints: 31829
3484.28/3493.27 c #Conflicts: 1476000 | #Constraints: 32829
3484.28/3493.27 c #Conflicts: 1477000 | #Constraints: 33829
3484.28/3493.27 c #Conflicts: 1478000 | #Constraints: 34829
3484.28/3493.27 c #Conflicts: 1479000 | #Constraints: 35829
3484.28/3493.27 c #Conflicts: 1480000 | #Constraints: 36829
3484.28/3493.27 c #Conflicts: 1481000 | #Constraints: 37829
3484.28/3493.27 c #Conflicts: 1482000 | #Constraints: 38829
3484.28/3493.27 c #Conflicts: 1483000 | #Constraints: 39829
3484.28/3493.27 c #Conflicts: 1484000 | #Constraints: 40829
3484.28/3493.27 c #Conflicts: 1485000 | #Constraints: 41829
3484.28/3493.27 c #Conflicts: 1486000 | #Constraints: 42829
3484.28/3493.27 c #Conflicts: 1487000 | #Constraints: 43829
3484.28/3493.27 c #Conflicts: 1488000 | #Constraints: 44829
3484.28/3493.27 c #Conflicts: 1489000 | #Constraints: 45829
3484.28/3493.27 c #Conflicts: 1490000 | #Constraints: 46829
3484.28/3493.27 c #Conflicts: 1491000 | #Constraints: 47829
3484.28/3493.27 c INPROCESSING
3484.28/3493.27 c GARBAGE COLLECT
3484.28/3493.27 c #Conflicts: 1492000 | #Constraints: 24630
3484.28/3493.27 c #Conflicts: 1493000 | #Constraints: 25630
3484.28/3493.27 c #Conflicts: 1494000 | #Constraints: 26630
3484.28/3493.27 c #Conflicts: 1495000 | #Constraints: 27630
3484.28/3493.27 c #Conflicts: 1496000 | #Constraints: 28630
3484.28/3493.27 c #Conflicts: 1497000 | #Constraints: 29630
3484.28/3493.27 c #Conflicts: 1498000 | #Constraints: 30630
3484.28/3493.27 c #Conflicts: 1499000 | #Constraints: 31630
3484.28/3493.27 c #Conflicts: 1500000 | #Constraints: 32630
3484.28/3493.27 c #Conflicts: 1501000 | #Constraints: 33630
3484.28/3493.27 c #Conflicts: 1502000 | #Constraints: 34630
3484.28/3493.27 c #Conflicts: 1503000 | #Constraints: 35630
3484.28/3493.27 c #Conflicts: 1504000 | #Constraints: 36630
3600.00/3609.20 c #Conflicts: 1505000 | #Constraints: 37630
3600.00/3609.20 c #Conflicts: 1506000 | #Constraints: 38630
3600.00/3609.20 c #Conflicts: 1507000 | #Constraints: 39630
3600.00/3609.20 c #Conflicts: 1508000 | #Constraints: 40630
3600.00/3609.20 c #Conflicts: 1509000 | #Constraints: 41630
3600.00/3609.20 c #Conflicts: 1510000 | #Constraints: 42630
3600.00/3609.20 c #Conflicts: 1511000 | #Constraints: 43630
3600.00/3609.20 c #Conflicts: 1512000 | #Constraints: 44630
3600.00/3609.20 c #Conflicts: 1513000 | #Constraints: 45630
3600.00/3609.20 c #Conflicts: 1514000 | #Constraints: 46630
3600.00/3609.20 c #Conflicts: 1515000 | #Constraints: 47630
3600.00/3609.20 c #Conflicts: 1516000 | #Constraints: 48630
3600.00/3609.20 c INPROCESSING
3600.00/3609.20 c GARBAGE COLLECT
3600.00/3609.20 c #Conflicts: 1517000 | #Constraints: 25231
3600.00/3609.20 c #Conflicts: 1518000 | #Constraints: 26231
3600.00/3609.20 c #Conflicts: 1519000 | #Constraints: 27231
3600.00/3609.20 c #Conflicts: 1520000 | #Constraints: 28231
3600.00/3609.20 c #Conflicts: 1521000 | #Constraints: 29231
3600.00/3609.20 c #Conflicts: 1522000 | #Constraints: 30231
3600.00/3609.20 c #Conflicts: 1523000 | #Constraints: 31231
3600.00/3609.20 c #Conflicts: 1524000 | #Constraints: 32231
3600.00/3609.20 c #Conflicts: 1525000 | #Constraints: 33231
3600.00/3609.20 c #Conflicts: 1526000 | #Constraints: 34231
3600.00/3609.20 c #Conflicts: 1527000 | #Constraints: 35231
3600.00/3609.20 c #Conflicts: 1528000 | #Constraints: 36231
3600.00/3609.20 c #Conflicts: 1529000 | #Constraints: 37231
3600.00/3609.20 c #Conflicts: 1530000 | #Constraints: 38231
3600.00/3609.20 c #Conflicts: 1531000 | #Constraints: 39231
3600.00/3609.20 c #Conflicts: 1532000 | #Constraints: 40231
3600.00/3609.20 c #Conflicts: 1533000 | #Constraints: 41231
3600.00/3609.20 c #Conflicts: 1534000 | #Constraints: 42231
3600.00/3609.20 c #Conflicts: 1535000 | #Constraints: 43231
3600.00/3609.20 c #Conflicts: 1536000 | #Constraints: 44231
3600.00/3609.20 c #Conflicts: 1537000 | #Constraints: 45231
3600.00/3609.20 c Program interrupted by user.
3600.00/3609.20 c cpu time 3592.62 s
3600.00/3609.20 c deterministic time 652210848999 6.52e+11
3600.00/3609.20 c optimization time 70.4123 s
3600.00/3609.20 c total solve time 3223.29 s
3600.00/3609.20 c core-guided solve time 3223.29 s
3600.00/3609.20 c propagation time 3116.28 s
3600.00/3609.20 c conflict analysis time 165.39 s
3600.00/3609.20 c propagations 17831384
3600.00/3609.20 c resolve steps 7184359
3600.00/3609.20 c decisions 2735614
3600.00/3609.20 c conflicts 1537673
3600.00/3609.20 c restarts 3062
3600.00/3609.20 c inprocessing phases 114
3600.00/3609.20 c input clauses 0
3600.00/3609.20 c input cardinalities 0
3600.00/3609.20 c input general constraints 13
3600.00/3609.20 c input average constraint length 67.69
3600.00/3609.20 c input average constraint degree 1543.46
3600.00/3609.20 c learned clauses 760944
3600.00/3609.20 c learned cardinalities 0
3600.00/3609.20 c learned general constraints 776728
3600.00/3609.20 c learned average constraint length 43.11
3600.00/3609.20 c learned average constraint degree 123232.40
3600.00/3609.20 c watched constraints 740150
3600.00/3609.20 c counting constraints 36591
3600.00/3609.20 c gcd simplifications 702600
3600.00/3609.20 c detected cardinalities 0
3600.00/3609.20 c weakened non-implied lits 13967120
3600.00/3609.20 c weakened non-implying lits 1060195
3600.00/3609.20 c original variables 146
3600.00/3609.20 c clausal propagations 275140
3600.00/3609.20 c cardinality propagations 0
3600.00/3609.20 c watched propagations 11620997
3600.00/3609.20 c counting propagations 4803103
3600.00/3609.20 c watch lookups 41890667518
3600.00/3609.20 c watch backjump lookups 31048736624
3600.00/3609.20 c watch checks 343579458135
3600.00/3609.20 c propagation checks 235197479303
3600.00/3609.20 c constraint additions 451835877
3600.00/3609.20 c trail pops 22104543
3600.00/3609.20 c formula constraints 12
3600.00/3609.20 c learned constraints 1537672
3600.00/3609.20 c bound constraints 1
3600.00/3609.20 c core-guided constraints 0
3600.00/3609.20 c encountered formula constraints 1501154
3600.00/3609.20 c encountered learned constraints 7220878
3600.00/3609.20 c encountered bound constraints 0
3600.00/3609.20 c encountered core-guided constraints 0
3600.00/3609.20 c LP total time 0 s
3600.00/3609.20 c LP solve time 0 s
3600.00/3609.20 c LP constraints added 0
3600.00/3609.20 c LP constraints removed 0
3600.00/3609.20 c LP pivots internal 0
3600.00/3609.20 c LP pivots root 0
3600.00/3609.20 c LP calls 0
3600.00/3609.20 c LP optimalities 0
3600.00/3609.20 c LP no pivot count 0
3600.00/3609.20 c LP infeasibilities 0
3600.00/3609.20 c LP valid Farkas constraints 0
3600.00/3609.20 c LP learned Farkas constraints 0
3600.00/3609.20 c LP basis resets 0
3600.00/3609.20 c LP cycling count 0
3600.00/3609.20 c LP singular count 0
3600.00/3609.20 c LP no primal count 0
3600.00/3609.20 c LP no farkas count 0
3600.00/3609.20 c LP other issue count 0
3600.00/3609.20 c LP Gomory cuts 0
3600.00/3609.20 c LP learned cuts 0
3600.00/3609.20 c LP deleted cuts 0
3600.00/3609.20 c LP encountered Gomory constraints 0
3600.00/3609.20 c LP encountered Farkas constraints 0
3600.00/3609.20 c LP encountered learned Farkas constraints 0
3600.00/3609.20 c CG auxiliary variables introduced 0
3600.00/3609.20 c CG solutions found 0
3600.00/3609.20 c CG cores constructed 0
3600.00/3609.20 c CG core cardinality constraints returned 0
3600.00/3609.20 c CG unit cores 0
3600.00/3609.20 c CG single cores 0
3600.00/3609.20 c CG blocks removed during cardinality reduction 0
3600.00/3609.20 c CG first core best 0
3600.00/3609.20 c CG decision core best 0
3600.00/3609.20 c CG core reduction tie 0
3600.00/3609.20 c CG core degree average 0.00
3600.00/3609.20 c CG core slack average 0.00
3600.00/3609.20 c CG exhausted 0
3600.00/3609.20 c CG exhaust time 0 s
3600.00/3609.20 c CG trimmed 0
3600.00/3609.20 c CG trim time 0 s
3600.00/3609.20 c CG minimized 0
3600.00/3609.20 c CG minimize time 0 s
3600.00/3609.20 c CG am1 prop time 2e-05 s
3600.00/3609.20 c CG # am1s reformulated 0
3600.00/3609.20 c CG lower bound derived from am1s 0
3600.00/3609.20 c CG # clausal cores 0
3600.00/3609.20 c CG # cardinality cores 0
3600.00/3609.20 c CG # pb cores 0
3600.00/3609.20 c CG # pb reforms 0
3600.00/3609.20 c CG # cores discarded because of pb reform 0
3600.00/3609.20 d LOWERBOUND 0
3600.00/3609.20 d NCORES 0
3600.00/3609.20 d NPBCORES 0
3600.00/3609.20 d NPBREFORM 0
3600.00/3609.20 d NTRIMMED 0
3600.00/3609.20 d NEXHAUSTED 0
3600.00/3609.20 d NAM1S 0
3600.00/3609.20 d AM1LB 0
3600.00/3609.20 c [Papilo Statistics]
3600.00/3609.20 c prepro time 0.000353004s
3600.00/3609.20 c # tsx applied 6
3600.00/3609.20 c # tsx conflicts 0
3600.00/3609.20 c # bound changes 0
3600.00/3609.20 c # side changes 6
3600.00/3609.20 c # coef changes 0
3600.00/3609.20 c # rounds 2
3600.00/3609.20 c # deted vars 0
3600.00/3609.20 c # deted constrs 6
3600.00/3609.20 c # consecutive rounds of only bound changes 0
3600.00/3609.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62627 MiB free)
memory of node 1: 64473 MiB (61607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454760-1721470618/watcher-4454760-1721470618 -o /tmp/evaluation-result-4454760-1721470618/solver-4454760-1721470618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055841 --watchdog 3760 mixed-bag HOME/instance-4454760-1721470618.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1056094, runsolver pid=1056091
[startup+0.100091 s]*
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127201808/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=98524 memory=30896 CPUtime=0.09 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 4094 0 0 0 9 0 0 0 20 0 1 0 199225329 100888576 7724 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 24631 7724 4051 3002 0 8380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98524 KiB
Current children cumulated memory: 30896 KiB
[startup+0.205469 s]*
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127199456/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=100808 memory=32216 CPUtime=0.2 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 4429 0 0 0 20 0 0 0 20 0 1 0 199225329 103227392 8054 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 25202 8054 4051 3002 0 8951 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100808 KiB
Current children cumulated memory: 32216 KiB
[startup+0.305447 s]*
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127197432/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=101276 memory=34592 CPUtime=0.3 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 4971 0 0 0 30 0 0 0 20 0 1 0 199225329 103706624 8648 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 25319 8648 4051 3002 0 9068 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101276 KiB
Current children cumulated memory: 34592 KiB
[startup+0.700207 s]
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127193500/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=106564 memory=38288 CPUtime=0.69 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 5944 0 0 0 69 0 0 0 20 0 1 0 199225329 109121536 9572 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 26641 9572 4051 3002 0 10390 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106564 KiB
Current children cumulated memory: 38288 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127191120/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=107760 memory=39872 CPUtime=1.48 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 6329 0 0 0 148 0 0 0 20 0 1 0 199225329 110346240 9968 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 26940 9968 4051 3002 0 10689 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107760 KiB
Current children cumulated memory: 39872 KiB
[startup+3.10545 s]
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127173948/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=113380 memory=44488 CPUtime=3.08 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 7564 0 0 0 308 0 0 0 20 0 1 0 199225329 116101120 11122 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 28345 11122 4051 3002 0 12094 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113380 KiB
Current children cumulated memory: 44488 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 3.11 2.17 5/254 1056095
/proc/meminfo: memFree=127159368/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=118732 memory=51352 CPUtime=6.27 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 9307 0 0 0 626 1 0 0 20 0 1 0 199225329 121581568 12838 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 29683 12838 4051 3002 0 13432 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118732 KiB
Current children cumulated memory: 51352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 3.13 2.18 5/254 1056096
/proc/meminfo: memFree=127138192/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=123776 memory=55312 CPUtime=12.64 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 10269 0 0 0 1263 1 0 0 20 0 1 0 199225329 126746624 13828 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 30944 13828 4051 3002 0 14693 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123776 KiB
Current children cumulated memory: 55312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 3.16 2.20 5/254 1056099
/proc/meminfo: memFree=127106704/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=125900 memory=58216 CPUtime=25.4 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 11007 0 0 0 2539 1 0 0 20 0 1 0 199225329 128921600 14554 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 31475 14554 4051 3002 0 15224 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 125900 KiB
Current children cumulated memory: 58216 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 3.26 2.27 5/255 1056150
/proc/meminfo: memFree=127001588/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=141124 memory=72104 CPUtime=50.9 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 14519 0 0 0 5089 1 0 0 20 0 1 0 199225329 144510976 18026 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 35281 18026 4051 3002 0 19030 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 72104 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.39 2.36 5/255 1056159
/proc/meminfo: memFree=126806420/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=150120 memory=83056 CPUtime=101.91 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 17722 0 0 0 10189 2 0 0 20 0 1 0 199225329 153722880 20764 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 37530 20764 4051 3002 0 21279 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 150120 KiB
Current children cumulated memory: 83056 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.52 2.47 5/255 1056169
/proc/meminfo: memFree=126621016/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=159748 memory=91432 CPUtime=161.69 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 19879 0 0 0 16167 2 0 0 20 0 1 0 199225329 163581952 22858 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 39937 22858 4051 3002 0 23686 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 159748 KiB
Current children cumulated memory: 91432 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.64 2.58 5/258 1056185
/proc/meminfo: memFree=126480096/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=159748 memory=92068 CPUtime=221.47 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 19910 0 0 0 22145 2 0 0 20 0 1 0 199225329 163581952 23017 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 39937 23017 4051 3002 0 23686 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 159748 KiB
Current children cumulated memory: 92068 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.72 2.68 5/258 1056195
/proc/meminfo: memFree=126361520/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=163732 memory=102284 CPUtime=281.25 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 21084 0 0 0 28123 2 0 0 20 0 1 0 199225329 167661568 25571 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 40933 25571 4177 3002 0 24682 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 163732 KiB
Current children cumulated memory: 102284 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.79 2.77 5/257 1056205
/proc/meminfo: memFree=126760400/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=160636 memory=104544 CPUtime=341.1 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 21678 0 0 0 34073 37 0 0 20 0 1 0 199225329 164491264 26136 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 40159 26136 4304 3002 0 23908 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 160636 KiB
Current children cumulated memory: 104544 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.88 2.87 5/257 1056215
/proc/meminfo: memFree=126750484/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=163356 memory=105824 CPUtime=400.96 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 22034 0 0 0 40031 65 0 0 20 0 1 0 199225329 167276544 26456 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 40839 26456 4304 3002 0 24588 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 163356 KiB
Current children cumulated memory: 105824 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 3.99 2.97 5/257 1056227
/proc/meminfo: memFree=126745932/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=163356 memory=106484 CPUtime=460.82 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 22266 0 0 0 45994 88 0 0 20 0 1 0 199225329 167276544 26621 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 40839 26621 4304 3002 0 24588 0
################
# More data... #
################
Current children cumulated memory: 117872 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 1057835
/proc/meminfo: memFree=126679536/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=2854.9 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25021 0 0 0 284861 629 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 2854.9 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/256 1057845
/proc/meminfo: memFree=126679216/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=2914.76 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25066 0 0 0 290839 637 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/254 1057855
/proc/meminfo: memFree=126678932/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=2974.62 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25108 0 0 0 296817 645 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/254 1057866
/proc/meminfo: memFree=126678656/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3034.48 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25154 0 0 0 302794 654 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/254 1057876
/proc/meminfo: memFree=126678264/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3094.32 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25198 0 0 0 308768 664 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 1057886
/proc/meminfo: memFree=126677936/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3154.18 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25242 0 0 0 314746 672 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/257 1057902
/proc/meminfo: memFree=126677456/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3214.04 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25290 0 0 0 320723 681 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/257 1057912
/proc/meminfo: memFree=126677096/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3273.89 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25334 0 0 0 326699 690 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/257 1057967
/proc/meminfo: memFree=126624432/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3333.75 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25377 0 0 0 332676 699 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.09 5/257 1057977
/proc/meminfo: memFree=126623984/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3393.6 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25422 0 0 0 338653 707 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1057989
/proc/meminfo: memFree=126623608/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3453.45 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25469 0 0 0 344630 715 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1057999
/proc/meminfo: memFree=126619372/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3513.31 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25513 0 0 0 350606 725 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 1058009
/proc/meminfo: memFree=126579880/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3573.16 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25555 0 0 0 356582 734 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1058061
/proc/meminfo: memFree=126739144/131524600 swapFree=131071996/131071996
[pid=1056094] ppid=1056091 vsize=174956 memory=117872 CPUtime=3600 cores=1,3
/proc/1056094/stat : 1056094 (mixed-bag) R 1056091 1056094 1055829 0 -1 4194304 25557 0 0 0 359262 738 0 0 20 0 1 0 199225329 179154944 29468 134679101440 4194304 16488053 140722849658544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35434496 140722849661973 140722849662050 140722849662050 140722849669067 0
/proc/1056094/statm: 43739 29468 4304 3002 0 27488 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 174956 KiB
Current children cumulated memory: 117872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 1056094 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.63 s, system=7.38256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.01
CPU user time (s): 3592.63
CPU system time (s): 7.38256
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 174956
Max. memory (cumulated for all children) (KiB): 117872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.63
system time used= 7.38256
maximum resident set size= 118408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 1356
# summary of solver processes directly reported to runsolver:
# pid: 1056094
# total CPU time (s): 3600.01
# total CPU user time (s): 3592.63
# total CPU system time (s): 7.38256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83548 second user time and 14.7185 second system time
The end
Begin job on nodeC020 at 2024-07-20 12:17:11
IDJOB=4454760
IDBENCH=147612
IDSOLVER=3083
FILE ID=nodeC020/4454760-1721470618
RUNJOBID= nodeC020-1721470315-1055841
SLURM_JOB_ID= 7545735
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454760-1721470618/watcher-4454760-1721470618 -o /tmp/evaluation-result-4454760-1721470618/solver-4454760-1721470618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055841 --watchdog 3760 mixed-bag HOME/instance-4454760-1721470618.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=1721359149
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.659
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.800
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.039
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.630
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.621
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.263
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3625.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127216260 kB
MemAvailable: 129497488 kB
Buffers: 572684 kB
Cached: 2533716 kB
SwapCached: 0 kB
Active: 1013236 kB
Inactive: 2637652 kB
Active(anon): 1592 kB
Inactive(anon): 588836 kB
Active(file): 1011644 kB
Inactive(file): 2048816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32560 kB
Writeback: 0 kB
AnonPages: 543544 kB
Mapped: 140440 kB
Shmem: 45912 kB
KReclaimable: 121180 kB
Slab: 237376 kB
SReclaimable: 121180 kB
SUnreclaim: 116196 kB
KernelStack: 4060 kB
PageTables: 10808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1036340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 348160 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC020 at 2024-07-20 13:17:21