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