(1,13) (2,12) (3,7) (4,17) (5,28) (6,11) (8,22) (9,15) (10,21) (14,25) (16,19) (18,23) (20,24) (26,27) (29,30) 
nodes: 84320  conflicts: 32  modelTime: 932  solveTime: 451379  totalTime: 452330  modelSize: 72262  readTime: 19 size: 15