(1,21) (2,8) (3,16) (4,13) (5,22) (6,14) (7,19) (10,18) (11,23) (12,17) (15,27) (20,28) (24,26) (25,29) 
nodes: 7474  conflicts: 57  modelTime: 1720  solveTime: 30234  totalTime: 31974  modelSize: 72262  readTime: 20 size: 14