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