(1,6) (2,25) (3,14) (4,16) (5,8) (7,13) (9,27) (10,21) (11,15) (12,24) (17,19) (20,29) (23,30) (26,28) 
nodes: 184521  conflicts: 60  modelTime: 1728  solveTime: 731454  totalTime: 733201  modelSize: 72264  readTime: 19 size: 14