(1,15) (3,12) (4,20) (5,13) (6,19) (7,14) (8,16) (10,18) 
nodes: 218  conflicts: 37  modelTime: 771  solveTime: 433  totalTime: 1210  modelSize: 20646  readTime: 6 size: 8