(1,27) (2,14) (3,16) (4,9) (5,13) (6,20) (7,29) (8,12) (10,15) (11,19) (17,30) (18,25) (21,23) 
nodes: 6558  conflicts: 66  modelTime: 977  solveTime: 21162  totalTime: 22150  modelSize: 72264  readTime: 11 size: 13