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