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