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