(1,30) (2,26) (3,24) (4,17) (5,19) (6,25) (7,22) (9,20) (11,16) (12,18) (13,27) (14,29) (15,21) 
nodes: 4175  conflicts: 47  modelTime: 657  solveTime: 6208  totalTime: 6871  modelSize: 41299  readTime: 6 size: 13