(1,14) (2,15) (5,12) (8,19) (10,20) 
nodes: 107  conflicts: 38  modelTime: 671  solveTime: 245  totalTime: 922  modelSize: 20646  readTime: 6 size: 5