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