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