(1,8) (2,16) (3,5) (4,10) (7,25) (9,13) (11,14) (12,29) (15,27) (17,21) (20,23) (22,24) (28,30) 
nodes: 7117  conflicts: 69  modelTime: 980  solveTime: 19508  totalTime: 20499  modelSize: 72262  readTime: 11 size: 13