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