(1,12) (2,19) (3,13) (4,17) (5,14) (7,18) (8,15) (10,16) 
nodes: 226  conflicts: 29  modelTime: 762  solveTime: 355  totalTime: 1123  modelSize: 20646  readTime: 6 size: 8