(1,11) (2,13) (8,18) (10,20) 
nodes: 266  conflicts: 56  modelTime: 696  solveTime: 365  totalTime: 1066  modelSize: 20646  readTime: 5 size: 4