(1,26) (2,9) (3,27) (4,14) (5,8) (6,25) (7,23) (11,24) (12,15) (13,21) (16,17) (29,30) 
nodes: 1303  conflicts: 83  modelTime: 1301  solveTime: 6614  totalTime: 7926  modelSize: 72262  readTime: 11 size: 12