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