(1,24) (2,22) (3,17) (4,21) (5,23) (6,18) (7,26) (9,27) (10,30) (11,25) (12,16) (13,19) (14,20) (15,28) 
nodes: 14002  conflicts: 14  modelTime: 653  solveTime: 49008  totalTime: 49666  modelSize: 41292  readTime: 5 size: 14