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