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