(2,26) (3,27) (4,24) (5,25) (6,16) (7,18) (8,23) (9,21) (10,22) (11,30) (13,17) (14,19) (15,28) 
nodes: 2867  conflicts: 34  modelTime: 659  solveTime: 4534  totalTime: 5199  modelSize: 41293  readTime: 6 size: 13