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