(1,11) (2,17) (3,19) (4,12) (5,18) (9,13) 
nodes: 250  conflicts: 46  modelTime: 644  solveTime: 370  totalTime: 1019  modelSize: 20646  readTime: 5 size: 6