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