(1,11) (2,13) (3,15) (4,12) (5,14) (6,18) (7,17) (8,16) (9,20) (10,19) 
nodes: 166  conflicts: 11  modelTime: 719  solveTime: 631  totalTime: 1355  modelSize: 20658  readTime: 5 size: 10