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