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