(1,19) (3,18) (6,15) (7,14) (8,11) (9,17) (10,16) 
nodes: 215  conflicts: 42  modelTime: 588  solveTime: 337  totalTime: 930  modelSize: 20646  readTime: 5 size: 7