(1,7) (2,30) (3,5) (4,15) (6,29) (9,14) (10,12) (11,22) (13,20) (16,26) (18,21) (23,27) (25,28) 
nodes: 8648  conflicts: 75  modelTime: 1707  solveTime: 33172  totalTime: 34900  modelSize: 72262  readTime: 21 size: 13