0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.48/300.62 c [STEP] preprocessing done, loading into solver
299.48/300.62 c [STEP] solving
299.48/300.62 c #variables 199 #constraints 16
299.48/300.62 c SMALL=int, LARGE=long long
299.48/300.62 d SCIPUB 91
299.48/300.62 c bounds - >= 0 @ 299.166
299.48/300.62 c stratification level: 64
300.08/301.26 c #Conflicts: 1000 | #Constraints: 1016
300.08/301.26 c #Conflicts: 2000 | #Constraints: 2016
300.08/301.26 c INPROCESSING
300.08/301.26 c GARBAGE COLLECT
300.08/301.26 c #Conflicts: 3000 | #Constraints: 2022
300.08/301.26 c #Conflicts: 4000 | #Constraints: 3022
300.08/301.26 c INPROCESSING
300.08/301.26 c GARBAGE COLLECT
300.08/301.26 c bounds 89 >= 0 @ 299.781
300.08/301.26 c stratification level: 32
300.08/301.26 c bounds 87 >= 0 @ 299.781
300.08/301.26 c stratification level: 16
300.37/301.52 c #Conflicts: 5000 | #Constraints: 2432
300.37/301.52 c #Conflicts: 6000 | #Constraints: 3432
300.37/301.52 c bounds 77 >= 0 @ 300.04
300.37/301.52 c stratification level: 8
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 7000 | #Constraints: 2428
319.52/320.79 c #Conflicts: 8000 | #Constraints: 3428
319.52/320.79 c #Conflicts: 9000 | #Constraints: 4428
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 10000 | #Constraints: 3127
319.52/320.79 c #Conflicts: 11000 | #Constraints: 4127
319.52/320.79 c #Conflicts: 12000 | #Constraints: 5127
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 13000 | #Constraints: 3579
319.52/320.79 c #Conflicts: 14000 | #Constraints: 4579
319.52/320.79 c #Conflicts: 15000 | #Constraints: 5579
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 16000 | #Constraints: 3807
319.52/320.79 c #Conflicts: 17000 | #Constraints: 4807
319.52/320.79 c #Conflicts: 18000 | #Constraints: 5807
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 19000 | #Constraints: 3821
319.52/320.79 c #Conflicts: 20000 | #Constraints: 4821
319.52/320.79 c #Conflicts: 21000 | #Constraints: 5821
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 22000 | #Constraints: 3624
319.52/320.79 c #Conflicts: 23000 | #Constraints: 4624
319.52/320.79 c #Conflicts: 24000 | #Constraints: 5624
319.52/320.79 c #Conflicts: 25000 | #Constraints: 6624
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 26000 | #Constraints: 4228
319.52/320.79 c #Conflicts: 27000 | #Constraints: 5228
319.52/320.79 c #Conflicts: 28000 | #Constraints: 6228
319.52/320.79 c #Conflicts: 29000 | #Constraints: 7228
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 30000 | #Constraints: 4626
319.52/320.79 c #Conflicts: 31000 | #Constraints: 5626
319.52/320.79 c #Conflicts: 32000 | #Constraints: 6626
319.52/320.79 c #Conflicts: 33000 | #Constraints: 7626
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 34000 | #Constraints: 4828
319.52/320.79 c #Conflicts: 35000 | #Constraints: 5828
319.52/320.79 c #Conflicts: 36000 | #Constraints: 6828
319.52/320.79 c #Conflicts: 37000 | #Constraints: 7828
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 38000 | #Constraints: 4834
319.52/320.79 c #Conflicts: 39000 | #Constraints: 5834
319.52/320.79 c #Conflicts: 40000 | #Constraints: 6834
319.52/320.79 c #Conflicts: 41000 | #Constraints: 7834
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 42000 | #Constraints: 4633
319.52/320.79 c #Conflicts: 43000 | #Constraints: 5633
319.52/320.79 c #Conflicts: 44000 | #Constraints: 6633
319.52/320.79 c #Conflicts: 45000 | #Constraints: 7633
319.52/320.79 c #Conflicts: 46000 | #Constraints: 8633
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 47000 | #Constraints: 5230
319.52/320.79 c #Conflicts: 48000 | #Constraints: 6230
319.52/320.79 c #Conflicts: 49000 | #Constraints: 7230
319.52/320.79 c #Conflicts: 50000 | #Constraints: 8230
319.52/320.79 c #Conflicts: 51000 | #Constraints: 9230
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 52000 | #Constraints: 5630
319.52/320.79 c #Conflicts: 53000 | #Constraints: 6630
319.52/320.79 c #Conflicts: 54000 | #Constraints: 7630
319.52/320.79 c #Conflicts: 55000 | #Constraints: 8630
319.52/320.79 c #Conflicts: 56000 | #Constraints: 9630
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 57000 | #Constraints: 5830
319.52/320.79 c #Conflicts: 58000 | #Constraints: 6830
319.52/320.79 c #Conflicts: 59000 | #Constraints: 7830
319.52/320.79 c #Conflicts: 60000 | #Constraints: 8830
319.52/320.79 c #Conflicts: 61000 | #Constraints: 9830
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 62000 | #Constraints: 5831
319.52/320.79 c #Conflicts: 63000 | #Constraints: 6831
319.52/320.79 c #Conflicts: 64000 | #Constraints: 7831
319.52/320.79 c #Conflicts: 65000 | #Constraints: 8831
319.52/320.79 c #Conflicts: 66000 | #Constraints: 9831
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 67000 | #Constraints: 5632
319.52/320.79 c #Conflicts: 68000 | #Constraints: 6632
319.52/320.79 c #Conflicts: 69000 | #Constraints: 7632
319.52/320.79 c #Conflicts: 70000 | #Constraints: 8632
319.52/320.79 c #Conflicts: 71000 | #Constraints: 9632
319.52/320.79 c #Conflicts: 72000 | #Constraints: 10632
319.52/320.79 c INPROCESSING
319.52/320.79 c GARBAGE COLLECT
319.52/320.79 c #Conflicts: 73000 | #Constraints: 6228
319.52/320.79 c #Conflicts: 74000 | #Constraints: 7228
353.60/355.00 c #Conflicts: 75000 | #Constraints: 8228
353.60/355.00 c #Conflicts: 76000 | #Constraints: 9228
353.60/355.00 c #Conflicts: 77000 | #Constraints: 10228
353.60/355.00 c #Conflicts: 78000 | #Constraints: 11228
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 79000 | #Constraints: 6632
353.60/355.00 c #Conflicts: 80000 | #Constraints: 7632
353.60/355.00 c #Conflicts: 81000 | #Constraints: 8632
353.60/355.00 c #Conflicts: 82000 | #Constraints: 9632
353.60/355.00 c #Conflicts: 83000 | #Constraints: 10632
353.60/355.00 c #Conflicts: 84000 | #Constraints: 11632
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 85000 | #Constraints: 6834
353.60/355.00 c #Conflicts: 86000 | #Constraints: 7834
353.60/355.00 c #Conflicts: 87000 | #Constraints: 8834
353.60/355.00 c #Conflicts: 88000 | #Constraints: 9834
353.60/355.00 c #Conflicts: 89000 | #Constraints: 10834
353.60/355.00 c #Conflicts: 90000 | #Constraints: 11834
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 91000 | #Constraints: 6833
353.60/355.00 c #Conflicts: 92000 | #Constraints: 7833
353.60/355.00 c #Conflicts: 93000 | #Constraints: 8833
353.60/355.00 c #Conflicts: 94000 | #Constraints: 9833
353.60/355.00 c #Conflicts: 95000 | #Constraints: 10833
353.60/355.00 c #Conflicts: 96000 | #Constraints: 11833
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 97000 | #Constraints: 6638
353.60/355.00 c #Conflicts: 98000 | #Constraints: 7638
353.60/355.00 c #Conflicts: 99000 | #Constraints: 8638
353.60/355.00 c #Conflicts: 100000 | #Constraints: 9638
353.60/355.00 c #Conflicts: 101000 | #Constraints: 10638
353.60/355.00 c #Conflicts: 102000 | #Constraints: 11638
353.60/355.00 c #Conflicts: 103000 | #Constraints: 12638
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 104000 | #Constraints: 7232
353.60/355.00 c #Conflicts: 105000 | #Constraints: 8232
353.60/355.00 c #Conflicts: 106000 | #Constraints: 9232
353.60/355.00 c #Conflicts: 107000 | #Constraints: 10232
353.60/355.00 c #Conflicts: 108000 | #Constraints: 11232
353.60/355.00 c #Conflicts: 109000 | #Constraints: 12232
353.60/355.00 c #Conflicts: 110000 | #Constraints: 13232
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 111000 | #Constraints: 7631
353.60/355.00 c #Conflicts: 112000 | #Constraints: 8631
353.60/355.00 c #Conflicts: 113000 | #Constraints: 9631
353.60/355.00 c #Conflicts: 114000 | #Constraints: 10631
353.60/355.00 c #Conflicts: 115000 | #Constraints: 11631
353.60/355.00 c #Conflicts: 116000 | #Constraints: 12631
353.60/355.00 c #Conflicts: 117000 | #Constraints: 13631
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 118000 | #Constraints: 7831
353.60/355.00 c #Conflicts: 119000 | #Constraints: 8831
353.60/355.00 c #Conflicts: 120000 | #Constraints: 9831
353.60/355.00 c #Conflicts: 121000 | #Constraints: 10831
353.60/355.00 c #Conflicts: 122000 | #Constraints: 11831
353.60/355.00 c #Conflicts: 123000 | #Constraints: 12831
353.60/355.00 c #Conflicts: 124000 | #Constraints: 13831
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 125000 | #Constraints: 7833
353.60/355.00 c #Conflicts: 126000 | #Constraints: 8833
353.60/355.00 c #Conflicts: 127000 | #Constraints: 9833
353.60/355.00 c #Conflicts: 128000 | #Constraints: 10833
353.60/355.00 c #Conflicts: 129000 | #Constraints: 11833
353.60/355.00 c #Conflicts: 130000 | #Constraints: 12833
353.60/355.00 c #Conflicts: 131000 | #Constraints: 13833
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 132000 | #Constraints: 7632
353.60/355.00 c #Conflicts: 133000 | #Constraints: 8632
353.60/355.00 c #Conflicts: 134000 | #Constraints: 9632
353.60/355.00 c #Conflicts: 135000 | #Constraints: 10632
353.60/355.00 c #Conflicts: 136000 | #Constraints: 11632
353.60/355.00 c #Conflicts: 137000 | #Constraints: 12632
353.60/355.00 c #Conflicts: 138000 | #Constraints: 13632
353.60/355.00 c #Conflicts: 139000 | #Constraints: 14632
353.60/355.00 c INPROCESSING
353.60/355.00 c GARBAGE COLLECT
353.60/355.00 c #Conflicts: 140000 | #Constraints: 8233
353.60/355.00 c #Conflicts: 141000 | #Constraints: 9233
353.60/355.00 c #Conflicts: 142000 | #Constraints: 10233
353.60/355.00 c #Conflicts: 143000 | #Constraints: 11233
353.60/355.00 c #Conflicts: 144000 | #Constraints: 12233
353.60/355.00 c #Conflicts: 145000 | #Constraints: 13233
353.60/355.00 c #Conflicts: 146000 | #Constraints: 14233
353.60/355.00 c #Conflicts: 147000 | #Constraints: 15233
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 148000 | #Constraints: 8640
396.15/397.62 c #Conflicts: 149000 | #Constraints: 9640
396.15/397.62 c #Conflicts: 150000 | #Constraints: 10640
396.15/397.62 c #Conflicts: 151000 | #Constraints: 11640
396.15/397.62 c #Conflicts: 152000 | #Constraints: 12640
396.15/397.62 c #Conflicts: 153000 | #Constraints: 13640
396.15/397.62 c #Conflicts: 154000 | #Constraints: 14640
396.15/397.62 c #Conflicts: 155000 | #Constraints: 15640
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 156000 | #Constraints: 8836
396.15/397.62 c #Conflicts: 157000 | #Constraints: 9836
396.15/397.62 c #Conflicts: 158000 | #Constraints: 10836
396.15/397.62 c #Conflicts: 159000 | #Constraints: 11836
396.15/397.62 c #Conflicts: 160000 | #Constraints: 12836
396.15/397.62 c #Conflicts: 161000 | #Constraints: 13836
396.15/397.62 c #Conflicts: 162000 | #Constraints: 14836
396.15/397.62 c #Conflicts: 163000 | #Constraints: 15836
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 164000 | #Constraints: 8836
396.15/397.62 c #Conflicts: 165000 | #Constraints: 9836
396.15/397.62 c #Conflicts: 166000 | #Constraints: 10836
396.15/397.62 c #Conflicts: 167000 | #Constraints: 11836
396.15/397.62 c #Conflicts: 168000 | #Constraints: 12836
396.15/397.62 c #Conflicts: 169000 | #Constraints: 13836
396.15/397.62 c #Conflicts: 170000 | #Constraints: 14836
396.15/397.62 c #Conflicts: 171000 | #Constraints: 15836
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 172000 | #Constraints: 8634
396.15/397.62 c #Conflicts: 173000 | #Constraints: 9634
396.15/397.62 c #Conflicts: 174000 | #Constraints: 10634
396.15/397.62 c #Conflicts: 175000 | #Constraints: 11634
396.15/397.62 c #Conflicts: 176000 | #Constraints: 12634
396.15/397.62 c #Conflicts: 177000 | #Constraints: 13634
396.15/397.62 c #Conflicts: 178000 | #Constraints: 14634
396.15/397.62 c #Conflicts: 179000 | #Constraints: 15634
396.15/397.62 c #Conflicts: 180000 | #Constraints: 16634
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 181000 | #Constraints: 9234
396.15/397.62 c #Conflicts: 182000 | #Constraints: 10234
396.15/397.62 c #Conflicts: 183000 | #Constraints: 11234
396.15/397.62 c #Conflicts: 184000 | #Constraints: 12234
396.15/397.62 c #Conflicts: 185000 | #Constraints: 13234
396.15/397.62 c #Conflicts: 186000 | #Constraints: 14234
396.15/397.62 c #Conflicts: 187000 | #Constraints: 15234
396.15/397.62 c #Conflicts: 188000 | #Constraints: 16234
396.15/397.62 c #Conflicts: 189000 | #Constraints: 17234
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 190000 | #Constraints: 9641
396.15/397.62 c #Conflicts: 191000 | #Constraints: 10641
396.15/397.62 c #Conflicts: 192000 | #Constraints: 11641
396.15/397.62 c #Conflicts: 193000 | #Constraints: 12641
396.15/397.62 c #Conflicts: 194000 | #Constraints: 13641
396.15/397.62 c #Conflicts: 195000 | #Constraints: 14641
396.15/397.62 c #Conflicts: 196000 | #Constraints: 15641
396.15/397.62 c #Conflicts: 197000 | #Constraints: 16641
396.15/397.62 c #Conflicts: 198000 | #Constraints: 17641
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 199000 | #Constraints: 9844
396.15/397.62 c #Conflicts: 200000 | #Constraints: 10844
396.15/397.62 c #Conflicts: 201000 | #Constraints: 11844
396.15/397.62 c #Conflicts: 202000 | #Constraints: 12844
396.15/397.62 c #Conflicts: 203000 | #Constraints: 13844
396.15/397.62 c #Conflicts: 204000 | #Constraints: 14844
396.15/397.62 c #Conflicts: 205000 | #Constraints: 15844
396.15/397.62 c #Conflicts: 206000 | #Constraints: 16844
396.15/397.62 c #Conflicts: 207000 | #Constraints: 17844
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 208000 | #Constraints: 9841
396.15/397.62 c #Conflicts: 209000 | #Constraints: 10841
396.15/397.62 c #Conflicts: 210000 | #Constraints: 11841
396.15/397.62 c #Conflicts: 211000 | #Constraints: 12841
396.15/397.62 c #Conflicts: 212000 | #Constraints: 13841
396.15/397.62 c #Conflicts: 213000 | #Constraints: 14841
396.15/397.62 c #Conflicts: 214000 | #Constraints: 15841
396.15/397.62 c #Conflicts: 215000 | #Constraints: 16841
396.15/397.62 c #Conflicts: 216000 | #Constraints: 17841
396.15/397.62 c INPROCESSING
396.15/397.62 c GARBAGE COLLECT
396.15/397.62 c #Conflicts: 217000 | #Constraints: 9643
396.15/397.62 c #Conflicts: 218000 | #Constraints: 10643
396.15/397.62 c #Conflicts: 219000 | #Constraints: 11643
396.15/397.62 c #Conflicts: 220000 | #Constraints: 12643
446.78/448.46 c #Conflicts: 221000 | #Constraints: 13643
446.78/448.46 c #Conflicts: 222000 | #Constraints: 14643
446.78/448.46 c #Conflicts: 223000 | #Constraints: 15643
446.78/448.46 c #Conflicts: 224000 | #Constraints: 16643
446.78/448.46 c #Conflicts: 225000 | #Constraints: 17643
446.78/448.46 c #Conflicts: 226000 | #Constraints: 18643
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 227000 | #Constraints: 10245
446.78/448.46 c #Conflicts: 228000 | #Constraints: 11245
446.78/448.46 c #Conflicts: 229000 | #Constraints: 12245
446.78/448.46 c #Conflicts: 230000 | #Constraints: 13245
446.78/448.46 c #Conflicts: 231000 | #Constraints: 14245
446.78/448.46 c #Conflicts: 232000 | #Constraints: 15245
446.78/448.46 c #Conflicts: 233000 | #Constraints: 16245
446.78/448.46 c #Conflicts: 234000 | #Constraints: 17245
446.78/448.46 c #Conflicts: 235000 | #Constraints: 18245
446.78/448.46 c #Conflicts: 236000 | #Constraints: 19245
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 237000 | #Constraints: 10638
446.78/448.46 c #Conflicts: 238000 | #Constraints: 11638
446.78/448.46 c #Conflicts: 239000 | #Constraints: 12638
446.78/448.46 c #Conflicts: 240000 | #Constraints: 13638
446.78/448.46 c #Conflicts: 241000 | #Constraints: 14638
446.78/448.46 c #Conflicts: 242000 | #Constraints: 15638
446.78/448.46 c #Conflicts: 243000 | #Constraints: 16638
446.78/448.46 c #Conflicts: 244000 | #Constraints: 17638
446.78/448.46 c #Conflicts: 245000 | #Constraints: 18638
446.78/448.46 c #Conflicts: 246000 | #Constraints: 19638
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 247000 | #Constraints: 10838
446.78/448.46 c #Conflicts: 248000 | #Constraints: 11838
446.78/448.46 c #Conflicts: 249000 | #Constraints: 12838
446.78/448.46 c #Conflicts: 250000 | #Constraints: 13838
446.78/448.46 c #Conflicts: 251000 | #Constraints: 14838
446.78/448.46 c #Conflicts: 252000 | #Constraints: 15838
446.78/448.46 c #Conflicts: 253000 | #Constraints: 16838
446.78/448.46 c #Conflicts: 254000 | #Constraints: 17838
446.78/448.46 c #Conflicts: 255000 | #Constraints: 18838
446.78/448.46 c #Conflicts: 256000 | #Constraints: 19838
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 257000 | #Constraints: 10836
446.78/448.46 c #Conflicts: 258000 | #Constraints: 11836
446.78/448.46 c #Conflicts: 259000 | #Constraints: 12836
446.78/448.46 c #Conflicts: 260000 | #Constraints: 13836
446.78/448.46 c #Conflicts: 261000 | #Constraints: 14836
446.78/448.46 c #Conflicts: 262000 | #Constraints: 15836
446.78/448.46 c #Conflicts: 263000 | #Constraints: 16836
446.78/448.46 c #Conflicts: 264000 | #Constraints: 17836
446.78/448.46 c #Conflicts: 265000 | #Constraints: 18836
446.78/448.46 c #Conflicts: 266000 | #Constraints: 19836
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 267000 | #Constraints: 10636
446.78/448.46 c #Conflicts: 268000 | #Constraints: 11636
446.78/448.46 c #Conflicts: 269000 | #Constraints: 12636
446.78/448.46 c #Conflicts: 270000 | #Constraints: 13636
446.78/448.46 c #Conflicts: 271000 | #Constraints: 14636
446.78/448.46 c #Conflicts: 272000 | #Constraints: 15636
446.78/448.46 c #Conflicts: 273000 | #Constraints: 16636
446.78/448.46 c #Conflicts: 274000 | #Constraints: 17636
446.78/448.46 c #Conflicts: 275000 | #Constraints: 18636
446.78/448.46 c #Conflicts: 276000 | #Constraints: 19636
446.78/448.46 c #Conflicts: 277000 | #Constraints: 20636
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 278000 | #Constraints: 11233
446.78/448.46 c #Conflicts: 279000 | #Constraints: 12233
446.78/448.46 c #Conflicts: 280000 | #Constraints: 13233
446.78/448.46 c #Conflicts: 281000 | #Constraints: 14233
446.78/448.46 c #Conflicts: 282000 | #Constraints: 15233
446.78/448.46 c #Conflicts: 283000 | #Constraints: 16233
446.78/448.46 c #Conflicts: 284000 | #Constraints: 17233
446.78/448.46 c #Conflicts: 285000 | #Constraints: 18233
446.78/448.46 c #Conflicts: 286000 | #Constraints: 19233
446.78/448.46 c #Conflicts: 287000 | #Constraints: 20233
446.78/448.46 c #Conflicts: 288000 | #Constraints: 21233
446.78/448.46 c INPROCESSING
446.78/448.46 c GARBAGE COLLECT
446.78/448.46 c #Conflicts: 289000 | #Constraints: 11632
446.78/448.46 c #Conflicts: 290000 | #Constraints: 12632
446.78/448.46 c #Conflicts: 291000 | #Constraints: 13632
446.78/448.46 c #Conflicts: 292000 | #Constraints: 14632
446.78/448.46 c #Conflicts: 293000 | #Constraints: 15632
446.78/448.46 c #Conflicts: 294000 | #Constraints: 16632
508.28/510.10 c #Conflicts: 295000 | #Constraints: 17632
508.28/510.10 c #Conflicts: 296000 | #Constraints: 18632
508.28/510.10 c #Conflicts: 297000 | #Constraints: 19632
508.28/510.10 c #Conflicts: 298000 | #Constraints: 20632
508.28/510.10 c #Conflicts: 299000 | #Constraints: 21632
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 300000 | #Constraints: 11831
508.28/510.10 c #Conflicts: 301000 | #Constraints: 12831
508.28/510.10 c #Conflicts: 302000 | #Constraints: 13831
508.28/510.10 c #Conflicts: 303000 | #Constraints: 14831
508.28/510.10 c #Conflicts: 304000 | #Constraints: 15831
508.28/510.10 c #Conflicts: 305000 | #Constraints: 16831
508.28/510.10 c #Conflicts: 306000 | #Constraints: 17831
508.28/510.10 c #Conflicts: 307000 | #Constraints: 18831
508.28/510.10 c #Conflicts: 308000 | #Constraints: 19831
508.28/510.10 c #Conflicts: 309000 | #Constraints: 20831
508.28/510.10 c #Conflicts: 310000 | #Constraints: 21831
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 311000 | #Constraints: 11832
508.28/510.10 c #Conflicts: 312000 | #Constraints: 12832
508.28/510.10 c #Conflicts: 313000 | #Constraints: 13832
508.28/510.10 c #Conflicts: 314000 | #Constraints: 14832
508.28/510.10 c #Conflicts: 315000 | #Constraints: 15832
508.28/510.10 c #Conflicts: 316000 | #Constraints: 16832
508.28/510.10 c #Conflicts: 317000 | #Constraints: 17832
508.28/510.10 c #Conflicts: 318000 | #Constraints: 18832
508.28/510.10 c #Conflicts: 319000 | #Constraints: 19832
508.28/510.10 c #Conflicts: 320000 | #Constraints: 20832
508.28/510.10 c #Conflicts: 321000 | #Constraints: 21832
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 322000 | #Constraints: 11632
508.28/510.10 c #Conflicts: 323000 | #Constraints: 12632
508.28/510.10 c #Conflicts: 324000 | #Constraints: 13632
508.28/510.10 c #Conflicts: 325000 | #Constraints: 14632
508.28/510.10 c #Conflicts: 326000 | #Constraints: 15632
508.28/510.10 c #Conflicts: 327000 | #Constraints: 16632
508.28/510.10 c #Conflicts: 328000 | #Constraints: 17632
508.28/510.10 c #Conflicts: 329000 | #Constraints: 18632
508.28/510.10 c #Conflicts: 330000 | #Constraints: 19632
508.28/510.10 c #Conflicts: 331000 | #Constraints: 20632
508.28/510.10 c #Conflicts: 332000 | #Constraints: 21632
508.28/510.10 c #Conflicts: 333000 | #Constraints: 22632
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 334000 | #Constraints: 12233
508.28/510.10 c #Conflicts: 335000 | #Constraints: 13233
508.28/510.10 c #Conflicts: 336000 | #Constraints: 14233
508.28/510.10 c #Conflicts: 337000 | #Constraints: 15233
508.28/510.10 c #Conflicts: 338000 | #Constraints: 16233
508.28/510.10 c #Conflicts: 339000 | #Constraints: 17233
508.28/510.10 c #Conflicts: 340000 | #Constraints: 18233
508.28/510.10 c #Conflicts: 341000 | #Constraints: 19233
508.28/510.10 c #Conflicts: 342000 | #Constraints: 20233
508.28/510.10 c #Conflicts: 343000 | #Constraints: 21233
508.28/510.10 c #Conflicts: 344000 | #Constraints: 22233
508.28/510.10 c #Conflicts: 345000 | #Constraints: 23233
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 346000 | #Constraints: 12630
508.28/510.10 c #Conflicts: 347000 | #Constraints: 13630
508.28/510.10 c #Conflicts: 348000 | #Constraints: 14630
508.28/510.10 c #Conflicts: 349000 | #Constraints: 15630
508.28/510.10 c #Conflicts: 350000 | #Constraints: 16630
508.28/510.10 c #Conflicts: 351000 | #Constraints: 17630
508.28/510.10 c #Conflicts: 352000 | #Constraints: 18630
508.28/510.10 c #Conflicts: 353000 | #Constraints: 19630
508.28/510.10 c #Conflicts: 354000 | #Constraints: 20630
508.28/510.10 c #Conflicts: 355000 | #Constraints: 21630
508.28/510.10 c #Conflicts: 356000 | #Constraints: 22630
508.28/510.10 c #Conflicts: 357000 | #Constraints: 23630
508.28/510.10 c INPROCESSING
508.28/510.10 c GARBAGE COLLECT
508.28/510.10 c #Conflicts: 358000 | #Constraints: 12833
508.28/510.10 c #Conflicts: 359000 | #Constraints: 13833
508.28/510.10 c #Conflicts: 360000 | #Constraints: 14833
508.28/510.10 c #Conflicts: 361000 | #Constraints: 15833
508.28/510.10 c #Conflicts: 362000 | #Constraints: 16833
508.28/510.10 c #Conflicts: 363000 | #Constraints: 17833
508.28/510.10 c #Conflicts: 364000 | #Constraints: 18833
508.28/510.10 c #Conflicts: 365000 | #Constraints: 19833
508.28/510.10 c #Conflicts: 366000 | #Constraints: 20833
508.28/510.10 c #Conflicts: 367000 | #Constraints: 21833
508.28/510.10 c #Conflicts: 368000 | #Constraints: 22833
508.28/510.10 c #Conflicts: 369000 | #Constraints: 23833
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 370000 | #Constraints: 12834
580.24/582.34 c #Conflicts: 371000 | #Constraints: 13834
580.24/582.34 c #Conflicts: 372000 | #Constraints: 14834
580.24/582.34 c #Conflicts: 373000 | #Constraints: 15834
580.24/582.34 c #Conflicts: 374000 | #Constraints: 16834
580.24/582.34 c #Conflicts: 375000 | #Constraints: 17834
580.24/582.34 c #Conflicts: 376000 | #Constraints: 18834
580.24/582.34 c #Conflicts: 377000 | #Constraints: 19834
580.24/582.34 c #Conflicts: 378000 | #Constraints: 20834
580.24/582.34 c #Conflicts: 379000 | #Constraints: 21834
580.24/582.34 c #Conflicts: 380000 | #Constraints: 22834
580.24/582.34 c #Conflicts: 381000 | #Constraints: 23834
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 382000 | #Constraints: 12633
580.24/582.34 c #Conflicts: 383000 | #Constraints: 13633
580.24/582.34 c #Conflicts: 384000 | #Constraints: 14633
580.24/582.34 c #Conflicts: 385000 | #Constraints: 15633
580.24/582.34 c #Conflicts: 386000 | #Constraints: 16633
580.24/582.34 c #Conflicts: 387000 | #Constraints: 17633
580.24/582.34 c #Conflicts: 388000 | #Constraints: 18633
580.24/582.34 c #Conflicts: 389000 | #Constraints: 19633
580.24/582.34 c #Conflicts: 390000 | #Constraints: 20633
580.24/582.34 c #Conflicts: 391000 | #Constraints: 21633
580.24/582.34 c #Conflicts: 392000 | #Constraints: 22633
580.24/582.34 c #Conflicts: 393000 | #Constraints: 23633
580.24/582.34 c #Conflicts: 394000 | #Constraints: 24633
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 395000 | #Constraints: 13234
580.24/582.34 c #Conflicts: 396000 | #Constraints: 14234
580.24/582.34 c #Conflicts: 397000 | #Constraints: 15234
580.24/582.34 c #Conflicts: 398000 | #Constraints: 16234
580.24/582.34 c #Conflicts: 399000 | #Constraints: 17234
580.24/582.34 c #Conflicts: 400000 | #Constraints: 18234
580.24/582.34 c #Conflicts: 401000 | #Constraints: 19234
580.24/582.34 c #Conflicts: 402000 | #Constraints: 20234
580.24/582.34 c #Conflicts: 403000 | #Constraints: 21234
580.24/582.34 c #Conflicts: 404000 | #Constraints: 22234
580.24/582.34 c #Conflicts: 405000 | #Constraints: 23234
580.24/582.34 c #Conflicts: 406000 | #Constraints: 24234
580.24/582.34 c #Conflicts: 407000 | #Constraints: 25234
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 408000 | #Constraints: 13632
580.24/582.34 c #Conflicts: 409000 | #Constraints: 14632
580.24/582.34 c #Conflicts: 410000 | #Constraints: 15632
580.24/582.34 c #Conflicts: 411000 | #Constraints: 16632
580.24/582.34 c #Conflicts: 412000 | #Constraints: 17632
580.24/582.34 c #Conflicts: 413000 | #Constraints: 18632
580.24/582.34 c #Conflicts: 414000 | #Constraints: 19632
580.24/582.34 c #Conflicts: 415000 | #Constraints: 20632
580.24/582.34 c #Conflicts: 416000 | #Constraints: 21632
580.24/582.34 c #Conflicts: 417000 | #Constraints: 22632
580.24/582.34 c #Conflicts: 418000 | #Constraints: 23632
580.24/582.34 c #Conflicts: 419000 | #Constraints: 24632
580.24/582.34 c #Conflicts: 420000 | #Constraints: 25632
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 421000 | #Constraints: 13838
580.24/582.34 c #Conflicts: 422000 | #Constraints: 14838
580.24/582.34 c #Conflicts: 423000 | #Constraints: 15838
580.24/582.34 c #Conflicts: 424000 | #Constraints: 16838
580.24/582.34 c #Conflicts: 425000 | #Constraints: 17838
580.24/582.34 c #Conflicts: 426000 | #Constraints: 18838
580.24/582.34 c #Conflicts: 427000 | #Constraints: 19838
580.24/582.34 c #Conflicts: 428000 | #Constraints: 20838
580.24/582.34 c #Conflicts: 429000 | #Constraints: 21838
580.24/582.34 c #Conflicts: 430000 | #Constraints: 22838
580.24/582.34 c #Conflicts: 431000 | #Constraints: 23838
580.24/582.34 c #Conflicts: 432000 | #Constraints: 24838
580.24/582.34 c #Conflicts: 433000 | #Constraints: 25838
580.24/582.34 c INPROCESSING
580.24/582.34 c GARBAGE COLLECT
580.24/582.34 c #Conflicts: 434000 | #Constraints: 13841
580.24/582.34 c #Conflicts: 435000 | #Constraints: 14841
580.24/582.34 c #Conflicts: 436000 | #Constraints: 15841
580.24/582.34 c #Conflicts: 437000 | #Constraints: 16841
580.24/582.34 c #Conflicts: 438000 | #Constraints: 17841
580.24/582.34 c #Conflicts: 439000 | #Constraints: 18841
580.24/582.34 c #Conflicts: 440000 | #Constraints: 19841
580.24/582.34 c #Conflicts: 441000 | #Constraints: 20841
580.24/582.34 c #Conflicts: 442000 | #Constraints: 21841
580.24/582.34 c #Conflicts: 443000 | #Constraints: 22841
580.24/582.34 c #Conflicts: 444000 | #Constraints: 23841
668.76/671.13 c #Conflicts: 445000 | #Constraints: 24841
668.76/671.13 c #Conflicts: 446000 | #Constraints: 25841
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 447000 | #Constraints: 13642
668.76/671.13 c #Conflicts: 448000 | #Constraints: 14642
668.76/671.13 c #Conflicts: 449000 | #Constraints: 15642
668.76/671.13 c #Conflicts: 450000 | #Constraints: 16642
668.76/671.13 c #Conflicts: 451000 | #Constraints: 17642
668.76/671.13 c #Conflicts: 452000 | #Constraints: 18642
668.76/671.13 c #Conflicts: 453000 | #Constraints: 19642
668.76/671.13 c #Conflicts: 454000 | #Constraints: 20642
668.76/671.13 c #Conflicts: 455000 | #Constraints: 21642
668.76/671.13 c #Conflicts: 456000 | #Constraints: 22642
668.76/671.13 c #Conflicts: 457000 | #Constraints: 23642
668.76/671.13 c #Conflicts: 458000 | #Constraints: 24642
668.76/671.13 c #Conflicts: 459000 | #Constraints: 25642
668.76/671.13 c #Conflicts: 460000 | #Constraints: 26642
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 461000 | #Constraints: 14239
668.76/671.13 c #Conflicts: 462000 | #Constraints: 15239
668.76/671.13 c #Conflicts: 463000 | #Constraints: 16239
668.76/671.13 c #Conflicts: 464000 | #Constraints: 17239
668.76/671.13 c #Conflicts: 465000 | #Constraints: 18239
668.76/671.13 c #Conflicts: 466000 | #Constraints: 19239
668.76/671.13 c #Conflicts: 467000 | #Constraints: 20239
668.76/671.13 c #Conflicts: 468000 | #Constraints: 21239
668.76/671.13 c #Conflicts: 469000 | #Constraints: 22239
668.76/671.13 c #Conflicts: 470000 | #Constraints: 23239
668.76/671.13 c #Conflicts: 471000 | #Constraints: 24239
668.76/671.13 c #Conflicts: 472000 | #Constraints: 25239
668.76/671.13 c #Conflicts: 473000 | #Constraints: 26239
668.76/671.13 c #Conflicts: 474000 | #Constraints: 27239
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 475000 | #Constraints: 14642
668.76/671.13 c #Conflicts: 476000 | #Constraints: 15642
668.76/671.13 c #Conflicts: 477000 | #Constraints: 16642
668.76/671.13 c #Conflicts: 478000 | #Constraints: 17642
668.76/671.13 c #Conflicts: 479000 | #Constraints: 18642
668.76/671.13 c #Conflicts: 480000 | #Constraints: 19642
668.76/671.13 c #Conflicts: 481000 | #Constraints: 20642
668.76/671.13 c #Conflicts: 482000 | #Constraints: 21642
668.76/671.13 c #Conflicts: 483000 | #Constraints: 22642
668.76/671.13 c #Conflicts: 484000 | #Constraints: 23642
668.76/671.13 c #Conflicts: 485000 | #Constraints: 24642
668.76/671.13 c #Conflicts: 486000 | #Constraints: 25642
668.76/671.13 c #Conflicts: 487000 | #Constraints: 26642
668.76/671.13 c #Conflicts: 488000 | #Constraints: 27642
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 489000 | #Constraints: 14840
668.76/671.13 c #Conflicts: 490000 | #Constraints: 15840
668.76/671.13 c #Conflicts: 491000 | #Constraints: 16840
668.76/671.13 c #Conflicts: 492000 | #Constraints: 17840
668.76/671.13 c #Conflicts: 493000 | #Constraints: 18840
668.76/671.13 c #Conflicts: 494000 | #Constraints: 19840
668.76/671.13 c #Conflicts: 495000 | #Constraints: 20840
668.76/671.13 c #Conflicts: 496000 | #Constraints: 21840
668.76/671.13 c #Conflicts: 497000 | #Constraints: 22840
668.76/671.13 c #Conflicts: 498000 | #Constraints: 23840
668.76/671.13 c #Conflicts: 499000 | #Constraints: 24840
668.76/671.13 c #Conflicts: 500000 | #Constraints: 25840
668.76/671.13 c #Conflicts: 501000 | #Constraints: 26840
668.76/671.13 c #Conflicts: 502000 | #Constraints: 27840
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 503000 | #Constraints: 14844
668.76/671.13 c #Conflicts: 504000 | #Constraints: 15844
668.76/671.13 c #Conflicts: 505000 | #Constraints: 16844
668.76/671.13 c #Conflicts: 506000 | #Constraints: 17844
668.76/671.13 c #Conflicts: 507000 | #Constraints: 18844
668.76/671.13 c #Conflicts: 508000 | #Constraints: 19844
668.76/671.13 c #Conflicts: 509000 | #Constraints: 20844
668.76/671.13 c #Conflicts: 510000 | #Constraints: 21844
668.76/671.13 c #Conflicts: 511000 | #Constraints: 22844
668.76/671.13 c #Conflicts: 512000 | #Constraints: 23844
668.76/671.13 c #Conflicts: 513000 | #Constraints: 24844
668.76/671.13 c #Conflicts: 514000 | #Constraints: 25844
668.76/671.13 c #Conflicts: 515000 | #Constraints: 26844
668.76/671.13 c #Conflicts: 516000 | #Constraints: 27844
668.76/671.13 c INPROCESSING
668.76/671.13 c GARBAGE COLLECT
668.76/671.13 c #Conflicts: 517000 | #Constraints: 14638
668.76/671.13 c #Conflicts: 518000 | #Constraints: 15638
668.76/671.13 c #Conflicts: 519000 | #Constraints: 16638
747.02/749.67 c #Conflicts: 520000 | #Constraints: 17638
747.02/749.67 c #Conflicts: 521000 | #Constraints: 18638
747.02/749.67 c #Conflicts: 522000 | #Constraints: 19638
747.02/749.67 c #Conflicts: 523000 | #Constraints: 20638
747.02/749.67 c #Conflicts: 524000 | #Constraints: 21638
747.02/749.67 c #Conflicts: 525000 | #Constraints: 22638
747.02/749.67 c #Conflicts: 526000 | #Constraints: 23638
747.02/749.67 c #Conflicts: 527000 | #Constraints: 24638
747.02/749.67 c #Conflicts: 528000 | #Constraints: 25638
747.02/749.67 c #Conflicts: 529000 | #Constraints: 26638
747.02/749.67 c #Conflicts: 530000 | #Constraints: 27638
747.02/749.67 c #Conflicts: 531000 | #Constraints: 28638
747.02/749.67 c INPROCESSING
747.02/749.67 c GARBAGE COLLECT
747.02/749.67 c #Conflicts: 532000 | #Constraints: 15242
747.02/749.67 c #Conflicts: 533000 | #Constraints: 16242
747.02/749.67 c #Conflicts: 534000 | #Constraints: 17242
747.02/749.67 c #Conflicts: 535000 | #Constraints: 18242
747.02/749.67 c #Conflicts: 536000 | #Constraints: 19242
747.02/749.67 c #Conflicts: 537000 | #Constraints: 20242
747.02/749.67 c #Conflicts: 538000 | #Constraints: 21242
747.02/749.67 c #Conflicts: 539000 | #Constraints: 22242
747.02/749.67 c #Conflicts: 540000 | #Constraints: 23242
747.02/749.67 c #Conflicts: 541000 | #Constraints: 24242
747.02/749.67 c #Conflicts: 542000 | #Constraints: 25242
747.02/749.67 c #Conflicts: 543000 | #Constraints: 26242
747.02/749.67 c #Conflicts: 544000 | #Constraints: 27242
747.02/749.67 c #Conflicts: 545000 | #Constraints: 28242
747.02/749.67 c #Conflicts: 546000 | #Constraints: 29242
747.02/749.67 c INPROCESSING
747.02/749.67 c GARBAGE COLLECT
747.02/749.67 c #Conflicts: 547000 | #Constraints: 15638
747.02/749.67 c #Conflicts: 548000 | #Constraints: 16638
747.02/749.67 c #Conflicts: 549000 | #Constraints: 17638
747.02/749.67 c #Conflicts: 550000 | #Constraints: 18638
747.02/749.67 c #Conflicts: 551000 | #Constraints: 19638
747.02/749.67 c #Conflicts: 552000 | #Constraints: 20638
747.02/749.67 c #Conflicts: 553000 | #Constraints: 21638
747.02/749.67 c #Conflicts: 554000 | #Constraints: 22638
747.02/749.67 c #Conflicts: 555000 | #Constraints: 23638
747.02/749.67 c #Conflicts: 556000 | #Constraints: 24638
747.02/749.67 c #Conflicts: 557000 | #Constraints: 25638
747.02/749.67 c #Conflicts: 558000 | #Constraints: 26638
747.02/749.67 c #Conflicts: 559000 | #Constraints: 27638
747.02/749.67 c #Conflicts: 560000 | #Constraints: 28638
747.02/749.67 c #Conflicts: 561000 | #Constraints: 29638
747.02/749.67 c INPROCESSING
747.02/749.67 c GARBAGE COLLECT
747.02/749.67 c #Conflicts: 562000 | #Constraints: 15835
747.02/749.67 c #Conflicts: 563000 | #Constraints: 16835
747.02/749.67 c #Conflicts: 564000 | #Constraints: 17835
747.02/749.67 c #Conflicts: 565000 | #Constraints: 18835
747.02/749.67 c #Conflicts: 566000 | #Constraints: 19835
747.02/749.67 c #Conflicts: 567000 | #Constraints: 20835
747.02/749.67 c #Conflicts: 568000 | #Constraints: 21835
747.02/749.67 c #Conflicts: 569000 | #Constraints: 22835
747.02/749.67 c #Conflicts: 570000 | #Constraints: 23835
747.02/749.67 c #Conflicts: 571000 | #Constraints: 24835
747.02/749.67 c #Conflicts: 572000 | #Constraints: 25835
747.02/749.67 c #Conflicts: 573000 | #Constraints: 26835
747.02/749.67 c #Conflicts: 574000 | #Constraints: 27835
747.02/749.67 c #Conflicts: 575000 | #Constraints: 28835
747.02/749.67 c #Conflicts: 576000 | #Constraints: 29835
747.02/749.67 c INPROCESSING
747.02/749.67 c GARBAGE COLLECT
747.02/749.67 c #Conflicts: 577000 | #Constraints: 15834
747.02/749.67 c #Conflicts: 578000 | #Constraints: 16834
747.02/749.67 c #Conflicts: 579000 | #Constraints: 17834
747.02/749.67 c #Conflicts: 580000 | #Constraints: 18834
747.02/749.67 c #Conflicts: 581000 | #Constraints: 19834
747.02/749.67 c #Conflicts: 582000 | #Constraints: 20834
747.02/749.67 c #Conflicts: 583000 | #Constraints: 21834
747.02/749.67 c #Conflicts: 584000 | #Constraints: 22834
747.02/749.67 c #Conflicts: 585000 | #Constraints: 23834
747.02/749.67 c #Conflicts: 586000 | #Constraints: 24834
747.02/749.67 c #Conflicts: 587000 | #Constraints: 25834
747.02/749.67 c #Conflicts: 588000 | #Constraints: 26834
747.02/749.67 c #Conflicts: 589000 | #Constraints: 27834
747.02/749.67 c #Conflicts: 590000 | #Constraints: 28834
747.02/749.67 c #Conflicts: 591000 | #Constraints: 29834
747.02/749.67 c INPROCESSING
747.02/749.67 c GARBAGE COLLECT
747.02/749.67 c #Conflicts: 592000 | #Constraints: 15635
747.02/749.67 c #Conflicts: 593000 | #Constraints: 16635
747.02/749.67 c #Conflicts: 594000 | #Constraints: 17635
747.02/749.67 c #Conflicts: 595000 | #Constraints: 18635
839.23/842.18 c #Conflicts: 596000 | #Constraints: 19635
839.23/842.18 c #Conflicts: 597000 | #Constraints: 20635
839.23/842.18 c #Conflicts: 598000 | #Constraints: 21635
839.23/842.18 c #Conflicts: 599000 | #Constraints: 22635
839.23/842.18 c #Conflicts: 600000 | #Constraints: 23635
839.23/842.18 c #Conflicts: 601000 | #Constraints: 24635
839.23/842.18 c #Conflicts: 602000 | #Constraints: 25635
839.23/842.18 c #Conflicts: 603000 | #Constraints: 26635
839.23/842.18 c #Conflicts: 604000 | #Constraints: 27635
839.23/842.18 c #Conflicts: 605000 | #Constraints: 28635
839.23/842.18 c #Conflicts: 606000 | #Constraints: 29635
839.23/842.18 c #Conflicts: 607000 | #Constraints: 30635
839.23/842.18 c INPROCESSING
839.23/842.18 c GARBAGE COLLECT
839.23/842.18 c #Conflicts: 608000 | #Constraints: 16237
839.23/842.18 c #Conflicts: 609000 | #Constraints: 17237
839.23/842.18 c #Conflicts: 610000 | #Constraints: 18237
839.23/842.18 c #Conflicts: 611000 | #Constraints: 19237
839.23/842.18 c #Conflicts: 612000 | #Constraints: 20237
839.23/842.18 c #Conflicts: 613000 | #Constraints: 21237
839.23/842.18 c #Conflicts: 614000 | #Constraints: 22237
839.23/842.18 c #Conflicts: 615000 | #Constraints: 23237
839.23/842.18 c #Conflicts: 616000 | #Constraints: 24237
839.23/842.18 c #Conflicts: 617000 | #Constraints: 25237
839.23/842.18 c #Conflicts: 618000 | #Constraints: 26237
839.23/842.18 c #Conflicts: 619000 | #Constraints: 27237
839.23/842.18 c #Conflicts: 620000 | #Constraints: 28237
839.23/842.18 c #Conflicts: 621000 | #Constraints: 29237
839.23/842.18 c #Conflicts: 622000 | #Constraints: 30237
839.23/842.18 c #Conflicts: 623000 | #Constraints: 31237
839.23/842.18 c INPROCESSING
839.23/842.18 c GARBAGE COLLECT
839.23/842.18 c #Conflicts: 624000 | #Constraints: 16636
839.23/842.18 c #Conflicts: 625000 | #Constraints: 17636
839.23/842.18 c #Conflicts: 626000 | #Constraints: 18636
839.23/842.18 c #Conflicts: 627000 | #Constraints: 19636
839.23/842.18 c #Conflicts: 628000 | #Constraints: 20636
839.23/842.18 c #Conflicts: 629000 | #Constraints: 21636
839.23/842.18 c #Conflicts: 630000 | #Constraints: 22636
839.23/842.18 c #Conflicts: 631000 | #Constraints: 23636
839.23/842.18 c #Conflicts: 632000 | #Constraints: 24636
839.23/842.18 c #Conflicts: 633000 | #Constraints: 25636
839.23/842.18 c #Conflicts: 634000 | #Constraints: 26636
839.23/842.18 c #Conflicts: 635000 | #Constraints: 27636
839.23/842.18 c #Conflicts: 636000 | #Constraints: 28636
839.23/842.18 c #Conflicts: 637000 | #Constraints: 29636
839.23/842.18 c #Conflicts: 638000 | #Constraints: 30636
839.23/842.18 c #Conflicts: 639000 | #Constraints: 31636
839.23/842.18 c INPROCESSING
839.23/842.18 c GARBAGE COLLECT
839.23/842.18 c #Conflicts: 640000 | #Constraints: 16832
839.23/842.18 c #Conflicts: 641000 | #Constraints: 17832
839.23/842.18 c #Conflicts: 642000 | #Constraints: 18832
839.23/842.18 c #Conflicts: 643000 | #Constraints: 19832
839.23/842.18 c #Conflicts: 644000 | #Constraints: 20832
839.23/842.18 c #Conflicts: 645000 | #Constraints: 21832
839.23/842.18 c #Conflicts: 646000 | #Constraints: 22832
839.23/842.18 c #Conflicts: 647000 | #Constraints: 23832
839.23/842.18 c #Conflicts: 648000 | #Constraints: 24832
839.23/842.18 c #Conflicts: 649000 | #Constraints: 25832
839.23/842.18 c #Conflicts: 650000 | #Constraints: 26832
839.23/842.18 c #Conflicts: 651000 | #Constraints: 27832
839.23/842.18 c #Conflicts: 652000 | #Constraints: 28832
839.23/842.18 c #Conflicts: 653000 | #Constraints: 29832
839.23/842.18 c #Conflicts: 654000 | #Constraints: 30832
839.23/842.18 c #Conflicts: 655000 | #Constraints: 31832
839.23/842.18 c INPROCESSING
839.23/842.18 c GARBAGE COLLECT
839.23/842.18 c #Conflicts: 656000 | #Constraints: 16837
839.23/842.18 c #Conflicts: 657000 | #Constraints: 17837
839.23/842.18 c #Conflicts: 658000 | #Constraints: 18837
839.23/842.18 c #Conflicts: 659000 | #Constraints: 19837
839.23/842.18 c #Conflicts: 660000 | #Constraints: 20837
839.23/842.18 c #Conflicts: 661000 | #Constraints: 21837
839.23/842.18 c #Conflicts: 662000 | #Constraints: 22837
839.23/842.18 c #Conflicts: 663000 | #Constraints: 23837
839.23/842.18 c #Conflicts: 664000 | #Constraints: 24837
839.23/842.18 c #Conflicts: 665000 | #Constraints: 25837
839.23/842.18 c #Conflicts: 666000 | #Constraints: 26837
839.23/842.18 c #Conflicts: 667000 | #Constraints: 27837
839.23/842.18 c #Conflicts: 668000 | #Constraints: 28837
839.23/842.18 c #Conflicts: 669000 | #Constraints: 29837
839.23/842.18 c #Conflicts: 670000 | #Constraints: 30837
839.23/842.18 c #Conflicts: 671000 | #Constraints: 31837
944.11/947.32 c INPROCESSING
944.11/947.32 c GARBAGE COLLECT
944.11/947.32 c #Conflicts: 672000 | #Constraints: 16632
944.11/947.32 c #Conflicts: 673000 | #Constraints: 17632
944.11/947.32 c #Conflicts: 674000 | #Constraints: 18632
944.11/947.32 c #Conflicts: 675000 | #Constraints: 19632
944.11/947.32 c #Conflicts: 676000 | #Constraints: 20632
944.11/947.32 c #Conflicts: 677000 | #Constraints: 21632
944.11/947.32 c #Conflicts: 678000 | #Constraints: 22632
944.11/947.32 c #Conflicts: 679000 | #Constraints: 23632
944.11/947.32 c #Conflicts: 680000 | #Constraints: 24632
944.11/947.32 c #Conflicts: 681000 | #Constraints: 25632
944.11/947.32 c #Conflicts: 682000 | #Constraints: 26632
944.11/947.32 c #Conflicts: 683000 | #Constraints: 27632
944.11/947.32 c #Conflicts: 684000 | #Constraints: 28632
944.11/947.32 c #Conflicts: 685000 | #Constraints: 29632
944.11/947.32 c #Conflicts: 686000 | #Constraints: 30632
944.11/947.32 c #Conflicts: 687000 | #Constraints: 31632
944.11/947.32 c #Conflicts: 688000 | #Constraints: 32632
944.11/947.32 c INPROCESSING
944.11/947.32 c GARBAGE COLLECT
944.11/947.32 c #Conflicts: 689000 | #Constraints: 17233
944.11/947.32 c #Conflicts: 690000 | #Constraints: 18233
944.11/947.32 c #Conflicts: 691000 | #Constraints: 19233
944.11/947.32 c #Conflicts: 692000 | #Constraints: 20233
944.11/947.32 c #Conflicts: 693000 | #Constraints: 21233
944.11/947.32 c #Conflicts: 694000 | #Constraints: 22233
944.11/947.32 c #Conflicts: 695000 | #Constraints: 23233
944.11/947.32 c #Conflicts: 696000 | #Constraints: 24233
944.11/947.32 c #Conflicts: 697000 | #Constraints: 25233
944.11/947.32 c #Conflicts: 698000 | #Constraints: 26233
944.11/947.32 c #Conflicts: 699000 | #Constraints: 27233
944.11/947.32 c #Conflicts: 700000 | #Constraints: 28233
944.11/947.32 c #Conflicts: 701000 | #Constraints: 29233
944.11/947.32 c #Conflicts: 702000 | #Constraints: 30233
944.11/947.32 c #Conflicts: 703000 | #Constraints: 31233
944.11/947.32 c #Conflicts: 704000 | #Constraints: 32233
944.11/947.32 c #Conflicts: 705000 | #Constraints: 33233
944.11/947.32 c INPROCESSING
944.11/947.32 c GARBAGE COLLECT
944.11/947.32 c #Conflicts: 706000 | #Constraints: 17633
944.11/947.32 c #Conflicts: 707000 | #Constraints: 18633
944.11/947.32 c #Conflicts: 708000 | #Constraints: 19633
944.11/947.32 c #Conflicts: 709000 | #Constraints: 20633
944.11/947.32 c #Conflicts: 710000 | #Constraints: 21633
944.11/947.32 c #Conflicts: 711000 | #Constraints: 22633
944.11/947.32 c #Conflicts: 712000 | #Constraints: 23633
944.11/947.32 c #Conflicts: 713000 | #Constraints: 24633
944.11/947.32 c #Conflicts: 714000 | #Constraints: 25633
944.11/947.32 c #Conflicts: 715000 | #Constraints: 26633
944.11/947.32 c #Conflicts: 716000 | #Constraints: 27633
944.11/947.32 c #Conflicts: 717000 | #Constraints: 28633
944.11/947.32 c #Conflicts: 718000 | #Constraints: 29633
944.11/947.32 c #Conflicts: 719000 | #Constraints: 30633
944.11/947.32 c #Conflicts: 720000 | #Constraints: 31633
944.11/947.32 c #Conflicts: 721000 | #Constraints: 32633
944.11/947.32 c #Conflicts: 722000 | #Constraints: 33633
944.11/947.32 c INPROCESSING
944.11/947.32 c GARBAGE COLLECT
944.11/947.32 c #Conflicts: 723000 | #Constraints: 17841
944.11/947.32 c #Conflicts: 724000 | #Constraints: 18841
944.11/947.32 c #Conflicts: 725000 | #Constraints: 19841
944.11/947.32 c #Conflicts: 726000 | #Constraints: 20841
944.11/947.32 c #Conflicts: 727000 | #Constraints: 21841
944.11/947.32 c #Conflicts: 728000 | #Constraints: 22841
944.11/947.32 c #Conflicts: 729000 | #Constraints: 23841
944.11/947.32 c #Conflicts: 730000 | #Constraints: 24841
944.11/947.32 c #Conflicts: 731000 | #Constraints: 25841
944.11/947.32 c #Conflicts: 732000 | #Constraints: 26841
944.11/947.32 c #Conflicts: 733000 | #Constraints: 27841
944.11/947.32 c #Conflicts: 734000 | #Constraints: 28841
944.11/947.32 c #Conflicts: 735000 | #Constraints: 29841
944.11/947.32 c #Conflicts: 736000 | #Constraints: 30841
944.11/947.32 c #Conflicts: 737000 | #Constraints: 31841
944.11/947.32 c #Conflicts: 738000 | #Constraints: 32841
944.11/947.32 c #Conflicts: 739000 | #Constraints: 33841
944.11/947.32 c INPROCESSING
944.11/947.32 c GARBAGE COLLECT
944.11/947.32 c #Conflicts: 740000 | #Constraints: 17840
944.11/947.32 c #Conflicts: 741000 | #Constraints: 18840
944.11/947.32 c #Conflicts: 742000 | #Constraints: 19840
944.11/947.32 c #Conflicts: 743000 | #Constraints: 20840
944.11/947.32 c #Conflicts: 744000 | #Constraints: 21840
944.11/947.32 c #Conflicts: 745000 | #Constraints: 22840
944.11/947.32 c #Conflicts: 746000 | #Constraints: 23840
944.11/947.32 c #Conflicts: 747000 | #Constraints: 24840
1045.40/1048.98 c #Conflicts: 748000 | #Constraints: 25840
1045.40/1048.98 c #Conflicts: 749000 | #Constraints: 26840
1045.40/1048.98 c #Conflicts: 750000 | #Constraints: 27840
1045.40/1048.98 c #Conflicts: 751000 | #Constraints: 28840
1045.40/1048.98 c #Conflicts: 752000 | #Constraints: 29840
1045.40/1048.98 c #Conflicts: 753000 | #Constraints: 30840
1045.40/1048.98 c #Conflicts: 754000 | #Constraints: 31840
1045.40/1048.98 c #Conflicts: 755000 | #Constraints: 32840
1045.40/1048.98 c #Conflicts: 756000 | #Constraints: 33840
1045.40/1048.98 c INPROCESSING
1045.40/1048.98 c GARBAGE COLLECT
1045.40/1048.98 c #Conflicts: 757000 | #Constraints: 17639
1045.40/1048.98 c #Conflicts: 758000 | #Constraints: 18639
1045.40/1048.98 c #Conflicts: 759000 | #Constraints: 19639
1045.40/1048.98 c #Conflicts: 760000 | #Constraints: 20639
1045.40/1048.98 c #Conflicts: 761000 | #Constraints: 21639
1045.40/1048.98 c #Conflicts: 762000 | #Constraints: 22639
1045.40/1048.98 c #Conflicts: 763000 | #Constraints: 23639
1045.40/1048.98 c #Conflicts: 764000 | #Constraints: 24639
1045.40/1048.98 c #Conflicts: 765000 | #Constraints: 25639
1045.40/1048.98 c #Conflicts: 766000 | #Constraints: 26639
1045.40/1048.98 c #Conflicts: 767000 | #Constraints: 27639
1045.40/1048.98 c #Conflicts: 768000 | #Constraints: 28639
1045.40/1048.98 c #Conflicts: 769000 | #Constraints: 29639
1045.40/1048.98 c #Conflicts: 770000 | #Constraints: 30639
1045.40/1048.98 c #Conflicts: 771000 | #Constraints: 31639
1045.40/1048.98 c #Conflicts: 772000 | #Constraints: 32639
1045.40/1048.98 c #Conflicts: 773000 | #Constraints: 33639
1045.40/1048.98 c #Conflicts: 774000 | #Constraints: 34639
1045.40/1048.98 c INPROCESSING
1045.40/1048.98 c GARBAGE COLLECT
1045.40/1048.98 c #Conflicts: 775000 | #Constraints: 18234
1045.40/1048.98 c #Conflicts: 776000 | #Constraints: 19234
1045.40/1048.98 c #Conflicts: 777000 | #Constraints: 20234
1045.40/1048.98 c #Conflicts: 778000 | #Constraints: 21234
1045.40/1048.98 c #Conflicts: 779000 | #Constraints: 22234
1045.40/1048.98 c #Conflicts: 780000 | #Constraints: 23234
1045.40/1048.98 c #Conflicts: 781000 | #Constraints: 24234
1045.40/1048.98 c #Conflicts: 782000 | #Constraints: 25234
1045.40/1048.98 c #Conflicts: 783000 | #Constraints: 26234
1045.40/1048.98 c #Conflicts: 784000 | #Constraints: 27234
1045.40/1048.98 c #Conflicts: 785000 | #Constraints: 28234
1045.40/1048.98 c #Conflicts: 786000 | #Constraints: 29234
1045.40/1048.98 c #Conflicts: 787000 | #Constraints: 30234
1045.40/1048.98 c #Conflicts: 788000 | #Constraints: 31234
1045.40/1048.98 c #Conflicts: 789000 | #Constraints: 32234
1045.40/1048.98 c #Conflicts: 790000 | #Constraints: 33234
1045.40/1048.98 c #Conflicts: 791000 | #Constraints: 34234
1045.40/1048.98 c #Conflicts: 792000 | #Constraints: 35234
1045.40/1048.98 c INPROCESSING
1045.40/1048.98 c GARBAGE COLLECT
1045.40/1048.98 c #Conflicts: 793000 | #Constraints: 18635
1045.40/1048.98 c #Conflicts: 794000 | #Constraints: 19635
1045.40/1048.98 c #Conflicts: 795000 | #Constraints: 20635
1045.40/1048.98 c #Conflicts: 796000 | #Constraints: 21635
1045.40/1048.98 c #Conflicts: 797000 | #Constraints: 22635
1045.40/1048.98 c #Conflicts: 798000 | #Constraints: 23635
1045.40/1048.98 c #Conflicts: 799000 | #Constraints: 24635
1045.40/1048.98 c #Conflicts: 800000 | #Constraints: 25635
1045.40/1048.98 c #Conflicts: 801000 | #Constraints: 26635
1045.40/1048.98 c #Conflicts: 802000 | #Constraints: 27635
1045.40/1048.98 c #Conflicts: 803000 | #Constraints: 28635
1045.40/1048.98 c #Conflicts: 804000 | #Constraints: 29635
1045.40/1048.98 c #Conflicts: 805000 | #Constraints: 30635
1045.40/1048.98 c #Conflicts: 806000 | #Constraints: 31635
1045.40/1048.98 c #Conflicts: 807000 | #Constraints: 32635
1045.40/1048.98 c #Conflicts: 808000 | #Constraints: 33635
1045.40/1048.98 c #Conflicts: 809000 | #Constraints: 34635
1045.40/1048.98 c #Conflicts: 810000 | #Constraints: 35635
1045.40/1048.98 c INPROCESSING
1045.40/1048.98 c GARBAGE COLLECT
1045.40/1048.98 c #Conflicts: 811000 | #Constraints: 18836
1045.40/1048.98 c #Conflicts: 812000 | #Constraints: 19836
1045.40/1048.98 c #Conflicts: 813000 | #Constraints: 20836
1045.40/1048.98 c #Conflicts: 814000 | #Constraints: 21836
1045.40/1048.98 c #Conflicts: 815000 | #Constraints: 22836
1045.40/1048.98 c #Conflicts: 816000 | #Constraints: 23836
1045.40/1048.98 c #Conflicts: 817000 | #Constraints: 24836
1045.40/1048.98 c #Conflicts: 818000 | #Constraints: 25836
1045.40/1048.98 c #Conflicts: 819000 | #Constraints: 26836
1045.40/1048.98 c #Conflicts: 820000 | #Constraints: 27836
1045.40/1048.98 c #Conflicts: 821000 | #Constraints: 28836
1045.40/1048.98 c #Conflicts: 822000 | #Constraints: 29836
1045.40/1048.98 c #Conflicts: 823000 | #Constraints: 30836
1157.05/1160.92 c #Conflicts: 824000 | #Constraints: 31836
1157.05/1160.92 c #Conflicts: 825000 | #Constraints: 32836
1157.05/1160.92 c #Conflicts: 826000 | #Constraints: 33836
1157.05/1160.92 c #Conflicts: 827000 | #Constraints: 34836
1157.05/1160.92 c #Conflicts: 828000 | #Constraints: 35836
1157.05/1160.92 c INPROCESSING
1157.05/1160.92 c GARBAGE COLLECT
1157.05/1160.92 c #Conflicts: 829000 | #Constraints: 18840
1157.05/1160.92 c #Conflicts: 830000 | #Constraints: 19840
1157.05/1160.92 c #Conflicts: 831000 | #Constraints: 20840
1157.05/1160.92 c #Conflicts: 832000 | #Constraints: 21840
1157.05/1160.92 c #Conflicts: 833000 | #Constraints: 22840
1157.05/1160.92 c #Conflicts: 834000 | #Constraints: 23840
1157.05/1160.92 c #Conflicts: 835000 | #Constraints: 24840
1157.05/1160.92 c #Conflicts: 836000 | #Constraints: 25840
1157.05/1160.92 c #Conflicts: 837000 | #Constraints: 26840
1157.05/1160.92 c #Conflicts: 838000 | #Constraints: 27840
1157.05/1160.92 c #Conflicts: 839000 | #Constraints: 28840
1157.05/1160.92 c #Conflicts: 840000 | #Constraints: 29840
1157.05/1160.92 c #Conflicts: 841000 | #Constraints: 30840
1157.05/1160.92 c #Conflicts: 842000 | #Constraints: 31840
1157.05/1160.92 c #Conflicts: 843000 | #Constraints: 32840
1157.05/1160.92 c #Conflicts: 844000 | #Constraints: 33840
1157.05/1160.92 c #Conflicts: 845000 | #Constraints: 34840
1157.05/1160.92 c #Conflicts: 846000 | #Constraints: 35840
1157.05/1160.92 c INPROCESSING
1157.05/1160.92 c GARBAGE COLLECT
1157.05/1160.92 c #Conflicts: 847000 | #Constraints: 18639
1157.05/1160.92 c #Conflicts: 848000 | #Constraints: 19639
1157.05/1160.92 c #Conflicts: 849000 | #Constraints: 20639
1157.05/1160.92 c #Conflicts: 850000 | #Constraints: 21639
1157.05/1160.92 c #Conflicts: 851000 | #Constraints: 22639
1157.05/1160.92 c #Conflicts: 852000 | #Constraints: 23639
1157.05/1160.92 c #Conflicts: 853000 | #Constraints: 24639
1157.05/1160.92 c #Conflicts: 854000 | #Constraints: 25639
1157.05/1160.92 c #Conflicts: 855000 | #Constraints: 26639
1157.05/1160.92 c #Conflicts: 856000 | #Constraints: 27639
1157.05/1160.92 c #Conflicts: 857000 | #Constraints: 28639
1157.05/1160.92 c #Conflicts: 858000 | #Constraints: 29639
1157.05/1160.92 c #Conflicts: 859000 | #Constraints: 30639
1157.05/1160.92 c #Conflicts: 860000 | #Constraints: 31639
1157.05/1160.92 c #Conflicts: 861000 | #Constraints: 32639
1157.05/1160.92 c #Conflicts: 862000 | #Constraints: 33639
1157.05/1160.92 c #Conflicts: 863000 | #Constraints: 34639
1157.05/1160.92 c #Conflicts: 864000 | #Constraints: 35639
1157.05/1160.92 c #Conflicts: 865000 | #Constraints: 36639
1157.05/1160.92 c INPROCESSING
1157.05/1160.92 c GARBAGE COLLECT
1157.05/1160.92 c #Conflicts: 866000 | #Constraints: 19236
1157.05/1160.92 c #Conflicts: 867000 | #Constraints: 20236
1157.05/1160.92 c #Conflicts: 868000 | #Constraints: 21236
1157.05/1160.92 c #Conflicts: 869000 | #Constraints: 22236
1157.05/1160.92 c #Conflicts: 870000 | #Constraints: 23236
1157.05/1160.92 c #Conflicts: 871000 | #Constraints: 24236
1157.05/1160.92 c #Conflicts: 872000 | #Constraints: 25236
1157.05/1160.92 c #Conflicts: 873000 | #Constraints: 26236
1157.05/1160.92 c #Conflicts: 874000 | #Constraints: 27236
1157.05/1160.92 c #Conflicts: 875000 | #Constraints: 28236
1157.05/1160.92 c #Conflicts: 876000 | #Constraints: 29236
1157.05/1160.92 c #Conflicts: 877000 | #Constraints: 30236
1157.05/1160.92 c #Conflicts: 878000 | #Constraints: 31236
1157.05/1160.92 c #Conflicts: 879000 | #Constraints: 32236
1157.05/1160.92 c #Conflicts: 880000 | #Constraints: 33236
1157.05/1160.92 c #Conflicts: 881000 | #Constraints: 34236
1157.05/1160.92 c #Conflicts: 882000 | #Constraints: 35236
1157.05/1160.92 c #Conflicts: 883000 | #Constraints: 36236
1157.05/1160.92 c #Conflicts: 884000 | #Constraints: 37236
1157.05/1160.92 c INPROCESSING
1157.05/1160.92 c GARBAGE COLLECT
1157.05/1160.92 c #Conflicts: 885000 | #Constraints: 19633
1157.05/1160.92 c #Conflicts: 886000 | #Constraints: 20633
1157.05/1160.92 c #Conflicts: 887000 | #Constraints: 21633
1157.05/1160.92 c #Conflicts: 888000 | #Constraints: 22633
1157.05/1160.92 c #Conflicts: 889000 | #Constraints: 23633
1157.05/1160.92 c #Conflicts: 890000 | #Constraints: 24633
1157.05/1160.92 c #Conflicts: 891000 | #Constraints: 25633
1157.05/1160.92 c #Conflicts: 892000 | #Constraints: 26633
1157.05/1160.92 c #Conflicts: 893000 | #Constraints: 27633
1157.05/1160.92 c #Conflicts: 894000 | #Constraints: 28633
1157.05/1160.92 c #Conflicts: 895000 | #Constraints: 29633
1157.05/1160.92 c #Conflicts: 896000 | #Constraints: 30633
1157.05/1160.92 c #Conflicts: 897000 | #Constraints: 31633
1157.05/1160.92 c #Conflicts: 898000 | #Constraints: 32633
1157.05/1160.92 c #Conflicts: 899000 | #Constraints: 33633
1287.80/1292.03 c #Conflicts: 900000 | #Constraints: 34633
1287.80/1292.03 c #Conflicts: 901000 | #Constraints: 35633
1287.80/1292.03 c #Conflicts: 902000 | #Constraints: 36633
1287.80/1292.03 c #Conflicts: 903000 | #Constraints: 37633
1287.80/1292.03 c INPROCESSING
1287.80/1292.03 c GARBAGE COLLECT
1287.80/1292.03 c #Conflicts: 904000 | #Constraints: 19837
1287.80/1292.03 c #Conflicts: 905000 | #Constraints: 20837
1287.80/1292.03 c #Conflicts: 906000 | #Constraints: 21837
1287.80/1292.03 c #Conflicts: 907000 | #Constraints: 22837
1287.80/1292.03 c #Conflicts: 908000 | #Constraints: 23837
1287.80/1292.03 c #Conflicts: 909000 | #Constraints: 24837
1287.80/1292.03 c #Conflicts: 910000 | #Constraints: 25837
1287.80/1292.03 c #Conflicts: 911000 | #Constraints: 26837
1287.80/1292.03 c #Conflicts: 912000 | #Constraints: 27837
1287.80/1292.03 c #Conflicts: 913000 | #Constraints: 28837
1287.80/1292.03 c #Conflicts: 914000 | #Constraints: 29837
1287.80/1292.03 c #Conflicts: 915000 | #Constraints: 30837
1287.80/1292.03 c #Conflicts: 916000 | #Constraints: 31837
1287.80/1292.03 c #Conflicts: 917000 | #Constraints: 32837
1287.80/1292.03 c #Conflicts: 918000 | #Constraints: 33837
1287.80/1292.03 c #Conflicts: 919000 | #Constraints: 34837
1287.80/1292.03 c #Conflicts: 920000 | #Constraints: 35837
1287.80/1292.03 c #Conflicts: 921000 | #Constraints: 36837
1287.80/1292.03 c #Conflicts: 922000 | #Constraints: 37837
1287.80/1292.03 c INPROCESSING
1287.80/1292.03 c GARBAGE COLLECT
1287.80/1292.03 c #Conflicts: 923000 | #Constraints: 19834
1287.80/1292.03 c #Conflicts: 924000 | #Constraints: 20834
1287.80/1292.03 c #Conflicts: 925000 | #Constraints: 21834
1287.80/1292.03 c #Conflicts: 926000 | #Constraints: 22834
1287.80/1292.03 c #Conflicts: 927000 | #Constraints: 23834
1287.80/1292.03 c #Conflicts: 928000 | #Constraints: 24834
1287.80/1292.03 c #Conflicts: 929000 | #Constraints: 25834
1287.80/1292.03 c #Conflicts: 930000 | #Constraints: 26834
1287.80/1292.03 c #Conflicts: 931000 | #Constraints: 27834
1287.80/1292.03 c #Conflicts: 932000 | #Constraints: 28834
1287.80/1292.03 c #Conflicts: 933000 | #Constraints: 29834
1287.80/1292.03 c #Conflicts: 934000 | #Constraints: 30834
1287.80/1292.03 c #Conflicts: 935000 | #Constraints: 31834
1287.80/1292.03 c #Conflicts: 936000 | #Constraints: 32834
1287.80/1292.03 c #Conflicts: 937000 | #Constraints: 33834
1287.80/1292.03 c #Conflicts: 938000 | #Constraints: 34834
1287.80/1292.03 c #Conflicts: 939000 | #Constraints: 35834
1287.80/1292.03 c #Conflicts: 940000 | #Constraints: 36834
1287.80/1292.03 c #Conflicts: 941000 | #Constraints: 37834
1287.80/1292.03 c INPROCESSING
1287.80/1292.03 c GARBAGE COLLECT
1287.80/1292.03 c #Conflicts: 942000 | #Constraints: 19641
1287.80/1292.03 c #Conflicts: 943000 | #Constraints: 20641
1287.80/1292.03 c #Conflicts: 944000 | #Constraints: 21641
1287.80/1292.03 c #Conflicts: 945000 | #Constraints: 22641
1287.80/1292.03 c #Conflicts: 946000 | #Constraints: 23641
1287.80/1292.03 c #Conflicts: 947000 | #Constraints: 24641
1287.80/1292.03 c #Conflicts: 948000 | #Constraints: 25641
1287.80/1292.03 c #Conflicts: 949000 | #Constraints: 26641
1287.80/1292.03 c #Conflicts: 950000 | #Constraints: 27641
1287.80/1292.03 c #Conflicts: 951000 | #Constraints: 28641
1287.80/1292.03 c #Conflicts: 952000 | #Constraints: 29641
1287.80/1292.03 c #Conflicts: 953000 | #Constraints: 30641
1287.80/1292.03 c #Conflicts: 954000 | #Constraints: 31641
1287.80/1292.03 c #Conflicts: 955000 | #Constraints: 32641
1287.80/1292.03 c #Conflicts: 956000 | #Constraints: 33641
1287.80/1292.03 c #Conflicts: 957000 | #Constraints: 34641
1287.80/1292.03 c #Conflicts: 958000 | #Constraints: 35641
1287.80/1292.03 c #Conflicts: 959000 | #Constraints: 36641
1287.80/1292.03 c #Conflicts: 960000 | #Constraints: 37641
1287.80/1292.03 c #Conflicts: 961000 | #Constraints: 38641
1287.80/1292.03 c INPROCESSING
1287.80/1292.03 c GARBAGE COLLECT
1287.80/1292.03 c #Conflicts: 962000 | #Constraints: 20242
1287.80/1292.03 c #Conflicts: 963000 | #Constraints: 21242
1287.80/1292.03 c #Conflicts: 964000 | #Constraints: 22242
1287.80/1292.03 c #Conflicts: 965000 | #Constraints: 23242
1287.80/1292.03 c #Conflicts: 966000 | #Constraints: 24242
1287.80/1292.03 c #Conflicts: 967000 | #Constraints: 25242
1287.80/1292.03 c #Conflicts: 968000 | #Constraints: 26242
1287.80/1292.03 c #Conflicts: 969000 | #Constraints: 27242
1287.80/1292.03 c #Conflicts: 970000 | #Constraints: 28242
1287.80/1292.03 c #Conflicts: 971000 | #Constraints: 29242
1287.80/1292.03 c #Conflicts: 972000 | #Constraints: 30242
1287.80/1292.03 c #Conflicts: 973000 | #Constraints: 31242
1287.80/1292.03 c #Conflicts: 974000 | #Constraints: 32242
1287.80/1292.03 c #Conflicts: 975000 | #Constraints: 33242
1422.41/1427.00 c #Conflicts: 976000 | #Constraints: 34242
1422.41/1427.00 c #Conflicts: 977000 | #Constraints: 35242
1422.41/1427.00 c #Conflicts: 978000 | #Constraints: 36242
1422.41/1427.00 c #Conflicts: 979000 | #Constraints: 37242
1422.41/1427.00 c #Conflicts: 980000 | #Constraints: 38242
1422.41/1427.00 c #Conflicts: 981000 | #Constraints: 39242
1422.41/1427.00 c INPROCESSING
1422.41/1427.00 c GARBAGE COLLECT
1422.41/1427.00 c #Conflicts: 982000 | #Constraints: 20642
1422.41/1427.00 c #Conflicts: 983000 | #Constraints: 21642
1422.41/1427.00 c #Conflicts: 984000 | #Constraints: 22642
1422.41/1427.00 c #Conflicts: 985000 | #Constraints: 23642
1422.41/1427.00 c #Conflicts: 986000 | #Constraints: 24642
1422.41/1427.00 c #Conflicts: 987000 | #Constraints: 25642
1422.41/1427.00 c #Conflicts: 988000 | #Constraints: 26642
1422.41/1427.00 c #Conflicts: 989000 | #Constraints: 27642
1422.41/1427.00 c #Conflicts: 990000 | #Constraints: 28642
1422.41/1427.00 c #Conflicts: 991000 | #Constraints: 29642
1422.41/1427.00 c #Conflicts: 992000 | #Constraints: 30642
1422.41/1427.00 c #Conflicts: 993000 | #Constraints: 31642
1422.41/1427.00 c #Conflicts: 994000 | #Constraints: 32642
1422.41/1427.00 c #Conflicts: 995000 | #Constraints: 33642
1422.41/1427.00 c #Conflicts: 996000 | #Constraints: 34642
1422.41/1427.00 c #Conflicts: 997000 | #Constraints: 35642
1422.41/1427.00 c #Conflicts: 998000 | #Constraints: 36642
1422.41/1427.00 c #Conflicts: 999000 | #Constraints: 37642
1422.41/1427.00 c #Conflicts: 1000000 | #Constraints: 38642
1422.41/1427.00 c #Conflicts: 1001000 | #Constraints: 39642
1422.41/1427.00 c INPROCESSING
1422.41/1427.00 c GARBAGE COLLECT
1422.41/1427.00 c #Conflicts: 1002000 | #Constraints: 20841
1422.41/1427.00 c #Conflicts: 1003000 | #Constraints: 21841
1422.41/1427.00 c #Conflicts: 1004000 | #Constraints: 22841
1422.41/1427.00 c #Conflicts: 1005000 | #Constraints: 23841
1422.41/1427.00 c #Conflicts: 1006000 | #Constraints: 24841
1422.41/1427.00 c #Conflicts: 1007000 | #Constraints: 25841
1422.41/1427.00 c #Conflicts: 1008000 | #Constraints: 26841
1422.41/1427.00 c #Conflicts: 1009000 | #Constraints: 27841
1422.41/1427.00 c #Conflicts: 1010000 | #Constraints: 28841
1422.41/1427.00 c #Conflicts: 1011000 | #Constraints: 29841
1422.41/1427.00 c #Conflicts: 1012000 | #Constraints: 30841
1422.41/1427.00 c #Conflicts: 1013000 | #Constraints: 31841
1422.41/1427.00 c #Conflicts: 1014000 | #Constraints: 32841
1422.41/1427.00 c #Conflicts: 1015000 | #Constraints: 33841
1422.41/1427.00 c #Conflicts: 1016000 | #Constraints: 34841
1422.41/1427.00 c #Conflicts: 1017000 | #Constraints: 35841
1422.41/1427.00 c #Conflicts: 1018000 | #Constraints: 36841
1422.41/1427.00 c #Conflicts: 1019000 | #Constraints: 37841
1422.41/1427.00 c #Conflicts: 1020000 | #Constraints: 38841
1422.41/1427.00 c #Conflicts: 1021000 | #Constraints: 39841
1422.41/1427.00 c INPROCESSING
1422.41/1427.00 c GARBAGE COLLECT
1422.41/1427.00 c #Conflicts: 1022000 | #Constraints: 20843
1422.41/1427.00 c #Conflicts: 1023000 | #Constraints: 21843
1422.41/1427.00 c #Conflicts: 1024000 | #Constraints: 22843
1422.41/1427.00 c #Conflicts: 1025000 | #Constraints: 23843
1422.41/1427.00 c #Conflicts: 1026000 | #Constraints: 24843
1422.41/1427.00 c #Conflicts: 1027000 | #Constraints: 25843
1422.41/1427.00 c #Conflicts: 1028000 | #Constraints: 26843
1422.41/1427.00 c #Conflicts: 1029000 | #Constraints: 27843
1422.41/1427.00 c #Conflicts: 1030000 | #Constraints: 28843
1422.41/1427.00 c #Conflicts: 1031000 | #Constraints: 29843
1422.41/1427.00 c #Conflicts: 1032000 | #Constraints: 30843
1422.41/1427.00 c #Conflicts: 1033000 | #Constraints: 31843
1422.41/1427.00 c #Conflicts: 1034000 | #Constraints: 32843
1422.41/1427.00 c #Conflicts: 1035000 | #Constraints: 33843
1422.41/1427.00 c #Conflicts: 1036000 | #Constraints: 34843
1422.41/1427.00 c #Conflicts: 1037000 | #Constraints: 35843
1422.41/1427.00 c #Conflicts: 1038000 | #Constraints: 36843
1422.41/1427.00 c #Conflicts: 1039000 | #Constraints: 37843
1422.41/1427.00 c #Conflicts: 1040000 | #Constraints: 38843
1422.41/1427.00 c #Conflicts: 1041000 | #Constraints: 39843
1422.41/1427.00 c INPROCESSING
1422.41/1427.00 c GARBAGE COLLECT
1422.41/1427.00 c #Conflicts: 1042000 | #Constraints: 20643
1422.41/1427.00 c #Conflicts: 1043000 | #Constraints: 21643
1422.41/1427.00 c #Conflicts: 1044000 | #Constraints: 22643
1422.41/1427.00 c #Conflicts: 1045000 | #Constraints: 23643
1422.41/1427.00 c #Conflicts: 1046000 | #Constraints: 24643
1422.41/1427.00 c #Conflicts: 1047000 | #Constraints: 25643
1422.41/1427.00 c #Conflicts: 1048000 | #Constraints: 26643
1422.41/1427.00 c #Conflicts: 1049000 | #Constraints: 27643
1422.41/1427.00 c #Conflicts: 1050000 | #Constraints: 28643
1422.41/1427.00 c #Conflicts: 1051000 | #Constraints: 29643
1422.41/1427.00 c #Conflicts: 1052000 | #Constraints: 30643
1595.31/1600.41 c #Conflicts: 1053000 | #Constraints: 31643
1595.31/1600.41 c #Conflicts: 1054000 | #Constraints: 32643
1595.31/1600.41 c #Conflicts: 1055000 | #Constraints: 33643
1595.31/1600.41 c #Conflicts: 1056000 | #Constraints: 34643
1595.31/1600.41 c #Conflicts: 1057000 | #Constraints: 35643
1595.31/1600.41 c #Conflicts: 1058000 | #Constraints: 36643
1595.31/1600.41 c #Conflicts: 1059000 | #Constraints: 37643
1595.31/1600.41 c #Conflicts: 1060000 | #Constraints: 38643
1595.31/1600.41 c #Conflicts: 1061000 | #Constraints: 39643
1595.31/1600.41 c #Conflicts: 1062000 | #Constraints: 40643
1595.31/1600.41 c INPROCESSING
1595.31/1600.41 c GARBAGE COLLECT
1595.31/1600.41 c #Conflicts: 1063000 | #Constraints: 21244
1595.31/1600.41 c #Conflicts: 1064000 | #Constraints: 22244
1595.31/1600.41 c #Conflicts: 1065000 | #Constraints: 23244
1595.31/1600.41 c #Conflicts: 1066000 | #Constraints: 24244
1595.31/1600.41 c #Conflicts: 1067000 | #Constraints: 25244
1595.31/1600.41 c #Conflicts: 1068000 | #Constraints: 26244
1595.31/1600.41 c #Conflicts: 1069000 | #Constraints: 27244
1595.31/1600.41 c #Conflicts: 1070000 | #Constraints: 28244
1595.31/1600.41 c #Conflicts: 1071000 | #Constraints: 29244
1595.31/1600.41 c #Conflicts: 1072000 | #Constraints: 30244
1595.31/1600.41 c #Conflicts: 1073000 | #Constraints: 31244
1595.31/1600.41 c #Conflicts: 1074000 | #Constraints: 32244
1595.31/1600.41 c #Conflicts: 1075000 | #Constraints: 33244
1595.31/1600.41 c #Conflicts: 1076000 | #Constraints: 34244
1595.31/1600.41 c #Conflicts: 1077000 | #Constraints: 35244
1595.31/1600.41 c #Conflicts: 1078000 | #Constraints: 36244
1595.31/1600.41 c #Conflicts: 1079000 | #Constraints: 37244
1595.31/1600.41 c #Conflicts: 1080000 | #Constraints: 38244
1595.31/1600.41 c #Conflicts: 1081000 | #Constraints: 39244
1595.31/1600.41 c #Conflicts: 1082000 | #Constraints: 40244
1595.31/1600.41 c #Conflicts: 1083000 | #Constraints: 41244
1595.31/1600.41 c INPROCESSING
1595.31/1600.41 c GARBAGE COLLECT
1595.31/1600.41 c #Conflicts: 1084000 | #Constraints: 21646
1595.31/1600.41 c #Conflicts: 1085000 | #Constraints: 22646
1595.31/1600.41 c #Conflicts: 1086000 | #Constraints: 23646
1595.31/1600.41 c #Conflicts: 1087000 | #Constraints: 24646
1595.31/1600.41 c #Conflicts: 1088000 | #Constraints: 25646
1595.31/1600.41 c #Conflicts: 1089000 | #Constraints: 26646
1595.31/1600.41 c #Conflicts: 1090000 | #Constraints: 27646
1595.31/1600.41 c #Conflicts: 1091000 | #Constraints: 28646
1595.31/1600.41 c #Conflicts: 1092000 | #Constraints: 29646
1595.31/1600.41 c #Conflicts: 1093000 | #Constraints: 30646
1595.31/1600.41 c #Conflicts: 1094000 | #Constraints: 31646
1595.31/1600.41 c #Conflicts: 1095000 | #Constraints: 32646
1595.31/1600.41 c #Conflicts: 1096000 | #Constraints: 33646
1595.31/1600.41 c #Conflicts: 1097000 | #Constraints: 34646
1595.31/1600.41 c #Conflicts: 1098000 | #Constraints: 35646
1595.31/1600.41 c #Conflicts: 1099000 | #Constraints: 36646
1595.31/1600.41 c #Conflicts: 1100000 | #Constraints: 37646
1595.31/1600.41 c #Conflicts: 1101000 | #Constraints: 38646
1595.31/1600.41 c #Conflicts: 1102000 | #Constraints: 39646
1595.31/1600.41 c #Conflicts: 1103000 | #Constraints: 40646
1595.31/1600.41 c #Conflicts: 1104000 | #Constraints: 41646
1595.31/1600.41 c INPROCESSING
1595.31/1600.41 c GARBAGE COLLECT
1595.31/1600.41 c #Conflicts: 1105000 | #Constraints: 21848
1595.31/1600.41 c #Conflicts: 1106000 | #Constraints: 22848
1595.31/1600.41 c #Conflicts: 1107000 | #Constraints: 23848
1595.31/1600.41 c #Conflicts: 1108000 | #Constraints: 24848
1595.31/1600.41 c #Conflicts: 1109000 | #Constraints: 25848
1595.31/1600.41 c #Conflicts: 1110000 | #Constraints: 26848
1595.31/1600.41 c #Conflicts: 1111000 | #Constraints: 27848
1595.31/1600.41 c #Conflicts: 1112000 | #Constraints: 28848
1595.31/1600.41 c #Conflicts: 1113000 | #Constraints: 29848
1595.31/1600.41 c #Conflicts: 1114000 | #Constraints: 30848
1595.31/1600.41 c #Conflicts: 1115000 | #Constraints: 31848
1595.31/1600.41 c #Conflicts: 1116000 | #Constraints: 32848
1595.31/1600.41 c #Conflicts: 1117000 | #Constraints: 33848
1595.31/1600.41 c #Conflicts: 1118000 | #Constraints: 34848
1595.31/1600.41 c #Conflicts: 1119000 | #Constraints: 35848
1595.31/1600.41 c #Conflicts: 1120000 | #Constraints: 36848
1595.31/1600.41 c #Conflicts: 1121000 | #Constraints: 37848
1595.31/1600.41 c #Conflicts: 1122000 | #Constraints: 38848
1595.31/1600.41 c #Conflicts: 1123000 | #Constraints: 39848
1595.31/1600.41 c #Conflicts: 1124000 | #Constraints: 40848
1595.31/1600.41 c #Conflicts: 1125000 | #Constraints: 41848
1595.31/1600.41 c INPROCESSING
1595.31/1600.41 c GARBAGE COLLECT
1595.31/1600.41 c #Conflicts: 1126000 | #Constraints: 21842
1595.31/1600.41 c #Conflicts: 1127000 | #Constraints: 22842
1595.31/1600.41 c #Conflicts: 1128000 | #Constraints: 23842
1724.15/1729.67 c #Conflicts: 1129000 | #Constraints: 24842
1724.15/1729.67 c #Conflicts: 1130000 | #Constraints: 25842
1724.15/1729.67 c #Conflicts: 1131000 | #Constraints: 26842
1724.15/1729.67 c #Conflicts: 1132000 | #Constraints: 27842
1724.15/1729.67 c #Conflicts: 1133000 | #Constraints: 28842
1724.15/1729.67 c #Conflicts: 1134000 | #Constraints: 29842
1724.15/1729.67 c #Conflicts: 1135000 | #Constraints: 30842
1724.15/1729.67 c #Conflicts: 1136000 | #Constraints: 31842
1724.15/1729.67 c #Conflicts: 1137000 | #Constraints: 32842
1724.15/1729.67 c #Conflicts: 1138000 | #Constraints: 33842
1724.15/1729.67 c #Conflicts: 1139000 | #Constraints: 34842
1724.15/1729.67 c #Conflicts: 1140000 | #Constraints: 35842
1724.15/1729.67 c #Conflicts: 1141000 | #Constraints: 36842
1724.15/1729.67 c #Conflicts: 1142000 | #Constraints: 37842
1724.15/1729.67 c #Conflicts: 1143000 | #Constraints: 38842
1724.15/1729.67 c #Conflicts: 1144000 | #Constraints: 39842
1724.15/1729.67 c #Conflicts: 1145000 | #Constraints: 40842
1724.15/1729.67 c #Conflicts: 1146000 | #Constraints: 41842
1724.15/1729.67 c INPROCESSING
1724.15/1729.67 c GARBAGE COLLECT
1724.15/1729.67 c #Conflicts: 1147000 | #Constraints: 21639
1724.15/1729.67 c #Conflicts: 1148000 | #Constraints: 22639
1724.15/1729.67 c #Conflicts: 1149000 | #Constraints: 23639
1724.15/1729.67 c #Conflicts: 1150000 | #Constraints: 24639
1724.15/1729.67 c #Conflicts: 1151000 | #Constraints: 25639
1724.15/1729.67 c #Conflicts: 1152000 | #Constraints: 26639
1724.15/1729.67 c #Conflicts: 1153000 | #Constraints: 27639
1724.15/1729.67 c #Conflicts: 1154000 | #Constraints: 28639
1724.15/1729.67 c #Conflicts: 1155000 | #Constraints: 29639
1724.15/1729.67 c #Conflicts: 1156000 | #Constraints: 30639
1724.15/1729.67 c #Conflicts: 1157000 | #Constraints: 31639
1724.15/1729.67 c #Conflicts: 1158000 | #Constraints: 32639
1724.15/1729.67 c #Conflicts: 1159000 | #Constraints: 33639
1724.15/1729.67 c #Conflicts: 1160000 | #Constraints: 34639
1724.15/1729.67 c #Conflicts: 1161000 | #Constraints: 35639
1724.15/1729.67 c #Conflicts: 1162000 | #Constraints: 36639
1724.15/1729.67 c #Conflicts: 1163000 | #Constraints: 37639
1724.15/1729.67 c #Conflicts: 1164000 | #Constraints: 38639
1724.15/1729.67 c #Conflicts: 1165000 | #Constraints: 39639
1724.15/1729.67 c #Conflicts: 1166000 | #Constraints: 40639
1724.15/1729.67 c #Conflicts: 1167000 | #Constraints: 41639
1724.15/1729.67 c #Conflicts: 1168000 | #Constraints: 42639
1724.15/1729.67 c INPROCESSING
1724.15/1729.67 c GARBAGE COLLECT
1724.15/1729.67 c #Conflicts: 1169000 | #Constraints: 22241
1724.15/1729.67 c #Conflicts: 1170000 | #Constraints: 23241
1724.15/1729.67 c #Conflicts: 1171000 | #Constraints: 24241
1724.15/1729.67 c #Conflicts: 1172000 | #Constraints: 25241
1724.15/1729.67 c #Conflicts: 1173000 | #Constraints: 26241
1724.15/1729.67 c #Conflicts: 1174000 | #Constraints: 27241
1724.15/1729.67 c #Conflicts: 1175000 | #Constraints: 28241
1724.15/1729.67 c #Conflicts: 1176000 | #Constraints: 29241
1724.15/1729.67 c #Conflicts: 1177000 | #Constraints: 30241
1724.15/1729.67 c #Conflicts: 1178000 | #Constraints: 31241
1724.15/1729.67 c #Conflicts: 1179000 | #Constraints: 32241
1724.15/1729.67 c #Conflicts: 1180000 | #Constraints: 33241
1724.15/1729.67 c #Conflicts: 1181000 | #Constraints: 34241
1724.15/1729.67 c #Conflicts: 1182000 | #Constraints: 35241
1724.15/1729.67 c #Conflicts: 1183000 | #Constraints: 36241
1724.15/1729.67 c #Conflicts: 1184000 | #Constraints: 37241
1724.15/1729.67 c #Conflicts: 1185000 | #Constraints: 38241
1724.15/1729.67 c #Conflicts: 1186000 | #Constraints: 39241
1724.15/1729.67 c #Conflicts: 1187000 | #Constraints: 40241
1724.15/1729.67 c #Conflicts: 1188000 | #Constraints: 41241
1724.15/1729.67 c #Conflicts: 1189000 | #Constraints: 42241
1724.15/1729.67 c #Conflicts: 1190000 | #Constraints: 43241
1724.15/1729.67 c INPROCESSING
1724.15/1729.67 c GARBAGE COLLECT
1724.15/1729.67 c #Conflicts: 1191000 | #Constraints: 22638
1724.15/1729.67 c #Conflicts: 1192000 | #Constraints: 23638
1724.15/1729.67 c #Conflicts: 1193000 | #Constraints: 24638
1724.15/1729.67 c #Conflicts: 1194000 | #Constraints: 25638
1724.15/1729.67 c #Conflicts: 1195000 | #Constraints: 26638
1724.15/1729.67 c #Conflicts: 1196000 | #Constraints: 27638
1724.15/1729.67 c #Conflicts: 1197000 | #Constraints: 28638
1724.15/1729.67 c #Conflicts: 1198000 | #Constraints: 29638
1724.15/1729.67 c #Conflicts: 1199000 | #Constraints: 30638
1724.15/1729.67 c #Conflicts: 1200000 | #Constraints: 31638
1724.15/1729.67 c #Conflicts: 1201000 | #Constraints: 32638
1724.15/1729.67 c #Conflicts: 1202000 | #Constraints: 33638
1724.15/1729.67 c #Conflicts: 1203000 | #Constraints: 34638
1724.15/1729.67 c #Conflicts: 1204000 | #Constraints: 35638
1724.15/1729.67 c #Conflicts: 1205000 | #Constraints: 36638
1863.75/1869.67 c #Conflicts: 1206000 | #Constraints: 37638
1863.75/1869.67 c #Conflicts: 1207000 | #Constraints: 38638
1863.75/1869.67 c #Conflicts: 1208000 | #Constraints: 39638
1863.75/1869.67 c #Conflicts: 1209000 | #Constraints: 40638
1863.75/1869.67 c #Conflicts: 1210000 | #Constraints: 41638
1863.75/1869.67 c #Conflicts: 1211000 | #Constraints: 42638
1863.75/1869.67 c #Conflicts: 1212000 | #Constraints: 43638
1863.75/1869.67 c INPROCESSING
1863.75/1869.67 c GARBAGE COLLECT
1863.75/1869.67 c #Conflicts: 1213000 | #Constraints: 22840
1863.75/1869.67 c #Conflicts: 1214000 | #Constraints: 23840
1863.75/1869.67 c #Conflicts: 1215000 | #Constraints: 24840
1863.75/1869.67 c #Conflicts: 1216000 | #Constraints: 25840
1863.75/1869.67 c #Conflicts: 1217000 | #Constraints: 26840
1863.75/1869.67 c #Conflicts: 1218000 | #Constraints: 27840
1863.75/1869.67 c #Conflicts: 1219000 | #Constraints: 28840
1863.75/1869.67 c #Conflicts: 1220000 | #Constraints: 29840
1863.75/1869.67 c #Conflicts: 1221000 | #Constraints: 30840
1863.75/1869.67 c #Conflicts: 1222000 | #Constraints: 31840
1863.75/1869.67 c #Conflicts: 1223000 | #Constraints: 32840
1863.75/1869.67 c #Conflicts: 1224000 | #Constraints: 33840
1863.75/1869.67 c #Conflicts: 1225000 | #Constraints: 34840
1863.75/1869.67 c #Conflicts: 1226000 | #Constraints: 35840
1863.75/1869.67 c #Conflicts: 1227000 | #Constraints: 36840
1863.75/1869.67 c #Conflicts: 1228000 | #Constraints: 37840
1863.75/1869.67 c #Conflicts: 1229000 | #Constraints: 38840
1863.75/1869.67 c #Conflicts: 1230000 | #Constraints: 39840
1863.75/1869.67 c #Conflicts: 1231000 | #Constraints: 40840
1863.75/1869.67 c #Conflicts: 1232000 | #Constraints: 41840
1863.75/1869.67 c #Conflicts: 1233000 | #Constraints: 42840
1863.75/1869.67 c #Conflicts: 1234000 | #Constraints: 43840
1863.75/1869.67 c INPROCESSING
1863.75/1869.67 c GARBAGE COLLECT
1863.75/1869.67 c #Conflicts: 1235000 | #Constraints: 22835
1863.75/1869.67 c #Conflicts: 1236000 | #Constraints: 23835
1863.75/1869.67 c #Conflicts: 1237000 | #Constraints: 24835
1863.75/1869.67 c #Conflicts: 1238000 | #Constraints: 25835
1863.75/1869.67 c #Conflicts: 1239000 | #Constraints: 26835
1863.75/1869.67 c #Conflicts: 1240000 | #Constraints: 27835
1863.75/1869.67 c #Conflicts: 1241000 | #Constraints: 28835
1863.75/1869.67 c #Conflicts: 1242000 | #Constraints: 29835
1863.75/1869.67 c #Conflicts: 1243000 | #Constraints: 30835
1863.75/1869.67 c #Conflicts: 1244000 | #Constraints: 31835
1863.75/1869.67 c #Conflicts: 1245000 | #Constraints: 32835
1863.75/1869.67 c #Conflicts: 1246000 | #Constraints: 33835
1863.75/1869.67 c #Conflicts: 1247000 | #Constraints: 34835
1863.75/1869.67 c #Conflicts: 1248000 | #Constraints: 35835
1863.75/1869.67 c #Conflicts: 1249000 | #Constraints: 36835
1863.75/1869.67 c #Conflicts: 1250000 | #Constraints: 37835
1863.75/1869.67 c #Conflicts: 1251000 | #Constraints: 38835
1863.75/1869.67 c #Conflicts: 1252000 | #Constraints: 39835
1863.75/1869.67 c #Conflicts: 1253000 | #Constraints: 40835
1863.75/1869.67 c #Conflicts: 1254000 | #Constraints: 41835
1863.75/1869.67 c #Conflicts: 1255000 | #Constraints: 42835
1863.75/1869.67 c #Conflicts: 1256000 | #Constraints: 43835
1863.75/1869.67 c INPROCESSING
1863.75/1869.67 c GARBAGE COLLECT
1863.75/1869.67 c #Conflicts: 1257000 | #Constraints: 22635
1863.75/1869.67 c #Conflicts: 1258000 | #Constraints: 23635
1863.75/1869.67 c #Conflicts: 1259000 | #Constraints: 24635
1863.75/1869.67 c #Conflicts: 1260000 | #Constraints: 25635
1863.75/1869.67 c #Conflicts: 1261000 | #Constraints: 26635
1863.75/1869.67 c #Conflicts: 1262000 | #Constraints: 27635
1863.75/1869.67 c #Conflicts: 1263000 | #Constraints: 28635
1863.75/1869.67 c #Conflicts: 1264000 | #Constraints: 29635
1863.75/1869.67 c #Conflicts: 1265000 | #Constraints: 30635
1863.75/1869.67 c #Conflicts: 1266000 | #Constraints: 31635
1863.75/1869.67 c #Conflicts: 1267000 | #Constraints: 32635
1863.75/1869.67 c #Conflicts: 1268000 | #Constraints: 33635
1863.75/1869.67 c #Conflicts: 1269000 | #Constraints: 34635
1863.75/1869.67 c #Conflicts: 1270000 | #Constraints: 35635
1863.75/1869.67 c #Conflicts: 1271000 | #Constraints: 36635
1863.75/1869.67 c #Conflicts: 1272000 | #Constraints: 37635
1863.75/1869.67 c #Conflicts: 1273000 | #Constraints: 38635
1863.75/1869.67 c #Conflicts: 1274000 | #Constraints: 39635
1863.75/1869.67 c #Conflicts: 1275000 | #Constraints: 40635
1863.75/1869.67 c #Conflicts: 1276000 | #Constraints: 41635
1863.75/1869.67 c #Conflicts: 1277000 | #Constraints: 42635
1863.75/1869.67 c #Conflicts: 1278000 | #Constraints: 43635
1863.75/1869.67 c #Conflicts: 1279000 | #Constraints: 44635
1863.75/1869.67 c INPROCESSING
1863.75/1869.67 c GARBAGE COLLECT
1863.75/1869.67 c #Conflicts: 1280000 | #Constraints: 23235
1863.75/1869.67 c #Conflicts: 1281000 | #Constraints: 24235
2023.28/2029.64 c #Conflicts: 1282000 | #Constraints: 25235
2023.28/2029.64 c #Conflicts: 1283000 | #Constraints: 26235
2023.28/2029.64 c #Conflicts: 1284000 | #Constraints: 27235
2023.28/2029.64 c #Conflicts: 1285000 | #Constraints: 28235
2023.28/2029.64 c #Conflicts: 1286000 | #Constraints: 29235
2023.28/2029.64 c #Conflicts: 1287000 | #Constraints: 30235
2023.28/2029.64 c #Conflicts: 1288000 | #Constraints: 31235
2023.28/2029.64 c #Conflicts: 1289000 | #Constraints: 32235
2023.28/2029.64 c #Conflicts: 1290000 | #Constraints: 33235
2023.28/2029.64 c #Conflicts: 1291000 | #Constraints: 34235
2023.28/2029.64 c #Conflicts: 1292000 | #Constraints: 35235
2023.28/2029.64 c #Conflicts: 1293000 | #Constraints: 36235
2023.28/2029.64 c #Conflicts: 1294000 | #Constraints: 37235
2023.28/2029.64 c #Conflicts: 1295000 | #Constraints: 38235
2023.28/2029.64 c #Conflicts: 1296000 | #Constraints: 39235
2023.28/2029.64 c #Conflicts: 1297000 | #Constraints: 40235
2023.28/2029.64 c #Conflicts: 1298000 | #Constraints: 41235
2023.28/2029.64 c #Conflicts: 1299000 | #Constraints: 42235
2023.28/2029.64 c #Conflicts: 1300000 | #Constraints: 43235
2023.28/2029.64 c #Conflicts: 1301000 | #Constraints: 44235
2023.28/2029.64 c #Conflicts: 1302000 | #Constraints: 45235
2023.28/2029.64 c INPROCESSING
2023.28/2029.64 c GARBAGE COLLECT
2023.28/2029.64 c #Conflicts: 1303000 | #Constraints: 23632
2023.28/2029.64 c #Conflicts: 1304000 | #Constraints: 24632
2023.28/2029.64 c #Conflicts: 1305000 | #Constraints: 25632
2023.28/2029.64 c #Conflicts: 1306000 | #Constraints: 26632
2023.28/2029.64 c #Conflicts: 1307000 | #Constraints: 27632
2023.28/2029.64 c #Conflicts: 1308000 | #Constraints: 28632
2023.28/2029.64 c #Conflicts: 1309000 | #Constraints: 29632
2023.28/2029.64 c #Conflicts: 1310000 | #Constraints: 30632
2023.28/2029.64 c #Conflicts: 1311000 | #Constraints: 31632
2023.28/2029.64 c #Conflicts: 1312000 | #Constraints: 32632
2023.28/2029.64 c #Conflicts: 1313000 | #Constraints: 33632
2023.28/2029.64 c #Conflicts: 1314000 | #Constraints: 34632
2023.28/2029.64 c #Conflicts: 1315000 | #Constraints: 35632
2023.28/2029.64 c #Conflicts: 1316000 | #Constraints: 36632
2023.28/2029.64 c #Conflicts: 1317000 | #Constraints: 37632
2023.28/2029.64 c #Conflicts: 1318000 | #Constraints: 38632
2023.28/2029.64 c #Conflicts: 1319000 | #Constraints: 39632
2023.28/2029.64 c #Conflicts: 1320000 | #Constraints: 40632
2023.28/2029.64 c #Conflicts: 1321000 | #Constraints: 41632
2023.28/2029.64 c #Conflicts: 1322000 | #Constraints: 42632
2023.28/2029.64 c #Conflicts: 1323000 | #Constraints: 43632
2023.28/2029.64 c #Conflicts: 1324000 | #Constraints: 44632
2023.28/2029.64 c #Conflicts: 1325000 | #Constraints: 45632
2023.28/2029.64 c INPROCESSING
2023.28/2029.64 c GARBAGE COLLECT
2023.28/2029.64 c #Conflicts: 1326000 | #Constraints: 23837
2023.28/2029.64 c #Conflicts: 1327000 | #Constraints: 24837
2023.28/2029.64 c #Conflicts: 1328000 | #Constraints: 25837
2023.28/2029.64 c #Conflicts: 1329000 | #Constraints: 26837
2023.28/2029.64 c #Conflicts: 1330000 | #Constraints: 27837
2023.28/2029.64 c #Conflicts: 1331000 | #Constraints: 28837
2023.28/2029.64 c #Conflicts: 1332000 | #Constraints: 29837
2023.28/2029.64 c #Conflicts: 1333000 | #Constraints: 30837
2023.28/2029.64 c #Conflicts: 1334000 | #Constraints: 31837
2023.28/2029.64 c #Conflicts: 1335000 | #Constraints: 32837
2023.28/2029.64 c #Conflicts: 1336000 | #Constraints: 33837
2023.28/2029.64 c #Conflicts: 1337000 | #Constraints: 34837
2023.28/2029.64 c #Conflicts: 1338000 | #Constraints: 35837
2023.28/2029.64 c #Conflicts: 1339000 | #Constraints: 36837
2023.28/2029.64 c #Conflicts: 1340000 | #Constraints: 37837
2023.28/2029.64 c #Conflicts: 1341000 | #Constraints: 38837
2023.28/2029.64 c #Conflicts: 1342000 | #Constraints: 39837
2023.28/2029.64 c #Conflicts: 1343000 | #Constraints: 40837
2023.28/2029.64 c #Conflicts: 1344000 | #Constraints: 41837
2023.28/2029.64 c #Conflicts: 1345000 | #Constraints: 42837
2023.28/2029.64 c #Conflicts: 1346000 | #Constraints: 43837
2023.28/2029.64 c #Conflicts: 1347000 | #Constraints: 44837
2023.28/2029.64 c #Conflicts: 1348000 | #Constraints: 45837
2023.28/2029.64 c INPROCESSING
2023.28/2029.64 c GARBAGE COLLECT
2023.28/2029.64 c #Conflicts: 1349000 | #Constraints: 23837
2023.28/2029.64 c #Conflicts: 1350000 | #Constraints: 24837
2023.28/2029.64 c #Conflicts: 1351000 | #Constraints: 25837
2023.28/2029.64 c #Conflicts: 1352000 | #Constraints: 26837
2023.28/2029.64 c #Conflicts: 1353000 | #Constraints: 27837
2023.28/2029.64 c #Conflicts: 1354000 | #Constraints: 28837
2023.28/2029.64 c #Conflicts: 1355000 | #Constraints: 29837
2023.28/2029.64 c #Conflicts: 1356000 | #Constraints: 30837
2023.28/2029.64 c #Conflicts: 1357000 | #Constraints: 31837
2023.28/2029.64 c #Conflicts: 1358000 | #Constraints: 32837
2168.54/2175.39 c #Conflicts: 1359000 | #Constraints: 33837
2168.54/2175.39 c #Conflicts: 1360000 | #Constraints: 34837
2168.54/2175.39 c #Conflicts: 1361000 | #Constraints: 35837
2168.54/2175.39 c #Conflicts: 1362000 | #Constraints: 36837
2168.54/2175.39 c #Conflicts: 1363000 | #Constraints: 37837
2168.54/2175.39 c #Conflicts: 1364000 | #Constraints: 38837
2168.54/2175.39 c #Conflicts: 1365000 | #Constraints: 39837
2168.54/2175.39 c #Conflicts: 1366000 | #Constraints: 40837
2168.54/2175.39 c #Conflicts: 1367000 | #Constraints: 41837
2168.54/2175.39 c #Conflicts: 1368000 | #Constraints: 42837
2168.54/2175.39 c #Conflicts: 1369000 | #Constraints: 43837
2168.54/2175.39 c #Conflicts: 1370000 | #Constraints: 44837
2168.54/2175.39 c #Conflicts: 1371000 | #Constraints: 45837
2168.54/2175.39 c INPROCESSING
2168.54/2175.39 c GARBAGE COLLECT
2168.54/2175.39 c #Conflicts: 1372000 | #Constraints: 23634
2168.54/2175.39 c #Conflicts: 1373000 | #Constraints: 24634
2168.54/2175.39 c #Conflicts: 1374000 | #Constraints: 25634
2168.54/2175.39 c #Conflicts: 1375000 | #Constraints: 26634
2168.54/2175.39 c #Conflicts: 1376000 | #Constraints: 27634
2168.54/2175.39 c #Conflicts: 1377000 | #Constraints: 28634
2168.54/2175.39 c #Conflicts: 1378000 | #Constraints: 29634
2168.54/2175.39 c #Conflicts: 1379000 | #Constraints: 30634
2168.54/2175.39 c #Conflicts: 1380000 | #Constraints: 31634
2168.54/2175.39 c #Conflicts: 1381000 | #Constraints: 32634
2168.54/2175.39 c #Conflicts: 1382000 | #Constraints: 33634
2168.54/2175.39 c #Conflicts: 1383000 | #Constraints: 34634
2168.54/2175.39 c #Conflicts: 1384000 | #Constraints: 35634
2168.54/2175.39 c #Conflicts: 1385000 | #Constraints: 36634
2168.54/2175.39 c #Conflicts: 1386000 | #Constraints: 37634
2168.54/2175.39 c #Conflicts: 1387000 | #Constraints: 38634
2168.54/2175.39 c #Conflicts: 1388000 | #Constraints: 39634
2168.54/2175.39 c #Conflicts: 1389000 | #Constraints: 40634
2168.54/2175.39 c #Conflicts: 1390000 | #Constraints: 41634
2168.54/2175.39 c #Conflicts: 1391000 | #Constraints: 42634
2168.54/2175.39 c #Conflicts: 1392000 | #Constraints: 43634
2168.54/2175.39 c #Conflicts: 1393000 | #Constraints: 44634
2168.54/2175.39 c #Conflicts: 1394000 | #Constraints: 45634
2168.54/2175.39 c #Conflicts: 1395000 | #Constraints: 46634
2168.54/2175.39 c INPROCESSING
2168.54/2175.39 c GARBAGE COLLECT
2168.54/2175.39 c #Conflicts: 1396000 | #Constraints: 24238
2168.54/2175.39 c #Conflicts: 1397000 | #Constraints: 25238
2168.54/2175.39 c #Conflicts: 1398000 | #Constraints: 26238
2168.54/2175.39 c #Conflicts: 1399000 | #Constraints: 27238
2168.54/2175.39 c #Conflicts: 1400000 | #Constraints: 28238
2168.54/2175.39 c #Conflicts: 1401000 | #Constraints: 29238
2168.54/2175.39 c #Conflicts: 1402000 | #Constraints: 30238
2168.54/2175.39 c #Conflicts: 1403000 | #Constraints: 31238
2168.54/2175.39 c #Conflicts: 1404000 | #Constraints: 32238
2168.54/2175.39 c #Conflicts: 1405000 | #Constraints: 33238
2168.54/2175.39 c #Conflicts: 1406000 | #Constraints: 34238
2168.54/2175.39 c #Conflicts: 1407000 | #Constraints: 35238
2168.54/2175.39 c #Conflicts: 1408000 | #Constraints: 36238
2168.54/2175.39 c #Conflicts: 1409000 | #Constraints: 37238
2168.54/2175.39 c #Conflicts: 1410000 | #Constraints: 38238
2168.54/2175.39 c #Conflicts: 1411000 | #Constraints: 39238
2168.54/2175.39 c #Conflicts: 1412000 | #Constraints: 40238
2168.54/2175.39 c #Conflicts: 1413000 | #Constraints: 41238
2168.54/2175.39 c #Conflicts: 1414000 | #Constraints: 42238
2168.54/2175.39 c #Conflicts: 1415000 | #Constraints: 43238
2168.54/2175.39 c #Conflicts: 1416000 | #Constraints: 44238
2168.54/2175.39 c #Conflicts: 1417000 | #Constraints: 45238
2168.54/2175.39 c #Conflicts: 1418000 | #Constraints: 46238
2168.54/2175.39 c #Conflicts: 1419000 | #Constraints: 47238
2168.54/2175.39 c INPROCESSING
2168.54/2175.39 c GARBAGE COLLECT
2168.54/2175.39 c #Conflicts: 1420000 | #Constraints: 24641
2168.54/2175.39 c #Conflicts: 1421000 | #Constraints: 25641
2168.54/2175.39 c #Conflicts: 1422000 | #Constraints: 26641
2168.54/2175.39 c #Conflicts: 1423000 | #Constraints: 27641
2168.54/2175.39 c #Conflicts: 1424000 | #Constraints: 28641
2168.54/2175.39 c #Conflicts: 1425000 | #Constraints: 29641
2168.54/2175.39 c #Conflicts: 1426000 | #Constraints: 30641
2168.54/2175.39 c #Conflicts: 1427000 | #Constraints: 31641
2168.54/2175.39 c #Conflicts: 1428000 | #Constraints: 32641
2168.54/2175.39 c #Conflicts: 1429000 | #Constraints: 33641
2168.54/2175.39 c #Conflicts: 1430000 | #Constraints: 34641
2168.54/2175.39 c #Conflicts: 1431000 | #Constraints: 35641
2168.54/2175.39 c #Conflicts: 1432000 | #Constraints: 36641
2168.54/2175.39 c #Conflicts: 1433000 | #Constraints: 37641
2168.54/2175.39 c #Conflicts: 1434000 | #Constraints: 38641
2168.54/2175.39 c #Conflicts: 1435000 | #Constraints: 39641
2329.68/2336.96 c #Conflicts: 1436000 | #Constraints: 40641
2329.68/2336.96 c #Conflicts: 1437000 | #Constraints: 41641
2329.68/2336.96 c #Conflicts: 1438000 | #Constraints: 42641
2329.68/2336.96 c #Conflicts: 1439000 | #Constraints: 43641
2329.68/2336.96 c #Conflicts: 1440000 | #Constraints: 44641
2329.68/2336.96 c #Conflicts: 1441000 | #Constraints: 45641
2329.68/2336.96 c #Conflicts: 1442000 | #Constraints: 46641
2329.68/2336.96 c #Conflicts: 1443000 | #Constraints: 47641
2329.68/2336.96 c INPROCESSING
2329.68/2336.96 c GARBAGE COLLECT
2329.68/2336.96 c #Conflicts: 1444000 | #Constraints: 24842
2329.68/2336.96 c #Conflicts: 1445000 | #Constraints: 25842
2329.68/2336.96 c #Conflicts: 1446000 | #Constraints: 26842
2329.68/2336.96 c #Conflicts: 1447000 | #Constraints: 27842
2329.68/2336.96 c #Conflicts: 1448000 | #Constraints: 28842
2329.68/2336.96 c #Conflicts: 1449000 | #Constraints: 29842
2329.68/2336.96 c #Conflicts: 1450000 | #Constraints: 30842
2329.68/2336.96 c #Conflicts: 1451000 | #Constraints: 31842
2329.68/2336.96 c #Conflicts: 1452000 | #Constraints: 32842
2329.68/2336.96 c #Conflicts: 1453000 | #Constraints: 33842
2329.68/2336.96 c #Conflicts: 1454000 | #Constraints: 34842
2329.68/2336.96 c #Conflicts: 1455000 | #Constraints: 35842
2329.68/2336.96 c #Conflicts: 1456000 | #Constraints: 36842
2329.68/2336.96 c #Conflicts: 1457000 | #Constraints: 37842
2329.68/2336.96 c #Conflicts: 1458000 | #Constraints: 38842
2329.68/2336.96 c #Conflicts: 1459000 | #Constraints: 39842
2329.68/2336.96 c #Conflicts: 1460000 | #Constraints: 40842
2329.68/2336.96 c #Conflicts: 1461000 | #Constraints: 41842
2329.68/2336.96 c #Conflicts: 1462000 | #Constraints: 42842
2329.68/2336.96 c #Conflicts: 1463000 | #Constraints: 43842
2329.68/2336.96 c #Conflicts: 1464000 | #Constraints: 44842
2329.68/2336.96 c #Conflicts: 1465000 | #Constraints: 45842
2329.68/2336.96 c #Conflicts: 1466000 | #Constraints: 46842
2329.68/2336.96 c #Conflicts: 1467000 | #Constraints: 47842
2329.68/2336.96 c INPROCESSING
2329.68/2336.96 c GARBAGE COLLECT
2329.68/2336.96 c #Conflicts: 1468000 | #Constraints: 24838
2329.68/2336.96 c #Conflicts: 1469000 | #Constraints: 25838
2329.68/2336.96 c #Conflicts: 1470000 | #Constraints: 26838
2329.68/2336.96 c #Conflicts: 1471000 | #Constraints: 27838
2329.68/2336.96 c #Conflicts: 1472000 | #Constraints: 28838
2329.68/2336.96 c #Conflicts: 1473000 | #Constraints: 29838
2329.68/2336.96 c #Conflicts: 1474000 | #Constraints: 30838
2329.68/2336.96 c #Conflicts: 1475000 | #Constraints: 31838
2329.68/2336.96 c #Conflicts: 1476000 | #Constraints: 32838
2329.68/2336.96 c #Conflicts: 1477000 | #Constraints: 33838
2329.68/2336.96 c #Conflicts: 1478000 | #Constraints: 34838
2329.68/2336.96 c #Conflicts: 1479000 | #Constraints: 35838
2329.68/2336.96 c #Conflicts: 1480000 | #Constraints: 36838
2329.68/2336.96 c #Conflicts: 1481000 | #Constraints: 37838
2329.68/2336.96 c #Conflicts: 1482000 | #Constraints: 38838
2329.68/2336.96 c #Conflicts: 1483000 | #Constraints: 39838
2329.68/2336.96 c #Conflicts: 1484000 | #Constraints: 40838
2329.68/2336.96 c #Conflicts: 1485000 | #Constraints: 41838
2329.68/2336.96 c #Conflicts: 1486000 | #Constraints: 42838
2329.68/2336.96 c #Conflicts: 1487000 | #Constraints: 43838
2329.68/2336.96 c #Conflicts: 1488000 | #Constraints: 44838
2329.68/2336.96 c #Conflicts: 1489000 | #Constraints: 45838
2329.68/2336.96 c #Conflicts: 1490000 | #Constraints: 46838
2329.68/2336.96 c #Conflicts: 1491000 | #Constraints: 47838
2329.68/2336.96 c INPROCESSING
2329.68/2336.96 c GARBAGE COLLECT
2329.68/2336.96 c #Conflicts: 1492000 | #Constraints: 24635
2329.68/2336.96 c #Conflicts: 1493000 | #Constraints: 25635
2329.68/2336.96 c #Conflicts: 1494000 | #Constraints: 26635
2329.68/2336.96 c #Conflicts: 1495000 | #Constraints: 27635
2329.68/2336.96 c #Conflicts: 1496000 | #Constraints: 28635
2329.68/2336.96 c #Conflicts: 1497000 | #Constraints: 29635
2329.68/2336.96 c #Conflicts: 1498000 | #Constraints: 30635
2329.68/2336.96 c #Conflicts: 1499000 | #Constraints: 31635
2329.68/2336.96 c #Conflicts: 1500000 | #Constraints: 32635
2329.68/2336.96 c #Conflicts: 1501000 | #Constraints: 33635
2329.68/2336.96 c #Conflicts: 1502000 | #Constraints: 34635
2329.68/2336.96 c #Conflicts: 1503000 | #Constraints: 35635
2329.68/2336.96 c #Conflicts: 1504000 | #Constraints: 36635
2329.68/2336.96 c #Conflicts: 1505000 | #Constraints: 37635
2329.68/2336.96 c #Conflicts: 1506000 | #Constraints: 38635
2329.68/2336.96 c #Conflicts: 1507000 | #Constraints: 39635
2329.68/2336.96 c #Conflicts: 1508000 | #Constraints: 40635
2329.68/2336.96 c #Conflicts: 1509000 | #Constraints: 41635
2329.68/2336.96 c #Conflicts: 1510000 | #Constraints: 42635
2329.68/2336.96 c #Conflicts: 1511000 | #Constraints: 43635
2511.86/2519.65 c #Conflicts: 1512000 | #Constraints: 44635
2511.86/2519.65 c #Conflicts: 1513000 | #Constraints: 45635
2511.86/2519.65 c #Conflicts: 1514000 | #Constraints: 46635
2511.86/2519.65 c #Conflicts: 1515000 | #Constraints: 47635
2511.86/2519.65 c #Conflicts: 1516000 | #Constraints: 48635
2511.86/2519.65 c INPROCESSING
2511.86/2519.65 c GARBAGE COLLECT
2511.86/2519.65 c #Conflicts: 1517000 | #Constraints: 25235
2511.86/2519.65 c #Conflicts: 1518000 | #Constraints: 26235
2511.86/2519.65 c #Conflicts: 1519000 | #Constraints: 27235
2511.86/2519.65 c #Conflicts: 1520000 | #Constraints: 28235
2511.86/2519.65 c #Conflicts: 1521000 | #Constraints: 29235
2511.86/2519.65 c #Conflicts: 1522000 | #Constraints: 30235
2511.86/2519.65 c #Conflicts: 1523000 | #Constraints: 31235
2511.86/2519.65 c #Conflicts: 1524000 | #Constraints: 32235
2511.86/2519.65 c #Conflicts: 1525000 | #Constraints: 33235
2511.86/2519.65 c #Conflicts: 1526000 | #Constraints: 34235
2511.86/2519.65 c #Conflicts: 1527000 | #Constraints: 35235
2511.86/2519.65 c #Conflicts: 1528000 | #Constraints: 36235
2511.86/2519.65 c #Conflicts: 1529000 | #Constraints: 37235
2511.86/2519.65 c #Conflicts: 1530000 | #Constraints: 38235
2511.86/2519.65 c #Conflicts: 1531000 | #Constraints: 39235
2511.86/2519.65 c #Conflicts: 1532000 | #Constraints: 40235
2511.86/2519.65 c #Conflicts: 1533000 | #Constraints: 41235
2511.86/2519.65 c #Conflicts: 1534000 | #Constraints: 42235
2511.86/2519.65 c #Conflicts: 1535000 | #Constraints: 43235
2511.86/2519.65 c #Conflicts: 1536000 | #Constraints: 44235
2511.86/2519.65 c #Conflicts: 1537000 | #Constraints: 45235
2511.86/2519.65 c #Conflicts: 1538000 | #Constraints: 46235
2511.86/2519.65 c #Conflicts: 1539000 | #Constraints: 47235
2511.86/2519.65 c #Conflicts: 1540000 | #Constraints: 48235
2511.86/2519.65 c #Conflicts: 1541000 | #Constraints: 49235
2511.86/2519.65 c INPROCESSING
2511.86/2519.65 c GARBAGE COLLECT
2511.86/2519.65 c #Conflicts: 1542000 | #Constraints: 25635
2511.86/2519.65 c #Conflicts: 1543000 | #Constraints: 26635
2511.86/2519.65 c #Conflicts: 1544000 | #Constraints: 27635
2511.86/2519.65 c #Conflicts: 1545000 | #Constraints: 28635
2511.86/2519.65 c #Conflicts: 1546000 | #Constraints: 29635
2511.86/2519.65 c #Conflicts: 1547000 | #Constraints: 30635
2511.86/2519.65 c #Conflicts: 1548000 | #Constraints: 31635
2511.86/2519.65 c #Conflicts: 1549000 | #Constraints: 32635
2511.86/2519.65 c #Conflicts: 1550000 | #Constraints: 33635
2511.86/2519.65 c #Conflicts: 1551000 | #Constraints: 34635
2511.86/2519.65 c #Conflicts: 1552000 | #Constraints: 35635
2511.86/2519.65 c #Conflicts: 1553000 | #Constraints: 36635
2511.86/2519.65 c #Conflicts: 1554000 | #Constraints: 37635
2511.86/2519.65 c #Conflicts: 1555000 | #Constraints: 38635
2511.86/2519.65 c #Conflicts: 1556000 | #Constraints: 39635
2511.86/2519.65 c #Conflicts: 1557000 | #Constraints: 40635
2511.86/2519.65 c #Conflicts: 1558000 | #Constraints: 41635
2511.86/2519.65 c #Conflicts: 1559000 | #Constraints: 42635
2511.86/2519.65 c #Conflicts: 1560000 | #Constraints: 43635
2511.86/2519.65 c #Conflicts: 1561000 | #Constraints: 44635
2511.86/2519.65 c #Conflicts: 1562000 | #Constraints: 45635
2511.86/2519.65 c #Conflicts: 1563000 | #Constraints: 46635
2511.86/2519.65 c #Conflicts: 1564000 | #Constraints: 47635
2511.86/2519.65 c #Conflicts: 1565000 | #Constraints: 48635
2511.86/2519.65 c #Conflicts: 1566000 | #Constraints: 49635
2511.86/2519.65 c INPROCESSING
2511.86/2519.65 c GARBAGE COLLECT
2511.86/2519.65 c #Conflicts: 1567000 | #Constraints: 25834
2511.86/2519.65 c #Conflicts: 1568000 | #Constraints: 26834
2511.86/2519.65 c #Conflicts: 1569000 | #Constraints: 27834
2511.86/2519.65 c #Conflicts: 1570000 | #Constraints: 28834
2511.86/2519.65 c #Conflicts: 1571000 | #Constraints: 29834
2511.86/2519.65 c #Conflicts: 1572000 | #Constraints: 30834
2511.86/2519.65 c #Conflicts: 1573000 | #Constraints: 31834
2511.86/2519.65 c #Conflicts: 1574000 | #Constraints: 32834
2511.86/2519.65 c #Conflicts: 1575000 | #Constraints: 33834
2511.86/2519.65 c #Conflicts: 1576000 | #Constraints: 34834
2511.86/2519.65 c #Conflicts: 1577000 | #Constraints: 35834
2511.86/2519.65 c #Conflicts: 1578000 | #Constraints: 36834
2511.86/2519.65 c #Conflicts: 1579000 | #Constraints: 37834
2511.86/2519.65 c #Conflicts: 1580000 | #Constraints: 38834
2511.86/2519.65 c #Conflicts: 1581000 | #Constraints: 39834
2511.86/2519.65 c #Conflicts: 1582000 | #Constraints: 40834
2511.86/2519.65 c #Conflicts: 1583000 | #Constraints: 41834
2511.86/2519.65 c #Conflicts: 1584000 | #Constraints: 42834
2511.86/2519.65 c #Conflicts: 1585000 | #Constraints: 43834
2511.86/2519.65 c #Conflicts: 1586000 | #Constraints: 44834
2511.86/2519.65 c #Conflicts: 1587000 | #Constraints: 45834
2511.86/2519.65 c #Conflicts: 1588000 | #Constraints: 46834
2527.71/2535.54 c #Conflicts: 1589000 | #Constraints: 47834
2527.71/2535.54 c #Conflicts: 1590000 | #Constraints: 48834
2527.71/2535.54 c #Conflicts: 1591000 | #Constraints: 49834
2527.71/2535.54 c INPROCESSING
2527.71/2535.54 c GARBAGE COLLECT
2527.71/2535.54 c #Conflicts: 1592000 | #Constraints: 25840
2527.71/2535.54 c #Conflicts: 1593000 | #Constraints: 26840
2527.71/2535.54 c #Conflicts: 1594000 | #Constraints: 27840
2527.71/2535.54 c bounds 51 >= 0 @ 2520.58
2527.71/2535.54 c stratification level: 4
2733.08/2741.58 c #Conflicts: 1595000 | #Constraints: 28841
2733.08/2741.58 c #Conflicts: 1596000 | #Constraints: 29841
2733.08/2741.58 c #Conflicts: 1597000 | #Constraints: 30841
2733.08/2741.58 c #Conflicts: 1598000 | #Constraints: 31841
2733.08/2741.58 c #Conflicts: 1599000 | #Constraints: 32841
2733.08/2741.58 c #Conflicts: 1600000 | #Constraints: 33841
2733.08/2741.58 c #Conflicts: 1601000 | #Constraints: 34841
2733.08/2741.58 c #Conflicts: 1602000 | #Constraints: 35841
2733.08/2741.58 c #Conflicts: 1603000 | #Constraints: 36841
2733.08/2741.58 c #Conflicts: 1604000 | #Constraints: 37841
2733.08/2741.58 c #Conflicts: 1605000 | #Constraints: 38841
2733.08/2741.58 c #Conflicts: 1606000 | #Constraints: 39841
2733.08/2741.58 c #Conflicts: 1607000 | #Constraints: 40841
2733.08/2741.58 c #Conflicts: 1608000 | #Constraints: 41841
2733.08/2741.58 c #Conflicts: 1609000 | #Constraints: 42841
2733.08/2741.58 c #Conflicts: 1610000 | #Constraints: 43841
2733.08/2741.58 c #Conflicts: 1611000 | #Constraints: 44841
2733.08/2741.58 c #Conflicts: 1612000 | #Constraints: 45841
2733.08/2741.58 c #Conflicts: 1613000 | #Constraints: 46841
2733.08/2741.58 c #Conflicts: 1614000 | #Constraints: 47841
2733.08/2741.58 c #Conflicts: 1615000 | #Constraints: 48841
2733.08/2741.58 c #Conflicts: 1616000 | #Constraints: 49841
2733.08/2741.58 c INPROCESSING
2733.08/2741.58 c GARBAGE COLLECT
2733.08/2741.58 c #Conflicts: 1617000 | #Constraints: 25643
2733.08/2741.58 c #Conflicts: 1618000 | #Constraints: 26643
2733.08/2741.58 c #Conflicts: 1619000 | #Constraints: 27643
2733.08/2741.58 c #Conflicts: 1620000 | #Constraints: 28643
2733.08/2741.58 c #Conflicts: 1621000 | #Constraints: 29643
2733.08/2741.58 c #Conflicts: 1622000 | #Constraints: 30643
2733.08/2741.58 c #Conflicts: 1623000 | #Constraints: 31643
2733.08/2741.58 c #Conflicts: 1624000 | #Constraints: 32643
2733.08/2741.58 c #Conflicts: 1625000 | #Constraints: 33643
2733.08/2741.58 c #Conflicts: 1626000 | #Constraints: 34643
2733.08/2741.58 c #Conflicts: 1627000 | #Constraints: 35643
2733.08/2741.58 c #Conflicts: 1628000 | #Constraints: 36643
2733.08/2741.58 c #Conflicts: 1629000 | #Constraints: 37643
2733.08/2741.58 c #Conflicts: 1630000 | #Constraints: 38643
2733.08/2741.58 c #Conflicts: 1631000 | #Constraints: 39643
2733.08/2741.58 c #Conflicts: 1632000 | #Constraints: 40643
2733.08/2741.58 c #Conflicts: 1633000 | #Constraints: 41643
2733.08/2741.58 c #Conflicts: 1634000 | #Constraints: 42643
2733.08/2741.58 c #Conflicts: 1635000 | #Constraints: 43643
2733.08/2741.58 c #Conflicts: 1636000 | #Constraints: 44643
2733.08/2741.58 c #Conflicts: 1637000 | #Constraints: 45643
2733.08/2741.58 c #Conflicts: 1638000 | #Constraints: 46643
2733.08/2741.58 c #Conflicts: 1639000 | #Constraints: 47643
2733.08/2741.58 c #Conflicts: 1640000 | #Constraints: 48643
2733.08/2741.58 c #Conflicts: 1641000 | #Constraints: 49643
2733.08/2741.58 c #Conflicts: 1642000 | #Constraints: 50643
2733.08/2741.58 c INPROCESSING
2733.08/2741.58 c GARBAGE COLLECT
2733.08/2741.58 c #Conflicts: 1643000 | #Constraints: 26240
2733.08/2741.58 c #Conflicts: 1644000 | #Constraints: 27240
2733.08/2741.58 c #Conflicts: 1645000 | #Constraints: 28240
2733.08/2741.58 c #Conflicts: 1646000 | #Constraints: 29240
2733.08/2741.58 c #Conflicts: 1647000 | #Constraints: 30240
2733.08/2741.58 c #Conflicts: 1648000 | #Constraints: 31240
2733.08/2741.58 c #Conflicts: 1649000 | #Constraints: 32240
2733.08/2741.58 c #Conflicts: 1650000 | #Constraints: 33240
2733.08/2741.58 c #Conflicts: 1651000 | #Constraints: 34240
2733.08/2741.58 c #Conflicts: 1652000 | #Constraints: 35240
2733.08/2741.58 c #Conflicts: 1653000 | #Constraints: 36240
2733.08/2741.58 c #Conflicts: 1654000 | #Constraints: 37240
2733.08/2741.58 c #Conflicts: 1655000 | #Constraints: 38240
2733.08/2741.58 c #Conflicts: 1656000 | #Constraints: 39240
2733.08/2741.58 c #Conflicts: 1657000 | #Constraints: 40240
2733.08/2741.58 c #Conflicts: 1658000 | #Constraints: 41240
2733.08/2741.58 c #Conflicts: 1659000 | #Constraints: 42240
2733.08/2741.58 c #Conflicts: 1660000 | #Constraints: 43240
2733.08/2741.58 c #Conflicts: 1661000 | #Constraints: 44240
2733.08/2741.58 c #Conflicts: 1662000 | #Constraints: 45240
2733.08/2741.58 c #Conflicts: 1663000 | #Constraints: 46240
2733.08/2741.58 c #Conflicts: 1664000 | #Constraints: 47240
2733.08/2741.58 c #Conflicts: 1665000 | #Constraints: 48240
2733.08/2741.58 c #Conflicts: 1666000 | #Constraints: 49240
2733.08/2741.58 c #Conflicts: 1667000 | #Constraints: 50240
2733.08/2741.58 c #Conflicts: 1668000 | #Constraints: 51240
2733.08/2741.58 c INPROCESSING
2733.08/2741.58 c GARBAGE COLLECT
2733.08/2741.58 c #Conflicts: 1669000 | #Constraints: 26638
2733.08/2741.58 c #Conflicts: 1670000 | #Constraints: 27638
2733.08/2741.58 c #Conflicts: 1671000 | #Constraints: 28638
2937.15/2946.24 c #Conflicts: 1672000 | #Constraints: 29638
2937.15/2946.24 c #Conflicts: 1673000 | #Constraints: 30638
2937.15/2946.24 c #Conflicts: 1674000 | #Constraints: 31638
2937.15/2946.24 c #Conflicts: 1675000 | #Constraints: 32638
2937.15/2946.24 c #Conflicts: 1676000 | #Constraints: 33638
2937.15/2946.24 c #Conflicts: 1677000 | #Constraints: 34638
2937.15/2946.24 c #Conflicts: 1678000 | #Constraints: 35638
2937.15/2946.24 c #Conflicts: 1679000 | #Constraints: 36638
2937.15/2946.24 c #Conflicts: 1680000 | #Constraints: 37638
2937.15/2946.24 c #Conflicts: 1681000 | #Constraints: 38638
2937.15/2946.24 c #Conflicts: 1682000 | #Constraints: 39638
2937.15/2946.24 c #Conflicts: 1683000 | #Constraints: 40638
2937.15/2946.24 c #Conflicts: 1684000 | #Constraints: 41638
2937.15/2946.24 c #Conflicts: 1685000 | #Constraints: 42638
2937.15/2946.24 c #Conflicts: 1686000 | #Constraints: 43638
2937.15/2946.24 c #Conflicts: 1687000 | #Constraints: 44638
2937.15/2946.24 c #Conflicts: 1688000 | #Constraints: 45638
2937.15/2946.24 c #Conflicts: 1689000 | #Constraints: 46638
2937.15/2946.24 c #Conflicts: 1690000 | #Constraints: 47638
2937.15/2946.24 c #Conflicts: 1691000 | #Constraints: 48638
2937.15/2946.24 c #Conflicts: 1692000 | #Constraints: 49638
2937.15/2946.24 c #Conflicts: 1693000 | #Constraints: 50638
2937.15/2946.24 c #Conflicts: 1694000 | #Constraints: 51638
2937.15/2946.24 c INPROCESSING
2937.15/2946.24 c GARBAGE COLLECT
2937.15/2946.24 c #Conflicts: 1695000 | #Constraints: 26834
2937.15/2946.24 c #Conflicts: 1696000 | #Constraints: 27834
2937.15/2946.24 c #Conflicts: 1697000 | #Constraints: 28834
2937.15/2946.24 c #Conflicts: 1698000 | #Constraints: 29834
2937.15/2946.24 c #Conflicts: 1699000 | #Constraints: 30834
2937.15/2946.24 c #Conflicts: 1700000 | #Constraints: 31834
2937.15/2946.24 c #Conflicts: 1701000 | #Constraints: 32834
2937.15/2946.24 c #Conflicts: 1702000 | #Constraints: 33834
2937.15/2946.24 c #Conflicts: 1703000 | #Constraints: 34834
2937.15/2946.24 c #Conflicts: 1704000 | #Constraints: 35834
2937.15/2946.24 c #Conflicts: 1705000 | #Constraints: 36834
2937.15/2946.24 c #Conflicts: 1706000 | #Constraints: 37834
2937.15/2946.24 c #Conflicts: 1707000 | #Constraints: 38834
2937.15/2946.24 c #Conflicts: 1708000 | #Constraints: 39834
2937.15/2946.24 c #Conflicts: 1709000 | #Constraints: 40834
2937.15/2946.24 c #Conflicts: 1710000 | #Constraints: 41834
2937.15/2946.24 c #Conflicts: 1711000 | #Constraints: 42834
2937.15/2946.24 c #Conflicts: 1712000 | #Constraints: 43834
2937.15/2946.24 c #Conflicts: 1713000 | #Constraints: 44834
2937.15/2946.24 c #Conflicts: 1714000 | #Constraints: 45834
2937.15/2946.24 c #Conflicts: 1715000 | #Constraints: 46834
2937.15/2946.24 c #Conflicts: 1716000 | #Constraints: 47834
2937.15/2946.24 c #Conflicts: 1717000 | #Constraints: 48834
2937.15/2946.24 c #Conflicts: 1718000 | #Constraints: 49834
2937.15/2946.24 c #Conflicts: 1719000 | #Constraints: 50834
2937.15/2946.24 c #Conflicts: 1720000 | #Constraints: 51834
2937.15/2946.24 c INPROCESSING
2937.15/2946.24 c GARBAGE COLLECT
2937.15/2946.24 c #Conflicts: 1721000 | #Constraints: 26833
2937.15/2946.24 c #Conflicts: 1722000 | #Constraints: 27833
2937.15/2946.24 c #Conflicts: 1723000 | #Constraints: 28833
2937.15/2946.24 c #Conflicts: 1724000 | #Constraints: 29833
2937.15/2946.24 c #Conflicts: 1725000 | #Constraints: 30833
2937.15/2946.24 c #Conflicts: 1726000 | #Constraints: 31833
2937.15/2946.24 c #Conflicts: 1727000 | #Constraints: 32833
2937.15/2946.24 c #Conflicts: 1728000 | #Constraints: 33833
2937.15/2946.24 c #Conflicts: 1729000 | #Constraints: 34833
2937.15/2946.24 c #Conflicts: 1730000 | #Constraints: 35833
2937.15/2946.24 c #Conflicts: 1731000 | #Constraints: 36833
2937.15/2946.24 c #Conflicts: 1732000 | #Constraints: 37833
2937.15/2946.24 c #Conflicts: 1733000 | #Constraints: 38833
2937.15/2946.24 c #Conflicts: 1734000 | #Constraints: 39833
2937.15/2946.24 c #Conflicts: 1735000 | #Constraints: 40833
2937.15/2946.24 c #Conflicts: 1736000 | #Constraints: 41833
2937.15/2946.24 c #Conflicts: 1737000 | #Constraints: 42833
2937.15/2946.24 c #Conflicts: 1738000 | #Constraints: 43833
2937.15/2946.24 c #Conflicts: 1739000 | #Constraints: 44833
2937.15/2946.24 c #Conflicts: 1740000 | #Constraints: 45833
2937.15/2946.24 c #Conflicts: 1741000 | #Constraints: 46833
2937.15/2946.24 c #Conflicts: 1742000 | #Constraints: 47833
2937.15/2946.24 c #Conflicts: 1743000 | #Constraints: 48833
2937.15/2946.24 c #Conflicts: 1744000 | #Constraints: 49833
2937.15/2946.24 c #Conflicts: 1745000 | #Constraints: 50833
2937.15/2946.24 c #Conflicts: 1746000 | #Constraints: 51833
2937.15/2946.24 c INPROCESSING
2937.15/2946.24 c GARBAGE COLLECT
2937.15/2946.24 c #Conflicts: 1747000 | #Constraints: 26636
2937.15/2946.24 c #Conflicts: 1748000 | #Constraints: 27636
3133.07/3142.70 c #Conflicts: 1749000 | #Constraints: 28636
3133.07/3142.70 c #Conflicts: 1750000 | #Constraints: 29636
3133.07/3142.70 c #Conflicts: 1751000 | #Constraints: 30636
3133.07/3142.70 c #Conflicts: 1752000 | #Constraints: 31636
3133.07/3142.70 c #Conflicts: 1753000 | #Constraints: 32636
3133.07/3142.70 c #Conflicts: 1754000 | #Constraints: 33636
3133.07/3142.70 c #Conflicts: 1755000 | #Constraints: 34636
3133.07/3142.70 c #Conflicts: 1756000 | #Constraints: 35636
3133.07/3142.70 c #Conflicts: 1757000 | #Constraints: 36636
3133.07/3142.70 c #Conflicts: 1758000 | #Constraints: 37636
3133.07/3142.70 c #Conflicts: 1759000 | #Constraints: 38636
3133.07/3142.70 c #Conflicts: 1760000 | #Constraints: 39636
3133.07/3142.70 c #Conflicts: 1761000 | #Constraints: 40636
3133.07/3142.70 c #Conflicts: 1762000 | #Constraints: 41636
3133.07/3142.70 c #Conflicts: 1763000 | #Constraints: 42636
3133.07/3142.70 c #Conflicts: 1764000 | #Constraints: 43636
3133.07/3142.70 c #Conflicts: 1765000 | #Constraints: 44636
3133.07/3142.70 c #Conflicts: 1766000 | #Constraints: 45636
3133.07/3142.70 c #Conflicts: 1767000 | #Constraints: 46636
3133.07/3142.70 c #Conflicts: 1768000 | #Constraints: 47636
3133.07/3142.70 c #Conflicts: 1769000 | #Constraints: 48636
3133.07/3142.70 c #Conflicts: 1770000 | #Constraints: 49636
3133.07/3142.70 c #Conflicts: 1771000 | #Constraints: 50636
3133.07/3142.70 c #Conflicts: 1772000 | #Constraints: 51636
3133.07/3142.70 c #Conflicts: 1773000 | #Constraints: 52636
3133.07/3142.70 c INPROCESSING
3133.07/3142.70 c GARBAGE COLLECT
3133.07/3142.70 c #Conflicts: 1774000 | #Constraints: 27230
3133.07/3142.70 c #Conflicts: 1775000 | #Constraints: 28230
3133.07/3142.70 c #Conflicts: 1776000 | #Constraints: 29230
3133.07/3142.70 c #Conflicts: 1777000 | #Constraints: 30230
3133.07/3142.70 c #Conflicts: 1778000 | #Constraints: 31230
3133.07/3142.70 c #Conflicts: 1779000 | #Constraints: 32230
3133.07/3142.70 c #Conflicts: 1780000 | #Constraints: 33230
3133.07/3142.70 c #Conflicts: 1781000 | #Constraints: 34230
3133.07/3142.70 c #Conflicts: 1782000 | #Constraints: 35230
3133.07/3142.70 c #Conflicts: 1783000 | #Constraints: 36230
3133.07/3142.70 c #Conflicts: 1784000 | #Constraints: 37230
3133.07/3142.70 c #Conflicts: 1785000 | #Constraints: 38230
3133.07/3142.70 c #Conflicts: 1786000 | #Constraints: 39230
3133.07/3142.70 c #Conflicts: 1787000 | #Constraints: 40230
3133.07/3142.70 c #Conflicts: 1788000 | #Constraints: 41230
3133.07/3142.70 c #Conflicts: 1789000 | #Constraints: 42230
3133.07/3142.70 c #Conflicts: 1790000 | #Constraints: 43230
3133.07/3142.70 c #Conflicts: 1791000 | #Constraints: 44230
3133.07/3142.70 c #Conflicts: 1792000 | #Constraints: 45230
3133.07/3142.70 c #Conflicts: 1793000 | #Constraints: 46230
3133.07/3142.70 c #Conflicts: 1794000 | #Constraints: 47230
3133.07/3142.70 c #Conflicts: 1795000 | #Constraints: 48230
3133.07/3142.70 c #Conflicts: 1796000 | #Constraints: 49230
3133.07/3142.70 c #Conflicts: 1797000 | #Constraints: 50230
3133.07/3142.70 c #Conflicts: 1798000 | #Constraints: 51230
3133.07/3142.70 c #Conflicts: 1799000 | #Constraints: 52230
3133.07/3142.70 c #Conflicts: 1800000 | #Constraints: 53230
3133.07/3142.70 c INPROCESSING
3133.07/3142.70 c GARBAGE COLLECT
3133.07/3142.70 c #Conflicts: 1801000 | #Constraints: 27632
3133.07/3142.70 c #Conflicts: 1802000 | #Constraints: 28632
3133.07/3142.70 c #Conflicts: 1803000 | #Constraints: 29632
3133.07/3142.70 c #Conflicts: 1804000 | #Constraints: 30632
3133.07/3142.70 c #Conflicts: 1805000 | #Constraints: 31632
3133.07/3142.70 c #Conflicts: 1806000 | #Constraints: 32632
3133.07/3142.70 c #Conflicts: 1807000 | #Constraints: 33632
3133.07/3142.70 c #Conflicts: 1808000 | #Constraints: 34632
3133.07/3142.70 c #Conflicts: 1809000 | #Constraints: 35632
3133.07/3142.70 c #Conflicts: 1810000 | #Constraints: 36632
3133.07/3142.70 c #Conflicts: 1811000 | #Constraints: 37632
3133.07/3142.70 c #Conflicts: 1812000 | #Constraints: 38632
3133.07/3142.70 c #Conflicts: 1813000 | #Constraints: 39632
3133.07/3142.70 c #Conflicts: 1814000 | #Constraints: 40632
3133.07/3142.70 c #Conflicts: 1815000 | #Constraints: 41632
3133.07/3142.70 c #Conflicts: 1816000 | #Constraints: 42632
3133.07/3142.70 c #Conflicts: 1817000 | #Constraints: 43632
3133.07/3142.70 c #Conflicts: 1818000 | #Constraints: 44632
3133.07/3142.70 c #Conflicts: 1819000 | #Constraints: 45632
3133.07/3142.70 c #Conflicts: 1820000 | #Constraints: 46632
3133.07/3142.70 c #Conflicts: 1821000 | #Constraints: 47632
3133.07/3142.70 c #Conflicts: 1822000 | #Constraints: 48632
3133.07/3142.70 c #Conflicts: 1823000 | #Constraints: 49632
3133.07/3142.70 c #Conflicts: 1824000 | #Constraints: 50632
3133.07/3142.70 c #Conflicts: 1825000 | #Constraints: 51632
3133.07/3142.70 c #Conflicts: 1826000 | #Constraints: 52632
3336.04/3346.27 c #Conflicts: 1827000 | #Constraints: 53632
3336.04/3346.27 c INPROCESSING
3336.04/3346.27 c GARBAGE COLLECT
3336.04/3346.27 c #Conflicts: 1828000 | #Constraints: 27833
3336.04/3346.27 c #Conflicts: 1829000 | #Constraints: 28833
3336.04/3346.27 c #Conflicts: 1830000 | #Constraints: 29833
3336.04/3346.27 c #Conflicts: 1831000 | #Constraints: 30833
3336.04/3346.27 c #Conflicts: 1832000 | #Constraints: 31833
3336.04/3346.27 c #Conflicts: 1833000 | #Constraints: 32833
3336.04/3346.27 c #Conflicts: 1834000 | #Constraints: 33833
3336.04/3346.27 c #Conflicts: 1835000 | #Constraints: 34833
3336.04/3346.27 c #Conflicts: 1836000 | #Constraints: 35833
3336.04/3346.27 c #Conflicts: 1837000 | #Constraints: 36833
3336.04/3346.27 c #Conflicts: 1838000 | #Constraints: 37833
3336.04/3346.27 c #Conflicts: 1839000 | #Constraints: 38833
3336.04/3346.27 c #Conflicts: 1840000 | #Constraints: 39833
3336.04/3346.27 c #Conflicts: 1841000 | #Constraints: 40833
3336.04/3346.27 c #Conflicts: 1842000 | #Constraints: 41833
3336.04/3346.27 c #Conflicts: 1843000 | #Constraints: 42833
3336.04/3346.27 c #Conflicts: 1844000 | #Constraints: 43833
3336.04/3346.27 c #Conflicts: 1845000 | #Constraints: 44833
3336.04/3346.27 c #Conflicts: 1846000 | #Constraints: 45833
3336.04/3346.27 c #Conflicts: 1847000 | #Constraints: 46833
3336.04/3346.27 c #Conflicts: 1848000 | #Constraints: 47833
3336.04/3346.27 c #Conflicts: 1849000 | #Constraints: 48833
3336.04/3346.27 c #Conflicts: 1850000 | #Constraints: 49833
3336.04/3346.27 c #Conflicts: 1851000 | #Constraints: 50833
3336.04/3346.27 c #Conflicts: 1852000 | #Constraints: 51833
3336.04/3346.27 c #Conflicts: 1853000 | #Constraints: 52833
3336.04/3346.27 c #Conflicts: 1854000 | #Constraints: 53833
3336.04/3346.27 c INPROCESSING
3336.04/3346.27 c GARBAGE COLLECT
3336.04/3346.27 c #Conflicts: 1855000 | #Constraints: 27839
3336.04/3346.27 c #Conflicts: 1856000 | #Constraints: 28839
3336.04/3346.27 c #Conflicts: 1857000 | #Constraints: 29839
3336.04/3346.27 c #Conflicts: 1858000 | #Constraints: 30839
3336.04/3346.27 c #Conflicts: 1859000 | #Constraints: 31839
3336.04/3346.27 c #Conflicts: 1860000 | #Constraints: 32839
3336.04/3346.27 c #Conflicts: 1861000 | #Constraints: 33839
3336.04/3346.27 c #Conflicts: 1862000 | #Constraints: 34839
3336.04/3346.27 c #Conflicts: 1863000 | #Constraints: 35839
3336.04/3346.27 c #Conflicts: 1864000 | #Constraints: 36839
3336.04/3346.27 c #Conflicts: 1865000 | #Constraints: 37839
3336.04/3346.27 c #Conflicts: 1866000 | #Constraints: 38839
3336.04/3346.27 c #Conflicts: 1867000 | #Constraints: 39839
3336.04/3346.27 c #Conflicts: 1868000 | #Constraints: 40839
3336.04/3346.27 c #Conflicts: 1869000 | #Constraints: 41839
3336.04/3346.27 c #Conflicts: 1870000 | #Constraints: 42839
3336.04/3346.27 c #Conflicts: 1871000 | #Constraints: 43839
3336.04/3346.27 c #Conflicts: 1872000 | #Constraints: 44839
3336.04/3346.27 c #Conflicts: 1873000 | #Constraints: 45839
3336.04/3346.27 c #Conflicts: 1874000 | #Constraints: 46839
3336.04/3346.27 c #Conflicts: 1875000 | #Constraints: 47839
3336.04/3346.27 c #Conflicts: 1876000 | #Constraints: 48839
3336.04/3346.27 c #Conflicts: 1877000 | #Constraints: 49839
3336.04/3346.27 c #Conflicts: 1878000 | #Constraints: 50839
3336.04/3346.27 c #Conflicts: 1879000 | #Constraints: 51839
3336.04/3346.27 c #Conflicts: 1880000 | #Constraints: 52839
3336.04/3346.27 c #Conflicts: 1881000 | #Constraints: 53839
3336.04/3346.27 c INPROCESSING
3336.04/3346.27 c GARBAGE COLLECT
3336.04/3346.27 c #Conflicts: 1882000 | #Constraints: 27638
3336.04/3346.27 c #Conflicts: 1883000 | #Constraints: 28638
3336.04/3346.27 c #Conflicts: 1884000 | #Constraints: 29638
3336.04/3346.27 c #Conflicts: 1885000 | #Constraints: 30638
3336.04/3346.27 c #Conflicts: 1886000 | #Constraints: 31638
3336.04/3346.27 c #Conflicts: 1887000 | #Constraints: 32638
3336.04/3346.27 c #Conflicts: 1888000 | #Constraints: 33638
3336.04/3346.27 c #Conflicts: 1889000 | #Constraints: 34638
3336.04/3346.27 c #Conflicts: 1890000 | #Constraints: 35638
3336.04/3346.27 c #Conflicts: 1891000 | #Constraints: 36638
3336.04/3346.27 c #Conflicts: 1892000 | #Constraints: 37638
3336.04/3346.27 c #Conflicts: 1893000 | #Constraints: 38638
3336.04/3346.27 c #Conflicts: 1894000 | #Constraints: 39638
3336.04/3346.27 c #Conflicts: 1895000 | #Constraints: 40638
3336.04/3346.27 c #Conflicts: 1896000 | #Constraints: 41638
3336.04/3346.27 c #Conflicts: 1897000 | #Constraints: 42638
3336.04/3346.27 c #Conflicts: 1898000 | #Constraints: 43638
3336.04/3346.27 c #Conflicts: 1899000 | #Constraints: 44638
3336.04/3346.27 c #Conflicts: 1900000 | #Constraints: 45638
3336.04/3346.27 c #Conflicts: 1901000 | #Constraints: 46638
3336.04/3346.27 c #Conflicts: 1902000 | #Constraints: 47638
3336.04/3346.27 c #Conflicts: 1903000 | #Constraints: 48638
3550.18/3560.96 c #Conflicts: 1904000 | #Constraints: 49638
3550.18/3560.96 c #Conflicts: 1905000 | #Constraints: 50638
3550.18/3560.96 c #Conflicts: 1906000 | #Constraints: 51638
3550.18/3560.96 c #Conflicts: 1907000 | #Constraints: 52638
3550.18/3560.96 c #Conflicts: 1908000 | #Constraints: 53638
3550.18/3560.96 c #Conflicts: 1909000 | #Constraints: 54638
3550.18/3560.96 c INPROCESSING
3550.18/3560.96 c GARBAGE COLLECT
3550.18/3560.96 c #Conflicts: 1910000 | #Constraints: 28238
3550.18/3560.96 c #Conflicts: 1911000 | #Constraints: 29238
3550.18/3560.96 c #Conflicts: 1912000 | #Constraints: 30238
3550.18/3560.96 c #Conflicts: 1913000 | #Constraints: 31238
3550.18/3560.96 c #Conflicts: 1914000 | #Constraints: 32238
3550.18/3560.96 c #Conflicts: 1915000 | #Constraints: 33238
3550.18/3560.96 c #Conflicts: 1916000 | #Constraints: 34238
3550.18/3560.96 c #Conflicts: 1917000 | #Constraints: 35238
3550.18/3560.96 c #Conflicts: 1918000 | #Constraints: 36238
3550.18/3560.96 c #Conflicts: 1919000 | #Constraints: 37238
3550.18/3560.96 c #Conflicts: 1920000 | #Constraints: 38238
3550.18/3560.96 c #Conflicts: 1921000 | #Constraints: 39238
3550.18/3560.96 c #Conflicts: 1922000 | #Constraints: 40238
3550.18/3560.96 c #Conflicts: 1923000 | #Constraints: 41238
3550.18/3560.96 c #Conflicts: 1924000 | #Constraints: 42238
3550.18/3560.96 c #Conflicts: 1925000 | #Constraints: 43238
3550.18/3560.96 c #Conflicts: 1926000 | #Constraints: 44238
3550.18/3560.96 c #Conflicts: 1927000 | #Constraints: 45238
3550.18/3560.96 c #Conflicts: 1928000 | #Constraints: 46238
3550.18/3560.96 c #Conflicts: 1929000 | #Constraints: 47238
3550.18/3560.96 c #Conflicts: 1930000 | #Constraints: 48238
3550.18/3560.96 c #Conflicts: 1931000 | #Constraints: 49238
3550.18/3560.96 c #Conflicts: 1932000 | #Constraints: 50238
3550.18/3560.96 c #Conflicts: 1933000 | #Constraints: 51238
3550.18/3560.96 c #Conflicts: 1934000 | #Constraints: 52238
3550.18/3560.96 c #Conflicts: 1935000 | #Constraints: 53238
3550.18/3560.96 c #Conflicts: 1936000 | #Constraints: 54238
3550.18/3560.96 c #Conflicts: 1937000 | #Constraints: 55238
3550.18/3560.96 c INPROCESSING
3550.18/3560.96 c GARBAGE COLLECT
3550.18/3560.96 c #Conflicts: 1938000 | #Constraints: 28638
3550.18/3560.96 c #Conflicts: 1939000 | #Constraints: 29638
3550.18/3560.96 c #Conflicts: 1940000 | #Constraints: 30638
3550.18/3560.96 c #Conflicts: 1941000 | #Constraints: 31638
3550.18/3560.96 c #Conflicts: 1942000 | #Constraints: 32638
3550.18/3560.96 c #Conflicts: 1943000 | #Constraints: 33638
3550.18/3560.96 c #Conflicts: 1944000 | #Constraints: 34638
3550.18/3560.96 c #Conflicts: 1945000 | #Constraints: 35638
3550.18/3560.96 c #Conflicts: 1946000 | #Constraints: 36638
3550.18/3560.96 c #Conflicts: 1947000 | #Constraints: 37638
3550.18/3560.96 c #Conflicts: 1948000 | #Constraints: 38638
3550.18/3560.96 c #Conflicts: 1949000 | #Constraints: 39638
3550.18/3560.96 c #Conflicts: 1950000 | #Constraints: 40638
3550.18/3560.96 c #Conflicts: 1951000 | #Constraints: 41638
3550.18/3560.96 c #Conflicts: 1952000 | #Constraints: 42638
3550.18/3560.96 c #Conflicts: 1953000 | #Constraints: 43638
3550.18/3560.96 c #Conflicts: 1954000 | #Constraints: 44638
3550.18/3560.96 c #Conflicts: 1955000 | #Constraints: 45638
3550.18/3560.96 c #Conflicts: 1956000 | #Constraints: 46638
3550.18/3560.96 c #Conflicts: 1957000 | #Constraints: 47638
3550.18/3560.96 c #Conflicts: 1958000 | #Constraints: 48638
3550.18/3560.96 c #Conflicts: 1959000 | #Constraints: 49638
3550.18/3560.96 c #Conflicts: 1960000 | #Constraints: 50638
3550.18/3560.96 c #Conflicts: 1961000 | #Constraints: 51638
3550.18/3560.96 c #Conflicts: 1962000 | #Constraints: 52638
3550.18/3560.96 c #Conflicts: 1963000 | #Constraints: 53638
3550.18/3560.96 c #Conflicts: 1964000 | #Constraints: 54638
3550.18/3560.96 c #Conflicts: 1965000 | #Constraints: 55638
3550.18/3560.96 c INPROCESSING
3550.18/3560.96 c GARBAGE COLLECT
3550.18/3560.96 c #Conflicts: 1966000 | #Constraints: 28839
3550.18/3560.96 c #Conflicts: 1967000 | #Constraints: 29839
3550.18/3560.96 c #Conflicts: 1968000 | #Constraints: 30839
3550.18/3560.96 c #Conflicts: 1969000 | #Constraints: 31839
3550.18/3560.96 c #Conflicts: 1970000 | #Constraints: 32839
3550.18/3560.96 c #Conflicts: 1971000 | #Constraints: 33839
3550.18/3560.96 c #Conflicts: 1972000 | #Constraints: 34839
3550.18/3560.96 c #Conflicts: 1973000 | #Constraints: 35839
3550.18/3560.96 c #Conflicts: 1974000 | #Constraints: 36839
3550.18/3560.96 c #Conflicts: 1975000 | #Constraints: 37839
3550.18/3560.96 c #Conflicts: 1976000 | #Constraints: 38839
3550.18/3560.96 c #Conflicts: 1977000 | #Constraints: 39839
3550.18/3560.96 c #Conflicts: 1978000 | #Constraints: 40839
3550.18/3560.96 c #Conflicts: 1979000 | #Constraints: 41839
3600.05/3610.90 c #Conflicts: 1980000 | #Constraints: 42839
3600.05/3610.90 c #Conflicts: 1981000 | #Constraints: 43839
3600.05/3610.90 c #Conflicts: 1982000 | #Constraints: 44839
3600.05/3610.90 c #Conflicts: 1983000 | #Constraints: 45839
3600.05/3610.90 c #Conflicts: 1984000 | #Constraints: 46839
3600.05/3610.90 c #Conflicts: 1985000 | #Constraints: 47839
3600.05/3610.90 c #Conflicts: 1986000 | #Constraints: 48839
3600.05/3610.90 c #Conflicts: 1987000 | #Constraints: 49839
3600.05/3610.90 c #Conflicts: 1988000 | #Constraints: 50839
3600.05/3610.90 c #Conflicts: 1989000 | #Constraints: 51839
3600.05/3610.90 c #Conflicts: 1990000 | #Constraints: 52839
3600.05/3610.90 c #Conflicts: 1991000 | #Constraints: 53839
3600.05/3610.90 c #Conflicts: 1992000 | #Constraints: 54839
3600.05/3610.90 c #Conflicts: 1993000 | #Constraints: 55839
3600.05/3610.90 c INPROCESSING
3600.05/3610.90 c GARBAGE COLLECT
3600.05/3610.90 c #Conflicts: 1994000 | #Constraints: 28837
3600.05/3610.90 c #Conflicts: 1995000 | #Constraints: 29837
3600.05/3610.90 c #Conflicts: 1996000 | #Constraints: 30837
3600.05/3610.90 c Program interrupted by user.
3600.05/3610.90 c cpu time 3590.82 s
3600.05/3610.90 c deterministic time 534903499416 5.35e+11
3600.05/3610.90 c optimization time 9.58391 s
3600.05/3610.90 c total solve time 3282.07 s
3600.05/3610.90 c core-guided solve time 3282.07 s
3600.05/3610.90 c propagation time 3153.11 s
3600.05/3610.90 c conflict analysis time 122.214 s
3600.05/3610.90 c propagations 26110009
3600.05/3610.90 c resolve steps 9163427
3600.05/3610.90 c decisions 4332139
3600.05/3610.90 c conflicts 1996982
3600.05/3610.90 c restarts 3926
3600.05/3610.90 c inprocessing phases 132
3600.05/3610.90 c input clauses 0
3600.05/3610.90 c input cardinalities 0
3600.05/3610.90 c input general constraints 21
3600.05/3610.90 c input average constraint length 92.38
3600.05/3610.90 c input average constraint degree 2060.71
3600.05/3610.90 c learned clauses 966542
3600.05/3610.90 c learned cardinalities 0
3600.05/3610.90 c learned general constraints 1030439
3600.05/3610.90 c learned average constraint length 90.21
3600.05/3610.90 c learned average constraint degree 73166.14
3600.05/3610.90 c watched constraints 1029765
3600.05/3610.90 c counting constraints 695
3600.05/3610.90 c gcd simplifications 839953
3600.05/3610.90 c detected cardinalities 0
3600.05/3610.90 c weakened non-implied lits 36627614
3600.05/3610.90 c weakened non-implying lits 2322490
3600.05/3610.90 c original variables 198
3600.05/3610.90 c clausal propagations 469362
3600.05/3610.90 c cardinality propagations 0
3600.05/3610.90 c watched propagations 21087521
3600.05/3610.90 c counting propagations 3123188
3600.05/3610.90 c watch lookups 24914978165
3600.05/3610.90 c watch backjump lookups 6659227780
3600.05/3610.90 c watch checks 468197993201
3600.05/3610.90 c propagation checks 34043365934
3600.05/3610.90 c constraint additions 1025053223
3600.05/3610.90 c trail pops 32438964
3600.05/3610.90 c formula constraints 16
3600.05/3610.90 c learned constraints 1996981
3600.05/3610.90 c bound constraints 5
3600.05/3610.90 c core-guided constraints 0
3600.05/3610.90 c encountered formula constraints 3287125
3600.05/3610.90 c encountered learned constraints 7872881
3600.05/3610.90 c encountered bound constraints 403
3600.05/3610.90 c encountered core-guided constraints 0
3600.05/3610.90 c LP total time 0 s
3600.05/3610.90 c LP solve time 0 s
3600.05/3610.90 c LP constraints added 0
3600.05/3610.90 c LP constraints removed 0
3600.05/3610.90 c LP pivots internal 0
3600.05/3610.90 c LP pivots root 0
3600.05/3610.90 c LP calls 0
3600.05/3610.90 c LP optimalities 0
3600.05/3610.90 c LP no pivot count 0
3600.05/3610.90 c LP infeasibilities 0
3600.05/3610.90 c LP valid Farkas constraints 0
3600.05/3610.90 c LP learned Farkas constraints 0
3600.05/3610.90 c LP basis resets 0
3600.05/3610.90 c LP cycling count 0
3600.05/3610.90 c LP singular count 0
3600.05/3610.90 c LP no primal count 0
3600.05/3610.90 c LP no farkas count 0
3600.05/3610.90 c LP other issue count 0
3600.05/3610.90 c LP Gomory cuts 0
3600.05/3610.90 c LP learned cuts 0
3600.05/3610.90 c LP deleted cuts 0
3600.05/3610.90 c LP encountered Gomory constraints 0
3600.05/3610.90 c LP encountered Farkas constraints 0
3600.05/3610.90 c LP encountered learned Farkas constraints 0
3600.05/3610.90 c CG auxiliary variables introduced 0
3600.05/3610.90 c CG solutions found 4
3600.05/3610.90 c CG cores constructed 0
3600.05/3610.90 c CG core cardinality constraints returned 0
3600.05/3610.90 c CG unit cores 0
3600.05/3610.90 c CG single cores 0
3600.05/3610.90 c CG blocks removed during cardinality reduction 0
3600.05/3610.90 c CG first core best 0
3600.05/3610.90 c CG decision core best 0
3600.05/3610.90 c CG core reduction tie 0
3600.05/3610.90 c CG core degree average 0.00
3600.05/3610.90 c CG core slack average 0.00
3600.05/3610.90 c CG exhausted 0
3600.05/3610.90 c CG exhaust time 0 s
3600.05/3610.90 c CG trimmed 0
3600.05/3610.90 c CG trim time 0 s
3600.05/3610.90 c CG minimized 0
3600.05/3610.90 c CG minimize time 0 s
3600.05/3610.90 c CG am1 prop time 0.000347 s
3600.05/3610.90 c CG # am1s reformulated 0
3600.05/3610.90 c CG lower bound derived from am1s 0
3600.05/3610.90 c CG # clausal cores 0
3600.05/3610.90 c CG # cardinality cores 0
3600.05/3610.90 c CG # pb cores 0
3600.05/3610.90 c CG # pb reforms 0
3600.05/3610.90 c CG # cores discarded because of pb reform 0
3600.05/3610.90 d LOWERBOUND 0
3600.05/3610.90 d NCORES 0
3600.05/3610.90 d NPBCORES 0
3600.05/3610.90 d NPBREFORM 0
3600.05/3610.90 d NTRIMMED 0
3600.05/3610.90 d NEXHAUSTED 0
3600.05/3610.90 d NAM1S 0
3600.05/3610.90 d AM1LB 0
3600.05/3610.90 c [Papilo Statistics]
3600.05/3610.90 c prepro time 0.000453973s
3600.05/3610.90 c # tsx applied 8
3600.05/3610.90 c # tsx conflicts 0
3600.05/3610.90 c # bound changes 0
3600.05/3610.90 c # side changes 8
3600.05/3610.90 c # coef changes 0
3600.05/3610.90 c # rounds 2
3600.05/3610.90 c # deted vars 0
3600.05/3610.90 c # deted constrs 8
3600.05/3610.90 c # consecutive rounds of only bound changes 0
3600.05/3610.90 c [STEP] postprocessing with Papilo
3600.05/3610.90 o 51
3600.05/3610.90 s SATISFIABLE
3600.05/3610.90 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: 63708 MiB (46595 MiB free)
memory of node 1: 64465 MiB (62909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528965-1752257588/watcher-4528965-1752257588 -o /tmp/evaluation-result-4528965-1752257588/solver-4528965-1752257588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122189 --watchdog 3760 mixed-bag HOME/instance-4528965-1752257588.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122224, runsolver pid=122221
[startup+0.100066 s]*
/proc/loadavg: 2.20 3.22 3.73 5/259 122238
/proc/meminfo: memFree=112087028/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=101300 memory=29568 CPUtime=0.08 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 3530 0 0 0 8 0 0 0 20 0 1 0 141435438 103731200 7392 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 25325 7392 4288 2834 0 7530 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101300 KiB
Current children cumulated memory: 29568 KiB
[startup+0.205447 s]*
/proc/loadavg: 2.20 3.22 3.73 7/260 122240
/proc/meminfo: memFree=112064616/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=115960 memory=43008 CPUtime=0.18 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 6911 0 0 0 17 1 0 0 20 0 1 0 141435438 118743040 10752 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 28990 10752 4288 2834 0 11195 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115960 KiB
Current children cumulated memory: 43008 KiB
[startup+0.305363 s]*
/proc/loadavg: 2.20 3.22 3.73 5/264 122248
/proc/meminfo: memFree=112052728/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=115196 memory=42712 CPUtime=0.28 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 7573 0 0 0 27 1 0 0 20 0 1 0 141435438 117960704 10678 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 28799 10678 4288 2834 0 11004 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 115196 KiB
Current children cumulated memory: 42712 KiB
[startup+0.700126 s]
/proc/loadavg: 2.20 3.22 3.73 5/264 122248
/proc/meminfo: memFree=112017204/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=115932 memory=43480 CPUtime=0.67 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 7802 0 0 0 66 1 0 0 20 0 1 0 141435438 118714368 10870 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 28983 10870 4288 2834 0 11188 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 43480 KiB
[startup+1.50017 s]
/proc/loadavg: 2.20 3.22 3.73 5/264 122248
/proc/meminfo: memFree=111886832/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=122744 memory=50052 CPUtime=1.47 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 9516 0 0 0 146 1 0 0 20 0 1 0 141435438 125689856 12513 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 30686 12513 4288 2834 0 12891 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122744 KiB
Current children cumulated memory: 50052 KiB
[startup+3.10532 s]
/proc/loadavg: 2.20 3.22 3.73 5/264 122248
/proc/meminfo: memFree=111580256/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=135388 memory=60220 CPUtime=3.06 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 12298 0 0 0 305 1 0 0 20 0 1 0 141435438 138637312 15055 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 33847 15055 4288 2834 0 16052 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 135388 KiB
Current children cumulated memory: 60220 KiB
[startup+6.30014 s]
/proc/loadavg: 2.35 3.23 3.74 5/264 122248
/proc/meminfo: memFree=111052544/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=149240 memory=74556 CPUtime=6.25 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 15799 0 0 0 623 2 0 0 20 0 1 0 141435438 152821760 18639 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 37310 18639 4384 2834 0 19515 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 149240 KiB
Current children cumulated memory: 74556 KiB
[startup+12.7001 s]
/proc/loadavg: 2.56 3.26 3.74 5/264 122248
/proc/meminfo: memFree=110833884/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=165852 memory=91632 CPUtime=12.63 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 21238 0 0 0 1260 3 0 0 20 0 1 0 141435438 169832448 22908 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 41463 22908 4384 2834 0 23668 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 165852 KiB
Current children cumulated memory: 91632 KiB
[startup+25.5001 s]
/proc/loadavg: 2.88 3.30 3.75 5/264 122294
/proc/meminfo: memFree=110781948/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=205264 memory=128388 CPUtime=25.38 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 30530 0 0 0 2533 5 0 0 20 0 1 0 141435438 210190336 32097 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 51316 32097 4384 2834 0 33521 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 205264 KiB
Current children cumulated memory: 128388 KiB
[startup+51.1051 s]
/proc/loadavg: 3.39 3.39 3.76 5/264 122294
/proc/meminfo: memFree=110642888/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=260784 memory=182196 CPUtime=50.89 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 47848 0 0 0 5081 8 0 0 20 0 1 0 141435438 267042816 45549 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 65196 45549 4384 2834 0 47401 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 260784 KiB
Current children cumulated memory: 182196 KiB
[startup+102.3 s]
/proc/loadavg: 3.78 3.50 3.78 5/265 122341
/proc/meminfo: memFree=110421256/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=395704 memory=315200 CPUtime=101.88 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 81889 0 0 0 10173 15 0 0 20 0 1 0 141435438 405200896 78800 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 98926 78800 4384 2834 0 81131 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 395704 KiB
Current children cumulated memory: 315200 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.62 3.81 5/265 122343
/proc/meminfo: memFree=110306604/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=505344 memory=421312 CPUtime=161.66 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 108060 0 0 0 16146 20 0 0 20 0 1 0 141435438 517472256 105328 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126336 105328 4384 2834 0 108541 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 505344 KiB
Current children cumulated memory: 421312 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.71 3.83 5/264 122345
/proc/meminfo: memFree=110141336/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=625808 memory=543224 CPUtime=221.45 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 138996 0 0 0 22116 29 0 0 20 0 1 0 141435438 640827392 135806 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 156452 135806 4384 2834 0 138657 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 625808 KiB
Current children cumulated memory: 543224 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.80 3.85 5/265 122354
/proc/meminfo: memFree=110032884/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=700612 memory=616568 CPUtime=281.24 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 156717 0 0 0 28091 33 0 0 20 0 1 0 141435438 717426688 154142 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 175153 154142 4384 2834 0 157358 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 700612 KiB
Current children cumulated memory: 616568 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111278876/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=468284 memory=398092 CPUtime=341.03 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 160817 0 0 0 34022 81 0 0 20 0 1 0 141435438 479522816 99523 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 117071 99523 4576 2834 0 99276 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 468284 KiB
Current children cumulated memory: 398092 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.90 3.89 5/265 122809
/proc/meminfo: memFree=111169076/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=468284 memory=401272 CPUtime=400.84 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 161086 0 0 0 39962 122 0 0 20 0 1 0 141435438 479522816 100318 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 117071 100318 4576 2834 0 99276 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 468284 KiB
Current children cumulated memory: 401272 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 4.02 3.93 5/264 122811
/proc/meminfo: memFree=111089752/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=475464 memory=404588 CPUtime=460.64 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 161403 0 0 0 45902 162 0 0 20 0 1 0 141435438 486875136 101147 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 118866 101147 4576 2834 0 101071 0
################
# More data... #
################
Current children cumulated memory: 424812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 122942
/proc/meminfo: memFree=110905288/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=424812 CPUtime=2913.32 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162608 0 0 0 290530 802 0 0 20 0 1 0 141435438 518254592 106203 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106203 4576 2834 0 108732 0
Current children cumulated CPU time: 2913.32 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 424812 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 122944
/proc/meminfo: memFree=110901520/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=2973.14 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162672 0 0 0 296499 815 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 122946
/proc/meminfo: memFree=110901392/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3032.95 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162672 0 0 0 302467 828 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 122948
/proc/meminfo: memFree=110898248/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3092.78 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 308437 841 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 122950
/proc/meminfo: memFree=110897860/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3152.62 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 314411 851 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 122952
/proc/meminfo: memFree=110897644/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3212.47 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 320386 861 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 122961
/proc/meminfo: memFree=110897892/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3272.31 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 326360 871 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 122963
/proc/meminfo: memFree=110898384/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3332.15 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 332334 881 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 122965
/proc/meminfo: memFree=110898576/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3392 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 338309 891 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 122968
/proc/meminfo: memFree=110898184/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=427156 CPUtime=3451.84 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162685 0 0 0 344283 901 0 0 20 0 1 0 141435438 518254592 106789 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 106789 4576 2834 0 108732 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 427156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 122970
/proc/meminfo: memFree=110898064/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=429204 CPUtime=3511.68 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162686 0 0 0 350258 910 0 0 20 0 1 0 141435438 518254592 107301 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 107301 4576 2834 0 108732 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 429204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 122972
/proc/meminfo: memFree=110898392/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=429204 CPUtime=3571.52 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162708 0 0 0 356233 919 0 0 20 0 1 0 141435438 518254592 107301 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 107301 4576 2834 0 108732 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 429204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 122972
/proc/meminfo: memFree=110898408/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=429204 CPUtime=3600.05 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162747 0 0 0 359082 923 0 0 20 0 1 0 141435438 518254592 107301 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 107301 4576 2834 0 108732 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 429204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 122224 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.83 s, system=9.23369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 122972
/proc/meminfo: memFree=110898408/131250000 swapFree=33008356/33010684
[pid=122224] ppid=122221 vsize=506108 memory=429204 CPUtime=3600.05 cores=0,2
/proc/122224/stat : 122224 (mixed-bag) R 122221 122224 122179 0 -1 4194304 162747 0 0 0 359082 923 0 0 20 0 1 0 141435438 518254592 107301 18446744073709551615 4235264 15840557 140726614075792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 48877568 140726614083994 140726614084071 140726614084071 140726614089675 0
/proc/122224/statm: 126527 107301 4576 2834 0 108732 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 506108 KiB
Current children cumulated memory: 429204 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.06
CPU user time (s): 3590.83
CPU system time (s): 9.23369
CPU usage (%): 99.6997
Max. virtual memory (cumulated for all children) (KiB): 716728
Max. memory (cumulated for all children) (KiB): 634732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.83
system time used= 9.23369
maximum resident set size= 634732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162773
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= 280
involuntary context switches= 4614
# summary of solver processes directly reported to runsolver:
# pid: 122224
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.83
# total CPU system time (s): 9.23369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75598 second user time and 14.6036 second system time
The end
Begin job on nodeC014 at 2025-07-11 20:13:08
IDJOB=4528965
IDBENCH=147578
IDSOLVER=3386
FILE ID=nodeC014/4528965-1752257588
RUNJOBID= nodeC014-1752257588-122189
SLURM_JOB_ID= 9682608
Free space on /tmp= 430512 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528965-1752257588/watcher-4528965-1752257588 -o /tmp/evaluation-result-4528965-1752257588/solver-4528965-1752257588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122189 --watchdog 3760 mixed-bag HOME/instance-4528965-1752257588.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=2037838300
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3618.203
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3601.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.217
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3638.772
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 112172704 kB
MemAvailable: 129676944 kB
Buffers: 696 kB
Cached: 18254196 kB
SwapCached: 1628 kB
Active: 458368 kB
Inactive: 17883536 kB
Active(anon): 80596 kB
Inactive(anon): 31012 kB
Active(file): 377772 kB
Inactive(file): 17852524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 60564 kB
Writeback: 12 kB
AnonPages: 88568 kB
Mapped: 105168 kB
Shmem: 24596 kB
KReclaimable: 226368 kB
Slab: 320916 kB
SReclaimable: 226368 kB
SUnreclaim: 94548 kB
KernelStack: 4048 kB
PageTables: 2808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 368108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430452 MiB
End job on nodeC014 at 2025-07-11 21:13:20