(1,16) (2,22) (3,25) (4,26) (5,21) (6,17) (7,28) (10,18) (11,30) (12,29) (14,23) (15,24) 
nodes: 857  conflicts: 79  modelTime: 673  solveTime: 755  totalTime: 1435  modelSize: 41300  readTime: 7 size: 12