(1,16) (2,13) (3,7) (4,21) (5,9) (6,22) (8,28) (10,14) (11,17) (12,18) (15,20) (19,26) (23,30) (24,29) 
nodes: 1780  conflicts: 93  modelTime: 940  solveTime: 6252  totalTime: 7203  modelSize: 72262  readTime: 11 size: 14