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