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