(1,26) (2,6) (4,20) (7,28) (8,14) (9,22) (10,24) (11,21) (12,13) (15,17) (16,25) (18,30) (19,29) (23,27) 
nodes: 13209  conflicts: 57  modelTime: 1920  solveTime: 57317  totalTime: 59261  modelSize: 72266  readTime: 24 size: 14