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