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