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