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