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