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