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