(1,18) (3,19) (4,12) (9,20) (10,15) 
nodes: 200  conflicts: 53  modelTime: 718  solveTime: 580  totalTime: 1305  modelSize: 20646  readTime: 6 size: 5