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