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