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