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