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