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