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