(1,18) (2,17) (3,27) (4,21) (5,28) (6,25) (7,9) (10,13) (11,19) (12,26) (14,22) (16,23) (24,30) 
nodes: 10504  conflicts: 73  modelTime: 1128  solveTime: 37599  totalTime: 38738  modelSize: 72262  readTime: 11 size: 13