(1,15) (3,13) (4,19) (5,11) (7,20) (8,16) (9,14) (10,18) 
nodes: 223  conflicts: 30  modelTime: 763  solveTime: 354  totalTime: 1122  modelSize: 20646  readTime: 5 size: 8