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