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