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