(1,14) (3,20) (4,19) (7,18) (8,11) (9,15) 
nodes: 111  conflicts: 41  modelTime: 770  solveTime: 307  totalTime: 1082  modelSize: 20646  readTime: 5 size: 6