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