(1,17) (2,24) (3,19) (4,18) (5,20) (6,27) (7,22) (9,29) (10,16) (11,26) (12,30) (13,21) (14,25) (15,23) 
nodes: 18996  conflicts: 31  modelTime: 660  solveTime: 35418  totalTime: 36083  modelSize: 41293  readTime: 5 size: 14