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