(1,25) (2,7) (3,10) (4,20) (5,21) (6,27) (8,15) (11,26) (12,22) (13,16) (14,30) (17,18) (19,28) (23,29) 
nodes: 9241  conflicts: 54  modelTime: 958  solveTime: 21905  totalTime: 22874  modelSize: 72262  readTime: 11 size: 14