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