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