(2,20) (3,21) (5,19) (6,18) (8,22) (9,30) (10,27) (11,25) (12,24) (15,29) 
nodes: 1026  conflicts: 93  modelTime: 669  solveTime: 1057  totalTime: 1733  modelSize: 41300  readTime: 7 size: 10