(1,13) (2,16) (3,19) (4,11) (5,18) (7,17) (8,20) (9,15) (10,14) 
nodes: 313  conflicts: 21  modelTime: 812  solveTime: 801  totalTime: 1618  modelSize: 20658  readTime: 5 size: 9