(2,29) (3,26) (4,16) (5,30) (6,18) (7,22) (8,27) (9,21) (11,24) (14,19) (15,17) 
nodes: 1358  conflicts: 63  modelTime: 664  solveTime: 903  totalTime: 1574  modelSize: 41300  readTime: 7 size: 11