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