(1,13) (2,19) (3,14) (5,20) (7,16) (8,17) (9,18) 
nodes: 292  conflicts: 38  modelTime: 707  solveTime: 671  totalTime: 1383  modelSize: 20646  readTime: 5 size: 7