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