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