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