(1,15) (3,20) (5,13) (6,19) (7,11) (8,18) (10,16) 
nodes: 398  conflicts: 27  modelTime: 811  solveTime: 580  totalTime: 1397  modelSize: 20646  readTime: 6 size: 7