(1,28) (2,21) (3,11) (4,9) (5,24) (6,22) (7,19) (8,23) (10,25) (12,30) (13,17) (14,18) (15,27) (16,20) (26,29) 
nodes: 2052  conflicts: 1  modelTime: 965  solveTime: 7952  totalTime: 8923  modelSize: 72338  readTime: 6 size: 15