(1,24) (2,17) (3,10) (4,16) (5,20) (6,28) (7,14) (8,27) (9,30) (11,29) (12,19) (13,25) (18,23) (21,26) 
nodes: 159466  conflicts: 26  modelTime: 1702  solveTime: 727904  totalTime: 729624  modelSize: 72285  readTime: 18 size: 14