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