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