(3,16) (4,14) (5,18) (6,19) (7,17) (8,13) (9,15) (10,20) 
nodes: 200  conflicts: 18  modelTime: 776  solveTime: 654  totalTime: 1436  modelSize: 20658  readTime: 5 size: 8