(1,26) (2,16) (3,25) (4,18) (5,19) (6,24) (7,30) (8,17) (9,20) (10,22) (11,23) (12,27) (13,21) (14,29) 
nodes: 4935  conflicts: 29  modelTime: 688  solveTime: 8347  totalTime: 9041  modelSize: 41298  readTime: 6 size: 14