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