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