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