(1,13) (2,19) (3,11) (4,12) (9,15) (10,14) 
nodes: 180  conflicts: 46  modelTime: 711  solveTime: 623  totalTime: 1340  modelSize: 20646  readTime: 6 size: 6