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