(1,7) (2,6) (3,25) (4,17) (5,18) (8,30) (9,27) (10,29) (11,14) (12,28) (13,20) (15,19) (16,21) (22,23) (24,26) 
nodes: 32747  conflicts: 50  modelTime: 1732  solveTime: 78438  totalTime: 80189  modelSize: 72265  readTime: 19 size: 15