(1,22) (2,6) (3,7) (4,17) (5,19) (8,16) (9,13) (10,25) (11,28) (12,20) (14,27) (18,30) (21,26) (24,29) 
nodes: 46408  conflicts: 47  modelTime: 1723  solveTime: 138759  totalTime: 140520  modelSize: 72265  readTime: 38 size: 14