(1,11) (3,12) (4,19) (5,20) (6,14) (7,18) (10,17) 
nodes: 388  conflicts: 22  modelTime: 768  solveTime: 448  totalTime: 1221  modelSize: 20658  readTime: 5 size: 7