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