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