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