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