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