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