(1,28) (2,27) (3,23) (4,18) (5,25) (6,26) (8,20) (9,22) (10,30) (12,29) (13,17) (14,21) (15,16) 
nodes: 1928  conflicts: 37  modelTime: 656  solveTime: 3688  totalTime: 4351  modelSize: 41298  readTime: 7 size: 13