(1,26) (2,18) (3,25) (4,19) (5,30) (6,29) (7,20) (8,27) (12,23) (13,21) (14,16) 
nodes: 626  conflicts: 56  modelTime: 676  solveTime: 821  totalTime: 1504  modelSize: 41293  readTime: 7 size: 11