(1,24) (2,20) (3,27) (4,18) (6,23) (7,29) (9,30) (10,22) (11,25) (12,26) (13,16) (14,28) (15,17) 
nodes: 6985  conflicts: 23  modelTime: 656  solveTime: 12148  totalTime: 12810  modelSize: 41293  readTime: 6 size: 13