(1,11) (3,14) (6,18) (7,20) (8,13) (9,16) (10,15) 
nodes: 376  conflicts: 29  modelTime: 766  solveTime: 533  totalTime: 1305  modelSize: 20646  readTime: 6 size: 7