(1,17) (2,28) (3,15) (4,29) (5,16) (6,13) (7,21) (8,22) (9,18) (10,23) (11,25) (12,24) (14,19) 
nodes: 2355  conflicts: 96  modelTime: 946  solveTime: 7472  totalTime: 8429  modelSize: 72262  readTime: 11 size: 13