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