(1,11) (2,28) (3,15) (4,27) (5,19) (6,24) (7,17) (8,21) (9,25) (10,16) (12,29) (13,26) (14,18) (22,30) 
nodes: 15987  conflicts: 29  modelTime: 1687  solveTime: 57749  totalTime: 59448  modelSize: 72273  readTime: 11 size: 14