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