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