(1,25) (2,30) (3,20) (4,23) (5,18) (6,28) (7,9) (8,14) (10,15) (11,12) (13,19) (21,24) (22,29) (26,27) 
nodes: 171359  conflicts: 62  modelTime: 978  solveTime: 568502  totalTime: 569494  modelSize: 72272  readTime: 14 size: 14