(1,20) (2,7) (3,13) (4,10) (5,21) (6,16) (8,25) (9,19) (11,18) (12,29) (14,30) (15,22) (17,24) (23,28) (26,27) 
nodes: 3339  conflicts: 48  modelTime: 1721  solveTime: 16834  totalTime: 18577  modelSize: 72263  readTime: 22 size: 15