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