(1,7) (2,20) (3,4) (5,22) (6,30) (8,16) (10,21) (11,28) (12,24) (13,18) (14,15) (17,26) (19,25) (23,27) 
nodes: 4033  conflicts: 67  modelTime: 1728  solveTime: 18894  totalTime: 20644  modelSize: 72262  readTime: 21 size: 14