(1,8) (2,10) (3,19) (4,23) (5,22) (6,14) (7,28) (9,25) (11,21) (12,13) (16,18) (17,26) (20,27) (24,30) 
nodes: 6397  conflicts: 53  modelTime: 943  solveTime: 18759  totalTime: 19714  modelSize: 72262  readTime: 12 size: 14