(1,26) (2,30) (3,28) (4,23) (5,21) (6,29) (7,18) (8,16) (11,19) (12,22) (14,24) (15,17) 
nodes: 22266  conflicts: 47  modelTime: 659  solveTime: 33706  totalTime: 34371  modelSize: 41298  readTime: 6 size: 12