(1,15) (2,11) (3,13) (4,19) (5,16) (6,14) (8,12) (10,18) 
nodes: 216  conflicts: 21  modelTime: 761  solveTime: 625  totalTime: 1391  modelSize: 20646  readTime: 5 size: 8