(1,11) (2,17) (3,12) (5,14) (6,15) (7,19) (8,16) (10,13) 
nodes: 2089  conflicts: 23  modelTime: 714  solveTime: 2896  totalTime: 3615  modelSize: 20658  readTime: 5 size: 8