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