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