(1,16) (2,17) (3,27) (5,28) (6,25) (7,21) (8,24) (9,30) (10,20) (11,23) (12,26) (13,19) (14,18) 
nodes: 1722  conflicts: 53  modelTime: 658  solveTime: 2243  totalTime: 2908  modelSize: 41293  readTime: 7 size: 13