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