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