(3,15) (6,19) (7,17) (8,13) (9,14) (10,20) 
nodes: 106  conflicts: 39  modelTime: 814  solveTime: 335  totalTime: 1155  modelSize: 20646  readTime: 6 size: 6