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