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