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