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