(1,11) (2,20) (3,14) (5,12) (9,13) (10,15) 
nodes: 108  conflicts: 42  modelTime: 769  solveTime: 266  totalTime: 1041  modelSize: 20646  readTime: 6 size: 6