(1,13) (3,19) (4,16) (5,11) (7,18) (10,17) 
nodes: 109  conflicts: 37  modelTime: 728  solveTime: 450  totalTime: 1183  modelSize: 20646  readTime: 5 size: 6