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