(1,29) (2,20) (3,30) (4,18) (5,23) (6,27) (7,19) (8,24) (9,16) (10,22) (11,26) (12,25) (13,21) (14,28) 
nodes: 3665  conflicts: 34  modelTime: 658  solveTime: 6774  totalTime: 7438  modelSize: 41299  readTime: 6 size: 14