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