(1,15) (3,20) (4,19) (5,14) (7,13) (8,12) (10,17) 
nodes: 469  conflicts: 35  modelTime: 764  solveTime: 546  totalTime: 1315  modelSize: 20658  readTime: 5 size: 7