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