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