(1,13) (2,23) (3,30) (4,29) (5,21) (6,19) (7,12) (8,22) (9,25) (10,16) (11,24) (14,27) (15,20) (17,18) (26,28) 
nodes: 66341  conflicts: 8  modelTime: 1700  solveTime: 402701  totalTime: 404416  modelSize: 72264  readTime: 15 size: 15