(1,29) (2,20) (3,23) (4,15) (5,11) (6,17) (7,25) (8,13) (9,27) (10,22) (14,26) (16,28) (18,19) (24,30) 
nodes: 178273  conflicts: 56  modelTime: 1739  solveTime: 873085  totalTime: 874843  modelSize: 72266  readTime: 19 size: 14