(1,27) (2,14) (3,16) (4,9) (5,21) (6,10) (7,23) (8,22) (11,30) (12,19) (13,24) (15,18) (17,29) (20,25) (26,28) 
nodes: 158794  conflicts: 48  modelTime: 1709  solveTime: 439880  totalTime: 441608  modelSize: 72266  readTime: 19 size: 15