(1,20) (3,17) (4,24) (5,23) (6,28) (7,21) (8,29) (11,25) (12,22) (13,16) (15,30) 
nodes: 252  conflicts: 62  modelTime: 664  solveTime: 507  totalTime: 1178  modelSize: 41300  readTime: 7 size: 11