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