(1,18) (2,19) (3,23) (4,8) (5,20) (7,25) (10,13) (11,26) (12,21) (14,27) (15,16) (17,29) (22,30) (24,28) 
nodes: 3669  conflicts: 51  modelTime: 1718  solveTime: 17450  totalTime: 19191  modelSize: 72266  readTime: 23 size: 14