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