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