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