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