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