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