(1,9) (2,30) (3,12) (5,25) (6,18) (7,13) (8,22) (10,17) (11,21) (14,23) (15,26) (16,28) (20,27) (24,29) 
nodes: 35192  conflicts: 45  modelTime: 1709  solveTime: 152707  totalTime: 154435  modelSize: 72266  readTime: 19 size: 14