(1,11) (2,18) (4,16) (5,19) (6,13) (7,17) (8,20) (10,14) 
nodes: 497  conflicts: 35  modelTime: 683  solveTime: 661  totalTime: 1348  modelSize: 20658  readTime: 4 size: 8