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