(1,13) (3,18) (4,15) (5,16) (7,17) (8,14) (9,20) (10,19) 
nodes: 130  conflicts: 28  modelTime: 587  solveTime: 406  totalTime: 998  modelSize: 20658  readTime: 5 size: 8