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