(1,13) (2,14) (5,18) (6,20) (8,11) (9,12) (10,19) 
nodes: 395  conflicts: 28  modelTime: 1025  solveTime: 710  totalTime: 1742  modelSize: 20646  readTime: 7 size: 7