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