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