(1,13) (2,12) (3,20) (4,11) (6,18) (7,14) (8,16) 
nodes: 128  conflicts: 24  modelTime: 581  solveTime: 337  totalTime: 923  modelSize: 20646  readTime: 5 size: 7