(2,11) (3,20) (4,19) (5,13) (7,15) (8,14) (9,16) (10,12) 
nodes: 113  conflicts: 21  modelTime: 755  solveTime: 309  totalTime: 1070  modelSize: 20646  readTime: 6 size: 8