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