(1,26) (2,17) (3,15) (4,30) (5,16) (6,25) (7,18) (8,27) (9,14) (10,22) (11,24) (12,28) (13,21) (19,29) (20,23) 
nodes: 84161  conflicts: 7  modelTime: 1706  solveTime: 446279  totalTime: 448000  modelSize: 72267  readTime: 15 size: 15