(1,23) (2,16) (3,24) (4,26) (5,21) (6,20) (7,29) (8,22) (9,28) (10,30) (11,18) (12,25) (13,19) (14,17) 
nodes: 13449  conflicts: 7  modelTime: 1193  solveTime: 49049  totalTime: 50251  modelSize: 41292  readTime: 9 size: 14