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