(1,8) (2,7) (3,22) (4,5) (6,9) (10,16) (11,19) (12,18) (13,23) (14,30) (15,24) (17,21) (20,29) (25,27) (26,28) 
nodes: 58019  conflicts: 48  modelTime: 1715  solveTime: 314970  totalTime: 316705  modelSize: 72269  readTime: 19 size: 15