0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.75/300.88 c [STEP] preprocessing done, loading into solver
299.75/300.88 c [STEP] solving
299.75/300.88 c #variables 199 #constraints 16
299.75/300.88 c SMALL=int, LARGE=long long
299.75/300.88 d SCIPUB 52
299.75/300.88 c bounds - >= 0 @ 299.536
299.75/300.88 c stratification level: 32
300.45/301.57 c #Conflicts: 1000 | #Constraints: 1016
300.45/301.57 c #Conflicts: 2000 | #Constraints: 2016
300.45/301.57 c INPROCESSING
300.45/301.57 c GARBAGE COLLECT
300.45/301.57 c #Conflicts: 3000 | #Constraints: 2023
300.45/301.57 c #Conflicts: 4000 | #Constraints: 3023
300.45/301.57 c INPROCESSING
300.45/301.57 c GARBAGE COLLECT
300.45/301.57 c #Conflicts: 5000 | #Constraints: 2428
300.45/301.57 c #Conflicts: 6000 | #Constraints: 3428
300.45/301.57 c INPROCESSING
300.45/301.57 c GARBAGE COLLECT
300.45/301.57 c #Conflicts: 7000 | #Constraints: 2426
300.45/301.57 c bounds 50 >= 0 @ 300.206
300.45/301.57 c stratification level: 16
319.80/320.91 c #Conflicts: 8000 | #Constraints: 3427
319.80/320.91 c #Conflicts: 9000 | #Constraints: 4427
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 10000 | #Constraints: 3126
319.80/320.91 c #Conflicts: 11000 | #Constraints: 4126
319.80/320.91 c #Conflicts: 12000 | #Constraints: 5126
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 13000 | #Constraints: 3580
319.80/320.91 c #Conflicts: 14000 | #Constraints: 4580
319.80/320.91 c #Conflicts: 15000 | #Constraints: 5580
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 16000 | #Constraints: 3807
319.80/320.91 c #Conflicts: 17000 | #Constraints: 4807
319.80/320.91 c #Conflicts: 18000 | #Constraints: 5807
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 19000 | #Constraints: 3820
319.80/320.91 c #Conflicts: 20000 | #Constraints: 4820
319.80/320.91 c #Conflicts: 21000 | #Constraints: 5820
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 22000 | #Constraints: 3625
319.80/320.91 c #Conflicts: 23000 | #Constraints: 4625
319.80/320.91 c #Conflicts: 24000 | #Constraints: 5625
319.80/320.91 c #Conflicts: 25000 | #Constraints: 6625
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 26000 | #Constraints: 4227
319.80/320.91 c #Conflicts: 27000 | #Constraints: 5227
319.80/320.91 c #Conflicts: 28000 | #Constraints: 6227
319.80/320.91 c #Conflicts: 29000 | #Constraints: 7227
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 30000 | #Constraints: 4629
319.80/320.91 c #Conflicts: 31000 | #Constraints: 5629
319.80/320.91 c #Conflicts: 32000 | #Constraints: 6629
319.80/320.91 c #Conflicts: 33000 | #Constraints: 7629
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 34000 | #Constraints: 4830
319.80/320.91 c #Conflicts: 35000 | #Constraints: 5830
319.80/320.91 c #Conflicts: 36000 | #Constraints: 6830
319.80/320.91 c #Conflicts: 37000 | #Constraints: 7830
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 38000 | #Constraints: 4833
319.80/320.91 c #Conflicts: 39000 | #Constraints: 5833
319.80/320.91 c #Conflicts: 40000 | #Constraints: 6833
319.80/320.91 c #Conflicts: 41000 | #Constraints: 7833
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 42000 | #Constraints: 4637
319.80/320.91 c #Conflicts: 43000 | #Constraints: 5637
319.80/320.91 c #Conflicts: 44000 | #Constraints: 6637
319.80/320.91 c #Conflicts: 45000 | #Constraints: 7637
319.80/320.91 c #Conflicts: 46000 | #Constraints: 8637
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 47000 | #Constraints: 5237
319.80/320.91 c #Conflicts: 48000 | #Constraints: 6237
319.80/320.91 c #Conflicts: 49000 | #Constraints: 7237
319.80/320.91 c #Conflicts: 50000 | #Constraints: 8237
319.80/320.91 c #Conflicts: 51000 | #Constraints: 9237
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 52000 | #Constraints: 5635
319.80/320.91 c #Conflicts: 53000 | #Constraints: 6635
319.80/320.91 c #Conflicts: 54000 | #Constraints: 7635
319.80/320.91 c #Conflicts: 55000 | #Constraints: 8635
319.80/320.91 c #Conflicts: 56000 | #Constraints: 9635
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 57000 | #Constraints: 5833
319.80/320.91 c #Conflicts: 58000 | #Constraints: 6833
319.80/320.91 c #Conflicts: 59000 | #Constraints: 7833
319.80/320.91 c #Conflicts: 60000 | #Constraints: 8833
319.80/320.91 c #Conflicts: 61000 | #Constraints: 9833
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 62000 | #Constraints: 5834
319.80/320.91 c #Conflicts: 63000 | #Constraints: 6834
319.80/320.91 c #Conflicts: 64000 | #Constraints: 7834
319.80/320.91 c #Conflicts: 65000 | #Constraints: 8834
319.80/320.91 c #Conflicts: 66000 | #Constraints: 9834
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 67000 | #Constraints: 5635
319.80/320.91 c #Conflicts: 68000 | #Constraints: 6635
319.80/320.91 c #Conflicts: 69000 | #Constraints: 7635
319.80/320.91 c #Conflicts: 70000 | #Constraints: 8635
319.80/320.91 c #Conflicts: 71000 | #Constraints: 9635
319.80/320.91 c #Conflicts: 72000 | #Constraints: 10635
319.80/320.91 c INPROCESSING
319.80/320.91 c GARBAGE COLLECT
319.80/320.91 c #Conflicts: 73000 | #Constraints: 6235
319.80/320.91 c #Conflicts: 74000 | #Constraints: 7235
319.80/320.91 c #Conflicts: 75000 | #Constraints: 8235
319.80/320.91 c #Conflicts: 76000 | #Constraints: 9235
322.59/323.75 c #Conflicts: 77000 | #Constraints: 10235
322.59/323.75 c #Conflicts: 78000 | #Constraints: 11235
322.59/323.75 c INPROCESSING
322.59/323.75 c GARBAGE COLLECT
322.59/323.75 c #Conflicts: 79000 | #Constraints: 6636
322.59/323.75 c #Conflicts: 80000 | #Constraints: 7636
322.59/323.75 c #Conflicts: 81000 | #Constraints: 8636
322.59/323.75 c #Conflicts: 82000 | #Constraints: 9636
322.59/323.75 c bounds 45 >= 0 @ 322.046
322.59/323.75 c stratification level: 8
360.28/361.52 c #Conflicts: 83000 | #Constraints: 10637
360.28/361.52 c #Conflicts: 84000 | #Constraints: 11637
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 85000 | #Constraints: 6834
360.28/361.52 c #Conflicts: 86000 | #Constraints: 7834
360.28/361.52 c #Conflicts: 87000 | #Constraints: 8834
360.28/361.52 c #Conflicts: 88000 | #Constraints: 9834
360.28/361.52 c #Conflicts: 89000 | #Constraints: 10834
360.28/361.52 c #Conflicts: 90000 | #Constraints: 11834
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 91000 | #Constraints: 6835
360.28/361.52 c #Conflicts: 92000 | #Constraints: 7835
360.28/361.52 c #Conflicts: 93000 | #Constraints: 8835
360.28/361.52 c #Conflicts: 94000 | #Constraints: 9835
360.28/361.52 c #Conflicts: 95000 | #Constraints: 10835
360.28/361.52 c #Conflicts: 96000 | #Constraints: 11835
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 97000 | #Constraints: 6637
360.28/361.52 c #Conflicts: 98000 | #Constraints: 7637
360.28/361.52 c #Conflicts: 99000 | #Constraints: 8637
360.28/361.52 c #Conflicts: 100000 | #Constraints: 9637
360.28/361.52 c #Conflicts: 101000 | #Constraints: 10637
360.28/361.52 c #Conflicts: 102000 | #Constraints: 11637
360.28/361.52 c #Conflicts: 103000 | #Constraints: 12637
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 104000 | #Constraints: 7234
360.28/361.52 c #Conflicts: 105000 | #Constraints: 8234
360.28/361.52 c #Conflicts: 106000 | #Constraints: 9234
360.28/361.52 c #Conflicts: 107000 | #Constraints: 10234
360.28/361.52 c #Conflicts: 108000 | #Constraints: 11234
360.28/361.52 c #Conflicts: 109000 | #Constraints: 12234
360.28/361.52 c #Conflicts: 110000 | #Constraints: 13234
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 111000 | #Constraints: 7632
360.28/361.52 c #Conflicts: 112000 | #Constraints: 8632
360.28/361.52 c #Conflicts: 113000 | #Constraints: 9632
360.28/361.52 c #Conflicts: 114000 | #Constraints: 10632
360.28/361.52 c #Conflicts: 115000 | #Constraints: 11632
360.28/361.52 c #Conflicts: 116000 | #Constraints: 12632
360.28/361.52 c #Conflicts: 117000 | #Constraints: 13632
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 118000 | #Constraints: 7836
360.28/361.52 c #Conflicts: 119000 | #Constraints: 8836
360.28/361.52 c #Conflicts: 120000 | #Constraints: 9836
360.28/361.52 c #Conflicts: 121000 | #Constraints: 10836
360.28/361.52 c #Conflicts: 122000 | #Constraints: 11836
360.28/361.52 c #Conflicts: 123000 | #Constraints: 12836
360.28/361.52 c #Conflicts: 124000 | #Constraints: 13836
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 125000 | #Constraints: 7835
360.28/361.52 c #Conflicts: 126000 | #Constraints: 8835
360.28/361.52 c #Conflicts: 127000 | #Constraints: 9835
360.28/361.52 c #Conflicts: 128000 | #Constraints: 10835
360.28/361.52 c #Conflicts: 129000 | #Constraints: 11835
360.28/361.52 c #Conflicts: 130000 | #Constraints: 12835
360.28/361.52 c #Conflicts: 131000 | #Constraints: 13835
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 132000 | #Constraints: 7636
360.28/361.52 c #Conflicts: 133000 | #Constraints: 8636
360.28/361.52 c #Conflicts: 134000 | #Constraints: 9636
360.28/361.52 c #Conflicts: 135000 | #Constraints: 10636
360.28/361.52 c #Conflicts: 136000 | #Constraints: 11636
360.28/361.52 c #Conflicts: 137000 | #Constraints: 12636
360.28/361.52 c #Conflicts: 138000 | #Constraints: 13636
360.28/361.52 c #Conflicts: 139000 | #Constraints: 14636
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 140000 | #Constraints: 8237
360.28/361.52 c #Conflicts: 141000 | #Constraints: 9237
360.28/361.52 c #Conflicts: 142000 | #Constraints: 10237
360.28/361.52 c #Conflicts: 143000 | #Constraints: 11237
360.28/361.52 c #Conflicts: 144000 | #Constraints: 12237
360.28/361.52 c #Conflicts: 145000 | #Constraints: 13237
360.28/361.52 c #Conflicts: 146000 | #Constraints: 14237
360.28/361.52 c #Conflicts: 147000 | #Constraints: 15237
360.28/361.52 c INPROCESSING
360.28/361.52 c GARBAGE COLLECT
360.28/361.52 c #Conflicts: 148000 | #Constraints: 8638
360.28/361.52 c #Conflicts: 149000 | #Constraints: 9638
360.28/361.52 c #Conflicts: 150000 | #Constraints: 10638
360.28/361.52 c #Conflicts: 151000 | #Constraints: 11638
360.28/361.52 c #Conflicts: 152000 | #Constraints: 12638
360.28/361.52 c #Conflicts: 153000 | #Constraints: 13638
360.28/361.52 c #Conflicts: 154000 | #Constraints: 14638
360.28/361.52 c #Conflicts: 155000 | #Constraints: 15638
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 156000 | #Constraints: 8836
412.93/414.31 c #Conflicts: 157000 | #Constraints: 9836
412.93/414.31 c #Conflicts: 158000 | #Constraints: 10836
412.93/414.31 c #Conflicts: 159000 | #Constraints: 11836
412.93/414.31 c #Conflicts: 160000 | #Constraints: 12836
412.93/414.31 c #Conflicts: 161000 | #Constraints: 13836
412.93/414.31 c #Conflicts: 162000 | #Constraints: 14836
412.93/414.31 c #Conflicts: 163000 | #Constraints: 15836
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 164000 | #Constraints: 8838
412.93/414.31 c #Conflicts: 165000 | #Constraints: 9838
412.93/414.31 c #Conflicts: 166000 | #Constraints: 10838
412.93/414.31 c #Conflicts: 167000 | #Constraints: 11838
412.93/414.31 c #Conflicts: 168000 | #Constraints: 12838
412.93/414.31 c #Conflicts: 169000 | #Constraints: 13838
412.93/414.31 c #Conflicts: 170000 | #Constraints: 14838
412.93/414.31 c #Conflicts: 171000 | #Constraints: 15838
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 172000 | #Constraints: 8636
412.93/414.31 c #Conflicts: 173000 | #Constraints: 9636
412.93/414.31 c #Conflicts: 174000 | #Constraints: 10636
412.93/414.31 c #Conflicts: 175000 | #Constraints: 11636
412.93/414.31 c #Conflicts: 176000 | #Constraints: 12636
412.93/414.31 c #Conflicts: 177000 | #Constraints: 13636
412.93/414.31 c #Conflicts: 178000 | #Constraints: 14636
412.93/414.31 c #Conflicts: 179000 | #Constraints: 15636
412.93/414.31 c #Conflicts: 180000 | #Constraints: 16636
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 181000 | #Constraints: 9236
412.93/414.31 c #Conflicts: 182000 | #Constraints: 10236
412.93/414.31 c #Conflicts: 183000 | #Constraints: 11236
412.93/414.31 c #Conflicts: 184000 | #Constraints: 12236
412.93/414.31 c #Conflicts: 185000 | #Constraints: 13236
412.93/414.31 c #Conflicts: 186000 | #Constraints: 14236
412.93/414.31 c #Conflicts: 187000 | #Constraints: 15236
412.93/414.31 c #Conflicts: 188000 | #Constraints: 16236
412.93/414.31 c #Conflicts: 189000 | #Constraints: 17236
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 190000 | #Constraints: 9637
412.93/414.31 c #Conflicts: 191000 | #Constraints: 10637
412.93/414.31 c #Conflicts: 192000 | #Constraints: 11637
412.93/414.31 c #Conflicts: 193000 | #Constraints: 12637
412.93/414.31 c #Conflicts: 194000 | #Constraints: 13637
412.93/414.31 c #Conflicts: 195000 | #Constraints: 14637
412.93/414.31 c #Conflicts: 196000 | #Constraints: 15637
412.93/414.31 c #Conflicts: 197000 | #Constraints: 16637
412.93/414.31 c #Conflicts: 198000 | #Constraints: 17637
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 199000 | #Constraints: 9838
412.93/414.31 c #Conflicts: 200000 | #Constraints: 10838
412.93/414.31 c #Conflicts: 201000 | #Constraints: 11838
412.93/414.31 c #Conflicts: 202000 | #Constraints: 12838
412.93/414.31 c #Conflicts: 203000 | #Constraints: 13838
412.93/414.31 c #Conflicts: 204000 | #Constraints: 14838
412.93/414.31 c #Conflicts: 205000 | #Constraints: 15838
412.93/414.31 c #Conflicts: 206000 | #Constraints: 16838
412.93/414.31 c #Conflicts: 207000 | #Constraints: 17838
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 208000 | #Constraints: 9837
412.93/414.31 c #Conflicts: 209000 | #Constraints: 10837
412.93/414.31 c #Conflicts: 210000 | #Constraints: 11837
412.93/414.31 c #Conflicts: 211000 | #Constraints: 12837
412.93/414.31 c #Conflicts: 212000 | #Constraints: 13837
412.93/414.31 c #Conflicts: 213000 | #Constraints: 14837
412.93/414.31 c #Conflicts: 214000 | #Constraints: 15837
412.93/414.31 c #Conflicts: 215000 | #Constraints: 16837
412.93/414.31 c #Conflicts: 216000 | #Constraints: 17837
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 217000 | #Constraints: 9641
412.93/414.31 c #Conflicts: 218000 | #Constraints: 10641
412.93/414.31 c #Conflicts: 219000 | #Constraints: 11641
412.93/414.31 c #Conflicts: 220000 | #Constraints: 12641
412.93/414.31 c #Conflicts: 221000 | #Constraints: 13641
412.93/414.31 c #Conflicts: 222000 | #Constraints: 14641
412.93/414.31 c #Conflicts: 223000 | #Constraints: 15641
412.93/414.31 c #Conflicts: 224000 | #Constraints: 16641
412.93/414.31 c #Conflicts: 225000 | #Constraints: 17641
412.93/414.31 c #Conflicts: 226000 | #Constraints: 18641
412.93/414.31 c INPROCESSING
412.93/414.31 c GARBAGE COLLECT
412.93/414.31 c #Conflicts: 227000 | #Constraints: 10243
412.93/414.31 c #Conflicts: 228000 | #Constraints: 11243
467.78/469.33 c #Conflicts: 229000 | #Constraints: 12243
467.78/469.33 c #Conflicts: 230000 | #Constraints: 13243
467.78/469.33 c #Conflicts: 231000 | #Constraints: 14243
467.78/469.33 c #Conflicts: 232000 | #Constraints: 15243
467.78/469.33 c #Conflicts: 233000 | #Constraints: 16243
467.78/469.33 c #Conflicts: 234000 | #Constraints: 17243
467.78/469.33 c #Conflicts: 235000 | #Constraints: 18243
467.78/469.33 c #Conflicts: 236000 | #Constraints: 19243
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 237000 | #Constraints: 10639
467.78/469.33 c #Conflicts: 238000 | #Constraints: 11639
467.78/469.33 c #Conflicts: 239000 | #Constraints: 12639
467.78/469.33 c #Conflicts: 240000 | #Constraints: 13639
467.78/469.33 c #Conflicts: 241000 | #Constraints: 14639
467.78/469.33 c #Conflicts: 242000 | #Constraints: 15639
467.78/469.33 c #Conflicts: 243000 | #Constraints: 16639
467.78/469.33 c #Conflicts: 244000 | #Constraints: 17639
467.78/469.33 c #Conflicts: 245000 | #Constraints: 18639
467.78/469.33 c #Conflicts: 246000 | #Constraints: 19639
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 247000 | #Constraints: 10835
467.78/469.33 c #Conflicts: 248000 | #Constraints: 11835
467.78/469.33 c #Conflicts: 249000 | #Constraints: 12835
467.78/469.33 c #Conflicts: 250000 | #Constraints: 13835
467.78/469.33 c #Conflicts: 251000 | #Constraints: 14835
467.78/469.33 c #Conflicts: 252000 | #Constraints: 15835
467.78/469.33 c #Conflicts: 253000 | #Constraints: 16835
467.78/469.33 c #Conflicts: 254000 | #Constraints: 17835
467.78/469.33 c #Conflicts: 255000 | #Constraints: 18835
467.78/469.33 c #Conflicts: 256000 | #Constraints: 19835
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 257000 | #Constraints: 10833
467.78/469.33 c #Conflicts: 258000 | #Constraints: 11833
467.78/469.33 c #Conflicts: 259000 | #Constraints: 12833
467.78/469.33 c #Conflicts: 260000 | #Constraints: 13833
467.78/469.33 c #Conflicts: 261000 | #Constraints: 14833
467.78/469.33 c #Conflicts: 262000 | #Constraints: 15833
467.78/469.33 c #Conflicts: 263000 | #Constraints: 16833
467.78/469.33 c #Conflicts: 264000 | #Constraints: 17833
467.78/469.33 c #Conflicts: 265000 | #Constraints: 18833
467.78/469.33 c #Conflicts: 266000 | #Constraints: 19833
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 267000 | #Constraints: 10633
467.78/469.33 c #Conflicts: 268000 | #Constraints: 11633
467.78/469.33 c #Conflicts: 269000 | #Constraints: 12633
467.78/469.33 c #Conflicts: 270000 | #Constraints: 13633
467.78/469.33 c #Conflicts: 271000 | #Constraints: 14633
467.78/469.33 c #Conflicts: 272000 | #Constraints: 15633
467.78/469.33 c #Conflicts: 273000 | #Constraints: 16633
467.78/469.33 c #Conflicts: 274000 | #Constraints: 17633
467.78/469.33 c #Conflicts: 275000 | #Constraints: 18633
467.78/469.33 c #Conflicts: 276000 | #Constraints: 19633
467.78/469.33 c #Conflicts: 277000 | #Constraints: 20633
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 278000 | #Constraints: 11234
467.78/469.33 c #Conflicts: 279000 | #Constraints: 12234
467.78/469.33 c #Conflicts: 280000 | #Constraints: 13234
467.78/469.33 c #Conflicts: 281000 | #Constraints: 14234
467.78/469.33 c #Conflicts: 282000 | #Constraints: 15234
467.78/469.33 c #Conflicts: 283000 | #Constraints: 16234
467.78/469.33 c #Conflicts: 284000 | #Constraints: 17234
467.78/469.33 c #Conflicts: 285000 | #Constraints: 18234
467.78/469.33 c #Conflicts: 286000 | #Constraints: 19234
467.78/469.33 c #Conflicts: 287000 | #Constraints: 20234
467.78/469.33 c #Conflicts: 288000 | #Constraints: 21234
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 289000 | #Constraints: 11632
467.78/469.33 c #Conflicts: 290000 | #Constraints: 12632
467.78/469.33 c #Conflicts: 291000 | #Constraints: 13632
467.78/469.33 c #Conflicts: 292000 | #Constraints: 14632
467.78/469.33 c #Conflicts: 293000 | #Constraints: 15632
467.78/469.33 c #Conflicts: 294000 | #Constraints: 16632
467.78/469.33 c #Conflicts: 295000 | #Constraints: 17632
467.78/469.33 c #Conflicts: 296000 | #Constraints: 18632
467.78/469.33 c #Conflicts: 297000 | #Constraints: 19632
467.78/469.33 c #Conflicts: 298000 | #Constraints: 20632
467.78/469.33 c #Conflicts: 299000 | #Constraints: 21632
467.78/469.33 c INPROCESSING
467.78/469.33 c GARBAGE COLLECT
467.78/469.33 c #Conflicts: 300000 | #Constraints: 11833
467.78/469.33 c #Conflicts: 301000 | #Constraints: 12833
467.78/469.33 c #Conflicts: 302000 | #Constraints: 13833
534.79/536.58 c #Conflicts: 303000 | #Constraints: 14833
534.79/536.58 c #Conflicts: 304000 | #Constraints: 15833
534.79/536.58 c #Conflicts: 305000 | #Constraints: 16833
534.79/536.58 c #Conflicts: 306000 | #Constraints: 17833
534.79/536.58 c #Conflicts: 307000 | #Constraints: 18833
534.79/536.58 c #Conflicts: 308000 | #Constraints: 19833
534.79/536.58 c #Conflicts: 309000 | #Constraints: 20833
534.79/536.58 c #Conflicts: 310000 | #Constraints: 21833
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 311000 | #Constraints: 11840
534.79/536.58 c #Conflicts: 312000 | #Constraints: 12840
534.79/536.58 c #Conflicts: 313000 | #Constraints: 13840
534.79/536.58 c #Conflicts: 314000 | #Constraints: 14840
534.79/536.58 c #Conflicts: 315000 | #Constraints: 15840
534.79/536.58 c #Conflicts: 316000 | #Constraints: 16840
534.79/536.58 c #Conflicts: 317000 | #Constraints: 17840
534.79/536.58 c #Conflicts: 318000 | #Constraints: 18840
534.79/536.58 c #Conflicts: 319000 | #Constraints: 19840
534.79/536.58 c #Conflicts: 320000 | #Constraints: 20840
534.79/536.58 c #Conflicts: 321000 | #Constraints: 21840
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 322000 | #Constraints: 11644
534.79/536.58 c #Conflicts: 323000 | #Constraints: 12644
534.79/536.58 c #Conflicts: 324000 | #Constraints: 13644
534.79/536.58 c #Conflicts: 325000 | #Constraints: 14644
534.79/536.58 c #Conflicts: 326000 | #Constraints: 15644
534.79/536.58 c #Conflicts: 327000 | #Constraints: 16644
534.79/536.58 c #Conflicts: 328000 | #Constraints: 17644
534.79/536.58 c #Conflicts: 329000 | #Constraints: 18644
534.79/536.58 c #Conflicts: 330000 | #Constraints: 19644
534.79/536.58 c #Conflicts: 331000 | #Constraints: 20644
534.79/536.58 c #Conflicts: 332000 | #Constraints: 21644
534.79/536.58 c #Conflicts: 333000 | #Constraints: 22644
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 334000 | #Constraints: 12240
534.79/536.58 c #Conflicts: 335000 | #Constraints: 13240
534.79/536.58 c #Conflicts: 336000 | #Constraints: 14240
534.79/536.58 c #Conflicts: 337000 | #Constraints: 15240
534.79/536.58 c #Conflicts: 338000 | #Constraints: 16240
534.79/536.58 c #Conflicts: 339000 | #Constraints: 17240
534.79/536.58 c #Conflicts: 340000 | #Constraints: 18240
534.79/536.58 c #Conflicts: 341000 | #Constraints: 19240
534.79/536.58 c #Conflicts: 342000 | #Constraints: 20240
534.79/536.58 c #Conflicts: 343000 | #Constraints: 21240
534.79/536.58 c #Conflicts: 344000 | #Constraints: 22240
534.79/536.58 c #Conflicts: 345000 | #Constraints: 23240
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 346000 | #Constraints: 12638
534.79/536.58 c #Conflicts: 347000 | #Constraints: 13638
534.79/536.58 c #Conflicts: 348000 | #Constraints: 14638
534.79/536.58 c #Conflicts: 349000 | #Constraints: 15638
534.79/536.58 c #Conflicts: 350000 | #Constraints: 16638
534.79/536.58 c #Conflicts: 351000 | #Constraints: 17638
534.79/536.58 c #Conflicts: 352000 | #Constraints: 18638
534.79/536.58 c #Conflicts: 353000 | #Constraints: 19638
534.79/536.58 c #Conflicts: 354000 | #Constraints: 20638
534.79/536.58 c #Conflicts: 355000 | #Constraints: 21638
534.79/536.58 c #Conflicts: 356000 | #Constraints: 22638
534.79/536.58 c #Conflicts: 357000 | #Constraints: 23638
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 358000 | #Constraints: 12840
534.79/536.58 c #Conflicts: 359000 | #Constraints: 13840
534.79/536.58 c #Conflicts: 360000 | #Constraints: 14840
534.79/536.58 c #Conflicts: 361000 | #Constraints: 15840
534.79/536.58 c #Conflicts: 362000 | #Constraints: 16840
534.79/536.58 c #Conflicts: 363000 | #Constraints: 17840
534.79/536.58 c #Conflicts: 364000 | #Constraints: 18840
534.79/536.58 c #Conflicts: 365000 | #Constraints: 19840
534.79/536.58 c #Conflicts: 366000 | #Constraints: 20840
534.79/536.58 c #Conflicts: 367000 | #Constraints: 21840
534.79/536.58 c #Conflicts: 368000 | #Constraints: 22840
534.79/536.58 c #Conflicts: 369000 | #Constraints: 23840
534.79/536.58 c INPROCESSING
534.79/536.58 c GARBAGE COLLECT
534.79/536.58 c #Conflicts: 370000 | #Constraints: 12843
534.79/536.58 c #Conflicts: 371000 | #Constraints: 13843
534.79/536.58 c #Conflicts: 372000 | #Constraints: 14843
534.79/536.58 c #Conflicts: 373000 | #Constraints: 15843
534.79/536.58 c #Conflicts: 374000 | #Constraints: 16843
534.79/536.58 c #Conflicts: 375000 | #Constraints: 17843
534.79/536.58 c #Conflicts: 376000 | #Constraints: 18843
534.79/536.58 c #Conflicts: 377000 | #Constraints: 19843
614.96/616.97 c #Conflicts: 378000 | #Constraints: 20843
614.96/616.97 c #Conflicts: 379000 | #Constraints: 21843
614.96/616.97 c #Conflicts: 380000 | #Constraints: 22843
614.96/616.97 c #Conflicts: 381000 | #Constraints: 23843
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 382000 | #Constraints: 12641
614.96/616.97 c #Conflicts: 383000 | #Constraints: 13641
614.96/616.97 c #Conflicts: 384000 | #Constraints: 14641
614.96/616.97 c #Conflicts: 385000 | #Constraints: 15641
614.96/616.97 c #Conflicts: 386000 | #Constraints: 16641
614.96/616.97 c #Conflicts: 387000 | #Constraints: 17641
614.96/616.97 c #Conflicts: 388000 | #Constraints: 18641
614.96/616.97 c #Conflicts: 389000 | #Constraints: 19641
614.96/616.97 c #Conflicts: 390000 | #Constraints: 20641
614.96/616.97 c #Conflicts: 391000 | #Constraints: 21641
614.96/616.97 c #Conflicts: 392000 | #Constraints: 22641
614.96/616.97 c #Conflicts: 393000 | #Constraints: 23641
614.96/616.97 c #Conflicts: 394000 | #Constraints: 24641
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 395000 | #Constraints: 13238
614.96/616.97 c #Conflicts: 396000 | #Constraints: 14238
614.96/616.97 c #Conflicts: 397000 | #Constraints: 15238
614.96/616.97 c #Conflicts: 398000 | #Constraints: 16238
614.96/616.97 c #Conflicts: 399000 | #Constraints: 17238
614.96/616.97 c #Conflicts: 400000 | #Constraints: 18238
614.96/616.97 c #Conflicts: 401000 | #Constraints: 19238
614.96/616.97 c #Conflicts: 402000 | #Constraints: 20238
614.96/616.97 c #Conflicts: 403000 | #Constraints: 21238
614.96/616.97 c #Conflicts: 404000 | #Constraints: 22238
614.96/616.97 c #Conflicts: 405000 | #Constraints: 23238
614.96/616.97 c #Conflicts: 406000 | #Constraints: 24238
614.96/616.97 c #Conflicts: 407000 | #Constraints: 25238
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 408000 | #Constraints: 13636
614.96/616.97 c #Conflicts: 409000 | #Constraints: 14636
614.96/616.97 c #Conflicts: 410000 | #Constraints: 15636
614.96/616.97 c #Conflicts: 411000 | #Constraints: 16636
614.96/616.97 c #Conflicts: 412000 | #Constraints: 17636
614.96/616.97 c #Conflicts: 413000 | #Constraints: 18636
614.96/616.97 c #Conflicts: 414000 | #Constraints: 19636
614.96/616.97 c #Conflicts: 415000 | #Constraints: 20636
614.96/616.97 c #Conflicts: 416000 | #Constraints: 21636
614.96/616.97 c #Conflicts: 417000 | #Constraints: 22636
614.96/616.97 c #Conflicts: 418000 | #Constraints: 23636
614.96/616.97 c #Conflicts: 419000 | #Constraints: 24636
614.96/616.97 c #Conflicts: 420000 | #Constraints: 25636
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 421000 | #Constraints: 13837
614.96/616.97 c #Conflicts: 422000 | #Constraints: 14837
614.96/616.97 c #Conflicts: 423000 | #Constraints: 15837
614.96/616.97 c #Conflicts: 424000 | #Constraints: 16837
614.96/616.97 c #Conflicts: 425000 | #Constraints: 17837
614.96/616.97 c #Conflicts: 426000 | #Constraints: 18837
614.96/616.97 c #Conflicts: 427000 | #Constraints: 19837
614.96/616.97 c #Conflicts: 428000 | #Constraints: 20837
614.96/616.97 c #Conflicts: 429000 | #Constraints: 21837
614.96/616.97 c #Conflicts: 430000 | #Constraints: 22837
614.96/616.97 c #Conflicts: 431000 | #Constraints: 23837
614.96/616.97 c #Conflicts: 432000 | #Constraints: 24837
614.96/616.97 c #Conflicts: 433000 | #Constraints: 25837
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 434000 | #Constraints: 13842
614.96/616.97 c #Conflicts: 435000 | #Constraints: 14842
614.96/616.97 c #Conflicts: 436000 | #Constraints: 15842
614.96/616.97 c #Conflicts: 437000 | #Constraints: 16842
614.96/616.97 c #Conflicts: 438000 | #Constraints: 17842
614.96/616.97 c #Conflicts: 439000 | #Constraints: 18842
614.96/616.97 c #Conflicts: 440000 | #Constraints: 19842
614.96/616.97 c #Conflicts: 441000 | #Constraints: 20842
614.96/616.97 c #Conflicts: 442000 | #Constraints: 21842
614.96/616.97 c #Conflicts: 443000 | #Constraints: 22842
614.96/616.97 c #Conflicts: 444000 | #Constraints: 23842
614.96/616.97 c #Conflicts: 445000 | #Constraints: 24842
614.96/616.97 c #Conflicts: 446000 | #Constraints: 25842
614.96/616.97 c INPROCESSING
614.96/616.97 c GARBAGE COLLECT
614.96/616.97 c #Conflicts: 447000 | #Constraints: 13644
614.96/616.97 c #Conflicts: 448000 | #Constraints: 14644
614.96/616.97 c #Conflicts: 449000 | #Constraints: 15644
614.96/616.97 c #Conflicts: 450000 | #Constraints: 16644
614.96/616.97 c #Conflicts: 451000 | #Constraints: 17644
614.96/616.97 c #Conflicts: 452000 | #Constraints: 18644
708.12/710.38 c #Conflicts: 453000 | #Constraints: 19644
708.12/710.38 c #Conflicts: 454000 | #Constraints: 20644
708.12/710.38 c #Conflicts: 455000 | #Constraints: 21644
708.12/710.38 c #Conflicts: 456000 | #Constraints: 22644
708.12/710.38 c #Conflicts: 457000 | #Constraints: 23644
708.12/710.38 c #Conflicts: 458000 | #Constraints: 24644
708.12/710.38 c #Conflicts: 459000 | #Constraints: 25644
708.12/710.38 c #Conflicts: 460000 | #Constraints: 26644
708.12/710.38 c INPROCESSING
708.12/710.38 c GARBAGE COLLECT
708.12/710.38 c #Conflicts: 461000 | #Constraints: 14249
708.12/710.38 c #Conflicts: 462000 | #Constraints: 15249
708.12/710.38 c #Conflicts: 463000 | #Constraints: 16249
708.12/710.38 c #Conflicts: 464000 | #Constraints: 17249
708.12/710.38 c #Conflicts: 465000 | #Constraints: 18249
708.12/710.38 c #Conflicts: 466000 | #Constraints: 19249
708.12/710.38 c #Conflicts: 467000 | #Constraints: 20249
708.12/710.38 c #Conflicts: 468000 | #Constraints: 21249
708.12/710.38 c #Conflicts: 469000 | #Constraints: 22249
708.12/710.38 c #Conflicts: 470000 | #Constraints: 23249
708.12/710.38 c #Conflicts: 471000 | #Constraints: 24249
708.12/710.38 c #Conflicts: 472000 | #Constraints: 25249
708.12/710.38 c #Conflicts: 473000 | #Constraints: 26249
708.12/710.38 c #Conflicts: 474000 | #Constraints: 27249
708.12/710.38 c INPROCESSING
708.12/710.38 c GARBAGE COLLECT
708.12/710.38 c #Conflicts: 475000 | #Constraints: 14647
708.12/710.38 c #Conflicts: 476000 | #Constraints: 15647
708.12/710.38 c #Conflicts: 477000 | #Constraints: 16647
708.12/710.38 c #Conflicts: 478000 | #Constraints: 17647
708.12/710.38 c #Conflicts: 479000 | #Constraints: 18647
708.12/710.38 c #Conflicts: 480000 | #Constraints: 19647
708.12/710.38 c #Conflicts: 481000 | #Constraints: 20647
708.12/710.38 c #Conflicts: 482000 | #Constraints: 21647
708.12/710.38 c #Conflicts: 483000 | #Constraints: 22647
708.12/710.38 c #Conflicts: 484000 | #Constraints: 23647
708.12/710.38 c #Conflicts: 485000 | #Constraints: 24647
708.12/710.38 c #Conflicts: 486000 | #Constraints: 25647
708.12/710.38 c #Conflicts: 487000 | #Constraints: 26647
708.12/710.38 c #Conflicts: 488000 | #Constraints: 27647
708.12/710.38 c INPROCESSING
708.12/710.38 c GARBAGE COLLECT
708.12/710.38 c #Conflicts: 489000 | #Constraints: 14845
708.12/710.38 c #Conflicts: 490000 | #Constraints: 15845
708.12/710.38 c #Conflicts: 491000 | #Constraints: 16845
708.12/710.38 c #Conflicts: 492000 | #Constraints: 17845
708.12/710.38 c #Conflicts: 493000 | #Constraints: 18845
708.12/710.38 c #Conflicts: 494000 | #Constraints: 19845
708.12/710.38 c #Conflicts: 495000 | #Constraints: 20845
708.12/710.38 c #Conflicts: 496000 | #Constraints: 21845
708.12/710.38 c #Conflicts: 497000 | #Constraints: 22845
708.12/710.38 c #Conflicts: 498000 | #Constraints: 23845
708.12/710.38 c #Conflicts: 499000 | #Constraints: 24845
708.12/710.38 c #Conflicts: 500000 | #Constraints: 25845
708.12/710.38 c #Conflicts: 501000 | #Constraints: 26845
708.12/710.38 c #Conflicts: 502000 | #Constraints: 27845
708.12/710.38 c INPROCESSING
708.12/710.38 c GARBAGE COLLECT
708.12/710.38 c #Conflicts: 503000 | #Constraints: 14846
708.12/710.38 c #Conflicts: 504000 | #Constraints: 15846
708.12/710.38 c #Conflicts: 505000 | #Constraints: 16846
708.12/710.38 c #Conflicts: 506000 | #Constraints: 17846
708.12/710.38 c #Conflicts: 507000 | #Constraints: 18846
708.12/710.38 c #Conflicts: 508000 | #Constraints: 19846
708.12/710.38 c #Conflicts: 509000 | #Constraints: 20846
708.12/710.38 c #Conflicts: 510000 | #Constraints: 21846
708.12/710.38 c #Conflicts: 511000 | #Constraints: 22846
708.12/710.38 c #Conflicts: 512000 | #Constraints: 23846
708.12/710.38 c #Conflicts: 513000 | #Constraints: 24846
708.12/710.38 c #Conflicts: 514000 | #Constraints: 25846
708.12/710.38 c #Conflicts: 515000 | #Constraints: 26846
708.12/710.38 c #Conflicts: 516000 | #Constraints: 27846
708.12/710.38 c INPROCESSING
708.12/710.38 c GARBAGE COLLECT
708.12/710.38 c #Conflicts: 517000 | #Constraints: 14646
708.12/710.38 c #Conflicts: 518000 | #Constraints: 15646
708.12/710.38 c #Conflicts: 519000 | #Constraints: 16646
708.12/710.38 c #Conflicts: 520000 | #Constraints: 17646
708.12/710.38 c #Conflicts: 521000 | #Constraints: 18646
708.12/710.38 c #Conflicts: 522000 | #Constraints: 19646
708.12/710.38 c #Conflicts: 523000 | #Constraints: 20646
708.12/710.38 c #Conflicts: 524000 | #Constraints: 21646
708.12/710.38 c #Conflicts: 525000 | #Constraints: 22646
708.12/710.38 c #Conflicts: 526000 | #Constraints: 23646
708.12/710.38 c #Conflicts: 527000 | #Constraints: 24646
708.12/710.38 c #Conflicts: 528000 | #Constraints: 25646
792.49/794.93 c #Conflicts: 529000 | #Constraints: 26646
792.49/794.93 c #Conflicts: 530000 | #Constraints: 27646
792.49/794.93 c #Conflicts: 531000 | #Constraints: 28646
792.49/794.93 c INPROCESSING
792.49/794.93 c GARBAGE COLLECT
792.49/794.93 c #Conflicts: 532000 | #Constraints: 15247
792.49/794.93 c #Conflicts: 533000 | #Constraints: 16247
792.49/794.93 c #Conflicts: 534000 | #Constraints: 17247
792.49/794.93 c #Conflicts: 535000 | #Constraints: 18247
792.49/794.93 c #Conflicts: 536000 | #Constraints: 19247
792.49/794.93 c #Conflicts: 537000 | #Constraints: 20247
792.49/794.93 c #Conflicts: 538000 | #Constraints: 21247
792.49/794.93 c #Conflicts: 539000 | #Constraints: 22247
792.49/794.93 c #Conflicts: 540000 | #Constraints: 23247
792.49/794.93 c #Conflicts: 541000 | #Constraints: 24247
792.49/794.93 c #Conflicts: 542000 | #Constraints: 25247
792.49/794.93 c #Conflicts: 543000 | #Constraints: 26247
792.49/794.93 c #Conflicts: 544000 | #Constraints: 27247
792.49/794.93 c #Conflicts: 545000 | #Constraints: 28247
792.49/794.93 c #Conflicts: 546000 | #Constraints: 29247
792.49/794.93 c INPROCESSING
792.49/794.93 c GARBAGE COLLECT
792.49/794.93 c #Conflicts: 547000 | #Constraints: 15641
792.49/794.93 c #Conflicts: 548000 | #Constraints: 16641
792.49/794.93 c #Conflicts: 549000 | #Constraints: 17641
792.49/794.93 c #Conflicts: 550000 | #Constraints: 18641
792.49/794.93 c #Conflicts: 551000 | #Constraints: 19641
792.49/794.93 c #Conflicts: 552000 | #Constraints: 20641
792.49/794.93 c #Conflicts: 553000 | #Constraints: 21641
792.49/794.93 c #Conflicts: 554000 | #Constraints: 22641
792.49/794.93 c #Conflicts: 555000 | #Constraints: 23641
792.49/794.93 c #Conflicts: 556000 | #Constraints: 24641
792.49/794.93 c #Conflicts: 557000 | #Constraints: 25641
792.49/794.93 c #Conflicts: 558000 | #Constraints: 26641
792.49/794.93 c #Conflicts: 559000 | #Constraints: 27641
792.49/794.93 c #Conflicts: 560000 | #Constraints: 28641
792.49/794.93 c #Conflicts: 561000 | #Constraints: 29641
792.49/794.93 c INPROCESSING
792.49/794.93 c GARBAGE COLLECT
792.49/794.93 c #Conflicts: 562000 | #Constraints: 15837
792.49/794.93 c #Conflicts: 563000 | #Constraints: 16837
792.49/794.93 c #Conflicts: 564000 | #Constraints: 17837
792.49/794.93 c #Conflicts: 565000 | #Constraints: 18837
792.49/794.93 c #Conflicts: 566000 | #Constraints: 19837
792.49/794.93 c #Conflicts: 567000 | #Constraints: 20837
792.49/794.93 c #Conflicts: 568000 | #Constraints: 21837
792.49/794.93 c #Conflicts: 569000 | #Constraints: 22837
792.49/794.93 c #Conflicts: 570000 | #Constraints: 23837
792.49/794.93 c #Conflicts: 571000 | #Constraints: 24837
792.49/794.93 c #Conflicts: 572000 | #Constraints: 25837
792.49/794.93 c #Conflicts: 573000 | #Constraints: 26837
792.49/794.93 c #Conflicts: 574000 | #Constraints: 27837
792.49/794.93 c #Conflicts: 575000 | #Constraints: 28837
792.49/794.93 c #Conflicts: 576000 | #Constraints: 29837
792.49/794.93 c INPROCESSING
792.49/794.93 c GARBAGE COLLECT
792.49/794.93 c #Conflicts: 577000 | #Constraints: 15837
792.49/794.93 c #Conflicts: 578000 | #Constraints: 16837
792.49/794.93 c #Conflicts: 579000 | #Constraints: 17837
792.49/794.93 c #Conflicts: 580000 | #Constraints: 18837
792.49/794.93 c #Conflicts: 581000 | #Constraints: 19837
792.49/794.93 c #Conflicts: 582000 | #Constraints: 20837
792.49/794.93 c #Conflicts: 583000 | #Constraints: 21837
792.49/794.93 c #Conflicts: 584000 | #Constraints: 22837
792.49/794.93 c #Conflicts: 585000 | #Constraints: 23837
792.49/794.93 c #Conflicts: 586000 | #Constraints: 24837
792.49/794.93 c #Conflicts: 587000 | #Constraints: 25837
792.49/794.93 c #Conflicts: 588000 | #Constraints: 26837
792.49/794.93 c #Conflicts: 589000 | #Constraints: 27837
792.49/794.93 c #Conflicts: 590000 | #Constraints: 28837
792.49/794.93 c #Conflicts: 591000 | #Constraints: 29837
792.49/794.93 c INPROCESSING
792.49/794.93 c GARBAGE COLLECT
792.49/794.93 c #Conflicts: 592000 | #Constraints: 15639
792.49/794.93 c #Conflicts: 593000 | #Constraints: 16639
792.49/794.93 c #Conflicts: 594000 | #Constraints: 17639
792.49/794.93 c #Conflicts: 595000 | #Constraints: 18639
792.49/794.93 c #Conflicts: 596000 | #Constraints: 19639
792.49/794.93 c #Conflicts: 597000 | #Constraints: 20639
792.49/794.93 c #Conflicts: 598000 | #Constraints: 21639
792.49/794.93 c #Conflicts: 599000 | #Constraints: 22639
792.49/794.93 c #Conflicts: 600000 | #Constraints: 23639
792.49/794.93 c #Conflicts: 601000 | #Constraints: 24639
792.49/794.93 c #Conflicts: 602000 | #Constraints: 25639
792.49/794.93 c #Conflicts: 603000 | #Constraints: 26639
886.04/888.76 c #Conflicts: 604000 | #Constraints: 27639
886.04/888.76 c #Conflicts: 605000 | #Constraints: 28639
886.04/888.76 c #Conflicts: 606000 | #Constraints: 29639
886.04/888.76 c #Conflicts: 607000 | #Constraints: 30639
886.04/888.76 c INPROCESSING
886.04/888.76 c GARBAGE COLLECT
886.04/888.76 c #Conflicts: 608000 | #Constraints: 16241
886.04/888.76 c #Conflicts: 609000 | #Constraints: 17241
886.04/888.76 c #Conflicts: 610000 | #Constraints: 18241
886.04/888.76 c #Conflicts: 611000 | #Constraints: 19241
886.04/888.76 c #Conflicts: 612000 | #Constraints: 20241
886.04/888.76 c #Conflicts: 613000 | #Constraints: 21241
886.04/888.76 c #Conflicts: 614000 | #Constraints: 22241
886.04/888.76 c #Conflicts: 615000 | #Constraints: 23241
886.04/888.76 c #Conflicts: 616000 | #Constraints: 24241
886.04/888.76 c #Conflicts: 617000 | #Constraints: 25241
886.04/888.76 c #Conflicts: 618000 | #Constraints: 26241
886.04/888.76 c #Conflicts: 619000 | #Constraints: 27241
886.04/888.76 c #Conflicts: 620000 | #Constraints: 28241
886.04/888.76 c #Conflicts: 621000 | #Constraints: 29241
886.04/888.76 c #Conflicts: 622000 | #Constraints: 30241
886.04/888.77 c #Conflicts: 623000 | #Constraints: 31241
886.04/888.77 c INPROCESSING
886.04/888.77 c GARBAGE COLLECT
886.04/888.77 c #Conflicts: 624000 | #Constraints: 16637
886.04/888.77 c #Conflicts: 625000 | #Constraints: 17637
886.04/888.77 c #Conflicts: 626000 | #Constraints: 18637
886.04/888.77 c #Conflicts: 627000 | #Constraints: 19637
886.04/888.77 c #Conflicts: 628000 | #Constraints: 20637
886.04/888.77 c #Conflicts: 629000 | #Constraints: 21637
886.04/888.77 c #Conflicts: 630000 | #Constraints: 22637
886.04/888.77 c #Conflicts: 631000 | #Constraints: 23637
886.04/888.77 c #Conflicts: 632000 | #Constraints: 24637
886.04/888.77 c #Conflicts: 633000 | #Constraints: 25637
886.04/888.77 c #Conflicts: 634000 | #Constraints: 26637
886.04/888.77 c #Conflicts: 635000 | #Constraints: 27637
886.04/888.77 c #Conflicts: 636000 | #Constraints: 28637
886.04/888.77 c #Conflicts: 637000 | #Constraints: 29637
886.04/888.77 c #Conflicts: 638000 | #Constraints: 30637
886.04/888.77 c #Conflicts: 639000 | #Constraints: 31637
886.04/888.77 c INPROCESSING
886.04/888.77 c GARBAGE COLLECT
886.04/888.77 c #Conflicts: 640000 | #Constraints: 16837
886.04/888.77 c #Conflicts: 641000 | #Constraints: 17837
886.04/888.77 c #Conflicts: 642000 | #Constraints: 18837
886.04/888.77 c #Conflicts: 643000 | #Constraints: 19837
886.04/888.77 c #Conflicts: 644000 | #Constraints: 20837
886.04/888.77 c #Conflicts: 645000 | #Constraints: 21837
886.04/888.77 c #Conflicts: 646000 | #Constraints: 22837
886.04/888.77 c #Conflicts: 647000 | #Constraints: 23837
886.04/888.77 c #Conflicts: 648000 | #Constraints: 24837
886.04/888.77 c #Conflicts: 649000 | #Constraints: 25837
886.04/888.77 c #Conflicts: 650000 | #Constraints: 26837
886.04/888.77 c #Conflicts: 651000 | #Constraints: 27837
886.04/888.77 c #Conflicts: 652000 | #Constraints: 28837
886.04/888.77 c #Conflicts: 653000 | #Constraints: 29837
886.04/888.77 c #Conflicts: 654000 | #Constraints: 30837
886.04/888.77 c #Conflicts: 655000 | #Constraints: 31837
886.04/888.77 c INPROCESSING
886.04/888.77 c GARBAGE COLLECT
886.04/888.77 c #Conflicts: 656000 | #Constraints: 16838
886.04/888.77 c #Conflicts: 657000 | #Constraints: 17838
886.04/888.77 c #Conflicts: 658000 | #Constraints: 18838
886.04/888.77 c #Conflicts: 659000 | #Constraints: 19838
886.04/888.77 c #Conflicts: 660000 | #Constraints: 20838
886.04/888.77 c #Conflicts: 661000 | #Constraints: 21838
886.04/888.77 c #Conflicts: 662000 | #Constraints: 22838
886.04/888.77 c #Conflicts: 663000 | #Constraints: 23838
886.04/888.77 c #Conflicts: 664000 | #Constraints: 24838
886.04/888.77 c #Conflicts: 665000 | #Constraints: 25838
886.04/888.77 c #Conflicts: 666000 | #Constraints: 26838
886.04/888.77 c #Conflicts: 667000 | #Constraints: 27838
886.04/888.77 c #Conflicts: 668000 | #Constraints: 28838
886.04/888.77 c #Conflicts: 669000 | #Constraints: 29838
886.04/888.77 c #Conflicts: 670000 | #Constraints: 30838
886.04/888.77 c #Conflicts: 671000 | #Constraints: 31838
886.04/888.77 c INPROCESSING
886.04/888.77 c GARBAGE COLLECT
886.04/888.77 c #Conflicts: 672000 | #Constraints: 16635
886.04/888.77 c #Conflicts: 673000 | #Constraints: 17635
886.04/888.77 c #Conflicts: 674000 | #Constraints: 18635
886.04/888.77 c #Conflicts: 675000 | #Constraints: 19635
886.04/888.77 c #Conflicts: 676000 | #Constraints: 20635
886.04/888.77 c #Conflicts: 677000 | #Constraints: 21635
886.04/888.77 c #Conflicts: 678000 | #Constraints: 22635
886.04/888.77 c #Conflicts: 679000 | #Constraints: 23635
973.71/976.68 c #Conflicts: 680000 | #Constraints: 24635
973.71/976.68 c #Conflicts: 681000 | #Constraints: 25635
973.71/976.68 c #Conflicts: 682000 | #Constraints: 26635
973.71/976.68 c #Conflicts: 683000 | #Constraints: 27635
973.71/976.68 c #Conflicts: 684000 | #Constraints: 28635
973.71/976.68 c #Conflicts: 685000 | #Constraints: 29635
973.71/976.68 c #Conflicts: 686000 | #Constraints: 30635
973.71/976.68 c #Conflicts: 687000 | #Constraints: 31635
973.71/976.68 c #Conflicts: 688000 | #Constraints: 32635
973.71/976.68 c INPROCESSING
973.71/976.68 c GARBAGE COLLECT
973.71/976.68 c #Conflicts: 689000 | #Constraints: 17234
973.71/976.68 c #Conflicts: 690000 | #Constraints: 18234
973.71/976.68 c #Conflicts: 691000 | #Constraints: 19234
973.71/976.68 c #Conflicts: 692000 | #Constraints: 20234
973.71/976.68 c #Conflicts: 693000 | #Constraints: 21234
973.71/976.68 c #Conflicts: 694000 | #Constraints: 22234
973.71/976.68 c #Conflicts: 695000 | #Constraints: 23234
973.71/976.68 c #Conflicts: 696000 | #Constraints: 24234
973.71/976.68 c #Conflicts: 697000 | #Constraints: 25234
973.71/976.68 c #Conflicts: 698000 | #Constraints: 26234
973.71/976.68 c #Conflicts: 699000 | #Constraints: 27234
973.71/976.68 c #Conflicts: 700000 | #Constraints: 28234
973.71/976.68 c #Conflicts: 701000 | #Constraints: 29234
973.71/976.68 c #Conflicts: 702000 | #Constraints: 30234
973.71/976.68 c #Conflicts: 703000 | #Constraints: 31234
973.71/976.68 c #Conflicts: 704000 | #Constraints: 32234
973.71/976.68 c #Conflicts: 705000 | #Constraints: 33234
973.71/976.68 c INPROCESSING
973.71/976.68 c GARBAGE COLLECT
973.71/976.68 c #Conflicts: 706000 | #Constraints: 17636
973.71/976.68 c #Conflicts: 707000 | #Constraints: 18636
973.71/976.68 c #Conflicts: 708000 | #Constraints: 19636
973.71/976.68 c #Conflicts: 709000 | #Constraints: 20636
973.71/976.68 c #Conflicts: 710000 | #Constraints: 21636
973.71/976.68 c #Conflicts: 711000 | #Constraints: 22636
973.71/976.68 c #Conflicts: 712000 | #Constraints: 23636
973.71/976.68 c #Conflicts: 713000 | #Constraints: 24636
973.71/976.68 c #Conflicts: 714000 | #Constraints: 25636
973.71/976.68 c #Conflicts: 715000 | #Constraints: 26636
973.71/976.68 c #Conflicts: 716000 | #Constraints: 27636
973.71/976.68 c #Conflicts: 717000 | #Constraints: 28636
973.71/976.68 c #Conflicts: 718000 | #Constraints: 29636
973.71/976.68 c #Conflicts: 719000 | #Constraints: 30636
973.71/976.68 c #Conflicts: 720000 | #Constraints: 31636
973.71/976.68 c #Conflicts: 721000 | #Constraints: 32636
973.71/976.68 c #Conflicts: 722000 | #Constraints: 33636
973.71/976.68 c INPROCESSING
973.71/976.68 c GARBAGE COLLECT
973.71/976.68 c #Conflicts: 723000 | #Constraints: 17839
973.71/976.68 c #Conflicts: 724000 | #Constraints: 18839
973.71/976.68 c #Conflicts: 725000 | #Constraints: 19839
973.71/976.68 c #Conflicts: 726000 | #Constraints: 20839
973.71/976.68 c #Conflicts: 727000 | #Constraints: 21839
973.71/976.68 c #Conflicts: 728000 | #Constraints: 22839
973.71/976.68 c #Conflicts: 729000 | #Constraints: 23839
973.71/976.68 c #Conflicts: 730000 | #Constraints: 24839
973.71/976.68 c #Conflicts: 731000 | #Constraints: 25839
973.71/976.68 c #Conflicts: 732000 | #Constraints: 26839
973.71/976.68 c #Conflicts: 733000 | #Constraints: 27839
973.71/976.68 c #Conflicts: 734000 | #Constraints: 28839
973.71/976.68 c #Conflicts: 735000 | #Constraints: 29839
973.71/976.68 c #Conflicts: 736000 | #Constraints: 30839
973.71/976.68 c #Conflicts: 737000 | #Constraints: 31839
973.71/976.68 c #Conflicts: 738000 | #Constraints: 32839
973.71/976.68 c #Conflicts: 739000 | #Constraints: 33839
973.71/976.68 c INPROCESSING
973.71/976.68 c GARBAGE COLLECT
973.71/976.68 c bounds 37 >= 0 @ 970.568
973.71/976.68 c stratification level: 4
1085.31/1088.50 c #Conflicts: 740000 | #Constraints: 17841
1085.31/1088.50 c #Conflicts: 741000 | #Constraints: 18841
1085.31/1088.50 c #Conflicts: 742000 | #Constraints: 19841
1085.31/1088.50 c #Conflicts: 743000 | #Constraints: 20841
1085.31/1088.50 c #Conflicts: 744000 | #Constraints: 21841
1085.31/1088.50 c #Conflicts: 745000 | #Constraints: 22841
1085.31/1088.50 c #Conflicts: 746000 | #Constraints: 23841
1085.31/1088.50 c #Conflicts: 747000 | #Constraints: 24841
1085.31/1088.50 c #Conflicts: 748000 | #Constraints: 25841
1085.31/1088.50 c #Conflicts: 749000 | #Constraints: 26841
1085.31/1088.50 c #Conflicts: 750000 | #Constraints: 27841
1085.31/1088.50 c #Conflicts: 751000 | #Constraints: 28841
1085.31/1088.50 c #Conflicts: 752000 | #Constraints: 29841
1085.31/1088.50 c #Conflicts: 753000 | #Constraints: 30841
1085.31/1088.50 c #Conflicts: 754000 | #Constraints: 31841
1085.31/1088.50 c #Conflicts: 755000 | #Constraints: 32841
1085.31/1088.50 c #Conflicts: 756000 | #Constraints: 33841
1085.31/1088.50 c INPROCESSING
1085.31/1088.50 c GARBAGE COLLECT
1085.31/1088.50 c #Conflicts: 757000 | #Constraints: 17637
1085.31/1088.50 c #Conflicts: 758000 | #Constraints: 18637
1085.31/1088.50 c #Conflicts: 759000 | #Constraints: 19637
1085.31/1088.50 c #Conflicts: 760000 | #Constraints: 20637
1085.31/1088.50 c #Conflicts: 761000 | #Constraints: 21637
1085.31/1088.50 c #Conflicts: 762000 | #Constraints: 22637
1085.31/1088.50 c #Conflicts: 763000 | #Constraints: 23637
1085.31/1088.50 c #Conflicts: 764000 | #Constraints: 24637
1085.31/1088.50 c #Conflicts: 765000 | #Constraints: 25637
1085.31/1088.50 c #Conflicts: 766000 | #Constraints: 26637
1085.31/1088.50 c #Conflicts: 767000 | #Constraints: 27637
1085.31/1088.50 c #Conflicts: 768000 | #Constraints: 28637
1085.31/1088.50 c #Conflicts: 769000 | #Constraints: 29637
1085.31/1088.50 c #Conflicts: 770000 | #Constraints: 30637
1085.31/1088.50 c #Conflicts: 771000 | #Constraints: 31637
1085.31/1088.50 c #Conflicts: 772000 | #Constraints: 32637
1085.31/1088.50 c #Conflicts: 773000 | #Constraints: 33637
1085.31/1088.50 c #Conflicts: 774000 | #Constraints: 34637
1085.31/1088.50 c INPROCESSING
1085.31/1088.50 c GARBAGE COLLECT
1085.31/1088.50 c #Conflicts: 775000 | #Constraints: 18237
1085.31/1088.50 c #Conflicts: 776000 | #Constraints: 19237
1085.31/1088.50 c #Conflicts: 777000 | #Constraints: 20237
1085.31/1088.50 c #Conflicts: 778000 | #Constraints: 21237
1085.31/1088.50 c #Conflicts: 779000 | #Constraints: 22237
1085.31/1088.50 c #Conflicts: 780000 | #Constraints: 23237
1085.31/1088.50 c #Conflicts: 781000 | #Constraints: 24237
1085.31/1088.50 c #Conflicts: 782000 | #Constraints: 25237
1085.31/1088.50 c #Conflicts: 783000 | #Constraints: 26237
1085.31/1088.50 c #Conflicts: 784000 | #Constraints: 27237
1085.31/1088.50 c #Conflicts: 785000 | #Constraints: 28237
1085.31/1088.50 c #Conflicts: 786000 | #Constraints: 29237
1085.31/1088.50 c #Conflicts: 787000 | #Constraints: 30237
1085.31/1088.50 c #Conflicts: 788000 | #Constraints: 31237
1085.31/1088.50 c #Conflicts: 789000 | #Constraints: 32237
1085.31/1088.50 c #Conflicts: 790000 | #Constraints: 33237
1085.31/1088.50 c #Conflicts: 791000 | #Constraints: 34237
1085.31/1088.50 c #Conflicts: 792000 | #Constraints: 35237
1085.31/1088.50 c INPROCESSING
1085.31/1088.50 c GARBAGE COLLECT
1085.31/1088.50 c #Conflicts: 793000 | #Constraints: 18637
1085.31/1088.50 c #Conflicts: 794000 | #Constraints: 19637
1085.31/1088.50 c #Conflicts: 795000 | #Constraints: 20637
1085.31/1088.50 c #Conflicts: 796000 | #Constraints: 21637
1085.31/1088.50 c #Conflicts: 797000 | #Constraints: 22637
1085.31/1088.50 c #Conflicts: 798000 | #Constraints: 23637
1085.31/1088.50 c #Conflicts: 799000 | #Constraints: 24637
1085.31/1088.50 c #Conflicts: 800000 | #Constraints: 25637
1085.31/1088.50 c #Conflicts: 801000 | #Constraints: 26637
1085.31/1088.50 c #Conflicts: 802000 | #Constraints: 27637
1085.31/1088.50 c #Conflicts: 803000 | #Constraints: 28637
1085.31/1088.50 c #Conflicts: 804000 | #Constraints: 29637
1085.31/1088.50 c #Conflicts: 805000 | #Constraints: 30637
1085.31/1088.50 c #Conflicts: 806000 | #Constraints: 31637
1085.31/1088.50 c #Conflicts: 807000 | #Constraints: 32637
1085.31/1088.50 c #Conflicts: 808000 | #Constraints: 33637
1085.31/1088.50 c #Conflicts: 809000 | #Constraints: 34637
1085.31/1088.50 c #Conflicts: 810000 | #Constraints: 35637
1085.31/1088.50 c INPROCESSING
1085.31/1088.50 c GARBAGE COLLECT
1085.31/1088.50 c #Conflicts: 811000 | #Constraints: 18835
1085.31/1088.50 c #Conflicts: 812000 | #Constraints: 19835
1085.31/1088.50 c #Conflicts: 813000 | #Constraints: 20835
1085.31/1088.50 c #Conflicts: 814000 | #Constraints: 21835
1085.31/1088.50 c #Conflicts: 815000 | #Constraints: 22835
1085.31/1088.50 c #Conflicts: 816000 | #Constraints: 23835
1204.21/1207.76 c #Conflicts: 817000 | #Constraints: 24835
1204.21/1207.76 c #Conflicts: 818000 | #Constraints: 25835
1204.21/1207.76 c #Conflicts: 819000 | #Constraints: 26835
1204.21/1207.76 c #Conflicts: 820000 | #Constraints: 27835
1204.21/1207.76 c #Conflicts: 821000 | #Constraints: 28835
1204.21/1207.76 c #Conflicts: 822000 | #Constraints: 29835
1204.21/1207.76 c #Conflicts: 823000 | #Constraints: 30835
1204.21/1207.76 c #Conflicts: 824000 | #Constraints: 31835
1204.21/1207.76 c #Conflicts: 825000 | #Constraints: 32835
1204.21/1207.76 c #Conflicts: 826000 | #Constraints: 33835
1204.21/1207.76 c #Conflicts: 827000 | #Constraints: 34835
1204.21/1207.76 c #Conflicts: 828000 | #Constraints: 35835
1204.21/1207.76 c INPROCESSING
1204.21/1207.76 c GARBAGE COLLECT
1204.21/1207.76 c #Conflicts: 829000 | #Constraints: 18842
1204.21/1207.76 c #Conflicts: 830000 | #Constraints: 19842
1204.21/1207.76 c #Conflicts: 831000 | #Constraints: 20842
1204.21/1207.76 c #Conflicts: 832000 | #Constraints: 21842
1204.21/1207.76 c #Conflicts: 833000 | #Constraints: 22842
1204.21/1207.76 c #Conflicts: 834000 | #Constraints: 23842
1204.21/1207.76 c #Conflicts: 835000 | #Constraints: 24842
1204.21/1207.76 c #Conflicts: 836000 | #Constraints: 25842
1204.21/1207.76 c #Conflicts: 837000 | #Constraints: 26842
1204.21/1207.76 c #Conflicts: 838000 | #Constraints: 27842
1204.21/1207.76 c #Conflicts: 839000 | #Constraints: 28842
1204.21/1207.76 c #Conflicts: 840000 | #Constraints: 29842
1204.21/1207.76 c #Conflicts: 841000 | #Constraints: 30842
1204.21/1207.76 c #Conflicts: 842000 | #Constraints: 31842
1204.21/1207.76 c #Conflicts: 843000 | #Constraints: 32842
1204.21/1207.76 c #Conflicts: 844000 | #Constraints: 33842
1204.21/1207.76 c #Conflicts: 845000 | #Constraints: 34842
1204.21/1207.76 c #Conflicts: 846000 | #Constraints: 35842
1204.21/1207.76 c INPROCESSING
1204.21/1207.76 c GARBAGE COLLECT
1204.21/1207.76 c #Conflicts: 847000 | #Constraints: 18639
1204.21/1207.76 c #Conflicts: 848000 | #Constraints: 19639
1204.21/1207.76 c #Conflicts: 849000 | #Constraints: 20639
1204.21/1207.76 c #Conflicts: 850000 | #Constraints: 21639
1204.21/1207.76 c #Conflicts: 851000 | #Constraints: 22639
1204.21/1207.76 c #Conflicts: 852000 | #Constraints: 23639
1204.21/1207.76 c #Conflicts: 853000 | #Constraints: 24639
1204.21/1207.76 c #Conflicts: 854000 | #Constraints: 25639
1204.21/1207.76 c #Conflicts: 855000 | #Constraints: 26639
1204.21/1207.76 c #Conflicts: 856000 | #Constraints: 27639
1204.21/1207.76 c #Conflicts: 857000 | #Constraints: 28639
1204.21/1207.76 c #Conflicts: 858000 | #Constraints: 29639
1204.21/1207.76 c #Conflicts: 859000 | #Constraints: 30639
1204.21/1207.76 c #Conflicts: 860000 | #Constraints: 31639
1204.21/1207.76 c #Conflicts: 861000 | #Constraints: 32639
1204.21/1207.76 c #Conflicts: 862000 | #Constraints: 33639
1204.21/1207.76 c #Conflicts: 863000 | #Constraints: 34639
1204.21/1207.76 c #Conflicts: 864000 | #Constraints: 35639
1204.21/1207.76 c #Conflicts: 865000 | #Constraints: 36639
1204.21/1207.76 c INPROCESSING
1204.21/1207.76 c GARBAGE COLLECT
1204.21/1207.76 c #Conflicts: 866000 | #Constraints: 19237
1204.21/1207.76 c #Conflicts: 867000 | #Constraints: 20237
1204.21/1207.76 c #Conflicts: 868000 | #Constraints: 21237
1204.21/1207.76 c #Conflicts: 869000 | #Constraints: 22237
1204.21/1207.76 c #Conflicts: 870000 | #Constraints: 23237
1204.21/1207.76 c #Conflicts: 871000 | #Constraints: 24237
1204.21/1207.76 c #Conflicts: 872000 | #Constraints: 25237
1204.21/1207.76 c #Conflicts: 873000 | #Constraints: 26237
1204.21/1207.76 c #Conflicts: 874000 | #Constraints: 27237
1204.21/1207.76 c #Conflicts: 875000 | #Constraints: 28237
1204.21/1207.76 c #Conflicts: 876000 | #Constraints: 29237
1204.21/1207.76 c #Conflicts: 877000 | #Constraints: 30237
1204.21/1207.76 c #Conflicts: 878000 | #Constraints: 31237
1204.21/1207.76 c #Conflicts: 879000 | #Constraints: 32237
1204.21/1207.76 c #Conflicts: 880000 | #Constraints: 33237
1204.21/1207.76 c #Conflicts: 881000 | #Constraints: 34237
1204.21/1207.76 c #Conflicts: 882000 | #Constraints: 35237
1204.21/1207.76 c #Conflicts: 883000 | #Constraints: 36237
1204.21/1207.76 c #Conflicts: 884000 | #Constraints: 37237
1204.21/1207.76 c INPROCESSING
1204.21/1207.76 c GARBAGE COLLECT
1204.21/1207.76 c #Conflicts: 885000 | #Constraints: 19637
1204.21/1207.76 c #Conflicts: 886000 | #Constraints: 20637
1204.21/1207.76 c #Conflicts: 887000 | #Constraints: 21637
1204.21/1207.76 c #Conflicts: 888000 | #Constraints: 22637
1204.21/1207.76 c #Conflicts: 889000 | #Constraints: 23637
1204.21/1207.76 c #Conflicts: 890000 | #Constraints: 24637
1204.21/1207.76 c #Conflicts: 891000 | #Constraints: 25637
1204.21/1207.76 c #Conflicts: 892000 | #Constraints: 26637
1333.97/1337.86 c #Conflicts: 893000 | #Constraints: 27637
1333.97/1337.86 c #Conflicts: 894000 | #Constraints: 28637
1333.97/1337.86 c #Conflicts: 895000 | #Constraints: 29637
1333.97/1337.86 c #Conflicts: 896000 | #Constraints: 30637
1333.97/1337.86 c #Conflicts: 897000 | #Constraints: 31637
1333.97/1337.86 c #Conflicts: 898000 | #Constraints: 32637
1333.97/1337.86 c #Conflicts: 899000 | #Constraints: 33637
1333.97/1337.86 c #Conflicts: 900000 | #Constraints: 34637
1333.97/1337.86 c #Conflicts: 901000 | #Constraints: 35637
1333.97/1337.86 c #Conflicts: 902000 | #Constraints: 36637
1333.97/1337.86 c #Conflicts: 903000 | #Constraints: 37637
1333.97/1337.86 c INPROCESSING
1333.97/1337.86 c GARBAGE COLLECT
1333.97/1337.86 c #Conflicts: 904000 | #Constraints: 19834
1333.97/1337.86 c #Conflicts: 905000 | #Constraints: 20834
1333.97/1337.86 c #Conflicts: 906000 | #Constraints: 21834
1333.97/1337.86 c #Conflicts: 907000 | #Constraints: 22834
1333.97/1337.86 c #Conflicts: 908000 | #Constraints: 23834
1333.97/1337.86 c #Conflicts: 909000 | #Constraints: 24834
1333.97/1337.86 c #Conflicts: 910000 | #Constraints: 25834
1333.97/1337.86 c #Conflicts: 911000 | #Constraints: 26834
1333.97/1337.86 c #Conflicts: 912000 | #Constraints: 27834
1333.97/1337.86 c #Conflicts: 913000 | #Constraints: 28834
1333.97/1337.86 c #Conflicts: 914000 | #Constraints: 29834
1333.97/1337.86 c #Conflicts: 915000 | #Constraints: 30834
1333.97/1337.86 c #Conflicts: 916000 | #Constraints: 31834
1333.97/1337.86 c #Conflicts: 917000 | #Constraints: 32834
1333.97/1337.86 c #Conflicts: 918000 | #Constraints: 33834
1333.97/1337.86 c #Conflicts: 919000 | #Constraints: 34834
1333.97/1337.86 c #Conflicts: 920000 | #Constraints: 35834
1333.97/1337.86 c #Conflicts: 921000 | #Constraints: 36834
1333.97/1337.86 c #Conflicts: 922000 | #Constraints: 37834
1333.97/1337.86 c INPROCESSING
1333.97/1337.86 c GARBAGE COLLECT
1333.97/1337.86 c #Conflicts: 923000 | #Constraints: 19834
1333.97/1337.86 c #Conflicts: 924000 | #Constraints: 20834
1333.97/1337.86 c #Conflicts: 925000 | #Constraints: 21834
1333.97/1337.86 c #Conflicts: 926000 | #Constraints: 22834
1333.97/1337.86 c #Conflicts: 927000 | #Constraints: 23834
1333.97/1337.86 c #Conflicts: 928000 | #Constraints: 24834
1333.97/1337.86 c #Conflicts: 929000 | #Constraints: 25834
1333.97/1337.86 c #Conflicts: 930000 | #Constraints: 26834
1333.97/1337.86 c #Conflicts: 931000 | #Constraints: 27834
1333.97/1337.86 c #Conflicts: 932000 | #Constraints: 28834
1333.97/1337.86 c #Conflicts: 933000 | #Constraints: 29834
1333.97/1337.86 c #Conflicts: 934000 | #Constraints: 30834
1333.97/1337.86 c #Conflicts: 935000 | #Constraints: 31834
1333.97/1337.86 c #Conflicts: 936000 | #Constraints: 32834
1333.97/1337.86 c #Conflicts: 937000 | #Constraints: 33834
1333.97/1337.86 c #Conflicts: 938000 | #Constraints: 34834
1333.97/1337.86 c #Conflicts: 939000 | #Constraints: 35834
1333.97/1337.86 c #Conflicts: 940000 | #Constraints: 36834
1333.97/1337.86 c #Conflicts: 941000 | #Constraints: 37834
1333.97/1337.86 c INPROCESSING
1333.97/1337.86 c GARBAGE COLLECT
1333.97/1337.86 c #Conflicts: 942000 | #Constraints: 19636
1333.97/1337.86 c #Conflicts: 943000 | #Constraints: 20636
1333.97/1337.86 c #Conflicts: 944000 | #Constraints: 21636
1333.97/1337.86 c #Conflicts: 945000 | #Constraints: 22636
1333.97/1337.86 c #Conflicts: 946000 | #Constraints: 23636
1333.97/1337.86 c #Conflicts: 947000 | #Constraints: 24636
1333.97/1337.86 c #Conflicts: 948000 | #Constraints: 25636
1333.97/1337.86 c #Conflicts: 949000 | #Constraints: 26636
1333.97/1337.86 c #Conflicts: 950000 | #Constraints: 27636
1333.97/1337.86 c #Conflicts: 951000 | #Constraints: 28636
1333.97/1337.86 c #Conflicts: 952000 | #Constraints: 29636
1333.97/1337.86 c #Conflicts: 953000 | #Constraints: 30636
1333.97/1337.86 c #Conflicts: 954000 | #Constraints: 31636
1333.97/1337.86 c #Conflicts: 955000 | #Constraints: 32636
1333.97/1337.86 c #Conflicts: 956000 | #Constraints: 33636
1333.97/1337.86 c #Conflicts: 957000 | #Constraints: 34636
1333.97/1337.86 c #Conflicts: 958000 | #Constraints: 35636
1333.97/1337.86 c #Conflicts: 959000 | #Constraints: 36636
1333.97/1337.86 c #Conflicts: 960000 | #Constraints: 37636
1333.97/1337.86 c #Conflicts: 961000 | #Constraints: 38636
1333.97/1337.86 c INPROCESSING
1333.97/1337.86 c GARBAGE COLLECT
1333.97/1337.86 c #Conflicts: 962000 | #Constraints: 20239
1333.97/1337.86 c #Conflicts: 963000 | #Constraints: 21239
1333.97/1337.86 c #Conflicts: 964000 | #Constraints: 22239
1333.97/1337.86 c #Conflicts: 965000 | #Constraints: 23239
1333.97/1337.86 c #Conflicts: 966000 | #Constraints: 24239
1333.97/1337.86 c #Conflicts: 967000 | #Constraints: 25239
1333.97/1337.86 c #Conflicts: 968000 | #Constraints: 26239
1492.08/1496.31 c #Conflicts: 969000 | #Constraints: 27239
1492.08/1496.31 c #Conflicts: 970000 | #Constraints: 28239
1492.08/1496.31 c #Conflicts: 971000 | #Constraints: 29239
1492.08/1496.31 c #Conflicts: 972000 | #Constraints: 30239
1492.08/1496.31 c #Conflicts: 973000 | #Constraints: 31239
1492.08/1496.31 c #Conflicts: 974000 | #Constraints: 32239
1492.08/1496.31 c #Conflicts: 975000 | #Constraints: 33239
1492.08/1496.31 c #Conflicts: 976000 | #Constraints: 34239
1492.08/1496.31 c #Conflicts: 977000 | #Constraints: 35239
1492.08/1496.31 c #Conflicts: 978000 | #Constraints: 36239
1492.08/1496.31 c #Conflicts: 979000 | #Constraints: 37239
1492.08/1496.31 c #Conflicts: 980000 | #Constraints: 38239
1492.08/1496.31 c #Conflicts: 981000 | #Constraints: 39239
1492.08/1496.31 c INPROCESSING
1492.08/1496.31 c GARBAGE COLLECT
1492.08/1496.31 c #Conflicts: 982000 | #Constraints: 20641
1492.08/1496.31 c #Conflicts: 983000 | #Constraints: 21641
1492.08/1496.31 c #Conflicts: 984000 | #Constraints: 22641
1492.08/1496.31 c #Conflicts: 985000 | #Constraints: 23641
1492.08/1496.31 c #Conflicts: 986000 | #Constraints: 24641
1492.08/1496.31 c #Conflicts: 987000 | #Constraints: 25641
1492.08/1496.31 c #Conflicts: 988000 | #Constraints: 26641
1492.08/1496.31 c #Conflicts: 989000 | #Constraints: 27641
1492.08/1496.31 c #Conflicts: 990000 | #Constraints: 28641
1492.08/1496.31 c #Conflicts: 991000 | #Constraints: 29641
1492.08/1496.31 c #Conflicts: 992000 | #Constraints: 30641
1492.08/1496.31 c #Conflicts: 993000 | #Constraints: 31641
1492.08/1496.31 c #Conflicts: 994000 | #Constraints: 32641
1492.08/1496.31 c #Conflicts: 995000 | #Constraints: 33641
1492.08/1496.31 c #Conflicts: 996000 | #Constraints: 34641
1492.08/1496.31 c #Conflicts: 997000 | #Constraints: 35641
1492.08/1496.31 c #Conflicts: 998000 | #Constraints: 36641
1492.08/1496.31 c #Conflicts: 999000 | #Constraints: 37641
1492.08/1496.31 c #Conflicts: 1000000 | #Constraints: 38641
1492.08/1496.31 c #Conflicts: 1001000 | #Constraints: 39641
1492.08/1496.31 c INPROCESSING
1492.08/1496.31 c GARBAGE COLLECT
1492.08/1496.31 c #Conflicts: 1002000 | #Constraints: 20844
1492.08/1496.31 c #Conflicts: 1003000 | #Constraints: 21844
1492.08/1496.31 c #Conflicts: 1004000 | #Constraints: 22844
1492.08/1496.31 c #Conflicts: 1005000 | #Constraints: 23844
1492.08/1496.31 c #Conflicts: 1006000 | #Constraints: 24844
1492.08/1496.31 c #Conflicts: 1007000 | #Constraints: 25844
1492.08/1496.31 c #Conflicts: 1008000 | #Constraints: 26844
1492.08/1496.31 c #Conflicts: 1009000 | #Constraints: 27844
1492.08/1496.31 c #Conflicts: 1010000 | #Constraints: 28844
1492.08/1496.31 c #Conflicts: 1011000 | #Constraints: 29844
1492.08/1496.31 c #Conflicts: 1012000 | #Constraints: 30844
1492.08/1496.31 c #Conflicts: 1013000 | #Constraints: 31844
1492.08/1496.31 c #Conflicts: 1014000 | #Constraints: 32844
1492.08/1496.31 c #Conflicts: 1015000 | #Constraints: 33844
1492.08/1496.31 c #Conflicts: 1016000 | #Constraints: 34844
1492.08/1496.31 c #Conflicts: 1017000 | #Constraints: 35844
1492.08/1496.31 c #Conflicts: 1018000 | #Constraints: 36844
1492.08/1496.31 c #Conflicts: 1019000 | #Constraints: 37844
1492.08/1496.31 c #Conflicts: 1020000 | #Constraints: 38844
1492.08/1496.31 c #Conflicts: 1021000 | #Constraints: 39844
1492.08/1496.31 c INPROCESSING
1492.08/1496.31 c GARBAGE COLLECT
1492.08/1496.31 c #Conflicts: 1022000 | #Constraints: 20844
1492.08/1496.31 c #Conflicts: 1023000 | #Constraints: 21844
1492.08/1496.31 c #Conflicts: 1024000 | #Constraints: 22844
1492.08/1496.31 c #Conflicts: 1025000 | #Constraints: 23844
1492.08/1496.31 c #Conflicts: 1026000 | #Constraints: 24844
1492.08/1496.31 c #Conflicts: 1027000 | #Constraints: 25844
1492.08/1496.31 c #Conflicts: 1028000 | #Constraints: 26844
1492.08/1496.31 c #Conflicts: 1029000 | #Constraints: 27844
1492.08/1496.31 c #Conflicts: 1030000 | #Constraints: 28844
1492.08/1496.31 c #Conflicts: 1031000 | #Constraints: 29844
1492.08/1496.31 c #Conflicts: 1032000 | #Constraints: 30844
1492.08/1496.31 c #Conflicts: 1033000 | #Constraints: 31844
1492.08/1496.31 c #Conflicts: 1034000 | #Constraints: 32844
1492.08/1496.31 c #Conflicts: 1035000 | #Constraints: 33844
1492.08/1496.31 c #Conflicts: 1036000 | #Constraints: 34844
1492.08/1496.31 c #Conflicts: 1037000 | #Constraints: 35844
1492.08/1496.31 c #Conflicts: 1038000 | #Constraints: 36844
1492.08/1496.31 c #Conflicts: 1039000 | #Constraints: 37844
1492.08/1496.31 c #Conflicts: 1040000 | #Constraints: 38844
1492.08/1496.31 c #Conflicts: 1041000 | #Constraints: 39844
1492.08/1496.31 c INPROCESSING
1492.08/1496.31 c GARBAGE COLLECT
1492.08/1496.31 c #Conflicts: 1042000 | #Constraints: 20646
1492.08/1496.31 c #Conflicts: 1043000 | #Constraints: 21646
1492.08/1496.31 c #Conflicts: 1044000 | #Constraints: 22646
1665.93/1670.61 c #Conflicts: 1045000 | #Constraints: 23646
1665.93/1670.61 c #Conflicts: 1046000 | #Constraints: 24646
1665.93/1670.61 c #Conflicts: 1047000 | #Constraints: 25646
1665.93/1670.61 c #Conflicts: 1048000 | #Constraints: 26646
1665.93/1670.61 c #Conflicts: 1049000 | #Constraints: 27646
1665.93/1670.61 c #Conflicts: 1050000 | #Constraints: 28646
1665.93/1670.61 c #Conflicts: 1051000 | #Constraints: 29646
1665.93/1670.61 c #Conflicts: 1052000 | #Constraints: 30646
1665.93/1670.61 c #Conflicts: 1053000 | #Constraints: 31646
1665.93/1670.61 c #Conflicts: 1054000 | #Constraints: 32646
1665.93/1670.61 c #Conflicts: 1055000 | #Constraints: 33646
1665.93/1670.61 c #Conflicts: 1056000 | #Constraints: 34646
1665.93/1670.61 c #Conflicts: 1057000 | #Constraints: 35646
1665.93/1670.61 c #Conflicts: 1058000 | #Constraints: 36646
1665.93/1670.61 c #Conflicts: 1059000 | #Constraints: 37646
1665.93/1670.61 c #Conflicts: 1060000 | #Constraints: 38646
1665.93/1670.61 c #Conflicts: 1061000 | #Constraints: 39646
1665.93/1670.61 c #Conflicts: 1062000 | #Constraints: 40646
1665.93/1670.61 c INPROCESSING
1665.93/1670.61 c GARBAGE COLLECT
1665.93/1670.61 c #Conflicts: 1063000 | #Constraints: 21245
1665.93/1670.61 c #Conflicts: 1064000 | #Constraints: 22245
1665.93/1670.61 c #Conflicts: 1065000 | #Constraints: 23245
1665.93/1670.61 c #Conflicts: 1066000 | #Constraints: 24245
1665.93/1670.61 c #Conflicts: 1067000 | #Constraints: 25245
1665.93/1670.61 c #Conflicts: 1068000 | #Constraints: 26245
1665.93/1670.61 c #Conflicts: 1069000 | #Constraints: 27245
1665.93/1670.61 c #Conflicts: 1070000 | #Constraints: 28245
1665.93/1670.61 c #Conflicts: 1071000 | #Constraints: 29245
1665.93/1670.61 c #Conflicts: 1072000 | #Constraints: 30245
1665.93/1670.61 c #Conflicts: 1073000 | #Constraints: 31245
1665.93/1670.61 c #Conflicts: 1074000 | #Constraints: 32245
1665.93/1670.61 c #Conflicts: 1075000 | #Constraints: 33245
1665.93/1670.61 c #Conflicts: 1076000 | #Constraints: 34245
1665.93/1670.61 c #Conflicts: 1077000 | #Constraints: 35245
1665.93/1670.61 c #Conflicts: 1078000 | #Constraints: 36245
1665.93/1670.61 c #Conflicts: 1079000 | #Constraints: 37245
1665.93/1670.61 c #Conflicts: 1080000 | #Constraints: 38245
1665.93/1670.61 c #Conflicts: 1081000 | #Constraints: 39245
1665.93/1670.61 c #Conflicts: 1082000 | #Constraints: 40245
1665.93/1670.61 c #Conflicts: 1083000 | #Constraints: 41245
1665.93/1670.61 c INPROCESSING
1665.93/1670.61 c GARBAGE COLLECT
1665.93/1670.61 c #Conflicts: 1084000 | #Constraints: 21644
1665.93/1670.61 c #Conflicts: 1085000 | #Constraints: 22644
1665.93/1670.61 c #Conflicts: 1086000 | #Constraints: 23644
1665.93/1670.61 c #Conflicts: 1087000 | #Constraints: 24644
1665.93/1670.61 c #Conflicts: 1088000 | #Constraints: 25644
1665.93/1670.61 c #Conflicts: 1089000 | #Constraints: 26644
1665.93/1670.61 c #Conflicts: 1090000 | #Constraints: 27644
1665.93/1670.61 c #Conflicts: 1091000 | #Constraints: 28644
1665.93/1670.61 c #Conflicts: 1092000 | #Constraints: 29644
1665.93/1670.61 c #Conflicts: 1093000 | #Constraints: 30644
1665.93/1670.61 c #Conflicts: 1094000 | #Constraints: 31644
1665.93/1670.61 c #Conflicts: 1095000 | #Constraints: 32644
1665.93/1670.61 c #Conflicts: 1096000 | #Constraints: 33644
1665.93/1670.61 c #Conflicts: 1097000 | #Constraints: 34644
1665.93/1670.61 c #Conflicts: 1098000 | #Constraints: 35644
1665.93/1670.61 c #Conflicts: 1099000 | #Constraints: 36644
1665.93/1670.61 c #Conflicts: 1100000 | #Constraints: 37644
1665.93/1670.61 c #Conflicts: 1101000 | #Constraints: 38644
1665.93/1670.61 c #Conflicts: 1102000 | #Constraints: 39644
1665.93/1670.61 c #Conflicts: 1103000 | #Constraints: 40644
1665.93/1670.61 c #Conflicts: 1104000 | #Constraints: 41644
1665.93/1670.61 c INPROCESSING
1665.93/1670.61 c GARBAGE COLLECT
1665.93/1670.61 c #Conflicts: 1105000 | #Constraints: 21843
1665.93/1670.61 c #Conflicts: 1106000 | #Constraints: 22843
1665.93/1670.61 c #Conflicts: 1107000 | #Constraints: 23843
1665.93/1670.61 c #Conflicts: 1108000 | #Constraints: 24843
1665.93/1670.61 c #Conflicts: 1109000 | #Constraints: 25843
1665.93/1670.61 c #Conflicts: 1110000 | #Constraints: 26843
1665.93/1670.61 c #Conflicts: 1111000 | #Constraints: 27843
1665.93/1670.61 c #Conflicts: 1112000 | #Constraints: 28843
1665.93/1670.61 c #Conflicts: 1113000 | #Constraints: 29843
1665.93/1670.61 c #Conflicts: 1114000 | #Constraints: 30843
1665.93/1670.61 c #Conflicts: 1115000 | #Constraints: 31843
1665.93/1670.61 c #Conflicts: 1116000 | #Constraints: 32843
1665.93/1670.61 c #Conflicts: 1117000 | #Constraints: 33843
1665.93/1670.61 c #Conflicts: 1118000 | #Constraints: 34843
1665.93/1670.61 c #Conflicts: 1119000 | #Constraints: 35843
1665.93/1670.61 c #Conflicts: 1120000 | #Constraints: 36843
1665.93/1670.61 c #Conflicts: 1121000 | #Constraints: 37843
1809.78/1814.83 c #Conflicts: 1122000 | #Constraints: 38843
1809.78/1814.83 c #Conflicts: 1123000 | #Constraints: 39843
1809.78/1814.83 c #Conflicts: 1124000 | #Constraints: 40843
1809.78/1814.83 c #Conflicts: 1125000 | #Constraints: 41843
1809.78/1814.83 c INPROCESSING
1809.78/1814.83 c GARBAGE COLLECT
1809.78/1814.83 c #Conflicts: 1126000 | #Constraints: 21843
1809.78/1814.83 c #Conflicts: 1127000 | #Constraints: 22843
1809.78/1814.83 c #Conflicts: 1128000 | #Constraints: 23843
1809.78/1814.83 c #Conflicts: 1129000 | #Constraints: 24843
1809.78/1814.83 c #Conflicts: 1130000 | #Constraints: 25843
1809.78/1814.83 c #Conflicts: 1131000 | #Constraints: 26843
1809.78/1814.83 c #Conflicts: 1132000 | #Constraints: 27843
1809.78/1814.83 c #Conflicts: 1133000 | #Constraints: 28843
1809.78/1814.83 c #Conflicts: 1134000 | #Constraints: 29843
1809.78/1814.83 c #Conflicts: 1135000 | #Constraints: 30843
1809.78/1814.83 c #Conflicts: 1136000 | #Constraints: 31843
1809.78/1814.83 c #Conflicts: 1137000 | #Constraints: 32843
1809.78/1814.83 c #Conflicts: 1138000 | #Constraints: 33843
1809.78/1814.83 c #Conflicts: 1139000 | #Constraints: 34843
1809.78/1814.83 c #Conflicts: 1140000 | #Constraints: 35843
1809.78/1814.83 c #Conflicts: 1141000 | #Constraints: 36843
1809.78/1814.83 c #Conflicts: 1142000 | #Constraints: 37843
1809.78/1814.83 c #Conflicts: 1143000 | #Constraints: 38843
1809.78/1814.83 c #Conflicts: 1144000 | #Constraints: 39843
1809.78/1814.83 c #Conflicts: 1145000 | #Constraints: 40843
1809.78/1814.83 c #Conflicts: 1146000 | #Constraints: 41843
1809.78/1814.83 c INPROCESSING
1809.78/1814.83 c GARBAGE COLLECT
1809.78/1814.83 c #Conflicts: 1147000 | #Constraints: 21639
1809.78/1814.83 c #Conflicts: 1148000 | #Constraints: 22639
1809.78/1814.83 c #Conflicts: 1149000 | #Constraints: 23639
1809.78/1814.83 c #Conflicts: 1150000 | #Constraints: 24639
1809.78/1814.83 c #Conflicts: 1151000 | #Constraints: 25639
1809.78/1814.83 c #Conflicts: 1152000 | #Constraints: 26639
1809.78/1814.83 c #Conflicts: 1153000 | #Constraints: 27639
1809.78/1814.83 c #Conflicts: 1154000 | #Constraints: 28639
1809.78/1814.83 c #Conflicts: 1155000 | #Constraints: 29639
1809.78/1814.83 c #Conflicts: 1156000 | #Constraints: 30639
1809.78/1814.83 c #Conflicts: 1157000 | #Constraints: 31639
1809.78/1814.83 c #Conflicts: 1158000 | #Constraints: 32639
1809.78/1814.83 c #Conflicts: 1159000 | #Constraints: 33639
1809.78/1814.83 c #Conflicts: 1160000 | #Constraints: 34639
1809.78/1814.83 c #Conflicts: 1161000 | #Constraints: 35639
1809.78/1814.83 c #Conflicts: 1162000 | #Constraints: 36639
1809.78/1814.83 c #Conflicts: 1163000 | #Constraints: 37639
1809.78/1814.83 c #Conflicts: 1164000 | #Constraints: 38639
1809.78/1814.83 c #Conflicts: 1165000 | #Constraints: 39639
1809.78/1814.83 c #Conflicts: 1166000 | #Constraints: 40639
1809.78/1814.83 c #Conflicts: 1167000 | #Constraints: 41639
1809.78/1814.83 c #Conflicts: 1168000 | #Constraints: 42639
1809.78/1814.83 c INPROCESSING
1809.78/1814.83 c GARBAGE COLLECT
1809.78/1814.83 c #Conflicts: 1169000 | #Constraints: 22243
1809.78/1814.83 c #Conflicts: 1170000 | #Constraints: 23243
1809.78/1814.83 c #Conflicts: 1171000 | #Constraints: 24243
1809.78/1814.83 c #Conflicts: 1172000 | #Constraints: 25243
1809.78/1814.83 c #Conflicts: 1173000 | #Constraints: 26243
1809.78/1814.83 c #Conflicts: 1174000 | #Constraints: 27243
1809.78/1814.83 c #Conflicts: 1175000 | #Constraints: 28243
1809.78/1814.83 c #Conflicts: 1176000 | #Constraints: 29243
1809.78/1814.83 c #Conflicts: 1177000 | #Constraints: 30243
1809.78/1814.83 c #Conflicts: 1178000 | #Constraints: 31243
1809.78/1814.83 c #Conflicts: 1179000 | #Constraints: 32243
1809.78/1814.83 c #Conflicts: 1180000 | #Constraints: 33243
1809.78/1814.83 c #Conflicts: 1181000 | #Constraints: 34243
1809.78/1814.83 c #Conflicts: 1182000 | #Constraints: 35243
1809.78/1814.83 c #Conflicts: 1183000 | #Constraints: 36243
1809.78/1814.83 c #Conflicts: 1184000 | #Constraints: 37243
1809.78/1814.83 c #Conflicts: 1185000 | #Constraints: 38243
1809.78/1814.83 c #Conflicts: 1186000 | #Constraints: 39243
1809.78/1814.83 c #Conflicts: 1187000 | #Constraints: 40243
1809.78/1814.83 c #Conflicts: 1188000 | #Constraints: 41243
1809.78/1814.83 c #Conflicts: 1189000 | #Constraints: 42243
1809.78/1814.83 c #Conflicts: 1190000 | #Constraints: 43243
1809.78/1814.83 c INPROCESSING
1809.78/1814.83 c GARBAGE COLLECT
1809.78/1814.83 c #Conflicts: 1191000 | #Constraints: 22641
1809.78/1814.83 c #Conflicts: 1192000 | #Constraints: 23641
1809.78/1814.83 c #Conflicts: 1193000 | #Constraints: 24641
1809.78/1814.83 c #Conflicts: 1194000 | #Constraints: 25641
1809.78/1814.83 c #Conflicts: 1195000 | #Constraints: 26641
1809.78/1814.83 c #Conflicts: 1196000 | #Constraints: 27641
1809.78/1814.83 c #Conflicts: 1197000 | #Constraints: 28641
1809.78/1814.83 c #Conflicts: 1198000 | #Constraints: 29641
1959.62/1965.10 c #Conflicts: 1199000 | #Constraints: 30641
1959.62/1965.10 c #Conflicts: 1200000 | #Constraints: 31641
1959.62/1965.10 c #Conflicts: 1201000 | #Constraints: 32641
1959.62/1965.10 c #Conflicts: 1202000 | #Constraints: 33641
1959.62/1965.10 c #Conflicts: 1203000 | #Constraints: 34641
1959.62/1965.10 c #Conflicts: 1204000 | #Constraints: 35641
1959.62/1965.10 c #Conflicts: 1205000 | #Constraints: 36641
1959.62/1965.10 c #Conflicts: 1206000 | #Constraints: 37641
1959.62/1965.10 c #Conflicts: 1207000 | #Constraints: 38641
1959.62/1965.10 c #Conflicts: 1208000 | #Constraints: 39641
1959.62/1965.10 c #Conflicts: 1209000 | #Constraints: 40641
1959.62/1965.10 c #Conflicts: 1210000 | #Constraints: 41641
1959.62/1965.10 c #Conflicts: 1211000 | #Constraints: 42641
1959.62/1965.10 c #Conflicts: 1212000 | #Constraints: 43641
1959.62/1965.10 c INPROCESSING
1959.62/1965.10 c GARBAGE COLLECT
1959.62/1965.10 c #Conflicts: 1213000 | #Constraints: 22843
1959.62/1965.10 c #Conflicts: 1214000 | #Constraints: 23843
1959.62/1965.10 c #Conflicts: 1215000 | #Constraints: 24843
1959.62/1965.10 c #Conflicts: 1216000 | #Constraints: 25843
1959.62/1965.10 c #Conflicts: 1217000 | #Constraints: 26843
1959.62/1965.10 c #Conflicts: 1218000 | #Constraints: 27843
1959.62/1965.10 c #Conflicts: 1219000 | #Constraints: 28843
1959.62/1965.10 c #Conflicts: 1220000 | #Constraints: 29843
1959.62/1965.10 c #Conflicts: 1221000 | #Constraints: 30843
1959.62/1965.10 c #Conflicts: 1222000 | #Constraints: 31843
1959.62/1965.10 c #Conflicts: 1223000 | #Constraints: 32843
1959.62/1965.10 c #Conflicts: 1224000 | #Constraints: 33843
1959.62/1965.10 c #Conflicts: 1225000 | #Constraints: 34843
1959.62/1965.10 c #Conflicts: 1226000 | #Constraints: 35843
1959.62/1965.10 c #Conflicts: 1227000 | #Constraints: 36843
1959.62/1965.10 c #Conflicts: 1228000 | #Constraints: 37843
1959.62/1965.10 c #Conflicts: 1229000 | #Constraints: 38843
1959.62/1965.10 c #Conflicts: 1230000 | #Constraints: 39843
1959.62/1965.10 c #Conflicts: 1231000 | #Constraints: 40843
1959.62/1965.10 c #Conflicts: 1232000 | #Constraints: 41843
1959.62/1965.10 c #Conflicts: 1233000 | #Constraints: 42843
1959.62/1965.10 c #Conflicts: 1234000 | #Constraints: 43843
1959.62/1965.10 c INPROCESSING
1959.62/1965.10 c GARBAGE COLLECT
1959.62/1965.10 c #Conflicts: 1235000 | #Constraints: 22841
1959.62/1965.10 c #Conflicts: 1236000 | #Constraints: 23841
1959.62/1965.10 c #Conflicts: 1237000 | #Constraints: 24841
1959.62/1965.10 c #Conflicts: 1238000 | #Constraints: 25841
1959.62/1965.10 c #Conflicts: 1239000 | #Constraints: 26841
1959.62/1965.10 c #Conflicts: 1240000 | #Constraints: 27841
1959.62/1965.10 c #Conflicts: 1241000 | #Constraints: 28841
1959.62/1965.10 c #Conflicts: 1242000 | #Constraints: 29841
1959.62/1965.10 c #Conflicts: 1243000 | #Constraints: 30841
1959.62/1965.10 c #Conflicts: 1244000 | #Constraints: 31841
1959.62/1965.10 c #Conflicts: 1245000 | #Constraints: 32841
1959.62/1965.10 c #Conflicts: 1246000 | #Constraints: 33841
1959.62/1965.10 c #Conflicts: 1247000 | #Constraints: 34841
1959.62/1965.10 c #Conflicts: 1248000 | #Constraints: 35841
1959.62/1965.10 c #Conflicts: 1249000 | #Constraints: 36841
1959.62/1965.10 c #Conflicts: 1250000 | #Constraints: 37841
1959.62/1965.10 c #Conflicts: 1251000 | #Constraints: 38841
1959.62/1965.10 c #Conflicts: 1252000 | #Constraints: 39841
1959.62/1965.10 c #Conflicts: 1253000 | #Constraints: 40841
1959.62/1965.10 c #Conflicts: 1254000 | #Constraints: 41841
1959.62/1965.10 c #Conflicts: 1255000 | #Constraints: 42841
1959.62/1965.10 c #Conflicts: 1256000 | #Constraints: 43841
1959.62/1965.10 c INPROCESSING
1959.62/1965.10 c GARBAGE COLLECT
1959.62/1965.10 c #Conflicts: 1257000 | #Constraints: 22639
1959.62/1965.10 c #Conflicts: 1258000 | #Constraints: 23639
1959.62/1965.10 c #Conflicts: 1259000 | #Constraints: 24639
1959.62/1965.10 c #Conflicts: 1260000 | #Constraints: 25639
1959.62/1965.10 c #Conflicts: 1261000 | #Constraints: 26639
1959.62/1965.10 c #Conflicts: 1262000 | #Constraints: 27639
1959.62/1965.10 c #Conflicts: 1263000 | #Constraints: 28639
1959.62/1965.10 c #Conflicts: 1264000 | #Constraints: 29639
1959.62/1965.10 c #Conflicts: 1265000 | #Constraints: 30639
1959.62/1965.10 c #Conflicts: 1266000 | #Constraints: 31639
1959.62/1965.10 c #Conflicts: 1267000 | #Constraints: 32639
1959.62/1965.10 c #Conflicts: 1268000 | #Constraints: 33639
1959.62/1965.10 c #Conflicts: 1269000 | #Constraints: 34639
1959.62/1965.10 c #Conflicts: 1270000 | #Constraints: 35639
1959.62/1965.10 c #Conflicts: 1271000 | #Constraints: 36639
1959.62/1965.10 c #Conflicts: 1272000 | #Constraints: 37639
1959.62/1965.10 c #Conflicts: 1273000 | #Constraints: 38639
1959.62/1965.10 c #Conflicts: 1274000 | #Constraints: 39639
2127.89/2133.74 c #Conflicts: 1275000 | #Constraints: 40639
2127.89/2133.74 c #Conflicts: 1276000 | #Constraints: 41639
2127.89/2133.74 c #Conflicts: 1277000 | #Constraints: 42639
2127.89/2133.74 c #Conflicts: 1278000 | #Constraints: 43639
2127.89/2133.74 c #Conflicts: 1279000 | #Constraints: 44639
2127.89/2133.74 c INPROCESSING
2127.89/2133.74 c GARBAGE COLLECT
2127.89/2133.74 c #Conflicts: 1280000 | #Constraints: 23237
2127.89/2133.74 c #Conflicts: 1281000 | #Constraints: 24237
2127.89/2133.74 c #Conflicts: 1282000 | #Constraints: 25237
2127.89/2133.74 c #Conflicts: 1283000 | #Constraints: 26237
2127.89/2133.74 c #Conflicts: 1284000 | #Constraints: 27237
2127.89/2133.74 c #Conflicts: 1285000 | #Constraints: 28237
2127.89/2133.74 c #Conflicts: 1286000 | #Constraints: 29237
2127.89/2133.74 c #Conflicts: 1287000 | #Constraints: 30237
2127.89/2133.74 c #Conflicts: 1288000 | #Constraints: 31237
2127.89/2133.74 c #Conflicts: 1289000 | #Constraints: 32237
2127.89/2133.74 c #Conflicts: 1290000 | #Constraints: 33237
2127.89/2133.74 c #Conflicts: 1291000 | #Constraints: 34237
2127.89/2133.74 c #Conflicts: 1292000 | #Constraints: 35237
2127.89/2133.74 c #Conflicts: 1293000 | #Constraints: 36237
2127.89/2133.74 c #Conflicts: 1294000 | #Constraints: 37237
2127.89/2133.74 c #Conflicts: 1295000 | #Constraints: 38237
2127.89/2133.74 c #Conflicts: 1296000 | #Constraints: 39237
2127.89/2133.74 c #Conflicts: 1297000 | #Constraints: 40237
2127.89/2133.74 c #Conflicts: 1298000 | #Constraints: 41237
2127.89/2133.74 c #Conflicts: 1299000 | #Constraints: 42237
2127.89/2133.74 c #Conflicts: 1300000 | #Constraints: 43237
2127.89/2133.74 c #Conflicts: 1301000 | #Constraints: 44237
2127.89/2133.74 c #Conflicts: 1302000 | #Constraints: 45237
2127.89/2133.74 c INPROCESSING
2127.89/2133.74 c GARBAGE COLLECT
2127.89/2133.74 c #Conflicts: 1303000 | #Constraints: 23636
2127.89/2133.74 c #Conflicts: 1304000 | #Constraints: 24636
2127.89/2133.74 c #Conflicts: 1305000 | #Constraints: 25636
2127.89/2133.74 c #Conflicts: 1306000 | #Constraints: 26636
2127.89/2133.74 c #Conflicts: 1307000 | #Constraints: 27636
2127.89/2133.74 c #Conflicts: 1308000 | #Constraints: 28636
2127.89/2133.74 c #Conflicts: 1309000 | #Constraints: 29636
2127.89/2133.74 c #Conflicts: 1310000 | #Constraints: 30636
2127.89/2133.74 c #Conflicts: 1311000 | #Constraints: 31636
2127.89/2133.74 c #Conflicts: 1312000 | #Constraints: 32636
2127.89/2133.74 c #Conflicts: 1313000 | #Constraints: 33636
2127.89/2133.74 c #Conflicts: 1314000 | #Constraints: 34636
2127.89/2133.74 c #Conflicts: 1315000 | #Constraints: 35636
2127.89/2133.74 c #Conflicts: 1316000 | #Constraints: 36636
2127.89/2133.74 c #Conflicts: 1317000 | #Constraints: 37636
2127.89/2133.74 c #Conflicts: 1318000 | #Constraints: 38636
2127.89/2133.74 c #Conflicts: 1319000 | #Constraints: 39636
2127.89/2133.74 c #Conflicts: 1320000 | #Constraints: 40636
2127.89/2133.74 c #Conflicts: 1321000 | #Constraints: 41636
2127.89/2133.74 c #Conflicts: 1322000 | #Constraints: 42636
2127.89/2133.74 c #Conflicts: 1323000 | #Constraints: 43636
2127.89/2133.74 c #Conflicts: 1324000 | #Constraints: 44636
2127.89/2133.74 c #Conflicts: 1325000 | #Constraints: 45636
2127.89/2133.74 c INPROCESSING
2127.89/2133.74 c GARBAGE COLLECT
2127.89/2133.74 c #Conflicts: 1326000 | #Constraints: 23838
2127.89/2133.74 c #Conflicts: 1327000 | #Constraints: 24838
2127.89/2133.74 c #Conflicts: 1328000 | #Constraints: 25838
2127.89/2133.74 c #Conflicts: 1329000 | #Constraints: 26838
2127.89/2133.74 c #Conflicts: 1330000 | #Constraints: 27838
2127.89/2133.74 c #Conflicts: 1331000 | #Constraints: 28838
2127.89/2133.74 c #Conflicts: 1332000 | #Constraints: 29838
2127.89/2133.74 c #Conflicts: 1333000 | #Constraints: 30838
2127.89/2133.74 c #Conflicts: 1334000 | #Constraints: 31838
2127.89/2133.74 c #Conflicts: 1335000 | #Constraints: 32838
2127.89/2133.74 c #Conflicts: 1336000 | #Constraints: 33838
2127.89/2133.74 c #Conflicts: 1337000 | #Constraints: 34838
2127.89/2133.74 c #Conflicts: 1338000 | #Constraints: 35838
2127.89/2133.74 c #Conflicts: 1339000 | #Constraints: 36838
2127.89/2133.74 c #Conflicts: 1340000 | #Constraints: 37838
2127.89/2133.74 c #Conflicts: 1341000 | #Constraints: 38838
2127.89/2133.74 c #Conflicts: 1342000 | #Constraints: 39838
2127.89/2133.74 c #Conflicts: 1343000 | #Constraints: 40838
2127.89/2133.74 c #Conflicts: 1344000 | #Constraints: 41838
2127.89/2133.74 c #Conflicts: 1345000 | #Constraints: 42838
2127.89/2133.74 c #Conflicts: 1346000 | #Constraints: 43838
2127.89/2133.74 c #Conflicts: 1347000 | #Constraints: 44838
2127.89/2133.74 c #Conflicts: 1348000 | #Constraints: 45838
2127.89/2133.74 c INPROCESSING
2127.89/2133.74 c GARBAGE COLLECT
2127.89/2133.74 c #Conflicts: 1349000 | #Constraints: 23837
2127.89/2133.74 c #Conflicts: 1350000 | #Constraints: 24837
2127.89/2133.74 c #Conflicts: 1351000 | #Constraints: 25837
2290.29/2296.54 c #Conflicts: 1352000 | #Constraints: 26837
2290.29/2296.54 c #Conflicts: 1353000 | #Constraints: 27837
2290.29/2296.54 c #Conflicts: 1354000 | #Constraints: 28837
2290.29/2296.54 c #Conflicts: 1355000 | #Constraints: 29837
2290.29/2296.54 c #Conflicts: 1356000 | #Constraints: 30837
2290.29/2296.54 c #Conflicts: 1357000 | #Constraints: 31837
2290.29/2296.54 c #Conflicts: 1358000 | #Constraints: 32837
2290.29/2296.54 c #Conflicts: 1359000 | #Constraints: 33837
2290.29/2296.54 c #Conflicts: 1360000 | #Constraints: 34837
2290.29/2296.54 c #Conflicts: 1361000 | #Constraints: 35837
2290.29/2296.54 c #Conflicts: 1362000 | #Constraints: 36837
2290.29/2296.54 c #Conflicts: 1363000 | #Constraints: 37837
2290.29/2296.54 c #Conflicts: 1364000 | #Constraints: 38837
2290.29/2296.54 c #Conflicts: 1365000 | #Constraints: 39837
2290.29/2296.54 c #Conflicts: 1366000 | #Constraints: 40837
2290.29/2296.54 c #Conflicts: 1367000 | #Constraints: 41837
2290.29/2296.54 c #Conflicts: 1368000 | #Constraints: 42837
2290.29/2296.54 c #Conflicts: 1369000 | #Constraints: 43837
2290.29/2296.54 c #Conflicts: 1370000 | #Constraints: 44837
2290.29/2296.54 c #Conflicts: 1371000 | #Constraints: 45837
2290.29/2296.54 c INPROCESSING
2290.29/2296.54 c GARBAGE COLLECT
2290.29/2296.54 c #Conflicts: 1372000 | #Constraints: 23639
2290.29/2296.54 c #Conflicts: 1373000 | #Constraints: 24639
2290.29/2296.54 c #Conflicts: 1374000 | #Constraints: 25639
2290.29/2296.54 c #Conflicts: 1375000 | #Constraints: 26639
2290.29/2296.54 c #Conflicts: 1376000 | #Constraints: 27639
2290.29/2296.54 c #Conflicts: 1377000 | #Constraints: 28639
2290.29/2296.54 c #Conflicts: 1378000 | #Constraints: 29639
2290.29/2296.54 c #Conflicts: 1379000 | #Constraints: 30639
2290.29/2296.54 c #Conflicts: 1380000 | #Constraints: 31639
2290.29/2296.54 c #Conflicts: 1381000 | #Constraints: 32639
2290.29/2296.54 c #Conflicts: 1382000 | #Constraints: 33639
2290.29/2296.54 c #Conflicts: 1383000 | #Constraints: 34639
2290.29/2296.54 c #Conflicts: 1384000 | #Constraints: 35639
2290.29/2296.54 c #Conflicts: 1385000 | #Constraints: 36639
2290.29/2296.54 c #Conflicts: 1386000 | #Constraints: 37639
2290.29/2296.54 c #Conflicts: 1387000 | #Constraints: 38639
2290.29/2296.54 c #Conflicts: 1388000 | #Constraints: 39639
2290.29/2296.54 c #Conflicts: 1389000 | #Constraints: 40639
2290.29/2296.54 c #Conflicts: 1390000 | #Constraints: 41639
2290.29/2296.54 c #Conflicts: 1391000 | #Constraints: 42639
2290.29/2296.54 c #Conflicts: 1392000 | #Constraints: 43639
2290.29/2296.54 c #Conflicts: 1393000 | #Constraints: 44639
2290.29/2296.54 c #Conflicts: 1394000 | #Constraints: 45639
2290.29/2296.54 c #Conflicts: 1395000 | #Constraints: 46639
2290.29/2296.54 c INPROCESSING
2290.29/2296.54 c GARBAGE COLLECT
2290.29/2296.54 c #Conflicts: 1396000 | #Constraints: 24242
2290.29/2296.54 c #Conflicts: 1397000 | #Constraints: 25242
2290.29/2296.54 c #Conflicts: 1398000 | #Constraints: 26242
2290.29/2296.54 c #Conflicts: 1399000 | #Constraints: 27242
2290.29/2296.54 c #Conflicts: 1400000 | #Constraints: 28242
2290.29/2296.54 c #Conflicts: 1401000 | #Constraints: 29242
2290.29/2296.54 c #Conflicts: 1402000 | #Constraints: 30242
2290.29/2296.54 c #Conflicts: 1403000 | #Constraints: 31242
2290.29/2296.54 c #Conflicts: 1404000 | #Constraints: 32242
2290.29/2296.54 c #Conflicts: 1405000 | #Constraints: 33242
2290.29/2296.54 c #Conflicts: 1406000 | #Constraints: 34242
2290.29/2296.54 c #Conflicts: 1407000 | #Constraints: 35242
2290.29/2296.54 c #Conflicts: 1408000 | #Constraints: 36242
2290.29/2296.54 c #Conflicts: 1409000 | #Constraints: 37242
2290.29/2296.54 c #Conflicts: 1410000 | #Constraints: 38242
2290.29/2296.54 c #Conflicts: 1411000 | #Constraints: 39242
2290.29/2296.54 c #Conflicts: 1412000 | #Constraints: 40242
2290.29/2296.54 c #Conflicts: 1413000 | #Constraints: 41242
2290.29/2296.54 c #Conflicts: 1414000 | #Constraints: 42242
2290.29/2296.54 c #Conflicts: 1415000 | #Constraints: 43242
2290.29/2296.54 c #Conflicts: 1416000 | #Constraints: 44242
2290.29/2296.54 c #Conflicts: 1417000 | #Constraints: 45242
2290.29/2296.54 c #Conflicts: 1418000 | #Constraints: 46242
2290.29/2296.54 c #Conflicts: 1419000 | #Constraints: 47242
2290.29/2296.54 c INPROCESSING
2290.29/2296.54 c GARBAGE COLLECT
2290.29/2296.54 c #Conflicts: 1420000 | #Constraints: 24639
2290.29/2296.54 c #Conflicts: 1421000 | #Constraints: 25639
2290.29/2296.54 c #Conflicts: 1422000 | #Constraints: 26639
2290.29/2296.54 c #Conflicts: 1423000 | #Constraints: 27639
2290.29/2296.54 c #Conflicts: 1424000 | #Constraints: 28639
2290.29/2296.54 c #Conflicts: 1425000 | #Constraints: 29639
2290.29/2296.54 c #Conflicts: 1426000 | #Constraints: 30639
2290.29/2296.54 c #Conflicts: 1427000 | #Constraints: 31639
2475.83/2482.53 c #Conflicts: 1428000 | #Constraints: 32639
2475.83/2482.53 c #Conflicts: 1429000 | #Constraints: 33639
2475.83/2482.53 c #Conflicts: 1430000 | #Constraints: 34639
2475.83/2482.53 c #Conflicts: 1431000 | #Constraints: 35639
2475.83/2482.53 c #Conflicts: 1432000 | #Constraints: 36639
2475.83/2482.53 c #Conflicts: 1433000 | #Constraints: 37639
2475.83/2482.53 c #Conflicts: 1434000 | #Constraints: 38639
2475.83/2482.53 c #Conflicts: 1435000 | #Constraints: 39639
2475.83/2482.53 c #Conflicts: 1436000 | #Constraints: 40639
2475.83/2482.53 c #Conflicts: 1437000 | #Constraints: 41639
2475.83/2482.53 c #Conflicts: 1438000 | #Constraints: 42639
2475.83/2482.53 c #Conflicts: 1439000 | #Constraints: 43639
2475.83/2482.53 c #Conflicts: 1440000 | #Constraints: 44639
2475.83/2482.53 c #Conflicts: 1441000 | #Constraints: 45639
2475.83/2482.53 c #Conflicts: 1442000 | #Constraints: 46639
2475.83/2482.53 c #Conflicts: 1443000 | #Constraints: 47639
2475.83/2482.53 c INPROCESSING
2475.83/2482.53 c GARBAGE COLLECT
2475.83/2482.53 c #Conflicts: 1444000 | #Constraints: 24844
2475.83/2482.53 c #Conflicts: 1445000 | #Constraints: 25844
2475.83/2482.53 c #Conflicts: 1446000 | #Constraints: 26844
2475.83/2482.53 c #Conflicts: 1447000 | #Constraints: 27844
2475.83/2482.53 c #Conflicts: 1448000 | #Constraints: 28844
2475.83/2482.53 c #Conflicts: 1449000 | #Constraints: 29844
2475.83/2482.53 c #Conflicts: 1450000 | #Constraints: 30844
2475.83/2482.53 c #Conflicts: 1451000 | #Constraints: 31844
2475.83/2482.53 c #Conflicts: 1452000 | #Constraints: 32844
2475.83/2482.53 c #Conflicts: 1453000 | #Constraints: 33844
2475.83/2482.53 c #Conflicts: 1454000 | #Constraints: 34844
2475.83/2482.53 c #Conflicts: 1455000 | #Constraints: 35844
2475.83/2482.53 c #Conflicts: 1456000 | #Constraints: 36844
2475.83/2482.53 c #Conflicts: 1457000 | #Constraints: 37844
2475.83/2482.53 c #Conflicts: 1458000 | #Constraints: 38844
2475.83/2482.53 c #Conflicts: 1459000 | #Constraints: 39844
2475.83/2482.53 c #Conflicts: 1460000 | #Constraints: 40844
2475.83/2482.53 c #Conflicts: 1461000 | #Constraints: 41844
2475.83/2482.53 c #Conflicts: 1462000 | #Constraints: 42844
2475.83/2482.53 c #Conflicts: 1463000 | #Constraints: 43844
2475.83/2482.53 c #Conflicts: 1464000 | #Constraints: 44844
2475.83/2482.53 c #Conflicts: 1465000 | #Constraints: 45844
2475.83/2482.53 c #Conflicts: 1466000 | #Constraints: 46844
2475.83/2482.53 c #Conflicts: 1467000 | #Constraints: 47844
2475.83/2482.53 c INPROCESSING
2475.83/2482.53 c GARBAGE COLLECT
2475.83/2482.53 c #Conflicts: 1468000 | #Constraints: 24841
2475.83/2482.53 c #Conflicts: 1469000 | #Constraints: 25841
2475.83/2482.53 c #Conflicts: 1470000 | #Constraints: 26841
2475.83/2482.53 c #Conflicts: 1471000 | #Constraints: 27841
2475.83/2482.53 c #Conflicts: 1472000 | #Constraints: 28841
2475.83/2482.53 c #Conflicts: 1473000 | #Constraints: 29841
2475.83/2482.53 c #Conflicts: 1474000 | #Constraints: 30841
2475.83/2482.53 c #Conflicts: 1475000 | #Constraints: 31841
2475.83/2482.53 c #Conflicts: 1476000 | #Constraints: 32841
2475.83/2482.53 c #Conflicts: 1477000 | #Constraints: 33841
2475.83/2482.53 c #Conflicts: 1478000 | #Constraints: 34841
2475.83/2482.53 c #Conflicts: 1479000 | #Constraints: 35841
2475.83/2482.53 c #Conflicts: 1480000 | #Constraints: 36841
2475.83/2482.53 c #Conflicts: 1481000 | #Constraints: 37841
2475.83/2482.53 c #Conflicts: 1482000 | #Constraints: 38841
2475.83/2482.53 c #Conflicts: 1483000 | #Constraints: 39841
2475.83/2482.53 c #Conflicts: 1484000 | #Constraints: 40841
2475.83/2482.53 c #Conflicts: 1485000 | #Constraints: 41841
2475.83/2482.53 c #Conflicts: 1486000 | #Constraints: 42841
2475.83/2482.53 c #Conflicts: 1487000 | #Constraints: 43841
2475.83/2482.53 c #Conflicts: 1488000 | #Constraints: 44841
2475.83/2482.53 c #Conflicts: 1489000 | #Constraints: 45841
2475.83/2482.53 c #Conflicts: 1490000 | #Constraints: 46841
2475.83/2482.53 c #Conflicts: 1491000 | #Constraints: 47841
2475.83/2482.53 c INPROCESSING
2475.83/2482.53 c GARBAGE COLLECT
2475.83/2482.53 c #Conflicts: 1492000 | #Constraints: 24634
2475.83/2482.53 c #Conflicts: 1493000 | #Constraints: 25634
2475.83/2482.53 c #Conflicts: 1494000 | #Constraints: 26634
2475.83/2482.53 c #Conflicts: 1495000 | #Constraints: 27634
2475.83/2482.53 c #Conflicts: 1496000 | #Constraints: 28634
2475.83/2482.53 c #Conflicts: 1497000 | #Constraints: 29634
2475.83/2482.53 c #Conflicts: 1498000 | #Constraints: 30634
2475.83/2482.53 c #Conflicts: 1499000 | #Constraints: 31634
2475.83/2482.53 c #Conflicts: 1500000 | #Constraints: 32634
2475.83/2482.53 c #Conflicts: 1501000 | #Constraints: 33634
2475.83/2482.53 c #Conflicts: 1502000 | #Constraints: 34634
2475.83/2482.53 c #Conflicts: 1503000 | #Constraints: 35634
2475.83/2482.53 c #Conflicts: 1504000 | #Constraints: 36634
2663.14/2670.38 c #Conflicts: 1505000 | #Constraints: 37634
2663.14/2670.38 c #Conflicts: 1506000 | #Constraints: 38634
2663.14/2670.38 c #Conflicts: 1507000 | #Constraints: 39634
2663.14/2670.38 c #Conflicts: 1508000 | #Constraints: 40634
2663.14/2670.38 c #Conflicts: 1509000 | #Constraints: 41634
2663.14/2670.38 c #Conflicts: 1510000 | #Constraints: 42634
2663.14/2670.38 c #Conflicts: 1511000 | #Constraints: 43634
2663.14/2670.38 c #Conflicts: 1512000 | #Constraints: 44634
2663.14/2670.38 c #Conflicts: 1513000 | #Constraints: 45634
2663.14/2670.38 c #Conflicts: 1514000 | #Constraints: 46634
2663.14/2670.38 c #Conflicts: 1515000 | #Constraints: 47634
2663.14/2670.38 c #Conflicts: 1516000 | #Constraints: 48634
2663.14/2670.38 c INPROCESSING
2663.14/2670.38 c GARBAGE COLLECT
2663.14/2670.38 c #Conflicts: 1517000 | #Constraints: 25237
2663.14/2670.38 c #Conflicts: 1518000 | #Constraints: 26237
2663.14/2670.38 c #Conflicts: 1519000 | #Constraints: 27237
2663.14/2670.38 c #Conflicts: 1520000 | #Constraints: 28237
2663.14/2670.38 c #Conflicts: 1521000 | #Constraints: 29237
2663.14/2670.38 c #Conflicts: 1522000 | #Constraints: 30237
2663.14/2670.38 c #Conflicts: 1523000 | #Constraints: 31237
2663.14/2670.38 c #Conflicts: 1524000 | #Constraints: 32237
2663.14/2670.38 c #Conflicts: 1525000 | #Constraints: 33237
2663.14/2670.38 c #Conflicts: 1526000 | #Constraints: 34237
2663.14/2670.38 c #Conflicts: 1527000 | #Constraints: 35237
2663.14/2670.38 c #Conflicts: 1528000 | #Constraints: 36237
2663.14/2670.38 c #Conflicts: 1529000 | #Constraints: 37237
2663.14/2670.38 c #Conflicts: 1530000 | #Constraints: 38237
2663.14/2670.38 c #Conflicts: 1531000 | #Constraints: 39237
2663.14/2670.38 c #Conflicts: 1532000 | #Constraints: 40237
2663.14/2670.38 c #Conflicts: 1533000 | #Constraints: 41237
2663.14/2670.38 c #Conflicts: 1534000 | #Constraints: 42237
2663.14/2670.38 c #Conflicts: 1535000 | #Constraints: 43237
2663.14/2670.38 c #Conflicts: 1536000 | #Constraints: 44237
2663.14/2670.38 c #Conflicts: 1537000 | #Constraints: 45237
2663.14/2670.38 c #Conflicts: 1538000 | #Constraints: 46237
2663.14/2670.38 c #Conflicts: 1539000 | #Constraints: 47237
2663.14/2670.38 c #Conflicts: 1540000 | #Constraints: 48237
2663.14/2670.38 c #Conflicts: 1541000 | #Constraints: 49237
2663.14/2670.38 c INPROCESSING
2663.14/2670.38 c GARBAGE COLLECT
2663.14/2670.38 c #Conflicts: 1542000 | #Constraints: 25636
2663.14/2670.38 c #Conflicts: 1543000 | #Constraints: 26636
2663.14/2670.38 c #Conflicts: 1544000 | #Constraints: 27636
2663.14/2670.38 c #Conflicts: 1545000 | #Constraints: 28636
2663.14/2670.38 c #Conflicts: 1546000 | #Constraints: 29636
2663.14/2670.38 c #Conflicts: 1547000 | #Constraints: 30636
2663.14/2670.38 c #Conflicts: 1548000 | #Constraints: 31636
2663.14/2670.38 c #Conflicts: 1549000 | #Constraints: 32636
2663.14/2670.38 c #Conflicts: 1550000 | #Constraints: 33636
2663.14/2670.38 c #Conflicts: 1551000 | #Constraints: 34636
2663.14/2670.38 c #Conflicts: 1552000 | #Constraints: 35636
2663.14/2670.38 c #Conflicts: 1553000 | #Constraints: 36636
2663.14/2670.38 c #Conflicts: 1554000 | #Constraints: 37636
2663.14/2670.38 c #Conflicts: 1555000 | #Constraints: 38636
2663.14/2670.38 c #Conflicts: 1556000 | #Constraints: 39636
2663.14/2670.38 c #Conflicts: 1557000 | #Constraints: 40636
2663.14/2670.38 c #Conflicts: 1558000 | #Constraints: 41636
2663.14/2670.38 c #Conflicts: 1559000 | #Constraints: 42636
2663.14/2670.38 c #Conflicts: 1560000 | #Constraints: 43636
2663.14/2670.38 c #Conflicts: 1561000 | #Constraints: 44636
2663.14/2670.38 c #Conflicts: 1562000 | #Constraints: 45636
2663.14/2670.38 c #Conflicts: 1563000 | #Constraints: 46636
2663.14/2670.38 c #Conflicts: 1564000 | #Constraints: 47636
2663.14/2670.38 c #Conflicts: 1565000 | #Constraints: 48636
2663.14/2670.38 c #Conflicts: 1566000 | #Constraints: 49636
2663.14/2670.38 c INPROCESSING
2663.14/2670.38 c GARBAGE COLLECT
2663.14/2670.38 c #Conflicts: 1567000 | #Constraints: 25840
2663.14/2670.38 c #Conflicts: 1568000 | #Constraints: 26840
2663.14/2670.38 c #Conflicts: 1569000 | #Constraints: 27840
2663.14/2670.38 c #Conflicts: 1570000 | #Constraints: 28840
2663.14/2670.38 c #Conflicts: 1571000 | #Constraints: 29840
2663.14/2670.38 c #Conflicts: 1572000 | #Constraints: 30840
2663.14/2670.38 c #Conflicts: 1573000 | #Constraints: 31840
2663.14/2670.38 c #Conflicts: 1574000 | #Constraints: 32840
2663.14/2670.38 c #Conflicts: 1575000 | #Constraints: 33840
2663.14/2670.38 c #Conflicts: 1576000 | #Constraints: 34840
2663.14/2670.38 c #Conflicts: 1577000 | #Constraints: 35840
2663.14/2670.38 c #Conflicts: 1578000 | #Constraints: 36840
2663.14/2670.38 c #Conflicts: 1579000 | #Constraints: 37840
2663.14/2670.38 c #Conflicts: 1580000 | #Constraints: 38840
2663.14/2670.38 c #Conflicts: 1581000 | #Constraints: 39840
2860.11/2867.89 c #Conflicts: 1582000 | #Constraints: 40840
2860.11/2867.89 c #Conflicts: 1583000 | #Constraints: 41840
2860.11/2867.89 c #Conflicts: 1584000 | #Constraints: 42840
2860.11/2867.89 c #Conflicts: 1585000 | #Constraints: 43840
2860.11/2867.89 c #Conflicts: 1586000 | #Constraints: 44840
2860.11/2867.89 c #Conflicts: 1587000 | #Constraints: 45840
2860.11/2867.89 c #Conflicts: 1588000 | #Constraints: 46840
2860.11/2867.89 c #Conflicts: 1589000 | #Constraints: 47840
2860.11/2867.89 c #Conflicts: 1590000 | #Constraints: 48840
2860.11/2867.89 c #Conflicts: 1591000 | #Constraints: 49840
2860.11/2867.89 c INPROCESSING
2860.11/2867.89 c GARBAGE COLLECT
2860.11/2867.89 c #Conflicts: 1592000 | #Constraints: 25841
2860.11/2867.89 c #Conflicts: 1593000 | #Constraints: 26841
2860.11/2867.89 c #Conflicts: 1594000 | #Constraints: 27841
2860.11/2867.89 c #Conflicts: 1595000 | #Constraints: 28841
2860.11/2867.89 c #Conflicts: 1596000 | #Constraints: 29841
2860.11/2867.89 c #Conflicts: 1597000 | #Constraints: 30841
2860.11/2867.89 c #Conflicts: 1598000 | #Constraints: 31841
2860.11/2867.89 c #Conflicts: 1599000 | #Constraints: 32841
2860.11/2867.89 c #Conflicts: 1600000 | #Constraints: 33841
2860.11/2867.89 c #Conflicts: 1601000 | #Constraints: 34841
2860.11/2867.89 c #Conflicts: 1602000 | #Constraints: 35841
2860.11/2867.89 c #Conflicts: 1603000 | #Constraints: 36841
2860.11/2867.89 c #Conflicts: 1604000 | #Constraints: 37841
2860.11/2867.89 c #Conflicts: 1605000 | #Constraints: 38841
2860.11/2867.89 c #Conflicts: 1606000 | #Constraints: 39841
2860.11/2867.89 c #Conflicts: 1607000 | #Constraints: 40841
2860.11/2867.89 c #Conflicts: 1608000 | #Constraints: 41841
2860.11/2867.89 c #Conflicts: 1609000 | #Constraints: 42841
2860.11/2867.89 c #Conflicts: 1610000 | #Constraints: 43841
2860.11/2867.89 c #Conflicts: 1611000 | #Constraints: 44841
2860.11/2867.89 c #Conflicts: 1612000 | #Constraints: 45841
2860.11/2867.89 c #Conflicts: 1613000 | #Constraints: 46841
2860.11/2867.89 c #Conflicts: 1614000 | #Constraints: 47841
2860.11/2867.89 c #Conflicts: 1615000 | #Constraints: 48841
2860.11/2867.89 c #Conflicts: 1616000 | #Constraints: 49841
2860.11/2867.89 c INPROCESSING
2860.11/2867.89 c GARBAGE COLLECT
2860.11/2867.89 c #Conflicts: 1617000 | #Constraints: 25637
2860.11/2867.89 c #Conflicts: 1618000 | #Constraints: 26637
2860.11/2867.89 c #Conflicts: 1619000 | #Constraints: 27637
2860.11/2867.89 c #Conflicts: 1620000 | #Constraints: 28637
2860.11/2867.89 c #Conflicts: 1621000 | #Constraints: 29637
2860.11/2867.89 c #Conflicts: 1622000 | #Constraints: 30637
2860.11/2867.89 c #Conflicts: 1623000 | #Constraints: 31637
2860.11/2867.89 c #Conflicts: 1624000 | #Constraints: 32637
2860.11/2867.89 c #Conflicts: 1625000 | #Constraints: 33637
2860.11/2867.89 c #Conflicts: 1626000 | #Constraints: 34637
2860.11/2867.89 c #Conflicts: 1627000 | #Constraints: 35637
2860.11/2867.89 c #Conflicts: 1628000 | #Constraints: 36637
2860.11/2867.89 c #Conflicts: 1629000 | #Constraints: 37637
2860.11/2867.89 c #Conflicts: 1630000 | #Constraints: 38637
2860.11/2867.89 c #Conflicts: 1631000 | #Constraints: 39637
2860.11/2867.89 c #Conflicts: 1632000 | #Constraints: 40637
2860.11/2867.89 c #Conflicts: 1633000 | #Constraints: 41637
2860.11/2867.89 c #Conflicts: 1634000 | #Constraints: 42637
2860.11/2867.89 c #Conflicts: 1635000 | #Constraints: 43637
2860.11/2867.89 c #Conflicts: 1636000 | #Constraints: 44637
2860.11/2867.89 c #Conflicts: 1637000 | #Constraints: 45637
2860.11/2867.89 c #Conflicts: 1638000 | #Constraints: 46637
2860.11/2867.89 c #Conflicts: 1639000 | #Constraints: 47637
2860.11/2867.89 c #Conflicts: 1640000 | #Constraints: 48637
2860.11/2867.89 c #Conflicts: 1641000 | #Constraints: 49637
2860.11/2867.89 c #Conflicts: 1642000 | #Constraints: 50637
2860.11/2867.89 c INPROCESSING
2860.11/2867.89 c GARBAGE COLLECT
2860.11/2867.89 c #Conflicts: 1643000 | #Constraints: 26238
2860.11/2867.89 c #Conflicts: 1644000 | #Constraints: 27238
2860.11/2867.89 c #Conflicts: 1645000 | #Constraints: 28238
2860.11/2867.89 c #Conflicts: 1646000 | #Constraints: 29238
2860.11/2867.89 c #Conflicts: 1647000 | #Constraints: 30238
2860.11/2867.89 c #Conflicts: 1648000 | #Constraints: 31238
2860.11/2867.89 c #Conflicts: 1649000 | #Constraints: 32238
2860.11/2867.89 c #Conflicts: 1650000 | #Constraints: 33238
2860.11/2867.89 c #Conflicts: 1651000 | #Constraints: 34238
2860.11/2867.89 c #Conflicts: 1652000 | #Constraints: 35238
2860.11/2867.89 c #Conflicts: 1653000 | #Constraints: 36238
2860.11/2867.89 c #Conflicts: 1654000 | #Constraints: 37238
2860.11/2867.89 c #Conflicts: 1655000 | #Constraints: 38238
2860.11/2867.89 c #Conflicts: 1656000 | #Constraints: 39238
2860.11/2867.89 c #Conflicts: 1657000 | #Constraints: 40238
2860.11/2867.89 c #Conflicts: 1658000 | #Constraints: 41238
3036.04/3044.22 c #Conflicts: 1659000 | #Constraints: 42238
3036.04/3044.22 c #Conflicts: 1660000 | #Constraints: 43238
3036.04/3044.22 c #Conflicts: 1661000 | #Constraints: 44238
3036.04/3044.22 c #Conflicts: 1662000 | #Constraints: 45238
3036.04/3044.22 c #Conflicts: 1663000 | #Constraints: 46238
3036.04/3044.22 c #Conflicts: 1664000 | #Constraints: 47238
3036.04/3044.22 c #Conflicts: 1665000 | #Constraints: 48238
3036.04/3044.22 c #Conflicts: 1666000 | #Constraints: 49238
3036.04/3044.22 c #Conflicts: 1667000 | #Constraints: 50238
3036.04/3044.22 c #Conflicts: 1668000 | #Constraints: 51238
3036.04/3044.22 c INPROCESSING
3036.04/3044.22 c GARBAGE COLLECT
3036.04/3044.22 c #Conflicts: 1669000 | #Constraints: 26636
3036.04/3044.22 c #Conflicts: 1670000 | #Constraints: 27636
3036.04/3044.22 c #Conflicts: 1671000 | #Constraints: 28636
3036.04/3044.22 c #Conflicts: 1672000 | #Constraints: 29636
3036.04/3044.22 c #Conflicts: 1673000 | #Constraints: 30636
3036.04/3044.22 c #Conflicts: 1674000 | #Constraints: 31636
3036.04/3044.22 c #Conflicts: 1675000 | #Constraints: 32636
3036.04/3044.22 c #Conflicts: 1676000 | #Constraints: 33636
3036.04/3044.22 c #Conflicts: 1677000 | #Constraints: 34636
3036.04/3044.22 c #Conflicts: 1678000 | #Constraints: 35636
3036.04/3044.22 c #Conflicts: 1679000 | #Constraints: 36636
3036.04/3044.22 c #Conflicts: 1680000 | #Constraints: 37636
3036.04/3044.22 c #Conflicts: 1681000 | #Constraints: 38636
3036.04/3044.22 c #Conflicts: 1682000 | #Constraints: 39636
3036.04/3044.22 c #Conflicts: 1683000 | #Constraints: 40636
3036.04/3044.22 c #Conflicts: 1684000 | #Constraints: 41636
3036.04/3044.22 c #Conflicts: 1685000 | #Constraints: 42636
3036.04/3044.22 c #Conflicts: 1686000 | #Constraints: 43636
3036.04/3044.22 c #Conflicts: 1687000 | #Constraints: 44636
3036.04/3044.22 c #Conflicts: 1688000 | #Constraints: 45636
3036.04/3044.22 c #Conflicts: 1689000 | #Constraints: 46636
3036.04/3044.22 c #Conflicts: 1690000 | #Constraints: 47636
3036.04/3044.22 c #Conflicts: 1691000 | #Constraints: 48636
3036.04/3044.22 c #Conflicts: 1692000 | #Constraints: 49636
3036.04/3044.22 c #Conflicts: 1693000 | #Constraints: 50636
3036.04/3044.22 c #Conflicts: 1694000 | #Constraints: 51636
3036.04/3044.22 c INPROCESSING
3036.04/3044.22 c GARBAGE COLLECT
3036.04/3044.22 c #Conflicts: 1695000 | #Constraints: 26836
3036.04/3044.22 c #Conflicts: 1696000 | #Constraints: 27836
3036.04/3044.22 c #Conflicts: 1697000 | #Constraints: 28836
3036.04/3044.22 c #Conflicts: 1698000 | #Constraints: 29836
3036.04/3044.22 c #Conflicts: 1699000 | #Constraints: 30836
3036.04/3044.22 c #Conflicts: 1700000 | #Constraints: 31836
3036.04/3044.22 c #Conflicts: 1701000 | #Constraints: 32836
3036.04/3044.22 c #Conflicts: 1702000 | #Constraints: 33836
3036.04/3044.22 c #Conflicts: 1703000 | #Constraints: 34836
3036.04/3044.22 c #Conflicts: 1704000 | #Constraints: 35836
3036.04/3044.22 c #Conflicts: 1705000 | #Constraints: 36836
3036.04/3044.22 c #Conflicts: 1706000 | #Constraints: 37836
3036.04/3044.22 c #Conflicts: 1707000 | #Constraints: 38836
3036.04/3044.22 c #Conflicts: 1708000 | #Constraints: 39836
3036.04/3044.22 c #Conflicts: 1709000 | #Constraints: 40836
3036.04/3044.22 c #Conflicts: 1710000 | #Constraints: 41836
3036.04/3044.22 c #Conflicts: 1711000 | #Constraints: 42836
3036.04/3044.22 c #Conflicts: 1712000 | #Constraints: 43836
3036.04/3044.22 c #Conflicts: 1713000 | #Constraints: 44836
3036.04/3044.22 c #Conflicts: 1714000 | #Constraints: 45836
3036.04/3044.22 c #Conflicts: 1715000 | #Constraints: 46836
3036.04/3044.22 c #Conflicts: 1716000 | #Constraints: 47836
3036.04/3044.22 c #Conflicts: 1717000 | #Constraints: 48836
3036.04/3044.22 c #Conflicts: 1718000 | #Constraints: 49836
3036.04/3044.22 c #Conflicts: 1719000 | #Constraints: 50836
3036.04/3044.22 c #Conflicts: 1720000 | #Constraints: 51836
3036.04/3044.22 c INPROCESSING
3036.04/3044.22 c GARBAGE COLLECT
3036.04/3044.22 c #Conflicts: 1721000 | #Constraints: 26836
3036.04/3044.22 c #Conflicts: 1722000 | #Constraints: 27836
3036.04/3044.22 c #Conflicts: 1723000 | #Constraints: 28836
3036.04/3044.22 c #Conflicts: 1724000 | #Constraints: 29836
3036.04/3044.22 c #Conflicts: 1725000 | #Constraints: 30836
3036.04/3044.22 c #Conflicts: 1726000 | #Constraints: 31836
3036.04/3044.22 c #Conflicts: 1727000 | #Constraints: 32836
3036.04/3044.22 c #Conflicts: 1728000 | #Constraints: 33836
3036.04/3044.22 c #Conflicts: 1729000 | #Constraints: 34836
3036.04/3044.22 c #Conflicts: 1730000 | #Constraints: 35836
3036.04/3044.22 c #Conflicts: 1731000 | #Constraints: 36836
3036.04/3044.22 c #Conflicts: 1732000 | #Constraints: 37836
3036.04/3044.22 c #Conflicts: 1733000 | #Constraints: 38836
3036.04/3044.22 c #Conflicts: 1734000 | #Constraints: 39836
3036.04/3044.22 c #Conflicts: 1735000 | #Constraints: 40836
3219.57/3228.27 c #Conflicts: 1736000 | #Constraints: 41836
3219.57/3228.27 c #Conflicts: 1737000 | #Constraints: 42836
3219.57/3228.27 c #Conflicts: 1738000 | #Constraints: 43836
3219.57/3228.27 c #Conflicts: 1739000 | #Constraints: 44836
3219.57/3228.27 c #Conflicts: 1740000 | #Constraints: 45836
3219.57/3228.27 c #Conflicts: 1741000 | #Constraints: 46836
3219.57/3228.27 c #Conflicts: 1742000 | #Constraints: 47836
3219.57/3228.27 c #Conflicts: 1743000 | #Constraints: 48836
3219.57/3228.27 c #Conflicts: 1744000 | #Constraints: 49836
3219.57/3228.27 c #Conflicts: 1745000 | #Constraints: 50836
3219.57/3228.27 c #Conflicts: 1746000 | #Constraints: 51836
3219.57/3228.27 c INPROCESSING
3219.57/3228.27 c GARBAGE COLLECT
3219.57/3228.27 c #Conflicts: 1747000 | #Constraints: 26636
3219.57/3228.27 c #Conflicts: 1748000 | #Constraints: 27636
3219.57/3228.27 c #Conflicts: 1749000 | #Constraints: 28636
3219.57/3228.27 c #Conflicts: 1750000 | #Constraints: 29636
3219.57/3228.27 c #Conflicts: 1751000 | #Constraints: 30636
3219.57/3228.27 c #Conflicts: 1752000 | #Constraints: 31636
3219.57/3228.27 c #Conflicts: 1753000 | #Constraints: 32636
3219.57/3228.27 c #Conflicts: 1754000 | #Constraints: 33636
3219.57/3228.27 c #Conflicts: 1755000 | #Constraints: 34636
3219.57/3228.27 c #Conflicts: 1756000 | #Constraints: 35636
3219.57/3228.27 c #Conflicts: 1757000 | #Constraints: 36636
3219.57/3228.27 c #Conflicts: 1758000 | #Constraints: 37636
3219.57/3228.27 c #Conflicts: 1759000 | #Constraints: 38636
3219.57/3228.27 c #Conflicts: 1760000 | #Constraints: 39636
3219.57/3228.27 c #Conflicts: 1761000 | #Constraints: 40636
3219.57/3228.27 c #Conflicts: 1762000 | #Constraints: 41636
3219.57/3228.27 c #Conflicts: 1763000 | #Constraints: 42636
3219.57/3228.27 c #Conflicts: 1764000 | #Constraints: 43636
3219.57/3228.27 c #Conflicts: 1765000 | #Constraints: 44636
3219.57/3228.27 c #Conflicts: 1766000 | #Constraints: 45636
3219.57/3228.27 c #Conflicts: 1767000 | #Constraints: 46636
3219.57/3228.27 c #Conflicts: 1768000 | #Constraints: 47636
3219.57/3228.27 c #Conflicts: 1769000 | #Constraints: 48636
3219.57/3228.27 c #Conflicts: 1770000 | #Constraints: 49636
3219.57/3228.27 c #Conflicts: 1771000 | #Constraints: 50636
3219.57/3228.27 c #Conflicts: 1772000 | #Constraints: 51636
3219.57/3228.27 c #Conflicts: 1773000 | #Constraints: 52636
3219.57/3228.27 c INPROCESSING
3219.57/3228.27 c GARBAGE COLLECT
3219.57/3228.27 c #Conflicts: 1774000 | #Constraints: 27238
3219.57/3228.27 c #Conflicts: 1775000 | #Constraints: 28238
3219.57/3228.27 c #Conflicts: 1776000 | #Constraints: 29238
3219.57/3228.27 c #Conflicts: 1777000 | #Constraints: 30238
3219.57/3228.27 c #Conflicts: 1778000 | #Constraints: 31238
3219.57/3228.27 c #Conflicts: 1779000 | #Constraints: 32238
3219.57/3228.27 c #Conflicts: 1780000 | #Constraints: 33238
3219.57/3228.27 c #Conflicts: 1781000 | #Constraints: 34238
3219.57/3228.27 c #Conflicts: 1782000 | #Constraints: 35238
3219.57/3228.27 c #Conflicts: 1783000 | #Constraints: 36238
3219.57/3228.27 c #Conflicts: 1784000 | #Constraints: 37238
3219.57/3228.27 c #Conflicts: 1785000 | #Constraints: 38238
3219.57/3228.27 c #Conflicts: 1786000 | #Constraints: 39238
3219.57/3228.27 c #Conflicts: 1787000 | #Constraints: 40238
3219.57/3228.27 c #Conflicts: 1788000 | #Constraints: 41238
3219.57/3228.27 c #Conflicts: 1789000 | #Constraints: 42238
3219.57/3228.27 c #Conflicts: 1790000 | #Constraints: 43238
3219.57/3228.27 c #Conflicts: 1791000 | #Constraints: 44238
3219.57/3228.27 c #Conflicts: 1792000 | #Constraints: 45238
3219.57/3228.27 c #Conflicts: 1793000 | #Constraints: 46238
3219.57/3228.27 c #Conflicts: 1794000 | #Constraints: 47238
3219.57/3228.27 c #Conflicts: 1795000 | #Constraints: 48238
3219.57/3228.27 c #Conflicts: 1796000 | #Constraints: 49238
3219.57/3228.27 c #Conflicts: 1797000 | #Constraints: 50238
3219.57/3228.27 c #Conflicts: 1798000 | #Constraints: 51238
3219.57/3228.27 c #Conflicts: 1799000 | #Constraints: 52238
3219.57/3228.27 c #Conflicts: 1800000 | #Constraints: 53238
3219.57/3228.27 c INPROCESSING
3219.57/3228.27 c GARBAGE COLLECT
3219.57/3228.27 c #Conflicts: 1801000 | #Constraints: 27640
3219.57/3228.27 c #Conflicts: 1802000 | #Constraints: 28640
3219.57/3228.27 c #Conflicts: 1803000 | #Constraints: 29640
3219.57/3228.27 c #Conflicts: 1804000 | #Constraints: 30640
3219.57/3228.27 c #Conflicts: 1805000 | #Constraints: 31640
3219.57/3228.27 c #Conflicts: 1806000 | #Constraints: 32640
3219.57/3228.27 c #Conflicts: 1807000 | #Constraints: 33640
3219.57/3228.27 c #Conflicts: 1808000 | #Constraints: 34640
3219.57/3228.27 c #Conflicts: 1809000 | #Constraints: 35640
3219.57/3228.27 c #Conflicts: 1810000 | #Constraints: 36640
3219.57/3228.27 c #Conflicts: 1811000 | #Constraints: 37640
3219.57/3228.27 c #Conflicts: 1812000 | #Constraints: 38640
3419.75/3428.97 c #Conflicts: 1813000 | #Constraints: 39640
3419.75/3428.97 c #Conflicts: 1814000 | #Constraints: 40640
3419.75/3428.97 c #Conflicts: 1815000 | #Constraints: 41640
3419.75/3428.97 c #Conflicts: 1816000 | #Constraints: 42640
3419.75/3428.97 c #Conflicts: 1817000 | #Constraints: 43640
3419.75/3428.97 c #Conflicts: 1818000 | #Constraints: 44640
3419.75/3428.97 c #Conflicts: 1819000 | #Constraints: 45640
3419.75/3428.97 c #Conflicts: 1820000 | #Constraints: 46640
3419.75/3428.97 c #Conflicts: 1821000 | #Constraints: 47640
3419.75/3428.97 c #Conflicts: 1822000 | #Constraints: 48640
3419.75/3428.97 c #Conflicts: 1823000 | #Constraints: 49640
3419.75/3428.97 c #Conflicts: 1824000 | #Constraints: 50640
3419.75/3428.97 c #Conflicts: 1825000 | #Constraints: 51640
3419.75/3428.97 c #Conflicts: 1826000 | #Constraints: 52640
3419.75/3428.97 c #Conflicts: 1827000 | #Constraints: 53640
3419.75/3428.97 c INPROCESSING
3419.75/3428.97 c GARBAGE COLLECT
3419.75/3428.97 c #Conflicts: 1828000 | #Constraints: 27841
3419.75/3428.97 c #Conflicts: 1829000 | #Constraints: 28841
3419.75/3428.97 c #Conflicts: 1830000 | #Constraints: 29841
3419.75/3428.97 c #Conflicts: 1831000 | #Constraints: 30841
3419.75/3428.97 c #Conflicts: 1832000 | #Constraints: 31841
3419.75/3428.97 c #Conflicts: 1833000 | #Constraints: 32841
3419.75/3428.97 c #Conflicts: 1834000 | #Constraints: 33841
3419.75/3428.97 c #Conflicts: 1835000 | #Constraints: 34841
3419.75/3428.97 c #Conflicts: 1836000 | #Constraints: 35841
3419.75/3428.97 c #Conflicts: 1837000 | #Constraints: 36841
3419.75/3428.97 c #Conflicts: 1838000 | #Constraints: 37841
3419.75/3428.97 c #Conflicts: 1839000 | #Constraints: 38841
3419.75/3428.97 c #Conflicts: 1840000 | #Constraints: 39841
3419.75/3428.97 c #Conflicts: 1841000 | #Constraints: 40841
3419.75/3428.97 c #Conflicts: 1842000 | #Constraints: 41841
3419.75/3428.97 c #Conflicts: 1843000 | #Constraints: 42841
3419.75/3428.97 c #Conflicts: 1844000 | #Constraints: 43841
3419.75/3428.97 c #Conflicts: 1845000 | #Constraints: 44841
3419.75/3428.97 c #Conflicts: 1846000 | #Constraints: 45841
3419.75/3428.97 c #Conflicts: 1847000 | #Constraints: 46841
3419.75/3428.97 c #Conflicts: 1848000 | #Constraints: 47841
3419.75/3428.97 c #Conflicts: 1849000 | #Constraints: 48841
3419.75/3428.97 c #Conflicts: 1850000 | #Constraints: 49841
3419.75/3428.97 c #Conflicts: 1851000 | #Constraints: 50841
3419.75/3428.97 c #Conflicts: 1852000 | #Constraints: 51841
3419.75/3428.97 c #Conflicts: 1853000 | #Constraints: 52841
3419.75/3428.97 c #Conflicts: 1854000 | #Constraints: 53841
3419.75/3428.97 c INPROCESSING
3419.75/3428.97 c GARBAGE COLLECT
3419.75/3428.97 c #Conflicts: 1855000 | #Constraints: 27841
3419.75/3428.97 c #Conflicts: 1856000 | #Constraints: 28841
3419.75/3428.97 c #Conflicts: 1857000 | #Constraints: 29841
3419.75/3428.97 c #Conflicts: 1858000 | #Constraints: 30841
3419.75/3428.97 c #Conflicts: 1859000 | #Constraints: 31841
3419.75/3428.97 c #Conflicts: 1860000 | #Constraints: 32841
3419.75/3428.97 c #Conflicts: 1861000 | #Constraints: 33841
3419.75/3428.97 c #Conflicts: 1862000 | #Constraints: 34841
3419.75/3428.97 c #Conflicts: 1863000 | #Constraints: 35841
3419.75/3428.97 c #Conflicts: 1864000 | #Constraints: 36841
3419.75/3428.97 c #Conflicts: 1865000 | #Constraints: 37841
3419.75/3428.97 c #Conflicts: 1866000 | #Constraints: 38841
3419.75/3428.97 c #Conflicts: 1867000 | #Constraints: 39841
3419.75/3428.97 c #Conflicts: 1868000 | #Constraints: 40841
3419.75/3428.97 c #Conflicts: 1869000 | #Constraints: 41841
3419.75/3428.97 c #Conflicts: 1870000 | #Constraints: 42841
3419.75/3428.97 c #Conflicts: 1871000 | #Constraints: 43841
3419.75/3428.97 c #Conflicts: 1872000 | #Constraints: 44841
3419.75/3428.97 c #Conflicts: 1873000 | #Constraints: 45841
3419.75/3428.97 c #Conflicts: 1874000 | #Constraints: 46841
3419.75/3428.97 c #Conflicts: 1875000 | #Constraints: 47841
3419.75/3428.97 c #Conflicts: 1876000 | #Constraints: 48841
3419.75/3428.97 c #Conflicts: 1877000 | #Constraints: 49841
3419.75/3428.97 c #Conflicts: 1878000 | #Constraints: 50841
3419.75/3428.97 c #Conflicts: 1879000 | #Constraints: 51841
3419.75/3428.97 c #Conflicts: 1880000 | #Constraints: 52841
3419.75/3428.97 c #Conflicts: 1881000 | #Constraints: 53841
3419.75/3428.97 c INPROCESSING
3419.75/3428.97 c GARBAGE COLLECT
3419.75/3428.97 c #Conflicts: 1882000 | #Constraints: 27638
3419.75/3428.97 c #Conflicts: 1883000 | #Constraints: 28638
3419.75/3428.97 c #Conflicts: 1884000 | #Constraints: 29638
3419.75/3428.97 c #Conflicts: 1885000 | #Constraints: 30638
3419.75/3428.97 c #Conflicts: 1886000 | #Constraints: 31638
3419.75/3428.97 c #Conflicts: 1887000 | #Constraints: 32638
3419.75/3428.97 c #Conflicts: 1888000 | #Constraints: 33638
3419.75/3428.97 c #Conflicts: 1889000 | #Constraints: 34638
3600.08/3609.70 c #Conflicts: 1890000 | #Constraints: 35638
3600.08/3609.70 c #Conflicts: 1891000 | #Constraints: 36638
3600.08/3609.70 c #Conflicts: 1892000 | #Constraints: 37638
3600.08/3609.70 c #Conflicts: 1893000 | #Constraints: 38638
3600.08/3609.70 c #Conflicts: 1894000 | #Constraints: 39638
3600.08/3609.70 c #Conflicts: 1895000 | #Constraints: 40638
3600.08/3609.70 c #Conflicts: 1896000 | #Constraints: 41638
3600.08/3609.70 c #Conflicts: 1897000 | #Constraints: 42638
3600.08/3609.70 c #Conflicts: 1898000 | #Constraints: 43638
3600.08/3609.70 c #Conflicts: 1899000 | #Constraints: 44638
3600.08/3609.70 c #Conflicts: 1900000 | #Constraints: 45638
3600.08/3609.70 c #Conflicts: 1901000 | #Constraints: 46638
3600.08/3609.70 c #Conflicts: 1902000 | #Constraints: 47638
3600.08/3609.70 c #Conflicts: 1903000 | #Constraints: 48638
3600.08/3609.70 c #Conflicts: 1904000 | #Constraints: 49638
3600.08/3609.70 c #Conflicts: 1905000 | #Constraints: 50638
3600.08/3609.70 c #Conflicts: 1906000 | #Constraints: 51638
3600.08/3609.70 c #Conflicts: 1907000 | #Constraints: 52638
3600.08/3609.70 c #Conflicts: 1908000 | #Constraints: 53638
3600.08/3609.70 c #Conflicts: 1909000 | #Constraints: 54638
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 1910000 | #Constraints: 28241
3600.08/3609.70 c #Conflicts: 1911000 | #Constraints: 29241
3600.08/3609.70 c #Conflicts: 1912000 | #Constraints: 30241
3600.08/3609.70 c #Conflicts: 1913000 | #Constraints: 31241
3600.08/3609.70 c #Conflicts: 1914000 | #Constraints: 32241
3600.08/3609.70 c #Conflicts: 1915000 | #Constraints: 33241
3600.08/3609.70 c #Conflicts: 1916000 | #Constraints: 34241
3600.08/3609.70 c #Conflicts: 1917000 | #Constraints: 35241
3600.08/3609.70 c #Conflicts: 1918000 | #Constraints: 36241
3600.08/3609.70 c #Conflicts: 1919000 | #Constraints: 37241
3600.08/3609.70 c #Conflicts: 1920000 | #Constraints: 38241
3600.08/3609.70 c #Conflicts: 1921000 | #Constraints: 39241
3600.08/3609.70 c #Conflicts: 1922000 | #Constraints: 40241
3600.08/3609.70 c #Conflicts: 1923000 | #Constraints: 41241
3600.08/3609.70 c #Conflicts: 1924000 | #Constraints: 42241
3600.08/3609.70 c #Conflicts: 1925000 | #Constraints: 43241
3600.08/3609.70 c #Conflicts: 1926000 | #Constraints: 44241
3600.08/3609.70 c #Conflicts: 1927000 | #Constraints: 45241
3600.08/3609.70 c #Conflicts: 1928000 | #Constraints: 46241
3600.08/3609.70 c #Conflicts: 1929000 | #Constraints: 47241
3600.08/3609.70 c #Conflicts: 1930000 | #Constraints: 48241
3600.08/3609.70 c #Conflicts: 1931000 | #Constraints: 49241
3600.08/3609.70 c #Conflicts: 1932000 | #Constraints: 50241
3600.08/3609.70 c #Conflicts: 1933000 | #Constraints: 51241
3600.08/3609.70 c #Conflicts: 1934000 | #Constraints: 52241
3600.08/3609.70 c #Conflicts: 1935000 | #Constraints: 53241
3600.08/3609.70 c #Conflicts: 1936000 | #Constraints: 54241
3600.08/3609.70 c #Conflicts: 1937000 | #Constraints: 55241
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 1938000 | #Constraints: 28640
3600.08/3609.70 c #Conflicts: 1939000 | #Constraints: 29640
3600.08/3609.70 c #Conflicts: 1940000 | #Constraints: 30640
3600.08/3609.70 c #Conflicts: 1941000 | #Constraints: 31640
3600.08/3609.70 c #Conflicts: 1942000 | #Constraints: 32640
3600.08/3609.70 c #Conflicts: 1943000 | #Constraints: 33640
3600.08/3609.70 c #Conflicts: 1944000 | #Constraints: 34640
3600.08/3609.70 c #Conflicts: 1945000 | #Constraints: 35640
3600.08/3609.70 c #Conflicts: 1946000 | #Constraints: 36640
3600.08/3609.70 c #Conflicts: 1947000 | #Constraints: 37640
3600.08/3609.70 c #Conflicts: 1948000 | #Constraints: 38640
3600.08/3609.70 c #Conflicts: 1949000 | #Constraints: 39640
3600.08/3609.70 c #Conflicts: 1950000 | #Constraints: 40640
3600.08/3609.70 c #Conflicts: 1951000 | #Constraints: 41640
3600.08/3609.70 c #Conflicts: 1952000 | #Constraints: 42640
3600.08/3609.70 c #Conflicts: 1953000 | #Constraints: 43640
3600.08/3609.70 c #Conflicts: 1954000 | #Constraints: 44640
3600.08/3609.70 c #Conflicts: 1955000 | #Constraints: 45640
3600.08/3609.70 c #Conflicts: 1956000 | #Constraints: 46640
3600.08/3609.70 c #Conflicts: 1957000 | #Constraints: 47640
3600.08/3609.70 c #Conflicts: 1958000 | #Constraints: 48640
3600.08/3609.70 c #Conflicts: 1959000 | #Constraints: 49640
3600.08/3609.70 c #Conflicts: 1960000 | #Constraints: 50640
3600.08/3609.70 c Program interrupted by user.
3600.08/3609.70 c cpu time 3591.71 s
3600.08/3609.70 c deterministic time 574063049318 5.74e+11
3600.08/3609.70 c optimization time 57.4429 s
3600.08/3609.70 c total solve time 3234.73 s
3600.08/3609.70 c core-guided solve time 3234.73 s
3600.08/3609.70 c propagation time 3141.34 s
3600.08/3609.70 c conflict analysis time 134.634 s
3600.08/3609.70 c propagations 28377996
3600.08/3609.70 c resolve steps 9634599
3600.08/3609.70 c decisions 4184944
3600.08/3609.70 c conflicts 1960044
3600.08/3609.70 c restarts 3835
3600.08/3609.70 c inprocessing phases 130
3600.08/3609.70 c input clauses 0
3600.08/3609.70 c input cardinalities 0
3600.08/3609.70 c input general constraints 20
3600.08/3609.70 c input average constraint length 88.50
3600.08/3609.70 c input average constraint degree 1877.55
3600.08/3609.70 c learned clauses 868120
3600.08/3609.70 c learned cardinalities 0
3600.08/3609.70 c learned general constraints 1091923
3600.08/3609.70 c learned average constraint length 89.61
3600.08/3609.70 c learned average constraint degree 471038.48
3600.08/3609.70 c watched constraints 1091529
3600.08/3609.70 c counting constraints 414
3600.08/3609.70 c gcd simplifications 764875
3600.08/3609.70 c detected cardinalities 0
3600.08/3609.70 c weakened non-implied lits 45505315
3600.08/3609.70 c weakened non-implying lits 2205631
3600.08/3609.70 c original variables 198
3600.08/3609.70 c clausal propagations 425110
3600.08/3609.70 c cardinality propagations 0
3600.08/3609.70 c watched propagations 24905007
3600.08/3609.70 c counting propagations 1733836
3600.08/3609.70 c watch lookups 24128600000
3600.08/3609.70 c watch backjump lookups 6584842852
3600.08/3609.70 c watch checks 503053024509
3600.08/3609.70 c propagation checks 39033887328
3600.08/3609.70 c constraint additions 1195608870
3600.08/3609.70 c trail pops 34522818
3600.08/3609.70 c formula constraints 16
3600.08/3609.70 c learned constraints 1960043
3600.08/3609.70 c bound constraints 4
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 2112433
3600.08/3609.70 c encountered learned constraints 9482111
3600.08/3609.70 c encountered bound constraints 99
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 0 s
3600.08/3609.70 c LP solve time 0 s
3600.08/3609.70 c LP constraints added 0
3600.08/3609.70 c LP constraints removed 0
3600.08/3609.70 c LP pivots internal 0
3600.08/3609.70 c LP pivots root 0
3600.08/3609.70 c LP calls 0
3600.08/3609.70 c LP optimalities 0
3600.08/3609.70 c LP no pivot count 0
3600.08/3609.70 c LP infeasibilities 0
3600.08/3609.70 c LP valid Farkas constraints 0
3600.08/3609.70 c LP learned Farkas constraints 0
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 0
3600.08/3609.70 c LP learned cuts 0
3600.08/3609.70 c LP deleted cuts 0
3600.08/3609.70 c LP encountered Gomory constraints 0
3600.08/3609.70 c LP encountered Farkas constraints 0
3600.08/3609.70 c LP encountered learned Farkas constraints 0
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 3
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG exhausted 0
3600.08/3609.70 c CG exhaust time 0 s
3600.08/3609.70 c CG trimmed 0
3600.08/3609.70 c CG trim time 0 s
3600.08/3609.70 c CG minimized 0
3600.08/3609.70 c CG minimize time 0 s
3600.08/3609.70 c CG am1 prop time 0.00021 s
3600.08/3609.70 c CG # am1s reformulated 0
3600.08/3609.70 c CG lower bound derived from am1s 0
3600.08/3609.70 c CG # clausal cores 0
3600.08/3609.70 c CG # cardinality cores 0
3600.08/3609.70 c CG # pb cores 0
3600.08/3609.70 c CG # pb reforms 0
3600.08/3609.70 c CG # cores discarded because of pb reform 0
3600.08/3609.70 d LOWERBOUND 0
3600.08/3609.70 d NCORES 0
3600.08/3609.70 d NPBCORES 0
3600.08/3609.70 d NPBREFORM 0
3600.08/3609.70 d NTRIMMED 0
3600.08/3609.70 d NEXHAUSTED 0
3600.08/3609.70 d NAM1S 0
3600.08/3609.70 d AM1LB 0
3600.08/3609.70 c [Papilo Statistics]
3600.08/3609.70 c prepro time 0.000390407s
3600.08/3609.70 c # tsx applied 8
3600.08/3609.70 c # tsx conflicts 0
3600.08/3609.70 c # bound changes 0
3600.08/3609.70 c # side changes 8
3600.08/3609.70 c # coef changes 0
3600.08/3609.70 c # rounds 2
3600.08/3609.70 c # deted vars 0
3600.08/3609.70 c # deted constrs 8
3600.08/3609.70 c # consecutive rounds of only bound changes 0
3600.08/3609.70 c [STEP] postprocessing with Papilo
3600.08/3609.70 o 37
3600.08/3609.70 s SATISFIABLE
3600.08/3609.70 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: 63665 MiB (62629 MiB free)
memory of node 1: 64507 MiB (63952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490417-1751368351/watcher-4490417-1751368351 -o /tmp/evaluation-result-4490417-1751368351/solver-4490417-1751368351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48387 --watchdog 3760 mixed-bag HOME/instance-4490417-1751368351.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=49511, runsolver pid=49508
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 49512
/proc/meminfo: memFree=129600648/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=105420 memory=31232 CPUtime=0.09 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 3969 0 0 0 8 1 0 0 20 0 1 0 52515038 107950080 7808 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 26355 7808 4256 2842 0 8049 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105420 KiB
Current children cumulated memory: 31232 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 49512
/proc/meminfo: memFree=129592584/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=116456 memory=41472 CPUtime=0.19 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 6502 0 0 0 18 1 0 0 20 0 1 0 52515038 119250944 10368 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 29114 10368 4288 2842 0 10808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 116456 KiB
Current children cumulated memory: 41472 KiB
[startup+0.305408 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 49512
/proc/meminfo: memFree=129592584/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=115680 memory=40876 CPUtime=0.29 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 6614 0 0 0 28 1 0 0 20 0 1 0 52515038 118456320 10219 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 28920 10219 4288 2842 0 10614 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115680 KiB
Current children cumulated memory: 40876 KiB
[startup+0.700139 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 49518
/proc/meminfo: memFree=129592356/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=116948 memory=42068 CPUtime=0.67 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 7042 0 0 0 66 1 0 0 20 0 1 0 52515038 119754752 10517 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 29237 10517 4288 2842 0 10931 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 116948 KiB
Current children cumulated memory: 42068 KiB
[startup+1.50013 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49543
/proc/meminfo: memFree=129609504/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=127836 memory=51536 CPUtime=1.48 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 9606 0 0 0 146 2 0 0 20 0 1 0 52515038 130904064 12884 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 31959 12884 4288 2842 0 13653 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127836 KiB
Current children cumulated memory: 51536 KiB
[startup+3.1052 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49544
/proc/meminfo: memFree=129595148/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=129916 memory=54992 CPUtime=3.08 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 10463 0 0 0 306 2 0 0 20 0 1 0 52515038 133033984 13748 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 32479 13748 4288 2842 0 14173 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129916 KiB
Current children cumulated memory: 54992 KiB
[startup+6.30011 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 49544
/proc/meminfo: memFree=129584840/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=139560 memory=65052 CPUtime=6.26 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 14221 0 0 0 623 3 0 0 20 0 1 0 52515038 142909440 16263 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 34890 16263 4448 2842 0 16584 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139560 KiB
Current children cumulated memory: 65052 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49544
/proc/meminfo: memFree=129547292/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=166044 memory=91164 CPUtime=12.64 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 20737 0 0 0 1260 4 0 0 20 0 1 0 52515038 170029056 22791 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 41511 22791 4448 2842 0 23205 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 166044 KiB
Current children cumulated memory: 91164 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 49544
/proc/meminfo: memFree=129497088/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=192896 memory=115268 CPUtime=25.39 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 28566 0 0 0 2534 5 0 0 20 0 1 0 52515038 197525504 28817 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 48224 28817 4448 2842 0 29918 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 192896 KiB
Current children cumulated memory: 115268 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 49589
/proc/meminfo: memFree=129388780/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=271936 memory=188688 CPUtime=50.9 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 47384 0 0 0 5081 9 0 0 20 0 1 0 52515038 278462464 47172 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 67984 47172 4448 2842 0 49678 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 271936 KiB
Current children cumulated memory: 188688 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 49592
/proc/meminfo: memFree=129255060/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=378172 memory=294616 CPUtime=101.92 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 74118 0 0 0 10177 15 0 0 20 0 1 0 52515038 387248128 73654 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 94543 73654 4448 2842 0 76237 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 378172 KiB
Current children cumulated memory: 294616 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 49594
/proc/meminfo: memFree=129175972/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=474036 memory=387672 CPUtime=161.72 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 97376 0 0 0 16152 20 0 0 20 0 1 0 52515038 485412864 96918 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 118509 96918 4448 2842 0 100203 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 474036 KiB
Current children cumulated memory: 387672 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49598
/proc/meminfo: memFree=129088844/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=551752 memory=463648 CPUtime=221.51 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 116904 0 0 0 22127 24 0 0 20 0 1 0 52515038 564994048 115912 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 137938 115912 4448 2842 0 119632 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 551752 KiB
Current children cumulated memory: 463648 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 49605
/proc/meminfo: memFree=128994544/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=615120 memory=523296 CPUtime=281.32 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 131815 0 0 0 28104 28 0 0 20 0 1 0 52515038 629882880 130824 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 153780 130824 4448 2842 0 135474 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 615120 KiB
Current children cumulated memory: 523296 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 49607
/proc/meminfo: memFree=129079064/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=486624 memory=411472 CPUtime=341.14 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 139124 0 0 0 34041 73 0 0 20 0 1 0 52515038 498302976 102868 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 121656 102868 4608 2842 0 103350 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 486624 KiB
Current children cumulated memory: 411472 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 49609
/proc/meminfo: memFree=129094572/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=486624 memory=415356 CPUtime=400.96 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 139383 0 0 0 39984 112 0 0 20 0 1 0 52515038 498302976 103839 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 121656 103839 4608 2842 0 103350 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 486624 KiB
Current children cumulated memory: 415356 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 49611
/proc/meminfo: memFree=129091208/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=493804 memory=419324 CPUtime=460.79 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 139769 0 0 0 45933 146 0 0 20 0 1 0 52515038 505655296 104831 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 123451 104831 4608 2842 0 105145 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
Current children cumulated memory: 446560 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 49778
/proc/meminfo: memFree=129141336/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=2914.47 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141120 0 0 0 290724 723 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 49780
/proc/meminfo: memFree=129141012/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=2974.31 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141120 0 0 0 296699 732 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 49782
/proc/meminfo: memFree=129134672/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3034.15 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 302672 743 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 49784
/proc/meminfo: memFree=129134568/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3094 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 308646 754 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/262 49786
/proc/meminfo: memFree=129134704/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3153.85 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 314619 766 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/262 49788
/proc/meminfo: memFree=129134584/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3213.69 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 320594 775 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 49793
/proc/meminfo: memFree=129134704/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3273.53 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 326566 787 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 49799
/proc/meminfo: memFree=129134840/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3333.37 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 332542 795 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49801
/proc/meminfo: memFree=129134468/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=446560 CPUtime=3393.22 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141136 0 0 0 338518 804 0 0 20 0 1 0 52515038 537034752 111640 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 111640 4608 2842 0 112806 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 446560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49803
/proc/meminfo: memFree=129134580/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=448608 CPUtime=3453.06 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141137 0 0 0 344492 814 0 0 20 0 1 0 52515038 537034752 112152 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 112152 4608 2842 0 112806 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 448608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 49805
/proc/meminfo: memFree=129126220/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=448608 CPUtime=3512.91 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141137 0 0 0 350467 824 0 0 20 0 1 0 52515038 537034752 112152 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 112152 4608 2842 0 112806 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 448608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 49807
/proc/meminfo: memFree=129127224/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=448608 CPUtime=3572.76 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141137 0 0 0 356442 834 0 0 20 0 1 0 52515038 537034752 112152 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 112152 4608 2842 0 112806 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 448608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 4/258 49816
/proc/meminfo: memFree=129217244/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=448608 CPUtime=3600.08 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141137 0 0 0 359170 838 0 0 20 0 1 0 52515038 537034752 112152 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 112152 4608 2842 0 112806 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 448608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 49511 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.71 s, system=8.38297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 4/258 49816
/proc/meminfo: memFree=129217244/131250000 swapFree=33010416/33010684
[pid=49511] ppid=49508 vsize=524448 memory=448608 CPUtime=3600.08 cores=0,2
/proc/49511/stat : 49511 (mixed-bag) R 49508 49511 48377 0 -1 4194304 141137 0 0 0 359170 838 0 0 20 0 1 0 52515038 537034752 112152 18446744073709551615 4235264 15874749 140731055039808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55656448 140731055045020 140731055045097 140731055045097 140731055050699 0
/proc/49511/statm: 131112 112152 4608 2842 0 112806 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 524448 KiB
Current children cumulated memory: 448608 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.09
CPU user time (s): 3591.71
CPU system time (s): 8.38297
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 640012
Max. memory (cumulated for all children) (KiB): 548768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.71
system time used= 8.38297
maximum resident set size= 548768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141162
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= 169
involuntary context switches= 7877
# summary of solver processes directly reported to runsolver:
# pid: 49511
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.71
# total CPU system time (s): 8.38297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31571 second user time and 14.8199 second system time
The end
Begin job on nodeC027 at 2025-07-01 13:12:32
IDJOB=4490417
IDBENCH=147586
IDSOLVER=3340
FILE ID=nodeC027/4490417-1751368351
RUNJOBID= nodeC027-1751361124-48387
SLURM_JOB_ID= 9598168
Free space on /tmp= 433000 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490417-1751368351/watcher-4490417-1751368351 -o /tmp/evaluation-result-4490417-1751368351/solver-4490417-1751368351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48387 --watchdog 3760 mixed-bag HOME/instance-4490417-1751368351.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=1670556625
nodeC027 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 : 0xb00002a
cpu MHz : 3599.955
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.628
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3442.968
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.419
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129620872 kB
MemAvailable: 129371932 kB
Buffers: 2488 kB
Cached: 553532 kB
SwapCached: 12 kB
Active: 744596 kB
Inactive: 252476 kB
Active(anon): 456320 kB
Inactive(anon): 2792 kB
Active(file): 288276 kB
Inactive(file): 249684 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31324 kB
Writeback: 28 kB
AnonPages: 444260 kB
Mapped: 128224 kB
Shmem: 18056 kB
KReclaimable: 104276 kB
Slab: 192444 kB
SReclaimable: 104276 kB
SUnreclaim: 88168 kB
KernelStack: 4208 kB
PageTables: 4044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 803548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC027 at 2025-07-01 14:12:41