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