(1,22) (2,30) (4,28) (5,15) (6,16) (7,26) (8,25) (9,13) (10,23) (11,19) (12,18) (14,21) (17,29) (24,27) 
nodes: 237920  conflicts: 52  modelTime: 1122  solveTime: 837227  totalTime: 838375  modelSize: 72268  readTime: 26 size: 14