(1,25) (3,24) (4,30) (5,17) (6,21) (7,23) (8,19) (9,27) (10,18) (11,22) (12,20) (13,28) (14,29) (15,26) 
nodes: 2163  conflicts: 14  modelTime: 921  solveTime: 6427  totalTime: 7353  modelSize: 41292  readTime: 5 size: 14