(1,28) (2,23) (3,24) (4,16) (5,19) (6,21) (7,30) (8,26) (9,22) (10,17) (11,27) (12,20) (14,25) (15,29) 
nodes: 6360  conflicts: 7  modelTime: 684  solveTime: 19184  totalTime: 19873  modelSize: 41299  readTime: 5 size: 14