(1,18) (3,12) (6,15) (7,20) (9,14) (10,19) 
nodes: 169  conflicts: 46  modelTime: 726  solveTime: 621  totalTime: 1352  modelSize: 20646  readTime: 5 size: 6