(1,17) (2,21) (3,20) (4,30) (5,29) (6,16) (7,19) (8,25) (10,23) (11,27) (12,26) (13,22) (14,28) 
nodes: 5325  conflicts: 40  modelTime: 663  solveTime: 7907  totalTime: 8577  modelSize: 41298  readTime: 7 size: 13