(2,20) (3,28) (4,21) (5,23) (6,22) (7,29) (8,26) (9,16) (10,27) (12,25) (15,18) 
nodes: 2527  conflicts: 49  modelTime: 657  solveTime: 1609  totalTime: 2273  modelSize: 41293  readTime: 7 size: 11