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