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