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