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