(2,21) (3,20) (4,23) (5,12) (6,26) (7,18) (8,25) (9,24) (10,16) (11,28) (13,27) (15,30) (17,19) 
nodes: 11401  conflicts: 100  modelTime: 1710  solveTime: 38715  totalTime: 40445  modelSize: 72263  readTime: 20 size: 13