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