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