(1,23) (2,16) (3,18) (4,24) (5,29) (6,28) (7,30) (8,20) (9,27) (10,19) (11,26) (12,17) (13,22) (14,25) 
nodes: 10455  conflicts: 15  modelTime: 1191  solveTime: 24248  totalTime: 25449  modelSize: 41293  readTime: 10 size: 14