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