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