(1,28) (3,25) (4,13) (6,20) (7,15) (8,18) (9,12) (10,23) (11,29) (14,30) (16,22) (17,19) (21,24) (26,27) 
nodes: 13634  conflicts: 71  modelTime: 962  solveTime: 42169  totalTime: 43142  modelSize: 72262  readTime: 11 size: 14