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