(1,17) (3,14) (4,15) (5,19) (8,13) (9,11) (10,16) 
nodes: 355  conflicts: 32  modelTime: 754  solveTime: 558  totalTime: 1318  modelSize: 20646  readTime: 6 size: 7