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