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