(1,19) (2,23) (3,17) (4,20) (5,18) (6,21) (7,24) (8,29) (9,28) (10,16) (11,27) (12,22) (13,26) (14,30) (15,25) 
nodes: 21859  conflicts: 31  modelTime: 658  solveTime: 38780  totalTime: 39443  modelSize: 41292  readTime: 5 size: 15