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