(1,3) (2,26) (4,5) (6,8) (7,28) (9,14) (10,17) (11,24) (12,23) (13,19) (15,18) (16,29) (20,25) (21,30) (22,27) 
nodes: 11574  conflicts: 46  modelTime: 1724  solveTime: 48297  totalTime: 50041  modelSize: 72273  readTime: 20 size: 15