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