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