(1,14) (4,19) (5,13) (6,16) (9,20) (10,17) 
nodes: 394  conflicts: 45  modelTime: 689  solveTime: 384  totalTime: 1079  modelSize: 20646  readTime: 6 size: 6