(2,30) (3,20) (4,22) (5,17) (6,27) (7,23) (8,18) (9,21) (10,16) (11,25) (15,24) 
nodes: 824  conflicts: 66  modelTime: 654  solveTime: 725  totalTime: 1386  modelSize: 41300  readTime: 7 size: 11