(1,15) (2,14) (4,18) (5,13) (6,17) (7,11) (8,20) (9,19) (10,16) 
nodes: 700  conflicts: 5  modelTime: 661  solveTime: 846  totalTime: 1512  modelSize: 20646  readTime: 5 size: 9