(1,24) (2,16) (3,23) (4,30) (5,21) (6,27) (7,29) (8,20) (9,26) (11,18) (12,25) (13,28) (14,17) (15,22) 
nodes: 6700  conflicts: 39  modelTime: 673  solveTime: 17259  totalTime: 17938  modelSize: 41293  readTime: 6 size: 14