(1,15) (2,18) (3,19) (4,14) (5,16) (6,12) (7,17) (8,13) (9,11) 
nodes: 1494  conflicts: 5  modelTime: 761  solveTime: 1292  totalTime: 2057  modelSize: 20646  readTime: 4 size: 9