(2,26) (3,20) (4,16) (5,28) (6,29) (7,22) (8,21) (9,30) (10,24) (11,23) (12,25) (14,17) (15,19) 
nodes: 21189  conflicts: 27  modelTime: 660  solveTime: 40993  totalTime: 41659  modelSize: 41293  readTime: 6 size: 13