(2,23) (3,16) (4,18) (6,19) (7,29) (8,22) (9,27) (10,20) (11,28) (12,24) (13,26) (14,17) (15,21) 
nodes: 14251  conflicts: 47  modelTime: 658  solveTime: 22395  totalTime: 23060  modelSize: 41292  readTime: 7 size: 13