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