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