(1,30) (2,29) (3,24) (4,23) (5,20) (6,26) (7,22) (8,17) (9,18) (10,25) (11,27) (12,16) (14,28) (15,19) 
nodes: 5410  conflicts: 46  modelTime: 668  solveTime: 8700  totalTime: 9375  modelSize: 41293  readTime: 7 size: 14