(1,21) (2,19) (3,27) (4,18) (5,22) (6,24) (7,23) (10,17) (12,30) (13,29) (15,25) 
nodes: 991  conflicts: 61  modelTime: 664  solveTime: 1067  totalTime: 1737  modelSize: 41293  readTime: 6 size: 11