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