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