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