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.01 c [STEP] solving with SCIP
298.74/300.05 c [STEP] preprocessing done, loading into solver
298.74/300.05 c [STEP] solving
298.74/300.05 c #variables 147 #constraints 12
298.74/300.05 c SMALL=int, LARGE=long long
298.74/300.05 c bounds - >= 0 @ 298.745
298.74/300.05 c stratification level: 2
330.33/331.71 c #Conflicts: 1000 | #Constraints: 1012
330.33/331.71 c #Conflicts: 2000 | #Constraints: 2012
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 3000 | #Constraints: 2016
330.33/331.71 c #Conflicts: 4000 | #Constraints: 3016
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 5000 | #Constraints: 2420
330.33/331.71 c #Conflicts: 6000 | #Constraints: 3420
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 7000 | #Constraints: 2422
330.33/331.71 c #Conflicts: 8000 | #Constraints: 3422
330.33/331.71 c #Conflicts: 9000 | #Constraints: 4422
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 10000 | #Constraints: 3125
330.33/331.71 c #Conflicts: 11000 | #Constraints: 4125
330.33/331.71 c #Conflicts: 12000 | #Constraints: 5125
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 13000 | #Constraints: 3577
330.33/331.71 c #Conflicts: 14000 | #Constraints: 4577
330.33/331.71 c #Conflicts: 15000 | #Constraints: 5577
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 16000 | #Constraints: 3800
330.33/331.71 c #Conflicts: 17000 | #Constraints: 4800
330.33/331.71 c #Conflicts: 18000 | #Constraints: 5800
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 19000 | #Constraints: 3814
330.33/331.71 c #Conflicts: 20000 | #Constraints: 4814
330.33/331.71 c #Conflicts: 21000 | #Constraints: 5814
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 22000 | #Constraints: 3618
330.33/331.71 c #Conflicts: 23000 | #Constraints: 4618
330.33/331.71 c #Conflicts: 24000 | #Constraints: 5618
330.33/331.71 c #Conflicts: 25000 | #Constraints: 6618
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 26000 | #Constraints: 4224
330.33/331.71 c #Conflicts: 27000 | #Constraints: 5224
330.33/331.71 c #Conflicts: 28000 | #Constraints: 6224
330.33/331.71 c #Conflicts: 29000 | #Constraints: 7224
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 30000 | #Constraints: 4625
330.33/331.71 c #Conflicts: 31000 | #Constraints: 5625
330.33/331.71 c #Conflicts: 32000 | #Constraints: 6625
330.33/331.71 c #Conflicts: 33000 | #Constraints: 7625
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 34000 | #Constraints: 4827
330.33/331.71 c #Conflicts: 35000 | #Constraints: 5827
330.33/331.71 c #Conflicts: 36000 | #Constraints: 6827
330.33/331.71 c #Conflicts: 37000 | #Constraints: 7827
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 38000 | #Constraints: 4828
330.33/331.71 c #Conflicts: 39000 | #Constraints: 5828
330.33/331.71 c #Conflicts: 40000 | #Constraints: 6828
330.33/331.71 c #Conflicts: 41000 | #Constraints: 7828
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 42000 | #Constraints: 4631
330.33/331.71 c #Conflicts: 43000 | #Constraints: 5631
330.33/331.71 c #Conflicts: 44000 | #Constraints: 6631
330.33/331.71 c #Conflicts: 45000 | #Constraints: 7631
330.33/331.71 c #Conflicts: 46000 | #Constraints: 8631
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 47000 | #Constraints: 5228
330.33/331.71 c #Conflicts: 48000 | #Constraints: 6228
330.33/331.71 c #Conflicts: 49000 | #Constraints: 7228
330.33/331.71 c #Conflicts: 50000 | #Constraints: 8228
330.33/331.71 c #Conflicts: 51000 | #Constraints: 9228
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 52000 | #Constraints: 5627
330.33/331.71 c #Conflicts: 53000 | #Constraints: 6627
330.33/331.71 c #Conflicts: 54000 | #Constraints: 7627
330.33/331.71 c #Conflicts: 55000 | #Constraints: 8627
330.33/331.71 c #Conflicts: 56000 | #Constraints: 9627
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 57000 | #Constraints: 5827
330.33/331.71 c #Conflicts: 58000 | #Constraints: 6827
330.33/331.71 c #Conflicts: 59000 | #Constraints: 7827
330.33/331.71 c #Conflicts: 60000 | #Constraints: 8827
330.33/331.71 c #Conflicts: 61000 | #Constraints: 9827
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 62000 | #Constraints: 5828
330.33/331.71 c #Conflicts: 63000 | #Constraints: 6828
330.33/331.71 c #Conflicts: 64000 | #Constraints: 7828
330.33/331.71 c #Conflicts: 65000 | #Constraints: 8828
330.33/331.71 c #Conflicts: 66000 | #Constraints: 9828
330.33/331.71 c INPROCESSING
330.33/331.71 c GARBAGE COLLECT
330.33/331.71 c #Conflicts: 67000 | #Constraints: 5629
330.33/331.71 c #Conflicts: 68000 | #Constraints: 6629
388.48/390.04 c #Conflicts: 69000 | #Constraints: 7629
388.48/390.04 c #Conflicts: 70000 | #Constraints: 8629
388.48/390.04 c #Conflicts: 71000 | #Constraints: 9629
388.48/390.04 c #Conflicts: 72000 | #Constraints: 10629
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 73000 | #Constraints: 6225
388.48/390.04 c #Conflicts: 74000 | #Constraints: 7225
388.48/390.04 c #Conflicts: 75000 | #Constraints: 8225
388.48/390.04 c #Conflicts: 76000 | #Constraints: 9225
388.48/390.04 c #Conflicts: 77000 | #Constraints: 10225
388.48/390.04 c #Conflicts: 78000 | #Constraints: 11225
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 79000 | #Constraints: 6626
388.48/390.04 c #Conflicts: 80000 | #Constraints: 7626
388.48/390.04 c #Conflicts: 81000 | #Constraints: 8626
388.48/390.04 c #Conflicts: 82000 | #Constraints: 9626
388.48/390.04 c #Conflicts: 83000 | #Constraints: 10626
388.48/390.04 c #Conflicts: 84000 | #Constraints: 11626
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 85000 | #Constraints: 6826
388.48/390.04 c #Conflicts: 86000 | #Constraints: 7826
388.48/390.04 c #Conflicts: 87000 | #Constraints: 8826
388.48/390.04 c #Conflicts: 88000 | #Constraints: 9826
388.48/390.04 c #Conflicts: 89000 | #Constraints: 10826
388.48/390.04 c #Conflicts: 90000 | #Constraints: 11826
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 91000 | #Constraints: 6827
388.48/390.04 c #Conflicts: 92000 | #Constraints: 7827
388.48/390.04 c #Conflicts: 93000 | #Constraints: 8827
388.48/390.04 c #Conflicts: 94000 | #Constraints: 9827
388.48/390.04 c #Conflicts: 95000 | #Constraints: 10827
388.48/390.04 c #Conflicts: 96000 | #Constraints: 11827
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 97000 | #Constraints: 6632
388.48/390.04 c #Conflicts: 98000 | #Constraints: 7632
388.48/390.04 c #Conflicts: 99000 | #Constraints: 8632
388.48/390.04 c #Conflicts: 100000 | #Constraints: 9632
388.48/390.04 c #Conflicts: 101000 | #Constraints: 10632
388.48/390.04 c #Conflicts: 102000 | #Constraints: 11632
388.48/390.04 c #Conflicts: 103000 | #Constraints: 12632
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 104000 | #Constraints: 7229
388.48/390.04 c #Conflicts: 105000 | #Constraints: 8229
388.48/390.04 c #Conflicts: 106000 | #Constraints: 9229
388.48/390.04 c #Conflicts: 107000 | #Constraints: 10229
388.48/390.04 c #Conflicts: 108000 | #Constraints: 11229
388.48/390.04 c #Conflicts: 109000 | #Constraints: 12229
388.48/390.04 c #Conflicts: 110000 | #Constraints: 13229
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 111000 | #Constraints: 7629
388.48/390.04 c #Conflicts: 112000 | #Constraints: 8629
388.48/390.04 c #Conflicts: 113000 | #Constraints: 9629
388.48/390.04 c #Conflicts: 114000 | #Constraints: 10629
388.48/390.04 c #Conflicts: 115000 | #Constraints: 11629
388.48/390.04 c #Conflicts: 116000 | #Constraints: 12629
388.48/390.04 c #Conflicts: 117000 | #Constraints: 13629
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 118000 | #Constraints: 7830
388.48/390.04 c #Conflicts: 119000 | #Constraints: 8830
388.48/390.04 c #Conflicts: 120000 | #Constraints: 9830
388.48/390.04 c #Conflicts: 121000 | #Constraints: 10830
388.48/390.04 c #Conflicts: 122000 | #Constraints: 11830
388.48/390.04 c #Conflicts: 123000 | #Constraints: 12830
388.48/390.04 c #Conflicts: 124000 | #Constraints: 13830
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 125000 | #Constraints: 7827
388.48/390.04 c #Conflicts: 126000 | #Constraints: 8827
388.48/390.04 c #Conflicts: 127000 | #Constraints: 9827
388.48/390.04 c #Conflicts: 128000 | #Constraints: 10827
388.48/390.04 c #Conflicts: 129000 | #Constraints: 11827
388.48/390.04 c #Conflicts: 130000 | #Constraints: 12827
388.48/390.04 c #Conflicts: 131000 | #Constraints: 13827
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 132000 | #Constraints: 7624
388.48/390.04 c #Conflicts: 133000 | #Constraints: 8624
388.48/390.04 c #Conflicts: 134000 | #Constraints: 9624
388.48/390.04 c #Conflicts: 135000 | #Constraints: 10624
388.48/390.04 c #Conflicts: 136000 | #Constraints: 11624
388.48/390.04 c #Conflicts: 137000 | #Constraints: 12624
388.48/390.04 c #Conflicts: 138000 | #Constraints: 13624
388.48/390.04 c #Conflicts: 139000 | #Constraints: 14624
388.48/390.04 c INPROCESSING
388.48/390.04 c GARBAGE COLLECT
388.48/390.04 c #Conflicts: 140000 | #Constraints: 8227
464.45/466.25 c #Conflicts: 141000 | #Constraints: 9227
464.45/466.25 c #Conflicts: 142000 | #Constraints: 10227
464.45/466.25 c #Conflicts: 143000 | #Constraints: 11227
464.45/466.25 c #Conflicts: 144000 | #Constraints: 12227
464.45/466.25 c #Conflicts: 145000 | #Constraints: 13227
464.45/466.25 c #Conflicts: 146000 | #Constraints: 14227
464.45/466.25 c #Conflicts: 147000 | #Constraints: 15227
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 148000 | #Constraints: 8631
464.45/466.25 c #Conflicts: 149000 | #Constraints: 9631
464.45/466.25 c #Conflicts: 150000 | #Constraints: 10631
464.45/466.25 c #Conflicts: 151000 | #Constraints: 11631
464.45/466.25 c #Conflicts: 152000 | #Constraints: 12631
464.45/466.25 c #Conflicts: 153000 | #Constraints: 13631
464.45/466.25 c #Conflicts: 154000 | #Constraints: 14631
464.45/466.25 c #Conflicts: 155000 | #Constraints: 15631
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 156000 | #Constraints: 8832
464.45/466.25 c #Conflicts: 157000 | #Constraints: 9832
464.45/466.25 c #Conflicts: 158000 | #Constraints: 10832
464.45/466.25 c #Conflicts: 159000 | #Constraints: 11832
464.45/466.25 c #Conflicts: 160000 | #Constraints: 12832
464.45/466.25 c #Conflicts: 161000 | #Constraints: 13832
464.45/466.25 c #Conflicts: 162000 | #Constraints: 14832
464.45/466.25 c #Conflicts: 163000 | #Constraints: 15832
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 164000 | #Constraints: 8831
464.45/466.25 c #Conflicts: 165000 | #Constraints: 9831
464.45/466.25 c #Conflicts: 166000 | #Constraints: 10831
464.45/466.25 c #Conflicts: 167000 | #Constraints: 11831
464.45/466.25 c #Conflicts: 168000 | #Constraints: 12831
464.45/466.25 c #Conflicts: 169000 | #Constraints: 13831
464.45/466.25 c #Conflicts: 170000 | #Constraints: 14831
464.45/466.25 c #Conflicts: 171000 | #Constraints: 15831
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 172000 | #Constraints: 8629
464.45/466.25 c #Conflicts: 173000 | #Constraints: 9629
464.45/466.25 c #Conflicts: 174000 | #Constraints: 10629
464.45/466.25 c #Conflicts: 175000 | #Constraints: 11629
464.45/466.25 c #Conflicts: 176000 | #Constraints: 12629
464.45/466.25 c #Conflicts: 177000 | #Constraints: 13629
464.45/466.25 c #Conflicts: 178000 | #Constraints: 14629
464.45/466.25 c #Conflicts: 179000 | #Constraints: 15629
464.45/466.25 c #Conflicts: 180000 | #Constraints: 16629
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 181000 | #Constraints: 9227
464.45/466.25 c #Conflicts: 182000 | #Constraints: 10227
464.45/466.25 c #Conflicts: 183000 | #Constraints: 11227
464.45/466.25 c #Conflicts: 184000 | #Constraints: 12227
464.45/466.25 c #Conflicts: 185000 | #Constraints: 13227
464.45/466.25 c #Conflicts: 186000 | #Constraints: 14227
464.45/466.25 c #Conflicts: 187000 | #Constraints: 15227
464.45/466.25 c #Conflicts: 188000 | #Constraints: 16227
464.45/466.25 c #Conflicts: 189000 | #Constraints: 17227
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 190000 | #Constraints: 9627
464.45/466.25 c #Conflicts: 191000 | #Constraints: 10627
464.45/466.25 c #Conflicts: 192000 | #Constraints: 11627
464.45/466.25 c #Conflicts: 193000 | #Constraints: 12627
464.45/466.25 c #Conflicts: 194000 | #Constraints: 13627
464.45/466.25 c #Conflicts: 195000 | #Constraints: 14627
464.45/466.25 c #Conflicts: 196000 | #Constraints: 15627
464.45/466.25 c #Conflicts: 197000 | #Constraints: 16627
464.45/466.25 c #Conflicts: 198000 | #Constraints: 17627
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 199000 | #Constraints: 9831
464.45/466.25 c #Conflicts: 200000 | #Constraints: 10831
464.45/466.25 c #Conflicts: 201000 | #Constraints: 11831
464.45/466.25 c #Conflicts: 202000 | #Constraints: 12831
464.45/466.25 c #Conflicts: 203000 | #Constraints: 13831
464.45/466.25 c #Conflicts: 204000 | #Constraints: 14831
464.45/466.25 c #Conflicts: 205000 | #Constraints: 15831
464.45/466.25 c #Conflicts: 206000 | #Constraints: 16831
464.45/466.25 c #Conflicts: 207000 | #Constraints: 17831
464.45/466.25 c INPROCESSING
464.45/466.25 c GARBAGE COLLECT
464.45/466.25 c #Conflicts: 208000 | #Constraints: 9829
464.45/466.25 c #Conflicts: 209000 | #Constraints: 10829
464.45/466.25 c #Conflicts: 210000 | #Constraints: 11829
464.45/466.25 c #Conflicts: 211000 | #Constraints: 12829
464.45/466.25 c #Conflicts: 212000 | #Constraints: 13829
464.45/466.25 c #Conflicts: 213000 | #Constraints: 14829
559.56/561.65 c #Conflicts: 214000 | #Constraints: 15829
559.56/561.65 c #Conflicts: 215000 | #Constraints: 16829
559.56/561.65 c #Conflicts: 216000 | #Constraints: 17829
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 217000 | #Constraints: 9632
559.56/561.65 c #Conflicts: 218000 | #Constraints: 10632
559.56/561.65 c #Conflicts: 219000 | #Constraints: 11632
559.56/561.65 c #Conflicts: 220000 | #Constraints: 12632
559.56/561.65 c #Conflicts: 221000 | #Constraints: 13632
559.56/561.65 c #Conflicts: 222000 | #Constraints: 14632
559.56/561.65 c #Conflicts: 223000 | #Constraints: 15632
559.56/561.65 c #Conflicts: 224000 | #Constraints: 16632
559.56/561.65 c #Conflicts: 225000 | #Constraints: 17632
559.56/561.65 c #Conflicts: 226000 | #Constraints: 18632
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 227000 | #Constraints: 10235
559.56/561.65 c #Conflicts: 228000 | #Constraints: 11235
559.56/561.65 c #Conflicts: 229000 | #Constraints: 12235
559.56/561.65 c #Conflicts: 230000 | #Constraints: 13235
559.56/561.65 c #Conflicts: 231000 | #Constraints: 14235
559.56/561.65 c #Conflicts: 232000 | #Constraints: 15235
559.56/561.65 c #Conflicts: 233000 | #Constraints: 16235
559.56/561.65 c #Conflicts: 234000 | #Constraints: 17235
559.56/561.65 c #Conflicts: 235000 | #Constraints: 18235
559.56/561.65 c #Conflicts: 236000 | #Constraints: 19235
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 237000 | #Constraints: 10633
559.56/561.65 c #Conflicts: 238000 | #Constraints: 11633
559.56/561.65 c #Conflicts: 239000 | #Constraints: 12633
559.56/561.65 c #Conflicts: 240000 | #Constraints: 13633
559.56/561.65 c #Conflicts: 241000 | #Constraints: 14633
559.56/561.65 c #Conflicts: 242000 | #Constraints: 15633
559.56/561.65 c #Conflicts: 243000 | #Constraints: 16633
559.56/561.65 c #Conflicts: 244000 | #Constraints: 17633
559.56/561.65 c #Conflicts: 245000 | #Constraints: 18633
559.56/561.65 c #Conflicts: 246000 | #Constraints: 19633
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 247000 | #Constraints: 10829
559.56/561.65 c #Conflicts: 248000 | #Constraints: 11829
559.56/561.65 c #Conflicts: 249000 | #Constraints: 12829
559.56/561.65 c #Conflicts: 250000 | #Constraints: 13829
559.56/561.65 c #Conflicts: 251000 | #Constraints: 14829
559.56/561.65 c #Conflicts: 252000 | #Constraints: 15829
559.56/561.65 c #Conflicts: 253000 | #Constraints: 16829
559.56/561.65 c #Conflicts: 254000 | #Constraints: 17829
559.56/561.65 c #Conflicts: 255000 | #Constraints: 18829
559.56/561.65 c #Conflicts: 256000 | #Constraints: 19829
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 257000 | #Constraints: 10830
559.56/561.65 c #Conflicts: 258000 | #Constraints: 11830
559.56/561.65 c #Conflicts: 259000 | #Constraints: 12830
559.56/561.65 c #Conflicts: 260000 | #Constraints: 13830
559.56/561.65 c #Conflicts: 261000 | #Constraints: 14830
559.56/561.65 c #Conflicts: 262000 | #Constraints: 15830
559.56/561.65 c #Conflicts: 263000 | #Constraints: 16830
559.56/561.65 c #Conflicts: 264000 | #Constraints: 17830
559.56/561.65 c #Conflicts: 265000 | #Constraints: 18830
559.56/561.65 c #Conflicts: 266000 | #Constraints: 19830
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 267000 | #Constraints: 10631
559.56/561.65 c #Conflicts: 268000 | #Constraints: 11631
559.56/561.65 c #Conflicts: 269000 | #Constraints: 12631
559.56/561.65 c #Conflicts: 270000 | #Constraints: 13631
559.56/561.65 c #Conflicts: 271000 | #Constraints: 14631
559.56/561.65 c #Conflicts: 272000 | #Constraints: 15631
559.56/561.65 c #Conflicts: 273000 | #Constraints: 16631
559.56/561.65 c #Conflicts: 274000 | #Constraints: 17631
559.56/561.65 c #Conflicts: 275000 | #Constraints: 18631
559.56/561.65 c #Conflicts: 276000 | #Constraints: 19631
559.56/561.65 c #Conflicts: 277000 | #Constraints: 20631
559.56/561.65 c INPROCESSING
559.56/561.65 c GARBAGE COLLECT
559.56/561.65 c #Conflicts: 278000 | #Constraints: 11228
559.56/561.65 c #Conflicts: 279000 | #Constraints: 12228
559.56/561.65 c #Conflicts: 280000 | #Constraints: 13228
559.56/561.65 c #Conflicts: 281000 | #Constraints: 14228
559.56/561.65 c #Conflicts: 282000 | #Constraints: 15228
559.56/561.65 c #Conflicts: 283000 | #Constraints: 16228
559.56/561.65 c #Conflicts: 284000 | #Constraints: 17228
559.56/561.65 c #Conflicts: 285000 | #Constraints: 18228
559.56/561.65 c #Conflicts: 286000 | #Constraints: 19228
559.56/561.65 c #Conflicts: 287000 | #Constraints: 20228
559.56/561.65 c #Conflicts: 288000 | #Constraints: 21228
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 289000 | #Constraints: 11630
663.94/666.36 c #Conflicts: 290000 | #Constraints: 12630
663.94/666.36 c #Conflicts: 291000 | #Constraints: 13630
663.94/666.36 c #Conflicts: 292000 | #Constraints: 14630
663.94/666.36 c #Conflicts: 293000 | #Constraints: 15630
663.94/666.36 c #Conflicts: 294000 | #Constraints: 16630
663.94/666.36 c #Conflicts: 295000 | #Constraints: 17630
663.94/666.36 c #Conflicts: 296000 | #Constraints: 18630
663.94/666.36 c #Conflicts: 297000 | #Constraints: 19630
663.94/666.36 c #Conflicts: 298000 | #Constraints: 20630
663.94/666.36 c #Conflicts: 299000 | #Constraints: 21630
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 300000 | #Constraints: 11828
663.94/666.36 c #Conflicts: 301000 | #Constraints: 12828
663.94/666.36 c #Conflicts: 302000 | #Constraints: 13828
663.94/666.36 c #Conflicts: 303000 | #Constraints: 14828
663.94/666.36 c #Conflicts: 304000 | #Constraints: 15828
663.94/666.36 c #Conflicts: 305000 | #Constraints: 16828
663.94/666.36 c #Conflicts: 306000 | #Constraints: 17828
663.94/666.36 c #Conflicts: 307000 | #Constraints: 18828
663.94/666.36 c #Conflicts: 308000 | #Constraints: 19828
663.94/666.36 c #Conflicts: 309000 | #Constraints: 20828
663.94/666.36 c #Conflicts: 310000 | #Constraints: 21828
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 311000 | #Constraints: 11829
663.94/666.36 c #Conflicts: 312000 | #Constraints: 12829
663.94/666.36 c #Conflicts: 313000 | #Constraints: 13829
663.94/666.36 c #Conflicts: 314000 | #Constraints: 14829
663.94/666.36 c #Conflicts: 315000 | #Constraints: 15829
663.94/666.36 c #Conflicts: 316000 | #Constraints: 16829
663.94/666.36 c #Conflicts: 317000 | #Constraints: 17829
663.94/666.36 c #Conflicts: 318000 | #Constraints: 18829
663.94/666.36 c #Conflicts: 319000 | #Constraints: 19829
663.94/666.36 c #Conflicts: 320000 | #Constraints: 20829
663.94/666.36 c #Conflicts: 321000 | #Constraints: 21829
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 322000 | #Constraints: 11630
663.94/666.36 c #Conflicts: 323000 | #Constraints: 12630
663.94/666.36 c #Conflicts: 324000 | #Constraints: 13630
663.94/666.36 c #Conflicts: 325000 | #Constraints: 14630
663.94/666.36 c #Conflicts: 326000 | #Constraints: 15630
663.94/666.36 c #Conflicts: 327000 | #Constraints: 16630
663.94/666.36 c #Conflicts: 328000 | #Constraints: 17630
663.94/666.36 c #Conflicts: 329000 | #Constraints: 18630
663.94/666.36 c #Conflicts: 330000 | #Constraints: 19630
663.94/666.36 c #Conflicts: 331000 | #Constraints: 20630
663.94/666.36 c #Conflicts: 332000 | #Constraints: 21630
663.94/666.36 c #Conflicts: 333000 | #Constraints: 22630
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 334000 | #Constraints: 12230
663.94/666.36 c #Conflicts: 335000 | #Constraints: 13230
663.94/666.36 c #Conflicts: 336000 | #Constraints: 14230
663.94/666.36 c #Conflicts: 337000 | #Constraints: 15230
663.94/666.36 c #Conflicts: 338000 | #Constraints: 16230
663.94/666.36 c #Conflicts: 339000 | #Constraints: 17230
663.94/666.36 c #Conflicts: 340000 | #Constraints: 18230
663.94/666.36 c #Conflicts: 341000 | #Constraints: 19230
663.94/666.36 c #Conflicts: 342000 | #Constraints: 20230
663.94/666.36 c #Conflicts: 343000 | #Constraints: 21230
663.94/666.36 c #Conflicts: 344000 | #Constraints: 22230
663.94/666.36 c #Conflicts: 345000 | #Constraints: 23230
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 346000 | #Constraints: 12628
663.94/666.36 c #Conflicts: 347000 | #Constraints: 13628
663.94/666.36 c #Conflicts: 348000 | #Constraints: 14628
663.94/666.36 c #Conflicts: 349000 | #Constraints: 15628
663.94/666.36 c #Conflicts: 350000 | #Constraints: 16628
663.94/666.36 c #Conflicts: 351000 | #Constraints: 17628
663.94/666.36 c #Conflicts: 352000 | #Constraints: 18628
663.94/666.36 c #Conflicts: 353000 | #Constraints: 19628
663.94/666.36 c #Conflicts: 354000 | #Constraints: 20628
663.94/666.36 c #Conflicts: 355000 | #Constraints: 21628
663.94/666.36 c #Conflicts: 356000 | #Constraints: 22628
663.94/666.36 c #Conflicts: 357000 | #Constraints: 23628
663.94/666.36 c INPROCESSING
663.94/666.36 c GARBAGE COLLECT
663.94/666.36 c #Conflicts: 358000 | #Constraints: 12826
663.94/666.36 c #Conflicts: 359000 | #Constraints: 13826
663.94/666.36 c #Conflicts: 360000 | #Constraints: 14826
663.94/666.36 c #Conflicts: 361000 | #Constraints: 15826
663.94/666.36 c #Conflicts: 362000 | #Constraints: 16826
782.66/785.46 c #Conflicts: 363000 | #Constraints: 17826
782.66/785.46 c #Conflicts: 364000 | #Constraints: 18826
782.66/785.46 c #Conflicts: 365000 | #Constraints: 19826
782.66/785.46 c #Conflicts: 366000 | #Constraints: 20826
782.66/785.46 c #Conflicts: 367000 | #Constraints: 21826
782.66/785.46 c #Conflicts: 368000 | #Constraints: 22826
782.66/785.46 c #Conflicts: 369000 | #Constraints: 23826
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 370000 | #Constraints: 12828
782.66/785.46 c #Conflicts: 371000 | #Constraints: 13828
782.66/785.46 c #Conflicts: 372000 | #Constraints: 14828
782.66/785.46 c #Conflicts: 373000 | #Constraints: 15828
782.66/785.46 c #Conflicts: 374000 | #Constraints: 16828
782.66/785.46 c #Conflicts: 375000 | #Constraints: 17828
782.66/785.46 c #Conflicts: 376000 | #Constraints: 18828
782.66/785.46 c #Conflicts: 377000 | #Constraints: 19828
782.66/785.46 c #Conflicts: 378000 | #Constraints: 20828
782.66/785.46 c #Conflicts: 379000 | #Constraints: 21828
782.66/785.46 c #Conflicts: 380000 | #Constraints: 22828
782.66/785.46 c #Conflicts: 381000 | #Constraints: 23828
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 382000 | #Constraints: 12626
782.66/785.46 c #Conflicts: 383000 | #Constraints: 13626
782.66/785.46 c #Conflicts: 384000 | #Constraints: 14626
782.66/785.46 c #Conflicts: 385000 | #Constraints: 15626
782.66/785.46 c #Conflicts: 386000 | #Constraints: 16626
782.66/785.46 c #Conflicts: 387000 | #Constraints: 17626
782.66/785.46 c #Conflicts: 388000 | #Constraints: 18626
782.66/785.46 c #Conflicts: 389000 | #Constraints: 19626
782.66/785.46 c #Conflicts: 390000 | #Constraints: 20626
782.66/785.46 c #Conflicts: 391000 | #Constraints: 21626
782.66/785.46 c #Conflicts: 392000 | #Constraints: 22626
782.66/785.46 c #Conflicts: 393000 | #Constraints: 23626
782.66/785.46 c #Conflicts: 394000 | #Constraints: 24626
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 395000 | #Constraints: 13229
782.66/785.46 c #Conflicts: 396000 | #Constraints: 14229
782.66/785.46 c #Conflicts: 397000 | #Constraints: 15229
782.66/785.46 c #Conflicts: 398000 | #Constraints: 16229
782.66/785.46 c #Conflicts: 399000 | #Constraints: 17229
782.66/785.46 c #Conflicts: 400000 | #Constraints: 18229
782.66/785.46 c #Conflicts: 401000 | #Constraints: 19229
782.66/785.46 c #Conflicts: 402000 | #Constraints: 20229
782.66/785.46 c #Conflicts: 403000 | #Constraints: 21229
782.66/785.46 c #Conflicts: 404000 | #Constraints: 22229
782.66/785.46 c #Conflicts: 405000 | #Constraints: 23229
782.66/785.46 c #Conflicts: 406000 | #Constraints: 24229
782.66/785.46 c #Conflicts: 407000 | #Constraints: 25229
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 408000 | #Constraints: 13628
782.66/785.46 c #Conflicts: 409000 | #Constraints: 14628
782.66/785.46 c #Conflicts: 410000 | #Constraints: 15628
782.66/785.46 c #Conflicts: 411000 | #Constraints: 16628
782.66/785.46 c #Conflicts: 412000 | #Constraints: 17628
782.66/785.46 c #Conflicts: 413000 | #Constraints: 18628
782.66/785.46 c #Conflicts: 414000 | #Constraints: 19628
782.66/785.46 c #Conflicts: 415000 | #Constraints: 20628
782.66/785.46 c #Conflicts: 416000 | #Constraints: 21628
782.66/785.46 c #Conflicts: 417000 | #Constraints: 22628
782.66/785.46 c #Conflicts: 418000 | #Constraints: 23628
782.66/785.46 c #Conflicts: 419000 | #Constraints: 24628
782.66/785.46 c #Conflicts: 420000 | #Constraints: 25628
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 421000 | #Constraints: 13827
782.66/785.46 c #Conflicts: 422000 | #Constraints: 14827
782.66/785.46 c #Conflicts: 423000 | #Constraints: 15827
782.66/785.46 c #Conflicts: 424000 | #Constraints: 16827
782.66/785.46 c #Conflicts: 425000 | #Constraints: 17827
782.66/785.46 c #Conflicts: 426000 | #Constraints: 18827
782.66/785.46 c #Conflicts: 427000 | #Constraints: 19827
782.66/785.46 c #Conflicts: 428000 | #Constraints: 20827
782.66/785.46 c #Conflicts: 429000 | #Constraints: 21827
782.66/785.46 c #Conflicts: 430000 | #Constraints: 22827
782.66/785.46 c #Conflicts: 431000 | #Constraints: 23827
782.66/785.46 c #Conflicts: 432000 | #Constraints: 24827
782.66/785.46 c #Conflicts: 433000 | #Constraints: 25827
782.66/785.46 c INPROCESSING
782.66/785.46 c GARBAGE COLLECT
782.66/785.46 c #Conflicts: 434000 | #Constraints: 13831
782.66/785.46 c #Conflicts: 435000 | #Constraints: 14831
782.66/785.46 c #Conflicts: 436000 | #Constraints: 15831
782.66/785.46 c #Conflicts: 437000 | #Constraints: 16831
922.62/925.82 c #Conflicts: 438000 | #Constraints: 17831
922.62/925.82 c #Conflicts: 439000 | #Constraints: 18831
922.62/925.82 c #Conflicts: 440000 | #Constraints: 19831
922.62/925.82 c #Conflicts: 441000 | #Constraints: 20831
922.62/925.82 c #Conflicts: 442000 | #Constraints: 21831
922.62/925.82 c #Conflicts: 443000 | #Constraints: 22831
922.62/925.82 c #Conflicts: 444000 | #Constraints: 23831
922.62/925.82 c #Conflicts: 445000 | #Constraints: 24831
922.62/925.82 c #Conflicts: 446000 | #Constraints: 25831
922.62/925.82 c INPROCESSING
922.62/925.82 c GARBAGE COLLECT
922.62/925.82 c #Conflicts: 447000 | #Constraints: 13635
922.62/925.82 c #Conflicts: 448000 | #Constraints: 14635
922.62/925.82 c #Conflicts: 449000 | #Constraints: 15635
922.62/925.82 c #Conflicts: 450000 | #Constraints: 16635
922.62/925.82 c #Conflicts: 451000 | #Constraints: 17635
922.62/925.82 c #Conflicts: 452000 | #Constraints: 18635
922.62/925.82 c #Conflicts: 453000 | #Constraints: 19635
922.62/925.82 c #Conflicts: 454000 | #Constraints: 20635
922.62/925.82 c #Conflicts: 455000 | #Constraints: 21635
922.62/925.82 c #Conflicts: 456000 | #Constraints: 22635
922.62/925.82 c #Conflicts: 457000 | #Constraints: 23635
922.62/925.82 c #Conflicts: 458000 | #Constraints: 24635
922.62/925.82 c #Conflicts: 459000 | #Constraints: 25635
922.62/925.82 c #Conflicts: 460000 | #Constraints: 26635
922.62/925.82 c INPROCESSING
922.62/925.82 c GARBAGE COLLECT
922.62/925.82 c #Conflicts: 461000 | #Constraints: 14234
922.62/925.82 c #Conflicts: 462000 | #Constraints: 15234
922.62/925.82 c #Conflicts: 463000 | #Constraints: 16234
922.62/925.82 c #Conflicts: 464000 | #Constraints: 17234
922.62/925.82 c #Conflicts: 465000 | #Constraints: 18234
922.62/925.82 c #Conflicts: 466000 | #Constraints: 19234
922.62/925.82 c #Conflicts: 467000 | #Constraints: 20234
922.62/925.82 c #Conflicts: 468000 | #Constraints: 21234
922.62/925.82 c #Conflicts: 469000 | #Constraints: 22234
922.62/925.82 c #Conflicts: 470000 | #Constraints: 23234
922.62/925.82 c #Conflicts: 471000 | #Constraints: 24234
922.62/925.82 c #Conflicts: 472000 | #Constraints: 25234
922.62/925.82 c #Conflicts: 473000 | #Constraints: 26234
922.62/925.82 c #Conflicts: 474000 | #Constraints: 27234
922.62/925.82 c INPROCESSING
922.62/925.82 c GARBAGE COLLECT
922.62/925.82 c #Conflicts: 475000 | #Constraints: 14630
922.62/925.82 c #Conflicts: 476000 | #Constraints: 15630
922.62/925.82 c #Conflicts: 477000 | #Constraints: 16630
922.62/925.82 c #Conflicts: 478000 | #Constraints: 17630
922.62/925.82 c #Conflicts: 479000 | #Constraints: 18630
922.62/925.82 c #Conflicts: 480000 | #Constraints: 19630
922.62/925.82 c #Conflicts: 481000 | #Constraints: 20630
922.62/925.82 c #Conflicts: 482000 | #Constraints: 21630
922.62/925.82 c #Conflicts: 483000 | #Constraints: 22630
922.62/925.82 c #Conflicts: 484000 | #Constraints: 23630
922.62/925.82 c #Conflicts: 485000 | #Constraints: 24630
922.62/925.82 c #Conflicts: 486000 | #Constraints: 25630
922.62/925.82 c #Conflicts: 487000 | #Constraints: 26630
922.62/925.82 c #Conflicts: 488000 | #Constraints: 27630
922.62/925.82 c INPROCESSING
922.62/925.82 c GARBAGE COLLECT
922.62/925.82 c #Conflicts: 489000 | #Constraints: 14832
922.62/925.82 c #Conflicts: 490000 | #Constraints: 15832
922.62/925.82 c #Conflicts: 491000 | #Constraints: 16832
922.62/925.82 c #Conflicts: 492000 | #Constraints: 17832
922.62/925.82 c #Conflicts: 493000 | #Constraints: 18832
922.62/925.82 c #Conflicts: 494000 | #Constraints: 19832
922.62/925.82 c #Conflicts: 495000 | #Constraints: 20832
922.62/925.82 c #Conflicts: 496000 | #Constraints: 21832
922.62/925.82 c #Conflicts: 497000 | #Constraints: 22832
922.62/925.82 c #Conflicts: 498000 | #Constraints: 23832
922.62/925.82 c #Conflicts: 499000 | #Constraints: 24832
922.62/925.82 c #Conflicts: 500000 | #Constraints: 25832
922.62/925.82 c #Conflicts: 501000 | #Constraints: 26832
922.62/925.82 c #Conflicts: 502000 | #Constraints: 27832
922.62/925.82 c INPROCESSING
922.62/925.82 c GARBAGE COLLECT
922.62/925.82 c #Conflicts: 503000 | #Constraints: 14833
922.62/925.82 c #Conflicts: 504000 | #Constraints: 15833
922.62/925.82 c #Conflicts: 505000 | #Constraints: 16833
922.62/925.82 c #Conflicts: 506000 | #Constraints: 17833
922.62/925.82 c #Conflicts: 507000 | #Constraints: 18833
922.62/925.82 c #Conflicts: 508000 | #Constraints: 19833
922.62/925.82 c #Conflicts: 509000 | #Constraints: 20833
922.62/925.82 c #Conflicts: 510000 | #Constraints: 21833
922.62/925.82 c #Conflicts: 511000 | #Constraints: 22833
922.62/925.82 c #Conflicts: 512000 | #Constraints: 23833
922.62/925.82 c #Conflicts: 513000 | #Constraints: 24833
1059.91/1063.53 c #Conflicts: 514000 | #Constraints: 25833
1059.91/1063.53 c #Conflicts: 515000 | #Constraints: 26833
1059.91/1063.53 c #Conflicts: 516000 | #Constraints: 27833
1059.91/1063.53 c INPROCESSING
1059.91/1063.53 c GARBAGE COLLECT
1059.91/1063.53 c #Conflicts: 517000 | #Constraints: 14631
1059.91/1063.53 c #Conflicts: 518000 | #Constraints: 15631
1059.91/1063.53 c #Conflicts: 519000 | #Constraints: 16631
1059.91/1063.53 c #Conflicts: 520000 | #Constraints: 17631
1059.91/1063.53 c #Conflicts: 521000 | #Constraints: 18631
1059.91/1063.53 c #Conflicts: 522000 | #Constraints: 19631
1059.91/1063.53 c #Conflicts: 523000 | #Constraints: 20631
1059.91/1063.53 c #Conflicts: 524000 | #Constraints: 21631
1059.91/1063.53 c #Conflicts: 525000 | #Constraints: 22631
1059.91/1063.53 c #Conflicts: 526000 | #Constraints: 23631
1059.91/1063.53 c #Conflicts: 527000 | #Constraints: 24631
1059.91/1063.53 c #Conflicts: 528000 | #Constraints: 25631
1059.91/1063.53 c #Conflicts: 529000 | #Constraints: 26631
1059.91/1063.53 c #Conflicts: 530000 | #Constraints: 27631
1059.91/1063.53 c #Conflicts: 531000 | #Constraints: 28631
1059.91/1063.53 c INPROCESSING
1059.91/1063.53 c GARBAGE COLLECT
1059.91/1063.53 c #Conflicts: 532000 | #Constraints: 15230
1059.91/1063.53 c #Conflicts: 533000 | #Constraints: 16230
1059.91/1063.53 c #Conflicts: 534000 | #Constraints: 17230
1059.91/1063.53 c #Conflicts: 535000 | #Constraints: 18230
1059.91/1063.53 c #Conflicts: 536000 | #Constraints: 19230
1059.91/1063.53 c #Conflicts: 537000 | #Constraints: 20230
1059.91/1063.53 c #Conflicts: 538000 | #Constraints: 21230
1059.91/1063.53 c #Conflicts: 539000 | #Constraints: 22230
1059.91/1063.53 c #Conflicts: 540000 | #Constraints: 23230
1059.91/1063.53 c #Conflicts: 541000 | #Constraints: 24230
1059.91/1063.53 c #Conflicts: 542000 | #Constraints: 25230
1059.91/1063.53 c #Conflicts: 543000 | #Constraints: 26230
1059.91/1063.53 c #Conflicts: 544000 | #Constraints: 27230
1059.91/1063.53 c #Conflicts: 545000 | #Constraints: 28230
1059.91/1063.53 c #Conflicts: 546000 | #Constraints: 29230
1059.91/1063.53 c INPROCESSING
1059.91/1063.53 c GARBAGE COLLECT
1059.91/1063.53 c #Conflicts: 547000 | #Constraints: 15631
1059.91/1063.53 c #Conflicts: 548000 | #Constraints: 16631
1059.91/1063.53 c #Conflicts: 549000 | #Constraints: 17631
1059.91/1063.53 c #Conflicts: 550000 | #Constraints: 18631
1059.91/1063.53 c #Conflicts: 551000 | #Constraints: 19631
1059.91/1063.53 c #Conflicts: 552000 | #Constraints: 20631
1059.91/1063.53 c #Conflicts: 553000 | #Constraints: 21631
1059.91/1063.53 c #Conflicts: 554000 | #Constraints: 22631
1059.91/1063.53 c #Conflicts: 555000 | #Constraints: 23631
1059.91/1063.53 c #Conflicts: 556000 | #Constraints: 24631
1059.91/1063.53 c #Conflicts: 557000 | #Constraints: 25631
1059.91/1063.53 c #Conflicts: 558000 | #Constraints: 26631
1059.91/1063.53 c #Conflicts: 559000 | #Constraints: 27631
1059.91/1063.53 c #Conflicts: 560000 | #Constraints: 28631
1059.91/1063.53 c #Conflicts: 561000 | #Constraints: 29631
1059.91/1063.53 c INPROCESSING
1059.91/1063.53 c GARBAGE COLLECT
1059.91/1063.53 c #Conflicts: 562000 | #Constraints: 15830
1059.91/1063.53 c #Conflicts: 563000 | #Constraints: 16830
1059.91/1063.53 c #Conflicts: 564000 | #Constraints: 17830
1059.91/1063.53 c #Conflicts: 565000 | #Constraints: 18830
1059.91/1063.53 c #Conflicts: 566000 | #Constraints: 19830
1059.91/1063.53 c #Conflicts: 567000 | #Constraints: 20830
1059.91/1063.53 c #Conflicts: 568000 | #Constraints: 21830
1059.91/1063.53 c #Conflicts: 569000 | #Constraints: 22830
1059.91/1063.53 c #Conflicts: 570000 | #Constraints: 23830
1059.91/1063.53 c #Conflicts: 571000 | #Constraints: 24830
1059.91/1063.53 c #Conflicts: 572000 | #Constraints: 25830
1059.91/1063.53 c #Conflicts: 573000 | #Constraints: 26830
1059.91/1063.53 c #Conflicts: 574000 | #Constraints: 27830
1059.91/1063.53 c #Conflicts: 575000 | #Constraints: 28830
1059.91/1063.53 c #Conflicts: 576000 | #Constraints: 29830
1059.91/1063.53 c INPROCESSING
1059.91/1063.53 c GARBAGE COLLECT
1059.91/1063.53 c #Conflicts: 577000 | #Constraints: 15831
1059.91/1063.53 c #Conflicts: 578000 | #Constraints: 16831
1059.91/1063.53 c #Conflicts: 579000 | #Constraints: 17831
1059.91/1063.53 c #Conflicts: 580000 | #Constraints: 18831
1059.91/1063.53 c #Conflicts: 581000 | #Constraints: 19831
1059.91/1063.53 c #Conflicts: 582000 | #Constraints: 20831
1059.91/1063.53 c #Conflicts: 583000 | #Constraints: 21831
1059.91/1063.53 c #Conflicts: 584000 | #Constraints: 22831
1059.91/1063.53 c #Conflicts: 585000 | #Constraints: 23831
1059.91/1063.53 c #Conflicts: 586000 | #Constraints: 24831
1059.91/1063.53 c #Conflicts: 587000 | #Constraints: 25831
1059.91/1063.53 c #Conflicts: 588000 | #Constraints: 26831
1209.35/1213.43 c #Conflicts: 589000 | #Constraints: 27831
1209.35/1213.43 c #Conflicts: 590000 | #Constraints: 28831
1209.35/1213.43 c #Conflicts: 591000 | #Constraints: 29831
1209.35/1213.43 c INPROCESSING
1209.35/1213.43 c GARBAGE COLLECT
1209.35/1213.43 c #Conflicts: 592000 | #Constraints: 15631
1209.35/1213.43 c #Conflicts: 593000 | #Constraints: 16631
1209.35/1213.43 c #Conflicts: 594000 | #Constraints: 17631
1209.35/1213.43 c #Conflicts: 595000 | #Constraints: 18631
1209.35/1213.43 c #Conflicts: 596000 | #Constraints: 19631
1209.35/1213.43 c #Conflicts: 597000 | #Constraints: 20631
1209.35/1213.43 c #Conflicts: 598000 | #Constraints: 21631
1209.35/1213.43 c #Conflicts: 599000 | #Constraints: 22631
1209.35/1213.43 c #Conflicts: 600000 | #Constraints: 23631
1209.35/1213.43 c #Conflicts: 601000 | #Constraints: 24631
1209.35/1213.43 c #Conflicts: 602000 | #Constraints: 25631
1209.35/1213.43 c #Conflicts: 603000 | #Constraints: 26631
1209.35/1213.43 c #Conflicts: 604000 | #Constraints: 27631
1209.35/1213.43 c #Conflicts: 605000 | #Constraints: 28631
1209.35/1213.43 c #Conflicts: 606000 | #Constraints: 29631
1209.35/1213.43 c #Conflicts: 607000 | #Constraints: 30631
1209.35/1213.43 c INPROCESSING
1209.35/1213.43 c GARBAGE COLLECT
1209.35/1213.43 c #Conflicts: 608000 | #Constraints: 16231
1209.35/1213.43 c #Conflicts: 609000 | #Constraints: 17231
1209.35/1213.43 c #Conflicts: 610000 | #Constraints: 18231
1209.35/1213.43 c #Conflicts: 611000 | #Constraints: 19231
1209.35/1213.43 c #Conflicts: 612000 | #Constraints: 20231
1209.35/1213.43 c #Conflicts: 613000 | #Constraints: 21231
1209.35/1213.43 c #Conflicts: 614000 | #Constraints: 22231
1209.35/1213.43 c #Conflicts: 615000 | #Constraints: 23231
1209.35/1213.43 c #Conflicts: 616000 | #Constraints: 24231
1209.35/1213.43 c #Conflicts: 617000 | #Constraints: 25231
1209.35/1213.43 c #Conflicts: 618000 | #Constraints: 26231
1209.35/1213.43 c #Conflicts: 619000 | #Constraints: 27231
1209.35/1213.43 c #Conflicts: 620000 | #Constraints: 28231
1209.35/1213.43 c #Conflicts: 621000 | #Constraints: 29231
1209.35/1213.43 c #Conflicts: 622000 | #Constraints: 30231
1209.35/1213.43 c #Conflicts: 623000 | #Constraints: 31231
1209.35/1213.43 c INPROCESSING
1209.35/1213.43 c GARBAGE COLLECT
1209.35/1213.43 c #Conflicts: 624000 | #Constraints: 16632
1209.35/1213.43 c #Conflicts: 625000 | #Constraints: 17632
1209.35/1213.43 c #Conflicts: 626000 | #Constraints: 18632
1209.35/1213.43 c #Conflicts: 627000 | #Constraints: 19632
1209.35/1213.43 c #Conflicts: 628000 | #Constraints: 20632
1209.35/1213.43 c #Conflicts: 629000 | #Constraints: 21632
1209.35/1213.43 c #Conflicts: 630000 | #Constraints: 22632
1209.35/1213.43 c #Conflicts: 631000 | #Constraints: 23632
1209.35/1213.43 c #Conflicts: 632000 | #Constraints: 24632
1209.35/1213.43 c #Conflicts: 633000 | #Constraints: 25632
1209.35/1213.43 c #Conflicts: 634000 | #Constraints: 26632
1209.35/1213.43 c #Conflicts: 635000 | #Constraints: 27632
1209.35/1213.43 c #Conflicts: 636000 | #Constraints: 28632
1209.35/1213.43 c #Conflicts: 637000 | #Constraints: 29632
1209.35/1213.43 c #Conflicts: 638000 | #Constraints: 30632
1209.35/1213.43 c #Conflicts: 639000 | #Constraints: 31632
1209.35/1213.43 c INPROCESSING
1209.35/1213.43 c GARBAGE COLLECT
1209.35/1213.43 c #Conflicts: 640000 | #Constraints: 16827
1209.35/1213.43 c #Conflicts: 641000 | #Constraints: 17827
1209.35/1213.43 c #Conflicts: 642000 | #Constraints: 18827
1209.35/1213.43 c #Conflicts: 643000 | #Constraints: 19827
1209.35/1213.43 c #Conflicts: 644000 | #Constraints: 20827
1209.35/1213.43 c #Conflicts: 645000 | #Constraints: 21827
1209.35/1213.43 c #Conflicts: 646000 | #Constraints: 22827
1209.35/1213.43 c #Conflicts: 647000 | #Constraints: 23827
1209.35/1213.43 c #Conflicts: 648000 | #Constraints: 24827
1209.35/1213.43 c #Conflicts: 649000 | #Constraints: 25827
1209.35/1213.43 c #Conflicts: 650000 | #Constraints: 26827
1209.35/1213.43 c #Conflicts: 651000 | #Constraints: 27827
1209.35/1213.43 c #Conflicts: 652000 | #Constraints: 28827
1209.35/1213.43 c #Conflicts: 653000 | #Constraints: 29827
1209.35/1213.43 c #Conflicts: 654000 | #Constraints: 30827
1209.35/1213.43 c #Conflicts: 655000 | #Constraints: 31827
1209.35/1213.43 c INPROCESSING
1209.35/1213.43 c GARBAGE COLLECT
1209.35/1213.43 c #Conflicts: 656000 | #Constraints: 16831
1209.35/1213.43 c #Conflicts: 657000 | #Constraints: 17831
1209.35/1213.43 c #Conflicts: 658000 | #Constraints: 18831
1209.35/1213.43 c #Conflicts: 659000 | #Constraints: 19831
1209.35/1213.43 c #Conflicts: 660000 | #Constraints: 20831
1209.35/1213.43 c #Conflicts: 661000 | #Constraints: 21831
1209.35/1213.43 c #Conflicts: 662000 | #Constraints: 22831
1209.35/1213.43 c #Conflicts: 663000 | #Constraints: 23831
1209.35/1213.43 c #Conflicts: 664000 | #Constraints: 24831
1382.12/1386.80 c #Conflicts: 665000 | #Constraints: 25831
1382.12/1386.80 c #Conflicts: 666000 | #Constraints: 26831
1382.12/1386.80 c #Conflicts: 667000 | #Constraints: 27831
1382.12/1386.80 c #Conflicts: 668000 | #Constraints: 28831
1382.12/1386.80 c #Conflicts: 669000 | #Constraints: 29831
1382.12/1386.80 c #Conflicts: 670000 | #Constraints: 30831
1382.12/1386.80 c #Conflicts: 671000 | #Constraints: 31831
1382.12/1386.80 c INPROCESSING
1382.12/1386.80 c GARBAGE COLLECT
1382.12/1386.80 c #Conflicts: 672000 | #Constraints: 16626
1382.12/1386.80 c #Conflicts: 673000 | #Constraints: 17626
1382.12/1386.80 c #Conflicts: 674000 | #Constraints: 18626
1382.12/1386.80 c #Conflicts: 675000 | #Constraints: 19626
1382.12/1386.80 c #Conflicts: 676000 | #Constraints: 20626
1382.12/1386.80 c #Conflicts: 677000 | #Constraints: 21626
1382.12/1386.80 c #Conflicts: 678000 | #Constraints: 22626
1382.12/1386.80 c #Conflicts: 679000 | #Constraints: 23626
1382.12/1386.80 c #Conflicts: 680000 | #Constraints: 24626
1382.12/1386.80 c #Conflicts: 681000 | #Constraints: 25626
1382.12/1386.80 c #Conflicts: 682000 | #Constraints: 26626
1382.12/1386.80 c #Conflicts: 683000 | #Constraints: 27626
1382.12/1386.80 c #Conflicts: 684000 | #Constraints: 28626
1382.12/1386.80 c #Conflicts: 685000 | #Constraints: 29626
1382.12/1386.80 c #Conflicts: 686000 | #Constraints: 30626
1382.12/1386.80 c #Conflicts: 687000 | #Constraints: 31626
1382.12/1386.80 c #Conflicts: 688000 | #Constraints: 32626
1382.12/1386.80 c INPROCESSING
1382.12/1386.80 c GARBAGE COLLECT
1382.12/1386.80 c #Conflicts: 689000 | #Constraints: 17229
1382.12/1386.80 c #Conflicts: 690000 | #Constraints: 18229
1382.12/1386.80 c #Conflicts: 691000 | #Constraints: 19229
1382.12/1386.80 c #Conflicts: 692000 | #Constraints: 20229
1382.12/1386.80 c #Conflicts: 693000 | #Constraints: 21229
1382.12/1386.80 c #Conflicts: 694000 | #Constraints: 22229
1382.12/1386.80 c #Conflicts: 695000 | #Constraints: 23229
1382.12/1386.80 c #Conflicts: 696000 | #Constraints: 24229
1382.12/1386.80 c #Conflicts: 697000 | #Constraints: 25229
1382.12/1386.80 c #Conflicts: 698000 | #Constraints: 26229
1382.12/1386.80 c #Conflicts: 699000 | #Constraints: 27229
1382.12/1386.80 c #Conflicts: 700000 | #Constraints: 28229
1382.12/1386.80 c #Conflicts: 701000 | #Constraints: 29229
1382.12/1386.80 c #Conflicts: 702000 | #Constraints: 30229
1382.12/1386.80 c #Conflicts: 703000 | #Constraints: 31229
1382.12/1386.80 c #Conflicts: 704000 | #Constraints: 32229
1382.12/1386.80 c #Conflicts: 705000 | #Constraints: 33229
1382.12/1386.80 c INPROCESSING
1382.12/1386.80 c GARBAGE COLLECT
1382.12/1386.80 c #Conflicts: 706000 | #Constraints: 17631
1382.12/1386.80 c #Conflicts: 707000 | #Constraints: 18631
1382.12/1386.80 c #Conflicts: 708000 | #Constraints: 19631
1382.12/1386.80 c #Conflicts: 709000 | #Constraints: 20631
1382.12/1386.80 c #Conflicts: 710000 | #Constraints: 21631
1382.12/1386.80 c #Conflicts: 711000 | #Constraints: 22631
1382.12/1386.80 c #Conflicts: 712000 | #Constraints: 23631
1382.12/1386.80 c #Conflicts: 713000 | #Constraints: 24631
1382.12/1386.80 c #Conflicts: 714000 | #Constraints: 25631
1382.12/1386.80 c #Conflicts: 715000 | #Constraints: 26631
1382.12/1386.80 c #Conflicts: 716000 | #Constraints: 27631
1382.12/1386.80 c #Conflicts: 717000 | #Constraints: 28631
1382.12/1386.80 c #Conflicts: 718000 | #Constraints: 29631
1382.12/1386.80 c #Conflicts: 719000 | #Constraints: 30631
1382.12/1386.80 c #Conflicts: 720000 | #Constraints: 31631
1382.12/1386.80 c #Conflicts: 721000 | #Constraints: 32631
1382.12/1386.80 c #Conflicts: 722000 | #Constraints: 33631
1382.12/1386.80 c INPROCESSING
1382.12/1386.80 c GARBAGE COLLECT
1382.12/1386.80 c #Conflicts: 723000 | #Constraints: 17834
1382.12/1386.80 c #Conflicts: 724000 | #Constraints: 18834
1382.12/1386.80 c #Conflicts: 725000 | #Constraints: 19834
1382.12/1386.80 c #Conflicts: 726000 | #Constraints: 20834
1382.12/1386.80 c #Conflicts: 727000 | #Constraints: 21834
1382.12/1386.80 c #Conflicts: 728000 | #Constraints: 22834
1382.12/1386.80 c #Conflicts: 729000 | #Constraints: 23834
1382.12/1386.80 c #Conflicts: 730000 | #Constraints: 24834
1382.12/1386.80 c #Conflicts: 731000 | #Constraints: 25834
1382.12/1386.80 c #Conflicts: 732000 | #Constraints: 26834
1382.12/1386.80 c #Conflicts: 733000 | #Constraints: 27834
1382.12/1386.80 c #Conflicts: 734000 | #Constraints: 28834
1382.12/1386.80 c #Conflicts: 735000 | #Constraints: 29834
1382.12/1386.80 c #Conflicts: 736000 | #Constraints: 30834
1382.12/1386.80 c #Conflicts: 737000 | #Constraints: 31834
1382.12/1386.80 c #Conflicts: 738000 | #Constraints: 32834
1382.12/1386.80 c #Conflicts: 739000 | #Constraints: 33834
1382.12/1386.80 c INPROCESSING
1382.12/1386.80 c GARBAGE COLLECT
1553.06/1558.38 c #Conflicts: 740000 | #Constraints: 17834
1553.06/1558.38 c #Conflicts: 741000 | #Constraints: 18834
1553.06/1558.38 c #Conflicts: 742000 | #Constraints: 19834
1553.06/1558.38 c #Conflicts: 743000 | #Constraints: 20834
1553.06/1558.38 c #Conflicts: 744000 | #Constraints: 21834
1553.06/1558.38 c #Conflicts: 745000 | #Constraints: 22834
1553.06/1558.38 c #Conflicts: 746000 | #Constraints: 23834
1553.06/1558.38 c #Conflicts: 747000 | #Constraints: 24834
1553.06/1558.38 c #Conflicts: 748000 | #Constraints: 25834
1553.06/1558.38 c #Conflicts: 749000 | #Constraints: 26834
1553.06/1558.38 c #Conflicts: 750000 | #Constraints: 27834
1553.06/1558.38 c #Conflicts: 751000 | #Constraints: 28834
1553.06/1558.38 c #Conflicts: 752000 | #Constraints: 29834
1553.06/1558.38 c #Conflicts: 753000 | #Constraints: 30834
1553.06/1558.38 c #Conflicts: 754000 | #Constraints: 31834
1553.06/1558.38 c #Conflicts: 755000 | #Constraints: 32834
1553.06/1558.38 c #Conflicts: 756000 | #Constraints: 33834
1553.06/1558.38 c INPROCESSING
1553.06/1558.38 c GARBAGE COLLECT
1553.06/1558.38 c #Conflicts: 757000 | #Constraints: 17633
1553.06/1558.38 c #Conflicts: 758000 | #Constraints: 18633
1553.06/1558.38 c #Conflicts: 759000 | #Constraints: 19633
1553.06/1558.38 c #Conflicts: 760000 | #Constraints: 20633
1553.06/1558.38 c #Conflicts: 761000 | #Constraints: 21633
1553.06/1558.38 c #Conflicts: 762000 | #Constraints: 22633
1553.06/1558.38 c #Conflicts: 763000 | #Constraints: 23633
1553.06/1558.38 c #Conflicts: 764000 | #Constraints: 24633
1553.06/1558.38 c #Conflicts: 765000 | #Constraints: 25633
1553.06/1558.38 c #Conflicts: 766000 | #Constraints: 26633
1553.06/1558.38 c #Conflicts: 767000 | #Constraints: 27633
1553.06/1558.38 c #Conflicts: 768000 | #Constraints: 28633
1553.06/1558.38 c #Conflicts: 769000 | #Constraints: 29633
1553.06/1558.38 c #Conflicts: 770000 | #Constraints: 30633
1553.06/1558.38 c #Conflicts: 771000 | #Constraints: 31633
1553.06/1558.38 c #Conflicts: 772000 | #Constraints: 32633
1553.06/1558.38 c #Conflicts: 773000 | #Constraints: 33633
1553.06/1558.38 c #Conflicts: 774000 | #Constraints: 34633
1553.06/1558.38 c INPROCESSING
1553.06/1558.38 c GARBAGE COLLECT
1553.06/1558.38 c #Conflicts: 775000 | #Constraints: 18233
1553.06/1558.38 c #Conflicts: 776000 | #Constraints: 19233
1553.06/1558.38 c #Conflicts: 777000 | #Constraints: 20233
1553.06/1558.38 c #Conflicts: 778000 | #Constraints: 21233
1553.06/1558.38 c #Conflicts: 779000 | #Constraints: 22233
1553.06/1558.38 c #Conflicts: 780000 | #Constraints: 23233
1553.06/1558.38 c #Conflicts: 781000 | #Constraints: 24233
1553.06/1558.38 c #Conflicts: 782000 | #Constraints: 25233
1553.06/1558.38 c #Conflicts: 783000 | #Constraints: 26233
1553.06/1558.38 c #Conflicts: 784000 | #Constraints: 27233
1553.06/1558.38 c #Conflicts: 785000 | #Constraints: 28233
1553.06/1558.38 c #Conflicts: 786000 | #Constraints: 29233
1553.06/1558.38 c #Conflicts: 787000 | #Constraints: 30233
1553.06/1558.38 c #Conflicts: 788000 | #Constraints: 31233
1553.06/1558.38 c #Conflicts: 789000 | #Constraints: 32233
1553.06/1558.38 c #Conflicts: 790000 | #Constraints: 33233
1553.06/1558.38 c #Conflicts: 791000 | #Constraints: 34233
1553.06/1558.38 c #Conflicts: 792000 | #Constraints: 35233
1553.06/1558.38 c INPROCESSING
1553.06/1558.38 c GARBAGE COLLECT
1553.06/1558.38 c #Conflicts: 793000 | #Constraints: 18632
1553.06/1558.38 c #Conflicts: 794000 | #Constraints: 19632
1553.06/1558.38 c #Conflicts: 795000 | #Constraints: 20632
1553.06/1558.38 c #Conflicts: 796000 | #Constraints: 21632
1553.06/1558.38 c #Conflicts: 797000 | #Constraints: 22632
1553.06/1558.38 c #Conflicts: 798000 | #Constraints: 23632
1553.06/1558.38 c #Conflicts: 799000 | #Constraints: 24632
1553.06/1558.38 c #Conflicts: 800000 | #Constraints: 25632
1553.06/1558.38 c #Conflicts: 801000 | #Constraints: 26632
1553.06/1558.38 c #Conflicts: 802000 | #Constraints: 27632
1553.06/1558.38 c #Conflicts: 803000 | #Constraints: 28632
1553.06/1558.38 c #Conflicts: 804000 | #Constraints: 29632
1553.06/1558.38 c #Conflicts: 805000 | #Constraints: 30632
1553.06/1558.38 c #Conflicts: 806000 | #Constraints: 31632
1553.06/1558.38 c #Conflicts: 807000 | #Constraints: 32632
1553.06/1558.38 c #Conflicts: 808000 | #Constraints: 33632
1553.06/1558.38 c #Conflicts: 809000 | #Constraints: 34632
1553.06/1558.38 c #Conflicts: 810000 | #Constraints: 35632
1553.06/1558.38 c INPROCESSING
1553.06/1558.38 c GARBAGE COLLECT
1553.06/1558.38 c #Conflicts: 811000 | #Constraints: 18833
1553.06/1558.38 c #Conflicts: 812000 | #Constraints: 19833
1553.06/1558.38 c #Conflicts: 813000 | #Constraints: 20833
1553.06/1558.38 c #Conflicts: 814000 | #Constraints: 21833
1553.06/1558.38 c #Conflicts: 815000 | #Constraints: 22833
1553.06/1558.38 c #Conflicts: 816000 | #Constraints: 23833
1731.82/1737.60 c #Conflicts: 817000 | #Constraints: 24833
1731.82/1737.60 c #Conflicts: 818000 | #Constraints: 25833
1731.82/1737.60 c #Conflicts: 819000 | #Constraints: 26833
1731.82/1737.60 c #Conflicts: 820000 | #Constraints: 27833
1731.82/1737.60 c #Conflicts: 821000 | #Constraints: 28833
1731.82/1737.60 c #Conflicts: 822000 | #Constraints: 29833
1731.82/1737.60 c #Conflicts: 823000 | #Constraints: 30833
1731.82/1737.60 c #Conflicts: 824000 | #Constraints: 31833
1731.82/1737.60 c #Conflicts: 825000 | #Constraints: 32833
1731.82/1737.60 c #Conflicts: 826000 | #Constraints: 33833
1731.82/1737.60 c #Conflicts: 827000 | #Constraints: 34833
1731.82/1737.60 c #Conflicts: 828000 | #Constraints: 35833
1731.82/1737.60 c INPROCESSING
1731.82/1737.60 c GARBAGE COLLECT
1731.82/1737.60 c #Conflicts: 829000 | #Constraints: 18830
1731.82/1737.60 c #Conflicts: 830000 | #Constraints: 19830
1731.82/1737.60 c #Conflicts: 831000 | #Constraints: 20830
1731.82/1737.60 c #Conflicts: 832000 | #Constraints: 21830
1731.82/1737.60 c #Conflicts: 833000 | #Constraints: 22830
1731.82/1737.60 c #Conflicts: 834000 | #Constraints: 23830
1731.82/1737.60 c #Conflicts: 835000 | #Constraints: 24830
1731.82/1737.60 c #Conflicts: 836000 | #Constraints: 25830
1731.82/1737.60 c #Conflicts: 837000 | #Constraints: 26830
1731.82/1737.60 c #Conflicts: 838000 | #Constraints: 27830
1731.82/1737.60 c #Conflicts: 839000 | #Constraints: 28830
1731.82/1737.60 c #Conflicts: 840000 | #Constraints: 29830
1731.82/1737.60 c #Conflicts: 841000 | #Constraints: 30830
1731.82/1737.60 c #Conflicts: 842000 | #Constraints: 31830
1731.82/1737.60 c #Conflicts: 843000 | #Constraints: 32830
1731.82/1737.60 c #Conflicts: 844000 | #Constraints: 33830
1731.82/1737.60 c #Conflicts: 845000 | #Constraints: 34830
1731.82/1737.60 c #Conflicts: 846000 | #Constraints: 35830
1731.82/1737.60 c INPROCESSING
1731.82/1737.60 c GARBAGE COLLECT
1731.82/1737.60 c #Conflicts: 847000 | #Constraints: 18631
1731.82/1737.60 c #Conflicts: 848000 | #Constraints: 19631
1731.82/1737.60 c #Conflicts: 849000 | #Constraints: 20631
1731.82/1737.60 c #Conflicts: 850000 | #Constraints: 21631
1731.82/1737.60 c #Conflicts: 851000 | #Constraints: 22631
1731.82/1737.60 c #Conflicts: 852000 | #Constraints: 23631
1731.82/1737.60 c #Conflicts: 853000 | #Constraints: 24631
1731.82/1737.60 c #Conflicts: 854000 | #Constraints: 25631
1731.82/1737.60 c #Conflicts: 855000 | #Constraints: 26631
1731.82/1737.60 c #Conflicts: 856000 | #Constraints: 27631
1731.82/1737.60 c #Conflicts: 857000 | #Constraints: 28631
1731.82/1737.60 c #Conflicts: 858000 | #Constraints: 29631
1731.82/1737.60 c #Conflicts: 859000 | #Constraints: 30631
1731.82/1737.60 c #Conflicts: 860000 | #Constraints: 31631
1731.82/1737.60 c #Conflicts: 861000 | #Constraints: 32631
1731.82/1737.60 c #Conflicts: 862000 | #Constraints: 33631
1731.82/1737.60 c #Conflicts: 863000 | #Constraints: 34631
1731.82/1737.60 c #Conflicts: 864000 | #Constraints: 35631
1731.82/1737.60 c #Conflicts: 865000 | #Constraints: 36631
1731.82/1737.60 c INPROCESSING
1731.82/1737.60 c GARBAGE COLLECT
1731.82/1737.60 c #Conflicts: 866000 | #Constraints: 19229
1731.82/1737.60 c #Conflicts: 867000 | #Constraints: 20229
1731.82/1737.60 c #Conflicts: 868000 | #Constraints: 21229
1731.82/1737.60 c #Conflicts: 869000 | #Constraints: 22229
1731.82/1737.60 c #Conflicts: 870000 | #Constraints: 23229
1731.82/1737.60 c #Conflicts: 871000 | #Constraints: 24229
1731.82/1737.60 c #Conflicts: 872000 | #Constraints: 25229
1731.82/1737.60 c #Conflicts: 873000 | #Constraints: 26229
1731.82/1737.60 c #Conflicts: 874000 | #Constraints: 27229
1731.82/1737.60 c #Conflicts: 875000 | #Constraints: 28229
1731.82/1737.60 c #Conflicts: 876000 | #Constraints: 29229
1731.82/1737.60 c #Conflicts: 877000 | #Constraints: 30229
1731.82/1737.60 c #Conflicts: 878000 | #Constraints: 31229
1731.82/1737.60 c #Conflicts: 879000 | #Constraints: 32229
1731.82/1737.60 c #Conflicts: 880000 | #Constraints: 33229
1731.82/1737.60 c #Conflicts: 881000 | #Constraints: 34229
1731.82/1737.60 c #Conflicts: 882000 | #Constraints: 35229
1731.82/1737.60 c #Conflicts: 883000 | #Constraints: 36229
1731.82/1737.60 c #Conflicts: 884000 | #Constraints: 37229
1731.82/1737.60 c INPROCESSING
1731.82/1737.60 c GARBAGE COLLECT
1731.82/1737.60 c #Conflicts: 885000 | #Constraints: 19631
1731.82/1737.60 c #Conflicts: 886000 | #Constraints: 20631
1731.82/1737.60 c #Conflicts: 887000 | #Constraints: 21631
1731.82/1737.60 c #Conflicts: 888000 | #Constraints: 22631
1731.82/1737.60 c #Conflicts: 889000 | #Constraints: 23631
1731.82/1737.60 c #Conflicts: 890000 | #Constraints: 24631
1731.82/1737.60 c #Conflicts: 891000 | #Constraints: 25631
1731.82/1737.60 c #Conflicts: 892000 | #Constraints: 26631
1923.64/1930.01 c #Conflicts: 893000 | #Constraints: 27631
1923.64/1930.01 c #Conflicts: 894000 | #Constraints: 28631
1923.64/1930.01 c #Conflicts: 895000 | #Constraints: 29631
1923.64/1930.01 c #Conflicts: 896000 | #Constraints: 30631
1923.64/1930.01 c #Conflicts: 897000 | #Constraints: 31631
1923.64/1930.01 c #Conflicts: 898000 | #Constraints: 32631
1923.64/1930.01 c #Conflicts: 899000 | #Constraints: 33631
1923.64/1930.01 c #Conflicts: 900000 | #Constraints: 34631
1923.64/1930.01 c #Conflicts: 901000 | #Constraints: 35631
1923.64/1930.01 c #Conflicts: 902000 | #Constraints: 36631
1923.64/1930.01 c #Conflicts: 903000 | #Constraints: 37631
1923.64/1930.01 c INPROCESSING
1923.64/1930.01 c GARBAGE COLLECT
1923.64/1930.01 c #Conflicts: 904000 | #Constraints: 19829
1923.64/1930.01 c #Conflicts: 905000 | #Constraints: 20829
1923.64/1930.01 c #Conflicts: 906000 | #Constraints: 21829
1923.64/1930.01 c #Conflicts: 907000 | #Constraints: 22829
1923.64/1930.01 c #Conflicts: 908000 | #Constraints: 23829
1923.64/1930.01 c #Conflicts: 909000 | #Constraints: 24829
1923.64/1930.01 c #Conflicts: 910000 | #Constraints: 25829
1923.64/1930.01 c #Conflicts: 911000 | #Constraints: 26829
1923.64/1930.01 c #Conflicts: 912000 | #Constraints: 27829
1923.64/1930.01 c #Conflicts: 913000 | #Constraints: 28829
1923.64/1930.01 c #Conflicts: 914000 | #Constraints: 29829
1923.64/1930.01 c #Conflicts: 915000 | #Constraints: 30829
1923.64/1930.01 c #Conflicts: 916000 | #Constraints: 31829
1923.64/1930.01 c #Conflicts: 917000 | #Constraints: 32829
1923.64/1930.01 c #Conflicts: 918000 | #Constraints: 33829
1923.64/1930.01 c #Conflicts: 919000 | #Constraints: 34829
1923.64/1930.01 c #Conflicts: 920000 | #Constraints: 35829
1923.64/1930.01 c #Conflicts: 921000 | #Constraints: 36829
1923.64/1930.01 c #Conflicts: 922000 | #Constraints: 37829
1923.64/1930.01 c INPROCESSING
1923.64/1930.01 c GARBAGE COLLECT
1923.64/1930.01 c #Conflicts: 923000 | #Constraints: 19829
1923.64/1930.01 c #Conflicts: 924000 | #Constraints: 20829
1923.64/1930.01 c #Conflicts: 925000 | #Constraints: 21829
1923.64/1930.01 c #Conflicts: 926000 | #Constraints: 22829
1923.64/1930.01 c #Conflicts: 927000 | #Constraints: 23829
1923.64/1930.01 c #Conflicts: 928000 | #Constraints: 24829
1923.64/1930.01 c #Conflicts: 929000 | #Constraints: 25829
1923.64/1930.01 c #Conflicts: 930000 | #Constraints: 26829
1923.64/1930.01 c #Conflicts: 931000 | #Constraints: 27829
1923.64/1930.01 c #Conflicts: 932000 | #Constraints: 28829
1923.64/1930.01 c #Conflicts: 933000 | #Constraints: 29829
1923.64/1930.01 c #Conflicts: 934000 | #Constraints: 30829
1923.64/1930.01 c #Conflicts: 935000 | #Constraints: 31829
1923.64/1930.01 c #Conflicts: 936000 | #Constraints: 32829
1923.64/1930.01 c #Conflicts: 937000 | #Constraints: 33829
1923.64/1930.01 c #Conflicts: 938000 | #Constraints: 34829
1923.64/1930.01 c #Conflicts: 939000 | #Constraints: 35829
1923.64/1930.01 c #Conflicts: 940000 | #Constraints: 36829
1923.64/1930.01 c #Conflicts: 941000 | #Constraints: 37829
1923.64/1930.01 c INPROCESSING
1923.64/1930.01 c GARBAGE COLLECT
1923.64/1930.01 c #Conflicts: 942000 | #Constraints: 19631
1923.64/1930.01 c #Conflicts: 943000 | #Constraints: 20631
1923.64/1930.01 c #Conflicts: 944000 | #Constraints: 21631
1923.64/1930.01 c #Conflicts: 945000 | #Constraints: 22631
1923.64/1930.01 c #Conflicts: 946000 | #Constraints: 23631
1923.64/1930.01 c #Conflicts: 947000 | #Constraints: 24631
1923.64/1930.01 c #Conflicts: 948000 | #Constraints: 25631
1923.64/1930.01 c #Conflicts: 949000 | #Constraints: 26631
1923.64/1930.01 c #Conflicts: 950000 | #Constraints: 27631
1923.64/1930.01 c #Conflicts: 951000 | #Constraints: 28631
1923.64/1930.01 c #Conflicts: 952000 | #Constraints: 29631
1923.64/1930.01 c #Conflicts: 953000 | #Constraints: 30631
1923.64/1930.01 c #Conflicts: 954000 | #Constraints: 31631
1923.64/1930.01 c #Conflicts: 955000 | #Constraints: 32631
1923.64/1930.01 c #Conflicts: 956000 | #Constraints: 33631
1923.64/1930.01 c #Conflicts: 957000 | #Constraints: 34631
1923.64/1930.01 c #Conflicts: 958000 | #Constraints: 35631
1923.64/1930.01 c #Conflicts: 959000 | #Constraints: 36631
1923.64/1930.01 c #Conflicts: 960000 | #Constraints: 37631
1923.64/1930.01 c #Conflicts: 961000 | #Constraints: 38631
1923.64/1930.01 c INPROCESSING
1923.64/1930.01 c GARBAGE COLLECT
1923.64/1930.01 c #Conflicts: 962000 | #Constraints: 20231
1923.64/1930.01 c #Conflicts: 963000 | #Constraints: 21231
1923.64/1930.01 c #Conflicts: 964000 | #Constraints: 22231
1923.64/1930.01 c #Conflicts: 965000 | #Constraints: 23231
1923.64/1930.01 c #Conflicts: 966000 | #Constraints: 24231
1923.64/1930.01 c #Conflicts: 967000 | #Constraints: 25231
1923.64/1930.01 c #Conflicts: 968000 | #Constraints: 26231
2148.95/2156.02 c #Conflicts: 969000 | #Constraints: 27231
2148.95/2156.02 c #Conflicts: 970000 | #Constraints: 28231
2148.95/2156.02 c #Conflicts: 971000 | #Constraints: 29231
2148.95/2156.02 c #Conflicts: 972000 | #Constraints: 30231
2148.95/2156.02 c #Conflicts: 973000 | #Constraints: 31231
2148.95/2156.02 c #Conflicts: 974000 | #Constraints: 32231
2148.95/2156.02 c #Conflicts: 975000 | #Constraints: 33231
2148.95/2156.02 c #Conflicts: 976000 | #Constraints: 34231
2148.95/2156.02 c #Conflicts: 977000 | #Constraints: 35231
2148.95/2156.02 c #Conflicts: 978000 | #Constraints: 36231
2148.95/2156.02 c #Conflicts: 979000 | #Constraints: 37231
2148.95/2156.02 c #Conflicts: 980000 | #Constraints: 38231
2148.95/2156.02 c #Conflicts: 981000 | #Constraints: 39231
2148.95/2156.02 c INPROCESSING
2148.95/2156.02 c GARBAGE COLLECT
2148.95/2156.02 c #Conflicts: 982000 | #Constraints: 20631
2148.95/2156.02 c #Conflicts: 983000 | #Constraints: 21631
2148.95/2156.02 c #Conflicts: 984000 | #Constraints: 22631
2148.95/2156.02 c #Conflicts: 985000 | #Constraints: 23631
2148.95/2156.02 c #Conflicts: 986000 | #Constraints: 24631
2148.95/2156.02 c #Conflicts: 987000 | #Constraints: 25631
2148.95/2156.02 c #Conflicts: 988000 | #Constraints: 26631
2148.95/2156.02 c #Conflicts: 989000 | #Constraints: 27631
2148.95/2156.02 c #Conflicts: 990000 | #Constraints: 28631
2148.95/2156.02 c #Conflicts: 991000 | #Constraints: 29631
2148.95/2156.02 c #Conflicts: 992000 | #Constraints: 30631
2148.95/2156.02 c #Conflicts: 993000 | #Constraints: 31631
2148.95/2156.02 c #Conflicts: 994000 | #Constraints: 32631
2148.95/2156.02 c #Conflicts: 995000 | #Constraints: 33631
2148.95/2156.02 c #Conflicts: 996000 | #Constraints: 34631
2148.95/2156.02 c #Conflicts: 997000 | #Constraints: 35631
2148.95/2156.02 c #Conflicts: 998000 | #Constraints: 36631
2148.95/2156.02 c #Conflicts: 999000 | #Constraints: 37631
2148.95/2156.02 c #Conflicts: 1000000 | #Constraints: 38631
2148.95/2156.02 c #Conflicts: 1001000 | #Constraints: 39631
2148.95/2156.02 c INPROCESSING
2148.95/2156.02 c GARBAGE COLLECT
2148.95/2156.02 c #Conflicts: 1002000 | #Constraints: 20832
2148.95/2156.02 c #Conflicts: 1003000 | #Constraints: 21832
2148.95/2156.02 c #Conflicts: 1004000 | #Constraints: 22832
2148.95/2156.02 c #Conflicts: 1005000 | #Constraints: 23832
2148.95/2156.02 c #Conflicts: 1006000 | #Constraints: 24832
2148.95/2156.02 c #Conflicts: 1007000 | #Constraints: 25832
2148.95/2156.02 c #Conflicts: 1008000 | #Constraints: 26832
2148.95/2156.02 c #Conflicts: 1009000 | #Constraints: 27832
2148.95/2156.02 c #Conflicts: 1010000 | #Constraints: 28832
2148.95/2156.02 c #Conflicts: 1011000 | #Constraints: 29832
2148.95/2156.02 c #Conflicts: 1012000 | #Constraints: 30832
2148.95/2156.02 c #Conflicts: 1013000 | #Constraints: 31832
2148.95/2156.02 c #Conflicts: 1014000 | #Constraints: 32832
2148.95/2156.02 c #Conflicts: 1015000 | #Constraints: 33832
2148.95/2156.02 c #Conflicts: 1016000 | #Constraints: 34832
2148.95/2156.02 c #Conflicts: 1017000 | #Constraints: 35832
2148.95/2156.02 c #Conflicts: 1018000 | #Constraints: 36832
2148.95/2156.02 c #Conflicts: 1019000 | #Constraints: 37832
2148.95/2156.02 c #Conflicts: 1020000 | #Constraints: 38832
2148.95/2156.02 c #Conflicts: 1021000 | #Constraints: 39832
2148.95/2156.02 c INPROCESSING
2148.95/2156.02 c GARBAGE COLLECT
2148.95/2156.02 c #Conflicts: 1022000 | #Constraints: 20834
2148.95/2156.02 c #Conflicts: 1023000 | #Constraints: 21834
2148.95/2156.02 c #Conflicts: 1024000 | #Constraints: 22834
2148.95/2156.02 c #Conflicts: 1025000 | #Constraints: 23834
2148.95/2156.02 c #Conflicts: 1026000 | #Constraints: 24834
2148.95/2156.02 c #Conflicts: 1027000 | #Constraints: 25834
2148.95/2156.02 c #Conflicts: 1028000 | #Constraints: 26834
2148.95/2156.02 c #Conflicts: 1029000 | #Constraints: 27834
2148.95/2156.02 c #Conflicts: 1030000 | #Constraints: 28834
2148.95/2156.02 c #Conflicts: 1031000 | #Constraints: 29834
2148.95/2156.02 c #Conflicts: 1032000 | #Constraints: 30834
2148.95/2156.02 c #Conflicts: 1033000 | #Constraints: 31834
2148.95/2156.02 c #Conflicts: 1034000 | #Constraints: 32834
2148.95/2156.02 c #Conflicts: 1035000 | #Constraints: 33834
2148.95/2156.02 c #Conflicts: 1036000 | #Constraints: 34834
2148.95/2156.02 c #Conflicts: 1037000 | #Constraints: 35834
2148.95/2156.02 c #Conflicts: 1038000 | #Constraints: 36834
2148.95/2156.02 c #Conflicts: 1039000 | #Constraints: 37834
2148.95/2156.02 c #Conflicts: 1040000 | #Constraints: 38834
2148.95/2156.02 c #Conflicts: 1041000 | #Constraints: 39834
2148.95/2156.02 c INPROCESSING
2148.95/2156.02 c GARBAGE COLLECT
2148.95/2156.02 c #Conflicts: 1042000 | #Constraints: 20635
2148.95/2156.02 c #Conflicts: 1043000 | #Constraints: 21635
2148.95/2156.02 c #Conflicts: 1044000 | #Constraints: 22635
2386.43/2394.36 c #Conflicts: 1045000 | #Constraints: 23635
2386.43/2394.36 c #Conflicts: 1046000 | #Constraints: 24635
2386.43/2394.36 c #Conflicts: 1047000 | #Constraints: 25635
2386.43/2394.36 c #Conflicts: 1048000 | #Constraints: 26635
2386.43/2394.36 c #Conflicts: 1049000 | #Constraints: 27635
2386.43/2394.36 c #Conflicts: 1050000 | #Constraints: 28635
2386.43/2394.36 c #Conflicts: 1051000 | #Constraints: 29635
2386.43/2394.36 c #Conflicts: 1052000 | #Constraints: 30635
2386.43/2394.36 c #Conflicts: 1053000 | #Constraints: 31635
2386.43/2394.36 c #Conflicts: 1054000 | #Constraints: 32635
2386.43/2394.36 c #Conflicts: 1055000 | #Constraints: 33635
2386.43/2394.36 c #Conflicts: 1056000 | #Constraints: 34635
2386.43/2394.36 c #Conflicts: 1057000 | #Constraints: 35635
2386.43/2394.36 c #Conflicts: 1058000 | #Constraints: 36635
2386.43/2394.36 c #Conflicts: 1059000 | #Constraints: 37635
2386.43/2394.36 c #Conflicts: 1060000 | #Constraints: 38635
2386.43/2394.36 c #Conflicts: 1061000 | #Constraints: 39635
2386.43/2394.36 c #Conflicts: 1062000 | #Constraints: 40635
2386.43/2394.36 c INPROCESSING
2386.43/2394.36 c GARBAGE COLLECT
2386.43/2394.36 c #Conflicts: 1063000 | #Constraints: 21233
2386.43/2394.36 c #Conflicts: 1064000 | #Constraints: 22233
2386.43/2394.36 c #Conflicts: 1065000 | #Constraints: 23233
2386.43/2394.36 c #Conflicts: 1066000 | #Constraints: 24233
2386.43/2394.36 c #Conflicts: 1067000 | #Constraints: 25233
2386.43/2394.36 c #Conflicts: 1068000 | #Constraints: 26233
2386.43/2394.36 c #Conflicts: 1069000 | #Constraints: 27233
2386.43/2394.36 c #Conflicts: 1070000 | #Constraints: 28233
2386.43/2394.36 c #Conflicts: 1071000 | #Constraints: 29233
2386.43/2394.36 c #Conflicts: 1072000 | #Constraints: 30233
2386.43/2394.36 c #Conflicts: 1073000 | #Constraints: 31233
2386.43/2394.36 c #Conflicts: 1074000 | #Constraints: 32233
2386.43/2394.36 c #Conflicts: 1075000 | #Constraints: 33233
2386.43/2394.36 c #Conflicts: 1076000 | #Constraints: 34233
2386.43/2394.36 c #Conflicts: 1077000 | #Constraints: 35233
2386.43/2394.36 c #Conflicts: 1078000 | #Constraints: 36233
2386.43/2394.36 c #Conflicts: 1079000 | #Constraints: 37233
2386.43/2394.36 c #Conflicts: 1080000 | #Constraints: 38233
2386.43/2394.36 c #Conflicts: 1081000 | #Constraints: 39233
2386.43/2394.36 c #Conflicts: 1082000 | #Constraints: 40233
2386.43/2394.36 c #Conflicts: 1083000 | #Constraints: 41233
2386.43/2394.36 c INPROCESSING
2386.43/2394.36 c GARBAGE COLLECT
2386.43/2394.36 c #Conflicts: 1084000 | #Constraints: 21634
2386.43/2394.36 c #Conflicts: 1085000 | #Constraints: 22634
2386.43/2394.36 c #Conflicts: 1086000 | #Constraints: 23634
2386.43/2394.36 c #Conflicts: 1087000 | #Constraints: 24634
2386.43/2394.36 c #Conflicts: 1088000 | #Constraints: 25634
2386.43/2394.36 c #Conflicts: 1089000 | #Constraints: 26634
2386.43/2394.36 c #Conflicts: 1090000 | #Constraints: 27634
2386.43/2394.36 c #Conflicts: 1091000 | #Constraints: 28634
2386.43/2394.36 c #Conflicts: 1092000 | #Constraints: 29634
2386.43/2394.36 c #Conflicts: 1093000 | #Constraints: 30634
2386.43/2394.36 c #Conflicts: 1094000 | #Constraints: 31634
2386.43/2394.36 c #Conflicts: 1095000 | #Constraints: 32634
2386.43/2394.36 c #Conflicts: 1096000 | #Constraints: 33634
2386.43/2394.36 c #Conflicts: 1097000 | #Constraints: 34634
2386.43/2394.36 c #Conflicts: 1098000 | #Constraints: 35634
2386.43/2394.36 c #Conflicts: 1099000 | #Constraints: 36634
2386.43/2394.36 c #Conflicts: 1100000 | #Constraints: 37634
2386.43/2394.36 c #Conflicts: 1101000 | #Constraints: 38634
2386.43/2394.36 c #Conflicts: 1102000 | #Constraints: 39634
2386.43/2394.36 c #Conflicts: 1103000 | #Constraints: 40634
2386.43/2394.36 c #Conflicts: 1104000 | #Constraints: 41634
2386.43/2394.36 c INPROCESSING
2386.43/2394.36 c GARBAGE COLLECT
2386.43/2394.36 c #Conflicts: 1105000 | #Constraints: 21834
2386.43/2394.36 c #Conflicts: 1106000 | #Constraints: 22834
2386.43/2394.36 c #Conflicts: 1107000 | #Constraints: 23834
2386.43/2394.36 c #Conflicts: 1108000 | #Constraints: 24834
2386.43/2394.36 c #Conflicts: 1109000 | #Constraints: 25834
2386.43/2394.36 c #Conflicts: 1110000 | #Constraints: 26834
2386.43/2394.36 c #Conflicts: 1111000 | #Constraints: 27834
2386.43/2394.36 c #Conflicts: 1112000 | #Constraints: 28834
2386.43/2394.36 c #Conflicts: 1113000 | #Constraints: 29834
2386.43/2394.36 c #Conflicts: 1114000 | #Constraints: 30834
2386.43/2394.36 c #Conflicts: 1115000 | #Constraints: 31834
2386.43/2394.36 c #Conflicts: 1116000 | #Constraints: 32834
2386.43/2394.36 c #Conflicts: 1117000 | #Constraints: 33834
2386.43/2394.36 c #Conflicts: 1118000 | #Constraints: 34834
2386.43/2394.36 c #Conflicts: 1119000 | #Constraints: 35834
2386.43/2394.36 c #Conflicts: 1120000 | #Constraints: 36834
2386.43/2394.36 c #Conflicts: 1121000 | #Constraints: 37834
2608.48/2617.19 c #Conflicts: 1122000 | #Constraints: 38834
2608.48/2617.19 c #Conflicts: 1123000 | #Constraints: 39834
2608.48/2617.19 c #Conflicts: 1124000 | #Constraints: 40834
2608.48/2617.19 c #Conflicts: 1125000 | #Constraints: 41834
2608.48/2617.19 c INPROCESSING
2608.48/2617.19 c GARBAGE COLLECT
2608.48/2617.19 c #Conflicts: 1126000 | #Constraints: 21831
2608.48/2617.19 c #Conflicts: 1127000 | #Constraints: 22831
2608.48/2617.19 c #Conflicts: 1128000 | #Constraints: 23831
2608.48/2617.19 c #Conflicts: 1129000 | #Constraints: 24831
2608.48/2617.19 c #Conflicts: 1130000 | #Constraints: 25831
2608.48/2617.19 c #Conflicts: 1131000 | #Constraints: 26831
2608.48/2617.19 c #Conflicts: 1132000 | #Constraints: 27831
2608.48/2617.19 c #Conflicts: 1133000 | #Constraints: 28831
2608.48/2617.19 c #Conflicts: 1134000 | #Constraints: 29831
2608.48/2617.19 c #Conflicts: 1135000 | #Constraints: 30831
2608.48/2617.19 c #Conflicts: 1136000 | #Constraints: 31831
2608.48/2617.19 c #Conflicts: 1137000 | #Constraints: 32831
2608.48/2617.19 c #Conflicts: 1138000 | #Constraints: 33831
2608.48/2617.19 c #Conflicts: 1139000 | #Constraints: 34831
2608.48/2617.19 c #Conflicts: 1140000 | #Constraints: 35831
2608.48/2617.19 c #Conflicts: 1141000 | #Constraints: 36831
2608.48/2617.19 c #Conflicts: 1142000 | #Constraints: 37831
2608.48/2617.19 c #Conflicts: 1143000 | #Constraints: 38831
2608.48/2617.19 c #Conflicts: 1144000 | #Constraints: 39831
2608.48/2617.19 c #Conflicts: 1145000 | #Constraints: 40831
2608.48/2617.19 c #Conflicts: 1146000 | #Constraints: 41831
2608.48/2617.19 c INPROCESSING
2608.48/2617.19 c GARBAGE COLLECT
2608.48/2617.19 c #Conflicts: 1147000 | #Constraints: 21628
2608.48/2617.19 c #Conflicts: 1148000 | #Constraints: 22628
2608.48/2617.19 c #Conflicts: 1149000 | #Constraints: 23628
2608.48/2617.19 c #Conflicts: 1150000 | #Constraints: 24628
2608.48/2617.19 c #Conflicts: 1151000 | #Constraints: 25628
2608.48/2617.19 c #Conflicts: 1152000 | #Constraints: 26628
2608.48/2617.19 c #Conflicts: 1153000 | #Constraints: 27628
2608.48/2617.19 c #Conflicts: 1154000 | #Constraints: 28628
2608.48/2617.19 c #Conflicts: 1155000 | #Constraints: 29628
2608.48/2617.19 c #Conflicts: 1156000 | #Constraints: 30628
2608.48/2617.19 c #Conflicts: 1157000 | #Constraints: 31628
2608.48/2617.19 c #Conflicts: 1158000 | #Constraints: 32628
2608.48/2617.19 c #Conflicts: 1159000 | #Constraints: 33628
2608.48/2617.19 c #Conflicts: 1160000 | #Constraints: 34628
2608.48/2617.19 c #Conflicts: 1161000 | #Constraints: 35628
2608.48/2617.19 c #Conflicts: 1162000 | #Constraints: 36628
2608.48/2617.19 c #Conflicts: 1163000 | #Constraints: 37628
2608.48/2617.19 c #Conflicts: 1164000 | #Constraints: 38628
2608.48/2617.19 c #Conflicts: 1165000 | #Constraints: 39628
2608.48/2617.19 c #Conflicts: 1166000 | #Constraints: 40628
2608.48/2617.19 c #Conflicts: 1167000 | #Constraints: 41628
2608.48/2617.19 c #Conflicts: 1168000 | #Constraints: 42628
2608.48/2617.19 c INPROCESSING
2608.48/2617.19 c GARBAGE COLLECT
2608.48/2617.19 c #Conflicts: 1169000 | #Constraints: 22233
2608.48/2617.19 c #Conflicts: 1170000 | #Constraints: 23233
2608.48/2617.19 c #Conflicts: 1171000 | #Constraints: 24233
2608.48/2617.19 c #Conflicts: 1172000 | #Constraints: 25233
2608.48/2617.19 c #Conflicts: 1173000 | #Constraints: 26233
2608.48/2617.19 c #Conflicts: 1174000 | #Constraints: 27233
2608.48/2617.19 c #Conflicts: 1175000 | #Constraints: 28233
2608.48/2617.19 c #Conflicts: 1176000 | #Constraints: 29233
2608.48/2617.19 c #Conflicts: 1177000 | #Constraints: 30233
2608.48/2617.19 c #Conflicts: 1178000 | #Constraints: 31233
2608.48/2617.19 c #Conflicts: 1179000 | #Constraints: 32233
2608.48/2617.19 c #Conflicts: 1180000 | #Constraints: 33233
2608.48/2617.19 c #Conflicts: 1181000 | #Constraints: 34233
2608.48/2617.19 c #Conflicts: 1182000 | #Constraints: 35233
2608.48/2617.19 c #Conflicts: 1183000 | #Constraints: 36233
2608.48/2617.19 c #Conflicts: 1184000 | #Constraints: 37233
2608.48/2617.19 c #Conflicts: 1185000 | #Constraints: 38233
2608.48/2617.19 c #Conflicts: 1186000 | #Constraints: 39233
2608.48/2617.19 c #Conflicts: 1187000 | #Constraints: 40233
2608.48/2617.19 c #Conflicts: 1188000 | #Constraints: 41233
2608.48/2617.19 c #Conflicts: 1189000 | #Constraints: 42233
2608.48/2617.19 c #Conflicts: 1190000 | #Constraints: 43233
2608.48/2617.19 c INPROCESSING
2608.48/2617.19 c GARBAGE COLLECT
2608.48/2617.19 c #Conflicts: 1191000 | #Constraints: 22633
2608.48/2617.19 c #Conflicts: 1192000 | #Constraints: 23633
2608.48/2617.19 c #Conflicts: 1193000 | #Constraints: 24633
2608.48/2617.19 c #Conflicts: 1194000 | #Constraints: 25633
2608.48/2617.19 c #Conflicts: 1195000 | #Constraints: 26633
2608.48/2617.19 c #Conflicts: 1196000 | #Constraints: 27633
2608.48/2617.19 c #Conflicts: 1197000 | #Constraints: 28633
2841.68/2851.15 c #Conflicts: 1198000 | #Constraints: 29633
2841.68/2851.15 c #Conflicts: 1199000 | #Constraints: 30633
2841.68/2851.15 c #Conflicts: 1200000 | #Constraints: 31633
2841.68/2851.15 c #Conflicts: 1201000 | #Constraints: 32633
2841.68/2851.15 c #Conflicts: 1202000 | #Constraints: 33633
2841.68/2851.15 c #Conflicts: 1203000 | #Constraints: 34633
2841.68/2851.15 c #Conflicts: 1204000 | #Constraints: 35633
2841.68/2851.15 c #Conflicts: 1205000 | #Constraints: 36633
2841.68/2851.15 c #Conflicts: 1206000 | #Constraints: 37633
2841.68/2851.15 c #Conflicts: 1207000 | #Constraints: 38633
2841.68/2851.15 c #Conflicts: 1208000 | #Constraints: 39633
2841.68/2851.15 c #Conflicts: 1209000 | #Constraints: 40633
2841.68/2851.15 c #Conflicts: 1210000 | #Constraints: 41633
2841.68/2851.15 c #Conflicts: 1211000 | #Constraints: 42633
2841.68/2851.15 c #Conflicts: 1212000 | #Constraints: 43633
2841.68/2851.15 c INPROCESSING
2841.68/2851.15 c GARBAGE COLLECT
2841.68/2851.15 c #Conflicts: 1213000 | #Constraints: 22833
2841.68/2851.15 c #Conflicts: 1214000 | #Constraints: 23833
2841.68/2851.15 c #Conflicts: 1215000 | #Constraints: 24833
2841.68/2851.15 c #Conflicts: 1216000 | #Constraints: 25833
2841.68/2851.15 c #Conflicts: 1217000 | #Constraints: 26833
2841.68/2851.15 c #Conflicts: 1218000 | #Constraints: 27833
2841.68/2851.15 c #Conflicts: 1219000 | #Constraints: 28833
2841.68/2851.15 c #Conflicts: 1220000 | #Constraints: 29833
2841.68/2851.15 c #Conflicts: 1221000 | #Constraints: 30833
2841.68/2851.15 c #Conflicts: 1222000 | #Constraints: 31833
2841.68/2851.15 c #Conflicts: 1223000 | #Constraints: 32833
2841.68/2851.15 c #Conflicts: 1224000 | #Constraints: 33833
2841.68/2851.15 c #Conflicts: 1225000 | #Constraints: 34833
2841.68/2851.15 c #Conflicts: 1226000 | #Constraints: 35833
2841.68/2851.15 c #Conflicts: 1227000 | #Constraints: 36833
2841.68/2851.15 c #Conflicts: 1228000 | #Constraints: 37833
2841.68/2851.15 c #Conflicts: 1229000 | #Constraints: 38833
2841.68/2851.15 c #Conflicts: 1230000 | #Constraints: 39833
2841.68/2851.15 c #Conflicts: 1231000 | #Constraints: 40833
2841.68/2851.15 c #Conflicts: 1232000 | #Constraints: 41833
2841.68/2851.15 c #Conflicts: 1233000 | #Constraints: 42833
2841.68/2851.15 c #Conflicts: 1234000 | #Constraints: 43833
2841.68/2851.15 c INPROCESSING
2841.68/2851.15 c GARBAGE COLLECT
2841.68/2851.15 c #Conflicts: 1235000 | #Constraints: 22833
2841.68/2851.15 c #Conflicts: 1236000 | #Constraints: 23833
2841.68/2851.15 c #Conflicts: 1237000 | #Constraints: 24833
2841.68/2851.15 c #Conflicts: 1238000 | #Constraints: 25833
2841.68/2851.15 c #Conflicts: 1239000 | #Constraints: 26833
2841.68/2851.15 c #Conflicts: 1240000 | #Constraints: 27833
2841.68/2851.15 c #Conflicts: 1241000 | #Constraints: 28833
2841.68/2851.15 c #Conflicts: 1242000 | #Constraints: 29833
2841.68/2851.15 c #Conflicts: 1243000 | #Constraints: 30833
2841.68/2851.15 c #Conflicts: 1244000 | #Constraints: 31833
2841.68/2851.15 c #Conflicts: 1245000 | #Constraints: 32833
2841.68/2851.15 c #Conflicts: 1246000 | #Constraints: 33833
2841.68/2851.15 c #Conflicts: 1247000 | #Constraints: 34833
2841.68/2851.15 c #Conflicts: 1248000 | #Constraints: 35833
2841.68/2851.15 c #Conflicts: 1249000 | #Constraints: 36833
2841.68/2851.15 c #Conflicts: 1250000 | #Constraints: 37833
2841.68/2851.15 c #Conflicts: 1251000 | #Constraints: 38833
2841.68/2851.15 c #Conflicts: 1252000 | #Constraints: 39833
2841.68/2851.15 c #Conflicts: 1253000 | #Constraints: 40833
2841.68/2851.15 c #Conflicts: 1254000 | #Constraints: 41833
2841.68/2851.15 c #Conflicts: 1255000 | #Constraints: 42833
2841.68/2851.15 c #Conflicts: 1256000 | #Constraints: 43833
2841.68/2851.15 c INPROCESSING
2841.68/2851.15 c GARBAGE COLLECT
2841.68/2851.15 c #Conflicts: 1257000 | #Constraints: 22632
2841.68/2851.15 c #Conflicts: 1258000 | #Constraints: 23632
2841.68/2851.15 c #Conflicts: 1259000 | #Constraints: 24632
2841.68/2851.15 c #Conflicts: 1260000 | #Constraints: 25632
2841.68/2851.15 c #Conflicts: 1261000 | #Constraints: 26632
2841.68/2851.15 c #Conflicts: 1262000 | #Constraints: 27632
2841.68/2851.15 c #Conflicts: 1263000 | #Constraints: 28632
2841.68/2851.15 c #Conflicts: 1264000 | #Constraints: 29632
2841.68/2851.15 c #Conflicts: 1265000 | #Constraints: 30632
2841.68/2851.15 c #Conflicts: 1266000 | #Constraints: 31632
2841.68/2851.15 c #Conflicts: 1267000 | #Constraints: 32632
2841.68/2851.15 c #Conflicts: 1268000 | #Constraints: 33632
2841.68/2851.15 c #Conflicts: 1269000 | #Constraints: 34632
2841.68/2851.15 c #Conflicts: 1270000 | #Constraints: 35632
2841.68/2851.15 c #Conflicts: 1271000 | #Constraints: 36632
2841.68/2851.15 c #Conflicts: 1272000 | #Constraints: 37632
2841.68/2851.15 c #Conflicts: 1273000 | #Constraints: 38632
2841.68/2851.15 c #Conflicts: 1274000 | #Constraints: 39632
3090.00/3100.31 c #Conflicts: 1275000 | #Constraints: 40632
3090.00/3100.31 c #Conflicts: 1276000 | #Constraints: 41632
3090.00/3100.31 c #Conflicts: 1277000 | #Constraints: 42632
3090.00/3100.31 c #Conflicts: 1278000 | #Constraints: 43632
3090.00/3100.31 c #Conflicts: 1279000 | #Constraints: 44632
3090.00/3100.31 c INPROCESSING
3090.00/3100.31 c GARBAGE COLLECT
3090.00/3100.31 c #Conflicts: 1280000 | #Constraints: 23231
3090.00/3100.31 c #Conflicts: 1281000 | #Constraints: 24231
3090.00/3100.31 c #Conflicts: 1282000 | #Constraints: 25231
3090.00/3100.31 c #Conflicts: 1283000 | #Constraints: 26231
3090.00/3100.31 c #Conflicts: 1284000 | #Constraints: 27231
3090.00/3100.31 c #Conflicts: 1285000 | #Constraints: 28231
3090.00/3100.31 c #Conflicts: 1286000 | #Constraints: 29231
3090.00/3100.31 c #Conflicts: 1287000 | #Constraints: 30231
3090.00/3100.31 c #Conflicts: 1288000 | #Constraints: 31231
3090.00/3100.31 c #Conflicts: 1289000 | #Constraints: 32231
3090.00/3100.31 c #Conflicts: 1290000 | #Constraints: 33231
3090.00/3100.31 c #Conflicts: 1291000 | #Constraints: 34231
3090.00/3100.31 c #Conflicts: 1292000 | #Constraints: 35231
3090.00/3100.31 c #Conflicts: 1293000 | #Constraints: 36231
3090.00/3100.31 c #Conflicts: 1294000 | #Constraints: 37231
3090.00/3100.31 c #Conflicts: 1295000 | #Constraints: 38231
3090.00/3100.31 c #Conflicts: 1296000 | #Constraints: 39231
3090.00/3100.31 c #Conflicts: 1297000 | #Constraints: 40231
3090.00/3100.31 c #Conflicts: 1298000 | #Constraints: 41231
3090.00/3100.31 c #Conflicts: 1299000 | #Constraints: 42231
3090.00/3100.31 c #Conflicts: 1300000 | #Constraints: 43231
3090.00/3100.31 c #Conflicts: 1301000 | #Constraints: 44231
3090.00/3100.31 c #Conflicts: 1302000 | #Constraints: 45231
3090.00/3100.31 c INPROCESSING
3090.00/3100.31 c GARBAGE COLLECT
3090.00/3100.31 c #Conflicts: 1303000 | #Constraints: 23630
3090.00/3100.31 c #Conflicts: 1304000 | #Constraints: 24630
3090.00/3100.31 c #Conflicts: 1305000 | #Constraints: 25630
3090.00/3100.31 c #Conflicts: 1306000 | #Constraints: 26630
3090.00/3100.31 c #Conflicts: 1307000 | #Constraints: 27630
3090.00/3100.31 c #Conflicts: 1308000 | #Constraints: 28630
3090.00/3100.31 c #Conflicts: 1309000 | #Constraints: 29630
3090.00/3100.31 c #Conflicts: 1310000 | #Constraints: 30630
3090.00/3100.31 c #Conflicts: 1311000 | #Constraints: 31630
3090.00/3100.31 c #Conflicts: 1312000 | #Constraints: 32630
3090.00/3100.31 c #Conflicts: 1313000 | #Constraints: 33630
3090.00/3100.31 c #Conflicts: 1314000 | #Constraints: 34630
3090.00/3100.31 c #Conflicts: 1315000 | #Constraints: 35630
3090.00/3100.31 c #Conflicts: 1316000 | #Constraints: 36630
3090.00/3100.31 c #Conflicts: 1317000 | #Constraints: 37630
3090.00/3100.31 c #Conflicts: 1318000 | #Constraints: 38630
3090.00/3100.31 c #Conflicts: 1319000 | #Constraints: 39630
3090.00/3100.31 c #Conflicts: 1320000 | #Constraints: 40630
3090.00/3100.31 c #Conflicts: 1321000 | #Constraints: 41630
3090.00/3100.31 c #Conflicts: 1322000 | #Constraints: 42630
3090.00/3100.31 c #Conflicts: 1323000 | #Constraints: 43630
3090.00/3100.31 c #Conflicts: 1324000 | #Constraints: 44630
3090.00/3100.31 c #Conflicts: 1325000 | #Constraints: 45630
3090.00/3100.31 c INPROCESSING
3090.00/3100.31 c GARBAGE COLLECT
3090.00/3100.31 c #Conflicts: 1326000 | #Constraints: 23830
3090.00/3100.31 c #Conflicts: 1327000 | #Constraints: 24830
3090.00/3100.31 c #Conflicts: 1328000 | #Constraints: 25830
3090.00/3100.31 c #Conflicts: 1329000 | #Constraints: 26830
3090.00/3100.31 c #Conflicts: 1330000 | #Constraints: 27830
3090.00/3100.31 c #Conflicts: 1331000 | #Constraints: 28830
3090.00/3100.31 c #Conflicts: 1332000 | #Constraints: 29830
3090.00/3100.31 c #Conflicts: 1333000 | #Constraints: 30830
3090.00/3100.31 c #Conflicts: 1334000 | #Constraints: 31830
3090.00/3100.31 c #Conflicts: 1335000 | #Constraints: 32830
3090.00/3100.31 c #Conflicts: 1336000 | #Constraints: 33830
3090.00/3100.31 c #Conflicts: 1337000 | #Constraints: 34830
3090.00/3100.31 c #Conflicts: 1338000 | #Constraints: 35830
3090.00/3100.31 c #Conflicts: 1339000 | #Constraints: 36830
3090.00/3100.31 c #Conflicts: 1340000 | #Constraints: 37830
3090.00/3100.31 c #Conflicts: 1341000 | #Constraints: 38830
3090.00/3100.31 c #Conflicts: 1342000 | #Constraints: 39830
3090.00/3100.31 c #Conflicts: 1343000 | #Constraints: 40830
3090.00/3100.31 c #Conflicts: 1344000 | #Constraints: 41830
3090.00/3100.31 c #Conflicts: 1345000 | #Constraints: 42830
3090.00/3100.31 c #Conflicts: 1346000 | #Constraints: 43830
3090.00/3100.31 c #Conflicts: 1347000 | #Constraints: 44830
3090.00/3100.31 c #Conflicts: 1348000 | #Constraints: 45830
3090.00/3100.31 c INPROCESSING
3090.00/3100.31 c GARBAGE COLLECT
3090.00/3100.31 c #Conflicts: 1349000 | #Constraints: 23831
3090.00/3100.31 c #Conflicts: 1350000 | #Constraints: 24831
3344.42/3355.62 c #Conflicts: 1351000 | #Constraints: 25831
3344.42/3355.62 c #Conflicts: 1352000 | #Constraints: 26831
3344.42/3355.62 c #Conflicts: 1353000 | #Constraints: 27831
3344.42/3355.62 c #Conflicts: 1354000 | #Constraints: 28831
3344.42/3355.62 c #Conflicts: 1355000 | #Constraints: 29831
3344.42/3355.62 c #Conflicts: 1356000 | #Constraints: 30831
3344.42/3355.62 c #Conflicts: 1357000 | #Constraints: 31831
3344.42/3355.62 c #Conflicts: 1358000 | #Constraints: 32831
3344.42/3355.62 c #Conflicts: 1359000 | #Constraints: 33831
3344.42/3355.62 c #Conflicts: 1360000 | #Constraints: 34831
3344.42/3355.62 c #Conflicts: 1361000 | #Constraints: 35831
3344.42/3355.62 c #Conflicts: 1362000 | #Constraints: 36831
3344.42/3355.62 c #Conflicts: 1363000 | #Constraints: 37831
3344.42/3355.62 c #Conflicts: 1364000 | #Constraints: 38831
3344.42/3355.62 c #Conflicts: 1365000 | #Constraints: 39831
3344.42/3355.62 c #Conflicts: 1366000 | #Constraints: 40831
3344.42/3355.62 c #Conflicts: 1367000 | #Constraints: 41831
3344.42/3355.62 c #Conflicts: 1368000 | #Constraints: 42831
3344.42/3355.62 c #Conflicts: 1369000 | #Constraints: 43831
3344.42/3355.62 c #Conflicts: 1370000 | #Constraints: 44831
3344.42/3355.62 c #Conflicts: 1371000 | #Constraints: 45831
3344.42/3355.62 c INPROCESSING
3344.42/3355.62 c GARBAGE COLLECT
3344.42/3355.62 c #Conflicts: 1372000 | #Constraints: 23630
3344.42/3355.62 c #Conflicts: 1373000 | #Constraints: 24630
3344.42/3355.62 c #Conflicts: 1374000 | #Constraints: 25630
3344.42/3355.62 c #Conflicts: 1375000 | #Constraints: 26630
3344.42/3355.62 c #Conflicts: 1376000 | #Constraints: 27630
3344.42/3355.62 c #Conflicts: 1377000 | #Constraints: 28630
3344.42/3355.62 c #Conflicts: 1378000 | #Constraints: 29630
3344.42/3355.62 c #Conflicts: 1379000 | #Constraints: 30630
3344.42/3355.62 c #Conflicts: 1380000 | #Constraints: 31630
3344.42/3355.62 c #Conflicts: 1381000 | #Constraints: 32630
3344.42/3355.62 c #Conflicts: 1382000 | #Constraints: 33630
3344.42/3355.62 c #Conflicts: 1383000 | #Constraints: 34630
3344.42/3355.62 c #Conflicts: 1384000 | #Constraints: 35630
3344.42/3355.62 c #Conflicts: 1385000 | #Constraints: 36630
3344.42/3355.62 c #Conflicts: 1386000 | #Constraints: 37630
3344.42/3355.62 c #Conflicts: 1387000 | #Constraints: 38630
3344.42/3355.62 c #Conflicts: 1388000 | #Constraints: 39630
3344.42/3355.62 c #Conflicts: 1389000 | #Constraints: 40630
3344.42/3355.62 c #Conflicts: 1390000 | #Constraints: 41630
3344.42/3355.62 c #Conflicts: 1391000 | #Constraints: 42630
3344.42/3355.62 c #Conflicts: 1392000 | #Constraints: 43630
3344.42/3355.62 c #Conflicts: 1393000 | #Constraints: 44630
3344.42/3355.62 c #Conflicts: 1394000 | #Constraints: 45630
3344.42/3355.62 c #Conflicts: 1395000 | #Constraints: 46630
3344.42/3355.62 c INPROCESSING
3344.42/3355.62 c GARBAGE COLLECT
3344.42/3355.62 c #Conflicts: 1396000 | #Constraints: 24231
3344.42/3355.62 c #Conflicts: 1397000 | #Constraints: 25231
3344.42/3355.62 c #Conflicts: 1398000 | #Constraints: 26231
3344.42/3355.62 c #Conflicts: 1399000 | #Constraints: 27231
3344.42/3355.62 c #Conflicts: 1400000 | #Constraints: 28231
3344.42/3355.62 c #Conflicts: 1401000 | #Constraints: 29231
3344.42/3355.62 c #Conflicts: 1402000 | #Constraints: 30231
3344.42/3355.62 c #Conflicts: 1403000 | #Constraints: 31231
3344.42/3355.62 c #Conflicts: 1404000 | #Constraints: 32231
3344.42/3355.62 c #Conflicts: 1405000 | #Constraints: 33231
3344.42/3355.62 c #Conflicts: 1406000 | #Constraints: 34231
3344.42/3355.62 c #Conflicts: 1407000 | #Constraints: 35231
3344.42/3355.62 c #Conflicts: 1408000 | #Constraints: 36231
3344.42/3355.62 c #Conflicts: 1409000 | #Constraints: 37231
3344.42/3355.62 c #Conflicts: 1410000 | #Constraints: 38231
3344.42/3355.62 c #Conflicts: 1411000 | #Constraints: 39231
3344.42/3355.62 c #Conflicts: 1412000 | #Constraints: 40231
3344.42/3355.62 c #Conflicts: 1413000 | #Constraints: 41231
3344.42/3355.62 c #Conflicts: 1414000 | #Constraints: 42231
3344.42/3355.62 c #Conflicts: 1415000 | #Constraints: 43231
3344.42/3355.62 c #Conflicts: 1416000 | #Constraints: 44231
3344.42/3355.62 c #Conflicts: 1417000 | #Constraints: 45231
3344.42/3355.62 c #Conflicts: 1418000 | #Constraints: 46231
3344.42/3355.62 c #Conflicts: 1419000 | #Constraints: 47231
3344.42/3355.62 c INPROCESSING
3344.42/3355.62 c GARBAGE COLLECT
3344.42/3355.62 c #Conflicts: 1420000 | #Constraints: 24630
3344.42/3355.62 c #Conflicts: 1421000 | #Constraints: 25630
3344.42/3355.62 c #Conflicts: 1422000 | #Constraints: 26630
3344.42/3355.62 c #Conflicts: 1423000 | #Constraints: 27630
3344.42/3355.62 c #Conflicts: 1424000 | #Constraints: 28630
3344.42/3355.62 c #Conflicts: 1425000 | #Constraints: 29630
3344.42/3355.62 c #Conflicts: 1426000 | #Constraints: 30630
3344.42/3355.62 c #Conflicts: 1427000 | #Constraints: 31630
3600.05/3612.11 c #Conflicts: 1428000 | #Constraints: 32630
3600.05/3612.11 c #Conflicts: 1429000 | #Constraints: 33630
3600.05/3612.11 c #Conflicts: 1430000 | #Constraints: 34630
3600.05/3612.11 c #Conflicts: 1431000 | #Constraints: 35630
3600.05/3612.11 c #Conflicts: 1432000 | #Constraints: 36630
3600.05/3612.11 c #Conflicts: 1433000 | #Constraints: 37630
3600.05/3612.11 c #Conflicts: 1434000 | #Constraints: 38630
3600.05/3612.11 c #Conflicts: 1435000 | #Constraints: 39630
3600.05/3612.11 c #Conflicts: 1436000 | #Constraints: 40630
3600.05/3612.11 c #Conflicts: 1437000 | #Constraints: 41630
3600.05/3612.11 c #Conflicts: 1438000 | #Constraints: 42630
3600.05/3612.11 c #Conflicts: 1439000 | #Constraints: 43630
3600.05/3612.11 c #Conflicts: 1440000 | #Constraints: 44630
3600.05/3612.11 c #Conflicts: 1441000 | #Constraints: 45630
3600.05/3612.11 c #Conflicts: 1442000 | #Constraints: 46630
3600.05/3612.11 c #Conflicts: 1443000 | #Constraints: 47630
3600.05/3612.11 c INPROCESSING
3600.05/3612.11 c GARBAGE COLLECT
3600.05/3612.11 c #Conflicts: 1444000 | #Constraints: 24830
3600.05/3612.11 c #Conflicts: 1445000 | #Constraints: 25830
3600.05/3612.11 c #Conflicts: 1446000 | #Constraints: 26830
3600.05/3612.11 c #Conflicts: 1447000 | #Constraints: 27830
3600.05/3612.11 c #Conflicts: 1448000 | #Constraints: 28830
3600.05/3612.11 c #Conflicts: 1449000 | #Constraints: 29830
3600.05/3612.11 c #Conflicts: 1450000 | #Constraints: 30830
3600.05/3612.11 c #Conflicts: 1451000 | #Constraints: 31830
3600.05/3612.11 c #Conflicts: 1452000 | #Constraints: 32830
3600.05/3612.11 c #Conflicts: 1453000 | #Constraints: 33830
3600.05/3612.11 c #Conflicts: 1454000 | #Constraints: 34830
3600.05/3612.11 c #Conflicts: 1455000 | #Constraints: 35830
3600.05/3612.11 c #Conflicts: 1456000 | #Constraints: 36830
3600.05/3612.11 c #Conflicts: 1457000 | #Constraints: 37830
3600.05/3612.11 c #Conflicts: 1458000 | #Constraints: 38830
3600.05/3612.11 c #Conflicts: 1459000 | #Constraints: 39830
3600.05/3612.11 c #Conflicts: 1460000 | #Constraints: 40830
3600.05/3612.11 c #Conflicts: 1461000 | #Constraints: 41830
3600.05/3612.11 c #Conflicts: 1462000 | #Constraints: 42830
3600.05/3612.11 c #Conflicts: 1463000 | #Constraints: 43830
3600.05/3612.11 c #Conflicts: 1464000 | #Constraints: 44830
3600.05/3612.11 c #Conflicts: 1465000 | #Constraints: 45830
3600.05/3612.11 c #Conflicts: 1466000 | #Constraints: 46830
3600.05/3612.11 c #Conflicts: 1467000 | #Constraints: 47830
3600.05/3612.11 c INPROCESSING
3600.05/3612.11 c GARBAGE COLLECT
3600.05/3612.11 c #Conflicts: 1468000 | #Constraints: 24829
3600.05/3612.11 c #Conflicts: 1469000 | #Constraints: 25829
3600.05/3612.11 c #Conflicts: 1470000 | #Constraints: 26829
3600.05/3612.11 c #Conflicts: 1471000 | #Constraints: 27829
3600.05/3612.11 c #Conflicts: 1472000 | #Constraints: 28829
3600.05/3612.11 c #Conflicts: 1473000 | #Constraints: 29829
3600.05/3612.11 c #Conflicts: 1474000 | #Constraints: 30829
3600.05/3612.11 c #Conflicts: 1475000 | #Constraints: 31829
3600.05/3612.11 c #Conflicts: 1476000 | #Constraints: 32829
3600.05/3612.11 c #Conflicts: 1477000 | #Constraints: 33829
3600.05/3612.11 c #Conflicts: 1478000 | #Constraints: 34829
3600.05/3612.11 c #Conflicts: 1479000 | #Constraints: 35829
3600.05/3612.11 c #Conflicts: 1480000 | #Constraints: 36829
3600.05/3612.11 c #Conflicts: 1481000 | #Constraints: 37829
3600.05/3612.11 c #Conflicts: 1482000 | #Constraints: 38829
3600.05/3612.11 c #Conflicts: 1483000 | #Constraints: 39829
3600.05/3612.11 c #Conflicts: 1484000 | #Constraints: 40829
3600.05/3612.11 c #Conflicts: 1485000 | #Constraints: 41829
3600.05/3612.11 c #Conflicts: 1486000 | #Constraints: 42829
3600.05/3612.11 c #Conflicts: 1487000 | #Constraints: 43829
3600.05/3612.11 c #Conflicts: 1488000 | #Constraints: 44829
3600.05/3612.11 c #Conflicts: 1489000 | #Constraints: 45829
3600.05/3612.11 c #Conflicts: 1490000 | #Constraints: 46829
3600.05/3612.11 c #Conflicts: 1491000 | #Constraints: 47829
3600.05/3612.11 c INPROCESSING
3600.05/3612.11 c GARBAGE COLLECT
3600.05/3612.11 c #Conflicts: 1492000 | #Constraints: 24630
3600.05/3612.11 c #Conflicts: 1493000 | #Constraints: 25630
3600.05/3612.11 c #Conflicts: 1494000 | #Constraints: 26630
3600.05/3612.11 c #Conflicts: 1495000 | #Constraints: 27630
3600.05/3612.11 c #Conflicts: 1496000 | #Constraints: 28630
3600.05/3612.11 c #Conflicts: 1497000 | #Constraints: 29630
3600.05/3612.11 c #Conflicts: 1498000 | #Constraints: 30630
3600.05/3612.11 c #Conflicts: 1499000 | #Constraints: 31630
3600.05/3612.11 c #Conflicts: 1500000 | #Constraints: 32630
3600.05/3612.11 c #Conflicts: 1501000 | #Constraints: 33630
3600.05/3612.11 c Program interrupted by user.
3600.05/3612.11 c cpu time 3592.75 s
3600.05/3612.11 c deterministic time 629753622256 6.30e+11
3600.05/3612.11 c optimization time 32.5948 s
3600.05/3612.11 c total solve time 3261.41 s
3600.05/3612.11 c core-guided solve time 3261.41 s
3600.05/3612.11 c propagation time 3120.79 s
3600.05/3612.11 c conflict analysis time 161.376 s
3600.05/3612.11 c propagations 17417263
3600.05/3612.11 c resolve steps 7014754
3600.05/3612.11 c decisions 2671027
3600.05/3612.11 c conflicts 1501681
3600.05/3612.11 c restarts 2939
3600.05/3612.11 c inprocessing phases 113
3600.05/3612.11 c input clauses 0
3600.05/3612.11 c input cardinalities 0
3600.05/3612.11 c input general constraints 13
3600.05/3612.11 c input average constraint length 67.69
3600.05/3612.11 c input average constraint degree 1543.46
3600.05/3612.11 c learned clauses 742680
3600.05/3612.11 c learned cardinalities 0
3600.05/3612.11 c learned general constraints 759001
3600.05/3612.11 c learned average constraint length 43.12
3600.05/3612.11 c learned average constraint degree 122938.58
3600.05/3612.11 c watched constraints 723351
3600.05/3612.11 c counting constraints 35663
3600.05/3612.11 c gcd simplifications 685637
3600.05/3612.11 c detected cardinalities 0
3600.05/3612.11 c weakened non-implied lits 13631489
3600.05/3612.11 c weakened non-implying lits 1034045
3600.05/3612.11 c original variables 146
3600.05/3612.11 c clausal propagations 269063
3600.05/3612.11 c cardinality propagations 0
3600.05/3612.11 c watched propagations 11366711
3600.05/3612.11 c counting propagations 4676367
3600.05/3612.11 c watch lookups 40432533204
3600.05/3612.11 c watch backjump lookups 29961805817
3600.05/3612.11 c watch checks 331977197619
3600.05/3612.11 c propagation checks 226899155696
3600.05/3612.11 c constraint additions 441251782
3600.05/3612.11 c trail pops 21589847
3600.05/3612.11 c formula constraints 12
3600.05/3612.11 c learned constraints 1501681
3600.05/3612.11 c bound constraints 1
3600.05/3612.11 c core-guided constraints 0
3600.05/3612.11 c encountered formula constraints 1470156
3600.05/3612.11 c encountered learned constraints 7046279
3600.05/3612.11 c encountered bound constraints 0
3600.05/3612.11 c encountered core-guided constraints 0
3600.05/3612.11 c LP total time 0 s
3600.05/3612.11 c LP solve time 0 s
3600.05/3612.11 c LP constraints added 0
3600.05/3612.11 c LP constraints removed 0
3600.05/3612.11 c LP pivots internal 0
3600.05/3612.11 c LP pivots root 0
3600.05/3612.11 c LP calls 0
3600.05/3612.11 c LP optimalities 0
3600.05/3612.11 c LP no pivot count 0
3600.05/3612.11 c LP infeasibilities 0
3600.05/3612.11 c LP valid Farkas constraints 0
3600.05/3612.11 c LP learned Farkas constraints 0
3600.05/3612.11 c LP basis resets 0
3600.05/3612.11 c LP cycling count 0
3600.05/3612.11 c LP singular count 0
3600.05/3612.11 c LP no primal count 0
3600.05/3612.11 c LP no farkas count 0
3600.05/3612.11 c LP other issue count 0
3600.05/3612.11 c LP Gomory cuts 0
3600.05/3612.11 c LP learned cuts 0
3600.05/3612.11 c LP deleted cuts 0
3600.05/3612.11 c LP encountered Gomory constraints 0
3600.05/3612.11 c LP encountered Farkas constraints 0
3600.05/3612.11 c LP encountered learned Farkas constraints 0
3600.05/3612.11 c CG auxiliary variables introduced 0
3600.05/3612.11 c CG solutions found 0
3600.05/3612.11 c CG cores constructed 0
3600.05/3612.11 c CG core cardinality constraints returned 0
3600.05/3612.11 c CG unit cores 0
3600.05/3612.11 c CG single cores 0
3600.05/3612.11 c CG blocks removed during cardinality reduction 0
3600.05/3612.11 c CG first core best 0
3600.05/3612.11 c CG decision core best 0
3600.05/3612.11 c CG core reduction tie 0
3600.05/3612.11 c CG core degree average 0.00
3600.05/3612.11 c CG core slack average 0.00
3600.05/3612.11 c CG exhausted 0
3600.05/3612.11 c CG exhaust time 0 s
3600.05/3612.11 c CG trimmed 0
3600.05/3612.11 c CG trim time 0 s
3600.05/3612.11 c CG minimized 0
3600.05/3612.11 c CG minimize time 0 s
3600.05/3612.11 c CG am1 prop time 1.6e-05 s
3600.05/3612.11 c CG # am1s reformulated 0
3600.05/3612.11 c CG lower bound derived from am1s 0
3600.05/3612.11 c CG # clausal cores 0
3600.05/3612.11 c CG # cardinality cores 0
3600.05/3612.11 c CG # pb cores 0
3600.05/3612.11 c CG # pb reforms 0
3600.05/3612.11 c CG # cores discarded because of pb reform 0
3600.05/3612.11 d LOWERBOUND 0
3600.05/3612.11 d NCORES 0
3600.05/3612.11 d NPBCORES 0
3600.05/3612.11 d NPBREFORM 0
3600.05/3612.11 d NTRIMMED 0
3600.05/3612.11 d NEXHAUSTED 0
3600.05/3612.11 d NAM1S 0
3600.05/3612.11 d AM1LB 0
3600.05/3612.11 c [Papilo Statistics]
3600.05/3612.11 c prepro time 0.00101212s
3600.05/3612.11 c # tsx applied 6
3600.05/3612.11 c # tsx conflicts 0
3600.05/3612.11 c # bound changes 0
3600.05/3612.11 c # side changes 6
3600.05/3612.11 c # coef changes 0
3600.05/3612.11 c # rounds 2
3600.05/3612.11 c # deted vars 0
3600.05/3612.11 c # deted constrs 6
3600.05/3612.11 c # consecutive rounds of only bound changes 0
3600.05/3612.11 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: 64059 MiB (63207 MiB free)
memory of node 1: 64510 MiB (63266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435502-1721101830/watcher-4435502-1721101830 -o /tmp/evaluation-result-4435502-1721101830/solver-4435502-1721101830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830108 --watchdog 3760 mixed-bag HOME/instance-4435502-1721101830.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=832192, runsolver pid=832189
[startup+0.101068 s]*
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129502216/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=90580 memory=24576 CPUtime=0.1 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 2372 0 0 0 9 1 0 0 20 0 1 0 162342246 92753920 6144 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 22645 6144 4137 3002 0 6396 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90580 KiB
Current children cumulated memory: 24576 KiB
[startup+0.212379 s]*
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129491116/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=100800 memory=32560 CPUtime=0.21 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 4436 0 0 0 20 1 0 0 20 0 1 0 162342246 103219200 8140 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 25200 8140 4137 3002 0 8951 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 32560 KiB
[startup+0.313139 s]*
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129490780/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=100800 memory=32560 CPUtime=0.31 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 4436 0 0 0 30 1 0 0 20 0 1 0 162342246 103219200 8140 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 25200 8140 4137 3002 0 8951 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 32560 KiB
[startup+0.700289 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129487280/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=105208 memory=37576 CPUtime=0.68 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 5679 0 0 0 67 1 0 0 20 0 1 0 162342246 107732992 9394 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 26302 9394 4137 3002 0 10053 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105208 KiB
Current children cumulated memory: 37576 KiB
[startup+1.50029 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129479188/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=106952 memory=39424 CPUtime=1.48 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 6120 0 0 0 147 1 0 0 20 0 1 0 162342246 109518848 9856 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 26738 9856 4137 3002 0 10489 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106952 KiB
Current children cumulated memory: 39424 KiB
[startup+3.11264 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129460128/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=113372 memory=44836 CPUtime=3.09 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 7562 0 0 0 307 2 0 0 20 0 1 0 162342246 116092928 11209 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 28343 11209 4137 3002 0 12094 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113372 KiB
Current children cumulated memory: 44836 KiB
[startup+6.30026 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129439716/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=118724 memory=50908 CPUtime=6.26 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 9121 0 0 0 624 2 0 0 20 0 1 0 162342246 121573376 12727 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 29681 12727 4137 3002 0 13432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 118724 KiB
Current children cumulated memory: 50908 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832195
/proc/meminfo: memFree=129417180/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=123080 memory=54868 CPUtime=12.64 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 10082 0 0 0 1261 3 0 0 20 0 1 0 162342246 126033920 13717 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 30770 13717 4137 3002 0 14521 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123080 KiB
Current children cumulated memory: 54868 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.09 4.09 5/244 832196
/proc/meminfo: memFree=129370540/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=125892 memory=58564 CPUtime=25.39 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 11014 0 0 0 2536 3 0 0 20 0 1 0 162342246 128913408 14641 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 31473 14641 4137 3002 0 15224 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 125892 KiB
Current children cumulated memory: 58564 KiB
[startup+51.1126 s]
/proc/loadavg: 4.14 4.10 4.09 5/244 832247
/proc/meminfo: memFree=129270020/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=141116 memory=72452 CPUtime=50.89 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 14526 0 0 0 5086 3 0 0 20 0 1 0 162342246 144502784 18113 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 35279 18113 4137 3002 0 19030 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 141116 KiB
Current children cumulated memory: 72452 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/244 832257
/proc/meminfo: memFree=129093332/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=150112 memory=83532 CPUtime=101.87 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 17344 0 0 0 10184 3 0 0 20 0 1 0 162342246 153714688 20883 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 37528 20883 4137 3002 0 21279 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 150112 KiB
Current children cumulated memory: 83532 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.30 4.16 5/244 832268
/proc/meminfo: memFree=128878916/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=159740 memory=91784 CPUtime=161.63 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 19479 0 0 0 16159 4 0 0 20 0 1 0 162342246 163573760 22946 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 39935 22946 4137 3002 0 23686 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 159740 KiB
Current children cumulated memory: 91784 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/244 832279
/proc/meminfo: memFree=128733644/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=159740 memory=91784 CPUtime=221.39 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 19481 0 0 0 22135 4 0 0 20 0 1 0 162342246 163573760 22946 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 39935 22946 4137 3002 0 23686 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 159740 KiB
Current children cumulated memory: 91784 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/244 832289
/proc/meminfo: memFree=128613860/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=163724 memory=98632 CPUtime=281.11 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 20840 0 0 0 28107 4 0 0 20 0 1 0 162342246 167653376 24658 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 40931 24658 4281 3002 0 24682 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 163724 KiB
Current children cumulated memory: 98632 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/244 832683
/proc/meminfo: memFree=129003460/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=160628 memory=105212 CPUtime=340.9 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 21431 0 0 0 34053 37 0 0 20 0 1 0 162342246 164483072 26303 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 40157 26303 4393 3002 0 23908 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 160628 KiB
Current children cumulated memory: 105212 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.15 5/244 832693
/proc/meminfo: memFree=128985468/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=163348 memory=108416 CPUtime=400.73 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 21784 0 0 0 40006 67 0 0 20 0 1 0 162342246 167268352 27104 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 40837 27104 4393 3002 0 24588 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 163348 KiB
Current children cumulated memory: 108416 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/244 832703
/proc/meminfo: memFree=128980500/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=163348 memory=108416 CPUtime=460.56 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 21816 0 0 0 45969 87 0 0 20 0 1 0 162342246 167268352 27104 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 40837 27104 4393 3002 0 24588 0
################
# More data... #
################
Current children cumulated memory: 118112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 833941
/proc/meminfo: memFree=128911428/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=2912.61 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24142 0 0 0 290634 627 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 2912.61 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/241 833951
/proc/meminfo: memFree=128911064/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=2972.42 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24182 0 0 0 296604 638 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 2972.42 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/244 833967
/proc/meminfo: memFree=128910744/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3032.21 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24222 0 0 0 302575 646 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/244 833977
/proc/meminfo: memFree=128910408/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3092 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24266 0 0 0 308546 654 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3092 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/245 833989
/proc/meminfo: memFree=128910164/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3151.79 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24306 0 0 0 314517 662 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3151.79 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.13 4.13 5/245 834000
/proc/meminfo: memFree=128909916/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3211.59 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24344 0 0 0 320487 672 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/245 834010
/proc/meminfo: memFree=128907172/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3271.38 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24384 0 0 0 326457 681 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/242 834021
/proc/meminfo: memFree=128906920/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3331.17 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24427 0 0 0 332426 691 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/242 834031
/proc/meminfo: memFree=128906508/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3390.97 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24465 0 0 0 338398 699 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/241 834041
/proc/meminfo: memFree=128905868/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3450.76 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24505 0 0 0 344369 707 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/241 834053
/proc/meminfo: memFree=128905536/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3510.55 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24545 0 0 0 350337 718 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/241 834063
/proc/meminfo: memFree=128903140/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3570.35 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24603 0 0 0 356308 727 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834163
/proc/meminfo: memFree=128615276/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3600.05 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24603 0 0 0 359274 731 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 832192 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.75 s, system=7.31197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834163
/proc/meminfo: memFree=128615276/131655788 swapFree=131071996/131071996
[pid=832192] ppid=832189 vsize=174948 memory=118112 CPUtime=3600.05 cores=0,2
/proc/832192/stat : 832192 (mixed-bag) R 832189 832192 830098 0 -1 4194304 24603 0 0 0 359274 731 0 0 20 0 1 0 162342246 179146752 29528 134679101440 4194304 16487941 140735408184240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 40980480 140735408190487 140735408190564 140735408190564 140735408197579 0
/proc/832192/statm: 43737 29528 4393 3002 0 27488 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 174948 KiB
Current children cumulated memory: 118112 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.06
CPU user time (s): 3592.75
CPU system time (s): 7.31197
CPU usage (%): 99.6663
Max. virtual memory (cumulated for all children) (KiB): 174948
Max. memory (cumulated for all children) (KiB): 118112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.75
system time used= 7.31197
maximum resident set size= 118680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24619
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= 57
involuntary context switches= 25192
# summary of solver processes directly reported to runsolver:
# pid: 832192
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.75
# total CPU system time (s): 7.31197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4852 second user time and 33.7808 second system time
The end
Begin job on nodeC010 at 2024-07-16 05:50:41
IDJOB=4435502
IDBENCH=147612
IDSOLVER=3066
FILE ID=nodeC010/4435502-1721101830
RUNJOBID= nodeC010-1721098226-830108
SLURM_JOB_ID= 7505613
Free space on /tmp= 723736 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435502-1721101830/watcher-4435502-1721101830 -o /tmp/evaluation-result-4435502-1721101830/solver-4435502-1721101830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830108 --watchdog 3760 mixed-bag HOME/instance-4435502-1721101830.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=1489042944
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.771
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.357
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.075
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.419
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.403
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129509996 kB
MemAvailable: 129883956 kB
Buffers: 394956 kB
Cached: 822252 kB
SwapCached: 0 kB
Active: 730988 kB
Inactive: 893200 kB
Active(anon): 1464 kB
Inactive(anon): 443252 kB
Active(file): 729524 kB
Inactive(file): 449948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65048 kB
Writeback: 0 kB
AnonPages: 407416 kB
Mapped: 137108 kB
Shmem: 37704 kB
KReclaimable: 69036 kB
Slab: 162028 kB
SReclaimable: 69036 kB
SUnreclaim: 92992 kB
KernelStack: 3900 kB
PageTables: 10568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 691900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-07-16 06:50:54