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