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