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