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