(1,18) (2,14) (3,15) (4,19) (5,20) (6,16) (7,11) (9,12) (10,17) 
nodes: 671  conflicts: 22  modelTime: 767  solveTime: 1275  totalTime: 2047  modelSize: 20658  readTime: 5 size: 9