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