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