(1,23) (2,6) (3,21) (4,26) (7,14) (8,15) (9,27) (10,28) (12,18) (13,29) (16,25) (19,20) 
nodes: 8254  conflicts: 91  modelTime: 1727  solveTime: 22085  totalTime: 23832  modelSize: 72262  readTime: 20 size: 12