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