(1,21) (2,3) (4,28) (5,26) (6,10) (7,24) (8,27) (9,25) (11,22) (12,16) (13,14) (15,17) (18,19) (20,23) (29,30) 
nodes: 561  conflicts: 0  modelTime: 931  solveTime: 1962  totalTime: 2899  modelSize: 72264  readTime: 6 size: 15