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