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