(1,19) (2,20) (3,17) (4,11) (5,14) (6,16) (7,18) (8,13) (10,15) 
nodes: 346  conflicts: 3  modelTime: 755  solveTime: 520  totalTime: 1278  modelSize: 20646  readTime: 3 size: 9