(1,8) (2,10) (3,22) (4,12) (5,13) (6,28) (7,19) (11,30) (15,24) (16,23) (17,18) (20,27) (21,25) (26,29) 
nodes: 3195  conflicts: 65  modelTime: 1713  solveTime: 15605  totalTime: 17339  modelSize: 72263  readTime: 21 size: 14