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