(1,15) (3,17) (4,13) (5,14) (9,19) (10,20) 
nodes: 361  conflicts: 37  modelTime: 716  solveTime: 576  totalTime: 1298  modelSize: 20646  readTime: 6 size: 6