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