(1,22) (2,19) (3,25) (4,27) (5,18) (6,17) (7,23) (8,28) (9,29) (10,20) (11,30) (12,16) (13,26) (14,21) 
nodes: 7326  conflicts: 30  modelTime: 690  solveTime: 19241  totalTime: 19937  modelSize: 41298  readTime: 6 size: 14