(2,9) (3,28) (4,23) (5,16) (6,21) (7,15) (8,24) (11,12) (13,19) (14,22) (17,29) (18,25) (26,30) 
nodes: 8321  conflicts: 61  modelTime: 978  solveTime: 31378  totalTime: 32367  modelSize: 72262  readTime: 11 size: 13