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