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