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