(1,6) (2,29) (3,22) (4,12) (5,9) (7,13) (8,20) (10,18) (11,25) (14,19) (15,27) (16,23) (17,28) (21,30) 
nodes: 128359  conflicts: 39  modelTime: 945  solveTime: 465288  totalTime: 466244  modelSize: 72266  readTime: 11 size: 14