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