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