(1,13) (2,3) (4,24) (5,25) (6,23) (7,28) (8,26) (9,11) (10,30) (12,17) (14,18) (15,27) (16,29) (19,20) (21,22) 
nodes: 87301  conflicts: 7  modelTime: 1705  solveTime: 510821  totalTime: 512542  modelSize: 72265  readTime: 16 size: 15