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