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