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