(1,13) (2,14) (3,20) (4,17) (5,19) (6,16) (10,15) 
nodes: 291  conflicts: 36  modelTime: 671  solveTime: 417  totalTime: 1094  modelSize: 20646  readTime: 6 size: 7