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