(1,16) (2,14) (4,19) (5,18) (7,12) (8,20) (9,13) (10,15) 
nodes: 516  conflicts: 32  modelTime: 717  solveTime: 716  totalTime: 1438  modelSize: 20658  readTime: 5 size: 8