(1,19) (2,23) (3,27) (4,22) (5,16) (6,24) (7,28) (8,30) (9,20) (10,17) (11,18) (12,21) (13,25) (14,29) (15,26) 
nodes: 847  conflicts: 2  modelTime: 710  solveTime: 927  totalTime: 1643  modelSize: 41293  readTime: 6 size: 15