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