(1,29) (2,5) (3,20) (4,18) (6,7) (8,10) (9,15) (11,25) (12,21) (13,22) (14,27) (16,17) (19,23) (24,28) (26,30) 
nodes: 4851  conflicts: 40  modelTime: 972  solveTime: 24065  totalTime: 25048  modelSize: 72274  readTime: 11 size: 15