(3,19) (4,18) (5,11) (7,20) (8,13) (9,14) (10,16) 
nodes: 422  conflicts: 37  modelTime: 753  solveTime: 644  totalTime: 1402  modelSize: 20646  readTime: 5 size: 7