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