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