(1,21) (2,25) (3,30) (4,23) (5,26) (6,17) (7,20) (8,27) (10,29) (11,19) (12,28) (13,18) (14,16) (15,22) 
nodes: 7116  conflicts: 21  modelTime: 657  solveTime: 14316  totalTime: 14978  modelSize: 41293  readTime: 5 size: 14