(1,17) (2,13) (3,28) (4,16) (5,6) (7,21) (8,25) (9,22) (10,15) (11,30) (12,18) (14,24) (19,29) (20,23) (26,27) 
nodes: 6748  conflicts: 50  modelTime: 932  solveTime: 14419  totalTime: 15362  modelSize: 72262  readTime: 11 size: 15