(1,11) (2,4) (3,16) (5,6) (7,13) (8,30) (12,20) (14,17) (15,25) (18,28) (19,26) (21,23) (22,29) (24,27) 
nodes: 75775  conflicts: 37  modelTime: 1716  solveTime: 295753  totalTime: 297489  modelSize: 72263  readTime: 20 size: 14