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