(1,7) (2,20) (3,17) (4,10) (5,26) (6,15) (9,18) (11,27) (12,30) (14,21) (16,22) (19,24) (23,29) (25,28) 
nodes: 14038  conflicts: 62  modelTime: 1697  solveTime: 57297  totalTime: 59013  modelSize: 72266  readTime: 19 size: 14