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