(2,8) (3,26) (4,24) (5,13) (6,16) (10,23) (11,21) (14,25) (15,20) (17,27) (22,28) (29,30) 
nodes: 1386  conflicts: 79  modelTime: 1245  solveTime: 5341  totalTime: 6606  modelSize: 72262  readTime: 20 size: 12