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