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