(1,20) (2,22) (3,21) (4,19) (5,27) (7,23) (8,29) (9,30) (10,17) (11,16) (12,26) (13,18) (14,25) (15,24) 
nodes: 24160  conflicts: 15  modelTime: 653  solveTime: 64706  totalTime: 65365  modelSize: 41293  readTime: 6 size: 14