(2,16) (3,13) (4,18) (7,15) (8,19) (9,14) (10,17) 
nodes: 161  conflicts: 36  modelTime: 766  solveTime: 369  totalTime: 1140  modelSize: 20646  readTime: 5 size: 7