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