(1,13) (3,14) (4,17) (5,19) (7,20) (8,16) (9,15) (10,18) 
nodes: 337  conflicts: 38  modelTime: 768  solveTime: 441  totalTime: 1214  modelSize: 20658  readTime: 5 size: 8