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