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