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