(1,19) (2,20) (3,29) (4,17) (5,18) (6,24) (7,30) (8,28) (10,25) (11,16) (12,23) (13,22) (14,21) (15,27) 
nodes: 38883  conflicts: 28  modelTime: 1196  solveTime: 111786  totalTime: 112992  modelSize: 41293  readTime: 10 size: 14