(1,11) (2,15) (3,19) (5,18) (6,17) (7,13) (8,12) (9,14) (10,16) 
nodes: 1402  conflicts: 22  modelTime: 678  solveTime: 1186  totalTime: 1869  modelSize: 20658  readTime: 5 size: 9