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