(1,16) (2,18) (4,15) (6,19) (7,17) (8,12) (9,14) (10,20) 
nodes: 1740  conflicts: 17  modelTime: 668  solveTime: 1438  totalTime: 2111  modelSize: 20658  readTime: 5 size: 8