(1,12) (2,16) (4,19) (5,17) (6,11) (7,13) (8,18) (9,14) (10,20) 
nodes: 716  conflicts: 4  modelTime: 806  solveTime: 1455  totalTime: 2265  modelSize: 20646  readTime: 4 size: 9