(1,2) (3,8) (4,24) (5,15) (6,22) (7,27) (9,25) (10,23) (11,17) (13,14) (16,21) (18,28) (19,20) (26,30) 
nodes: 69787  conflicts: 46  modelTime: 945  solveTime: 198537  totalTime: 199494  modelSize: 72264  readTime: 12 size: 14