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