(1,20) (2,13) (3,25) (4,23) (5,30) (6,10) (7,26) (8,14) (9,15) (11,19) (12,17) (18,22) (24,27) (28,29) 
nodes: 33435  conflicts: 46  modelTime: 1688  solveTime: 122277  totalTime: 123985  modelSize: 72262  readTime: 20 size: 14