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