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