(1,11) (2,12) (3,17) (4,16) (5,19) (7,18) (8,15) (9,20) (10,14) 
nodes: 263  conflicts: 21  modelTime: 484  solveTime: 501  totalTime: 990  modelSize: 20658  readTime: 5 size: 9