(1,17) (2,20) (3,16) (4,24) (5,18) (7,23) (8,27) (9,22) (10,30) (11,25) (12,28) (13,26) (14,19) 
nodes: 23785  conflicts: 39  modelTime: 657  solveTime: 57304  totalTime: 57967  modelSize: 41293  readTime: 6 size: 13