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