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