(1,30) (2,12) (3,17) (4,5) (6,21) (7,20) (8,26) (9,28) (10,16) (11,25) (13,24) (15,29) (18,27) (19,23) 
nodes: 2135  conflicts: 45  modelTime: 991  solveTime: 12048  totalTime: 13051  modelSize: 72263  readTime: 12 size: 14