(1,26) (2,17) (3,23) (4,28) (5,15) (6,18) (8,12) (11,21) (13,16) (14,29) (20,30) (24,27) 
nodes: 212  conflicts: 104  modelTime: 935  solveTime: 2472  totalTime: 3420  modelSize: 72262  readTime: 12 size: 12