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