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