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