(1,8) (2,26) (3,14) (5,22) (6,18) (9,28) (10,21) (11,17) (12,16) (13,15) (19,25) (20,24) (23,27) (29,30) 
nodes: 36646  conflicts: 59  modelTime: 977  solveTime: 131827  totalTime: 132815  modelSize: 72262  readTime: 11 size: 14