(1,13) (2,20) (3,18) (5,12) (6,17) (7,19) (8,11) (10,15) 
nodes: 777  conflicts: 18  modelTime: 585  solveTime: 685  totalTime: 1274  modelSize: 20658  readTime: 4 size: 8