(1,21) (2,30) (3,20) (4,14) (5,28) (6,7) (8,17) (9,12) (10,19) (11,24) (13,25) (15,26) (16,18) (22,23) (27,29) 
nodes: 16096  conflicts: 38  modelTime: 1718  solveTime: 59704  totalTime: 61442  modelSize: 72265  readTime: 20 size: 15