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