(1,21) (2,20) (3,17) (4,30) (5,19) (6,27) (7,25) (8,26) (9,23) (10,29) (12,28) (13,18) (14,22) (15,24) 
nodes: 20371  conflicts: 32  modelTime: 664  solveTime: 45244  totalTime: 45914  modelSize: 41293  readTime: 6 size: 14