(1,14) (2,20) (3,13) (6,19) (8,18) (9,17) 
nodes: 295  conflicts: 43  modelTime: 770  solveTime: 580  totalTime: 1355  modelSize: 20646  readTime: 5 size: 6