(1,23) (2,5) (3,4) (6,20) (7,12) (8,13) (9,15) (10,16) (11,28) (14,25) (19,30) (21,29) (22,27) (24,26) 
nodes: 45350  conflicts: 70  modelTime: 1711  solveTime: 211778  totalTime: 213508  modelSize: 72270  readTime: 19 size: 14