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