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