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