(2,19) (3,5) (4,24) (6,14) (7,30) (8,16) (9,13) (10,28) (11,26) (12,27) (15,23) (17,22) (18,25) (20,29) 
nodes: 225196  conflicts: 17  modelTime: 1690  solveTime: 1000383  totalTime: 1002178  modelSize: 72275  readTime: 103 size: 14