(2,18) (3,30) (5,22) (6,16) (7,20) (8,21) (9,27) (10,26) (11,28) (15,29) 
nodes: 829  conflicts: 67  modelTime: 674  solveTime: 1099  totalTime: 1780  modelSize: 41293  readTime: 7 size: 10