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