(1,11) (2,14) (3,20) (4,19) (5,13) (7,12) (8,18) (9,15) (10,17) 
nodes: 344  conflicts: 7  modelTime: 717  solveTime: 836  totalTime: 1558  modelSize: 20646  readTime: 5 size: 9