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