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