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