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