(1,16) (3,11) (4,18) (7,13) (8,19) (10,15) 
nodes: 160  conflicts: 34  modelTime: 767  solveTime: 433  totalTime: 1207  modelSize: 20646  readTime: 5 size: 6