(2,19) (3,17) (4,25) (5,18) (6,14) (7,10) (8,20) (9,26) (11,16) (12,13) (15,21) (22,23) (24,28) (29,30) 
nodes: 24433  conflicts: 46  modelTime: 1706  solveTime: 111785  totalTime: 113511  modelSize: 72266  readTime: 20 size: 14