(1,25) (2,27) (3,19) (4,22) (5,28) (6,21) (7,16) (9,29) (10,30) (11,18) (12,23) (13,26) (14,20) 
nodes: 3650  conflicts: 34  modelTime: 659  solveTime: 5226  totalTime: 5891  modelSize: 41298  readTime: 6 size: 13