(1,22) (2,21) (3,25) (4,27) (5,20) (6,24) (7,17) (9,29) (10,18) (11,23) (12,19) (13,30) (14,26) (15,28) 
nodes: 20942  conflicts: 46  modelTime: 661  solveTime: 60216  totalTime: 60884  modelSize: 41293  readTime: 7 size: 14