(1,13) (2,19) (3,15) (4,14) (5,20) (6,18) (7,11) (10,17) 
nodes: 137  conflicts: 24  modelTime: 687  solveTime: 375  totalTime: 1068  modelSize: 20646  readTime: 6 size: 8