(1,15) (2,20) (3,14) (4,18) (5,12) (6,16) (7,11) (8,13) (10,17) 
nodes: 370  conflicts: 6  modelTime: 455  solveTime: 539  totalTime: 998  modelSize: 20646  readTime: 4 size: 9