(1,4) (2,6) (3,29) (5,18) (7,21) (8,13) (9,16) (10,27) (14,24) (19,22) (20,25) (23,30) (26,28) 
nodes: 432  conflicts: 75  modelTime: 1708  solveTime: 3317  totalTime: 5046  modelSize: 72267  readTime: 21 size: 13