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