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