(2,15) (3,12) (6,20) (7,13) (10,19) 
nodes: 244  conflicts: 43  modelTime: 687  solveTime: 326  totalTime: 1019  modelSize: 20646  readTime: 6 size: 5