(1,22) (2,17) (3,18) (5,23) (6,28) (7,24) (8,26) (9,15) (10,29) (11,27) (12,30) (19,25) 
nodes: 1258  conflicts: 108  modelTime: 973  solveTime: 6172  totalTime: 7157  modelSize: 72262  readTime: 12 size: 12