0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.64/300.61 c [STEP] preprocessing done, loading into solver
299.64/300.61 c [STEP] solving
299.64/300.61 c #variables 199 #constraints 16
299.64/300.61 c SMALL=int, LARGE=long long
299.64/300.61 d SCIPUB 52
299.64/300.61 c bounds - >= 0 @ 299.35
299.64/300.61 c stratification level: 32
300.25/301.28 c #Conflicts: 1000 | #Constraints: 1016
300.25/301.28 c #Conflicts: 2000 | #Constraints: 2016
300.25/301.28 c INPROCESSING
300.25/301.28 c GARBAGE COLLECT
300.25/301.28 c #Conflicts: 3000 | #Constraints: 2023
300.25/301.28 c #Conflicts: 4000 | #Constraints: 3023
300.25/301.28 c INPROCESSING
300.25/301.28 c GARBAGE COLLECT
300.25/301.28 c #Conflicts: 5000 | #Constraints: 2428
300.25/301.28 c #Conflicts: 6000 | #Constraints: 3428
300.25/301.28 c INPROCESSING
300.25/301.28 c GARBAGE COLLECT
300.25/301.28 c #Conflicts: 7000 | #Constraints: 2426
300.25/301.28 c bounds 50 >= 0 @ 300.002
300.25/301.28 c stratification level: 16
319.39/320.45 c #Conflicts: 8000 | #Constraints: 3427
319.39/320.45 c #Conflicts: 9000 | #Constraints: 4427
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 10000 | #Constraints: 3126
319.39/320.45 c #Conflicts: 11000 | #Constraints: 4126
319.39/320.45 c #Conflicts: 12000 | #Constraints: 5126
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 13000 | #Constraints: 3580
319.39/320.45 c #Conflicts: 14000 | #Constraints: 4580
319.39/320.45 c #Conflicts: 15000 | #Constraints: 5580
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 16000 | #Constraints: 3807
319.39/320.45 c #Conflicts: 17000 | #Constraints: 4807
319.39/320.45 c #Conflicts: 18000 | #Constraints: 5807
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 19000 | #Constraints: 3820
319.39/320.45 c #Conflicts: 20000 | #Constraints: 4820
319.39/320.45 c #Conflicts: 21000 | #Constraints: 5820
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 22000 | #Constraints: 3625
319.39/320.45 c #Conflicts: 23000 | #Constraints: 4625
319.39/320.45 c #Conflicts: 24000 | #Constraints: 5625
319.39/320.45 c #Conflicts: 25000 | #Constraints: 6625
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 26000 | #Constraints: 4227
319.39/320.45 c #Conflicts: 27000 | #Constraints: 5227
319.39/320.45 c #Conflicts: 28000 | #Constraints: 6227
319.39/320.45 c #Conflicts: 29000 | #Constraints: 7227
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 30000 | #Constraints: 4629
319.39/320.45 c #Conflicts: 31000 | #Constraints: 5629
319.39/320.45 c #Conflicts: 32000 | #Constraints: 6629
319.39/320.45 c #Conflicts: 33000 | #Constraints: 7629
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 34000 | #Constraints: 4830
319.39/320.45 c #Conflicts: 35000 | #Constraints: 5830
319.39/320.45 c #Conflicts: 36000 | #Constraints: 6830
319.39/320.45 c #Conflicts: 37000 | #Constraints: 7830
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 38000 | #Constraints: 4833
319.39/320.45 c #Conflicts: 39000 | #Constraints: 5833
319.39/320.45 c #Conflicts: 40000 | #Constraints: 6833
319.39/320.45 c #Conflicts: 41000 | #Constraints: 7833
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 42000 | #Constraints: 4637
319.39/320.45 c #Conflicts: 43000 | #Constraints: 5637
319.39/320.45 c #Conflicts: 44000 | #Constraints: 6637
319.39/320.45 c #Conflicts: 45000 | #Constraints: 7637
319.39/320.45 c #Conflicts: 46000 | #Constraints: 8637
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 47000 | #Constraints: 5237
319.39/320.45 c #Conflicts: 48000 | #Constraints: 6237
319.39/320.45 c #Conflicts: 49000 | #Constraints: 7237
319.39/320.45 c #Conflicts: 50000 | #Constraints: 8237
319.39/320.45 c #Conflicts: 51000 | #Constraints: 9237
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 52000 | #Constraints: 5635
319.39/320.45 c #Conflicts: 53000 | #Constraints: 6635
319.39/320.45 c #Conflicts: 54000 | #Constraints: 7635
319.39/320.45 c #Conflicts: 55000 | #Constraints: 8635
319.39/320.45 c #Conflicts: 56000 | #Constraints: 9635
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 57000 | #Constraints: 5833
319.39/320.45 c #Conflicts: 58000 | #Constraints: 6833
319.39/320.45 c #Conflicts: 59000 | #Constraints: 7833
319.39/320.45 c #Conflicts: 60000 | #Constraints: 8833
319.39/320.45 c #Conflicts: 61000 | #Constraints: 9833
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 62000 | #Constraints: 5834
319.39/320.45 c #Conflicts: 63000 | #Constraints: 6834
319.39/320.45 c #Conflicts: 64000 | #Constraints: 7834
319.39/320.45 c #Conflicts: 65000 | #Constraints: 8834
319.39/320.45 c #Conflicts: 66000 | #Constraints: 9834
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 67000 | #Constraints: 5635
319.39/320.45 c #Conflicts: 68000 | #Constraints: 6635
319.39/320.45 c #Conflicts: 69000 | #Constraints: 7635
319.39/320.45 c #Conflicts: 70000 | #Constraints: 8635
319.39/320.45 c #Conflicts: 71000 | #Constraints: 9635
319.39/320.45 c #Conflicts: 72000 | #Constraints: 10635
319.39/320.45 c INPROCESSING
319.39/320.45 c GARBAGE COLLECT
319.39/320.45 c #Conflicts: 73000 | #Constraints: 6235
319.39/320.45 c #Conflicts: 74000 | #Constraints: 7235
319.39/320.45 c #Conflicts: 75000 | #Constraints: 8235
319.39/320.45 c #Conflicts: 76000 | #Constraints: 9235
322.19/323.24 c #Conflicts: 77000 | #Constraints: 10235
322.19/323.24 c #Conflicts: 78000 | #Constraints: 11235
322.19/323.24 c INPROCESSING
322.19/323.24 c GARBAGE COLLECT
322.19/323.24 c #Conflicts: 79000 | #Constraints: 6636
322.19/323.24 c #Conflicts: 80000 | #Constraints: 7636
322.19/323.24 c #Conflicts: 81000 | #Constraints: 8636
322.19/323.24 c #Conflicts: 82000 | #Constraints: 9636
322.19/323.24 c bounds 45 >= 0 @ 321.659
322.19/323.24 c stratification level: 8
359.30/360.48 c #Conflicts: 83000 | #Constraints: 10637
359.30/360.48 c #Conflicts: 84000 | #Constraints: 11637
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 85000 | #Constraints: 6834
359.30/360.48 c #Conflicts: 86000 | #Constraints: 7834
359.30/360.48 c #Conflicts: 87000 | #Constraints: 8834
359.30/360.48 c #Conflicts: 88000 | #Constraints: 9834
359.30/360.48 c #Conflicts: 89000 | #Constraints: 10834
359.30/360.48 c #Conflicts: 90000 | #Constraints: 11834
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 91000 | #Constraints: 6835
359.30/360.48 c #Conflicts: 92000 | #Constraints: 7835
359.30/360.48 c #Conflicts: 93000 | #Constraints: 8835
359.30/360.48 c #Conflicts: 94000 | #Constraints: 9835
359.30/360.48 c #Conflicts: 95000 | #Constraints: 10835
359.30/360.48 c #Conflicts: 96000 | #Constraints: 11835
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 97000 | #Constraints: 6637
359.30/360.48 c #Conflicts: 98000 | #Constraints: 7637
359.30/360.48 c #Conflicts: 99000 | #Constraints: 8637
359.30/360.48 c #Conflicts: 100000 | #Constraints: 9637
359.30/360.48 c #Conflicts: 101000 | #Constraints: 10637
359.30/360.48 c #Conflicts: 102000 | #Constraints: 11637
359.30/360.48 c #Conflicts: 103000 | #Constraints: 12637
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 104000 | #Constraints: 7234
359.30/360.48 c #Conflicts: 105000 | #Constraints: 8234
359.30/360.48 c #Conflicts: 106000 | #Constraints: 9234
359.30/360.48 c #Conflicts: 107000 | #Constraints: 10234
359.30/360.48 c #Conflicts: 108000 | #Constraints: 11234
359.30/360.48 c #Conflicts: 109000 | #Constraints: 12234
359.30/360.48 c #Conflicts: 110000 | #Constraints: 13234
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 111000 | #Constraints: 7632
359.30/360.48 c #Conflicts: 112000 | #Constraints: 8632
359.30/360.48 c #Conflicts: 113000 | #Constraints: 9632
359.30/360.48 c #Conflicts: 114000 | #Constraints: 10632
359.30/360.48 c #Conflicts: 115000 | #Constraints: 11632
359.30/360.48 c #Conflicts: 116000 | #Constraints: 12632
359.30/360.48 c #Conflicts: 117000 | #Constraints: 13632
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 118000 | #Constraints: 7836
359.30/360.48 c #Conflicts: 119000 | #Constraints: 8836
359.30/360.48 c #Conflicts: 120000 | #Constraints: 9836
359.30/360.48 c #Conflicts: 121000 | #Constraints: 10836
359.30/360.48 c #Conflicts: 122000 | #Constraints: 11836
359.30/360.48 c #Conflicts: 123000 | #Constraints: 12836
359.30/360.48 c #Conflicts: 124000 | #Constraints: 13836
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 125000 | #Constraints: 7835
359.30/360.48 c #Conflicts: 126000 | #Constraints: 8835
359.30/360.48 c #Conflicts: 127000 | #Constraints: 9835
359.30/360.48 c #Conflicts: 128000 | #Constraints: 10835
359.30/360.48 c #Conflicts: 129000 | #Constraints: 11835
359.30/360.48 c #Conflicts: 130000 | #Constraints: 12835
359.30/360.48 c #Conflicts: 131000 | #Constraints: 13835
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 132000 | #Constraints: 7636
359.30/360.48 c #Conflicts: 133000 | #Constraints: 8636
359.30/360.48 c #Conflicts: 134000 | #Constraints: 9636
359.30/360.48 c #Conflicts: 135000 | #Constraints: 10636
359.30/360.48 c #Conflicts: 136000 | #Constraints: 11636
359.30/360.48 c #Conflicts: 137000 | #Constraints: 12636
359.30/360.48 c #Conflicts: 138000 | #Constraints: 13636
359.30/360.48 c #Conflicts: 139000 | #Constraints: 14636
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 140000 | #Constraints: 8237
359.30/360.48 c #Conflicts: 141000 | #Constraints: 9237
359.30/360.48 c #Conflicts: 142000 | #Constraints: 10237
359.30/360.48 c #Conflicts: 143000 | #Constraints: 11237
359.30/360.48 c #Conflicts: 144000 | #Constraints: 12237
359.30/360.48 c #Conflicts: 145000 | #Constraints: 13237
359.30/360.48 c #Conflicts: 146000 | #Constraints: 14237
359.30/360.48 c #Conflicts: 147000 | #Constraints: 15237
359.30/360.48 c INPROCESSING
359.30/360.48 c GARBAGE COLLECT
359.30/360.48 c #Conflicts: 148000 | #Constraints: 8638
359.30/360.48 c #Conflicts: 149000 | #Constraints: 9638
359.30/360.48 c #Conflicts: 150000 | #Constraints: 10638
359.30/360.48 c #Conflicts: 151000 | #Constraints: 11638
359.30/360.48 c #Conflicts: 152000 | #Constraints: 12638
359.30/360.48 c #Conflicts: 153000 | #Constraints: 13638
359.30/360.48 c #Conflicts: 154000 | #Constraints: 14638
359.30/360.48 c #Conflicts: 155000 | #Constraints: 15638
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 156000 | #Constraints: 8836
409.78/411.09 c #Conflicts: 157000 | #Constraints: 9836
409.78/411.09 c #Conflicts: 158000 | #Constraints: 10836
409.78/411.09 c #Conflicts: 159000 | #Constraints: 11836
409.78/411.09 c #Conflicts: 160000 | #Constraints: 12836
409.78/411.09 c #Conflicts: 161000 | #Constraints: 13836
409.78/411.09 c #Conflicts: 162000 | #Constraints: 14836
409.78/411.09 c #Conflicts: 163000 | #Constraints: 15836
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 164000 | #Constraints: 8838
409.78/411.09 c #Conflicts: 165000 | #Constraints: 9838
409.78/411.09 c #Conflicts: 166000 | #Constraints: 10838
409.78/411.09 c #Conflicts: 167000 | #Constraints: 11838
409.78/411.09 c #Conflicts: 168000 | #Constraints: 12838
409.78/411.09 c #Conflicts: 169000 | #Constraints: 13838
409.78/411.09 c #Conflicts: 170000 | #Constraints: 14838
409.78/411.09 c #Conflicts: 171000 | #Constraints: 15838
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 172000 | #Constraints: 8636
409.78/411.09 c #Conflicts: 173000 | #Constraints: 9636
409.78/411.09 c #Conflicts: 174000 | #Constraints: 10636
409.78/411.09 c #Conflicts: 175000 | #Constraints: 11636
409.78/411.09 c #Conflicts: 176000 | #Constraints: 12636
409.78/411.09 c #Conflicts: 177000 | #Constraints: 13636
409.78/411.09 c #Conflicts: 178000 | #Constraints: 14636
409.78/411.09 c #Conflicts: 179000 | #Constraints: 15636
409.78/411.09 c #Conflicts: 180000 | #Constraints: 16636
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 181000 | #Constraints: 9236
409.78/411.09 c #Conflicts: 182000 | #Constraints: 10236
409.78/411.09 c #Conflicts: 183000 | #Constraints: 11236
409.78/411.09 c #Conflicts: 184000 | #Constraints: 12236
409.78/411.09 c #Conflicts: 185000 | #Constraints: 13236
409.78/411.09 c #Conflicts: 186000 | #Constraints: 14236
409.78/411.09 c #Conflicts: 187000 | #Constraints: 15236
409.78/411.09 c #Conflicts: 188000 | #Constraints: 16236
409.78/411.09 c #Conflicts: 189000 | #Constraints: 17236
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 190000 | #Constraints: 9637
409.78/411.09 c #Conflicts: 191000 | #Constraints: 10637
409.78/411.09 c #Conflicts: 192000 | #Constraints: 11637
409.78/411.09 c #Conflicts: 193000 | #Constraints: 12637
409.78/411.09 c #Conflicts: 194000 | #Constraints: 13637
409.78/411.09 c #Conflicts: 195000 | #Constraints: 14637
409.78/411.09 c #Conflicts: 196000 | #Constraints: 15637
409.78/411.09 c #Conflicts: 197000 | #Constraints: 16637
409.78/411.09 c #Conflicts: 198000 | #Constraints: 17637
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 199000 | #Constraints: 9838
409.78/411.09 c #Conflicts: 200000 | #Constraints: 10838
409.78/411.09 c #Conflicts: 201000 | #Constraints: 11838
409.78/411.09 c #Conflicts: 202000 | #Constraints: 12838
409.78/411.09 c #Conflicts: 203000 | #Constraints: 13838
409.78/411.09 c #Conflicts: 204000 | #Constraints: 14838
409.78/411.09 c #Conflicts: 205000 | #Constraints: 15838
409.78/411.09 c #Conflicts: 206000 | #Constraints: 16838
409.78/411.09 c #Conflicts: 207000 | #Constraints: 17838
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 208000 | #Constraints: 9837
409.78/411.09 c #Conflicts: 209000 | #Constraints: 10837
409.78/411.09 c #Conflicts: 210000 | #Constraints: 11837
409.78/411.09 c #Conflicts: 211000 | #Constraints: 12837
409.78/411.09 c #Conflicts: 212000 | #Constraints: 13837
409.78/411.09 c #Conflicts: 213000 | #Constraints: 14837
409.78/411.09 c #Conflicts: 214000 | #Constraints: 15837
409.78/411.09 c #Conflicts: 215000 | #Constraints: 16837
409.78/411.09 c #Conflicts: 216000 | #Constraints: 17837
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 217000 | #Constraints: 9641
409.78/411.09 c #Conflicts: 218000 | #Constraints: 10641
409.78/411.09 c #Conflicts: 219000 | #Constraints: 11641
409.78/411.09 c #Conflicts: 220000 | #Constraints: 12641
409.78/411.09 c #Conflicts: 221000 | #Constraints: 13641
409.78/411.09 c #Conflicts: 222000 | #Constraints: 14641
409.78/411.09 c #Conflicts: 223000 | #Constraints: 15641
409.78/411.09 c #Conflicts: 224000 | #Constraints: 16641
409.78/411.09 c #Conflicts: 225000 | #Constraints: 17641
409.78/411.09 c #Conflicts: 226000 | #Constraints: 18641
409.78/411.09 c INPROCESSING
409.78/411.09 c GARBAGE COLLECT
409.78/411.09 c #Conflicts: 227000 | #Constraints: 10243
409.78/411.09 c #Conflicts: 228000 | #Constraints: 11243
462.75/464.16 c #Conflicts: 229000 | #Constraints: 12243
462.75/464.16 c #Conflicts: 230000 | #Constraints: 13243
462.75/464.16 c #Conflicts: 231000 | #Constraints: 14243
462.75/464.16 c #Conflicts: 232000 | #Constraints: 15243
462.75/464.16 c #Conflicts: 233000 | #Constraints: 16243
462.75/464.16 c #Conflicts: 234000 | #Constraints: 17243
462.75/464.16 c #Conflicts: 235000 | #Constraints: 18243
462.75/464.16 c #Conflicts: 236000 | #Constraints: 19243
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 237000 | #Constraints: 10639
462.75/464.16 c #Conflicts: 238000 | #Constraints: 11639
462.75/464.16 c #Conflicts: 239000 | #Constraints: 12639
462.75/464.16 c #Conflicts: 240000 | #Constraints: 13639
462.75/464.16 c #Conflicts: 241000 | #Constraints: 14639
462.75/464.16 c #Conflicts: 242000 | #Constraints: 15639
462.75/464.16 c #Conflicts: 243000 | #Constraints: 16639
462.75/464.16 c #Conflicts: 244000 | #Constraints: 17639
462.75/464.16 c #Conflicts: 245000 | #Constraints: 18639
462.75/464.16 c #Conflicts: 246000 | #Constraints: 19639
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 247000 | #Constraints: 10835
462.75/464.16 c #Conflicts: 248000 | #Constraints: 11835
462.75/464.16 c #Conflicts: 249000 | #Constraints: 12835
462.75/464.16 c #Conflicts: 250000 | #Constraints: 13835
462.75/464.16 c #Conflicts: 251000 | #Constraints: 14835
462.75/464.16 c #Conflicts: 252000 | #Constraints: 15835
462.75/464.16 c #Conflicts: 253000 | #Constraints: 16835
462.75/464.16 c #Conflicts: 254000 | #Constraints: 17835
462.75/464.16 c #Conflicts: 255000 | #Constraints: 18835
462.75/464.16 c #Conflicts: 256000 | #Constraints: 19835
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 257000 | #Constraints: 10833
462.75/464.16 c #Conflicts: 258000 | #Constraints: 11833
462.75/464.16 c #Conflicts: 259000 | #Constraints: 12833
462.75/464.16 c #Conflicts: 260000 | #Constraints: 13833
462.75/464.16 c #Conflicts: 261000 | #Constraints: 14833
462.75/464.16 c #Conflicts: 262000 | #Constraints: 15833
462.75/464.16 c #Conflicts: 263000 | #Constraints: 16833
462.75/464.16 c #Conflicts: 264000 | #Constraints: 17833
462.75/464.16 c #Conflicts: 265000 | #Constraints: 18833
462.75/464.16 c #Conflicts: 266000 | #Constraints: 19833
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 267000 | #Constraints: 10633
462.75/464.16 c #Conflicts: 268000 | #Constraints: 11633
462.75/464.16 c #Conflicts: 269000 | #Constraints: 12633
462.75/464.16 c #Conflicts: 270000 | #Constraints: 13633
462.75/464.16 c #Conflicts: 271000 | #Constraints: 14633
462.75/464.16 c #Conflicts: 272000 | #Constraints: 15633
462.75/464.16 c #Conflicts: 273000 | #Constraints: 16633
462.75/464.16 c #Conflicts: 274000 | #Constraints: 17633
462.75/464.16 c #Conflicts: 275000 | #Constraints: 18633
462.75/464.16 c #Conflicts: 276000 | #Constraints: 19633
462.75/464.16 c #Conflicts: 277000 | #Constraints: 20633
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 278000 | #Constraints: 11234
462.75/464.16 c #Conflicts: 279000 | #Constraints: 12234
462.75/464.16 c #Conflicts: 280000 | #Constraints: 13234
462.75/464.16 c #Conflicts: 281000 | #Constraints: 14234
462.75/464.16 c #Conflicts: 282000 | #Constraints: 15234
462.75/464.16 c #Conflicts: 283000 | #Constraints: 16234
462.75/464.16 c #Conflicts: 284000 | #Constraints: 17234
462.75/464.16 c #Conflicts: 285000 | #Constraints: 18234
462.75/464.16 c #Conflicts: 286000 | #Constraints: 19234
462.75/464.16 c #Conflicts: 287000 | #Constraints: 20234
462.75/464.16 c #Conflicts: 288000 | #Constraints: 21234
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 289000 | #Constraints: 11632
462.75/464.16 c #Conflicts: 290000 | #Constraints: 12632
462.75/464.16 c #Conflicts: 291000 | #Constraints: 13632
462.75/464.16 c #Conflicts: 292000 | #Constraints: 14632
462.75/464.16 c #Conflicts: 293000 | #Constraints: 15632
462.75/464.16 c #Conflicts: 294000 | #Constraints: 16632
462.75/464.16 c #Conflicts: 295000 | #Constraints: 17632
462.75/464.16 c #Conflicts: 296000 | #Constraints: 18632
462.75/464.16 c #Conflicts: 297000 | #Constraints: 19632
462.75/464.16 c #Conflicts: 298000 | #Constraints: 20632
462.75/464.16 c #Conflicts: 299000 | #Constraints: 21632
462.75/464.16 c INPROCESSING
462.75/464.16 c GARBAGE COLLECT
462.75/464.16 c #Conflicts: 300000 | #Constraints: 11833
462.75/464.16 c #Conflicts: 301000 | #Constraints: 12833
462.75/464.16 c #Conflicts: 302000 | #Constraints: 13833
527.79/529.33 c #Conflicts: 303000 | #Constraints: 14833
527.79/529.33 c #Conflicts: 304000 | #Constraints: 15833
527.79/529.33 c #Conflicts: 305000 | #Constraints: 16833
527.79/529.33 c #Conflicts: 306000 | #Constraints: 17833
527.79/529.33 c #Conflicts: 307000 | #Constraints: 18833
527.79/529.33 c #Conflicts: 308000 | #Constraints: 19833
527.79/529.33 c #Conflicts: 309000 | #Constraints: 20833
527.79/529.33 c #Conflicts: 310000 | #Constraints: 21833
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 311000 | #Constraints: 11840
527.79/529.33 c #Conflicts: 312000 | #Constraints: 12840
527.79/529.33 c #Conflicts: 313000 | #Constraints: 13840
527.79/529.33 c #Conflicts: 314000 | #Constraints: 14840
527.79/529.33 c #Conflicts: 315000 | #Constraints: 15840
527.79/529.33 c #Conflicts: 316000 | #Constraints: 16840
527.79/529.33 c #Conflicts: 317000 | #Constraints: 17840
527.79/529.33 c #Conflicts: 318000 | #Constraints: 18840
527.79/529.33 c #Conflicts: 319000 | #Constraints: 19840
527.79/529.33 c #Conflicts: 320000 | #Constraints: 20840
527.79/529.33 c #Conflicts: 321000 | #Constraints: 21840
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 322000 | #Constraints: 11644
527.79/529.33 c #Conflicts: 323000 | #Constraints: 12644
527.79/529.33 c #Conflicts: 324000 | #Constraints: 13644
527.79/529.33 c #Conflicts: 325000 | #Constraints: 14644
527.79/529.33 c #Conflicts: 326000 | #Constraints: 15644
527.79/529.33 c #Conflicts: 327000 | #Constraints: 16644
527.79/529.33 c #Conflicts: 328000 | #Constraints: 17644
527.79/529.33 c #Conflicts: 329000 | #Constraints: 18644
527.79/529.33 c #Conflicts: 330000 | #Constraints: 19644
527.79/529.33 c #Conflicts: 331000 | #Constraints: 20644
527.79/529.33 c #Conflicts: 332000 | #Constraints: 21644
527.79/529.33 c #Conflicts: 333000 | #Constraints: 22644
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 334000 | #Constraints: 12240
527.79/529.33 c #Conflicts: 335000 | #Constraints: 13240
527.79/529.33 c #Conflicts: 336000 | #Constraints: 14240
527.79/529.33 c #Conflicts: 337000 | #Constraints: 15240
527.79/529.33 c #Conflicts: 338000 | #Constraints: 16240
527.79/529.33 c #Conflicts: 339000 | #Constraints: 17240
527.79/529.33 c #Conflicts: 340000 | #Constraints: 18240
527.79/529.33 c #Conflicts: 341000 | #Constraints: 19240
527.79/529.33 c #Conflicts: 342000 | #Constraints: 20240
527.79/529.33 c #Conflicts: 343000 | #Constraints: 21240
527.79/529.33 c #Conflicts: 344000 | #Constraints: 22240
527.79/529.33 c #Conflicts: 345000 | #Constraints: 23240
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 346000 | #Constraints: 12638
527.79/529.33 c #Conflicts: 347000 | #Constraints: 13638
527.79/529.33 c #Conflicts: 348000 | #Constraints: 14638
527.79/529.33 c #Conflicts: 349000 | #Constraints: 15638
527.79/529.33 c #Conflicts: 350000 | #Constraints: 16638
527.79/529.33 c #Conflicts: 351000 | #Constraints: 17638
527.79/529.33 c #Conflicts: 352000 | #Constraints: 18638
527.79/529.33 c #Conflicts: 353000 | #Constraints: 19638
527.79/529.33 c #Conflicts: 354000 | #Constraints: 20638
527.79/529.33 c #Conflicts: 355000 | #Constraints: 21638
527.79/529.33 c #Conflicts: 356000 | #Constraints: 22638
527.79/529.33 c #Conflicts: 357000 | #Constraints: 23638
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 358000 | #Constraints: 12840
527.79/529.33 c #Conflicts: 359000 | #Constraints: 13840
527.79/529.33 c #Conflicts: 360000 | #Constraints: 14840
527.79/529.33 c #Conflicts: 361000 | #Constraints: 15840
527.79/529.33 c #Conflicts: 362000 | #Constraints: 16840
527.79/529.33 c #Conflicts: 363000 | #Constraints: 17840
527.79/529.33 c #Conflicts: 364000 | #Constraints: 18840
527.79/529.33 c #Conflicts: 365000 | #Constraints: 19840
527.79/529.33 c #Conflicts: 366000 | #Constraints: 20840
527.79/529.33 c #Conflicts: 367000 | #Constraints: 21840
527.79/529.33 c #Conflicts: 368000 | #Constraints: 22840
527.79/529.33 c #Conflicts: 369000 | #Constraints: 23840
527.79/529.33 c INPROCESSING
527.79/529.33 c GARBAGE COLLECT
527.79/529.33 c #Conflicts: 370000 | #Constraints: 12843
527.79/529.33 c #Conflicts: 371000 | #Constraints: 13843
527.79/529.33 c #Conflicts: 372000 | #Constraints: 14843
527.79/529.33 c #Conflicts: 373000 | #Constraints: 15843
527.79/529.33 c #Conflicts: 374000 | #Constraints: 16843
527.79/529.33 c #Conflicts: 375000 | #Constraints: 17843
527.79/529.33 c #Conflicts: 376000 | #Constraints: 18843
527.79/529.33 c #Conflicts: 377000 | #Constraints: 19843
607.98/609.76 c #Conflicts: 378000 | #Constraints: 20843
607.98/609.76 c #Conflicts: 379000 | #Constraints: 21843
607.98/609.76 c #Conflicts: 380000 | #Constraints: 22843
607.98/609.76 c #Conflicts: 381000 | #Constraints: 23843
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 382000 | #Constraints: 12641
607.98/609.76 c #Conflicts: 383000 | #Constraints: 13641
607.98/609.76 c #Conflicts: 384000 | #Constraints: 14641
607.98/609.76 c #Conflicts: 385000 | #Constraints: 15641
607.98/609.76 c #Conflicts: 386000 | #Constraints: 16641
607.98/609.76 c #Conflicts: 387000 | #Constraints: 17641
607.98/609.76 c #Conflicts: 388000 | #Constraints: 18641
607.98/609.76 c #Conflicts: 389000 | #Constraints: 19641
607.98/609.76 c #Conflicts: 390000 | #Constraints: 20641
607.98/609.76 c #Conflicts: 391000 | #Constraints: 21641
607.98/609.76 c #Conflicts: 392000 | #Constraints: 22641
607.98/609.76 c #Conflicts: 393000 | #Constraints: 23641
607.98/609.76 c #Conflicts: 394000 | #Constraints: 24641
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 395000 | #Constraints: 13238
607.98/609.76 c #Conflicts: 396000 | #Constraints: 14238
607.98/609.76 c #Conflicts: 397000 | #Constraints: 15238
607.98/609.76 c #Conflicts: 398000 | #Constraints: 16238
607.98/609.76 c #Conflicts: 399000 | #Constraints: 17238
607.98/609.76 c #Conflicts: 400000 | #Constraints: 18238
607.98/609.76 c #Conflicts: 401000 | #Constraints: 19238
607.98/609.76 c #Conflicts: 402000 | #Constraints: 20238
607.98/609.76 c #Conflicts: 403000 | #Constraints: 21238
607.98/609.76 c #Conflicts: 404000 | #Constraints: 22238
607.98/609.76 c #Conflicts: 405000 | #Constraints: 23238
607.98/609.76 c #Conflicts: 406000 | #Constraints: 24238
607.98/609.76 c #Conflicts: 407000 | #Constraints: 25238
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 408000 | #Constraints: 13636
607.98/609.76 c #Conflicts: 409000 | #Constraints: 14636
607.98/609.76 c #Conflicts: 410000 | #Constraints: 15636
607.98/609.76 c #Conflicts: 411000 | #Constraints: 16636
607.98/609.76 c #Conflicts: 412000 | #Constraints: 17636
607.98/609.76 c #Conflicts: 413000 | #Constraints: 18636
607.98/609.76 c #Conflicts: 414000 | #Constraints: 19636
607.98/609.76 c #Conflicts: 415000 | #Constraints: 20636
607.98/609.76 c #Conflicts: 416000 | #Constraints: 21636
607.98/609.76 c #Conflicts: 417000 | #Constraints: 22636
607.98/609.76 c #Conflicts: 418000 | #Constraints: 23636
607.98/609.76 c #Conflicts: 419000 | #Constraints: 24636
607.98/609.76 c #Conflicts: 420000 | #Constraints: 25636
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 421000 | #Constraints: 13837
607.98/609.76 c #Conflicts: 422000 | #Constraints: 14837
607.98/609.76 c #Conflicts: 423000 | #Constraints: 15837
607.98/609.76 c #Conflicts: 424000 | #Constraints: 16837
607.98/609.76 c #Conflicts: 425000 | #Constraints: 17837
607.98/609.76 c #Conflicts: 426000 | #Constraints: 18837
607.98/609.76 c #Conflicts: 427000 | #Constraints: 19837
607.98/609.76 c #Conflicts: 428000 | #Constraints: 20837
607.98/609.76 c #Conflicts: 429000 | #Constraints: 21837
607.98/609.76 c #Conflicts: 430000 | #Constraints: 22837
607.98/609.76 c #Conflicts: 431000 | #Constraints: 23837
607.98/609.76 c #Conflicts: 432000 | #Constraints: 24837
607.98/609.76 c #Conflicts: 433000 | #Constraints: 25837
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 434000 | #Constraints: 13842
607.98/609.76 c #Conflicts: 435000 | #Constraints: 14842
607.98/609.76 c #Conflicts: 436000 | #Constraints: 15842
607.98/609.76 c #Conflicts: 437000 | #Constraints: 16842
607.98/609.76 c #Conflicts: 438000 | #Constraints: 17842
607.98/609.76 c #Conflicts: 439000 | #Constraints: 18842
607.98/609.76 c #Conflicts: 440000 | #Constraints: 19842
607.98/609.76 c #Conflicts: 441000 | #Constraints: 20842
607.98/609.76 c #Conflicts: 442000 | #Constraints: 21842
607.98/609.76 c #Conflicts: 443000 | #Constraints: 22842
607.98/609.76 c #Conflicts: 444000 | #Constraints: 23842
607.98/609.76 c #Conflicts: 445000 | #Constraints: 24842
607.98/609.76 c #Conflicts: 446000 | #Constraints: 25842
607.98/609.76 c INPROCESSING
607.98/609.76 c GARBAGE COLLECT
607.98/609.76 c #Conflicts: 447000 | #Constraints: 13644
607.98/609.76 c #Conflicts: 448000 | #Constraints: 14644
607.98/609.76 c #Conflicts: 449000 | #Constraints: 15644
607.98/609.76 c #Conflicts: 450000 | #Constraints: 16644
607.98/609.76 c #Conflicts: 451000 | #Constraints: 17644
607.98/609.76 c #Conflicts: 452000 | #Constraints: 18644
703.43/705.44 c #Conflicts: 453000 | #Constraints: 19644
703.43/705.44 c #Conflicts: 454000 | #Constraints: 20644
703.43/705.44 c #Conflicts: 455000 | #Constraints: 21644
703.43/705.44 c #Conflicts: 456000 | #Constraints: 22644
703.43/705.44 c #Conflicts: 457000 | #Constraints: 23644
703.43/705.44 c #Conflicts: 458000 | #Constraints: 24644
703.43/705.44 c #Conflicts: 459000 | #Constraints: 25644
703.43/705.44 c #Conflicts: 460000 | #Constraints: 26644
703.43/705.44 c INPROCESSING
703.43/705.44 c GARBAGE COLLECT
703.43/705.44 c #Conflicts: 461000 | #Constraints: 14249
703.43/705.44 c #Conflicts: 462000 | #Constraints: 15249
703.43/705.44 c #Conflicts: 463000 | #Constraints: 16249
703.43/705.44 c #Conflicts: 464000 | #Constraints: 17249
703.43/705.44 c #Conflicts: 465000 | #Constraints: 18249
703.43/705.44 c #Conflicts: 466000 | #Constraints: 19249
703.43/705.44 c #Conflicts: 467000 | #Constraints: 20249
703.43/705.44 c #Conflicts: 468000 | #Constraints: 21249
703.43/705.44 c #Conflicts: 469000 | #Constraints: 22249
703.43/705.44 c #Conflicts: 470000 | #Constraints: 23249
703.43/705.44 c #Conflicts: 471000 | #Constraints: 24249
703.43/705.44 c #Conflicts: 472000 | #Constraints: 25249
703.43/705.44 c #Conflicts: 473000 | #Constraints: 26249
703.43/705.44 c #Conflicts: 474000 | #Constraints: 27249
703.43/705.44 c INPROCESSING
703.43/705.44 c GARBAGE COLLECT
703.43/705.44 c #Conflicts: 475000 | #Constraints: 14647
703.43/705.44 c #Conflicts: 476000 | #Constraints: 15647
703.43/705.44 c #Conflicts: 477000 | #Constraints: 16647
703.43/705.44 c #Conflicts: 478000 | #Constraints: 17647
703.43/705.44 c #Conflicts: 479000 | #Constraints: 18647
703.43/705.44 c #Conflicts: 480000 | #Constraints: 19647
703.43/705.44 c #Conflicts: 481000 | #Constraints: 20647
703.43/705.44 c #Conflicts: 482000 | #Constraints: 21647
703.43/705.44 c #Conflicts: 483000 | #Constraints: 22647
703.43/705.44 c #Conflicts: 484000 | #Constraints: 23647
703.43/705.44 c #Conflicts: 485000 | #Constraints: 24647
703.43/705.44 c #Conflicts: 486000 | #Constraints: 25647
703.43/705.44 c #Conflicts: 487000 | #Constraints: 26647
703.43/705.44 c #Conflicts: 488000 | #Constraints: 27647
703.43/705.44 c INPROCESSING
703.43/705.44 c GARBAGE COLLECT
703.43/705.44 c #Conflicts: 489000 | #Constraints: 14845
703.43/705.44 c #Conflicts: 490000 | #Constraints: 15845
703.43/705.44 c #Conflicts: 491000 | #Constraints: 16845
703.43/705.44 c #Conflicts: 492000 | #Constraints: 17845
703.43/705.44 c #Conflicts: 493000 | #Constraints: 18845
703.43/705.44 c #Conflicts: 494000 | #Constraints: 19845
703.43/705.44 c #Conflicts: 495000 | #Constraints: 20845
703.43/705.44 c #Conflicts: 496000 | #Constraints: 21845
703.43/705.44 c #Conflicts: 497000 | #Constraints: 22845
703.43/705.44 c #Conflicts: 498000 | #Constraints: 23845
703.43/705.44 c #Conflicts: 499000 | #Constraints: 24845
703.43/705.44 c #Conflicts: 500000 | #Constraints: 25845
703.43/705.44 c #Conflicts: 501000 | #Constraints: 26845
703.43/705.44 c #Conflicts: 502000 | #Constraints: 27845
703.43/705.44 c INPROCESSING
703.43/705.44 c GARBAGE COLLECT
703.43/705.44 c #Conflicts: 503000 | #Constraints: 14846
703.43/705.44 c #Conflicts: 504000 | #Constraints: 15846
703.43/705.44 c #Conflicts: 505000 | #Constraints: 16846
703.43/705.44 c #Conflicts: 506000 | #Constraints: 17846
703.43/705.44 c #Conflicts: 507000 | #Constraints: 18846
703.43/705.44 c #Conflicts: 508000 | #Constraints: 19846
703.43/705.44 c #Conflicts: 509000 | #Constraints: 20846
703.43/705.44 c #Conflicts: 510000 | #Constraints: 21846
703.43/705.44 c #Conflicts: 511000 | #Constraints: 22846
703.43/705.44 c #Conflicts: 512000 | #Constraints: 23846
703.43/705.44 c #Conflicts: 513000 | #Constraints: 24846
703.43/705.44 c #Conflicts: 514000 | #Constraints: 25846
703.43/705.44 c #Conflicts: 515000 | #Constraints: 26846
703.43/705.44 c #Conflicts: 516000 | #Constraints: 27846
703.43/705.44 c INPROCESSING
703.43/705.44 c GARBAGE COLLECT
703.43/705.44 c #Conflicts: 517000 | #Constraints: 14646
703.43/705.44 c #Conflicts: 518000 | #Constraints: 15646
703.43/705.44 c #Conflicts: 519000 | #Constraints: 16646
703.43/705.44 c #Conflicts: 520000 | #Constraints: 17646
703.43/705.44 c #Conflicts: 521000 | #Constraints: 18646
703.43/705.44 c #Conflicts: 522000 | #Constraints: 19646
703.43/705.44 c #Conflicts: 523000 | #Constraints: 20646
703.43/705.44 c #Conflicts: 524000 | #Constraints: 21646
703.43/705.44 c #Conflicts: 525000 | #Constraints: 22646
703.43/705.44 c #Conflicts: 526000 | #Constraints: 23646
703.43/705.44 c #Conflicts: 527000 | #Constraints: 24646
703.43/705.44 c #Conflicts: 528000 | #Constraints: 25646
789.51/791.78 c #Conflicts: 529000 | #Constraints: 26646
789.51/791.78 c #Conflicts: 530000 | #Constraints: 27646
789.51/791.78 c #Conflicts: 531000 | #Constraints: 28646
789.51/791.78 c INPROCESSING
789.51/791.78 c GARBAGE COLLECT
789.51/791.78 c #Conflicts: 532000 | #Constraints: 15247
789.51/791.78 c #Conflicts: 533000 | #Constraints: 16247
789.51/791.78 c #Conflicts: 534000 | #Constraints: 17247
789.51/791.78 c #Conflicts: 535000 | #Constraints: 18247
789.51/791.78 c #Conflicts: 536000 | #Constraints: 19247
789.51/791.78 c #Conflicts: 537000 | #Constraints: 20247
789.51/791.78 c #Conflicts: 538000 | #Constraints: 21247
789.51/791.78 c #Conflicts: 539000 | #Constraints: 22247
789.51/791.78 c #Conflicts: 540000 | #Constraints: 23247
789.51/791.78 c #Conflicts: 541000 | #Constraints: 24247
789.51/791.78 c #Conflicts: 542000 | #Constraints: 25247
789.51/791.78 c #Conflicts: 543000 | #Constraints: 26247
789.51/791.78 c #Conflicts: 544000 | #Constraints: 27247
789.51/791.78 c #Conflicts: 545000 | #Constraints: 28247
789.51/791.78 c #Conflicts: 546000 | #Constraints: 29247
789.51/791.78 c INPROCESSING
789.51/791.78 c GARBAGE COLLECT
789.51/791.78 c #Conflicts: 547000 | #Constraints: 15641
789.51/791.78 c #Conflicts: 548000 | #Constraints: 16641
789.51/791.78 c #Conflicts: 549000 | #Constraints: 17641
789.51/791.78 c #Conflicts: 550000 | #Constraints: 18641
789.51/791.78 c #Conflicts: 551000 | #Constraints: 19641
789.51/791.78 c #Conflicts: 552000 | #Constraints: 20641
789.51/791.78 c #Conflicts: 553000 | #Constraints: 21641
789.51/791.78 c #Conflicts: 554000 | #Constraints: 22641
789.51/791.78 c #Conflicts: 555000 | #Constraints: 23641
789.51/791.78 c #Conflicts: 556000 | #Constraints: 24641
789.51/791.78 c #Conflicts: 557000 | #Constraints: 25641
789.51/791.78 c #Conflicts: 558000 | #Constraints: 26641
789.51/791.78 c #Conflicts: 559000 | #Constraints: 27641
789.51/791.78 c #Conflicts: 560000 | #Constraints: 28641
789.51/791.78 c #Conflicts: 561000 | #Constraints: 29641
789.51/791.78 c INPROCESSING
789.51/791.78 c GARBAGE COLLECT
789.51/791.78 c #Conflicts: 562000 | #Constraints: 15837
789.51/791.78 c #Conflicts: 563000 | #Constraints: 16837
789.51/791.78 c #Conflicts: 564000 | #Constraints: 17837
789.51/791.78 c #Conflicts: 565000 | #Constraints: 18837
789.51/791.78 c #Conflicts: 566000 | #Constraints: 19837
789.51/791.78 c #Conflicts: 567000 | #Constraints: 20837
789.51/791.78 c #Conflicts: 568000 | #Constraints: 21837
789.51/791.78 c #Conflicts: 569000 | #Constraints: 22837
789.51/791.78 c #Conflicts: 570000 | #Constraints: 23837
789.51/791.78 c #Conflicts: 571000 | #Constraints: 24837
789.51/791.78 c #Conflicts: 572000 | #Constraints: 25837
789.51/791.78 c #Conflicts: 573000 | #Constraints: 26837
789.51/791.78 c #Conflicts: 574000 | #Constraints: 27837
789.51/791.78 c #Conflicts: 575000 | #Constraints: 28837
789.51/791.78 c #Conflicts: 576000 | #Constraints: 29837
789.51/791.78 c INPROCESSING
789.51/791.78 c GARBAGE COLLECT
789.51/791.78 c #Conflicts: 577000 | #Constraints: 15837
789.51/791.78 c #Conflicts: 578000 | #Constraints: 16837
789.51/791.78 c #Conflicts: 579000 | #Constraints: 17837
789.51/791.78 c #Conflicts: 580000 | #Constraints: 18837
789.51/791.78 c #Conflicts: 581000 | #Constraints: 19837
789.51/791.78 c #Conflicts: 582000 | #Constraints: 20837
789.51/791.78 c #Conflicts: 583000 | #Constraints: 21837
789.51/791.78 c #Conflicts: 584000 | #Constraints: 22837
789.51/791.78 c #Conflicts: 585000 | #Constraints: 23837
789.51/791.78 c #Conflicts: 586000 | #Constraints: 24837
789.51/791.78 c #Conflicts: 587000 | #Constraints: 25837
789.51/791.78 c #Conflicts: 588000 | #Constraints: 26837
789.51/791.78 c #Conflicts: 589000 | #Constraints: 27837
789.51/791.78 c #Conflicts: 590000 | #Constraints: 28837
789.51/791.78 c #Conflicts: 591000 | #Constraints: 29837
789.51/791.78 c INPROCESSING
789.51/791.78 c GARBAGE COLLECT
789.51/791.78 c #Conflicts: 592000 | #Constraints: 15639
789.51/791.78 c #Conflicts: 593000 | #Constraints: 16639
789.51/791.78 c #Conflicts: 594000 | #Constraints: 17639
789.51/791.78 c #Conflicts: 595000 | #Constraints: 18639
789.51/791.78 c #Conflicts: 596000 | #Constraints: 19639
789.51/791.78 c #Conflicts: 597000 | #Constraints: 20639
789.51/791.78 c #Conflicts: 598000 | #Constraints: 21639
789.51/791.78 c #Conflicts: 599000 | #Constraints: 22639
789.51/791.78 c #Conflicts: 600000 | #Constraints: 23639
789.51/791.78 c #Conflicts: 601000 | #Constraints: 24639
789.51/791.78 c #Conflicts: 602000 | #Constraints: 25639
789.51/791.78 c #Conflicts: 603000 | #Constraints: 26639
886.47/888.95 c #Conflicts: 604000 | #Constraints: 27639
886.47/888.95 c #Conflicts: 605000 | #Constraints: 28639
886.47/888.95 c #Conflicts: 606000 | #Constraints: 29639
886.47/888.95 c #Conflicts: 607000 | #Constraints: 30639
886.47/888.95 c INPROCESSING
886.47/888.95 c GARBAGE COLLECT
886.47/888.95 c #Conflicts: 608000 | #Constraints: 16241
886.47/888.95 c #Conflicts: 609000 | #Constraints: 17241
886.47/888.95 c #Conflicts: 610000 | #Constraints: 18241
886.47/888.95 c #Conflicts: 611000 | #Constraints: 19241
886.47/888.95 c #Conflicts: 612000 | #Constraints: 20241
886.47/888.95 c #Conflicts: 613000 | #Constraints: 21241
886.47/888.95 c #Conflicts: 614000 | #Constraints: 22241
886.47/888.95 c #Conflicts: 615000 | #Constraints: 23241
886.47/888.95 c #Conflicts: 616000 | #Constraints: 24241
886.47/888.95 c #Conflicts: 617000 | #Constraints: 25241
886.47/888.95 c #Conflicts: 618000 | #Constraints: 26241
886.47/888.95 c #Conflicts: 619000 | #Constraints: 27241
886.47/888.95 c #Conflicts: 620000 | #Constraints: 28241
886.47/888.95 c #Conflicts: 621000 | #Constraints: 29241
886.47/888.95 c #Conflicts: 622000 | #Constraints: 30241
886.47/888.95 c #Conflicts: 623000 | #Constraints: 31241
886.47/888.95 c INPROCESSING
886.47/888.95 c GARBAGE COLLECT
886.47/888.95 c #Conflicts: 624000 | #Constraints: 16637
886.47/888.95 c #Conflicts: 625000 | #Constraints: 17637
886.47/888.95 c #Conflicts: 626000 | #Constraints: 18637
886.47/888.95 c #Conflicts: 627000 | #Constraints: 19637
886.47/888.95 c #Conflicts: 628000 | #Constraints: 20637
886.47/888.95 c #Conflicts: 629000 | #Constraints: 21637
886.47/888.95 c #Conflicts: 630000 | #Constraints: 22637
886.47/888.95 c #Conflicts: 631000 | #Constraints: 23637
886.47/888.95 c #Conflicts: 632000 | #Constraints: 24637
886.47/888.95 c #Conflicts: 633000 | #Constraints: 25637
886.47/888.95 c #Conflicts: 634000 | #Constraints: 26637
886.47/888.95 c #Conflicts: 635000 | #Constraints: 27637
886.47/888.95 c #Conflicts: 636000 | #Constraints: 28637
886.47/888.95 c #Conflicts: 637000 | #Constraints: 29637
886.47/888.95 c #Conflicts: 638000 | #Constraints: 30637
886.47/888.95 c #Conflicts: 639000 | #Constraints: 31637
886.47/888.95 c INPROCESSING
886.47/888.95 c GARBAGE COLLECT
886.47/888.95 c #Conflicts: 640000 | #Constraints: 16837
886.47/888.95 c #Conflicts: 641000 | #Constraints: 17837
886.47/888.95 c #Conflicts: 642000 | #Constraints: 18837
886.47/888.95 c #Conflicts: 643000 | #Constraints: 19837
886.47/888.95 c #Conflicts: 644000 | #Constraints: 20837
886.47/888.95 c #Conflicts: 645000 | #Constraints: 21837
886.47/888.95 c #Conflicts: 646000 | #Constraints: 22837
886.47/888.95 c #Conflicts: 647000 | #Constraints: 23837
886.47/888.95 c #Conflicts: 648000 | #Constraints: 24837
886.47/888.95 c #Conflicts: 649000 | #Constraints: 25837
886.47/888.95 c #Conflicts: 650000 | #Constraints: 26837
886.47/888.95 c #Conflicts: 651000 | #Constraints: 27837
886.47/888.95 c #Conflicts: 652000 | #Constraints: 28837
886.47/888.95 c #Conflicts: 653000 | #Constraints: 29837
886.47/888.95 c #Conflicts: 654000 | #Constraints: 30837
886.47/888.95 c #Conflicts: 655000 | #Constraints: 31837
886.47/888.95 c INPROCESSING
886.47/888.95 c GARBAGE COLLECT
886.47/888.95 c #Conflicts: 656000 | #Constraints: 16838
886.47/888.95 c #Conflicts: 657000 | #Constraints: 17838
886.47/888.95 c #Conflicts: 658000 | #Constraints: 18838
886.47/888.95 c #Conflicts: 659000 | #Constraints: 19838
886.47/888.95 c #Conflicts: 660000 | #Constraints: 20838
886.47/888.95 c #Conflicts: 661000 | #Constraints: 21838
886.47/888.95 c #Conflicts: 662000 | #Constraints: 22838
886.47/888.95 c #Conflicts: 663000 | #Constraints: 23838
886.47/888.95 c #Conflicts: 664000 | #Constraints: 24838
886.47/888.95 c #Conflicts: 665000 | #Constraints: 25838
886.47/888.95 c #Conflicts: 666000 | #Constraints: 26838
886.47/888.95 c #Conflicts: 667000 | #Constraints: 27838
886.47/888.95 c #Conflicts: 668000 | #Constraints: 28838
886.47/888.95 c #Conflicts: 669000 | #Constraints: 29838
886.47/888.95 c #Conflicts: 670000 | #Constraints: 30838
886.47/888.95 c #Conflicts: 671000 | #Constraints: 31838
886.47/888.95 c INPROCESSING
886.47/888.95 c GARBAGE COLLECT
886.47/888.95 c #Conflicts: 672000 | #Constraints: 16635
886.47/888.95 c #Conflicts: 673000 | #Constraints: 17635
886.47/888.95 c #Conflicts: 674000 | #Constraints: 18635
886.47/888.95 c #Conflicts: 675000 | #Constraints: 19635
886.47/888.95 c #Conflicts: 676000 | #Constraints: 20635
886.47/888.95 c #Conflicts: 677000 | #Constraints: 21635
886.47/888.95 c #Conflicts: 678000 | #Constraints: 22635
886.47/888.95 c #Conflicts: 679000 | #Constraints: 23635
976.84/979.55 c #Conflicts: 680000 | #Constraints: 24635
976.84/979.55 c #Conflicts: 681000 | #Constraints: 25635
976.84/979.55 c #Conflicts: 682000 | #Constraints: 26635
976.84/979.55 c #Conflicts: 683000 | #Constraints: 27635
976.84/979.55 c #Conflicts: 684000 | #Constraints: 28635
976.84/979.55 c #Conflicts: 685000 | #Constraints: 29635
976.84/979.55 c #Conflicts: 686000 | #Constraints: 30635
976.84/979.55 c #Conflicts: 687000 | #Constraints: 31635
976.84/979.55 c #Conflicts: 688000 | #Constraints: 32635
976.84/979.55 c INPROCESSING
976.84/979.55 c GARBAGE COLLECT
976.84/979.55 c #Conflicts: 689000 | #Constraints: 17234
976.84/979.55 c #Conflicts: 690000 | #Constraints: 18234
976.84/979.55 c #Conflicts: 691000 | #Constraints: 19234
976.84/979.55 c #Conflicts: 692000 | #Constraints: 20234
976.84/979.55 c #Conflicts: 693000 | #Constraints: 21234
976.84/979.55 c #Conflicts: 694000 | #Constraints: 22234
976.84/979.55 c #Conflicts: 695000 | #Constraints: 23234
976.84/979.55 c #Conflicts: 696000 | #Constraints: 24234
976.84/979.55 c #Conflicts: 697000 | #Constraints: 25234
976.84/979.55 c #Conflicts: 698000 | #Constraints: 26234
976.84/979.55 c #Conflicts: 699000 | #Constraints: 27234
976.84/979.55 c #Conflicts: 700000 | #Constraints: 28234
976.84/979.55 c #Conflicts: 701000 | #Constraints: 29234
976.84/979.55 c #Conflicts: 702000 | #Constraints: 30234
976.84/979.55 c #Conflicts: 703000 | #Constraints: 31234
976.84/979.55 c #Conflicts: 704000 | #Constraints: 32234
976.84/979.55 c #Conflicts: 705000 | #Constraints: 33234
976.84/979.55 c INPROCESSING
976.84/979.55 c GARBAGE COLLECT
976.84/979.55 c #Conflicts: 706000 | #Constraints: 17636
976.84/979.55 c #Conflicts: 707000 | #Constraints: 18636
976.84/979.55 c #Conflicts: 708000 | #Constraints: 19636
976.84/979.55 c #Conflicts: 709000 | #Constraints: 20636
976.84/979.55 c #Conflicts: 710000 | #Constraints: 21636
976.84/979.55 c #Conflicts: 711000 | #Constraints: 22636
976.84/979.55 c #Conflicts: 712000 | #Constraints: 23636
976.84/979.55 c #Conflicts: 713000 | #Constraints: 24636
976.84/979.55 c #Conflicts: 714000 | #Constraints: 25636
976.84/979.55 c #Conflicts: 715000 | #Constraints: 26636
976.84/979.55 c #Conflicts: 716000 | #Constraints: 27636
976.84/979.55 c #Conflicts: 717000 | #Constraints: 28636
976.84/979.55 c #Conflicts: 718000 | #Constraints: 29636
976.84/979.55 c #Conflicts: 719000 | #Constraints: 30636
976.84/979.55 c #Conflicts: 720000 | #Constraints: 31636
976.84/979.55 c #Conflicts: 721000 | #Constraints: 32636
976.84/979.55 c #Conflicts: 722000 | #Constraints: 33636
976.84/979.55 c INPROCESSING
976.84/979.55 c GARBAGE COLLECT
976.84/979.55 c #Conflicts: 723000 | #Constraints: 17839
976.84/979.55 c #Conflicts: 724000 | #Constraints: 18839
976.84/979.55 c #Conflicts: 725000 | #Constraints: 19839
976.84/979.55 c #Conflicts: 726000 | #Constraints: 20839
976.84/979.55 c #Conflicts: 727000 | #Constraints: 21839
976.84/979.55 c #Conflicts: 728000 | #Constraints: 22839
976.84/979.55 c #Conflicts: 729000 | #Constraints: 23839
976.84/979.55 c #Conflicts: 730000 | #Constraints: 24839
976.84/979.55 c #Conflicts: 731000 | #Constraints: 25839
976.84/979.55 c #Conflicts: 732000 | #Constraints: 26839
976.84/979.55 c #Conflicts: 733000 | #Constraints: 27839
976.84/979.55 c #Conflicts: 734000 | #Constraints: 28839
976.84/979.55 c #Conflicts: 735000 | #Constraints: 29839
976.84/979.55 c #Conflicts: 736000 | #Constraints: 30839
976.84/979.55 c #Conflicts: 737000 | #Constraints: 31839
976.84/979.55 c #Conflicts: 738000 | #Constraints: 32839
976.84/979.55 c #Conflicts: 739000 | #Constraints: 33839
976.84/979.55 c INPROCESSING
976.84/979.55 c GARBAGE COLLECT
976.84/979.55 c bounds 37 >= 0 @ 973.306
976.84/979.55 c stratification level: 4
1089.65/1092.61 c #Conflicts: 740000 | #Constraints: 17841
1089.65/1092.61 c #Conflicts: 741000 | #Constraints: 18841
1089.65/1092.61 c #Conflicts: 742000 | #Constraints: 19841
1089.65/1092.61 c #Conflicts: 743000 | #Constraints: 20841
1089.65/1092.61 c #Conflicts: 744000 | #Constraints: 21841
1089.65/1092.61 c #Conflicts: 745000 | #Constraints: 22841
1089.65/1092.61 c #Conflicts: 746000 | #Constraints: 23841
1089.65/1092.61 c #Conflicts: 747000 | #Constraints: 24841
1089.65/1092.61 c #Conflicts: 748000 | #Constraints: 25841
1089.65/1092.61 c #Conflicts: 749000 | #Constraints: 26841
1089.65/1092.61 c #Conflicts: 750000 | #Constraints: 27841
1089.65/1092.61 c #Conflicts: 751000 | #Constraints: 28841
1089.65/1092.61 c #Conflicts: 752000 | #Constraints: 29841
1089.65/1092.61 c #Conflicts: 753000 | #Constraints: 30841
1089.65/1092.61 c #Conflicts: 754000 | #Constraints: 31841
1089.65/1092.61 c #Conflicts: 755000 | #Constraints: 32841
1089.65/1092.61 c #Conflicts: 756000 | #Constraints: 33841
1089.65/1092.61 c INPROCESSING
1089.65/1092.61 c GARBAGE COLLECT
1089.65/1092.61 c #Conflicts: 757000 | #Constraints: 17637
1089.65/1092.61 c #Conflicts: 758000 | #Constraints: 18637
1089.65/1092.61 c #Conflicts: 759000 | #Constraints: 19637
1089.65/1092.61 c #Conflicts: 760000 | #Constraints: 20637
1089.65/1092.61 c #Conflicts: 761000 | #Constraints: 21637
1089.65/1092.61 c #Conflicts: 762000 | #Constraints: 22637
1089.65/1092.61 c #Conflicts: 763000 | #Constraints: 23637
1089.65/1092.61 c #Conflicts: 764000 | #Constraints: 24637
1089.65/1092.61 c #Conflicts: 765000 | #Constraints: 25637
1089.65/1092.61 c #Conflicts: 766000 | #Constraints: 26637
1089.65/1092.61 c #Conflicts: 767000 | #Constraints: 27637
1089.65/1092.61 c #Conflicts: 768000 | #Constraints: 28637
1089.65/1092.61 c #Conflicts: 769000 | #Constraints: 29637
1089.65/1092.61 c #Conflicts: 770000 | #Constraints: 30637
1089.65/1092.61 c #Conflicts: 771000 | #Constraints: 31637
1089.65/1092.61 c #Conflicts: 772000 | #Constraints: 32637
1089.65/1092.61 c #Conflicts: 773000 | #Constraints: 33637
1089.65/1092.61 c #Conflicts: 774000 | #Constraints: 34637
1089.65/1092.61 c INPROCESSING
1089.65/1092.61 c GARBAGE COLLECT
1089.65/1092.61 c #Conflicts: 775000 | #Constraints: 18237
1089.65/1092.61 c #Conflicts: 776000 | #Constraints: 19237
1089.65/1092.61 c #Conflicts: 777000 | #Constraints: 20237
1089.65/1092.61 c #Conflicts: 778000 | #Constraints: 21237
1089.65/1092.61 c #Conflicts: 779000 | #Constraints: 22237
1089.65/1092.61 c #Conflicts: 780000 | #Constraints: 23237
1089.65/1092.61 c #Conflicts: 781000 | #Constraints: 24237
1089.65/1092.61 c #Conflicts: 782000 | #Constraints: 25237
1089.65/1092.61 c #Conflicts: 783000 | #Constraints: 26237
1089.65/1092.61 c #Conflicts: 784000 | #Constraints: 27237
1089.65/1092.61 c #Conflicts: 785000 | #Constraints: 28237
1089.65/1092.61 c #Conflicts: 786000 | #Constraints: 29237
1089.65/1092.61 c #Conflicts: 787000 | #Constraints: 30237
1089.65/1092.61 c #Conflicts: 788000 | #Constraints: 31237
1089.65/1092.61 c #Conflicts: 789000 | #Constraints: 32237
1089.65/1092.61 c #Conflicts: 790000 | #Constraints: 33237
1089.65/1092.61 c #Conflicts: 791000 | #Constraints: 34237
1089.65/1092.61 c #Conflicts: 792000 | #Constraints: 35237
1089.65/1092.61 c INPROCESSING
1089.65/1092.61 c GARBAGE COLLECT
1089.65/1092.61 c #Conflicts: 793000 | #Constraints: 18637
1089.65/1092.61 c #Conflicts: 794000 | #Constraints: 19637
1089.65/1092.61 c #Conflicts: 795000 | #Constraints: 20637
1089.65/1092.61 c #Conflicts: 796000 | #Constraints: 21637
1089.65/1092.61 c #Conflicts: 797000 | #Constraints: 22637
1089.65/1092.61 c #Conflicts: 798000 | #Constraints: 23637
1089.65/1092.61 c #Conflicts: 799000 | #Constraints: 24637
1089.65/1092.61 c #Conflicts: 800000 | #Constraints: 25637
1089.65/1092.61 c #Conflicts: 801000 | #Constraints: 26637
1089.65/1092.61 c #Conflicts: 802000 | #Constraints: 27637
1089.65/1092.61 c #Conflicts: 803000 | #Constraints: 28637
1089.65/1092.61 c #Conflicts: 804000 | #Constraints: 29637
1089.65/1092.61 c #Conflicts: 805000 | #Constraints: 30637
1089.65/1092.61 c #Conflicts: 806000 | #Constraints: 31637
1089.65/1092.61 c #Conflicts: 807000 | #Constraints: 32637
1089.65/1092.61 c #Conflicts: 808000 | #Constraints: 33637
1089.65/1092.61 c #Conflicts: 809000 | #Constraints: 34637
1089.65/1092.61 c #Conflicts: 810000 | #Constraints: 35637
1089.65/1092.61 c INPROCESSING
1089.65/1092.61 c GARBAGE COLLECT
1089.65/1092.61 c #Conflicts: 811000 | #Constraints: 18835
1089.65/1092.61 c #Conflicts: 812000 | #Constraints: 19835
1089.65/1092.61 c #Conflicts: 813000 | #Constraints: 20835
1089.65/1092.61 c #Conflicts: 814000 | #Constraints: 21835
1089.65/1092.61 c #Conflicts: 815000 | #Constraints: 22835
1089.65/1092.61 c #Conflicts: 816000 | #Constraints: 23835
1206.48/1209.77 c #Conflicts: 817000 | #Constraints: 24835
1206.48/1209.77 c #Conflicts: 818000 | #Constraints: 25835
1206.48/1209.77 c #Conflicts: 819000 | #Constraints: 26835
1206.48/1209.77 c #Conflicts: 820000 | #Constraints: 27835
1206.48/1209.77 c #Conflicts: 821000 | #Constraints: 28835
1206.48/1209.77 c #Conflicts: 822000 | #Constraints: 29835
1206.48/1209.77 c #Conflicts: 823000 | #Constraints: 30835
1206.48/1209.77 c #Conflicts: 824000 | #Constraints: 31835
1206.48/1209.77 c #Conflicts: 825000 | #Constraints: 32835
1206.48/1209.77 c #Conflicts: 826000 | #Constraints: 33835
1206.48/1209.77 c #Conflicts: 827000 | #Constraints: 34835
1206.48/1209.77 c #Conflicts: 828000 | #Constraints: 35835
1206.48/1209.77 c INPROCESSING
1206.48/1209.77 c GARBAGE COLLECT
1206.48/1209.77 c #Conflicts: 829000 | #Constraints: 18842
1206.48/1209.77 c #Conflicts: 830000 | #Constraints: 19842
1206.48/1209.77 c #Conflicts: 831000 | #Constraints: 20842
1206.48/1209.77 c #Conflicts: 832000 | #Constraints: 21842
1206.48/1209.77 c #Conflicts: 833000 | #Constraints: 22842
1206.48/1209.77 c #Conflicts: 834000 | #Constraints: 23842
1206.48/1209.77 c #Conflicts: 835000 | #Constraints: 24842
1206.48/1209.78 c #Conflicts: 836000 | #Constraints: 25842
1206.48/1209.78 c #Conflicts: 837000 | #Constraints: 26842
1206.48/1209.78 c #Conflicts: 838000 | #Constraints: 27842
1206.48/1209.78 c #Conflicts: 839000 | #Constraints: 28842
1206.48/1209.78 c #Conflicts: 840000 | #Constraints: 29842
1206.48/1209.78 c #Conflicts: 841000 | #Constraints: 30842
1206.48/1209.78 c #Conflicts: 842000 | #Constraints: 31842
1206.48/1209.78 c #Conflicts: 843000 | #Constraints: 32842
1206.48/1209.78 c #Conflicts: 844000 | #Constraints: 33842
1206.48/1209.78 c #Conflicts: 845000 | #Constraints: 34842
1206.48/1209.78 c #Conflicts: 846000 | #Constraints: 35842
1206.48/1209.78 c INPROCESSING
1206.48/1209.78 c GARBAGE COLLECT
1206.48/1209.78 c #Conflicts: 847000 | #Constraints: 18639
1206.48/1209.78 c #Conflicts: 848000 | #Constraints: 19639
1206.48/1209.78 c #Conflicts: 849000 | #Constraints: 20639
1206.48/1209.78 c #Conflicts: 850000 | #Constraints: 21639
1206.48/1209.78 c #Conflicts: 851000 | #Constraints: 22639
1206.48/1209.78 c #Conflicts: 852000 | #Constraints: 23639
1206.48/1209.78 c #Conflicts: 853000 | #Constraints: 24639
1206.48/1209.78 c #Conflicts: 854000 | #Constraints: 25639
1206.48/1209.78 c #Conflicts: 855000 | #Constraints: 26639
1206.48/1209.78 c #Conflicts: 856000 | #Constraints: 27639
1206.48/1209.78 c #Conflicts: 857000 | #Constraints: 28639
1206.48/1209.78 c #Conflicts: 858000 | #Constraints: 29639
1206.48/1209.78 c #Conflicts: 859000 | #Constraints: 30639
1206.48/1209.78 c #Conflicts: 860000 | #Constraints: 31639
1206.48/1209.78 c #Conflicts: 861000 | #Constraints: 32639
1206.48/1209.78 c #Conflicts: 862000 | #Constraints: 33639
1206.48/1209.78 c #Conflicts: 863000 | #Constraints: 34639
1206.48/1209.78 c #Conflicts: 864000 | #Constraints: 35639
1206.48/1209.78 c #Conflicts: 865000 | #Constraints: 36639
1206.48/1209.78 c INPROCESSING
1206.48/1209.78 c GARBAGE COLLECT
1206.48/1209.78 c #Conflicts: 866000 | #Constraints: 19237
1206.48/1209.78 c #Conflicts: 867000 | #Constraints: 20237
1206.48/1209.78 c #Conflicts: 868000 | #Constraints: 21237
1206.48/1209.78 c #Conflicts: 869000 | #Constraints: 22237
1206.48/1209.78 c #Conflicts: 870000 | #Constraints: 23237
1206.48/1209.78 c #Conflicts: 871000 | #Constraints: 24237
1206.48/1209.78 c #Conflicts: 872000 | #Constraints: 25237
1206.48/1209.78 c #Conflicts: 873000 | #Constraints: 26237
1206.48/1209.78 c #Conflicts: 874000 | #Constraints: 27237
1206.48/1209.78 c #Conflicts: 875000 | #Constraints: 28237
1206.48/1209.78 c #Conflicts: 876000 | #Constraints: 29237
1206.48/1209.78 c #Conflicts: 877000 | #Constraints: 30237
1206.48/1209.78 c #Conflicts: 878000 | #Constraints: 31237
1206.48/1209.78 c #Conflicts: 879000 | #Constraints: 32237
1206.48/1209.78 c #Conflicts: 880000 | #Constraints: 33237
1206.48/1209.78 c #Conflicts: 881000 | #Constraints: 34237
1206.48/1209.78 c #Conflicts: 882000 | #Constraints: 35237
1206.48/1209.78 c #Conflicts: 883000 | #Constraints: 36237
1206.48/1209.78 c #Conflicts: 884000 | #Constraints: 37237
1206.48/1209.78 c INPROCESSING
1206.48/1209.78 c GARBAGE COLLECT
1206.48/1209.78 c #Conflicts: 885000 | #Constraints: 19637
1206.48/1209.78 c #Conflicts: 886000 | #Constraints: 20637
1206.48/1209.78 c #Conflicts: 887000 | #Constraints: 21637
1206.48/1209.78 c #Conflicts: 888000 | #Constraints: 22637
1206.48/1209.78 c #Conflicts: 889000 | #Constraints: 23637
1206.48/1209.78 c #Conflicts: 890000 | #Constraints: 24637
1206.48/1209.78 c #Conflicts: 891000 | #Constraints: 25637
1206.48/1209.78 c #Conflicts: 892000 | #Constraints: 26637
1334.28/1337.89 c #Conflicts: 893000 | #Constraints: 27637
1334.28/1337.89 c #Conflicts: 894000 | #Constraints: 28637
1334.28/1337.89 c #Conflicts: 895000 | #Constraints: 29637
1334.28/1337.89 c #Conflicts: 896000 | #Constraints: 30637
1334.28/1337.89 c #Conflicts: 897000 | #Constraints: 31637
1334.28/1337.89 c #Conflicts: 898000 | #Constraints: 32637
1334.28/1337.89 c #Conflicts: 899000 | #Constraints: 33637
1334.28/1337.89 c #Conflicts: 900000 | #Constraints: 34637
1334.28/1337.89 c #Conflicts: 901000 | #Constraints: 35637
1334.28/1337.89 c #Conflicts: 902000 | #Constraints: 36637
1334.28/1337.89 c #Conflicts: 903000 | #Constraints: 37637
1334.28/1337.89 c INPROCESSING
1334.28/1337.89 c GARBAGE COLLECT
1334.28/1337.89 c #Conflicts: 904000 | #Constraints: 19834
1334.28/1337.89 c #Conflicts: 905000 | #Constraints: 20834
1334.28/1337.89 c #Conflicts: 906000 | #Constraints: 21834
1334.28/1337.89 c #Conflicts: 907000 | #Constraints: 22834
1334.28/1337.89 c #Conflicts: 908000 | #Constraints: 23834
1334.28/1337.89 c #Conflicts: 909000 | #Constraints: 24834
1334.28/1337.89 c #Conflicts: 910000 | #Constraints: 25834
1334.28/1337.89 c #Conflicts: 911000 | #Constraints: 26834
1334.28/1337.89 c #Conflicts: 912000 | #Constraints: 27834
1334.28/1337.89 c #Conflicts: 913000 | #Constraints: 28834
1334.28/1337.89 c #Conflicts: 914000 | #Constraints: 29834
1334.28/1337.89 c #Conflicts: 915000 | #Constraints: 30834
1334.28/1337.89 c #Conflicts: 916000 | #Constraints: 31834
1334.28/1337.89 c #Conflicts: 917000 | #Constraints: 32834
1334.28/1337.89 c #Conflicts: 918000 | #Constraints: 33834
1334.28/1337.89 c #Conflicts: 919000 | #Constraints: 34834
1334.28/1337.89 c #Conflicts: 920000 | #Constraints: 35834
1334.28/1337.89 c #Conflicts: 921000 | #Constraints: 36834
1334.28/1337.89 c #Conflicts: 922000 | #Constraints: 37834
1334.28/1337.89 c INPROCESSING
1334.28/1337.89 c GARBAGE COLLECT
1334.28/1337.89 c #Conflicts: 923000 | #Constraints: 19834
1334.28/1337.89 c #Conflicts: 924000 | #Constraints: 20834
1334.28/1337.89 c #Conflicts: 925000 | #Constraints: 21834
1334.28/1337.89 c #Conflicts: 926000 | #Constraints: 22834
1334.28/1337.89 c #Conflicts: 927000 | #Constraints: 23834
1334.28/1337.89 c #Conflicts: 928000 | #Constraints: 24834
1334.28/1337.89 c #Conflicts: 929000 | #Constraints: 25834
1334.28/1337.89 c #Conflicts: 930000 | #Constraints: 26834
1334.28/1337.89 c #Conflicts: 931000 | #Constraints: 27834
1334.28/1337.89 c #Conflicts: 932000 | #Constraints: 28834
1334.28/1337.89 c #Conflicts: 933000 | #Constraints: 29834
1334.28/1337.89 c #Conflicts: 934000 | #Constraints: 30834
1334.28/1337.89 c #Conflicts: 935000 | #Constraints: 31834
1334.28/1337.89 c #Conflicts: 936000 | #Constraints: 32834
1334.28/1337.89 c #Conflicts: 937000 | #Constraints: 33834
1334.28/1337.89 c #Conflicts: 938000 | #Constraints: 34834
1334.28/1337.89 c #Conflicts: 939000 | #Constraints: 35834
1334.28/1337.89 c #Conflicts: 940000 | #Constraints: 36834
1334.28/1337.89 c #Conflicts: 941000 | #Constraints: 37834
1334.28/1337.89 c INPROCESSING
1334.28/1337.89 c GARBAGE COLLECT
1334.28/1337.89 c #Conflicts: 942000 | #Constraints: 19636
1334.28/1337.89 c #Conflicts: 943000 | #Constraints: 20636
1334.28/1337.89 c #Conflicts: 944000 | #Constraints: 21636
1334.28/1337.89 c #Conflicts: 945000 | #Constraints: 22636
1334.28/1337.89 c #Conflicts: 946000 | #Constraints: 23636
1334.28/1337.89 c #Conflicts: 947000 | #Constraints: 24636
1334.28/1337.89 c #Conflicts: 948000 | #Constraints: 25636
1334.28/1337.89 c #Conflicts: 949000 | #Constraints: 26636
1334.28/1337.89 c #Conflicts: 950000 | #Constraints: 27636
1334.28/1337.89 c #Conflicts: 951000 | #Constraints: 28636
1334.28/1337.89 c #Conflicts: 952000 | #Constraints: 29636
1334.28/1337.89 c #Conflicts: 953000 | #Constraints: 30636
1334.28/1337.89 c #Conflicts: 954000 | #Constraints: 31636
1334.28/1337.89 c #Conflicts: 955000 | #Constraints: 32636
1334.28/1337.89 c #Conflicts: 956000 | #Constraints: 33636
1334.28/1337.89 c #Conflicts: 957000 | #Constraints: 34636
1334.28/1337.89 c #Conflicts: 958000 | #Constraints: 35636
1334.28/1337.89 c #Conflicts: 959000 | #Constraints: 36636
1334.28/1337.89 c #Conflicts: 960000 | #Constraints: 37636
1334.28/1337.89 c #Conflicts: 961000 | #Constraints: 38636
1334.28/1337.89 c INPROCESSING
1334.28/1337.89 c GARBAGE COLLECT
1334.28/1337.89 c #Conflicts: 962000 | #Constraints: 20239
1334.28/1337.89 c #Conflicts: 963000 | #Constraints: 21239
1334.28/1337.89 c #Conflicts: 964000 | #Constraints: 22239
1334.28/1337.89 c #Conflicts: 965000 | #Constraints: 23239
1334.28/1337.89 c #Conflicts: 966000 | #Constraints: 24239
1334.28/1337.89 c #Conflicts: 967000 | #Constraints: 25239
1334.28/1337.89 c #Conflicts: 968000 | #Constraints: 26239
1490.91/1494.87 c #Conflicts: 969000 | #Constraints: 27239
1490.91/1494.87 c #Conflicts: 970000 | #Constraints: 28239
1490.91/1494.87 c #Conflicts: 971000 | #Constraints: 29239
1490.91/1494.87 c #Conflicts: 972000 | #Constraints: 30239
1490.91/1494.87 c #Conflicts: 973000 | #Constraints: 31239
1490.91/1494.87 c #Conflicts: 974000 | #Constraints: 32239
1490.91/1494.87 c #Conflicts: 975000 | #Constraints: 33239
1490.91/1494.87 c #Conflicts: 976000 | #Constraints: 34239
1490.91/1494.87 c #Conflicts: 977000 | #Constraints: 35239
1490.91/1494.87 c #Conflicts: 978000 | #Constraints: 36239
1490.91/1494.87 c #Conflicts: 979000 | #Constraints: 37239
1490.91/1494.87 c #Conflicts: 980000 | #Constraints: 38239
1490.91/1494.87 c #Conflicts: 981000 | #Constraints: 39239
1490.91/1494.87 c INPROCESSING
1490.91/1494.87 c GARBAGE COLLECT
1490.91/1494.87 c #Conflicts: 982000 | #Constraints: 20641
1490.91/1494.87 c #Conflicts: 983000 | #Constraints: 21641
1490.91/1494.87 c #Conflicts: 984000 | #Constraints: 22641
1490.91/1494.87 c #Conflicts: 985000 | #Constraints: 23641
1490.91/1494.87 c #Conflicts: 986000 | #Constraints: 24641
1490.91/1494.87 c #Conflicts: 987000 | #Constraints: 25641
1490.91/1494.87 c #Conflicts: 988000 | #Constraints: 26641
1490.91/1494.87 c #Conflicts: 989000 | #Constraints: 27641
1490.91/1494.87 c #Conflicts: 990000 | #Constraints: 28641
1490.91/1494.87 c #Conflicts: 991000 | #Constraints: 29641
1490.91/1494.87 c #Conflicts: 992000 | #Constraints: 30641
1490.91/1494.87 c #Conflicts: 993000 | #Constraints: 31641
1490.91/1494.87 c #Conflicts: 994000 | #Constraints: 32641
1490.91/1494.87 c #Conflicts: 995000 | #Constraints: 33641
1490.91/1494.87 c #Conflicts: 996000 | #Constraints: 34641
1490.91/1494.87 c #Conflicts: 997000 | #Constraints: 35641
1490.91/1494.87 c #Conflicts: 998000 | #Constraints: 36641
1490.91/1494.87 c #Conflicts: 999000 | #Constraints: 37641
1490.91/1494.87 c #Conflicts: 1000000 | #Constraints: 38641
1490.91/1494.87 c #Conflicts: 1001000 | #Constraints: 39641
1490.91/1494.87 c INPROCESSING
1490.91/1494.87 c GARBAGE COLLECT
1490.91/1494.87 c #Conflicts: 1002000 | #Constraints: 20844
1490.91/1494.87 c #Conflicts: 1003000 | #Constraints: 21844
1490.91/1494.87 c #Conflicts: 1004000 | #Constraints: 22844
1490.91/1494.87 c #Conflicts: 1005000 | #Constraints: 23844
1490.91/1494.87 c #Conflicts: 1006000 | #Constraints: 24844
1490.91/1494.87 c #Conflicts: 1007000 | #Constraints: 25844
1490.91/1494.87 c #Conflicts: 1008000 | #Constraints: 26844
1490.91/1494.87 c #Conflicts: 1009000 | #Constraints: 27844
1490.91/1494.87 c #Conflicts: 1010000 | #Constraints: 28844
1490.91/1494.87 c #Conflicts: 1011000 | #Constraints: 29844
1490.91/1494.87 c #Conflicts: 1012000 | #Constraints: 30844
1490.91/1494.87 c #Conflicts: 1013000 | #Constraints: 31844
1490.91/1494.87 c #Conflicts: 1014000 | #Constraints: 32844
1490.91/1494.87 c #Conflicts: 1015000 | #Constraints: 33844
1490.91/1494.87 c #Conflicts: 1016000 | #Constraints: 34844
1490.91/1494.87 c #Conflicts: 1017000 | #Constraints: 35844
1490.91/1494.87 c #Conflicts: 1018000 | #Constraints: 36844
1490.91/1494.87 c #Conflicts: 1019000 | #Constraints: 37844
1490.91/1494.87 c #Conflicts: 1020000 | #Constraints: 38844
1490.91/1494.87 c #Conflicts: 1021000 | #Constraints: 39844
1490.91/1494.87 c INPROCESSING
1490.91/1494.87 c GARBAGE COLLECT
1490.91/1494.87 c #Conflicts: 1022000 | #Constraints: 20844
1490.91/1494.87 c #Conflicts: 1023000 | #Constraints: 21844
1490.91/1494.87 c #Conflicts: 1024000 | #Constraints: 22844
1490.91/1494.87 c #Conflicts: 1025000 | #Constraints: 23844
1490.91/1494.87 c #Conflicts: 1026000 | #Constraints: 24844
1490.91/1494.87 c #Conflicts: 1027000 | #Constraints: 25844
1490.91/1494.87 c #Conflicts: 1028000 | #Constraints: 26844
1490.91/1494.87 c #Conflicts: 1029000 | #Constraints: 27844
1490.91/1494.87 c #Conflicts: 1030000 | #Constraints: 28844
1490.91/1494.87 c #Conflicts: 1031000 | #Constraints: 29844
1490.91/1494.87 c #Conflicts: 1032000 | #Constraints: 30844
1490.91/1494.87 c #Conflicts: 1033000 | #Constraints: 31844
1490.91/1494.87 c #Conflicts: 1034000 | #Constraints: 32844
1490.91/1494.87 c #Conflicts: 1035000 | #Constraints: 33844
1490.91/1494.87 c #Conflicts: 1036000 | #Constraints: 34844
1490.91/1494.87 c #Conflicts: 1037000 | #Constraints: 35844
1490.91/1494.87 c #Conflicts: 1038000 | #Constraints: 36844
1490.91/1494.87 c #Conflicts: 1039000 | #Constraints: 37844
1490.91/1494.87 c #Conflicts: 1040000 | #Constraints: 38844
1490.91/1494.87 c #Conflicts: 1041000 | #Constraints: 39844
1490.91/1494.87 c INPROCESSING
1490.91/1494.87 c GARBAGE COLLECT
1490.91/1494.87 c #Conflicts: 1042000 | #Constraints: 20646
1490.91/1494.87 c #Conflicts: 1043000 | #Constraints: 21646
1490.91/1494.87 c #Conflicts: 1044000 | #Constraints: 22646
1664.21/1668.51 c #Conflicts: 1045000 | #Constraints: 23646
1664.21/1668.51 c #Conflicts: 1046000 | #Constraints: 24646
1664.21/1668.51 c #Conflicts: 1047000 | #Constraints: 25646
1664.21/1668.51 c #Conflicts: 1048000 | #Constraints: 26646
1664.21/1668.51 c #Conflicts: 1049000 | #Constraints: 27646
1664.21/1668.51 c #Conflicts: 1050000 | #Constraints: 28646
1664.21/1668.51 c #Conflicts: 1051000 | #Constraints: 29646
1664.21/1668.51 c #Conflicts: 1052000 | #Constraints: 30646
1664.21/1668.51 c #Conflicts: 1053000 | #Constraints: 31646
1664.21/1668.51 c #Conflicts: 1054000 | #Constraints: 32646
1664.21/1668.51 c #Conflicts: 1055000 | #Constraints: 33646
1664.21/1668.51 c #Conflicts: 1056000 | #Constraints: 34646
1664.21/1668.51 c #Conflicts: 1057000 | #Constraints: 35646
1664.21/1668.51 c #Conflicts: 1058000 | #Constraints: 36646
1664.21/1668.51 c #Conflicts: 1059000 | #Constraints: 37646
1664.21/1668.51 c #Conflicts: 1060000 | #Constraints: 38646
1664.21/1668.51 c #Conflicts: 1061000 | #Constraints: 39646
1664.21/1668.51 c #Conflicts: 1062000 | #Constraints: 40646
1664.21/1668.51 c INPROCESSING
1664.21/1668.51 c GARBAGE COLLECT
1664.21/1668.51 c #Conflicts: 1063000 | #Constraints: 21245
1664.21/1668.51 c #Conflicts: 1064000 | #Constraints: 22245
1664.21/1668.51 c #Conflicts: 1065000 | #Constraints: 23245
1664.21/1668.51 c #Conflicts: 1066000 | #Constraints: 24245
1664.21/1668.51 c #Conflicts: 1067000 | #Constraints: 25245
1664.21/1668.51 c #Conflicts: 1068000 | #Constraints: 26245
1664.21/1668.51 c #Conflicts: 1069000 | #Constraints: 27245
1664.21/1668.51 c #Conflicts: 1070000 | #Constraints: 28245
1664.21/1668.51 c #Conflicts: 1071000 | #Constraints: 29245
1664.21/1668.51 c #Conflicts: 1072000 | #Constraints: 30245
1664.21/1668.51 c #Conflicts: 1073000 | #Constraints: 31245
1664.21/1668.51 c #Conflicts: 1074000 | #Constraints: 32245
1664.21/1668.51 c #Conflicts: 1075000 | #Constraints: 33245
1664.21/1668.51 c #Conflicts: 1076000 | #Constraints: 34245
1664.21/1668.51 c #Conflicts: 1077000 | #Constraints: 35245
1664.21/1668.51 c #Conflicts: 1078000 | #Constraints: 36245
1664.21/1668.51 c #Conflicts: 1079000 | #Constraints: 37245
1664.21/1668.51 c #Conflicts: 1080000 | #Constraints: 38245
1664.21/1668.51 c #Conflicts: 1081000 | #Constraints: 39245
1664.21/1668.51 c #Conflicts: 1082000 | #Constraints: 40245
1664.21/1668.51 c #Conflicts: 1083000 | #Constraints: 41245
1664.21/1668.51 c INPROCESSING
1664.21/1668.51 c GARBAGE COLLECT
1664.21/1668.51 c #Conflicts: 1084000 | #Constraints: 21644
1664.21/1668.51 c #Conflicts: 1085000 | #Constraints: 22644
1664.21/1668.51 c #Conflicts: 1086000 | #Constraints: 23644
1664.21/1668.51 c #Conflicts: 1087000 | #Constraints: 24644
1664.21/1668.51 c #Conflicts: 1088000 | #Constraints: 25644
1664.21/1668.51 c #Conflicts: 1089000 | #Constraints: 26644
1664.21/1668.51 c #Conflicts: 1090000 | #Constraints: 27644
1664.21/1668.51 c #Conflicts: 1091000 | #Constraints: 28644
1664.21/1668.51 c #Conflicts: 1092000 | #Constraints: 29644
1664.21/1668.51 c #Conflicts: 1093000 | #Constraints: 30644
1664.21/1668.51 c #Conflicts: 1094000 | #Constraints: 31644
1664.21/1668.51 c #Conflicts: 1095000 | #Constraints: 32644
1664.21/1668.51 c #Conflicts: 1096000 | #Constraints: 33644
1664.21/1668.51 c #Conflicts: 1097000 | #Constraints: 34644
1664.21/1668.51 c #Conflicts: 1098000 | #Constraints: 35644
1664.21/1668.51 c #Conflicts: 1099000 | #Constraints: 36644
1664.21/1668.51 c #Conflicts: 1100000 | #Constraints: 37644
1664.21/1668.51 c #Conflicts: 1101000 | #Constraints: 38644
1664.21/1668.51 c #Conflicts: 1102000 | #Constraints: 39644
1664.21/1668.51 c #Conflicts: 1103000 | #Constraints: 40644
1664.21/1668.51 c #Conflicts: 1104000 | #Constraints: 41644
1664.21/1668.51 c INPROCESSING
1664.21/1668.51 c GARBAGE COLLECT
1664.21/1668.51 c #Conflicts: 1105000 | #Constraints: 21843
1664.21/1668.51 c #Conflicts: 1106000 | #Constraints: 22843
1664.21/1668.51 c #Conflicts: 1107000 | #Constraints: 23843
1664.21/1668.51 c #Conflicts: 1108000 | #Constraints: 24843
1664.21/1668.51 c #Conflicts: 1109000 | #Constraints: 25843
1664.21/1668.51 c #Conflicts: 1110000 | #Constraints: 26843
1664.21/1668.51 c #Conflicts: 1111000 | #Constraints: 27843
1664.21/1668.51 c #Conflicts: 1112000 | #Constraints: 28843
1664.21/1668.51 c #Conflicts: 1113000 | #Constraints: 29843
1664.21/1668.51 c #Conflicts: 1114000 | #Constraints: 30843
1664.21/1668.51 c #Conflicts: 1115000 | #Constraints: 31843
1664.21/1668.51 c #Conflicts: 1116000 | #Constraints: 32843
1664.21/1668.51 c #Conflicts: 1117000 | #Constraints: 33843
1664.21/1668.51 c #Conflicts: 1118000 | #Constraints: 34843
1664.21/1668.51 c #Conflicts: 1119000 | #Constraints: 35843
1664.21/1668.51 c #Conflicts: 1120000 | #Constraints: 36843
1664.21/1668.51 c #Conflicts: 1121000 | #Constraints: 37843
1807.76/1812.42 c #Conflicts: 1122000 | #Constraints: 38843
1807.76/1812.42 c #Conflicts: 1123000 | #Constraints: 39843
1807.76/1812.42 c #Conflicts: 1124000 | #Constraints: 40843
1807.76/1812.42 c #Conflicts: 1125000 | #Constraints: 41843
1807.76/1812.42 c INPROCESSING
1807.76/1812.42 c GARBAGE COLLECT
1807.76/1812.42 c #Conflicts: 1126000 | #Constraints: 21843
1807.76/1812.42 c #Conflicts: 1127000 | #Constraints: 22843
1807.76/1812.42 c #Conflicts: 1128000 | #Constraints: 23843
1807.76/1812.42 c #Conflicts: 1129000 | #Constraints: 24843
1807.76/1812.42 c #Conflicts: 1130000 | #Constraints: 25843
1807.76/1812.42 c #Conflicts: 1131000 | #Constraints: 26843
1807.76/1812.42 c #Conflicts: 1132000 | #Constraints: 27843
1807.76/1812.42 c #Conflicts: 1133000 | #Constraints: 28843
1807.76/1812.42 c #Conflicts: 1134000 | #Constraints: 29843
1807.76/1812.42 c #Conflicts: 1135000 | #Constraints: 30843
1807.76/1812.42 c #Conflicts: 1136000 | #Constraints: 31843
1807.76/1812.42 c #Conflicts: 1137000 | #Constraints: 32843
1807.76/1812.42 c #Conflicts: 1138000 | #Constraints: 33843
1807.76/1812.42 c #Conflicts: 1139000 | #Constraints: 34843
1807.76/1812.42 c #Conflicts: 1140000 | #Constraints: 35843
1807.76/1812.42 c #Conflicts: 1141000 | #Constraints: 36843
1807.76/1812.42 c #Conflicts: 1142000 | #Constraints: 37843
1807.76/1812.42 c #Conflicts: 1143000 | #Constraints: 38843
1807.76/1812.42 c #Conflicts: 1144000 | #Constraints: 39843
1807.76/1812.42 c #Conflicts: 1145000 | #Constraints: 40843
1807.76/1812.42 c #Conflicts: 1146000 | #Constraints: 41843
1807.76/1812.42 c INPROCESSING
1807.76/1812.42 c GARBAGE COLLECT
1807.76/1812.42 c #Conflicts: 1147000 | #Constraints: 21639
1807.76/1812.42 c #Conflicts: 1148000 | #Constraints: 22639
1807.76/1812.42 c #Conflicts: 1149000 | #Constraints: 23639
1807.76/1812.42 c #Conflicts: 1150000 | #Constraints: 24639
1807.76/1812.42 c #Conflicts: 1151000 | #Constraints: 25639
1807.76/1812.42 c #Conflicts: 1152000 | #Constraints: 26639
1807.76/1812.42 c #Conflicts: 1153000 | #Constraints: 27639
1807.76/1812.42 c #Conflicts: 1154000 | #Constraints: 28639
1807.76/1812.42 c #Conflicts: 1155000 | #Constraints: 29639
1807.76/1812.42 c #Conflicts: 1156000 | #Constraints: 30639
1807.76/1812.42 c #Conflicts: 1157000 | #Constraints: 31639
1807.76/1812.42 c #Conflicts: 1158000 | #Constraints: 32639
1807.76/1812.42 c #Conflicts: 1159000 | #Constraints: 33639
1807.76/1812.42 c #Conflicts: 1160000 | #Constraints: 34639
1807.76/1812.42 c #Conflicts: 1161000 | #Constraints: 35639
1807.76/1812.42 c #Conflicts: 1162000 | #Constraints: 36639
1807.76/1812.42 c #Conflicts: 1163000 | #Constraints: 37639
1807.76/1812.42 c #Conflicts: 1164000 | #Constraints: 38639
1807.76/1812.42 c #Conflicts: 1165000 | #Constraints: 39639
1807.76/1812.42 c #Conflicts: 1166000 | #Constraints: 40639
1807.76/1812.42 c #Conflicts: 1167000 | #Constraints: 41639
1807.76/1812.42 c #Conflicts: 1168000 | #Constraints: 42639
1807.76/1812.42 c INPROCESSING
1807.76/1812.42 c GARBAGE COLLECT
1807.76/1812.42 c #Conflicts: 1169000 | #Constraints: 22243
1807.76/1812.42 c #Conflicts: 1170000 | #Constraints: 23243
1807.76/1812.42 c #Conflicts: 1171000 | #Constraints: 24243
1807.76/1812.42 c #Conflicts: 1172000 | #Constraints: 25243
1807.76/1812.42 c #Conflicts: 1173000 | #Constraints: 26243
1807.76/1812.42 c #Conflicts: 1174000 | #Constraints: 27243
1807.76/1812.42 c #Conflicts: 1175000 | #Constraints: 28243
1807.76/1812.42 c #Conflicts: 1176000 | #Constraints: 29243
1807.76/1812.42 c #Conflicts: 1177000 | #Constraints: 30243
1807.76/1812.42 c #Conflicts: 1178000 | #Constraints: 31243
1807.76/1812.42 c #Conflicts: 1179000 | #Constraints: 32243
1807.76/1812.42 c #Conflicts: 1180000 | #Constraints: 33243
1807.76/1812.42 c #Conflicts: 1181000 | #Constraints: 34243
1807.76/1812.42 c #Conflicts: 1182000 | #Constraints: 35243
1807.76/1812.42 c #Conflicts: 1183000 | #Constraints: 36243
1807.76/1812.42 c #Conflicts: 1184000 | #Constraints: 37243
1807.76/1812.42 c #Conflicts: 1185000 | #Constraints: 38243
1807.76/1812.42 c #Conflicts: 1186000 | #Constraints: 39243
1807.76/1812.42 c #Conflicts: 1187000 | #Constraints: 40243
1807.76/1812.42 c #Conflicts: 1188000 | #Constraints: 41243
1807.76/1812.42 c #Conflicts: 1189000 | #Constraints: 42243
1807.76/1812.42 c #Conflicts: 1190000 | #Constraints: 43243
1807.76/1812.42 c INPROCESSING
1807.76/1812.42 c GARBAGE COLLECT
1807.76/1812.42 c #Conflicts: 1191000 | #Constraints: 22641
1807.76/1812.42 c #Conflicts: 1192000 | #Constraints: 23641
1807.76/1812.42 c #Conflicts: 1193000 | #Constraints: 24641
1807.76/1812.42 c #Conflicts: 1194000 | #Constraints: 25641
1807.76/1812.42 c #Conflicts: 1195000 | #Constraints: 26641
1807.76/1812.42 c #Conflicts: 1196000 | #Constraints: 27641
1807.76/1812.42 c #Conflicts: 1197000 | #Constraints: 28641
1807.76/1812.42 c #Conflicts: 1198000 | #Constraints: 29641
1956.61/1961.67 c #Conflicts: 1199000 | #Constraints: 30641
1956.61/1961.67 c #Conflicts: 1200000 | #Constraints: 31641
1956.61/1961.67 c #Conflicts: 1201000 | #Constraints: 32641
1956.61/1961.67 c #Conflicts: 1202000 | #Constraints: 33641
1956.61/1961.67 c #Conflicts: 1203000 | #Constraints: 34641
1956.61/1961.67 c #Conflicts: 1204000 | #Constraints: 35641
1956.61/1961.67 c #Conflicts: 1205000 | #Constraints: 36641
1956.61/1961.67 c #Conflicts: 1206000 | #Constraints: 37641
1956.61/1961.67 c #Conflicts: 1207000 | #Constraints: 38641
1956.61/1961.67 c #Conflicts: 1208000 | #Constraints: 39641
1956.61/1961.67 c #Conflicts: 1209000 | #Constraints: 40641
1956.61/1961.67 c #Conflicts: 1210000 | #Constraints: 41641
1956.61/1961.67 c #Conflicts: 1211000 | #Constraints: 42641
1956.61/1961.67 c #Conflicts: 1212000 | #Constraints: 43641
1956.61/1961.67 c INPROCESSING
1956.61/1961.67 c GARBAGE COLLECT
1956.61/1961.67 c #Conflicts: 1213000 | #Constraints: 22843
1956.61/1961.67 c #Conflicts: 1214000 | #Constraints: 23843
1956.61/1961.67 c #Conflicts: 1215000 | #Constraints: 24843
1956.61/1961.67 c #Conflicts: 1216000 | #Constraints: 25843
1956.61/1961.67 c #Conflicts: 1217000 | #Constraints: 26843
1956.61/1961.67 c #Conflicts: 1218000 | #Constraints: 27843
1956.61/1961.67 c #Conflicts: 1219000 | #Constraints: 28843
1956.61/1961.67 c #Conflicts: 1220000 | #Constraints: 29843
1956.61/1961.67 c #Conflicts: 1221000 | #Constraints: 30843
1956.61/1961.67 c #Conflicts: 1222000 | #Constraints: 31843
1956.61/1961.67 c #Conflicts: 1223000 | #Constraints: 32843
1956.61/1961.67 c #Conflicts: 1224000 | #Constraints: 33843
1956.61/1961.67 c #Conflicts: 1225000 | #Constraints: 34843
1956.61/1961.67 c #Conflicts: 1226000 | #Constraints: 35843
1956.61/1961.67 c #Conflicts: 1227000 | #Constraints: 36843
1956.61/1961.67 c #Conflicts: 1228000 | #Constraints: 37843
1956.61/1961.67 c #Conflicts: 1229000 | #Constraints: 38843
1956.61/1961.67 c #Conflicts: 1230000 | #Constraints: 39843
1956.61/1961.67 c #Conflicts: 1231000 | #Constraints: 40843
1956.61/1961.67 c #Conflicts: 1232000 | #Constraints: 41843
1956.61/1961.67 c #Conflicts: 1233000 | #Constraints: 42843
1956.61/1961.67 c #Conflicts: 1234000 | #Constraints: 43843
1956.61/1961.67 c INPROCESSING
1956.61/1961.67 c GARBAGE COLLECT
1956.61/1961.67 c #Conflicts: 1235000 | #Constraints: 22841
1956.61/1961.67 c #Conflicts: 1236000 | #Constraints: 23841
1956.61/1961.67 c #Conflicts: 1237000 | #Constraints: 24841
1956.61/1961.67 c #Conflicts: 1238000 | #Constraints: 25841
1956.61/1961.67 c #Conflicts: 1239000 | #Constraints: 26841
1956.61/1961.67 c #Conflicts: 1240000 | #Constraints: 27841
1956.61/1961.67 c #Conflicts: 1241000 | #Constraints: 28841
1956.61/1961.67 c #Conflicts: 1242000 | #Constraints: 29841
1956.61/1961.67 c #Conflicts: 1243000 | #Constraints: 30841
1956.61/1961.67 c #Conflicts: 1244000 | #Constraints: 31841
1956.61/1961.67 c #Conflicts: 1245000 | #Constraints: 32841
1956.61/1961.67 c #Conflicts: 1246000 | #Constraints: 33841
1956.61/1961.67 c #Conflicts: 1247000 | #Constraints: 34841
1956.61/1961.67 c #Conflicts: 1248000 | #Constraints: 35841
1956.61/1961.67 c #Conflicts: 1249000 | #Constraints: 36841
1956.61/1961.67 c #Conflicts: 1250000 | #Constraints: 37841
1956.61/1961.67 c #Conflicts: 1251000 | #Constraints: 38841
1956.61/1961.67 c #Conflicts: 1252000 | #Constraints: 39841
1956.61/1961.67 c #Conflicts: 1253000 | #Constraints: 40841
1956.61/1961.67 c #Conflicts: 1254000 | #Constraints: 41841
1956.61/1961.67 c #Conflicts: 1255000 | #Constraints: 42841
1956.61/1961.67 c #Conflicts: 1256000 | #Constraints: 43841
1956.61/1961.67 c INPROCESSING
1956.61/1961.67 c GARBAGE COLLECT
1956.61/1961.67 c #Conflicts: 1257000 | #Constraints: 22639
1956.61/1961.67 c #Conflicts: 1258000 | #Constraints: 23639
1956.61/1961.67 c #Conflicts: 1259000 | #Constraints: 24639
1956.61/1961.67 c #Conflicts: 1260000 | #Constraints: 25639
1956.61/1961.67 c #Conflicts: 1261000 | #Constraints: 26639
1956.61/1961.67 c #Conflicts: 1262000 | #Constraints: 27639
1956.61/1961.67 c #Conflicts: 1263000 | #Constraints: 28639
1956.61/1961.67 c #Conflicts: 1264000 | #Constraints: 29639
1956.61/1961.67 c #Conflicts: 1265000 | #Constraints: 30639
1956.61/1961.67 c #Conflicts: 1266000 | #Constraints: 31639
1956.61/1961.67 c #Conflicts: 1267000 | #Constraints: 32639
1956.61/1961.67 c #Conflicts: 1268000 | #Constraints: 33639
1956.61/1961.67 c #Conflicts: 1269000 | #Constraints: 34639
1956.61/1961.67 c #Conflicts: 1270000 | #Constraints: 35639
1956.61/1961.67 c #Conflicts: 1271000 | #Constraints: 36639
1956.61/1961.67 c #Conflicts: 1272000 | #Constraints: 37639
1956.61/1961.67 c #Conflicts: 1273000 | #Constraints: 38639
1956.61/1961.67 c #Conflicts: 1274000 | #Constraints: 39639
2127.28/2132.73 c #Conflicts: 1275000 | #Constraints: 40639
2127.28/2132.73 c #Conflicts: 1276000 | #Constraints: 41639
2127.28/2132.73 c #Conflicts: 1277000 | #Constraints: 42639
2127.28/2132.73 c #Conflicts: 1278000 | #Constraints: 43639
2127.28/2132.73 c #Conflicts: 1279000 | #Constraints: 44639
2127.28/2132.73 c INPROCESSING
2127.28/2132.73 c GARBAGE COLLECT
2127.28/2132.73 c #Conflicts: 1280000 | #Constraints: 23237
2127.28/2132.73 c #Conflicts: 1281000 | #Constraints: 24237
2127.28/2132.73 c #Conflicts: 1282000 | #Constraints: 25237
2127.28/2132.73 c #Conflicts: 1283000 | #Constraints: 26237
2127.28/2132.73 c #Conflicts: 1284000 | #Constraints: 27237
2127.28/2132.73 c #Conflicts: 1285000 | #Constraints: 28237
2127.28/2132.73 c #Conflicts: 1286000 | #Constraints: 29237
2127.28/2132.73 c #Conflicts: 1287000 | #Constraints: 30237
2127.28/2132.73 c #Conflicts: 1288000 | #Constraints: 31237
2127.28/2132.73 c #Conflicts: 1289000 | #Constraints: 32237
2127.28/2132.73 c #Conflicts: 1290000 | #Constraints: 33237
2127.28/2132.73 c #Conflicts: 1291000 | #Constraints: 34237
2127.28/2132.73 c #Conflicts: 1292000 | #Constraints: 35237
2127.28/2132.73 c #Conflicts: 1293000 | #Constraints: 36237
2127.28/2132.73 c #Conflicts: 1294000 | #Constraints: 37237
2127.28/2132.73 c #Conflicts: 1295000 | #Constraints: 38237
2127.28/2132.73 c #Conflicts: 1296000 | #Constraints: 39237
2127.28/2132.73 c #Conflicts: 1297000 | #Constraints: 40237
2127.28/2132.73 c #Conflicts: 1298000 | #Constraints: 41237
2127.28/2132.73 c #Conflicts: 1299000 | #Constraints: 42237
2127.28/2132.73 c #Conflicts: 1300000 | #Constraints: 43237
2127.28/2132.73 c #Conflicts: 1301000 | #Constraints: 44237
2127.28/2132.73 c #Conflicts: 1302000 | #Constraints: 45237
2127.28/2132.73 c INPROCESSING
2127.28/2132.73 c GARBAGE COLLECT
2127.28/2132.73 c #Conflicts: 1303000 | #Constraints: 23636
2127.28/2132.73 c #Conflicts: 1304000 | #Constraints: 24636
2127.28/2132.73 c #Conflicts: 1305000 | #Constraints: 25636
2127.28/2132.73 c #Conflicts: 1306000 | #Constraints: 26636
2127.28/2132.73 c #Conflicts: 1307000 | #Constraints: 27636
2127.28/2132.73 c #Conflicts: 1308000 | #Constraints: 28636
2127.28/2132.73 c #Conflicts: 1309000 | #Constraints: 29636
2127.28/2132.73 c #Conflicts: 1310000 | #Constraints: 30636
2127.28/2132.73 c #Conflicts: 1311000 | #Constraints: 31636
2127.28/2132.73 c #Conflicts: 1312000 | #Constraints: 32636
2127.28/2132.73 c #Conflicts: 1313000 | #Constraints: 33636
2127.28/2132.73 c #Conflicts: 1314000 | #Constraints: 34636
2127.28/2132.73 c #Conflicts: 1315000 | #Constraints: 35636
2127.28/2132.73 c #Conflicts: 1316000 | #Constraints: 36636
2127.28/2132.73 c #Conflicts: 1317000 | #Constraints: 37636
2127.28/2132.73 c #Conflicts: 1318000 | #Constraints: 38636
2127.28/2132.73 c #Conflicts: 1319000 | #Constraints: 39636
2127.28/2132.73 c #Conflicts: 1320000 | #Constraints: 40636
2127.28/2132.73 c #Conflicts: 1321000 | #Constraints: 41636
2127.28/2132.73 c #Conflicts: 1322000 | #Constraints: 42636
2127.28/2132.73 c #Conflicts: 1323000 | #Constraints: 43636
2127.28/2132.73 c #Conflicts: 1324000 | #Constraints: 44636
2127.28/2132.73 c #Conflicts: 1325000 | #Constraints: 45636
2127.28/2132.73 c INPROCESSING
2127.28/2132.73 c GARBAGE COLLECT
2127.28/2132.73 c #Conflicts: 1326000 | #Constraints: 23838
2127.28/2132.73 c #Conflicts: 1327000 | #Constraints: 24838
2127.28/2132.73 c #Conflicts: 1328000 | #Constraints: 25838
2127.28/2132.73 c #Conflicts: 1329000 | #Constraints: 26838
2127.28/2132.73 c #Conflicts: 1330000 | #Constraints: 27838
2127.28/2132.73 c #Conflicts: 1331000 | #Constraints: 28838
2127.28/2132.73 c #Conflicts: 1332000 | #Constraints: 29838
2127.28/2132.73 c #Conflicts: 1333000 | #Constraints: 30838
2127.28/2132.73 c #Conflicts: 1334000 | #Constraints: 31838
2127.28/2132.73 c #Conflicts: 1335000 | #Constraints: 32838
2127.28/2132.73 c #Conflicts: 1336000 | #Constraints: 33838
2127.28/2132.73 c #Conflicts: 1337000 | #Constraints: 34838
2127.28/2132.73 c #Conflicts: 1338000 | #Constraints: 35838
2127.28/2132.73 c #Conflicts: 1339000 | #Constraints: 36838
2127.28/2132.73 c #Conflicts: 1340000 | #Constraints: 37838
2127.28/2132.73 c #Conflicts: 1341000 | #Constraints: 38838
2127.28/2132.73 c #Conflicts: 1342000 | #Constraints: 39838
2127.28/2132.73 c #Conflicts: 1343000 | #Constraints: 40838
2127.28/2132.73 c #Conflicts: 1344000 | #Constraints: 41838
2127.28/2132.73 c #Conflicts: 1345000 | #Constraints: 42838
2127.28/2132.73 c #Conflicts: 1346000 | #Constraints: 43838
2127.28/2132.73 c #Conflicts: 1347000 | #Constraints: 44838
2127.28/2132.73 c #Conflicts: 1348000 | #Constraints: 45838
2127.28/2132.73 c INPROCESSING
2127.28/2132.73 c GARBAGE COLLECT
2127.28/2132.73 c #Conflicts: 1349000 | #Constraints: 23837
2127.28/2132.73 c #Conflicts: 1350000 | #Constraints: 24837
2127.28/2132.73 c #Conflicts: 1351000 | #Constraints: 25837
2291.16/2297.03 c #Conflicts: 1352000 | #Constraints: 26837
2291.16/2297.03 c #Conflicts: 1353000 | #Constraints: 27837
2291.16/2297.03 c #Conflicts: 1354000 | #Constraints: 28837
2291.16/2297.03 c #Conflicts: 1355000 | #Constraints: 29837
2291.16/2297.03 c #Conflicts: 1356000 | #Constraints: 30837
2291.16/2297.03 c #Conflicts: 1357000 | #Constraints: 31837
2291.16/2297.03 c #Conflicts: 1358000 | #Constraints: 32837
2291.16/2297.03 c #Conflicts: 1359000 | #Constraints: 33837
2291.16/2297.03 c #Conflicts: 1360000 | #Constraints: 34837
2291.16/2297.03 c #Conflicts: 1361000 | #Constraints: 35837
2291.16/2297.03 c #Conflicts: 1362000 | #Constraints: 36837
2291.16/2297.03 c #Conflicts: 1363000 | #Constraints: 37837
2291.16/2297.03 c #Conflicts: 1364000 | #Constraints: 38837
2291.16/2297.03 c #Conflicts: 1365000 | #Constraints: 39837
2291.16/2297.03 c #Conflicts: 1366000 | #Constraints: 40837
2291.16/2297.03 c #Conflicts: 1367000 | #Constraints: 41837
2291.16/2297.03 c #Conflicts: 1368000 | #Constraints: 42837
2291.16/2297.03 c #Conflicts: 1369000 | #Constraints: 43837
2291.16/2297.03 c #Conflicts: 1370000 | #Constraints: 44837
2291.16/2297.03 c #Conflicts: 1371000 | #Constraints: 45837
2291.16/2297.03 c INPROCESSING
2291.16/2297.03 c GARBAGE COLLECT
2291.16/2297.03 c #Conflicts: 1372000 | #Constraints: 23639
2291.16/2297.03 c #Conflicts: 1373000 | #Constraints: 24639
2291.16/2297.03 c #Conflicts: 1374000 | #Constraints: 25639
2291.16/2297.03 c #Conflicts: 1375000 | #Constraints: 26639
2291.16/2297.03 c #Conflicts: 1376000 | #Constraints: 27639
2291.16/2297.03 c #Conflicts: 1377000 | #Constraints: 28639
2291.16/2297.03 c #Conflicts: 1378000 | #Constraints: 29639
2291.16/2297.03 c #Conflicts: 1379000 | #Constraints: 30639
2291.16/2297.03 c #Conflicts: 1380000 | #Constraints: 31639
2291.16/2297.03 c #Conflicts: 1381000 | #Constraints: 32639
2291.16/2297.03 c #Conflicts: 1382000 | #Constraints: 33639
2291.16/2297.03 c #Conflicts: 1383000 | #Constraints: 34639
2291.16/2297.03 c #Conflicts: 1384000 | #Constraints: 35639
2291.16/2297.03 c #Conflicts: 1385000 | #Constraints: 36639
2291.16/2297.03 c #Conflicts: 1386000 | #Constraints: 37639
2291.16/2297.03 c #Conflicts: 1387000 | #Constraints: 38639
2291.16/2297.03 c #Conflicts: 1388000 | #Constraints: 39639
2291.16/2297.03 c #Conflicts: 1389000 | #Constraints: 40639
2291.16/2297.03 c #Conflicts: 1390000 | #Constraints: 41639
2291.16/2297.03 c #Conflicts: 1391000 | #Constraints: 42639
2291.16/2297.03 c #Conflicts: 1392000 | #Constraints: 43639
2291.16/2297.03 c #Conflicts: 1393000 | #Constraints: 44639
2291.16/2297.03 c #Conflicts: 1394000 | #Constraints: 45639
2291.16/2297.03 c #Conflicts: 1395000 | #Constraints: 46639
2291.16/2297.03 c INPROCESSING
2291.16/2297.03 c GARBAGE COLLECT
2291.16/2297.03 c #Conflicts: 1396000 | #Constraints: 24242
2291.16/2297.03 c #Conflicts: 1397000 | #Constraints: 25242
2291.16/2297.03 c #Conflicts: 1398000 | #Constraints: 26242
2291.16/2297.03 c #Conflicts: 1399000 | #Constraints: 27242
2291.16/2297.03 c #Conflicts: 1400000 | #Constraints: 28242
2291.16/2297.03 c #Conflicts: 1401000 | #Constraints: 29242
2291.16/2297.03 c #Conflicts: 1402000 | #Constraints: 30242
2291.16/2297.03 c #Conflicts: 1403000 | #Constraints: 31242
2291.16/2297.03 c #Conflicts: 1404000 | #Constraints: 32242
2291.16/2297.03 c #Conflicts: 1405000 | #Constraints: 33242
2291.16/2297.03 c #Conflicts: 1406000 | #Constraints: 34242
2291.16/2297.03 c #Conflicts: 1407000 | #Constraints: 35242
2291.16/2297.03 c #Conflicts: 1408000 | #Constraints: 36242
2291.16/2297.03 c #Conflicts: 1409000 | #Constraints: 37242
2291.16/2297.03 c #Conflicts: 1410000 | #Constraints: 38242
2291.16/2297.03 c #Conflicts: 1411000 | #Constraints: 39242
2291.16/2297.03 c #Conflicts: 1412000 | #Constraints: 40242
2291.16/2297.03 c #Conflicts: 1413000 | #Constraints: 41242
2291.16/2297.03 c #Conflicts: 1414000 | #Constraints: 42242
2291.16/2297.03 c #Conflicts: 1415000 | #Constraints: 43242
2291.16/2297.03 c #Conflicts: 1416000 | #Constraints: 44242
2291.16/2297.03 c #Conflicts: 1417000 | #Constraints: 45242
2291.16/2297.03 c #Conflicts: 1418000 | #Constraints: 46242
2291.16/2297.03 c #Conflicts: 1419000 | #Constraints: 47242
2291.16/2297.03 c INPROCESSING
2291.16/2297.03 c GARBAGE COLLECT
2291.16/2297.03 c #Conflicts: 1420000 | #Constraints: 24639
2291.16/2297.03 c #Conflicts: 1421000 | #Constraints: 25639
2291.16/2297.03 c #Conflicts: 1422000 | #Constraints: 26639
2291.16/2297.03 c #Conflicts: 1423000 | #Constraints: 27639
2291.16/2297.03 c #Conflicts: 1424000 | #Constraints: 28639
2291.16/2297.03 c #Conflicts: 1425000 | #Constraints: 29639
2291.16/2297.03 c #Conflicts: 1426000 | #Constraints: 30639
2291.16/2297.03 c #Conflicts: 1427000 | #Constraints: 31639
2477.63/2484.05 c #Conflicts: 1428000 | #Constraints: 32639
2477.63/2484.05 c #Conflicts: 1429000 | #Constraints: 33639
2477.63/2484.05 c #Conflicts: 1430000 | #Constraints: 34639
2477.63/2484.05 c #Conflicts: 1431000 | #Constraints: 35639
2477.63/2484.05 c #Conflicts: 1432000 | #Constraints: 36639
2477.63/2484.05 c #Conflicts: 1433000 | #Constraints: 37639
2477.63/2484.05 c #Conflicts: 1434000 | #Constraints: 38639
2477.63/2484.05 c #Conflicts: 1435000 | #Constraints: 39639
2477.63/2484.05 c #Conflicts: 1436000 | #Constraints: 40639
2477.63/2484.05 c #Conflicts: 1437000 | #Constraints: 41639
2477.63/2484.05 c #Conflicts: 1438000 | #Constraints: 42639
2477.63/2484.05 c #Conflicts: 1439000 | #Constraints: 43639
2477.63/2484.05 c #Conflicts: 1440000 | #Constraints: 44639
2477.63/2484.05 c #Conflicts: 1441000 | #Constraints: 45639
2477.63/2484.05 c #Conflicts: 1442000 | #Constraints: 46639
2477.63/2484.05 c #Conflicts: 1443000 | #Constraints: 47639
2477.63/2484.05 c INPROCESSING
2477.63/2484.05 c GARBAGE COLLECT
2477.63/2484.05 c #Conflicts: 1444000 | #Constraints: 24844
2477.63/2484.05 c #Conflicts: 1445000 | #Constraints: 25844
2477.63/2484.05 c #Conflicts: 1446000 | #Constraints: 26844
2477.63/2484.05 c #Conflicts: 1447000 | #Constraints: 27844
2477.63/2484.05 c #Conflicts: 1448000 | #Constraints: 28844
2477.63/2484.05 c #Conflicts: 1449000 | #Constraints: 29844
2477.63/2484.05 c #Conflicts: 1450000 | #Constraints: 30844
2477.63/2484.05 c #Conflicts: 1451000 | #Constraints: 31844
2477.63/2484.05 c #Conflicts: 1452000 | #Constraints: 32844
2477.63/2484.05 c #Conflicts: 1453000 | #Constraints: 33844
2477.63/2484.05 c #Conflicts: 1454000 | #Constraints: 34844
2477.63/2484.05 c #Conflicts: 1455000 | #Constraints: 35844
2477.63/2484.05 c #Conflicts: 1456000 | #Constraints: 36844
2477.63/2484.05 c #Conflicts: 1457000 | #Constraints: 37844
2477.63/2484.05 c #Conflicts: 1458000 | #Constraints: 38844
2477.63/2484.05 c #Conflicts: 1459000 | #Constraints: 39844
2477.63/2484.05 c #Conflicts: 1460000 | #Constraints: 40844
2477.63/2484.05 c #Conflicts: 1461000 | #Constraints: 41844
2477.63/2484.05 c #Conflicts: 1462000 | #Constraints: 42844
2477.63/2484.05 c #Conflicts: 1463000 | #Constraints: 43844
2477.63/2484.05 c #Conflicts: 1464000 | #Constraints: 44844
2477.63/2484.05 c #Conflicts: 1465000 | #Constraints: 45844
2477.63/2484.05 c #Conflicts: 1466000 | #Constraints: 46844
2477.63/2484.05 c #Conflicts: 1467000 | #Constraints: 47844
2477.63/2484.05 c INPROCESSING
2477.63/2484.05 c GARBAGE COLLECT
2477.63/2484.05 c #Conflicts: 1468000 | #Constraints: 24841
2477.63/2484.05 c #Conflicts: 1469000 | #Constraints: 25841
2477.63/2484.05 c #Conflicts: 1470000 | #Constraints: 26841
2477.63/2484.05 c #Conflicts: 1471000 | #Constraints: 27841
2477.63/2484.05 c #Conflicts: 1472000 | #Constraints: 28841
2477.63/2484.05 c #Conflicts: 1473000 | #Constraints: 29841
2477.63/2484.05 c #Conflicts: 1474000 | #Constraints: 30841
2477.63/2484.05 c #Conflicts: 1475000 | #Constraints: 31841
2477.63/2484.05 c #Conflicts: 1476000 | #Constraints: 32841
2477.63/2484.05 c #Conflicts: 1477000 | #Constraints: 33841
2477.63/2484.05 c #Conflicts: 1478000 | #Constraints: 34841
2477.63/2484.05 c #Conflicts: 1479000 | #Constraints: 35841
2477.63/2484.05 c #Conflicts: 1480000 | #Constraints: 36841
2477.63/2484.05 c #Conflicts: 1481000 | #Constraints: 37841
2477.63/2484.05 c #Conflicts: 1482000 | #Constraints: 38841
2477.63/2484.05 c #Conflicts: 1483000 | #Constraints: 39841
2477.63/2484.05 c #Conflicts: 1484000 | #Constraints: 40841
2477.63/2484.05 c #Conflicts: 1485000 | #Constraints: 41841
2477.63/2484.05 c #Conflicts: 1486000 | #Constraints: 42841
2477.63/2484.05 c #Conflicts: 1487000 | #Constraints: 43841
2477.63/2484.05 c #Conflicts: 1488000 | #Constraints: 44841
2477.63/2484.05 c #Conflicts: 1489000 | #Constraints: 45841
2477.63/2484.05 c #Conflicts: 1490000 | #Constraints: 46841
2477.63/2484.05 c #Conflicts: 1491000 | #Constraints: 47841
2477.63/2484.05 c INPROCESSING
2477.63/2484.05 c GARBAGE COLLECT
2477.63/2484.05 c #Conflicts: 1492000 | #Constraints: 24634
2477.63/2484.05 c #Conflicts: 1493000 | #Constraints: 25634
2477.63/2484.05 c #Conflicts: 1494000 | #Constraints: 26634
2477.63/2484.05 c #Conflicts: 1495000 | #Constraints: 27634
2477.63/2484.05 c #Conflicts: 1496000 | #Constraints: 28634
2477.63/2484.05 c #Conflicts: 1497000 | #Constraints: 29634
2477.63/2484.05 c #Conflicts: 1498000 | #Constraints: 30634
2477.63/2484.05 c #Conflicts: 1499000 | #Constraints: 31634
2477.63/2484.05 c #Conflicts: 1500000 | #Constraints: 32634
2477.63/2484.05 c #Conflicts: 1501000 | #Constraints: 33634
2477.63/2484.05 c #Conflicts: 1502000 | #Constraints: 34634
2477.63/2484.05 c #Conflicts: 1503000 | #Constraints: 35634
2477.63/2484.05 c #Conflicts: 1504000 | #Constraints: 36634
2661.10/2667.94 c #Conflicts: 1505000 | #Constraints: 37634
2661.10/2667.94 c #Conflicts: 1506000 | #Constraints: 38634
2661.10/2667.94 c #Conflicts: 1507000 | #Constraints: 39634
2661.10/2667.94 c #Conflicts: 1508000 | #Constraints: 40634
2661.10/2667.94 c #Conflicts: 1509000 | #Constraints: 41634
2661.10/2667.94 c #Conflicts: 1510000 | #Constraints: 42634
2661.10/2667.94 c #Conflicts: 1511000 | #Constraints: 43634
2661.10/2667.94 c #Conflicts: 1512000 | #Constraints: 44634
2661.10/2667.94 c #Conflicts: 1513000 | #Constraints: 45634
2661.10/2667.94 c #Conflicts: 1514000 | #Constraints: 46634
2661.10/2667.94 c #Conflicts: 1515000 | #Constraints: 47634
2661.10/2667.94 c #Conflicts: 1516000 | #Constraints: 48634
2661.10/2667.94 c INPROCESSING
2661.10/2667.94 c GARBAGE COLLECT
2661.10/2667.94 c #Conflicts: 1517000 | #Constraints: 25237
2661.10/2667.94 c #Conflicts: 1518000 | #Constraints: 26237
2661.10/2667.94 c #Conflicts: 1519000 | #Constraints: 27237
2661.10/2667.94 c #Conflicts: 1520000 | #Constraints: 28237
2661.10/2667.94 c #Conflicts: 1521000 | #Constraints: 29237
2661.10/2667.94 c #Conflicts: 1522000 | #Constraints: 30237
2661.10/2667.94 c #Conflicts: 1523000 | #Constraints: 31237
2661.10/2667.94 c #Conflicts: 1524000 | #Constraints: 32237
2661.10/2667.94 c #Conflicts: 1525000 | #Constraints: 33237
2661.10/2667.94 c #Conflicts: 1526000 | #Constraints: 34237
2661.10/2667.94 c #Conflicts: 1527000 | #Constraints: 35237
2661.10/2667.94 c #Conflicts: 1528000 | #Constraints: 36237
2661.10/2667.94 c #Conflicts: 1529000 | #Constraints: 37237
2661.10/2667.94 c #Conflicts: 1530000 | #Constraints: 38237
2661.10/2667.94 c #Conflicts: 1531000 | #Constraints: 39237
2661.10/2667.94 c #Conflicts: 1532000 | #Constraints: 40237
2661.10/2667.94 c #Conflicts: 1533000 | #Constraints: 41237
2661.10/2667.94 c #Conflicts: 1534000 | #Constraints: 42237
2661.10/2667.94 c #Conflicts: 1535000 | #Constraints: 43237
2661.10/2667.94 c #Conflicts: 1536000 | #Constraints: 44237
2661.10/2667.94 c #Conflicts: 1537000 | #Constraints: 45237
2661.10/2667.94 c #Conflicts: 1538000 | #Constraints: 46237
2661.10/2667.94 c #Conflicts: 1539000 | #Constraints: 47237
2661.10/2667.94 c #Conflicts: 1540000 | #Constraints: 48237
2661.10/2667.94 c #Conflicts: 1541000 | #Constraints: 49237
2661.10/2667.94 c INPROCESSING
2661.10/2667.94 c GARBAGE COLLECT
2661.10/2667.94 c #Conflicts: 1542000 | #Constraints: 25636
2661.10/2667.94 c #Conflicts: 1543000 | #Constraints: 26636
2661.10/2667.94 c #Conflicts: 1544000 | #Constraints: 27636
2661.10/2667.94 c #Conflicts: 1545000 | #Constraints: 28636
2661.10/2667.94 c #Conflicts: 1546000 | #Constraints: 29636
2661.10/2667.94 c #Conflicts: 1547000 | #Constraints: 30636
2661.10/2667.94 c #Conflicts: 1548000 | #Constraints: 31636
2661.10/2667.94 c #Conflicts: 1549000 | #Constraints: 32636
2661.10/2667.94 c #Conflicts: 1550000 | #Constraints: 33636
2661.10/2667.94 c #Conflicts: 1551000 | #Constraints: 34636
2661.10/2667.94 c #Conflicts: 1552000 | #Constraints: 35636
2661.10/2667.94 c #Conflicts: 1553000 | #Constraints: 36636
2661.10/2667.94 c #Conflicts: 1554000 | #Constraints: 37636
2661.10/2667.94 c #Conflicts: 1555000 | #Constraints: 38636
2661.10/2667.94 c #Conflicts: 1556000 | #Constraints: 39636
2661.10/2667.94 c #Conflicts: 1557000 | #Constraints: 40636
2661.10/2667.94 c #Conflicts: 1558000 | #Constraints: 41636
2661.10/2667.94 c #Conflicts: 1559000 | #Constraints: 42636
2661.10/2667.94 c #Conflicts: 1560000 | #Constraints: 43636
2661.10/2667.94 c #Conflicts: 1561000 | #Constraints: 44636
2661.10/2667.94 c #Conflicts: 1562000 | #Constraints: 45636
2661.10/2667.94 c #Conflicts: 1563000 | #Constraints: 46636
2661.10/2667.94 c #Conflicts: 1564000 | #Constraints: 47636
2661.10/2667.94 c #Conflicts: 1565000 | #Constraints: 48636
2661.10/2667.94 c #Conflicts: 1566000 | #Constraints: 49636
2661.10/2667.94 c INPROCESSING
2661.10/2667.94 c GARBAGE COLLECT
2661.10/2667.94 c #Conflicts: 1567000 | #Constraints: 25840
2661.10/2667.94 c #Conflicts: 1568000 | #Constraints: 26840
2661.10/2667.94 c #Conflicts: 1569000 | #Constraints: 27840
2661.10/2667.94 c #Conflicts: 1570000 | #Constraints: 28840
2661.10/2667.94 c #Conflicts: 1571000 | #Constraints: 29840
2661.10/2667.94 c #Conflicts: 1572000 | #Constraints: 30840
2661.10/2667.94 c #Conflicts: 1573000 | #Constraints: 31840
2661.10/2667.94 c #Conflicts: 1574000 | #Constraints: 32840
2661.10/2667.94 c #Conflicts: 1575000 | #Constraints: 33840
2661.10/2667.94 c #Conflicts: 1576000 | #Constraints: 34840
2661.10/2667.94 c #Conflicts: 1577000 | #Constraints: 35840
2661.10/2667.94 c #Conflicts: 1578000 | #Constraints: 36840
2661.10/2667.94 c #Conflicts: 1579000 | #Constraints: 37840
2661.10/2667.94 c #Conflicts: 1580000 | #Constraints: 38840
2661.10/2667.94 c #Conflicts: 1581000 | #Constraints: 39840
2870.82/2878.16 c #Conflicts: 1582000 | #Constraints: 40840
2870.82/2878.16 c #Conflicts: 1583000 | #Constraints: 41840
2870.82/2878.16 c #Conflicts: 1584000 | #Constraints: 42840
2870.82/2878.16 c #Conflicts: 1585000 | #Constraints: 43840
2870.82/2878.16 c #Conflicts: 1586000 | #Constraints: 44840
2870.82/2878.16 c #Conflicts: 1587000 | #Constraints: 45840
2870.82/2878.16 c #Conflicts: 1588000 | #Constraints: 46840
2870.82/2878.16 c #Conflicts: 1589000 | #Constraints: 47840
2870.82/2878.16 c #Conflicts: 1590000 | #Constraints: 48840
2870.82/2878.16 c #Conflicts: 1591000 | #Constraints: 49840
2870.82/2878.16 c INPROCESSING
2870.82/2878.16 c GARBAGE COLLECT
2870.82/2878.16 c #Conflicts: 1592000 | #Constraints: 25841
2870.82/2878.16 c #Conflicts: 1593000 | #Constraints: 26841
2870.82/2878.16 c #Conflicts: 1594000 | #Constraints: 27841
2870.82/2878.16 c #Conflicts: 1595000 | #Constraints: 28841
2870.82/2878.16 c #Conflicts: 1596000 | #Constraints: 29841
2870.82/2878.16 c #Conflicts: 1597000 | #Constraints: 30841
2870.82/2878.16 c #Conflicts: 1598000 | #Constraints: 31841
2870.82/2878.16 c #Conflicts: 1599000 | #Constraints: 32841
2870.82/2878.16 c #Conflicts: 1600000 | #Constraints: 33841
2870.82/2878.16 c #Conflicts: 1601000 | #Constraints: 34841
2870.82/2878.16 c #Conflicts: 1602000 | #Constraints: 35841
2870.82/2878.16 c #Conflicts: 1603000 | #Constraints: 36841
2870.82/2878.16 c #Conflicts: 1604000 | #Constraints: 37841
2870.82/2878.16 c #Conflicts: 1605000 | #Constraints: 38841
2870.82/2878.16 c #Conflicts: 1606000 | #Constraints: 39841
2870.82/2878.16 c #Conflicts: 1607000 | #Constraints: 40841
2870.82/2878.16 c #Conflicts: 1608000 | #Constraints: 41841
2870.82/2878.16 c #Conflicts: 1609000 | #Constraints: 42841
2870.82/2878.16 c #Conflicts: 1610000 | #Constraints: 43841
2870.82/2878.16 c #Conflicts: 1611000 | #Constraints: 44841
2870.82/2878.16 c #Conflicts: 1612000 | #Constraints: 45841
2870.82/2878.16 c #Conflicts: 1613000 | #Constraints: 46841
2870.82/2878.16 c #Conflicts: 1614000 | #Constraints: 47841
2870.82/2878.16 c #Conflicts: 1615000 | #Constraints: 48841
2870.82/2878.16 c #Conflicts: 1616000 | #Constraints: 49841
2870.82/2878.16 c INPROCESSING
2870.82/2878.16 c GARBAGE COLLECT
2870.82/2878.16 c #Conflicts: 1617000 | #Constraints: 25637
2870.82/2878.16 c #Conflicts: 1618000 | #Constraints: 26637
2870.82/2878.16 c #Conflicts: 1619000 | #Constraints: 27637
2870.82/2878.16 c #Conflicts: 1620000 | #Constraints: 28637
2870.82/2878.16 c #Conflicts: 1621000 | #Constraints: 29637
2870.82/2878.16 c #Conflicts: 1622000 | #Constraints: 30637
2870.82/2878.16 c #Conflicts: 1623000 | #Constraints: 31637
2870.82/2878.16 c #Conflicts: 1624000 | #Constraints: 32637
2870.82/2878.16 c #Conflicts: 1625000 | #Constraints: 33637
2870.82/2878.16 c #Conflicts: 1626000 | #Constraints: 34637
2870.82/2878.16 c #Conflicts: 1627000 | #Constraints: 35637
2870.82/2878.16 c #Conflicts: 1628000 | #Constraints: 36637
2870.82/2878.16 c #Conflicts: 1629000 | #Constraints: 37637
2870.82/2878.16 c #Conflicts: 1630000 | #Constraints: 38637
2870.82/2878.16 c #Conflicts: 1631000 | #Constraints: 39637
2870.82/2878.16 c #Conflicts: 1632000 | #Constraints: 40637
2870.82/2878.16 c #Conflicts: 1633000 | #Constraints: 41637
2870.82/2878.16 c #Conflicts: 1634000 | #Constraints: 42637
2870.82/2878.16 c #Conflicts: 1635000 | #Constraints: 43637
2870.82/2878.16 c #Conflicts: 1636000 | #Constraints: 44637
2870.82/2878.16 c #Conflicts: 1637000 | #Constraints: 45637
2870.82/2878.16 c #Conflicts: 1638000 | #Constraints: 46637
2870.82/2878.16 c #Conflicts: 1639000 | #Constraints: 47637
2870.82/2878.16 c #Conflicts: 1640000 | #Constraints: 48637
2870.82/2878.16 c #Conflicts: 1641000 | #Constraints: 49637
2870.82/2878.16 c #Conflicts: 1642000 | #Constraints: 50637
2870.82/2878.16 c INPROCESSING
2870.82/2878.16 c GARBAGE COLLECT
2870.82/2878.16 c #Conflicts: 1643000 | #Constraints: 26238
2870.82/2878.16 c #Conflicts: 1644000 | #Constraints: 27238
2870.82/2878.16 c #Conflicts: 1645000 | #Constraints: 28238
2870.82/2878.16 c #Conflicts: 1646000 | #Constraints: 29238
2870.82/2878.16 c #Conflicts: 1647000 | #Constraints: 30238
2870.82/2878.16 c #Conflicts: 1648000 | #Constraints: 31238
2870.82/2878.16 c #Conflicts: 1649000 | #Constraints: 32238
2870.82/2878.16 c #Conflicts: 1650000 | #Constraints: 33238
2870.82/2878.16 c #Conflicts: 1651000 | #Constraints: 34238
2870.82/2878.16 c #Conflicts: 1652000 | #Constraints: 35238
2870.82/2878.16 c #Conflicts: 1653000 | #Constraints: 36238
2870.82/2878.16 c #Conflicts: 1654000 | #Constraints: 37238
2870.82/2878.16 c #Conflicts: 1655000 | #Constraints: 38238
2870.82/2878.16 c #Conflicts: 1656000 | #Constraints: 39238
2870.82/2878.16 c #Conflicts: 1657000 | #Constraints: 40238
2870.82/2878.16 c #Conflicts: 1658000 | #Constraints: 41238
3065.75/3073.57 c #Conflicts: 1659000 | #Constraints: 42238
3065.75/3073.57 c #Conflicts: 1660000 | #Constraints: 43238
3065.75/3073.57 c #Conflicts: 1661000 | #Constraints: 44238
3065.75/3073.57 c #Conflicts: 1662000 | #Constraints: 45238
3065.75/3073.57 c #Conflicts: 1663000 | #Constraints: 46238
3065.75/3073.57 c #Conflicts: 1664000 | #Constraints: 47238
3065.75/3073.57 c #Conflicts: 1665000 | #Constraints: 48238
3065.75/3073.57 c #Conflicts: 1666000 | #Constraints: 49238
3065.75/3073.57 c #Conflicts: 1667000 | #Constraints: 50238
3065.75/3073.57 c #Conflicts: 1668000 | #Constraints: 51238
3065.75/3073.57 c INPROCESSING
3065.75/3073.57 c GARBAGE COLLECT
3065.75/3073.57 c #Conflicts: 1669000 | #Constraints: 26636
3065.75/3073.57 c #Conflicts: 1670000 | #Constraints: 27636
3065.75/3073.57 c #Conflicts: 1671000 | #Constraints: 28636
3065.75/3073.57 c #Conflicts: 1672000 | #Constraints: 29636
3065.75/3073.57 c #Conflicts: 1673000 | #Constraints: 30636
3065.75/3073.57 c #Conflicts: 1674000 | #Constraints: 31636
3065.75/3073.57 c #Conflicts: 1675000 | #Constraints: 32636
3065.75/3073.57 c #Conflicts: 1676000 | #Constraints: 33636
3065.75/3073.57 c #Conflicts: 1677000 | #Constraints: 34636
3065.75/3073.57 c #Conflicts: 1678000 | #Constraints: 35636
3065.75/3073.57 c #Conflicts: 1679000 | #Constraints: 36636
3065.75/3073.57 c #Conflicts: 1680000 | #Constraints: 37636
3065.75/3073.57 c #Conflicts: 1681000 | #Constraints: 38636
3065.75/3073.57 c #Conflicts: 1682000 | #Constraints: 39636
3065.75/3073.57 c #Conflicts: 1683000 | #Constraints: 40636
3065.75/3073.57 c #Conflicts: 1684000 | #Constraints: 41636
3065.75/3073.57 c #Conflicts: 1685000 | #Constraints: 42636
3065.75/3073.57 c #Conflicts: 1686000 | #Constraints: 43636
3065.75/3073.57 c #Conflicts: 1687000 | #Constraints: 44636
3065.75/3073.57 c #Conflicts: 1688000 | #Constraints: 45636
3065.75/3073.57 c #Conflicts: 1689000 | #Constraints: 46636
3065.75/3073.57 c #Conflicts: 1690000 | #Constraints: 47636
3065.75/3073.57 c #Conflicts: 1691000 | #Constraints: 48636
3065.75/3073.57 c #Conflicts: 1692000 | #Constraints: 49636
3065.75/3073.57 c #Conflicts: 1693000 | #Constraints: 50636
3065.75/3073.57 c #Conflicts: 1694000 | #Constraints: 51636
3065.75/3073.57 c INPROCESSING
3065.75/3073.57 c GARBAGE COLLECT
3065.75/3073.57 c #Conflicts: 1695000 | #Constraints: 26836
3065.75/3073.57 c #Conflicts: 1696000 | #Constraints: 27836
3065.75/3073.57 c #Conflicts: 1697000 | #Constraints: 28836
3065.75/3073.57 c #Conflicts: 1698000 | #Constraints: 29836
3065.75/3073.57 c #Conflicts: 1699000 | #Constraints: 30836
3065.75/3073.57 c #Conflicts: 1700000 | #Constraints: 31836
3065.75/3073.57 c #Conflicts: 1701000 | #Constraints: 32836
3065.75/3073.57 c #Conflicts: 1702000 | #Constraints: 33836
3065.75/3073.57 c #Conflicts: 1703000 | #Constraints: 34836
3065.75/3073.57 c #Conflicts: 1704000 | #Constraints: 35836
3065.75/3073.57 c #Conflicts: 1705000 | #Constraints: 36836
3065.75/3073.57 c #Conflicts: 1706000 | #Constraints: 37836
3065.75/3073.57 c #Conflicts: 1707000 | #Constraints: 38836
3065.75/3073.57 c #Conflicts: 1708000 | #Constraints: 39836
3065.75/3073.57 c #Conflicts: 1709000 | #Constraints: 40836
3065.75/3073.57 c #Conflicts: 1710000 | #Constraints: 41836
3065.75/3073.57 c #Conflicts: 1711000 | #Constraints: 42836
3065.75/3073.57 c #Conflicts: 1712000 | #Constraints: 43836
3065.75/3073.57 c #Conflicts: 1713000 | #Constraints: 44836
3065.75/3073.57 c #Conflicts: 1714000 | #Constraints: 45836
3065.75/3073.57 c #Conflicts: 1715000 | #Constraints: 46836
3065.75/3073.57 c #Conflicts: 1716000 | #Constraints: 47836
3065.75/3073.57 c #Conflicts: 1717000 | #Constraints: 48836
3065.75/3073.57 c #Conflicts: 1718000 | #Constraints: 49836
3065.75/3073.57 c #Conflicts: 1719000 | #Constraints: 50836
3065.75/3073.57 c #Conflicts: 1720000 | #Constraints: 51836
3065.75/3073.57 c INPROCESSING
3065.75/3073.57 c GARBAGE COLLECT
3065.75/3073.57 c #Conflicts: 1721000 | #Constraints: 26836
3065.75/3073.57 c #Conflicts: 1722000 | #Constraints: 27836
3065.75/3073.57 c #Conflicts: 1723000 | #Constraints: 28836
3065.75/3073.57 c #Conflicts: 1724000 | #Constraints: 29836
3065.75/3073.57 c #Conflicts: 1725000 | #Constraints: 30836
3065.75/3073.57 c #Conflicts: 1726000 | #Constraints: 31836
3065.75/3073.57 c #Conflicts: 1727000 | #Constraints: 32836
3065.75/3073.57 c #Conflicts: 1728000 | #Constraints: 33836
3065.75/3073.57 c #Conflicts: 1729000 | #Constraints: 34836
3065.75/3073.57 c #Conflicts: 1730000 | #Constraints: 35836
3065.75/3073.57 c #Conflicts: 1731000 | #Constraints: 36836
3065.75/3073.57 c #Conflicts: 1732000 | #Constraints: 37836
3065.75/3073.57 c #Conflicts: 1733000 | #Constraints: 38836
3065.75/3073.57 c #Conflicts: 1734000 | #Constraints: 39836
3065.75/3073.57 c #Conflicts: 1735000 | #Constraints: 40836
3264.28/3272.53 c #Conflicts: 1736000 | #Constraints: 41836
3264.28/3272.53 c #Conflicts: 1737000 | #Constraints: 42836
3264.28/3272.53 c #Conflicts: 1738000 | #Constraints: 43836
3264.28/3272.53 c #Conflicts: 1739000 | #Constraints: 44836
3264.28/3272.53 c #Conflicts: 1740000 | #Constraints: 45836
3264.28/3272.53 c #Conflicts: 1741000 | #Constraints: 46836
3264.28/3272.53 c #Conflicts: 1742000 | #Constraints: 47836
3264.28/3272.53 c #Conflicts: 1743000 | #Constraints: 48836
3264.28/3272.53 c #Conflicts: 1744000 | #Constraints: 49836
3264.28/3272.53 c #Conflicts: 1745000 | #Constraints: 50836
3264.28/3272.53 c #Conflicts: 1746000 | #Constraints: 51836
3264.28/3272.53 c INPROCESSING
3264.28/3272.53 c GARBAGE COLLECT
3264.28/3272.53 c #Conflicts: 1747000 | #Constraints: 26636
3264.28/3272.53 c #Conflicts: 1748000 | #Constraints: 27636
3264.28/3272.53 c #Conflicts: 1749000 | #Constraints: 28636
3264.28/3272.53 c #Conflicts: 1750000 | #Constraints: 29636
3264.28/3272.53 c #Conflicts: 1751000 | #Constraints: 30636
3264.28/3272.53 c #Conflicts: 1752000 | #Constraints: 31636
3264.28/3272.53 c #Conflicts: 1753000 | #Constraints: 32636
3264.28/3272.53 c #Conflicts: 1754000 | #Constraints: 33636
3264.28/3272.53 c #Conflicts: 1755000 | #Constraints: 34636
3264.28/3272.53 c #Conflicts: 1756000 | #Constraints: 35636
3264.28/3272.53 c #Conflicts: 1757000 | #Constraints: 36636
3264.28/3272.53 c #Conflicts: 1758000 | #Constraints: 37636
3264.28/3272.53 c #Conflicts: 1759000 | #Constraints: 38636
3264.28/3272.53 c #Conflicts: 1760000 | #Constraints: 39636
3264.28/3272.53 c #Conflicts: 1761000 | #Constraints: 40636
3264.28/3272.53 c #Conflicts: 1762000 | #Constraints: 41636
3264.28/3272.53 c #Conflicts: 1763000 | #Constraints: 42636
3264.28/3272.53 c #Conflicts: 1764000 | #Constraints: 43636
3264.28/3272.53 c #Conflicts: 1765000 | #Constraints: 44636
3264.28/3272.53 c #Conflicts: 1766000 | #Constraints: 45636
3264.28/3272.53 c #Conflicts: 1767000 | #Constraints: 46636
3264.28/3272.53 c #Conflicts: 1768000 | #Constraints: 47636
3264.28/3272.53 c #Conflicts: 1769000 | #Constraints: 48636
3264.28/3272.53 c #Conflicts: 1770000 | #Constraints: 49636
3264.28/3272.53 c #Conflicts: 1771000 | #Constraints: 50636
3264.28/3272.53 c #Conflicts: 1772000 | #Constraints: 51636
3264.28/3272.53 c #Conflicts: 1773000 | #Constraints: 52636
3264.28/3272.53 c INPROCESSING
3264.28/3272.53 c GARBAGE COLLECT
3264.28/3272.53 c #Conflicts: 1774000 | #Constraints: 27238
3264.28/3272.53 c #Conflicts: 1775000 | #Constraints: 28238
3264.28/3272.53 c #Conflicts: 1776000 | #Constraints: 29238
3264.28/3272.53 c #Conflicts: 1777000 | #Constraints: 30238
3264.28/3272.53 c #Conflicts: 1778000 | #Constraints: 31238
3264.28/3272.53 c #Conflicts: 1779000 | #Constraints: 32238
3264.28/3272.53 c #Conflicts: 1780000 | #Constraints: 33238
3264.28/3272.53 c #Conflicts: 1781000 | #Constraints: 34238
3264.28/3272.53 c #Conflicts: 1782000 | #Constraints: 35238
3264.28/3272.53 c #Conflicts: 1783000 | #Constraints: 36238
3264.28/3272.53 c #Conflicts: 1784000 | #Constraints: 37238
3264.28/3272.53 c #Conflicts: 1785000 | #Constraints: 38238
3264.28/3272.53 c #Conflicts: 1786000 | #Constraints: 39238
3264.28/3272.53 c #Conflicts: 1787000 | #Constraints: 40238
3264.28/3272.53 c #Conflicts: 1788000 | #Constraints: 41238
3264.28/3272.53 c #Conflicts: 1789000 | #Constraints: 42238
3264.28/3272.53 c #Conflicts: 1790000 | #Constraints: 43238
3264.28/3272.53 c #Conflicts: 1791000 | #Constraints: 44238
3264.28/3272.53 c #Conflicts: 1792000 | #Constraints: 45238
3264.28/3272.53 c #Conflicts: 1793000 | #Constraints: 46238
3264.28/3272.53 c #Conflicts: 1794000 | #Constraints: 47238
3264.28/3272.53 c #Conflicts: 1795000 | #Constraints: 48238
3264.28/3272.53 c #Conflicts: 1796000 | #Constraints: 49238
3264.28/3272.53 c #Conflicts: 1797000 | #Constraints: 50238
3264.28/3272.53 c #Conflicts: 1798000 | #Constraints: 51238
3264.28/3272.53 c #Conflicts: 1799000 | #Constraints: 52238
3264.28/3272.53 c #Conflicts: 1800000 | #Constraints: 53238
3264.28/3272.53 c INPROCESSING
3264.28/3272.53 c GARBAGE COLLECT
3264.28/3272.53 c #Conflicts: 1801000 | #Constraints: 27640
3264.28/3272.53 c #Conflicts: 1802000 | #Constraints: 28640
3264.28/3272.53 c #Conflicts: 1803000 | #Constraints: 29640
3264.28/3272.53 c #Conflicts: 1804000 | #Constraints: 30640
3264.28/3272.53 c #Conflicts: 1805000 | #Constraints: 31640
3264.28/3272.53 c #Conflicts: 1806000 | #Constraints: 32640
3264.28/3272.53 c #Conflicts: 1807000 | #Constraints: 33640
3264.28/3272.53 c #Conflicts: 1808000 | #Constraints: 34640
3264.28/3272.53 c #Conflicts: 1809000 | #Constraints: 35640
3264.28/3272.53 c #Conflicts: 1810000 | #Constraints: 36640
3264.28/3272.53 c #Conflicts: 1811000 | #Constraints: 37640
3264.28/3272.53 c #Conflicts: 1812000 | #Constraints: 38640
3476.49/3485.27 c #Conflicts: 1813000 | #Constraints: 39640
3476.49/3485.27 c #Conflicts: 1814000 | #Constraints: 40640
3476.49/3485.27 c #Conflicts: 1815000 | #Constraints: 41640
3476.49/3485.27 c #Conflicts: 1816000 | #Constraints: 42640
3476.49/3485.27 c #Conflicts: 1817000 | #Constraints: 43640
3476.49/3485.27 c #Conflicts: 1818000 | #Constraints: 44640
3476.49/3485.27 c #Conflicts: 1819000 | #Constraints: 45640
3476.49/3485.27 c #Conflicts: 1820000 | #Constraints: 46640
3476.49/3485.27 c #Conflicts: 1821000 | #Constraints: 47640
3476.49/3485.27 c #Conflicts: 1822000 | #Constraints: 48640
3476.49/3485.27 c #Conflicts: 1823000 | #Constraints: 49640
3476.49/3485.27 c #Conflicts: 1824000 | #Constraints: 50640
3476.49/3485.27 c #Conflicts: 1825000 | #Constraints: 51640
3476.49/3485.27 c #Conflicts: 1826000 | #Constraints: 52640
3476.49/3485.27 c #Conflicts: 1827000 | #Constraints: 53640
3476.49/3485.27 c INPROCESSING
3476.49/3485.27 c GARBAGE COLLECT
3476.49/3485.27 c #Conflicts: 1828000 | #Constraints: 27841
3476.49/3485.27 c #Conflicts: 1829000 | #Constraints: 28841
3476.49/3485.27 c #Conflicts: 1830000 | #Constraints: 29841
3476.49/3485.27 c #Conflicts: 1831000 | #Constraints: 30841
3476.49/3485.27 c #Conflicts: 1832000 | #Constraints: 31841
3476.49/3485.27 c #Conflicts: 1833000 | #Constraints: 32841
3476.49/3485.27 c #Conflicts: 1834000 | #Constraints: 33841
3476.49/3485.27 c #Conflicts: 1835000 | #Constraints: 34841
3476.49/3485.27 c #Conflicts: 1836000 | #Constraints: 35841
3476.49/3485.27 c #Conflicts: 1837000 | #Constraints: 36841
3476.49/3485.27 c #Conflicts: 1838000 | #Constraints: 37841
3476.49/3485.27 c #Conflicts: 1839000 | #Constraints: 38841
3476.49/3485.27 c #Conflicts: 1840000 | #Constraints: 39841
3476.49/3485.27 c #Conflicts: 1841000 | #Constraints: 40841
3476.49/3485.27 c #Conflicts: 1842000 | #Constraints: 41841
3476.49/3485.27 c #Conflicts: 1843000 | #Constraints: 42841
3476.49/3485.27 c #Conflicts: 1844000 | #Constraints: 43841
3476.49/3485.27 c #Conflicts: 1845000 | #Constraints: 44841
3476.49/3485.27 c #Conflicts: 1846000 | #Constraints: 45841
3476.49/3485.27 c #Conflicts: 1847000 | #Constraints: 46841
3476.49/3485.27 c #Conflicts: 1848000 | #Constraints: 47841
3476.49/3485.27 c #Conflicts: 1849000 | #Constraints: 48841
3476.49/3485.27 c #Conflicts: 1850000 | #Constraints: 49841
3476.49/3485.27 c #Conflicts: 1851000 | #Constraints: 50841
3476.49/3485.27 c #Conflicts: 1852000 | #Constraints: 51841
3476.49/3485.27 c #Conflicts: 1853000 | #Constraints: 52841
3476.49/3485.27 c #Conflicts: 1854000 | #Constraints: 53841
3476.49/3485.27 c INPROCESSING
3476.49/3485.27 c GARBAGE COLLECT
3476.49/3485.27 c #Conflicts: 1855000 | #Constraints: 27841
3476.49/3485.27 c #Conflicts: 1856000 | #Constraints: 28841
3476.49/3485.27 c #Conflicts: 1857000 | #Constraints: 29841
3476.49/3485.27 c #Conflicts: 1858000 | #Constraints: 30841
3476.49/3485.27 c #Conflicts: 1859000 | #Constraints: 31841
3476.49/3485.27 c #Conflicts: 1860000 | #Constraints: 32841
3476.49/3485.27 c #Conflicts: 1861000 | #Constraints: 33841
3476.49/3485.27 c #Conflicts: 1862000 | #Constraints: 34841
3476.49/3485.27 c #Conflicts: 1863000 | #Constraints: 35841
3476.49/3485.27 c #Conflicts: 1864000 | #Constraints: 36841
3476.49/3485.27 c #Conflicts: 1865000 | #Constraints: 37841
3476.49/3485.27 c #Conflicts: 1866000 | #Constraints: 38841
3476.49/3485.27 c #Conflicts: 1867000 | #Constraints: 39841
3476.49/3485.27 c #Conflicts: 1868000 | #Constraints: 40841
3476.49/3485.27 c #Conflicts: 1869000 | #Constraints: 41841
3476.49/3485.27 c #Conflicts: 1870000 | #Constraints: 42841
3476.49/3485.27 c #Conflicts: 1871000 | #Constraints: 43841
3476.49/3485.27 c #Conflicts: 1872000 | #Constraints: 44841
3476.49/3485.27 c #Conflicts: 1873000 | #Constraints: 45841
3476.49/3485.27 c #Conflicts: 1874000 | #Constraints: 46841
3476.49/3485.27 c #Conflicts: 1875000 | #Constraints: 47841
3476.49/3485.27 c #Conflicts: 1876000 | #Constraints: 48841
3476.49/3485.27 c #Conflicts: 1877000 | #Constraints: 49841
3476.49/3485.27 c #Conflicts: 1878000 | #Constraints: 50841
3476.49/3485.27 c #Conflicts: 1879000 | #Constraints: 51841
3476.49/3485.27 c #Conflicts: 1880000 | #Constraints: 52841
3476.49/3485.27 c #Conflicts: 1881000 | #Constraints: 53841
3476.49/3485.27 c INPROCESSING
3476.49/3485.27 c GARBAGE COLLECT
3476.49/3485.27 c #Conflicts: 1882000 | #Constraints: 27638
3476.49/3485.27 c #Conflicts: 1883000 | #Constraints: 28638
3476.49/3485.27 c #Conflicts: 1884000 | #Constraints: 29638
3476.49/3485.27 c #Conflicts: 1885000 | #Constraints: 30638
3476.49/3485.27 c #Conflicts: 1886000 | #Constraints: 31638
3476.49/3485.27 c #Conflicts: 1887000 | #Constraints: 32638
3476.49/3485.27 c #Conflicts: 1888000 | #Constraints: 33638
3476.49/3485.27 c #Conflicts: 1889000 | #Constraints: 34638
3600.01/3609.00 c #Conflicts: 1890000 | #Constraints: 35638
3600.01/3609.00 c #Conflicts: 1891000 | #Constraints: 36638
3600.01/3609.00 c #Conflicts: 1892000 | #Constraints: 37638
3600.01/3609.00 c #Conflicts: 1893000 | #Constraints: 38638
3600.01/3609.00 c #Conflicts: 1894000 | #Constraints: 39638
3600.01/3609.00 c #Conflicts: 1895000 | #Constraints: 40638
3600.01/3609.00 c #Conflicts: 1896000 | #Constraints: 41638
3600.01/3609.00 c #Conflicts: 1897000 | #Constraints: 42638
3600.01/3609.00 c #Conflicts: 1898000 | #Constraints: 43638
3600.01/3609.00 c #Conflicts: 1899000 | #Constraints: 44638
3600.01/3609.00 c #Conflicts: 1900000 | #Constraints: 45638
3600.01/3609.00 c #Conflicts: 1901000 | #Constraints: 46638
3600.01/3609.00 c #Conflicts: 1902000 | #Constraints: 47638
3600.01/3609.00 c #Conflicts: 1903000 | #Constraints: 48638
3600.01/3609.00 c #Conflicts: 1904000 | #Constraints: 49638
3600.01/3609.00 c #Conflicts: 1905000 | #Constraints: 50638
3600.01/3609.00 c #Conflicts: 1906000 | #Constraints: 51638
3600.01/3609.00 c #Conflicts: 1907000 | #Constraints: 52638
3600.01/3609.00 c #Conflicts: 1908000 | #Constraints: 53638
3600.01/3609.00 c #Conflicts: 1909000 | #Constraints: 54638
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 1910000 | #Constraints: 28241
3600.01/3609.00 c #Conflicts: 1911000 | #Constraints: 29241
3600.01/3609.00 c #Conflicts: 1912000 | #Constraints: 30241
3600.01/3609.00 c #Conflicts: 1913000 | #Constraints: 31241
3600.01/3609.00 c #Conflicts: 1914000 | #Constraints: 32241
3600.01/3609.00 c #Conflicts: 1915000 | #Constraints: 33241
3600.01/3609.00 c #Conflicts: 1916000 | #Constraints: 34241
3600.01/3609.00 c #Conflicts: 1917000 | #Constraints: 35241
3600.01/3609.00 c #Conflicts: 1918000 | #Constraints: 36241
3600.01/3609.00 c #Conflicts: 1919000 | #Constraints: 37241
3600.01/3609.00 c #Conflicts: 1920000 | #Constraints: 38241
3600.01/3609.00 c #Conflicts: 1921000 | #Constraints: 39241
3600.01/3609.00 c #Conflicts: 1922000 | #Constraints: 40241
3600.01/3609.00 c #Conflicts: 1923000 | #Constraints: 41241
3600.01/3609.00 c #Conflicts: 1924000 | #Constraints: 42241
3600.01/3609.00 c #Conflicts: 1925000 | #Constraints: 43241
3600.01/3609.00 c #Conflicts: 1926000 | #Constraints: 44241
3600.01/3609.00 c #Conflicts: 1927000 | #Constraints: 45241
3600.01/3609.00 c #Conflicts: 1928000 | #Constraints: 46241
3600.01/3609.00 c #Conflicts: 1929000 | #Constraints: 47241
3600.01/3609.00 c #Conflicts: 1930000 | #Constraints: 48241
3600.01/3609.00 c #Conflicts: 1931000 | #Constraints: 49241
3600.01/3609.00 c #Conflicts: 1932000 | #Constraints: 50241
3600.01/3609.00 c #Conflicts: 1933000 | #Constraints: 51241
3600.01/3609.00 c #Conflicts: 1934000 | #Constraints: 52241
3600.01/3609.00 c #Conflicts: 1935000 | #Constraints: 53241
3600.01/3609.00 c Program interrupted by user.
3600.01/3609.00 c cpu time 3590.86 s
3600.01/3609.00 c deterministic time 563320254871 5.63e+11
3600.01/3609.00 c optimization time 68.3369 s
3600.01/3609.00 c total solve time 3223.17 s
3600.01/3609.00 c core-guided solve time 3223.17 s
3600.01/3609.00 c propagation time 3150.1 s
3600.01/3609.00 c conflict analysis time 125.125 s
3600.01/3609.00 c propagations 28010735
3600.01/3609.00 c resolve steps 9505838
3600.01/3609.00 c decisions 4131516
3600.01/3609.00 c conflicts 1935218
3600.01/3609.00 c restarts 3777
3600.01/3609.00 c inprocessing phases 129
3600.01/3609.00 c input clauses 0
3600.01/3609.00 c input cardinalities 0
3600.01/3609.00 c input general constraints 20
3600.01/3609.00 c input average constraint length 88.50
3600.01/3609.00 c input average constraint degree 1877.55
3600.01/3609.00 c learned clauses 856867
3600.01/3609.00 c learned cardinalities 0
3600.01/3609.00 c learned general constraints 1078350
3600.01/3609.00 c learned average constraint length 89.57
3600.01/3609.00 c learned average constraint degree 466167.06
3600.01/3609.00 c watched constraints 1077960
3600.01/3609.00 c counting constraints 410
3600.01/3609.00 c gcd simplifications 754895
3600.01/3609.00 c detected cardinalities 0
3600.01/3609.00 c weakened non-implied lits 44870141
3600.01/3609.00 c weakened non-implying lits 2173826
3600.01/3609.00 c original variables 198
3600.01/3609.00 c clausal propagations 419871
3600.01/3609.00 c cardinality propagations 0
3600.01/3609.00 c watched propagations 24583421
3600.01/3609.00 c counting propagations 1710124
3600.01/3609.00 c watch lookups 23678353624
3600.01/3609.00 c watch backjump lookups 6466115173
3600.01/3609.00 c watch checks 493585065191
3600.01/3609.00 c propagation checks 38345481615
3600.01/3609.00 c constraint additions 1179019713
3600.01/3609.00 c trail pops 34077303
3600.01/3609.00 c formula constraints 16
3600.01/3609.00 c learned constraints 1935217
3600.01/3609.00 c bound constraints 4
3600.01/3609.00 c core-guided constraints 0
3600.01/3609.00 c encountered formula constraints 2092487
3600.01/3609.00 c encountered learned constraints 9348470
3600.01/3609.00 c encountered bound constraints 99
3600.01/3609.00 c encountered core-guided constraints 0
3600.01/3609.00 c LP total time 0 s
3600.01/3609.00 c LP solve time 0 s
3600.01/3609.00 c LP constraints added 0
3600.01/3609.00 c LP constraints removed 0
3600.01/3609.00 c LP pivots internal 0
3600.01/3609.00 c LP pivots root 0
3600.01/3609.00 c LP calls 0
3600.01/3609.00 c LP optimalities 0
3600.01/3609.00 c LP no pivot count 0
3600.01/3609.00 c LP infeasibilities 0
3600.01/3609.00 c LP valid Farkas constraints 0
3600.01/3609.00 c LP learned Farkas constraints 0
3600.01/3609.00 c LP basis resets 0
3600.01/3609.00 c LP cycling count 0
3600.01/3609.00 c LP singular count 0
3600.01/3609.00 c LP no primal count 0
3600.01/3609.00 c LP no farkas count 0
3600.01/3609.00 c LP other issue count 0
3600.01/3609.00 c LP Gomory cuts 0
3600.01/3609.00 c LP learned cuts 0
3600.01/3609.00 c LP deleted cuts 0
3600.01/3609.00 c LP encountered Gomory constraints 0
3600.01/3609.00 c LP encountered Farkas constraints 0
3600.01/3609.00 c LP encountered learned Farkas constraints 0
3600.01/3609.00 c CG auxiliary variables introduced 0
3600.01/3609.00 c CG solutions found 3
3600.01/3609.00 c CG cores constructed 0
3600.01/3609.00 c CG core cardinality constraints returned 0
3600.01/3609.00 c CG unit cores 0
3600.01/3609.00 c CG single cores 0
3600.01/3609.00 c CG blocks removed during cardinality reduction 0
3600.01/3609.00 c CG first core best 0
3600.01/3609.00 c CG decision core best 0
3600.01/3609.00 c CG core reduction tie 0
3600.01/3609.00 c CG core degree average 0.00
3600.01/3609.00 c CG core slack average 0.00
3600.01/3609.00 c CG exhausted 0
3600.01/3609.00 c CG exhaust time 0 s
3600.01/3609.00 c CG trimmed 0
3600.01/3609.00 c CG trim time 0 s
3600.01/3609.00 c CG minimized 0
3600.01/3609.00 c CG minimize time 0 s
3600.01/3609.00 c CG am1 prop time 0.000217 s
3600.01/3609.00 c CG # am1s reformulated 0
3600.01/3609.00 c CG lower bound derived from am1s 0
3600.01/3609.00 c CG # clausal cores 0
3600.01/3609.00 c CG # cardinality cores 0
3600.01/3609.00 c CG # pb cores 0
3600.01/3609.00 c CG # pb reforms 0
3600.01/3609.00 c CG # cores discarded because of pb reform 0
3600.01/3609.00 d LOWERBOUND 0
3600.01/3609.00 d NCORES 0
3600.01/3609.00 d NPBCORES 0
3600.01/3609.00 d NPBREFORM 0
3600.01/3609.00 d NTRIMMED 0
3600.01/3609.00 d NEXHAUSTED 0
3600.01/3609.00 d NAM1S 0
3600.01/3609.00 d AM1LB 0
3600.01/3609.00 c [Papilo Statistics]
3600.01/3609.00 c prepro time 0.000452425s
3600.01/3609.00 c # tsx applied 8
3600.01/3609.00 c # tsx conflicts 0
3600.01/3609.00 c # bound changes 0
3600.01/3609.00 c # side changes 8
3600.01/3609.00 c # coef changes 0
3600.01/3609.00 c # rounds 2
3600.01/3609.00 c # deted vars 0
3600.01/3609.00 c # deted constrs 8
3600.01/3609.00 c # consecutive rounds of only bound changes 0
3600.01/3609.00 c [STEP] postprocessing with Papilo
3600.01/3609.00 o 37
3600.01/3609.00 s SATISFIABLE
3600.01/3609.00 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: 63968 MiB (62422 MiB free)
memory of node 1: 64473 MiB (62578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454763-1721470509/watcher-4454763-1721470509 -o /tmp/evaluation-result-4454763-1721470509/solver-4454763-1721470509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060042 --watchdog 3760 mixed-bag HOME/instance-4454763-1721470509.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060310, runsolver pid=1060307
[startup+0.100268 s]*
/proc/loadavg: 4.05 3.27 3.13 5/255 1060311
/proc/meminfo: memFree=127985196/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=97428 memory=30400 CPUtime=0.09 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 3973 0 0 0 9 0 0 0 20 0 1 0 199215867 99766272 7600 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 24357 7600 4034 3002 0 8106 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 30400 KiB
[startup+0.205548 s]*
/proc/loadavg: 4.05 3.27 3.13 6/255 1060311
/proc/meminfo: memFree=127974424/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=108684 memory=40696 CPUtime=0.2 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 6555 0 0 0 19 1 0 0 20 0 1 0 199215867 111292416 10174 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 27171 10174 4034 3002 0 10920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108684 KiB
Current children cumulated memory: 40696 KiB
[startup+0.305443 s]*
/proc/loadavg: 4.05 3.27 3.13 5/255 1060311
/proc/meminfo: memFree=127974608/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=107756 memory=40072 CPUtime=0.3 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 6599 0 0 0 29 1 0 0 20 0 1 0 199215867 110342144 10018 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 26939 10018 4034 3002 0 10688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107756 KiB
Current children cumulated memory: 40072 KiB
[startup+0.70022 s]
/proc/loadavg: 4.05 3.27 3.13 5/255 1060311
/proc/meminfo: memFree=127973808/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=108892 memory=41652 CPUtime=0.68 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 6982 0 0 0 67 1 0 0 20 0 1 0 199215867 111505408 10413 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 27223 10413 4034 3002 0 10972 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108892 KiB
Current children cumulated memory: 41652 KiB
[startup+1.50021 s]
/proc/loadavg: 4.05 3.27 3.13 5/255 1060311
/proc/meminfo: memFree=127969104/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=119020 memory=50252 CPUtime=1.48 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 9339 0 0 0 146 2 0 0 20 0 1 0 199215867 121876480 12563 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 29755 12563 4034 3002 0 13504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119020 KiB
Current children cumulated memory: 50252 KiB
[startup+3.10572 s]
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128003080/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=121616 memory=53192 CPUtime=3.08 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 10780 0 0 0 306 2 0 0 20 0 1 0 199215867 124534784 13298 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 30404 13298 4034 3002 0 14153 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121616 KiB
Current children cumulated memory: 53192 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 3.28 3.13 5/257 1060344
/proc/meminfo: memFree=127973104/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=131284 memory=63160 CPUtime=6.27 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 14092 0 0 0 624 3 0 0 20 0 1 0 199215867 134434816 15790 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 32821 15790 4034 3002 0 16570 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131284 KiB
Current children cumulated memory: 63160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 3.29 3.14 5/254 1060344
/proc/meminfo: memFree=127915356/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=157088 memory=88400 CPUtime=12.64 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 20285 0 0 0 1261 3 0 0 20 0 1 0 199215867 160858112 22100 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 39272 22100 4149 3002 0 23021 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157088 KiB
Current children cumulated memory: 88400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.34 3.16 5/254 1060347
/proc/meminfo: memFree=127846484/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=184616 memory=113780 CPUtime=25.4 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 28838 0 0 0 2535 5 0 0 20 0 1 0 199215867 189046784 28445 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 46154 28445 4149 3002 0 29903 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 184616 KiB
Current children cumulated memory: 113780 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 3.40 3.18 5/254 1060352
/proc/meminfo: memFree=127708608/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=263660 memory=186696 CPUtime=50.93 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 47651 0 0 0 5085 8 0 0 20 0 1 0 199215867 269987840 46674 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 65915 46674 4149 3002 0 49664 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 263660 KiB
Current children cumulated memory: 186696 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.51 3.23 5/255 1060361
/proc/meminfo: memFree=127516400/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=368616 memory=292216 CPUtime=101.97 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 74227 0 0 0 10183 14 0 0 20 0 1 0 199215867 377462784 73054 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 92154 73054 4149 3002 0 75903 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 368616 KiB
Current children cumulated memory: 292216 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.63 3.29 5/255 1060371
/proc/meminfo: memFree=127329400/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=465036 memory=385824 CPUtime=161.78 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 97510 0 0 0 16156 22 0 0 20 0 1 0 199215867 476196864 96456 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 116259 96456 4149 3002 0 100008 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 465036 KiB
Current children cumulated memory: 385824 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.71 3.34 5/255 1060381
/proc/meminfo: memFree=127187292/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=543476 memory=463968 CPUtime=221.6 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 117424 0 0 0 22134 26 0 0 20 0 1 0 199215867 556519424 115992 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 135869 115992 4149 3002 0 119618 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 543476 KiB
Current children cumulated memory: 463968 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.80 3.40 5/255 1060392
/proc/meminfo: memFree=127062084/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=609084 memory=528076 CPUtime=281.4 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 133048 0 0 0 28111 29 0 0 20 0 1 0 199215867 623702016 132019 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 152271 132019 4149 3002 0 136020 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 609084 KiB
Current children cumulated memory: 528076 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.85 3.44 5/257 1060407
/proc/meminfo: memFree=127433480/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=478776 memory=414788 CPUtime=341.24 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 140965 0 0 0 34049 75 0 0 20 0 1 0 199215867 490266624 103697 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 119694 103697 4276 3002 0 103443 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 478776 KiB
Current children cumulated memory: 414788 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.91 3.49 5/257 1060418
/proc/meminfo: memFree=127419364/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=478776 memory=423008 CPUtime=401.09 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 141356 0 0 0 39996 113 0 0 20 0 1 0 199215867 490266624 105752 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 119694 105752 4276 3002 0 103443 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 478776 KiB
Current children cumulated memory: 423008 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.95 3.53 5/257 1060429
/proc/meminfo: memFree=127406760/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=485956 memory=424252 CPUtime=460.95 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 141772 0 0 0 45946 149 0 0 20 0 1 0 199215867 497618944 106063 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 121489 106063 4276 3002 0 105238 0
################
# More data... #
################
Current children cumulated memory: 443980 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1062042
/proc/meminfo: memFree=127328840/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=2855.05 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 145644 0 0 0 284722 783 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1062053
/proc/meminfo: memFree=127328300/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=2914.91 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 145719 0 0 0 290696 795 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1062065
/proc/meminfo: memFree=127327828/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=2974.77 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 145794 0 0 0 296672 805 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1062076
/proc/meminfo: memFree=127327308/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3034.63 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 145871 0 0 0 302646 817 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/254 1062086
/proc/meminfo: memFree=127327088/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3094.49 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 145943 0 0 0 308622 827 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 1062097
/proc/meminfo: memFree=127326444/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3154.34 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146015 0 0 0 314597 837 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1062108
/proc/meminfo: memFree=127325896/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3214.2 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146090 0 0 0 320574 846 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 1062118
/proc/meminfo: memFree=127324468/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3274.07 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146164 0 0 0 326548 859 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1062133
/proc/meminfo: memFree=127324128/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3333.92 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146240 0 0 0 332520 872 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1062143
/proc/meminfo: memFree=127323736/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3393.78 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146319 0 0 0 338497 881 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1062153
/proc/meminfo: memFree=127321376/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=446028 CPUtime=3453.64 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146392 0 0 0 344475 889 0 0 20 0 1 0 199215867 528998400 111507 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 111507 4276 3002 0 112899 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 446028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/256 1062164
/proc/meminfo: memFree=127318756/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=448076 CPUtime=3513.5 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146467 0 0 0 350450 900 0 0 20 0 1 0 199215867 528998400 112019 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 112019 4276 3002 0 112899 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 448076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 1062175
/proc/meminfo: memFree=127318420/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=448076 CPUtime=3573.37 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146544 0 0 0 356426 911 0 0 20 0 1 0 199215867 528998400 112019 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 112019 4276 3002 0 112899 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 448076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.28 4.20 4.12 5/256 1062226
/proc/meminfo: memFree=127142036/131524600 swapFree=131070704/131071996
[pid=1060310] ppid=1060307 vsize=516600 memory=448076 CPUtime=3600.01 cores=4,6
/proc/1060310/stat : 1060310 (mixed-bag) R 1060307 1060310 1060031 0 -1 4194304 146590 0 0 0 359085 916 0 0 20 0 1 0 199215867 528998400 112019 134679101440 4194304 16488053 140722913241632 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 56561664 140722913248277 140722913248354 140722913248354 140722913255371 0
/proc/1060310/statm: 129150 112019 4276 3002 0 112899 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 516600 KiB
Current children cumulated memory: 448076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1060310 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.86 s, system=9.16311 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.02
CPU user time (s): 3590.86
CPU system time (s): 9.16311
CPU usage (%): 99.7509
Max. virtual memory (cumulated for all children) (KiB): 633972
Max. memory (cumulated for all children) (KiB): 554484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.86
system time used= 9.1631
maximum resident set size= 554484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146615
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= 107
involuntary context switches= 1631
# summary of solver processes directly reported to runsolver:
# pid: 1060310
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.86
# total CPU system time (s): 9.16311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80564 second user time and 17.5272 second system time
The end
Begin job on nodeC023 at 2024-07-20 12:15:22
IDJOB=4454763
IDBENCH=147586
IDSOLVER=3083
FILE ID=nodeC023/4454763-1721470509
RUNJOBID= nodeC023-1721470207-1060042
SLURM_JOB_ID= 7545734
Free space on /tmp= 889972 MiB
SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454763-1721470509/watcher-4454763-1721470509 -o /tmp/evaluation-result-4454763-1721470509/solver-4454763-1721470509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060042 --watchdog 3760 mixed-bag HOME/instance-4454763-1721470509.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=395340864
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.647
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3681.001
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3670.008
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3599.844
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3667.298
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3681.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3665.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3600.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128000996 kB
MemAvailable: 129704092 kB
Buffers: 603112 kB
Cached: 1944084 kB
SwapCached: 80 kB
Active: 1353252 kB
Inactive: 1619756 kB
Active(anon): 1588 kB
Inactive(anon): 469952 kB
Active(file): 1351664 kB
Inactive(file): 1149804 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 49192 kB
Writeback: 4 kB
AnonPages: 425788 kB
Mapped: 129148 kB
Shmem: 45728 kB
KReclaimable: 82900 kB
Slab: 175112 kB
SReclaimable: 82900 kB
SUnreclaim: 92212 kB
KernelStack: 4032 kB
PageTables: 10284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 753572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC023 at 2024-07-20 13:15:31