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