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