(1,25) (2,24) (3,30) (4,16) (5,23) (6,18) (7,29) (8,21) (10,28) (11,17) (12,19) (13,27) (14,26) (15,22) 
nodes: 6619  conflicts: 33  modelTime: 684  solveTime: 19052  totalTime: 19741  modelSize: 41293  readTime: 5 size: 14