0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 198 #constraints 16
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 0 @ 0.001615
0.00/0.02 c stratification level: 64
0.00/0.05 c bounds 511 >= 0 @ 0.026339
0.00/0.05 c stratification level: 32
0.00/0.09 c bounds 305 >= 0 @ 0.066223
0.00/0.09 c stratification level: 16
0.08/0.18 c bounds 159 >= 0 @ 0.155614
0.08/0.18 c stratification level: 8
33.28/33.41 c #Conflicts: 1000 | #Constraints: 1018
33.28/33.41 c #Conflicts: 2000 | #Constraints: 2018
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 3000 | #Constraints: 2021
33.28/33.41 c #Conflicts: 4000 | #Constraints: 3021
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 5000 | #Constraints: 2425
33.28/33.41 c #Conflicts: 6000 | #Constraints: 3425
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 7000 | #Constraints: 2424
33.28/33.41 c #Conflicts: 8000 | #Constraints: 3424
33.28/33.41 c #Conflicts: 9000 | #Constraints: 4424
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 10000 | #Constraints: 3128
33.28/33.41 c #Conflicts: 11000 | #Constraints: 4128
33.28/33.41 c #Conflicts: 12000 | #Constraints: 5128
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 13000 | #Constraints: 3577
33.28/33.41 c #Conflicts: 14000 | #Constraints: 4577
33.28/33.41 c #Conflicts: 15000 | #Constraints: 5577
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 16000 | #Constraints: 3803
33.28/33.41 c #Conflicts: 17000 | #Constraints: 4803
33.28/33.41 c #Conflicts: 18000 | #Constraints: 5803
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 19000 | #Constraints: 3819
33.28/33.41 c #Conflicts: 20000 | #Constraints: 4819
33.28/33.41 c #Conflicts: 21000 | #Constraints: 5819
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 22000 | #Constraints: 3622
33.28/33.41 c #Conflicts: 23000 | #Constraints: 4622
33.28/33.41 c #Conflicts: 24000 | #Constraints: 5622
33.28/33.41 c #Conflicts: 25000 | #Constraints: 6622
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 26000 | #Constraints: 4228
33.28/33.41 c #Conflicts: 27000 | #Constraints: 5228
33.28/33.41 c #Conflicts: 28000 | #Constraints: 6228
33.28/33.41 c #Conflicts: 29000 | #Constraints: 7228
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 30000 | #Constraints: 4629
33.28/33.41 c #Conflicts: 31000 | #Constraints: 5629
33.28/33.41 c #Conflicts: 32000 | #Constraints: 6629
33.28/33.41 c #Conflicts: 33000 | #Constraints: 7629
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 34000 | #Constraints: 4830
33.28/33.41 c #Conflicts: 35000 | #Constraints: 5830
33.28/33.41 c #Conflicts: 36000 | #Constraints: 6830
33.28/33.41 c #Conflicts: 37000 | #Constraints: 7830
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 38000 | #Constraints: 4837
33.28/33.41 c #Conflicts: 39000 | #Constraints: 5837
33.28/33.41 c #Conflicts: 40000 | #Constraints: 6837
33.28/33.41 c #Conflicts: 41000 | #Constraints: 7837
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 42000 | #Constraints: 4639
33.28/33.41 c #Conflicts: 43000 | #Constraints: 5639
33.28/33.41 c #Conflicts: 44000 | #Constraints: 6639
33.28/33.41 c #Conflicts: 45000 | #Constraints: 7639
33.28/33.41 c #Conflicts: 46000 | #Constraints: 8639
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 47000 | #Constraints: 5235
33.28/33.41 c #Conflicts: 48000 | #Constraints: 6235
33.28/33.41 c #Conflicts: 49000 | #Constraints: 7235
33.28/33.41 c #Conflicts: 50000 | #Constraints: 8235
33.28/33.41 c #Conflicts: 51000 | #Constraints: 9235
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 52000 | #Constraints: 5634
33.28/33.41 c #Conflicts: 53000 | #Constraints: 6634
33.28/33.41 c #Conflicts: 54000 | #Constraints: 7634
33.28/33.41 c #Conflicts: 55000 | #Constraints: 8634
33.28/33.41 c #Conflicts: 56000 | #Constraints: 9634
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 57000 | #Constraints: 5833
33.28/33.41 c #Conflicts: 58000 | #Constraints: 6833
33.28/33.41 c #Conflicts: 59000 | #Constraints: 7833
33.28/33.41 c #Conflicts: 60000 | #Constraints: 8833
33.28/33.41 c #Conflicts: 61000 | #Constraints: 9833
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 62000 | #Constraints: 5836
33.28/33.41 c #Conflicts: 63000 | #Constraints: 6836
33.28/33.41 c #Conflicts: 64000 | #Constraints: 7836
33.28/33.41 c #Conflicts: 65000 | #Constraints: 8836
33.28/33.41 c #Conflicts: 66000 | #Constraints: 9836
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c #Conflicts: 67000 | #Constraints: 5636
33.28/33.41 c #Conflicts: 68000 | #Constraints: 6636
92.84/93.11 c #Conflicts: 69000 | #Constraints: 7636
92.84/93.11 c #Conflicts: 70000 | #Constraints: 8636
92.84/93.11 c #Conflicts: 71000 | #Constraints: 9636
92.84/93.11 c #Conflicts: 72000 | #Constraints: 10636
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 73000 | #Constraints: 6236
92.84/93.11 c #Conflicts: 74000 | #Constraints: 7236
92.84/93.11 c #Conflicts: 75000 | #Constraints: 8236
92.84/93.11 c #Conflicts: 76000 | #Constraints: 9236
92.84/93.11 c #Conflicts: 77000 | #Constraints: 10236
92.84/93.11 c #Conflicts: 78000 | #Constraints: 11236
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 79000 | #Constraints: 6639
92.84/93.11 c #Conflicts: 80000 | #Constraints: 7639
92.84/93.11 c #Conflicts: 81000 | #Constraints: 8639
92.84/93.11 c #Conflicts: 82000 | #Constraints: 9639
92.84/93.11 c #Conflicts: 83000 | #Constraints: 10639
92.84/93.11 c #Conflicts: 84000 | #Constraints: 11639
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 85000 | #Constraints: 6840
92.84/93.11 c #Conflicts: 86000 | #Constraints: 7840
92.84/93.11 c #Conflicts: 87000 | #Constraints: 8840
92.84/93.11 c #Conflicts: 88000 | #Constraints: 9840
92.84/93.11 c #Conflicts: 89000 | #Constraints: 10840
92.84/93.11 c #Conflicts: 90000 | #Constraints: 11840
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 91000 | #Constraints: 6838
92.84/93.11 c #Conflicts: 92000 | #Constraints: 7838
92.84/93.11 c #Conflicts: 93000 | #Constraints: 8838
92.84/93.11 c #Conflicts: 94000 | #Constraints: 9838
92.84/93.11 c #Conflicts: 95000 | #Constraints: 10838
92.84/93.11 c #Conflicts: 96000 | #Constraints: 11838
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 97000 | #Constraints: 6636
92.84/93.11 c #Conflicts: 98000 | #Constraints: 7636
92.84/93.11 c #Conflicts: 99000 | #Constraints: 8636
92.84/93.11 c #Conflicts: 100000 | #Constraints: 9636
92.84/93.11 c #Conflicts: 101000 | #Constraints: 10636
92.84/93.11 c #Conflicts: 102000 | #Constraints: 11636
92.84/93.11 c #Conflicts: 103000 | #Constraints: 12636
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 104000 | #Constraints: 7231
92.84/93.11 c #Conflicts: 105000 | #Constraints: 8231
92.84/93.11 c #Conflicts: 106000 | #Constraints: 9231
92.84/93.11 c #Conflicts: 107000 | #Constraints: 10231
92.84/93.11 c #Conflicts: 108000 | #Constraints: 11231
92.84/93.11 c #Conflicts: 109000 | #Constraints: 12231
92.84/93.11 c #Conflicts: 110000 | #Constraints: 13231
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 111000 | #Constraints: 7636
92.84/93.11 c #Conflicts: 112000 | #Constraints: 8636
92.84/93.11 c #Conflicts: 113000 | #Constraints: 9636
92.84/93.11 c #Conflicts: 114000 | #Constraints: 10636
92.84/93.11 c #Conflicts: 115000 | #Constraints: 11636
92.84/93.11 c #Conflicts: 116000 | #Constraints: 12636
92.84/93.11 c #Conflicts: 117000 | #Constraints: 13636
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 118000 | #Constraints: 7834
92.84/93.11 c #Conflicts: 119000 | #Constraints: 8834
92.84/93.11 c #Conflicts: 120000 | #Constraints: 9834
92.84/93.11 c #Conflicts: 121000 | #Constraints: 10834
92.84/93.11 c #Conflicts: 122000 | #Constraints: 11834
92.84/93.11 c #Conflicts: 123000 | #Constraints: 12834
92.84/93.11 c #Conflicts: 124000 | #Constraints: 13834
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 125000 | #Constraints: 7832
92.84/93.11 c #Conflicts: 126000 | #Constraints: 8832
92.84/93.11 c #Conflicts: 127000 | #Constraints: 9832
92.84/93.11 c #Conflicts: 128000 | #Constraints: 10832
92.84/93.11 c #Conflicts: 129000 | #Constraints: 11832
92.84/93.11 c #Conflicts: 130000 | #Constraints: 12832
92.84/93.11 c #Conflicts: 131000 | #Constraints: 13832
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 132000 | #Constraints: 7631
92.84/93.11 c #Conflicts: 133000 | #Constraints: 8631
92.84/93.11 c #Conflicts: 134000 | #Constraints: 9631
92.84/93.11 c #Conflicts: 135000 | #Constraints: 10631
92.84/93.11 c #Conflicts: 136000 | #Constraints: 11631
92.84/93.11 c #Conflicts: 137000 | #Constraints: 12631
92.84/93.11 c #Conflicts: 138000 | #Constraints: 13631
92.84/93.11 c #Conflicts: 139000 | #Constraints: 14631
92.84/93.11 c INPROCESSING
92.84/93.11 c GARBAGE COLLECT
92.84/93.11 c #Conflicts: 140000 | #Constraints: 8236
170.34/170.81 c #Conflicts: 141000 | #Constraints: 9236
170.34/170.81 c #Conflicts: 142000 | #Constraints: 10236
170.34/170.81 c #Conflicts: 143000 | #Constraints: 11236
170.34/170.81 c #Conflicts: 144000 | #Constraints: 12236
170.34/170.81 c #Conflicts: 145000 | #Constraints: 13236
170.34/170.81 c #Conflicts: 146000 | #Constraints: 14236
170.34/170.81 c #Conflicts: 147000 | #Constraints: 15236
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 148000 | #Constraints: 8639
170.34/170.81 c #Conflicts: 149000 | #Constraints: 9639
170.34/170.81 c #Conflicts: 150000 | #Constraints: 10639
170.34/170.81 c #Conflicts: 151000 | #Constraints: 11639
170.34/170.81 c #Conflicts: 152000 | #Constraints: 12639
170.34/170.81 c #Conflicts: 153000 | #Constraints: 13639
170.34/170.81 c #Conflicts: 154000 | #Constraints: 14639
170.34/170.81 c #Conflicts: 155000 | #Constraints: 15639
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 156000 | #Constraints: 8839
170.34/170.81 c #Conflicts: 157000 | #Constraints: 9839
170.34/170.81 c #Conflicts: 158000 | #Constraints: 10839
170.34/170.81 c #Conflicts: 159000 | #Constraints: 11839
170.34/170.81 c #Conflicts: 160000 | #Constraints: 12839
170.34/170.81 c #Conflicts: 161000 | #Constraints: 13839
170.34/170.81 c #Conflicts: 162000 | #Constraints: 14839
170.34/170.81 c #Conflicts: 163000 | #Constraints: 15839
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 164000 | #Constraints: 8836
170.34/170.81 c #Conflicts: 165000 | #Constraints: 9836
170.34/170.81 c #Conflicts: 166000 | #Constraints: 10836
170.34/170.81 c #Conflicts: 167000 | #Constraints: 11836
170.34/170.81 c #Conflicts: 168000 | #Constraints: 12836
170.34/170.81 c #Conflicts: 169000 | #Constraints: 13836
170.34/170.81 c #Conflicts: 170000 | #Constraints: 14836
170.34/170.81 c #Conflicts: 171000 | #Constraints: 15836
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 172000 | #Constraints: 8633
170.34/170.81 c #Conflicts: 173000 | #Constraints: 9633
170.34/170.81 c #Conflicts: 174000 | #Constraints: 10633
170.34/170.81 c #Conflicts: 175000 | #Constraints: 11633
170.34/170.81 c #Conflicts: 176000 | #Constraints: 12633
170.34/170.81 c #Conflicts: 177000 | #Constraints: 13633
170.34/170.81 c #Conflicts: 178000 | #Constraints: 14633
170.34/170.81 c #Conflicts: 179000 | #Constraints: 15633
170.34/170.81 c #Conflicts: 180000 | #Constraints: 16633
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 181000 | #Constraints: 9233
170.34/170.81 c #Conflicts: 182000 | #Constraints: 10233
170.34/170.81 c #Conflicts: 183000 | #Constraints: 11233
170.34/170.81 c #Conflicts: 184000 | #Constraints: 12233
170.34/170.81 c #Conflicts: 185000 | #Constraints: 13233
170.34/170.81 c #Conflicts: 186000 | #Constraints: 14233
170.34/170.81 c #Conflicts: 187000 | #Constraints: 15233
170.34/170.81 c #Conflicts: 188000 | #Constraints: 16233
170.34/170.81 c #Conflicts: 189000 | #Constraints: 17233
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 190000 | #Constraints: 9633
170.34/170.81 c #Conflicts: 191000 | #Constraints: 10633
170.34/170.81 c #Conflicts: 192000 | #Constraints: 11633
170.34/170.81 c #Conflicts: 193000 | #Constraints: 12633
170.34/170.81 c #Conflicts: 194000 | #Constraints: 13633
170.34/170.81 c #Conflicts: 195000 | #Constraints: 14633
170.34/170.81 c #Conflicts: 196000 | #Constraints: 15633
170.34/170.81 c #Conflicts: 197000 | #Constraints: 16633
170.34/170.81 c #Conflicts: 198000 | #Constraints: 17633
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 199000 | #Constraints: 9835
170.34/170.81 c #Conflicts: 200000 | #Constraints: 10835
170.34/170.81 c #Conflicts: 201000 | #Constraints: 11835
170.34/170.81 c #Conflicts: 202000 | #Constraints: 12835
170.34/170.81 c #Conflicts: 203000 | #Constraints: 13835
170.34/170.81 c #Conflicts: 204000 | #Constraints: 14835
170.34/170.81 c #Conflicts: 205000 | #Constraints: 15835
170.34/170.81 c #Conflicts: 206000 | #Constraints: 16835
170.34/170.81 c #Conflicts: 207000 | #Constraints: 17835
170.34/170.81 c INPROCESSING
170.34/170.81 c GARBAGE COLLECT
170.34/170.81 c #Conflicts: 208000 | #Constraints: 9835
170.34/170.81 c #Conflicts: 209000 | #Constraints: 10835
170.34/170.81 c #Conflicts: 210000 | #Constraints: 11835
170.34/170.81 c #Conflicts: 211000 | #Constraints: 12835
170.34/170.81 c #Conflicts: 212000 | #Constraints: 13835
170.34/170.81 c #Conflicts: 213000 | #Constraints: 14835
269.29/270.04 c #Conflicts: 214000 | #Constraints: 15835
269.29/270.04 c #Conflicts: 215000 | #Constraints: 16835
269.29/270.04 c #Conflicts: 216000 | #Constraints: 17835
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 217000 | #Constraints: 9642
269.29/270.04 c #Conflicts: 218000 | #Constraints: 10642
269.29/270.04 c #Conflicts: 219000 | #Constraints: 11642
269.29/270.04 c #Conflicts: 220000 | #Constraints: 12642
269.29/270.04 c #Conflicts: 221000 | #Constraints: 13642
269.29/270.04 c #Conflicts: 222000 | #Constraints: 14642
269.29/270.04 c #Conflicts: 223000 | #Constraints: 15642
269.29/270.04 c #Conflicts: 224000 | #Constraints: 16642
269.29/270.04 c #Conflicts: 225000 | #Constraints: 17642
269.29/270.04 c #Conflicts: 226000 | #Constraints: 18642
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 227000 | #Constraints: 10239
269.29/270.04 c #Conflicts: 228000 | #Constraints: 11239
269.29/270.04 c #Conflicts: 229000 | #Constraints: 12239
269.29/270.04 c #Conflicts: 230000 | #Constraints: 13239
269.29/270.04 c #Conflicts: 231000 | #Constraints: 14239
269.29/270.04 c #Conflicts: 232000 | #Constraints: 15239
269.29/270.04 c #Conflicts: 233000 | #Constraints: 16239
269.29/270.04 c #Conflicts: 234000 | #Constraints: 17239
269.29/270.04 c #Conflicts: 235000 | #Constraints: 18239
269.29/270.04 c #Conflicts: 236000 | #Constraints: 19239
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 237000 | #Constraints: 10636
269.29/270.04 c #Conflicts: 238000 | #Constraints: 11636
269.29/270.04 c #Conflicts: 239000 | #Constraints: 12636
269.29/270.04 c #Conflicts: 240000 | #Constraints: 13636
269.29/270.04 c #Conflicts: 241000 | #Constraints: 14636
269.29/270.04 c #Conflicts: 242000 | #Constraints: 15636
269.29/270.04 c #Conflicts: 243000 | #Constraints: 16636
269.29/270.04 c #Conflicts: 244000 | #Constraints: 17636
269.29/270.04 c #Conflicts: 245000 | #Constraints: 18636
269.29/270.04 c #Conflicts: 246000 | #Constraints: 19636
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 247000 | #Constraints: 10839
269.29/270.04 c #Conflicts: 248000 | #Constraints: 11839
269.29/270.04 c #Conflicts: 249000 | #Constraints: 12839
269.29/270.04 c #Conflicts: 250000 | #Constraints: 13839
269.29/270.04 c #Conflicts: 251000 | #Constraints: 14839
269.29/270.04 c #Conflicts: 252000 | #Constraints: 15839
269.29/270.04 c #Conflicts: 253000 | #Constraints: 16839
269.29/270.04 c #Conflicts: 254000 | #Constraints: 17839
269.29/270.04 c #Conflicts: 255000 | #Constraints: 18839
269.29/270.04 c #Conflicts: 256000 | #Constraints: 19839
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 257000 | #Constraints: 10837
269.29/270.04 c #Conflicts: 258000 | #Constraints: 11837
269.29/270.04 c #Conflicts: 259000 | #Constraints: 12837
269.29/270.04 c #Conflicts: 260000 | #Constraints: 13837
269.29/270.04 c #Conflicts: 261000 | #Constraints: 14837
269.29/270.04 c #Conflicts: 262000 | #Constraints: 15837
269.29/270.04 c #Conflicts: 263000 | #Constraints: 16837
269.29/270.04 c #Conflicts: 264000 | #Constraints: 17837
269.29/270.04 c #Conflicts: 265000 | #Constraints: 18837
269.29/270.04 c #Conflicts: 266000 | #Constraints: 19837
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 267000 | #Constraints: 10636
269.29/270.04 c #Conflicts: 268000 | #Constraints: 11636
269.29/270.04 c #Conflicts: 269000 | #Constraints: 12636
269.29/270.04 c #Conflicts: 270000 | #Constraints: 13636
269.29/270.04 c #Conflicts: 271000 | #Constraints: 14636
269.29/270.04 c #Conflicts: 272000 | #Constraints: 15636
269.29/270.04 c #Conflicts: 273000 | #Constraints: 16636
269.29/270.04 c #Conflicts: 274000 | #Constraints: 17636
269.29/270.04 c #Conflicts: 275000 | #Constraints: 18636
269.29/270.04 c #Conflicts: 276000 | #Constraints: 19636
269.29/270.04 c #Conflicts: 277000 | #Constraints: 20636
269.29/270.04 c INPROCESSING
269.29/270.04 c GARBAGE COLLECT
269.29/270.04 c #Conflicts: 278000 | #Constraints: 11233
269.29/270.04 c #Conflicts: 279000 | #Constraints: 12233
269.29/270.04 c #Conflicts: 280000 | #Constraints: 13233
269.29/270.04 c #Conflicts: 281000 | #Constraints: 14233
269.29/270.04 c #Conflicts: 282000 | #Constraints: 15233
269.29/270.04 c #Conflicts: 283000 | #Constraints: 16233
269.29/270.04 c #Conflicts: 284000 | #Constraints: 17233
269.29/270.04 c #Conflicts: 285000 | #Constraints: 18233
269.29/270.04 c #Conflicts: 286000 | #Constraints: 19233
269.29/270.04 c #Conflicts: 287000 | #Constraints: 20233
269.29/270.04 c #Conflicts: 288000 | #Constraints: 21233
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 289000 | #Constraints: 11634
381.26/382.30 c #Conflicts: 290000 | #Constraints: 12634
381.26/382.30 c #Conflicts: 291000 | #Constraints: 13634
381.26/382.30 c #Conflicts: 292000 | #Constraints: 14634
381.26/382.30 c #Conflicts: 293000 | #Constraints: 15634
381.26/382.30 c #Conflicts: 294000 | #Constraints: 16634
381.26/382.30 c #Conflicts: 295000 | #Constraints: 17634
381.26/382.30 c #Conflicts: 296000 | #Constraints: 18634
381.26/382.30 c #Conflicts: 297000 | #Constraints: 19634
381.26/382.30 c #Conflicts: 298000 | #Constraints: 20634
381.26/382.30 c #Conflicts: 299000 | #Constraints: 21634
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 300000 | #Constraints: 11834
381.26/382.30 c #Conflicts: 301000 | #Constraints: 12834
381.26/382.30 c #Conflicts: 302000 | #Constraints: 13834
381.26/382.30 c #Conflicts: 303000 | #Constraints: 14834
381.26/382.30 c #Conflicts: 304000 | #Constraints: 15834
381.26/382.30 c #Conflicts: 305000 | #Constraints: 16834
381.26/382.30 c #Conflicts: 306000 | #Constraints: 17834
381.26/382.30 c #Conflicts: 307000 | #Constraints: 18834
381.26/382.30 c #Conflicts: 308000 | #Constraints: 19834
381.26/382.30 c #Conflicts: 309000 | #Constraints: 20834
381.26/382.30 c #Conflicts: 310000 | #Constraints: 21834
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 311000 | #Constraints: 11834
381.26/382.30 c #Conflicts: 312000 | #Constraints: 12834
381.26/382.30 c #Conflicts: 313000 | #Constraints: 13834
381.26/382.30 c #Conflicts: 314000 | #Constraints: 14834
381.26/382.30 c #Conflicts: 315000 | #Constraints: 15834
381.26/382.30 c #Conflicts: 316000 | #Constraints: 16834
381.26/382.30 c #Conflicts: 317000 | #Constraints: 17834
381.26/382.30 c #Conflicts: 318000 | #Constraints: 18834
381.26/382.30 c #Conflicts: 319000 | #Constraints: 19834
381.26/382.30 c #Conflicts: 320000 | #Constraints: 20834
381.26/382.30 c #Conflicts: 321000 | #Constraints: 21834
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 322000 | #Constraints: 11635
381.26/382.30 c #Conflicts: 323000 | #Constraints: 12635
381.26/382.30 c #Conflicts: 324000 | #Constraints: 13635
381.26/382.30 c #Conflicts: 325000 | #Constraints: 14635
381.26/382.30 c #Conflicts: 326000 | #Constraints: 15635
381.26/382.30 c #Conflicts: 327000 | #Constraints: 16635
381.26/382.30 c #Conflicts: 328000 | #Constraints: 17635
381.26/382.30 c #Conflicts: 329000 | #Constraints: 18635
381.26/382.30 c #Conflicts: 330000 | #Constraints: 19635
381.26/382.30 c #Conflicts: 331000 | #Constraints: 20635
381.26/382.30 c #Conflicts: 332000 | #Constraints: 21635
381.26/382.30 c #Conflicts: 333000 | #Constraints: 22635
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 334000 | #Constraints: 12235
381.26/382.30 c #Conflicts: 335000 | #Constraints: 13235
381.26/382.30 c #Conflicts: 336000 | #Constraints: 14235
381.26/382.30 c #Conflicts: 337000 | #Constraints: 15235
381.26/382.30 c #Conflicts: 338000 | #Constraints: 16235
381.26/382.30 c #Conflicts: 339000 | #Constraints: 17235
381.26/382.30 c #Conflicts: 340000 | #Constraints: 18235
381.26/382.30 c #Conflicts: 341000 | #Constraints: 19235
381.26/382.30 c #Conflicts: 342000 | #Constraints: 20235
381.26/382.30 c #Conflicts: 343000 | #Constraints: 21235
381.26/382.30 c #Conflicts: 344000 | #Constraints: 22235
381.26/382.30 c #Conflicts: 345000 | #Constraints: 23235
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 346000 | #Constraints: 12633
381.26/382.30 c #Conflicts: 347000 | #Constraints: 13633
381.26/382.30 c #Conflicts: 348000 | #Constraints: 14633
381.26/382.30 c #Conflicts: 349000 | #Constraints: 15633
381.26/382.30 c #Conflicts: 350000 | #Constraints: 16633
381.26/382.30 c #Conflicts: 351000 | #Constraints: 17633
381.26/382.30 c #Conflicts: 352000 | #Constraints: 18633
381.26/382.30 c #Conflicts: 353000 | #Constraints: 19633
381.26/382.30 c #Conflicts: 354000 | #Constraints: 20633
381.26/382.30 c #Conflicts: 355000 | #Constraints: 21633
381.26/382.30 c #Conflicts: 356000 | #Constraints: 22633
381.26/382.30 c #Conflicts: 357000 | #Constraints: 23633
381.26/382.30 c INPROCESSING
381.26/382.30 c GARBAGE COLLECT
381.26/382.30 c #Conflicts: 358000 | #Constraints: 12833
381.26/382.30 c #Conflicts: 359000 | #Constraints: 13833
381.26/382.30 c #Conflicts: 360000 | #Constraints: 14833
381.26/382.30 c #Conflicts: 361000 | #Constraints: 15833
381.26/382.30 c #Conflicts: 362000 | #Constraints: 16833
396.62/397.76 c #Conflicts: 363000 | #Constraints: 17833
396.62/397.76 c #Conflicts: 364000 | #Constraints: 18833
396.62/397.76 c #Conflicts: 365000 | #Constraints: 19833
396.62/397.76 c #Conflicts: 366000 | #Constraints: 20833
396.62/397.76 c #Conflicts: 367000 | #Constraints: 21833
396.62/397.76 c #Conflicts: 368000 | #Constraints: 22833
396.62/397.76 c #Conflicts: 369000 | #Constraints: 23833
396.62/397.76 c INPROCESSING
396.62/397.76 c GARBAGE COLLECT
396.62/397.76 c #Conflicts: 370000 | #Constraints: 12837
396.62/397.76 c #Conflicts: 371000 | #Constraints: 13837
396.62/397.76 c #Conflicts: 372000 | #Constraints: 14837
396.62/397.76 c bounds 44 >= 0 @ 395.072
396.62/397.76 c stratification level: 4
511.84/513.22 c #Conflicts: 373000 | #Constraints: 15838
511.84/513.22 c #Conflicts: 374000 | #Constraints: 16838
511.84/513.22 c #Conflicts: 375000 | #Constraints: 17838
511.84/513.22 c #Conflicts: 376000 | #Constraints: 18838
511.84/513.22 c #Conflicts: 377000 | #Constraints: 19838
511.84/513.22 c #Conflicts: 378000 | #Constraints: 20838
511.84/513.22 c #Conflicts: 379000 | #Constraints: 21838
511.84/513.22 c #Conflicts: 380000 | #Constraints: 22838
511.84/513.22 c #Conflicts: 381000 | #Constraints: 23838
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 382000 | #Constraints: 12638
511.84/513.22 c #Conflicts: 383000 | #Constraints: 13638
511.84/513.22 c #Conflicts: 384000 | #Constraints: 14638
511.84/513.22 c #Conflicts: 385000 | #Constraints: 15638
511.84/513.22 c #Conflicts: 386000 | #Constraints: 16638
511.84/513.22 c #Conflicts: 387000 | #Constraints: 17638
511.84/513.22 c #Conflicts: 388000 | #Constraints: 18638
511.84/513.22 c #Conflicts: 389000 | #Constraints: 19638
511.84/513.22 c #Conflicts: 390000 | #Constraints: 20638
511.84/513.22 c #Conflicts: 391000 | #Constraints: 21638
511.84/513.22 c #Conflicts: 392000 | #Constraints: 22638
511.84/513.22 c #Conflicts: 393000 | #Constraints: 23638
511.84/513.22 c #Conflicts: 394000 | #Constraints: 24638
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 395000 | #Constraints: 13237
511.84/513.22 c #Conflicts: 396000 | #Constraints: 14237
511.84/513.22 c #Conflicts: 397000 | #Constraints: 15237
511.84/513.22 c #Conflicts: 398000 | #Constraints: 16237
511.84/513.22 c #Conflicts: 399000 | #Constraints: 17237
511.84/513.22 c #Conflicts: 400000 | #Constraints: 18237
511.84/513.22 c #Conflicts: 401000 | #Constraints: 19237
511.84/513.22 c #Conflicts: 402000 | #Constraints: 20237
511.84/513.22 c #Conflicts: 403000 | #Constraints: 21237
511.84/513.22 c #Conflicts: 404000 | #Constraints: 22237
511.84/513.22 c #Conflicts: 405000 | #Constraints: 23237
511.84/513.22 c #Conflicts: 406000 | #Constraints: 24237
511.84/513.22 c #Conflicts: 407000 | #Constraints: 25237
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 408000 | #Constraints: 13634
511.84/513.22 c #Conflicts: 409000 | #Constraints: 14634
511.84/513.22 c #Conflicts: 410000 | #Constraints: 15634
511.84/513.22 c #Conflicts: 411000 | #Constraints: 16634
511.84/513.22 c #Conflicts: 412000 | #Constraints: 17634
511.84/513.22 c #Conflicts: 413000 | #Constraints: 18634
511.84/513.22 c #Conflicts: 414000 | #Constraints: 19634
511.84/513.22 c #Conflicts: 415000 | #Constraints: 20634
511.84/513.22 c #Conflicts: 416000 | #Constraints: 21634
511.84/513.22 c #Conflicts: 417000 | #Constraints: 22634
511.84/513.22 c #Conflicts: 418000 | #Constraints: 23634
511.84/513.22 c #Conflicts: 419000 | #Constraints: 24634
511.84/513.22 c #Conflicts: 420000 | #Constraints: 25634
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 421000 | #Constraints: 13835
511.84/513.22 c #Conflicts: 422000 | #Constraints: 14835
511.84/513.22 c #Conflicts: 423000 | #Constraints: 15835
511.84/513.22 c #Conflicts: 424000 | #Constraints: 16835
511.84/513.22 c #Conflicts: 425000 | #Constraints: 17835
511.84/513.22 c #Conflicts: 426000 | #Constraints: 18835
511.84/513.22 c #Conflicts: 427000 | #Constraints: 19835
511.84/513.22 c #Conflicts: 428000 | #Constraints: 20835
511.84/513.22 c #Conflicts: 429000 | #Constraints: 21835
511.84/513.22 c #Conflicts: 430000 | #Constraints: 22835
511.84/513.22 c #Conflicts: 431000 | #Constraints: 23835
511.84/513.22 c #Conflicts: 432000 | #Constraints: 24835
511.84/513.22 c #Conflicts: 433000 | #Constraints: 25835
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 434000 | #Constraints: 13839
511.84/513.22 c #Conflicts: 435000 | #Constraints: 14839
511.84/513.22 c #Conflicts: 436000 | #Constraints: 15839
511.84/513.22 c #Conflicts: 437000 | #Constraints: 16839
511.84/513.22 c #Conflicts: 438000 | #Constraints: 17839
511.84/513.22 c #Conflicts: 439000 | #Constraints: 18839
511.84/513.22 c #Conflicts: 440000 | #Constraints: 19839
511.84/513.22 c #Conflicts: 441000 | #Constraints: 20839
511.84/513.22 c #Conflicts: 442000 | #Constraints: 21839
511.84/513.22 c #Conflicts: 443000 | #Constraints: 22839
511.84/513.22 c #Conflicts: 444000 | #Constraints: 23839
511.84/513.22 c #Conflicts: 445000 | #Constraints: 24839
511.84/513.22 c #Conflicts: 446000 | #Constraints: 25839
511.84/513.22 c INPROCESSING
511.84/513.22 c GARBAGE COLLECT
511.84/513.22 c #Conflicts: 447000 | #Constraints: 13639
633.85/635.55 c #Conflicts: 448000 | #Constraints: 14639
633.85/635.55 c #Conflicts: 449000 | #Constraints: 15639
633.85/635.55 c #Conflicts: 450000 | #Constraints: 16639
633.85/635.55 c #Conflicts: 451000 | #Constraints: 17639
633.85/635.55 c #Conflicts: 452000 | #Constraints: 18639
633.85/635.55 c #Conflicts: 453000 | #Constraints: 19639
633.85/635.55 c #Conflicts: 454000 | #Constraints: 20639
633.85/635.55 c #Conflicts: 455000 | #Constraints: 21639
633.85/635.55 c #Conflicts: 456000 | #Constraints: 22639
633.85/635.55 c #Conflicts: 457000 | #Constraints: 23639
633.85/635.55 c #Conflicts: 458000 | #Constraints: 24639
633.85/635.55 c #Conflicts: 459000 | #Constraints: 25639
633.85/635.55 c #Conflicts: 460000 | #Constraints: 26639
633.85/635.55 c INPROCESSING
633.85/635.55 c GARBAGE COLLECT
633.85/635.55 c #Conflicts: 461000 | #Constraints: 14238
633.85/635.55 c #Conflicts: 462000 | #Constraints: 15238
633.85/635.55 c #Conflicts: 463000 | #Constraints: 16238
633.85/635.55 c #Conflicts: 464000 | #Constraints: 17238
633.85/635.55 c #Conflicts: 465000 | #Constraints: 18238
633.85/635.55 c #Conflicts: 466000 | #Constraints: 19238
633.85/635.55 c #Conflicts: 467000 | #Constraints: 20238
633.85/635.55 c #Conflicts: 468000 | #Constraints: 21238
633.85/635.55 c #Conflicts: 469000 | #Constraints: 22238
633.85/635.55 c #Conflicts: 470000 | #Constraints: 23238
633.85/635.55 c #Conflicts: 471000 | #Constraints: 24238
633.85/635.55 c #Conflicts: 472000 | #Constraints: 25238
633.85/635.55 c #Conflicts: 473000 | #Constraints: 26238
633.85/635.55 c #Conflicts: 474000 | #Constraints: 27238
633.85/635.55 c INPROCESSING
633.85/635.55 c GARBAGE COLLECT
633.85/635.55 c #Conflicts: 475000 | #Constraints: 14637
633.85/635.55 c #Conflicts: 476000 | #Constraints: 15637
633.85/635.55 c #Conflicts: 477000 | #Constraints: 16637
633.85/635.55 c #Conflicts: 478000 | #Constraints: 17637
633.85/635.55 c #Conflicts: 479000 | #Constraints: 18637
633.85/635.55 c #Conflicts: 480000 | #Constraints: 19637
633.85/635.55 c #Conflicts: 481000 | #Constraints: 20637
633.85/635.55 c #Conflicts: 482000 | #Constraints: 21637
633.85/635.55 c #Conflicts: 483000 | #Constraints: 22637
633.85/635.55 c #Conflicts: 484000 | #Constraints: 23637
633.85/635.55 c #Conflicts: 485000 | #Constraints: 24637
633.85/635.55 c #Conflicts: 486000 | #Constraints: 25637
633.85/635.55 c #Conflicts: 487000 | #Constraints: 26637
633.85/635.55 c #Conflicts: 488000 | #Constraints: 27637
633.85/635.55 c INPROCESSING
633.85/635.55 c GARBAGE COLLECT
633.85/635.55 c #Conflicts: 489000 | #Constraints: 14834
633.85/635.55 c #Conflicts: 490000 | #Constraints: 15834
633.85/635.55 c #Conflicts: 491000 | #Constraints: 16834
633.85/635.55 c #Conflicts: 492000 | #Constraints: 17834
633.85/635.55 c #Conflicts: 493000 | #Constraints: 18834
633.85/635.55 c #Conflicts: 494000 | #Constraints: 19834
633.85/635.55 c #Conflicts: 495000 | #Constraints: 20834
633.85/635.55 c #Conflicts: 496000 | #Constraints: 21834
633.85/635.55 c #Conflicts: 497000 | #Constraints: 22834
633.85/635.55 c #Conflicts: 498000 | #Constraints: 23834
633.85/635.55 c #Conflicts: 499000 | #Constraints: 24834
633.85/635.55 c #Conflicts: 500000 | #Constraints: 25834
633.85/635.55 c #Conflicts: 501000 | #Constraints: 26834
633.85/635.55 c #Conflicts: 502000 | #Constraints: 27834
633.85/635.55 c INPROCESSING
633.85/635.55 c GARBAGE COLLECT
633.85/635.55 c #Conflicts: 503000 | #Constraints: 14840
633.85/635.55 c #Conflicts: 504000 | #Constraints: 15840
633.85/635.55 c #Conflicts: 505000 | #Constraints: 16840
633.85/635.55 c #Conflicts: 506000 | #Constraints: 17840
633.85/635.55 c #Conflicts: 507000 | #Constraints: 18840
633.85/635.55 c #Conflicts: 508000 | #Constraints: 19840
633.85/635.55 c #Conflicts: 509000 | #Constraints: 20840
633.85/635.55 c #Conflicts: 510000 | #Constraints: 21840
633.85/635.55 c #Conflicts: 511000 | #Constraints: 22840
633.85/635.55 c #Conflicts: 512000 | #Constraints: 23840
633.85/635.55 c #Conflicts: 513000 | #Constraints: 24840
633.85/635.55 c #Conflicts: 514000 | #Constraints: 25840
633.85/635.55 c #Conflicts: 515000 | #Constraints: 26840
633.85/635.55 c #Conflicts: 516000 | #Constraints: 27840
633.85/635.55 c INPROCESSING
633.85/635.55 c GARBAGE COLLECT
633.85/635.55 c #Conflicts: 517000 | #Constraints: 14637
633.85/635.55 c #Conflicts: 518000 | #Constraints: 15637
633.85/635.55 c #Conflicts: 519000 | #Constraints: 16637
633.85/635.55 c #Conflicts: 520000 | #Constraints: 17637
633.85/635.55 c #Conflicts: 521000 | #Constraints: 18637
633.85/635.55 c #Conflicts: 522000 | #Constraints: 19637
633.85/635.55 c #Conflicts: 523000 | #Constraints: 20637
754.35/756.31 c #Conflicts: 524000 | #Constraints: 21637
754.35/756.31 c #Conflicts: 525000 | #Constraints: 22637
754.35/756.31 c #Conflicts: 526000 | #Constraints: 23637
754.35/756.31 c #Conflicts: 527000 | #Constraints: 24637
754.35/756.31 c #Conflicts: 528000 | #Constraints: 25637
754.35/756.31 c #Conflicts: 529000 | #Constraints: 26637
754.35/756.31 c #Conflicts: 530000 | #Constraints: 27637
754.35/756.31 c #Conflicts: 531000 | #Constraints: 28637
754.35/756.31 c INPROCESSING
754.35/756.31 c GARBAGE COLLECT
754.35/756.31 c #Conflicts: 532000 | #Constraints: 15238
754.35/756.31 c #Conflicts: 533000 | #Constraints: 16238
754.35/756.31 c #Conflicts: 534000 | #Constraints: 17238
754.35/756.31 c #Conflicts: 535000 | #Constraints: 18238
754.35/756.31 c #Conflicts: 536000 | #Constraints: 19238
754.35/756.31 c #Conflicts: 537000 | #Constraints: 20238
754.35/756.31 c #Conflicts: 538000 | #Constraints: 21238
754.35/756.31 c #Conflicts: 539000 | #Constraints: 22238
754.35/756.31 c #Conflicts: 540000 | #Constraints: 23238
754.35/756.31 c #Conflicts: 541000 | #Constraints: 24238
754.35/756.31 c #Conflicts: 542000 | #Constraints: 25238
754.35/756.31 c #Conflicts: 543000 | #Constraints: 26238
754.35/756.31 c #Conflicts: 544000 | #Constraints: 27238
754.35/756.31 c #Conflicts: 545000 | #Constraints: 28238
754.35/756.31 c #Conflicts: 546000 | #Constraints: 29238
754.35/756.31 c INPROCESSING
754.35/756.31 c GARBAGE COLLECT
754.35/756.31 c #Conflicts: 547000 | #Constraints: 15635
754.35/756.31 c #Conflicts: 548000 | #Constraints: 16635
754.35/756.31 c #Conflicts: 549000 | #Constraints: 17635
754.35/756.31 c #Conflicts: 550000 | #Constraints: 18635
754.35/756.31 c #Conflicts: 551000 | #Constraints: 19635
754.35/756.31 c #Conflicts: 552000 | #Constraints: 20635
754.35/756.31 c #Conflicts: 553000 | #Constraints: 21635
754.35/756.31 c #Conflicts: 554000 | #Constraints: 22635
754.35/756.31 c #Conflicts: 555000 | #Constraints: 23635
754.35/756.31 c #Conflicts: 556000 | #Constraints: 24635
754.35/756.31 c #Conflicts: 557000 | #Constraints: 25635
754.35/756.31 c #Conflicts: 558000 | #Constraints: 26635
754.35/756.31 c #Conflicts: 559000 | #Constraints: 27635
754.35/756.31 c #Conflicts: 560000 | #Constraints: 28635
754.35/756.31 c #Conflicts: 561000 | #Constraints: 29635
754.35/756.31 c INPROCESSING
754.35/756.31 c GARBAGE COLLECT
754.35/756.31 c #Conflicts: 562000 | #Constraints: 15834
754.35/756.31 c #Conflicts: 563000 | #Constraints: 16834
754.35/756.31 c #Conflicts: 564000 | #Constraints: 17834
754.35/756.31 c #Conflicts: 565000 | #Constraints: 18834
754.35/756.31 c #Conflicts: 566000 | #Constraints: 19834
754.35/756.31 c #Conflicts: 567000 | #Constraints: 20834
754.35/756.31 c #Conflicts: 568000 | #Constraints: 21834
754.35/756.31 c #Conflicts: 569000 | #Constraints: 22834
754.35/756.31 c #Conflicts: 570000 | #Constraints: 23834
754.35/756.31 c #Conflicts: 571000 | #Constraints: 24834
754.35/756.31 c #Conflicts: 572000 | #Constraints: 25834
754.35/756.31 c #Conflicts: 573000 | #Constraints: 26834
754.35/756.31 c #Conflicts: 574000 | #Constraints: 27834
754.35/756.31 c #Conflicts: 575000 | #Constraints: 28834
754.35/756.31 c #Conflicts: 576000 | #Constraints: 29834
754.35/756.31 c INPROCESSING
754.35/756.31 c GARBAGE COLLECT
754.35/756.31 c #Conflicts: 577000 | #Constraints: 15839
754.35/756.31 c #Conflicts: 578000 | #Constraints: 16839
754.35/756.31 c #Conflicts: 579000 | #Constraints: 17839
754.35/756.31 c #Conflicts: 580000 | #Constraints: 18839
754.35/756.31 c #Conflicts: 581000 | #Constraints: 19839
754.35/756.31 c #Conflicts: 582000 | #Constraints: 20839
754.35/756.31 c #Conflicts: 583000 | #Constraints: 21839
754.35/756.31 c #Conflicts: 584000 | #Constraints: 22839
754.35/756.31 c #Conflicts: 585000 | #Constraints: 23839
754.35/756.31 c #Conflicts: 586000 | #Constraints: 24839
754.35/756.31 c #Conflicts: 587000 | #Constraints: 25839
754.35/756.31 c #Conflicts: 588000 | #Constraints: 26839
754.35/756.31 c #Conflicts: 589000 | #Constraints: 27839
754.35/756.31 c #Conflicts: 590000 | #Constraints: 28839
754.35/756.31 c #Conflicts: 591000 | #Constraints: 29839
754.35/756.31 c INPROCESSING
754.35/756.31 c GARBAGE COLLECT
754.35/756.31 c #Conflicts: 592000 | #Constraints: 15637
754.35/756.31 c #Conflicts: 593000 | #Constraints: 16637
754.35/756.31 c #Conflicts: 594000 | #Constraints: 17637
754.35/756.31 c #Conflicts: 595000 | #Constraints: 18637
754.35/756.31 c #Conflicts: 596000 | #Constraints: 19637
754.35/756.31 c #Conflicts: 597000 | #Constraints: 20637
754.35/756.31 c #Conflicts: 598000 | #Constraints: 21637
754.35/756.31 c #Conflicts: 599000 | #Constraints: 22637
882.52/884.83 c #Conflicts: 600000 | #Constraints: 23637
882.52/884.83 c #Conflicts: 601000 | #Constraints: 24637
882.52/884.83 c #Conflicts: 602000 | #Constraints: 25637
882.52/884.83 c #Conflicts: 603000 | #Constraints: 26637
882.52/884.83 c #Conflicts: 604000 | #Constraints: 27637
882.52/884.83 c #Conflicts: 605000 | #Constraints: 28637
882.52/884.83 c #Conflicts: 606000 | #Constraints: 29637
882.52/884.83 c #Conflicts: 607000 | #Constraints: 30637
882.52/884.83 c INPROCESSING
882.52/884.83 c GARBAGE COLLECT
882.52/884.83 c #Conflicts: 608000 | #Constraints: 16239
882.52/884.83 c #Conflicts: 609000 | #Constraints: 17239
882.52/884.83 c #Conflicts: 610000 | #Constraints: 18239
882.52/884.83 c #Conflicts: 611000 | #Constraints: 19239
882.52/884.83 c #Conflicts: 612000 | #Constraints: 20239
882.52/884.83 c #Conflicts: 613000 | #Constraints: 21239
882.52/884.83 c #Conflicts: 614000 | #Constraints: 22239
882.52/884.83 c #Conflicts: 615000 | #Constraints: 23239
882.52/884.83 c #Conflicts: 616000 | #Constraints: 24239
882.52/884.83 c #Conflicts: 617000 | #Constraints: 25239
882.52/884.83 c #Conflicts: 618000 | #Constraints: 26239
882.52/884.83 c #Conflicts: 619000 | #Constraints: 27239
882.52/884.83 c #Conflicts: 620000 | #Constraints: 28239
882.52/884.83 c #Conflicts: 621000 | #Constraints: 29239
882.52/884.83 c #Conflicts: 622000 | #Constraints: 30239
882.52/884.83 c #Conflicts: 623000 | #Constraints: 31239
882.52/884.83 c INPROCESSING
882.52/884.83 c GARBAGE COLLECT
882.52/884.83 c #Conflicts: 624000 | #Constraints: 16636
882.52/884.83 c #Conflicts: 625000 | #Constraints: 17636
882.52/884.83 c #Conflicts: 626000 | #Constraints: 18636
882.52/884.83 c #Conflicts: 627000 | #Constraints: 19636
882.52/884.83 c #Conflicts: 628000 | #Constraints: 20636
882.52/884.83 c #Conflicts: 629000 | #Constraints: 21636
882.52/884.83 c #Conflicts: 630000 | #Constraints: 22636
882.52/884.83 c #Conflicts: 631000 | #Constraints: 23636
882.52/884.83 c #Conflicts: 632000 | #Constraints: 24636
882.52/884.83 c #Conflicts: 633000 | #Constraints: 25636
882.52/884.83 c #Conflicts: 634000 | #Constraints: 26636
882.52/884.83 c #Conflicts: 635000 | #Constraints: 27636
882.52/884.83 c #Conflicts: 636000 | #Constraints: 28636
882.52/884.83 c #Conflicts: 637000 | #Constraints: 29636
882.52/884.83 c #Conflicts: 638000 | #Constraints: 30636
882.52/884.83 c #Conflicts: 639000 | #Constraints: 31636
882.52/884.83 c INPROCESSING
882.52/884.83 c GARBAGE COLLECT
882.52/884.83 c #Conflicts: 640000 | #Constraints: 16834
882.52/884.83 c #Conflicts: 641000 | #Constraints: 17834
882.52/884.83 c #Conflicts: 642000 | #Constraints: 18834
882.52/884.83 c #Conflicts: 643000 | #Constraints: 19834
882.52/884.83 c #Conflicts: 644000 | #Constraints: 20834
882.52/884.83 c #Conflicts: 645000 | #Constraints: 21834
882.52/884.83 c #Conflicts: 646000 | #Constraints: 22834
882.52/884.83 c #Conflicts: 647000 | #Constraints: 23834
882.52/884.83 c #Conflicts: 648000 | #Constraints: 24834
882.52/884.83 c #Conflicts: 649000 | #Constraints: 25834
882.52/884.83 c #Conflicts: 650000 | #Constraints: 26834
882.52/884.83 c #Conflicts: 651000 | #Constraints: 27834
882.52/884.83 c #Conflicts: 652000 | #Constraints: 28834
882.52/884.83 c #Conflicts: 653000 | #Constraints: 29834
882.52/884.83 c #Conflicts: 654000 | #Constraints: 30834
882.52/884.83 c #Conflicts: 655000 | #Constraints: 31834
882.52/884.83 c INPROCESSING
882.52/884.83 c GARBAGE COLLECT
882.52/884.83 c #Conflicts: 656000 | #Constraints: 16837
882.52/884.83 c #Conflicts: 657000 | #Constraints: 17837
882.52/884.83 c #Conflicts: 658000 | #Constraints: 18837
882.52/884.83 c #Conflicts: 659000 | #Constraints: 19837
882.52/884.83 c #Conflicts: 660000 | #Constraints: 20837
882.52/884.83 c #Conflicts: 661000 | #Constraints: 21837
882.52/884.83 c #Conflicts: 662000 | #Constraints: 22837
882.52/884.83 c #Conflicts: 663000 | #Constraints: 23837
882.52/884.83 c #Conflicts: 664000 | #Constraints: 24837
882.52/884.83 c #Conflicts: 665000 | #Constraints: 25837
882.52/884.83 c #Conflicts: 666000 | #Constraints: 26837
882.52/884.83 c #Conflicts: 667000 | #Constraints: 27837
882.52/884.83 c #Conflicts: 668000 | #Constraints: 28837
882.52/884.83 c #Conflicts: 669000 | #Constraints: 29837
882.52/884.83 c #Conflicts: 670000 | #Constraints: 30837
882.52/884.83 c #Conflicts: 671000 | #Constraints: 31837
882.52/884.83 c INPROCESSING
882.52/884.83 c GARBAGE COLLECT
882.52/884.83 c #Conflicts: 672000 | #Constraints: 16636
882.52/884.83 c #Conflicts: 673000 | #Constraints: 17636
882.52/884.83 c #Conflicts: 674000 | #Constraints: 18636
1033.59/1036.30 c #Conflicts: 675000 | #Constraints: 19636
1033.59/1036.30 c #Conflicts: 676000 | #Constraints: 20636
1033.59/1036.30 c #Conflicts: 677000 | #Constraints: 21636
1033.59/1036.30 c #Conflicts: 678000 | #Constraints: 22636
1033.59/1036.30 c #Conflicts: 679000 | #Constraints: 23636
1033.59/1036.30 c #Conflicts: 680000 | #Constraints: 24636
1033.59/1036.30 c #Conflicts: 681000 | #Constraints: 25636
1033.59/1036.30 c #Conflicts: 682000 | #Constraints: 26636
1033.59/1036.30 c #Conflicts: 683000 | #Constraints: 27636
1033.59/1036.30 c #Conflicts: 684000 | #Constraints: 28636
1033.59/1036.30 c #Conflicts: 685000 | #Constraints: 29636
1033.59/1036.30 c #Conflicts: 686000 | #Constraints: 30636
1033.59/1036.30 c #Conflicts: 687000 | #Constraints: 31636
1033.59/1036.30 c #Conflicts: 688000 | #Constraints: 32636
1033.59/1036.30 c INPROCESSING
1033.59/1036.30 c GARBAGE COLLECT
1033.59/1036.30 c #Conflicts: 689000 | #Constraints: 17235
1033.59/1036.30 c #Conflicts: 690000 | #Constraints: 18235
1033.59/1036.30 c #Conflicts: 691000 | #Constraints: 19235
1033.59/1036.30 c #Conflicts: 692000 | #Constraints: 20235
1033.59/1036.30 c #Conflicts: 693000 | #Constraints: 21235
1033.59/1036.30 c #Conflicts: 694000 | #Constraints: 22235
1033.59/1036.30 c #Conflicts: 695000 | #Constraints: 23235
1033.59/1036.30 c #Conflicts: 696000 | #Constraints: 24235
1033.59/1036.30 c #Conflicts: 697000 | #Constraints: 25235
1033.59/1036.30 c #Conflicts: 698000 | #Constraints: 26235
1033.59/1036.30 c #Conflicts: 699000 | #Constraints: 27235
1033.59/1036.30 c #Conflicts: 700000 | #Constraints: 28235
1033.59/1036.30 c #Conflicts: 701000 | #Constraints: 29235
1033.59/1036.30 c #Conflicts: 702000 | #Constraints: 30235
1033.59/1036.30 c #Conflicts: 703000 | #Constraints: 31235
1033.59/1036.30 c #Conflicts: 704000 | #Constraints: 32235
1033.59/1036.30 c #Conflicts: 705000 | #Constraints: 33235
1033.59/1036.30 c INPROCESSING
1033.59/1036.30 c GARBAGE COLLECT
1033.59/1036.30 c #Conflicts: 706000 | #Constraints: 17634
1033.59/1036.30 c #Conflicts: 707000 | #Constraints: 18634
1033.59/1036.30 c #Conflicts: 708000 | #Constraints: 19634
1033.59/1036.30 c #Conflicts: 709000 | #Constraints: 20634
1033.59/1036.30 c #Conflicts: 710000 | #Constraints: 21634
1033.59/1036.30 c #Conflicts: 711000 | #Constraints: 22634
1033.59/1036.30 c #Conflicts: 712000 | #Constraints: 23634
1033.59/1036.30 c #Conflicts: 713000 | #Constraints: 24634
1033.59/1036.30 c #Conflicts: 714000 | #Constraints: 25634
1033.59/1036.30 c #Conflicts: 715000 | #Constraints: 26634
1033.59/1036.30 c #Conflicts: 716000 | #Constraints: 27634
1033.59/1036.30 c #Conflicts: 717000 | #Constraints: 28634
1033.59/1036.30 c #Conflicts: 718000 | #Constraints: 29634
1033.59/1036.30 c #Conflicts: 719000 | #Constraints: 30634
1033.59/1036.30 c #Conflicts: 720000 | #Constraints: 31634
1033.59/1036.30 c #Conflicts: 721000 | #Constraints: 32634
1033.59/1036.30 c #Conflicts: 722000 | #Constraints: 33634
1033.59/1036.30 c INPROCESSING
1033.59/1036.30 c GARBAGE COLLECT
1033.59/1036.30 c #Conflicts: 723000 | #Constraints: 17836
1033.59/1036.30 c #Conflicts: 724000 | #Constraints: 18836
1033.59/1036.30 c #Conflicts: 725000 | #Constraints: 19836
1033.59/1036.30 c #Conflicts: 726000 | #Constraints: 20836
1033.59/1036.30 c #Conflicts: 727000 | #Constraints: 21836
1033.59/1036.30 c #Conflicts: 728000 | #Constraints: 22836
1033.59/1036.30 c #Conflicts: 729000 | #Constraints: 23836
1033.59/1036.30 c #Conflicts: 730000 | #Constraints: 24836
1033.59/1036.30 c #Conflicts: 731000 | #Constraints: 25836
1033.59/1036.30 c #Conflicts: 732000 | #Constraints: 26836
1033.59/1036.30 c #Conflicts: 733000 | #Constraints: 27836
1033.59/1036.30 c #Conflicts: 734000 | #Constraints: 28836
1033.59/1036.30 c #Conflicts: 735000 | #Constraints: 29836
1033.59/1036.30 c #Conflicts: 736000 | #Constraints: 30836
1033.59/1036.30 c #Conflicts: 737000 | #Constraints: 31836
1033.59/1036.30 c #Conflicts: 738000 | #Constraints: 32836
1033.59/1036.30 c #Conflicts: 739000 | #Constraints: 33836
1033.59/1036.30 c INPROCESSING
1033.59/1036.30 c GARBAGE COLLECT
1033.59/1036.30 c #Conflicts: 740000 | #Constraints: 17839
1033.59/1036.30 c #Conflicts: 741000 | #Constraints: 18839
1033.59/1036.30 c #Conflicts: 742000 | #Constraints: 19839
1033.59/1036.30 c #Conflicts: 743000 | #Constraints: 20839
1033.59/1036.30 c #Conflicts: 744000 | #Constraints: 21839
1033.59/1036.30 c #Conflicts: 745000 | #Constraints: 22839
1033.59/1036.30 c #Conflicts: 746000 | #Constraints: 23839
1033.59/1036.30 c #Conflicts: 747000 | #Constraints: 24839
1033.59/1036.30 c #Conflicts: 748000 | #Constraints: 25839
1033.59/1036.30 c #Conflicts: 749000 | #Constraints: 26839
1033.59/1036.30 c #Conflicts: 750000 | #Constraints: 27839
1176.75/1179.86 c #Conflicts: 751000 | #Constraints: 28839
1176.75/1179.86 c #Conflicts: 752000 | #Constraints: 29839
1176.75/1179.86 c #Conflicts: 753000 | #Constraints: 30839
1176.75/1179.86 c #Conflicts: 754000 | #Constraints: 31839
1176.75/1179.86 c #Conflicts: 755000 | #Constraints: 32839
1176.75/1179.86 c #Conflicts: 756000 | #Constraints: 33839
1176.75/1179.86 c INPROCESSING
1176.75/1179.86 c GARBAGE COLLECT
1176.75/1179.86 c #Conflicts: 757000 | #Constraints: 17639
1176.75/1179.86 c #Conflicts: 758000 | #Constraints: 18639
1176.75/1179.86 c #Conflicts: 759000 | #Constraints: 19639
1176.75/1179.86 c #Conflicts: 760000 | #Constraints: 20639
1176.75/1179.86 c #Conflicts: 761000 | #Constraints: 21639
1176.75/1179.86 c #Conflicts: 762000 | #Constraints: 22639
1176.75/1179.86 c #Conflicts: 763000 | #Constraints: 23639
1176.75/1179.86 c #Conflicts: 764000 | #Constraints: 24639
1176.75/1179.86 c #Conflicts: 765000 | #Constraints: 25639
1176.75/1179.86 c #Conflicts: 766000 | #Constraints: 26639
1176.75/1179.86 c #Conflicts: 767000 | #Constraints: 27639
1176.75/1179.86 c #Conflicts: 768000 | #Constraints: 28639
1176.75/1179.86 c #Conflicts: 769000 | #Constraints: 29639
1176.75/1179.86 c #Conflicts: 770000 | #Constraints: 30639
1176.75/1179.86 c #Conflicts: 771000 | #Constraints: 31639
1176.75/1179.86 c #Conflicts: 772000 | #Constraints: 32639
1176.75/1179.86 c #Conflicts: 773000 | #Constraints: 33639
1176.75/1179.86 c #Conflicts: 774000 | #Constraints: 34639
1176.75/1179.86 c INPROCESSING
1176.75/1179.86 c GARBAGE COLLECT
1176.75/1179.86 c #Conflicts: 775000 | #Constraints: 18236
1176.75/1179.86 c #Conflicts: 776000 | #Constraints: 19236
1176.75/1179.86 c #Conflicts: 777000 | #Constraints: 20236
1176.75/1179.86 c #Conflicts: 778000 | #Constraints: 21236
1176.75/1179.86 c #Conflicts: 779000 | #Constraints: 22236
1176.75/1179.86 c #Conflicts: 780000 | #Constraints: 23236
1176.75/1179.86 c #Conflicts: 781000 | #Constraints: 24236
1176.75/1179.86 c #Conflicts: 782000 | #Constraints: 25236
1176.75/1179.86 c #Conflicts: 783000 | #Constraints: 26236
1176.75/1179.86 c #Conflicts: 784000 | #Constraints: 27236
1176.75/1179.86 c #Conflicts: 785000 | #Constraints: 28236
1176.75/1179.86 c #Conflicts: 786000 | #Constraints: 29236
1176.75/1179.86 c #Conflicts: 787000 | #Constraints: 30236
1176.75/1179.86 c #Conflicts: 788000 | #Constraints: 31236
1176.75/1179.86 c #Conflicts: 789000 | #Constraints: 32236
1176.75/1179.86 c #Conflicts: 790000 | #Constraints: 33236
1176.75/1179.86 c #Conflicts: 791000 | #Constraints: 34236
1176.75/1179.86 c #Conflicts: 792000 | #Constraints: 35236
1176.75/1179.86 c INPROCESSING
1176.75/1179.86 c GARBAGE COLLECT
1176.75/1179.86 c #Conflicts: 793000 | #Constraints: 18636
1176.75/1179.86 c #Conflicts: 794000 | #Constraints: 19636
1176.75/1179.86 c #Conflicts: 795000 | #Constraints: 20636
1176.75/1179.86 c #Conflicts: 796000 | #Constraints: 21636
1176.75/1179.86 c #Conflicts: 797000 | #Constraints: 22636
1176.75/1179.86 c #Conflicts: 798000 | #Constraints: 23636
1176.75/1179.86 c #Conflicts: 799000 | #Constraints: 24636
1176.75/1179.86 c #Conflicts: 800000 | #Constraints: 25636
1176.75/1179.86 c #Conflicts: 801000 | #Constraints: 26636
1176.75/1179.86 c #Conflicts: 802000 | #Constraints: 27636
1176.75/1179.86 c #Conflicts: 803000 | #Constraints: 28636
1176.75/1179.86 c #Conflicts: 804000 | #Constraints: 29636
1176.75/1179.86 c #Conflicts: 805000 | #Constraints: 30636
1176.75/1179.86 c #Conflicts: 806000 | #Constraints: 31636
1176.75/1179.86 c #Conflicts: 807000 | #Constraints: 32636
1176.75/1179.86 c #Conflicts: 808000 | #Constraints: 33636
1176.75/1179.86 c #Conflicts: 809000 | #Constraints: 34636
1176.75/1179.86 c #Conflicts: 810000 | #Constraints: 35636
1176.75/1179.86 c INPROCESSING
1176.75/1179.86 c GARBAGE COLLECT
1176.75/1179.86 c #Conflicts: 811000 | #Constraints: 18835
1176.75/1179.86 c #Conflicts: 812000 | #Constraints: 19835
1176.75/1179.86 c #Conflicts: 813000 | #Constraints: 20835
1176.75/1179.86 c #Conflicts: 814000 | #Constraints: 21835
1176.75/1179.86 c #Conflicts: 815000 | #Constraints: 22835
1176.75/1179.86 c #Conflicts: 816000 | #Constraints: 23835
1176.75/1179.86 c #Conflicts: 817000 | #Constraints: 24835
1176.75/1179.86 c #Conflicts: 818000 | #Constraints: 25835
1176.75/1179.86 c #Conflicts: 819000 | #Constraints: 26835
1176.75/1179.86 c #Conflicts: 820000 | #Constraints: 27835
1176.75/1179.86 c #Conflicts: 821000 | #Constraints: 28835
1176.75/1179.86 c #Conflicts: 822000 | #Constraints: 29835
1176.75/1179.86 c #Conflicts: 823000 | #Constraints: 30835
1176.75/1179.86 c #Conflicts: 824000 | #Constraints: 31835
1176.75/1179.86 c #Conflicts: 825000 | #Constraints: 32835
1176.75/1179.86 c #Conflicts: 826000 | #Constraints: 33835
1176.75/1179.86 c #Conflicts: 827000 | #Constraints: 34835
1331.77/1335.23 c #Conflicts: 828000 | #Constraints: 35835
1331.77/1335.23 c INPROCESSING
1331.77/1335.23 c GARBAGE COLLECT
1331.77/1335.23 c #Conflicts: 829000 | #Constraints: 18834
1331.77/1335.23 c #Conflicts: 830000 | #Constraints: 19834
1331.77/1335.23 c #Conflicts: 831000 | #Constraints: 20834
1331.77/1335.23 c #Conflicts: 832000 | #Constraints: 21834
1331.77/1335.23 c #Conflicts: 833000 | #Constraints: 22834
1331.77/1335.23 c #Conflicts: 834000 | #Constraints: 23834
1331.77/1335.23 c #Conflicts: 835000 | #Constraints: 24834
1331.77/1335.23 c #Conflicts: 836000 | #Constraints: 25834
1331.77/1335.23 c #Conflicts: 837000 | #Constraints: 26834
1331.77/1335.23 c #Conflicts: 838000 | #Constraints: 27834
1331.77/1335.23 c #Conflicts: 839000 | #Constraints: 28834
1331.77/1335.23 c #Conflicts: 840000 | #Constraints: 29834
1331.77/1335.23 c #Conflicts: 841000 | #Constraints: 30834
1331.77/1335.23 c #Conflicts: 842000 | #Constraints: 31834
1331.77/1335.23 c #Conflicts: 843000 | #Constraints: 32834
1331.77/1335.23 c #Conflicts: 844000 | #Constraints: 33834
1331.77/1335.23 c #Conflicts: 845000 | #Constraints: 34834
1331.77/1335.23 c #Conflicts: 846000 | #Constraints: 35834
1331.77/1335.23 c INPROCESSING
1331.77/1335.23 c GARBAGE COLLECT
1331.77/1335.23 c #Conflicts: 847000 | #Constraints: 18632
1331.77/1335.23 c #Conflicts: 848000 | #Constraints: 19632
1331.77/1335.23 c #Conflicts: 849000 | #Constraints: 20632
1331.77/1335.23 c #Conflicts: 850000 | #Constraints: 21632
1331.77/1335.23 c #Conflicts: 851000 | #Constraints: 22632
1331.77/1335.23 c #Conflicts: 852000 | #Constraints: 23632
1331.77/1335.23 c #Conflicts: 853000 | #Constraints: 24632
1331.77/1335.23 c #Conflicts: 854000 | #Constraints: 25632
1331.77/1335.23 c #Conflicts: 855000 | #Constraints: 26632
1331.77/1335.23 c #Conflicts: 856000 | #Constraints: 27632
1331.77/1335.23 c #Conflicts: 857000 | #Constraints: 28632
1331.77/1335.23 c #Conflicts: 858000 | #Constraints: 29632
1331.77/1335.23 c #Conflicts: 859000 | #Constraints: 30632
1331.77/1335.23 c #Conflicts: 860000 | #Constraints: 31632
1331.77/1335.23 c #Conflicts: 861000 | #Constraints: 32632
1331.77/1335.23 c #Conflicts: 862000 | #Constraints: 33632
1331.77/1335.23 c #Conflicts: 863000 | #Constraints: 34632
1331.77/1335.23 c #Conflicts: 864000 | #Constraints: 35632
1331.77/1335.23 c #Conflicts: 865000 | #Constraints: 36632
1331.77/1335.23 c INPROCESSING
1331.77/1335.23 c GARBAGE COLLECT
1331.77/1335.23 c #Conflicts: 866000 | #Constraints: 19234
1331.77/1335.23 c #Conflicts: 867000 | #Constraints: 20234
1331.77/1335.23 c #Conflicts: 868000 | #Constraints: 21234
1331.77/1335.23 c #Conflicts: 869000 | #Constraints: 22234
1331.77/1335.23 c #Conflicts: 870000 | #Constraints: 23234
1331.77/1335.23 c #Conflicts: 871000 | #Constraints: 24234
1331.77/1335.23 c #Conflicts: 872000 | #Constraints: 25234
1331.77/1335.23 c #Conflicts: 873000 | #Constraints: 26234
1331.77/1335.23 c #Conflicts: 874000 | #Constraints: 27234
1331.77/1335.23 c #Conflicts: 875000 | #Constraints: 28234
1331.77/1335.23 c #Conflicts: 876000 | #Constraints: 29234
1331.77/1335.23 c #Conflicts: 877000 | #Constraints: 30234
1331.77/1335.23 c #Conflicts: 878000 | #Constraints: 31234
1331.77/1335.23 c #Conflicts: 879000 | #Constraints: 32234
1331.77/1335.23 c #Conflicts: 880000 | #Constraints: 33234
1331.77/1335.23 c #Conflicts: 881000 | #Constraints: 34234
1331.77/1335.23 c #Conflicts: 882000 | #Constraints: 35234
1331.77/1335.23 c #Conflicts: 883000 | #Constraints: 36234
1331.77/1335.23 c #Conflicts: 884000 | #Constraints: 37234
1331.77/1335.23 c INPROCESSING
1331.77/1335.23 c GARBAGE COLLECT
1331.77/1335.23 c #Conflicts: 885000 | #Constraints: 19635
1331.77/1335.23 c #Conflicts: 886000 | #Constraints: 20635
1331.77/1335.23 c #Conflicts: 887000 | #Constraints: 21635
1331.77/1335.23 c #Conflicts: 888000 | #Constraints: 22635
1331.77/1335.23 c #Conflicts: 889000 | #Constraints: 23635
1331.77/1335.23 c #Conflicts: 890000 | #Constraints: 24635
1331.77/1335.23 c #Conflicts: 891000 | #Constraints: 25635
1331.77/1335.23 c #Conflicts: 892000 | #Constraints: 26635
1331.77/1335.23 c #Conflicts: 893000 | #Constraints: 27635
1331.77/1335.23 c #Conflicts: 894000 | #Constraints: 28635
1331.77/1335.23 c #Conflicts: 895000 | #Constraints: 29635
1331.77/1335.23 c #Conflicts: 896000 | #Constraints: 30635
1331.77/1335.23 c #Conflicts: 897000 | #Constraints: 31635
1331.77/1335.23 c #Conflicts: 898000 | #Constraints: 32635
1331.77/1335.23 c #Conflicts: 899000 | #Constraints: 33635
1331.77/1335.23 c #Conflicts: 900000 | #Constraints: 34635
1331.77/1335.23 c #Conflicts: 901000 | #Constraints: 35635
1331.77/1335.23 c #Conflicts: 902000 | #Constraints: 36635
1331.77/1335.23 c #Conflicts: 903000 | #Constraints: 37635
1504.55/1508.42 c INPROCESSING
1504.55/1508.42 c GARBAGE COLLECT
1504.55/1508.42 c #Conflicts: 904000 | #Constraints: 19835
1504.55/1508.42 c #Conflicts: 905000 | #Constraints: 20835
1504.55/1508.42 c #Conflicts: 906000 | #Constraints: 21835
1504.55/1508.42 c #Conflicts: 907000 | #Constraints: 22835
1504.55/1508.42 c #Conflicts: 908000 | #Constraints: 23835
1504.55/1508.42 c #Conflicts: 909000 | #Constraints: 24835
1504.55/1508.42 c #Conflicts: 910000 | #Constraints: 25835
1504.55/1508.42 c #Conflicts: 911000 | #Constraints: 26835
1504.55/1508.42 c #Conflicts: 912000 | #Constraints: 27835
1504.55/1508.42 c #Conflicts: 913000 | #Constraints: 28835
1504.55/1508.42 c #Conflicts: 914000 | #Constraints: 29835
1504.55/1508.42 c #Conflicts: 915000 | #Constraints: 30835
1504.55/1508.42 c #Conflicts: 916000 | #Constraints: 31835
1504.55/1508.42 c #Conflicts: 917000 | #Constraints: 32835
1504.55/1508.42 c #Conflicts: 918000 | #Constraints: 33835
1504.55/1508.42 c #Conflicts: 919000 | #Constraints: 34835
1504.55/1508.42 c #Conflicts: 920000 | #Constraints: 35835
1504.55/1508.42 c #Conflicts: 921000 | #Constraints: 36835
1504.55/1508.42 c #Conflicts: 922000 | #Constraints: 37835
1504.55/1508.42 c INPROCESSING
1504.55/1508.42 c GARBAGE COLLECT
1504.55/1508.42 c #Conflicts: 923000 | #Constraints: 19833
1504.55/1508.42 c #Conflicts: 924000 | #Constraints: 20833
1504.55/1508.42 c #Conflicts: 925000 | #Constraints: 21833
1504.55/1508.42 c #Conflicts: 926000 | #Constraints: 22833
1504.55/1508.42 c #Conflicts: 927000 | #Constraints: 23833
1504.55/1508.42 c #Conflicts: 928000 | #Constraints: 24833
1504.55/1508.42 c #Conflicts: 929000 | #Constraints: 25833
1504.55/1508.42 c #Conflicts: 930000 | #Constraints: 26833
1504.55/1508.42 c #Conflicts: 931000 | #Constraints: 27833
1504.55/1508.42 c #Conflicts: 932000 | #Constraints: 28833
1504.55/1508.42 c #Conflicts: 933000 | #Constraints: 29833
1504.55/1508.42 c #Conflicts: 934000 | #Constraints: 30833
1504.55/1508.42 c #Conflicts: 935000 | #Constraints: 31833
1504.55/1508.42 c #Conflicts: 936000 | #Constraints: 32833
1504.55/1508.42 c #Conflicts: 937000 | #Constraints: 33833
1504.55/1508.42 c #Conflicts: 938000 | #Constraints: 34833
1504.55/1508.42 c #Conflicts: 939000 | #Constraints: 35833
1504.55/1508.42 c #Conflicts: 940000 | #Constraints: 36833
1504.55/1508.42 c #Conflicts: 941000 | #Constraints: 37833
1504.55/1508.42 c INPROCESSING
1504.55/1508.42 c GARBAGE COLLECT
1504.55/1508.42 c #Conflicts: 942000 | #Constraints: 19636
1504.55/1508.42 c #Conflicts: 943000 | #Constraints: 20636
1504.55/1508.42 c #Conflicts: 944000 | #Constraints: 21636
1504.55/1508.42 c #Conflicts: 945000 | #Constraints: 22636
1504.55/1508.42 c #Conflicts: 946000 | #Constraints: 23636
1504.55/1508.42 c #Conflicts: 947000 | #Constraints: 24636
1504.55/1508.42 c #Conflicts: 948000 | #Constraints: 25636
1504.55/1508.42 c #Conflicts: 949000 | #Constraints: 26636
1504.55/1508.42 c #Conflicts: 950000 | #Constraints: 27636
1504.55/1508.42 c #Conflicts: 951000 | #Constraints: 28636
1504.55/1508.42 c #Conflicts: 952000 | #Constraints: 29636
1504.55/1508.42 c #Conflicts: 953000 | #Constraints: 30636
1504.55/1508.42 c #Conflicts: 954000 | #Constraints: 31636
1504.55/1508.42 c #Conflicts: 955000 | #Constraints: 32636
1504.55/1508.42 c #Conflicts: 956000 | #Constraints: 33636
1504.55/1508.42 c #Conflicts: 957000 | #Constraints: 34636
1504.55/1508.42 c #Conflicts: 958000 | #Constraints: 35636
1504.55/1508.42 c #Conflicts: 959000 | #Constraints: 36636
1504.55/1508.42 c #Conflicts: 960000 | #Constraints: 37636
1504.55/1508.42 c #Conflicts: 961000 | #Constraints: 38636
1504.55/1508.42 c INPROCESSING
1504.55/1508.42 c GARBAGE COLLECT
1504.55/1508.42 c #Conflicts: 962000 | #Constraints: 20238
1504.55/1508.42 c #Conflicts: 963000 | #Constraints: 21238
1504.55/1508.42 c #Conflicts: 964000 | #Constraints: 22238
1504.55/1508.42 c #Conflicts: 965000 | #Constraints: 23238
1504.55/1508.42 c #Conflicts: 966000 | #Constraints: 24238
1504.55/1508.42 c #Conflicts: 967000 | #Constraints: 25238
1504.55/1508.42 c #Conflicts: 968000 | #Constraints: 26238
1504.55/1508.42 c #Conflicts: 969000 | #Constraints: 27238
1504.55/1508.42 c #Conflicts: 970000 | #Constraints: 28238
1504.55/1508.42 c #Conflicts: 971000 | #Constraints: 29238
1504.55/1508.42 c #Conflicts: 972000 | #Constraints: 30238
1504.55/1508.42 c #Conflicts: 973000 | #Constraints: 31238
1504.55/1508.42 c #Conflicts: 974000 | #Constraints: 32238
1504.55/1508.42 c #Conflicts: 975000 | #Constraints: 33238
1504.55/1508.42 c #Conflicts: 976000 | #Constraints: 34238
1504.55/1508.42 c #Conflicts: 977000 | #Constraints: 35238
1504.55/1508.42 c #Conflicts: 978000 | #Constraints: 36238
1504.55/1508.42 c #Conflicts: 979000 | #Constraints: 37238
1696.68/1701.09 c #Conflicts: 980000 | #Constraints: 38238
1696.68/1701.09 c #Conflicts: 981000 | #Constraints: 39238
1696.68/1701.09 c INPROCESSING
1696.68/1701.09 c GARBAGE COLLECT
1696.68/1701.09 c #Conflicts: 982000 | #Constraints: 20639
1696.68/1701.09 c #Conflicts: 983000 | #Constraints: 21639
1696.68/1701.09 c #Conflicts: 984000 | #Constraints: 22639
1696.68/1701.09 c #Conflicts: 985000 | #Constraints: 23639
1696.68/1701.09 c #Conflicts: 986000 | #Constraints: 24639
1696.68/1701.09 c #Conflicts: 987000 | #Constraints: 25639
1696.68/1701.09 c #Conflicts: 988000 | #Constraints: 26639
1696.68/1701.09 c #Conflicts: 989000 | #Constraints: 27639
1696.68/1701.09 c #Conflicts: 990000 | #Constraints: 28639
1696.68/1701.09 c #Conflicts: 991000 | #Constraints: 29639
1696.68/1701.09 c #Conflicts: 992000 | #Constraints: 30639
1696.68/1701.09 c #Conflicts: 993000 | #Constraints: 31639
1696.68/1701.09 c #Conflicts: 994000 | #Constraints: 32639
1696.68/1701.09 c #Conflicts: 995000 | #Constraints: 33639
1696.68/1701.09 c #Conflicts: 996000 | #Constraints: 34639
1696.68/1701.09 c #Conflicts: 997000 | #Constraints: 35639
1696.68/1701.09 c #Conflicts: 998000 | #Constraints: 36639
1696.68/1701.09 c #Conflicts: 999000 | #Constraints: 37639
1696.68/1701.09 c #Conflicts: 1000000 | #Constraints: 38639
1696.68/1701.09 c #Conflicts: 1001000 | #Constraints: 39639
1696.68/1701.09 c INPROCESSING
1696.68/1701.09 c GARBAGE COLLECT
1696.68/1701.09 c #Conflicts: 1002000 | #Constraints: 20845
1696.68/1701.09 c #Conflicts: 1003000 | #Constraints: 21845
1696.68/1701.09 c #Conflicts: 1004000 | #Constraints: 22845
1696.68/1701.09 c #Conflicts: 1005000 | #Constraints: 23845
1696.68/1701.09 c #Conflicts: 1006000 | #Constraints: 24845
1696.68/1701.09 c #Conflicts: 1007000 | #Constraints: 25845
1696.68/1701.09 c #Conflicts: 1008000 | #Constraints: 26845
1696.68/1701.09 c #Conflicts: 1009000 | #Constraints: 27845
1696.68/1701.09 c #Conflicts: 1010000 | #Constraints: 28845
1696.68/1701.09 c #Conflicts: 1011000 | #Constraints: 29845
1696.68/1701.09 c #Conflicts: 1012000 | #Constraints: 30845
1696.68/1701.09 c #Conflicts: 1013000 | #Constraints: 31845
1696.68/1701.09 c #Conflicts: 1014000 | #Constraints: 32845
1696.68/1701.09 c #Conflicts: 1015000 | #Constraints: 33845
1696.68/1701.09 c #Conflicts: 1016000 | #Constraints: 34845
1696.68/1701.09 c #Conflicts: 1017000 | #Constraints: 35845
1696.68/1701.09 c #Conflicts: 1018000 | #Constraints: 36845
1696.68/1701.09 c #Conflicts: 1019000 | #Constraints: 37845
1696.68/1701.09 c #Conflicts: 1020000 | #Constraints: 38845
1696.68/1701.09 c #Conflicts: 1021000 | #Constraints: 39845
1696.68/1701.09 c INPROCESSING
1696.68/1701.09 c GARBAGE COLLECT
1696.68/1701.09 c #Conflicts: 1022000 | #Constraints: 20843
1696.68/1701.09 c #Conflicts: 1023000 | #Constraints: 21843
1696.68/1701.09 c #Conflicts: 1024000 | #Constraints: 22843
1696.68/1701.09 c #Conflicts: 1025000 | #Constraints: 23843
1696.68/1701.09 c #Conflicts: 1026000 | #Constraints: 24843
1696.68/1701.09 c #Conflicts: 1027000 | #Constraints: 25843
1696.68/1701.09 c #Conflicts: 1028000 | #Constraints: 26843
1696.68/1701.09 c #Conflicts: 1029000 | #Constraints: 27843
1696.68/1701.09 c #Conflicts: 1030000 | #Constraints: 28843
1696.68/1701.09 c #Conflicts: 1031000 | #Constraints: 29843
1696.68/1701.09 c #Conflicts: 1032000 | #Constraints: 30843
1696.68/1701.09 c #Conflicts: 1033000 | #Constraints: 31843
1696.68/1701.09 c #Conflicts: 1034000 | #Constraints: 32843
1696.68/1701.09 c #Conflicts: 1035000 | #Constraints: 33843
1696.68/1701.09 c #Conflicts: 1036000 | #Constraints: 34843
1696.68/1701.09 c #Conflicts: 1037000 | #Constraints: 35843
1696.68/1701.09 c #Conflicts: 1038000 | #Constraints: 36843
1696.68/1701.09 c #Conflicts: 1039000 | #Constraints: 37843
1696.68/1701.09 c #Conflicts: 1040000 | #Constraints: 38843
1696.68/1701.09 c #Conflicts: 1041000 | #Constraints: 39843
1696.68/1701.09 c INPROCESSING
1696.68/1701.09 c GARBAGE COLLECT
1696.68/1701.09 c #Conflicts: 1042000 | #Constraints: 20645
1696.68/1701.09 c #Conflicts: 1043000 | #Constraints: 21645
1696.68/1701.09 c #Conflicts: 1044000 | #Constraints: 22645
1696.68/1701.09 c #Conflicts: 1045000 | #Constraints: 23645
1696.68/1701.09 c #Conflicts: 1046000 | #Constraints: 24645
1696.68/1701.09 c #Conflicts: 1047000 | #Constraints: 25645
1696.68/1701.09 c #Conflicts: 1048000 | #Constraints: 26645
1696.68/1701.09 c #Conflicts: 1049000 | #Constraints: 27645
1696.68/1701.09 c #Conflicts: 1050000 | #Constraints: 28645
1696.68/1701.09 c #Conflicts: 1051000 | #Constraints: 29645
1696.68/1701.09 c #Conflicts: 1052000 | #Constraints: 30645
1696.68/1701.09 c #Conflicts: 1053000 | #Constraints: 31645
1696.68/1701.09 c #Conflicts: 1054000 | #Constraints: 32645
1696.68/1701.09 c #Conflicts: 1055000 | #Constraints: 33645
1904.57/1909.49 c #Conflicts: 1056000 | #Constraints: 34645
1904.57/1909.49 c #Conflicts: 1057000 | #Constraints: 35645
1904.57/1909.49 c #Conflicts: 1058000 | #Constraints: 36645
1904.57/1909.49 c #Conflicts: 1059000 | #Constraints: 37645
1904.57/1909.49 c #Conflicts: 1060000 | #Constraints: 38645
1904.57/1909.49 c #Conflicts: 1061000 | #Constraints: 39645
1904.57/1909.49 c #Conflicts: 1062000 | #Constraints: 40645
1904.57/1909.49 c INPROCESSING
1904.57/1909.49 c GARBAGE COLLECT
1904.57/1909.49 c #Conflicts: 1063000 | #Constraints: 21243
1904.57/1909.49 c #Conflicts: 1064000 | #Constraints: 22243
1904.57/1909.49 c #Conflicts: 1065000 | #Constraints: 23243
1904.57/1909.49 c #Conflicts: 1066000 | #Constraints: 24243
1904.57/1909.49 c #Conflicts: 1067000 | #Constraints: 25243
1904.57/1909.49 c #Conflicts: 1068000 | #Constraints: 26243
1904.57/1909.49 c #Conflicts: 1069000 | #Constraints: 27243
1904.57/1909.49 c #Conflicts: 1070000 | #Constraints: 28243
1904.57/1909.49 c #Conflicts: 1071000 | #Constraints: 29243
1904.57/1909.49 c #Conflicts: 1072000 | #Constraints: 30243
1904.57/1909.49 c #Conflicts: 1073000 | #Constraints: 31243
1904.57/1909.49 c #Conflicts: 1074000 | #Constraints: 32243
1904.57/1909.49 c #Conflicts: 1075000 | #Constraints: 33243
1904.57/1909.49 c #Conflicts: 1076000 | #Constraints: 34243
1904.57/1909.49 c #Conflicts: 1077000 | #Constraints: 35243
1904.57/1909.49 c #Conflicts: 1078000 | #Constraints: 36243
1904.57/1909.49 c #Conflicts: 1079000 | #Constraints: 37243
1904.57/1909.49 c #Conflicts: 1080000 | #Constraints: 38243
1904.57/1909.49 c #Conflicts: 1081000 | #Constraints: 39243
1904.57/1909.49 c #Conflicts: 1082000 | #Constraints: 40243
1904.57/1909.49 c #Conflicts: 1083000 | #Constraints: 41243
1904.57/1909.49 c INPROCESSING
1904.57/1909.49 c GARBAGE COLLECT
1904.57/1909.49 c #Conflicts: 1084000 | #Constraints: 21645
1904.57/1909.49 c #Conflicts: 1085000 | #Constraints: 22645
1904.57/1909.49 c #Conflicts: 1086000 | #Constraints: 23645
1904.57/1909.49 c #Conflicts: 1087000 | #Constraints: 24645
1904.57/1909.49 c #Conflicts: 1088000 | #Constraints: 25645
1904.57/1909.49 c #Conflicts: 1089000 | #Constraints: 26645
1904.57/1909.49 c #Conflicts: 1090000 | #Constraints: 27645
1904.57/1909.49 c #Conflicts: 1091000 | #Constraints: 28645
1904.57/1909.49 c #Conflicts: 1092000 | #Constraints: 29645
1904.57/1909.49 c #Conflicts: 1093000 | #Constraints: 30645
1904.57/1909.49 c #Conflicts: 1094000 | #Constraints: 31645
1904.57/1909.49 c #Conflicts: 1095000 | #Constraints: 32645
1904.57/1909.49 c #Conflicts: 1096000 | #Constraints: 33645
1904.57/1909.49 c #Conflicts: 1097000 | #Constraints: 34645
1904.57/1909.49 c #Conflicts: 1098000 | #Constraints: 35645
1904.57/1909.49 c #Conflicts: 1099000 | #Constraints: 36645
1904.57/1909.49 c #Conflicts: 1100000 | #Constraints: 37645
1904.57/1909.49 c #Conflicts: 1101000 | #Constraints: 38645
1904.57/1909.49 c #Conflicts: 1102000 | #Constraints: 39645
1904.57/1909.49 c #Conflicts: 1103000 | #Constraints: 40645
1904.57/1909.49 c #Conflicts: 1104000 | #Constraints: 41645
1904.57/1909.49 c INPROCESSING
1904.57/1909.49 c GARBAGE COLLECT
1904.57/1909.49 c #Conflicts: 1105000 | #Constraints: 21842
1904.57/1909.49 c #Conflicts: 1106000 | #Constraints: 22842
1904.57/1909.49 c #Conflicts: 1107000 | #Constraints: 23842
1904.57/1909.49 c #Conflicts: 1108000 | #Constraints: 24842
1904.57/1909.49 c #Conflicts: 1109000 | #Constraints: 25842
1904.57/1909.49 c #Conflicts: 1110000 | #Constraints: 26842
1904.57/1909.49 c #Conflicts: 1111000 | #Constraints: 27842
1904.57/1909.49 c #Conflicts: 1112000 | #Constraints: 28842
1904.57/1909.49 c #Conflicts: 1113000 | #Constraints: 29842
1904.57/1909.49 c #Conflicts: 1114000 | #Constraints: 30842
1904.57/1909.49 c #Conflicts: 1115000 | #Constraints: 31842
1904.57/1909.49 c #Conflicts: 1116000 | #Constraints: 32842
1904.57/1909.49 c #Conflicts: 1117000 | #Constraints: 33842
1904.57/1909.49 c #Conflicts: 1118000 | #Constraints: 34842
1904.57/1909.49 c #Conflicts: 1119000 | #Constraints: 35842
1904.57/1909.49 c #Conflicts: 1120000 | #Constraints: 36842
1904.57/1909.49 c #Conflicts: 1121000 | #Constraints: 37842
1904.57/1909.49 c #Conflicts: 1122000 | #Constraints: 38842
1904.57/1909.49 c #Conflicts: 1123000 | #Constraints: 39842
1904.57/1909.49 c #Conflicts: 1124000 | #Constraints: 40842
1904.57/1909.49 c #Conflicts: 1125000 | #Constraints: 41842
1904.57/1909.49 c INPROCESSING
1904.57/1909.49 c GARBAGE COLLECT
1904.57/1909.49 c #Conflicts: 1126000 | #Constraints: 21842
1904.57/1909.49 c #Conflicts: 1127000 | #Constraints: 22842
1904.57/1909.49 c #Conflicts: 1128000 | #Constraints: 23842
1904.57/1909.49 c #Conflicts: 1129000 | #Constraints: 24842
1904.57/1909.49 c #Conflicts: 1130000 | #Constraints: 25842
1904.57/1909.49 c #Conflicts: 1131000 | #Constraints: 26842
1904.57/1909.49 c #Conflicts: 1132000 | #Constraints: 27842
2081.77/2087.08 c #Conflicts: 1133000 | #Constraints: 28842
2081.77/2087.08 c #Conflicts: 1134000 | #Constraints: 29842
2081.77/2087.08 c #Conflicts: 1135000 | #Constraints: 30842
2081.77/2087.08 c #Conflicts: 1136000 | #Constraints: 31842
2081.77/2087.08 c #Conflicts: 1137000 | #Constraints: 32842
2081.77/2087.08 c #Conflicts: 1138000 | #Constraints: 33842
2081.77/2087.08 c #Conflicts: 1139000 | #Constraints: 34842
2081.77/2087.08 c #Conflicts: 1140000 | #Constraints: 35842
2081.77/2087.08 c #Conflicts: 1141000 | #Constraints: 36842
2081.77/2087.08 c #Conflicts: 1142000 | #Constraints: 37842
2081.77/2087.08 c #Conflicts: 1143000 | #Constraints: 38842
2081.77/2087.08 c #Conflicts: 1144000 | #Constraints: 39842
2081.77/2087.08 c #Conflicts: 1145000 | #Constraints: 40842
2081.77/2087.08 c #Conflicts: 1146000 | #Constraints: 41842
2081.77/2087.08 c INPROCESSING
2081.77/2087.08 c GARBAGE COLLECT
2081.77/2087.08 c #Conflicts: 1147000 | #Constraints: 21640
2081.77/2087.08 c #Conflicts: 1148000 | #Constraints: 22640
2081.77/2087.08 c #Conflicts: 1149000 | #Constraints: 23640
2081.77/2087.08 c #Conflicts: 1150000 | #Constraints: 24640
2081.77/2087.08 c #Conflicts: 1151000 | #Constraints: 25640
2081.77/2087.08 c #Conflicts: 1152000 | #Constraints: 26640
2081.77/2087.08 c #Conflicts: 1153000 | #Constraints: 27640
2081.77/2087.08 c #Conflicts: 1154000 | #Constraints: 28640
2081.77/2087.08 c #Conflicts: 1155000 | #Constraints: 29640
2081.77/2087.08 c #Conflicts: 1156000 | #Constraints: 30640
2081.77/2087.08 c #Conflicts: 1157000 | #Constraints: 31640
2081.77/2087.08 c #Conflicts: 1158000 | #Constraints: 32640
2081.77/2087.08 c #Conflicts: 1159000 | #Constraints: 33640
2081.77/2087.08 c #Conflicts: 1160000 | #Constraints: 34640
2081.77/2087.08 c #Conflicts: 1161000 | #Constraints: 35640
2081.77/2087.08 c #Conflicts: 1162000 | #Constraints: 36640
2081.77/2087.08 c #Conflicts: 1163000 | #Constraints: 37640
2081.77/2087.08 c #Conflicts: 1164000 | #Constraints: 38640
2081.77/2087.08 c #Conflicts: 1165000 | #Constraints: 39640
2081.77/2087.08 c #Conflicts: 1166000 | #Constraints: 40640
2081.77/2087.08 c #Conflicts: 1167000 | #Constraints: 41640
2081.77/2087.08 c #Conflicts: 1168000 | #Constraints: 42640
2081.77/2087.08 c INPROCESSING
2081.77/2087.08 c GARBAGE COLLECT
2081.77/2087.08 c #Conflicts: 1169000 | #Constraints: 22236
2081.77/2087.08 c #Conflicts: 1170000 | #Constraints: 23236
2081.77/2087.08 c #Conflicts: 1171000 | #Constraints: 24236
2081.77/2087.08 c #Conflicts: 1172000 | #Constraints: 25236
2081.77/2087.08 c #Conflicts: 1173000 | #Constraints: 26236
2081.77/2087.08 c #Conflicts: 1174000 | #Constraints: 27236
2081.77/2087.08 c #Conflicts: 1175000 | #Constraints: 28236
2081.77/2087.08 c #Conflicts: 1176000 | #Constraints: 29236
2081.77/2087.08 c #Conflicts: 1177000 | #Constraints: 30236
2081.77/2087.08 c #Conflicts: 1178000 | #Constraints: 31236
2081.77/2087.08 c #Conflicts: 1179000 | #Constraints: 32236
2081.77/2087.08 c #Conflicts: 1180000 | #Constraints: 33236
2081.77/2087.08 c #Conflicts: 1181000 | #Constraints: 34236
2081.77/2087.08 c #Conflicts: 1182000 | #Constraints: 35236
2081.77/2087.08 c #Conflicts: 1183000 | #Constraints: 36236
2081.77/2087.08 c #Conflicts: 1184000 | #Constraints: 37236
2081.77/2087.08 c #Conflicts: 1185000 | #Constraints: 38236
2081.77/2087.08 c #Conflicts: 1186000 | #Constraints: 39236
2081.77/2087.08 c #Conflicts: 1187000 | #Constraints: 40236
2081.77/2087.08 c #Conflicts: 1188000 | #Constraints: 41236
2081.77/2087.08 c #Conflicts: 1189000 | #Constraints: 42236
2081.77/2087.08 c #Conflicts: 1190000 | #Constraints: 43236
2081.77/2087.08 c INPROCESSING
2081.77/2087.08 c GARBAGE COLLECT
2081.77/2087.08 c #Conflicts: 1191000 | #Constraints: 22636
2081.77/2087.08 c #Conflicts: 1192000 | #Constraints: 23636
2081.77/2087.08 c #Conflicts: 1193000 | #Constraints: 24636
2081.77/2087.08 c #Conflicts: 1194000 | #Constraints: 25636
2081.77/2087.08 c #Conflicts: 1195000 | #Constraints: 26636
2081.77/2087.08 c #Conflicts: 1196000 | #Constraints: 27636
2081.77/2087.08 c #Conflicts: 1197000 | #Constraints: 28636
2081.77/2087.08 c #Conflicts: 1198000 | #Constraints: 29636
2081.77/2087.08 c #Conflicts: 1199000 | #Constraints: 30636
2081.77/2087.08 c #Conflicts: 1200000 | #Constraints: 31636
2081.77/2087.08 c #Conflicts: 1201000 | #Constraints: 32636
2081.77/2087.08 c #Conflicts: 1202000 | #Constraints: 33636
2081.77/2087.08 c #Conflicts: 1203000 | #Constraints: 34636
2081.77/2087.08 c #Conflicts: 1204000 | #Constraints: 35636
2081.77/2087.08 c #Conflicts: 1205000 | #Constraints: 36636
2081.77/2087.08 c #Conflicts: 1206000 | #Constraints: 37636
2081.77/2087.08 c #Conflicts: 1207000 | #Constraints: 38636
2081.77/2087.08 c #Conflicts: 1208000 | #Constraints: 39636
2271.01/2276.74 c #Conflicts: 1209000 | #Constraints: 40636
2271.01/2276.74 c #Conflicts: 1210000 | #Constraints: 41636
2271.01/2276.74 c #Conflicts: 1211000 | #Constraints: 42636
2271.01/2276.74 c #Conflicts: 1212000 | #Constraints: 43636
2271.01/2276.74 c INPROCESSING
2271.01/2276.74 c GARBAGE COLLECT
2271.01/2276.74 c #Conflicts: 1213000 | #Constraints: 22838
2271.01/2276.74 c #Conflicts: 1214000 | #Constraints: 23838
2271.01/2276.74 c #Conflicts: 1215000 | #Constraints: 24838
2271.01/2276.74 c #Conflicts: 1216000 | #Constraints: 25838
2271.01/2276.74 c #Conflicts: 1217000 | #Constraints: 26838
2271.01/2276.74 c #Conflicts: 1218000 | #Constraints: 27838
2271.01/2276.74 c #Conflicts: 1219000 | #Constraints: 28838
2271.01/2276.74 c #Conflicts: 1220000 | #Constraints: 29838
2271.01/2276.74 c #Conflicts: 1221000 | #Constraints: 30838
2271.01/2276.74 c #Conflicts: 1222000 | #Constraints: 31838
2271.01/2276.74 c #Conflicts: 1223000 | #Constraints: 32838
2271.01/2276.74 c #Conflicts: 1224000 | #Constraints: 33838
2271.01/2276.74 c #Conflicts: 1225000 | #Constraints: 34838
2271.01/2276.74 c #Conflicts: 1226000 | #Constraints: 35838
2271.01/2276.74 c #Conflicts: 1227000 | #Constraints: 36838
2271.01/2276.74 c #Conflicts: 1228000 | #Constraints: 37838
2271.01/2276.74 c #Conflicts: 1229000 | #Constraints: 38838
2271.01/2276.74 c #Conflicts: 1230000 | #Constraints: 39838
2271.01/2276.74 c #Conflicts: 1231000 | #Constraints: 40838
2271.01/2276.74 c #Conflicts: 1232000 | #Constraints: 41838
2271.01/2276.74 c #Conflicts: 1233000 | #Constraints: 42838
2271.01/2276.74 c #Conflicts: 1234000 | #Constraints: 43838
2271.01/2276.74 c INPROCESSING
2271.01/2276.74 c GARBAGE COLLECT
2271.01/2276.74 c #Conflicts: 1235000 | #Constraints: 22835
2271.01/2276.74 c #Conflicts: 1236000 | #Constraints: 23835
2271.01/2276.74 c #Conflicts: 1237000 | #Constraints: 24835
2271.01/2276.74 c #Conflicts: 1238000 | #Constraints: 25835
2271.01/2276.74 c #Conflicts: 1239000 | #Constraints: 26835
2271.01/2276.74 c #Conflicts: 1240000 | #Constraints: 27835
2271.01/2276.74 c #Conflicts: 1241000 | #Constraints: 28835
2271.01/2276.74 c #Conflicts: 1242000 | #Constraints: 29835
2271.01/2276.74 c #Conflicts: 1243000 | #Constraints: 30835
2271.01/2276.74 c #Conflicts: 1244000 | #Constraints: 31835
2271.01/2276.74 c #Conflicts: 1245000 | #Constraints: 32835
2271.01/2276.74 c #Conflicts: 1246000 | #Constraints: 33835
2271.01/2276.74 c #Conflicts: 1247000 | #Constraints: 34835
2271.01/2276.74 c #Conflicts: 1248000 | #Constraints: 35835
2271.01/2276.74 c #Conflicts: 1249000 | #Constraints: 36835
2271.01/2276.74 c #Conflicts: 1250000 | #Constraints: 37835
2271.01/2276.74 c #Conflicts: 1251000 | #Constraints: 38835
2271.01/2276.74 c #Conflicts: 1252000 | #Constraints: 39835
2271.01/2276.74 c #Conflicts: 1253000 | #Constraints: 40835
2271.01/2276.74 c #Conflicts: 1254000 | #Constraints: 41835
2271.01/2276.74 c #Conflicts: 1255000 | #Constraints: 42835
2271.01/2276.74 c #Conflicts: 1256000 | #Constraints: 43835
2271.01/2276.74 c INPROCESSING
2271.01/2276.74 c GARBAGE COLLECT
2271.01/2276.74 c #Conflicts: 1257000 | #Constraints: 22636
2271.01/2276.74 c #Conflicts: 1258000 | #Constraints: 23636
2271.01/2276.74 c #Conflicts: 1259000 | #Constraints: 24636
2271.01/2276.74 c #Conflicts: 1260000 | #Constraints: 25636
2271.01/2276.74 c #Conflicts: 1261000 | #Constraints: 26636
2271.01/2276.74 c #Conflicts: 1262000 | #Constraints: 27636
2271.01/2276.74 c #Conflicts: 1263000 | #Constraints: 28636
2271.01/2276.74 c #Conflicts: 1264000 | #Constraints: 29636
2271.01/2276.74 c #Conflicts: 1265000 | #Constraints: 30636
2271.01/2276.74 c #Conflicts: 1266000 | #Constraints: 31636
2271.01/2276.74 c #Conflicts: 1267000 | #Constraints: 32636
2271.01/2276.74 c #Conflicts: 1268000 | #Constraints: 33636
2271.01/2276.74 c #Conflicts: 1269000 | #Constraints: 34636
2271.01/2276.74 c #Conflicts: 1270000 | #Constraints: 35636
2271.01/2276.74 c #Conflicts: 1271000 | #Constraints: 36636
2271.01/2276.74 c #Conflicts: 1272000 | #Constraints: 37636
2271.01/2276.74 c #Conflicts: 1273000 | #Constraints: 38636
2271.01/2276.74 c #Conflicts: 1274000 | #Constraints: 39636
2271.01/2276.74 c #Conflicts: 1275000 | #Constraints: 40636
2271.01/2276.74 c #Conflicts: 1276000 | #Constraints: 41636
2271.01/2276.74 c #Conflicts: 1277000 | #Constraints: 42636
2271.01/2276.74 c #Conflicts: 1278000 | #Constraints: 43636
2271.01/2276.74 c #Conflicts: 1279000 | #Constraints: 44636
2271.01/2276.74 c INPROCESSING
2271.01/2276.74 c GARBAGE COLLECT
2271.01/2276.74 c #Conflicts: 1280000 | #Constraints: 23235
2271.01/2276.74 c #Conflicts: 1281000 | #Constraints: 24235
2271.01/2276.74 c #Conflicts: 1282000 | #Constraints: 25235
2271.01/2276.74 c #Conflicts: 1283000 | #Constraints: 26235
2271.01/2276.74 c #Conflicts: 1284000 | #Constraints: 27235
2271.01/2276.74 c #Conflicts: 1285000 | #Constraints: 28235
2466.13/2472.37 c #Conflicts: 1286000 | #Constraints: 29235
2466.13/2472.37 c #Conflicts: 1287000 | #Constraints: 30235
2466.13/2472.37 c #Conflicts: 1288000 | #Constraints: 31235
2466.13/2472.37 c #Conflicts: 1289000 | #Constraints: 32235
2466.13/2472.37 c #Conflicts: 1290000 | #Constraints: 33235
2466.13/2472.37 c #Conflicts: 1291000 | #Constraints: 34235
2466.13/2472.37 c #Conflicts: 1292000 | #Constraints: 35235
2466.13/2472.37 c #Conflicts: 1293000 | #Constraints: 36235
2466.13/2472.37 c #Conflicts: 1294000 | #Constraints: 37235
2466.13/2472.37 c #Conflicts: 1295000 | #Constraints: 38235
2466.13/2472.37 c #Conflicts: 1296000 | #Constraints: 39235
2466.13/2472.37 c #Conflicts: 1297000 | #Constraints: 40235
2466.13/2472.37 c #Conflicts: 1298000 | #Constraints: 41235
2466.13/2472.37 c #Conflicts: 1299000 | #Constraints: 42235
2466.13/2472.37 c #Conflicts: 1300000 | #Constraints: 43235
2466.13/2472.37 c #Conflicts: 1301000 | #Constraints: 44235
2466.13/2472.37 c #Conflicts: 1302000 | #Constraints: 45235
2466.13/2472.37 c INPROCESSING
2466.13/2472.37 c GARBAGE COLLECT
2466.13/2472.37 c #Conflicts: 1303000 | #Constraints: 23635
2466.13/2472.37 c #Conflicts: 1304000 | #Constraints: 24635
2466.13/2472.37 c #Conflicts: 1305000 | #Constraints: 25635
2466.13/2472.37 c #Conflicts: 1306000 | #Constraints: 26635
2466.13/2472.37 c #Conflicts: 1307000 | #Constraints: 27635
2466.13/2472.37 c #Conflicts: 1308000 | #Constraints: 28635
2466.13/2472.37 c #Conflicts: 1309000 | #Constraints: 29635
2466.13/2472.37 c #Conflicts: 1310000 | #Constraints: 30635
2466.13/2472.37 c #Conflicts: 1311000 | #Constraints: 31635
2466.13/2472.37 c #Conflicts: 1312000 | #Constraints: 32635
2466.13/2472.37 c #Conflicts: 1313000 | #Constraints: 33635
2466.13/2472.37 c #Conflicts: 1314000 | #Constraints: 34635
2466.13/2472.37 c #Conflicts: 1315000 | #Constraints: 35635
2466.13/2472.37 c #Conflicts: 1316000 | #Constraints: 36635
2466.13/2472.37 c #Conflicts: 1317000 | #Constraints: 37635
2466.13/2472.37 c #Conflicts: 1318000 | #Constraints: 38635
2466.13/2472.37 c #Conflicts: 1319000 | #Constraints: 39635
2466.13/2472.37 c #Conflicts: 1320000 | #Constraints: 40635
2466.13/2472.37 c #Conflicts: 1321000 | #Constraints: 41635
2466.13/2472.37 c #Conflicts: 1322000 | #Constraints: 42635
2466.13/2472.37 c #Conflicts: 1323000 | #Constraints: 43635
2466.13/2472.37 c #Conflicts: 1324000 | #Constraints: 44635
2466.13/2472.37 c #Conflicts: 1325000 | #Constraints: 45635
2466.13/2472.37 c INPROCESSING
2466.13/2472.37 c GARBAGE COLLECT
2466.13/2472.37 c #Conflicts: 1326000 | #Constraints: 23837
2466.13/2472.37 c #Conflicts: 1327000 | #Constraints: 24837
2466.13/2472.37 c #Conflicts: 1328000 | #Constraints: 25837
2466.13/2472.37 c #Conflicts: 1329000 | #Constraints: 26837
2466.13/2472.37 c #Conflicts: 1330000 | #Constraints: 27837
2466.13/2472.37 c #Conflicts: 1331000 | #Constraints: 28837
2466.13/2472.37 c #Conflicts: 1332000 | #Constraints: 29837
2466.13/2472.37 c #Conflicts: 1333000 | #Constraints: 30837
2466.13/2472.37 c #Conflicts: 1334000 | #Constraints: 31837
2466.13/2472.37 c #Conflicts: 1335000 | #Constraints: 32837
2466.13/2472.37 c #Conflicts: 1336000 | #Constraints: 33837
2466.13/2472.37 c #Conflicts: 1337000 | #Constraints: 34837
2466.13/2472.37 c #Conflicts: 1338000 | #Constraints: 35837
2466.13/2472.37 c #Conflicts: 1339000 | #Constraints: 36837
2466.13/2472.37 c #Conflicts: 1340000 | #Constraints: 37837
2466.13/2472.37 c #Conflicts: 1341000 | #Constraints: 38837
2466.13/2472.37 c #Conflicts: 1342000 | #Constraints: 39837
2466.13/2472.37 c #Conflicts: 1343000 | #Constraints: 40837
2466.13/2472.37 c #Conflicts: 1344000 | #Constraints: 41837
2466.13/2472.37 c #Conflicts: 1345000 | #Constraints: 42837
2466.13/2472.37 c #Conflicts: 1346000 | #Constraints: 43837
2466.13/2472.37 c #Conflicts: 1347000 | #Constraints: 44837
2466.13/2472.37 c #Conflicts: 1348000 | #Constraints: 45837
2466.13/2472.37 c INPROCESSING
2466.13/2472.37 c GARBAGE COLLECT
2466.13/2472.37 c #Conflicts: 1349000 | #Constraints: 23835
2466.13/2472.37 c #Conflicts: 1350000 | #Constraints: 24835
2466.13/2472.37 c #Conflicts: 1351000 | #Constraints: 25835
2466.13/2472.37 c #Conflicts: 1352000 | #Constraints: 26835
2466.13/2472.37 c #Conflicts: 1353000 | #Constraints: 27835
2466.13/2472.37 c #Conflicts: 1354000 | #Constraints: 28835
2466.13/2472.37 c #Conflicts: 1355000 | #Constraints: 29835
2466.13/2472.37 c #Conflicts: 1356000 | #Constraints: 30835
2466.13/2472.37 c #Conflicts: 1357000 | #Constraints: 31835
2466.13/2472.37 c #Conflicts: 1358000 | #Constraints: 32835
2466.13/2472.37 c #Conflicts: 1359000 | #Constraints: 33835
2466.13/2472.37 c #Conflicts: 1360000 | #Constraints: 34835
2466.13/2472.37 c #Conflicts: 1361000 | #Constraints: 35835
2466.13/2472.37 c #Conflicts: 1362000 | #Constraints: 36835
2662.25/2669.01 c #Conflicts: 1363000 | #Constraints: 37835
2662.25/2669.01 c #Conflicts: 1364000 | #Constraints: 38835
2662.25/2669.01 c #Conflicts: 1365000 | #Constraints: 39835
2662.25/2669.01 c #Conflicts: 1366000 | #Constraints: 40835
2662.25/2669.01 c #Conflicts: 1367000 | #Constraints: 41835
2662.25/2669.01 c #Conflicts: 1368000 | #Constraints: 42835
2662.25/2669.01 c #Conflicts: 1369000 | #Constraints: 43835
2662.25/2669.01 c #Conflicts: 1370000 | #Constraints: 44835
2662.25/2669.01 c #Conflicts: 1371000 | #Constraints: 45835
2662.25/2669.01 c INPROCESSING
2662.25/2669.01 c GARBAGE COLLECT
2662.25/2669.01 c #Conflicts: 1372000 | #Constraints: 23636
2662.25/2669.01 c #Conflicts: 1373000 | #Constraints: 24636
2662.25/2669.01 c #Conflicts: 1374000 | #Constraints: 25636
2662.25/2669.01 c #Conflicts: 1375000 | #Constraints: 26636
2662.25/2669.01 c #Conflicts: 1376000 | #Constraints: 27636
2662.25/2669.01 c #Conflicts: 1377000 | #Constraints: 28636
2662.25/2669.01 c #Conflicts: 1378000 | #Constraints: 29636
2662.25/2669.01 c #Conflicts: 1379000 | #Constraints: 30636
2662.25/2669.01 c #Conflicts: 1380000 | #Constraints: 31636
2662.25/2669.01 c #Conflicts: 1381000 | #Constraints: 32636
2662.25/2669.01 c #Conflicts: 1382000 | #Constraints: 33636
2662.25/2669.01 c #Conflicts: 1383000 | #Constraints: 34636
2662.25/2669.01 c #Conflicts: 1384000 | #Constraints: 35636
2662.25/2669.01 c #Conflicts: 1385000 | #Constraints: 36636
2662.25/2669.01 c #Conflicts: 1386000 | #Constraints: 37636
2662.25/2669.01 c #Conflicts: 1387000 | #Constraints: 38636
2662.25/2669.01 c #Conflicts: 1388000 | #Constraints: 39636
2662.25/2669.01 c #Conflicts: 1389000 | #Constraints: 40636
2662.25/2669.01 c #Conflicts: 1390000 | #Constraints: 41636
2662.25/2669.01 c #Conflicts: 1391000 | #Constraints: 42636
2662.25/2669.01 c #Conflicts: 1392000 | #Constraints: 43636
2662.25/2669.01 c #Conflicts: 1393000 | #Constraints: 44636
2662.25/2669.01 c #Conflicts: 1394000 | #Constraints: 45636
2662.25/2669.01 c #Conflicts: 1395000 | #Constraints: 46636
2662.25/2669.01 c INPROCESSING
2662.25/2669.01 c GARBAGE COLLECT
2662.25/2669.01 c #Conflicts: 1396000 | #Constraints: 24239
2662.25/2669.01 c #Conflicts: 1397000 | #Constraints: 25239
2662.25/2669.01 c #Conflicts: 1398000 | #Constraints: 26239
2662.25/2669.01 c #Conflicts: 1399000 | #Constraints: 27239
2662.25/2669.01 c #Conflicts: 1400000 | #Constraints: 28239
2662.25/2669.01 c #Conflicts: 1401000 | #Constraints: 29239
2662.25/2669.01 c #Conflicts: 1402000 | #Constraints: 30239
2662.25/2669.01 c #Conflicts: 1403000 | #Constraints: 31239
2662.25/2669.01 c #Conflicts: 1404000 | #Constraints: 32239
2662.25/2669.01 c #Conflicts: 1405000 | #Constraints: 33239
2662.25/2669.01 c #Conflicts: 1406000 | #Constraints: 34239
2662.25/2669.01 c #Conflicts: 1407000 | #Constraints: 35239
2662.25/2669.01 c #Conflicts: 1408000 | #Constraints: 36239
2662.25/2669.01 c #Conflicts: 1409000 | #Constraints: 37239
2662.25/2669.01 c #Conflicts: 1410000 | #Constraints: 38239
2662.25/2669.01 c #Conflicts: 1411000 | #Constraints: 39239
2662.25/2669.01 c #Conflicts: 1412000 | #Constraints: 40239
2662.25/2669.01 c #Conflicts: 1413000 | #Constraints: 41239
2662.25/2669.01 c #Conflicts: 1414000 | #Constraints: 42239
2662.25/2669.01 c #Conflicts: 1415000 | #Constraints: 43239
2662.25/2669.01 c #Conflicts: 1416000 | #Constraints: 44239
2662.25/2669.01 c #Conflicts: 1417000 | #Constraints: 45239
2662.25/2669.01 c #Conflicts: 1418000 | #Constraints: 46239
2662.25/2669.01 c #Conflicts: 1419000 | #Constraints: 47239
2662.25/2669.01 c INPROCESSING
2662.25/2669.01 c GARBAGE COLLECT
2662.25/2669.01 c #Conflicts: 1420000 | #Constraints: 24636
2662.25/2669.01 c #Conflicts: 1421000 | #Constraints: 25636
2662.25/2669.01 c #Conflicts: 1422000 | #Constraints: 26636
2662.25/2669.01 c #Conflicts: 1423000 | #Constraints: 27636
2662.25/2669.01 c #Conflicts: 1424000 | #Constraints: 28636
2662.25/2669.01 c #Conflicts: 1425000 | #Constraints: 29636
2662.25/2669.01 c #Conflicts: 1426000 | #Constraints: 30636
2662.25/2669.01 c #Conflicts: 1427000 | #Constraints: 31636
2662.25/2669.01 c #Conflicts: 1428000 | #Constraints: 32636
2662.25/2669.01 c #Conflicts: 1429000 | #Constraints: 33636
2662.25/2669.01 c #Conflicts: 1430000 | #Constraints: 34636
2662.25/2669.01 c #Conflicts: 1431000 | #Constraints: 35636
2662.25/2669.01 c #Conflicts: 1432000 | #Constraints: 36636
2662.25/2669.01 c #Conflicts: 1433000 | #Constraints: 37636
2662.25/2669.01 c #Conflicts: 1434000 | #Constraints: 38636
2662.25/2669.01 c #Conflicts: 1435000 | #Constraints: 39636
2662.25/2669.01 c #Conflicts: 1436000 | #Constraints: 40636
2662.25/2669.01 c #Conflicts: 1437000 | #Constraints: 41636
2662.25/2669.01 c #Conflicts: 1438000 | #Constraints: 42636
2871.74/2879.07 c #Conflicts: 1439000 | #Constraints: 43636
2871.74/2879.07 c #Conflicts: 1440000 | #Constraints: 44636
2871.74/2879.07 c #Conflicts: 1441000 | #Constraints: 45636
2871.74/2879.07 c #Conflicts: 1442000 | #Constraints: 46636
2871.74/2879.07 c #Conflicts: 1443000 | #Constraints: 47636
2871.74/2879.07 c INPROCESSING
2871.74/2879.07 c GARBAGE COLLECT
2871.74/2879.07 c #Conflicts: 1444000 | #Constraints: 24835
2871.74/2879.07 c #Conflicts: 1445000 | #Constraints: 25835
2871.74/2879.07 c #Conflicts: 1446000 | #Constraints: 26835
2871.74/2879.07 c #Conflicts: 1447000 | #Constraints: 27835
2871.74/2879.07 c #Conflicts: 1448000 | #Constraints: 28835
2871.74/2879.07 c #Conflicts: 1449000 | #Constraints: 29835
2871.74/2879.07 c #Conflicts: 1450000 | #Constraints: 30835
2871.74/2879.07 c #Conflicts: 1451000 | #Constraints: 31835
2871.74/2879.07 c #Conflicts: 1452000 | #Constraints: 32835
2871.74/2879.07 c #Conflicts: 1453000 | #Constraints: 33835
2871.74/2879.07 c #Conflicts: 1454000 | #Constraints: 34835
2871.74/2879.07 c #Conflicts: 1455000 | #Constraints: 35835
2871.74/2879.07 c #Conflicts: 1456000 | #Constraints: 36835
2871.74/2879.07 c #Conflicts: 1457000 | #Constraints: 37835
2871.74/2879.07 c #Conflicts: 1458000 | #Constraints: 38835
2871.74/2879.07 c #Conflicts: 1459000 | #Constraints: 39835
2871.74/2879.07 c #Conflicts: 1460000 | #Constraints: 40835
2871.74/2879.07 c #Conflicts: 1461000 | #Constraints: 41835
2871.74/2879.07 c #Conflicts: 1462000 | #Constraints: 42835
2871.74/2879.07 c #Conflicts: 1463000 | #Constraints: 43835
2871.74/2879.07 c #Conflicts: 1464000 | #Constraints: 44835
2871.74/2879.07 c #Conflicts: 1465000 | #Constraints: 45835
2871.74/2879.07 c #Conflicts: 1466000 | #Constraints: 46835
2871.74/2879.07 c #Conflicts: 1467000 | #Constraints: 47835
2871.74/2879.07 c INPROCESSING
2871.74/2879.07 c GARBAGE COLLECT
2871.74/2879.07 c #Conflicts: 1468000 | #Constraints: 24835
2871.74/2879.07 c #Conflicts: 1469000 | #Constraints: 25835
2871.74/2879.07 c #Conflicts: 1470000 | #Constraints: 26835
2871.74/2879.07 c #Conflicts: 1471000 | #Constraints: 27835
2871.74/2879.07 c #Conflicts: 1472000 | #Constraints: 28835
2871.74/2879.07 c #Conflicts: 1473000 | #Constraints: 29835
2871.74/2879.07 c #Conflicts: 1474000 | #Constraints: 30835
2871.74/2879.07 c #Conflicts: 1475000 | #Constraints: 31835
2871.74/2879.07 c #Conflicts: 1476000 | #Constraints: 32835
2871.74/2879.07 c #Conflicts: 1477000 | #Constraints: 33835
2871.74/2879.07 c #Conflicts: 1478000 | #Constraints: 34835
2871.74/2879.07 c #Conflicts: 1479000 | #Constraints: 35835
2871.74/2879.07 c #Conflicts: 1480000 | #Constraints: 36835
2871.74/2879.07 c #Conflicts: 1481000 | #Constraints: 37835
2871.74/2879.07 c #Conflicts: 1482000 | #Constraints: 38835
2871.74/2879.07 c #Conflicts: 1483000 | #Constraints: 39835
2871.74/2879.07 c #Conflicts: 1484000 | #Constraints: 40835
2871.74/2879.07 c #Conflicts: 1485000 | #Constraints: 41835
2871.74/2879.07 c #Conflicts: 1486000 | #Constraints: 42835
2871.74/2879.07 c #Conflicts: 1487000 | #Constraints: 43835
2871.74/2879.07 c #Conflicts: 1488000 | #Constraints: 44835
2871.74/2879.07 c #Conflicts: 1489000 | #Constraints: 45835
2871.74/2879.07 c #Conflicts: 1490000 | #Constraints: 46835
2871.74/2879.07 c #Conflicts: 1491000 | #Constraints: 47835
2871.74/2879.07 c INPROCESSING
2871.74/2879.07 c GARBAGE COLLECT
2871.74/2879.07 c #Conflicts: 1492000 | #Constraints: 24635
2871.74/2879.07 c #Conflicts: 1493000 | #Constraints: 25635
2871.74/2879.07 c #Conflicts: 1494000 | #Constraints: 26635
2871.74/2879.07 c #Conflicts: 1495000 | #Constraints: 27635
2871.74/2879.07 c #Conflicts: 1496000 | #Constraints: 28635
2871.74/2879.07 c #Conflicts: 1497000 | #Constraints: 29635
2871.74/2879.07 c #Conflicts: 1498000 | #Constraints: 30635
2871.74/2879.07 c #Conflicts: 1499000 | #Constraints: 31635
2871.74/2879.07 c #Conflicts: 1500000 | #Constraints: 32635
2871.74/2879.07 c #Conflicts: 1501000 | #Constraints: 33635
2871.74/2879.07 c #Conflicts: 1502000 | #Constraints: 34635
2871.74/2879.07 c #Conflicts: 1503000 | #Constraints: 35635
2871.74/2879.07 c #Conflicts: 1504000 | #Constraints: 36635
2871.74/2879.07 c #Conflicts: 1505000 | #Constraints: 37635
2871.74/2879.07 c #Conflicts: 1506000 | #Constraints: 38635
2871.74/2879.07 c #Conflicts: 1507000 | #Constraints: 39635
2871.74/2879.07 c #Conflicts: 1508000 | #Constraints: 40635
2871.74/2879.07 c #Conflicts: 1509000 | #Constraints: 41635
2871.74/2879.07 c #Conflicts: 1510000 | #Constraints: 42635
2871.74/2879.07 c #Conflicts: 1511000 | #Constraints: 43635
2871.74/2879.07 c #Conflicts: 1512000 | #Constraints: 44635
2871.74/2879.07 c #Conflicts: 1513000 | #Constraints: 45635
2871.74/2879.07 c #Conflicts: 1514000 | #Constraints: 46635
2871.74/2879.07 c #Conflicts: 1515000 | #Constraints: 47635
3102.73/3110.72 c #Conflicts: 1516000 | #Constraints: 48635
3102.73/3110.72 c INPROCESSING
3102.73/3110.72 c GARBAGE COLLECT
3102.73/3110.72 c #Conflicts: 1517000 | #Constraints: 25237
3102.73/3110.72 c #Conflicts: 1518000 | #Constraints: 26237
3102.73/3110.72 c #Conflicts: 1519000 | #Constraints: 27237
3102.73/3110.72 c #Conflicts: 1520000 | #Constraints: 28237
3102.73/3110.72 c #Conflicts: 1521000 | #Constraints: 29237
3102.73/3110.72 c #Conflicts: 1522000 | #Constraints: 30237
3102.73/3110.72 c #Conflicts: 1523000 | #Constraints: 31237
3102.73/3110.72 c #Conflicts: 1524000 | #Constraints: 32237
3102.73/3110.72 c #Conflicts: 1525000 | #Constraints: 33237
3102.73/3110.72 c #Conflicts: 1526000 | #Constraints: 34237
3102.73/3110.72 c #Conflicts: 1527000 | #Constraints: 35237
3102.73/3110.72 c #Conflicts: 1528000 | #Constraints: 36237
3102.73/3110.72 c #Conflicts: 1529000 | #Constraints: 37237
3102.73/3110.72 c #Conflicts: 1530000 | #Constraints: 38237
3102.73/3110.72 c #Conflicts: 1531000 | #Constraints: 39237
3102.73/3110.72 c #Conflicts: 1532000 | #Constraints: 40237
3102.73/3110.72 c #Conflicts: 1533000 | #Constraints: 41237
3102.73/3110.72 c #Conflicts: 1534000 | #Constraints: 42237
3102.73/3110.72 c #Conflicts: 1535000 | #Constraints: 43237
3102.73/3110.72 c #Conflicts: 1536000 | #Constraints: 44237
3102.73/3110.72 c #Conflicts: 1537000 | #Constraints: 45237
3102.73/3110.72 c #Conflicts: 1538000 | #Constraints: 46237
3102.73/3110.72 c #Conflicts: 1539000 | #Constraints: 47237
3102.73/3110.72 c #Conflicts: 1540000 | #Constraints: 48237
3102.73/3110.72 c #Conflicts: 1541000 | #Constraints: 49237
3102.73/3110.72 c INPROCESSING
3102.73/3110.72 c GARBAGE COLLECT
3102.73/3110.72 c #Conflicts: 1542000 | #Constraints: 25637
3102.73/3110.72 c #Conflicts: 1543000 | #Constraints: 26637
3102.73/3110.72 c #Conflicts: 1544000 | #Constraints: 27637
3102.73/3110.72 c #Conflicts: 1545000 | #Constraints: 28637
3102.73/3110.72 c #Conflicts: 1546000 | #Constraints: 29637
3102.73/3110.72 c #Conflicts: 1547000 | #Constraints: 30637
3102.73/3110.72 c #Conflicts: 1548000 | #Constraints: 31637
3102.73/3110.72 c #Conflicts: 1549000 | #Constraints: 32637
3102.73/3110.72 c #Conflicts: 1550000 | #Constraints: 33637
3102.73/3110.72 c #Conflicts: 1551000 | #Constraints: 34637
3102.73/3110.72 c #Conflicts: 1552000 | #Constraints: 35637
3102.73/3110.72 c #Conflicts: 1553000 | #Constraints: 36637
3102.73/3110.72 c #Conflicts: 1554000 | #Constraints: 37637
3102.73/3110.72 c #Conflicts: 1555000 | #Constraints: 38637
3102.73/3110.72 c #Conflicts: 1556000 | #Constraints: 39637
3102.73/3110.72 c #Conflicts: 1557000 | #Constraints: 40637
3102.73/3110.72 c #Conflicts: 1558000 | #Constraints: 41637
3102.73/3110.72 c #Conflicts: 1559000 | #Constraints: 42637
3102.73/3110.72 c #Conflicts: 1560000 | #Constraints: 43637
3102.73/3110.72 c #Conflicts: 1561000 | #Constraints: 44637
3102.73/3110.72 c #Conflicts: 1562000 | #Constraints: 45637
3102.73/3110.72 c #Conflicts: 1563000 | #Constraints: 46637
3102.73/3110.72 c #Conflicts: 1564000 | #Constraints: 47637
3102.73/3110.72 c #Conflicts: 1565000 | #Constraints: 48637
3102.73/3110.72 c #Conflicts: 1566000 | #Constraints: 49637
3102.73/3110.72 c INPROCESSING
3102.73/3110.72 c GARBAGE COLLECT
3102.73/3110.72 c #Conflicts: 1567000 | #Constraints: 25838
3102.73/3110.72 c #Conflicts: 1568000 | #Constraints: 26838
3102.73/3110.72 c #Conflicts: 1569000 | #Constraints: 27838
3102.73/3110.72 c #Conflicts: 1570000 | #Constraints: 28838
3102.73/3110.72 c #Conflicts: 1571000 | #Constraints: 29838
3102.73/3110.72 c #Conflicts: 1572000 | #Constraints: 30838
3102.73/3110.72 c #Conflicts: 1573000 | #Constraints: 31838
3102.73/3110.72 c #Conflicts: 1574000 | #Constraints: 32838
3102.73/3110.72 c #Conflicts: 1575000 | #Constraints: 33838
3102.73/3110.72 c #Conflicts: 1576000 | #Constraints: 34838
3102.73/3110.72 c #Conflicts: 1577000 | #Constraints: 35838
3102.73/3110.72 c #Conflicts: 1578000 | #Constraints: 36838
3102.73/3110.72 c #Conflicts: 1579000 | #Constraints: 37838
3102.73/3110.72 c #Conflicts: 1580000 | #Constraints: 38838
3102.73/3110.72 c #Conflicts: 1581000 | #Constraints: 39838
3102.73/3110.72 c #Conflicts: 1582000 | #Constraints: 40838
3102.73/3110.72 c #Conflicts: 1583000 | #Constraints: 41838
3102.73/3110.72 c #Conflicts: 1584000 | #Constraints: 42838
3102.73/3110.72 c #Conflicts: 1585000 | #Constraints: 43838
3102.73/3110.72 c #Conflicts: 1586000 | #Constraints: 44838
3102.73/3110.72 c #Conflicts: 1587000 | #Constraints: 45838
3102.73/3110.72 c #Conflicts: 1588000 | #Constraints: 46838
3102.73/3110.72 c #Conflicts: 1589000 | #Constraints: 47838
3102.73/3110.72 c #Conflicts: 1590000 | #Constraints: 48838
3102.73/3110.72 c #Conflicts: 1591000 | #Constraints: 49838
3102.73/3110.72 c INPROCESSING
3102.73/3110.72 c GARBAGE COLLECT
3102.73/3110.72 c #Conflicts: 1592000 | #Constraints: 25837
3330.46/3339.08 c #Conflicts: 1593000 | #Constraints: 26837
3330.46/3339.08 c #Conflicts: 1594000 | #Constraints: 27837
3330.46/3339.08 c #Conflicts: 1595000 | #Constraints: 28837
3330.46/3339.08 c #Conflicts: 1596000 | #Constraints: 29837
3330.46/3339.08 c #Conflicts: 1597000 | #Constraints: 30837
3330.46/3339.08 c #Conflicts: 1598000 | #Constraints: 31837
3330.46/3339.08 c #Conflicts: 1599000 | #Constraints: 32837
3330.46/3339.08 c #Conflicts: 1600000 | #Constraints: 33837
3330.46/3339.08 c #Conflicts: 1601000 | #Constraints: 34837
3330.46/3339.08 c #Conflicts: 1602000 | #Constraints: 35837
3330.46/3339.08 c #Conflicts: 1603000 | #Constraints: 36837
3330.46/3339.08 c #Conflicts: 1604000 | #Constraints: 37837
3330.46/3339.08 c #Conflicts: 1605000 | #Constraints: 38837
3330.46/3339.08 c #Conflicts: 1606000 | #Constraints: 39837
3330.46/3339.08 c #Conflicts: 1607000 | #Constraints: 40837
3330.46/3339.08 c #Conflicts: 1608000 | #Constraints: 41837
3330.46/3339.08 c #Conflicts: 1609000 | #Constraints: 42837
3330.46/3339.08 c #Conflicts: 1610000 | #Constraints: 43837
3330.46/3339.08 c #Conflicts: 1611000 | #Constraints: 44837
3330.46/3339.08 c #Conflicts: 1612000 | #Constraints: 45837
3330.46/3339.08 c #Conflicts: 1613000 | #Constraints: 46837
3330.46/3339.08 c #Conflicts: 1614000 | #Constraints: 47837
3330.46/3339.08 c #Conflicts: 1615000 | #Constraints: 48837
3330.46/3339.08 c #Conflicts: 1616000 | #Constraints: 49837
3330.46/3339.08 c INPROCESSING
3330.46/3339.08 c GARBAGE COLLECT
3330.46/3339.08 c #Conflicts: 1617000 | #Constraints: 25641
3330.46/3339.08 c #Conflicts: 1618000 | #Constraints: 26641
3330.46/3339.08 c #Conflicts: 1619000 | #Constraints: 27641
3330.46/3339.08 c #Conflicts: 1620000 | #Constraints: 28641
3330.46/3339.08 c #Conflicts: 1621000 | #Constraints: 29641
3330.46/3339.08 c #Conflicts: 1622000 | #Constraints: 30641
3330.46/3339.08 c #Conflicts: 1623000 | #Constraints: 31641
3330.46/3339.08 c #Conflicts: 1624000 | #Constraints: 32641
3330.46/3339.08 c #Conflicts: 1625000 | #Constraints: 33641
3330.46/3339.08 c #Conflicts: 1626000 | #Constraints: 34641
3330.46/3339.08 c #Conflicts: 1627000 | #Constraints: 35641
3330.46/3339.08 c #Conflicts: 1628000 | #Constraints: 36641
3330.46/3339.08 c #Conflicts: 1629000 | #Constraints: 37641
3330.46/3339.08 c #Conflicts: 1630000 | #Constraints: 38641
3330.46/3339.08 c #Conflicts: 1631000 | #Constraints: 39641
3330.46/3339.08 c #Conflicts: 1632000 | #Constraints: 40641
3330.46/3339.08 c #Conflicts: 1633000 | #Constraints: 41641
3330.46/3339.08 c #Conflicts: 1634000 | #Constraints: 42641
3330.46/3339.08 c #Conflicts: 1635000 | #Constraints: 43641
3330.46/3339.08 c #Conflicts: 1636000 | #Constraints: 44641
3330.46/3339.08 c #Conflicts: 1637000 | #Constraints: 45641
3330.46/3339.08 c #Conflicts: 1638000 | #Constraints: 46641
3330.46/3339.08 c #Conflicts: 1639000 | #Constraints: 47641
3330.46/3339.08 c #Conflicts: 1640000 | #Constraints: 48641
3330.46/3339.08 c #Conflicts: 1641000 | #Constraints: 49641
3330.46/3339.08 c #Conflicts: 1642000 | #Constraints: 50641
3330.46/3339.08 c INPROCESSING
3330.46/3339.08 c GARBAGE COLLECT
3330.46/3339.08 c #Conflicts: 1643000 | #Constraints: 26239
3330.46/3339.08 c #Conflicts: 1644000 | #Constraints: 27239
3330.46/3339.08 c #Conflicts: 1645000 | #Constraints: 28239
3330.46/3339.08 c #Conflicts: 1646000 | #Constraints: 29239
3330.46/3339.08 c #Conflicts: 1647000 | #Constraints: 30239
3330.46/3339.08 c #Conflicts: 1648000 | #Constraints: 31239
3330.46/3339.08 c #Conflicts: 1649000 | #Constraints: 32239
3330.46/3339.08 c #Conflicts: 1650000 | #Constraints: 33239
3330.46/3339.08 c #Conflicts: 1651000 | #Constraints: 34239
3330.46/3339.08 c #Conflicts: 1652000 | #Constraints: 35239
3330.46/3339.08 c #Conflicts: 1653000 | #Constraints: 36239
3330.46/3339.08 c #Conflicts: 1654000 | #Constraints: 37239
3330.46/3339.08 c #Conflicts: 1655000 | #Constraints: 38239
3330.46/3339.08 c #Conflicts: 1656000 | #Constraints: 39239
3330.46/3339.08 c #Conflicts: 1657000 | #Constraints: 40239
3330.46/3339.08 c #Conflicts: 1658000 | #Constraints: 41239
3330.46/3339.08 c #Conflicts: 1659000 | #Constraints: 42239
3330.46/3339.08 c #Conflicts: 1660000 | #Constraints: 43239
3330.46/3339.08 c #Conflicts: 1661000 | #Constraints: 44239
3330.46/3339.08 c #Conflicts: 1662000 | #Constraints: 45239
3330.46/3339.08 c #Conflicts: 1663000 | #Constraints: 46239
3330.46/3339.08 c #Conflicts: 1664000 | #Constraints: 47239
3330.46/3339.08 c #Conflicts: 1665000 | #Constraints: 48239
3330.46/3339.08 c #Conflicts: 1666000 | #Constraints: 49239
3330.46/3339.08 c #Conflicts: 1667000 | #Constraints: 50239
3330.46/3339.08 c #Conflicts: 1668000 | #Constraints: 51239
3330.46/3339.08 c INPROCESSING
3330.46/3339.08 c GARBAGE COLLECT
3550.92/3560.05 c #Conflicts: 1669000 | #Constraints: 26638
3550.92/3560.05 c #Conflicts: 1670000 | #Constraints: 27638
3550.92/3560.05 c #Conflicts: 1671000 | #Constraints: 28638
3550.92/3560.05 c #Conflicts: 1672000 | #Constraints: 29638
3550.92/3560.05 c #Conflicts: 1673000 | #Constraints: 30638
3550.92/3560.05 c #Conflicts: 1674000 | #Constraints: 31638
3550.92/3560.05 c #Conflicts: 1675000 | #Constraints: 32638
3550.92/3560.05 c #Conflicts: 1676000 | #Constraints: 33638
3550.92/3560.05 c #Conflicts: 1677000 | #Constraints: 34638
3550.92/3560.05 c #Conflicts: 1678000 | #Constraints: 35638
3550.92/3560.05 c #Conflicts: 1679000 | #Constraints: 36638
3550.92/3560.05 c #Conflicts: 1680000 | #Constraints: 37638
3550.92/3560.05 c #Conflicts: 1681000 | #Constraints: 38638
3550.92/3560.05 c #Conflicts: 1682000 | #Constraints: 39638
3550.92/3560.05 c #Conflicts: 1683000 | #Constraints: 40638
3550.92/3560.05 c #Conflicts: 1684000 | #Constraints: 41638
3550.92/3560.05 c #Conflicts: 1685000 | #Constraints: 42638
3550.92/3560.05 c #Conflicts: 1686000 | #Constraints: 43638
3550.92/3560.05 c #Conflicts: 1687000 | #Constraints: 44638
3550.92/3560.05 c #Conflicts: 1688000 | #Constraints: 45638
3550.92/3560.05 c #Conflicts: 1689000 | #Constraints: 46638
3550.92/3560.05 c #Conflicts: 1690000 | #Constraints: 47638
3550.92/3560.05 c #Conflicts: 1691000 | #Constraints: 48638
3550.92/3560.05 c #Conflicts: 1692000 | #Constraints: 49638
3550.92/3560.05 c #Conflicts: 1693000 | #Constraints: 50638
3550.92/3560.05 c #Conflicts: 1694000 | #Constraints: 51638
3550.92/3560.05 c INPROCESSING
3550.92/3560.05 c GARBAGE COLLECT
3550.92/3560.05 c #Conflicts: 1695000 | #Constraints: 26835
3550.92/3560.05 c #Conflicts: 1696000 | #Constraints: 27835
3550.92/3560.05 c #Conflicts: 1697000 | #Constraints: 28835
3550.92/3560.05 c #Conflicts: 1698000 | #Constraints: 29835
3550.92/3560.05 c #Conflicts: 1699000 | #Constraints: 30835
3550.92/3560.05 c #Conflicts: 1700000 | #Constraints: 31835
3550.92/3560.05 c #Conflicts: 1701000 | #Constraints: 32835
3550.92/3560.05 c #Conflicts: 1702000 | #Constraints: 33835
3550.92/3560.05 c #Conflicts: 1703000 | #Constraints: 34835
3550.92/3560.05 c #Conflicts: 1704000 | #Constraints: 35835
3550.92/3560.05 c #Conflicts: 1705000 | #Constraints: 36835
3550.92/3560.05 c #Conflicts: 1706000 | #Constraints: 37835
3550.92/3560.05 c #Conflicts: 1707000 | #Constraints: 38835
3550.92/3560.05 c #Conflicts: 1708000 | #Constraints: 39835
3550.92/3560.05 c #Conflicts: 1709000 | #Constraints: 40835
3550.92/3560.05 c #Conflicts: 1710000 | #Constraints: 41835
3550.92/3560.05 c #Conflicts: 1711000 | #Constraints: 42835
3550.92/3560.05 c #Conflicts: 1712000 | #Constraints: 43835
3550.92/3560.05 c #Conflicts: 1713000 | #Constraints: 44835
3550.92/3560.05 c #Conflicts: 1714000 | #Constraints: 45835
3550.92/3560.05 c #Conflicts: 1715000 | #Constraints: 46835
3550.92/3560.05 c #Conflicts: 1716000 | #Constraints: 47835
3550.92/3560.05 c #Conflicts: 1717000 | #Constraints: 48835
3550.92/3560.05 c #Conflicts: 1718000 | #Constraints: 49835
3550.92/3560.05 c #Conflicts: 1719000 | #Constraints: 50835
3550.92/3560.05 c #Conflicts: 1720000 | #Constraints: 51835
3550.92/3560.05 c INPROCESSING
3550.92/3560.05 c GARBAGE COLLECT
3550.92/3560.05 c #Conflicts: 1721000 | #Constraints: 26834
3550.92/3560.05 c #Conflicts: 1722000 | #Constraints: 27834
3550.92/3560.05 c #Conflicts: 1723000 | #Constraints: 28834
3550.92/3560.05 c #Conflicts: 1724000 | #Constraints: 29834
3550.92/3560.05 c #Conflicts: 1725000 | #Constraints: 30834
3550.92/3560.05 c #Conflicts: 1726000 | #Constraints: 31834
3550.92/3560.05 c #Conflicts: 1727000 | #Constraints: 32834
3550.92/3560.05 c #Conflicts: 1728000 | #Constraints: 33834
3550.92/3560.05 c #Conflicts: 1729000 | #Constraints: 34834
3550.92/3560.05 c #Conflicts: 1730000 | #Constraints: 35834
3550.92/3560.05 c #Conflicts: 1731000 | #Constraints: 36834
3550.92/3560.05 c #Conflicts: 1732000 | #Constraints: 37834
3550.92/3560.05 c #Conflicts: 1733000 | #Constraints: 38834
3550.92/3560.05 c #Conflicts: 1734000 | #Constraints: 39834
3550.92/3560.05 c #Conflicts: 1735000 | #Constraints: 40834
3550.92/3560.05 c #Conflicts: 1736000 | #Constraints: 41834
3550.92/3560.05 c #Conflicts: 1737000 | #Constraints: 42834
3550.92/3560.05 c #Conflicts: 1738000 | #Constraints: 43834
3550.92/3560.05 c #Conflicts: 1739000 | #Constraints: 44834
3550.92/3560.05 c #Conflicts: 1740000 | #Constraints: 45834
3550.92/3560.05 c #Conflicts: 1741000 | #Constraints: 46834
3550.92/3560.05 c #Conflicts: 1742000 | #Constraints: 47834
3550.92/3560.05 c #Conflicts: 1743000 | #Constraints: 48834
3550.92/3560.05 c #Conflicts: 1744000 | #Constraints: 49834
3550.92/3560.05 c #Conflicts: 1745000 | #Constraints: 50834
3550.92/3560.05 c #Conflicts: 1746000 | #Constraints: 51834
3600.08/3609.30 c INPROCESSING
3600.08/3609.30 c GARBAGE COLLECT
3600.08/3609.30 c #Conflicts: 1747000 | #Constraints: 26635
3600.08/3609.30 c #Conflicts: 1748000 | #Constraints: 27635
3600.08/3609.30 c #Conflicts: 1749000 | #Constraints: 28635
3600.08/3609.30 c #Conflicts: 1750000 | #Constraints: 29635
3600.08/3609.30 c #Conflicts: 1751000 | #Constraints: 30635
3600.08/3609.30 c #Conflicts: 1752000 | #Constraints: 31635
3600.08/3609.30 c #Conflicts: 1753000 | #Constraints: 32635
3600.08/3609.30 c #Conflicts: 1754000 | #Constraints: 33635
3600.08/3609.30 c #Conflicts: 1755000 | #Constraints: 34635
3600.08/3609.30 c #Conflicts: 1756000 | #Constraints: 35635
3600.08/3609.30 c #Conflicts: 1757000 | #Constraints: 36635
3600.08/3609.30 c #Conflicts: 1758000 | #Constraints: 37635
3600.08/3609.30 c #Conflicts: 1759000 | #Constraints: 38635
3600.08/3609.30 c #Conflicts: 1760000 | #Constraints: 39635
3600.08/3609.30 c #Conflicts: 1761000 | #Constraints: 40635
3600.08/3609.30 c #Conflicts: 1762000 | #Constraints: 41635
3600.08/3609.30 c #Conflicts: 1763000 | #Constraints: 42635
3600.08/3609.30 c Program interrupted by user.
3600.08/3609.30 c cpu time 3592.41 s
3600.08/3609.30 c deterministic time 599691411646 6.00e+11
3600.08/3609.30 c optimization time 47.1807 s
3600.08/3609.30 c total solve time 3545.22 s
3600.08/3609.30 c core-guided solve time 3545.22 s
3600.08/3609.30 c propagation time 3448.43 s
3600.08/3609.30 c conflict analysis time 128.619 s
3600.08/3609.30 c propagations 22537686
3600.08/3609.30 c resolve steps 8084221
3600.08/3609.30 c decisions 3999600
3600.08/3609.30 c conflicts 1763168
3600.08/3609.30 c restarts 3400
3600.08/3609.30 c inprocessing phases 123
3600.08/3609.30 c input clauses 0
3600.08/3609.30 c input cardinalities 0
3600.08/3609.30 c input general constraints 20
3600.08/3609.30 c input average constraint length 94.00
3600.08/3609.30 c input average constraint degree 2330.95
3600.08/3609.30 c learned clauses 768356
3600.08/3609.30 c learned cardinalities 0
3600.08/3609.30 c learned general constraints 994811
3600.08/3609.30 c learned average constraint length 96.42
3600.08/3609.30 c learned average constraint degree 6596102.94
3600.08/3609.30 c watched constraints 994461
3600.08/3609.30 c counting constraints 370
3600.08/3609.30 c gcd simplifications 675659
3600.08/3609.30 c detected cardinalities 0
3600.08/3609.30 c weakened non-implied lits 27985216
3600.08/3609.30 c weakened non-implying lits 2390040
3600.08/3609.30 c original variables 198
3600.08/3609.30 c clausal propagations 421536
3600.08/3609.30 c cardinality propagations 0
3600.08/3609.30 c watched propagations 16890247
3600.08/3609.30 c counting propagations 4028501
3600.08/3609.30 c watch lookups 24495000461
3600.08/3609.30 c watch backjump lookups 8454329897
3600.08/3609.30 c watch checks 506380549894
3600.08/3609.30 c propagation checks 59363235088
3600.08/3609.30 c constraint additions 943458731
3600.08/3609.30 c trail pops 28300288
3600.08/3609.30 c formula constraints 16
3600.08/3609.30 c learned constraints 1763167
3600.08/3609.30 c bound constraints 4
3600.08/3609.30 c core-guided constraints 0
3600.08/3609.30 c encountered formula constraints 2348202
3600.08/3609.30 c encountered learned constraints 7499187
3600.08/3609.30 c encountered bound constraints 0
3600.08/3609.30 c encountered core-guided constraints 0
3600.08/3609.30 c LP total time 0 s
3600.08/3609.30 c LP solve time 0 s
3600.08/3609.30 c LP constraints added 0
3600.08/3609.30 c LP constraints removed 0
3600.08/3609.30 c LP pivots internal 0
3600.08/3609.30 c LP pivots root 0
3600.08/3609.30 c LP calls 0
3600.08/3609.30 c LP optimalities 0
3600.08/3609.30 c LP no pivot count 0
3600.08/3609.30 c LP infeasibilities 0
3600.08/3609.30 c LP valid Farkas constraints 0
3600.08/3609.30 c LP learned Farkas constraints 0
3600.08/3609.30 c LP basis resets 0
3600.08/3609.30 c LP cycling count 0
3600.08/3609.30 c LP singular count 0
3600.08/3609.30 c LP no primal count 0
3600.08/3609.30 c LP no farkas count 0
3600.08/3609.30 c LP other issue count 0
3600.08/3609.30 c LP Gomory cuts 0
3600.08/3609.30 c LP learned cuts 0
3600.08/3609.30 c LP deleted cuts 0
3600.08/3609.30 c LP encountered Gomory constraints 0
3600.08/3609.30 c LP encountered Farkas constraints 0
3600.08/3609.30 c LP encountered learned Farkas constraints 0
3600.08/3609.30 c CG auxiliary variables introduced 0
3600.08/3609.30 c CG solutions found 4
3600.08/3609.30 c CG cores constructed 0
3600.08/3609.30 c CG core cardinality constraints returned 0
3600.08/3609.30 c CG unit cores 0
3600.08/3609.30 c CG single cores 0
3600.08/3609.30 c CG blocks removed during cardinality reduction 0
3600.08/3609.30 c CG first core best 0
3600.08/3609.30 c CG decision core best 0
3600.08/3609.30 c CG core reduction tie 0
3600.08/3609.30 c CG core degree average 0.00
3600.08/3609.30 c CG core slack average 0.00
3600.08/3609.30 c CG exhausted 0
3600.08/3609.30 c CG exhaust time 0 s
3600.08/3609.30 c CG trimmed 0
3600.08/3609.30 c CG trim time 0 s
3600.08/3609.30 c CG minimized 0
3600.08/3609.30 c CG minimize time 0 s
3600.08/3609.30 c CG am1 prop time 0.000388 s
3600.08/3609.30 c CG # am1s reformulated 0
3600.08/3609.30 c CG lower bound derived from am1s 0
3600.08/3609.30 c CG # clausal cores 0
3600.08/3609.30 c CG # cardinality cores 0
3600.08/3609.30 c CG # pb cores 0
3600.08/3609.30 c CG # pb reforms 0
3600.08/3609.30 c CG # cores discarded because of pb reform 0
3600.08/3609.30 d LOWERBOUND 0
3600.08/3609.30 d NCORES 0
3600.08/3609.30 d NPBCORES 0
3600.08/3609.30 d NPBREFORM 0
3600.08/3609.30 d NTRIMMED 0
3600.08/3609.30 d NEXHAUSTED 0
3600.08/3609.30 d NAM1S 0
3600.08/3609.30 d AM1LB 0
3600.08/3609.30 o 44
3600.08/3609.30 s SATISFIABLE
3600.08/3609.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 x132 -x133 x134 -x135 x136 -x137 x138 -x139 -x140 x141 x142 -x143 x144 -x145 x146 x147 x148 x149 x150 -x151 x152 x153 x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 x168 x169 -x170 x171 x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198
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: 63837 MiB (62981 MiB free)
memory of node 1: 64465 MiB (63650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490560-1751367511/watcher-4490560-1751367511 -o /tmp/evaluation-result-4490560-1751367511/solver-4490560-1751367511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61296 --watchdog 3760 pb-oll-rs HOME/instance-4490560-1751367511.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62377, runsolver pid=62374
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.31 4.28 4.17 5/247 62384
/proc/meminfo: memFree=129679984/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=20084 memory=6016 CPUtime=0.08 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 379 0 0 0 7 1 0 0 20 0 1 0 52430253 20566016 1504 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5021 1504 1312 243 0 1270 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20084 KiB
Current children cumulated memory: 6016 KiB
[startup+0.204991 s]*
/proc/loadavg: 4.31 4.28 4.17 4/246 62391
/proc/meminfo: memFree=129679984/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=20216 memory=6400 CPUtime=0.18 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 471 0 0 0 17 1 0 0 20 0 1 0 52430253 20701184 1600 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5054 1600 1312 243 0 1303 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 6400 KiB
[startup+0.304477 s]*
/proc/loadavg: 4.31 4.28 4.17 4/246 62395
/proc/meminfo: memFree=129680160/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=20348 memory=6656 CPUtime=0.28 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 554 0 0 0 27 1 0 0 20 0 1 0 52430253 20836352 1664 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5087 1664 1312 243 0 1336 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 20348 KiB
Current children cumulated memory: 6656 KiB
[startup+0.700257 s]
/proc/loadavg: 4.31 4.28 4.17 6/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=20612 memory=9388 CPUtime=0.67 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 732 0 0 0 64 3 0 0 20 0 1 0 52430253 21106688 2347 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5153 2347 1312 243 0 1402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 20612 KiB
Current children cumulated memory: 9388 KiB
[startup+1.50024 s]
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=21148 memory=9900 CPUtime=1.47 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 856 0 0 0 142 5 0 0 20 0 1 0 52430253 21655552 2475 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5287 2475 1312 243 0 1536 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 21148 KiB
Current children cumulated memory: 9900 KiB
[startup+3.11209 s]
/proc/loadavg: 4.28 4.28 4.16 5/250 62406
/proc/meminfo: memFree=129676540/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=22228 memory=11052 CPUtime=3.08 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 1126 0 0 0 301 7 0 0 20 0 1 0 52430253 22761472 2763 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 5557 2763 1312 243 0 1806 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22228 KiB
Current children cumulated memory: 11052 KiB
[startup+6.30022 s]
/proc/loadavg: 4.28 4.28 4.16 5/250 62406
/proc/meminfo: memFree=129676808/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=25880 memory=13100 CPUtime=6.26 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 1664 0 0 0 615 11 0 0 20 0 1 0 52430253 26501120 3275 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 6470 3275 1312 243 0 2719 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 25880 KiB
Current children cumulated memory: 13100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.27 4.16 5/250 62406
/proc/meminfo: memFree=129673400/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=26504 memory=14764 CPUtime=12.64 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 2062 0 0 0 1247 17 0 0 20 0 1 0 52430253 27140096 3691 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 6626 3691 1312 243 0 2875 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 26504 KiB
Current children cumulated memory: 14764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.26 4.16 5/250 62406
/proc/meminfo: memFree=129669336/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=28744 memory=17708 CPUtime=25.4 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 2805 0 0 0 2515 25 0 0 20 0 1 0 52430253 29433856 4427 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 7186 4427 1312 243 0 3435 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 17708 KiB
[startup+51.1125 s]
/proc/loadavg: 4.19 4.25 4.16 5/250 62406
/proc/meminfo: memFree=129667740/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=34220 memory=21724 CPUtime=50.94 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 3338 0 0 0 5054 40 0 0 20 0 1 0 52430253 35041280 5431 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 8555 5431 1312 243 0 4804 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 34220 KiB
Current children cumulated memory: 21724 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/249 62453
/proc/meminfo: memFree=129662952/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=36332 memory=25180 CPUtime=102 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 4149 0 0 0 10134 66 0 0 20 0 1 0 52430253 37203968 6295 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 9083 6295 1312 243 0 5332 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 25180 KiB
[startup+162.3 s]
/proc/loadavg: 4.75 4.40 4.22 5/249 62466
/proc/meminfo: memFree=129660044/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=46012 memory=29776 CPUtime=161.86 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 4823 0 0 0 16096 90 0 0 20 0 1 0 52430253 47116288 7444 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 11503 7444 1312 243 0 7752 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 29776 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 4.35 4.22 5/250 62471
/proc/meminfo: memFree=129637992/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=47168 memory=33668 CPUtime=221.7 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 5154 0 0 0 22061 109 0 0 20 0 1 0 52430253 48300032 8417 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 11792 8417 1312 243 0 8041 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 47168 KiB
Current children cumulated memory: 33668 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.30 4.21 5/250 62473
/proc/meminfo: memFree=129626768/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=47700 memory=36400 CPUtime=281.54 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 5397 0 0 0 28026 128 0 0 20 0 1 0 52430253 48844800 9100 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 11925 9100 1312 243 0 8174 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 47700 KiB
Current children cumulated memory: 36400 KiB
[startup+342.3 s]
/proc/loadavg: 4.75 4.43 4.26 5/250 62475
/proc/meminfo: memFree=129630224/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=48604 memory=37168 CPUtime=341.37 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 5705 0 0 0 33991 146 0 0 20 0 1 0 52430253 49770496 9292 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 12151 9292 1312 243 0 8400 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 48604 KiB
Current children cumulated memory: 37168 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.41 4.26 5/250 62481
/proc/meminfo: memFree=129616236/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=48608 memory=37296 CPUtime=401.2 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 5807 0 0 0 39957 163 0 0 20 0 1 0 52430253 49774592 9324 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 12152 9324 1312 243 0 8401 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 48608 KiB
Current children cumulated memory: 37296 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.33 4.25 5/250 62483
/proc/meminfo: memFree=129615440/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=48612 memory=37296 CPUtime=461.06 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 5895 0 0 0 45923 183 0 0 20 0 1 0 52430253 49778688 9324 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 12153 9324 1312 243 0 8402 0
Current children cumulated CPU time: 461.06 s
################
# More data... #
################
Current children cumulated memory: 60588 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 62598
/proc/meminfo: memFree=129610284/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=71844 memory=60588 CPUtime=2914.9 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 11603 0 0 0 290825 665 0 0 20 0 1 0 52430253 73568256 15147 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 17961 15147 1312 243 0 14210 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 60588 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 62600
/proc/meminfo: memFree=129610300/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=71844 memory=60592 CPUtime=2974.72 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 11742 0 0 0 296799 673 0 0 20 0 1 0 52430253 73568256 15148 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 17961 15148 1312 243 0 14210 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 60592 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 62602
/proc/meminfo: memFree=129608428/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=71844 memory=60956 CPUtime=3034.54 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 11973 0 0 0 302772 682 0 0 20 0 1 0 52430253 73568256 15239 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 17961 15239 1312 243 0 14210 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 60956 KiB
[startup+3102.3 s]
/proc/loadavg: 4.53 4.21 4.13 5/249 62604
/proc/meminfo: memFree=129608632/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=71844 memory=60956 CPUtime=3094.36 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 11973 0 0 0 308747 689 0 0 20 0 1 0 52430253 73568256 15239 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 17961 15239 1312 243 0 14210 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 60956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.57 4.29 4.16 5/249 62606
/proc/meminfo: memFree=129607408/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=71972 memory=60992 CPUtime=3154.18 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 12144 0 0 0 314721 697 0 0 20 0 1 0 52430253 73699328 15248 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 17993 15248 1312 243 0 14242 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 71972 KiB
Current children cumulated memory: 60992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.25 4.15 5/249 62610
/proc/meminfo: memFree=129601848/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92220 memory=63892 CPUtime=3214.02 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 12596 0 0 0 320699 703 0 0 20 0 1 0 52430253 94433280 15973 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23055 15973 1312 243 0 19304 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 92220 KiB
Current children cumulated memory: 63892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.15 5/248 62612
/proc/meminfo: memFree=129602368/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64040 CPUtime=3273.87 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 12773 0 0 0 326673 714 0 0 20 0 1 0 52430253 94695424 16010 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16010 1312 243 0 19368 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/248 62614
/proc/meminfo: memFree=129604000/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64044 CPUtime=3333.73 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 12929 0 0 0 332650 723 0 0 20 0 1 0 52430253 94695424 16011 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16011 1312 243 0 19368 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/249 62621
/proc/meminfo: memFree=129601672/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64044 CPUtime=3393.59 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 12929 0 0 0 338625 734 0 0 20 0 1 0 52430253 94695424 16011 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16011 1312 243 0 19368 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/249 62623
/proc/meminfo: memFree=129601588/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64044 CPUtime=3453.44 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 13070 0 0 0 344600 744 0 0 20 0 1 0 52430253 94695424 16011 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16011 1312 243 0 19368 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/249 62625
/proc/meminfo: memFree=129600852/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64044 CPUtime=3513.29 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 13211 0 0 0 350575 754 0 0 20 0 1 0 52430253 94695424 16011 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16011 1312 243 0 19368 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/249 62627
/proc/meminfo: memFree=129599860/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64048 CPUtime=3573.15 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 13354 0 0 0 356550 765 0 0 20 0 1 0 52430253 94695424 16012 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16012 1312 243 0 19368 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/247 62631
/proc/meminfo: memFree=129619860/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64048 CPUtime=3600.08 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 13354 0 0 0 359240 768 0 0 20 0 1 0 52430253 94695424 16012 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16012 1312 243 0 19368 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 62377 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.41 s, system=7.69018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/247 62631
/proc/meminfo: memFree=129619860/131382112 swapFree=33010684/33010684
[pid=62377] ppid=62374 vsize=92476 memory=64048 CPUtime=3600.08 cores=4,6
/proc/62377/stat : 62377 (pb-oll-rs) R 62374 62377 61285 0 -1 4194304 13354 0 0 0 359240 768 0 0 20 0 1 0 52430253 94695424 16012 18446744073709551615 4218880 5211445 140722397261664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 34226176 140722397264284 140722397264361 140722397264361 140722397269963 0
/proc/62377/statm: 23119 16012 1312 243 0 19368 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 92476 KiB
Current children cumulated memory: 64048 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.1
CPU user time (s): 3592.41
CPU system time (s): 7.69018
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 92680
Max. memory (cumulated for all children) (KiB): 64048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.41
system time used= 7.69018
maximum resident set size= 64556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13370
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= 121
involuntary context switches= 2538
# summary of solver processes directly reported to runsolver:
# pid: 62377
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.41
# total CPU system time (s): 7.69018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7313 second user time and 34.0722 second system time
The end
Begin job on nodeC007 at 2025-07-01 12:58:31
IDJOB=4490560
IDBENCH=147593
IDSOLVER=3345
FILE ID=nodeC007/4490560-1751367511
RUNJOBID= nodeC007-1751360282-61296
SLURM_JOB_ID= 9598160
Free space on /tmp= 432996 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490560-1751367511/watcher-4490560-1751367511 -o /tmp/evaluation-result-4490560-1751367511/solver-4490560-1751367511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61296 --watchdog 3760 pb-oll-rs HOME/instance-4490560-1751367511.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=959876198
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2993.013
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3662.237
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.471
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.573
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3492.424
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3493.258
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.204
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129672272 kB
MemAvailable: 129894056 kB
Buffers: 3280 kB
Cached: 1028284 kB
SwapCached: 0 kB
Active: 357932 kB
Inactive: 781648 kB
Active(anon): 125980 kB
Inactive(anon): 0 kB
Active(file): 231952 kB
Inactive(file): 781648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3596 kB
Writeback: 28 kB
AnonPages: 110412 kB
Mapped: 105532 kB
Shmem: 17960 kB
KReclaimable: 95620 kB
Slab: 179124 kB
SReclaimable: 95620 kB
SUnreclaim: 83504 kB
KernelStack: 4032 kB
PageTables: 3280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 431900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC007 at 2025-07-01 13:58:41