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