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