(1,11) (3,17) (4,18) (5,20) (7,15) (8,14) (9,16) (10,19) 
nodes: 406  conflicts: 26  modelTime: 651  solveTime: 596  totalTime: 1253  modelSize: 20658  readTime: 6 size: 8