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