(1,24) (2,20) (3,25) (4,29) (5,26) (6,23) (7,27) (8,18) (9,22) (11,30) (12,16) (15,17) 
nodes: 1614  conflicts: 101  modelTime: 677  solveTime: 1973  totalTime: 2657  modelSize: 41300  readTime: 7 size: 12