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