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