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