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