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