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