(1,29) (2,27) (3,8) (4,23) (5,14) (6,19) (7,17) (9,21) (10,13) (11,15) (12,20) (16,22) (24,28) (25,30) 
nodes: 41610  conflicts: 20  modelTime: 1746  solveTime: 216360  totalTime: 218125  modelSize: 72265  readTime: 19 size: 14