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