(1,14) (2,17) (4,16) (5,18) (6,19) (7,15) (8,12) (9,13) (10,20) 
nodes: 1451  conflicts: 15  modelTime: 674  solveTime: 1844  totalTime: 2523  modelSize: 20658  readTime: 5 size: 9