(2,19) (3,11) (4,17) (5,13) (6,14) (8,12) (9,15) 
nodes: 190  conflicts: 32  modelTime: 757  solveTime: 424  totalTime: 1187  modelSize: 20646  readTime: 5 size: 7