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