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