(1,20) (3,12) (4,13) (5,15) (6,11) (7,17) (8,14) (9,18) (10,19) 
nodes: 392  conflicts: 14  modelTime: 686  solveTime: 455  totalTime: 1145  modelSize: 20658  readTime: 4 size: 9