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