(1,18) (2,30) (3,25) (5,17) (7,28) (8,26) (9,22) (10,20) (11,23) (12,29) (13,21) (14,16) (15,27) 
nodes: 7430  conflicts: 51  modelTime: 657  solveTime: 11234  totalTime: 11898  modelSize: 41293  readTime: 7 size: 13