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