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