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